polynomial
11422 papers tagged with this keyword
Bialternant formula for Schur polynomials with repeating variables
Published in Linear and Multilinear Algebra, 1-35 (2025)
• View Publication
• BIB
We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.
Primed decomposition tableaux and extended queer crystals
Published in Algebras and Representation Theory 28 (2025), 445-482
• View Publication
• BIB
Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.
Iterated Entropy Derivatives and Binary Entropy Inequalities
Published
• View Publication
• BIB
We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $α_k H(x^k)\geq x^{k-1}H(x)$, where $0<α_k<1$ is given by a functional equation. The $k=2$ case was the key technical tool driving recent breakthroughs on the union-closed sets conjecture. We express $ \frac{d^{k+1}}{dx^{k+1}}x^{k-r}H(x^r)$ as a rational function, an infinite series, and a sum over generalized Stirling numbers. This allows us to reduce the proof of the entropy inequality for real $k$ to showing that an associated polynomial has only two real roots in the interval $(0,1)$, which also allows us to prove the inequality for fractional exponents such as $k=3/2$. The proof suggests a new framework for proving tight inequalities for the sum of polynomials times the logarithms of polynomials, which converts the inequality into a statement about the real roots of a simpler associated polynomial.
Classification of tight $2s$-designs with $s \geq 2$
Tight $2 s$-designs are the $2 s$-$(v, k, λ)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs. It has been widely conjectured since 1970s that there are no other nontrivial tight designs. In this paper, we give a proof of this conjecture. In the proof, an upper bound $v \ll s$ is shown by analyzing the parameters of the designs and the coefficients of the Wilson polynomials, and a lower bound $v \gg s (\ln s)^2$ is shown by using estimates on prime gaps.
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.
Spanning trees for many different numbers of leaves
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 18, 2024) dmtcs:13116
• View Publication
• BIB
Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.
Resolution of the quadratic Littlewood--Offord problem
Published
• View Publication
• BIB
Consider a quadratic polynomial $Q(ξ_{1},\dots,ξ_{n})$ of independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$. To what extent can $Q(ξ_{1},\dots,ξ_{n})$ concentrate on a single value? This quadratic version of the classical Littlewood--Offord problem was popularised by Costello, Tao and Vu in their study of symmetric random matrices. In this paper, we obtain an essentially optimal bound for this problem, as conjectured by Nguyen and Vu.
Specifically, if $Q(ξ_{1},\dots,ξ_{n})$ "robustly depends on at least $m$ of the $ξ_{i}$" in the sense that there is no way to pin down the value of $Q(ξ_{1},\dots,ξ_{n})$ by fixing values for fewer than $m$ of the variables $ξ_{i}$, then we have $\Pr[Q(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{m})$. This also implies a similar result in the case where $ξ_{1},\dots,ξ_{n}$ have arbitrary distributions.
Our proof combines a number of ideas that may be of independent interest, including an inductive decoupling scheme that reduces quadratic anticoncentration problems to high-dimensional linear anticoncentration problems. Also, one application of our main result is the resolution of a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn related to graph inducibility.
r-orientation of a signed graph and its application on coronae of signed graphs
For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.
On directed and undirected diameters of vertex-transitive graphs
Published in Combinatorica 44 (2024), 1353-1366
• View Publication
• BIB
A directed diameter of a directed graph is the maximum possible distance between a pair of vertices, where paths must respect edge orientations, while undirected diameter is the diameter of the undirected graph obtained by symmetrizing the edges. In 2006 Babai proved that for a connected directed Cayley graph on $n$ vertices the directed diameter is bounded above by a polynomial in undirected diameter and $\log n$. Moreover, Babai conjectured that a similar bound holds for vertex-transitive graphs. We prove this conjecture of Babai, in fact, it follows from a more general bound for connected relations of homogeneous coherent configurations. The main novelty of the proof is a generalization of Ruzsa's triangle inequality from additive combinatorics to the setting of graphs.
Points-Polynomials Incidence Theorem with Applications to Coding Theory
Published
• View Publication
• BIB
This paper focuses on incidences over finite fields, extending to higher degrees a result by Vinh \cite{VINH20111177} on the number of point-line incidences in the plane $\mathbb{F}^2$, where $\mathbb{F}$ is a finite field. Specifically, we present a bound on the number of incidences between points and polynomials of bounded degree in $\mathbb{F}^2$. Our approach employs a singular value decomposition of the incidence matrix between points and polynomials, coupled with an analysis of the related group algebras. This bound is then applied to coding theory, specifically to the problem of average-radius list decoding of Reed-Solomon (RS) codes. We demonstrate that RS codes of certain lengths are average-radius list-decodable with a constant list size, which is dependent on the code rate and the distance from the Johnson radius. While a constant list size for list-decoding of RS codes in this regime was previously established, its existence for the stronger notion of average-radius list-decoding was not known to exist.
Power domination with random sensor failure
The power domination problem seeks to determine the minimum number of phasor measurement units (PMUs) needed to monitor an electric power network. We introduce random sensor failure before the power domination process occurs and call this the fragile power domination process. For a given graph, PMU placement, and probability of PMU failure $q$, we study the expected number of observed vertices at the termination of the fragile power domination process. This expected value is a polynomial in $q$, which we relate to fault-tolerant and PMU-defect-robust power domination. We also study the probability of that the entire graph becomes observed and give results for some graph families.
Lattice paths and branched continued fractions. III. Generalizations of the Laguerre, rook and Lah polynomials
We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$.
On locally finite ordered rooted trees and their rooted subtrees
Published
• View Publication
• BIB
In this article we compare the known dynamical polynomial time algorithm for the game-over attack strategy, to that of the brute force approach; of checking all the ordered rooted subtrees of a given tree that represents a given computer network. Our approach is purely enumerative and combinatorial in nature. We first revisit known results about a doubly exponential sequence and generalize them. We then consider both finite and locally finite ordered rooted trees (LFOR-trees), and the class of their finite ordered rooted subtrees of bounded height, describing completely the LFOR-trees with no leaves where the number of ordered rooted subtrees of height at most $h$ are bounded by a polynomial in $h$. We finally consider general LFOR-trees where each level can have leaves and determine conditions for the number of ordered rooted subtrees of height at most $h$ to be bounded by a polynomial in $h$.
An intermediate case of exponential multivalued forbidden matrix configuration
The forbidden number forb$(m,F)$, which denotes the maximum number of distinct columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\cdots,r-1\}$. forb$(m,r,F)$ is the maximum number of distinct columns in an $r$-matrix with no submatrix that is a row and column permutation of $F$. While forb$(m,F)$ is polynomial in $m$, forb$(m,r,F)$ is exponential for $r\geq 3$. Recently, forb$(m,r,F)$ was studied for some small $(0,1)$-matrices $F$, and exact values were determined in some cases. In this paper we study forb$(m,r,M)$ for $M=\begin{bmatrix}0&1\\0&1\\1&0\end{bmatrix}$, which is the smallest matrix for which this forbidden number is unknown. Interestingly, it turns out that this problem is closely linked with the following optimisation problem. For each triangle in the complete graph $K_m$, pick one of its edges. Let $m_e$ denote the number of times edge $e$ is picked. For each $α\in\mathbb{R}$, what is $H(m,α)=\max\sum_{e\in E(K_m)}α^{m_e}$? We establish a relationship between forb$(m,r,M)$ and $H(m,(r-1)/(r-2))$, find upper and lower bounds for $H(m,α)$, and use them to significantly improve known bounds for forb$(m,r,M)$.
A Geometric Realization of Partially-Symmetric Macdonald Polynomials
We formulate a precise conjecture relating integral form partially-symmetric Macdonald polynomials and the parabolic flag Hilbert schemes of Carlsson, Gorsky, and Mellit. This extends, in an explicit fashion, Haiman's realization of modified Macdonald symmetric functions via Hilbert schemes of points in the plane. As evidence for our conjecture we prove that it is compatible with the action of certain elements in Carlsson and Mellit's algebra $\mathbb{A}_{t,q}$, including degree $1$ Pieri formulas.
Stable recovery of piecewise constant conductance on spider networks
Published in This is an original manuscript of an article published by Taylor & Francis in International Journal of Computer Mathematics on 31 Jul 2024
• View Publication
• BIB
We address the discrete inverse conductance problem for well-connected spider networks; that is, to recover the conductance function on a well-connected spider network from the Dirichlet-to-Neumann map. It is well-known that this inverse problem is exponentially ill-posed, requiring the implementation of a regularization strategy for numerical solutions. Our focus lies in exploring whether prior knowledge of the conductance being piecewise constant within a partition of the edge set comprising few subsets enables stable conductance recovery. To achieve this, we propose formulating the problem as a polynomial optimization one, incorporating a regularization term that accounts for the piecewise constant hypothesis. We show several experimental examples in which the stable conductance recovery under the aforementioned hypothesis is feasible.
A Polynomial Method for Counting Colorings of Sparse Graphs
The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.
Beyond Wolstenholme's Theorem
Wolstenholme's type summations involve certain powers of all residues $k$ modulo some prime number $p$. We first consider the sums of double or triple products of certain powers of all residues, e.g., the sums of the terms $(a+k)^m(b+k)^n$ or $(a+k)^m(b+k)^n(c+k)^s$ as $k$ ranges over all residues modulo $p$. We consider the sums of double or triple ratios of such terms. We showed that each of such sums is congruent to some simpler expression involving certain binomial coefficients. We also generalize these results to the sums of products or ratios of arbitrary $n$ terms: $(a_1+k)^{m_1}$, ..., $(a_n+k)^{m_n}$. We relate such summations to the sum of certain coefficients of polynomials of type $(a_1-a_n+x)^{m_1} \cdots (a_{n-1}-a_n+x)^{m_{n-1}}$.
Bisimplicial separators
A minimal separator of a graph $G$ is a set $S \subseteq V(G)$ such that there exist vertices $a,b \in V(G) \setminus S$ with the property that $S$ separates $a$ from $b$ in $G$, but no proper subset of $S$ does. For an integer $k\ge 0$, we say that a minimal separator is $k$-simplicial if it can be covered by $k$ cliques and denote by $\mathcal{G}_k$ the class of all graphs in which each minimal separator is $k$-simplicial. We show that for each $k \geq 0$, the class $\mathcal{G}_k$ is closed under induced minors, and we use this to show that the Maximum Weight Stable Set problem can be solved in polynomial time for $\mathcal{G}_k$. We also give a complete list of minimal forbidden induced minors for $\mathcal{G}_2$. Next, we show that, for $k \geq 1$, every nonnull graph in $\mathcal{G}_k$ has a $k$-simplicial vertex, i.e., a vertex whose neighborhood is a union of $k$ cliques; we deduce that the Maximum Weight Clique problem can be solved in polynomial time for graphs in $\mathcal{G}_2$. Further, we show that, for $k \geq 3$, it is NP-hard to recognize graphs in $\mathcal{G}_k$; the time complexity of recognizing graphs in $\mathcal{G}_2$ is unknown. We also show that the Maximum Clique problem is NP-hard for graphs in $\mathcal{G}_3$. Finally, we prove a decomposition theorem for diamond-free graphs in $\mathcal{G}_2$ (where the diamond is the graph obtained from $K_4$ by deleting one edge), and we use this theorem to obtain polynomial-time algorithms for the Vertex Coloring and recognition problems for diamond-free graphs in $\mathcal{G}_2$, and improved running times for the Maximum Weight Clique and Maximum Weight Stable Set problems for this class of graphs.
Smooth symmetric systems over a finite field and applications
We study the set of common $\mathbb{F}_q$-rational solutions of "smooth" systems of multivariate symmetric polynomials with coefficients in a finite field $\mathbb{F}_q$. We show that, under certain conditions, the set of common solutions of such polynomial systems over the algebraic closure of $\mathbb{F}_q$ has a "good" geometric behavior. This allows us to obtain precise estimates on the corresponding number of common $\mathbb{F}_q$-rational solutions. In the case of hypersurfaces we are able to improve the results. We illustrate the interest of these estimates through their application to certain classical combinatorial problems over finite fields.