polynomial
11422 papers tagged with this keyword
Constructions and equivalence of Sidon spaces
Published
• View Publication
• BIB
Sidon spaces have been introduced by Bachoc, Serra and Zémor in 2017 as the $q$-analogue of Sidon sets. The interest on Sidon spaces has increased quickly, especially after the work of Roth, Raviv and Tamo in 2018, in which they highlighted the correspondence between Sidon spaces and cyclic subspace codes. Up to now, the known constructions of Sidon Spaces may be divided in three families: the ones contained in the sum of two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$, the ones contained in the sum of more than two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$ and finally the ones obtained as the kernel of subspace polynomials. In this paper we will mainly focus on the first class of examples, for which we provide characterization results and we will show some new examples, arising also from some well-known combinatorial objects. Moreover, we will give a quite natural definition of equivalence among Sidon spaces, which relies on the notion of equivalence of cyclic subspace codes and we will discuss about the equivalence of the known examples.
Isoperimetric Inequalities and Supercritical Percolation on High-dimensional Graphs
Published
• View Publication
• BIB
It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic result for the hypercube.
In this paper we give new isoperimetric inequalities for such regular high-dimensional product graphs, which generalise the well-known isoperimetric inequality of Harper for the hypercube, and are asymptotically sharp for a wide range of set sizes. We then use these isoperimetric properties to investigate the structure of the giant component $L_1$ in supercritical percolation on these product graphs, that is, when $p=\frac{1+ε}{d}$, where $d$ is the degree of the product graph and $ε>0$ is a small enough constant.
We show that typically $L_1$ has edge-expansion $Ω\left(\frac{1}{d\ln d}\right)$. Furthermore, we show that $L_1$ likely contains a linear-sized subgraph with vertex-expansion $Ω\left(\frac{1}{d\ln d}\right)$. These results are best possible up to the logarithmic factor in $d$.
Using these likely expansion properties, we determine, up to small polylogarithmic factors in $d$, the likely diameter of $L_1$ as well as the typical mixing time of a lazy random walk on $L_1$. Furthermore, we show the likely existence of a path of length $Ω\left(\frac{n}{d\ln d}\right)$. These results not only generalise, but also improve substantially upon the known bounds in the case of the hypercube, where in particular the likely diameter and typical mixing time of $L_1$ were previously only known to be polynomial in $d$.
An Euler operator approach to Ehrhart series
We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.
Higher rank $(q,t)$-Catalan polynomials, affine Springer fibers, and a finite Rational Shuffle Theorem
We introduce the higher rank $(q,t)$-Catalan polynomials and prove they equal truncations of the Hikita polynomial to a finite number of variables. Using affine compositions and a certain standardization map, we define a dinv statistic on rank $r$ semistandard $(m,n)$-parking functions and prove codinv counts the dimension of an affine space in an affine paving of a parabolic affine Springer fiber. Combining these results, we give a finite analogue of the Rational Shuffle Theorem in the context of double affine Hecke algebras. Lastly, we also give a Bizley-type formula for the higher rank Catalan numbers in the non-coprime case.
Unbounded expansion of polynomials and products
Published
• View Publication
• BIB
Given $d,s \in \mathbb{N}$, a finite set $A \subseteq \mathbb{Z}$ and polynomials $\varphi_1, \dots, \varphi_{s} \in \mathbb{Z}[x]$ such that $1 \leq deg \varphi_i \leq d$ for every $1 \leq i \leq s$, we prove that \[ |A^{(s)}| + |\varphi_1(A) + \dots + \varphi_s(A) | \gg_{s,d} |A|^{η_s} , \]
for some $η_s \gg_{d} \log s / \log \log s$. Moreover if $\varphi_i(0) \neq 0$ for every $1 \leq i \leq s$, then \[ |A^{(s)}| + |\varphi_1(A) \dots \varphi_s(A) | \gg_{s,d} |A|^{η_s}. \] These generalise and strengthen previous results of Bourgain--Chang, Pálvölgyi--Zhelezov and Hanson--Roche-Newton--Zhelezov. We derive these estimates by proving the corresponding low-energy decompositions. The latter furnish further applications to various problems of a sum-product flavour, including questions concerning large additive and multiplicative Sidon sets in arbitrary sets of integers.
Jacobi polynomials and harmonic weight enumerators of the first-order Reed--Muller codes and the extended Hamming codes
Published
• View Publication
• BIB
In the present paper, we give harmonic weight enumerators and Jacobi polynomials for the first-order Reed--Muller codes and the extended Hamming codes. As a corollary, we show the nonexistence of combinatorial $4$-designs in these codes.
A study on $k$-coalescence of two graphs
Published in LE MATEMATICHE 2023
• View Publication
• BIB
The $k$-coalescence of two graphs is obtained by merging a $k$-clique of each graph. The $A_α$-matrix of a graph is the convex combination of its degree matrix and adjacency matrix. In this paper, we present some structural properties of a non-regular graph which is obtained from the $k$-coalescence of two graphs. Also, we derive the $A_α$-characteristic polynomial of $k$-coalescence of two graphs and then compute the $A_α$-spectra of $k$-coalescence of two complete graphs. In addition, we estimate the $A_α$-energy of $k$-coalescence of two complete graphs. Furthermore, we obtain some topological indices of vertex coalescence of two graphs, and as an application, we determine some indices of some family of graphs. From these results, we calculate the Wiener index, hyper-Wiener index etc. of the organic compound 1,2-dicyclohexylethane(\ce{C_{14}H_{26}}).
Atoms and charge in type $C_2$
Published
• View Publication
• BIB
We construct atomic decompositions for crystals of type $C_{2}$ and define a charge statistic on them, thus providing positive combinatorial formulas for Kostka-Foulkes polynomials associated to them together with a natural geometric interpretation.
Combinatorial invariance for Kazhdan-Lusztig $R$-polynomials of elementary intervals
Published in Mathematische Annalen Volume 392 (2025)
• View Publication
• BIB
We adapt the hypercube decompositions introduced by Blundell-Buesing-Davies-Veličković-Williamson to prove the Combinatorial Invariance Conjecture for Kazhdan-Lusztig $R$-polynomials in the case of elementary intervals in $S_n$. This significantly generalizes the main previously-known case of the conjecture, that of lower intervals.
A relation between the cube polynomials of partial cubes and the clique polynomials of their crossing graphs
Published in J. Graph Theory, 106 (2024) 907-922
• View Publication
• BIB
Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as $Cl(G,x):=\sum_{i\geqslant 0}a_i(G)x^i$, where $a_i(G)$ ($i\geqslant 1$) is the number of $i$-cliques in $G$ and $a_0(G)=1$. Equivalently, $Cl(G, x)$ is exactly the independence polynomial of the complement $\overline{G}$ of $G$. The {\em crossing graph} $G^{\#}$ of a partial cube $G$ is the graph whose vertices are corresponding to the $Θ$-classes of $G$, and two $Θ$-classes are adjacent in $G^{\#}$ if and only if they cross in $G$. In the present paper, we prove that for a partial cube $G$, $C(G,x)\leqslant Cl(G^{\#}, x+1)$ and the equality holds if and only if $G$ is a median graph. Since every graph can be represented as the crossing graph of a median graph [SIAM J. Discrete Math., 15 (2002) 235--251], the above necessary-and-sufficient result shows that the study on the cube polynomials of median graphs can be transformed to the one on the clique polynomials of general graphs (equivalently, on the independence polynomials of their complements). In addition, we disprove the conjecture that the cube polynomials of median graphs are unimodal.
Comparing invariants of toric ideals of bipartite graphs
Published in Proc. Amer. Math. Soc. Ser. B 10 (2023), 219-232
• View Publication
• BIB
Let $G$ be a finite simple graph and let $I_G$ denote its associated toric ideal in the polynomial ring $R$. For each integer $n\geq 2$, we completely determine all the possible values for the tuple $({\rm reg}(R/I_G), {\rm deg}(h_{R/I_G}(t)),{\rm pdim}(R/I_G), {\rm depth}(R/I_G),\dim(R/I_G))$ when $G$ is a connected bipartite graph on $n$ vertices.
Moment cone membership for quivers in strongly polynomial time
In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities. Here we show that a less geometric but straightforward variant of their construction leads to such a multiplicity polytope for any acyclic quiver. Tardos' strongly polynomial time algorithm for combinatorial linear programming along with the saturation property then implies that moment cone membership can be decided in strongly polynomial time. The analogous question for semi-invariants remains open.
Reciprocals of thinned exponential series
The reciprocal of $e^{-x}$ has a power series about $0$ in which all coefficients are non-negative. Gessel [Reciprocals of exponential polynomials and permutation enumeration, Australas. J. Combin., 74, 2019] considered truncates of the power series of $e^{-x}$, i.e. polynomials of the form $\sum_{n=0}^r (-1)^n\frac{x^n}{n!}$, and established combinatorially that the reciprocal of the truncate has a power series with all coefficients non-negative precisely when $r$ is odd.
Here we extend Gessel's observations to arbitrary ``thinned exponential series''.
To be precise, let $A \subseteq \{1,3,5,\ldots\}$ and $B \subseteq \{2,4,6,\ldots\}$, and consider the series
\[
1-\sum_{a \in A} \frac{x^a}{a!} + \sum_{b \in B} \frac{x^b}{b!}.
\]
We consider conditions on $A$ and $B$ that ensure that the reciprocal series has all coefficients non-negative. We give combinatorial proofs for a large set of conditions, including whenever $1 \in A$ and the endpoints of the maximal consecutive intervals in $A \cup B$ are odd integers.
In particular, the coefficients in the reciprocal series can be interpreted as ordered set partitions of $[n]$ with block size restrictions, or in terms of permutations with restricted lengths of maximally increasing runs, suitably weighted.
Sharp threshold for embedding balanced spanning trees in random geometric graphs
A rooted tree is balanced if the degree of a vertex depends only on its distance to the root. In this paper we determine the sharp threshold for the appearance of a large family of balanced spanning trees in the random geometric graph $\mathcal{G}(n,r,d)$. In particular, we find the sharp threshold for balanced binary trees. More generally, we show that all sequences of balanced trees with uniformly bounded degrees and height tending to infinity appear above a sharp threshold, and none of these appears below the same value. Our results hold more generally for geometric graphs satisfying a mild condition on the distribution of their vertex set, and we provide a polynomial time algorithm to find such trees.
The amoeba dimension of a linear space
Published
• View Publication
• BIB
Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time.
Integrability of matrices
Published
• View Publication
• BIB
The concepts of differentiation and integration for matrices are known. As far as each matrix is differentiable, it is not clear a priori whether a given matrix is integrable or not. Recently some progress was obtained for diagonalizable matrices, however general problem remained open. In this paper, we present a full solution of the integrability problem. Namely, we provide necessary and sufficient conditions for a given matrix to be integrable in terms of its characteristic polynomial. Furthermore, we find necessary and sufficient conditions for the existence of integrable and non-integrable matrices with given geometric multiplicities of eigenvalues. Our approach relies on properties of some special classes of polynomials, namely, Shabat polynomials and conservative polynomials, arising in number theory and dynamics.
On the minimal power of $q$ in a Kazhdan-Lusztig polynomial
Published in Advances in Mathematics, Volume 457, November 2024
• View Publication
• BIB
For $w$ in the symmetric group, we provide an exact formula for the smallest positive power $q^{h(w)}$ appearing in the Kazhdan-Lusztig polynomial $P_{e,w}(q)$. We also provide a tight upper bound on $h(w)$ in simply-laced types, resolving a conjecture of Billey-Postnikov from 2002.
Optimizers of three-point energies and nearly orthogonal sets
Published
• View Publication
• BIB
This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for $p$-frame energies based on three points. It turns out that both problems are inherently connected to the problem of nearly orthogonal sets by Erdős. As the outcome, we provide a new solution of the Erdős problem from the three-point packing perspective. We also show that the orthogonal basis uniquely minimizes the $p$-frame three-point energy when $0<p<1$ in all dimensions. The arguments make use of multivariate polynomials employed in semidefinite programming and based on the classical Gegenbauer polynomials. For $p=1$, we completely solve the analogous problem on the circle. As for higher dimensions, we show that the Hausdorff dimension of minimizers is not greater than $d-2$ for measures on $\mathbb{S}^{d-1}$. As the main ingredient of our proof, we show that the only isotropic measure without obtuse angles is the uniform distribution over an orthonormal basis.
Applications of infinite lower triangular matrices and their group structure in combinatorics and the theory of orthogonal polynomials
Our focus is on the set of lower-triangular, infinite matrices that have natural operations like addition, multiplication by a number, and matrix multiplication. With respect to addition this set forms and abelian group while with respect to matrix multiplication, the invertivle elements of the set form a group. The set becomes an algebra (non-commutative in fact) with unity when all three operations are considered together. We indicate important properties of the algebraic structures obtained in this way. In particular, we indicate several sub-groups or sub-rings. Among sub-groups, we consider the group of Riordan matrices and indicate its several sub-groups. We show a variety of examples (approximately 20) of matrices that are composed of the sequences of important polynomial or number families as entries of certain lower-triangular infinite matrices. New, significant relationships between these families can be discovered by applying well-known matrix operations like multiplication and inverse calculation to this representation.
The paper intends to compile numerous simple facts about the lower-triangular matrices, specifically the family of Rionian matrices, and briefly review their properties.
Capelli-Deruyts bitableaux and the classical Capelli generators of the center of the enveloping algebra $U(gl(n))$
Published
• View Publication
• BIB
In this paper, we consider a special class of Capelli bitableaux, namely the Capelli-Deruyts bitableaux. The main results we prove are the hook coefficient lemma and the expansion theorem. Capelli-Deruyts bitableaux of rectangular shape are of particular interest since they are central elements in the enveloping algebra. The expansion theorem implies that these central element is explicitely described as a polynomial in the classical Capelli central elements. The hook coefficient lemma implies that the Capelli-Deruyts bitableaux are (canonically) expressed as the products of column determinants.