arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-07-05
Primitivity and Independent Sets in Direct Products of Vertex-Transitive Graphs
Published • View Publication • BIB
We introduce the concept of the primitivity of independent set in vertex-transitive graphs, and investigate the relationship between the primitivity and the structure of maximum independent sets in direct products of vertex-transitive graphs. As a consequence of our main results, we positively solve an open problem related to the structure of independent sets in powers of vertex-transitive graphs.
Vertex colorings of simplicial complexes
We define an (r,s)-coloring of an abstract simplicial complex to be a coloring using r colors of the vertices so that in any simplex at most s vertices have the same color. We translate the problem of finding an (r,s)-coloring of a given simplex to a topological problem and to a ring theoretic problem. The topological version involves vector bundles over Davis--Januszkiewicz spaces and the algebraic one involves factorizations in Stanley-Reisner rings.
2010-07-05
Injective colorings of sparse graphs
Published in Discrete Math. Vol. 310, no. 21, 2010, pp. 2965-2973 • View Publication • BIB
Let $mad(G)$ denote the maximum average degree (over all subgraphs) of $G$ and let $χ_i(G)$ denote the injective chromatic number of $G$. We prove that if $mad(G) \leq 5/2$, then $χ_i(G)\leqΔ(G) + 1$; and if $mad(G) < 42/19$, then $χ_i(G)=Δ(G)$. Suppose that $G$ is a planar graph with girth $g(G)$ and $Δ(G)\geq 4$. We prove that if $g(G)\geq 9$, then $χ_i(G)\leqΔ(G)+1$; similarly, if $g(G)\geq 13$, then $χ_i(G)=Δ(G)$.
2010-07-04
Determinants and Compositions of Natural Numbers
We consider a particular type of matrices which belong at the same time to the class of Hessenberg and Toeplitz matrices, and whose determinants are equal to the number of a type of compositions of natural numbers. We prove a formula in which the number of weak compositions with a fixed number of zeroes is expressed in terms of the number of compositions without zeroes. Then we find a relationship between weak compositions and coefficients of characteristic polynomials of appropriate matrices. Finally, we prove three explicit formulas for weak compositions of a special kind.
2010-07-04 v2
The connective constant of the honeycomb lattice equals $\sqrt{2+\sqrt2}$
Published • View Publication • BIB
We provide the first mathematical proof that the connective constant of the hexagonal lattice is equal to $\sqrt{2+\sqrt 2}$. This value has been derived non rigorously by B. Nienhuis in 1982, using Coulomb gas approach from theoretical physics. Our proof uses a parafermionic observable for the self avoiding walk, which satisfies a half of the discrete Cauchy-Riemann relations. Establishing the other half of the relations (which conjecturally holds in the scaling limit) would also imply convergence of the self-avoiding walk to SLE(8/3).
2010-07-03
Bounded Outdegree and Extremal Length on Discrete Riemann Surfaces
Published in Conform. Geom. Dyn. 14 (2010), 194-201 • View Publication • BIB
Let $T$ be a triangulation of a Riemann surface. We show that the 1-skeleton of $T$ may be oriented so that there is a global bound on the outdegree of the vertices. Our application is to construct extremal metrics on triangulations formed from $T$ by attaching new edges and vertices and subdividing its faces. Such refinements provide a mechanism of convergence of the discrete triangulation to the classical surface. We will prove a bound on the distortion of the discrete extremal lengths of path families on $T$ under the refinement process. Our bound will depend only on the refinement and not on $T$. In particular, the result does not require bounded degree.
2010-07-03 v2
A characterization of Q-polynomial association schemes
Published • View Publication • BIB
We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.
2010-07-03 v2
Tropical Geometry and the Motivic Nearby Fiber
Published in Compositio Math. 148 (2012) 269-294 • View Publication • BIB
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a general fiber of the degeneration.
2010-07-02 v2
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids
Published • View Publication • BIB
Let $G$ be a matrix and $M(G)$ be the matroid defined by linear dependence on the set $E$ of column vectors of $G.$ Roughly speaking, a parcel is a subset of pairs $(f,g)$ of functions defined on $E$ to an Abelian group $A$ satisfying a coboundary condition (that $f-g$ is a flow over $A$ relative to $G$) and a congruence condition (that the size of the supports of $f$ and $g$ satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of $M(G)$ at a point $(λ-1,x-1)$ on the complex hyperbola $(λ- 1)(x-1) = |A|.$
2010-07-02 v2
Covering a graph by forests and a matching
Published • View Publication • BIB
We prove that for any positive integer $k$, the edges of any graph whose fractional arboricity is at most $k + 1/(3k+2)$ can be decomposed into $k$ forests and a matching.
2010-07-02 v2
Minor-minimal planar graphs of even branch-width
Published • View Publication • BIB
Let k>0 be an integer, let H be a minor-minimal graph in the projective plane such that every homotopically non-trivial closed curve intersects H at least k times, and let G be the planar double cover of H obtained by lifting G into the universal covering space of the projective plane, the sphere. We prove that G is minor-minimal of branch-width 2k. We also exhibit examples of minor-minimal planar graphs of branch-width 6 that do not arise this way.
2010-07-02
Star clusters in independence complexes of graphs
Published • View Publication • BIB
We introduce the notion of \textit{star cluster} of a simplex in a simplicial complex. This concept provides a general tool to study the topology of independence complexes of graphs. We use star clusters to answer a question arisen from works of Engström and Jonsson on the homotopy type of independence complexes of triangle-free graphs and to investigate a large number of examples which appear in the literature. We present an alternative way to study the chromatic number of a graph from a homotopical point of view and obtain new results regarding the connectivity of independence complexes.
2010-07-02 v3
Planar maps and continued fractions
Published in Commun. Math. Phys. 309:3 (2012) 623-662 • View Publication • BIB
We present an unexpected connection between two map enumeration problems. The first one consists in counting planar maps with a boundary of prescribed length. The second one consists in counting planar maps with two points at a prescribed distance. We show that, in the general class of maps with controlled face degrees, the solution for both problems is actually encoded into the same quantity, respectively via its power series expansion and its continued fraction expansion. We then use known techniques for tackling the first problem in order to solve the second. This novel viewpoint provides a constructive approach for computing the so-called distance-dependent two-point function of general planar maps. We prove and extend some previously predicted exact formulas, which we identify in terms of particular Schur functions.
2010-07-02 v3
Eulerian quasisymmetric functions for the type B Coxeter group and other wreath product groups
Published in Adv. in Appl. Math. 48 (2012) 465-505 • View Publication • BIB
Eulerian quasisymmetric functions were introduced by Shareshian and Wachs in order to obtain a q-analog of Euler's exponential generating function formula for the Eulerian numbers. They are defined via the symmetric group, and applying the stable and nonstable principal specializations yields formulas for joint distributions of permutation statistics. We consider the wreath product of the cyclic group with the symmetric group, also known as the group of colored permutations. We use this group to introduce colored Eulerian quasisymmetric functions, which are a generalization of Eulerian quasisymmetric functions. We derive a formula for the generating function of these colored Eulerian quasisymmetric functions, which reduces to a formula of Shareshian and Wachs for the Eulerian quasisymmetric functions. We show that applying the stable and nonstable principal specializations yields formulas for joint distributions of colored permutation statistics, which generalize the Shareshian-Wachs q-analog of Euler's formula, formulas of Foata and Han, and a formula of Chow and Gessel.
A categorification of Morelli's theorem
Published in Invent. Math. 186 (2011), no.1, 79-114 • View Publication • BIB
We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let $X$ be a proper toric variety of dimension $n$ and let $M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n$ be the Lie algebra of the compact dual (real) torus $T_\bR^\vee\cong U(1)^n$. Then there is a corresponding conical Lagrangian $Λ\subset T^*M_\bR$ and an equivalence of triangulated dg categories $\Perf_T(X) \cong \Sh_{cc}(M_\bR;Λ),$ where $\Perf_T(X)$ is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on $X$ and $\Sh_{cc}(M_\bR;Λ)$ is the triangulated dg category of complex of sheaves on $M_\bR$ with compactly supported, constructible cohomology whose singular support lies in $Λ$. This equivalence is monoidal---it intertwines the tensor product of coherent sheaves on $X$ with the convolution product of constructible sheaves on $M_\bR$.
The KO*-rings of BT^m, the Davis-Januszkiewicz Spaces and certain toric manifolds
This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology.
2010-07-01
Regular Labelings and Geometric Structures
Published • View Publication • BIB
Three types of geometric structure---grid triangulations, rectangular subdivisions, and orthogonal polyhedra---can each be described combinatorially by a regular labeling: an assignment of colors and orientations to the edges of an associated maximal or near-maximal planar graph. We briefly survey the connections and analogies between these three kinds of labelings, and their uses in designing efficient geometric algorithms.
Zero-sum problems with congruence conditions
Published • View Publication • BIB
For a finite abelian group $G$ and a positive integer $d$, let $\mathsf s_{d \mathbb N} (G)$ denote the smallest integer $\ell \in \mathbb N_0$ such that every sequence $S$ over $G$ of length $|S| \ge \ell$ has a nonempty zero-sum subsequence $T$ of length $|T| \equiv 0 \mod d$. We determine $\mathsf s_{d \mathbb N} (G)$ for all $d\geq 1$ when $G$ has rank at most two and, under mild conditions on $d$, also obtain precise values in the case of $p$-groups. In the same spirit, we obtain new upper bounds for the Erd{\H o}s--Ginzburg--Ziv constant provided that, for the $p$-subgroups $G_p$ of $G$, the Davenport constant $\mathsf D (G_p)$ is bounded above by $2 \exp (G_p)-1$. This generalizes former results for groups of rank two.
2010-07-01
Restricted inverse zero-sum problems in groups of rank two
Published • View Publication • BIB
Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $η(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at most, resp., the exponent of the group. For groups of rank two, we study the inverse problems associated to these constants, i.e., we investigate the structure of sequences of length $\so(G)-1$ and $η(G)-1$ that do not have such a subsequence. On the one hand, we show that the structure of these sequences is in general richer than expected. On the other hand, assuming a well-supported conjecture on this problem for groups of the form $C_m \oplus C_m$, we give a complete characterization of all these sequences for general finite abelian groups of rank two. In combination with partial results towards this conjecture, we get unconditional characterizations in special cases.
2010-07-01
An application of coding theory to estimating Davenport constants
Published • View Publication • BIB
We investigate a certain well-established generalization of the Davenport constant. For $j$ a positive integer (the case $j=1$, is the classical one) and a finite Abelian group $(G,+,0)$, the invariant $\Dav_j(G)$ is defined as the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $j$ disjoint non-empty zero-sum subsequences. We investigate these quantities for elementary $2$-groups of large rank (relative to $j$). Using tools from coding theory, we give fairly precise estimates for these quantities. We use our results to give improved bounds for the classical Davenport constant of certain groups.