graph
35150 papers tagged with this keyword
A note on the chromatic number of Kneser graphs on chambers of projective planes and incidence-free sets
Let $D=(\mathcal{P},\mathcal{B})$ be a symmetric $(v,k,λ)$-design and let $(X,Y)$ be an equinumerous incidence-free pair, with $X\subseteq \mathcal{P}$ and $Y\subseteq \mathcal{B}$. In this note, we give an elementary proof which shows the existence of a perfect matching between $\mathcal{P} \setminus X$ and $\mathcal{B}\setminus Y$ in the incidence graph of $D$. This recovers a result of Spiro, Adriaensen and Mattheus, who already showed this using different arguments for $k\geq 36$. We use this to connect some dots in the literature and prove that finding the chromatic number of the Kneser graph on chambers of a projective plane is equivalent to finding the incidence-free number of the incidence graph of the plane.
Relative accessibility for graphs
We relativise the Thomassen--Woess definition of accessibility in graphs, defining what it means for a graph to be accessible relative to a peripheral system. In the case of locally finite, quasi-transitive graphs, we characterise relative accessibility in terms of a certain subring of the Boolean ring of the graph, and apply this to show that our definition agrees with the usual algebraic notion of relative accessibility in finitely generated groups. This implies, in particular, that relative accessibility is a quasi-isometry invariant amongst finitely generated groups, when the quasi-isometry coarsely preserves the left cosets of the peripheral subgroups. We also deduce a relative variant of Hamann's accessibility theorem on graphs with finitely generated cycle spaces.
Subperiodic groups and bounded automorphisms of periodic graphs
A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is performed for subperiodic groups in dimension~3: 75 \emph{crystallographic} rod groups ($r=1$) and 80 layer groups ($r=2$) are shown to belong to 32 and 34 isomorphism classes, respectively. An easy-to-compute set of invariants is developed for recognizing these isomorphism classes from finite presentations which makes use only of the number of subgroups up to a given finite index~$n$ ($n \leq 12$ for rod groups and $n \leq 8$ for layer groups) and how many of them are normal. Cayley graphs of rod and layer groups are used to illustrate the concept of bounded automorphisms of finite order, \emph{i.e.} those when the distance between a graph vertex and its image has an upper bound. It is proven that a Cayley graph of a crystallographic space group $G$ (in which case $r=d$) possesses bounded automorphisms of finite order, if and only if the respective inverse-closed generating set is stabilized by conjugation by an element of finite order in $G$. As an application, subperiodic groups in $\R^4$ with a three-dimensional translation lattice are used to systematically derive embeddings of three-periodic \emph{ladder graphs} in~$\R^3$.
Expander Evolution Algebras
We introduce \emph{expander evolution algebras} (EEAs), a class of nonassociative algebras defined over an arbitrary field $\K$ in which the underlying undirected loopless graph of the algebra -- in the sense of Kowalski -- is an expander graph in the classical sense of Cheeger. Starting from the formal graph definition of Kowalski and the algebraic framework of Tian, we establish a dictionary between combinatorial expansion and algebraic structure: the Cheeger constant of the associated graph governs connectivity, the subalgebra lattice, the growth of the evolution sequence, and -- over $\R$ and $\C$ -- the spectral gap of the evolution operator. Over a general field $\K$ we prove that EEAs are always connected and simple (as evolution algebras), carry no proper large evolution subalgebras, and that every generator of a \emph{symmetric} EEA is algebraically persistent. Over $\C$ we obtain the sharp Alon--Boppana lower bound for the second eigenvalue of the evolution operator, leading to the definition of \emph{Ramanujan evolution algebras} as optimal expanders. We also construct families of EEAs from Cayley graphs of finite groups. We close with open problems.
On the number of distinct spanning trees in pseudorandom graphs
A celebrated result of Otter says the number of distinct unlabelled spanning trees in $K_n$ is $α^n$ up to subexponential factors for an absolute constant $α>0$. In this note, we prove that for every $0<\varepsilon<α$, there are constants $C$ and $d_0$ such that every $(n,d,λ)$-graph with $d\geq d_0$ and $d/λ\geq C$ has at least $(α-\varepsilon)^n$ distinct unlabelled spanning trees.
On groups with D-finite cogrowth series
The cogrowth series of a group with respect to a finite generating set is an important combinatorial quantity that seems very difficult to compute exactly, as evidenced by the scarcity of known examples. In this paper, we give a particular infinite family of presentations for which the cogrowth series can be determined as the constant term of an algebraic function, which shows that it is D-finite and, with more work, not algebraic.
Our proof exploits the fact that for a particular choice of subgroup, the corresponding Schreier graph has finite tree width, and by considering paths in the cosets and the Schreier graph separately, we are able to construct a system of generating functions which count paths. We find the asymptotics of this system to conclude that the groups have D-finite but non-algebraic cogrowth series.
We also apply our method to some additional examples which have some similarities with the infinite family above, and again show they have D-finite but non-algebraic cogrowth series.
These examples lend some support to the conjecture that if a group has an algebraic cogrowth series, then it must be virtually-free, and adds to the small collection of known examples of groups having D-finite cogrowth series for at least one finite generating set.
The unbreakable quasi-graphic matroids
A matroid M is unbreakable if it is connected and M/F is connected for every flat F of M . Oxley and Pfeil characterized the unbreakable graphic matroids, and Fife, Mayhew, Oxley, and Semple characterized the graphs underlying 3-connected unbreakable frame matroids. We extend the latter result by giving a complete characterization of the 3-connected unbreakable quasi-graphic matroids. As a special case we obtain a characterization of the 3-connected lifted-graphic matroids.
A study on Type-2 isomorphic circulant graphs. Part 1: Type-2 isomorphic circulant graphs $C_n(R)$ w.r.t. $m$ = 2
This study is the first part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$ \cite{ad67}. In this paper, the author modified his earlier definition \cite{v96} of Type-2 isomorphism w.r.t. $m$ such that $m$ and $m^3$ are divisors of $\gcd(n, r)$ and $n$, respectively, and $r\in R$. Using the modified definition, we present our study on Type-2 isomorphism of circulant graphs $C_n(R)$ w.r.t. $m$ = 2. We prove that $(i)$ $C_{16}(1,2,7)$ and $C_{16}(2,3,5)$ are Type-2 isomorphic w.r.t. $m$ = 2; $(ii)$ For $n \geq 2$, $k \geq 3$, $1 \leq 2s-1 \leq 2n-1$, $n \neq 2s-1$, $R$ = $\{2, 2s-1, 4n-(2s-1)\}$ and $S$ = $\{2, 2n-(2s-1), 2n+2s-1\}$, $C_{8n}(R)$ and $C_{8n}(S)$ are Type-2 isomorphic w.r.t. $m$ = 2, $n,s\in\mathbb{N}$; and $(iii)$ For $n \geq 2$, $1 \leq 2s-1 < 2s'-1 \leq [\frac{n}{2}]$, $0 \leq t \leq [\frac{n}{2}]$, $R$ = $\{2,2s-1, 2s'-1\}$ and $n,s,s'\in \mathbb{N}$, if $θ_{n,2,t}(C_n(R))$ and $C_n(R)$ are isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 for some $t$, then $n \equiv 0~(mod ~ 8)$, $2s-1+2s'-1$ = $\frac{n}{2}$, $2s-1 \neq \frac{n}{8}$, $t$ = $\frac{n}{8}$ or $\frac{3n}{8}$, $1 \leq 2s-1 \leq \frac{n}{4}$ and $n \geq 16$ where $θ_{n,m,t}$ is a transformation used to define Type-2 isomorphism of a circulant graph. At the end, we present a VB program POLY215.EXE which shows how Type-2 isomorphism w.r.t. $m$ = 2 of $C_{8n}(R)$ takes place for $R = \{2, 2s-1, 4n-(2s-1)\}$, $n \geq 2$ and $n,s\in {\mathbb N}$.
A study on Type-2 isomorphic circulant graphs. Part 3: 384 pairs of Type-2 isomorphic circulant graphs $C_{32}(R)$
This study is the $3^{rd}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10} and is a continuation of Part 2. Here, we obtain all the 384 pairs of Type-2 isomorphic circulant graphs of order 32.
An improved upper bound on the oriented diameter of graphs with diameter $4$
Let $f(d)$ be the smallest value for which every bridgeless graph $G$ with diameter $d$ admits a strong orientation $\overrightarrow{G}$ such that the diameter of $\overrightarrow{G}$ is at most $f(d)$. Chvátal and Thomassen (1978) established general bounds for $f(d)$ which implies $f(4)\geq 12$, and proved $f(2)=6$. Kwok et al. (2010) proved that $9\leq f(3)\leq 11$. Wang and Chen (2022) determined $f(3)=9$. Babu et al. (2021) showed $f(4)\leq 21$. In this paper, we improve the upper bound of $ f(4) $ to $18$.
An algebraic-combinatorial framework for finding the average hitting times in graphs with high regularity
For any given vertices $u$ and $v$ in a graph, the hitting time of a random walk on a finite graph is the number of steps it takes for a random walk to reach vertex $v$ starting at vertex $u$. The expected value of the hitting time is the average hitting time. In this paper, we present an algebraic-combinatorial method for calculating the average hitting time between vertices of finite graphs exhibiting high regularity, along with its applications to multiple graph classes. Our approach exploits a novel connection between maximal-entropy random walks and weight-equitable partitions, providing a unifying framework that strengthens and extends several known results, including Rao's method [Statistics \& Probability Letters, 2013] for computing the hitting time from a vertex to a neighbor under certain symmetries of the starting vertex.
Self-similar dendrites with finite boundary and P-sprouts
Each self-similar dendrite K with a finite self-similar boundary defines a finite acyclic edge-labeled bipartite graph G, called the sprout of K. The paper shows that the sprout G determines the combinatorial properties of the dendrite K and its topological structure.
Conflict-Free Cuts in Planar and 3-Degenerate Graphs with 1-Regular Conflicts
A conflict-free cut $F$ on a simple connected graph $G = (V, E)$ is defined as a set of edges $F \subseteq E$ such that $G-F$ is disconnected, and no two edges in $F$ are conflicting. The notion of conflicting edges is represented using an associated conflict graph $\widehat{G} = (\widehat{V}, \widehat{E})$ where $\widehat{V} = E$. Deciding if a given planar graph $G$, with an associated conflict graph $\widehat{G}$, has a conflict-free cut is known to be NP-complete, when $G$ has maximum degree four and $\widehat{G}$ is a line graph of $G$ [Bonsma, JGT 2009].
In this paper, we prove the following for the case when $\widehat{G}$ is 1-regular.
* We completely resolve the complexity of the decision problem when $G$ is planar. Towards this end, we show that (a) there always exists a conflict-free cut when the graph is planar and 4-regular unless it is the octahedron graph and (b) the decision problem is NP-complete, even in the case when $G$ is planar with maximum degree 5.
* We also show that the decision problem is NP-complete when $G$ is a 3-degenerate graph with maximum degree 5. This completely resolves the complexity status of the problem when $G$ is 3-degenerate.
* We construct families of graphs with 1-regular conflict graphs that do not have a conflict-free cut.
Our results answer the questions posed in [Rauch, Rautenbach and Souza, IPL 2025].
Representations of Reeb spaces via simplified graphs and examples
Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional".
We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.
Two Results on Outer-String Graphs
An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations.
Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.
A study on Type-2 isomorphic circulant graphs. Part 5: Type-2 isomorphic circulant graphs of orders 48, 81, 96
This study is the $5^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10} and is a continuation of Part 4. Here, we study Type-2 isomorphic circulant graphs of $C_{48}(r_1,r_2,r_3)$, $C_{81}(r_1,r_2,r_3)$ and $C_{96}(r_1,r_2,r_3,r_4)$. We find that the total number of pairs of isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 of the forms $C_{n}(r_1,r_2,r_3)$ and $C_{n}(s_1,s_2,s_3)$ are 18 and 72 for $n$ = 48, 96, respectively and the total number of triples of isomorphic circulant graphs of Type-2 w.r.t. $m$ = 3 of the form $C_{81}(x_1,x_2,x_3)$, $C_{81}(y_1,y_2,y_3)$ and $C_{81}(z_1,z_2,z_3)$ are 27.
Learning Minimally Rigid Graphs with High Realization Counts
For minimally rigid graphs, the same edge-length data can admit multiple realizations (up to translations and rotations). Finding graphs with exceptionally many realizations is an extremal problem in rigidity theory, but exhaustive search quickly becomes infeasible due to the super-exponential growth of the number of candidate graphs and the high cost of realization-count evaluation. We propose a reinforcement-learning approach that constructs minimally rigid graphs via 0- and 1-extensions, also known as Henneberg moves. We optimize realization-count invariants using the Deep Cross-Entropy Method with a policy parameterized by a Graph Isomorphism Network encoder and a permutation-equivariant extension-level action head. Empirically, our method matches the known optima for planar realization counts and improves the best known bounds for spherical realization counts, yielding new record graphs.
Independence Polynomials of 2-step Nilpotent Lie Algebras
Published in Journal of Pure and Applied Algebra, Volume 230, Issue 7, 2026, 108169
• View Publication
• BIB
Motivated by the Dani-Mainkar construction, we extend the notion of independence polynomial of graphs to arbitrary 2-step nilpotent Lie algebras. After establishing efficiently computable upper and lower bounds for the independence number, we discuss a metric-dependent generalization motivated by a quantum mechanical interpretation of our construction. As an application, we derive elementary bounds for the dimension of abelian subalgebras of 2-step nilpotent Lie algebras.
A note on the $t$-partite link problem of Füredi
Motivated by the Erdős--Sós bipartite link conjecture, Füredi (Oberwolfach, 2004) asked for the asymptotic maximum edge density $π_{\mathrm{link}}(t)$ of $3$-graphs in which the link graph of every vertex is $t$-partite. Goldwasser's recursive blow-up construction based on projective planes gives the lower bound $π_{\mathrm{link}}(t)\ge 1-t^{-1}-(2+o_t(1))t^{-2}$ whenever $t-1$ is a prime power. In this note, we prove the upper bound $π_{\mathrm{link}}(t)\le 1-t^{-1}-t^{-2}/12$ for every $t \ge 2$. Together with Goldwasser's construction, this determines, up to a constant factor, the correct order of the gap between $π_{\mathrm{link}}(t)$ and the trivial averaging upper bound $1-t^{-1}$ for all prime-power values of $t-1$.
In fact, our argument applies in the more general setting of $3$-graphs with no generalized daisies, equivalently, $3$-graphs in which the link graph of every vertex is $K_{t+1}$-free. We also establish an analogous upper bound for the positive $(r-1)$-codegree Turán density of generalized daisies.
Paving matroids that are not sparse paving
The Mayhew--Newman--Welsh--Whittle conjecture predicts that asymptotically almost all matroids are sparse paving. We study the gap between paving and sparse paving matroids at the logarithmic scale. Let \(p_n\) be the number of paving matroids on \([n]\), let \(sp_n\) be the number of sparse paving matroids on \([n]\), and let \(sp_{n,r}\) be the number of rank-\(r\) sparse paving matroids on \([n]\). We prove that \[
p_n-sp_n\ge sp_{n,\lfloor n/2\rfloor}^{1-o(1)}. \] Thus the paving matroids that are not sparse paving are themselves logarithmically large. The construction prescribes one hyperplane larger than the rank and then counts stable sets in an induced subgraph of a Johnson graph. We also give amplified versions obtained by varying the large hyperplane and by prescribing distance-six families of large hyperplanes.