polynomial
11257 papers tagged with this keyword
On the theta number of powers of cycle graphs
Published
• View Publication
• BIB
We give a closed formula for Lovasz theta number of the powers of cycle graphs and of their complements, the circular complete graphs. As a consequence, we establish that the circular chromatic number of a circular perfect graph is computable in polynomial time. We also derive an asymptotic estimate for this theta number.
On the relation between quantum walks and zeta functions
Published in Quantum Information Processing, Vol.11, No.2, pp.341-349 (2012)
• View Publication
• BIB
We present an explicit formula for the characteristic polynomial of the transition matrix of the discrete-time quantum walk on a graph via the second weighted zeta function. As applications, we obtain new proofs for the results on spectra of the transition matrix and its positive support.
Binary Cumulant Varieties
Published
• View Publication
• BIB
Algebraic statistics for binary random variables is concerned with highly structured algebraic varieties in the space of 2x2x...x2-tensors. We demonstrate the advantages of representing such varieties in the coordinate system of binary cumulants. Our primary focus lies on hidden subset models. Parametrizations and implicit equations in cumulants are derived for hyperdeterminants, for secant and tangential varieties of Segre varieties, and for certain context-specific independence models. Extending work of Rota and collaborators, we explore the polynomial inequalities satisfied by cumulants.
The Möbius function of the consecutive pattern poset
Published
• View Publication
• BIB
An occurrence of a consecutive permutation pattern $p$ in a permutation $π$ is a segment of consecutive letters of $π$ whose values appear in the same order of size as the letters in $p$. The set of all permutations forms a poset with respect to such pattern containment. We compute the Möbius function of intervals in this poset, providing what may be called a complete solution to the problem. For most intervals our results give an immediate answer to the question. In the remaining cases, we give a polynomial time algorithm to compute the Möbius function. In particular, we show that the Möbius function only takes the values -1, 0 and 1.
On Volumes of Permutation Polytopes
Published
• View Publication
• BIB
This paper focuses on determining the volumes of permutation polytopes associated to cyclic groups, dihedral groups, groups of automorphisms of tree graphs, and Frobenius groups. We do this through the use of triangulations and the calculation of Ehrhart polynomials. We also present results on the theta body hierarchy of various permutation polytopes.
Simple Proofs of Classical Theorems in Discrete Geometry via the Guth--Katz Polynomial Partitioning Technique
Published
• View Publication
• BIB
Recently Guth and Katz \cite{GK2} invented, as a step in their nearly complete solution of Erdős's distinct distances problem, a new method for partitioning finite point sets in $\R^d$, based on the Stone--Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemerédi--Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach--Sharir bound on the number of incidences with algebraic curves of bounded degree.
Block Companion Singer Cycles, Primitive Recursive Vector Sequences, and Coprime Polynomial Pairs over Finite Fields
Published in Finite Fields Appl. 17 (2011), no. 5, 461-472
• View Publication
• BIB
We discuss a conjecture concerning the enumeration of nonsingular matrices over a finite field that are block companion and whose order is the maximum possible in the corresponding general linear group. A special case is proved using some recent results on the probability that a pair of polynomials with coefficients in a finite field is coprime. Connection with an older problem of Niederreiter about the number of splitting subspaces of a given dimension are outlined and an asymptotic version of the conjectural formula is established. Some applications to the enumeration of nonsingular Toeplitz matrices of a given size over a finite field are also discussed.
Note on cubature formulae and designs obtained from group orbits
Published in Can. J. Math.-J. Can. Math. 64 (2012) 1359-1377
• View Publication
• BIB
In 1960, Sobolev proved that for a finite reflection group G, a G-invariant cubature formula is of degree t if and only if it is exact for all G-invariant polynomials of degree at most t. In this paper, we find some observations on invariant cubature formulas and Euclidean designs in connection with the Sobolev theorem. First, we give an alternative proof of theorems by Xu (1998) on necessary and sufficient conditions for the existence of cubature formulas with some strong symmetry. The new proof is shorter and simpler compared to the original one by Xu, and moreover gives a general interpretation of the analytically-written conditions of Xu's theorems. Second, we extend a theorem by Neumaier and Seidel (1988) on Euclidean designs to invariant Euclidean designs, and thereby classify tight Euclidean designs obtained from unions of the orbits of the corner vectors. This result generalizes a theorem of Bajnok (2007) which classifies tight Euclidean designs invariant under the Weyl group of type B to other finite reflection groups.
Spin Kostka polynomials
Published in Journal of Algebraic Combinatorics 37(2013), 117-138
• View Publication
• BIB
We introduce a spin analogue of Kostka polynomials and show that these polynomials enjoy favorable properties parallel to the Kostka polynomials. Further connections of spin Kostka polynomials with representation theory are established.
On certain arithmetic properties of Stern polynomials
Published
• View Publication
• BIB
We prove several theorems concerning arithmetic properties of Stern polynomials defined in the following way: $B_{0}(t)=0, B_{1}(t)=1, B_{2n}(t)=tB_{n}(t)$, and $B_{2n+1}(t)=B_{n}(t)+B_{n+1}(t)$. We study also the sequence $e(n)=\op{deg}_{t}B_{n}(t)$ and give various of its properties.
Arithmetic properties of the sequence of degrees of Stern polynomials and related results
Published
• View Publication
• BIB
Let $B_{n}(t)$ be a $n$-th Stern polynomial and let $e(n)=\op{deg}B_{n}(t)$ be its degree. In this note we continue our study started in \cite{Ul} of the arithmetic properties of the sequence of Stern polynomials and the sequence $\{e(n)\}_{n=1}^{\infty}$. We also study the sequence $d(n)=\op{ord}_{t=0}B_{n}(t)$. Among other things we prove that $d(n)=ν(n)$, where $ν(n)$ is the maximal power of 2 which dividies the number $n$. We also count the number of the solutions of the equations $e(m)=i$ and $e(m)-d(m)=i$ in the interval $[1,2^{n}]$. We also obtain an interesting closed expression for a certain sum involving Stern polynomials.
Ehrhart series for Connected Simple Graphs
Published
• View Publication
• BIB
The Ehrhart ring of the edge polytope $\mathcal{P}_G$ for a connected simple graph $G$ is known to coincide with the edge ring of the same graph if $G$ satisfies the odd cycle condition. This paper gives for a graph which does not satisfy the condition, a generating set of the defining ideal of the Ehrhart ring of the edge polytope, described by combinatorial information of the graph. From this result, two factoring properties of the Ehrhart series are obtained; the first one factors out bipartite biconnected components, and the second one factors out a even cycle which shares only one edge with other part of the graph. As an application of the factoring properties, the root distribution of Ehrhart polynomials for bipartite polygon trees is determined.
A Markov chain on the symmetric group which is Schubert positive?
Published
• View Publication
• BIB
We study a multivariate Markov chain on the symmetric group with remarkable enumerative properties. We conjecture that the stationary distribution of this Markov chain can be expressed in terms of positive sums of Schubert polynomials.
This Markov chain is a multivariate generalization of a Markov chain introduced by the first author in the study of random affine Weyl group elements.
Some combinatorial aspects of quantum field theory
Published in Seminaire Lotharingien de Combinatoire, B65g (2012)
• Search Publication
In this short survey we present the appearance of some combinatorial notions in quantum field theory. We first focus on topological graph polynomials (the Tutte polynomial and its multivariate version) and their relation with the parametric representation of the commutative $Φ^4$ field theory. We then generalize this to ribbon graphs and present the relation of the Bollobás-Riordan polynomial with the parametric representation of some $Φ^4$ field theory on the non-commutative Moyal space. We also review the rôle played by the Connes-Kreimer Hopf algebra as the combinatorial backbone of the renormalization process in field theories. We then show how this generalizes to the scalar $Φ^4$ field theory implemented on the non-commutative Moyal space. Finally, some perspectives for the further generalization of these tools to quantum gravity tensor models are briefly sketched.
Algebraic Decoding of Negacyclic Codes Over Z_4
Published
• View Publication
• BIB
In this article we investigate Berlekamp's negacyclic codes and discover that these codes, when considered over the integers modulo 4, do not suffer any of the restrictions on the minimum distance observed in Berlekamp's original papers. The codes considered here have minimim Lee distance at least 2t+1, where the generator polynomial of the code has roots z,z^3,...,z^{2t+1} for a primitive 2nth root of unity z in a Galois extension of Z4. No restriction on t is imposed. We present an algebraic decoding algorithm for this class of codes that corrects any error pattern of Lee weight at most t. Our treatment uses Grobner bases and the decoding complexity is quadratic in t.
Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width
Published in Electron. J. Combin. 21(4): #P4.19 (26 pp.), 2014
• View Publication
• BIB
Motivated by the `subgraphs world' view of the ferromagnetic Ising model, we develop a general approach to studying mixing times of Glauber dynamics based on subset expansion expressions for a class of graph polynomials. With a canonical paths argument, we demonstrate that the chains defined within this framework mix rapidly upon graphs of bounded tree-width. This extends known results on rapid mixing for the Tutte polynomial, the adjacency-rank ($R_2$-)polynomial and the interlace polynomial.
Log concavity of $(1+x)^m (1+ x^k)$
Let $m$ and $k \geq 2$ be positive integers. We show that polynomial $P = (1+x)^m(1+x^k)$ is strongly unimodal (frequently known as {\it log concave\/}) if and only if $m \geq k^2 -3$; this is also the criterion for $P$ to be merely unimodal (that is, for $P$ of this form, unimodality implies strong unimodality).{ }In section 2, we investigate an analogous question, concerning the property $\EE$ of functions $f$ analytic on a neighbourhood of the unit circle [H2], and show that the corresponding minimal $m$ is rather surprisingly of order $k^4$.
Polynomials for Crystal Frameworks and the Rigid Unit Mode Spectrum
Published
• View Publication
• BIB
To each discrete translationally periodic bar-joint framework $\C$ in $\bR^d$ we associate a matrix-valued function $Φ_\C(z)$ defined on the d-torus. The rigid unit mode spectrum $Ω(\C)$ of $\C$ is defined in terms of the multi-phases of phase-periodic infinitesimal flexes and is shown to correspond to the singular points of the function $z \to \rank Φ_\C(z)$ and also to the set of wave vectors of harmonic excitations which have vanishing energy in the long wavelength limit. To a crystal framework in Maxwell counting equilibrium, which corresponds to $Φ_\C(z)$ being square, the determinant of $Φ_\C(z)$ gives rise to a unique multi-variable polynomial $p_\C(z_1,\dots,z_d)$. For ideal zeolites the algebraic variety of zeros of $p_\C(z)$ on the d-torus coincides with the RUM spectrum. The matrix function is related to other aspects of idealised framework rigidity and flexibility and in particular leads to an explicit formula for the number of supercell-periodic floppy modes. In the case of certain zeolite frameworks in dimensions 2 and 3 direct proofs are given to show the maximal floppy mode property (order $N$). In particular this is the case for the cubic symmetry sodalite framework and some other idealised zeolites.
A Constant Factor Approximation Algorithm for Boxicity of Circular Arc Graphs
Published
• View Publication
• BIB
Boxicity of a graph $G(V,E)$ is the minimum integer $k$ such that $G$ can be represented as the intersection graph of $k$-dimensional axis parallel rectangles in $\mathbf{R}^k$. Equivalently, it is the minimum number of interval graphs on the vertex set $V$ such that the intersection of their edge sets is $E$. It is known that boxicity cannot be approximated even for graph classes like bipartite, co-bipartite and split graphs below $O(n^{0.5 - ε})$-factor, for any $ε>0$ in polynomial time unless $NP=ZPP$. Till date, there is no well known graph class of unbounded boxicity for which even an $n^ε$-factor approximation algorithm for computing boxicity is known, for any $ε<1$. In this paper, we study the boxicity problem on Circular Arc graphs - intersection graphs of arcs of a circle. We give a $(2+\frac{1}{k})$-factor polynomial time approximation algorithm for computing the boxicity of any circular arc graph along with a corresponding box representation, where $k \ge 1$ is its boxicity. For Normal Circular Arc(NCA) graphs, with an NCA model given, this can be improved to an additive 2-factor approximation algorithm. The time complexity of the algorithms to approximately compute the boxicity is $O(mn+n^2)$ in both these cases and in $O(mn+kn^2)= O(n^3)$ time we also get their corresponding box representations, where $n$ is the number of vertices of the graph and $m$ is its number of edges. The additive 2-factor algorithm directly works for any Proper Circular Arc graph, since computing an NCA model for it can be done in polynomial time.
Non-orientable quasi-trees for the Bollobas-Riordan polynomial
Published in Europ. J. Comb., 32:510-532, 2011
• View Publication
• BIB
We extend the quasi-tree expansion of A. Champanerkar, I. Kofman, and N. Stoltzfus to not necessarily orientable ribbon graphs. We study the duality properties of the Bollobas-Riordan polynomial in terms of this expansion. As a corollary, we get a "connected state" expansion of the Kauffman bracket of virtual link diagrams. Our proofs use extensively the partial duality of S. Chmutov.