Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Reproducing kernels (8)
- Slice hyperholomorphic functions (8)
- White noise space (7)
- Realization (6)
- Wick product (6)
-
- S-resolvent operators (5)
- Gaussian processes (4)
- Rational functions (4)
- Residuated lattice (4)
- S-spectrum (4)
- Convolution algebra (3)
- Finite embeddability property (3)
- Hyperholomorphic functions (3)
- Infinite products (3)
- Positive real functions (3)
- Quaternions (3)
- Residuated lattices (3)
- Schur analysis (3)
- Schur functions (3)
- Substructural logic (3)
- Wiener algebra (3)
- Beurling-Lax theorem (2)
- Clifford algebra (2)
- Cuntz relations (2)
- Cut elimination (2)
- De Branges Rovnyak spaces (2)
- Decidability (2)
- Finite model property (2)
- Fock space (2)
- Fractional Brownian motion (2)
- Publication Year
Articles 1 - 30 of 117
Full-Text Articles in Algebra
Regular Functions On The Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Cho
Regular Functions On The Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Cho
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper, we study the regularity of R-differentiable functions on open connected subsets of the scaled hypercomplex numbers {Ht}t∈R by studying the kernels of suitable differential operators {∇t}t∈R, up to scales in the real field R.
Spacetime Geometry Of Acoustics And Electromagnetism, Lucas Burns, Tatsuya Daniel, Stephon Alexander, Justin Dressel
Spacetime Geometry Of Acoustics And Electromagnetism, Lucas Burns, Tatsuya Daniel, Stephon Alexander, Justin Dressel
Mathematics, Physics, and Computer Science Faculty Articles and Research
Both acoustics and electromagnetism represent measurable fields in terms of dynamical potential fields. Electromagnetic force-fields form a spacetime bivector that is represented by a dynamical energy–momentum 4-vector potential field. Acoustic pressure and velocity fields form an energy–momentum density 4-vector field that is represented by a dynamical action scalar potential field. Surprisingly, standard field theory analyses of spin angular momentum based on these traditional potential representations contradict recent experiments, which motivates a careful reassessment of both theories. We analyze extensions of both theories that use the full geometric structure of spacetime to respect essential symmetries enforced by vacuum wave propagation. The …
A Little More On Ideals Associated With Sublocales, Oghenetega Ighedo, Grace Wakesho Kivunga, Dorca Nyamusi Stephen
A Little More On Ideals Associated With Sublocales, Oghenetega Ighedo, Grace Wakesho Kivunga, Dorca Nyamusi Stephen
Mathematics, Physics, and Computer Science Faculty Articles and Research
As usual, let RL denote the ring of real-valued continuous functions on a completely regular frame L. Let βL and λL denote the Stone- Čech compactification of L and the Lindelöf coreflection of L, respectively. There is a natural way of associating with each sublocale of βL two ideals of RL, motivated by a similar situation in C(X). In [12], the authors go one step further and associate with each sublocale of λL an ideal of RL in a manner similar to one of the ways one does it for sublocales of βL. The intent in this paper …
Certain Invertible Operator-Block Matrices Induced By C*-Algebras And Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Choo
Certain Invertible Operator-Block Matrices Induced By C*-Algebras And Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Choo
Mathematics, Physics, and Computer Science Faculty Articles and Research
The main purposes of this paper are (i) to enlarge scaled hypercomplex structures to operator-valued cases, where the operators are taken from a C*-subalgebra of an operator algebra on a separable Hilbert space, (ii) to characterize the invertibility conditions on the operator-valued scaled-hypercomplex structures of (i), (iii) to study relations between the invertibility of scaled hypercomplex numbers, and that of operator-valued cases of (ii), and (iv) to confirm our invertibility of (ii) and (iii) are equivalent to the general invertibility of (2×2)-block operator matrices.
Schur Analysis And Discrete Analytic Functions: Rational Functions And Co-Isometric Realizations, Daniel Alpay, Dan Volok
Schur Analysis And Discrete Analytic Functions: Rational Functions And Co-Isometric Realizations, Daniel Alpay, Dan Volok
Mathematics, Physics, and Computer Science Faculty Articles and Research
We define and study rational discrete analytic functions and prove the existence of a coisometric realization for discrete analytic Schur multipliers.
Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac
Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper we present parallel theories on constructing Wiener algebras in the bicomplex setting. With the appropriate symmetry condition, the bicomplex matrix valued case can be seen as a complex valued case and, in this matrix valued case, we make the necessary connection between bicomplex analysis and complex analysis with symmetry. We also write an application to superoscillations in this case.
Commutators On Fock Spaces, Daniel Alpay, Paula Cerejeiras, Uwe Kähler, Trevor Kling
Commutators On Fock Spaces, Daniel Alpay, Paula Cerejeiras, Uwe Kähler, Trevor Kling
Mathematics, Physics, and Computer Science Faculty Articles and Research
Given a weighted ℓ2 space with weights associated with an entire function, we consider pairs of weighted shift operators, whose commutators are diagonal operators, when considered as operators over a general Fock space. We establish a calculus for the algebra of these commutators and apply it to the general case of Gelfond–Leontiev derivatives. This general class of operators includes many known examples, such as classic fractional derivatives and Dunkl operators. This allows us to establish a general framework, which goes beyond the classic Weyl–Heisenberg algebra. Concrete examples for its application are provided.
The Structure Of Locally Integral Involutive Po-Monoids And Semirings, José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
The Structure Of Locally Integral Involutive Po-Monoids And Semirings, José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
Mathematics, Physics, and Computer Science Faculty Articles and Research
We show that every locally integral involutive partially ordered monoid (ipo-monoid) A = (A,⩽, ·, 1,∼,−), and in particular every locally integral involutive semiring, decomposes in a unique way into a family {Ap : p ∈ A+} of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are semirings. Moreover, we show that there is a family of monoid homomorphisms Φ = {φpq : Ap → Aq : p ⩽ q}, indexed on the positive cone (A+,⩽), so that the structure of A can be recovered as a glueing R ΦAp of its integral …
Ideals Of Functions With Compact Support In The Integer-Valued Case, Themba Dube, Oghenetega Ighedo, Batsile Tlharesakgosi
Ideals Of Functions With Compact Support In The Integer-Valued Case, Themba Dube, Oghenetega Ighedo, Batsile Tlharesakgosi
Mathematics, Physics, and Computer Science Faculty Articles and Research
For a zero-dimensional Hausdorff space X, denote, as usual, by C(X, ℤ) the ring of continuous integer-valued functions on X. If f ∈ C(X, ℤ), denote by Z(f) the set of all points of X that are mapped to 0 by f. The set CK(X; ℤ) = {f ∈ C(X; ℤ) | clX(X \ Z(f)) is compact} is the integer-valued analogue of the ideal of functions with compact support in C(X). By first working in the category of locales and then interpreting …
Fock And Hardy Spaces: Clifford Appell Case, Daniel Alpay, Kamal Diki, Irene Sabadini
Fock And Hardy Spaces: Clifford Appell Case, Daniel Alpay, Kamal Diki, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper, we study a specific system of Clifford–Appell polynomials and, in particular, their product. Moreover, we introduce a new family of quaternionic reproducing kernel Hilbert spaces in the framework of Fueter regular functions. The construction is based on a general idea which allows us to obtain various function spaces by specifying a suitable sequence of real numbers. We focus on the Fock and Hardy cases in this setting, and we study the action of the Fueter mapping and its range.
Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen
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
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
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 Z3-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.
The Structure Of Finite Commutative Idempotent Involutive Residuated Lattices, Peter Jipsen, Olim Tuyt, Diego Valota
The Structure Of Finite Commutative Idempotent Involutive Residuated Lattices, Peter Jipsen, Olim Tuyt, Diego Valota
Mathematics, Physics, and Computer Science Faculty Articles and Research
We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.
Conjunctive Join-Semilattices, Charles N. Delzell, Oghenetega Ighedo, James J. Madden
Conjunctive Join-Semilattices, Charles N. Delzell, Oghenetega Ighedo, James J. Madden
Mathematics, Physics, and Computer Science Faculty Articles and Research
A join-semilattice L with top is said to be conjunctive if every principal ideal is an intersection of maximal ideals. (This is equivalent to a first-order condition in the language of semilattices.) In this paper, we explore the consequences of the conjunctivity hypothesis for L, and we define and study a related property, called “ideal conjunctivity,” which is applicable to join-semilattices without top. Results include the following: (a) Every conjunctive join-semilattice is isomorphic to a join-closed subbase for a compact T1-topology on max L, the set of maximal ideals of L, and under weak hypotheses …
Beurling-Lax Type Theorems And Cuntz Relations, Daniel Alpay, Fabrizio Colombo, Irene Sabadini, Baruch Schneider
Beurling-Lax Type Theorems And Cuntz Relations, Daniel Alpay, Fabrizio Colombo, Irene Sabadini, Baruch Schneider
Mathematics, Physics, and Computer Science Faculty Articles and Research
We prove various Beurling-Lax type theorems, when the classical backward-shift operator is replaced by a general resolvent operator associated with a rational function. We also study connections to the Cuntz relations. An important tool is a new representation result for analytic functions, in terms of composition and multiplication operators associated with a given rational function. Applications to the theory of de Branges-Rovnyak spaces, also in the indefinite metric setting, are given.
Injective And Projective Semimodules Over Involutive Semirings, Peter Jipsen, Sara Vanucci
Injective And Projective Semimodules Over Involutive Semirings, Peter Jipsen, Sara Vanucci
Mathematics, Physics, and Computer Science Faculty Articles and Research
We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called involutive semirings. The semiring perspective leads to a necessary and sufficient condition for the interval [d,1] to be a subalgebra of an involutive residuated lattice, where d is the dualizing element. We also import some results and techniques of semimodule theory in the study of this class of semirings, generalizing results about injective and projective MV-semimodules. Indeed, we note that the involution plays a crucial role and that the results for MV-semirings are still true for …
Total Differentiability And Monogenicity For Functions In Algebras Of Order 4, I. Sabadini, Daniele C. Struppa
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.
Lattice-Ordered Pregroups Are Semi-Distributive, Nikolaos Galatos, Peter Jipsen, Michael Kinyon, Adam Přenosil
Lattice-Ordered Pregroups Are Semi-Distributive, Nikolaos Galatos, Peter Jipsen, Michael Kinyon, Adam Přenosil
Mathematics, Physics, and Computer Science Faculty Articles and Research
We prove that the lattice reduct of every lattice-ordered pregroup is semidistributive. This is a consequence of a certain weak form of the distributive law which holds in lattice-ordered pregroups.
On The Global Operator And Fueter Mapping Theorem For Slice Polyanalytic Functions, Daniel Alpay, Kamal Diki, Irene Sabadini
On The Global Operator And Fueter Mapping Theorem For Slice Polyanalytic Functions, Daniel Alpay, Kamal Diki, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper, we prove that slice polyanalytic functions on quaternions can be considered as solutions of a power of some special global operator with nonconstant coefficients as it happens in the case of slice hyperholomorphic functions. We investigate also an extension version of the Fueter mapping theorem in this polyanalytic setting. In particular, we show that under axially symmetric conditions it is always possible to construct Fueter regular and poly-Fueter regular functions through slice polyanalytic ones using what we call the poly-Fueter mappings. We study also some integral representations of these results on the quaternionic unit ball.
On Pseudo-Spectral Factorization Over The Complex Numbers And Quaternions, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini
On Pseudo-Spectral Factorization Over The Complex Numbers And Quaternions, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
This paper is a continuation of the research of our previous work[5] and considers quaternionic generalized Carathéodory functions and the related family of generalized positive functions. It is addressed to a wide audience which includes researchers in complex and hypercomplex analysis, in the theory of linear systems, but also electric engineers. For this reason it includes some results on generalized Carathéodory functions and their factorization in the classic complex case which might be of independent interest. An important new result is a pseudo-spectral factorization and we also discuss some interpolation problems in the class of quaternionic generalized positive functions.
Exact And Strongly Exact Filters, M. A. Moshier, A. Pultr, A. L. Suarez
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
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.
The Structure Of Generalized Bi-Algebras And Weakening Relation Algebras, Nikolaos Galatos, Peter Jipsen
The Structure Of Generalized Bi-Algebras And Weakening Relation Algebras, Nikolaos Galatos, Peter Jipsen
Mathematics, Physics, and Computer Science Faculty Articles and Research
Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean algebras with operators and lattices with operators. We characterize congruences on GBI-algebras by filters that are closed under Gumm–Ursini terms, and for involutive GBI-algebras these terms simplify to a dual version of the congruence term for relation algebras together with two more terms. We prove that representable weakening relation algebras form a variety of cyclic involutive GBI-algebras, denoted by RWkRA, containing the variety of representable relation algebras. We describe a double-division conucleus construction on residuated lattices and on (cyclic involutive) GBI-algebras …
Acoustic Versus Electromagnetic Field Theory: Scalar, Vector, Spinor Representations And The Emergence Of Acoustic Spin, Lucas Burns, Konstantin Y. Bliokh, Franco Nori, Justin Dressel
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
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 …
Semi De Morgan Logic Properly Displayed, Giuseppe Greco, Fei Qin, M. Andrew Moshier, Alessandra Palmigiano
Semi De Morgan Logic Properly Displayed, Giuseppe Greco, Fei Qin, M. Andrew Moshier, Alessandra Palmigiano
Mathematics, Physics, and Computer Science Faculty Articles and Research
In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.
A General Setting For Functions Of Fueter Variables: Differentiability, Rational Functions, Fock Module And Related Topics, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa
A General Setting For Functions Of Fueter Variables: Differentiability, Rational Functions, Fock Module And Related Topics, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa
Mathematics, Physics, and Computer Science Faculty Articles and Research
We develop some aspects of the theory of hyperholomorphic functions whose values are taken in a Banach algebra over a field—assumed to be the real or the complex numbers—and which contains the field. Notably, we consider Fueter expansions, Gleason’s problem, the theory of hyperholomorphic rational functions, modules of Fueter series, and related problems. Such a framework includes many familiar algebras as particular cases. The quaternions, the split quaternions, the Clifford algebras, the ternary algebra, and the Grassmann algebra are a few examples of them.
Distributive Laws In Residuated Binars, Wesley Fussner, Peter Jipsen
Distributive Laws In Residuated Binars, Wesley Fussner, Peter Jipsen
Mathematics, Physics, and Computer Science Faculty Articles and Research
In residuated binars there are six non-obvious distributivity identities of ⋅,/,∖ over ∧,∨. We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these identities, and we provide counterexamples to show that no other dependencies exist among these.
Positivity, Rational Schur Functions, Blaschke Factors, And Other Related Results In The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa
Positivity, Rational Schur Functions, Blaschke Factors, And Other Related Results In The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa
Mathematics, Physics, and Computer Science Faculty Articles and Research
We begin a study of Schur analysis in the setting of the Grassmann algebra when the latter is completed with respect to the 1-norm. We focus on the rational case. We start with a theorem on invertibility in the completed algebra, and define a notion of positivity in this setting. We present a series of applications pertaining to Schur analysis, including a counterpart of the Schur algorithm, extension of matrices and rational functions. Other topics considered include Wiener algebra, reproducing kernels Banach modules, and Blaschke factors.