Showing 20 papers (Total: 81378 papers, 47165 authors in database)
What is and is not inside a Cayley graph?
In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2, 1994].
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
We present new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field and all Minkowski decompositions of a given toric Calabi--Yau cone with smooth link from the data of its toric polytope. Minkowski decompositions of this polytope into lattice segments and/or triangles give rise to smoothings of the given cone. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
The Redundancy of Full Nodes in Bitcoin: A Network-Theoretic Demonstration of Miner-Centric Propagation Topologies
This paper formally examines the network structure of Bitcoin CORE (BTC) and Bitcoin Satoshi Vision (BSV) using complex graph theory to demonstrate that home-hosted full nodes are incapable of participating in or influencing the propagation topology. Leveraging established models such as scale-free networks and small-world connectivity, we demonstrate that the propagation graph is dominated by a densely interconnected miner clique, while full nodes reside on the periphery, excluded from all transaction-to-block inclusion paths. Using simulation-backed metrics and eigenvalue centrality analysis, we confirm that full nodes are neither critical nor operationally relevant for consensus propagation.
The VC-dimension of random subsets of finite groups
For a random subset of a finite group $G$ of cardinality $N$, we consider the VC-dimension of the family of its translates (equivalently the VC-dimension of a random Cayley graph) and prove a law of large numbers as $N\rightarrow\infty$. This answers a question of McDonald--Sahay--Wyman.
Neighbor Connectivity of Undirected Toroidal Meshes
In this paper, we examine the neighbor connectivity, denoted as $κ_{NB}$, of the undirected toroidal mesh $C(d_1,d_2,\ldots,d_n)$. We demonstrate that $κ_{NB}(C(d_1,d_2,\ldots,d_n)) = n$ for all $n \ge 2$ and $d_i \ge 3$ (for $1 \le i \le n$). Additionally, we perform a computer simulation experiment on neighbor connectivity in undirected toroidal meshes. This experiment not only supports our theoretical findings with empirical results but also provides a deeper understanding of neighbor structure failures in undirected toroidal meshes.
Every graph is uniform-span $(2,2)$-choosable: Beyond the 1-2 conjecture
For a simple graph $G=(V,E)$, a \emph{proper total weighting} is a mapping $w: V\cup E\rightarrow \mathbb R$ such that for every edge $uv\in E$, $w(u)+\sum_{e\ni u}w(e)\neq w(v)+\sum_{e\ni v}w(e)$. The graph $G$ is said $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to each $z$ in $V\cup E$ a set $L(z)$ of two real numbers, there exists a {proper total weighting} $w$ with $w(z)\in L(z)$ for every $z\in V\cup E$. Wong and Zhu, and independently Przybyło and Woźniak conjectured that every simple graph is $(2,2)$-choosable. This conjecture remains open.
For a set $\{a,b\}\subset \mathbb R$, its span is defined as $|b-a|$. We call a graph $G=(V,E)$ \emph{uniform-span} $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to every $z\in V\cup E$ a two-element list of a common span, there exists a {proper total weighting} respect to the assignment. In this paper, we present a novel lemma and perform comprehensive enhancements to our previous algorithm. These contributions enable us to prove that every graph is uniform-span $(2,2)$-choosable. This confirms the 1-2 conjecture in full generality, and provides supporting evidence for the $(2,2)$-choosable conjecture.
The set of minimal distances of the monoid of plus-minus weighted zero-sum sequences and applications to the characterization problem
Recently a systematic investigation of monoids of sequences of plus-minus weighted zero-sum sequences had been started, which is among others motivated by applications to monoids of norms of algebraic integers. In the current paper these investigations are continued. The focus is on the set of minimal distances of these monoids, which is an important arithmetical invariant. Applications to the characterization problem are discussed as well.
Schreier Sets of Multiples of an Integer, Linear Recurrence, and Pascal Triangle
A finite nonempty set $F$ is said to be Schreier (maximal Schreier, respectively) if $\min F\ge |F|$ ($\min F = |F|$, respectively). For $k,n\in\mathbb{N}$, let $$s_{k,n}\ :=\ |\{F\subset\{k, 2k,\ldots, nk\}\,:\, F\mbox{ is Schreier and }nk\in F\}|.$$ We show that $(s_{k,n})_{n=1}^\infty$ is a subsequence with terms taken periodically from the Padovan-like sequence $(a_{k,n})_{n=0}^\infty$ defined as: $a_{k,0} = a_{k,1} = 1, a_{k, 2} = \cdots = a_{k, k} = 2$, and $$a_{k, n}\ =\ a_{k,n-k} + a_{k,n-k-1},\mbox{ for } n\ge k+1.$$ As an application, we obtain an alternative proof of the linear recurrence of $(s_{k,n})_{n=1}^\infty$ discovered by Beanland et al. Furthermore, a similar result holds for the sequence $(s^{(m)}_{k,n})_{n=1}^\infty$ that counts maximal Schreier sets. Finally, we prove that $$s^{(m)}_{k,n}\ =\ 2s_{k,n}-s_{k,n+1}, \mbox{ for all }n\ge 1.$$
The magic of tensor products of ultrafilters
Tensor products of ultrafilters have special combinatorial features closely related to Ramsey's Theorem, making them useful tools in applications. Here we first review their fundamental properties and isolate some new ones, including a characterisation of the limit superior and inferior of sequences as limits along tensor products, and an application to the Banach asymptotic density. We then prove a general result on the combinatorial structure of sets belonging to tensor products and, as a result, we obtain several characterisations of the additive properties of sets of natural numbers. Finally, we show that tensor products can be described as idempotents of an appropriate semigroup.
The Shortest-Path distance on graphons
Published in Journal of Complex Networks, Volume 13, Issue 6, December 2025, cnaf045
• View Publication
• BIB
We define an analogue of the shortest-path distance for graphons. The proposed method is rooted on the extension to graphons of Varadhan's formula, a result that links the solution of the heat equation on a Riemannian manifold to its geodesic distance. The resulting metric is integer-valued, and for step graphons obtained from finite graphs it is essentially equivalent to the usual shortest-path distance. We further draw a link between the Varadhan distance and the communicability distance, that contains information from all paths, not just shortest-paths, and thus provides a finer distance on graphons along with a natural isometric embedding into a Hilbert space.
Distinguishing finite and infinite trees of arbitrary cardinality
Let $G$ be a finite or infinite graph and $m(G)$ the minimum number of vertices moved by the non-identity automorphisms of $G$. We are interested in bounds on the supremum $Δ(G)$ of the degrees of the vertices of $G$ that assure the existence of vertex colorings of $G$ with two colors that are preserved only by the identity automorphism, and, in particular, in the number $a(G)$ of such colorings that are mutually inequivalent.
For trees $T$ with finite $m(T)$ we obtain the bound $Δ(T)\leq2^{m(T)/2}$ for the existence of such a coloring, and show that $a(T)= 2^{|T|}$ if $T$ is infinite. Similarly, we prove that $a(G) = 2^{|G|}$ for all tree-like graphs $G$ with $Δ(G)\le 2^{\aleph_0}$.
For rayless or one-ended trees $T$ with arbitrarily large infinite $m(T)$, we prove directly that $a(T)= 2^{|T|}$ if $Δ(T)\le 2^{m(T)}$.
Proof of a conjecture on eigenvalues of transposition graph
The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.
Excluding Pinched Spheres
The pinched sphere is the pseudo-surface $\mathbb{S}^{\circ}_0$ obtained by identifying two distinct points of the sphere. We provide a structural characterization of graphs excluding an $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. Given a graph $G$ and a vertex set $X$, the bidimensionality of $X$ in $G$ is the maximum $k$ such that $G$ contains the $(k\times k)$-grid as an $X$-rooted minor, i.e., there exists a minor model of the $(k \times k)$-grid in~$G$ such that every branchset of this model contains a vertex of $X$. We prove that there is a function~$f$ such that, if a graph $G$ excludes an $\mathbb{S}^{\circ}_0$-embeddable graph $H$ as a minor, $G$ has a tree decomposition where each torso $G_{t}$ contains some set of vertices $X,$ whose bidimensionality in $G_{t}$ is at most $f(k)$ such that $G_{t}$ can be reduced to a graph embeddable in the projective plane by identifying vertices from $X$. This result is optimal in the sense that every graph admitting such a tree decomposition must exclude some $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. An alternative interpretation of this result can be obtained by the fact that edge-apex graphs, i.e., graphs that can be made planar by removing an edge, are graphs embeddable in the pinched sphere. Several consequences and variants of this min-max duality are discussed.
Transparent Rectangle Visibility Graphs
A transparent rectangle visibility graph (TRVG) is a graph whose vertices can be represented by a collection of non-overlapping rectangles in the plane whose sides are parallel to the axes such that two vertices are adjacent if and only if there is a horizontal or vertical line intersecting the interiors of their rectangles.
We show that every threshold graph, tree, cycle, rectangular grid graph, triangular grid graph and hexagonal grid graph is a TRVG. We also obtain a maximum number of edges of a bipartite TRVG and characterize complete bipartite TRVGs. More precisely, a bipartite TRVG with $n$ vertices has at most $2n-2$ edges. The complete bipartite graph $K_{p,q}$ is a TRVG if and only if $\min\{p,q\} \le 2$ or $(p,q) \in \{(3,3), (3,4)\}$. We prove similar results for the torus. Moreover, we study whether powers of cycles and their complements are TRVGs.
A group-theoretic approach to Shannon capacity of graphs and a limit theorem from lattice packings
We develop a group-theoretic approach to the Shannon capacity problem. Using this approach we extend and recover, in a structured and unified manner, various families of previously known lower bounds on the Shannon capacity. Bohman (2003) proved that, in the limit $p\to\infty$, the Shannon capacity of cycle graphs $Θ(C_p)$ converges to the fractional clique covering number, that is, $\lim_{p \to \infty} p/2 - Θ(C_p) = 0$. We strengthen this result by proving that the same is true for all fraction graphs: $\lim_{p/q \to \infty} p/q - Θ(E_{p/q}) = 0$. Here the fraction graph $E_{p/q}$ is the graph with vertex set $\mathbb{Z}/p\mathbb{Z}$ in which two distinct vertices are adjacent if and only if their distance mod $p$ is strictly less than $q$. We obtain the limit via the group-theoretic approach. In particular, the independent sets we construct in powers of fraction graphs are subgroups (and, in fact, lattices). Our approach circumvents known barriers for structured ("linear") constructions of independent sets of Calderbank-Frankl-Graham-Li-Shepp (1993) and Guruswami-Riazanov (2021).
The homology torsion growth of determinantal hypertrees
Fix a dimension $d\ge 2$, and let $T_n$ be a random $d$-dimensional determinantal hypertree on $n$ vertices. We prove that \[\frac{\log|H_{d-1}(T_n,\mathbb{Z})|}{n\choose {d}}\] converges in probability to a constant $c_d$, which satisfies
\[\frac{1}2 \log\left(\frac{d+1}e\right)\le c_d\le \frac{1}2 \log\left(d+1\right) .\]
Stability with minuscule structure for chromatic thresholds
The chromatic threshold $δ_χ(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $d n$ is bounded by a constant depending only on $H$ and $d$. Allen, B{ö}ttcher, Griffiths, Kohayakawa, and Morris determined the chromatic threshold for every $H$; in particular, they showed that if $χ(H)=r\ge 3$, then $δ_χ(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$. While the chromatic thresholds have been completely determined, rather surprisingly the structural behaviors of extremal graphs near the threshold remain unexplored.
In this paper, we establish the stability theorems for chromatic threshold problems. We prove that every $n$-vertex $H$-free graph $G$ with $δ(G)\ge (δ_χ(H)-o(1))n$ and $χ(G)=ω(1)$ must be structurally close to one of the extremal configurations. Furthermore, we give a stronger stability result when $H$ is a clique, showing that $G$ admits a partition into independent sets and a small subgraph on sublinear number of vertices. We show that this small subgraph has fractional chromatic number $2+o(1)$ and is homomorphic to a Kneser graph defined by subsets of a logarithmic size set; both these two bounds are best possible. This is the first stability result that captures the lower-order structural features of extremal graphs.
We also study two variations of chromatic thresholds. Replacing chromatic number by its fractional counterpart, we determine the fractional chromatic thresholds for all graphs. Another variation is the bounded-VC chromatic thresholds, which was introduced by Liu, Shangguan, Skokan, and Xu very recently. Extending work of Łuczak and Thomass{é} on the triangle case, we determine the bounded-VC chromatic thresholds for all cliques.
Factorizations in Geometric Lattices
This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $Π(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these lattices, building on concepts introduced by D.D. Anderson, D.F. Anderson, and M. Zafrullah within the context of factorization theory in commutative algebra. As part of the study, we first examine the main characteristics of the function $\mathfrak{N}\colon Π(X) \rightarrow \mathbb{N}$, which assigns to each partition $π$ the number of minimal atomic decompositions of $π$. We then consider a distinguished subset of atoms, $\mathcal{R}$, referred to as the set of red atoms, and derive a recursive formula for $\pmbπ(X, j, s, \mathcal{R})$, which enumerates the rank-$j$ partitions expressible as the join of exactly $s$ red atoms.
Short monochromatic odd cycles
It is easy to see that every $k$-edge-colouring of the complete graph on $2^k+1$ vertices contains a monochromatic odd cycle. In 1973, Erdős and Graham asked to estimate the smallest $L(k)$ such that every $k$-edge-colouring of $K_{2^k+1}$ contains a monochromatic odd cycle of length at most $L(k)$. Recently, Girão and Hunter obtained the first nontrivial upper bound by showing that $L(k)=O(\frac{2^k}{k^{1-o(1)}})$, which improves the trivial bound by a polynomial factor. We obtain an exponential improvement by proving that $L(k)=O(k^{3/2}2^{k/2})$. Our proof combines tools from algebraic combinatorics and approximation theory.
Some remarks on Folkman graphs for triangles
Folkman's theorem asserts the existence of graphs $G$ which are $K_4$-free, but which have the property that every two-coloring of $E(G)$ contains a monochromatic triangle. The quantitative aspects of $f(2,3,4)$, the least $n$ such that there exists an $n$-vertex graph with both properties above, are notoriously difficult; a series of improvements over the span of two decades witnessed the solution to two \$100 Erdős problems, and the current record due to Lange, Radziszowski, and Xu now stands at $f(2,3,4) \leq 786$, the proof of which is computer-assisted.
In this paper, we study Folkman-like properties of a sequence $H_q$ of finite geometric graphs constructed using Hermitian unitals in projective planes which were instrumental in the recent Mattheus-Verstraëte breakthrough on off-diagonal Ramsey numbers. We show that for all prime powers $q \geq 4$, there exists a subset $\mathscr{T}_q$ of triangles in $H_q$ such that no four span a $K_4$ in $H_q$, but every two-coloring of $E(H_q)$ induces a monochromatic triangle in $\mathscr{T}_q$. For $q=4$, this gives a graph on $208$ vertices with this "quasi-Folkman" property. Moreover, we show that a certain random alteration of $H_q$ which destroys all of its $K_4$'s will, for large $q$, maintain the Ramsey property with high probability.