graph
34604 papers tagged with this keyword
On networks with order close to the Moore bound
Published
• View Publication
• BIB
The degree/diameter problem for mixed graphs asks for the largest possible order of a mixed graph with given diameter and degree parameters. Similarly the \emph{degree/geodecity} problem concerns the smallest order of a $k$-geodetic mixed graph with given minimum undirected and directed degrees; this is a generalisation of the classical degree/girth problem. In this paper we present new bounds on the order of mixed graphs with given diameter or geodetic girth and exhibit new examples of directed and mixed geodetic cages. In particular, we show that any $k$-geodetic mixed graph with excess one must have geodetic girth two and be totally regular, thereby proving an earlier conjecture of the authors.
On automorphisms of the double cover of a circulant graph
Published in The Electronic Journal of Combinatorics, Volume 28, Issue 4, 2021
• View Publication
• BIB
A graph $X$ is said to be "unstable" if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is "nontrivially unstable" if it is unstable, connected, and nonbipartite, and no two distinct vertices of X have exactly the same neighbors.
We find three new conditions that each imply a circulant graph is unstable. (These yield infinite families of nontrivially unstable circulant graphs that were not previously known.) We also find all of the nontrivially unstable circulant graphs of order $2p$, where $p$ is any prime number.
Our results imply that there does not exist a nontrivially unstable circulant graph of order $n$ if and only if either $n$ is odd, or $n < 8$, or $n = 2p$, for some prime number $p$ that is congruent to $3$ modulo $4$.
Dimers, networks, and cluster integrable systems
Published
• View Publication
• BIB
We prove that the class of cluster integrable systems constructed by Goncharov and Kenyon out of the dimer model on a torus coincides with the one defined by Gekhtman, Shapiro, Tabachnikov, and Vainshtein using Postnikov's perfect networks. To that end we express the characteristic polynomial of a perfect network's boundary measurement matrix in terms of the dimer partition function of the associated bipartite graph. Our main tool is flat geometry. Namely, we show that if a perfect network is drawn on a flat torus in such a way that the edges of the network are Euclidian geodesics, then the angles between the edges endow the associated bipartite graph with a canonical fractional Kasteleyn orientation. That orientation is then used to relate the partition function to boundary measurements.
Linear Layouts of Complete Graphs
Published
• View Publication
• BIB
A page (queue) with respect to a vertex ordering of a graph is a set of edges such that no two edges cross (nest), i.e., have their endpoints ordered in an ABAB-pattern (ABBA-pattern). A union page (union queue) is a vertex-disjoint union of pages (queues). The union page number (union queue number) of a graph is the smallest $ k $ such that there is a vertex ordering and a partition of the edges into $ k $ union pages (union queues). The local page number (local queue number) is the smallest $ k $ for which there is a vertex ordering and a partition of the edges into pages (queues) such that each vertex has incident edges in at most $ k $ pages (queues).
We present upper and lower bounds on these four parameters for the complete graph $ K_n $ on $ n $ vertices. In three cases we obtain the exact result up to an additive constant. In particular, the local page number of $ K_n $ is $ n/3 \pm O(1) $, while its local and union queue number is $ (1-1/\sqrt{2})n \pm O(1) $. The union page number of $ K_n $ is between $ n/3 - O(1) $ and $ 4n/9 + O(1) $.
Edge Partitions of Complete Geometric Graphs (Part 1)
In this paper, we disprove the long-standing conjecture that any complete geometric graph on $2n$ vertices can be partitioned into $n$ plane spanning trees. Our construction is based on so-called bumpy wheel sets. We fully characterize which bumpy wheels can and in particular which \emph{cannot} be partitioned into plane spanning trees (or even into arbitrary plane \emph{subgraphs}), including a complete description of all possible partitions (into plane spanning trees).
Furthermore, we show a sufficient condition for \emph{generalized wheels} to not admit a partition into plane spanning trees, and give a complete characterization when they admit a partition into plane spanning double stars.
Automorphisms of the double cover of a circulant graph of valency at most 7
A graph $X$ is said to be unstable if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is nontrivially unstable if it is unstable, connected, and non-bipartite, and no two distinct vertices of X have exactly the same neighbors.
We find all of the nontrivially unstable circulant graphs of valency at most $7$. (They come in several infinite families.) We also show that the instability of each of these graphs is explained by theorems of Steve Wilson. This is best possible, because there is a nontrivially unstable circulant graph of valency $8$ that does not satisfy the hypotheses of any of Wilson's four instability theorems for circulant graphs.
On connectivity, domination number and spectral radius of the proper enhanced power graphs of finite nilpotent groups
Published
• View Publication
• BIB
For a group $G,$ the enhanced power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x, y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ The proper enhanced power graph is the induced subgraph of the enhanced power graph on the set $G \setminus S,$ where $S$ is the set of dominating vertices of the enhanced power graph. In this paper, we first characterize the dominating vertices of enhanced power graph of any finite nilpotent group. Thereafter, we classify all nilpotent groups $G$ such that the proper enhanced power graphs are connected and find out their diameter. We also explicitly find out the domination number of proper enhanced power graphs of finite nilpotent groups. Finally, we determine the multiplicity of the Laplacian spectral radius of the enhanced power graphs of nilpotent groups.
A simplified second-order Gaussian Poincaré inequality in discrete setting with applications
Published in Ann. Inst. H. Poincare Probab. Statist. 2023, Vol. 59, No. 1, 271-302
• View Publication
• BIB
In this paper, a simplified second-order Gaussian Poincaré inequality for normal approximation of functionals over infinitely many Rademacher random variables is derived. It is based on a new bound for the Kolmogorov distance between a general Rademacher functional and a Gaussian random variable, which is established by means of the discrete Malliavin-Stein method and is of independent interest. As an application, the number of vertices with prescribed degree and the subgraph counting statistic in the Erdös-Rényi random graph are discussed. The number of vertices of fixed degree is also studied for percolation on the Hamming hypercube. Moreover, the number of isolated faces in the Linial-Meshulam-Wallach random $κ$-complex and infinite weighted 2-runs are treated.
Linear Bounds for Cycle-free Saturation Games
Published in The Electronic Journal of Combinatorics 29(3), 5:1-5:21, 2022
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $\textrm{sat}_g(n,\mathcal{F})$ denote the number of edges that are in the final graph when both players play optimally. In general there are very few non-trivial bounds on the order of magnitude of $\textrm{sat}_g(n,\mathcal{F})$. In this work, we find collections of infinite families of cycles $\mathcal{C}$ such that $\textrm{sat}_g(n,\mathcal{C})$ has linear growth rate.
Transportation Polytope and its Applications in Parallel Server Systems
A parallel server system is a stochastic processing network with applications in manufacturing, supply chain, ride-hailing, call centers, etc. Heterogeneous customers arrive in the system, and only a subset of servers can serve any customer type given by the flexibility graph. The goal of the system operator is to minimize the delay that depends on the scheduling policy and the flexibility graph. A long line of literature focuses on designing near-optimal scheduling policies given a flexibility graph. On the contrary, we fix the scheduling policy to be the so-called MaxWeight scheduling given its superior delay performance and focus on designing near-optimal, sparse flexibility graphs. Our contributions are threefold.
First, we analyze the expected delay in the heavy-traffic asymptotic regime in terms of the properties of the flexibility graph and use this result to translate the design question in terms of transportation polytope, the deterministic equivalent of parallel server queues. Second, we design the sparsest flexibility graph that achieves a given delay performance and shows the robustness of the design to demand uncertainty. Third, given the budget to add edges arrives sequentially in time, we present the optimal schedule for adding them to the flexibility graph. These results are obtained by proving new results for transportation polytopes and are of independent interest. In particular, translating the difficulties to a simpler model, i.e. transportation polytope, allows us to develop a unified framework to answer several design questions.
The Core Conjecture of Hilton and Zhao II: a Proof
A simple graph $G$ with maximum degree $Δ$ is overfull if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The core of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. Clearly, the chromatic index of $G$ equals $Δ+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex. Cariolaro and Cariolaro settled the base case $Δ=3$ in 2003, and Cranston and Rabern proved the next case $Δ=4$ in 2019. In this paper, we give a proof of this conjecture for all $Δ\ge 4$.
Distinguishing classes of intersection graphs of homothets or similarities of two convex disks
For smooth convex disks $A$, i.e., convex compact subsets of the plane with non-empty interior, we classify the classes $G^{\text{hom}}(A)$ and $G^{\text{sim}}(A)$ of intersection graphs that can be obtained from homothets and similarities of $A$, respectively. Namely, we prove that $G^{\text{hom}}(A)=G^{\text{hom}}(B)$ if and only if $A$ and $B$ are affine equivalent, and $G^{\text{sim}}(A)=G^{\text{sim}}(B)$ if and only if $A$ and $B$ are similar.
Edge Forcing in Butterfly Networks
Published in Fundamenta Informaticae, Volume 182, Issue 3 (November 18, 2021) fi:8351
• View Publication
• BIB
A zero forcing set is a set $S$ of vertices of a graph $G$, called forced vertices of $G$, which are able to force the entire graph by applying the following process iteratively: At any particular instance of time, if any forced vertex has a unique unforced neighbor, it forces that neighbor. In this paper, we introduce a variant of zero forcing set that induces independent edges and name it as edge-forcing set. The minimum cardinality of an edge-forcing set is called the edge-forcing number. We prove that the edge-forcing problem of determining the edge-forcing number is NP-complete. Further, we study the edge-forcing number of butterfly networks. We obtain a lower bound on the edge-forcing number of butterfly networks and prove that this bound is tight for butterfly networks of dimensions 2, 3, 4 and 5 and obtain an upper bound for the higher dimensions.
The line graph of the crown graph is distance integral
Published
• View Publication
• BIB
The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. A crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of $L(Cr(n))$ and show that this graph is distance integral.
Tangled Paths: A Random Graph Model from Mallows Permutations
Published in Electronic Journal of Combinatorics, 32(2), P2.35, 2025
• View Publication
• BIB
We introduce the random graph $\mathcal{P}(n,q)$ which results from taking the union of two paths of length $n\geq 1$, where the vertices of one of the paths have been relabelled according to a Mallows permutation with parameter $0<q(n)\leq 1$. This random graph model, the tangled path, goes through an evolution: if $q$ is close to $0$ the graph bears resemblance to a path, and as $q$ tends to $1$ it becomes an expander. In an effort to understand the evolution of $\mathcal{P}(n,q)$ we determine the treewidth and cutwidth of $\mathcal{P}(n,q)$ up to log factors for all $q$. We also show that the property of having a separator of size one has a sharp threshold. In addition, we prove bounds on the diameter, and vertex isoperimetric number for specific values of $q$.
The chromatic symmetric function of a graph centred at a vertex
Published
• View Publication
• BIB
We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge.
In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.
The signless Laplacian spectral radius of graphs without intersecting odd cycles
Published
• View Publication
• BIB
Let $F_{a_1,\dots,a_k}$ be a graph consisting of $k$ cycles of odd length $2a_1+1,\dots, 2a_k+1$, respectively which intersect in exactly a common vertex, where $k\geq1$ and $a_1\ge a_2\ge \cdots\ge a_k\ge 1$. In this paper, we present a sharp upper bound for the signless Laplacian spectral radius of all $F_{a_1,\dots,a_k}$-free graphs and characterize all extremal graphs which attain the bound. The stability methods and structure of graphs associated with the eigenvalue are adapted for the proof.
The saturation number of $C_6$
Published
• View Publication
• BIB
A graph $G$ is called $C_k$-saturated if $G$ is $C_k$-free but $G+e$ not for any $e\in E(\overline{G})$. The saturation number of $C_k$, denoted $sat(n,C_k)$, is the minimum number of edges in a $C_k$-saturated graph on $n$ vertices. Finding the exact values of $sat(n,C_k)$ has been one of the most intriguing open problems in extremal graph theory. In this paper, we study the saturation number of $C_6$. We prove that ${4n}/{3}-2 \le sat(n,C_6) \le {(4n+1)}/{3}$ for $n\ge9$, which significantly improves the existing lower and upper bounds for $sat(n,C_6)$.
On maximum intersecting sets in direct and wreath product of groups
For a permutation group $G$ acting on a set $V$, a subset $I$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in I$ there exists $v \in V$ such that $g(v) = h(v)$. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|I|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $I$ runs over all intersecting sets in $G$. If $G_v$ is the largest intersecting set in $G$ then $G$ is said to have the Erdős-Ko-Rado (EKR)-property, and moreover, $G$ has the strict-EKR-property if every intersecting set of maximum size in $G$ is a coset of a point stabilizer. Intersecting sets in $G$ coincide with independent sets in the so-called derangement graph $Γ_G$, defined as the Cayley graph on $G$ with connection set consisting of all derangements, that is, fixed-point free elements of $G$. In this paper a conjecture regarding the existence of transitive permutation groups whose derangement graphs are complete multipartite graphs, posed by Meagher, Razafimahatratra and Spiga in [J.Combin. Theory Ser. A 180 (2021), 105390], is proved. The proof uses direct product of groups. Questions regarding maximum intersecting sets in direct and wreath products of groups and the (strict)-EKR-property of these group products are also investigated. In addition, some errors appearing in the literature on this topic are corrected.
On the relationship between variable Wiener index and variable Szeged index
Published in Applied Mathematics and Computation Volume 431 (2022), 127320
• View Publication
• BIB
We resolve two conjectures of Hriňáková, Knor and Škrekovski (2019) concerning the relationship between the variable Wiener index and variable Szeged index for a connected, non-complete graph, one of which would imply the other. The strong conjecture is that for any such graph there is a critical exponent in $(0,1]$, below which the variable Wiener index is larger and above which the variable Szeged index is larger. The weak conjecture is that the variable Szeged index is always larger for any exponent exceeding $1$. They proved the weak conjecture for bipartite graphs, and the strong conjecture for trees. In this note we disprove the strong conjecture, although we show that it is true for almost all graphs, and for bipartite and block graphs. We also show that the weak conjecture holds for all graphs by proving a majorization relationship.