polynomial
11239 papers tagged with this keyword
Lattice Points in the Newton Polytopes of Key Polynomials
Published
• View Publication
• BIB
We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.
Bases for Quotients of Symmetric Polynomials
We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum cohomology of the Grassmannian. Our work also provides an alternative proof of a result due to Grinberg.
Weighted Triangle-free 2-matching Problem with Edge-disjoint Forbidden Triangles
Published
• View Publication
• BIB
The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.
Quadratic addition rules for three $q$-integers
The $q$-integer is the polynomial $[n]_q = 1 + q + q^2 + \dots + q^{n-1}$. For every sequences of polynomials $\mathcal S = \{s_m(q)\}_{m=1}^\infty$, $\mathcal T = \{t_m(q)\}_{m=1}^\infty$, $\mathcal U = \{u_m(q)\}_{m=1}^\infty$ and $\mathcal V = \{v_m(q)\}_{m=1}^\infty$, define an addition rule for three $q$-integers by $$\oplus_{\mathcal S,\mathcal T,\mathcal U,\mathcal V} ([m]_q, [n]_q, [k]_q) = s_m (q) [m]_q + t_m (q) [n]_q + u_m(q) [k]_q + v_m (q) [n]_q [k]_q .$$ This is called the first kind of quadratic addition rule for three $q$-integers, if $$\oplus_{\mathcal S,\mathcal T,\mathcal U,\mathcal V} ([m]_q, [n]_q, [k]_q) = \left[m+n+k\right]_q$$ for all positive integers $m$, $n$, $k$. In this paper the first kind of quadratic addition rules for three $q$-integers are determined when $s_m(q)\equiv 1$. Moreover, the solution of the functional equation for a sequence of polynomials $\{f_n(q)\}_{n=1}^\infty$ given by $$f_{m+n+k} (q) = f_m (q) + q^m f_n (q) + q^m f_k (q) + q^m (q-1) f_n (q) f_k (q)$$ for all positive integers $m$, $n$, $k$, are computed.
A positive combinatorial formula for symplectic Kostka-Foulkes polynomials I: Rows
Published in J. Algebra, 560, 1253-1296, 2020
• View Publication
• BIB
We prove a conjecture of Lecouvey, which proposes a closed, positive combinatorial formula for symplectic Kostka-Foulkes polynomials, in the case of rows of arbitrary weight. To show this, we construct a new algorithm for computing cocyclage in terms of which the conjecture is described. Our algorithm is free of local constraints, which were the main obstacle in Lecouvey's original construction. In particular, we show that our model is governed by the situation in type A. This approach works for arbitrary weight and we expect it to lead to a proof of the conjecture in full generality.
What is the Perfect Shuffle?
When shuffling a deck of cards, one probably wants to make sure it is thoroughly shuffled. A way to do this is by sifting through the cards to ensure that no adjacent cards are the same number, because surely this is a poorly shuffled deck. Unfortunately, human intuition for probability tends to lead us astray. For a standard 52-card deck of playing cards, the event is actually extremely likely. This report will attempt to elucidate how to answer this surprisingly difficult combinatorial question directly using rook polynomials.
Testing linear-invariant properties
Published in SIAM J. Comput. 51 (2022), 1230--1279
• View Publication
• BIB
Fix a prime $p$ and a positive integer $R$. We study the property testing of functions $\mathbb F_p^n\to[R]$. We say that a property is testable if there exists an oblivious tester for this property with one-sided error and constant query complexity. Furthermore, a property is proximity oblivious-testable (PO-testable) if the test is also independent of the proximity parameter $ε$. It is known that a number of natural properties such as linearity and being a low degree polynomial are PO-testable. These properties are examples of linear-invariant properties, meaning that they are preserved under linear automorphisms of the domain. Following work of Kaufman and Sudan, the study of linear-invariant properties has been an important problem in arithmetic property testing.
A central conjecture in this field, proposed by Bhattacharyya, Grigorescu, and Shapira, is that a linear-invariant property is testable if and only if it is semi subspace-hereditary. We prove two results, the first resolves this conjecture and the second classifies PO-testable properties.
(1) A linear-invariant property is testable if and only if it is semi subspace-hereditary.
(2) A linear-invariant property is PO-testable if and only if it is locally characterized.
Our innovations are two-fold. We give a more powerful version of the compactness argument first introduced by Alon and Shapira. This relies on a new strong arithmetic regularity lemma in which one mixes different levels of Gowers uniformity. This allows us to extend the work of Bhattacharyya, Fischer, Hatami, Hatami, and Lovett by removing the bounded complexity restriction in their work. Our second innovation is a novel recoloring technique called patching. This Ramsey-theoretic technique is critical for working in the linear-invariant setting and allows us to remove the translation-invariant restriction present in previous work.
Integrality of Linearizations of Polynomials over Binary Variables using Additional Monomials
Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an integral relaxation polytope, generalizing work by Del Pia and Khajavirad (SIAM Journal on Optimization, 2018) and Buchheim, Crama and Rodríguez-Heck (European Journal of Operations Research, 2019). We also present an algorithm that finds these extra monomials for a given polynomial to yield an integral relaxation polytope or determines that no such set of extra monomials exists. In the former case, our approach yields an algorithm to solve the given polynomial optimization problem as a compact LP, and we complement this with a purely combinatorial algorithm.
Quasiparabolic sets and Stanley symmetric functions for affine fixed-point-free involutions
Published
• View Publication
• BIB
We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.
A zeta function related to the transition matrix of the discrete-time quantum walk on a graph
Published
• View Publication
• BIB
We present the structure theorem for the positive support of the cube of the Grover transition matrix of the discrete-time quantum walk (the Grover walk) on a general graph $G$ under same condition. Thus, we introduce a zeta function on the positive support of the cube of the Grover transition matrix of $G$, and present its Euler product and its determinant expression. As a corollary, we give the characteristic polynomial for the positive support of the cube of the Grover transition matrix of a regular graph, and so obtain its spectra. Finally, we present the poles and the radius of the convergence of this zeta function.
Ehrhart positivity of Tesler polytopes and Berline-Vergne's valuation
Published
• View Publication
• BIB
For $\ba \in \R_{\geq 0}^{n}$, the Tesler polytope $\tes_{n}(\ba)$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. Motivated by a conjecture of Morales', we study the questions of whether the coefficients of the Ehrhart polynomial of $\tes_n(1,1,\dots,1)$ are positive. We attack this problem by studying a certain function constructed by Berline-Vergne and its values on faces of a unimodularly equivalent copy of $\tes_n(1,1,\dots,1).$ We develop a method of obtaining the dot products appeared in formulas for computing Berline-Vergne's function directly from facet normal vectors. Using this method together with known formulas, we are able to show Berline-Vergne's function has positive values on codimension $2$ and $3$ faces of the polytopes we consider. As a consequence, we prove that the $3$rd and $4$th coefficients of the Ehrhart polynomial of $\tes_{n}(1,\dots,1)$ are positive. Using the Reduction Theorem by Castillo and the second author, we generalize the above result to all deformations of $\tes_{n}(1,\dots,1)$ including all the integral Tesler polytopes.
A note on the Higher order Turán inequalities for $k$-regular partitions
Published in Research in Number Theory, Vol. 7 Issue 1, 2021
• View Publication
• BIB
Nicolas and DeSalvo and Pak proved that the partition function $p(n)$ is log concave for $n \geq 25$. Chen, Jia and Wang proved that $p(n)$ satisfies the third order Turán inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for $n \geq 94$. More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all $d$, the degree $d$ Jensen polynomials associated to $p(n)$ are hyperbolic for sufficiently large $n$. In this paper, we prove that the same result holds for the $k$-regular partition function $p_k(n)$ for $k \geq 2$. In particular, for any positive integers $d$ and $k$, the order $d$ Turán inequalities hold for $p_k(n)$ for sufficiently large $n$. The case when $d = k = 2$ proves a conjecture by Neil Sloane that $p_2(n)$ is log concave.
An improved asymptotic formula for the distribution of irreducible polynomials in arithmetic progressions over Fq
Let $\mathbb{F}_{q}$ be a finite field with $q$ elements and $\mathbb{F}_{q}[x]$ the ring of polynomials over $\mathbb{F}_{q}$. Let $l(x), k(x)$ be coprime polynomials in $\mathbb{F}_{q}[x]$ and $Φ(k)$ the Euler function in $\mathbb{F}_{q}[x]$. Let $π(l, k; n)$ be the number of monic irreducible polynomials of degree $n$ in $\mathbb{F}_{q}[x]$ which are congruent to $l(x)$ module $k(x)$. For any positive integer $n$, we denote by $Ω(n)$ the least prime divisor of $n$. In this paper, we show that $$π(l, k; n)=\frac{1}{Φ(k)}\frac{q^{n}}{n}+O\left(n^α\right)+O\left(\frac{q^{\frac{n}{Ω{(n)}}}}{n}\right),$$ where $α$ only depends on the choice of $k(x)\in\Fq$. Note that the above error term improves the one implied by Weil's conjecture. Our approach is completely elementary.
Thin Posets, CW Posets, and Categorification
Motivated by generalizing Khovanov's categorification of the Jones polynomial, we study functors $F$ from thin posets $P$ to abelian categories $\mathcal{A}$. Such functors $F$ produce cohomology theories $H^*(P,\mathcal{A},F)$. We find that CW posets, that is, face posets of regular CW complexes, satisfy conditions making them particularly suitable for the construction of such cohomology theories. We consider a category of tuples $(P,\mathcal{A},F,c)$, where $c$ is a certain $\{1,-1\}$-coloring of the cover relations in $P$, and show the cohomology arising from a tuple $(P,\mathcal{A},F,c)$ is functorial, and independent of the coloring $c$ up to natural isomorphism. Such a construction provides a framework for the categorification of a variety of familiar topological/combinatorial invariants: anything expressible as a rank-alternating sum over a thin poset.
On the Relativized Alon Eigenvalue Conjecture II: Asymptotic Expansion Theorems for Walks
This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
The first main result in this article concerns the function $f(k,n)$ defined as the number of SNBC (strictly non-backtracking closed) walks of length $k$ of a given homotopy type in a random covering graph of degree $n$ of a fixed graph. We prove the existence of asymptotic expansions in powers of $1/n$ for $f(k,n)$, where the coefficients---functions of $k$---are proven to have some desirable properties; namely, these coefficients are approximately a sum of polynomials times exponential functions.
The second main result is a generalization of the first, where the number of SNBC walks of length $k$ is multiplied by an indicator function that the covering graph contains a certain type of {\em tangle}; the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. % The motivation for the second main result will be clear in % the third article in this series of articles.
The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.
On the Relativized Alon Second Eigenvalue Conjecture III: Asymptotic Expansions for Tangle-Free Hashimoto Traces
This is the third in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this paper we consider random graphs that are random covering graphs of large degree $n$ of a fixed base graph. We prove the existence of asympototic expansion in $1/n$ for the expected value of the number of strictly non-backtracking closed walks of length $k$ times the indicator function that the graph is free of certain {\em tangles}; moreover, we prove that the coefficients of these expansions are "nice functions" of $k$, namely approximately equal to a sum of polynomials in $k$ times exponential functions of $k$.
Our results use the methods of Friedman used to resolve Alon's original conjecture, combined with the results of Article~II in this series of articles. One simplification in this article over the previous methods of Friedman is that the "regularlized traces" used in this article, which we call {\em certified traces}, are far easier to define and work with than the previously utilized {\em selective traces}.
$q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs
Published in J. Math. Phys. 61, 073301 (2020)
• View Publication
• BIB
We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.
A polynomial kernel for $3$-leaf power deletion
Published in Algorithmica (2023) 85(10)
• View Publication
• BIB
For a non-negative integer $\ell$, the $\ell$-leaf power of a tree $T$ is a simple graph $G$ on the leaves of $T$ such that two vertices are adjacent in $G$ if and only if their distance in $T$ is at most $\ell$. We provide a polynomial kernel for the problem of deciding whether we can delete at most $k$ vertices to make an input graph a $3$-leaf power of some tree. More specifically, we present a polynomial-time algorithm for an input instance $(G,k)$ for the problem to output an equivalent instance $(G',k')$ such that $k'\leq k$ and $G'$ has at most $O(k^{14})$ vertices.
A Combinatorial Formula for Kazhdan-Lusztig Polynomials of $ρ$-Removed Uniform Matroids
Published
• View Publication
• BIB
Let $ρ$ be a non-negative integer. A $ρ$-removed uniform matroid is a matroid obtained from a uniform matroid by removing a collection of $ρ$ disjoint bases. We present a combinatorial formula for Kazhdan-Lusztig polynomials of $ρ$-removed uniform matroids, using skew Young Tableaux. Even for uniform matroids, our formula is new, gives manifestly positive integer coefficients, and is more manageable than known formulas.
Cutting Multiparticle Correlators Down to Size
Published in Phys. Rev. D 101, 036019 (2020)
• View Publication
• BIB
Multiparticle correlators are mathematical objects frequently encountered in quantum field theory and collider physics. By translating multiparticle correlators into the language of graph theory, we can gain new insights into their structure as well as identify efficient ways to manipulate them. In this paper, we highlight the power of this graph-theoretic approach by "cutting open" the vertices and edges of the graphs, allowing us to systematically classify linear relations among multiparticle correlators and develop faster methods for their computation. The naive computational complexity of an $N$-point correlator among $M$ particles is $\mathcal O(M^N)$, but when the pairwise distances between particles can be cast as an inner product, we show that all such correlators can be computed in linear $\mathcal O(M)$ runtime. With the help of new tensorial objects called Energy Flow Moments, we achieve a fast implementation of jet substructure observables like $C_2$ and $D_2$, which are widely used at the Large Hadron Collider to identify boosted hadronic resonances. As another application, we compute the number of leafless multigraphs with $d$ edges up to $d = 16$ (15,641,159), conjecturing that this is the same as the number of independent kinematic polynomials of degree $d$, previously known only to $d=8$ (279).