Other Mathematics Commons^™

Superoscillating Sequences And Supershifts For Families Of Generalized Functions, F. Colombo, I. Sabadini, Daniele Carlo Struppa, A. Yger

Mathematics, Physics, and Computer Science Faculty Articles and Research

We construct a large class of superoscillating sequences, more generally of F-supershifts, where F is a family of smooth functions in (t, x) (resp. distributions in (t, x), or hyperfunctions in x depending on the parameter t) indexed by λ ∈ R. The frame in which we introduce such families is that of the evolution through Schrödinger equation (i∂/∂t−H (x))(ψ) = 0 (H (x) = −(∂2/∂x2)/2+V (x)), V being a suitable potential). If F = {(t, x) → ϕλ(t, x) ; λ ∈ R}, where ϕλ is evolved from the initial datum x → eiλx , F-supershifts will be of …

Boundedness Of Some Multi-Parameter Fiber-Wise Multiplier Operators, Frédéric Bernicot, Polona Durcik

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove L^p estimates for various multi-parameter bi- and trilinear operators with symbols acting on fibers of the two-dimensional functions. In particular, this yields estimates for the general bi-parameter form of the twisted paraproduct studied in [V. Kovač, Boundedness of the twisted paraproduct. Rev. Mat. Iberoam. 28 (2012), no. 4, 1143–1164.].

Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics LR in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., …

Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Mathematics, Physics, and Computer Science Faculty Articles and Research

A distributive lattice-ordered magma (dℓ-magma) (A,∧,∨,⋅) is a distributive lattice with a binary operation ⋅ that preserves joins in both arguments, and when ⋅ is associative then (A,∨,⋅) is an idempotent semiring. A dℓ-magma with a top ⊤ is unary-determined if x⋅y=(x⋅⊤∧y)∨(x∧⊤⋅y). These algebras are term-equivalent to a subvariety of distributive lattices with ⊤ and two join-preserving unary operations p, q. We obtain simple conditions on p, q such that x⋅y=(px∧y)∨(x∧qy) is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the …

Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we present the groundwork for an Itô/Malliavin stochastic calculus and Hida's white noise analysis in the context of a supersymmetry with Z₃-graded algebras. To this end, we establish a ternary Fock space and the corresponding strong algebra of stochastic distributions and present its application in the study of stochastic processes in this context.

On The Application Of Principal Component Analysis To Classification Problems, Jianwei Zheng, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Principal Component Analysis (PCA) is a commonly used technique that uses the correlation structure of the original variables to reduce the dimensionality of the data. This reduction is achieved by considering only the first few principal components for a subsequent analysis. The usual inclusion criterion is defined by the proportion of the total variance of the principal components exceeding a predetermined threshold. We show that in certain classification problems, even extremely high inclusion threshold can negatively impact the classification accuracy. The omission of small variance principal components can severely diminish the performance of the models. We noticed this phenomenon in …

Trilinear Smoothing Inequalities And A Variant Of The Triangular Hilbert Transform, Michael Christ, Polona Durcik, Joris Roos

Mathematics, Physics, and Computer Science Faculty Articles and Research

Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct.

The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.

On A Polyanalytic Approach To Noncommutative De Branges–Rovnyak Spaces And Schur Analysis, Daniel Alpay, Fabrizio Colombo, Kamal Diki, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we begin the study of Schur analysis and of de Branges–Rovnyak spaces in the framework of Fueter hyperholomorphic functions. The difference with other approaches is that we consider the class of functions spanned by Appell-like polynomials. This approach is very efficient from various points of view, for example in operator theory, and allows us to make connections with the recently developed theory of slice polyanalytic functions. We tackle a number of problems: we describe a Hardy space, Schur multipliers and related results. We also discuss Blaschke functions, Herglotz multipliers and their associated kernels and Hilbert spaces. Finally, …

A New Method To Generate Superoscillating Functions And Supershifts, Yakir Aharonov, Fabrizio Colombo, Irene Sabadini, Tomer Shushi, Daniele C. Struppa, Jeff Tollaksen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Superoscillations are band-limited functions that can oscillate faster than their fastest Fourier component. These functions (or sequences) appear in weak values in quantum mechanics and in many fields of science and technology such as optics, signal processing and antenna theory. In this paper, we introduce a new method to generate superoscillatory functions that allows us to construct explicitly a very large class of superoscillatory functions.

Krein Reproducing Kernel Modules In Clifford Analysis, Daniel Alpay, Paula Cerejeiras, Uwe Kähler

Mathematics, Physics, and Computer Science Faculty Articles and Research

