Differentiation and the Balian-Low Theorem

The Balian-Low theorem (BLT) is a key result in time-frequency analysis, originally stated by Balian and, independently, by Low, as: If a Gabor system $\{e^{2\pi imbt} \, g(t-na)\}_{m,n \in \mbox{\bf Z}}$ with $ab=1$ forms an orthonormal basis for $L^2({\bf R}),$ then $\left(\int_{-\infty}^\infty |t \, g(t)|^2 \, dt\right) \, \left(\int_{-\infty}^\infty |\gamma \, \hat g(\gamma)|^2 \, d\gamma\right) = +\infty.$ The BLT was later extended from orthonormal bases to exact frames. This paper presents a tutorial on Gabor systems, the BLT, and related topics, such as the Zak transform and Wilson bases. Because of the fact that $(g')^{\wedge}(\gamma) = 2 \pi i \gamma \, \hat g(\gamma)$ , the role of differentiation in the proof of the BLT is examined carefully. The major new contributions of this paper are the construction of a complete Gabor system of the form $\{e^{2\pi ib_mt\} \, g(t-a_n)}$ such that $\{(a_n,b_m)\}$ has density strictly less than 1, an Amalgam BLT that provides distinct restrictions on Gabor systems $\{e^{2\pi imbt} \, g(t-na)\}$ that form exact frames, and a new proof of the BLT for exact frames that does not require differentiation and relies only on classical real variable methods from harmonic analysis.     

An abc theorem on the disk

We extend the classical abc theorem for polynomials (also known as Mason's, or Mason–Stothers', theorem) to general analytic functions on the disk.     

A Decay Result for Certain Windows Generating Orthogonal Gabor Bases

We consider tight Gabor frames (h,a=1,b=1) at critical density with h of the form Z ⁻¹(Zg/|Zg|). Here Z is the standard Zak transform and g is an even, real, well-behaved window such that Zg has exactly one zero, at , in [0,1)². We show that h and its Fourier transform have maximal decay as allowed by the Balian-Low theorem. Our result illustrates a theorem of Benedetto, Czaja, Gadziński, and Powell, case p=q=2, on sharpness of the Balian-Low theorem.      

The sharp quantitative Sobolev inequality for functions of bounded variation

The classical Sobolev embedding theorem of the space of functions of bounded variation BV(Rn) into Ln^′(Rn) is proved in a sharp quantitative form.     

A short proof of Glivenko theorems for intermediate predicate logics

We give a simple proof-theoretic argument showing that Glivenko’s theorem for propositional logic and its version for predicate logic follow as an easy consequence of the deduction theorem, which also proves some Glivenko type theorems relating intermediate predicate logics between intuitionistic and classical logic. We consider two schemata, the double negation shift (DNS) and the one consisting of instances of the principle of excluded middle for sentences (REM). We prove that both schemata combined derive classical logic, while each one of them provides a strictly weaker intermediate logic, and neither of them is derivable from the other. We show that over every intermediate logic there exists a maximal intermediate logic for which Glivenko’s theorem holds. We deduce as well a characterization of DNS, as the weakest (with respect to derivability) scheme that added to REM derives classical logic.     

A Quantitative Central Limit Theorem for Linear Statistics of Random Matrix Eigenvalues

It is known that the fluctuations of suitable linear statistics of Haar distributed elements of the compact classical groups satisfy a central limit theorem. We show that if the corresponding test functions are sufficiently smooth, a rate of convergence of order almost 1/n can be obtained using a quantitative multivariate CLT for traces of powers that was recently proven using Stein’s method of exchangeable pairs.     

Insertion of lattice-valued and hedgehog-valued functions

Problems of inserting lattice-valued functions are investigated. We provide an analogue of the classical insertion theorem of Lane [Proc. Amer. Math. Soc. 49 (1975) 90-94] for L-valued functions where L is a ?-separable completely distributive lattice (i.e. L admits a countable join-dense subset which is free of completely join-irreducible elements). As a corollary we get an L-version of the Katětov-Tong insertion theorem due to Liu and Luo [Topology Appl. 45 (1992) 173-188] (our proof is different and much simpler). We show that ?-separable completely distributive lattices are closed under the formation of countable products. In particular, the Hilbert cube is a ?-separable completely distributive lattice and some join-dense subset is shown to be both order and topologically isomorphic to the hedgehog J(ω) with appropriately defined topology. This done, we deduce an insertion theorem for J(ω)-valued functions which is independent of that of Blair and Swardson [Indian J. Math. 29 (1987) 229-250]. Also, we provide an iff criterion for inserting a pair of semicontinuous function which yields, among others, a characterization of hereditarily normal spaces.     

Necessary and sufficient conditions for expansions of Gabor type

In this paper, we give necessary and sufficient conditions for two families of Gabor functions of a certain type to yield a reproducing identity on L^2（R^n）. As applications, we characterize when such families yield orthonormal or bi-orthogonal expansions. We also obtain a generalization of the Balian-Low theorem for general reprodueing identities （not necessary coming from a frame）.     

Symmetry and Localization for Magnetic Schrödinger Operators: Landau Levels,Gabor Frames and All That

We investigate the relation between broken time-reversal symmetry and localization of the electronic states, in the explicitly tractable case of the Landau model. We first review, for the reader’s convenience, the symmetries of the Landau Hamiltonian and the relation of the latter with the Segal-Bargmann representation of Quantum Mechanics. We then study the localization properties of the Landau eigenstates by applying an abstract version of the Balian-Low Theorem to the operators corresponding to the coordinates of the centre of the cyclotron orbit in the classical theory. Our proof of the Balian-Low Theorem, although based on Battle’s main argument, has the advantage of being representation-independent.

     

Sard theorems for Lipschitz functions and applications in optimization

We establish a “preparatory Sard theorem” for smooth functions with a partially affine structure. By means of this result, we improve a previous result of Rifford [17, 19] concerning the generalized (Clarke) critical values of Lipschitz functions defined as minima of smooth functions. We also establish a nonsmooth Sard theorem for the class of Lipschitz functions from R^d to R^p that can be expressed as finite selections of C^k functions (more generally, continuous selections over a compact countable set). This recovers readily the classical Sard theorem and extends a previous result of Barbet–Daniilidis–Dambrine [1] to the case p > 1. Applications in semi-infinite and Pareto optimization are given.     

The Fourier Transform of Functions Satisfying the Lipschitz Condition on Rank 1 Symmetric Spaces

We prove an analog of the classical Titchmarsh theorem on the image under the Fourier transform of a set of functions satisfying the Lipschitz condition in L² for functions on noncompact rank 1 Riemannian symmetric spaces.     

Sur la propriété de la moyenne restreinte pour les fonctions biharmoniquesOn the restricted mean property for the biharmonic functions

We prove a converse to the mean value theorem for classical biharmonic functions. To cite this article: M. El Kadiri, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 427–429.     

q‐Voronovskaya type theorems for q‐Baskakov operators

In the present paper, we prove quantitative q‐Voronovskaya type theorems for q‐Baskakov operators in terms of weighted modulus of continuity. We also present a new form of Voronovskaya theorem, that is, q‐Grüss‐Voronovskaya type theorem for q‐Baskakov operators in quantitative mean. Hence, we describe the rate of convergence and upper bound for the error of approximation, simultaneously. Our results are valid for the subspace of continuous functions although classical ones is valid for differentiable functions. Copyright © 2015 John Wiley & Sons, Ltd.     

Quantitative (p,q) theorems in combinatorial geometry

We show quantitative versions of classical results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of Bárány, the existence of weak epsilon-nets for convex sets and the $(p,q)$ theorem of Alon and Kleitman. These methods can be applied to functions such as the volume, surface area or number of points of a discrete set. We also give general quantitative versions of the colorful Helly theorem for continuous functions.     

Theta functions on <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>-bundles over <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript> with the zero Euler class

We construct an analog of the classical theta function on an abelian variety for the closed 4-dimensional symplectic manifolds that are T ²-bundles over T ² with the zero Euler class. We use our theta functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analog of the Lefschetz theorem).     

