Related papers: A Proof of the Schr\"oder-Bernstein Theorem in ACL…
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large…
The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the…
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…
Schauder's theorem asserts that a bounded linear operator between Banach spaces is compact if ad only if its adjoint is. We give a new proof of this result, which is both short and completely elementary in the sense that it does not depend…
The objective of the present paper is to prove cluster multiplication theorem in the quantum cluster algebra of type $A_{2}^{(2)}$. As corollaries, we obtain bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases established in [6], and…
P\'olya's enumeration theorem is concerned with counting labeled sets up to symmetry. Given a finite group acting on a finite set of labeled elements it states that the number of labeled sets up to symmetry is given by a polynomial in the…
We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation…
We prove Beurling's theorem for the full group $SL(2,\R)$. This is the {\em master theorem} in the quantitative uncertainty principle as all the other theorems of this genre follow from it.
The famous contradiction of a bijection between a set and its power set is a consequence of the impredicative definition involved. This is shown by the fact that a simple mapping between equivalent sets does also fail to satisfy the…
The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…
We prove a non-archimedean analogue of J{\o}rgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$ contains two elements which…
In this article it is shown that there is no continuous bijection from $\mathbb{R}^n$ onto $\mathbb{R}^2$ for $n\neq 2$ by an elementary method. This proof is based on showing that for any cardinal number $\beta\leq 2^{\aleph_0}$, there is…
We answer a question that was asked by Albert Baernstein II, regarding the coefficients of circular symmetrization. The conjecture is not true generically.
We consider Clifford algebras with nonsymmetric bilinear forms, which are isomorphic to the standard symmetric ones, but not equal. Observing, that the content of physical theories is dependent on the injection $\oplus^n\bigwedge…
The angular bispectrum of spherical random fields has recently gained an enormous importance, especially in connection with statistical inference on cosmological data. In this paper, we provide expressions for its moments of arbitrary order…
The chromatic polynomial and its generalization, the chromatic symmetric function, are two important graph invariants. Celebrated theorems of Birkhoff, Whitney, and Stanley show how both objects can be expressed in three different ways: as…
We give a proof of the Acyclicity Conjecture stated by Broussous and Schneider in [BrouSch2017]. As a consequence, we obtain an exact resolution of every admissible representation on each Bernstein block of ${\rm GL}(N)$ associated to a…
In this paper we provide a bijective proof of a theorem of Garsia and Gessel describing the generating function of the major index over the set of all permutations of [n]={1,...,n} which are shuffles of given disjoint ordered sequences…
For several pairs $(P,Q)$ of classical distributions on $\N_0$, we show that their stochastic ordering $P\leq_{st} Q$ can be characterized by their extreme tail ordering equivalent to $ P(\{k_\ast \})/Q(\{k_\ast\}) \le 1 \le \lim_{k\to…
In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…