Classic hypercomplex analysis is intimately linked with elliptic operators, such as the Laplacian or the Dirac operator, and positive quadratic forms. But there are many applications like the crystallographic X-ray transform or the ultrahyperbolic Dirac operator which are closely connected with indefinite quadratic forms. Although appearing in many papers in such cases Hilbert modules are not the right choice as function spaces since they do not reflect the induced geometry. In this paper we are going to show that Clifford-Krein modules are naturally appearing in this context. Even taking into account the difficulties, e.g., the existence of different inner products …

Superoscillations And Analytic Extension In Schur Analysis, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We give applications of the theory of superoscillations to various questions, namely extension of positive definite functions, interpolation of polynomials and also of Rfunctions; we also discuss possible applications to signal theory and prediction theory of stationary stochastic processes. In all cases, we give a constructive procedure, by way of a limiting process, to get the required results.

Total Differentiability And Monogenicity For Functions In Algebras Of Order 4, I. Sabadini, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we discuss some notions of analyticity in associative algebras with unit. We also recall some basic tool in algebraic analysis and we use them to study the properties of analytic functions in two algebras of dimension four that played a relevant role in some work of the Italian school, but that have never been fully investigated.

Boxes, Extended Boxes And Sets Of Positive Upper Density In The Euclidean Space, Polona Durcik, Vjekoslav Kovač

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

Green's Function For The Schrodinger Equation With A Generalized Point Interaction And Stability Of Superoscillations, Yakir Aharonov, Jussi Behrndt, Fabrizio Colombo, Peter Schlosser

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study the time dependent Schrödinger equation with all possible self-adjoint singular interactions located at the origin, which include the δ and δ'-potentials as well as boundary conditions of Dirichlet, Neumann, and Robin type as particular cases. We derive an explicit representation of the time dependent Green's function and give a mathematical rigorous meaning to the corresponding integral for holomorphic initial conditions, using Fresnel integrals. Superoscillatory functions appear in the context of weak measurements in quantum mechanics and are naturally treated as holomorphic entire functions. As an application of the Green's function we study the stability …

Quantitatively Hyper-Positive Real Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Hyper-positive real, matrix-valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of Hyper-positive functions, related through nested inclusions, are introduced. Structurally, this family of functions turns out to be matrix-convex and closed under inversion.

A state-space characterization of these functions through a corresponding Kalman-Yakubovich-Popov Lemma, is given. Technically, the classical Linear Matrix Inclusions, associated with passive systems, are here substituted by Quadratic Matrix Inclusions.

De Branges Spaces On Compact Riemann Surfaces And A Beurling-Lax Type Theorem, Daniel Alpay, Ariel Pinhas, Victor Vinnikov

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the notion of commutative operator vessels, this work investigates de Branges-Rovnyak spaces whose elements are sections of a line bundle of multiplicative half-order differentials on a compact real Riemann surface. As a special case, we obtain a Beurling-Lax type theorem in the setting of the corresponding Hardy space on a finite bordered Riemann surface.

Exact And Strongly Exact Filters, M. A. Moshier, A. Pultr, A. L. Suarez

Mathematics, Physics, and Computer Science Faculty Articles and Research

A meet in a frame is exact if it join-distributes with every element, it is strongly exact if it is preserved by every frame homomorphism. Hence, finite meets are (strongly) exact which leads to the concept of an exact resp. strongly exact filter, a filter closed under exact resp. strongly exact meets. It is known that the exact filters constitute a frame FiltE(L) somewhat surprisingly isomorphic to the frame of joins of closed sublocales. In this paper we present a characteristic of the coframe of meets of open sublocales as the dual to the frame of strongly exact filters FiltsE(L).

On The Extension Of Positive Definite Kernels To Topological Algebras, Daniel Alpay, Ismael L. Paiva

Mathematics, Physics, and Computer Science Faculty Articles and Research

We define an extension of operator-valued positive definite functions from the real or complex setting to topological algebras and describe their associated reproducing kernel spaces. The case of entire functions is of special interest, and we give a precise meaning to some power series expansions of analytic functions that appears in many algebras.

Realizations Of Holomorphic And Slice Hyperholomorphic Functions: The Krein Space Case, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we treat realization results for operator-valued functions which are analytic in the complex sense or slice hyperholomorphic over the quaternions. In the complex setting, we prove a realization theorem for an operator-valued function analytic in a neighborhood of the origin with a coisometric state space operator thus generalizing an analogous result in the unitary case. A main difference with previous works is the use of reproducing kernel Krein spaces. We then prove the counterpart of this result in the quaternionic setting. The present work is the first paper which presents a realization theorem with a state space …

Acoustic Versus Electromagnetic Field Theory: Scalar, Vector, Spinor Representations And The Emergence Of Acoustic Spin, Lucas Burns, Konstantin Y. Bliokh, Franco Nori, Justin Dressel

