arXiv++ Combinatorics

Nondegenerate quadratic forms over $p$-adic fields are classified by their dimension, discriminant, and Hasse invariant. This paper uses these three invariants, elementary facts about $p$-adic fields and the theory of quadratic forms to determine which types of quadratic spaces -- including degenerate cases -- can be embedded in the Euclidean $p$-adic space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n}^{2})$, and the Lorentzian space $(\mathbb{Q}_{p}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$, where $\mathbb{Q}_{p}$ is the field of $p$-adic numbers, and $λ$ is a nonsquare in the finite field $\mathbb{F}_{p}$. Furthermore, the minimum dimension $n$ that admits such an embedding is determined.

If h is a ring-valued function on a simplicial complex G we can define two matrices L and g, where the matrix entries are the h energy of homoclinic intersections. We know that the sum over all h values on G is equal to the sum of the Green matrix entries g(x,y). We also have already seen that that the determinants of L or g are both the product of the h(x). In the case where h(x) is the parity of dimension, the sum of the energy values was the standard Euler characteristic and the determinant was a unit. If h(x) was the unit in the ring then L,g are integral quadratic forms which are isospectral and inverse matrices of each other. We prove here that the quadratic energy expression summing over all pairs h(x)^* h(y) of intersecting sets is a signed sum of squares of Green function entries. The quadratic energy expression is Wu characteristic in the case when h is dimension parity. For general h, the quadratic energy expression resembles an Ising Heisenberg type interaction. The conjugate of g is the inverse of L if h takes unit values in a normed ring or in the group of unitary operators in an operator algebra.

An equiangular tight frame (ETF) is a sequence of vectors in a Hilbert space that achieves equality in the Welch bound and so has minimal coherence. More generally, an equichordal tight fusion frame (ECTFF) is a sequence of equi-dimensional subspaces of a Hilbert space that achieves equality in Conway, Hardin and Sloane's simplex bound. Every ECTFF is a type of optimal Grassmannian code, that is, an optimal packing of equi-dimensional subspaces of a Hilbert space. We construct ECTFFs by exploiting new relationships between known ETFs. Harmonic ETFs equate to difference sets for finite abelian groups. We say that a difference set for such a group is "paired" with a difference set for its Pontryagin dual when the corresponding subsequence of its harmonic ETF happens to be an ETF for its span. We show that every such pair yields an ECTFF. We moreover construct an infinite family of paired difference sets using quadratic forms over the field of two elements. Together this yields two infinite families of real ECTFFs.

In this short note, we compute the precise asymptotics for the number of contingency tables with non-uniform margins. More precisely, for parameter $n,δ, B,C>0$, we consider the set of matrices whose first $[n^δ]$ rows and columns have sum $[BCn]$ and the rest $n$ rows and columns have sum $[Cn]$. We compute the precise asymptotics of the cardinality of this set when $B<B_c=1+\sqrt{1+1/C}$ using the maximal entropy methods developed by Barvinok and Hartigan. The only contribution of this note is a detailed expansion of the determinant of quadratic forms in asymptotic formulas.

The inverse function $x \mapsto x^{-1}$ on $\mathbb{F}_{2^n}$ is one of the most studied functions in cryptography due to its widespread use as an S-box in block ciphers like AES. In this paper, we show that, if $n\geq 5$, every function that is CCZ-equivalent to the inverse function is already EA-equivalent to it. This confirms a conjecture by Budaghyan, Calderini and Villa. We also prove that every permutation that is CCZ-equivalent to the inverse function is already affine equivalent to it. The majority of the paper is devoted to proving that there are no permutation polynomials of the form $L_1(x^{-1})+L_2(x)$ over $\mathbb{F}_{2^n}$ if $n\geq 5$, where $L_1,L_2$ are nonzero linear functions. In the proof, we combine Kloosterman sums, quadratic forms and tools from additive combinatorics.

We characterize mutation-finite cluster algebras of rank at least 3 using positive semi-definite quadratic forms. In particular, we associate with every unpunctured bordered surface a positive semi-definite quadratic space $V$, and with every triangulation a basis in $V$, such that any mutation of a cluster (i.e., a flip of a triangulation) transforms the corresponding bases into each other by partial reflections. Furthermore, every triangulation gives rise to an extended affine Weyl group of type $A$, which is invariant under flips. The construction is also extended to exceptional skew-symmetric mutation-finite cluster algebras of types $E$.

In this study, we present two results that relate Tutte polynomials. First, we provide new and complete polynomial invariants for graphs. We note that the number of variables of our polynomials is one. Second, let L_1 and L_2 be two non-isomorphic lattices. We state that L_1 and L_2 are theta series equivalent if those theta series are the same. The problem of identifying theta series equivalent lattices is discussed in Prof.~Conway's book The Sensual (Quadratic) Form with the title "Can You Hear the Shape of a Lattice?" In this study, we present a method to find theta series equivalent lattices using matroids and their Tutte polynomials.

In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of $s$-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most $s$ different distances). In this paper we extend their work and prove upper bounds for the size of $s$-distance sets in various real algebraic sets. This way we obtain a novel and short proof for the bound of Delsarte-Goethals-Seidel on spherical $s$-distance sets and a generalization of a bound by Bannai-Kawasaki-Nitamizu-Sato on $s$-distance sets on unions of spheres. In our arguments we use the method of Petrov and Pohoata together with some Gröbner basis techniques.

