contain ↗ reference
7689 papers tagged with this keyword
Lossy gossip and composition of metrics
Published in Discrete Comput. Geom. 53(4), 890-913 (2015)
• View Publication
• BIB
We study the monoid generated by n-by-n distance matrices under tropical (or min-plus) multiplication. Using the tropical geometry of the orthogonal group, we prove that this monoid is a finite polyhedral fan of dimension n(n-1)/2, and we compute the structure of this fan for n up to 5. The monoid captures gossip among n gossipers over lossy phone lines, and contains the gossip monoid over ordinary phone lines as a submonoid. We prove several new results about this submonoid, as well. In particular, we establish a sharp bound on chains of calls in each of which someone learns something new.
Edge Roman domination on graphs
Published in Graphs Combin. 32 (2016), 1731--1747
• View Publication
• BIB
An edge Roman dominating function of a graph $G$ is a function $f\colon E(G) \rightarrow \{0,1,2\}$ satisfying the condition that every edge $e$ with $f(e)=0$ is adjacent to some edge $e'$ with $f(e')=2$. The edge Roman domination number of $G$, denoted by $γ'_R(G)$, is the minimum weight $w(f) = \sum_{e\in E(G)} f(e)$ of an edge Roman dominating function $f$ of $G$. This paper disproves a conjecture of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad stating that if $G$ is a graph of maximum degree $Δ$ on $n$ vertices, then $γ_R'(G) \le \lceil \fracΔ{Δ+1} n \rceil$. While the counterexamples having the edge Roman domination numbers $\frac{2Δ-2}{2Δ-1} n$, we prove that $\frac{2Δ-2}{2Δ-1} n + \frac{2}{2Δ-1}$ is an upper bound for connected graphs. Furthermore, we provide an upper bound for the edge Roman domination number of $k$-degenerate graphs, which generalizes results of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad. We also prove a sharp upper bound for subcubic graphs.
In addition, we prove that the edge Roman domination numbers of planar graphs on $n$ vertices is at most $\frac{6}{7}n$, which confirms a conjecture of Akbari and Qajar. We also show an upper bound for graphs of girth at least five that is 2-cell embeddable in surfaces of small genus. Finally, we prove an upper bound for graphs that do not contain $K_{2,3}$ as a subdivision, which generalizes a result of Akbari and Qajar on outerplanar graphs.
Mixing and double recurrence in probability groups
Published in Fundamenta Mathematicae 260 (2023), 77-98
• View Publication
• BIB
We define a class of groups equipped with an invariant probability measure, which includes all compact groups and is closed under taking ultraproducts with the induced Loeb measure; in fact, this class also contains the ultraproducts all locally compact unimodular amenable groups. We call the members of this class probability groups and develop the basics of the theory of their measure-preserving actions on probability spaces, including a natural notion of mixing. A short proof reveals that for probability groups mixing implies double recurrence, which generalizes a theorem of Bergelson and Tao proved for ultraproducts of finite groups. Moreover, a quantitative version of our proof gives that $\varepsilon$-approximate mixing implies $3\sqrt{\varepsilon}$-approximate double recurrence. Examples of approximately mixing probability groups are quasirandom groups introduced by Gowers, so the last theorem generalizes and sharpens the corresponding results for quasirandom groups of Bergelson and Tao, as well as of Austin. Lastly, we point out that the fact that the ultraproduct of locally compact unimodular amenable groups is a probability group provides a general alternative to Furstenberg correspondence principle.
A quantitative improvement for Roth's theorem on arithmetic progressions
Published
• View Publication
• BIB
We improve the quantitative estimate for Roth's theorem on three-term arithmetic progressions, showing that if $A\subset\{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert\ll N(\log\log N)^4/\log N$. By the same method we also improve the bounds in the analogous problem over $\mathbb{F}_q[t]$ and for the problem of finding long arithmetic progressions in a sumset.
Formulas for monodromy
Published in Res. Math. Sci., 4 (2017), no. 1
• View Publication
• BIB
Given a family $X$ of complex varieties degenerating over a punctured disc, one is interested in computing related invariants called the motivic nearby fiber and the refined limit mixed Hodge numbers, both of which contain information about the induced action of monodromy on the cohomology of a fiber of $X$. Our first main result is that the motivic nearby fiber of $X$ can be computed by first stratifying $X$ into locally closed subvarieties that are non-degenerate in the sense of Tevelev, and then applying an explicit formula on each piece of the stratification that involves tropical geometry. Our second main result is an explicit combinatorial formula for the refined limit mixed Hodge numbers in the case when $X$ is a family of non-degenerate hypersurfaces. As an application, given a complex polynomial, then, under appropriate conditions, we give a combinatorial formula for the Jordan block structure of the action of monodromy on the cohomology of the Milnor fiber, generalizing a famous formula of Varchenko for the associated eigenvalues. In addition, we give a formula for the Jordan block structure of the action of monodromy at infinity.
Undecidability and the developability of permutoids and rigid pseudogroups
Published
• View Publication
• BIB
A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable.
Unit Mixed Interval Graphs
In this paper we extend the work of Rautenbach and Szwarcfiter by giving a structural characterization of graphs that can be represented by the intersection of unit intervals that may or may not contain their endpoints. A characterization was proved independently by Joos, however our approach provides an algorithm that produces such a representation, as well as a forbidden graph characterization.
On Convex Geometric Graphs with no $k+1$ Pairwise Disjoint Edges
Published
• View Publication
• BIB
A well-known result of Kupitz from 1982 asserts that the maximal number of edges in a convex geometric graph (CGG) on $n$ vertices that does not contain $k+1$ pairwise disjoint edges is $kn$ (provided $n>2k$). For $k=1$ and $k=n/2-1$, the extremal examples are completely characterized. For all other values of $k$, the structure of the extremal examples is far from known: their total number is unknown, and only a few classes of examples were presented, that are almost symmetric, consisting roughly of the $kn$ "longest possible" edges of $CK(n)$, the complete CGG of order $n$.
In order to understand further the structure of the extremal examples, we present a class of extremal examples that lie at the other end of the spectrum. Namely, we break the symmetry by requiring that, in addition, the graph admit an independent set that consists of $q$ consecutive vertices on the boundary of the convex hull. We show that such graphs exist as long as $q \leq n-2k$ and that this value of $q$ is optimal.
We generalize our discussion to the following question: what is the maximal possible number $f(n,k,q)$ of edges in a CGG on $n$ vertices that does not contain $k+1$ pairwise disjoint edges, and, in addition, admits an independent set that consists of $q$ consecutive vertices on the boundary of the convex hull? We provide a complete answer to this question, determining $f(n,k,q)$ for all relevant values of $n,k$ and $q$.
Asymptotic distribution of the numbers of vertices and arcs of the giant strong component in sparse random digraphs
Published
• View Publication
• BIB
Two models of a random digraph on $n$ vertices, $D(n,\text{Prob}(\text{arc})=p)$ and $D(n,\text{number of arcs}=m)$ are studied. In 1990, Karp for $D(n,p)$ and independently T. Łuczak for $D(n,m=cn)$ proved that for $c>1$, with probability tending to 1, there is an unique strong component of size of order $n$. Karp showed, in fact, that the giant component has likely size asymptotic to $nθ^2$, where $θ=θ(c)$ is the unique positive root of $1-θ=e^{-c θ}$. In this paper we prove that, for both random digraphs, the joint distribution of the number of vertices and number of arcs in the giant strong component is asymptotically Gaussian with the same mean vector $n\boldsymbolμ(c)$, $\boldsymbolμ(c):=(θ^2, cθ^2)$ and two distinct $2\times 2$ covariance matrices, $n\mathbf{B}(c)$ and $n[\mathbf{B}(c)+c (\boldsymbolμ'(c))^T (\boldsymbolμ'(c)))]$. To this end, we introduce and analyze a randomized deletion process which determines the directed $(1,1)$-core, the maximal digraph with minimum in-degree and out-degree at least 1. This $(1,1)$-core contains all non-trivial strong components. However, we show that the likely numbers of peripheral vertices and arcs in the $(1,1)$-core, those outside the largest strong component, are of log-polynomial order, thus dwarfed by anticipated fluctuations, on the scale of $n^{1/2}$, of the giant component parameters. By approximating the likely realization of the deletion algorithm with a deterministic trajectory, we obtain our main result via exponential supermartingales and Fourier-based techniques.
Matchings in Benjamini-Schramm convergent graph sequences
Published in Trans. Amer. Math. Soc. 368 (2016), no. 6, 4197--4218
• Search Publication
We introduce the matching measure of a finite graph as the uniform distribution on the roots of the matching polynomial of the graph. We analyze the asymptotic behavior of the matching measure for graph sequences with bounded degree.
A graph parameter is said to be estimable if it converges along every Benjamini-Schramm convergent sparse graph sequence. We prove that the normalized logarithm of the number of matchings is estimable. We also show that the analogous statement for perfect matchings already fails for d-regular bipartite graphs for any fixed d at least 3. The latter result relies on analyzing the probability that a randomly chosen perfect matching contains a particular edge.
However, for any sequence of d-regular bipartite graphs converging to the d-regular tree, we prove that the normalized logarithm of the number of perfect matchings converges. This applies to random d-regular bipartite graphs. We show that the limit equals to the exponent in Schrijver's lower bound on the number of perfect matchings.
Our analytic approach also yields a short proof for the Nguyen-Onak (also Elek--Lippner) theorem saying that the matching ratio is estimable. In fact, we prove the slightly stronger result that the independence ratio is estimable for claw-free graphs.
Containment: A Variation of Cops and Robbers
Published
• View Publication
• BIB
We consider "Containment": a variation of the graph pursuit game of Cops and Robber in which cops move from edge to adjacent edge, the robber moves from vertex to adjacent vertex (but cannot move along an edge occupied by a cop), and the cops win by "containing" the robber---that is, by occupying all $°(v)$ of the edges incident with a vertex $v$ while the robber is at $v$. We develop bounds that relate the minimal number of cops, $ξ(G)$, required to contain a robber to the well-known "cop-number" $c(G)$ in the original game: in particular, $c(G) {\le} ξ(G) {\le} γ(G) Δ(G)$. We note that $ξ(G) {\geq} δ(G)$ for all graphs $G$, and analyze several families of graphs in which equality holds, as well as several in which the inequality is strict. We also give examples of graphs which require an unbounded number of cops in order to contain a robber, and note that there exist cubic graphs with $ξ(G) \geq Ω(n^{1/6})$.
A Quantitative Doignon-Bell-Scarf Theorem
Published
• View Publication
• BIB
The famous Doignon-Bell-Scarf Theorem is a Helly-type result about the existence of integer solutions on systems of linear inequalities. The purpose of this paper is to present the following quantitative generalization: Given an integer $k$, we prove that there exists a constant $c(n,k)$, depending only on the dimension $n$ and $k$, such that if a polyhedron ${x: Ax \leq b}$ contains exactly k integer solutions, then there exists a subset of the rows, of cardinality no more than $c(n,k)$, defining a polyhedron that contains exactly the same $k$ integer points. In this case $c(n,0) = 2^n$ is the original case of Doignon-Bell-Scarf for infeasible systems of inequalities. We work on both upper and lower bounds for the constant $c(n,k)$ and discuss some consequences, including a Clarkson-style algorithm to find the $l$-th best solution of an integer program with respect to the ordering induced by the objective function.
On Constructing Regular Distance-Preserving Graphs
Let G be a simple, connected graph on n vertices. Let d_G(u,v) denote the distance between vertices u and v in G. A subgraph H of G is isometric if d_H(u,v)=d_G(u,v) for every u,v in V(H). We say that G is a distance-preserving graph if G contains at least one isometric subgraph of order k for every k, 1\le k\le n. In this paper we construct regular distance-preserving graphs of all possible orders and degrees of regularity. By modifying the Havel-Hakimi algorithm, we are able to construct distance preserving graphs for certain other degree sequences as well. We include a discussion of some related conjectures which we have computationally verified for small values of n.
Elusive groups of automorphisms of digraphs of small valency
Published in European Journal of Combinatorics (2015), pp. 1-9
• View Publication
• BIB
A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three.
Minimizing Degree-based Topological Indices for Trees with Given Number of Pendent Vertices + Erratum
Published in MATCH Commun. Math. Comput. Chem. 71 (1) (2014) 33-46 + Erratum in V. 72 (3) (2014) 633-639
• Search Publication
We derive sharp lower bounds for the first and the second Zagreb indices ($M_1$ and $M_2$ respectively) for trees and chemical trees with the given number of pendent vertices and find optimal trees. $M_1$ is minimized by a tree with all internal vertices having degree 4, while $M_2$ is minimized by a tree where each "stem" vertex is incident to 3 or 4 pendent vertices and one internal vertex, while the rest internal vertices are incident to 3 other internal vertices. The technique is shown to generalize to the weighted first Zagreb index, the zeroth order general Randić index, as long as to many other degree-based indices.
Later the erratum was added: Theorem 3 says that the second Zagreb index $M_2$ cannot be less than $11n-27$ for a tree with $n\ge 8$ pendent vertices. Yet the tree exists with $n=8$ vertices (the two-sided broom) violating this inequality. The reason is that the proof of Theorem 3 relays on a tacit assumption that an index-minimizing tree contains no vertices of degree 2. This assumption appears to be invalid in general. In this erratum we show that the inequality $M_2 \ge 11n-27$ still holds for trees with $n\ge 9$ vertices and provide the valid proof of the (corrected) Theorem 3.
Spanning rigid subgraph packing and sparse subgraph covering
Published in SIAM Journal on Discrete Mathematics 32 (2018), 1305-1313
• View Publication
• BIB
Rigidity, arising in discrete geometry, is the property of a structure that does not flex. Laman provides a combinatorial characterization of rigid graphs in the Euclidean plane, and thus rigid graphs in the Euclidean plane have applications in graph theory. We discover a sufficient partition condition of packing spanning rigid subgraphs and spanning trees. As a corollary, we show that a simple graph $G$ contains a packing of $k$ spanning rigid subgraphs and $l$ spanning trees if $G$ is $(4k+2l)$-edge-connected, and $G-Z$ is essentially $(6k+2l - 2k|Z|)$-edge-connected for every $Z\subset V(G)$. Thus every $(4k+2l)$-connected and essentially $(6k+2l)$-connected graph $G$ contains a packing of $k$ spanning rigid subgraphs and $l$ spanning trees. Utilizing this, we show that every $6$-connected and essentially $8$-connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $2$-connected. These improve some previous results. Sparse subgraph covering problems are also studied.
On pre-Hamiltonian Cycles in Hamiltonian Digraphs
Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.
On Hamiltonian Bypasses in Digraphs with the Condition of Y. Manoussakis
Published
• View Publication
• BIB
Let $D$ be a strongly connected directed graph of order $n\geq 4$ vertices which satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. In \cite{[15]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved that $D$ is Hamiltonian. In [9] it was shown that $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph obtained from a Hamiltonian cycle by reversing exactly one arc) or $D$ is isomorphic to one tournament of order 5.
Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs.
On the existence of asymptotically good linear codes in minor-closed classes
Published
• View Publication
• BIB
Let $\mathcal{C} = (C_1, C_2, \ldots)$ be a sequence of codes such that each $C_i$ is a linear $[n_i,k_i,d_i]$-code over some fixed finite field $\mathbb{F}$, where $n_i$ is the length of the codewords, $k_i$ is the dimension, and $d_i$ is the minimum distance. We say that $\mathcal{C}$ is asymptotically good if, for some $\varepsilon > 0$ and for all $i$, $n_i \geq i$, $k_i/n_i \geq \varepsilon$, and $d_i/n_i \geq \varepsilon$. Sequences of asymptotically good codes exist. We prove that if $\mathcal{C}$ is a class of GF$(p^n)$-linear codes (where $p$ is prime and $n \geq 1$), closed under puncturing and shortening, and if $\mathcal{C}$ contains an asymptotically good sequence, then $\mathcal{C}$ must contain all GF$(p)$-linear codes. Our proof relies on a powerful new result from matroid structure theory.