polynomial
11284 papers tagged with this keyword
On the Shortest Identity in Finite Simple Groups of Lie Type
Published
• View Publication
• BIB
We prove that the length of the shortest identity in a finite simple group of Lie type of rank $r$ defined over $\mathbb{F}_q$, is bounded (from above and below) by explicit polynomials in $q$ and $r$.
A new method for fast computing unbiased estimators of cumulants
Published
• View Publication
• BIB
We propose new algorithms for generating $k$-statistics, multivariate $k$-statistics, polykays and multivariate polykays. The resulting computational times are very fast compared with procedures existing in the literature. Such speeding up is obtained by means of a symbolic method arising from the classical umbral calculus. The classical umbral calculus is a light syntax that involves only elementary rules to managing sequences of numbers or polynomials. The cornerstone of the procedures here introduced is the connection between cumulants of a random variable and a suitable compound Poisson random variable. Such a connection holds also for multivariate random variables.
Branching proofs of infeasibility in low density subset sum problems
We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a hyperplane, i.e. by a methodology dual to the one explored by Lagarias and Odlyzko; Frieze; Furst and Kannan; and Coster et. al.
The proof has two ingredients. We first prove that a vector that is near parallel to $a$ is a suitable branching direction, regardless of the density. Then we show that for a low density $a$ such a near parallel vector can be computed using diophantine approximation, via a methodology introduced by Frank and Tardos.
We also show that there is a small number of long intervals whose disjoint union covers the integer right hand sides, for which the infeasibility is proven by branching on the above hyperplane.
An instance of umbral methods in representation theory: the parking function module
We test the umbral methods introduced by Rota and Taylor within the theory of representation of symmetric group. We define a simple bijection between the set of all parking functions of length $n$ and the set of all noncrossing partitions of $\{1,2,...,n\}$. Then we give an umbral expression of the Frobenius characteristic of the parking function module introduced by Haiman that allows an explicit relation between this symmetric function and the volume polynomial of Pitman and Stanley.
Candy-passing Games on General Graphs, II
We give a new proof that any candy-passing game on a graph G with at least 4|E(G)|-|V(G)| candies stabilizes. (This result was first proven in arXiv:0807.4450.) Unlike the prior literature on candy-passing games, we use methods from the general theory of chip-firing games which allow us to obtain a polynomial bound on the number of rounds before stabilization.
On the random satisfiable process
Published
• View Publication
• BIB
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas -- randomly permute all 2^k\binom{n}{k} possible clauses over the variables x_1, ..., x_n, and starting from the empty formula, go over the clauses one by one, including each new clause as you go along if after its addition the formula remains satisfiable. We study the evolution of this process, namely the distribution over formulas obtained after scanning through the first m clauses (in the random permutation's order).
Random processes with conditioning on a certain property being respected are widely studied in the context of graph properties. This study was pioneered by Ruciński and Wormald in 1992 for graphs with a fixed degree sequence, and also by Erdős, Suen, and Winkler in 1995 for triangle-free and bipartite graphs. Since then many other graph properties were studied such as planarity and H-freeness. Thus our model is a natural extension of this approach to the satisfiability setting.
Our main contribution is as follows. For m \geq cn, c=c(k) a sufficiently large constant, we are able to characterize the structure of the solution space of a typical formula in this distribution. Specifically, we show that typically all satisfying assignments are essentially clustered in one cluster, and all but e^{-Ω(m/n)} n of the variables take the same value in all satisfying assignments. We also describe a polynomial time algorithm that finds with high probability a satisfying assignment for such formulas.
On the support of the free Lie algebra: the Schützenberger problems
Published
• View Publication
• BIB
M.-P. Schützenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and anti-twin words, i.e., words that appear with equal (resp. opposite) coefficients in each Lie polynomial. We study these problems using the adjoint endomorphism $l^{*}$ of the left normed Lie bracketing $l$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. Calculating $l^{*}(w)$ via all factors of a given word $w$ of fixed length and the shuffle product, we recover the result of Duchamp and Thibon $(1989)$ for the support of the free Lie ring in a much more natural way. We rephrase these problems, for words of length $n$, in terms of the action of the left normed multi-linear Lie bracketing $l_{n}$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ - viewed as an element of the group ring of the symmetric group ${\mathcal S}_{n}$ - on $λ$-tabloids, where $λ$ is a partition of $n$. For words $w$ in two letters, represented by a subset $I$ of $[n] = \{1, 2, ..., n \}$, this leads us to the {\em Pascal descent polynomial} $p_{n}(I)$, a particular commutative multi-linear polynomial which equals to a signed binomial coefficient when $|I| = 1$ and allows us to obtain a sufficient condition on $n$ and $I$ in order that $w$ lies in ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. We also have a particular conjecture for twin and anti-twin words for the free Lie ring and show that it is enough to be checked for $|A| = 2$.
Recognition of generalized network matrices
In this PhD thesis, we deal with binet matrices, an extension of network matrices. The main result of this thesis is the following. A rational matrix A of size n times m can be tested for being binet in time O(n^6 m). If A is binet, our algorithm outputs a nonsingular matrix B and a matrix N such that [B N] is the node-edge incidence matrix of a bidirected graph (of full row rank) and A=B^{-1} N.
Furthermore, we provide some results about Camion bases. For a matrix M of size n times m', we present a new characterization of Camion bases of M, whenever M is the node-edge incidence matrix of a connected digraph (with one row removed). Then, a general characterization of Camion bases as well as a recognition procedure which runs in O(n^2m') are given. An algorithm which finds a Camion basis is also presented. For totally unimodular matrices, it is proven to run in time O((nm)^2) where m=m'-n.
The last result concerns specific network matrices. We give a characterization of nonnegative {r,s}-noncorelated network matrices, where r and s are two given row indexes. It also results a polynomial recognition algorithm for these matrices.
A geometric interpretation of Stanley's monotonicity theorem
We present a new geometric proof of Stanley's monotonicity theorem for lattice polytopes, using an interpretation of $δ$-polynomials of lattice polytopes in terms of orbifold Chow rings.
Boundary of the Rauzy fractal sets in $\RR \times \CC$ generated by $P(x)=x^4-x^3-x^2-x-1$
We study the boundary of the 3-dimensional Rauzy fractal ${\mathcal E} \subset \RR \times \CC$ generated by the polynomial $P(x) = x^4-x^3-x^2-x-1$. The finite automaton characterizing the boundary of ${\mathcal E}$ is given explicitly. As a consequence we prove that the set ${\mathcal E}$ has 18 neighborhoods where 6 of them intersect the central tile ${\mathcal E}$ in a point. Our construction shows that the boundary is generated by an iterated function system starting with 2 compact sets.
Discrete piecewise linear functions
Published
• View Publication
• BIB
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is used to establish lattice polynomial representations of piecewise linear functions on convex domains and continuous selectors on linear orders.
Finding Short Cycles in an Embedded Graph in Polynomial Time
Published
• View Publication
• BIB
Let ${\cal{C}}_1$ be the set of fundamental cycles of breadth-first-search trees in a graph $G$ and ${\cal{C}}_2$ the set of the sums of two cycles in ${\cal{C}}_1$. Then we show that $(1) {\cal{C}}={\cal{C}}_1\bigcup{\cal{C}}_2$ contains a shortest $Π$-twosided cycle in a $Π$-embedded graph $G$;$(2)$ $\cal{C}$ contains all the possible shortest even cycles in a graph $G$;$(3)$ If a shortest cycle in a graph $G$ is an odd cycle, then $\cal{C}$ contains all the shortest odd cycles in $G$. This implies the existence of a polynomially bounded algorithm to find a shortest $Π-$twosided cycle in an embedded graph and thus solves an open problem of B.Mohar and C.Thomassen[2,pp112]
Nonsymmetric interpolation Macdonald polynomials and g_n basic hypergeometric series
Published in Transformation Groups 14 (2009), 613-647.
• View Publication
• BIB
The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series.
The Word and Geodesic Problems in Free Solvable Groups
Published
• View Publication
• BIB
We study the computational complexity of the Word Problem (WP) in free solvable groups $S_{r,d}$, where $r \geq 2$ is the rank and $d \geq 2$ is the solvability class of the group. It is known that the Magnus embedding of $S_{r,d}$ into matrices provides a polynomial time decision algorithm for WP in a fixed group $S_{r,d}$. Unfortunately, the degree of the polynomial grows together with $d$, so the uniform algorithm is not polynomial in $d$. In this paper we show that WP has time complexity $O(r n \log_2 n)$ in $S_{r,2}$, and $O(n^3 r d)$ in $S_{r,d}$ for $d \geq 3$. However, it turns out, that a seemingly close problem of computing the geodesic length of elements in $S_{r,2}$ is $NP$-complete. We prove also that one can compute Fox derivatives of elements from $S_{r,d}$ in time $O(n^3 r d)$, in particular one can use efficiently the Magnus embedding in computations with free solvable groups. Our approach is based on such classical tools as the Magnus embedding and Fox calculus, as well as, on a relatively new geometric ideas, in particular, we establish a direct link between Fox derivatives and geometric flows on Cayley graphs.
Boole's formula as a consequence of Lagrange's Interpolating Polynomial theorem
Published in Integers: Electronic Journal of Combinatorial Number Theory 8 (2008), A23
• Search Publication
We present a slightly more general version of Boole's additive formula for factorials as a simple consequence of Lagrange's Interpolating Polynomial theorem.
Nonstandard linear recurring sequence subgroups in finite fields and automorphisms of cyclic codes
Published
• View Publication
• BIB
Let $q=p^r$ be a prime power, and let $f(x)=x^m-\gs_{m-1}x^{m-1}- >...-\gs_1x-\gs_0$ be an irreducible polynomial over the finite field $\GF(q)$ of size $q$. A zero $ξ$ of $f$ is called {\em nonstandard (of degree $m$) over $\GF(q)$} if the recurrence relation $u_m=\gs_{m-1}u_{m-1} + ... + \gs_1u_1+\gs_0u_0$ with characteristic polynomial $f$ can generate the powers of $ξ$ in a nontrivial way, that is, with $u_0=1$ and $f(u_1)\neq 0$. In 2003, Brison and Nogueira asked for a characterisation of all nonstandard cases in the case $m=2$, and solved this problem for $q$ a prime, and later for $q=p^r$ with $r\leq4$.
In this paper, we first show that classifying nonstandard finite field elements is equivalent to classifying those cyclic codes over $\GF(q)$ generated by a single zero that posses extra permutation automorphisms.
Apart from two sporadic examples of degree 11 over $\GF(2)$ and of degree 5 over $\GF(3)$, related to the Golay codes, there exist two classes of examples of nonstandard finite field elements. One of these classes (type I) involves irreducible polynomials $f$ of the form $f(x)=x^m-f_0$, and is well-understood. The other class (type II) can be obtained from a primitive element in some subfield by a process that we call extension and lifting. We will use the known classification of the subgroups of $\PGL(2,q)$ in combination with a recent result by Brison and Nogueira to show that a nonstandard element of degree two over $\GF(q)$ necessarily is of type I or type II, thus solving completely the classification problem for the case $m=2$.
Some Combinatorial Properties of Hook Lengths, Contents, and Parts of Partitions
Published
• View Publication
• BIB
This paper proves a generalization of a conjecture of Guoniu Han, inspired originally by an identity of Nekrasov and Okounkov. The main result states that certain sums over partitions p of n, involving symmetric functions of the squares of the hook lengths of p, are polynomial functions of n. A similar result is obtained for symmetric functions of the contents and shifted parts of n.
A generalized Major index statistic
Inspired by the $k$-inversion statistic for LLT polynomials, we define a $k$-inversion number and $k$-descent set for words. Using these, we define a new statistic on words, called the $k$-major index, that interpolates between the major index and inversion number. We give a bijective proof that the $k$-major index is equidistributed with the major index, generalizing a classical result of Foata and rediscovering a result of Kadell. Inspired by recent work of Haglund and Stevens, we give a partial extension of these definitions and constructions to standard Young tableaux. Finally, we give an application to Macdonald polynomials made possible through connections with LLT polynomials.
Counting paths in Bratteli diagrams for SU(2)_k
Published
• View Publication
• BIB
It is known that the Hilbert space dimensionality for quasiparticles in an SU(2)_k Chern-Simons-Witten theory is given by the number of directed paths in certain Bratteli diagrams. We present an explicit formula for these numbers for arbitrary k. This is on the basis of a relation with Dyck paths and Chebyshev polynomials.
Graph polynomials and Tutte-Grothendieck invariants: an application of elementary finite Fourier analysis
This paper is based on a series of talks given at the Patejdlovka Enumeration Workshop held in the Czech Republic in November 2007. The topics covered are as follows. The graph polynomial, Tutte-Grothendieck invariants, an overview of relevant elementary finite Fourier analysis, the Tutte polynomial of a graph as a Hamming weight enumerator of its set of tensions (or flows), and a description of a family of polynomials containing the graph polynomial which yield Tutte-Grothendieck invariants in a similar way.