polynomial
11184 papers tagged with this keyword
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta.
For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.
Standard multigraded Hibi rings and Cartwright-Sturmfels ideals
In this paper, we introduce standard multigradings on Hibi rings, which are algebras arising from posets. We show that any standard multigrading on a Hibi ring that makes its defining ideal (called the Hibi ideal) homogeneous is induced by a chain of the underlying poset. After that, we calculate the multigraded Hilbert series of Hibi rings by generalizing the theory of $P$-partition and we compute the multidegree polynomials of Hibi rings. Furthermore, we characterize Hibi ideals that are Cartwright-Sturmfels ideals.
Compatibility of Higher Specht Polynomials and Decompositions of Representations
%We show how to normalize the higher Specht polynomials of Ariki, Terasoma, and Yamada in a compatible way in order to define a stable version of these polynomials. We also decompose the non-transitive actions of Haglund, Rhoades, and Shimozono into orbits, and show how the associated basis of higher Specht polynomials of Gillespie and Rhoades respects that decomposition. For a given $n$, the orbits of the action of $S_{n}$ are associated with subsets of the set of positive integers that are smaller than $n$, and we relate the representation associated with a set $I$ to the ones of $S_{n+1}$ associated with $I$ and with its union with $n$, the latter being a lifting of the Branching Rule.
Generalized Higher Specht Polynomials and Homogeneous Representations of Symmetric Groups
We consider actions, similar to those of Haglund, Rhoades, and Shimozono on ordered partitions, and their basis in terms of the higher Specht polynomials of Ariki, Terasoma, and Yamada, as carried out by Gillespie and Rhoades. By allowing empty sets and working with multi-sets and weak partitions as indices, we obtain a decomposition of the action of $S_{n}$ on homogeneous polynomials of degree $d$ into irreducible representations, in a way that lifts a formula of Stanley. By considering generalized higher Specht polynomials, we obtain yet another such decomposition, lifting another formula involving Kostka numbers. We also investigate several operations on both types of representations, which are based on normalizations of the generalized higher Specht polynomials that allow for defining their stable versions.
Generalised Erdős distance theory on graphs
The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems.
In addition, we use the recent work of Alon, Bucić and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $Ω\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.
Positivity in the shadow of Hodge index theorem
Taking a compact Kähler manifold as playground, we explore the powerfulness of Hodge index theorem. A main object is the Lorentzian classes on a compact Kähler manifold, behind which the characterization via Lorentzian polynomials over the Kähler cone and hence the validity of Hodge index theorem. Along the exploration, we discover several applications in complex geometry that may be unexpected before. (1) For a Lefschetz type operator given by the complete intersection of nef classes, we give a complete characterization of its kernel face against the pseudo-effective cone. (2) We provide a new approach to Teissier's proportionality problem from the validity of hard Lefschetz property. This perspective enables us to establish the extremals for the Brunn-Minkowski inequality on a strictly Lorentzian class, and thus also characterize the most extremal case for a log-concavity sequence given by the intersection numbers of two nef classes. These Lorentzian classes include the fundamental classes of smooth projective varieties or compact Kähler manifolds as typical examples, hence our result extends Boucksom-Favre-Jonsson's and Fu-Xiao's results in respective settings to broader contexts, e.g. certain algebraic cycle classes given by reducible subvarieties. (3) Furthermore, we also strengthen the proportionality characterization by comparing various quantitative deficits and establishing stability estimates. Two quantitative sharper stability estimates with close relation with complex Monge--Ampère equations and Newton-Okounkov bodies are also discussed.
Congruences for sums of Delannoy numbers and polynomials
In this paper, we apply the power-partible reduction to study arithmetic properties of sums involving Delannoy numbers $D_k$ and polynomials $D_k(z)$. Let $v\in\bN$ and $p$ be an odd prime. It is proved that, for any $z\in\bZ\setminus\{0,-1\}$, there exist $c_v\in z^{-v}\bZ[z]$ and $\tilde{c}_v\in (z+1)^{-v}\bZ[z]$, both free of $p$ and can be determined mechanically, such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2v}D_k(z)\equiv c_v \left(\frac{-z}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z)=1$ and \begin{equation*} \sum_{k=0}^{p-1}(-1)^k(2k+1)^{2v}D_k(z)\equiv \tilde{c}_v \left(\frac{z+1}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z+1)=1$. Here $(-)$ denotes the Legendre symbol.
When $n$ is a power of $2$, we find there exist odd integers $ρ_v$ and even integers $\tildeρ_v$, both independent of $n$ and can be determined mechanically, such that \[ \sum_{k=0}^{n-1}(2k+1)^{2v+1}D_k\equiv ρ_v n \pmod {n^3} \] and \[ \sum_{k=0}^{n-1}(-1)^k(2k+1)^{2v+1}D_k\equiv \tildeρ_v n^2 \pmod {n^3}. \] The case $v=1$ in the last congruence confirms a conjecture of Guo and Zeng in 2012.
Counting subgraphs of coloring graphs using shadow graphs
Given a graph $G$, the $k$-coloring graph $\mathcal{C}_k(G)$ is constructed by selecting proper $k$-colorings of $G$ as vertices, with an edge between two colorings if they differ in the color of exactly one vertex. The number of vertices in $\mathcal{C}_k(G)$ is the famous chromatic polynomial of $G$. Asgarli, Krehbiel, Levinson and Russell showed that for any subgraph $H$, the number of induced copies of $H$ in $\mathcal{C}_k(G)$ is a polynomial function in $k$. Hogan, Scott, Tamitegama, and Tan found a shorter proof for polynomiality of these chromatic $H$-polynomials. In this paper, we provide a method of constructing these polynomials explicitly in terms of chromatic polynomials of shadow graphs. We illustrate the practicality of our formulas by computing an explicit formula for $H$-polynomial for trees when $H=Q_d$ is an arbitrary hypercube, a task which does not seem approachable from previous methods. The coefficients of the resulting polynomials feature generalized degree sequences introduced by Crew. In the special case when $H=P_2$, the corresponding polynomial is dubbed the chromatic pairs polynomial. We present a pair of graphs $G_1$ and $G_2$ sharing the same chromatic pairs polynomial but different chromatic polynomials, disproving a conjecture raised by Asgarli, Krehbiel, Levinson and Russell.
Analytic properties arising from the Baxter numbers
Baxter numbers are known as the enumeration of Baxter permutations and numerous other discrete structures, playing a significant role across combinatorics, algebra, and analysis. In this paper, we focus on the analytic properties related to Baxter numbers. We prove that the descent polynomials of Baxter permutations have interlacing zeros, which is a property stronger than real-rootedness. Our approach is based on Dilks' framework of $(q,t)$-Hoggatt sums, which is a $q$-analog for Baxter permutations. Within this framework, we show that the family of $(1,t)$-Hoggatt sums satisfies the interlacing property using fundamental results on Hadamard products of polynomials. For Baxter numbers, we prove their asymptotic $r$-log-convexity via asymptotic expansions of $P$-recursive sequences. In particular, we confirm their $2$-log-convexity using symbolic computation techniques.
Free positive multiplicative Brownian motion and the free additive convolution of semicircle and uniform distribution
The free positive multiplicative Brownian motion $(h_t)_{t\geq0}$ is the large $N$ limit in non-commutative distribution of matrix geometric Brownian motion. It can be constructed by setting $h_t:=g_{t/2}g_{t/2}^*$, where $(g_t)_{t\geq0}$ is a free multiplicative Brownian motion, which is the large $N$ limit in non-commutative distribution of the Brownian motion in $\operatorname{Gl}(N,\mathbb{C})$. One key property of $(h_t)_{t\geq0}$ is the fact that the corresponding spectral distributions $(ν_t)_{t\geq0}\subset M^1((0,\infty))$ form a semigroup w.r.t. free multiplicative convolution. In recent work by M. Voit and the present author, it was shown that $ν_t$ can be expressed by the image measure of a free additive convolution of the semicircle and the uniform distribution on an interval under the exponential map. In this paper, we provide a new proof of this result by calculating the moments of the free additive convolution of semicircle and uniform distributions on intervals. As a by-product, we also obtain new integral formulas for $ν_t$ which generalize the corresponding known moment formulas involving Laguerre polynomials.
Two stability theorems on plethysms of Schur functions
The plethysm product of Schur functions corresponds to composing polynomial representations of infinite general linear groups. Finding the plethysm coefficients $\langle s_ν\circ s_μ, s_λ\rangle$ that express an arbitrary plethysm $s_ν\circ s_μ$ as a sum $\sum_λ\langle s_ν\circ s_μ, s_λ\rangle s_λ$ of Schur functions is a fundamental open problem in algebraic combinatorics. We prove two stability theorems for plethysm coefficients under the operations of adding and/or joining an arbitrary partition to either $μ$ or $ν$. In both theorems $μ$ may be replaced with an arbitrary skew partition. As special cases we obtain all stability results on the plethysm product of two Schur functions in the literature to date. The proofs are entirely combinatorial using plethystic semistandard tableaux with positive and negative entries.
The Degree Polynomial
The degree polynomial of a multigraph $G$ is given by $\sum _{v \in V(G)} x^{\mbox{deg}(v)}$. We investigate here properties of the roots of such polynomials. In addition to examining the roots for some families of graphs with few and many degrees, we provide some bounds on the moduli of the roots. We also propose a region that contains all roots for multigraphs of order $n$.
Enumerative Chromatic Choosability
Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph is chromatic-choosable when its chromatic number is equal to its list chromatic number. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. It is known that for any graph $G$ there is a positive integer $k$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In this paper, we study enumerative chromatic-choosability. A graph $G$ is enumeratively chromatic-choosable when $P_{\ell}(G,m) = P(G,m)$ whenever $m \in \mathbb{N}$. We completely determine the graphs of chromatic number two that are enumeratively chromatic-choosable. We construct examples of graphs that are chromatic-choosable but fail to be enumeratively-chromatic choosable, and finally, we explore a conjecture as to whether for every graph $G$, there is a $p \in \mathbb{N}$ such that the join of $G$ and $K_p$ is enumeratively chromatic-choosable. The techniques we use to prove results are diverse and include probabilistic ideas and ideas from DP (or correspondence)-coloring.
On the boundary polynomial of a graph
In this work, we introduce the boundary polynomial of a graph $G$ as the ordinary generating function in two variables $B(G;x,y):= \displaystyle\sum_{S\subseteq V(G)} x^{|B(S)|}y^{|S|}$, where $B(S)$ denotes the outer boundary of $S$. We investigate this graph polynomial obtaining some algebraic properties of the polynomial. We found that some parameters of $G$ are algebraically encoded in $B(G;x,y)$, \emph{e.g.}, domination number, Roman domination number, vertex connectivity, and differential of the graph $G$. Furthermore, we compute the boundary polynomial for some classic families of graphs. We also establish some relationships between $B(G;x,y)$ and $B(G^\prime;x,y)$ for the graphs $G^\prime$ obtained by removing, adding, and subdividing an edge from $G$. In addition, we prove that a graph $G$ has an isolated vertex if and only if its boundary polynomial has a factor ($y+1$). Finally, we show that the classes of complete, complete without one edge, empty, path, cycle, wheel, star, double-star graphs, and many others are characterized by the boundary polynomial.
Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs
We prove that for any graph $G$ the (complex) zeros of its chromatic polynomial, $χ_G(x)$, lie inside the disk centered at $0$ of radius $4.25 Δ(G)$, where $Δ(G)$ denotes the maximum degree of $G$. This improves on a recent result of Jenssen, Patel and Regts, who proved a bound of $5.94Δ(G)$. Moreover, we show that for graphs of sufficiently large girth we can replace $4.25$ by $3.60$ and for claw-free graphs we can replace $4.25$ by $3.81$.
Our proofs add some substantially novel ideas to those developed by Jenssen, Patel, and Regts, while building on them. A key novel ingredient for claw-free graphs is to use a representation of the coefficients of the chromatic polynomial in terms of the number of certain partial acyclic orientations.
A refined $q$-analogue of some congruences of Van Hamme
In 1997, Van Hamme proposed 13 supercongruences corresponding to $1/π$ series of the Ramanujan-type. Inspired by the recent work of V.J.W. Guo, we establish a unified $q$-analogue of Van Hamme's (B.2), (E.2) and (F.2) supercongruences, which is also a refinement of some known results obtained by different authors. As a consequence, we give a parametric supercongruence related to the Euler polynomials.
Matchings in Corona graph and classical symmetric varieties
We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits in Types AIII and CII. Moreover, we prove a conjecture of Can and Ugurlu concerning the non-integrality of the coefficients of the polynomial that interpolates the number of orbits in Type BI.
A practical algorithm for 2-admissibility
The $2$-admissibility of a graph is a promising measure to identify real-world networks which have an algorithmically favourable structure. In contrast to other related measures, like the weak/strong $2$-colouring numbers or the maximum density of graphs that appear as $1$-subdivisions, the $2$-admissibility can be computed in polynomial time. However, so far these results are theoretical only and no practical implementation to compute the $2$-admissibility exists.
Here we present an algorithm which decides whether the $2$-admissibility of an input graph $G$ is at most $p$ in time $O(p^4 |V(G)|)$ and space $O(|E(G)| + p^2)$. The simple structure of the algorithm makes it easy to implement. We evaluate our implementation on a corpus of 214 real-world networks and find that the algorithm runs efficiently even on networks with millions of edges, that it has a low memory footprint, and that indeed many networks have a small $2$-admissibility.
The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes
We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules
$P = \sum_{N\in \mathbb N} P_N$, where $P_N$ is the $N$th homogeneous component of $P$. For $N\in \mathbb N$ we construct some additional $\mathfrak{sl}_4(\mathbb C)$-modules ${\rm Fix}(G)$ and $T$. For these modules the underlying vector space is described as follows. Let $X$ denote the vertex set of the hypercube $H(N,2)$, and let $V$ denote the $\mathbb C$-vector space with basis $X$. For the automorphism group $G$ of $H(N,2)$, the action of $G$ on $X$ turns $V$ into a $G$-module. The vector space $V^{\otimes 3} = V \otimes V \otimes V$ becomes a $G$-module such that $g(u \otimes v \otimes w)= g(u) \otimes g(v) \otimes g(w)$ for $g\in G$ and $u,v,w \in V$. The subspace ${\rm Fix}(G)$
of $V^{\otimes 3}$ consists of the vectors in $V^{\otimes 3}$ that are fixed by every element in $G$.
Pick $\varkappa \in X$. The corresponding subconstituent algebra $T$ of $H(N,2)$ is the subalgebra of ${\rm End}(V)$ generated by the adjacency map $\sf A$ of $H(N,2)$ and the dual adjacency map ${\sf A}^*$ of $H(N,2)$ with respect to $\varkappa$. In our main results, we turn ${\rm Fix}(G)$ and $T$ into $\mathfrak{sl}_4(\mathbb C)$-modules, and display $\mathfrak{sl}_4(\mathbb C)$-module isomorphisms $P_N \to {\rm Fix}(G) \to T$.
We describe the $\mathfrak{sl}_4(\mathbb C)$-modules $P_N$, ${\rm Fix}(G)$, $T$ from multiple points of view.
Total trades, intersection matrices and Specht modules
Published
• View Publication
• BIB
Trades are important objects in combinatorial design theory that may be realized as certain elements of kernels of inclusion matrices. Total trades were introduced recently by Ghorbani, Kamali and Khosravshahi, who showed that over a field of characteristic zero the vector space of trades decomposes into a direct sum of spaces of total trades. In this paper, we show that the vector space spanned by the permutations of a total trade is an irreducible representation of the symmetric group. As a corollary, the previous decomposition theorem is recovered. Also, a basis is obtained for the module of total trades in the spirit of Specht polynomials. More generally, in the second part of the paper we consider intersection matrices and determine the irreducible decompositions of their images. This generalizes previously known results concerning ranks of special cases.