graph
34516 papers tagged with this keyword
Repetitions of Pak-Stanley Labels in $G$-Shi Arrangements
Published
• View Publication
• BIB
Given a simple graph $G$, one can define a hyperplane arrangement called the $G$-Shi arrangement. The Pak-Stanley algorithm labels the regions of this arrangement with $G_\bullet$-parking functions. When $G$ is a complete graph, we recover the Shi arrangement, and the Pak-Stanley labels give a bijection with ordinary parking functions. However, for proper subgraphs $G \subset K_n$, while the Pak-Stanley labels still include every $G_{\bullet}$-parking function, some appear more than once. These repetitions of Pak-Stanley labels are a topic of interest in the study of $G$-Shi arrangements and $G_{\bullet}$-parking functions. Furthermore, $G_{\bullet}$-parking functions are connected to many other combinatorial objects (for example, superstable configurations in chip-firing). In studying these repetitions, we can draw on existing results about these objects such as Dhar's Burning Algorithm. Conversely, our results have implications for the study of these objects as well. The key insight of our work is the introduction of a combinatorial model called the Three Rows Game. Analyzing the histories of this game and how they induce identical outcomes lets us characterize the multiplicities of the Pak-Stanley labels. Using this model, we develop a classification theorem for the multiplicities of the Pak-Stanley labels of the regions in the $P_n$-Shi arrangement, where $P_n$ is the path graph on $n$ vertices. Then, we generalize the Three Rows Game into the $T$-Three Rows Game. This allows us to study the multiplicities of the Pak-Stanley labels of the regions in $T$-Shi arrangements, where $T$ is any tree. Finally, we discuss the possibilities and difficulties in applying our method to arbitrary graphs. In particular, we analyze multiplicities in the case when $G$ is a cycle graph, and prove a uniqueness result for maximal $G_{\bullet}$-parking functions for all graphs using the Three Rows Game.
Square of Planar Graphs of Max Degree Four without Five Cycles
We show that the choosability of the square of planar graphs of max degree 4 without five cycles is at most 12.
Keywords: planar graph, choosability
AMS Mathematics Subject Classification: 05C15
Tree-Partitions with Small Bounded Degree Trees
Published
• View Publication
• BIB
A "tree-partition" of a graph $G$ is a partition of $V(G)$ such that identifying the vertices in each part gives a tree. It is known that every graph with treewidth $k$ and maximum degree $Δ$ has a tree-partition with parts of size $O(kΔ)$. We prove the same result with the extra property that the underlying tree has maximum degree $O(Δ)$ and $O(|V(G)|/k)$ vertices.
The geodesic cover problem for butterfly networks
Published in Fundamenta Informaticae, Volume 194, Issue 3 (October 27, 2025) fi:10201
• View Publication
• BIB
A geodesic cover, also known as an isometric path cover, of a graph is a set of geodesics which cover the vertex set of the graph. An edge geodesic cover of a graph is a set of geodesics which cover the edge set of the graph. The geodesic (edge) cover number of a graph is the cardinality of a minimum (edge) geodesic cover. The (edge) geodesic cover problem of a graph is to find the (edge) geodesic cover number of the graph. Surprisingly, only partial solutions for these problems are available for most situations. In this paper we demonstrate that the geodesic cover number of the $r$-dimensional butterfly is $\lceil (2/3)2^r\rceil$ and that its edge geodesic cover number is $2^r$.
Largest subgraph from a hereditary property in a random graph
Published
• View Publication
• BIB
We prove that for every non-trivial hereditary family of graphs ${\cal P}$ and for every fixed $p \in (0,1)$, the maximum possible number of edges in a subgraph of the random graph $G(n,p)$ which belongs to ${\cal P}$ is, with high probability, $$ \left(1-\frac{1}{k-1}+o(1)\right)p{n \choose 2}, $$ where $k$ is the minimum chromatic number of a graph that does not belong to ${\cal P}$.
Expander graphs are globally synchronizing
Published in Advances in Mathematics, vol 488, 2026, p. 110773
• View Publication
• BIB
The Kuramoto model is fundamental to the study of synchronization. It consists of a collection of oscillators with interactions given by a network, which we identify respectively with vertices and edges of a graph. In this paper, we show that a graph with sufficient expansion must be globally synchronizing, meaning that a homogeneous Kuramoto model of identical oscillators on such a graph will converge to the fully synchronized state with all the oscillators having the same phase, for every initial state up to a set of measure zero. In particular, we show that for any $\varepsilon > 0$ and $p \geq (1 + \varepsilon) (\log n) / n$, the homogeneous Kuramoto model on the Erdős-Rényi random graph $G(n, p)$ is globally synchronizing with probability tending to one as $n$ goes to infinity. This improves on a previous result of Kassabov, Strogatz, and Townsend and solves a conjecture of Ling, Xu, and Bandeira. We also show that the model is globally synchronizing on any $d$-regular Ramanujan graph, and on typical $d$-regular graphs, for large enough degree $d$.
Admissible Causal Structures and Correlations
Published in PRX Quantum 4, 040307, October 2023
• View Publication
• BIB
It is well-known that if one assumes quantum theory to hold locally, then processes with indefinite causal order and cyclic causal structures become feasible. Here, we study qualitative limitations on causal structures and correlations imposed by local quantum theory. For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible: Only such causal structures admit a realization consistent with local quantum theory. We conjecture that this property is moreover sufficient. This conjecture is motivated by an explicit construction of quantum causal models, and supported by numerical calculations. We show that these causal models, in a restricted setting, are indeed consistent. For another, we identify two sets of causal structures that, in the classical-deterministic case, give rise to causal and non-causal correlations respectively.
Turán Problems for Mixed Graphs
Published in Journal of Combinatorial Theory, Series B, Volume 167, 2024, Pages 119-163, ISSN 0095-8956
• View Publication
• BIB
We investigate natural Turán problems for mixed graphs, generalizations of graphs where edges can be either directed or undirected. We study a natural \textit{Turán density coefficient} that measures how large a fraction of directed edges an $F$-free mixed graph can have; we establish an analogue of the Erdős-Stone-Simonovits theorem and give a variational characterization of the Turán density coefficient of any mixed graph (along with an associated extremal $F$-free family). This characterization enables us to highlight an important divergence between classical extremal numbers and the Turán density coefficient. We show that Turán density coefficients can be irrational, but are always algebraic; for every positive integer $k$, we construct a family of mixed graphs whose Turán density coefficient has algebraic degree $k$.
Structure of singular and nonsingular tournament matrices
A tournament is a directed graph resulting from an orientation of the complete graph; so, if $M$ is a tournament's adjacency matrix, then $M + M^T$ is a matrix with $0$s on its diagonal and all other entries equal to $1$. An outstanding question in tournament theory asks to classify the adjacency matrices of tournaments which are singular (or nonsingular). We study this question using the structure of tournaments as graphs, in particular their cycle structure. More specifically, we find, as precisely as possible, the number of cycles of length three that dictates whether the corresponding tournament matrix is singular or nonsingular. We also give structural classifications of the tournaments that have the specified numbers of cycles of length three.
Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision
Published
• View Publication
• BIB
We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are 3-colorable.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
$2$-Reconstructibility of Weakly Distance-Regular Graphs
Published
• View Publication
• BIB
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.
Embedding dimensions of matrices whose entries are indefinite distances in the pseudo-Euclidean space
Published
• View Publication
• BIB
A finite set of the Euclidean space is called an $s$-distance set provided the number of Euclidean distances in the set is $s$. Determining the largest possible $s$-distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of $s$ and dimensions. Lisoněk (1997) achieved the classification of the largest 2-distance sets for dimensions up to $7$, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space $\mathbb{R}^{p,q}$. We consider an $s$-indefinite-distance set in a pseudo-Euclidean space that uses the value \[ || x-y ||=(x_1-y_1)^2 +\cdots +(x_p -y_p)^2-(x_{p+1}-y_{p+1})^2-\cdots -(x_{p+q}-y_{p+q})^2 \] instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of $s$-indefinite-distance sets, which includes or improves the results of Euclidean $s$-distance sets with large $s$ values. Moreover, we classify the largest possible $2$-indefinite-distance sets for small dimensions.
Hamilton completion and the path cover number of sparse random graphs
Published
• View Publication
• BIB
We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to $G$ to create a Hamiltonian graph.
Rerouting Planar Curves and Disjoint Paths
Published
• View Publication
• BIB
In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.
Optimal Locating-Paired-Dominating Sets in King Grids
In this paper, we continue the study of locating-paired-dominating set, abbreviated LPDS, in graphs introduced by McCoy and Henning. Given a finite or infinite graph $G=(V,E)$, a set $S\subset V$ is paired-dominating if the induced subgraph $G[S]$ has a perfect matching and every vertex in $V$ is adjacent to a vertex in $S$. The other condition for LPDS requires that for any distinct vertices $u,v \in V\backslash S$, we have $N(u)\cap S\neq N(v)\cap S$. Motivated by the conjecture of Kinawi, Hussain and Niepel, we prove the minimal density of LPDS in the king grid is between $8/37$ and $2/9$, and we find uncountable many different LPDS with density $2/9$ in the king grid. These results partially solve their conjecture.
The sequence reconstruction problem for permutations with the Hamming distance
Published
• View Publication
• BIB
V. Levenshtein first proposed the sequence reconstruction problem in 2001. This problem studies the model where the same sequence from some set is transmitted over multiple channels, and the decoder receives the different outputs. Assume that the transmitted sequence is at distance $d$ from some code and there are at most $r$ errors in every channel. Then the sequence reconstruction problem is to find the minimum number of channels required to recover exactly the transmitted sequence that has to be greater than the maximum intersection between two metric balls of radius $r$, where the distance between their centers is at least $d$. In this paper, we study the sequence reconstruction problem of permutations under the Hamming distance. In this model we define a Cayley graph over the symmetric group, study its properties and find the exact value of the largest intersection of its two metric balls for $d=2r$. Moreover, we give a lower bound on the largest intersection of two metric balls for $d=2r-1$.
Generalized Turan number for the edge blow-up graph
Published
• View Publication
• BIB
Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the graphs attaining these bounds.
The emergence of a giant rainbow component
Published
• View Publication
• BIB
The random coloured graph $G_c(n,p)$ is obtained from the Erdős-Rényi binomial random graph $G(n,p)$ by assigning to each edge a colour from a set of $c$ colours independently and uniformly at random. It is not hard to see that, when $c = Θ(n)$, the order of the largest rainbow tree in this model undergoes a phase transition at the critical point $p=\frac{1}{n}$. In this paper we determine the asymptotic order of the largest rainbow tree in the \emph{weakly sub- and supercritical regimes}, when $p = \frac{1+\varepsilon}{n}$ for some $\varepsilon=\varepsilon(n)$ which satisfies $\varepsilon = o(1)$ and $|\varepsilon|^3 n\to\infty$. In particular, we show that in both of these regimes with high probability the largest component of $G_c(n,p)$ contains an almost spanning rainbow tree. We also consider the order of the largest rainbow tree in the \emph{sparse regime}, when $p = \frac{d}{n}$ for some constant $d >1$. Here we show that the largest rainbow tree has linear order, and, moreover, for $d$ and $c$ sufficiently large, with high probability $G_c(n,p)$ even contains an almost spanning rainbow cycle.
On sub-graphs of the Johnson $\mathcal{J}(n,k)$ graph induced by particle systems on simple graphs
Understanding the topology of the state space has proven to be extremely efficient for dynamical systems with a continuous state space. On the other hand, for particle systems on finite simple graphs, it has not yet been subject to deep investigation due to combinatorial hurdles and existing efficient spectral theoretic approaches to the analysis of classical particle systems. In the context of complex systems with heterogeneous interactions of particles, these techniques can break down due to intractability. This work provides a tool box of results on the topology of state spaces of particles systems under the sole conditions that exactly one particle moves at a time and no two particles may occupy the same vertex at the same time. The Johnson $\mathcal{J}(n,k)$ graph yields the overarching structure and we prove that any particle system with exclusion property and single particle movements may be embedded as a dynamical system on a sub-graph of $\mathcal{J}(n,k)$.