graph
34585 papers tagged with this keyword
Typical structure of sparse exponential random graph models
Published
• View Publication
• BIB
We consider general Exponential Random Graph Models (ERGMs) where the sufficient statistics are functions of homomorphism counts for a fixed collection of simple graphs $F_k$. Whereas previous work has shown a degeneracy phenomenon in dense ERGMs, we show this can be cured by raising the sufficient statistics to a fractional power. We rigorously establish the naïve mean-field approximation for the partition function of the corresponding Gibbs measures, and in case of "ferromagnetic" models with vanishing edge density show that typical samples resemble a typical Erdős--Rényi graph with a planted clique and/or a planted complete bipartite graph of appropriate sizes. We establish such behavior also for the conditional structure of the Erdős--Rényi graph in the large deviations regime for excess $F_k$-homomorphism counts. These structural results are obtained by combining quantitative large deviation principles, established in previous works, with a novel stability form of a result of [5] on the asymptotic solution for the associated entropic variational problem. A technical ingredient of independent interest is a stability form of Finner's generalized Hölder inequality.
Mengerian graphs: characterization and recognition
Published
• View Publication
• BIB
A temporal graph ${\cal G}$ is a graph that changes with time. More specifically, it is a pair $(G, λ)$ where $G$ is a graph and $λ$ is a function on the edges of $G$ that describes when each edge $e\in E(G)$ is active. Given vertices $s,t\in V(G)$, a temporal $s,t$-path is a path in $G$ that traverses edges in non-decreasing time; and if $s,t$ are non-adjacent, then a temporal $s,t$-cut is a subset $S\subseteq V(G)\setminus\{s,t\}$ whose removal destroys all temporal $s,t$-paths.
It is known that Menger's Theorem does not hold on this context, i.e., that the maximum number of internally vertex disjoint temporal $s,t$-paths is not necessarily equal to the minimum size of a temporal $s,t$-cut. In a seminal paper, Kempe, Kleinberg and Kumar (STOC'2000) defined a graph $G$ to be Mengerian if equality holds on $(G,λ)$ for every function $λ$. They then proved that, if each edge is allowed to be active only once in $(G,λ)$, then $G$ is Mengerian if and only if $G$ has no gem as topological minor. In this paper, we generalize their result by allowing edges to be active more than once, giving a characterization also in terms of forbidden structures. We additionally provide a polynomial time recognition algorithm.
Fan-complete Ramsey numbers
Published
• View Publication
• BIB
For graphs $G$ and $H$, we consider Ramsey numbers $r(G,H)$ with tight lower bounds, namely, $r(G,H) \geq (χ(G)-1)(|H|-1)+1,$ where $χ(G)$ denotes the chromatic number of $G$ and $|H|$ denotes the number of vertices in $H$. We say $H$ is $G$-good if the equality holds.
Let $G+H$ be the join graph obtained from graphs $G$ and $H$ by adding all edges between the disjoint vertex sets of $G$ and $H$. Let $nH$ denote the union graph of $n$ disjoint copies of $H$. We show that $K_1+nH$ is $K_p$-good if $n$ is sufficiently large. In particular, the fan-graph $F_n=K_1 + n K_2$ is $K_p$-good if $n\geq 27p^2$, improving previous tower-type lower bounds for $n$ due to Li and Rousseau (1996). Moreover, we give a stronger lower bound inequality for Ramsey number $r(G, K_1+F)$ for the case of $G=K_p(a_1, a_2, \dots, a_p)$, the complete $p$-partite graph with $a_1=1$ and $a_i \leq a_{i+1}$. In particular, using a stability-supersaturation lemma by Fox, He and Wigderson (2021), we show that for any fixed graph $H$, \begin{align*} r(G,K_1+nH) = \left\{ \begin{array}{ll} (p-1)(n |H|+a_2-1)+1 & \textrm{if $n|H|+a_2-1$ is even or $a_2-1$ is even,}\\ (p-1)(n |H|+a_2-2)+1 & \textrm{otherwise,} \end{array}
\right. \end{align*} where $G=K_p(1,a_2, \dots, a_p)$ with $a_i$'s satisfying some mild conditions and $n$ is sufficiently large. The special case of $H=K_1$ gives an answer to Burr's question (1981) about the discrepancy of $r(G, K_{1,n})$ from $G$-goodness for sufficiently large $n$. All bounds of $n$ we obtain are not of tower-types.
Computation of Admissible Arakelov-Green Functions on Metrized Graphs
Metrized graphs are nonarchimedean analogues of Riemann surfaces, and Arakelov-Green functions on these graphs are of fundamental importance for some aspects of arithmetic geometry. In the present paper, we give an explicit formula for an admissible Arakelov-Green function on a metrized graph, extending Cinkir's formula for the canonical Arakelov-Green function. Based on our formula, we present and implement an algorithm in the computer algebra system SageMath for explicitly computing such functions. We illustrate our algorithm with computational examples.
On Zero-Divisor Graph of the ring $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$
In this article, we discussed the zero-divisor graph of a commutative ring with identity $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$ where $u^3=0$ and $p$ is an odd prime. We find the clique number, chromatic number, vertex connectivity, edge connectivity, diameter and girth of a zero-divisor graph associated with the ring. We find some of topological indices and the main parameters of the code derived from the incidence matrix of the zero-divisor graph $Γ(R).$ Also, we find the eigenvalues, energy and spectral radius of both adjacency and Laplacian matrices of $Γ(R).$
Optimal Error-detection system for Identifying Codes
Published
• View Publication
• BIB
Assume that a graph $G$ models a detection system for a facility with a possible ``intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing detectors at a subset of vertices in $G$ to determine the location of an intruder if there is any. Many types of detection systems have been defined for different sensor capabilities; in particular, we focus on Identifying Codes, where each detector can determine whether there is an intruder within its closed neighborhood. In this research we explore a fault-tolerant variant of identifying codes applicable to real-world systems. Specifically, error-detecting identifying codes permit a false negative transmission from any single detector. We investigate minimum-sized error-detecting identifying codes in several classes of graphs, including cubic graphs and infinite grids, and show that the problem of determining said minimum size in arbitrary graphs is NP-complete.
Fractional revival on abelian Cayley graphs
Fractional revival, known as a quantum transport phenomenon, is essential for entanglement generation in quantum spin networks. The concept of fractional revival is a generalization of perfect state transfer and periodicity on graphs. In this paper, we propose a sufficient and necessary condition for abelian Cayley graphs having fractional revival between any two distinct vertices. With this characterization, two general constructions of abelian Cayley graphs having fractional revival is presented. Meanwhile, we establish several new families of abelian Cayley graphs admitting fractional revival.
The Game of Cycles for Grids and Select Theta Graphs
We are investigating who has the winning strategy in a game in which two players take turns drawing arrows trying to complete cycle cells in a graph. A cycle cell is a cycle with no chords. We examine game boards where the winning strategy was previously unknown. Starting with a $C_{5}$ sharing two consecutive edges with a $C_{7}$ we solve multiple classes of graphs involving "stacked" polygons. We then expand upon and improve previous theorems and conjectures, and offer some new directions of research related to the Game of Cycles. The original game was described by Francis Su in his book Mathematics for Human Flourishing. The first results on the game were published in The Game of Cycles arXiv:arch-ive/04.00776.
Discrete geometry of Cox rings of blow-ups of $\mathbb{P}^3$
Published
• View Publication
• BIB
We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode toric degenerations with respect to all projective embeddings. We study the edge-graphs of these polytopes and we introduce the Mukai edge graph.
The cycle of length four is strictly $F$-Turán-good
Published
• View Publication
• BIB
Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Turán-good if the Turán graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$ among all $F$-free graphs on $n$ vertices for every $n$ large enough.
Győri, Pach and Simonovits (1991) proved that cycle $C_4$ of length four is strictly $K_{r+1}$-Turán-good for all $r\geq 2$. In this article, we extend this result and show that $C_4$ is strictly $F$-Turán-good, where $F$ is an $(r+1)$-chromatic graph with $r\ge 2$ and a color-critical edge. Moreover, we show that every $n$-vertex $C_4$-free graph $G$ with $N(H,G)=\ex(n,C_4,F)-o(n^4)$ can be obtained by adding or deleting $o(n^2)$ edges from $T_r(n)$. Our proof uses the flag algebra method developed by Razborov (2007).
$k$-NIM trees: Characterization and Enumeration
Among those real symmetric matrices whose graph is a given tree $T$, the maximum multiplicity $M(T)$ that can be attained by an eigenvalue is known to be the path cover number of $T$. We say that a tree is $k$-NIM if, whenever an eigenvalue attains a multiplicity of $k-1$ less than the maximum multiplicity, all other multiplicities are $1$. $1$-NIM trees are known as NIM trees, and a characterization for NIM trees is already known. Here we provide a graph-theoretic characterization for $k$-NIM trees for each $k\geq 1$, as well as count them. It follows from the characterization that $k$-NIM trees exist on $n$ vertices only when $k=1,2,3$. In case $k=3$, the only $3$-NIM trees are simple stars.
On the homotopy type of multipath complexes
Published
• View Publication
• BIB
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.
The graded structure of Leavittt path algebras viewed as partial skew group rings
Let $E$ be a directed graph, $\mathbb K$ be a field, and $\mathbb F$ be the free group on the edges of $E$. In this work, we use the isomorphism between Leavitt path algebras and partial skew group rings to endow $L_{\mathbb K}(E)$ with an $\mathbb F$-gradation and study some algebraic properties of this gradation. More precisely, we show that graded cleanness, graded unit-regularity, and strong gradeness of $L_{\mathbb K}(E)$ are all equivalent.
The genus distribution of cubic graphs and asymptotic number of rooted cubic maps with high genus
Published
• View Publication
• BIB
Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and $(1/4)\ln n$, respectively. We derive an asymptotic expression for $C_{n,g}$ when $(n-2g)/\ln n$ lies in any closed subinterval of $(0,2)$. Using rotation systems and Bender's theorem about generating functions with fast-growing coefficients, we derive simple asymptotic expressions for the numbers of rooted regular maps, disregarding the genus. In particular, we show that the number of rooted cubic maps with $2n$ vertices, disregarding the genus, is asymptotic to $\frac{3}π\,n!6^n$.
Enumeration of connected bipartite graphs with given Betti number
Published
• View Publication
• BIB
We obtain first order linear partial differential equations which are satisfied by exponential generating functions of two variables for the number of connected bipartite graphs with given Betti number. By solving these equations inductively, we obtain the explicit form of generating functions and derive the asymptotic behavior of their coefficients. We also introduce a family of basic graphs to classify connected bipartite graphs and give another expression of the generating functions as the sum over basic graphs of rational functions of those for the number of labeled bipartite rooted spanning trees.
Mathematical and chemistry properties of geometry-based invariants
Published
• View Publication
• BIB
Recently, based on elementary geometry, Gutman proposed several geometry-based invariants (i.e., $SO$, $SO_{1}$, $SO_{2}$, $SO_{3}$, $SO_{4}$, $SO_{5}$, $SO_{6}$). The Sombor index was defined as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, the first Sombor index was defined as $SO_{1}(G)= \frac{1}{2}\sum\limits_{uv\in E(G)}|d_{u}^{2}-d_{v}^{2}|$, where $d_{u}$ denotes the degree of vertex $u$.
In this paper, we consider the mathematical and chemistry properties of these geometry-based invariants. We determine the maximum trees (resp. unicyclic graphs) with given diameter, the maximum trees with given matching number, the maximum trees with given pendent vertices, the maximum trees (resp. minimum trees) with given branching number, the minimum trees with given maximum degree and second maximum degree, the minimum unicyclic graphs with given maximum degree and girth, the minimum connected graphs with given maximum degree and pendent vertices, and some properties of maximum connected graphs with given pendent vertices with respect to the first Sombor index $SO_{1}$.
As an application, we inaugurate these geometry-based invariants and verify their chemical applicability. We used these geometry-based invariants to model the acentric factor (resp. entropy, enthalpy of vaporization, etc.) of alkanes, and obtained satisfactory predictive potential, which indicates that these geometry-based invariants can be successfully used to model the thermodynamic properties of compounds.
A Brightwell-Winkler type characterisation of NU graphs
In 2000, Brightwell and Winkler characterised dismantlable graphs as the graphs $H$ for which the Hom-graph ${\rm Hom}(G,H)$, defined on the set of homomorphisms from $G$ to $H$, is connected for all graphs $G$. This shows that the reconfiguration version ${\rm Recon_{Hom}}(H)$ of the $H$-colouring problem, in which one must decide for a given $G$ whether ${\rm Hom}(G,H)$ is connected, is trivial if and only if $H$ is dismantlable.
We prove a similar starting point for the reconfiguration version of the $H$-extension problem. Where ${\rm Hom}(G,H;p)$ is the subgraph of the Hom-graph ${\rm Hom}(G,H)$ induced by the $H$-colourings extending the $H$-precolouring $p$ of $G$, the reconfiguration version ${\rm Recon_{Ext}(H)}$ of the $H$-extension problem asks, for a given $H$-precolouring $p$ of a graph $G$, if ${\rm Hom}(G,H;p)$ is connected. We show that the graphs $H$ for which ${\rm Hom}(G,H;p)$ is connected for every choice of $(G,p)$ are exactly the ${\rm NU}$ graphs. This gives a new characterisation of ${\rm NU}$ graphs, a nice class of graphs that is important in the algebraic approach to the ${\rm CSP}$-dichotomy.
We further give bounds on the diameter of ${\rm Hom}(G,H;p)$ for ${\rm NU}$ graphs $H$, and show that shortest path between two vertices of ${\rm Hom}(G,H;p)$ can be found in parameterised polynomial time. We apply our results to the problem of shortest path reconfiguration, significantly extending recent results.
$d$-connectivity of the random graph with restricted budget
Published
• View Publication
• BIB
In this short note, we consider a graph process recently introduced by Frieze, Krivelevich and Michaeli. In their model, the edges of the complete graph $K_n$ are ordered uniformly at random and are then revealed consecutively to a player called Builder. At every round, Builder must decide if they accept the edge proposed at this round or not. We prove that, for every $d\ge 2$, Builder can construct a spanning $d$-connected graph after $(1+o(1))n\log n/2$ rounds by accepting $(1+o(1))dn/2$ edges with probability converging to 1 as $n\to \infty$. This settles a conjecture of Frieze, Krivelevich and Michaeli.
Overfullness of edge-critical graphs with small minimal core degree
Published
• View Publication
• BIB
Let $G$ be a simple graph. Denote by $n$, $Δ(G)$ and $χ' (G)$ be the order, the maximum degree and the chromatic index of $G$, respectively. We call $G$
\emph{overfull} if $|E(G)|/\lfloor n/2\rfloor > Δ(G)$, and {\it critical} if $χ'(H) < χ'(G)$ for every proper subgraph $H$ of $G$. Clearly, if $G$ is overfull then $χ'(G) = Δ(G)+1$. The \emph{core} of $G$, denoted by $G_Δ$, is the subgraph of $G$ induced by all its maximum degree vertices. We believe that utilizing the core degree condition could be considered as an approach to attacking the overfull conjecture. Along this direction, we in this paper show that for any integer $k\geq 2$, if $G$ is critical with $Δ(G)\geq \frac{2}{3}n+\frac{3k}{2}$ and $δ(G_Δ)\leq k$, then $G$ is overfull.
Geometric structures in pseudo-random graphs
Published in Can. J. Math.-J. Can. Math. 77 (2025) 1041-1071
• View Publication
• BIB
In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory.