Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The persistent homology of the Linial-Meshulam process
For a fixed dimension $k\ge 1$, let us consider the randomly growing simplical complex on the vertex set $\{1,2,\dots,n\}$ defined as follows: We start with the empty complex, and for each $k+1$-element subset $σ$ of $\{1,2,\dots,n\}$, we add $σ$ and all of its subsets to the complex at some random time $t_σ$, where $(t_σ)$ are i.i.d. uniform random elements of $[0,n]$. As the complex evolves, new $k-1$-dimensional cycles are born and then at a later time they die, that is, they get filled in. The notion of persistence diagrams, which is a standard tool in topological data analysis, provides a way to record these birth and death times. In this paper, we understand the asymptotic behavior of the persistence diagrams of the above defined randomly evolving complexes as $n$ goes to infinity.
As the single time marginals of the above process are variants of the Linial-Meshulam complex, our results can be viewed as extensions of the results of Linial and Peled on the Betti numbers of the Linial-Meshulam complex.
Our proof relies on the notion of local weak convergence of graphs and a generalization of the results of Bordenave, Lelarge and Salez on the rank of sparse random matrices.
Explicit Formulas and Combinatorial Interpretation of Triangular Arrays
Using the lattice $\mathbb{N}\times\mathbb{N}$, we derive a general formula for the sequences $\big(T(n,k)\big)_{n,k\in \mathbb{N}}$ satysfying the recurence relation of the form:
\begin{equation*}
T(n,k)=a_{n,k}T(n-1,k)+b_{n,k}T(n-1,k-1).
\end{equation*}
We apply this result to the case where $a_{n,k}=a_0+a_1k+a_2n$ and $b_{n,k}=b_0+b_1k+b_2n$.
This leads to explicit expressions for general $T(n,k)$, with simpler formulas arising in the case $b_2=0$, as well as in the fully general case, using Faà di Bruno's type expression. In particular, we will analyze the case $b_{n,k}=1$, which frequently occurs in enumerative combinatorics. Applications include explicit formulas for the $r$-Eulerian numbers. We will write also the case where $b_{n,k}=1$, as a matrix of passage.
\textbf{Keywords:} triangular recurrence, weighted paths, $r$-Eulerian numbers, combinatorial interpretation.
The noncommutative geode
We investigate the geode and some of its generalizations from the point of view on noncommutative symmetric functions.
A Generalized Grassmann-Pfaffian Framework for Monomer-Dimer and Spanning Trees
We develop a unified framework for Berezin integrals over Grassmann variables that establishes master identities for exponential quadratic fermionic forms and linear fermionic forms coupled to both bosonic and fermionic sources. The construction is rigorous for both real and complex fermions in arbitrary dimensions and remains well-defined even when the underlying matrices are singular. Our main mathematical results appear in two master theorems. Theorem 12 provides a comprehensive identity for Berezin integrals over Grassmann variables for real fermions with mixed bosonic-fermionic sources, applicable to any antisymmetric matrix. Its complex analogue, Theorem 13, yields corresponding determinant-based representations. Together, they serve as generating functionals for a wide range of combinatorial and physical models. Key applications include the dimer, monomer-dimer, matching, and almost-matching problems. We revisit the Kasteleyn theorem for planar dimers using Berezin integrals. We construct monomer-dimer systems through the \textit{Monobisyzexant (Mbsz)} function, which generalizes the Hafnian to incorporate monomer contributions and admits a Pfaffian-sum representation for planar graphs (Theorem 5); and practical techniques for handling singular matrices via unitary block decomposition (Theorem 6) and spectral analysis. We further present explicit mappings between Hafnians and Pfaffians and their submatrix generalizations (Hafnianinhos and Pfaffianinhos); an alternative source-ordered Berezin integral representation for spanning trees and forests using complex bosonic sources that regularizes the Laplacian zero mode (Theorem 10). Overall, this work offers a flexible toolkit for the theoretical analysis and computational implementation of graph-based models and lattice field theories using Berezin integrals over Grassmann variables .
Extremality in semidistributive lattices
We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with necessary and sufficient conditions on the doubling steps in the construction of congruence normal lattices that ensure left modularity or extremality. We prove that a congruence uniform lattice is shellable if and only if it is extremal. We answer a question of Barnard by constructing a counterexample showing that an induced subcomplex of a canonical join complex need not itself be such a complex. Finally, we show that the order dimension of a semidistributive extremal lattice equals the chromatic number of the complement of its Galois graph, generalizing a theorem of Dilworth for distributive lattices. As an application, we determine the dimensions of generalizations of the Hochschild lattice, of the parabolic Tamari lattice, and of some lattices of torsion classes.
Quantitative Frameproof Codes and Hypergraphs
Frameproof codes are a class of secure codes introduced by Boneh and Shaw in the context of digital fingerprinting, and have been widely studied from a combinatorial point of view. In this paper, we study a quantitative extension of frameproof codes and hypergraphs, referred to as {\it quantitative frameproof codes and hypergraphs}. We give asymptotically optimal bounds on the maximum sizes of these structures and determine their exact sizes for a broad range of parameters. In particular, we introduce a generalized version of the Erdős matching number in our proof and derive relevant estimates for it.
Additivity of Crossing Number via Restricted Reidemeister Moves
We define a set of restricted Reidemeister moves and show that if $K$ is obtained from $K_0\,\#\,K_1$ using those moves, then the crossing number of $K$ is at least $c(K_0)+c(K_1)$. We also explore topological interpretations of this result.
Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
We investigate machine learning approaches to approximating the \emph{domination number} of graphs, the minimum size of a dominating set. Exact computation of this parameter is NP-hard, restricting classical methods to small instances. We compare two neural paradigms: Convolutional Neural Networks (CNNs), which operate on adjacency matrix representations, and Graph Neural Networks (GNNs), which learn directly from graph structure through message passing. Across 2,000 random graphs with up to 64 vertices, GNNs achieve markedly higher accuracy ($R^2=0.987$, MAE $=0.372$) than CNNs ($R^2=0.955$, MAE $=0.500$). Both models offer substantial speedups over exact solvers, with GNNs delivering more than $200\times$ acceleration while retaining near-perfect fidelity. Our results position GNNs as a practical surrogate for combinatorial graph invariants, with implications for scalable graph optimization and mathematical discovery.
A new proof of an Eğecioğlu--Remmel inverse Kostka matrix problem via a Garsia--Milne involution involving Sym and NSym
Eğecioğlu and Remmel provide a combinatorial proof (using special rim hook tableaux) that the product of the Kostka matrix $K$ and its inverse $K^{-1}$ equals the identity matrix $I$. They then pose the problem of proving the reverse identity $K^{-1}K =I$ combinatorially. Sagan and Lee prove a special case of this identity using overlapping special rim hook tableaux. Loehr and Mendes provide a full proof using bijective matrix algebra that relies on the Eğecioğlu--Remmel map. In this article, we solve the problem in full generality independent of the Eğecioğlu--Remmel bijection. To do this, we start by proving NSym versions of both Kostka matrix identities using sign-reversing involutions involving the tunnel hook coverings recently introduced by the first and third authors. Then we modify our sign-reversing involutions to reduce to Sym. Finally, we show that our bijection is different than the Loehr and Mendes result by constructing an injective map between special rim tableaux and the symmetric group $S_n.$
Efficient Algorithms and Implementations for Extracting Maximum-Size $(k,\ell)$-Sparse Subgraphs
A multigraph $G = (V, E)$ is $(k, \ell)$-sparse if every subset $X \subseteq V$ induces at most $\max\{k|X| - \ell, 0\}$ edges. Finding a maximum-size $(k, \ell)$-sparse subgraph is a classical problem in rigidity theory and combinatorial optimization, with known polynomial-time algorithms. This paper presents a highly efficient and flexible implementation of an augmenting path method, enhanced with a range of powerful practical heuristics that significantly reduce running time while preserving optimality. These heuristics $\unicode{x2013}$ including edge-ordering, node-ordering, two-phase strategies, and pseudoforest-based initialization $\unicode{x2013}$ steer the algorithm toward accepting more edges early in the execution and avoiding costly augmentations. A comprehensive experimental evaluation on both synthetic and real-world graphs demonstrates that our implementation outperforms existing tools by several orders of magnitude. We also propose an asymptotically faster algorithm for extracting an inclusion-wise maximal $(k,2k)$-sparse subgraph with the sparsity condition required only for node sets of size at least three, which is particularly relevant to 3D rigidity when $k = 3$. We provide a carefully engineered implementation, which is publicly available online and is proposed for inclusion in the LEMON graph library.
Generating the symmetric group by three prefix reversals
The cubic pancake graphs are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by three prefix reversals. There is the following open problem: characterize all the sets of three prefix reversals that generate $\mathrm{Sym}_n$. We present a partial answer to this problem, in particular, we characterize all generating sets of three elements that contain at least one of the prefix reversals $r_2, r_3, r_{n-2}$, and $r_{n-1}$. We also give some computational results relating to the diameter and the girth of some cubic pancake graphs.
Constancy of an Infinite Cyclotomic Product via Ramanujan Sums
We show that the infinite product defined by \[ P(z) = -\prod_{n=1}^{\infty} (Φ_n(z))^{-1/n}, \] where \( Φ_n(z) \) is the \( n \)-th cyclotomic polynomial, is constant inside the unit disk. The proof translates a result of Ramanujan on Ramanujan sums, equivalent to the prime number theorem, to the setting of infinite products. We also show that similar identities proved by Ramanujan lead to additional results on infinite cyclotomic products.
Triple systems with bounded matching number: some constructions and exact Turán number
We study the Turán numbers of $3$-graphs avoiding $3$-graphs $F$ and $M_{s+1}^3$, a matching of size $s+1$. We disprove a conjecture of Gerbner, Tompkins, and Zhou [European Journal of Combinatorics, 2025, 127:104155] on $\ex(n,\{F,M^3_{s+1}\})$ for $3$-graph $F$ with $χ(F)=2$ by constructing infinitely many counterexamples. For this family, we determine the asymptotic Turán number via edge-colored Turán problem. In addition, for the $3$-graph $F_{3,2}$ with edge set $\{123,145,245,345\}$, we determine the exact value of $\ex(n,\{F_{3,2}, M_{s+1}^3\})$ for every integers $s$ and all $n \ge 12s^2$.
Distance spectral radius for a graph to be k-critical with respect to [1,b]-odd factor
Let $G$ be a connected graph, and let $b$ and $k$ be two positive integers with $b\equiv1$ (mod 2). A $[1,b]$-odd factor of $G$ is a spanning subgraph $F$ of $G$ with $d_F(v)\equiv1$ (mod 2) and $1\leq d_F(v)\leq b$ for every $v\in V(G)$. A graph $G$ is called $k$-critical with respect to $[1,b]$-odd factor if $G-X$ contains a $[1,b]$-odd factor for every $X\subseteq V(G)$ with $|X|=k$. Let $\mathcal{D}(G)$ denote the distance matrix of $G$. The largest eigenvalue of $\mathcal{D}(G)$, denoted by $μ(G)$, is called the distance spectral radius of $G$. In this paper, we prove an upper bound for $μ(G)$ in a connected graph $G$ which guarantees $G$ to be $k$-critical with respect to $[1,b]$-odd factor.
Affine Jacobi-Trudi formulas and $q,t$-Rogers-Ramanujan identities
We conjecture affine or Hall-Littlewood analogues of the dual Jacobi-Trudi formulas for orthogonal and symplectic Schur functions indexed by rectangular partitions of maximal height. These conjectures are then used to derive $t$-analogues of many known Rogers-Ramanujan identities for the characters of standard modules of affine Lie algebras. This includes $t$-analogues of the classical Rogers-Ramanujan identities, (some of) the Andrews-Gordon identities and the $\mathrm{C}_n^{(1)}$, $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+2}^{(2)}$ GOW identities. We also prove an affine analogue of the dual Jacobi-Trudi formula for Schur functions indexed by rectangular partitions of arbitrary height.
Multidimensional quadrangle condition and cuboctahedra in latin hypercubes
The well-known quadrangle criterion states that a latin square is istopic to the Cayley table of a group if and only if all quadrangles spanned by the same triple of symbols coincide in the fourth symbol. Gowers and Long (2020) reformulated it in the following way: the Cayley tables of the most associative quasigroups have the maximum number of octahedra.
In the present paper, we state the multidimensional quadrangle condition for $d$-dimensional latin hypercubes in terms of the reconstruction of subcubes of order $2$ from a bundle of $d+1$ entries and in terms of the maximal number of cuboctahedra. In particular, we show that the must associative $d$-ary quasigroups have Cayley tables such that every $2$-dimensional plane is isotopic to a latin square principally isotopic to the Cayley table of a group. We also estimate the number of cuboctahedra in latin squares and hypercubes from below and provide some computational results.
Exact results and the structure of extremal families for the Duke--Erdős forbidden sunflower problem
In 1977, Duke and Erdős asked the following general question: What is the largest size of a family $\mathtt{F} \subset \binom{[n]}{k}$ that does not contain a sunflower with $s$ petals and core of size exactly $t - 1$? This problem is closely related to the famous Erdős--Rado sunflower problem of determining the size $φ(s,t)$ of the largest $t$-uniform family with no $s$-sunflower. In this paper, we answer this question exactly for $t=2$, odd $s$ and $k\ge 5$, provided $n$ is large enough. Previously, the only know exact extremal result on this problem was due to Chung and Frankl from 1987.
One of the important ingredients for the proof that we obtained is a stability result for the Duke--Erdős problem, which was previously not known, mostly due to our lack of understanding of the behaviour of $φ(s,t)$.
For large $k$ and $n$ we in fact manage to reduce the Duke--Erdős problem to an Erdős--Rado-like problem which depends on $t$ and $s$ only. In particular, we get a good understanding of the structure of extremal families for the Duke--Erdős problem in terms of the Erdős--Rado problem. Previously, a much looser variant of this connection (only in terms of the sizes, rather than the structure, of respective extremal families) was established in a seminal work of Frankl and Füredi from 1987.
Splitting vertices of bipartite graphs preserves de Bruijn-Erdős property
In this note, we prove that every graph obtained from a bipartite graph by iteratively splitting vertices into two adjacent twins has the de Bruijn-Erdős property.
Independent sets and colorings of $K_{t,t,t}$-free graphs
Alon, Krivelevich, and Sudakov conjectured in 1999 that every $F$-free graph of maximum degree at most $Δ$ has chromatic number $O(Δ/ \log Δ)$. This was previously known only for almost bipartite graphs, that is, for subgraphs of $K_{1,t,t}$ (verified by Alon, Krivelevich, and Sudakov themselves), while most recent results were concerned with improving the leading constant factor in the case where $F$ is almost bipartite. We prove this conjecture for all $3$-colorable graphs $F$, i.e. subgraphs of $K_{t,t,t}$, representing the first progress toward the conjecture since it was posed.
A closely related conjecture of Ajtai, Erdős, Komlós, and Szemerédi from 1981 asserts that for every graph $F$, every $n$-vertex $F$-free graph of average degree $d$ contains an independent set of size $Ω(n \log d / d)$. We prove this conjecture in a strong form for all 3-colorable graphs $F$. More precisely, we show that every $n$-vertex $K_{t,t,t}$-free graph of average degree $d$ contains an independent set of size at least $(1 - o(1)) n \log d / d$, matching Shearer's celebrated bound for triangle-free graphs (the case $t = 1$) and thereby yielding a substantial strengthening of it. Our proof combines a new variant of the Rödl nibble method for constructing independent sets with a Turán-type result on $K_{t,t,t}$-free graphs.
A super-multiplicative inequality for the number of finite unlabeled arbitrary and $T_0$ topologies
Let $n$ be a nonnegative integer, and $f(n)$ the number of unlabeled finite topologies on $n$ points. We prove that $f(n+m) \geq f(n) f(m)$ both for the labeled and unlabeled cases. Moreover, we prove a similar inequality for labeled and unlabeled $T_0$ topologies.