Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Index coding via linear programming
Index Coding has received considerable attention recently motivated in part by real-world applications and in part by its connection to Network Coding. The basic setting of Index Coding encodes the problem input as an undirected graph and the fundamental parameter is the broadcast rate $β$, the average communication cost per bit for sufficiently long messages (i.e. the non-linear vector capacity). Recent nontrivial bounds on $β$ were derived from the study of other Index Coding capacities (e.g. the scalar capacity $β_1$) by Bar-Yossef et al (2006), Lubetzky and Stav (2007) and Alon et al (2008). However, these indirect bounds shed little light on the behavior of $β$: there was no known polynomial-time algorithm for approximating $β$ in a general network to within a nontrivial (i.e. $o(n)$) factor, and the exact value of $β$ remained unknown for any graph where Index Coding is nontrivial.
Our main contribution is a direct information-theoretic analysis of the broadcast rate $β$ using linear programs, in contrast to previous approaches that compared $β$ with graph-theoretic parameters. This allows us to resolve the aforementioned two open questions. We provide a polynomial-time algorithm with a nontrivial approximation ratio for computing $β$ in a general network along with a polynomial-time decision procedure for recognizing instances with $β=2$. In addition, we pinpoint $β$ precisely for various classes of graphs (e.g. for various Cayley graphs of cyclic groups) thereby simultaneously improving the previously known upper and lower bounds for these graphs. Via this approach we construct graphs where the difference between $β$ and its trivial lower bound is linear in the number of vertices and ones where $β$ is uniformly bounded while its upper bound derived from the naive encoding scheme is polynomially worse.
Improved Bounds for $r$-Identifying Codes of the Hex Grid
Published
• View Publication
• BIB
For any positive integer $r$, an $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and pairwise distinct. For a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We find a code of density less than $5/(6r)$, which is sparser than the prior best construction which has density approximately $8/(9r)$.
An inequality involving the second largest and smallest eigenvalue of a distance-regular graph
Published
• View Publication
• BIB
For a distance-regular graph with second largest eigenvalue (resp. smallest eigenvalue) \mu1 (resp. \muD) we show that (\mu1+1)(\muD+1)<= -b1 holds, where equality only holds when the diameter equals two. Using this inequality we study distance-regular graphs with fixed second largest eigenvalue.
Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
Published
• View Publication
• BIB
Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence $ρ$. If $ρ\ge 1$ then $\cT$ has an explicit specification (without using recursion) in terms of the operations of union, sum, stack, and the multiset operators $(n)$ and $(\ge n)$. Using this, one has an explicit expression for $\bT(x)$ in terms of the initial functions $x$ and $x\cdot \big(1-x^n\big)^{-1}$, the operations of addition and multiplication, and the Pólya exponentiation operators $\sE_n, \sE_{\ge n}$. Let $\cF$ be a monadic-second order class of finite forests, and let $\bF(x)=\sum_n f(n) x^n$ be its (ordinary) generating function. Suppose $\cF$ is closed under extraction of component trees and sums of forests. Using the above-mentioned structure theory for the class $\cT$ of trees in $\cF$, Compton's theory of 0--1 laws, and a significantly strengthened version of 2003 results of Bell and Burris on generating functions, we show that $\cF$ has a monadic second-order 0--1 law iff the radius of convergence of $\bF(x)$ is 1 iff the radius of convergence of $\bT(x)$ is $\ge 1$.
The Number of Inversions and the Major Index of Permutations are Asymptotically Joint-Independently Normal
We use recurrences (alias difference equations) to prove the longstanding conjecture that the two most important permutation statistics, namely the number of inversions and the major index, are asymptotically joint-independently-normal. We even derive more-precise-than needed asymptotic formulas for the (normalized) mixed moments. This is the fully revised second edition, incorportating the many insightful comments of nine conscientious NON-anonymous referees listed under the authors' names. This article is exclusively published in the on-line journal "Personal Journal of Shalosh B. Ekhad and Doron Zeilberger" and this arxiv.
Patrolling a Street Network is Strongly NP-Complete but in P for Tree Structures
We consider the following problem: Given a finite set of straight line segments in the plane, determine the positions of a minimal number of points on the segments, from which guards can see all segments. This problem can be interpreted as looking for a minimal number of locations of policemen, guards, cameras or other sensors, that can observe a network of streets, corridors, tunnels, tubes, etc. We show that the problem is strongly NP-complete even for a set of segments with a cubic graph structure, but in P for tree structures.
Constructions for cyclic sieving phenomena
Published in SIAM J. Discrete Math., 25(3), 1297-1314. (18 pages), 2011
• View Publication
• BIB
We show how to derive new instances of the cyclic sieving phenomenon from old ones via elementary representation theory. Examples are given involving objects such as words, parking functions, finite fields, and graphs.
Equality of Graver bases and universal Gröbner bases of colored partition identities
Published in Experimental Mathematics 2012, Vol. 21 (4), 395-401
• View Publication
• BIB
Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gröbner basis and the Graver basis. While the former is generally a proper subset of the latter, there are cases for which the two sets coincide. The most prominent examples among them are toric ideals of unimodular matrices. Equality of universal Gröbner basis and Graver basis is a combinatorial property of the toric ideal (or, of the defining matrix), providing interesting information about ideals of higher Lawrence liftings of a matrix. Nonetheless, a general classification of all matrices for which both sets agree is far from known. We contribute to this task by identifying all cases with equality within two families of matrices; namely, those defining rational normal scrolls and those encoding homogeneous primitive colored partition identities.
Normal surfaces as combinatorial slicings
Published in Jonathan Spreer. Normal surfaces as combinatorial slicings. Discrete Math., 311(14):1295-1309, 2011
• View Publication
• BIB
We investigate slicings of combinatorial manifolds as properly embedded co-dimension 1 submanifolds. A focus is given to dimension 3 where slicings are normal surfaces. In the case of 2-neighborly 3-manifolds and quadrangulated slicings, a lower bound on the number of quadrilaterals of normal surfaces depending on the genus g is presented. It is shown to be sharp for infinitely many values of g. Furthermore we classify slicings of combinatorial 3-manifolds with a maximum number of edges in the slicing.
Congruences for Bipartitions with Odd Parts Distinct
Published
• View Publication
• BIB
Hirschhorn and Sellers studied arithmetic properties of the number of partitions with odd parts distinct. In another direction, Hammond and Lewis investigated arithmetic properties of the number of bipartitions. In this paper, we consider the number of bipartitions with odd parts distinct. Let this number be denoted by $pod_{-2}(n)$. We obtain two Ramanujan type identities for $pod_{-2}(n)$, which imply that $pod_{-2}(2n+1)$ is even and $pod_{-2}(3n+2)$ is divisible by 3. Furthermore, we show that for any $α\geq 1$ and $n\geq 0$, $ pod_{-2}(3^{2α+1}n+\frac{23\times 3^{2α}-7}{8})$ is a multiple of 3 and $pod_{-2}(5^{α+1}n+\frac{11\times 5^α+1}{4})$ is divisible by 5. We also find combinatorial interpretations for the two congruences modulo 2 and 3.
Every planar graph without adjacent short cycles is 3-colorable
Two cycles are {\em adjacent} if they have an edge in common. Suppose that $G$ is a planar graph, for any two adjacent cycles $C_{1}$ and $C_{2}$, we have $|C_{1}| + |C_{2}| \geq 11$, in particular, when $|C_{1}| = 5$, $|C_{2}| \geq 7$. We show that the graph $G$ is 3-colorable.
Simple $S_r$-homotopy types of Hom complexes and box complexes associated to $r$-graphs
Published
• View Publication
• BIB
For a pair $(H_1,H_2)$ of graphs, Lovász introduced a polytopal complex called the Hom complex $\text{Hom}(H_1,H_2)$, in order to estimate topological lower bounds for chromatic numbers of graphs. The definition is generalized to hypergraphs. Denoted by $K_r^r$ the complete $r$-graph on $r$ vertices. Given an $r$-graph $H$, we compare $\text{Hom}(K_r^r,H)$ with the box complex $\mathsf{B}_{\text{edge}}(H)$, invented by Alon, Frankl and Lovász. We verify that $\text{Hom}(K_r^r,H)$ and $\mathsf{B}_{\text{edge}}(H)$, both are equipped with right actions of the symmetric group on $r$ letters $S_r$, are of the same simple $S_r$-homotopy type.
Linear recurrence relations for cluster variables of affine quivers
Published
• View Publication
• BIB
We prove that the frieze sequences of cluster variables associated with the vertices of an affine quiver satisfy linear recurrence relations. In particular, we obtain a proof of a recent conjecture by Assem-Reutenauer-Smith.
Cellular resolutions of cointerval ideals
Published
• View Publication
• BIB
Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.
Strictly monotonic multidimensional sequences and stable sets in pillage games
Published
• View Publication
• BIB
Let $S \subset \mathbb{R}^n$ have size $|S| > \ell^{2^n-1}$. We show that there are distinct points $\{x^1,..., x^{\ell+1}\} \subset S$ such that for each $i \in [n]$, the coordinate sequence $(x^j_i)_{j=1}^{\ell+1}$ is strictly increasing, strictly decreasing, or constant, and that this bound on $|S|$ is best possible. This is analogous to the \erdos-Szekeres theorem on monotonic sequences in $\real$. We apply these results to bound the size of a stable set in a pillage game. We also prove a theorem of independent combinatorial interest. Suppose $\{a^1,b^1,...,a^t,b^t\}$ is a set of $2t$ points in $\real^n$ such that the set of pairs of points not sharing a coordinate is precisely $\{\{a^1,b^1\},...,\{a^t,b^t\}\}$. We show that $t \leq 2^{n-1}$, and that this bound is best possible.
Six Little Squares and How Their Numbers Grow
Published in Journal of Integer Sequences 13 (2010), Article 10.6.2. MR 2659218 (2011j:05052). Zbl 1230.05062
• Search Publication
We find the numbers of $3 \times 3$ magic, semimagic, and magilatin squares, as functions either of the magic sum or of an upper bound on the entries in the square. Our results on magic and semimagic squares differ from previous ones in that we require the entries in the square to be distinct from each other and we derive our results not by \emph{ad hoc} reasoning but from the general geometric and algebraic method of our paper "An enumerative geometry for magic and magilatin labellings". Here we illustrate that method with a detailed analysis of $3\times3$ squares.
On translation invariant symmetric polynomials and Haldane's conjecture
Published in Topology and Physics: Proceedings of the Nankai International Conference in Memory of Xiao-Song Lin, Nankai Tracts in Mathematics 19:279-287, World Scientific 2008
• View Publication
• BIB
We show that the ring of translation invariant symmetric polynomials in n variables is isomorphic to the full polynomial ring in n-1 variables, in characteristic 0. We disprove a conjecture of Haldane regarding the structure of such polynomials. Our motivation is the fractional quantum Hall effect, where translation invariant (anti)symmetric complex n-variate polynomials characterize n-electron wavefunctions.
On the Homology of Configuration Spaces Associated to Centers of Mass
Published
• View Publication
• BIB
The aim of this paper is to make sample computations with the Salvetti complex of the "center of mass" arrangement introduced in [arXiv:math/0611732] by Cohen and Kamiyama. We compute the homology of the Salvetti complex of these arrangements with coefficients in the sign representation of symmetric groups on F_p in the case of four particles. We show, when p is an odd prime, the homology is isomorphic to the homology of the configuration space F(C,4) of distinct four points in the complex plane with the same coefficients. When p=2, we show the homology is different from that of F(C,4), hence obtain an alternative and more direct proof of a theorem of Cohen and Kamiyama in [arXiv:math/0611732].
Application of arrangement theory to unfolding models
Published in Advanced Studies in Pure Mathematics, vol.62, pp.399-41, 2012
• View Publication
• BIB
Arrangement theory plays an essential role in the study of the unfolding model used in many fields. This paper describes how arrangement theory can be usefully employed in solving the problems of counting (i) the number of admissible rankings in an unfolding model and (ii) the number of ranking patterns generated by unfolding models. The paper is mostly expository but also contains some new results such as simple upper and lower bounds for the number of ranking patterns in the unidimensional case.
Distributive Lattices, Affine Semigroups, and Branching Rules of the Classical Groups
Published
• View Publication
• BIB
We study algebras encoding stable range branching rules for the pairs of complex classical groups of the same type in the context of toric degenerations of spherical varieties. By lifting affine semigroup algebras constructed from combinatorial data of branching multiplicities, we obtain algebras having highest weight vectors in multiplicity spaces as their standard monomial type bases. In particular, we identify a family of distributive lattices and their associated Hibi algebras which can uniformly describe the stable range branching algebras for all the pairs we consider.