arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2009-03-04 v2
Supersymmetry, lattice fermions, independence complexes and cohomology theory
Published in Adv. Theor. Math. Phys., 14.2 (2010), 643-694 • View PublicationBIB
We analyze the quantum ground state structure of a specific model of itinerant, strongly interacting lattice fermions. The interactions are tuned to make the model supersymmetric. Due to this, quantum ground states are in one-to-one correspondence with cohomology classes of the so-called independence complex of the lattice. Our main result is a complete description of the cohomology, and thereby of the quantum ground states, for a two-dimensional square lattice with periodic boundary conditions. Our work builds on results by J. Jonsson, who determined the Euler characteristic (Witten index) via a correspondence with rhombus tilings of the plane. We prove a theorem, first conjectured by P. Fendley, which relates dimensions of the cohomology at grade n to the number of rhombus tilings with n rhombi.
2009-03-04
Hausdorff gaps reconstructed from Luzin gaps
We consider a question: Can a given AD-family be ADR for two orthogonal uncountable towers? If $b > ω_1$, then we rebuilt any AD-family of the cardinality $ω_1$ onto a Hausdorff pre-gap. Moreover, if a such AD-family is a Luzin gap, then we obtain a Hausdorff gap. Under $b = ω_1$, a similar rebuilding is impossible.
2009-03-04 v3
Note on half-cube embeddings
Results are well-known
2009-03-03
Alternating Euler sums and special values of Witten multiple zeta function attached to so(5)
Published in J. Aust. Math. Soc. 89(2011), pp. 419-430 • View PublicationBIB
In this note we shall study the Witten multiple zeta function associated to the Lie algebra so(5) defined by Matsumoto. Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w>2 is a finite rational linear combination of alternating Euler sums of weight w and depth at most two, except when the only nonzero argument is one of the two last variables in which case $ζ(w-1)$ is needed.
2009-03-03
The standard graded property for vertex cover algebras of Quasi-Trees
J. Herzog, T. Hibi, N. V. Trung and X. Zheng characterize the vertex cover algebras which are standard graded. In this paper we give a simple combinatorial criterion for the standard graded property of vertex cover algebras in the case of quasi-trees. We also give an example of how this criterion works and compute the maximal degree of a minimal generator in that case.
2009-03-03 v2
Hadamard Products and Tilings
Published in Journal of Integer Sequences, Vol. 12 (2009), Article 09.7.4 • Search Publication
Louis W. Shapiro gave a combinatorial proof of a bilinear generating function for Chebyshev polynomials equivalent to the formula 1/(1-ax-x^2) * 1/(1-bx-x^2) = (1-x^2)/(1-abx-(2+a^2+b^2)x^2 -abx^3+x^4), where * denotes the Hadamard product. In a similar way, by considering tilings of a 2 by n rectangle with 1 by 1 and 1 by 2 bricks in the top row, and 1 by 1 and 1 by n bricks in the bottom row, we find an explicit formula for the Hadamard product 1/(1-ax-x^2) * x^m/(1-bx-x^n).
2009-03-03
Random matrices: The distribution of the smallest singular values
Published • View PublicationBIB
Let $\a$ be a real-valued random variable of mean zero and variance 1. Let $M_n(\a)$ denote the $n \times n$ random matrix whose entries are iid copies of $\a$ and $σ_n(M_n(\a))$ denote the least singular value of $M_n(\a)$. ($σ_n(M_n(\a))^2$ is also usually interpreted as the least eigenvalue of the Wishart matrix $M_n M_n^{\ast}$.) We show that (under a finite moment assumption) the probability distribution $n σ_n(M_n(\a))^2$ is {\it universal} in the sense that it does not depend on the distribution of $\a$. In particular, it converges to the same limiting distribution as in the special case when $a$ is real gaussian. (The limiting distribution was computed explicitly in this case by Edelman.) We also proved a similar result for complex-valued random variables of mean zero, with real and imaginary parts having variance 1/2 and covariance zero. Similar results are also obtained for the joint distribution of the bottom $k$ singular values of $M_n(\a)$ for any fixed $k$ (or even for $k$ growing as a small power of $n$) and for rectangular matrices. Our approach is motivated by the general idea of "property testing" from combinatorics and theoretical computer science. This seems to be a new approach in the study of spectra of random matrices and combines tools from various areas of mathematics.
2009-03-03
Distinct Matroid Base Weights and Additive Theory
Published • View PublicationBIB
Let $M$ be a matroid on a set $E$ and let $w:E\longrightarrow G$ be a weight function, where $G$ is a cyclic group. Assuming that $w(E)$ satisfies the Pollard's Condition (i.e. Every non-zero element of $w(E)-w(E)$ generates $G$), we obtain a formulae for the number of distinct base weights. If $|G|$ is a prime, our result coincides with a result Schrijver and Seymour. We also describe Equality cases in this formulae. In the prime case, our result generalizes Vosper's Theorem.
2009-03-02
The Generalized Road Coloring Problem and periodic digraphs
Published in Applicable Algebra in Engineering, Communication and Computing, 2011, Volume 22, Number 1, Pages 21-35 • View PublicationBIB
A proof of the Generalized Road Coloring Problem, independent of the recent work by Beal and Perrin, is presented, using both semigroup methods and Trakhtman's algorithm. Algebraic properties of periodic, strongly connected digraphs are studied in the semigroup context. An algebraic condition which characterizes periodic, strongly connected digraphs is determined in the context of periodic Markov chains.
2009-03-02
A probabilistic approach to enumeration of Gessel walks
We consider Gessel walks in the plane starting at the origin $(0, 0)$ remaining in the first quadrant $i, j \geq 0$ and made of West, North-East, East and South-West steps. Let $F(m; n_1, n_2)$ denote the number of these walks with exact $m$ steps ending at the point $(n_1, n_2)$, Petkovšek and Wilf posed several analogous conjectures similar to the famous Gessel's conjecture. We establish a probabilistic model of Gessel walks which is concerned with the problem of vicious walkers. This model helps us to obtain the linear homogeneous recurrence relations with binomial coefficients for both $F(n+k+r;n+k-r,n)$ and $F(n+2k; n, 0)$. Precisely, $\frac{n! k! (n+k+1)!}{(2n+2)!} F(2n+2k;0,n)$ is a polynomial with all integer coefficients which leading term is $2^{3k-2} n^{2k-2}$, and $\frac{k! (k+1)!}{n+1} F(n+2k;n,0)$ is a polynomial with all integer coefficients which leading term is $n^{2k-1}$. Hence two conjectures of Petkovšek and Wilf are solved.
2009-03-02
On the Density of a Graph and its Blowup
Published • View PublicationBIB
The theorem of Chung, Graham, and Wilson on quasi-random graphs asserts that of all graphs with edge density p, the random graph G(n,p) contains the smallest density of copies of K_{t,t}, the complete bipartite graph of size 2t. Since K_{t,t} is a t-blowup of an edge, the following intriguing open question arises: Is it true that of all graphs with triangle density p^3, the random graph G(n,p) contains the smallest density of K_{t,t,t}, which is the t-blowup of a triangle? Our main result gives an indication that the answer to the above question is positive by showing that for some blowup, the answer must be positive. More formally we prove that if G has triangle density p^3, then there is some 2 <= t <= T(p) for which the density of K_{t,t,t} in G is at least p^{(3+o(1))t^2}, which (up to the o(1) term) equals the density of K_{t,t,t} in G(n,p). We also consider the analogous question on skewed blowups, showing that somewhat surprisingly, the behavior there is different. We also raise several conjectures related to these problems and discuss some applications to other areas.
2009-03-02
The Effect of Induced Subgraphs on Quasi-Randomness
Published • View PublicationBIB
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a truly random one. In the context of graphs, Chung, Graham, and Wilson call a graph p-quasi-random} if it satisfies a long list of the properties that hold in G(n,p) with high probability, like edge distribution, spectral gap, cut size, and more. Our main result here is that the following holds for any fixed graph H: if the distribution of induced copies of H in a graph G is close (in a well defined way) to the distribution we would expect to have in G(n,p), then G is either p-quasi-random or p'-quasi-random, where p' is the unique non-trivial solution of a certain polynomial equation. We thus infer that having the correct distribution of induced copies of any single graph H is enough to guarantee that a graph has the properties of a random one. The proof techniques we develop here, which combine probabilistic, algebraic and combinatorial tools, may be of independent interest to the study of quasi-random structures.
2009-03-02 v2
Completely symmetric configurations for sigma-games on grid graphs
Published • View PublicationBIB
The paper deals with sigma-games on grid graphs (in dimension 2 and more) and conditions under which any completely symmetric configuration of lit vertices can be reached -- in particular the completely lit configuration -- when starting with the all-unlit configuration. The answer is complete in dimension 2. In dimension greater than or equal to 3, the answer is complete for the sigma^+ -game, and for the sigma^- -game if at least one of the sizes is even. The case sigma^-, dimension greater than or equal to 3 and all sizes odd remains open.
2009-03-02
One-parameter Generalizations of Ramanujan's Formula for $π$
Several terminating generalizations of Ramanujan's formula for $\frac{1}π$ with complete WZ proofs are given.
2009-03-01 v2
Derivative Polynomials for tanh, tan, sech and sec in Explicit Form
Published in Fibonacci Quarterly, 45.4 (2007), 291-303 • Search Publication
The derivative polynomials for the hyperbolic and trigonometric tangent, cotangent and secant are found in explicit form, where the coefficients are given in terms of Stirling numbers of the second kind. As application, some integrals are evaluated and the reflection formula for the polygamma function is written in explicit form.
2009-02-28 v6
Multiple recurrence and convergence for Hardy sequences of polynomial growth
Published • View PublicationBIB
We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for "typical" choices of Hardy field functions $a(t)$ with polynomial growth, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a(n)]}x)\cdot...\cdot f_\ell(T^{\ell [a(n)]}x)$ converge in the mean and we determine their limit. For example, this is the case if $a(t)=t^{3/2}, t\log{t},$ or $t^2+(\log{t})^2$. Furthermore, if ${a_1(t),...,a_\ell(t)}$ is a "typical" family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a_1(n)]}x)\cdot...\cdot f_\ell(T^{[a_\ell(n)]}x)$ converge in the mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions $a_i(t)$ are given by different positive fractional powers of $t$. We deduce several results in combinatorics. We show that if $a(t)$ is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form ${m,m+[a(n)],...,m+\ell[a(n)]}$. Under suitable assumptions we get a related result concerning patterns of the form ${m, m+[a_1(n)],..., m+[a_\ell(n)]}.$
2009-02-27
Distinct Lengths Modular Zero-sum Subsequences: A Proof of Graham's Conjecture
Published • View PublicationBIB
Let $n$ be a positive integer and let $S$ be a sequence of $n$ integers in the interval $[0,n-1]$. If there is an $r$ such that any nonempty subsequence with sum $\equiv 0$ $\pmod n$ has length $=r,$ then $S$ has at most two distinct values. This proves a conjecture of R. L. Graham. A previous result of P. Erdős and E. Szemerédi shows the validity of this conjecture if $n$ is a large prime number.
2009-02-27
A combinatorial analysis of interacting diffusions
Published • View PublicationBIB
We consider a particular class of n-dimensional homogeneous diffusions all of which have an identity diffusion matrix and a drift function that is piecewise constant and scale invariant. Abstract stochastic calculus immediately gives us general results about existence and uniqueness in law and invariant probability distributions when they exist. These invariant distributions are probability measures on the $n$-dimensional space and can be extremely resistant to a more detailed understanding. To have a better analysis, we construct a polyhedra such that the inward normal at its surface is given by the drift function and show that the finer structures of the invariant probability measure is intertwined with the geometry of the polyhedra. We show that several natural interacting Brownian particle models can thus be analyzed by studying the combinatorial fan generated by the drift function, particularly when these are simplicial. This is the case when the polyhedra is a polytope that is invariant under a Coxeter group action, which leads to an explicit description of the invariant measures in terms of iid Exponential random variables. Another class of examples is furnished by interactions indexed by weighted graphs all of which generate simplicial polytopes with $n !$ faces. We show that the proportion of volume contained in each component simplex corresponds to a probability distribution on the group of permutations, some of which have surprising connections with the classical urn models.
2009-02-26
Cyclic Codes and Sequences from a Class of Dembowski-Ostrom Functions
Let $q=p^n$ with $p$ be an odd prime. Let $0\leq k\leq n-1$ and $k\neq n/2$. In this paper we determine the value distribution of following exponential(character) sums \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1})}\quad(α\in \bF_{p^m},β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1}+\ga x)}\quad(α\in \bF_{p^m},β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_q\ra \bF_p$ and $\Tra_1^m: \bF_{p^m}\ra\bF_p$ are the canonical trace mappings and $ζ_p=e^{\frac{2πi}{p}}$ is a primitive $p$-th root of unity. As applications: (1). We determine the weight distribution of the cyclic codes $\cC_1$ and $\cC_2$ over $\bF_{p^t}$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $t$ is a divisor of $d=\gcd(n,k)$, and $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(p^k+1)}$ and $π^{-(p^{3k}+1)}$ over $\bF_{p^t}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of m-sequences.
2009-02-26
Cyclic Codes and Sequences: the Generalized Kasami Case
Published • View PublicationBIB
Let $q=2^n$ with $n=2m$ . Let $1\leq k\leq n-1$ and $k\neq m$. In this paper we determine the value distribution of following exponential sums \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1})}\quad(α\in \bF_{2^m},β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1}+\ga x)}\quad(α\in \bF_{2^m},β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_q\ra \bF_2$ and $\Tra_1^m: \bF_{p^m}\ra\bF_2$ are the canonical trace mappings. As applications: (1). We determine the weight distribution of the binary cyclic codes $\cC_1$ and $\cC_2$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(2^k+1)}$ and $π^{-(2^m+1)}$ over $\bF_{2}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of m-sequences. This paper is the binary version of Luo, Tang and Wang\cite{Luo Tan} and extends the results in Kasami\cite{Kasa1}, Van der Vlugt\cite{Vand2} and Zeng, Liu and Hu\cite{Zen Liu}.