Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Boolean combinations of graphs
Boolean combinations allow combining given combinatorial objects to obtain new, potentially more complicated, objects. In this paper, we initiate a systematic study of this idea applied to graphs. In order to understand expressive power and limitations of boolean combinations in this context, we investigate how they affect different combinatorial and structural properties of graphs, in particular $χ$-boundedness, as well as characterize the structure of boolean combinations of graphs from various classes.
Three Theorems on Negami's Planar Cover Conjecture
A long-standing Conjecture of S. Negami states that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It is known that the Conjecture is equivalent to the fact that \emph{the graph $K_{1,2, 2, 2}$ has no finite planar cover}. We prove three theorems showing that the graph $K_{1,2, 2, 2}$ admits no planar cover with certain structural properties, and that the minimal planar cover of $K_{1,2, 2, 2}$ (if it exists) must be $4$-connected.
A counterexample to a Brenti-Carnevale conjecture
Recently, F. Brenti put a preprint on the arXiv with several interesting open problems on Coxeter groups and unimodality. In this note, we refute one of these conjectures with a counterexample and provide supporting data related to it. This work serves as an initial step toward further exploration of the topic.
On Counting Constructions and Isomorphism Classes of $I$-Graphs
We prove a collection of asymptotic density results for several interesting classes of the $I$-graphs. Specifically, we quantify precisely the proportion of $I$-graphs that are generalised Petersen graphs as well as those that are connected. Our results rely on the estimation of sums over tuples satisfying various coprimality conditions along with other techniques from analytic number theory.
Conjugation, loop and closure invariants of the iterated-integrals signature
Given a feature set for the shape of a closed loop, it is natural to ask which features in that set do not change when the starting point of the path is moved. For example, in two dimensions, the area enclosed by the path does not depend on the starting point. In the present article, we characterize such loop invariants among all those features known as interated integrals of a given path. Furthermore, we relate these to conjugation invariants, which are a canonical object of study when treating (tree reduced) paths as a group with multiplication given by the concatenation. Finally, closure invariants are a third class in this context which is of particular relevance when studying piecewise linear trajectories, e.g. given by linear interpolation of time series.
Keywords: invariant features; concatenation of paths; combinatorial necklaces; shuffle algebra; free Lie algebra; signed area; signed volume; tree-like equivalence.
Sharp Bounds on Lengths of Linear Recolouring Sequences
A recolouring sequence, between $k$-colourings $α$ and $β$ of a graph $G$, transforms $α$ into $β$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $α$ and $β$ of the minimum length of a recolouring sequence from $α$ to $β$. Much previous work has focused on determining the asymptotics of $\textrm{diam}~\mathcal{C}_k(G)$: Is it $Θ(|G|)$? Is it $Θ(|G|^2)$? Or even larger? Here we focus on graphs for which $\textrm{diam}~\mathcal{C}_k(G)=Θ(|G|)$, and seek to determine more precisely the multiplicative constant implicit in the $Θ()$. In particular, for each $k\ge 3$, for all positive integers $p$ and $q$ we exactly determine $\textrm{diam}~\mathcal{C}_k(K_{p,q})$, up to a small additive constant. We also sharpen a recolouring lemma that has been used in multiple papers, proving an optimal version. This improves the multiplicative constant in various prior results. Finally, we investigate plausible relationships between similar reconfiguration graphs.
The branching models of Kwon and Sundaram via flagged hives
We prove a bijection between the branching models of Kwon and Sundaram, conjectured previously by Lenart-Lecouvey. To do so, we use a symmetry of Littlewood-Richardson coefficients in terms of the hive model. Along the way, we obtain a new branching model in terms of flagged hives.
High-dimensional permutons: theory and applications
Permutons, which are probability measures on the unit square $[0, 1]^2$ with uniform marginals, are the natural scaling limits for sequences of (random) permutations.
We introduce a $d$-dimensional generalization of these measures for all $d \ge 2$, which we call $d$-dimensional permutons, and extend -- from the two-dimensional setting -- the theory to prove convergence of sequences of (random) $d$-dimensional permutations to (random) $d$-dimensional permutons.
Building on this new theory, we determine the random high-dimensional permuton limits for two natural families of high-dimensional permutations. First, we determine the $3$-dimensional permuton limit for Schnyder wood permutations, which bijectively encode planar triangulations decorated by triples of spanning trees known as Schnyder woods. Second, we identify the $d$-dimensional permuton limit for $d$-separable permutations, a pattern-avoiding class of $d$-dimensional permutations generalizing ordinary separable permutations.
Both high-dimensional permuton limits are random and connected to previously studied universal 2-dimensional permutons, such as the Brownian separable permutons and the skew Brownian permutons, and share interesting connections with objects arising from random geometry, including the continuum random tree, Schramm--Loewner evolutions, and Liouville quantum gravity surfaces.
A random walk among random graphs
Lecture notes of a master course given at Orsay between 2019-2024. Topics covered include Part I: One-dimensional random walks, cycle lemma and Bienaymé--Galton--Watson random trees. Part II: Erdös--Rényi random graphs, three proofs of the emergence of the giant component. Part III: Random recursive tree, random permutations and continuous time embedding techniques. Intended for publication.
Tree tilings in random regular graphs
We show that for every $ε>0$ there exists a sufficiently large $d_0\in \mathbb{N}$ such that for every $d\ge d_0$, whp the random $d$-regular graph $G(n,d)$ contains a $T$-factor for every tree $T$ on at most $(1-ε)d/\ln d$ vertices. This is best possible since, for large enough integer $d$, whp $G(n,d)$ does not contain a $\frac{(1+ε)d}{\ln d}$-star-factor. Our method gives a randomised algorithm which whp finds said $T$-factor and whose expected running time is $O(n^{1+o(1)})$, as well as an efficient deterministic counterpart.
Functionality of Random Graphs
The functionality of a graph $G$ is the minimum number $k$ such that in every induced subgraph of $G$ there exists a vertex whose neighbourhood is uniquely determined by the neighborhoods of at most $k$ other vertices in the subgraph. The functionality parameter was introduced in the context of adjacency labeling schemes, and it generalises a number of classical and recent graph parameters including degeneracy, twin-width, and symmetric difference. We establish the functionality of a random graph $G(n,p)$ up to a constant factor for every value of $p$.
A note on the log-concavity of parking functions
We settle a conjecture of Bóna regarding the log-concavity of a certain statistic on parking functions by utilizing recent log-concavity results on matroids. This result allows us to also prove that connected, labeled graphs graded by their number of edges are log-concave. Furthermore, we generalize these results to $G$-parking functions.
Cauchy-type identities through collocation matrices
We present a broader framework for the Cauchy identity derived from the determinant expansion of collocation matrices. This approach yields an infinite family of identities, where the original Cauchy identity stands as a particular case. To illustrate the versatility and depth of this approach, we provide a range of compelling examples, showcasing the connections and applications of these novel identities.
Forbidden Subgraphs of Prime Order Element Graph
In this paper, we study different forbidden subgraph characterizations of the prime-order element graph $Γ(G)$ defined on a finite group $G$. Its set of vertices is the group $G$ and two vertices $x,y \in G$ are adjacent if the order of $xy$ is prime. More specifically, we investigate the conditions when $Γ(G)$ is perfect, cograph, chordal, claw-free, and interval graph.
Blowing up Dirac's theorem
We show that every graph $G$ on $n$ vertices with $δ(G) \geq (1/2+\varepsilon)n$ is spanned by a complete blow-up of a cycle with clusters of nearly uniform size $Ω(\log n)$. The proof is based on a recently introduced approach for finding vertex-spanning substructures via blow-up covers.
On n-dependent groups and fields III. Multilinear forms and invariant connected components
We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate alternating n-linear spaces over K is strictly n-dependent; and it is NSOP1 if K is. This relies on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher arity generalizations of Sauer-Shelah lemma). We also study the invariant connected components $G^{\infty}$ in n-dependent groups, demonstrating their relative absoluteness in the abelian case.
Transcendental Functions on Continued Fractions
Gosper developed an algorithm for performing arithmetic operations on continued fractions (CFs), getting a CF as the result. Straightforward implementation of the algorithm leads to infinite loops on some inputs. Here we present a modified version of the arithmetic algorithm and prove that it avoids all difficulties with infinite loops. We then combine CF arithmetic with the spigot algorithm to compute the CF expansions of exponential, logarithmic, and trigonometric functions of CFs. We have implemented these algorithms in Haskell.
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
Published in European Journal of Combinatorics, Volume 131 (2026) 104238
• View Publication
• BIB
Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we show that each connected component of $\mathrm{Hom}(G,H)$ is homotopy equivalent to a wedge sum of circles. We further show that, given any graph homomorphism $f\colon G\to H$ to a square-free $H$, one can determine the homotopy type of the connected component of $\mathrm{Hom}(G,H)$ containing $f$ algorithmically.
On off-diagonal $F$-Ramsey numbers
A graph is $(t_1, t_2)$-Ramsey if any red-blue coloring of its edges contains either a red copy of $K_{t_1}$ or a blue copy of $K_{t_2}$. The size Ramsey number is the minimum number of edges contained in a $(t_1,t_2)$-Ramsey graph. Generalizing the notion of size Ramsey numbers, the $F$-Ramsey number $r_F(t_1, t_2)$ is defined to be the minimum number of copies of $F$ in a $(t_1,t_2)$-Ramsey graph. It is easy to see that $r_{K_s}(t_1,t_2)\le \binom{r(t_1,t_2)}{s}$. Recently, Fox, Tidor, and Zhang showed that equality holds in this bound when $s=3$ and $t_1=t_2$, i.e. $r_{K_3}(t,t) = \binom{r(t,t)}{3}$. They further conjectured that $r_{K_s}(t,t)=\binom{r(t,t)}{s}$ for all $s\le t$, in response to a question of Spiro.
In this work, we study the off-diagonal variant of this conjecture: is it true that $r_{K_s}(t_1,t_2)=\binom{r(t_1,t_2)}{s}$ whenever $s\le \max(t_1,t_2)$? Harnessing the constructions used in the recent breakthrough work of Mattheus and Verstraëte on the asymptotics of $r(4,t)$, we show that when $t_1$ is $3$ or $4$, the above equality holds up to a lower order term in the exponent.
Planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable
The concept of DP-coloring of graphs was introduced by Dvořák and Postle, and was used to prove that planar graphs without cycles of length from $4$ to $8$ are $3$-choosable. In the same paper, they proposed a more natural and stronger claim that such graphs are DP-$3$-colorable. This paper confirms that claim by proving a stronger result that planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable.