arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
2024-10-13 v2
Phase transition in preferential attachment-detachment through embedding
We study a random graph model with preferential edge attachment and detachment through the embedding into a generalized Yule model. We show that the in-degree distribution of a vertex chosen uniformly at random follows a power law in the supercritical regime but has an exponential decay in the subcritical. We provide the corresponding asymptotics. In the critical regime we observe an intermediate decay. The regimes are clearly defined in terms of parameter ranges.
2024-10-12
Spider networks
In this investigation we study a family of networks, called spiders, which covers a range of networks going from chains to complete graphs. These spiders are characterized by three parameters: the number of nodes in the core, the number of legs at each core node, and the length of these legs. Keeping two of the three parameters constant we investigate if spiders are small worlds in the sense recently defined by Egghe.
2024-10-12
Amplituhedra and origami
We establish a precise correspondence between points of momentum amplituhedra and origami crease patterns. As an application, we prove that the BCFW cells triangulate the momentum amplituhedron when all Mandelstam variables are nonnegative. As another application, we show that every weighted planar bipartite graph $Γ$ admits a t-embedding, i.e., an embedding of the planar dual of $Γ$ such that the sum of angles of white (equivalently, black) faces around each vertex is equal to $π$.
On Turán-type problems and the abstract chromatic number
In 2020, Coregliano and Razborov introduced a general framework to study limits of combinatorial objects, using logic and model theory. They introduced the abstract chromatic number and proved/reproved multiple Erdős-Stone-Simonovits-type theorems in different settings. In 2022, Coregliano extended this by showing that similar results hold when we count copies of $K_t$ instead of edges. Our aim is threefold. First, we provide a purely combinatorial approach. Second, we extend their results by showing several other graph parameters and other settings where Erdős-Stone-Simonovits-type theorems follow. Third, we go beyond determining asymptotics and obtain corresponding stability, supersaturation, and sometimes even exact results.
Canonical Ramsey numbers of sparse graphs
The canonical Ramsey theorem of Erdős and Rado implies that for any graph $H$, any edge-coloring (with an arbitrary number of colors) of a sufficiently large complete graph $K_N$ contains a monochromatic, lexicographic, or rainbow copy of $H$. The least such $N$ is called the Erdős-Rado number of $H$, denoted by $ER(H)$. Erdős-Rado numbers of cliques have received considerable attention, and in this paper we extend this line of research by studying Erdős-Rado numbers of sparse graphs. For example, we prove that if $H$ has bounded degree, then $ER(H)$ is polynomial in $|V(H)|$ if $H$ is bipartite, but exponential in general. We also study the closely-related problem of constrained Ramsey numbers. For a given tree $S$ and given path $P_t$, we study the minimum $N$ such that every edge-coloring of $K_N$ contains a monochromatic copy of $S$ or a rainbow copy of $P_t$. We prove a nearly optimal upper bound for this problem, which differs from the best known lower bound by a function of inverse-Ackermann type.
Metric Dimension of Villarceau Grids
The metric dimension of a graph measures how uniquely vertices may be identified using a set of landmark vertices. This concept is frequently used in the study of network architecture, location-based problems and communication. Given a graph $G$, the metric dimension, denoted as $\dim(G)$, is the minimum size of a resolving set, a subset of vertices such that for every pair of vertices in $G$, there exists a vertex in the resolving set whose shortest path distance to the two vertices is different. This subset of vertices helps to uniquely determine the location of other vertices in the graph. A basis is a resolving set with a least cardinality. Finding a basis is a problem with practical applications in network design, where it is important to efficiently locate and identify nodes based on a limited set of reference points. The Cartesian product of $P_m$ and $P_n$ is the grid network in network science. In this paper, we investigate two novel types of grids in network science: the Villarceau grid Type I and Type II. For each of these grid types, we find the precise metric dimension.
Block coupling and rapidly mixing k-heights
A $k$-height on a graph $G=(V, E)$ is an assignment $V\to\{0, \ldots, k\}$ such that the value on ajacent vertices differs by at most $1$. We study the Markov chain on $k$-heights that in each step selects a vertex at random, and, if admissible, increases or decreases the value at this vertex by one. In the cases of $2$-heights and $3$-heights we show that this Markov chain is rapidly mixing on certain families of grid-like graphs and on planar cubic $3$-connected graphs. The result is based on a novel technique called block coupling, which is derived from the well-established monotone coupling approach. This technique may also be effective when analyzing other Markov chains that operate on configurations of spin systems that form a distributive lattice. It is therefore of independent interest.
The Locating Rainbow Connection Number of the Edge Corona of a Graph with a Complete Graph
A graph has a locating rainbow coloring if every pair of its vertices can be connected by a path passing through internal vertices with distinct colors and every vertex generates a unique rainbow code. The minimum number of colors needed for a graph to have a locating rainbow coloring is referred to as the locating rainbow connection number of a graph. Let $G$ and $H$ be two connected, simple, and undirected graphs on disjoint sets of $|V(G)|$ and $|V(H)|$ vertices, $|E(G)|$ and $|E(G)|$ edges, respectively. For $j\in\{1,2,...,|E(G_m)|\}$, the edge corona of $G_m$ and $H_n$, denoted as $G_m \diamond H_n$, is constructed by using a single copy of $G_m$ and $E(G_m)$ copies of $H_n$, and then connecting the two end vertices of the $j$-th edge of $G_m$ to every vertex in the $j$-th copy of $H_n$. In this paper, we determine the upper and lower bounds of the locating rainbow connection number for the class of graphs resulting from the edge corona of a graph with a complete graph. Furthermore, we demonstrate that these upper and lower bounds are tight.
2024-10-10 v2
More unit distances in arbitrary norms
Published in Bull. Lond. Math. Soc. 57 (2025), 2885--2901 • View PublicationBIB
For $d\geq 2$ and any norm on $\mathbb R^d$, we prove that there exists a set of $n$ points that spans at least $(\tfrac d2-o(1))n\log_2n$ unit distances under this norm for every $n$. This matches the upper bound recently proved by Alon, Bucić, and Sauermann for typical norms (i.e., norms lying in a comeagre set). We also show that for $d\geq 3$ and a typical norm on $\mathbb R^d$, the unit distance graph of this norm contains a copy of $K_{d,m}$ for all $m$.
2024-10-10 v2
Clocks are $e$-positive
Along with his confirmation of the $e$-positivity of all cycle-chord graphs $θ_{ab1}$, the third author conjectured the $e$-positivity of all theta graphs $θ_{abc}$. In this paper, we establish the $e$-positivity of all clock graphs $θ_{ab2}$ by using the composition method. The key idea is to investigate the fibers of certain partial reversal transformation on compositions with all parts at least $2$.
Eigenvectors of the De Bruijn Graph Laplacian: A Natural Basis for the Cut and Cycle Space
We study the Laplacian of the undirected De Bruijn graph over an alphabet $A$ of order $k$. While the eigenvalues of this Laplacian were found in 1998 by Delorme and Tillich [1], an explicit description of its eigenvectors has remained elusive. In this work, we find these eigenvectors in closed form and show that they yield a natural and canonical basis for the cut- and cycle-spaces of De Bruijn graphs. Remarkably, we find that the cycle basis we construct is a basis for the cycle space of both the undirected and the directed De Bruijn graph. This is done by developing an analogue of the Fourier transform on the De Bruijn graph, which acts to diagonalize the Laplacian. Moreover, we show that the cycle-space of De Bruijn graphs, when considering all possible orders of $k$ simultaneously, contains a rich algebraic structure, that of a graded Hopf algebra.
2024-10-10
Bipartite and Euclidean Gallai-Ramsey Theory
In this paper, we investigate the following Gallai-Ramsey question: how large must a complete bipartite graph $K_{n_1, n_2}$ be before any coloring of its edges with $r$ colors contains either a monochromatic copy of $G = K_{s,t}$ or a rainbow copy of $H = K_{s,t}$? We demonstrate that the answer is linear in $r$, and provide more precise bounds for the specific case $s = 2$. Furthermore, we also consider the following Euclidean Gallai-Ramsey question: given a configuration $H$ in Euclidean space, what is the smallest $n$ such that any $r$-coloring of $n$-dimensional Euclidean space contains a monochromatic or rainbow configuration congruent to $H$? Through a natural translation between edge colorings of the complete bipartite graph $K_{n_1,n_2}$ and colorings of a subset of $(n_1+n_2)$-dimensional Euclidean space, we prove new upper bounds on $n$ for some configurations which can be expressed as Cartesian products of simplices.
2024-10-10
The maximum spectral radius of $θ_{1,3,3}$-free graphs with given size
A graph $G$ is said to be $F$-free if it does not contain $F$ as a subgraph. A theta graph, say $θ_{l_1,l_2,l_3}$, is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $l_1, l_2, l_3$, where $l_1\leq l_2\leq l_3$ and $l_2\geq2$. Recently, Li, Zhao and Zou [arXiv:2409.15918v1] characterized the $θ_{1,p,q}$-free graph of size $m$ having the largest spectral radius, where $q\geq p\geq3$ and $p+q\geq2k+1\geq7$, and proposed a problem on characterizing the graphs with the maximum spectral radius among $θ_{1,3,3}$-free graphs. In this paper, we consider this problem and determine the maximum spectral radius of $θ_{1,3,3}$-free graphs with size $m$ and characterize the extremal graph. Up to now, all the graphs in $\mathcal{G}(m,θ_{1,p,q})$ which have the largest spectral radius have been determined, where $q\geq p\geq 2$.
2024-10-10 v3
Graphs with nonnegative resistance curvature
Published • View PublicationBIB
This article introduces and studies a new class of graphs motivated by discrete curvature. We call a graph resistance nonnegative if there exists a distribution on its spanning trees such that every vertex has expected degree at most two in a random spanning tree; these are precisely the graphs that admit a metric with nonnegative resistance curvature, a discrete curvature introduced by Devriendt and Lambiotte. We show that this class of graphs lies between Hamiltonian and $1$-tough graphs and, surprisingly, that a graph is resistance nonnegative if and only if its twice-dilated matching polytope intersects the interior of its spanning tree polytope. We study further characterizations and basic properties of resistance nonnegative graphs and pose several questions for future research.
2024-10-10
Generic infinitesimal rigidity for rotational groups in the plane
In this paper we establish combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks in the Euclidean plane for rotational groups of order 4 and 6, and of odd order between 5 and 1000, where a joint may lie at the centre of rotation. This extends the corresponding results for these groups in the free action case obtained by R. Ikeshita and S. Tanigawa in 2015, and our recent results for the reflection group and the rotational groups of order 2 and 3 in the non-free action case. The characterisations are given in terms of sparsity counts on the corresponding group-labelled quotient graphs, and are obtained via symmetry-adapted versions of recursive Henneberg-type graph constructions. For rotational groups of even order at least 8, we show that the sparsity counts alone are not sufficient for symmetry-generic infinitesimal rigidity.
2024-10-10
Switching methods of level 2 for the construction of cospectral graphs
A switching method is a graph operation that results in cospectral graphs (graphs with the same spectrum). Work by Wang and Xu [Discrete Math. 310 (2010)] suggests that most cospectral graphs with cospectral complements can be constructed using regular orthogonal matrices of level 2, which has relevance for Haemers' conjecture. We present two new switching methods and several combinatorial and geometrical reformulations of existing switching operations of level 2. We also introduce the concept of reducibility and use it to classify all irreducible switching methods that correspond to a conjugation with a regular orthogonal matrix of level 2 with one nontrivial indecomposable block, up to switching sets of size 12, extending previous results.
2024-10-10
A uniform bound on almost colour-balanced perfect matchings in colour-balanced cliques
An edge-colouring of a graph $G$ is said to be colour-balanced if there are equally many edges of each available colour. We are interested in finding a colour-balanced perfect matching within a colour-balanced clique $K_{2nk}$ with a palette of $k$ colours. While it is not necessarily possible to find such a perfect matching, one can ask for a perfect matching as close to colour-balanced as possible. In particular, for a colouring $c:E(K_{2nk})\rightarrow [k]$, we seek to find a perfect matching $M$ minimising $f(M) = \sum_{i=1}^k\bigl||c^{-1}(i)\cap M|-n\bigr|$. The previous best upper bound, due to Pardey and Rautenbach, was $\min f(M)\leq \mathcal{O}(k\sqrt{nk\log k})$. We remove the $n$-dependence, proving the existence of a matching $M$ with $f(M)\leq 4^{k^2}$ for all $k$.
2024-10-10 v2
Poset topology, moves, and Bruhat interval polytope lattices
We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.
Maximum $k$-colourable induced subgraphs in $(P_5+rK_1)$-free graphs
We show that for any nonnegative integer $r$, the Weighted Maximum List-$k$-Colourable Induced Subgraph problem can be solved in polynomial time for input graphs that do not contain $(P_5+ rK_1)$ as an induced subgraph, and give an explicit algorithm demonstrating this. This answers a question of Agrawal et al.\ (2024).
2024-10-10
Dirac Traces and the Tutte Polynomial
Perturbative calculations involving fermion loops in quantum field theories require tracing over Dirac matrices. A simple way to regulate the divergences that generically appear in these calculations is dimensional regularisation, which has the consequence of replacing 4-dimensional Dirac matrices with d-dimensional counterparts for arbitrary complex values of d. In this work, a connection between traces of d-dimensional Dirac matrices and computations of the Tutte polynomial of associated graphs is proven. The time complexity of computing Dirac traces is analysed by this connection, and improvements to algorithms for computing Dirac traces are proposed.