polynomial
11250 papers tagged with this keyword
A group commutator involving the last distance matrix and dual distance matrix of a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote the Hamming graph $H(D,r)$ with $r \geq 3$. Consider the distance matrices $\{A_i\}_{i=0}^{D}$ of $Γ$. Fix a vertex $x$ of $Γ$, and consider the dual distance matrices $\{A_i^{*}\}_{i=0}^{D}$ of $Γ$ with respect to $x$. We investigate the group commutator $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$. We show that this matrix is diagonalizable. We compute its eigenvalues and their eigenspaces. Let $T$ denote the subconstituent algebra of $Γ$ with respect to $x$. We describe the action of $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$ on each irreducible $T$-module.
An operator that relates to semi-meander polynomials via a two-sided q-Wick formula
Published in Indiana University Mathematics Journal 69 (2020), 2089-2127
• View Publication
• BIB
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More generally, we consider a two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting meandric system"; the second variable of $Q_n (t,u)$ keeps track of the crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the original semi-meander polynomial $Q_n (t)$). We prove that for a fixed natural number $d$ and a fixed real number $q$ with $|q| < 1$, the sequence $( Q_n (d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_{d:q}$ on the real line. The measure $ν_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$ constructed by using left and right creation/annihilation operators on a $q$-deformation of the full Fock space introduced by Bozejko and Speicher. The relevant calculations of moments for $T_{d;q}$ are made by using a two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.
An Elementary Dyadic Riemann Hypothesis
The connection zeta function of a finite abstract simplicial complex G is defined as zeta_L(s)=sum_x 1/lambda_x^s, where lambda_x are the eigenvalues of the connection Laplacian L defined by L(x,y)=1 if x and y intersect and 0 else. (I) As a consequence of the spectral formula chi(G)=sum_x (-1)^dim(x) = p(G)-n(G), where p(G) is the number of positive eigenvalues and n(G) is the number of negative eigenvalues of L, both the Euler characteristic chi(G)=zeta(0)-2 i zeta'(0)/pi as well as determinant det(L)=e^zeta'(0)/pi can be written in terms of zeta. (II) As a consequence of the generalized Cauchy-Binet formula for the coefficients of the characteristic polynomials of a product of matrices we show that for every one-dimensional simplicial complex G, the functional equation zeta(s)=zeta(-s) holds, where zeta(s) is the Zeta function of the positive definite squared connection operator L^2 of G. Equivalently, the spectrum sigma of the integer matrix L^2 for a 1-dimensional complex always satisfies the symmetry sigma = 1/sigma and the characteristic polynomial of L^2 is palindromic. The functional equation extends to products of one-dimensional complexes. (III) Explicit expressions for the spectrum of circular connection Laplacian lead to an explicit entire zeta function in the Barycentric limit. The situation is simpler than in the Hodge Laplacian H=D^2 case where no functional equation was available. In the connection Laplacian case, the limiting zeta function is a generalized hypergeometric function which for an integer s is given by an elliptic integral over the real elliptic curve w^2=(1+z)(1-z)(z^2-4z-1), which has the analytic involutive symmetry (z,w) to (1/z,w/z^2).
Efficient arithmetic regularity and removal lemmas for induced bipartite patterns
Published in Discrete Analysis 2019:3, 14 pp
• View Publication
• BIB
Let $G$ be an abelian group of bounded exponent and $A \subseteq G$. We show that if the collection of translates of $A$ has VC dimension at most $d$, then for every $ε>0$ there is a subgroup $H$ of $G$ of index at most $ε^{-d-o(1)}$ such that one can add or delete at most $ε|G|$ elements to/from $A$ to make it a union of $H$-cosets.
We also establish a removal lemma with polynomial bounds, with applications to property testing, for induced bipartite patterns in a finite abelian group with bounded exponent.
Inclusion-exclusion by ordering-free cancellation
Published
• View Publication
• BIB
Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the prescribed (linear or partial) ordering on the index set. We give a new cancellation method, which does not require any ordering on the index set. Our method extends all the `ordering-based' methods known in the literatures and in general reduces more terms. As examples, we use our method to improve some relevant results on graph polynomials.
Mixing Time for Square Tilings
We consider tilings of $\mathbb{Z}^2$ by two types of squares. We are interested in the rate of convergence to the stationarity of a natural Markov chain defined for square tilings. The rate of convergence can be represented by the mixing time which measures the amount of time it takes the chain to be close to its stationary distribution. We prove polynomial mixing time for $n \times \log n $ regions in the case of tilings by $1 \times 1$ and $s \times s$ squares. We also consider a weighted Markov chain with weights $λ$ being put on big squares. We show rapid mixing of $O(n^4 \log n)$ with conditions on $λ$. We provide simulations that suggest different conjectures, one of which is the existence of frozen regions in random tilings by squares.
Properties of non-symmetric Macdonald polynomials at $q=1$ and $q=0$
Published in Annals of Combinatorics, 23, No.2, 219--239 (2019)
• View Publication
• BIB
We examine the non-symmetric Macdonald polynomials $E_λ(x;q,t)$ at $q=1$, as well as the more general permuted-basement Macdonald polynomials. When $q=1$, we show that $E_λ(x;1,t)$ is symmetric and independent of $t$ whenever $λ$ is a partition. Furthermore, we show that for general $λ$, this expression factors into a symmetric and a non-symmetric part, where the symmetric part is independent of $t$, while the non-symmetric part only depends on the relative order of the entries in $λ$.
We also examine the case $q=0$, which give rise to so called permuted-basement $t$-atoms. We prove expansion-properties of these, and as a corollary, prove that Demazure characters (key polynomials) expand positively into permuted-basement atoms. This complements the result that permuted-basement atoms are atom-positive. Finally, we show that a product of a permuted-basement atom and a Schur polynomial is again positive in the same permuted-basement atom basis, and thus interpolates between two results by Haglund, Luoto, Mason and van Willigenburg.
The common theme in this project is the application of basement-permuting operators as well as combinatorics on fillings, by applying results in a previous article by the first author.
Not-All-Equal and 1-in-Degree Decompositions: Algorithmic Complexity and Applications
Published
• View Publication
• BIB
A Not-All-Equal (NAE) decomposition of a graph $G$ is a decomposition of the vertices of $G$ into two parts such that each vertex in $G$ has at least one neighbor in each part. Also, a 1-in-Degree decomposition of a graph $G$ is a decomposition of the vertices of $G$ into two parts $A$ and $B$ such that each vertex in the graph $G$ has exactly one neighbor in part $A$. Among our results, we show that for a given graph $G$, if $G$ does not have any cycle of length congruent to 2 mod 4, then there is a polynomial time algorithm to decide whether $G$ has a 1-in-Degree decomposition. In sharp contrast, we prove that for every $r$, $r\geq 3$, for a given $r$-regular bipartite graph $G$ determining whether $G$ has a 1-in-Degree decomposition is $ \mathbf{NP} $-complete. These complexity results have been especially useful in proving $ \mathbf{NP} $-completeness of various graph related problems for restricted classes of graphs. In consequence of these results we show that for a given bipartite 3-regular graph $G$ determining whether there is a vector in the null-space of the 0,1-adjacency matrix of $G$ such that its entries belong to $\{\pm 1,\pm 2\}$ is $\mathbf{NP} $-complete. Among other results, we introduce a new version of {Planar 1-in-3 SAT} and we prove that this version is also $ \mathbf{NP} $-complete. In consequence of this result, we show that for a given planar $(3,4)$-semiregular graph $G$ determining whether there is a vector in the null-space of the 0,1-incidence matrix of $G$ such that its entries belong to $\{\pm 1,\pm 2\}$ is $\mathbf{NP} $-complete.
Configurations of points with sum 0
We compute the virtual Poincaré polynomials of the configuration space of $n$ ordered points on an elliptic curve with sum 0.
Configuration spaces of $\mathbb{C} \setminus k$
In this note, we collect mostly known formulas and methods to compute the standard and virtual Poincaré polynomials of the configuration spaces of the plane $\mathbb{C} \setminus k$ with $k$ deleted points and compare the answers.
Closed formulas for exponential sums of symmetric polynomials over Galois fields
Published in Journal Algebraic Combinatorics 50(1) (2019) 73-98
• View Publication
• BIB
Exponential sums have applications to a variety of scientific fields, including, but not limited to, cryptography, coding theory and information theory. Closed formulas for exponential sums of symmetric Boolean functions were found by Cai, Green and Thierauf in the late 1990's. Their closed formulas imply that these exponential sums are linear recursive. The linear recursivity of these sums has been exploited in numerous papers and has been used to compute the asymptotic behavior of such sequences. In this article, we extend the result of Cai, Green and Thierauf, that is, we find closed formulas for exponential sums of symmetric polynomials over any Galois fields. Our result also implies that the recursive nature of these sequences is not unique to the binary field, as they are also linear recursive over any finite field. In fact, we provide explicit linear recurrences with integer coefficients for such sequences. As a byproduct of our results, we discover a link between exponential sums of symmetric polynomials over Galois fields and a problem for multinomial coefficients which similar to the problem of bisecting binomial coefficients.
On the roots of Wiener polynomials of graphs
Published
• View Publication
• BIB
The Wiener polynomial of a connected graph $G$ is defined as $W(G;x)=\sum x^{d(u,v)}$, where $d(u,v)$ denotes the distance between $u$ and $v$, and the sum is taken over all unordered pairs of distinct vertices of $G$. We examine the nature and location of the roots of Wiener polynomials of graphs, and in particular trees. We show that while the maximum modulus among all roots of Wiener polynomials of graphs of order $n$ is $\binom{n}{2}-1$, the maximum modulus among all roots of Wiener polynomials of trees of order $n$ grows linearly in $n$. We prove that the closure of the collection of real roots of Wiener polynomials of all graphs is precisely $(-\infty, 0]$, while in the case of trees, it contains $(-\infty, -1]$. Finally, we demonstrate that the imaginary parts and (positive) real parts of roots of Wiener polynomials can be arbitrarily large.
A tractable class of binary VCSPs via M-convex intersection
Published in ACM Transactions on Algorithms 15(3) Article no. 44 (2019)
• View Publication
• BIB
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable case is the one induced by the joint winner property (JWP). Recently, Iwamasa, Murota, and Živný made a link between VCSP and discrete convex analysis, showing that a function satisfying the JWP can be transformed into a function represented as the sum of two quadratic M-convex functions, which can be minimized in polynomial time via an M-convex intersection algorithm if the value oracle of each M-convex function is given. In this paper, we give an algorithmic answer to a natural question: What binary finite-valued CSP instances can be represented as the sum of two quadratic M-convex functions and can be solved in polynomial time via an M-convex intersection algorithm? We solve this problem by devising a polynomial-time algorithm for obtaining a concrete form of the representation in the representable case. Our result presents a larger tractable class of binary finite-valued CSPs, which properly contains the JWP class.
Perfect graphs with polynomially computable kernels
Published
• View Publication
• BIB
In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a perfect graph. However, an open question is the complexity status of the computation of a kernel in such a digraph. Our main contribution is to prove new polynomiality results for subfamilies of perfect graphs, among which are claw-free perfect graphs and chordal graphs. Our results are based on the design of kernel computation methods with respect to two graph operations: clique-cutset decomposition and augmentation of flat edges. We also prove that deciding the existence of a kernel - and computing it if it exists - is polynomial in every orientation of a chordal or a circular-arc graph, even not clique-acyclic.
An application of the partial r-Bell polynomials on some family of bivariate polynomials
The aim of this paper is to give some combinatorial relations linked polynomials generalizing those of Appell type to the partial r-Bell polynomials. We give an inverse relation, recurrence relations involving some family of polynomials and their exact expressions at rational values in terms of the partial r-Bell polynomials. We illustrate the obtained results by various comprehensive examples.
A family of multigraphs with large palette index
Published
• View Publication
• BIB
Given a proper edge-coloring of a loopless multigraph, the palette of a vertex is defined as the set of colors of the edges which are incident with it. The palette index of a multigraph is defined as the minimum number of distinct palettes occurring among the vertices, taken over all proper edge-colorings of the multigraph itself. In this framework, the palette multigraph of an edge-colored multigraph is defined in this paper and some of its properties are investigated. We show that these properties can be applied in a natural way in order to produce the first known family of multigraphs whose palette index is expressed in terms of the maximum degree by a quadratic polynomial. We also attempt an analysis of our result in connection with some related questions.
On a class of polynomials connected to Bell polynomials
In this paper, we study a class of sequences of polynomials linked to the sequence of Bell polynomials. Some sequences of this class have applications on the theory of hyperbolic differential equations and other sequences generalize Laguerre polynomials and associated Lah polynomials. We discuss, for these polynomials, their explicit expressions, relations to the successive derivatives of a given function, real zeros and recurrence relations. Some known results are significantly simplified.
Eigenvalues of random lifts and polynomials of random permutation matrices
Published in Annals of Mathematics 190 (2019), no. 3, 811-75
• View Publication
• BIB
Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method.
As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.
Structure of the flow and Yamada polynomials of cubic graphs
We establish a quadratic identity for the Yamada polynomial of ribbon cubic graphs in 3-space, extending the Tutte golden identity for planar cubic graphs. An application is given to the structure of the flow polynomial of cubic graphs at zero. The golden identity for the flow polynomial is conjectured to characterize planarity of cubic graphs, and we prove this conjecture for a certain infinite family of non-planar graphs.
Further, we establish exponential growth of the number of chromatic polynomials of planar triangulations, answering a question of D. Treumann and E. Zaslow. The structure underlying these results is the chromatic algebra, and more generally the SO(3) topological quantum field theory.
Coefficients of Gaussian Polynomials Modulo $N$
Published
• View Publication
• BIB
The $q$-analogue of the binomial coefficient, known as a $q$-binomial coefficient, is typically denoted $\left[{n \atop k}\right]_q$. These polynomials are important combinatorial objects, often appearing in generating functions related to permutations and in representation theory. Stanley conjectured that the function $f_{k,R}(n) = \#\left\{i : [q^{i}] \left[{n \atop k}\right]_q \equiv R \pmod{N}\right\}$ is quasipolynomial for $N=2$. We generalize, showing that this is in fact true for any integer $N\in \mathbb{N}$ and determine a quasi-period $π'_N(k)$ derived from the minimal period $π_N(k)$ of partitions with at most $k$ parts modulo $N$.