graph
34516 papers tagged with this keyword
Game extensions of floppy graph metrics
A $graph$ $metric$ on a set $X$ is any function $d: E_d \to\mathbb R_+:=\{x\in\mathbb R:x>0\}$ defined on a connected graph $ E_d \subseteq[X]^2:=\{A\subseteq X:|A|=2\}$ and such that for every $\{x,y\}\in E_d$ we have $d(\{x,y\})\le\hat d(x,y):=\inf\big\{\sum_{i=1}^nd(\{x_{i-1},x_i\}):\{x,y\}=\{x_0,x_n\}\;\wedge\;\{\{x_{i-1},x_i\}:0<i\le n\}\subseteq E_d \big\}$. A graph metric $d$ is called a $full$ $metric$ on $X$ if $ E_d =[X]^2$. A graph metric $d: E_d \to\bar{\mathbb R}_+$ is $floppy$ if $\hat d(x,y)>\check d(x,y:= \sup\{d(\{a,b\})-\hat d(a,u)-\hat d(b,y):\{a,b\}\in E_d \}$ for every $x,y\in X$ with $\{x,y\}\notin E_d $. We prove that for every floppy graph metric $d: E_d \to\mathbb R_+$ on a set $X$, every points $x,y\in X$ with $\{x,y\}\notin E_d $, and every real number $r$ with $\frac 13\check d(x,y)+\frac23\hat d(x,y)\le r<\hat d(x,y)$ the function $d\cup\{\langle\{x,y\},r\rangle\}$ is a floppy graph metric. This implies that for every floppy graph metric $d: E_d \to\mathbb R_+$ with countable set $[X]^2\setminus E_d $ and for every indexed family $(F_e)_{e\in[X]^2\setminus E_d }$ of dense subsets of $\mathbb R_+$, there exists an injective function $r\in\prod_{e\in[X]^2\setminus E_d}F_e$ such that $d\cup r$ is a full metric. Also, we prove that the latter result does not extend to partial metrics defined on uncountable sets.
Breaking small automorphisms by list colourings
For a graph G, we define a small automorphism as one that maps some vertex into its neighbour. We investigate the edge colourings of G that break every small automorphism of G. We show that such a colouring can be chosen from any set of lists of length three. In addition, we show that any set of lists of length two on both edges and vertices of G yields a total colouring which breaks all the small automorphisms of $G$. These results are sharp and they match the non-list variants.
Graphs without rainbow cliques of orders four and five
Let $\mathcal{G}_n^k=\{G_1,G_2,\ldots,G_k\}$ be a multiset of graphs on vertex set $[n]$ and let $F$ be a fixed graph with edge set $F=\{e_1, e_2,\ldots, e_m\}$ and $k\ge m$. We say ${\mathcal{G}_n^k}$ is rainbow $F$-free if there is no $\{i_1, i_2,\ldots, i_{m}\}\subseteq[k]$ satisfying $e_j\in G_{i_j}$ for every $j\in[m]$. Let $\ex_k(n,F)$ be the maximum $\sum_{i=1}^{k}|G_i|$ among all the rainbow $F$-free multisets ${\mathcal{G}_n^k}$. Keevash, Saks, Sudakov, and Verstraëte (2004) determined the exact value of $\ex_k(n, K_r)$ when $n$ is sufficiently large and proposed the conjecture that the results remain true when $n\ge Cr^2$ for some constant $C$. Recently, Frankl (2022) confirmed the conjecture for $r=3$ and all possible values of $n$. In this paper, we determine the exact value of $\ex_k(n, K_r)$ for $n\ge r-1$ when $r=4$ and $5$, i.e. the conjecture of Keevash, Saks, Sudakov, and Verstraëte is true for $r\in\{4,5\}$.
Rényi--Sobolev Inequalities and Connections to Spectral Graph Theory
In this paper, we generalize the log-Sobolev inequalities to Rényi--Sobolev inequalities by replacing the entropy with the two-parameter entropy, which is a generalized version of entropy and closely related to Rényi divergences. We derive the sharp nonlinear dimension-free version of this kind of inequalities. Interestingly, the resultant inequalities show a transition phenomenon depending on the parameters. We then connect Rényi--Sobolev inequalities to contractive and data-processing inequalities, concentration inequalities, and spectral graph theory. Our proofs in this paper are based on the information-theoretic characterization of the Rényi--Sobolev inequalities, as well as the method of types.
Common divisor graphs for skew braces
Published in J. Pure Appl. Algebra 229 (2025), no.2, Paper No. 107876
• View Publication
• BIB
We introduce two common divisor graphs associated with a finite skew brace, based on its $λ$- and $θ$-orbits. We prove that the number of connected components is at most two and the diameter of a connected component is at most four. Furthermore, we investigate their relationship with isoclinism. Similarly to its group theoretic inspiration, the skew braces with a graph with two disconnected vertices are very restricted and are determined. Finally, we classify all finite skew braces with a graph with one vertex, where four infinite families arise.
Rotation-invariant web bases from hourglass plabic graphs
Published
• View Publication
• BIB
Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.
Promotion permutations for tableaux
Published in Combinatorial Theory, Volume 4, Number 2 (2024)
• View Publication
• BIB
In our companion paper, we develop a new $SL_4$-web basis. Basis elements are given by certain planar graphs and are constructed so that important algebraic operations can be performed diagrammatically. A guiding principle behind our construction is that the long cycle $(12\ldots n) \in \mathfrak{S}_n$ should act by rotation of webs. Moreover, the bijection between webs and tableaux should intertwine rotation with the promotion action on tableaux.
In this paper, we develop necessary notions of promotion permutations and promotion matrices, which are new even for standard tableaux. To support inductive arguments in the companion paper, we must however work in the more general setting of fluctuating tableaux, which we introduce and which subsumes many classes of tableaux that have been previously studied, including (generalized) oscillating, vacillating, rational, alternating, and (semi)standard tableaux. Therefore, we also give here a full development of the basic combinatorics and representation theory of fluctuating tableaux.
Matroid lifts and representability
Published in The Electronic Journal of Combinatorics (2024): P1-15
• View Publication
• BIB
A 1965 result of Crapo shows that every elementary lift of a matroid $M$ can be constructed from a linear class of circuits of $M$. In a recent paper, Walsh generalized this construction by defining a rank-$k$ lift of a matroid $M$ given a rank-$k$ matroid $N$ on the set of circuits of $M$, and conjectured that all matroid lifts can be obtained in this way. In this sequel paper we simplify Walsh's construction and show that this conjecture is true for representable matroids but is false in general. This gives a new way to certify that a particular matroid is non-representable, which we use to construct new classes of non-representable matroids.
Walsh also applied the new matroid lift construction to gain graphs over the additive group of a non-prime finite field, generalizing a construction of Zaslavsky for these special groups. He conjectured that this construction is possible on three or more vertices only for the additive group of a non-prime finite field. We show that this conjecture holds for four or more vertices, but fails for exactly three.
Distance-Restricted Firefighting on Finite Graphs
In the classic version of the game of firefighter, on the first turn a fire breaks out on a vertex in a graph $G$ and then $b$ firefighters protect $b$ vertices. On each subsequent turn, the fire spreads to the collective unburned neighbourhood of all the burning vertices and the firefighters again protect $b$ vertices. Once a vertex has been burned or protected it remains that way for the rest of the game. In \textit{distance-restricted firefighting} the firefighters' movement is restricted so they can only move up to some fixed distance $d$ and they may or may not be permitted to move through burning vertices. In this paper we establish the NP-completeness of the distance-restricted versions of {\sc $b$-Firefighter} and present an integer program for computing the exact value. We also discuss some interesting properties of the \textit{Expected Damage} function.
Pancyclicity of highly connected graphs
A well-known result due to Chvatál and Erdős (1972) asserts that, if a graph $G$ satisfies $κ(G) \ge α(G)$, where $κ(G)$ is the vertex-connectivity of $G$, then $G$ has a Hamilton cycle. We prove a similar result implying that a graph $G$ is pancyclic, namely it contains cycles of all lengths between $3$ and $|G|$: if $|G|$ is large and $κ(G) > α(G)$, then $G$ is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs, and improves upon a very recent result of Draganić, Munhá-Correia, and Sudakov.
On Error-detecting Open-locating-dominating sets
An open-dominating set S for a graph G is a subset of vertices where every vertex has a neighbor in S. An open-locating-dominating set S for a graph G is an open-dominating set such that each pair of distinct vertices in G have distinct set of open-neighbors in S. We consider a type of a fault-tolerant open-locating dominating set called error-detecting open-locating-dominating sets. We present more results on the topic including its NP-completeness proof, extremal graphs, and a characterization of cubic graphs that permit an error-detecting open-locating-dominating set.
Bounds on the genus for 2-cell embeddings of prefix-reversal graphs
In this paper, we provide bounds for the genus of the pancake graph $\mathbb{P}_n$, burnt pancake graph $\mathbb{BP}_n$, and undirected generalized pancake graph $\mathbb{P}_m(n)$. Our upper bound for $\mathbb{P}_n$ is sharper than the previously-known bound, and the other bounds presented are the first of their kind. Our proofs are constructive and rely on finding an appropriate rotation system (also referred to in the literature as Edmonds' permutation technique) where certain cycles in the graphs we consider become boundaries of regions of a 2-cell embedding. A key ingredient in the proof of our bounds for the genus $\mathbb{P}_n$ and $\mathbb{BP}_n$ is a labeling algorithm of their vertices that allows us to implement rotation systems to bound the number of regions of a 2-cell embedding of said graphs. All of our bounds are asymptotically tight; in particular, the genus of $\mathbb{P}_m(n)$ is $Θ(m^nnn!)$ for all $m\geq1$ and $n\geq2$.
Extremal results on the Mostar index of trees with fixed parameters
Published
• View Publication
• BIB
For a graph $G$, the Mostar index of $G$ is the sum of $|n_u(e)$ - $n_v(e)|$ over all edges $e=uv$ of $G$, where $n_u(e)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$, and analogously for $n_v(e)$. We determine all the graphs that maximize and minimize the Mostar index respectively over all trees in terms of some fixed parameters like the number of odd vertices, the number of vertices of degree two, and the number of pendent paths of fixed length.
Increasing paths in random temporal graphs
We consider random temporal graphs, a version of the classical Erdős--Rényi random graph G(n,p) where additionally, each edge has a distinct random time stamp, and connectivity is constrained to sequences of edges with increasing time stamps. We study the asymptotics for the distances in such graphs, mostly in the regime of interest where np is of order log n. We establish the first order asymptotics for the lengths of increasing paths: the lengths of the shortest and longest paths between typical vertices, the maxima of these lengths from a given vertex, as well as the maxima between any two vertices; this covers the (temporal) diameter.
Invariant systems of weighted representatives
Published in Journal of Algebraic Combinatorics, 61:3 (2025), 32
• View Publication
• BIB
It is known that, if removing some $n$ edges from a graph $Γ$ destroys all subgraphs isomorphic to a given finite graph $K$, then all subgraphs isomorphic to $K$ can be destroyed by removing at most $|E(K)|\cdot n$ edges, which form a set invariant with respect to all automorphisms of $Γ$. We construct the first examples of (connected) graphs $K$ for which this estimate is not sharp. Our arguments are based on a ``weighted analogue'' of an earlier known estimate for the cost of symmetry.
Anticoncentration of random vectors via the strong perfect graph theorem
In this paper we give anticoncentration bounds for sums of independent random vectors in finite-dimensional vector spaces. In particular, we asymptotically establish a conjecture of Leader and Radcliffe (1994) and a question of Jones (1978).
The highlight of this work is an application of the strong perfect graph theorem by Chudnovsky, Robertson, Seymour and Thomas (2003) in the context of anticoncentration.
Normality of $k$-Matching Polytopes of Bipartite Graphs
The $k$-matching polytope of a graph is the convex hull of all its matchings of a given size $k$ when they are considered as indicator vectors. In this paper, we prove that the $k$-matching polytope of a bipartite graph is normal, that is, every integer point in its $t$-dilate is the sum of $t$ integers points of the original polytope. This generalizes the known fact that Birkhoff polytopes are normal. As a preliminary result, we prove that for bipartite graphs the $k$-matching polytope is equal to the fractional $k$-matching polytope, having thus the $H$-representation of the polytope. This generalizes the Birkhoff-Von Neumann Theorem which establish that every doubly stochastic matrix can be written as a convex combination of permutation matrices.
Group irregularity strength of disconnected graphs
Published in Discrete Mathematics Volume 348, Issue 9, September 2025, 114548
• View Publication
• BIB
We investigate the \textit{group irregular strength} $(s_g(G))$ of graphs, i.e the smallest value of $s$ such that for any Abelian group $Γ$ of order $s$ exists a function $g\colon E(G) \rightarrow Γ$ such that sums of edge labels at every vertex is distinct. We give results for bound and exact values of $(s_g(G))$ for graphs without small stars as components.
On the minimum number of arcs in $4$-dicritical oriented graphs
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the minimum number of colours needed to colour the vertices of a digraph such that each colour class induces an acyclic subdigraph. A digraph $D$ is $k$-dicritical if $\vecχ(D) = k$ and each proper subdigraph $H$ of $D$ satisfies $\vecχ(H) < k$.
For integers $k$ and $n$, we define $d_k(n)$ (respectively $o_k(n)$) as the minimum number of arcs possible in a $k$-dicritical digraph (respectively oriented graph). Kostochka and Stiebitz have shown that $d_4(n) \geq \frac{10}{3}n -\frac{4}{3}$. They also conjectured that there is a constant $c$ such that $o_k(n) \geq cd_k(n)$ for $k\geq 3$ and $n$ large enough. This conjecture is known to be true for $k=3$ (Aboulker et al.).
In this work, we prove that every $4$-dicritical oriented graph on $n$ vertices has at least $(\frac{10}{3}+\frac{1}{51})n-1$ arcs, showing the conjecture for $k=4$. We also characterise exactly the $k$-dicritical digraphs on $n$ vertices with exactly $\frac{10}{3}n -\frac{4}{3}$ arcs.
More on discrete convexity
In several recent papers some concepts of convex analysis were extended to discrete sets. This paper is one more step in this direction. It is well known that a local minimum of a convex function is always its global minimum. We study some discrete objects that share this property and provide several examples of convex families related to graphs and to two-person games in normal form.