polynomial
11184 papers tagged with this keyword
Pseudofiniteness and measurability of the everywhere infinite forest
Published
• View Publication
• BIB
In this paper we study the theories of the infinite-branching tree and the $r$-regular tree, and show that both of them are pseudofinite. Moreover, we show that they can be realized by infinite ultraproducts of polynomial exact classes of graphs, and so they are also generalised measurable.
Representing Carlitz formula with q-shift operator
This paper presents a new formula for the q-shift operator, building on the techniques by Liu and Sears. This formula provides fresh proof of the Carlitz formula and extends it naturally. As applications, we derive an equivalent form of the generalized Carlitz formula to prove two $q$-congruences on cyclotomic polynomials, which expand upon the results of Guo et al.
Bumpless pipe dreams meet Puzzles
Published
• View Publication
• BIB
Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product $\mathfrak{G}_{u}(x,t)\cdot \mathfrak{G}_{v}(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish its triple Schubert calculus version in the sense of Knutson and Tao, namely, a formula for expanding $\mathfrak{G}_{u}(x,y)\cdot \mathfrak{G}_{v}(x,t)$ in different secondary variables. Our rule is formulated in terms of pipe puzzles, incorporating both the structures of bumpless pipe dreams and classical puzzles. As direct applications, we recover the separated-descent puzzle formula by Knutson and Zinn-Justin (by setting $y=t$) and the bumpless pipe dream model of double Grothendieck polynomials by Weigandt (by setting $v=\operatorname{id}$ and $x=t$). Moreover, we utilize the formula to partially confirm a positivity conjecture of Kirillov about applying a skew operator to a Schubert polynomial.
Tensor products of multimatroids and a Brylawski-type formula for the transition polynomial
Brylawski's tensor product formula expresses the Tutte polynomial of the tensor product of two graphs in terms of Tutte polynomials arising from the tensor factors. We are concerned with extensions of Brylawski's tensor product formula to the Bollobas-Riordan and transition polynomials of graphs embedded in surfaces. We give a tensor product formula for the multimatroid transition polynomial and show that Brylawski's formula and its topological analogues arise as specialisations of this more general result.
Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$
We consider the following question: How much of the combinatorial structure determining properties of $\overline{\mathcal{M}_{0, n}}$ is ``intrinsic'' and how much new information do we obtain from using properties specific to this space? Our approach is to study the effect of the $S_n$-action. Apart from being a natural action to consider, it is known that this action does not extend to other wonderful compactifications associated to the $A_{n - 2}$ hyperplane arrangement. We find the differences in intersection patterns of faces on associahedra and permutohedra which characterize the failure to extend to other compactifications and show that this is reflected by most terms of degree $\ge 2$ of the cohomology/Chow ring.
Even from a combinatorial perspective, terms of degree 1 are more naturally related to geometric properties. In particular, imposing $S_n$-invariance implies that many of the log concave sequences obtained from degree 1 Hodge--Riemann relations (and all of them for $n \le 2000$) on the Chow ring of $\overline{\mathcal{M}_{0, n}}$ can be restricted to those with a special recursive structure. A conjectural result implies that this is true for all $n$. Elements of these sequences can be expressed as polynomials in quantum Littlewood--Richardson coefficients multiplied by terms such as partition components, factorials, and multinomial coefficients. After dividing by binomial coefficients, polynomials with these numbers as coefficients can be interepreted in terms of volumes or resultants. Finally, we find a connection between the geometry of $\overline{\mathcal{M}_{0, n}}$ and higher degree Hodge--Riemann relations of other rings via Toeplitz matrices.
Sketches, moves and partitions: counting regions of deformations of reflection arrangements
The collection of reflecting hyperplanes of a finite Coxeter group is called a reflection arrangement and it appears in many subareas of combinatorics and representation theory. We focus on the problem of counting regions of reflection arrangements and their deformations. Inspired by the recent work of Bernardi, we show that the notion of moves and sketches can be used to provide a uniform and explicit bijection between regions of (the Catalan deformation of) a reflection arrangement and certain non-nesting partitions. We then use the exponential formula to describe a statistic on these partitions such that distribution is given by the coefficients of the characteristic polynomial. Finally, we consider a sub-arrangement of type C arrangement called the threshold arrangement and its Catalan and Shi deformations.
Real-rootedness of the type A minuscule polynomials
We prove two recent conjectures of Bourn and Erickson (2023) regarding the real-rootedness of a certain family of polynomials $N_n(t)$ as well as the sum of their coefficients. These polynomials arise as the numerators of generating functions in the context of the discrete one-dimensional earth mover's distance (EMD) and have also connection to the Wiener index of minuscule lattices. We also prove that the coefficients of $N_n(x)$ are asymptotically normal, the coefficient matrix of $N_n(x)$ is totally positive and the polynomial sequence $N_n(x)$'s is $x$-log-concave.
Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem
Given a hypergraph $\mathcal{H}$, the dual hypergraph of $\mathcal{H}$ is the hypergraph of all minimal transversals of $\mathcal{H}$. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, etc. In this paper we study conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in co-NP and can be solved in polynomial time for hypergraphs of bounded dimension. In the special case of dimension $3$, we reduce the problem to $2$-Satisfiability. Our approach has an implication in algorithmic graph theory: we obtain a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most $k$, for any fixed $k$.
Almost generalized uniform matroids and excluded minors
We establish that matroids characterized by the Tutte polynomial $\sum_{i,j\ge 0}t_{i,j}x^iy^j$ with coefficients $t_{i,j}$ vanishing for $(i,j)\ge (k,l)$ precisely coincide with $(k,l)$-uniform matroids. This characterization implies that almost $(k,l)$-uniform matroids are exactly matroids with $t_{k,l}\le 1$ and $t_{i,j}=0$ if $(i,j)>(k,l)$. We also characterize excluded minors of almost $(k,l)$-uniform matroids in terms of Tutte polynomial coefficients. Finally, we construct an infinite family of excluded minors of almost $(k,l)$-uniform matroids which extend previously known cases of almost uniform and almost paving matroids.
Distribution of the number of zeros of polynomials over a finite field
Published in Involve 18 (2025) 707-718
• View Publication
• BIB
We study the probability distribution of the number of zeros of multivariable polynomials with bounded degree over a finite field. We find the probability generating function for each set of bounded degree polynomials. In particular, in the single variable case, we show that as the degree of the polynomials and the order of the field simultaneously approach infinity, the distribution converges to a Poisson distribution.
An upper bound on stability of powers of matroidal ideals
Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$ stabilize, respectively. In this paper, we show that $\astab(I),\dstab(I)\leq\min\{d,\ell(I)\}$, where $\ell(I)$ is the analytic spread of $I$. Furthermore, by a counterexample we give a negative answer to the conjecture of Herzog and Qureshi \cite{HQ} about stability of matroidal ideals.
Constructing and sampling partite, $3$-uniform hypergraphs with given degree sequence
Partite, $3$-uniform hypergraphs are $3$-uniform hypergraphs in which each hyperedge contains exactly one point from each of the $3$ disjoint vertex classes. We consider the degree sequence problem of partite, $3$-uniform hypergraphs, that is, to decide if such a hypergraph with prescribed degree sequences exists. We prove that this decision problem is NP-complete in general, and give a polynomial running time algorithm for third almost-regular degree sequences, that is, when each degree in one of the vertex classes is $k$ or $k-1$ for some fixed $k$, and there is no restriction for the other two vertex classes. We also consider the sampling problem, that is, to uniformly sample partite, $3$-uniform hypergraphs with prescribed degree sequences. We propose a Parallel Tempering method, where the hypothetical energy of the hypergraphs measures the deviation from the prescribed degree sequence. The method has been implemented and tested on synthetic and real data. It can also be applied for $χ^2$ testing of contingency tables. We have shown that this hypergraph-based $χ^2$ test is more sensitive than the standard $χ^2$ test. The extra sensitivity is especially advantageous on small data sets, where the proposed Parallel Tempering method shows promising performance.
Super FiboCatalan Numbers and their Lucas Analogues
Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations have been given for the case $m=2$ and for $S(m, m+s)$ for $0 \leq s \leq 4$. In this paper, we define the super FiboCatalan numbers $S(m,n)_F = \frac{F_{2m}! F_{2n}!}{F_m! F_n! F_{m+n}!}$ and the generalized FiboCatalan numbers $J_{r,F} \frac{F_{2n}!}{F_n! F_{n+r+1}!}$ where $J_{r,F} = \frac{F_{2r+1}!}{F_r!}$. In addition, we give Lucas analogues for both of these numbers and use a result of Sagan and Tirrell to prove that the Lucas analogues are polynomials with non-negative integer coefficients which in turn proves that the super FiboCatalan numbers and the generalized FiboCatalan numbers are integers.
No Polynomial Kernels for Knapsack
This paper focuses on kernelization algorithms for the fundamental Knapsack problem. A kernelization algorithm (or kernel) is a polynomial-time reduction from a problem onto itself, where the output size is bounded by a function of some problem-specific parameter. Such algorithms provide a theoretical model for data reduction and preprocessing and are central in the area of parameterized complexity. In this way, a kernel for Knapsack for some parameter $k$ reduces any instance of Knapsack to an equivalent instance of size at most $f(k)$ in polynomial time, for some computable function $f(\cdot)$. When $f(k)=k^{O(1)}$ then we call such a reduction a polynomial kernel.
Our study focuses on two natural parameters for Knapsack: The number of different item weights $w_{\#}$, and the number of different item profits $p_{\#}$. Our main technical contribution is a proof showing that Knapsack does not admit a polynomial kernel for any of these two parameters under standard complexity-theoretic assumptions. Our proof discovers an elaborate application of the standard kernelization lower bound framework, and develops along the way novel ideas that should be useful for other problems as well. We complement our lower bounds by showing the Knapsack admits a polynomial kernel for the combined parameter $w_{\#}+p_{\#}$.
Wreath Macdonald polynomials, a survey
Published
• View Publication
• BIB
Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject.
A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper.
Uniform finite presentation for groups of polynomial growth
Published
• View Publication
• BIB
We prove a quantitative refinement of the statement that groups of polynomial growth are finitely presented. Let $G$ be a group with finite generating set $S$ and let $\operatorname{Gr}(r)$ be the volume of the ball of radius $r$ in the associated Cayley graph. For each $k \geq 0$, let $R_k$ be the set of words of length at most $2^k$ in the free group $F_S$ that are equal to the identity in $G$, and let $\langle \langle R_k \rangle\rangle$ be the normal subgroup of $F_S$ generated by $R_k$, so that the quotient map $F_S/\langle\langle R_k\rangle\rangle \to G$ induces a covering map of the associated Cayley graphs that has injectivity radius at least $2^{k-1}-1$. Given a non-negative integer $k$, we say that $(G,S)$ has a new relation on scale k if $\langle\langle R_{k+1} \rangle\rangle \neq \langle\langle R_{k} \rangle\rangle$. We prove that for each $K<\infty$ there exist constants $n_0$ and $C$ depending only on $K$ and $|S|$ such that if $\operatorname{Gr}(3n)\leq K \operatorname{Gr}(n)$ for some $n\geq n_0$, then there exist at most $C$ scales $k\geq \log_2 (n)$ on which $G$ has a new relation. We apply this result in a forthcoming paper as part of our proof of Schramm's locality conjecture in percolation theory.
Approximate Core Allocations for Edge Cover Games
We study the approximate core for edge cover games, which are cooperative games stemming from edge cover problems. In these games, each player controls a vertex on a network $G = (V, E; w)$, and the cost of a coalition $S\subseteq V$ is equivalent to the minimum weight of edge covers in the subgraph induced by $S$. We prove that the 3/4-core of edge cover games is always non-empty and can be computed in polynomial time by using linear program duality approach. This ratio is the best possible, as it represents the integrality gap of the natural LP for edge cover problems. Moreover, our analysis reveals that the ratio of approximate core corresponds with the length of the shortest odd cycle of underlying graphs.
Lifted Inference beyond First-Order Logic
Published in Artificial Intelligence,Volume 342,2025
• View Publication
• BIB
Weighted First Order Model Counting (WFOMC) is fundamental to probabilistic inference in statistical relational learning models. As WFOMC is known to be intractable in general ($\#$P-complete), logical fragments that admit polynomial time WFOMC are of significant interest. Such fragments are called domain liftable. Recent works have shown that the two-variable fragment of first order logic extended with counting quantifiers ($\mathrm{C^2}$) is domain-liftable. However, many properties of real-world data, like acyclicity in citation networks and connectivity in social networks, cannot be modeled in $\mathrm{C^2}$, or first order logic in general. In this work, we expand the domain liftability of $\mathrm{C^2}$ with multiple such properties. We show that any $\mathrm{C^2}$ sentence remains domain liftable when one of its relations is restricted to represent a directed acyclic graph, a connected graph, a tree (resp. a directed tree) or a forest (resp. a directed forest). All our results rely on a novel and general methodology of "counting by splitting". Besides their application to probabilistic inference, our results provide a general framework for counting combinatorial structures. We expand a vast array of previous results in discrete mathematics literature on directed acyclic graphs, phylogenetic networks, etc.
On the index of depth stability of symbolic powers of cover ideals of graphs
Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of cover ideals of fully clique-whiskered graphs. Meanwhile, we determine a class of graphs $G$ with the property that the Castelnuovo--Mumford regularity of $S/I(G)$ is equal to the induced matching number of $G$.
Upper bounds of dual flagged Weyl characters
For a subset $D$ of boxes in an $n\times n$ square grid, let $χ_{D}(x)$ denote the dual character of the flagged Weyl module associated to $D$. It is known that $χ_{D}(x)$ specifies to a Schubert polynomial (resp., a key polynomial) in the case when $D$ is the Rothe diagram of a permutation (resp., the skyline diagram of a composition). One can naturally define a lower and an upper bound of $χ_{D}(x)$. M{é}sz{á}ros, St. Dizier and Tanjaya conjectured that $χ_{D}(x)$ attains the upper bound if and only if $D$ avoids a certain subdiagram. We provide a proof of this conjecture.