polynomial
11184 papers tagged with this keyword
Convex Geometries via Hopf Monoids: Combinatorial Invariants, Reciprocity, and Supersolvability
We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.
An Introduction to Algebraic Combinatorics
This is an introduction to algebraic combinatorics, written for a quarter-long graduate course. It starts with a rigorous introduction to formal power series with some combinatorial applications, then discusses integer partitions (proving Jacobi's triple product identity), permutations (Lehmer codes, cycles) and subtractive methods (alternating sums, cancellations and inclusion-exclusion principles, with a particular focus on sign-reversing involutions and determinants). The last chapter introduces symmetric polynomials and proves the Littlewood--Richardson rule using Bender--Knuth involutions (a la Stembridge).
The appendix contains over 200 exercises (without solutions).
The stability of independence polynomials of complete bipartite graphs
The independence polynomial of a graph is termed {\it stable} if all its roots are located in the left half-plane $\{z \in \mathbb{C} : \mathrm{Re}(z) \leq 0\}$, and the graph itself is also referred to as stable. Brown and Cameron (Electron. J. Combin. 25(1) (2018) \#P1.46) proved that the complete bipartite graph $K_{1,n}$ is stable and posed the question: \textbf{Are all complete bipartite graphs stable?}
We answer this question by establishing the following results:
\begin{itemize}
\item The complete bipartite graphs $K_{2,n}$ and $K_{3,n}$ are stable.
\item For any integer $k\geq0$, there exists an integer $N(k)\in \mathbb{N}$ such that $K_{m,m+k}$ is stable for all $m>N(k)$.
\item For any rational $\ell> 1$, there exists an integer $N(\ell) \in \mathbb{N}$ such that whenever $m >N(\ell)$ and $\ell \cdot m$ is an integer, $K_{m, \ell \cdot m}$ is \textbf{not} stable.
\end{itemize}
Hilbert polynomials of configuration spaces over graphs of circumference at most 1
The $ k $-configuration space $ B_kΓ$ of a topological space $ Γ$ is the space of sets of $ k $ distinct points in $ Γ$. In this paper, we consider the case where $ Γ$ is a graph of circumference at most $1$. We show that for all $ k\ge0 $, the $ i $-th Betti number of $ B_kΓ$ is given by a polynomial $P_Γ^i(k)$ in $ k $, called the Hilbert polynomial of $ Γ$. We find an expression for the Hilbert polynomial $P_Γ^i(k)$ in terms of those coming from the canonical $1$-bridge decomposition of $ Γ$. We also give a combinatorial description of the coefficients of $P_Γ^i(k)$.
Geometric Littlewood-Offord problems via lattice point counting
Consider nonzero vectors $a_{1},\dots,a_{n}\in\mathbb{C}^{k}$, independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$, and a set $S\subseteq\mathbb{C}^{k}$. What upper bounds can we prove on the probability that the random sum $ξ_{1}a_{1}+\dots+ξ_{n}a_{n}$ lies in $S$? We develop a general framework that allows us to reduce problems of this type to counting lattice points in $S$. We apply this framework with known results from diophantine geometry to prove various bounds when $S$ is a set of points in convex position, an algebraic variety, or a semialgebraic set. In particular, this resolves conjectures of Fox-Kwan-Spink and Kwan-Sauermann.
We also obtain some corollaries for the polynomial Littlewood-Offord problem, for polynomials that have bounded Chow rank (i.e., can be written as a polynomial of a bounded number of linear forms). For example, one of our results confirms a conjecture of Nguyen and Vu in the special case of polynomials with bounded Chow rank: if a bounded-degree polynomial $F\in\mathbb{C}[x_{1},\dots,x_{n}]$ has bounded Chow rank and ''robustly depends on at least $b$ of its variables'', then $\mathbb{P}[F(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{b})$. We also prove significantly stronger bounds when $F$ is ''robustly irreducible'', towards a conjecture of Costello.
Cardinalities of the total number of independent sets
We study the set of numbers the total number of independent sets can admit in $n$-vertex graphs. In this paper, we prove that the cardinality $\mathcal{N}i(n)$ of this set is very close to $2^n$ in the following sense: $\mathcal{N}i(n)/2^n = O(n^{-1/5})$ while for infinitely many $n$, we have $\log_2(\mathcal{N}i(n)/2^n)\ge -2^{(1+o(1)\sqrt{\log_2 n}}$. This set is also precisely the set of possible values of the independence polynomial $I_G(x)$ at $x=1$ for $n$-vertex graphs $G$. As an application, we address an additive combinatorial problem on subsets of a given vector space that avoid certain intersection patterns with respect to subspaces.
Non-affine Families of 8 x 8 Complex Hadamard Matrices
Six non-affine 3-parameter families of complex Hadamard matrices of order 8 are presented. These families contain Hadamard matrices that are not equivalent to any previously known Hadamard matrices in the literature. Each family arises from unimodular points of an affine variety defined by palindromic polynomials. The families are given as an image of a function that solves the corresponding system of polynomials on a domain that guarantees unimodularity of the solutions
Categorification of $k$-Schur functions and refined Macdonald positivity
We characterize the $k$-Schur functions as the graded characters of simple objects in an additive module category. This confirms a set of conjectures formulated in the Ph.D. thesis of Chen, written under the direction of Mark Haiman, and thereby establishes the algebraic framework proposed therein. As a consequence, we deduce that the modified Macdonald polynomials are $k$-Schur positive, thus realizing the original motivation behind the definition of the $k$-Schur functions by Lapointe, Lascoux, and Morse. Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, which encompasses both the $k$-Schur functions and the Hall--Littlewood functions.
Algebraic aspects of the polynomial Littlewood-Offord problem
Consider a degree-$d$ polynomial $f(ξ_1,\dots,ξ_n)$ of independent Rademacher random variables $ξ_1,\dots,ξ_n$. To what extent can $f(ξ_1,\dots,ξ_n)$ concentrate on a single point? This is the so-called polynomial Littlewood-Offord problem. A nearly optimal bound was proved by Meka, Nguyen and Vu: the point probabilities are always at most about $1/\sqrt n$, unless $f$ is "close to the zero polynomial" (having only $o(n^d)$ nonzero coefficients).
In this paper we prove several results supporting the general philosophy that the Meka-Nguyen-Vu bound can be significantly improved unless $f$ is "close to a polynomial with special algebraic structure", drawing some comparisons to phenomena in analytic number theory. In particular, one of our results is a corrected version of a conjecture of Costello on multilinear forms (in an appendix with Ashwin Sah and Mehtaab Sawhney, we disprove Costello's original conjecture).
A proof of the Fields Conjectures
The {\em superspace ring} of rank $n$ is the algebra $Ω_n$ of differential forms on affine $n$-space. The algebra $Ω_n$ is bigraded with respect to polynomial and exterior degree and carries a natural action of the symmetric group $\mathfrak{S}_n$. Modding out by $\mathfrak{S}_n$-invariants with vanishing constant term yields the {\em superspace coinvariant ring} $SR_n$. We prove that, as an ungraded $\mathfrak{S}_n$-module, the space $SR_n$ is isomorphic to the sign-twisted permutation action of $\mathfrak{S}_n$ on ordered set partitions of $\{1,\dots,n\}$. We refine this result by calculating the bigraded $\mathfrak{S}_n$-isomorphism type of $SR_n$. This proves the Fields Conjectures of N. Bergeron, L. Colmenarejo, S.-X. Li, J. Machacek, R. Sulzgruber, and M. Zabrocki as well as a related conjecture of V. Reiner.
Deformed Bivariate $q$-Appell Polynomials
In this paper, we introduce bivariate polynomial sets of deformed $q$-Appell type, and we study the algebraic properties of these sets. We show the relation between deformed bivariate $q$-Appell polynomials and deformed homogeneous polynomials. Next, we give some of their characterizations and algebraic structure. Then, we introduce the deformed $q$-Appell operators and obtain Mehler's and Rogers-type formulas of quasi-$q$-Appell polynomials. Finally, some examples of polynomial sequences of deformed $q$-Appell type are given: Bernoulli, Euler, and Genocchi types.
Tensor product formulas for the Bollobás-Riordan and Krushkal polynomials
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. Analogous tensor product formulas are known for the ribbon graph polynomial and transition polynomials of graphs embedded in surfaces, as well as for the Bollobás-Riordan polynomial in some special cases. We define the tensor product of graphs embedded in pseudo-surfaces and use this to generalize and unify all of the above results, providing Brylawski-style formulas for both the Bollobás-Riordan and Krushkal polynomials.
On the independent set polynomial of graphs and claw-free graphs
We present two new contributions to the study of the independence polynomial $Z_G(z)$ of a finite simple graph $G = (V,E)$. First, we provide an improved lower bound for the zero-free region of $Z_G(z)$ for the important class of claw-free graphs. Our bound exceeds the classical Shearer radius and it is derived through a refined application of the Fernández-Procacci criterion using properties of the local neighborhood structure in claw-free graphs. Second, we establish a novel combinatorial expression for $Z_G(z)$, inspired by the connection with the abstract polymer gas models in statistical mechanics, which offers a new structural interpretation of the polynomial and may be of independent interest. These results strengthen the connection between statistical physics, combinatorics, and graph theory, and suggest new approaches for analytic exploration.
A Closer Look at Chapoton's q-Ehrhart Polynomials
If $\mathcal{P}$ is a lattice polytope (i.e., $\mathcal{P}$ is the convex hull of finitely many integer points in $\mathbb{R}^d$), Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|t \mathcal{P} \cap \mathbb{Z}^d|$ is a polynomial in the integer variable $t$. Chapoton (2016) proved that, given a fixed integral form $λ: \mathbb{Z}^d \to \mathbb{Z}$, there exists a polynomial $\text{cha}_\mathcal{P}^λ(q,x) \in \mathbb{Q}(q)[x]$ such that the refined enumeration function $\sum_{ \mathbf{m} \in t \mathcal{P} } q^{ λ(\mathbf{m}) }$ equals the evaluation $\text{cha}_\mathcal{P}^λ(q, [t]_q)$ where, as usual, $[t]_q := \frac{ q^t - 1 }{ q-1 }$; naturally, for $q=1$ we recover the Ehrhart polynomial. Our motivating goal is to view Chapoton's work through the lens of Brion's Theorem (1988), which expresses the integer-point structure of a given polytope via that of its vertex cones. It turns out that this viewpoint naturally yields various refinements and extensions of Chapoton's results, including explicit formulas for $\text{cha}_\mathcal{P}^λ(q,x)$, its leading coefficient, and its behavior as $t \to \infty$. We also prove an analogue of Chapoton's structural and reciprocity theorems for rational polytopes (i.e., with vertices in $\mathbb{Q}^d$).
Circles and line segments as independence attractors of graphs
By an independent set in a simple graph $G$, we mean a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$ is defined as $I_G(z)=a_0 + a_1 z + a_2 z^2+\cdots+a_αz^α$, where $a_i$ is the number of independent sets in $G$ with cardinality $i$ and $α$ is the cardinality of a largest independent set in $G$, known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$, is defined as $\mathcal{A}(G) = \lim_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric on the space of all compact subsets of the plane. This paper deals with independence attractors that are topologically simple. It is shown that $\mathcal{A}(G)$ can never be a circle. If $\mathcal{A}(G)$ is a line segment then it is proved that the line segment is $[-\frac{4}{k}, 0]$ for some $k \in \{1, 2, 3, 4 \}$. Examples of graphs with independence number four are provided whose independence attractors are line segments.
Karp's patching algorithm on dense digraph
We consider the following question. We are given a dense digraph $D$ with $n$ vertices and minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges $E(D)$ of $D$ are given independent edge costs $C(e),e\in E(D)$, such that (i) $C$ has a density $f$ that satisfies $f(x)=a+bx+O(x^2)$, for constants $a>0,b$ as $x\to 0$ and such that in general either (ii) $\Pr(C\geq x)\leq \a e^{-\b x}$ for constants $\a,\b>0$, or $f(x)=0$ for $x>\n$ for some constant $\n>0$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E$. We show that w.h.p. (a small modification to) the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. The algorithm runs in polynomial time.
Hybrid Grothendieck polynomials
For a skew shape $λ/μ$, we define the hybrid Grothendieck polynomial $${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w}) =\sum_{T\in \mathrm{SVRPP}(λ/μ)} \textbf{x}^{\mathrm{ircont}(T)}\textbf{t}^{\mathrm{ceq} (T)}\textbf{w}^{\mathrm{ex}(T)}$$ as a weight generating function over set-valued reverse plane partitions of shape $λ/μ$. It specializes to \begin{itemize}
\item[(1)] the refined
stable Grothendieck polynomial introduced by Chan--Pflueger by setting all $t_i=0$;
\item[(2)] the refined dual stable Grothendieck polynomial introduced by Galashin--Grinberg--Liu by setting all $w_i=0$. \end{itemize}
We show that ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ is symmetric in the $\textbf{x}$ variables. By building a crystal structure on set-valued reverse plane partitions, we obtain the expansion of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ in the basis of Schur functions, extending previous work by Monical--Pechenik--Scrimshaw and Galashin. Based on the Schur expansion, we deduce that hybrid Grothendieck polynomials of straight shapes have saturated Newton polytopes. Finally, using Fomin--Greene's theory on noncommutative Schur functions, we give a combinatorial formula for the image of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ (in the case $t_i=α$ and $w_i=β$) under the omega involution on symmetric functions. The formula unifies the structures of weak set-valued tableaux and valued-set tableaux introduced by Lam--Pylyavskyy. Several problems and conjectures are motivated and discussed.
Examples of IDP lattice polytopes with non-log-concave $h^*$-vector
Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator of the Ehrhart series of an IDP polytope, called the $h^*$-polynomial, has a unimodal coefficient vector. In this preliminary report on research in progress we present examples showing that $h^*$-vectors of IDP polytopes do not have to be log-concave. This answers a question of Luis Ferroni and Akihiro Higashitani.
As this is an ongoing project, this paper will be updated with more details and examples in the near future.
Polynomial progressions in the generalized twin primes
By Maynard's theorem and the subsequent improvements by the Polymath Project, there exists a positive integer $b\leq 246$ such that there are infinitely many primes $p$ such that $p+b$ is also prime. Let $P_1,...,P_t\in \mathbb{Z}[y]$ with $P_1(0)=\cdots=P_t(0)=0$. We use the transference argument of Tao and Ziegler to prove there exist positive integers $x, y,$ and $b \leq 246 $ such that $x+P_1(y),x+P_2(y),...,x+P_t(y)$ and $x+P_1(y)+b,x+P_2(y)+b,...,x+P_t(y)+b$ are all prime. Our work is inspired by Pintz, who proved a similar result for the special case of arithmetic progressions.
The Computational Complexity of Counting Linear Regions in ReLU Neural Networks
An established measure of the expressive power of a given ReLU neural network is the number of linear regions into which it partitions the input space. There exist many different, non-equivalent definitions of what a linear region actually is. We systematically assess which papers use which definitions and discuss how they relate to each other. We then analyze the computational complexity of counting the number of such regions for the various definitions. Generally, this turns out to be an intractable problem. We prove NP- and #P-hardness results already for networks with one hidden layer and strong hardness of approximation results for two or more hidden layers. Finally, on the algorithmic side, we demonstrate that counting linear regions can at least be achieved in polynomial space for some common definitions.