polynomial
11422 papers tagged with this keyword
On Certain Polytopes Associated to Products of Algebraic Integer Conjugates
Published
• View Publication
• BIB
Let $d>k$ be positive integers. Motivated by an earlier result of Bugeaud and Nguyen, we let $E_{k,d}$ be the set of $(c_1,\ldots,c_k)\in\mathbb{R}_{\geq 0}^k$ such that $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}\geq 1$ for any algebraic integer $α$ of degree $d$, where we label its Galois conjugates as $α_0,\ldots,α_{d-1}$ with $\vertα_0\vert\geq \vertα_1\vert\geq\cdots \geq \vertα_{d-1}\vert$. First, we give an explicit description of $E_{k,d}$ as a polytope with $2^k$ vertices. Then we prove that for $d>3k$, for every $(c_1,\ldots,c_k)\in E_{k,d}$ and for every $α$ that is not a root of unity, the strict inequality $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}>1$ holds. We also provide a quantitative version of this inequality in terms of $d$ and the height of the minimal polynomial of $α$.
Equivariant $γ$-positivity of Chow rings and augmented Chow rings of matroids
In this paper, we prove the Chow ring and augmented Chow ring of a matroid is equivariant $γ$-positivity under the action of any group of automorphisms of the matroid. This verifies a conjecture of Angarone, Nathanson, and Reiner. Our method gives an explicit interpretation to the coefficients of the equivariant $γ$-expansion. Applying our theorem to uniform matroids, we extend and recover known results regarding the positivity of the equivariant Charney-Davis quantity of uniform matroids in the author's previous work and the Schur-$γ$-positivity of Eulerian and binomial Eulerian quasisymmetric functions first proved by Shareshian and Wachs. In the end, we answer a problem proposed by Athanasiadis about extending the $γ$-expansion of the binomial Eulerian polynomial.
Algorithmic methods of finite discrete structures. Topological graph drawing (part II)
A visualized graph is a powerful tool for data analysis and synthesis tasks. In this case, the task of visualization constitutes not only in displaying vertices and edges according to the graph representation, but also in ensuring that the result is visually simple and comprehensible for a human. Thus, the visualization process involves solving several problems, one of which is the problem of constructing a topological drawing of a planar part of a non-planar graph with a minimum number of removed edges. In this manuscript, we consider a mathematical model for representing the topological drawing of a graph, which is based on methods of the theory of vertex rotation with the induction of simple cycles that satisfy the Mac Lane planarity criterion. It is shown that the topological drawing of a non-planar graph can be constructed on the basis of a selected planar part of the graph. The topological model of a graph drawing allows us to reduce the brute-force enumeration problem of identifying a plane graph to a discrete optimization problem - searching for a subset of the set of isometric cycles of the graph that satisfy the zero value of the Mac Lane's functional. To isolate the planar part of the graph, a new computational method has been developed based on linear algebra and the algebra of structural numbers. The proposed method has polynomial computational complexity.
Pointed Quandle Coloring Quivers of Linkoids
Published
• View Publication
• BIB
We enhance the pointed quandle counting invariant of linkoids through the use of quivers analogously to quandle coloring quivers. This allows us to generalize the in-degree polynomial invariant of links to linkoids. Additionally, we introduce a new linkoid invariant, which we call the in-degree quiver polynomial matrix. Lastly, we study the pointed quandle coloring quivers of linkoids of $(p,2)$-torus type with respect to pointed dihedral quandles.
Grothendieck Shenanigans: Permutons from pipe dreams via integrable probability
Published
• View Publication
• BIB
We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class.
We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.
Sign-balance of excedances over mod-k-alternating permutations and gamma-positivity
Published
• View Publication
• BIB
A permutation is called mod-k-alternating if its entries are restricted to having the same remainder as the index, modulo some integer $k \geq 1.$ In this paper, we find the sign-balance for mod-k-alternating permutations with respect to the statistic excedance. Moreover, we study the sign-balance for excedances over mod-k-alternating derangements. The results are obtained by constructing suitable matrices and connecting their determinants with the signed excedance enumeration of mod-k-alternating permutations. As an application of the signed excedance enumeration, we prove that when $n \equiv k \pmod {2k}$, the excedance enumerating polynomials over the even and odd mod-k-alternating permutations, starting with a fixed remainder, are gamma-positive.
Unmixed polymatroidal ideals
Published
• View Publication
• BIB
Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work addresses a question raised by Herzog and Hibi in [10]
Characteristic Polynomial of Power Graphs on Direct Product of Any Two Finite Cyclic Groups
The power graph $\mathscr{P}(G)$ of a group $G$ is defined as the simple graph with vertex set $G$, and where two distinct vertices $x$ and $y$ are joined by an edge if and only if either $x= y^k$ or $y= x^k$, $k \in \mathbb{N}$. Here we determine the characteristic polynomial of $\mathscr{P}(\mathbb{Z}_m \times \mathbb{Z}_{n})$ for any positive integers $m$ and $n$. Additionally, for some particular values of $m$ and $n$, we simplify the above characteristic polynomials and provide the full spectrum in a few cases.
Embedding Borel graphs into grids of asymptotically optimal dimension
Published
• View Publication
• BIB
Let $G$ be a Borel graph all of whose finite subgraphs embed into the $d$-dimensional grid with diagonals. We show that then $G$ itself admits a Borel embedding into the Schreier graph of a free Borel action of $\mathbb Z^{O(d)}$. This strengthens an earlier result of the authors, in which $O(d)$ is replaced by $O(ρ\log ρ)$, where $ρ$ is the polynomial growth rate of $G$.
Supercongruences involving binomial coefficients and Euler polynomials
Let $p$ be an odd prime and let $x$ be a $p$-adic integer. In this paper, we establish supercongruences for $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-4)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-2)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2}, $$ where $d\in\{0,1,2\}$. As consequences, we extend some known results. For example, for $p>3$ we show $$ \sum_{k=0}^{p-1}\binom{3k}{k}\left(\frac{4}{27}\right)^k\equiv\frac19+\frac89p+\frac{4}{27}pE_{p-2}\left(\frac13\right)\pmod{p^2}, $$ where $E_n(x)$ denotes the Euler polynomial of degree $n$. This generalizes a known congruence of Z.-W. Sun.
Schröder Paths, Their Generalizations and Knot Invariants
We study some kinds of generalizations of Schröder paths below a line with rational slope and derive the $q$-difference equations that are satisfied by their generating functions. As a result, we establish a relation between the generating function of generalized Schröder paths with backwards and the wave function corresponding to colored HOMFLY-PT polynomials of torus knot $T_{1,f}$. We also give a combinatorial proof of a recent result by Stošić and Sułkowski, in which the standard generalized Schröder paths are related to the superpolynomial of reduced colored HOMFLY-PT homology of $T_{1,f}$.
Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal.
From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial.
All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz.
We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.
Bizonotopal Graphical Algebras
Published
• View Publication
• BIB
Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes.
Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.
Periodic Column Partial Sums in the Riordan Array of a Polynomial
Published
• View Publication
• BIB
When $p(t)$ is a polynomial of degree $d$, $k$-th column of the Riordan array $\bigl(1/(1 - t^{d+1}), tp(t)\bigr)$ is an eventually periodic sequence with the repeating part beginning at the $1 + (k-1)(d+1)$-st term. The pre-periodic terms add up to the $(k-1)(d+1)$-st partial sum of the corresponding formal power series, and thus the Riordan array of $p(t)$ generates a sequence of column partial sums. We classify linear and quadratic polynomials, and present a particular family of polynomials of higher degrees, for which such sequences of column partial sums are eventually periodic.
Equality cases of the Stanley--Yan log-concave matroid inequality
The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular matroids, and by Yan (2023) in full generality. In the original paper, Stanley asked for equality conditions of the SY~inequality, and proved total equality conditions for regular matroids in the case $k=0$. In this paper, we completely resolve Stanley's problem. First, we obtain an explicit description of the equality cases of the SY inequality for $k=0$, extending Stanley's results to general matroids and removing the ``total equality'' assumption. Second, for $k\ge 1$, we prove that the equality cases of the SY inequality cannot be described in a sense that they are not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level.
Number of roots of the continuant over a finite local ring
The aim of this article is to obtain a formula giving, for a positive integer $n$, the number of roots of the $n^{th}$ continuant polynomial over a finite local ring. In particular, we will give counting formulae for the roots of the continuant over the local rings $\mathbb{F}_{q}$, $\mathbb{Z}/p^{m}\mathbb{Z}$ and $\frac{\mathbb{F}_{q}[X]}{<X^{m}>}$. To conclude, the methods used for the continuant will allow us to give a new and short proof of the counting formulae for $λ$-quiddities (which are the solutions of a matrix equation appearing in the study of Coxeter's friezes) over the rings $\mathbb{Z}/p^{m}\mathbb{Z}$.
Domination by kings is oddly even
The $m \times n$ king graph consists of all locations on an $m \times n$ chessboard, where edges are legal moves of a chess king. %where each vertex represents a square on a chessboard and each edge is a legal move. Let $P_{m \times n}(z)$ denote its domination polynomial, i.e., $\sum_{S \subseteq V} z^{|S|}$ where the sum is over all dominating sets $S$. We prove that $P_{m \times n}(-1) = (-1)^{\lceil m/2\rceil \lceil n/2\rceil}$. In particular, the number of dominating sets of even size and the number of odd size differs by $\pm 1$. %The numbers can not be equal because the total number of dominating sets is always odd. This property does not hold for king graphs on a cylinder or a torus, or for the grid graph. But it holds for $d$-dimensional kings, where $P_{n_1\times n_2\times\cdots\times n_d}(-1) = (-1)^{\lceil n_1/2\rceil \lceil n_2/2\rceil\cdots \lceil n_d/2\rceil}$.
Eigenbasis for a weighted adjacency matrix associated with the projective geometry $B_q(n)$
Published
• View Publication
• BIB
In a recent article "Projective geometries, $Q$-polynomial structures, and quantum groups" Terwilliger (arXiv:2407.14964) defined a certain weighted adjacency matrix, depending on a free (positive real) parameter, associated with the projective geometry, and showed (among many other results) that it is diagonalizable, with the eigenvalues and their multiplicities explicitly written down, and that it satisfies the $Q$-polynomial property (with respect to the zero subspace).
In this note we
(i) Write down an explicit eigenbasis for this matrix.
(ii) Evaluate the adjacency matrix-eigenvector products, yielding a new proof for the eigenvalues and their multiplicities.
(iii) Evaluate the dual adjacency matrix-eigenvector products and directly show that the action of the dual adjacency matrix on the eigenspaces of the adjacency matrix is block-tridiagonal, yielding a new proof of the $Q$-polynomial property.
Khovanov-Rozansky homology of Coxeter knots and Schröder polynomials for paths under any line
We introduce a family of generalized Schröder polynomials $S_τ(q,t,a)$, indexed by triangular partitions $τ$ and prove that $S_τ(q,t,a)$ agrees with the Poincaré series of the triply graded Khovanov-Rozansky homology of the Coxeter knot $K_τ$ associated to $τ$. For all integers $m,n,d\geq 1$ with $m,n$ relatively prime, the $(d,mnd+1)$-cable of the torus knot $T(m,n)$ appears as a special case. It is known that these knots are algebraic, and as a result we obtain a proof of the $q=1$ specialization of the Oblomkov-Rasmussen-Shende conjecture for these knots. Finally, we show that our Schröder polynomial computes the hook components in the Schur expansion of the symmetric function appearing in the shuffle theorem under any line, thus proving a triangular version of the $(q,t)$-Schröder theorem.
Marked Bumpless Pipedreams and Compatible Pairs
Published
• View Publication
• BIB
We construct a bijection between marked bumpless pipedreams with reverse compatible pairs, which are in bijection with not-necessarily-reduced pipedreams. This directly unifies various formulas for Grothendieck polynomials in the literature. Our bijection is a generalization of a variant of the bijection of Gao and Huang in the unmarked, reduced case.