Showing 20 papers (Total: 83342 papers, 48132 authors in database)
The nilpotent graph of a finite0-dimensional Lie algebra
Let $L$ be a finite-dimensional Lie algebra over a field $F$. In This paper we introduce the \emph{nilpotent graph} $Γ_\mathfrak{N}(L)$ as the graph whose vertices are the elements of $L \setminus \nil(L)$, where \[\nil(L) = \{x \in L \mid \langle x, y \rangle \text{ is nilpotent for all } y \in L\},\] and where two vertices $x, y$ are adjacent if the Lie subalgebra they generate is nilpotent. We give some characterizations of $\nil(L)$ and its connection with the hypercenter $Z^*(L)$, for example, they are equal when $F$ has characteristic zero. We prove that the nilpotentizer behaves well under direct sums, allowing a decomposition of $Γ_\mathfrak{N}(L)$ between components. The paper also investigates the structural and combinatorial properties of $Γ_\mathfrak{N}(L)$, including the conditions under which the graph is connected. We characterize the existence of strongly self-centralizing subalgebras in relation to connectivity and vertex isolation. Explicit computations are carried out for the algebra $\mathfrak{t}(2,\mathbb{F}_q)$, where $Γ_\mathfrak{N}(L)$ decomposes into $q+1$ components, each of size $q(q-1)$, forming a $(q^2-q-1)$-regular graph. We conclude with algorithms for constructing $Γ_\mathfrak{N}(L)$ in SageMath, and pose open problems concerning bipartiteness, regularity, and structural implications in higher dimensions over finite fields.
Complete polyhedral description of chemical graphs of maximum degree at most 3
Published
• View Publication
• BIB
Chemical graphs are simple undirected connected graphs, where vertices represent atoms in a molecule and edges represent chemical bonds. A degree-based topological index is a molecular descriptor used to study specific physicochemical properties of molecules. Such an index is computed from the sum of the weights of the edges of a chemical graph, each edge having a weight defined by a formula that depends only on the degrees of its endpoints. Given any degree-based topological index and given two integers $n$ and $m$, we are interested in determining chemical graphs of order $n$ and size $m$ that maximize or minimize the index. Focusing on chemical graphs with maximum degree at most 3, we show that this reduces to determining the extreme points of a polytope that contains at most 10 facets. We also show that the number of extreme points is at most 16, which means that for any given $n$ and $m$, there are very few different classes of extremal graphs, independently of the chosen degree-based topological index.
Correlator Polytopes
Published in Phys. Rev. D 113, 025005 (2026)
• View Publication
• BIB
Recently, "cosmohedra" have been introduced as polytopes underlying the cosmological wavefunction for conformally coupled Tr($Φ^3$) theory in FRW cosmologies, generalizing associahedra for flat space scattering amplitudes. In this letter we show that correlation functions are also directly captured by a new polytope - the "Correlatron". The combinatorics of correlation functions is an interesting blend of flat space scattering amplitudes and wavefunctions. This is reflected in the correlatron geometry, which is a one-higher dimensional polytope sandwiched between cosmohedron and associahedron facets. We provide an explicit embedding for the correlatron, which is a natural extension of the "shaving" picture for cosmohedra to one higher dimension. As a byproduct, we also define "graph correlahedra" as polytopes for the contribution to correlators from any fixed graph. We show how the canonical form of these polytopes directly computes the graph correlator, without the power of two weights seen in previous geometric formulations. Finally, we give a prescription for extracting the full correlator from the canonical form of the correlatron.
New upper bounds on the order of mixed cages of girth 6
Published
• View Publication
• BIB
A $[z,r;g]$-mixed cage is a mixed graph of minimum order such that each vertex has $z$ in-arcs, $z$ out-arcs, $r$ edges, and it has girth $g$, and the minimum order for $[z,r;g]$-mixed graphs is denoted by $n[z,r;g]$. In this paper, we present an infinite family of mixed graphs with girth $6$, that improves, in some cases, the families that we give in G. Araujo-Pardo and L. Mendoza-Cadena. \textit{On Mixed Cages of girth 6}, arXiv:2401.14768v2. In particular, if $q$ is an even prime power we construct a family of graphs that satisfies $n[\frac{q}{4},q;6]\leq 4q^2-4$, and if $q$ is an odd prime power, and $\frac{q-3}{2}$ is odd then our family satisfies that $n[\frac{q-1}{4},q;6]\leq 4q^2-4$, otherwise $n[\frac{q-3}{4},q;6]\leq 4q^2-4$.
Cluster structures in mixed Grassmanianns
Generalizing the results by Fomin-Pylyavskyy and Carde, we construct a family of natural cluster structures in the coordinate ring of a mixed Grassmannian, the configuration space of tuples of several vectors and covectors in a finite-dimensional complex vector space. We describe and explore these cluster structures using the machinery of weaves introduced by Casals and Zaslow.
All Ramsey critical graphs for a large tree versus $tK_{m}$
Let $H, H_{1}$ and $H_{2}$ be graphs, and let $H\rightarrow (H_{1}, H_{2})$ denote that any red-blue coloring of $E(H)$ yields a red copy of $H_{1}$ or a blue copy of $H_{2}$. The Ramsey number for $H_{1}$ versus $H_{2}$, $r(H_{1}, H_{2})$, is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, H_{2})$. The Ramsey critical graph $H$ for $H_{1}$ versus $H_{2}$ is a red-blue edge-colored $K_{N- 1}$ such that $H\not\rightarrow (H_{1}, H_{2})$, where $N= r(H_{1}, H_{2})$. In this paper, we characterize all Ramsey critical graphs for a large tree versus $tK_{m}$. As a corollary, we determine the star-critical Ramsey number for a large tree versus $tK_{m}$.
On a conjectural supercongruence involving the dual sequence $s_n(x)$
Published
• View Publication
• BIB
In 2017, motivated by a supercongruence conjectured by Kimoto and Wakayama and confirmed by Long, Osburn and Swisher, Z.-W. Sun introduced the sequence of polynomials: $$ s_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}=\sum_{k=0}^n\binom{n}{k}(-1)^k\binom{x}{k}\binom{-1-x}{k} $$ and investigated its congruence properties. In particular, Z.-W. Sun conjectured that for any prime $p>3$ and $p$-adic integer $x\neq-1/2$ one has \begin{equation*} \sum_{n=0}^{p-1}s_n(x)^2\equiv (-1)^{\langle x\rangle_p}\frac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^3}, \end{equation*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. In this paper, we confirm this conjecture.
On polluted bootstrap percolation in Cartesian grids
Given a graph $G$ and assuming that some vertices of $G$ are infected, the $r$-neighbor bootstrap percolation rule makes an uninfected vertex $v$ infected if $v$ has at least $r$ infected neighbors. The $r$-percolation number, $m(G, r)$, of $G$ is the minimum cardinality of a set of initially infected vertices in $G$ such that after continuously performing the $r$-neighbor bootstrap percolation rule each vertex of $G$ eventually becomes infected. In this paper, we continue the study of polluted bootstrap percolation introduced and studied by Gravner and McDonald [Bootstrap percolation in a polluted environment. J.\ Stat\ Physics 87 (1997) 915--927] where in this variant some vertices are permanently in the non-infected state. We study an extremal (combinatorial) version of the bootstrap percolation problem in a polluted environment, where our main focus is on the class of grid graphs, that is, the Cartesian product $P_m \square P_n$ of two paths $P_m$ and $P_n$ on $m$ and $n$ vertices, respectively. Given a number of polluted vertices in a Cartesian grid we establish a closed formula for the minimum $2$-neighbor bootstrap percolation number of the polluted grid, and obtain a lower bound for the other extreme.
Galton-Watson processes, simple varieties of trees and Khinchin families
In this note, we introduce a unified analytic framework that connects simple varieties of trees, Bienayme-Galton-Watson processes and Khinchin families. Using Lagrange's inversion formula, we derive new coefficient-based expressions for extinction probabilities and reinterpret them as boundary phenomena tied to the domain of the inverse of the solution to Lagrange's equation. This perspective reveals an additional link between combinatorial and probabilistic models, simplifying classical arguments and yielding new results. It also leads to a computationally efficient method for simulating Galton-Watson processes via power series coefficients.
Old problem revisited: Which equilateral convex polygons tile the plane?
We present a simplified proof of a forty-year-old result concerning the tiling of the plane with equilateral convex polygons. Our approach is based on a theorem by M. Rao, who used an exhaustive computer search to confirm the completeness of the well-known list of fifteen pentagon types. Assuming the validity of Rao's result, we provide a concise and mainly geometric proof of a tiling theorem originally due to Hirschhorn and Hunt. Finally, a possible connection to quasicrystals is sketched.
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
Published in IEEE Transactions on Computational Biology and Bioinformatics 2025
• View Publication
• BIB
In this paper, we present new efficiently solvable cases of the Minimum Uncovering Branching problem, an optimization problem with applications in cancer genomics introduced by Hujdurović, Husić, Milanič, Rizzi, and Tomescu in 2018. The problem involves a family of finite sets, and the goal is to map each non-maximal set to exactly one set that contains it, minimizing the sum of uncovered elements across all sets in the family. Hujdurović et al. formulated the problem in terms of branchings of the digraph formed by the proper set inclusion relation on the input sets and studied the problem complexity based on properties of the corresponding partially ordered set, in particular, with respect to its height and width, defined respectively as the maximum cardinality of a chain and an antichain. They showed that the problem is APX-complete for instances of bounded height and that a constant-factor approximation algorithm exists for instances of bounded width, but left the exact complexity for bounded-width instances open. In this paper, we answer this question by proving that the problem is solvable in polynomial time. We derive this result by examining the structural properties of optimal solutions and reducing the problem to computing maximum matchings in bipartite graphs and maximum weight antichains in partially ordered sets. We also introduce a new polynomially computable lower bound and identify another condition for polynomial-time solvability.
Counting edges of different types in a local graph of a Grassmann graph
Let $\mathbb{F}_q$ denote a finite field with $q$ elements. Let $n,k$ denote integers with $n>2k\geq 6$. Let $V$ denote a vector space over $\mathbb{F}_{q}$ that has dimension $n$. The vertex set of the Grassmann graph $J_q(n,k)$ consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick a vertex $y$. In this paper we define three types of edges in $X$, namely type $0$, type $+$, and type $-$; for adjacent vertices $w,z$ such that $\partial(w,y)=\partial(z,y)$, the type of the edge $wz$ depends on the subspaces $w+z,w,z,w\cap z$ and their intersections with $y$. Pick a vertex $x$ such that $1<\partial(x,y)<k$. Let $Γ(x)$ denote the local graph of $x$ in $J_q(n,k)$. Our general goal is to count the number of edges in $Γ(x)$ for each type. Consider a two-vertex stabilizer $\text{Stab}(x,y)$ in $GL(V)$; it is known that the $\text{Stab}(x,y)$-action on $Γ(x)$ has five orbits. Pick two orbits $\mathcal{O},\mathcal{N}$ that are not necessarily distinct; for a given $w\in \mathcal{O}$, we find the number of vertices in $z\in \mathcal{N}$ such that the edge $wz$ has (i) type $0$, (ii) type $+$, (iii) type $-$. To find these numbers, we use many results that involve a projective geometry $P_q(n)$, which is the set of all subspaces of $V$.
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)$.