Mathematics, Physics, and Computer Science Faculty Articles and Research

We construct a novel Lagrangian representation of acoustic field theory that describes the local vector properties of longitudinal (curl-free) acoustic fields. In particular, this approach accounts for the recently-discovered nonzero spin angular momentum density in inhomogeneous sound fields in fluids or gases. The traditional acoustic Lagrangian representation with a scalar potential is unable to describe such vector properties of acoustic fields adequately, which are however observable via local radiation forces and torques on small probe particles. By introducing a displacement vector potential analogous to the electromagnetic vector potential, we derive the appropriate canonical momentum and spin densities as conserved Noether …

Structure Theorems For Idempotent Residuated Lattices, José Gil-Férez, Peter Jipsen, George Metcalfe

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in various subclasses. We also establish the finite embeddability property for certain varieties generated by classes of residuated lattices that are conservative in the sense that monoid multiplication always yields one of its arguments. We then make use of a more symmetric version of Raftery’s characterization theorem for totally ordered commutative idempotent residuated lattices to prove that the variety generated by this class has …

Stochastic Wiener Filter In The White Noise Space, Daniel Alpay, Ariel Pinhas

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we introduce a new approach to the study of filtering theory by allowing the system's parameters to have a random character. We use Hida's white noise space theory to give an alternative characterization and a proper generalization to the Wiener filter over a suitable space of stochastic distributions introduced by Kondratiev. The main idea throughout this paper is to use the nuclearity of this space in order to view the random variables as bounded multiplication operators (with respect to the Wick product) between Hilbert spaces of stochastic distributions. This allows us to use operator theory tools and …

The Fock Space As A De Branges–Rovnyak Space, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We show that de Branges–Rovnyak spaces include as special cases a number of spaces, such as the Hardy space, the Fock space, the Hardy–Sobolev space and the Dirichlet space. We present a general framework in which all these spaces can be obtained by specializing a sequence that appears in the construction. We show how to exploit this approach to solve interpolation problems in the Fock space.

A Panorama On Superoscillations, Fabrizio Colombo, Irene Sabadini, Daniele Carlo Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

Purpose of this note is to give an overview on superoscillating sequences and some of their properties. We discuss their persistence in time under Schrödinger equation, we propose various classes of superoscillating functions and we also briefly mention how they can be used to approximate some generalized functions.

Realization Of Tensor Product And Of Tensor Factorization Of Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study the state space realization of a tensor product of a pair of rational functions. At the expense of “inflating” the dimensions, we recover the classical expressions for realization of a regular product of rational functions. Under an additional assumption that the limit at infinity of a given rational function exists and is equal to identity, we introduce an explicit formula for a tensor factorization of this function.

A More Powerful Unconditional Exact Test Of Homogeneity For 2 × C Contingency Table Analysis, Louis Ehwerhemuepha, Heng Sok, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

The classical unconditional exact p-value test can be used to compare two multinomial distributions with small samples. This general hypothesis requires parameter estimation under the null which makes the test severely conservative. Similar property has been observed for Fisher's exact test with Barnard and Boschloo providing distinct adjustments that produce more powerful testing approaches. In this study, we develop a novel adjustment for the conservativeness of the unconditional multinomial exact p-value test that produces nominal type I error rate and increased power in comparison to all alternative approaches. We used a large simulation study to empirically estimate the …

Positive And Generalized Positive Real Lemma For Slice Hyperholomorphic Functions, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we prove a quaternionic positive real lemma as well as its generalized version, in case the associated kernel has negative squares for slice hyperholomorphic functions. We consider the case of functions with positive real part in the half space of quaternions with positive real part, as well as the case of (generalized) Schur functions in the open unit ball.

Extending Set Functors To Generalised Metric Spaces, Adriana Balan, Alexander Kurz, Jiří Velebil

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a commutative quantale V, the category V-cat can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor T (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor T_V on V-cat. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones.

Conceptually, this allows us to to solve the same recursive domain equation X ≅ TX in different categories (such as sets and metric spaces) and …

Distribution Spaces And A New Construction Of Stochastic Processes Associated With The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We associate with the Grassmann algebra a topological algebra of distributions, which allows the study of processes analogous to the corresponding free stochastic processes with stationary increments, as well as their derivatives.

About A Non-Standard Interpolation Problem, Daniel Alpay, Alain Yger

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using algebraic methods, and motivated by the one variable case, we study a multipoint interpolation problem in the setting of several complex variables. The duality realized by the residue generator associated with an underlying Gorenstein algebra, using the Lagrange interpolation polynomial, plays a key role in the arguments.