polynomial
11184 papers tagged with this keyword
A generalization of Gerzon's bound on spherical s-distance sets
Published
• View Publication
• BIB
We Use the method of linearly independent polynomials to derive an upper bound for the cardinality of a spherical s-distance set F where the sum of distinct inner products of any two elements from F is zero. Our result generalizes the well-known Gerzon's bound for the cardinality of an equiangular spherical set to a significantly broader class of spherical s-distance sets.
Polynomial bounds for chromatic number. IV. A near-polynomial bound for excluding the five-vertex path
Published
• View Publication
• BIB
A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a $P_5$-free graph with clique number $ω\ge 3$ has chromatic number at most $ω^{\log_2(ω)}$. The best previous result was an exponential upper bound $(5/27)3^ω$, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdos-Hajnal conjecture holds for $P_5$, which is the smallest open case. Thus there is great interest in whether there is a polynomial bound for $P_5$-free graphs, and our result is an attempt to approach that.
Independence and orthogonality of algebraic eigenvectors over the max-plus algebra
Published
• View Publication
• BIB
The max-plus algebra $\mathbb{R}\cup \{-\infty \}$ is a semiring with the two operations: addition $a \oplus b := \max(a,b)$ and multiplication $a \otimes b := a + b$. Roots of the characteristic polynomial of a max-plus matrix are called algebraic eigenvalues. Recently, algebraic eigenvectors with respect to algebraic eigenvalues were introduced as a generalized concept of eigenvectors. In this paper, we present properties of algebraic eigenvectors analogous to those of eigenvectors in the conventional linear algebra. First, we prove that for generic matrices algebraic eigenvectors with respect to distinct algebraic eigenvalues are linearly independent. We further prove that for symmetric matrices algebraic eigenvectors with respect to distinct algebraic eigenvalues are orthogonal to each other.
Lorentzian polynomials on cones and the Heron-Rota-Welsh conjecture
We give a short proof of the log-concavity of the coefficients of the reduced characteristic polynomial of a matroid. The proof uses an extension of the theory of Lorentzian polynomials to convex cones, and reproves the Hodge-Riemann relations of degree one for the Chow ring of a matroid.
Auto-correlation functions for unitary groups
Published
• View Publication
• BIB
We compute the auto-correlations functions of order $m\ge 1$ for the characteristic polynomials of random matrices from certain subgroups of the unitary groups $\U(2)$ and $\U(3)$ by applying branching rules. These subgroups can be understood as analogs of Sato--Tate groups of $\USp(4)$ in our previous paper. This computation yields symmetric polynomial identities with $m$-variables involving irreducible characters of $\U(m)$ for all $m \ge 1$ in an explicit, uniform way.
Inequalities for Plane Partitions
Published
• View Publication
• BIB
Inequalities are important features in the context of sequences of numbers and polynomials. The Bessenrodt--Ono inequality for partition numbers and Nekrasov--Okounkov polynomials has only recently been discovered. In this paper we study the log-concavity (Turán inequality) and Bessenrodt--Ono inequality for plane partitions and their polynomization.
A polynomial resultant approach to algebraic constructions of extremal graphs
Published in SCIENCE CHINA Mathematics, 2024+
• View Publication
• BIB
The Turán problem asks for the largest number of edges ex$(n,H)$ in an $n$-vertex graph not containing a fixed forbidden subgraph $H$, which is one of the most important problems in extremal graph theory. However the order of magnitude of ex$(n,H)$ for bipartite graphs is known only in a handful of cases. In particular, giving explicit constructions of extremal graphs is very challenging in this field. In this paper, we develop a polynomail resultant approach to algebraic construction of explicit extremal graphs, which can efficiently decide whether a specified structure exists. A key insight in our approach is the multipolynomial resultant, which is a fundamental tool of computational algebraic geometry. Our main results include the matched lowers bounds for Turán number of $1$-subdivision of $K_{3,t_{1}}$ and linear Turán number of Berge theta hyerpgraph $Θ_{3,t_{2}}^{B}$ with $t_{1}=25$ and $t_{2}=217$. Moreover, the constant $t_{1}$ improves the random algebraic construction of Bukh and Conlon~[Rational exponents in extremal graph theory, J. Eur. Math. Soc. 20 (2018), 1747-1757] and makes progress on the known estimation for the smallest value of $t_{1}$ concerning a problem posed by Conlon, Janzer and Lee ~[More on the extremal number of subdivisions, Combinatorica, to appear], while the constant $t_{2}$ improves a result of He and Tait~[Hypergraphs with few berge paths of fixed length between vertices, SIAM J. Discrete Math., 33(3), 1472-1481].
General non-realizability certificates for spheres with linear programming
Published
• View Publication
• BIB
In this paper we present a simple technique to derive certificates of non-realizability for an abstract polytopal sphere. Our approach uses a variant of the classical algebraic certificates introduced by Bokowski and Sturmfels in [Computational Synthetic Geometry, 1989], the final polynomials. More specifically we reduce the problem of finding a realization to that of finding a positive point in a variety and try to find a polynomial with positive coefficients in the generating ideal (a positive polynomial), showing that such point does not exist. Many, if not most, of the techniques for proving non-realizability developed in the last three decades can be seen as following this framework, using more or less elaborate ways of constructing such positive polynomials. Our proposal is more straightforward as we simply use linear programming to exhaustively search for such positive polynomials in the ideal restricted to some linear subspace. Somewhat surprisingly, this elementary strategy yields results that are competitive with more elaborate alternatives, and allows us to derive new examples of non-realizable abstract polytopal spheres.
Cogrowth Series for Free Products of Finite Groups
Published in International Journal of Algebra and Computation 33.02 (2023): 237-260
• View Publication
• BIB
Given a finitely generated group with generating set $S$, we study the cogrowth sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks the corresponding Cayley graph. Muller and Schupp proved the generating function of the sequence is algebraic when $G$ has a finite-index free subgroup (using a result of Dunwoody). In this work we make this result effective for free products of finite groups: we determine bounds for the degree and height of the minimal polynomial of the generating function, and determine the minimal polynomial explicitly for some families of free products. Using these results we are able to prove that a gap theorem holds: if $S$ is a finite symmetric generating set for a group $G$ and if $a_n$ denotes the number of words of length $n$ over the alphabet $S$ that are equal to $1$ then $\limsup_n a_n^{1/n}$ exists and is either $1$, $2$, or at least $2\sqrt{2}$.
Improved error bounds for the number of irreducible polynomials and self-reciprocal irreducible monic polynomials with prescribed coefficients over a finite field
Published
• View Publication
• BIB
A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we obtain improved error bounds for the number of irreducible polynomials and self-reciprocal irreducible monic polynomials with prescribed coefficients over a finite field. The improved bounds imply that self-reciprocal irreducible monic polynomials with degree $2d$ always exist provided that the number of prescribed leading coefficients is slightly less than $ d/2$.
Lattice Models, Hamiltonian Operators, and Symmetric Functions
We give general conditions for the existence of a Hamiltonian operator whose discrete time evolution matches the partition function of certain solvable lattice models. In particular, we examine two classes of lattice models: the classical six-vertex model and a generalized family of $(2n+4)$-vertex models for each positive integer $n$. These models depend on a statistic called charge, and are associated to the quantum group $U_q(\widehat{\mathfrak{gl}}(1|n))$. Our results show a close and unexpected connection between Hamiltonian operators and the Yang-Baxter equation.
The six-vertex model can be associated with Hamiltonians from classical Fock space, and we show that such a correspondence exists precisely when the Boltzmann weights are free fermionic. This allows us to prove that the free fermionic partition function is always a (skew) supersymmetric Schur function and then use the Berele-Regev formula to correct a result from of Brubaker, Bump, and Friedberg on the free fermionic domain-wall partition function. In this context, the supersymmetric function involution takes us between two lattice models that generalize the vicious walker and osculating walker models.
Then, we prove a sharp solvability criterion for the six-vertex model with charge that provides the proper analogue of the free fermion condition. Building on results by Brubaker, Buciumas, Bump, and Gustafsson, we show that this criterion exactly dictates when a charged model has a Hamiltonian operator acting on a Drinfeld twist of $q$-Fock space. The resulting partition function is then a (skew) supersymmetric LLT polynomial, and almost all supersymmetric LLT polynomials appear as partition functions of our lattice models. We also prove a Cauchy identity for skew supersymmetric LLT polynomials. (see 2024 author's note below)
Matching forcing polynomials of constructable hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive recurrence relations of forcing polynomials for monotonic CHS and the other is CHS with one turning.
Matching anti-forcing polynomials of catacondensed hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive a recurrence relation of anti-forcing polynomial for catacondensed hexagonal systems.
Multi-objective Matroid Optimization with Ordinal Weights
Published
• View Publication
• BIB
Bi-objective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. However, if one of the objective functions is restricted to binary cost coefficients the problem becomes efficiently solvable by an exhaustive swap algorithm. Binary cost coefficients often represent two categories and are thus a special case of ordinal coefficients that are in general non-additive. In this paper we consider ordinal objective functions with more than two categories in the context of matroid optimization. We introduce several problem variants that can be distinguished w.r.t. their respective optimization goals, analyze their interrelations, and derive a polynomial time solution method that is based on the repeated solution of matroid intersection problems. Numerical tests on minimum spanning tree problems and on partition matroids confirm the efficiency of the approach.
Relating three combinatorial formulas for type $A$ Whittaker functions
In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions.
Constructing bounded degree graphs with prescribed degree and neighbor degree sequences
Let $D = d_1, d_2, \ldots, d_n$ and $F = f_1, f_2,\ldots, f_n$ be two sequences of positive integers. We consider the following decision problems: is there a $i)$ multigraph, $ii)$ loopless multigraph, $iii)$ simple graph, $iv)$ connected simple graph, $v)$ tree, $vi)$ caterpillar $G = (V,E)$ such that for all $k$, $d(v_k) = d_k$ and $\sum_{w\in \mathcal{N}(v_k)} d(w) = f_k$ ($d(v)$ is the degree of $v$ and $\mathcal{N}(v)$ is the set of neighbors of $v$). Here we show that all these decision problems can be solved in polynomial time if $\max_{k} d_k$ is bounded.
The problem is motivated by NMR spectroscopy of hydrocarbons.
Column expansion identities and quadratic spanning forest identities
Column expansion identities of determinants give a source of quadratic spanning forest polynomial identities and allow us determine the dimension of the space of certain quadratic spanning forest identities, settling a conjecture of one of us with Vlasev from 2012. Furthermore, we give a combinatorial interpretation of such spanning forest identities via an edge-swapping argument previously developed by one of us in 2019. Quadratic spanning forest polynomials identities are of particular interest because they are useful for quantum field theory calculations in four dimensions.
Vertebrate interval graphs
A vertebrate interval graph is an interval graph in which the maximum size of a set of independent vertices equals the number of maximal cliques. For any fixed $v \ge 1$, there is a polynomial-time algorithm for deciding whether a vertebrate interval graph admits a vertex partition into two induced subgraphs with claw number at most $v$. In particular, when $v = 2$, whether a vertebrate interval graph can be partitioned into two proper interval graphs can be decided in polynomial time.
Permanent identities, combinatorial sequences, and permutation statistics
Published
• View Publication
• BIB
In this paper, we confirm six conjectures on the exact values of some permanents, relating them to the Genocchi numbers of the first and second kinds as well as the Euler numbers. For example, we prove that $$\mathrm{per}\left[\left\lfloor\frac{2j-k}{n}\right\rfloor\right]_{1\le j,k\le n}=2(2^{n+1}-1)B_{n+1},$$ where $B_0,B_1,B_2,\ldots$ are the Bernoulli numbers. We also show that $$ \mathrm{per}\left[\mathrm{sgn}\left(\cosπ\frac{i+j}{n+1}\right)\right]_{1\le i,j\le n}=\begin{cases} -\sum_{k=0}^m\binom{m}{k}E_{2k+1}&\quad\text{if}\ n=2m+1,\\ \sum_{k=0}^m\binom{m}{k}E_{2k}&\quad\text{if}\ n=2m, \end{cases} $$ where $\mathrm{sgn}(x)$ is the sign function, and $E_0,E_1,E_2,\ldots$ are the Euler (zigzag) numbers.
In the course of linking the evaluation of these permanents to the aforementioned combinatorial sequences, the classical permutation statistic -- the excedance number, together with several kinds of its variants, plays a central role. Our approach features recurrence relations, bijections, as well as certain elementary operations on matrices that preserve their permanents. Moreover, our proof of the second permanent identity leads to a proof of Bala's conjectural continued fraction formula, and an unexpected permutation interpretation for the $γ$-coefficients of the $2$-Eulerian polynomials.
Double Schubert polynomials do have saturated Newton polytopes
Published
• View Publication
• BIB
We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.