arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82139 papers, 47531 authors in database)
2012-11-06 v4
The dual tree of a recursive triangulation of the disk
Published in Annals of Probability 2015, Vol. 43, 738-781 • View Publication • BIB
In the recursive lamination of the disk, one tries to add chords one after another at random; a chord is kept and inserted if it does not intersect any of the previously inserted ones. Curien and Le Gall [Ann. Probab. 39 (2011) 2224-2270] have proved that the set of chords converges to a limit triangulation of the disk encoded by a continuous process $\mathscr{M}$. Based on a new approach resembling ideas from the so-called contraction method in function spaces, we prove that, when properly rescaled, the planar dual of the discrete lamination converges almost surely in the Gromov-Hausdorff sense to a limit real tree $\mathscr{T}$, which is encoded by $\mathscr{M}$. This confirms a conjecture of Curien and Le Gall.
2012-11-06
Two counterexamples for power ideals of arrangements
Published • View Publication • BIB
We disprove Holtz and Ron's conjecture that the power ideal C_{A,-2} of a hyperplane arrangement A (also called the "internal zonotopal space") is generated by A-monomials. We also show that, in contrast with the case k \geq -2, the Hilbert series of C_{A,k} is not determined by the matroid of A for k \leq -6.
2012-11-06
A short proof that $χ$ can be bounded $ε$ away from $Δ+1$ towards $ω$
Published • View Publication • BIB
In 1998 the second author proved that there is an $ε>0$ such that every graph satisfies $χ\leq \lceil (1-ε)(Δ+1)+εω\rceil$. The first author recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set intersecting every maximum clique. In this note we exploit the latter result to give a much shorter, simpler proof of the former. We include, as a certificate of simplicity, an appendix that proves all intermediate results with the exception of Hall's Theorem, Brooks' Theorem, the Lovász Local Lemma, and Talagrand's Inequality.
2012-11-05
How many colors guarantee a rainbow matching?
Published • View Publication • BIB
Given a coloring of the edges of a multi-hypergraph, a rainbow t-matching is a collection of t disjoint edges, each having a different color. In this note we study the problem of finding a rainbow $t$-matching in an r-partite r-uniform multi-hypergraph whose edges are colored with f colors such that every color class is a matching of size t. This problem was posed by Aharoni and Berger, who asked to determine the minimum number of colors which guarantees a rainbow matching. We improve on the known upper bounds for this problem for all values of the parameters. In particular for every fixed r, we give an upper bound which is polynomial in t, improving the superexponential estimate of Alon. Our proof also works in the setting not requiring the hypergraph to be r-partite.
2012-11-05 v2
Hankel determinants of some polynomial sequences
We give simple new proofs of some Hankel determinant evaluations by Omer Egecioglu and Aleksandar Cvetkovic, Predrag Rajkovic and Milos Ivkovic and prove analogous results for sums of moments of symmetric orthogonal polynomials.
Biregular cages of girth five
Published in Electron. J. Combin. 20(1) (2013) #P71, 1--14 • View Publication • BIB
Let $2 \le r < m$ and $g$ be positive integers. An $({r,m};g)$--graph} (or biregular graph) is a graph with degree set ${r,m}$ and girth $g$, and an $({r,m};g)$-cage (or biregular cage) is an $({r,m};g)$-graph of minimum order $n({r,m};g)$. If $m=r+1$, an $({r,m};g)$-cage is said to be a semiregular cage. In this paper we generalize the reduction and graph amalgam operations from M. Abreu, G. Araujo-Pardo, C. Balbuena, D. Labbate (2011) on the incidence graphs of an affine and a biaffine plane obtaining two new infinite families of biregular cages and two new semiregular cages. The constructed new families are $({r,2r-3};5)$-cages for all $r=q+1$ with $q$ a prime power, and $({r,2r-5};5)$-cages for all $r=q+1$ with $q$ a prime. The new semiregular cages are constructed for r=5 and 6 with 31 and 43 vertices respectively.
2012-11-04
On the Non-existence of Lattice Tilings by Quasi-crosses
Published • View Publication • BIB
We study necessary conditions for the existence of lattice tilings of $\R^n$ by quasi-crosses. We prove non-existence results, and focus in particular on the two smallest unclassified shapes, the $(3,1,n)$-quasi-cross and the $(3,2,n)$-quasi-cross. We show that for dimensions $n\leq 250$, apart from the known constructions, there are no lattice tilings of $\R^n$ by $(3,1,n)$-quasi-crosses except for ten remaining cases, and no lattice tilings of $\R^n$ by $(3,2,n)$-quasi-crosses except for eleven remaining cases.
2012-11-04 v3
Some properties of symbol algebras of degree three
In this paper we will study some properties of the matrix representations of symbol algebras of degree three, we study some equations with coefficients in these algebras, we find an octonion algebra in a symbol algebra of degree three, we define the Fibonacci symbol elements and we give some properties of them.
2012-11-04 v6
The Solecki submeasures and densities on groups
We introduce the Solecki submeasure $σ(A)=\inf_F\sup_{x,y\in G}|F\cap xAy|/|F|$ and its left and right modifications on a group $G$, and study the interplay between the Solecki submeasure and the Haar measure on compact topological groups. Also we show that the right Solecki density on a countable amenable group coincides with the upper Banach density $d^*$ which allows us to generalize some fundamental results of Bogoliuboff, Folner, Cotlar and Ricabarra, Ellis and Keynes about difference sets and Jin, Beiglbock, Bergelson and Fish about the sumsets to the class of all amenable groups.
2012-11-04
Shattering-extremal set systems of small VC-dimension
We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S={F \cap S : F \in \mathcal{F}}$. The Sauer inequality states that in general, a set system $\mathcal{F}$ shatters at least $|\mathcal{F}|$ sets. Here we concentrate on the case of equality. A set system is called shattering-extremal if it shatters exactly $|\mathcal{F}|$ sets. We characterize shattering extremal set systems of Vapnik-Chervonenkis dimension 1 in terms of their inclusion graphs. Also from the perspective of extremality, we relate set systems of bounded Vapnik-Chervonenkis dimension to their projections.
2012-11-03
Experimental Results of the Search for Unitals in Projective Planes of Order 25
In this paper we present the results from a program developed by the author that finds the unitals of the known 193 projective planes of order 25.. There are several planes for which we have not found any unital. One or more than one unitals have been found for most of the planes. The found unitals for a given plane are nonisomorphic each other. There are a few unitals isomorphic to a unital of another plane. A t - (v; k; λ) design D is a set X of points together with a family B of k-subsets of X called blocks with the property that every t points are contained in exactly λ blocks. The design with t = 2 is called a block-design. The block-design is symmetric if the role of the points and blocks can be changed and the resulting confguration is still a block-design. A projective plane of order n is a symmetric 2-design with v = n2 + n + 1, k = n + 1, λ = 1. The blocks of such a design are called lines. A unital in a projective plane of order n = q2 is a set U of q3 + 1 points that meet every line in one or q + 1 points. In the case projective planes of order n = 25 we have: q = 5, the projective plane is 2 - (651; 26; 1) design, the unital is a subset of q3 + 1 = 53+ 1 = 126 points and every line meets 1 or 6 points from the subset
2012-11-03 v7
Chromatic number, induced cycles, and non-separating cycles
Published • View Publication • BIB
We study two parameters obtained from the Euler characteristic by replacing the number of faces with that of induced and induced non-separating cycles. By establishing monotonicity of such parameters under certain homomorphism and edge contraction, we obtain new upper bounds on the chromatic number in terms of the number of induced cycles and the Hadwiger number in terms of the number of induced non-separating cycles. As an application, we show that a 3-connected graph with average degree $k\ge 2$ have at least $(k-1)|V|+Ck^{3}\log^{3/2}k$ induced non-separating cycles for some explicit constant $C>0$. This improves the previous best lower bound $(k-1)|V|+1$, which follows from Tutte's cycle space theorem. We also give a short proof of this theorem of Tutte.
A Combinatorial Interpretation of the Joint Cumulant
In this paper, we apply the combinatorial proof technique of Description, Involution, Exceptions (DIE) to prove various known identities for the joint cumulant. Consider a set of random variables $S = \{X_1,..., X_n\} $. Motivated by the definition of the joint cumulant, we define $ \sC(S) $ as the set of cyclically arranged partitions of $S$, allowing us to express the joint cumulant of $ S $ as a weighted, alternating sum over $\sC(S)$. We continue to define other combinatorial objects that allow us to rewrite expressions originally in terms of the joint cumulant as weighted sums over the set of these combinatorial objects. Then by constructing weight-preserving, sign-reversing involutions on these objects, we evaluate the original expressions to prove the identities, demonstrating the utility of DIE.
2012-11-02
Improved rank bounds for design matrices and a new proof of Kelly's theorem
Published • View Publication • BIB
We study the rank of complex sparse matrices in which the supports of different columns have small intersections. The rank of these matrices, called design matrices, was the focus of a recent work by Barak et. al. (BDWY11) in which they were used to answer questions regarding point configurations. In this work we derive near-optimal rank bounds for these matrices and use them to obtain asymptotically tight bounds in many of the geometric applications. As a consequence of our improved analysis, we also obtain a new, linear algebraic, proof of Kelly's theorem, which is the complex analog of the Sylvester-Gallai theorem.
Sylvester-Gallai type theorems for approximate collinearity
Published • View Publication • BIB
We study questions in incidence geometry where the precise position of points is `blurry' (e.g. due to noise, inaccuracy or error). Thus lines are replaced by narrow tubes, and more generally affine subspaces are replaced by their small neighborhood. We show that the presence of a sufficiently large number of approximately collinear triples in a set of points in d dimensional complex space implies that the points are close to a low dimensional affine subspace. This can be viewed as a stable variant of the Sylvester-Gallai theorem and its extensions. Building on the recently found connection between Sylvester-Gallai type theorems and complex Locally Correctable Codes (LCCs), we define the new notion of stable LCCs, in which the (local) correction procedure can also handle small perturbations in the euclidean metric. We prove that such stable codes with constant query complexity do not exist. No impossibility results were known in any such local setting for more than 2 queries.
Reverse Chvátal-Gomory rank
Published • View Publication • BIB
We introduce the reverse Chvátal-Gomory rank r*(P) of an integral polyhedron P, defined as the supremum of the Chvátal-Gomory ranks of all rational polyhedra whose integer hull is P. A well-known example in dimension two shows that there exist integral polytopes P with r*(P) equal to infinity. We provide a geometric characterization of polyhedra with this property in general dimension, and investigate upper bounds on r*(P) when this value is finite.
2012-11-02 v2
On graphlike k-dissimilarity vectors
Published • View Publication • BIB
Let {\cal G}=(G,w) be a positive-weighted simple finite graph, that is, let G be a simple finite graph endowed with a function w from the set of the edges of G to the set of the positive real numbers. For any subgraph G' of G, we define w(G') to be the sum of the weights of the edges of G'. For any i_1,..., i_k vertices of G, let D_{i_1,.... i_k}({\cal G}) be the minimum of the weights of the subgraphs of G connecting i_1,..., i_k. The D_{i_1,.... i_k}({\cal G}) are called k-weights of {\cal G}. Given a family of positive real numbers parametrized by the k-subsets of {1,..., n}, {D_I}_{I k-subset of {1,...,n}}, we can wonder when there exist a weighted graph {\cal G} (or a weighted tree) and an n-subset {1,..., n} of the set of its vertices such that D_I({\cal G}) =D_I for any I k-subset of {1,...,n}. In this paper we study this problem in the case k=n-1.
2012-11-02
Sequence variations of the 1-2-3 Conjecture and irregularity strength
Published • View Publication • BIB
Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights. Bartnicki, Grytczuk, and Niwcyk (2009) made a stronger conjecture, that each edge's weight may be chosen from an arbitrary list of size 3 rather than {1,2,3}. We examine a variation of these conjectures, where each vertex is coloured with a sequence of edge weights. Such a colouring relies on an ordering of the graph's edges, and so two variations arise -- one where we may choose any ordering of the edges and one where the ordering is fixed. In the former case, we bound the list size required for any graph. In the latter, we obtain a bound on list sizes for graphs with sufficiently large minimum degree. We also extend our methods to a list variation of irregularity strength, where each vertex receives a distinct sequence of edge weights.
2012-11-02 v4
Stein's method and the rank distribution of random matrices over finite fields
Published in Annals of Probability 2015, Vol. 43, No. 3, 1274-1314 • View Publication • BIB
With ${\mathcal{Q}}_{q,n}$ the distribution of $n$ minus the rank of a matrix chosen uniformly from the collection of all $n\times(n+m)$ matrices over the finite field $\mathbb{F}_q$ of size $q\ge2$, and ${\mathcal{Q}}_q$ the distributional limit of ${\mathcal{Q}}_{q,n}$ as $n\rightarrow\infty$, we apply Stein's method to prove the total variation bound $\frac{1}{8q^{n+m+1}}\leq\|{\mathcal{Q}}_{q,n}-{\mathcal{Q}}_q\|_{\mathrm{TV}}\leq\frac{3}{q^{n+m+1}}$. In addition, we obtain similar sharp results for the rank distributions of symmetric, symmetric with zero diagonal, skew symmetric, skew centrosymmetric and Hermitian matrices.
2012-11-02
Perfect State Transfer on Signed Graphs
Published in Quantum Information and Computation, vol. 13, no. 5&6, pages 511-530, 2013 • View Publication • BIB
We study perfect state transfer of quantum walks on signed graphs. Our aim is to show that negative edges are useful for perfect state transfer. Specific results we prove include: (1) The signed join of a negative 2-clique with any positive (n,3)-regular graph has perfect state transfer even if the unsigned join does not. Curiously, the perfect state transfer time improves as n increases. (2) A signed complete graph has perfect state transfer if its positive subgraph is a regular graph with perfect state transfer and its negative subgraph is periodic. This shows that signing is useful for creating perfect state transfer since no complete graph (except for the 2-clique) has perfect state transfer. (3) The double-cover of a signed graph has perfect state transfer if the positive subgraph has perfect state transfer and the negative subgraph is periodic. Here, signing is useful for constructing unsigned graphs with perfect state transfer. Furthermore, we study perfect state transfer on a family of signed graphs called the exterior powers which is derived from a many-fermion quantum walk on graphs.