math.CO ↗ arXiv
7121 papers in this category
Subspace variations of the weighted skew Bollobás theorem
Let $V$ be a finite-dimensional real vector space. A collection $\mathcal{P} = \{(A_i,B_i)\}_{i=1}^m$ of pairs of subspaces of $V$ is called a skew Bollobás system if $\dim(A_i\cap B_i)=0$ for each $i\in [m]$ and $\dim(A_i\cap B_j)>0$ for all $1\leq i<j \leq m$. Assume that $V = V^{(1)}\oplus \cdots \oplus V^{(r)}$ and $\mathcal{P}= \{(A_i,B_i)\}_{i=1}^m$ is a skew Bollobás system of subspaces of $V$ satisfying $ A_i = \bigoplus_{k=1}^r (A_i \cap V^{(k)})$ and $ B_i = \bigoplus_{k=1}^r (B_i \cap V^{(k)})$ for each $i\in [m]$. Denote $a_{i,k} = \dim(A_i \cap V^{(k)})$ and $b_{i,k} = \dim(B_i \cap V^{(k)})$. Suppose that $a_{1,k} \le \cdots \le a_{m,k}$ and $b_{1,k} \ge \cdots \ge b_{m,k}$ for each $k\in [r]$. Using the exterior algebraic method developed by Lovász and Scott--Wilmer, we prove that $$ \sum_{i=1}^{m} \frac{1}{\prod_{k=1}^{r} \binom{a_{i,k}+b_{i,k}}{a_{i,k}}} \le 1 . $$ This generalizes the results of Alon (JCTA, 1985) and Scott--Wilmer (JLMS, 2021) to multipart weighted setting. Secondly, we solve a conjecture of Hegedüs (AJC, 2015) concerning projective subspaces, showing that any skew Bollobás system of projective subspaces in an $n$-dimensional projective space contains at most $2^{n+1} - 2$ pairs. Thirdly, we prove that if $\mathcal{P}= \{(A_i,B_i)\}_{i=1}^m$ is a skew Bollobás system of subspaces of $V$ with $a_i=\dim (A_i)$ and $b_i=\dim (B_i)$, then $$ \sum_{i=1}^m \frac{1}{(a_i+ b_i+1)\binom{a_i+b_i}{a_i}} \le 1. $$ This gives an extension to the subspace setting of the results of Hegedüs--Frankl (EUJC, 2024) and Yue (DM, 2026). Finally, we extend the above inequality to systems of $d$-tuples of subspaces, giving a unified bound that implies the corresponding results for $d$-tuples of subsets.
Autocatalytic Cores in Reaction Networks with Explicit Catalysis
Autocatalytic cores are minimal units in reaction networks (RNs) responsible for the emergence of autocatalysis. In the absence of explicit catalysis, i.e., when an entity appears both as reactant and product in the same reaction, they are known to be encoded by square submatrices of the stoichiometric matrix whose columns can be reordered as an irreducible child-selection (CS) matrix with negative diagonal and nonnegative off-diagonal (Metzler matrix). In the bipartite Koenig graph representing the RN, these CS matrices can be identified by fluffles, i.e., strong blocks with an identical number of entity and reaction vertices that have out- and in-degree 1, respectively. Here, we adapt the concepts derived for autocatalytic cores to RNs with explicitly catalyzed reactions, which emerge as digons, i.e., elementary circuits in the Koenig graph of length 2. In this setting, we confirm that an inspection of the stoichiometric matrix alone is inconclusive concerning the presence and number of autocatalytic cores, requiring a more delicate algebraic analysis. Nevertheless, this generalization preserves both the graph and the matrix representation as fluffles and irreducible Metzler CS matrices, respectively, although the diagonal is no longer necessarily strictly negative. We introduce the notion of hard autocatalytic cores, i.e. those that do not yield other autocatalytic cores upon inclusion of all reverse reactions. Finally, we consider the case of unit stoichiometries and show that each autocatalytic core can be constructed as the superposition of at most 2 elementary circuits. In particular, autocatalytic cores involving explicitly catalyzed reactions always contain a spanning subgraph consisting of a single elementary circuit together with a simple entity-to-reaction chord. Moreover, we identify the essentially unique example for which at least two circuits are required.
Packing arithmetic progressions
Let $\mathcal{F}=\{A_1,A_2,\ldots,A_k\}$ be a collection of finite arithmetic progressions, where each $A_d$ is an initial segment of the set $D_d=\{d,2d,3d,\ldots\}$ of consecutive multiples of a positive integer $d$. Let $m(\mathcal{F})$ denote the minimum length of an interval containing pairwise disjoint \emph{shifted} copies of all members of the family $\mathcal{F}$.
We study this parameter in the following two cases: for a fixed positive integer $n$, (1) each progression in $\mathcal{F}$ has the form $A_d=D_d\cap\{1,2,\ldots,n\}$, and (2) all progressions $A_d$ of $\mathcal{F}$ have the same size $n$, that is, $A_d=D_d\cap \{1,2,\ldots, nd\}$. We in particular derive the following asymptotic estimates. In case (1), when $k=n$, we get $m(\mathcal{F})=Θ(n^{3/2}/\ln n)$. In case (2), when $k=n$, we get $m(\mathcal{F})=Θ(n^3/\ln n)$, while if $k>k_0(n)$, then $m(\mathcal{F}) < 3kn$. In both cases we additionally determine $m(\mathcal{F})$ asymptotically or settle its order of magnitude for all $k<n$.
Reeb spaces of smooth functions associated to globally similar graphs of smooth functions
Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead.
Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.
A classification of rotary embeddings of multicycles
We classify rotary (orientably-regular) maps whose underlying graphs are multicycles. For the multicycle $\mathrm{C}_n^{(λ)}$ of length $n$ and edge-multiplicity $λ$, we determine all rotary embeddings for $n\geqslant 3$ and $λ\geqslant 2$. When $n$ is odd, there is a unique isomorphism class; when $n$ is even, the embeddings form a family $\mathcal{M}_n^{(λ)}(i,j)$ parameterized by integer pairs $(i,j)$ satisfying explicit congruence conditions.
Combinatorial relations among restricted and half Eulerian polynomials of types $A$, $B$, and $D$
In this paper, we study relations among several types of Eulerian polynomials from a combinatorial viewpoint. We establish an identity between the restricted Eulerian polynomials of types $A$ and $B$. As an application, we present a bijective proof of a new identity involving the Eulerian polynomials of type $A$ and type $B$, solving a recent open problem proposed by Zhang. Additionally, we derive an identity between the half Eulerian polynomials of type $B$ and type $D$. Using this identity, we further obtain another relation about the Eulerian polynomials of type $A$ and type $B$, as well as a recursive formula connecting the restricted Eulerian polynomials of type $D$ and Eulerian polynomials of types $A$ and $B$.
Acyclic sets and colorings in digraphs under restrictions on degrees and cycle lengths
Published
• View Publication
• BIB
Given a digraph $D$, we denote by $\vecα(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vecχ(D)$ the minimum number of acyclic sets into which $V(D)$ can be partitioned. In this paper, we study $\vecα(D)$ and $\vecχ(D)$ from various perspectives, including restrictions on degrees and cycle lengths. A main result is that, if $D$ is a random $r$-regular digon-free simple digraph of order $n$, then $\vecα(D) = Θ(n \log r /r)$ with high probability. This corresponds to a result of Spencer and Subramanian on the Erdős--Rényi random digraph model. Along the way, we derive some related results and propose some conjectures. An example of this is an analogue of the theorem of Bondy which bounds the chromatic number of a graph by the circumference of any strong orientation.
Antimagic labelling of graphs with maximum degree $Δ(G) = n - 4$
An antimagic labelling of a graph $G = (V,E)$ is a bijection from $E$ to $\{1,2, \ldots, |E|\}$, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is said to be antimagic if it has an antimagic labelling. It has been proven that graphs $G$ with $Δ(G) \geq n - 3$ are antimagic, where $Δ(G)$ is the maximum degree of a vertex in $G$ and $n = |V|$. In this article, we extend this result to graphs with $Δ(G) = n - 4$, provided that $|E| \geq 7n$.
Unimodality of independence polynomials of two family of trees
In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of trees are unimodal. Subsequently, many researchers proposed strengthening this conjecture to log-concavity. In 2023, Kadrawi, Levit, Yosef, and Mizrachi discovered independence polynomials of trees of order 26 that are not log-concave, which led them to construct two infinite families of such polynomials, denoted by $T_{3,m,n}$ and $T_{3,m,n}^*$. In this paper, we show that these two infinite families also satisfy the unimodal conjecture raised by Alavi, Malde, Schwenk, and Erdős.
Concentration of the largest induced tree size of $G_{n,p}$ around the standard expectation threshold
Let $T(G)$ be the size of the largest induced tree of $G$, and let $G_{n,p}$ be the binomial random graph. Kamaldinov, Skorkin, and Zhukovskii proved that $T(G_{n,p})$ equals one of two consecutive values with high probability if $p$ is constant, and more recently, Oropeza extended this result to include all vanishing $p$ such that $p > n^{-\frac{e-2}{3e-2} + ε}$, where $e$ is Euler's constant. We further extend this result to all vanishing $p$ such that $p \gg n^{-1/2} \ln^{3/2} n$, and furthermore, we show that, for $p$ such that $n^{-1} \ll p \ll n^{-1/2}, \ T(G_{n,p})$ cannot be concentrated at the standard expectation threshold.
Resolving the Kohayakawa-Kreuter Conjecture for Families
A graph $G$ is $(a,b)$-sparse if every nonempty subgraph $H$ satisfies $e(H) \leq a v(H) - b$. We are interested in the conditions under which an $(a,b)$-sparse graph can be partitioned $E(G) = E(G_1) \cup E(G_2)$ such that for $i \in \{1,2\}$ we have that $G_i$ is $(a_i, b_i)$-sparse. Kuperwasser, Samotij, and Wigderson conjectured that a $(m,0)$-sparse graph can be partitioned into a $(1,1)$-sparse graph and a $(m,2m-1)$-sparse graph. We prove the conjecture in full.
The Kohayakawa-Kreuter Conjecture for Families claims that $n^{-1/m_2}$ is the threshold function for the random graph being Ramsey a.a.s. for graph families $\mathcal{H}_1, \ldots \mathcal{H}_r$. Kuperwasser, Samotij, and Wigderson motivated their conjecture by proving that it is sufficient to establish the Kohayakawa-Kreuter Conjecture for Families.
The Antisymmetric Line Graph
We introduce the \emph{antisymmetric line graph} $\mathcal{A}(G)$, a canonical signed refinement of the line graph defined on the oriented edges of a graph $G$ via an antisymmetric incidence rule. We show that $\mathcal{A}(G)$ is balanced if and only if $G$ is bipartite, so the frustration index $\ell(\mathcal{A}(G))$ defines a switching-invariant measure of non-bipartiteness.
The switching class of $\mathcal{A}(G)$ determines $G$ up to isomorphism modulo isolated vertices, thereby resolving Whitney's exceptional ambiguity.
We obtain quantitative bounds relating $\ell(\mathcal{A}(G))$ to classical measures of non-bipartiteness; in particular, \[ \operatorname{def}(G)\le \ell(\mathcal{A}(G))\le (Δ(G)-1)\operatorname{def}(G), \] where $\operatorname{def}(G)$ is the minimum number of edges whose deletion makes $G$ bipartite. Our strongest result is an exact identification in the cubic case: for every cubic graph $G$, with $\operatorname{oct}(G)$ denoting the odd cycle transversal number, \[ \ell(\mathcal{A}(G)) = 2\operatorname{oct}(G). \] Hence on cubic graphs a canonical signed line-graph invariant recovers a central bipartization parameter, and computing $\ell(\mathcal{A}(G))$ is NP-hard even for cubic inputs.
Monochromatic sums and quotients in $\mathbb N$
We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.
A very robust Ramsey theorem for matchings
Our main result is a robust generalisation of the Cockayne-Lorimer theorem on the multicolour Ramsey number of matchings. It is moreover a generalisation of the transference generalisation of Cockayne-Lorimer, which (informally) says that the random graph $G \sim G(n,p)$ with $np \to \infty$ has, with high probability, essentially the same Ramsey matching properties as the complete graph $K_n$. We show, somewhat surprisingly, that the same is true under the rather weak robustness assumption that $G$ is an $s$-connector (i.e. $\overline{G}$ is $K_{s,s}$-free) with $s=o(n)$. Moreover, we show that such $G$ has only an additive $O(s)$ loss with respect to $K_n$ for monochromatic matchings, which is essentially sharp. Our proof adapts a compression algorithm based on Gallai-Edmonds decompositions that we developed previously for generalised Ramsey-Turán problems.
Combinatorics of the Cosmohedron
The cosmohedron was recently proposed as a polytope underlying the cosmological wavefunction for $\text{Tr}(Φ^3)$ theory. Its faces were conjectured to be in bijection with Matryoshkas, which are obtained from a subdivision of a polygon by sequentially wrapping groups of polygons into larger polygons. In this paper we prove the correctness of this construction, and elucidate its combinatorial structure. Cosmohedra generalize to a wider class of $\mathcal{X}$ in $Y$ polytopes, where we chisel a polytope from the family $\mathcal{X}$ at each vertex of a polytope $Y$. We sketch a new application of these chiseled polytopes to the physics of ultraviolet divergences in loop-integrated Feynman amplitudes.
Counting permutations avoiding two flat partially ordered patterns
Partially ordered patterns (POPs) play an important role in the study of permutation patterns, providing a convenient framework for describing large families of classical patterns. The problem of enumerating permutations that avoid POPs has therefore attracted considerable attention in the literature. In particular, Gao and Kitaev resolved many counting problems for POP-avoiding permutations of lengths 4 and 5, linking the enumeration to a wide range of other combinatorial objects.
Motivated by their work, we initiate the study of permutations that simultaneously avoid two POPs belonging to the class of flat POPs. We establish a connection between permutations avoiding such POPs and the $k$-Fibonacci numbers. Moreover, we provide a bijection between permutations avoiding these POPs and certain restricted permutations, which allows us to use the method developed by Baltić to derive the generating function for permutations avoiding these POPs. Finally, we obtain enumerative results for separable permutations avoiding these two POPs, of lengths up to 5, with respect to six statistics, thereby extending the results of Gao et al. on the avoidance of a single flat POP in separable permutations. Notably, when both patterns are of length 5, the respective generating function is a rational function, with the sum in the numerator (resp., denominator) containing 293 (resp., 17) monomials.
Cutoff for the inversion walk on tournaments and the state space of restricted inversions
Given a labelled tournament on $[n]$, \emph{inverting} a vertex subset $X$ means reversing every edge with both endpoints in $X$. Alon, Powierski, Savery, Scott, and Wilmer~\cite{AlonPowierskiSaveryScottWilmer2024} asked for the mixing time of the Markov chain that repeatedly inverts a uniformly random subset of $[n]$. We show that this \emph{inversion walk} undergoes total-variation cutoff at time $n$. More precisely, there is a universal constant $C>0$ such that for all $c\ge 0$, $d_n(n+c)\le C\,2^{-c}$, while for all $s\in\{0,1,\dots,n\}$, $d_n(n-s)\ge 1-2^{\,n+s\logtwo n-\binom{s}{2}}$. In particular, the lower tail threshold lies within $O(\sqrt{n})$ below $n$, while the upper tail decays within $O(1)$ above $n$.
As a second result, we characterise the state space of the \emph{$k$-restricted inversion walk}, which inverts a uniformly random $k$-subset at each step. For $n\ge 4$ and $2\le k\le n-2$, the reachable states form a coset of a subgroup $H_k\le\F_2^{\binom{n}{2}}$ whose codimension is determined solely by $k\bmod 4$.
A two-steps tensor eigenvector centrality for nodes and hyperedges in hypergraphs
Hypergraphs have been a powerful tool to represent higher-order interactions, where hyperedges can connect an arbitrary number of nodes. Quantifying the relative importance of nodes and hyperedges in hypergraphs is a fundamental problem in network analysis. In this paper, we propose a new tensor-based centrality measure for general hypergraphs. We use a third-order tensor to represent the relationship between nodes and hyperedges. The tensor's positive Perron vector is defined as the centrality vector of the hypergraph. The existence and uniqueness of this centrality vector are guaranteed by the Perron-Frobenius theorem for tensors. This new centrality measure captures a higher-order mutual reinforcement mechanism: a node's importance is determined by the importance of its incident hyperedges and the other nodes within these hyperedges; symmetrically, a hyperedge's importance is determined by the importance of its constituent nodes and the other hyperedges containing these nodes. We further provide a combinatorial interpretation by proving that the centrality vector represents the limit geometric capacity of two-steps expansion trees. We illustrate the centrality measure on real-world hypergraph datasets.
Algebra of Path Integrals on Digraphs
In this paper, we extend the iterated integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure.
We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.
Quasi-Hermitian Varieties and Their Barlotti--Cofman Representation
Quasi-Hermitian varieties arise as higher-dimensional generalizations of non-classical unitals, including the Buekenhout--Metz (BM) and Buekenhout--Tits (BT) families.
After reviewing known constructions and structural properties, we determine explicitly the BC representation of BM and BT quasi-Hermitian varieties in $\mathrm{PG}(3,q^2)$ inside $\mathrm{PG}(6,q)$. We prove that BM varieties correspond to quadratic cones with hyperbolic base, whereas BT varieties give rise to non-quadratic cones, and we describe the associated configuration of spread elements in the section at infinity.
These results provide a geometric interpretation of the non-classical nature of BM and BT varieties within the BC framework.