We show how to adapt the Hardy--Littlewood circle method to count monochromatic solutions to diagonal Diophantine equations. This delivers a lower bound which is optimal up to absolute constants. The method is illustrated on equations obtained by setting a diagonal quadratic form equal to a linear form. As a consequence, we determine an algebraic criterion for when such equations are partition regular. Our methods involve discrete harmonic analysis and require a number of `mixed' restriction estimates, which may be of independent interest.

The variance of a linear statistic defined on the symmetric group endowed with the Ewens probability is examined. Despite the dependence of the summands, it can be bounded from above by a constant multiple of the sum of variances. We find the exact value of this constant. The analysis of the appearing quadratic forms and eigenvalue search is built upon the exponential matrices and discrete Hahn's polynomials.

We study the linear span of commutators of free random variables and show that these are the only quadratic forms which satisfy the following equivalent properties: * preservation free infinite divisibility * free and strong cancellation of odd cumulants * symmetric distribution for any free family. The main combinatorial tool is an involution on non-crossing partitions.

A celebrated theorem due to Bannai-Bannai-Stanton says that if $A$ is a set of points in $\mathbb{R}^{d}$, which determines $s$ distinct distances, then $$|A| \leq {d+s \choose s}.$$ In this note, we give a new simple proof of this result by combining Sylvester's Law of Inertia for quadratic forms with the proof of the so-called Croot-Lev-Pach Lemma from additive combinatorics.

A polynomial is real-rooted if all of its roots are real. This note gives a simple proof of the Hermite-Sylvester theorem that a polynomial $f(x) \in {\mathbf R}[x]$ is real-rooted if and only if an associated quadratic form is positive semidefinite.

We characterise Newton polytopes of nondegenerate quadratic forms and Newton polyhedra of Morse singularities.

Consider a quadratic polynomial $f\left(ξ_{1},\dots,ξ_{n}\right)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.

For standard algorithms verifying positive definiteness of a matrix $A\in\mathbb{M}_n(\mathbb{R})$ based on Sylvester's criterion, the computationally pessimistic case is this when $A$ is positive definite. We present two algorithms realizing the same task for $A\in\mathbb{M}_n(\mathbb{Z})$, for which the case when $A$ is positive definite is the optimistic one. The algorithms have pessimistic computational complexities $\mathcal{O}(n^3)$ and $\mathcal{O}(n^4)$ and they rely on performing certain edge transformations, called inflations, on the edge-bipartite graph (=bigraph) $Δ=Δ(A)$ associated with $A$. We provide few variants of the algorithms, including Las Vegas type randomized ones with precisely described maximal number of steps. The algorithms work very well in practice, in many cases with a better speed than the standard tests. Moreover, the algorithms yield some additional information on the properties on the quadratic form $q_A:\mathbb{Z}^n\to\mathbb{Z}$ associated with a matrix $A$. On the other hand, our results provide an interesting example of an application of symbolic computing methods originally developed for different purposes, with a big potential for further generalizations in matrix problems. This is an extended version of the article [A. Mróz, Effective nondeterministic positive definiteness test for unidiagonal integral matrices, Proceedings SYNASC 2016, IEEE Computer Society CPS (2016), 65-71] in which we discussed the algorithm of the complexity $\mathcal{O}(n^4)$.

Let $U$ be a $({ k-1 \choose 2}-1)$-dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$. We will prove that if there is a group $G$ which fixes $U$ and no line of $\mathrm{PG}(k-1,{\mathbb F})$ and $V(U)$ spans $\mathrm{PG}(k-1,{\mathbb F})$ then any hyperplane of $\mathrm{PG}(k-1,{\mathbb F})$ is incident with at most $k$ points of $V(U)$. If ${\mathbb F}$ is a finite field then the linear code generated by the matrix whose columns are the points of $V(U)$ is a $k$-dimensional linear code of length $|V(U)|$ and minimum distance at least $|V(U)|-k$. A linear code with these parameters is an MDS code or an almost MDS code. We will construct examples of such subspaces $U$ and groups $G$, which include the normal rational curve, the elliptic curve, Glynn's arc from \cite{Glynn1986} and other examples found by computer search. We conjecture that the projection of $V(U)$ from any $k-4$ points is contained in the intersection of two quadrics, the common zeros of two linearly independent quadratic forms. This would be a strengthening of a classical theorem of Fano, which itself is an extension of a theorem of Castelnuovo, for which we include a proof using only linear algebra.

We introduce a notion of doubly warped product of weighted graphs that is consistent with the doubly warped product in the Riemannian setting. We establish various discrete Bakry-Émery Ricci curvature-dimension bounds for such warped products in terms of the curvature of the constituent graphs. This requires deliberate analysis of the quadratic forms involved, prompting the introduction of some crucial notions such as curvature saturation at a vertex. In the spirit of being thorough and to provide a frame of reference, we also introduce the $\left(R_1,R_2\right)$-doubly warped products of smooth measure spaces and establish $\N$-Bakry-Émery Ricci curvature (lower) bounds thereof in terms of those of the factors. At the end of these notes, we present examples and demonstrate applications of warped products with some toy models.

We consider cyclic codes $\mathcal{C}_\mathcal{L}$ associated to quadratic trace forms in $m$ variables $Q_R(x) = \operatorname{Tr}_{q^m/q}(xR(x))$ determined by a family $\mathcal{L}$ of $q$-linearized polynomials $R$ over $\mathbb{F}_{q^m}$, and three related codes $\mathcal{C}_{\mathcal{L},0}$, $\mathcal{C}_{\mathcal{L},1}$ and $\mathcal{C}_{\mathcal{L},2}$. We describe the spectra for all these codes when $\mathcal{L}$ is an even rank family, in terms of the distribution of ranks of the forms $Q_R$ in the family $\mathcal{L}$, and we also compute the complete weight enumerator for $\mathcal{C}_\mathcal{L}$. In particular, considering the family $\mathcal{L} = \langle x^{q^\ell} \rangle$, with $\ell$ fixed in $\mathbb{N}$, we give the weight distribution of four parametrized families of cyclic codes $\mathcal{C}_\ell$, $\mathcal{C}_{\ell,0}$, $\mathcal{C}_{\ell,1}$ and $\mathcal{C}_{\ell,2}$ over $\mathbb{F}_q$ with zeros $\{ α^{-(q^\ell+1)} \}$, $\{ 1,\, α^{-(q^\ell+1)} \}$, $\{ α^{-1},\,α^{-(q^\ell+1)} \}$ and $\{ 1,\,α^{-1},\,α^{-(q^\ell+1)}\}$ respectively, where $q = p^s$ with $p$ prime, $α$ is a generator of $\mathbb{F}_{q^m}^*$ and $m/(m,\ell)$ is even. Finally, we give simple necessary and sufficient conditions for Artin-Schreier curves $y^p-y = xR(x) + βx$, $p$ prime, associated to polynomials $R \in \mathcal{L}$ to be optimal. We then obtain several maximal and minimal such curves in the case $\mathcal{L} = \langle x^{p^\ell}\rangle$ and $\mathcal{L} = \langle x^{p^\ell}, x^{p^{3\ell}} \rangle$.

In Gert Almkvist's beautiful article, entitled "Invariants, mostly old ones", (that appeared in the Pacific Journal of Mathematics, vol. 86 (1980), pp. 1-13) he talked about a sequence of generating functions that came up in his work, that turned out to be the same as generating functions for the number of covariants of binary quadratic forms studied by Faa de Bruno, Cayley, Sylvester, and other 19th century savantes. Using a very simple-minded Maple program (that uses the partial-fraction decomposition of a rational function), we recompute them, and go all the way to degree 18. It turns out that the same method can be used to answer many other enumeration questions, including the one in the title.