arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81914 papers, 47441 authors in database)
2010-06-01 v2
Topological transversals to a family of convex sets
Published in Discrete and Computational Geometry, 46:2, 2011, 283-300 • View PublicationBIB
Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F $ has a \emph{topological $ρ$-transversal of index $(m,k)$} ($ρ<m$, $0<k\leq d-m$) if there are, homologically, as many transversal $m$-planes to $\mathcal F$ as $m$-planes containing a fixed $ρ$-plane in $\mathbb R^{m+k}$. Clearly, if $\mathcal F$ has a $ρ$-transversal plane, then $\mathcal F$ has a topological $ρ$-transversal of index $(m,k),$ for $ρ<m$ and $k\leq d-m$. The converse is not true in general. We prove that for a family $\mathcal F$ of $ρ+k+1$ compact convex sets in $\mathbb R^d$ a topological $ρ$-transversal of index $(m,k)$ implies an ordinary $ρ$-transversal. We use this result, together with the multiplication formulas for Schubert cocycles, the Lusternik-Schnirelmann category of the Grassmannian, and different versions of the colorful Helly theorem by Bárány and Lovász, to obtain some geometric consequences.
2010-06-01
P-matrices and signed digraphs
Published • View PublicationBIB
We associate a signed digraph with a list of matrices whose dimensions permit them to be multiplied, and whose product is square. Cycles in this graph have a parity, that is, they are either even (termed e-cycles) or odd (termed o-cycles). The absence of e-cycles in the graph is shown to imply that the matrix product is a P0-matrix, i.e., all of its principal minors are nonnegative. Conversely, the presence of an e-cycle is shown to imply that there exists a list of matrices associated with the graph whose product fails to be a P0-matrix. The results generalise a number of previous results relating P- and P0-matrices to graphs.
2010-06-01
Odd Khovanov homology of principally unimodular bipartite graph-links
We define integral odd Khovanov homology of principally unimodular bipartite graph-links.
A combinatorial identity for studying Sato-Tate type problems
We derive a combinatorial identity which is useful in studying the distribution of Fourier coefficients of L-functions by allowing us to pass from knowledge of moments of the coefficients to the distribution of the coefficients.
2010-06-01
Circular Sequences and the Diameter of Multipermutohedra
We derive bounds on the number of switches at an arbitrary set of positions in a circular sequence of permutations and relate them to the diameter of Multipermutohedra.
2010-06-01 v3
Computing Node Polynomials for Plane Curves
Published • View PublicationBIB
According to the Göttsche conjecture (now a theorem), the degree N^{d, delta} of the Severi variety of plane curves of degree d with delta nodes is given by a polynomial in d, provided d is large enough. These "node polynomials" N_delta(d) were determined by Vainsencher and Kleiman-Piene for delta <= 6 and delta <= 8, respectively. Building on ideas of Fomin and Mikhalkin, we develop an explicit algorithm for computing all node polynomials, and use it to compute N_delta(d) for delta <= 14. Furthermore, we improve the threshold of polynomiality and verify Göttsche's conjecture on the optimal threshold up to delta <= 14. We also determine the first 9 coefficients of N_delta(d), for general delta, settling and extending a 1994 conjecture of Di Francesco and Itzykson.
2010-05-31 v3
Generalized permutohedra, h-vector of cotransversal matroids and pure O-sequences
Published • View PublicationBIB
Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.
2010-05-31
RSK type correspondence of Pictures and Littlewood-Richardson Crystals
Published • View PublicationBIB
We present a Robinson-Schensted-Knuth type one-to-one correspondence between the set of pictures and the set of pairs of Littlewood-Richardson crystals.
2010-05-31 v3
Choosability of a weighted path and free-choosability of a cycle
A graph $G$ with a list of colors $L(v)$ and weight $w(v)$ for each vertex $v$ is $(L,w)$-colorable if one can choose a subset of $w(v)$ colors from $L(v)$ for each vertex $v$, such that adjacent vertices receive disjoint color sets. In this paper, we give necessary and sufficient conditions for a weighted path to be $(L,w)$-colorable for some list assignments $L$. Furthermore, we solve the problem of the free-choosability of a cycle.
2010-05-31 v3
On the hypercompetition numbers of hypergraphs
Published in Ars Combinatoria 100 (2011) 151-159 • Search Publication
The competition hypergraph $C{\cH}(D)$ of a digraph $D$ is the hypergraph such that the vertex set is the same as $D$ and $e \subseteq V(D)$ is a hyperedge if and only if $e$ contains at least 2 vertices and $e$ coincides with the in-neighborhood of some vertex $v$ in the digraph $D$. Any hypergraph with sufficiently many isolated vertices is the competition hypergraph of an acyclic digraph. The hypercompetition number $hk(\cH)$ of a hypergraph $\cH$ is defined to be the smallest number of such isolated vertices. In this paper, we study the hypercompetition numbers of hypergraphs. First, we give two lower bounds for the hypercompetition numbers which hold for any hypergraphs. And then, by using these results, we give the exact hypercompetition numbers for some family of uniform hypergraphs. In particular, we give the exact value of the hypercompetition number of a connected graph.
2010-05-31
Twisting the Stern sequence
We describe a twisted version of the Stern sequence and study a few of its properties.
2010-05-31
A Generalization of NBC Bases to Broken Circuit Complexes of Matroids
Brown has shown that the Stanley-Reisner ring of the broken circuit complex of a graph has a linear system of parameters which is defined in terms of the circuits and cocircuits of the graph. Later on Brown and Sagan conjectured a special set of monomials - a so-called NBC basis - described in terms of the circuits and cocircuits of the graph to be a monomial basis for the corresponding quotient of the Stanley-Reisner ring and proved this to be true for theta and phi graphs. We generalize the aforementioned linear system of parameters to broken circuit complexes of regular matroids and transfer the notion of NBC bases to the general setting of regular matroids. We are able to obtain the analogous results to the ones of Brown and Sagan in this more general context. We show a deletion-contraction axiom for the existence of NBC bases. Using this results we identify two infinite classes of matroids which have NBC bases and which are the matroid theoretic analogue of theta and phi graphs.
2010-05-31 v2
Pancyclic subgraphs of random graphs
Published • View PublicationBIB
An $n$-vertex graph is called pancyclic if it contains a cycle of length $t$ for all $3 \leq t \leq n$. In this paper, we study pancyclicity of random graphs in the context of resilience, and prove that if $p \gg n^{-1/2}$, then the random graph $G(n,p)$ a.a.s. satisfies the following property: Every Hamiltonian subgraph of $G(n,p)$ with more than $(1/2 + o(1)){n \choose 2}p$ edges is pancyclic. This result is best possible in two ways. First, the range of $p$ is asymptotically tight; second, the proportion 1/2 of edges cannot be reduced. Our theorem extends a classical theorem of Bondy, and is closely related to a recent work of Krivelevich, Lee, and Sudakov. The proof uses a recent result of Schacht (also independently obtained by Conlon and Gowers).
2010-05-31 v2
Flexagons yield a curious Catalan number identity
Published • View PublicationBIB
Hexaflexagons were popularized by the late Martin Gardner in his first Scientific American column in 1956. Oakley and Wisner showed that they can be represented abstractly by certain recursively defined permutations called pats, and deduced that they are counted by the Catalan numbers. Counting pats by number of descents yields the curious identity Sum[1/(2n-2k+1)binom{2n-2k+1}{k}binom{2k}{n-k},k=0..n] = C(n), where only the middle third of the summands are nonzero.
Matroid automorphisms of the H_4 root system
We study the rank 4 linear matroid $M(H_4)$ associated with the 4-dimensional root system $H_4$. This root system coincides with the vertices of the 600-cell, a 4-dimensional regular solid. We determine the automorphism group of this matroid, showing half of the 14,400 automorphisms are geometric and half are not. We prove this group is transitive on the flats of the matroid, and also prove this group action is primitive. We use the incidence properties of the flats and the {\it orthoframes} of the matroid as a tool to understand these automorphisms, and interpret the flats geometrically.
The potential to improve the choice: list conflict-free coloring for geometric hypergraphs
Published • View PublicationBIB
Given a geometric hypergraph (or a range-space) $H=(V,\cal E)$, a coloring of its vertices is said to be conflict-free if for every hyperedge $S \in \cal E$ there is at least one vertex in $S$ whose color is distinct from the colors of all other vertices in $S$. The study of this notion is motivated by frequency assignment problems in wireless networks. We study the list-coloring (or choice) version of this notion. In this version, each vertex is associated with a set of (admissible) colors and it is allowed to be colored only with colors from its set. List coloring arises naturally in the context of wireless networks. Our main result is a list coloring algorithm based on a new potential method. The algorithm produces a stronger unique-maximum coloring, in which colors are positive integers and the maximum color in every hyperedge occurs uniquely. As a corollary, we provide asymptotically sharp bounds on the size of the lists required to assure the existence of such unique-maximum colorings for many geometric hypergraphs (e.g., discs or pseudo-discs in the plane or points with respect to discs). Moreover, we provide an algorithm, such that, given a family of lists with the appropriate sizes, computes such a coloring from these lists.
2010-05-29
Equivalence classes of permutations avoiding a pattern
Given a permutation pattern p and an equivalence relation on permutations, we study the corresponding equivalence classes all of whose members avoid p. Four relations are studied: Conjugacy, order isomorphism, Knuth-equivalence and toric equivalence. Each of these produces a known class of permutations or a known counting sequence. For example, involutions correspond to conjugacy, and permutations whose insertion tableau is hook-shaped with 2 in the first row correspond to Knuth-equivalence. These permutations are equinumerous with certain congruence classes of graph endomorphisms. In the case of toric equivalence we find a class of permutations that are counted by the Euler totient function, with a subclass counted by the number-of-divisors function. We also provide a new symmetry for bivincular patterns that produces some new non-trivial Wilf-equivalences
2010-05-29
Almost optimal pairing strategy for Tic-Tac-Toe with numerous directions
Published • View PublicationBIB
We show that there is an $m=2n+o(n)$, such that, in the Maker-Breaker game played on $\Z^d$ where Maker needs to put at least $m$ of his marks consecutively in one of $n$ given winning directions, Breaker can force a draw using a pairing strategy. This improves the result of Kruczek and Sundberg who showed that such a pairing strategy exits if $m\ge 3n$. A simple argument shows that $m$ has to be at least $2n+1$ if Breaker is only allowed to use a pairing strategy, thus the main term of our bound is optimal.
2010-05-29 v2
The Tutte-Potts connection in the presence of an external magnetic field
Published in Adv. in Appl. Math., 47 (2011) 772-782 • View PublicationBIB
The classical relationship between the Tutte polynomial of graph theory and the Potts model of statistical mechanics has resulted in valuable interactions between the disciplines. Unfortunately, it does not include the external magnetic fields that appear in most Potts model applications. Here we define the V-polynomial, which lifts the classical relationship between the Tutte polynomial and the zero field Potts model to encompass external magnetic fields. The V-polynomial generalizes Nobel and Welsh's W-polynomial, which extends the Tutte polynomial by incorporating vertex weights and adapting contraction to accommodate them. We prove that the variable field Potts model partition function (with its many specializations) is an evaluation of the V-polynomial, and hence a polynomial with deletion-contraction reduction and Fortuin-Kasteleyn type representation. This unifies an important segment of Potts model theory and brings previously successful combinatorial machinery, including complexity results, to bear on a wider range of statistical mechanics models.
Component Evolution in General Random Intersection Graphs
Published • View PublicationBIB
Random intersection graphs (RIGs) are an important random structure with applications in social networks, epidemic networks, blog readership, and wireless sensor networks. RIGs can be interpreted as a model for large randomly formed non-metric data sets. We analyze the component evolution in general RIGs, and give conditions on existence and uniqueness of the giant component. Our techniques generalize existing methods for analysis of component evolution: we analyze survival and extinction properties of a dependent, inhomogeneous Galton-Watson branching process on general RIGs. Our analysis relies on bounding the branching processes and inherits the fundamental concepts of the study of component evolution in Erdős-Rényi graphs. The major challenge comes from the underlying structure of RIGs, which involves its both the set of nodes and the set of attributes, as well as the set of different probabilities among the nodes and attributes.