polynomial
11239 papers tagged with this keyword
On quantitative aspects of a canonisation theorem for edge-orderings
Published in Journal of London Mathematical Society (2) 106 (2022), no.3, 2773-2803
• View Publication
• BIB
For integers $k\ge 2$ and $N\ge 2k+1$ there are $k!2^k$ canonical orderings of the edges of the complete $k$-uniform hypergraph with vertex set $[N] = \{1,2,\dots, N\}$. These are exactly the orderings with the property that any two subsets $A, B\subseteq [N]$ of the same size induce isomorphic suborderings. We study the associated canonisation problem to estimate, given $k$ and $n$, the least integer $N$ such that no matter how the $k$-subsets of $[N]$ are ordered there always exists an $n$-element set $X\subseteq [N]$ whose $k$-subsets are ordered canonically. For fixed $k$ we prove lower and upper bounds on these numbers that are $k$ times iterated exponential in a polynomial of $n$.
Splitting Subspaces of Linear Operators over Finite Fields
Published
• View Publication
• BIB
Let $V$ be a vector space of dimension $N$ over the finite field $\mathbb{F}_q$ and $T$ be a linear operator on $V$. Given an integer $m$ that divides $N$, an $m$-dimensional subspace $W$ of $V$ is $T$-splitting if $V=W\oplus TW\oplus \cdots \oplus T^{d-1}W$ where $d=N/m$. Let $σ(m,d;T)$ denote the number of $m$-dimensional $T$-splitting subspaces. Determining $σ(m,d;T)$ for an arbitrary operator $T$ is an open problem. We prove that $σ(m,d;T)$ depends only on the similarity class type of $T$ and give an explicit formula in the special case where $T$ is cyclic and nilpotent. Denote by $σ_q(m,d;τ)$ the number of $m$-dimensional splitting subspaces for a linear operator of similarity class type $τ$ over an $\\mathbb{F}_q$-vector space of dimension $md$. For fixed values of $m,d$ and $τ$, we show that $σ_q(m,d;τ)$ is a polynomial in $q$.
The Noncrossing Bond Poset of a Graph
Published in Electronic Journal of Combinatorics (2020) Vol 27, Issue 4
• View Publication
• BIB
The partition lattice and noncrossing partition lattice are well studied objects in combinatorics. Given a graph $G$ on vertex set $\{1,2,\dots, n\}$, its bond lattice, $L_G$, is the subposet of the partition lattice formed by restricting to the partitions whose blocks induce connected subgraphs of $G$. In this article, we introduce a natural noncrossing analogue of the bond lattice, the noncrossing bond poset, $NC_G$, obtained by restricting to the noncrossing partitions of $L_G$.
Both the noncrossing partition lattice and the bond lattice have many nice combinatorial properties. We show that, for several families of graphs, the noncrossing bond poset also exhibits these properties. We present simple necessary and sufficient conditions on the graph to ensure the noncrossing bond poset is a lattice. Additionally, for several families of graphs, we give combinatorial descriptions of the Möbius function and characteristic polynomial of the noncrossing bond poset. These descriptions are in terms of a noncrossing analogue of non-broken circuit (NBC) sets of the graphs and can be thought of as a noncrossing version of Whitney's NBC theorem for the chromatic polynomial. We also consider the shellability and supersolvability of the noncrossing bond poset, providing sufficient conditions for both. We end with some open problems.
Recursive computation of the Hawkes cumulants
Published
• View Publication
• BIB
We propose a recursive method for the computation of the cumulants of self-exciting point processes of Hawkes type, based on standard combinatorial tools such as Bell polynomials. This closed-form approach is easier to implement on higher-order cumulants in comparison with existing methods based on differential equations, tree enumeration or martingale arguments. The results are corroborated by Monte Carlo simulations, and also apply to the computation of joint cumulants generated by multidimensional self-exciting processes.
Fair Integral Submodular Flows
Published
• View Publication
• BIB
Integer-valued elements of an integral submodular flow polyhedron $Q$ are investigated which are decreasingly minimal (dec-min) in the sense that their largest component is as small as possible, within this, the second largest component is as small as possible, and so on. As a main result, we prove that the set of dec-min integral elements of $Q$ is the set of integral elements of another integral submodular flow polyhedron arising from $Q$ by intersecting a face of $Q$ with a box. Based on this description, we develop a strongly polynomial algorithm for computing not only a dec-min integer-valued submodular flow but even a cheapest one with respect to a linear cost-function. A special case is the problem of finding a strongly connected (or $k$-edge-connected) orientation of a mixed graph whose in-degree vector is decreasingly minimal.
Saturation of Newton polytopes of type A and D cluster variables
Published
• View Publication
• BIB
We study Newton polytopes for cluster variables in cluster algebras $\mathcal{A}(Σ)$ of types A and D. A famous property of cluster algebras is the Laurent phenomenon: each cluster variable can be written as a Laurent polynomial in the cluster variables of the initial seed $Σ$. The cluster variable Newton polytopes are the Newton polytopes of these Laurent polynomials. We show that if $Σ$ has principal coefficients or boundary frozen variables, then all cluster variable Newton polytopes are saturated. We also characterize when these Newton polytopes are \emph{empty}; that is, when they have no non-vertex lattice points.
Inscribable fans I: Inscribed cones and virtual polytopes
Published
• View Publication
• BIB
We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable.
Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra.
A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes.
We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.
On strongly walk regular graphs, triple sum sets and their codes
Published in Designs, Codes and Cryptography 91[2] (2023)
• View Publication
• BIB
Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary case for medium size code lengths. For the binary case, the divisibility of the weights of these codes is investigated and several general results are shown. It is known that an $s$-SWRG has at most 4 distinct eigenvalues $k > θ_1 > θ_2 > θ_3$, and that the triple $(θ_1, θ_2, θ_3)$ satisfies a certain homogeneous polynomial equation of degree $s - 2$ (Van Dam, Omidi, 2013). This equation defines a plane algebraic curve; we use methods from algorithmic arithmetic geometry to show that for $s = 5$ and $s = 7$, there are only the obvious solutions, and we conjecture this to remain true for all (odd) $s \ge 9$.
Enumeration of paths in Young--Fibonacci graph
Published
• View Publication
• BIB
The Young--Fibonacci graph is the Hasse diagram of one of the two (along with the Young lattice) 1-differential graded modular lattices. This explains the interest to path enumeration problems in this graph. We obtain a formula for the number of paths between two vertices of the Young--Fibonacci graph which is polynomial with respect to the minimum of their ranks.
New identities for Theta operators
In this article, we prove a new general identity involving the Theta operators introduced by the first author and his collaborators in [D'Adderio, Iraci, Vanden Wyngaerd 2020]. From this result, we can easily deduce several new identities that have combinatorial consequences in the study of Macdonald polynomials and diagonal coinvariants. In particular, we provide a unifying framework from which we recover many identities scattered in the literature, often resulting in drastically shorter proofs.
Kohnert's rule for flagged Schur modules
Published
• View Publication
• BIB
Flagged Schur modules generalize the irreducible representations of the general linear group under the action of the Borel subalgebra. Their characters include many important generalizations of Schur polynomials, such as Demazure characters, flagged skew Schur polynomials, and Schubert polynomials. In this paper, we prove the characters of flagged Schur modules can be computed using a simple combinatorial algorithm due to Kohnert if and only if the indexing diagram is northwest. This gives a new proof that characters of flagged Schur modules are nonnegative sums of Demazure characters and gives a representation theoretic interpretation for Kohnert polynomials.
Subset Sum Instances in ZFC Limbo
Our main result, Theorem 2.5, shows the existence of a vast infinity of subset sum problems solvable in polynomial time. The only proof we have of this result uses the ZFC independent Jump Free Theorem of Harvey Friedman, thus putting Theorem 2.5 in what we call ZFC limbo. The mathematics we use is elementary and at the level of a good undergraduate course in combinatorics or design and analysis of algorithms. The statement of the Jump Free Theorem is also easily understood at this level (but not the proof).
Postnikov-Stanley Linial arrangement conjecture
Published
• View Publication
• BIB
A characteristic polynomial is an important invariant in the field of hyperplane arrangement. For the Linial arrangement of any irreducible root system, Postnikov and Stanley conjectured that all roots of the characteristic polynomial have the same real part. In relation to this conjecture, Yoshinaga obtained an explicit relationship between the characteristic quasi-polynomial and the Ehrhart quasi-polynomial for the fundamental alcove. In this paper, we calculate Yoshinaga's explicit formula through the decomposition of the Ehrhart quasi-polynomial into several quasi-polynomials and a modified shift operator, and obtain new formulas for the characteristic quasi-polynomial of the Linial arrangement. In particular, when the parameter of the Linial arrangement is relatively prime to the period of the Ehrhart quasi-polynomial, we prove the Postnikov-Stanley Linial arrangement conjecture. This generalizes some of the results for the root systems of classical types that have been proved by Postnikov-Stanley and Athanasiadis. For other cases, we verify this conjecture for exceptional root systems using a computational approach.
Cycle convexity and the tunnel number of links
In this work, we introduce a new graph convexity, that we call Cycle Convexity, motivated by related notions in Knot Theory.
For a graph $G=(V,E)$, define the interval function in the Cycle Convexity as $I_{cc}(S) = S\cup \{v\in V(G)\mid \text{there is a cycle }C\text{ in }G\text{ such that } V(C)\setminus S=\{v\}\}$, for every $S\subseteq V(G)$. We say that $S\subseteq V(G)$ is convex if $I_{cc}(S)=S$. The convex hull of $S\subseteq V(G)$, denoted by $Hull(S)$, is the inclusion-wise minimal convex set $S'$ such that $S\subseteq S'$. A set $S\subseteq V(G)$ is called a hull set if $Hull(S)=V(G)$. The hull number of $G$ in the cycle convexity, denoted by $hn_{cc}(G)$, is the cardinality of a smallest hull set of $G$.
We first present the motivation for introducing such convexity and the study of its related hull number. Then, we prove that: the hull number of a 4-regular planar graph is at most half of its vertices; computing the hull number of a planar graph is an $NP$-complete problem; computing the hull humber of chordal graphs, $P_4$-sparse graphs and grids can be done in polynomial time.
Supercongruences for central trinomial coefficients
Published
• View Publication
• BIB
For each $n=0,1,2,\ldots$ the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. In 2016 the second author conjectured that for any prime $p>3$ and positive integer $n$ the quotient $(T_{pn}-T_n)/(pn)^2$ is a $p$-adic integer. In this paper we confirm this conjecture and prove further that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $(\frac p3)$ is the Legendre symbol and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.
Spaces of Lorentzian and real stable polynomials are Euclidean balls
Published in Forum of Mathematics, Sigma 9 (2021) e73
• View Publication
• BIB
We prove that projective spaces of Lorentzian and real stable polynomials are homeomorphic to closed Euclidean balls. This solves a conjecture of June Huh and the author. The proof utilizes and refines a connection between the symmetric exclusion process in Interacting Particle Systems and the geometry of polynomials.
Integer point enumeration on independence polytopes and half-open hypersimplices
Published
• View Publication
• BIB
In this paper we investigate the Ehrhart Theory of the independence matroid polytope of uniform matroids. It is proved that these polytopes have an Ehrhart polynomial with positive coefficients. To do that, we prove that indeed all half-open-hypersimplices are Ehrhart positive, and tile disjointly our polytope using them.
Some nonlinear inverse relations of Bell polynomials via the Lagrange inversion formula
Published
• View Publication
• BIB
In this paper, by means of the classical Lagrange inversion formula, we establish a general nonlinear inverse relations which is a partial solution to the problem proposed in the paper [J. Wang, Nonlinear inverse relations for the Bell polynomials via the Lagrange inversion formula, J. Integer Seq., Vol. 22 (2019), Article 19.3.8. (https://cs.uwaterloo.ca/journals/JIS/VOL22/Wang/wang53.pdf). As applications of this inverse relation, we not only find a short proof of another nonlinear inverse relation due to Birmajer et al., but also set up a few convolution identities concerning the Mina polynomials.
An Inequality for Coefficients of the Real-rooted Polynomials
Published
• View Publication
• BIB
In this paper, we prove that if $f(x)=\sum_{k=0}^n{n\choose k}a_kx^k$ is a polynomial with real zeros only, then the sequence $\{a_k\}_{k=0}^n$ satisfies the following inequalities $a_{k+1}^2(1-\sqrt{1-c_k})^2/a_k^2 \leq(a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}^2(1+\sqrt{1-c_k})^2/a_k^2$, where $c_k=a_ka_{k+2}/a_{k+1}^2$. This inequality holds for the coefficients of the Riemann $ξ$-function, the ultraspherical, Laguerre and Hermite polynomials, and the partition function. Moreover, as a corollary, for the partition function $p(n)$, we prove that $p(n)^2-p(n-1)p(n+1)$ is increasing for $n\geq 55$. We also find that for a positive and log-concave sequence $\{a_k\}_{k\geq 0}$, the inequality $a_{k+2}/a_k\leq (a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}/a_{k-1}$ is the sufficient condition for both the $2$-log-concavity and the higher order Tur{á}n inequalities of $\{a_k\}_{k\geq 0}$. It is easy to verify that if $a_k^2\geq ra_{k+1}a_{k-1}$, where $r\geq 2$, then the sequence $\{a_k\}_{k\geq 0}$ satisfies this inequality.
Coefficientwise total positivity of some matrices defined by linear recurrences
Published in Séminaire Lotharingien de Combinatoire, 85B.30 (2021), 12 pp, https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2021/30.html
• Search Publication
We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the coefficientwise total positivity of $T(a,c,0,e,0,0)$, which includes the reversed Stirling subset triangle.