Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Towards (1+ε)-Approximate Flow Sparsifiers
Published
• View Publication
• BIB
A useful approach to "compress" a large network $G$ is to represent it with a {\em flow-sparsifier}, i.e., a small network $H$ that supports the same flows as $G$, up to a factor $q \geq 1$ called the quality of sparsifier. Specifically, we assume the network $G$ contains a set of $k$ terminals $T$, shared with the network $H$, i.e., $T\subseteq V(G)\cap V(H)$, and we want $H$ to preserve all multicommodity flows that can be routed between the terminals $T$. The challenge is to construct $H$ that is small.
These questions have received a lot of attention in recent years, leading to some known tradeoffs between the sparsifier's quality $q$ and its size $|V(H)|$. Nevertheless, it remains an outstanding question whether every $G$ admits a flow-sparsifier $H$ with quality $q=1+ε$, or even $q=O(1)$, and size $|V(H)|\leq f(k,ε)$ (in particular, independent of $|V(G)|$ and the edge capacities). Making a first step in this direction, we present new constructions for several scenarios:
* Our main result is that for quasi-bipartite networks $G$, one can construct a $(1+ε)$-flow-sparsifier of size $\poly(k/\eps)$. In contrast, exact ($q=1$) sparsifiers for this family of networks are known to require size $2^{Ω(k)}$.
* For networks $G$ of bounded treewidth $w$, we construct a flow-sparsifier with quality $q=O(\log w / \log\log w)$ and size $O(w\cdot \poly(k))$.
* For general networks $G$, we construct a {\em sketch} $sk(G)$, that stores all the feasible multicommodity flows up to factor $q=1+\eps$, and its size (storage requirement) is $f(k,ε)$.
Geometric juggling with q-analogues
Published in Discrete Mathematics 338 (2015), pp. 1067-1074
• View Publication
• BIB
We derive a combinatorial equilibrium for bounded juggling patterns with a random, $q$-geometric throw distribution. The dynamics are analyzed via rook placements on staircase Ferrers boards, which leads to a steady-state distribution containing $q$-rook polynomial coefficients and $q$-Stirling numbers of the second kind. We show that the equilibrium probabilities of the bounded model can be uniformly approximated with the equilibrium probabilities of a corresponding unbounded model. This observation leads to new limit formulae for $q$-analogues.
Keywords: juggling pattern; $q$-Stirling number of the second kind; Ferrers board; Markov process; combinatorial equilibrium
The asymptotic $k$-SAT threshold
Published in Advances in Mathematics 288 (2016) 985-1068
• View Publication
• BIB
Since the early 2000s physicists have developed an ingenious but non-rigorous formalism called the cavity method to put forward precise conjectures on phase transitions in random problems [Mezard, Parisi, Zecchina: Science 2002]. The cavity method predicts that the satisfiability threshold in the random $k$-SAT problem is $2^k\ln2-\frac12(1+\ln 2)+ε_k$, with $\lim_{k\rightarrow\infty}ε_k=0$ [Mertens, Mezard, Zecchina: Random Structures and Algorithms 2006]. This paper contains a proof of that conjecture.
On price of symmetrisation
We introduce the price of symmetrisation, a concept that aims to compare fundamental differences (gap and quotient) between values of a given graph invariant for digraphs and the values of the same invariant of the symmetric versions of these digraphs. Basically, given some invariant our goal is to characterise digraphs that maximise price of symmetrisation. In particular, we show that for some invariants, as diameter or domination number, the problem is easy.
The main contribution of this paper is about (partial) results on the price of symmetrisation of the average distance. It appears to be much more intricate than the simple cases mentioned above. First, we state a conjecture about digraphs that maximise this price of symmetrisation. Then, we prove that this conjecture is true for some particular class of digraphs (called bags) but it remains open for general digraphs. Moreover, we study several graph transformations in order to remove some configurations that do not appear in the conjectured extremal digraphs.
The $(k,\ell)$-rainbow index for complete bipartite and multipartite graphs
Published
• View Publication
• BIB
A tree in an edge-colored graph $G$ is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et al., and there have been very few results about it. In this paper, we investigate the $(k,\ell)$-rainbow index for complete bipartite graphs and complete multipartite graphs. Some asymptotic values of their $(k,\ell)$-rainbow index are obtained.
The $(k,\ell)$-rainbow index of random graphs
Published
• View Publication
• BIB
A tree in an edge colored graph is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et. al., and there have been very few related results about it. In this paper, We establish a sharp threshold function for $rx_{k,\ell}(G_{n,p})\leq k$ and $rx_{k,\ell}(G_{n,M})\leq k,$ respectively, where $G_{n,p}$ and $G_{n,M}$ are the usually defined random graphs.
A new construction for Cohen-Macaulay graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs.
A Classification of the Veldkamp Lines of the Near Hexagon L_3 times GQ(2, 2)
Published in Ars Mathematica Contemporanea 12 (2017) 287-299
• View Publication
• BIB
Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points of L_3 times GQ(2, 2) shared by the three geometric hyperplanes in question.
2-connected claw-free chordal graphs are cycle extendable
A cycle $C$ of length $k$ in graph $G$ is extendable if there is another cycle $C'$ in $G$ with $V(C) \subset V(C')$ and length $k+1$. A graph is cycle extendable if every non-Hamiltonian cycle is extendable. In 1990 Hendry conjectured that any Hamiltonian chordal graph (a Hamiltonian graph with no induced cycle of length greater than three) is cycle extendable, and this conjecture has been verified for Hamiltonian chordal graphs which are interval graphs, planar graphs, and split graphs. We prove that any 2-connected claw-free chordal graph is cycle extendable.
Extremal Betti numbers of some classes of binomial edge ideals
Let $G$ be a cycle or a complete bipartite graph. We show that the binomial edge ideal $J_{G}$ and its initial ideal with respect to the lexicographic order have the same extremal Betti number.
Polynomial Kernels for λ-extendible Properties Parameterized Above the Poljak-Turzík Bound
Poljak and Turzik (Discrete Mathematics 1986) introduced the notion of λ-extendible properties of graphs as a generalization of the property of being bipartite. They showed that for any 0 < λ < 1 and λ-extendible property Π, any connected graph G on n vertices and m edges contains a spanning subgraph H in Π with at least λm + (1-λ)(n-1)/2 edges. The property of being bipartite is λ-extendible for λ = 1/2, and so the Poljak-Turzik bound generalizes the well-known Edwards-Erdos bound for Max-Cut. Other examples of λ-extendible properties include: being an acyclic oriented graph, a balanced signed graph, or a q-colorable graph for some integer q.
Mnich et. al. (FSTTCS 2012) defined the closely related notion of strong λ-extendibility. They showed that the problem of finding a subgraph satisfying a given strongly λ-extendible property Π is fixed-parameter tractable (FPT) when parameterized above the Poljak-Turzik bound - does there exist a spanning subgraph H of a connected graph G such that H in Π and H has at least λm + (1-λ)(n-1)/2 + k edges? - subject to the condition that the problem is FPT on a certain simple class of graphs called almost-forests of cliques.
In this paper we settle the kernelization complexity of nearly all problems parameterized above Poljak-Turzik bounds, in the affirmative. We show that these problems admit quadratic kernels (cubic when λ = 1/2), without using the assumption that the problem is FPT on almost-forests of cliques. Thus our results not only remove the technical condition of being FPT on almost-forests of cliques from previous results, but also unify and extend previously known kernelization results in this direction. Our results add to the select list of generic kernelization results known in the literature.
Schur-positivity in a Square
Published
• View Publication
• BIB
Determining if a symmetric function is Schur-positive is a prevalent and, in general, a notoriously difficult problem. In this paper we study the Schur-positivity of a family of symmetric functions. Given a partition λ, we denote by λ^c its complement in a square partition (m^m). We conjecture a Schur-positivity criterion for symmetric functions of the form s_{μ'}s_{μ^c}-s_{λ'}s_{λ^c}, where λis a partition of weight |μ|-1 contained in μand the complement of μis taken in the same square partition as the complement of λ. We prove the conjecture in many cases.
Hypergraph Colouring and Degeneracy
A hypergraph is "$d$-degenerate" if every subhypergraph has a vertex of degree at most $d$. A greedy algorithm colours every such hypergraph with at most $d+1$ colours. We show that this bound is tight, by constructing an $r$-uniform $d$-degenerate hypergraph with chromatic number $d+1$ for all $r\geq2$ and $d\geq1$. Moreover, the hypergraph is triangle-free, where a "triangle" in an $r$-uniform hypergraph consists of three edges whose union is a set of $r+1$ vertices.
Pattern Avoidance in Extensions of Comb-Like Posets
Published
• View Publication
• BIB
This paper investigates pattern avoidance in linear extensions of a certain class of partially ordered set. Since the question of enumerating pattern avoiding linear extensions of posets in general is a very hard one, we focus instead on certain partially ordered sets called combs. Combs consist of a fully ordered spine, and several fully ordered teeth, where each tooth coincides with a corresponding element of the spine. We consider two natural assignments of integers to elements of the combs; we refer to the resulting integer posets as type-alpha combs and type-beta combs. In this paper, we enumerate the linear extensions of type-alpha and type-beta combs which avoid some of the length-three pattern. Most notably, the number of linear extensions of type-beta combs which avoid 312 is shown to be the same as the number 1/(st + 1)*(s(t+1) choose s) of (t+1)-ary trees on s nodes, where t is the length of each tooth, and s is the length of the comb spine, or equivalently, the number of its teeth. We also investigate the enumeration of linear extensions of type-alpha and type-beta combs avoiding multiple length-three patterns.
The Firefighter Problem: A Structural Analysis
We consider the complexity of the firefighter problem where b>=1 firefighters are available at each time step. This problem is proved NP-complete even on trees of degree at most three and budget one (Finbow et al.,2007) and on trees of bounded degree b+3 for any fixed budget b>=2 (Bazgan et al.,2012). In this paper, we provide further insight into the complexity landscape of the problem by showing that the pathwidth and the maximum degree of the input graph govern its complexity. More precisely, we first prove that the problem is NP-complete even on trees of pathwidth at most three for any fixed budget b>=1. We then show that the problem turns out to be fixed parameter-tractable with respect to the combined parameter "pathwidth" and "maximum degree" of the input graph.
Universal Limit Theorems in Graph Coloring Problems With Connections to Extremal Combinatorics
Published in Annals of Applied Probability, Vol. 27 (1), 337-394, 2017
• View Publication
• BIB
This paper proves limit theorems for the number of monochromatic edges in uniform random colorings of general random graphs. These can be seen as generalizations of the birthday problem (what is the chance that there are two friends with the same birthday?). It is shown that if the number of colors grows to infinity, the asymptotic distribution is either a Poisson mixture or a Normal depending solely on the limiting behavior of the ratio of the number of edges in the graph and the number of colors. This result holds for any graph sequence, deterministic or random. On the other hand, when the number of colors is fixed, a necessary and sufficient condition for asymptotic normality is determined. Finally, using some results from the emerging theory of dense graph limits, the asymptotic (non-normal) distribution is characterized for any converging sequence of dense graphs. The proofs are based on moment calculations which relate to the results of Erd\H os and Alon on extremal subgraph counts. As a consequence, a simpler proof of a result of Alon, estimating the number of isomorphic copies of a cycle of given length in graphs with a fixed number of edges, is presented.
A note on the 3-rainbow index of $K_{2,t}$
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. For a vertex subset $S\in V(G)$, a tree that connects $S$ in $G$ is called an $S$-tree. A {\em $k$-rainbow coloring} of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree $T$ in $G$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we obtain the exact values of $rx_3(K_{2,t})$ for any $t\geq 1$.
Some upper bounds for 3-rainbow index of graphs
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that $S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we consider 3-rainbow index $rx_3(G)$ of $G$. We first show that for connected graph $G$ with minimum degree $δ(G)\geq 3$, the tight upper bound of $rx_3(G)$ is $rx_3(G[D])+4$, where $D$ is the connected 2-dominating set of $G$. And then we determine a tight upper bound for $K_{s,t}(3\leq s\leq t)$ and a better bound for $(P_5,C_5)$-free graphs. Finally, we obtain a sharp bound for 3-rainbow index of general graphs.
Irrelevant Vertices for the Planar Disjoint Paths Problem
Published
• View Publication
• BIB
The Disjoint Paths Problem asks, given a graph $G$ and a set of pairs of terminals $(s_{1},t_{1}),\ldots,(s_{k},t_{k})$, whether there is a collection of $k$ pairwise vertex-disjoint paths linking $s_{i}$ and $t_{i}$, for $i=1,\ldots,k.$ In their $f(k)\cdot n^{3}$ algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of treewidth greater than $g(k)$ there is an "irrelevant" vertex whose removal creates an equivalent instance of the problem. This fact is based on the celebrated Unique Linkage Theorem, whose - very technical - proof gives a function $g(k)$ that is responsible for an immense parameter dependence in the running time of the algorithm. In this paper we give a new and self-contained proof of this result that strongly exploits the combinatorial properties of planar graphs and achieves $g(k)=O(k^{3/2}\cdot 2^{k}).$ Our bound is radically better than the bounds known for general graphs.
On the density of nice Friedmans
A Friedman number is a positive integer which is the result of an expression combining all of its own digits by use of the four basic operations, exponentiation and digit concatenation. A "nice" Friedman number is a Friedman number for which the expression constructing the number from its own digits can be represented with the original order of the digits unchanged. One of the fundamental questions regarding Friedman numbers, and particularly regarding nice Friedman numbers, is how common they are among the integers. In this paper, we prove that nice Friedman numbers have density 1, when considered in binary, ternary or base four.