polynomial
11422 papers tagged with this keyword
New constructions of quaternary bent functions
In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent work of N. Li, X. Tang and T. Helleseth.
The resolving number of a graph
Published
• View Publication
• BIB
We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.
Billey's formula in combinatorics, geometry, and topology
Published
• View Publication
• BIB
In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials.
Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag variety and of the Schubert varieties, and the combinatorics of root systems (generalizing inversions of a permutation). Combinatorially, Billey's formula describes an invariant of pairs of elements of a Weyl group. On its face, this formula is a combination of roots built from subwords of a fixed word. As we will see, it has deeper geometric and topological meaning as well: (1) It tells us about the tangent spaces at each permutation flag in each Schubert variety. (2) It tells us about singular points in Schubert varieties. (3) It tells us about the values of Kostant polynomials. Billey's formula also reflects an aspect of GKM theory, which is a way of describing the torus-equivariant cohomology of a variety just from information about the torus-fixed points in the variety.
This paper will also describe some applications of Billey's formula, including concrete combinatorial descriptions of Billey's formula in special cases, and ways to bootstrap Billey's formula to describe the equivariant cohomology of subvarieties of the flag variety to which GKM theory does not apply.
Laurent biorthogonal polynomials, q-Narayana polynomials and domino tilings of the Aztec diamonds
Published
• View Publication
• BIB
A Töplitz determinant whose entries are described by a q-analogue of the Narayana polynomials is evaluated by means of Laurent biorthogonal polynomials which allow of a combinatorial interpretation in terms of Schröder paths. As an application, a new proof is given to the Aztec diamond theorem by Elkies, Kuperberg, Larsen and Propp concerning domino tilings of the Aztec diamonds. The proof is based on the correspondence with non-intersecting Schröder paths developed by Eu and Fu.
Asymptotic normality of some graph sequences
Published
• View Publication
• BIB
For a simple finite graph G denote by {G \brace k} the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If E_n is the graph on n vertices with no edges then {E_n \brace k} coincides with {n \brace k}, the ordinary Stirling number of the second kind, and so we refer to {G \brace k} as a graph Stirling number.
Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of E_n, is asymptotically normal --- essentially, as n grows, the histogram of ({E_n \brace k})_{k \geq 0}, suitably normalized, approaches the density function of the standard normal distribution.
In light of Harper's result, it is natural to ask for which sequences (G_n)_{n \geq 0} of graphs is there asymptotic normality of ({G_n \brace k})_{k \geq 0}. Do and Galvin conjectured that if for each n, G_n is acylic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that G_n has no more than o(\sqrt{n/\log n}) components.
Here we settle Do and Galvin's conjecture in the affirmative, and significantly extend it, replacing "acyclic" in their conjecture with "co-chromatic with a quasi-threshold graph, and with negligible chromatic number". Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in a Weyl algebra, and work of Kahn on the matching polynomial of a graph.
Number of permutations with same peak set for signed permutations
Published
• View Publication
• BIB
A signed permutation π= π_1π_2 \ldots π_n in the hyperoctahedral group B_n is a word such that each π_i \in {-n, \ldots, -1, 1, \ldots, n} and {|π_1|, |π_2|, \ldots, |π_n|} = {1,2,\ldots,n}. An index i is a peak of πif π_{i-1}<π_i>π_{i+1} and P_B(π) denotes the set of all peaks of π. Given any set S, we define P_B(S,n) to be the set of signed permutations π\in B_n with P_B(π) = S. In this paper we are interested in the cardinality of the set P_B(S,n). In 2012, Billey, Burdzy and Sagan investigated the analogous problem for permutations in the symmetric group, S_n. In this paper we extend their results to the hyperoctahedral group; in particular we show that #P_B(S,n) = p(n)2^{2n-|S|-1} where p(n) is the same polynomial found in by Billey, Burdzy and Sagan which leads to the explicit computation of interesting special cases of the polynomial p(n). In addition we have extended these results to the case where we add π_0=0 at the beginning of the permutations, which gives rise to the possibility of a peak at position 1, for both the symmetric and the hyperoctahedral groups.
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81
• View Publication
• BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
Graphs with Equal Chromatic Symmetric Functions
Published
• View Publication
• BIB
Stanley [9] introduced the chromatic symmetric function ${\bf X}_G$ associated to a simple graph $G$ as a generalization of the chromatic polynomial of $G$. In this paper we present a novel technique to write ${\bf X}_G$ as a linear combination of chromatic symmetric functions of smaller graphs. We use this technique to give a sufficient condition for two graphs to have the same chromatic symmetric function. We then construct an infinite family of pairs of unicyclic graphs with the same chromatic symmetric function, answering the question posed by Martin, Morin, and Wagner [7] of whether such a pair exists. Finally, we approach the problem of whether it is possible to determine a tree from its chromatic symmetric function. Working towards an answer to this question, we give a classification theorem for single-centroid trees in terms of data closely related to its chromatic symmetric function.
Stirling permutations on multisets
A permutation $σ$ of a multiset is called Stirling permutation if $σ(s)\ge σ(i)$ as soon as $σ(i)=σ(j)$ and $i<s<j.$ In our paper we study Stirling polynomials that arise in the generating function for descent statistics on Stirling permutations of any multiset. We develop generalizations of the classical Stirling numbers and present their combinatorial interpretations. Particularly, we apply the theory of $P$-partitions. Using certain specifications we also introduce the Stirling numbers of odd type and generalizations of the central factorial numbers.
A Short Proof of Gowers' Lower Bound for the Regularity Lemma
Published
• View Publication
• BIB
A celebrated result of Gowers states that for every ε> 0 there is a graph G so that every ε-regular partition of G (in the sense of Szemeredi's regularity lemma) has order given by a tower of exponents of height polynomial in 1/ε. In this note we give a new proof of this result that uses a construction and proof of correctness that are significantly simpler and shorter.
Spherical designs of harmonic index t
Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.
On the geometric Ramsey numbers of trees
Published
• View Publication
• BIB
In this paper, we obtain upper bounds for the geometric Ramsey numbers of trees. We prove that $R_c(T_n,H_m)=(n-1)(m-1)+1$ if $T_n$ is a caterpillar and $H_m$ is a Hamiltonian outerplanar graph on $m$ vertices. Moreover, if $T_n$ has at most two non-leaf vertices, then $R_g(T_n,H_m)=(n-1)(m-1)+1$. We also prove that $R_c(T_n,H_m)=O(n^2m)$ and $R_g(T_n,H_m)=O(n^3m^2)$ if $T_n$ is an arbitrary tree on $n$ vertices and $H_m$ is an outerplanar triangulation with pathwidth 2. %Further, we prove a uniform polynomial upper bound for the geometric Ramsey numbers of caterpillars and we also give an upper bound for $R_g(T_n)$ where $T_n$ is an arbitrary tree.
Algebraic study on Cameron-Walker graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.
Jack polynomials with prescribed symmetry and some of their clustering properties
Published
• View Publication
• BIB
We study Jack polynomials in $N$ variables, with parameter $α$, and having a prescribed symmetry with respect to two disjoint subsets of variables. For instance, these polynomials can exhibit a symmetry of type AS, which means that they are anti-symmetric in the first $m$ variables and symmetric in the remaining $N-m$ variables. One of our main goals is to extend recent works on symmetric Jack polynomials [arXiv:0711.3062, arXiv:1007.2692, arXiv:1303.4126] and prove that the Jack polynomials with prescribed symmetry also admit clusters of size $k$ and order $r$, that is, the polynomials vanish to order $r$ when $k+1$ variables coincide.
We first prove some general properties for generic $α$, such as their uniqueness as triangular eigenfunctions of operators of Sutherland type, and the existence of their analogues in infinity many variables. We then turn our attention to the case with $α=-(k+1)/(r-1)$. We show that for each triplet $(k,r,N)$, there exist admissibility conditions on the indexing sets, called superpartitions, that guaranty both the regularity and the uniqueness of the polynomials. These conditions are also used to establish similar properties for non-symmetric Jack polynomials. As a result, we prove that the Jack polynomials with arbitrary prescribed symmetry, indexed by $(k,r,N)$-admissible superpartitions, admit clusters of size $k=1$ and order $r\geq 2$. In the last part of the article, we find necessary and sufficient conditions for the invariance under translation of the Jack polynomials with prescribed symmetry AS. This allows to find special families of superpartitions that imply the existence of clusters of size $k>1$ and order $r\geq 2$.
On the effective and automatic enumeration of polynomial permutation classes
Published
• View Publication
• BIB
We describe an algorithm, implemented in Python, which can enumerate any permutation class with polynomial enumeration from a structural description of the class. In particular, this allows us to find formulas for the number of permutations of length n which can be obtained by a finite number of block sorting operations (e.g., reversals, block transpositions, cut-and-paste moves).
The unreasonable ubiquitousness of quasi-polynomials
Published in Electronic Journal of Combinatorics 21 (2014), #P1.44
• View Publication
• BIB
A function g, with domain the natural numbers, is a quasi-polynomial if there exists a period m and polynomials p_0,p_1,...,p_{m-1} such that g(t)=p_i(t) for t=i mod m. Quasi-polynomials classically -- and "reasonably" -- appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable t, and defined by linear inequalities of the form a_1x_1+...+a_dx_d <= b(t).
Recent results of Chen, Li, Sam; Calegari, Walker; and Roune, Woods show a quasi-polynomial structure in several problems where the a_i are also allowed to vary with t. We discuss these "unreasonable" results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets S_t of d-tuples of natural numbers that are defined with quantifiers ("for all", "there exists"), boolean operations (and, or, not), and statements of the form a_1(t)x_1+...+a_d(t)x_d <= b(t), where a_i(t) and b(t) are polynomials in t. These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures. The title is a play on Eugene Wigner's "The unreasonable effectiveness of mathematics in the natural sciences''.
Entanglement-assisted zero-error source-channel coding
Published in IEEE Transactions of Information Theory, vol 61, no 2, pp 1124-1138, 2015
• View Publication
• BIB
We study the use of quantum entanglement in the zero-error source-channel coding problem. Here, Alice and Bob are connected by a noisy classical one-way channel, and are given correlated inputs from a random source. Their goal is for Bob to learn Alice's input while using the channel as little as possible. In the zero-error regime, the optimal rates of source codes and channel codes are given by graph parameters known as the Witsenhausen rate and Shannon capacity, respectively. The Lovász theta number, a graph parameter defined by a semidefinite program, gives the best efficiently-computable upper bound on the Shannon capacity and it also upper bounds its entanglement-assisted counterpart. At the same time it was recently shown that the Shannon capacity can be increased if Alice and Bob may use entanglement.
Here we partially extend these results to the source-coding problem and to the more general source-channel coding problem. We prove a lower bound on the rate of entanglement-assisted source-codes in terms Szegedy's number (a strengthening of the theta number). This result implies that the theta number lower bounds the entangled variant of the Witsenhausen rate. We also show that entanglement can allow for an unbounded improvement of the asymptotic rate of both classical source codes and classical source-channel codes. Our separation results use low-degree polynomials due to Barrington, Beigel and Rudich, Hadamard matrices due to Xia and Liu and a new application of remote state preparation.
Numerical semigroups, cyclotomic polynomials and Bernoulli numbers
Published in Amer. Math. Monthly 121 (2014), 890--902
• View Publication
• BIB
We give two proofs of a folkore result relating numerical semigroups of embedding dimension two and binary cyclotomic polynomials and explore some consequences. In particular, we give a more conceptual reproof of a result of Hong et al. (2012) on gaps between the exponents of non-zero monomials in a binary cyclotomic polynomial.
The intent of the author with this expositional paper is to better unify the various results within the cyclotomic polynomial and numerical semigroup communities.
Polynomial graph invariants from homomorphism numbers
Published
• View Publication
• BIB
We give a method of generating strongly polynomial sequences of graphs, i.e., sequences $(H_{\mathbf{k}})$ indexed by a multivariate parameter $\mathbf{k}=(k_1,\ldots, k_h)$ such that, for each fixed graph $G$, there is a multivariate polynomial $p(G;x_1,\ldots, x_h)$ such that the number of homomorphisms from $G$ to $H_{\mathbf{k}}$ is given by the evaluation $p(G;k_1,\ldots, k_h)$. A classical example is the sequence $(K_k)$ of complete graphs, for which ${\rm hom}(G,K_k)=P(G;k)$ is the evaluation of the chromatic polynomial at $k$. Our construction produces a large family of graph polynomials that includes the Tutte polynomial, the Averbouch-Godlin-Makowsky polynomial and the Tittmann-Averbouch-Makowsky polynomial. We also introduce a new graph parameter, the {\em branching core size} of a simple graph, related to how many involutive automorphisms with fixed points it has. We prove that a countable family of graphs of bounded branching core size (which in particular implies bounded tree-depth) is always contained in a finite union of strongly polynomial sequences.
Macdonald symmetric functions of rectangular shapes
Published
• View Publication
• BIB
Using vertex operator we study Macdonald symmetric functions of rectangular shapes and their connection with the q-Dyson Laurent polynomial. We find a vertex operator realization of Macdonald functions and thus give a generalized Frobenius formula for them. As byproducts of the realization, we find a q-Dyson constant term orthogonality relation which generalizes a conjecture due to Kadell in 2000, and we generalize Matsumoto's hyperdeterminant formula for rectangular Jack functions to Macdonald functions.