polynomial
11422 papers tagged with this keyword
Weingarten calculus via orthogonality relations: new applications
Published in ALEA, Lat. Am. J. Probab. Math. Stat. 14 (2017), no. 1, 631-656
• View Publication
• BIB
Weingarten calculus is a completely general and explicit method to compute the moments of the Haar measure on compact subgroups of matrix algebras. Particular cases of this calculus were initiated by theoretical physicists -- including Weingarten, after whom this calculus was coined by the first author, after investigating it systematically. Substantial progress was achieved subsequently by the second author and coworkers, based on representation theoretic and combinatorial techniques. All formulas of `Weingarten calculus' are in the spirit of Weingarten's seminal paper [W78]. However, modern proofs are very different from Weingarten's initial ideas. In this paper, we revisit Weingarten's initial proof and we illustrate its power by uncovering two new important applications: (i) a uniform bound on the Weingarten function, that subsumes existing uniform bounds, and is optimal up to a polynomial factor, and (ii) an extension of Weingarten calculus to symmetric spaces and conceptual proofs of identities established by the second author.
The flip Markov chain for connected regular graphs
Published
• View Publication
• BIB
Mahlmann and Schindelhauer (2005) defined a Markov chain which they called $k$-Flipper, and showed that it is irreducible on the set of all connected regular graphs of a given degree (at least 3). We study the 1-Flipper chain, which we call the flip chain, and prove that the flip chain converges rapidly to the uniform distribution over connected $2r$-regular graphs with $n$ vertices, where $n\geq 8$ and $r = r(n)\geq 2$. Formally, we prove that the distribution of the flip chain will be within $\varepsilon$ of uniform in total variation distance after $\text{poly}(n,r,\log(\varepsilon^{-1}))$ steps. This polynomial upper bound on the mixing time is given explicitly, and improves markedly on a previous bound given by Feder et al.(2006). We achieve this improvement by using a direct two-stage canonical path construction, which we define in a general setting.
This work has applications to decentralised networks based on random regular connected graphs of even degree, as a self-stabilising protocol in which nodes spontaneously perform random flips in order to repair the network.
Flagged Grothendieck polynomials
Published
• View Publication
• BIB
We show that the flagged Grothendieck polynomials defined as the generating functions of flagged set-valued tableaux of Knutson-Miller-Yong can be expressed by a Jacobi-Trudi type determinant formula generalizing the work of Hudson-Matsumura. We also introduce the flagged skew Grothendieck polynomials in these two expressions and show that they coincide.
Counting Quasi-Idempotent Irreducible Integral Matrices
Published in Journal of Integer Sequences, Vol 21, 2018
• Search Publication
Given any polynomial $p$ in $C[X]$, we show that the set of irreducible matrices satisfying $p(A)=0$ is finite. In the specific case $p(X)=X^2-nX$, we count the number of irreducible matrices in this set and analyze the arising sequences and their asymptotics. Such matrices turn out to be related to generalized compositions and generalized partitions.
From Curves to Tropical Jacobians and Back
Published
• View Publication
• BIB
Given a curve defined over an algebraically closed field which is complete with respect to a nontrivial valuation, we study its tropical Jacobian. This is done by first tropicalizing the curve, and then computing the Jacobian of the resulting weighted metric graph. In general, it is not known how to find the abstract tropicalization of a curve defined by polynomial equations, since an embedded tropicalization may not be faithful, and there is no known algorithm for carrying out semistable reduction in practice. We solve this problem in the case of hyperelliptic curves by studying admissible covers. We also describe how to take a weighted metric graph and compute its period matrix, which gives its tropical Jacobian and tropical theta divisor. Lastly, we describe the present status of reversing this process, namely how to compute a curve which has a given matrix as its period matrix.
Counting Dominating Sets of Graphs
Published
• View Publication
• BIB
Counting dominating sets in a graph $G$ is closely related to the neighborhood complex of $G$. We exploit this relation to prove that the number of dominating sets $d(G)$ of a graph is determined by the number of complete bipartite subgraphs of its complement. More precisely, we state the following. Let $G$ be a simple graph of order $n$ such that its complement has exactly $a(G)$ subgraphs isomorphic to $K_{2p,2q}$ and exactly $b(G)$ subgraphs isomorphic to $K_{2p+1,2q+1}$. Then $d(G) = 2^n -1 + 2[a(G)-b(G)]$. We also show some new relations between the domination polynomial and the neighborhood polynomial of a graph.
Schur P-positivity and involution Stanley symmetric functions
Published in IMRN (2017), rnx274
• View Publication
• BIB
The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.
Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees
Choi et. al (2011) introduced a minimum spanning tree (MST)-based method called CLGrouping, for constructing tree-structured probabilistic graphical models, a statistical framework that is commonly used for inferring phylogenetic trees. While CLGrouping works correctly if there is a unique MST, we observe an indeterminacy in the method in the case that there are multiple MSTs. In this work we remove this indeterminacy by introducing so-called vertex-ranked MSTs. We note that the effectiveness of CLGrouping is inversely related to the number of leaves in the MST. This motivates the problem of finding a vertex-ranked MST with the minimum number of leaves (MLVRMST). We provide a polynomial time algorithm for the MLVRMST problem, and prove its correctness for graphs whose edges are weighted with tree-additive distances.
Model Spaces of Regularity Structures for Space-Fractional SPDEs
Published in Journal of Statistical Physics, Vol. 168, No. 2, pp. 331-368 (2017)
• View Publication
• BIB
We study model spaces, in the sense of Hairer, for stochastic partial differential equations involving the fractional Laplacian. We prove that the fractional Laplacian is a singular kernel suitable to apply the theory of regularity structures. Our main contribution is to study the dependence of the model space for a regularity structure on the three-parameter problem involving the spatial dimension, the polynomial order of the nonlinearity, and the exponent of the fractional Laplacian. The goal is to investigate the growth of the model space under parameter variation. In particular, we prove several results in the approaching subcriticality limit leading to universal growth exponents of the regularity structure. A key role is played by the viewpoint that model spaces can be identified with families of rooted trees. Our proofs are based upon a geometrical construction similar to Newton polygons for classical Taylor series and various combinatorial arguments. We also present several explicit examples listing all elements with negative homogeneity by implementing a new symbolic software package to work with regularity structures. We use this package to illustrate our analytical results and to obtain new conjectures regarding coarse-grained network measures for model spaces.
Existence of regular unimodular triangulations of dilated empty simplices
Published
• View Publication
• BIB
Given integers $k$ and $m$ with $k \geq 2$ and $m \geq 2$, let $P$ be an empty simplex of dimension $(2k-1)$ whose $δ$-polynomial is of the form $1+(m-1)t^k$. In the present paper, the necessary and sufficient condition for the $k$-th dilation $kP$ of $P$ to have a regular unimodular triangulation will be presented.
A note on the relation between Hartnell's firefighter problem and growth of groups
Published
• View Publication
• BIB
The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.
Weight recursions for any rotation symmetric Boolean functions
Published
• View Publication
• BIB
Let $f_n(x_1, x_2, \ldots, x_n)$ denote the algebraic normal form (polynomial form) of a rotation symmetric Boolean function of degree $d$ in $n \geq d$ variables and let $wt(f_n)$ denote the Hamming weight of this function. Let $(1, a_2, \ldots, a_d)_n$ denote the function $f_n$ of degree $d$ in $n$ variables generated by the monomial $x_1x_{a_2} \cdots x_{a_d}.$ Such a function $f_n$ is called {\em monomial rotation symmetric} (MRS). It was proved in a $2012$ paper that for any MRS $f_n$ with $d=3,$ the sequence of weights $\{w_k = wt(f_k):~k = 3, 4, \ldots\}$ satisfies a homogeneous linear recursion with integer coefficients. In this paper it is proved that such recursions exist for any rotation symmetric function $f_n;$ such a function is generated by some sum of $t$ monomials of various degrees. The last section of the paper gives a Mathematica program which explicitly computes the homogeneous linear recursion for the weights, given any rotation symmetric $f_n.$ The reader who is only interested in finding some recursions can use the program and not be concerned with the details of the rather complicated proofs in this paper.
On the bias of cubic polynomials
Published
• View Publication
• BIB
Let $V$ be a vector space over a finite field $k=\mathbb{F} _q$ of dimension $n$. For a polynomial $P:V\to k$ we define the bias of $P$ to be $$b_1(P)=\frac {|\sum _{v\in V}ψ(P(V))|}{q^n}$$ where $ψ:k\to \mathbb{C} ^\star$ is a non-trivial additive character.
A. Bhowmick and S. Lovett proved that for any $d\geq 1$ and $c>0$ there exists $r=r(d,c)$ such that any polynomial $P$ of degree $d$ with $b_1(P)\geq c$ can be written as a sum $P=\sum _{i=1}^rQ_iR_i$ where $Q_i,R_i:V\to k$ are non constant polynomials. We show the validity of a modified version of the converse statement for the case $d=3$.
Combinatorial applications of the special numbers and polynomials
Published in Filomat 32.20.2018. 6869..6877
• View Publication
• BIB
In this paper, by using some families of special numbers and polynomials with their generating functions, we give various properties of these numbers and polynomials. These numbers are related to the well-known numbers and polynomials, which are the Euler numbers, the Stirling numbers of the second kind, the central factorial numbers and the array polynomials. We also discuss some combinatorial interpretations of these numbers related to the rook polynomials and numbers. Furthermore, we give computation formulas for these numbers and polynomials.
A Homological Theory of Functions
In computational complexity, a complexity class is given by a set of problems or functions, and a basic challenge is to show separations of complexity classes $A \not= B$ especially when $A$ is known to be a subset of $B$. In this paper we introduce a homological theory of functions that can be used to establish complexity separations, while also providing other interesting consequences. We propose to associate a topological space $S_A$ to each class of functions $A$, such that, to separate complexity classes $A \subseteq B'$, it suffices to observe a change in "the number of holes", i.e. homology, in $S_A$ as a subclass $B$ of $B'$ is added to $A$. In other words, if the homologies of $S_A$ and $S_{A \cup B}$ are different, then $A \not= B'$. We develop the underlying theory of functions based on combinatorial and homological commutative algebra and Stanley-Reisner theory, and recover Minsky and Papert's 1969 result that parity cannot be computed by nonmaximal degree polynomial threshold functions. In the process, we derive a "maximal principle" for polynomial threshold functions that is used to extend this result further to arbitrary symmetric functions. A surprising coincidence is demonstrated, where the maximal dimension of "holes" in $S_A$ upper bounds the VC dimension of $A$, with equality for common computational cases such as the class of polynomial threshold functions or the class of linear functionals in $\mathbb F_2$, or common algebraic cases such as when the Stanley-Reisner ring of $S_A$ is Cohen-Macaulay. As another interesting application of our theory, we prove a result that a priori has nothing to do with complexity separation: it characterizes when a vector subspace intersects the positive cone, in terms of homological conditions. By analogy to Farkas' result doing the same with *linear conditions*, we call our theorem the Homological Farkas Lemma.
Shuffled equi-n-squares
A formal n-square is the set of positions in an square matrix of size n. A shuffle of a formal n-square consists of independent rotations of each row and of each column. A key result turns out to be valid at least for n <= 34 and n = 37: Each set of n positions can be mapped with one shuffle onto a transversal of the columns. We consider two applications to equi-n-squares (i.e., n-matrices filled with digits 0, .., n - 1 in equal amounts).
First, a shuffled equi-n-square can be seen as a torus with n colors and two orthogonal layers of n rings that can be rotated. Unlike Rubik's cube, each permutation of colored cells can be implemented with shuffles. An upper bound of $3*(-1)^{n-1} + 6n$ shuffles is derived from the key result.
Our second application invokes column transversals and a process of indirection to produce theoretically unpredictable sequences of integers in shuffled equi-n-squares.
Our proof of the key result involves optimizing position sets, averaging, computations based on number partitions, rotating subsets of a regular $n$-gon apart, and the use of cyclotomic polynomials. A few intermediate results need computer assistence. These efforts also generated a variety of (partially) unsolved problems. We selected eight of these for a brief discussion based on the available theoretical and computer evidence.
Bar code for monomial ideals
Published
• View Publication
• BIB
Aim of this paper is to count $0$-dimensional stable and strongly stable ideals in $2$ and $3$ variables, given their (constant) affine Hilbert polynomial.
To do so, we define the Bar Code, a bidimensional structure representing any finite set of terms $M$ and allowing to desume many properties of the corresponding monomial ideal $I$, if $M$ is an order ideal. Then, we use it to give a connection between (strongly) stable monomial ideals and integer partitions, thus allowing to count them via known determinantal formulas.
Geometric Bijections for Regular Matroids, Zonotopes, and Ehrhart Theory
Published in Forum of Mathematics, Sigma 7 (2019) e45
• View Publication
• BIB
Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$).
There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection.
Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.
Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (April 23, 2021) dmtcs:6632
• View Publication
• BIB
Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.
The formula of Melzak for arbitrary polynomials
Published in Utilitas Mathematica, 99 (2016), 397-401
• Search Publication
We extend the well-known Melzak binomial transform formula to polynomials of any degree and show some applications.