Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Fault-Tolerant Spanners: Better and Simpler
Published
• View Publication
• BIB
A natural requirement of many distributed structures is fault-tolerance: after some failures, whatever remains from the structure should still be effective for whatever remains from the network. In this paper we examine spanners of general graphs that are tolerant to vertex failures, and significantly improve their dependence on the number of faults $r$, for all stretch bounds.
For stretch $k \geq 3$ we design a simple transformation that converts every $k$-spanner construction with at most $f(n)$ edges into an $r$-fault-tolerant $k$-spanner construction with at most $O(r^3 \log n) \cdot f(2n/r)$ edges. Applying this to standard greedy spanner constructions gives $r$-fault tolerant $k$-spanners with $\tilde O(r^{2} n^{1+\frac{2}{k+1}})$ edges. The previous construction by Chechik, Langberg, Peleg, and Roddity [STOC 2009] depends similarly on $n$ but exponentially on $r$ (approximately like $k^r$).
For the case $k=2$ and unit-length edges, an $O(r \log n)$-approximation algorithm is known from recent work of Dinitz and Krauthgamer [arXiv 2010], where several spanner results are obtained using a common approach of rounding a natural flow-based linear programming relaxation. Here we use a different (stronger) LP relaxation and improve the approximation ratio to $O(\log n)$, which is, notably, independent of the number of faults $r$. We further strengthen this bound in terms of the maximum degree by using the \Lovasz Local Lemma.
Finally, we show that most of our constructions are inherently local by designing equivalent distributed algorithms in the LOCAL model of distributed computation.
A poset fiber theorem for doubly Cohen-Macaulay posets and its applications to non-crossing partitions and injective words
Published
• View Publication
• BIB
This paper studies topological properties of the lattices of non-crossing partitions of types A and B and of the poset of injective words. Specifically, it is shown that after the removal of the bottom and top elements (if existent) these posets are doubly Cohen-Macaulay. This strengthens the well-known facts that these posets are Cohen-Macaulay. Our results rely on a new poset fiber theorem which turns out to be a useful tool to prove double (homotopy) Cohen-Macaulayness of a poset. Applications to complexes of injective words are also included.
Perfect matching in 3-uniform hypergraphs with large vertex degree
Published
• View Publication
• BIB
A perfect matching in a 3-uniform hypergraph on $n=3k$ vertices is a subset of $\frac{n}{3}$ disjoint edges. We prove that if $H$ is a 3-uniform hypergraph on $n=3k$ vertices such that every vertex belongs to at least ${n-1\choose 2} - {2n/3\choose 2}+1$ edges then $H$ contains a perfect matching. We give a construction to show that this result is best possible.
Perfect Matchings in 4-uniform hypergraphs
Published
• View Publication
• BIB
A perfect matching in a 4-uniform hypergraph is a subset of $\lfloor\frac{n}{4}\rfloor$ disjoint edges. We prove that if $H$ is a sufficiently large 4-uniform hypergraph on $n=4k$ vertices such that every vertex belongs to more than ${n-1\choose 3} - {3n/4 \choose 3}$ edges then $H$ contains a perfect matching. This bound is tight and settles a conjecture of H{á}n, Person and Schacht.
A cell complex in number theory
Published in Adv. in Appl. Math.. Available online 20 October 2010. doi:10.1016/j.aam.2010.09.007
• View Publication
• BIB
Let De_n be the simplicial complex of squarefree positive integers less than or equal to n ordered by divisibility. It is known that the asymptotic rate of growth of its Euler characteristic (the Mertens function) is closely related to deep properties of the prime number system.
In this paper we study the asymptotic behavior of the individual Betti numbers and of their sum. We show that De_n has the homotopy type of a wedge of spheres, and that as n tends to infinity: $$\sum \be_k(\De_n) = \frac{2n}{π^2} + O(n^θ),\;\; \mbox{for all} θ> \frac{17}{54}.$$
We also study a CW complex tDe_n that extends the previous simplicial complex. In tDe_n all numbers up to n correspond to cells and its Euler characteristic is the summatory Liouville function. This cell complex is shown to be homotopy equivalent to a wedge of spheres, and as n tends to infinity: $$\sum \be_k(\tDe_n) = \frac{n}{3} + O(n^θ),\;\; \mbox{for all} θ> \frac{22}{27}.$$
A Coloring Algorithm for Triangle-Free Graphs
We give a randomized algorithm that properly colors the vertices of a triangle-free graph G on n vertices using O(Δ(G)/ log Δ(G)) colors, where Δ(G) is the maximum degree of G. The algorithm takes O(n\Delta2(G)logΔ(G)) time and succeeds with high probability, provided Δ(G) is greater than log^{1+ε}n for a positive constant ε. The number of colors is best possible up to a constant factor for triangle-free graphs. As a result this gives an algorithmic proof for a sharp upper bound of the chromatic number of a triangle-free graph, the existence of which was previously established by Kim and Johansson respectively.
Quasi-random oriented graphs
Published
• View Publication
• BIB
We show that a number of conditions on oriented graphs, all of which are satisfied with high probability by randomly oriented graphs, are equivalent. These equivalences are similar to those given by Chung, Graham and Wilson in the case of unoriented graphs, and by Chung and Graham in the case of tournaments. Indeed, our main theorem extends to the case of a general underlying graph G the main result of Chung and Graham which corresponds to the case that G is complete.
One interesting aspect of these results is that exactly two of the four orientations of a four-cycle can be used for a quasi-randomness condition, i.e., if the number of appearances they make in D is close to the expected number in a random orientation of the same underlying graph, then the same is true for every small oriented graph H
A Lower Bound for the Size of a Sum of Dilates
Let $A$ be a subset of integers and let $2\cdot A+k\cdot A=\{2a_1+ka_2 : a_1,a_2\in A\}$. Y. O. Hamidoune and J. Ru\' e proved that if $k$ is an odd prime and $A$ a finite set of integers such that $|A|>8k^k$, then $|2\cdot A+k\cdot A|\ge (k+2)|A|-k^2-k+2$. In this paper, we extend this result for the case when $k$ is a power of an odd prime and the case when $k$ is a product of two odd primes.
Extending triangulations of the 2-sphere to the 3-disk preserving a 4-coloring
Published
• View Publication
• BIB
In this paper we prove that any triangulation of a 2-dimensional sphere with a strict 4-coloring on its vertices can seen as the boundary of a triangulation of a 3-dimensional disk with the same vertices and preserving the 4-coloring.
Applications of Laplace-Beltrami operator for Jack polynomials
Published in European J Combin. 33 (2012) 556--571
• View Publication
• BIB
We use a new method to study the Laplace-Beltrami type operator on the Fock space of symmetric functions, and as an example of our explicit computation we show that the Jack symmetric functions are the only family of eigenvectors of the differential operator. As applications of this explicit method we find a combinatorial formula for Jack symmetric functions and the Littlewood-Richardson coefficients in the Jack case. As further applications, we obtain a new determinantal formula for Jack symmetric functions. We also obtained a generalized raising operator formula for Jack symmetric functions, and a formula for the explicit action of Virasoro operators. Special cases of our formulas imply Mimachi-Yamada's result on Jack symmetric functions of rectangular shapes, as well as the explicit formula for Jack functions of two rows or two columns.
Longest path distance in random circuits
Published in Combinatorics, Probability and Computing, vol. 21, pp. 856--881, 2012
• View Publication
• BIB
We study distance properties of a general class of random directed acyclic graphs (DAGs). In a DAG, many natural notions of distance are possible, for there exists multiple paths between pairs of nodes. The distance of interest for circuits is the maximum length of a path between two nodes. We give laws of large numbers for the typical depth (distance to the root) and the minimum depth in a random DAG. This completes the study of natural distances in random DAGs initiated (in the uniform case) by Devroye and Janson (2009+). We also obtain large deviation bounds for the minimum of a branching random walk with constant branching, which can be seen as a simplified version of our main result.
Betti numbers of Stanley--Reisner rings with pure resolutions
Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system for the components of the $h$--vector of the clique complex of an arbitrary chordal graph.
Touchard-Riordan formulas, T-fractions, and Jacobi's triple product identity
Published in Ramanujan Journal 30(3) (2013), 341--378
• View Publication
• BIB
Touchard-Riordan-like formulas are some expressions appearing in enumeration problems and as moments of orthogonal polynomials. We begin this article with a new combinatorial approach to prove these kind of formulas, related with integer partitions. This gives a new perspective on the original result of Touchard and Riordan. But the main goal is to give a combinatorial proof of a Touchard-Riordan--like formula for q-secant numbers discovered by the first author. An interesting limit case of these objects can be directly interpreted in terms of partitions, so that we obtain a connection between the formula for q-secant numbers, and a particular case of Jacobi's triple product identity.
Building on this particular case, we obtain a "finite version" of the triple product identity. It is in the form of a finite sum which is given a combinatorial meaning, so that the triple product identity can be obtained by taking the limit. Here the proof is non-combinatorial and relies on a functional equation satisfied by a T-fraction. Then from this result on the triple product identity, we derive a whole new family of Touchard-Riordan--like formulas whose combinatorics is not yet understood. Eventually, we prove a Touchard-Riordan--like formula for a q-analog of Genocchi numbers, which is related with Jacobi's identity for (q;q)^3 rather than the triple product identity.
Finite connectivity in infinite matroids
Published
• View Publication
• BIB
We introduce a connectivity function for infinite matroids with properties similar to the connectivity function of a finite matroid, such as submodularity and invariance under duality. As an application we use it to extend Tutte's linking theorem to finitary and to co-finitary matroids.
A linear optimization technique for graph pebbling
Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is Π_2^P-complete. In this paper we develop a tool, called the Weight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply the Weight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling.
On graph-restrictive permutation groups
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $L=G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. Then $(Γ,G)$ is said to be \emph{locally-$L$}. A transitive permutation group $L$ is \emph{graph-restrictive} if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and an arc $(u,v)$ of $Γ$, the inequality $|G_{uv}|\leq c(L)$ holds.
Using this terminology, the Weiss Conjecture says that primitive groups are graph-restrictive. We propose a very strong generalisation of this conjecture: a group is graph-restrictive if and only if it is semiprimitive. (A transitive permutation group is said to be \emph{semiprimitive} if each of its normal subgroups is either transitive or semiregular.) Our main result is a proof of one of the two implications of this conjecture, namely that graph-restrictive groups are semiprimitive. We also collect the known results and prove some new ones regarding the other implication.
The Weisfeiler-Lehman Method and Graph Isomorphism Testing
Properties of the `$k$-equivalent' graph families constructed in Cai, Fürer and Immerman, and Evdokimov and Ponomarenko are analysed relative the the recursive $k$-dim WL method. An extension to the recursive $k$-dim WL method is presented that is shown to efficiently characterise all such types of `counterexample' graphs, under certain assumptions. These assumptions are shown to hold in all known cases.
Convergence Properties for the Physarum Solver
The Physarum solver is an intuitive mechanism for solving optimisation problems based on the idea of an electrical network, whereby the conductivity is reinforced by the current. We show that the Physarum solver obtains the solution to the linear transshipment problem on a digraph and that the electrical potential converges to an infinity-harmonic solution of the dual problem.
Skew quantum Murnaghan-Nakayama rule
Published
• View Publication
• BIB
In this paper, we extend recent results of Assaf and McNamara on skew Pieri rule and skew Murnaghan-Nakayama rule to a more general identity, which gives an elegant expansion of the product of a skew Schur function with a quantum power sum function in terms of skew Schur functions. We give two proofs, one completely bijective in the spirit of Assaf-McNamara's original proof, and one via Lam-Lauve-Sotille's skew Littlewood-Richardson rule. We end with some conjectures for skew rules for Hall-Littlewood polynomials.
Nonseparating K4-subdivisions in graphs of minimum degree at least 4
Published
• View Publication
• BIB
We first prove that for every vertex x of a 4-connected graph G there exists a subgraph H in G isomorphic to a subdivision of the complete graph K4 on four vertices such that G-V(H) is connected and contains x. This implies an affirmative answer to a question of W. Kuehnel whether every 4-connected graph G contains a subdivision H of K4 as a subgraph such that G-V(H) is connected. The motor for our induction is a result of Fontet and Martinov stating that every 4-connected graph can be reduced to a smaller one by contracting a single edge, unless the graph is the square of a cycle or the line graph of a cubic graph. It turns out that this is the only ingredience of the proof where 4-connectedness is used. We then generalize our result to connected graphs of minimum degree at least 4, by developing the respective motor: A structure theorem for the class of simple connected graphs of minimum degree at least 4.