polynomial
11422 papers tagged with this keyword
Face numbers of Engström representations of matroids
Published
• View Publication
• BIB
A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank.
Generalized Hyperfocused Arcs in $PG(2,p)$
Published
• View Publication
• BIB
A {\em generalized hyperfocused arc} $\mathcal H $ in $PG(2,q)$ is an arc of size $k$ with the property that the $k(k-1)/2$ secants can be blocked by a set of $k-1$ points not belonging to the arc. We show that if $q$ is a prime and $\mathcal H$ is a generalized hyperfocused arc of size $k$, then $k=1,2$ or 4. Interestingly, this problem is also related to the (strong) cylinder conjecture [Ball S.: The polynomial method in Galois geometries, in Current research topics in Galois geometry, Chapter 5, Nova Sci. Publ., New York, (2012) 105-130], as we point out in the last section.
2-Stack Sorting is polynomial
Published
• View Publication
• BIB
In this article, we give a polynomial algorithm to decide whether a given permutation $σ$ is sortable with two stacks in series. This is indeed a longstanding open problem which was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in series are considered, few results are known. There are two main different problems. The first one is the complexity of deciding if a permutation is sortable or not, the second one being the characterization and the enumeration of those sortable permutations. We hereby prove that the first problem lies in P by giving a polynomial algorithm to solve it. This article strongly relies on a previous article in which 2-stack pushall sorting is defined and studied.
On the key exchange with nonlinear polynomial maps of stable degree
Published
• View Publication
• BIB
We say that the sequence $g_n$, $n\ge 3$, $n \rightarrow \infty$ of polynomial transformation bijective maps of free module $K^n$ over commutative ring $K$ is a sequence of stable degree if the order of $g_n$ is growing with $n$ and the degree of each nonidentical polynomial map of kind ${g_n}^k$ is an independent constant $c$. A transformation $b=τ
{g_n}^k τ^{-1}$, where $τ$ is affine bijection, $n$ is large and $k$ is relatively small, can be used as a base of group theoretical Diffie-Hellman key exchange algorithm for the Cremona group $C(K^n)$ of all regular automorphisms of $K^n$. The specific feature of this method is that the order of the base may be unknown for the adversary because of the complexity of its computation. The exchange can be implemented by tools of Computer Algebra (symbolic computations). The adversary can not use the degree of righthandside in $b^x=d$ to evaluate unknown $x$ in this form for the discrete logarithm problem.
In the paper we introduce the explicit constructions of sequences of elements of stable degree for cases $c=3$ for each commutative ring $K$ containing at least 3 regular elements and discuss the implementation of related key exchange and public key algorithms.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
Finite Difference Calculus for Alternating Permutations
Published
• View Publication
• BIB
The finite difference equation system introduced by Christiane Poupard in the study of tangent trees is reinterpreted in the alternating permutation environment. It makes it possible to make a joint study of both tangent and secant trees and calculate the generating polynomial for alternating permutations by a new statistic, referred to as being the greater neighbor of the maximum.
Multivariable Tangent and Secant q-derivative Polynomials
The derivative polynomials introduced by Knuth and Buckholtz in their calculations of the tangent and secant numbers are extended to a multivariable $q$--environment. The $n$-th $q$-derivatives of the classical $q$-tangent and $q$-secant are each given two polynomial expressions.
The first polynomial expression is indexed by triples of integers, the second by compositions of integers.
The functional relation between those two classes is fully given by means of combinatorial techniques. Moreover, those polynomials are proved to be generating functions for so-called $t$-permutations by multivariable statistics. By giving special values to those polynomials we recover classical $q$-polynomials such as the Carlitz $q$-Eulerian polynomials and the $(t,q)$-tangent and -secant analogs recently introduced. They also provide $q$-analogs for the Springer numbers. Finally, the $t$-compositions used in this paper furnish a combinatorial interpretation to one of the Fibonacci triangles.
Higher laminations, webs and N=2 line operators
A detailed study of half-BPS line operators of higher rank 4d N=2 theory engineered from six dimensional A_{N-1} (2,0) theory on a bordered Riemann surface with full marked points is performed. Geometrically, each 4d UV line operator is represented by an irreducible bipartite web formed by three junctions on Riemann surface, and such web structure is called higher lamination. Algebraically, the space of UV line operators is identified with the integral tropical a coordinates of the corresponding PGL(N,C) local system, and the space of IR line operator is identified with the cluster X coordinates of SL(N.C) local system. The expectation value of UV line operator at Coulomb branch parameterized by X coordinates is calculated, and the result is a positive Laurent polynomial in X. Using the expectation values, we calculate the operator product expansion (OPE) between the line operators, which is then represented geometrically by higher rank Skein relations. We also calculate the Poisson brackets of these line operators, and Frenchel-Nielson type coordinates are constructed for Higher Teichmuller space, etc.
Hall-Littlewood polynomials and characters of affine Lie algebras
Published in Advances in Mathematics 285 (2015), 1066-1105
• View Publication
• BIB
The Weyl-Kac character formula gives a beautiful closed-form expression for the characters of integrable highest-weight modules of Kac-Moody algebras. It is not, however, a formula that is combinatorial in nature, obscuring positivity. In this paper we show that the theory of Hall-Littlewood polynomials may be employed to prove Littlewood-type combinatorial formulas for the characters of certain highest weight modules of the affine Lie algebras C_n^{(1)}, A_{2n}^{(2)} and D_{n+1}^{(2)}. Through specialisation this yields generalisations for B_n^{(1)}, C_n^{(1)}, A_{2n-1}^{(2)}, A_{2n}^{(2)} and D_{n+1}^{(2)} of Macdonald's identities for powers of the Dedekind eta-function. These generalised eta-function identities include the Rogers-Ramanujan, Andrews-Gordon and Göllnitz-Gordon q-series as special, low-rank cases.
Free Convolution Operators and Free Hall Transform
Published in J.Funct.Anal. 265 (2013) 2645-2708
• View Publication
• BIB
We define an extension of the polynomial calculus on a W*-probability space by introducing an abstract algebra which contains polynomials. This extension allows us to define transition operators for additive and multiplicative free convolution. It also permits us to characterize the free Segal-Bargmann transform and the free Hall transform introduced by Biane, in a manner which is closer to classical definitions. Finally, we use this extension of polynomial calculus to prove two asymptotic results on random matrices: the convergence for each fixed time, as N tends to infinity, of the *-distribution of the Brownian motion on the linear group GL_N(C) to the *-distribution of a free multiplicative circular Brownian motion, and the convergence of the classical Hall transform on U(N) to the free Hall transform.
Concentration inequalities for non-Lipschitz functions with bounded derivatives of higher order
Published
• View Publication
• BIB
Building on the inequalities for homogeneous tetrahedral polynomials in independent Gaussian variables due to R. Latała we provide a concentration inequality for non-necessarily Lipschitz functions $f\colon \R^n \to \R$ with bounded derivatives of higher orders, which hold when the underlying measure satisfies a family of Sobolev type inequalities $\|g- \E g\|_p \le C(p)\|\nabla g\|_p.$
Such Sobolev type inequalities hold, e.g., if the underlying measure satisfies the log-Sobolev inequality (in which case $C(p) \le C\sqrt{p}$) or the Poincaré inequality (then $C(p) \le Cp$). Our concentration estimates are expressed in terms of tensor-product norms of the derivatives of $f$.
When the underlying measure is Gaussian and $f$ is a polynomial (non-necessarily tetrahedral or homogeneous), our estimates can be reversed (up to a constant depending only on the degree of the polynomial). We also show that for polynomial functions, analogous estimates hold for arbitrary random vectors with independent sub-Gaussian coordinates.
We apply our inequalities to general additive functionals of random vectors (in particular linear eigenvalue statistics of random matrices) and the problem of counting cycles of fixed length in Erdős-R{é}nyi random graphs, obtaining new estimates, optimal in a certain range of parameters.
A combinatorial analysis of Severi degrees
Published
• View Publication
• BIB
Based on results by Brugallé and Mikhalkin, Fomin and Mikhalkin give formulas for computing classical Severi degrees $N^{d, δ}$ using long-edge graphs. In 2012, Block, Colley and Kennedy considered the logarithmic version of a special function associated to long-edge graphs appeared in Fomin-Mikhalkin's formula, and conjectured it to be linear. They have since proved their conjecture. At the same time, motivated by their conjecture, we consider a special multivariate function associated to long-edge graphs that generalizes their function. The main result of this paper is that the multivariate function we define is always linear. A special case of our result gives an independent proof of Block-Colley-Kennedy's conjecture.
The first application of our linearity result is that by applying it to classical Severi degrees, we recover quadraticity of $Q^{d, δ}$ and a bound $δ$ for the threshold of polynomiality of $N^{d, δ}.$ Next, in joint work with Osserman, we apply the linearity result to a special family of toric surfaces and obtain universal polynomial results having connections to the Göttsche-Yau-Zaslow formula. As a result, we provide combinatorial formulas for the two unidentified power series $B_1(q)$ and $B_2(q)$ appearing in the Göttsche-Yau-Zaslow formula.
The proof of our linearity result is completely combinatorial. We define $τ$-graphs which generalize long-edge graphs, and a closely related family of combinatorial objects we call $(τ, n)$-words. By introducing height functions and a concept of irreducibility, we describe ways to decompose certain families of $(τ, n)$-words into irreducible words, which leads to the desired results.
Alternating knots, planar graphs and q-series
Published
• View Publication
• BIB
Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties. We give an efficient method to compute those $q$-series that come from planar graphs (i.e., reduced Tait graphs of alternating links) and compute several terms of those series for all graphs with at most 8 edges drawing several conclusions. In addition, we give a graph-theory proof of a theorem of Dasbach-Lin which identifies the coefficient of $q^k$ in those series for $k=0,1,2$ in terms of polynomials on the number of vertices, edges and triangles of the graph. Updated tables of data.
Finding Primitive Elements in Finite Fields of Small Characteristic
Published
• View Publication
• BIB
We describe a deterministic algorithm for finding a generating element of the multiplicative group of the finite field $\mathbb{F}_{p^n}$ where $p$ is a prime. In time polynomial in $p$ and $n$, the algorithm either outputs an element that is provably a generator or declares that it has failed in finding one. The algorithm relies on a relation generation technique in Joux's heuristically $L(1/4)$-method for discrete logarithm computation. Based on a heuristic assumption, the algorithm does succeed in finding a generator. For the special case when the order of $p$ in $(\mathbb{Z}/n\mathbb{Z})^\times$ is small (that is $(\log_p(n))^{\mathcal{O}(1)}$), we present a modification with greater guarantee of success while making weaker heuristic assumptions.
Robust Toric Ideals
Published
• View Publication
• BIB
We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gröbner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We close with a discussion of robustness of higher Betti numbers.
Amalgam width of matroids
Published
• View Publication
• BIB
We introduce a new matroid width parameter based on the operation of matroid amalgamation, which we call amalgam-width. The parameter is linearly related to branch-width on finitely representable matroids (which is not possible for branch-width). In particular, any property expressible in the monadic second order logic can be decided in linear time for matroids with bounded amalgam-width. We also prove that the Tutte polynomial can be computed in polynomial time for matroids with bounded amalgam width.
Combinatorial Proof of the Inversion Formula on the Kazhdan-Lusztig R-Polynomials
Published
• View Publication
• BIB
Let $W$ be a Coxeter group, and for $u,v\in W$, let $R_{u,v}(q)$ be the Kazhdan-Lusztig $R$-polynomial indexed by $u$ and $v$. In this paper, we present a combinatorial proof of the inversion formula on $R$-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the $R$-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of $V$-paths. By a $V$-path from $u$ to $v$ with bottom $w$ we mean a pair $(Δ_1,Δ_2)$ of Bruhat paths such that $Δ_1$ is a decreasing path from $u$ to $w$ and $Δ_2$ is an increasing path from $w$ to $v$. We find a reflection principle on $V$-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to $V$-paths from $u$ to $v$ with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval $[u,v]$ has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.
Enumerating maximal tatami mat coverings of square grids with $v$ vertical dominoes
We enumerate a certain class of monomino-domino coverings of square grids, which conform to the \emph{tatami} restriction; no four tiles meet. Let $\mathbf T_{n}$ be the set of monomino-domino tatami coverings of the $n\times n$ grid with the maximum number, $n$, of monominoes, oriented so that they have a monomino in each of the top left and top right corners. We give an algorithm for exhaustively generating the coverings in $\mathbf T_{n}$ with exactly $v$ vertical dominoes in constant amortized time, and an explicit formula for counting them. The polynomial that generates these counts has the factorisation {align*} P_n(z)\prod_{j\ge 1} S_{\lfloor \frac{n-2}{2^j} \rfloor}(z), {align*} where $S_n(z) = \prod_{i=1}^{n} (1 + z^i)$, and $P_n(z)$ is an irreducible polynomial, at least for ${1 < n < 200}$. We present some compelling properties and conjectures about $P_n(z)$. For example $P_n(1) = n2^{ν(n-2)-1}$ for all $n \ge 2$, where $ν(n)$ is the number of 1s in the binary representation of $n$ and deg$(P_n(z)) = \sum_{k=1}^{n-2} Od(k)$, where $Od(k)$ is the largest odd divisor of $k$.
Tower tableaux and Schubert polynomials
We prove that the well-known condition of being a balanced labeling can be characterized in terms of the sliding algorithm on tower diagrams. The characterization involves a generalization of authors' Rothification algorithm. Using the characterization, we obtain descriptions of Schubert polynomials and Stanley symmetric functions.
On relative $t$-designs in polynomial association schemes
Published in Electron. J. Combin. 22 (2015) #P4.47
• View Publication
• BIB
Motivated by the similarities between the theory of spherical $t$-designs and that of $t$-designs in $Q$-polynomial association schemes, we study two versions of relative $t$-designs, the counterparts of Euclidean $t$-designs for $P$- and/or $Q$-polynomial association schemes. We develop the theory based on the Terwilliger algebra, which is a noncommutative associative semisimple $\mathbb{C}$-algebra associated with each vertex of an association scheme. We compute explicitly the Fisher type lower bounds on the sizes of relative $t$-designs, assuming that certain irreducible modules behave nicely. The two versions of relative $t$-designs turn out to be equivalent in the case of the Hamming schemes. From this point of view, we establish a new algebraic characterization of the Hamming schemes.