Related papers: Balian-Low type theorems in finite dimensions

Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and…

Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.

We prove combination theorems in the spirit of Klein and Maskit in the context of discrete convergence groups acting geometrically finitely on their limit sets. As special cases, we obtain combination theorems for geometrically finite…

In this paper, in the first we give definitions of some classes of division rings which strictly contain the class of centrally finite division rings. One of our main purpose is to construct non-trivial examples of rings of new defined…

We obtain Hausdorff-Young inequalities for the one-dimensional Cherednik--Opdam transform and its inverse, and we establish a real Paley-Wiener theorem for its inverse that generalizes an analogous result by N. B. Andersen for the Jacobi…

We give a construction of direct limits in the category of complete metric scalable groups and provide sufficient conditions for the limit to be an infinite-dimensional Carnot group. We also prove a Rademacher-type theorem for such limits.

We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all…

There is no general existence theorem for solutions for nonlinear difference equations, so we must prove the existence of solutions in accordance with models one by one. In our work, we found theorems for the existence of analytic solutions…

We prove a new quantitative result on the degeneracy of the dimension of the subspace spanned by the best Diophantine approximations for a linear form.

We show that the extended Bloch representation of quantum mechanics also applies to infinite-dimensional entities, to the extent that the number of (possibly infinitely degenerate) outcomes of a measurement remains finite, which is always…

Using proof-theoretic methods in the style of proof mining, we give novel computationally effective limit theorems for the convergence of the Cesaro-means of certain sequences of random variables. These results are intimately related to…

We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove…

We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all…

Shannon proved that almost all Boolean functions require a circuit of size $\Theta(2^n/n)$. We prove a quantum analog of this classical result. Unlike in the classical case the number of quantum circuits of any fixed size that we allow is…

We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…

We present here a simple and direct proof of the classic geometric version of Hahn-Banach Theorem from its analitic version, in the real case. The reciprocal implication, and the direct proofs of both versions, are already well kown, but…

The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…

We propose an expression for the classical limit of diagonal form factors in which we integrate the corresponding observable over the moduli space of classical solutions. In infinite volume the integral has to be regularized by proper…

In this short note, we introduce an analogue of Wilson's theorem for all nonzero elements $a_1,a_2,...,a_{q-1}$ of a finite filed $\mathbb{F}$ with $|\mathbb{F}|=q\geq 3$, as follows: $$ \sum_{1\leq i_1< i_2<...< i_k\leq…

In this paper, we construct derived equivalences between matrix subrings. As applications, we calculate the global dimensions and the finitistic dimensions of some matrix subrings. And we show that the finitistic dimension conjecture holds…