polynomial
11239 papers tagged with this keyword
Linear Shannon Capacity of Cayley Graphs
Published
• View Publication
• BIB
The Shannon capacity of a graph is a fundamental quantity in zero-error information theory measuring the rate of growth of independent sets in graph powers. Despite being well-studied, this quantity continues to hold several mysteries. Lovász famously proved that the Shannon capacity of $C_5$ (the 5-cycle) is at most $\sqrt{5}$ via his theta function. This bound is achieved by a simple linear code over $\mathbb{F}_5$ mapping $x \mapsto 2x$. This motivates the notion of linear Shannon capacity of graphs, which is the largest rate achievable when restricting oneself to linear codes. We give a simple proof based on the polynomial method that the linear Shannon capacity of $C_5$ is $\sqrt{5}$. Our method applies more generally to Cayley graphs over the additive group of finite fields $\mathbb{F}_q$, giving an upper bound on the linear Shannon capacity. We compare this bound to the Lovász theta function, showing that they match for self-complementary Cayley graphs (such as $C_5$), and that the bound is smaller in some cases. We also exhibit a quadratic gap between linear and general Shannon capacity for some graphs.
The Laplacian spectrum, Kirchhoff index and complexity of the linear heptagonal networks
Published
• View Publication
• BIB
Let $H_n$ be the linear heptagonal networks with $2n$ heptagons. We study the structure properties and the eigenvalues of the linear heptagonal networks. According to the Laplacian polynomial of $H_n$, we utilize the decomposition theorem. Thus, the Laplacian spectrum of $H_n$ is created by eigenvalues of a pair of matrices: $L_A$ and $L_S$ of order number $5n+1$ and $4n+1$, respectively. On the basis of the roots and coefficients of their characteristic polynomials of $L_A$ and $L_S$, we not only get the explicit forms of Kirchhoff index, but also corresponding total complexity of $H_n$.
Pircon kernels and up-down symmetry
Published
• View Publication
• BIB
We show that a symmetry property that we call the up-down symmetry implies that the Kazhdan--Lusztig $R^x$-polynomials of a pircon $P$ are a $P$-kernel, and we show that this property holds in the classical cases. Then, we enhance and extend to this context a duality of Deodhar in parabolic Kazhdan--Lusztig theory.
Higher Order Apostol-Type Poly-Genocchi Polynomials with Parameters a, b and c
Published
• View Publication
• BIB
In this paper, a new form of poly-Genocchi polynomials is defined by means of poly-logarithm, namely, the Apostol-type poly-Genocchi polynomials of higher order with parameters a, b and c. Several properties of these polynomials are established including some recurrence relations and explicit formulas, which express these higher order Apostol-type poly-Genocchi polynomials in terms of Stirling numbers of the second kind, Apostol-type Bernoulli and Frobenius polynomials of higher order. Moreover, certain differential identity is obtained that leads this new form of poly-Genocchi polynomials to be classified as Appell polynomials and, consequently, draw more properties using some theorems on Appell polynomials. Furthermore, a symmetrized generalization of this new form of poly-Genocchi polynomials is introduced that possesses a double generating function. Finally, the type 2 Apostol-poly-Genocchi polynomials with parameters a, b and c are defined using the concept of polyexponential function and several identities are derived, two of which show the connections of these polynomials with Stirling numbers of the first kind and the type 2 Apostol-type poly-Bernoulli polynomials.
Some Formulae of Genocchi Polynomials of Higher Order
In this paper, some formulae for Genoochi polynomials of higher order are derived using the fact that sets of Bernoulli and Euler polynomials of higher order form basis for the polynomial space.
$q{\rm RS}t$: A probabilistic Robinson--Schensted correspondence for Macdonald polynomials
Published
• View Publication
• BIB
We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials (i.e., the equality of the coefficients of $x_1 \cdots x_n y_1 \cdots y_n$ on either side, which are related to permutations and standard Young tableaux). By specializing $q$ and $t$ in various ways, one recovers the row and column insertion versions of the Robinson--Schensted correspondence, several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with $q$-Whittaker and Hall--Littlewood processes, and the Plancherel measure on partitions. Our construction is based on Fomin's growth diagrams and the recently introduced notion of a probabilistic bijection between weighted sets.
$q$-Supercongruences from the $q$-Saalschütz identity
Published
• View Publication
• BIB
In terms of the $q$-Saalschütz identity and the Chinese remainder theorem for coprime polynomials, we establish some $q$-supercongruences modulo the third power of a cyclotomic polynomial. In particular, we give a $q$-analogue of a formula due to Long and Ramakrishna [Adv. Math. 290 (2016), 773--808].
On the Alternating runs polynomial in type B and D Coxeter Groups
Wilf showed that the the alternating runs polynomial $R_n(t)$ counting the number of permutations in the Symmetric group is divisible by $(1+t)^m$ where $m = \lfloor (n-2)/2 \rfloor$. Recently, Bóna gave a group action based proof. Type B and D analogues of Wilf's result are known. In this note, we extend Bóna's proof to prove the type B and D analogue.
On the isomorphism of certain primitive $Q$-polynomial not $P$-polynomial association schemes
Published
• View Publication
• BIB
In 2011, Penttila and Williford constructed an infinite new family of primitive $Q$-polynomial 3-class association schemes, not arising from distance regular graphs, by exploring the geometry of the lines of the unitary polar space $H(3,q^2)$, $q$ even, with respect to a symplectic polar space $W(3,q)$ embedded in it.
In a private communication to Penttila and Williford, H.~Tanaka pointed out that these schemes have the same parameters as the 3-class schemes found by Hollmann and Xiang in 2006 by considering the action of $\mathrm{PGL}(2,q^2)$, $q$ even, on a non-degenerate conic of $\mathrm{PG}(2,q^2)$ extended in $\mathrm{PG}(2,q^4)$. Therefore, the question arises whether the above association schemes are isomorphic. In this paper we provide the positive answer. As by product, we get an isomorphism of strongly regular graphs.
Probabilistic analysis of algorithms for cost constrained minimum weighted combinatorial objects
Published in Oper. Res. Lett. 49 (2021), no. 3, 400-404
• View Publication
• BIB
We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polynomial time algorithms that produce asymptotically optimal solutions. For the spanning tree problem, we allow $r>1$, but for the assignment problem we can only analyse the case $r=1$.
Explicit near-fully X-Ramanujan graphs
Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.
Khovanskii's theorem and effective results on sumset structure
A remarkable theorem due to Khovanskii asserts that for any finite subset $A$ of an abelian group, the cardinality of the $h$-fold sumset $hA$ grows like a polynomial for all sufficiently large $h$. Currently, neither the polynomial nor what sufficiently large means are understood. In this paper we obtain an effective version of Khovanskii's theorem for any $A \subset \mathbb{Z}^d$ whose convex hull is a simplex; previously, such results were only available for $d=1$. Our approach gives information about not just the cardinality of $hA$, but also its structure, and we prove two effective theorems describing $hA$ as a set: one answering a recent question posed by Granville and Shakan, the other a Brion-type formula that provides a compact description of $hA$ for all large $h$. As a further illustration of our approach, we derive a completely explicit formula for $|hA|$ whenever $A \subset \mathbb{Z}^d$ consists of $d+2$ points.
Face numbers of barycentric subdivisions of cubical complexes
Published
• View Publication
• BIB
The $h$-polynomial of the barycentric subdivision of any $n$-dimensional cubical complex with nonnegative cubical $h$-vector is shown to have only real roots and to be interlaced by the Eulerian polynomial of type $B_n$. This result applies to barycentric subdivisions of shellable cubical complexes and, in particular, to barycentric subdivisions of cubical convex polytopes and answers affirmatively a question of Brenti, Mohammadi and Welker.
A magic determinant formula for symmetric polynomials of eigenvalues
Symmetric polynomials of the roots of a polynomial can be written as polynomials of the coefficients, and by applying this to the characteristic polynomial we can write a symmetric polynomial of the eigenvalues $a_{i}$ of an $n\times n$ matrix $A$ as a polynomial of the entries of the matrix. We give a magic formula for this: symbolically substitute $a\mapsto A$ in the symmetric polynomial and replace multiplication by $\det$. For instance, for a $2\times2$ matrix $A$ with eigenvalues $a_{1},a_{2}$, \begin{align*} a_1 a_2^2 +a_1^2 a_2 & =\det(A_1, A_2^2)+ \det(A_1^2, A_2) \end{align*} where $A_i^k$ is the $i$-th column of $A^k$. One may also take negative powers, allowing us to calculate: \begin{align*} a_1a_2^{-1}+a_1^{-1}a_{2} & =\det(A_{1},A_{2}^{-1})+\det(A_1^{-1},A_{2}) \end{align*} The magic method also works for multivariate symmetric polynomials of the eigenvalues of a set of commuting matrices, e.g. for $2\times2$ matrices $A$ and $B$ with eigenvalues $a_1,a_2$ and $b_{1},b_{2}$, \begin{align*} a_1 b_1 a_2^2 + a_1^2a_2b_2 & = \det(AB_{1},A_2^2) + \det(A_1^2,AB_2) \end{align*}
Sum-of-Squares Lower Bounds for Sherrington-Kirkpatrick via Planted Affine Planes
Published
• View Publication
• BIB
The Sum-of-Squares (SoS) hierarchy is a semi-definite programming meta-algorithm that captures state-of-the-art polynomial time guarantees for many optimization problems such as Max-$k$-CSPs and Tensor PCA. On the flip side, a SoS lower bound provides evidence of hardness, which is particularly relevant to average-case problems for which NP-hardness may not be available.
In this paper, we consider the following average case problem, which we call the \emph{Planted Affine Planes} (PAP) problem: Given $m$ random vectors $d_1,\ldots,d_m$ in $\mathbb{R}^n$, can we prove that there is no vector $v \in \mathbb{R}^n$ such that for all $u \in [m]$, $\langle v, d_u\rangle^2 = 1$? In other words, can we prove that $m$ random vectors are not all contained in two parallel hyperplanes at equal distance from the origin? We prove that for $m \leq n^{3/2-ε}$, with high probability, degree-$n^{Ω(ε)}$ SoS fails to refute the existence of such a vector $v$.
When the vectors $d_1,\ldots,d_m$ are chosen from the multivariate normal distribution, the PAP problem is equivalent to the problem of proving that a random $n$-dimensional subspace of $\mathbb{R}^m$ does not contain a boolean vector. As shown by Mohanty--Raghavendra--Xu [STOC 2020], a lower bound for this problem implies a lower bound for the problem of certifying energy upper bounds on the Sherrington-Kirkpatrick Hamiltonian, and so our lower bound implies a degree-$n^{Ω(ε)}$ SoS lower bound for the certification version of the Sherrington-Kirkpatrick problem.
Induced subgraphs and tree decompositions I. Even-hole-free graphs of bounded degree
Published
• View Publication
• BIB
Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph has treewidth $k$ if it can be decomposed by a sequence of noncrossing cutsets of size at most $k$ into pieces of size at most $k+1$. The study of hereditary graph classes (i.e. those closed under vertex deletion only) reveals a different picture, where cutsets that are not necessarily bounded in size (such as star cutsets, 2-joins and their generalization) are required to decompose the graph into simpler pieces that are structured but not necessarily bounded in size. A number of such decomposition theorems are known for complex hereditary graph classes, including even-hole-free graphs, perfect graphs and others. These theorems do not describe the global structure in the sense that a tree decomposition does, since the cutsets guaranteed by them are far from being noncrossing. They are also of limited use in algorithmic applications.
We show that in the case of even-hole-free graphs of bounded degree the cutsets described in the previous paragraph can be partitioned into a bounded number of well-behaved collections. This allows us to prove that even-hole-free graphs with bounded degree have bounded treewidth, resolving a conjecture of Aboulker, Adler, Kim, Sintiari and Trotignon [arXiv:2008.05504]. As a consequence, it follows that many algorithmic problems can be solved in polynomial time for this class, and that even-hole-freeness is testable in the bounded degree graph model of property testing. In fact we prove our results for a larger class of graphs, namely the class of $C_4$-free odd-signable graphs with bounded degree.
Iterative methods to build LG-matrices and Applications
In this paper we give a recursive algorithm to construct two families of $(0,1)$-matrices, one sparse regular and the other dense. We study various properties of the two families of $(0,1)$-matrices built with our algorithm. We present a new construction of two clases of isodual linear codes, one is the low density generator matrix codes and other is the dense linear codes, for both codes we obtain the polynomial of the distribution of weights, a bound for the minimum distance and we apply to these codes the efficient encoders based on approximate lower triangulations developed by Richardson-Urbanke. We identify the unique $(0,1)$-matrices, up basis change, associated with the geometry of the Lagrangian-Grassmannian variety.
Degree polynomial of vertices in a graph and its behavior under graph operations
Published
• View Publication
• BIB
In this paper, we introduce a new concept namely degree polynomial for vertices of a simple graph. This notion leads to a concept namely degree polynomial sequence which is stronger than the concept of degree sequence. After obtaining the degree polynomial sequence for some well-known graphs, we prove a theorem which gives a necessary condition for realizability of a sequence of polynomials with coefficients in positive integers. Also we calculate the degree polynomial for vertises of join, Cartesian product, tensor product, and lexicographic product of two simple graphs and for vertices of the complement of a simple graph. Some examples, counterexamples, and open problems concerning to this subjects, is given as well
MacMahon's statistics on higher-dimensional partitions
Published
• View Publication
• BIB
We study some combinatorial properties of higher-dimensional partitions which generalize plane partitions. We present a natural bijection between $d$-dimensional partitions and $d$-dimensional arrays of nonnegative integers. This bijection has a number of important applications. We introduce a statistic on $d$-dimensional partitions, called the corner-hook volume, whose generating function has the formula of MacMahon's conjecture. We obtain multivariable formulas whose specializations give analogues of various formulas known for plane partitions. We also introduce higher-dimensional analogues of dual Grothendieck polynomials which are quasisymmetric functions and whose specializations enumerate higher-dimensional partitions of a given shape. Finally, we show probabilistic connections with a directed last passage percolation model in $\mathbb{Z}^d$.
Set Partition Patterns and the Dimension Index
The notion of containment and avoidance provides a natural partial ordering on set partitions. Work of Sagan and of Goyt has led to enumerative results in avoidance classes of set partitions, which were refined by Dahlberg et al. through the use of combinatorial statistics. We continue this work by computing the distribution of the dimension index (a statistic arising from the supercharacter theory of finite groups) across certain avoidance classes of partitions. In doing so we obtain a novel connection between noncrossing partitions and 321-avoiding permutations, as well as connections to many other combinatorial objects such as Motzkin and Fibonacci polynomials.