Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Local resilience and Hamiltonicity Maker-Breaker games in random-regular graphs
Published in Combinatorics, Probability, and Computing, 20(2):173--211, 2011
• View Publication
• BIB
For an increasing monotone graph property $\mP$ the \emph{local resilience} of a graph $G$ with respect to $\mP$ is the minimal $r$ for which there exists of a subgraph $H\subseteq G$ with all degrees at most $r$ such that the removal of the edges of $H$ from $G$ creates a graph that does not possesses $\mP$. This notion, which was implicitly studied for some ad-hoc properties, was recently treated in a more systematic way in a paper by Sudakov and Vu. Most research conducted with respect to this distance notion focused on the Binomial random graph model $\GNP$ and some families of pseudo-random graphs with respect to several graph properties such as containing a perfect matching and being Hamiltonian, to name a few. In this paper we continue to explore the local resilience notion, but turn our attention to random and pseudo-random \emph{regular} graphs of constant degree. We investigate the local resilience of the typical random $d$-regular graph with respect to edge and vertex connectivity, containing a perfect matching, and being Hamiltonian. In particular we prove that for every positive $ε$ and large enough values of $d$ with high probability the local resilience of the random $d$-regular graph, $\GND$, with respect to being Hamiltonian is at least $(1-ε)d/6$. We also prove that for the Binomial random graph model $\GNP$, for every positive $ε>0$ and large enough values of $K$, if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/6$. Finally, we apply similar techniques to Positional Games and prove that if $d$ is large enough then with high probability a typical random $d$-regular graph $G$ is such that in the unbiased Maker-Breaker game played on the edges of $G$, Maker has a winning strategy to create a Hamilton cycle.
The Finite Field Kakeya Problem
Published in Building Bridges Between Mathematics and Computer Science, Bolyai Society Mathematical Studies, Vol.19, 2008
• View Publication
• BIB
A Besicovitch set in AG(n,q) is a set of points containing a line in every direction. The Kakeya problem is to determine the minimal size of such a set. We solve the Kakeya problem in the plane, and substantially improve the known bounds for n greater than 4.
Simple extensions of combinatorial structures
Published
• View Publication
• BIB
An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes -- this is called the substitution (or modular) decomposition. In this paper we prove several results of the following type: An arbitrary structure S of size n belonging to a class C can be embedded into a simple structure from C by adding at most f(n) elements. We prove such results when C is the class of all tournaments, graphs, permutations, posets, digraphs, oriented graphs and general relational structures containing a relation of arity greater than 2. The function f(n) in these cases is 2, \lceil log_2(n+1)\rceil, \lceil (n+1)/2\rceil, \lceil (n+1)/2\rceil, \lceil log_4(n+1)\rceil, \lceil \log_3(n+1)\rceil and 1, respectively. In each case these bounds are best possible.
Quantum F-polynomials in Classical Types
In their "Cluster Algebras IV" paper, Fomin and Zelevinsky defined F-polynomials and g-vectors, and they showed that the cluster variables in any cluster algebra can be expressed in a formula involving the appropriate F-polynomial and g-vector. In "F-polynomials in Quantum Cluster Algebras," the predecessor to this paper, we defined and proved the existence of quantum F-polynomials, which are analogs of F-polynomials in quantum cluster algebras in the sense that cluster variables in any quantum cluster algebra can be expressed in a similar formula in terms of quantum F-polynomials and g-vectors. In this paper, we give formulas for both F-polynomials and quantum F-polynomials for cluster algebras of classical type when the initial exchange matrix is acyclic.
Arithmetic theory of harmonic numbers (II)
Published in Colloq. Math. 130(2013), 67-78
• View Publication
• BIB
For $k=1,2,\ldots$ let $H_k$ denote the harmonic number $\sum_{j=1}^k 1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime $p>3$ we have $$\sum_{k=1}^{p-1}\frac{H_k}{k2^k}\equiv\frac7{24}pB_{p-3}\pmod{p^2},\ \ \sum_{k=1}^{p-1}\frac{H_{k,2}}{k2^k}\equiv-\frac 38B_{p-3}\pmod{p},$$ and $$\sum_{k=1}^{p-1}\frac{H_{k,2n}^2}{k^{2n}}\equiv\frac{\binom{6n+1}{2n-1}+n}{6n+1}pB_{p-1-6n}\pmod{p^2}$$ for any positive integer $n<(p-1)/6$, where $B_0,B_1,B_2,\ldots$ are Bernoulli numbers, and $H_{k,m}:=\sum_{j=1}^k 1/j^m$.
Spectra of lifted Ramanujan graphs
Published
• View Publication
• BIB
A random $n$-lift of a base graph $G$ is its cover graph $H$ on the vertices $[n]\times V(G)$, where for each edge $u v$ in $G$ there is an independent uniform bijection $π$, and $H$ has all edges of the form $(i,u),(π(i),v)$. A main motivation for studying lifts is understanding Ramanujan graphs, and namely whether typical covers of such a graph are also Ramanujan.
Let $G$ be a graph with largest eigenvalue $λ_1$ and let $ρ$ be the spectral radius of its universal cover. Friedman (2003) proved that every "new" eigenvalue of a random lift of $G$ is $O(ρ^{1/2}λ_1^{1/2})$ with high probability, and conjectured a bound of $ρ+o(1)$, which would be tight by results of Lubotzky and Greenberg (1995). Linial and Puder (2008) improved Friedman's bound to $O(ρ^{2/3}λ_1^{1/3})$. For $d$-regular graphs, where $λ_1=d$ and $ρ=2\sqrt{d-1}$, this translates to a bound of $O(d^{2/3})$, compared to the conjectured $2\sqrt{d-1}$.
Here we analyze the spectrum of a random $n$-lift of a $d$-regular graph whose nontrivial eigenvalues are all at most $λ$ in absolute value. We show that with high probability the absolute value of every nontrivial eigenvalue of the lift is $O((λ\vee ρ) \log ρ)$. This result is tight up to a logarithmic factor, and for $λ\leq d^{2/3-ε}$ it substantially improves the above upper bounds of Friedman and of Linial and Puder. In particular, it implies that a typical $n$-lift of a Ramanujan graph is nearly Ramanujan.
On the book thickness of $k$-trees
Published in Discrete Maths. & Theoretical Computer Science 13.3:39-44, 2011
• Search Publication
Every $k$-tree has book thickness at most $k+1$, and this bound is best possible for all $k\geq3$. Vandenbussche et al. (2009) proved that every $k$-tree that has a smooth degree-3 tree decomposition with width $k$ has book thickness at most $k$. We prove this result is best possible for $k\geq 4$, by constructing a $k$-tree with book thickness $k+1$ that has a smooth degree-4 tree decomposition with width $k$. This solves an open problem of Vandenbussche et al. (2009)
Theory and Applications of N-Fold Integer Programming
Published
• View Publication
• BIB
We overview our recently introduced theory of n-fold integer programming which enables the polynomial time solution of fundamental linear and nonlinear integer programming problems in variable dimension. We demonstrate its power by obtaining the first polynomial time algorithms in several application areas including multicommodity flows and privacy in statistical databases.
Upper bounds for the 2-hued chromatic number of graphs in terms of the independence number
Published in Discrete Applied Mathematics 160(2012)2142--2146
• View Publication
• BIB
A 2-hued coloring of a graph $G$ (also known as conditional $(k, 2)$-coloring and dynamic coloring) is a coloring such that for every vertex $v\in V(G)$ of degree at least $2$, the neighbors of $v$ receive at least $2$ colors. The smallest integer $k$ such that $G$ has a 2-hued coloring with $ k $ colors, is called the {\it 2-hued chromatic number} of $G$ and denoted by $χ_2(G)$. In this paper, we will show that if $G$ is a regular graph, then $ χ_{2}(G)- χ(G) \leq 2 \log _{2}(α(G)) +\mathcal{O}(1) $ and if $G$ is a graph and $δ(G)\geq 2$, then $ χ_{2}(G)- χ(G) \leq 1+\lceil \sqrt[δ-1]{4Δ^{2}} \rceil ( 1+ \log _{\frac{2Δ(G)}{2Δ(G)-δ(G)}} (α(G)) ) $ and in general case if $G$ is a graph, then $ χ_{2}(G)- χ(G) \leq 2+ \min \lbrace α^{\prime}(G),\frac{α(G)+ω(G)}{2}\rbrace $.
Maximal independent sets and separating covers
Published
• View Publication
• BIB
In 1973, Katona raised the problem of determining the maximum number of subsets in a separating cover on n elements. The answer to Katona's question turns out to be the inverse to the answer to a much simpler question: what is the largest integer which is the product of positive integers with sum n? We give a combinatorial explanation for this relationship, via Moon and Moser's answer to a question of Erdos: how many maximal independent sets can a graph on n vertices have? We conclude by showing how Moon and Moser's solution also sheds light on a problem of Mahler and Popken's about the complexity of integers.
Subgraphs of weakly quasi-random oriented graphs
Published
• View Publication
• BIB
It is an intriguing question to see what kind of information on the structure of an oriented graph $D$ one can obtain if $D$ does not contain a fixed oriented graph $H$ as a subgraph. The related question in the unoriented case has been an active area of research, and is relatively well-understood in the theory of quasi-random graphs and extremal combinatorics. In this paper, we consider the simplest cases of such a general question for oriented graphs, and provide some results on the global behavior of the orientation of $D$. For the case that $H$ is an oriented four-cycle we prove: in every $H$-free oriented graph $D$, there is a pair $A,B\ssq V(D)$ such that $e(A,B)\ge e(D)^{2}/32|D|^{2}$ and $e(B,A)\le e(A,B)/2$. We give a random construction which shows that this bound on $e(A,B)$ is best possible (up to the constant). In addition, we prove a similar result for the case $H$ is an oriented six-cycle, and a more precise result in the case $D$ is dense and $H$ is arbitrary. We also consider the related extremal question in which no condition is put on the oriented graph $D$, and provide an answer that is best possible up to a multiplicative constant. Finally, we raise a number of related questions and conjectures.
Geodetic topological cycles in locally finite graphs
Published in Electronic Journal of Combinatorics 16 (2009), #R144
• View Publication
• BIB
We prove that the topological cycle space C(G) of a locally finite graph G is generated by its geodetic topological circles. We further show that, although the finite cycles of G generate C(G), its finite geodetic cycles need not generate C(G).
End spaces of graphs are normal
Published in Journal of Combinatorial Theory, Series B 98 (2008) 798-804
• View Publication
• BIB
We show that the topological space of any infinite graph and its ends is normal. In particular, end spaces themselves are normal.
The Max-Flow Min-Cut Theorem for Countable Networks
Published
• View Publication
• BIB
We prove a strong version of the Max-Flow Min-Cut theorem for countable networks, namely that in every such network there exist a flow and a cut that are "orthogonal" to each other, in the sense that the flow saturates the cut and is zero on the reverse cut. If the network does not contain infinite trails then this flow can be chosen to be mundane, i.e. to be a sum of flows along finite paths. We show that in the presence of infinite trails there may be no orthogonal pair of a cut and a mundane flow. We finally show that for locally finite networks there is an orthogonal pair of a cut and a flow that satisfies Kirchhoff's first law also for ends.
Perfect matchings in r-partite r-graphs
Published in European Journal of Combinatorics 30 (2009), 39-42
• View Publication
• BIB
Let H be an r-partite r-graph, all of whose sides have the same size n. Suppose that there exist two sides of H, each satisfying the following condition: the degree of each legal (r-1)-tuple contained in the complement of this side is strictly larger than n/2. We prove that under this condition H must have a perfect matching. This answers a question of Kuhn and Osthus.
Strongly maximal matchings in infinite weighted graphs
Published in Electronic Journal of Combinatorics 15 (2008), #R136
• View Publication
• BIB
Given an assignment of weights w to the edges of a graph G, a matching M in G is called strongly w-maximal if for any matching N the sum of weights of the edges in N\M is at most the sum of weights of the edges in M\N. We prove that if w assumes only finitely many values all of which are rational then G has a strongly w-maximal matching.
A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs
Published
• View Publication
• BIB
In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. Moreover, we present a polynomial-time computable optimality certificate for the case of fixed blocks, variable N and any convex separable objective function. We conclude with two sample applications, stochastic integer programs with second-order dominance constraints and stochastic integer multi-commodity flows, which (for fixed blocks) can be solved in polynomial time in the number of scenarios and commodities and in the binary encoding length of the input data. In the proof of our main theorem we combine several non-trivial constructions from the theory of Graver bases. We are confident that our approach paves the way for further extensions.
On averages of randomized class functions on the symmetric groups and their asymptotics
Published
• View Publication
• BIB
The second author had previously obtained explicit generating functions for moments of characteristic polynomials of permutation matrices (n points). In this paper, we generalize many aspects of this situation. We introduce random shifts of the eigenvalues of the permutation matrices, in two different ways: independently or not for each subset of eigenvalues associated to the same cycle. We also consider vastly more general functions than the characteristic polynomial of a permutation matrix, by first finding an equivalent definition in terms of cycle-type of the permutation. We consider other groups than the symmetric group, for instance the alternating group and other Weyl groups. Finally, we compute some asymptotics results when n tends to infinity. This last result requires additional ideas: it exploits properties of the Feller coupling, which gives asymptotics for the lengths of cycles in permutations of many points.
Revisiting the hexagonal lattice: on optimal lattice circle packing
Published in Elemente der Mathematik, vol. 66 no. 1 (2011) pg. 1--9
• View Publication
• BIB
In this note we give a simple proof of the classical fact that the hexagonal lattice gives the highest density circle packing among all lattices in $R^2$. With the benefit of hindsight, we show that the problem can be restricted to the important class of well-rounded lattices, on which the density function takes a particularly simple form. Our proof emphasizes the role of well-rounded lattices for discrete optimization problems.
Integral orthogonal bases of small height for real polynomial spaces
Published in Online Journal of Analytic Combinatorics, no. 4 (2009), art. 7, 10 pp.
• Search Publication
Let $P_N(R)$ be the space of all real polynomials in $N$ variables with the usual inner product $<, >$ on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form representing this inner product on the space of coefficient vectors of all polynomials in $P_N(R)$ of degree $\leq M$. We exhibit two applications of this formula. First, given a finite dimensional subspace $V$ of $P_N(R)$ defined over $Q$, we prove the existence of an orthogonal basis for $(V, <, >)$, consisting of polynomials of small height with integer coefficients, providing an explicit bound on the height; this can be viewed as a version of Siegel's lemma for real polynomial inner product spaces. Secondly, we derive a criterion for a finite set of points on the unit sphere in $R^N$ to be a spherical $M$-design.