Related papers: A Proof of the Schr\"oder-Bernstein Theorem in ACL…
A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p>0 was initiated by Shalev and continued by the present author. The main goal…
Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the…
Classical correlation and quantum discord are computed for two-qubit $X$-states. Our approach, which is inspired by the methods of classical polarization optics, is geometric in the sense that the entire analysis is tied to the correlation…
We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order $n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schr\"oder…
A bijection $\Phi$ is presented between plane bipolar orientations with prescribed numbers of vertices and faces, and non-intersecting triples of upright lattice paths with prescribed extremities. This yields a combinatorial proof of the…
Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on…
We introduce the general parameter Q_PB that provides an experimentally accessible nonclassicality measure for light. The parameter is quantified by the click statistics obtained from on-off detectors in a general multiplexing detection…
A classical theorem of Scheunert on $G$-color Lie algebras, asserts in the case of finitely generated abelian groups, one can twist the algebra structure and the commutation bicharacter on $G$ by a 2-cocycle twist to a super-Lie $G$ graded,…
Two words $p$ and $q$ are avoided by the same number of length-$n$ words, for all $n$, precisely when $p$ and $q$ have the same set of border lengths. Previous proofs of this theorem use generating functions but do not provide an explicit…
Let $\mathcal{P}(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal{P}(n,p)$ be obtained from $\mathcal{P}(n)$ by selecting elements from $\mathcal{P}(n)$ independently at random with probability $p$. A classical…
We give an algorithm A which assigns probabilities to logical sentences. For any simple infinite sequence of sentences whose truth-values appear indistinguishable from a biased coin that outputs "true" with probability p, we have that the…
A bijection is defined from Littlewood-Richardson tableaux to rigged configurations. It is shown that this map preserves the appropriate statistics, thereby proving a quasi-particle expression for the generalized Kostka polynomials, which…
For pedagogical purposes (inclusion in lecture notes) we review the proof of the theorem stated in the title. At the end we state a problem.
This note is the sequel to [A note on secondary K-theory. Algebra and Number Theory 10 (2016), no. 4, 887-906]. Making use of the recent theory of noncommutative motives, we prove that the canonical map from the derived Brauer group to the…
Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…
Herbrand's theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton, which is basically a number specifying the count of disjunctions of the matrix, we would like to get a computable bound on…
In this paper, we establish a converse to Schur's theorem for Lie superalgebras \( L \), focusing on cases where the minimal generator number pairs \((p \vert q)\) of \( L/Z(L) \) are considered, and where the superdimension \(…
A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can…
Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and…
A bipartite quantum system in a mixed state can exhibit nonclassical correlations, which can go beyond quantum entanglement. While quantum discord is the standard measure of quantifying such general quantum correlations, the nonclassicality…