graph
34516 papers tagged with this keyword
Symmetry Parameters of Praeger-Xu Graphs
Praeger-Xu graphs are connected, symmetric, 4-regular graphs that are unusual both in that their automorphism groups are large, and in that vertex stabilizer subgroups are also large. Determining number and distinguishing number are parameters that measure the symmetry of a graph by investigating additional conditions that can be imposed on a graph to eliminate its nontrivial automorphisms. In this paper, we compute the values of these parameters for Praeger-Xu graphs. Most Praeger-Xu graphs are 2-distinguishable; for these graphs we also provide the cost of 2-distinguishing.
Decycling cubic graphs
A set of vertices of a graph $G$ is said to be decycling if its removal leaves an acyclic subgraph. The size of a smallest decycling set is the decycling number of $G$. Generally, at least $\lceil(n+2)/4\rceil$ vertices have to be removed in order to decycle a cubic graph on $n$ vertices. In 1979, Payan and Sakarovitch proved that the decycling number of a cyclically $4$-edge-connected cubic graph of order $n$ equals $\lceil (n+2)/4\rceil$. In addition, they characterised the structure of minimum decycling sets and their complements. If $n\equiv 2\pmod4$, then $G$ has a decycling set which is independent and its complement induces a tree. If $n\equiv 0\pmod4$, then one of two possibilities occurs: either $G$ has an independent decycling set whose complement induces a forest of two trees, or the decycling set is near-independent (which means that it induces a single edge) and its complement induces a tree. In this paper we strengthen the result of Payan and Sakarovitch by proving that the latter possibility (a near-independent set and a tree) can always be guaranteed. Moreover, we relax the assumption of cyclic $4$-edge-connectivity to a significantly weaker condition expressed through the canonical decomposition of 3-connected cubic graphs into cyclically $4$-edge-connected ones. Our methods substantially use a surprising and seemingly distant relationship between the decycling number and the maximum genus of a cubic graph.
Block eccentricity, a radius bound, and an application to the Randić index
We propose a framework for thinking about eccentricity in terms of blocks. We extend the familiar definitions of radius and center to blocks and verify that a central block contains all central points. We classify graphs into two types depending upon the relationship between block radius and vertex radius and between central blocks and central vertices; from this we derive a new lower bound on diameter in terms of the diameter of the central block. We also identify a subgraph which respects the block structure of the original graph and realizes the same vertex radius, and we use it to verify that cactus graphs satisfy a conjectured bound between vertex radius and the Randic index, an invariant from mathematical chemistry.
Dimension of splines on graphs in the case of degree two and smoothness one in two variables
Continuous spline functions are defined as piecewise polynomials on the faces of a polyhedral complex that agree on the intersections of two faces. Splines are used in approximation theory and numerical analysis, with applications in data interpolation, to create smooth curves in computer graphics and to find numerical solutions to partial differential equations. Gilbert, Tymoczko, and Viel generalized the classical splines combinatorially and algebraically: a generalized spline is a vertex labeling of a graph $G$ by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the ideal generated by the corresponding edge label. We study the generalized splines on the planar graphs whose edges are labeled by two-variable polynomials of the form $(ax+by+c)^2$ and whose vertices are labeled by polynomials of degree at most two. In this paper we address the upper-bound conjecture for the dimension of degree-2 splines of smoothness 1. The dimension is expressed in terms of the rank of the extended cycle basis matrix. We also provide a combinatorial algorithm on graphs to compute the rank by contracting certain subgraphs.
Cycle Partitions in Dense Regular Digraphs and Oriented Graphs
Published in Forum of Mathematics, Sigma 13 (2025) e79
• View Publication
• BIB
A conjecture of Jackson from 1981 states that every $d$-regular oriented graph on $n$ vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large $n$. In fact we prove a more general result that for all $α>0$, there exists $n_0=n_0(α)$ such that every $d$-regular digraph on $n\geq n_0$ vertices with $d \geq αn $ can be covered by at most $n/(d+1)$ vertex-disjoint cycles, and moreover that if $G$ is an oriented graph, then at most $n/(2d+1)$ cycles suffice.
Covering the edges of a graph with perfect matchings
An $r$-graph is an $r$-regular graph with no odd cut of size less than $r$. A well-celebrated result due to Lovász says that for such graphs the linear system $Ax = \textbf{1}$ has a solution in $\mathbb{Z}/2$, where $A$ is the $0,1$ edge to perfect matching incidence matrix. Note that we allow $x$ to have negative entries. In this paper, we present an improved version of Lovász's result, proving that, in fact, there is a solution $x$ with all entries being either integer or $+1/2$ and corresponding to a linearly independent set of perfect matchings. Moreover, the total number of $+1/2$'s is at most $6k$, where $k$ is the number of Petersen bricks in the tight cut decomposition of the graph.
On edge-ordered graphs with linear extremal functions
The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. in 2020. Here we characterize connected edge-ordered graphs with linear extremal functions and show that the extremal function of other connected edge-ordered graphs is $Ω(n\log n)$. This characterization and dichotomy are similar in spirit to results of Füredi et al. (2020) about vertex-ordered and convex geometric graphs. We also extend the study of extremal function of short edge-ordered paths by Gerbner et al. to some longer paths.
Game Connectivity and Adaptive Dynamics
We analyse the typical structure of games in terms of the connectivity properties of their best-response graphs. Our central result shows that, among games that are `generic' (without indifferences) and that have a pure Nash equilibrium, all but a small fraction are \emph{connected}, meaning that every action profile that is not a pure Nash equilibrium can reach every pure Nash equilibrium via best-response paths. This has important implications for dynamics in games. In particular, we show that there are simple, uncoupled, adaptive dynamics for which period-by-period play converges almost surely to a pure Nash equilibrium in all but a small fraction of generic games that have one (which contrasts with the known fact that there is no such dynamic that leads almost surely to a pure Nash equilibrium in \emph{every} generic game that has one). We build on recent results in probabilistic combinatorics for our characterisation of game connectivity.
Partial triangulations of surfaces with girth constraints
Barnette and Edelson have shown that there are finitely many minimal triangulations of a connected compact 2-manifold M. Similar finiteness results are obtained for cellular partial triangulations that satisfy various girth inequality constraints for embedded cycles. A characterisation of various M-embedded sparse graphs is given in terms of the satisfaction of higher genus girth inequalities. With this it is shown that there are finitely many contraction-minimal M-embedded graphs that are (3,6)-tight or (3,3)-tight.
On Vizing's problem for triangle-free graphs
We prove that $χ(G) \le \lceil (Δ+1)/2\rceil+1$ for any triangle-free graph $G$ of maximum degree $Δ$ provided $Δ\ge 524$. This gives tangible progress towards an old problem of Vizing, in a form cast by Reed. We use a method of Hurley and Pirot, which in turn relies on a new counting argument of the second author.
Improved bounds for the zeros of the chromatic polynomial via Whitney's Broken Circuit Theorem
We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(x)$ (in $\mathbb{C}$) lie inside the disc of radius $5.94 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$.
We also obtain improved bounds for graphs of high girth. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(x)$ lie inside the disc of radius $K_g Δ$ centered at $0$, where $K_g$ is the solution to a certain optimization problem. In particular, $K_g < 5$ when $g \geq 5$ and $K_g < 4$ when $g \geq 25$ and $K_g$ tends to approximately $3.86$ as $g \to \infty$.
Key to the proof is a classical theorem of Whitney which allows us to relate the chromatic polynomial of a graph $G$ to the generating function of so-called broken-circuit-free forests in $G$. We also establish a zero-free disc for the generating function of all forests in $G$ (aka the partition function of the arboreal gas) which may be of independent interest.
Restricted sumsets in multiplicative subgroups
Published in Canadian J. Math., 2025+
• View Publication
• BIB
We establish the restricted sumset analogue of the celebrated conjecture of Sárközy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the set of nonzero squares in $\mathbb{F}_q$ cannot be written as a restricted sumset $A \hat{+} A$, extending a result of Shkredov. More generally, we study restricted sumsets in multiplicative subgroups over finite fields as well as restricted sumsets in perfect powers (over integers) motivated by a question of Erdős and Moser. We also prove an analogue of van Lint-MacWilliams' conjecture for restricted sumsets, which appears to be the first analogue of Erdős-Ko-Rado theorem in a family of Cayley sum graphs.
Relativistic Propagators on Lattices
I define the lattice propagator on a very general collection of graphs, namely graphs locally isomorphic to $\mathbb{Z}^{d}\times \mathbb{Z}$. I then define polygonal approximations to the minkowski metric and define a corresponding lattice propagator for these. I show in $d=1$, as suggested by the metric approximation, the continuum limit of the polygonal propagators converges to the Klien Gordon Propagator. Finally, I obtain the taxicab polygonal propagator in a very general collection of spaces, including $\mathbb{T}^{d}$, the Klein bottle, and a discretization of de-Sitter space.
A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonian
Barnette's conjecture asserts that every cubic $3$-connected plane bipartite graph is hamiltonian. Although, in general, the problem is still open, some partial results are known. In particular, let us call a face of a plane graph big (small) if it has at least six edges (it has four edges, respectively). Goodey proved for a $3$-connected bipartite cubic plane graph $P$, that if all big faces in $P$ have exactly six edges, then $P$ is hamiltonian. In this paper we prove that the same is true under the condition that no face in $P$ has more than four big neighbours. We also prove, that if each vertex in $P$ is incident both with a small and a big face, then~$P$ has at least $2^{k}$ different Hamilton cycles, where $k = \left\lceil\frac{|B|-2}{4Δ(B) - 7}\right\rceil$, $|B|$ is the number of big faces in $P$ and $Δ(B)$ is the maximum size of faces in $P$. 15 pages
The Stein theorem for loopless 2-connected plane multigraphs
Stein proved that for each simple plane triangulation H there exists a partitioning of the vertex of H into two subsets each of which induces a forest if and only if the dual H^{*} has a Hamilton cycle. We extend the Stein theorem for graphs in the family of all loopless 2-connected plane multigraphs and we prove some other equivalent results.
Maximum cliques in a graph without disjoint given subgraph
The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique extremal graph for large $n$. Moreover, we also determine the exact value of $\ex(n,K_r,(k+1)K_r)$ which generalizes some known results.
On the Adjacency and Seidel Spectra of Hypergraphs
A hypergraph generalizes the concept of an ordinary graph. In an ordinary graph, edges connect pairs of vertices, whereas in a hypergraph, hyperedges can connect multiple vertices at a time. In this paper, we obtain a relationship between the characteristic polynomial of Seidel and adjacency matrices of hypergraph and also compute all the eigenvalues of some k-uniform hypergraphs. Moreover, we estimate the adjacency and Seidel spectra of the uniform double hyperstar and sunflower hypergraph. In addition to that, we determine the Seidel spectrum and main Seidel eigenvalues of hyperstar.
Exponentially many graphs are determined by their spectrum
As a discrete analogue of Kac's celebrated question on "hearing the shape of a drum", and towards a practical graph isomorphism test, it is of interest to understand which graphs are determined up to isomorphism by their spectrum (of their adjacency matrix). A striking conjecture in this area, due to van Dam and Haemers, is that "almost all graphs are determined by their spectrum", meaning that the fraction of unlabelled $n$-vertex graphs which are determined by their spectrum converges to $1$ as $n\to\infty$.
In this paper we make a step towards this conjecture, showing that there are exponentially many $n$-vertex graphs which are determined by their spectrum. This improves on previous bounds (of shape $e^{c\sqrt{n}}$). We also propose a number of further directions of research.
Coloring and density theorems for configurations of a given volume
This is a treatise on finite point configurations spanning a fixed volume to be found in a single color-class of an arbitrary finite (measurable) coloring of the Euclidean space $\mathbb{R}^n$, or in a single large measurable subset $A\subseteq\mathbb{R}^n$. More specifically, we study vertex-sets of simplices, rectangular boxes, and parallelotopes, attempting to make progress on several open problems posed in the 1970s and the 1980s. As one of the highlights, we give a negative answer to a question of Erdős and Graham, by coloring the Euclidean plane $\mathbb{R}^2$ in $25$ colors without creating monochromatic rectangles of unit area. More generally, we construct a finite coloring of the Euclidean space $\mathbb{R}^n$ such that no color-class contains the $2^m$ vertices of any (possibly rotated) $m$-dimensional rectangular box of volume $1$. A positive result is still possible if rectangular boxes of merely sufficiently large volumes are sought in a single color-class of a finite measurable coloring of $\mathbb{R}^n$, and we establish it under an additional assumption $n\geq m+1$. Also, motivated by a question of Graham on reasonable bounds in his result on monochromatic axes-aligned right-angled $m$-dimensional simplices, we establish its measurable coloring and density variants with polylogarithmic bounds, again in dimensions $n\geq m+1$. Next, we generalize a result of Erdős and Mauldin, by constructing an infinite measure set $A\subseteq\mathbb{R}^n$ such that every $n$-parallelotope with vertices in $A$ has volume strictly smaller than $1$. Finally, some results complementing the literature on isometric embeddings of hypercube graphs and on the hyperbolic analogue of the Hadwiger-Nelson problem also follow as byproducts of our approaches.
Graph Reconstruction from Connected Triples
The problem of graph reconstruction has been studied in its various forms over the years. In particular, the Reconstruction Conjecture, proposed by Ulam and Kelly in 1942, has attracted much research attention and yet remains one of the foremost unsolved problems in graph theory. Recently, Bastide, Cook, Erickson, Groenland, Kreveld, Mannens, and Vermeulen proposed a new model of partial information, where we are given the set of connected triples T_3, which is the set of 3-subsets of the vertex set that induce connected subgraphs. They proved that reconstruction is unique within the class of triangle-free graphs, 2-connected outerplanar graphs, and maximal planar graphs. They also showed that almost every graph can be uniquely reconstructed from their connected triples. However, little is known about other classes of non-triangle-free graphs within which reconstruction can occur uniquely, nor do we understand what kind of graphs can be uniquely reconstructed from their connected triples without assuming anything about the classes of graphs to which they belong.
The main result of this paper is a complete characterization of all graphs that can be uniquely reconstructed from their connected triples T_3. We also show that reconstruction from T_3 is unique within the class of regular planar graphs, 5-connected planar graphs, certain strongly regular graphs, and complete multi-partite graphs, whereas it is not unique for the class of k-connected planar graphs with k less or equal to 4, Eulerian graphs, or Hamiltonian graphs.