arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82311 papers, 47607 authors in database)
1,2,3-Conjecture and 1,2-Conjecture for Sparse Graphs
Published in Discussiones Mathematicae Graph Theory. Vol. 34(4), 2014, pp. 769-799 • View Publication • BIB
We apply the Discharging Method to prove the 1,2,3-Conjecture and the 1,2-Conjecture for graphs with maximum average degree less than 8/3. Stronger results on these conjectures have been proved, but this is the first application of discharging to them, and the structure theorems and reducibility results are of independent interest.
2013-03-13
On the largest real root of independence polynomials of graphs, an ordering on graphs, and starlike trees
Let $G$ be a simple graph of order $n$. An independent set in a graph is a set of pairwise non-adjacent vertices. The independence polynomial of $G$ is the polynomial $I(G,x)=\sum_{k=0}^{n} s(G,k) x^{k}$, where $s(G,k)$ is the number of independent sets of $G$ of size $k$ and $s(G,0)=1$. Clearly all real roots of $I(G,x)$ are negative. Let $ξ(G)$ be the largest real root of $I(G,x)$. Let $H$ be a simple graph. By $G \succeq H$ we mean that $I(H,x)\geq I(G,x)$ for every $x$ in the interval $[ξ(G),0]$. We note that $G\succeq H$ implies that $ξ(G)\geq ξ(H)$. Also we let $G\succ H$ if and only if $G\succeq H$ and $I(G,x)\neq I(H,x)$. We prove that for every tree $T$ of order $n$, $S_n\succeq T\succeq P_n$, where $S_n$ and $P_n$ are the star and the path of order n, respectively. By $T=T(n_1,\ldots,n_k)$ we mean a tree $T$ which has a vertex $v$ of degree $k$ such that $T\setminus v=P_{n_1-1}+\cdots+P_{n_k-1}$, that is $T\setminus v$ is the disjoint union of the paths $P_{n_1-1},\ldots,P_{n_k-1}$. Let $X=(x_1,\ldots,x_k)$ and $Y=(y_1,\ldots,y_k)$, where $x_1\geq \cdots\geq x_k$ and $y_1\geq\cdots\geq y_k$ are real. By $X\succ Y$, we mean $x_1=y_1,\ldots,x_{t-1}=y_{t-1}$ and $x_t>y_t$ for some $t\in\{1,\ldots,k\}$. We let $X\succ_{d}Y$, if $X\neq Y$ and for every $j$, $1\leq j\leq k$, $\sum_{i=1}^{j}x_i\geq \sum_{i=1}^{j}y_i$. Among all trees with fixed number of vertices, we show that if $(m_1,\ldots,m_k)\succ_{d}(n_1,\ldots,n_k)$, then $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$. We conjecture that $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$ if and only if $(m_1,\ldots,m_k)\succ (n_1,\ldots,n_k)$, where $\sum_{i=1}^kn_i=\sum_{i=1}^km_i$.
2013-03-13 v3
Singularity analysis via the iterated kernel method
Published in Combinator. Probab. Comp. 23 (2014) 861-888 • View Publication • BIB
In the quarter plane, five lattice path models with unit steps have resisted the otherwise general approach of Fayolle, Rachel, and Kurkova. Here we consider these five models, called the singular models, and prove that the generating functions marking the number of walks of a given length are not D-finite -- thus finishing the proof of a conjecture of Bousquet-Mélou and Mishna. Furthermore, we provide exact and asymptotic enumerative formulas for the number of such walks.
2013-03-12 v2
A note on sumsets of subgroups in $\mathbb Z_p^*$
Published • View Publication • BIB
Let $A$ be a multiplicative subgroup of $\mathbb Z_p^*$. Define the $k$-fold sumset of $A$ to be $kA=\{x_1+\dots+x_k:x_i \in A,1\leq i\leq k\}$. We show that $6A\supseteq \mathbb Z_p^*$ for $|A| > p^{\frac {11}{23} +ε}$. In addition, we extend a result of Shkredov to show that $|2A|\gg |A|^{\frac 85-ε}$ for $|A|\ll p^{\frac 59}$.
2013-03-12
On Choosability with Separation of Planar Graphs with Forbidden Cycles
Published • View Publication • BIB
We study choosability with separation which is a constrained version of list coloring of graphs. A (k,d)-list assignment L on a graph G is a function that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation. We prove that planar graphs without 4-cycles are (3,1)-choosable and that planar graphs without 5-cycles and 6-cycles are (3,1)-choosable. In addition, we give an alternative and slightly stronger proof that triangle-free planar graphs are $(3,1)$-choosable.
2013-03-12
Signed Graphs and Geometry
Published in Journal of Combinatorics, Information and System Sciences, 37 (2012), no. 2-4, 95--143. Zbl 1301.05162 • Search Publication
These lecture notes are a personal introduction to signed graphs, concentrating on the aspects that have been most persistently interesting to me. They are just a few corners of signed graph theory; I am leaving out a great deal. The emphasis is on the way signed graphs arise naturally from geometry, especially from the geometry of the classical root systems. Most of the properties I discuss generalize those of unsigned graphs, but the constructions and proofs are often more complicated. My aim is a coherent presentation of the subject, with a few illustrative proofs and adequate references. Hence the arrangement of the notes is topical with only occasional remarks about the historical course of development. Though this is mainly an expository survey, some of the results have not hitherto been published.
2013-03-12 v2
Analysis of the binary asymmetric joint sparse form
Published in Combinator. Probab. Comp. 23 (2014) 1087-1113 • View Publication • BIB
We consider redundant binary joint digital expansions of integer vectors. The redundancy is used to minimize the Hamming weight, i.e., the number of nonzero digit vectors. This leads to efficient linear combination algorithms in abelian groups, which are for instance used in elliptic curve cryptography. If the digit set is a set of contiguous integers containing the zero, a special syntactical condition is known to minimize the weight. We analyze the optimal weight of all non-negative integer vectors with maximum entry less than N. The expectation and the variance are given with a main term and a periodic fluctuation in the second order term. Finally, we prove asymptotic normality.
A Model Theory Approach to Structural Limits
Published in Commentationes Mathematicae Universitatis Carolinae 53, 4 (2012) 581-603 • Search Publication
The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an example, we generalize limits of bounded degree graphs from subgraph testing to finite model testing.
2013-03-12
A Note on Connected Dominating Set in Graphs Without Long Paths And Cycles
The ratio of the connected domination number, $γ_c$, and the domination number, $γ$, is strictly bounded from above by 3. It was shown by Zverovich that for every connected $(P_5,C_5)$-free graph, $γ_c = γ$. In this paper, we investigate the interdependence of $γ$ and $γ_c$ in the class of $(P_k,C_k)$-free graphs, for $k \ge 6$. We prove that for every connected $(P_6,C_6)$-free graph, $γ_c \le γ+ 1$ holds, and there is a family of $(P_6,C_6)$-free graphs with arbitrarily large values of $γ$ attaining this bound. Moreover, for every connected $(P_8,C_8)$-free graph, $γ_c / γ\le 2$, and there is a family of $(P_7,C_7)$-free graphs with arbitrarily large values of $γ$ attaining this bound. In the class of $(P_9,C_9)$-free graphs, the general bound $γ_c / γ\le 3$ is asymptotically sharp.
2013 Unit Vectors in the Plane
Given a norm on the plane and 2013 unit vectors in this norm, there is a signed sum of these vectors whose norm is at most one.
2013-03-12
The Erdős-Hajnal conjecture for rainbow triangles
Published • View Publication • BIB
We prove that every 3-coloring of the edges of the complete graph on n vertices without a rainbow triangle contains a set of order Omega(n^{1/3}log^2 n) which uses at most two colors, and this bound is tight up to a constant factor. This verifies a conjecture of Hajnal which is a case of the multicolor generalization of the well-known Erdős-Hajnal conjecture. We further establish a generalization of this result. For fixed positive integers s and r with s at most r, we determine a constant c_{r,s} such that the following holds. Every r-coloring of the edges of the complete graph on n vertices without a rainbow triangle contains a set of order Omega(n^{r(r-1)/s(s-1)}(\log n)^{c_{r,s}}) which uses at most s colors, and this bound is tight apart from the implied constant factor. The proof of the lower bound utilizes Gallai's classification of rainbow-triangle free edge-colorings of the complete graph, a new weighted extension of Ramsey's theorem, and a discrepancy inequality in edge-weighted graphs. The proof of the upper bound uses Erdős' lower bound on Ramsey numbers by considering lexicographic products of 2-edge-colorings of complete graphs without large monochromatic cliques.
2013-03-12
Traffic Congestion in Expanders, $(p,δ)$--Hyperbolic Spaces and Product of Trees
Published • View Publication • BIB
In this paper we define the notion of $(p,δ)$--Gromov hyperbolic space where we relax Gromov's {\it slimness} condition to allow that not all but a positive fraction of all triangles are $δ$--slim. Furthermore, we study maximum vertex congestion under geodesic routing and show that it scales as $Ω(p^2n^2/D_n^2)$ where $D_n$ is the diameter of the graph. We also construct a constant degree family of expanders with congestion $Θ(n^2)$ in contrast with random regular graphs that have congestion $O(n\log^{3}(n))$. Finally, we study traffic congestion on graphs defined as product of trees.
2013-03-12 v2
A canonical Ramsey theorem for exactly $m$-coloured complete subgraphs
Published • View Publication • BIB
Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$-coloured if each of the colours is used. We consider edge colourings of the complete graph on $\mathbb{N}$ with infinitely many colours and show that either one can find an $m$-coloured complete subgraph for every natural number $m$ or there exists an infinite subset $X \subset \mathbb{N}$ coloured in one of two canonical ways: either the colouring is injective on $X$ or there exists a distinguished vertex $v$ in $X$ such that $X \setminus \lbrace v \rbrace$ is $1$-coloured and each edge between $v$ and $X \setminus \lbrace v \rbrace$ has a distinct colour (all different to the colour used on $X \setminus \lbrace v \rbrace$). This answers a question posed by Stacey and Weidl in 1999. The techniques that we develop also enable us to resolve some further questions about finding $m$-coloured complete subgraphs in colourings with finitely many colours.
Inverse problems in Additive Number Theory and in Non-Abelian Group Theory
Published • View Publication • BIB
The aim of this paper is threefold: a) Finding new direct and inverse results in the additive number theory concerning Minkowski sums of dilates. b) Finding a connection between the above results and some direct and inverse problems in the theory of Baumslag-Solitar (non-abelian) groups. c) Solving certain inverse problems in Baumslag-Solitar groups or monoids, assuming appropriate small doubling properties.
2013-03-11
The Kadison-Singer problem in discrepancy theory, II
We apply Srivastava's spectral sparsification technique to a vector balancing version of the Kadison-Singer problem. The result is a one-sided version of the conjectured solution.
The Price of Connectivity for Vertex Cover
Published • View Publication • BIB
The vertex cover number of a graph is the minimum number of vertices that are needed to cover all edges. When those vertices are further required to induce a connected subgraph, the corresponding number is called the connected vertex cover number, and is always greater or equal to the vertex cover number. Connected vertex covers are found in many applications, and the relationship between those two graph invariants is therefore a natural question to investigate. For that purpose, we introduce the {\em Price of Connectivity}, defined as the ratio between the two vertex cover numbers. We prove that the price of connectivity is at most 2 for arbitrary graphs. We further consider graph classes in which the price of connectivity of every induced subgraph is bounded by some real number $t$. We obtain forbidden induced subgraph characterizations for every real value $t \leq 3/2$. We also investigate critical graphs for this property, namely, graphs whose price of connectivity is strictly greater than that of any proper induced subgraph. Those are the only graphs that can appear in a forbidden subgraph characterization for the hereditary property of having a price of connectivity at most $t$. In particular, we completely characterize the critical graphs that are also chordal. Finally, we also consider the question of computing the price of connectivity of a given graph. Unsurprisingly, the decision version of this question is NP-hard. In fact, we show that it is even complete for the class $Θ_2^P = P^{NP[\log]}$, the class of decision problems that can be solved in polynomial time, provided we can make $O(\log n)$ queries to an NP-oracle. This paves the way for a thorough investigation of the complexity of problems involving ratios of graph invariants.
2013-03-11 v3
Coloring planar graphs with three colors and no large monochromatic components
Published in Combinatorics, Probability, and Computing, 23/4:551--570, 2014 • View Publication • BIB
We prove the existence of a function $f :\mathbb{N} \to \mathbb{N}$ such that the vertices of every planar graph with maximum degree $Δ$ can be 3-colored in such a way that each monochromatic component has at most $f(Δ)$ vertices. This is best possible (the number of colors cannot be reduced and the dependence on the maximum degree cannot be avoided) and answers a question raised by Kleinberg, Motwani, Raghavan, and Venkatasubramanian in 1997. Our result extends to graphs of bounded genus.
2013-03-11 v2
Asymptotic distribution of integers with certain prime factorizations
Published in J. Number Theory 136 (2014), 87-99 • View Publication • BIB
Let $p_{1}<p_2<... <p_ν<...$ be the sequence of prime numbers and let $m$ be a positive integer. We give a strong asymptotic formula for the distribution of the set of integers having prime factorizations of the form $p_{m^{k_1}}p_{m^{k_{2}}...p_{m^{k_{n}}}$ with $k_{1}\le k_{2}\le...\le k_{n}$. Such integers originate in various combinatorial counting problems; when $m=2$, they arise as Matula numbers of certain rooted trees.
2013-03-11
On the Entropy of a Two Step Random Fibonacci Substitution
Published • View Publication • BIB
We consider a random generalisation of the classical Fibonacci substitution. The substitution we consider is defined as the rule mapping $\mathtt{a}\mapsto \mathtt{baa}$ and $\mathtt{b} \mapsto \mathtt{ab}$ with probability $p$ and $\mathtt{b} \mapsto \mathtt{ba}$ with probability $1-p$ for $0<p<1$ and where the random rule is applied each time it acts on a $\mathtt{b}$. We show that the topological entropy of this object is given by the growth rate of the set of inflated random Fibonacci words, and we exactly calculate its value.
2013-03-11
Rank-unimodality of Young's lattice via explicit chain decomposition
Young's lattice $L(m,n)$ consists of partitions having $m$ parts of size at most $n$, ordered by inclusion of the corresponding Ferrers diagrams. K. O'Hara gave the first constructive proof of the unimodality of the Gaussian polynomials by expressing the underlying ranked set of $L(m,n)$ as a disjoint union of products of centered rank-unimodal subsets. We construct a finer decomposition which is compatible with the partial order on Young's lattice, at the cost of replacing the cartesian product with a more general poset extension. As a corollary, we obtain an explicit chain decomposition which exhibits the rank-unimodality of $L(m,n)$. Moreover, this set of chains is closed under the natural rank-flipping involution given by taking complements of Ferrers diagrams.