polynomial
11432 papers tagged with this keyword
Discrete-to-Continuous Extensions: piecewise multilinear extension, min-max theory and spectral theory
We introduce the homogeneous and piecewise multilinear extensions and the eigenvalue problem for locally Lipschitz function pairs, in order to develop a systematic framework for relating discrete and continuous min-max problems. This also enables us to investigate spectral properties for pairs of $p$-homogeneous functions and to propose a critical point theory for zero-homogeneous functions. The main contributions are:
(1) We provide several min-max relations between an original discrete formulation and its piecewise multilinear extension. We introduce the concept of perfect domain pairs to view comonotonicity on vectors as an extension of inclusion chains on sets. The piecewise multi-linear extension is (slice-)rank preserving, which closely relates to Tao's lemma on diagonal tensors. More discrete-to-continuous equalities are obtained, including a general form involving log-concave polynomials. And by employing these fundamental correspondences, we get further results and applications on tensors, Turán's problem, signed (hyper-)graphs, etc.
(2) We derive the mountain pass characterization, linking theorems, nodal domain inequalities, inertia bounds, duality theorems and distribution of eigenvalues for pairs of $p$-homogeneous functions. We establish a new property on the subderivative of a convex function which relates to the Gauss map of the graph of the convex function. Based on these fundamental results, we can analyze the structure of eigenspaces in depth. For example, we show a simple one-to-one correspondence between the nonzero eigenvalues of the vertex p-Laplacian and the edge $p^*$-Laplacian of a graph. We also apply the theory to Cheeger inequalities and $p$-Laplacians on oriented hypergraphs and simplicial complexes. Also, the first nonlinear analog of Huang's approach for hypergraphs is provided.
Quasi-Stirling Polynomials on Multisets
Published
• View Publication
• BIB
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by $ \overline{Q}_{\mathcal{M}}(t)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}$, where $des(π)$ denotes the number of descents of $π$. By employing generating function arguments, Elizalde derived an elegant identity involving quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$, in analogy to the identity on Stirling polynomials. In this paper, we derive an identity involving quasi-Stirling polynomials $\overline{Q}_{\mathcal{M}}(t)$ for any multiset $\mathcal{M}$, which is a generalization of the identity on Eulerian polynomial and Elizalde's identity on quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$. We provide a combinatorial proof the identity in terms of certain ordered labeled trees. Specializing $\mathcal{M}=\{1^2, 2^2, \ldots, n^2\}$ implies a combinatorial proof of Elizalde's identity in answer to the problem posed by Elizalde. As an application, our identity enables us to show that the quasi-Stirling polynomial $\overline{Q}_{\mathcal{M}}(t)$ has only real roots and the coefficients of $\overline{Q}_{\mathcal{M}}(t)$ are unimodal and log-concave for any multiset $\mathcal{M}$, in analogy to Brenti's result for Stirling polynomials on multisets.
Conic decomposition of a toric variety and its application to cohomology
Published
• View Publication
• BIB
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
The growth of abelian sections
Published in Ann. Mat. Pura Appl. (2023)
• View Publication
• BIB
Given an abstract group $G$, we study the function $ab_n(G) := \sup_{|G:H| \leq n} |H/[H,H]|$. If $G$ has no abelian composition factors, then $ab_n(G)$ is bounded by a polynomial: as a consequence, we find a sharp upper bound for the representation growth of these groups.
$q$-Selberg Integrals and Koornwinder Polynomials
Published in SIGMA 18 (2022), 014, 35 pages
• View Publication
• BIB
We prove a generalization of the $q$-Selberg integral evaluation formula. The integrand is that of $q$-Selberg integral multiplied by a factor of the same form with respect to part of the variables. The proof relies on the quadratic norm formula of Koornwinder polynomials. We also derive generalizations of Mehta's integral formula as limit cases of our integral.
The Amazing Chromatic Polynomial
Published
• View Publication
• BIB
Let G be a combinatorial graph with vertices V and edges E. A proper coloring of G is an assignment of colors to the vertices such that no edge connects two vertices of the same color. These are the colorings considered in the famous Four Color Theorem. It turns out that the number of proper colorings of G using t colors is a polynomial in t, called the chromatic polynomial of G. This polynomial has many wonderful properties. It also has the surprising habit of appearing in contexts which, a priori, have nothing to do with graph coloring. We will survey three such instances involving acyclic orientations, hyperplane arrangements, and increasing forests. In addition, connections to symmetric functions and algebraic geometry will be mentioned.
Multivariate blowup-polynomials of graphs
In recent joint work (2021), we introduced a novel multivariate polynomial attached to every metric space - in particular, to every finite simple connected graph $G$ - and showed it has several attractive properties. First, it is multi-affine and real-stable (leading to a hitherto unstudied delta-matroid for each graph $G$). Second, the polynomial specializes to (a transform of) the characteristic polynomial $χ_{D_G}$ of the distance matrix $D_G$; as well as recovers the entire graph, where $χ_{D_G}$ cannot do so. Third, the polynomial encodes the determinants of a family of graphs formed from $G$, called the blowups of $G$.
In this short note, we exhibit the applicability of these tools and techniques to other graph-matrices and their characteristic polynomials. As a particular case, we will see that the adjacency characteristic polynomial $χ_{A_G}$ is in fact the shadow of a richer multivariate blowup-polynomial, which is similarly multi-affine and real-stable. Moreover, this polynomial encodes not only the aforementioned three properties, but also yields additional information for specific families of graphs.
A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula
Published
• View Publication
• BIB
There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them.
Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.
Relative Rank and Regularization
Published
• View Publication
• BIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
Quantized cohomological Hall algebra of the $d$-loop quiver revisited
Published
• View Publication
• BIB
Let $Λ$ be the set of partitions of length $\geq 0$. We introduce an $\mathbb{N}$-graded algebra $\mathbb{A}_q^d(Λ)$ associated to $Λ$, which can be viewed as a quantization of the algebra of partitions defined by Reineke. The multiplication of $\mathbb{A}^d_q(Λ)$ has some kind of quasi-commutativity, and the associativity comes from combinatorial properties of certain polynomials appeared in the quantized cohomological Hall algebra $\mathcal{H}^d_q$ of the $d$-loop quiver. It turns out that $\mathbb{A}^d_q(Λ)$ is isomorphic to $\mathcal{H}^d_q$, thus can be viewed as a combinatorial realization for $\mathcal{H}^d_q$.
Reflecting (on) the modulo 9 Kanade--Russell (conjectural) identities
Published in Séminaire Lotharingien de Combinatoire 85 (2021), Art. B85e, 17 pp
• Search Publication
We examine complexity and versatility of five modulo 9 Kanade--Russell identities through their finite (aka polynomial) versions and images under the $q\mapsto1/q$ reflection.
Extending the known families of scalable Huffman sequences
A canonical Huffman sequence is characterized by a zero inner-product between itself and each of its shifted copies, except at their largest relative shifts: their aperiodic auto-correlation then becomes delta-like, a single central peak surrounded by zeros, with one non-zero entry at each end. Prior work showed that the few known families of Huffman sequences (of length $N = 4n-1$, for integers $n > 1$, with continuously scalable elements) are based upon Fibonacci polynomials. Related multi-dimensional ($nD$) Huffman arrays were designed, as well as non-canonical quasi-Huffman arrays that also possess delta-like auto-correlations. We examined links between these discrete sequences and delta-correlated functions defined on the continuum, and provided simple non-iterative approaches to successfully deconvolve $nD$ data blurred by diffuse Huffman arrays. Here we describe new constructions for canonical Huffman sequences. Examples of length $N = 4n+1$, $N = 2n$ and families of arbitrary length are given, including scaled forms, as well as for Fibonacci-based arrays with perfect periodic auto-correlations, that are zero for all non-zero cyclic shifts. A generalization to include canonical sequences with complex scale factors invokes an equally useful dual form of delta-correlation. We also present $1D$ arrays with a much smaller dynamic range than those where the elements are built using Fibonacci recursion. When Huffman arrays (that are comprised of inherently signed values) are employed as diffuse probe beams for image acquisition, a new two-mask de-correlating step is described here that significantly reduces the total incident radiation dose compared to a prior method that added a positive pedestal-offset.
Falconer type functions in three variables
Published
• View Publication
• BIB
Let $f\in \mathbb{R}[x, y, z]$ be a quadratic polynomial that depends on each variable and that does not have the form $g(h(x)+k(y)+l(z))$. Let $A, B, C$ be compact sets in $\mathbb{R}$. Suppose that $\dim_H(A)+\dim_H(B)+\dim_H(C)>2$, then we prove that the image set $f(A, B, C)$ is of positive Lebesgue measure. Our proof is based on a result due to Eswarathasan, Iosevich, and Taylor (Advances in Mathematics, 2011), and a combinatorial argument from the finite field model.
Norms on complex matrices induced by complete homogeneous symmetric polynomials
Published
• View Publication
• BIB
We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation.
Winning the War by (Strategically) Losing Battles: Settling the Complexity of Grundy-Values in Undirected Geography
Published
• View Publication
• BIB
We settle two long-standing complexity-theoretical questions-open since 1981 and 1993-in combinatorial game theory (CGT).
We prove that the Grundy value (a.k.a. nim-value, or nimber) of Undirected Geography is PSPACE-complete to compute. This exhibits a stark contrast with a result from 1993 that Undirected Geography is polynomial-time solvable. By distilling to a simple reduction, our proof further establishes a dichotomy theorem, providing a "phase transition to intractability" in Grundy-value computation, sharply characterized by a maximum degree of four: The Grundy value of Undirected Geography over any degree-three graph is polynomial-time computable, but over degree-four graphs-even when planar and bipartite-is PSPACE-hard. Additionally, we show, for the first time, how to construct Undirected Geography instances with Grundy value $\ast n$ and size polynomial in n.
We strengthen a result from 1981 showing that sums of tractable partisan games are PSPACE-complete in two fundamental ways. First, since Undirected Geography is an impartial ruleset, we extend the hardness of sums to impartial games, a strict subset of partisan. Second, the 1981 construction is not built from a natural ruleset, instead using a long sum of tailored short-depth game positions. We use the sum of two Undirected Geography positions to create our hard instances. Our result also has computational implications to Sprague-Grundy Theory (1930s) which shows that the Grundy value of the disjunctive sum of any two impartial games can be computed-in polynomial time-from their Grundy values. In contrast, we prove that assuming PSPACE $\neq$ P, there is no general polynomial-time method to summarize two polynomial-time solvable impartial games to efficiently solve their disjunctive sum.
The asymptotic number of lattice zonotopes in a hypercube
We provide a sharp estimate for the asymptotic number of lattice zonotopes, inscribed in $[0,n ]^d$ when $n$ tends to infinity. Our estimate refines the logarithmic equivalent established by Barany, Bureaux, and Lund when the sum of the generators of the zonotope is prescribed. As we shall see, the exponential part of our estimate is composed of a polynomial of degree $d$ in $n^{1/(d+1)}$, and involves Riemann's zeta function and its non-trivial zeros. %Our analysis is based on a mapping between sums of coprime numbers and Eulerian polynomials. We also analyze some combinatorial properties of lattice zonotopes. In particular, we provide the first moment of the polyhedral graph asymptotic diameter when $n$ goes to infinity.
Identities for the Euler polynomials, $p$-adic integrals and Witt's formula
By using Cauchy's formula, it is known that Bernoulli numbers and Euler numbers can be represented by the contour integrals \begin{equation*} \begin{aligned} B_n&=\frac{n!}{2πi}\oint \frac{z}{e^z-1}\frac{d z}{z^{n+1}},\label{condefi}\\[4pt] E_n&=\frac{n!}{2πi}\oint \frac{2e^z}{e^{2z}+1}\frac{d z}{z^{n+1}}, \end{aligned} \end{equation*} while the following Witt's formula represents Euler polynomials through the fermionic $p$-adic integrals
$$E_n(a)=\int_{\mathbb Z_p}(x+a)^ndμ_{-1}(x).$$
Base on the above Witt's identity and the binomial theorem, we prove some new identities for the Euler polynomials briefly. In particular, some symmetry properties of Euler polynomials have been discovered, which implies many interesting identities (known or unknown), including the Kaneko-Momiyama type identities (shown by Wu, Sun, and Pan) and the Alzer-Kwong type identity for Euler polynomials.
Integral mixed circulant graph
Published
• View Publication
• BIB
A mixed graph is said to be \textit{integral} if all the eigenvalues of its Hermitian adjacency matrix are integer. The \textit{mixed circulant graph} $Circ(\mathbb{Z}_n,\mathcal{C})$ is a mixed graph on the vertex set $\mathbb{Z}_n$ and edge set $\{ (a,b): b-a\in \mathcal{C} \}$, where $0\not\in \mathcal{C}$. If $\mathcal{C}$ is closed under inverse, then $Circ(\mathbb{Z}_n,\mathcal{C})$ is called a \textit{circulant graph}. We express the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$ in terms of primitive $n$-th roots of unity, and find a sufficient condition for integrality of the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$. For $n\equiv 0 \Mod 4$, we factorize the cyclotomic polynomial into two irreducible factors over $\mathbb{Q}(i)$. Using this factorization, we characterize integral mixed circulant graphs in terms of its symbol set. We also express the integer eigenvalues of an integral oriented circulant graph in terms of a Ramanujan type sum, and discuss some of their properties.
All-orders asymptotics of tensor model observables from symmetries of restricted partitions
Published
• View Publication
• BIB
The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for $ Z_3(n)$ making contact with high order results previously obtained numerically. The derivation relies on the dominance in the sum, of partitions with many parts of length $1$. The dominance of other small parts in restricted partition sums leads to related asymptotic results. The result for the $3$-index tensor observables gives the large $n$ asymptotic expansion for the counting of bipartite ribbon graphs with $n$ edges, and for the dimension of the associated Kronecker permutation centralizer algebra. We explain how the different terms in the asymptotics are associated with probability distributions over ribbon graphs. The large $n$ dominance of small parts also leads to conjectured formulae for the asymptotics of invariants for general $d$-index tensors. The coefficients of $ 1/n$ in these expansions involve Stirling numbers of the second kind along with restricted partition sums.
On an integral representation of the normalized trace of the $k$-th symmetric tensor power of matrices and some applications
Published
• View Publication
• BIB
Let $A$ be an $n\times n$ matrix and let $\vee^k A$ be its $k$-th symmetric tensor product. We express the normalized trace of $\vee^k A$ as an integral of the $k$-th powers of the numerical values of $A$ over the unit sphere $\mathbb{S}^{n}$ of $\mathbb{C}^{n}$ with respect to the normalized Euclidean surface measure. Equivalently, this expression in turn can be interpreted as an integral representation for the (normalized) complete symmetric polynomials over $\mathbb{C}^n$. As applications, we present a new proof for the MacMahon Master Theorem in enumerative combinatorics. Then, our next application deals with a generalization of the work of Cuttler et al. in \cite{cuttler} concerning the monotonicity of products of complete symmetric polynomials. In the process, we give a solution to an open problem that was raised by I. Rovenţa and L. E. Temereanca in \cite{roventa}.