Related papers: A weak version of Rota's basis conjecture for odd …
A linear mapping upon real n-dimensional space, where the dimension n is odd, has a real eigenvalue-eigenvector pair. The corresponding statement for complex vector spaces holds true for any dimension n, but should be easy to demonstrate…
Rudin conjectured that there are never more than c N^(1/2) squares in an arithmetic progression of length N. Motivated by this surprisingly difficult problem we formulate more than twenty conjectures in harmonic analysis, analytic number…
A characterization of the matrix representation of the compressed shift acting on a finite-dimensional model space endowed with the Takenaka-Malmquist-Walsh basis, among all upper triangular matrices, is proved. For a fixed dimension, this…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
Finding spanning structures with many distinct colours in properly edge-coloured graphs is a central theme in extremal combinatorics. A classical result of Andersen shows that every proper edge-colouring of the complete graph $K_n$ contains…
An identity for binomial symbols modulo an odd positive integer $n$ relating to the least prime factor of $n$ is proved. The identity is discussed within the context of Pell conics.
Starting from an Enriques surface over $\mathbb{Q}(t)$ considered by Lafon, we give the first examples of smooth projective weakly special threefolds which fibre over the projective line in Enriques surfaces (resp. K3 surfaces) with nowhere…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields…
For an integer $t \geq 3$, let $\mathcal{L}(t)$ denote the linear equation $x_1 + x_2 + \cdots + x_{t-1} = x_t,$ where all variables are positive integers. For integers $k \geq 1$ and $t_0,t_1,\dots,t_{k-1} \geq 3$, the generalized Schur…
We give a counterexample to a conjecture stated in Linial and London 2006 regarding expansion on $\mathbb{T}^2$ under $\begin{bmatrix}1&1\\ 0&1\end{bmatrix}$ and $\begin{bmatrix}1&0\\ 1&1\end{bmatrix}$.
Auslander-Reiten conjecture, which says that an Artin algebra does not have any non-projective generator with vanishing self-extensions in all positive degrees, is shown to be invariant under certain singular equivalences induced by adjoint…
The McCarty Conjecture states that any McCarty Matrix (an $n\times n$ matrix $A$ with positive integer entries and each of the $2n$ row and column sums equal to $n$), can be additively decomposed into two other matrices, $B$ and $C$, such…
A conjecture of De Concini Kac and Procesi provides a bound on the minimal possible dimension of an irreducible module for quantized enveloping algebras at an odd root of unity. We pose the problem of the existence of modules whose…
We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly"…
We prove a lower bound on the rank of tensors constructed from families of linear maps that `expand' the dimension of every subspace. Such families, called {\em dimension expanders} have been studied for many years with several known…
We offer a piece of evidence that the problems of finding the number of mutually unbiased bases (MUB) and mutually orthogonal Latin squares (MOLS) might not be equivalent. We study a particular procedure which has been shown to relate the…
We construct field theories in $2+1$ dimensions with multiple conformal symmetries acting on only one of the spatial directions. These can be considered a conformal extension to "subsystem scale invariances", borrowing the language often…
Let $n$ be an odd positive integer. In this short elementary note, we slightly extend Macdonald's identity for $\mathfrak{sl}_{n}$ into a two-variables identity in the spirit of Jacobi forms. The peculiarity of this work lies in its proof…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…