graph
35436 papers tagged with this keyword
Sequential metric dimension for random graphs
Published in J. Appl. Probab. 58 (2021) 909-951
• View Publication
• BIB
In the localization game on a graph, the goal is to find a fixed but unknown target node $v^\star$ with the least number of distance queries possible. In the $j^{th}$ step of the game, the player queries a single node $v_j$ and receives, as an answer to their query, the distance between the nodes $v_j$ and $v^\star$. The sequential metric dimension (SMD) is the minimal number of queries that the player needs to guess the target with absolute certainty, no matter where the target is.
The term SMD originates from the related notion of metric dimension (MD), which can be defined the same way as the SMD, except that the player's queries are non-adaptive. In this work, we extend the results of \cite{bollobas2012metric} on the MD of Erdős-Rényi graphs to the SMD. We find that, in connected Erdős-Rényi graphs, the MD and the SMD are a constant factor apart. For the lower bound we present a clean analysis by combining tools developed for the MD and a novel coupling argument. For the upper bound we show that a strategy that greedily minimizes the number of candidate targets in each step uses asymptotically optimal queries in Erdős-Rényi graphs. Connections with source localization, binary search on graphs and the birthday problem are discussed.
Tropical curves of hyperelliptic type
Published
• View Publication
• BIB
We introduce the notion of tropical curves of hyperelliptic type. These are tropical curves whose Jacobian is isomorphic to that of a hyperelliptic tropical curve, as polarized tropical abelian varieties. We show that this property depends only on the underlying graph of a tropical curve and is preserved when passing to genus $\geq 2$ connected minors. The main result is an excluded minors characterization of tropical curves of hyperelliptic type.
Cluster Algebras and the HOMFLY Polynomial
Recently, it has been shown that the Jones polynomial, in [LS19], and the Alexander polynomial, in [NT18], of rational knots can be obtained by specializing $F$-polynomials of cluster variables. At the core of both results are continued fractions, which parameterize rational knots and are used to obtain cluster variables, by way of snake graphs in the case of [LS19], or ancestral triangles in the case of [NT18]. In this paper, we use path posets, another structure parameterized by continued fractions, to directly generalize [LS19]'s construction to a specialization yielding the HOMFLY polynomial, which generalizes both the Jones and Alexander polynomials.
New lower bounds for partial $k$-parallelisms
Published
• View Publication
• BIB
Due to the applications in network coding, subspace codes and designs have received many attentions. Suppose that $k\mid n$ and $V(n,q)$ is an $n$-dimensional space over the finite field $\mathbb{F}_{q}$. A $k$-spread is a $\frac{q^n-1}{q^k-1}$-set of $k$-dimensional subspaces of $V(n,q)$ such that each nonzero vector is covered exactly once. A partial $k$-parallelism in $V(n,q)$ is a set of pairwise disjoint $k$-spreads. As the number of $k$-dimensional subspaces in $V(n,q)$ is ${n \brack k}_{q}$, there are at most ${n-1 \brack k-1}_{q}$ spreads in a partial $k$-parallelism.
By studying the independence numbers of Cayley graphs associated to a special type of partial $k$-parallelisms in $V(n,q)$, we obtain new lower bounds for partial $k$-parallelisms. In particular, we show that there exist at least $\frac{q^{k}-1}{q^{n}-1}{n-1 \brack k-1}_q$ pairwise disjoint $k$-spreads in $V(n,q)$.
An efficient container lemma
Published in Discrete Analysis 2020:17
• Search Publication
We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional convex geometry. The existence of smaller families of containers for independent sets in such hypergraphs, which is guaranteed by the new theorem, allows us to improve upon the best currently known bounds for several problems in extremal graph theory, discrete geometry, and Ramsey theory.
Breaking the degeneracy barrier for coloring graphs with no $K_t$ minor
Published
• View Publication
• BIB
In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. We show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the Kostochka-Thomason bound.
The structure and the list 3-dynamic coloring of outer-1-planar graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (August 27, 2021) dmtcs:5860
• View Publication
• BIB
An outer-1-planar graph is a graph admitting a drawing in the plane so that all vertices appear in the outer region of the drawing and every edge crosses at most one other edge. This paper establishes the local structure of outer-1-planar graphs by proving that each outer-1-planar graph contains one of the seventeen fixed configurations, and the list of those configurations is minimal in the sense that for each fixed configuration there exist outer-1-planar graphs containing this configuration that do not contain any of another sixteen configurations. There are two interesting applications of this structural theorem. First of all, we conclude that every (resp. maximal) outer-1-planar graph of minimum degree at least 2 has an edge with the sum of the degrees of its two end-vertices being at most 9 (resp. 7), and this upper bound is sharp. On the other hand, we show that the list 3-dynamic chromatic number of every outer-1-planar graph is at most 6, and this upper bound is best possible.
Reflection groups and quiver mutation: Diagrammatics
Published
• View Publication
• BIB
We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel and Tsaranov as well as Barot and Marsh.
The cover time of a sparse random intersection graph
Many known networks have structure of affiliation networks, where each of $n$ network's nodes (actors) selects an attribute set from a given collection of $m$ attributes and two nodes (actors) establish adjacency relation whenever they share a common attribute. We study behaviour of the random walk on such networks. For that purpose we use commonly used model of such networks -- random intersection graph. We establish the cover time of the simple random walk on the binomial random intersection graph ${\cal G}(n,m,p)$ at the connectivity threshold and above it. We consider the range of $n,m,p$ where the typical attribute is shared by (stochastically) bounded number of actors.
Minimum-weight combinatorial structures under random cost-constraints
Published in Electron. J. Combin. 28 (2021), no. 1, Paper No. 1.20,-18
• View Publication
• BIB
Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the minimum-length structure whose total cost is less than some cost budget. For several classes of structures, we determine the correct minimum length structure as a function of the cost-budget, up to constant factors. Moreover, we achieve this even in the more general setting where the distribution of weights and costs are arbitrary, so long as the density $f(x)$ as $x\to 0$ behaves like $cx^γ$ for some $γ\geq 0$; previously, this case was not understood even in the absence of cost constraints. We also handle the case where each edge has several independent costs associated to it, and we must simultaneously satisfy budgets on each cost. In this case, we show that the minimum-length structure obtainable is essentially controlled by the product of the cost thresholds.
On Critical nets in $\mathbb{R}^k$
Published
• View Publication
• BIB
Critical nets in $\mathbb{R}^k$ (sometimes called geodesic nets) are embedded graph with the property that their embedding is a critical point of the total (edge) length functional and under the constraint that certain 1-valent vertices (leaves) have a fixed position. In contrast to what happens on generic manifolds, we show that, if n is the number of 1-valent vertices, the total length of the edges not incident with a 1-valent vertex is bounded by rn (where r is the outer radius), the degree of any vertex is bounded by n and that the number of edges (and hence the number of vertices) is bounded by nl where l is related to the combinatorial diameter of the graph.
Maximum sparse induced subgraphs of the binomial random graph with given number of edges
Published
• View Publication
• BIB
We prove that a.a.s. the maximum size of an induced subtree of the binomial random graph $G(n,p)$ is concentrated in 2 consecutive points. We also prove that, given a non-negative integer-valued function $t(k)<\varepsilon k^2$, under a certain smoothness condition on this function, a.a.s. the maximum size $k$ of an induced subgraph with exactly $t(k)$ edges of $G(n,p)$ is concentrated in 2 consecutive points as well.
Strengthening some complexity results on toughness of graphs
Published
• View Publication
• BIB
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-tough bipartite graphs is coNP-complete (the case $t=1$ was already known), and this problem remains coNP-complete for $k$-connected bipartite graphs, and so does the problem of recognizing 1-tough r-regular bipartite graphs. To prove these statements we also deal with other related complexity problems on toughness. % In this paper we prove the following. For any positive rational number $t$, deciding whether $τ(G)=t$ is DP-complete and if $t < 1$, this problem remains DP-complete for bipartite graphs. For any integer $k \ge 2$ and positive rational number $t \le 1$, recognizing $t$-tough $k$-connected bipartite graphs is coNP-complete. For any integer $r \ge 5$, recognizing $1/2$-tough $r$-regular graphs is coNP-complete. For any integer $r \ge 6$, recognizing 1-tough $r$-regular bipartite graphs is coNP-complete. For any positive rational number $t < 2/3$ we give a polynomial time algorithm for recognizing 3-regular graphs with toughness $t$. Finally, we prove that every connected 4-regular graph is 1/2-tough.
Semantic Limits of Dense Combinatorial Objects
Published
• View Publication
• BIB
The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often associated with the name ``graph limits''. The language of graph limits is generally more intuitive and expressible, but a price that one has to pay for it is that it is better suited for the case of ordinary graphs than for more general combinatorial objects. Accordingly, there have been several attempts in the literature, of varying degree of generality, to define limit objects for more complicated combinatorial structures.
This paper is another attempt at a workable general theory of dense limit objects. Unlike previous efforts in this direction (with notable exception of [Ashwini Aroskar and James Cummings. Limits, regularity and removal for finite structures. Technical Report arXiv:1412.2014 [math.LO], arXiv e-print, 2014.]), we base our account on the same concepts from the first-order logic and the model theory as in the theory of flag algebras.
We show how our definition naturally encompasses a host of previously considered cases (graphons, hypergraphons, digraphons, permutons, posetons, colored graphs, etc.), and we extend the fundamental properties of existence and uniqueness to this more general case. We also give an intuitive general proof of the continuous version of the Induced Removal Lemma based on the completeness theorem for propositional calculus. We capitalize on the notion of an open interpretation that often allows to transfer methods and results from one situation to another. Again, we show that some previous arguments can be quite naturally framed using this language.
An Erdős-Ko-Rado Theorem for unions of length 2 paths
Published
• View Publication
• BIB
A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, the family of independent sets of size $r$ that contain $v$ is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star. Let $n$ be a positive integer, and let $G$ consist of the disjoint union of $n$ paths each of length 2. We prove that if $1 \leq r \leq n/2$, then $G$ is $r$-EKR. This affirms a longstanding conjecture of Holroyd and Talbot for this class of graphs and can be seen as an analogue of a well-known theorem on signed sets, proved using different methods, by Deza and Frankl and by Bollobás and Leader. Our main approach is a novel probabilistic extension of Katona's elegant cycle method, which might be of independent interest.
Generalised Voltage Graphs
A graph with a semiregular group of automorphisms can be thought of as the derived cover arising from a voltage graph. Since its inception, the theory of voltage graphs and their derived covers has been a powerful tool used in the study of graphs with a significant degree of symmetry. We generalise this theory to graphs with a group of automorphisms that is not necessarily semiregular, and we generalise several well-known results of the classical theory of voltage graphs to this broader setting.
Bipartite complements of circle graphs
Published in Discrete Mathematics 343(6) (2020), 111834
• View Publication
• BIB
Using an algebraic characterization of circle graphs, Bouchet proved in 1999 that if a bipartite graph $G$ is the complement of a circle graph, then $G$ is a circle graph. We give an elementary proof of this result.
Convex graphon parameters and graph norms
Published
• View Publication
• BIB
Sidorenko's conjecture states that the number of copies of a bipartite graph $H$ in a graph $G$ is asymptotically minimised when $G$ is a quasirandom graph. A notorious example where this conjecture remains open is when $H=K_{5,5}\setminus C_{10}$. It was even unknown whether this graph possesses the strictly stronger, weakly norming property.
We take a step towards understanding the graph $K_{5,5}\setminus C_{10}$ by proving that it is not weakly norming. More generally, we show that 'twisted' blow-ups of cycles, which include $K_{5,5}\setminus C_{10}$ and $C_6\square K_2$, are not weakly norming. This answers two questions of Hatami. The method relies on the analysis of Hessian matrices defined by graph homomorphisms, by using the equivalence between the (weakly) norming property and convexity of graph homomorphism densities. We also prove that $K_{t,t}$ minus a perfect matching, proven to be weakly norming by Lovász, is not norming for every $t>3$.
Frame Matroids, Toric Ideals, and a Conjecture of White
Published
• View Publication
• BIB
Blasiak verified a conjecture of White for graphic matroids by showing that the toric ideal of a graphic matroid is generated by quadrics. In this paper, we extend this result to frame matroids satisfying a linearity condition. Such classes of matroids include graphic matroids, bicircular matroids, signed graphic matroids, and more generally frame matroids obtained from group-labelled graphs.
Short proofs of some extremal results III
Published
• View Publication
• BIB
We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short.