Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Triangle-free subsets of the Hypercube
We study the problem of determining the largest subset of vertices of the $n$ dimensional hypercube without three vertices at a Hamming distance of exactly $r$ from each other. In particular, we provide a lower bound of $\frac{c2^n}{e^r2^{\frac r2} (\frac nr)^{\frac{3r}{4}}}$ and an upper bound of $O(\frac{r2^n}{n+1})$ when $2r \le n$. In particular, when $r$ is a constant, the lower bound is $\frac{c2^n}{n^{3r/4}}$, while the upper bound is $\frac{c'2^n}{n}$.
Graph theoretic properties of Speyer's matroid polynomial $g_M(t)$
We prove relations between the number of $k$-connected components of a graph, Crapo's invariant $β(M)$ of a matroid, and Speyer's polynomial $g_M(t)$. These yield a simple interpretation of $g_M'(-1)$ when $M$ is graphic or cographic. Furthermore, we improve Ferroni's algorithm to compute $g_M(t)$ and provide an implementation and an extensive data set. These calculations reveal a large number of graph theoretic constraints on the second derivative $g_M''(-1)$, which we thus advertise as an intriguing new invariant of graphs. We also propose a relation between the flow polynomial and $g_M''(0)$ for cubic graphs.
Gauged permutation invariant tensor quantum mechanics, least common multiples and the inclusion-exclusion principle
We derive the canonical ensemble partition functions for gauged permutation invariant tensor quantum harmonic oscillator thermodynamics, finding surprisingly simple expressions with number-theoretic characteristics. These systems have a gauged symmetry of $S_N$, the symmetric group of all permutations of a set of $N$ objects. The symmetric group acts on tensor variables $ Φ_{ i_1, \cdots , i_s } $, where the $s$ indices each range over $ \{ 1, 2, \cdots , N \} $ and have the standard $S_N$ action of permutations. The result is a sum over partitions of $N$ and the summand is a product admitting simple expressions, which depend on the least common multiples (LCMs) of subsets of the parts of the partition. The inclusion-exclusion principle of combinatorics plays a central role in the derivation of these expressions. The behaviour of these partition functions under inversion of the Boltzmann factor $ x = e^{ - β} $ is governed by universal sequences associated with invariants of symmetric groups and alternating groups. The partition functions allow the development of a high temperature expansion analogous to the $s=2$ matrix case. The calculation of an $s$-dependent breakdown point leads to a critical Boltzmann factor $ x_c = { \log N \over sN^{ s-1}}$ as the leading large $N$ approximation.
Prime simplicial complexes of finite groups
The prime simplicial complex $Π(G)$ of a finite group $G$ is composed of all sets of primes $S$ where $G$ has an element of order the product of primes in $S$, with the subsets partially ordered by inclusion. This complex was introduced by Peter Cameron as the generalisation of the well-studied prime (or Gruenberg-Kegel) graphs. In this paper, we establish new results concerning two key properties of $Π(G)$: recognisability and purity. We demonstrate that recognisability by the prime simplicial complex is strictly stronger than recognisability by the prime graph. Notably, we present the first known example of a group that is recognisable by its prime simplicial complex and spectrum, but not by its prime graph, and is not a direct product of two isomorphic simple groups. Furthermore, we classify groups with pure prime simplicial complexes (i.e., all maximal simplices have the same size) across several infinite families of finite simple groups. We also provide a partial classification for non-abelian finite simple groups whose prime simplicial complex has maximal simplices of size at most 2.
Low complexity binary words avoiding $(5/2)^+$-powers
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (October 20, 2025) dmtcs:15939
• View Publication
• BIB
Rote words are infinite words that contain $2n$ factors of length $n$ for every $n \geq 1$. Shallit and Shur, as well as Ollinger and Shallit, showed that there are Rote words that avoid $(5/2)^+$-powers and that this is best possible. In this note we give a structure theorem for the Rote words that avoid $(5/2)^+$-powers, confirming a conjecture of Ollinger and Shallit.
Rational Exponents for General Graphs
A rational number $r$ is a \textbf{realizable exponent} for a graph $H$ if there exists a finite family of graphs $\mathcal{F}$ such that $\mathrm{ex}(n,H,\mathcal{F})=Θ(n^r)$, where $\mathrm{ex}(n,H,\mathcal{F})$ denotes the maximum number of copies of $H$ that an $n$-vertex $\mathcal{F}$-free graph can have. Results for realizable exponents are currently known only when $H$ is either a star or a clique, with the full resolution of the $H=K_2$ case being a major breakthrough of Bukh and Conlon.
In this paper, we establish the first set of results for realizable exponents which hold for arbitrary graphs $H$ by showing that for any graph $H$ with maximum degree $Δ\ge 1$, every rational in the interval $\left[v(H)-\frac{e(H)}{2Δ^2},\ v(H)\right]$ is realizable for $H$. We also prove a ``stability'' result for generalized Turán numbers of trees which implies that if $T\ne K_2$ is a tree with $\ell$ leaves, then $T$ has no realizable exponents in $[0,\ell]\setminus \mathbb{Z}$. Our proof of this latter result uses a new variant of the classical Helly theorem for trees, which may be of independent interest.
On Gyárfás' Path-Colour Problem
In their 1997 paper titled ``Fruit Salad", Gyárfás posed the following conjecture: there exists a constant $k$ such that if each path of a graph spans a $3$-colourable subgraph, then the graph is $k$-colourable. It is noted that $k=4$ might suffice. Let $r(G)$ be the maximum chromatic number of any subgraph $H$ of $G$ where $H$ is spanned by a path. The only progress on this conjecture comes from Randerath and Schiermeyer in 2002, who proved that if $G$ is an $n$ vertex graph, then $χ(G) \leq r(G)\log_{\frac{8}{7}}(n)$.
We prove that for all natural numbers $r$, there exists a graph $G$ with $r(G)\leq r$ and $χ(G)\geq \lfloor\frac{3r}{2}\rfloor -1$. Hence, for all constants $k$ there exists a graph with $χ- r > k$. Our proof is constructive.
We also study this problem in graphs with a forbidden induced subgraph. We show that if $G$ is $K_{1,t}$-free, for $t\geq 4$, then $χ(G) \leq (t-1)(r(G)+\binom{t-1}{2}-3)$. If $G$ is claw-free, then we prove $χ(G) \leq 2r(G)$. Additionally, the graphs $G$ where every induced subgraph $G'$ of $G$ satisfy $χ(G') = r(G')$ are considered. We call such graphs path-perfect, as this class generalizes perfect graphs. We prove that if $H$ is a forest with at most $4$ vertices other than the claw, then every $H$-free graph $G$ has $χ(G) \leq r(G)+1$. We also prove that if $H$ is additionally not isomorphic to $2K_2$ or $K_2+2K_1$, then all $H$-free graphs are path-perfect.
The longest increasing subsequence of Brownian separable permutons
We establish a scaling limit result for the length $\operatorname{LIS}(σ_n)$ of the longest increasing subsequence of a permutation $σ_n$ of size $n$ sampled from the Brownian separable permuton $\boldsymbolμ_p$ of parameter $p\in(0,1)$, which is the universal limit of pattern-avoiding permutations. Specifically, we prove that \[\frac{\operatorname{LIS}(σ_n)}{n^α}\;\underset{n\to\infty}{\overset{\mathrm{a.s.}}{\longrightarrow}}\; X,\] where $α=α(p)$ is the unique solution in the interval $(1/2,1)$ to the equation \[\frac{1}{4^{\frac{1}{2α}}\sqrtπ}\,\frac{Γ\big(\tfrac{1}{2}-\tfrac{1}{2α}\big)}{Γ\big(1-\tfrac{1}{2α}\big)}=\frac{p}{p-1},\] and $X=X(p)$ is a non-deterministic and a.s. positive and finite random variable, which is a measurable function of the Brownian separable permuton. Notably, the exponent $α(p)$ is an increasing continuous function of $p$ with $α(0^+)=1/2$, $α(1^-)=1$ and $α(1/2)\approx0.815226$, which corresponds to the permuton limit of uniform separable permutations. We prove analogous results for the size of the largest clique of a graph sampled from the Brownian cographon of parameter $p\in(0,1)$.
Upper Chromatic Numbers: An Update
Published in Geombinatorics, vol. 10 no. 1 (2000), pp. 4-11
• Search Publication
This is a survey written in 2000 about upper chromatic numbers
Solution to a problem on isolation of $3$-vertex paths
The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects each $3$-vertex path of $G$, meaning that no two edges of $G-N[D]$ intersect. Zhang and Wu proved that $ι(G,P_3) \leq 2n/7$ unless $G$ is a $3$-path or a $3$-cycle or a $6$-cycle. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin proved that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G, P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. More precisely, taking $f(n)$ to be the maximum value of $ι(G,P_3)$ over all connected $n$-vertex graphs $G$ having no induced $6$-cycles, their question is whether $\limsup_{n \to\infty}\frac{f(n)}{n} = \frac{1}{4}$. We verify this by proving that $f(n) = \left \lfloor (n+1)/4 \right \rfloor$. The proof hinges on further proving that if $G$ is such a graph and $ι(G, P_3) = (n+1)/4$, then $ι(G-v, P_3) < ι(G, P_3)$ for each vertex $v$ of $G$. This new idea promises to be of further use. We also prove that if the maximum degree of such a graph $G$ is at least $5$, then $ι(G,P_3) \leq n/4$.
Yet Another Species of Forbidden-distances Chromatic Number
Published in Geombinatorics, vol. 10 no. 3 (2001), pp. 89-95
• Search Publication
This 2001 paper introduces a new type of chromatic number for point sets.
Vertex addition to a ball graph with application to reliability and area coverage in autonomous swarms
A unit ball graph consists of a set of vertices, labeled by points in Euclidean space, and edges joining all pairs of points within distance 1. These geometric graphs are used to model a variety of spatial networks, including communication networks between agents in an autonomous swarm. In such an application, vertices and/or edges of the graph may not be perfectly reliable; an agent may experience failure or a communication link rendered inoperable. With the goal of designing robust swarm formations, or unit ball graphs with high reliability (probability of connectedness), in a preliminary conference paper we provided an algorithm with cubic time complexity to determine all possible changes to a unit ball graph by repositioning a single vertex. Using this algorithm and Monte Carlo simulations, one obtains an efficient method to modify a unit ball graph by moving a single vertex to a location which maximizes the reliability. Another important consideration in many swarm missions is area coverage, yet highly reliable ball graphs often contain clusters of vertices. Here, we generalize our previous algorithm to improve area coverage as well as reliability. Our algorithm determines a location to add or move a vertex within a unit ball graph which maximizes the reliability, under the constraint that no other vertices of the graph be within some fixed distance. We compare this method of obtaining graphs with high reliability and evenly distributed area coverage to another method which uses a modified Fruchterman-Reingold algorithm for ball graphs.
Proofs Of Three Geode Conjectures
In the May 2025 issue of the Amer. Math. Monthly, Norman J. Wildberger and Dean Rubine intoduced a new kind of multi-indexed numbers, that they call `Geode numbers', obtained from the Hyper-Catalan numbers. They posed three intriguing conjectures about them, that are proved in this note.
Some sharp bounds on the average Steiner (k, l)-eccentricity for trees
In this paper we introduce some transformations for trees that do not increase the average Steiner $(k,l)$-eccentricity for all $0\leq l\leq k\leq n$. Using these transformations, we obtain some sharp bounds on the average Steiner $(k,l)$-eccentricity for trees with some certain conditions, including given nodes, given diameter, given max degree and given leaves, and get the corresponding extremal trees as well.
How Trees on Atoms of Subset Algebras Define Minimal Forests and Their Growth
A complete description is given of how minimal trees on atoms of the algebra of subsets $\mathfrak{A}_k$ generated by minimal spanning $k$-component forests of a weighted digraph $V$ determine the form of these forests and how forests grow with increasing number of arcs (that is with a decrease in the number of trees). Precise bounds are established on what can be extracted about the tree structure of the original graph if the minimal trees on the atoms of a single algebra $\mathfrak{A}_k$ are known, and also what minimum spanning forests with fewer components can be constructed based on this, and what exactly additional information is required to determine minimum spanning forests consisting of even fewer components.
A unified approach to total irregular labeling
We present a unified approach to compute the total vertex irregularity strength (tvs) of various graphs, employing a novel technique recently proposed by Barra et al. For graphs such as cycles, paths, prisms, wheels, complete graphs, helm graphs, friendship graphs, and $K_{n,n}$ , we offer simplified and unified proofs of their previously established tvs values. Furthermore, we resolve an open problem by determining the tvs for simple 2-regular graphs.
Reducible Iterated Graph Systems: multiscale-freeness and multifractals
Iterated Graph Systems (IGS) aims to transplant ideas from fractal geometry into graph theory. Building on this framework, we extend Edge IGS from the primitive to the reducible setting. Within this broader context, we formulate rigorous definitions of multifractality and multiscale-freeness for graph fractals, and we establish conditions that are equivalent to the occurrence of these two phenomena. We further determine the corresponding fractal and degree spectra, proving that both are finite and discrete. These results complete the foundational theory of Edge IGS by filling the gap left by the primitive case studied in [1,2].
Large grid subsets without many cospherical points
Motivated by intuitions from projective algebraic geometry, we provide a novel construction of subsets of the $d$-dimensional grid $[n]^d$ of size $n - o(n)$ with no $d + 2$ points on a sphere or a hyperplane. For $d = 2$, this improves the previously best known lower bound of $n/4$ toward the Erdős--Purdy problem due to Thiele in 1995. For $d \ge 3$, this improves the recent $Ω\bigl( n^{\frac{3}{d+1}-o(1)} \bigr)$ bound due to Suk and White, confirming their conjectured $Ω\bigl( n^{\frac{d}{d+1}} \bigr)$ bound in a strong sense, and asymptotically resolves the generalized Erdős--Purdy problem posed by Brass, Moser, and Pach.
Moduli Theory of the $r$-Braid Arrangement
We describe a family of hyperplane arrangements depending on a positive integer parameter $r$, which we refer to as the $r$-braid arrangements, and which can be viewed as a generalization of the classical braid arrangement. The wonderful compactification of the braid arrangement (with respect to its minimal building set) is well-known to yield the moduli space $\overline{\mathcal{M}}_{0,n}$, and, in this work, we generalize this result, constructing a moduli space $\overline{\mathcal{M}}^r_{n}$ of certain genus-zero curves with an order-$r$ involution that we identify with the corresponding wonderful compactification of the $r$-braid arrangement. The resulting space is a variant of the previously studied moduli space $\overline{\mathcal{L}}^r_n$ [arXiv:2104.06526], related via a change of weights on the markings.
Detection and Reconstruction of a Random Hypergraph from Noisy Graph Projection
For a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included i.i.d.\ so that the average degree in the hypergraph is $n^{δ+o(1)}$, the projection of such a hypergraph is a graph on the same $n$ vertices where an edge connects two vertices if and only if they belong to a same hyperedge. In this work, we study the inference problem where the observation is a \emph{noisy} version of the graph projection where each edge in the projection is kept with probability $p=n^{-1+α+o(1)}$ and each edge not in the projection is added with probability $q=n^{-1+β+o(1)}$. For all constant $d$, we establish sharp thresholds for both detection (distinguishing the noisy projection from an Erdős-Rényi random graph with edge density $q$) and reconstruction (estimating the original hypergraph). Notably, our results reveal a \emph{detection-reconstruction gap} phenomenon in this problem. Our work also answers a problem raised in \cite{BGPY25+}.