-
Lower Bounds for Dyadic Square Functions of indicator functions of sets
Authors:
Natanael Alpay,
Paata Ivanisvili
Abstract:
We prove that for any Borel measurable subset $A\subset [0,1]$, the inequality $\|S_{2}(\mathbbm{1}_{A})\|_{1} \geq I(|A|)$ holds, where $I$ denotes the Gaussian isoperimetric profile. This improves upon the classical lower bound $
\|S_{2}(\mathbbm{1}_{A})\|_{1} \gtrsim |A|(1-|A|) $ by a factor of $\sqrt{\log\frac{1}{|A|(1-|A|)}}$. In addition, we study lower bounds for the $α$-norm of…
▽ More
We prove that for any Borel measurable subset $A\subset [0,1]$, the inequality $\|S_{2}(\mathbbm{1}_{A})\|_{1} \geq I(|A|)$ holds, where $I$ denotes the Gaussian isoperimetric profile. This improves upon the classical lower bound $
\|S_{2}(\mathbbm{1}_{A})\|_{1} \gtrsim |A|(1-|A|) $ by a factor of $\sqrt{\log\frac{1}{|A|(1-|A|)}}$. In addition, we study lower bounds for the $α$-norm of $S_1(\mathbbm{1}_{A})$, and we obtain a threshold behavior around $α=1$. We show that $$ \|S_{1}(\mathbbm{1}_{A})\|_{1} \geq \min\{|A|, 1-|A|\}\log_{2}\frac{1}{\min\{|A|, 1-|A|\}}, $$ and that this bound is sharp at points $|A|=2^{-k}$ or $|A|=1-2^{-k}$ for every nonnegative integer $k$. For each fixed $α\in (0,1)$, we further establish that $\|S_{1}(\mathbbm{1}_{A})\|_α \geq \min\{|A|, 1-| A|\},$ with the decay rate $|A|$, as $|A|\to 0$, being optimal.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Thermal States on Mittag-Leffler Fock Space of the Slitted Plane
Authors:
Natanael Alpay,
Tiju Cherian John
Abstract:
Number states and thermal states form an important class of physical states in quantum theory. A mathematical framework for studying these states is that of a Fock space over an appropriate Hilbert space. Several generalizations of the usual Bosonic Fock space have appeared recently due to their importance in many areas of mathematics and other scientific domains. One of the most prominent general…
▽ More
Number states and thermal states form an important class of physical states in quantum theory. A mathematical framework for studying these states is that of a Fock space over an appropriate Hilbert space. Several generalizations of the usual Bosonic Fock space have appeared recently due to their importance in many areas of mathematics and other scientific domains. One of the most prominent generalization of Fock spaces is the Mittag-Leffler (ML) Fock space of the slitted plane. Natural generalizations of the basic operators of quantum theory can be obtained on ML Fock spaces. Following the construction of the creation and annihilation operators in the Mittag-Leffler Fock space of the slitted plane by Rosenfeld, Russo, and Dixon, (J. Math. Anal. Appl. 463, 2, 2018). We construct and study the number states and thermal states on the ML Fock space of the slitted plane. Thermal states on usual Fock space form an important subclass of the so called quantum gaussian states, an analogous theory of more general quantum states (like squeezed states and Bell states) on ML Fock spaces is an area open for further exploration.
△ Less
Submitted 24 June, 2023;
originally announced June 2023.
-
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Authors:
Natanael Alpay,
Peter Jipsen,
Melissa Sugimoto
Abstract:
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring. A $d\ell$-magma with a top $\top$ is unary-determined if $x{\cdot} y=(x{\cdot}\!\top\wedge y)$ $\vee(x\wedge \top\!{\cdot}y)$. These algebras ar…
▽ More
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring. A $d\ell$-magma with a top $\top$ is unary-determined if $x{\cdot} y=(x{\cdot}\!\top\wedge y)$ $\vee(x\wedge \top\!{\cdot}y)$. These algebras are term-equivalent to a subvariety of distributive lattices with $\top$ and two join-preserving unary operations $\mathsf p,\mathsf q$. We obtain simple conditions on $\mathsf p,\mathsf q$ such that $x{\cdot} y=(\mathsf px\wedge y)\vee(x\wedge \mathsf 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 distributive lattice is a Heyting algebra, it provides structural insight into unary-determined algebraic models of bunched implication logic. We also provide Kripke semantics for the algebras under consideration, which leads to more efficient algorithms for constructing finite models. We find all subdirectly irreducible algebras up to cardinality eight in which $\mathsf p=\mathsf q$ is a closure operator, as well as all finite unary-determined bunched implication chains and map out the poset of join-irreducible varieties generated by them.
△ Less
Submitted 6 February, 2024; v1 submitted 4 November, 2022;
originally announced November 2022.
-
On the Mittag Leffler Bargmann (MLB) transform
Authors:
Natanael Alpay,
Kamal Diki
Abstract:
We introduce the Segal-Bargmann transform associated to the Mittag Leffler Fock space and study how it will be connected to the Fourier transform. We will discuss also the counterpart of the creation and annihilation operator in this setting using the Caputo and Liouville operators. Finally, we give an extension of these results to the case of quaternions, in particular in the slice hyperholomorph…
▽ More
We introduce the Segal-Bargmann transform associated to the Mittag Leffler Fock space and study how it will be connected to the Fourier transform. We will discuss also the counterpart of the creation and annihilation operator in this setting using the Caputo and Liouville operators. Finally, we give an extension of these results to the case of quaternions, in particular in the slice hyperholomorphic setting.
△ Less
Submitted 31 May, 2022;
originally announced June 2022.
-
Generalized Fock space and fractional derivatives with Applications to Uniqueness of Sampling and Interpolation Sets
Authors:
Natanael Alpay,
Paula Cerejeiras,
Uwe Kähler
Abstract:
In this paper we introduce a Fock space related to derivatives of Gelfond-Leontiev type, a class of derivatives which includes many classic examples like fractional derivatives or Dunkl operators. For this space we establish a modified Bargmann transform as well as density theorems for sampling and interpolation. These density theorems allow us to establish lattice conditions for the construction…
▽ More
In this paper we introduce a Fock space related to derivatives of Gelfond-Leontiev type, a class of derivatives which includes many classic examples like fractional derivatives or Dunkl operators. For this space we establish a modified Bargmann transform as well as density theorems for sampling and interpolation. These density theorems allow us to establish lattice conditions for the construction of frames arising from integral transforms which are linked by the modified Bargmann transform with the Fock space.
△ Less
Submitted 4 March, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
A new characterization of the Hardy space and of other spaces of analytic functions
Authors:
Natanael Alpay
Abstract:
The Fock space can be characterized (up to a positive multiplicative factor) as the only Hilbert space of entire functions in which the adjoint of derivation is multiplication by the complex variable. Similarly (and still up to a positive multiplicative factor) the Hardy space is the only space of functions analytic in the open unit disk for which the adjoint of the backward shift operator is the…
▽ More
The Fock space can be characterized (up to a positive multiplicative factor) as the only Hilbert space of entire functions in which the adjoint of derivation is multiplication by the complex variable. Similarly (and still up to a positive multiplicative factor) the Hardy space is the only space of functions analytic in the open unit disk for which the adjoint of the backward shift operator is the multiplication operator. In the present paper we characterize the Hardy space in term of the adjoint of the differentiation operator. We use reproducing kernel methods, which seem to also give a new characterization of the Fock space.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
