Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The connectedness of friends-and-strangers graphs about graph parameters and others
Let $X$ and $Y$ be two graphs of order $n$. The friends-and-strangers graph $\textup{FS}(X,Y)$ of $X$ and $Y$ is a graph whose vertex set consists of all bijections $σ: V(X)\rightarrow V(Y)$, in which two bijections $σ$ and $ σ'$ are adjacent if and only if they agree on all but two adjacent vertices of $X$ such that the corresponding images are adjacent in $Y$. The most fundamental question about these friends-and-strangers graphs is whether they are connected. In this paper, we provide a sufficient condition regarding the maximum degree $Δ(X)$ and vertex connectivity $κ(Y)$ that ensures the graph $\textup{FS}(X,Y)$ is $s$-connected. As a corollary, we improve upon a result by Bangachev and partially confirm a conjecture he proposed. Furthermore, we completely characterize the connectedness of $\textup{FS}(X,Y)$, where $X\in\textup{DL}_{n-k,k}$.
Perfect state transfer on gcd-graphs over a finite Frobenius ring, I: general theory and results for local rings
The existence of perfect state transfer (PST) on quantum spin networks is a fundamental problem in mathematics and physics. Various works in the literature have explored PST in graphs with arithmetic origins, such as gcd-graphs over $\mathbb{Z}$ and cubelike graphs. In this article, building on our recent work on gcd-graphs over an arbitrary finite Frobenius ring, we investigate the existence of PST on these graphs. Our approach is algebraic in nature, enabling us to unify various existing results in the literature.
On the star b-chromatic number of a graph
A star coloring of a graph $G$ is a proper coloring where vertices of every two color classes induce a forest of stars. A strict partial order is defined on the set of all star colorings of $G$. We introduce the star b-chromatic number $S_b(G)$, analogous to the b-chromatic number, as the maximum number of colors in a minimum element of the mentioned order. We present several combinatorial properties of $S_b(G)$, compute the exact value for $S_b(G)$ for several known families and compare $S_b(G)$ with several invariants naturally connected to $S_b(G)$.
On finite groups whose power graphs satisfy certain connectivity conditions
Consider a graph $Γ$. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components containing cycles. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. The {cyclic vertex connectivity} is the minimum cardinality of a cyclic vertex cutset of $Γ$. The power graph $\mathcal{P}(G)$ of a group $G$ is the undirected simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a positive power of the other. If $G$ is a cyclic, dihedral, or dicyclic group, we determine the order of $G$ such that $\mathcal{P}(G)$ is cyclically separable. Then we characterize the equality of vertex connectivity and cyclic vertex connectivity of $\mathcal{P}(G)$ in terms of the order of $G$.
Coconvex characters on collections of phylogenetic trees
In phylogenetics, a key problem is to construct evolutionary trees from collections of characters where, for a set X of species, a character is simply a function from X onto a set of states. In this context, a key concept is convexity, where a character is convex on a tree with leaf set X if the collection of subtrees spanned by the leaves of the tree that have the same state are pairwise disjoint. Although collections of convex characters on a single tree have been extensively studied over the past few decades, very little is known about coconvex characters, that is, characters that are simultaneously convex on a collection of trees. As a starting point to better understand coconvexity, in this paper we prove a number of extremal results for the following question: What is the minimal number of coconvex characters on a collection of n-leaved trees taken over all collections of size t >= 2, also if we restrict to coconvex characters which map to k states? As an application of coconvexity, we introduce a new one-parameter family of tree metrics, which range between the coarse Robinson-Foulds distance and the much finer quartet distance. We show that bounds on the quantities in the above question translate into bounds for the diameter of the tree space for the new distances. Our results open up several new interesting directions and questions which have potential applications to, for example, tree spaces and phylogenomics.
Some results on the higher-rank graphs associated to crystals of semisimple Lie algebras
In this paper we continue the study of the higher-rank graphs associated to finite-dimensional complex semisimple Lie algebras, introduced by the author and R. Yuncken, whose construction relies on Kashiwara's theory of crystals. First we prove that the Bruhat graphs of the corresponding Weyl groups, both weak and strong, can be embedded into the higher-rank graphs as colored graphs. Next, specializing to Lie algebras of type $A$, we connect some aspects of the construction of the higher-rank graphs with some well-known notions in combinatorics, most notably the keys of Lascoux and Schützenberger.
A Graph Minors Approach to Temporal Sequences
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
Lower bounds on the minimal dispersion of point sets via cover-free families
Published in Journal of Complexity, Volume 91, December 2025, 101974
• View Publication
• BIB
We elaborate on the intimate connection between the largest volume of an empty axis-parallel box in a set of $n$ points from $[0,1]^d$ and cover-free families from the extremal set theory. This connection was discovered in a recent paper of the authors. In this work, we apply a very recent result of Michel and Scott to obtain a whole range of new lower bounds on the number of points needed so that the largest volume of such a box is bounded by a given $\varepsilon$. Surprisingly, it turns out that for each of the new bounds, there is a choice of the parameters $d$ and $\varepsilon$ such that the bound outperforms the others.
A Tutte-type canonical decomposition of 3- and 4-connected graphs
Published in SODA 2026, 2942-3021 [Conference Proceedings]
• View Publication
• BIB
We provide a unique decomposition of every 4-connected graph into parts that are either quasi-5-connected, cycles of triangle-torsos and 3-connected torsos on $\leq 5$ vertices, generalised double-wheels, or thickened $K_{4,m}$'s. The decomposition can be described in terms of a tree-decomposition but with edges allowed in the adhesion-sets. Our construction is explicit, canonical, and exhibits a defining property of the Tutte-decomposition.
As a corollary, we obtain a new Tutte-type canonical decomposition of 3-connected graphs into parts that are either quasi-4-connected, generalised wheels or thickened $K_{3,m}$'s. This decomposition is similar yet different from the tri-separation decomposition.
As an application of the decomposition for 4-connectivity, in a follow-up paper we obtain a new theorem characterising all vertex-transitive finite connected graphs as essentially quasi-5-connected or on a short explicit list of graphs.
The Ising model on cubic maps: arbitrary genus
We design a recursive algorithm to compute the partition function of the Ising model, summed over cubic maps with fixed size and genus. The algorithm runs in polynomial time, which is much faster than methods based on a Tutte-like, or topological, recursion.
We construct this algorithm out of a partial differential equation that we derive from the first equation of the KP hierarchy satisfied by the generating function of bipartite maps. This series is indeed related to the Ising partition function by a change of variables. We also obtain inequalities on the coefficients of this partition function, which should be useful for a probabilistic study of cubic Ising maps whose genus grows linearly with their size.
A spanning tree model for chromatic homology
After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{<x^m>}$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.
Toric Amplitudes and Universal Adjoints
A toric amplitude is a rational function associated to a simplicial polyhedral fan. The definition is inspired by scattering amplitudes in particle physics. We prove algebraic properties of such amplitudes and study the geometry of their zero loci. These hypersurfaces play the role of Warren's adjoint via a dual volume interpretation. We investigate their Fano schemes and singular loci via the nef cone and toric irrelevant ideal of the fan.
Crossing number inequalities for curves on surfaces
We prove that, as $m$ grows, any family of $m$ homotopically distinct closed curves on a surface induces a number of crossings that grows at least like $(m \log m)^2$. We use this to answer two questions of Pach, Tardos and Toth related to crossing numbers of drawings of multigraphs where edges are required to be non-homotopic. Furthermore, we generalize these results, obtaining effective bounds with optimal growth rates on every orientable surface.
Strongly sublinear separators and bounded asymptotic dimension for sphere intersection graphs
In this paper, we consider the class $\mathcal{C}^d$ of sphere intersection graphs in $\mathbb{R}^d$ for $d \geq 2$. We show that for each integer $t$, the class of all graphs in $\mathcal{C}^d$ that exclude $K_{t,t}$ as a subgraph has strongly sublinear separators. We also prove that $\mathcal{C}^d$ has asymptotic dimension at most $2d+2$.
Edge-disjoint linkage in infinite graphs
In 1980, Thomassen stated his Weak Linkage conjecture: for odd positive integers $k$, if a graph $G$ is $k$-edge-connected, then, for any collection of $k$ pairs of vertices $\{s_1,t_1\}$, ..., $\{s_k,t_k\}$ in $G$, not necessarily distinct, there are pairwise edge-disjoint paths $P_1,...,P_k$ in $G$, with $P_i$ joining $s_i$ and $t_i$. In 1991, Huck proved that the conclusion holds if $G$ is finite and $(k+1)$-edge-connected. We prove that Huck's theorem holds also for all infinite graphs, extending and improving a result of Ok, Richter and Thomassen for 1-ended, locally finite graphs.
A novel key tool in the proof is the Linking Fan Proposition proved in Section 3. To show the potential and usefulness of this proposition in other contexts, we present in the last section a new result, similar to a result of Thomassen, on the existence of $2k$-edge-connected finite immersions in $(2k+2)$-edge-connected infinite graphs, and as a corollary we also reprove a statement on $k$-arc-connected orientations.
Random cliques in random graphs revisited
We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we derive a new upper bound on the number of $K_r$-factors in $G(n,p)$ above the threshold for such factors to appear.
We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when $p$ is constant and $r = r(n) \sim 2\log_{1/p}(n)$.
ninfty: A software package for homotopical combinatorics
We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.
Causal Models for Growing Networks
Real-world networks grow over time; statistical models based on node exchangeability are not appropriate. Instead of constraining the structure of the \textit{distribution} of edges, we propose that the relevant symmetries refer to the \textit{causal structure} between them. We first enumerate the 96 causal directed acyclic graph (DAG) models over pairs of nodes (dyad variables) in a growing network with finite ancestral sets that are invariant to node deletion. We then partition them into 21 classes with ancestral sets that are closed under node marginalization. Several of these classes are remarkably amenable to distributed and asynchronous evaluation. As an example, we highlight a simple model that exhibits flexible power-law degree distributions and emergent phase transitions in sparsity, which we characterize analytically. With few parameters and much conditional independence, our proposed framework provides natural baseline models for causal inference in relational data.
Higher dimensional floorplans and Baxter d-permutations
A $2-$dimensional mosaic floorplan is a partition of a rectangle by other rectangles with no empty rooms. These partitions (considered up to some deformations) are known to be in bijection with Baxter permutations. A $d$-floorplan is the generalisation of mosaic floorplans in higher dimensions, and a $d$-permutation is a $(d-1)$-tuple of permutations. Recently, in N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), Baxter $d$-permutations generalising the usual Baxter permutations were introduced.
In this paper, we consider mosaic floorplans in arbitrary dimensions, and we construct a generating tree for $d$-floorplans, which generalises the known generating tree structure for $2$-floorplans. The corresponding labels and rewriting rules appear to be significantly more involved in higher dimensions.
Moreover we give a bijection between the $2^{d-1}$-floorplans and $d$-permutations characterized by forbidden vincular patterns. Surprisingly, this set of $d$-permutations is strictly contained within the set of Baxter $d$-permutations.
On the Number of Disconnected Character Degree Graphs Satisfying Pálfy's Inequality
Let $G$ be a finite solvable group with disconnected character degree graph $Δ(G)$. Under these conditions, it follows from a result of Pálfy that $Δ(G)$ consists of two connected components. Another result of Pálfy's gives an inequality relating the sizes of these two connected components. In this paper, we calculate the number of possible component size pairs that satisfy Pálfy's inequality. Additionally, for a fixed positive integer $n$, the number of distinct graph orders for which exactly $n$ component size pairs satisfy Pálfy's inequality is shown.