L q harmonic functions on graphs

We prove an analogue of Yau’s Caccioppoli-type inequality for nonnegative subharmonic functions on graphs. We then obtain a Liouville theorem for harmonic or nonnegative subharmonic functions of class L ^q , 1 ≤ q < ∞, on any graph, and a quantitative version for q > 1. Also, we provide counterexamples for Liouville theorems for 0 < q < 1.     

On Markov?CKrein characterization of the mean waiting time in M/G/K and other queueing systems

We propose a new research direction to reinvigorate research into better understanding of the M/G/K and other queueing systems??via obtaining tight bounds on the mean waiting time as functions of the moments of the service distribution. Analogous to the classical Markov?CKrein theorem, we conjecture that the bounds on the mean waiting time are achieved by service distributions corresponding to the upper/lower principal representations of the moment sequence. We present analytical, numerical, and simulation evidence in support of our conjectures.     

Functions operating on multivariate distribution and survival functions—With applications to classical mean-values and to copulas

Functions operating on multivariate distribution and survival functions are characterized, based on a theorem of Morillas, for which a new proof is presented. These results are applied to determine those classical mean values on [0,1]ⁿ which are distribution functions of probability measures on [0,1]ⁿ. As it turns out, the arithmetic mean plays a universal rôle for the characterization of distribution as well as survival functions. Another consequence is a far reaching generalization of Kimberling’s theorem, tightly connected to Archimedean copulas.     

Topological regular variation: II. The fundamental theorems

This paper investigates fundamental theorems of regular variation (Uniform Convergence, Representation, and Characterization Theorems) some of which, in the classical setting of regular variation in R, rely in an essential way on the additive semigroup of natural numbers N (e.g. de Bruijn's Representation Theorem for regularly varying functions). Other such results include Goldie's direct proof of the Uniform Convergence Theorem and Seneta's version of Kendall's theorem connecting sequential definitions of regular variation with their continuous counterparts (for which see Bingham and Ostaszewski (2010) [13]). We show how to interpret these in the topological group setting established in Bingham and Ostaszewski (2010) [12] as connecting N-flow and R-flow versions of regular variation, and in so doing generalize these theorems to Rd. We also prove a flow version of the classical Characterization Theorem of regular variation.     

A characterization of the support map

In this short note we give a characterization of the support map from classical convexity. We show it is the unique additive transformation from the class of closed convex sets in Rn which include 0 to the class of positive 1-homogeneous functions on Rn. This will be a consequence of a theorem about transforms from the class of convex sets to itself which preserve Minkowski addition.