Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Geometries with trialities arising from linear spaces
A triality is a sort of super-symmetry that exchanges the types of the elements of an incidence geometry in cycles of length three. Although geometries with trialities exhibit fascinating behaviors, their construction is challenging, making them rare in the literature. To understand trialities more deeply, it is crucial to have a wide variety of examples at hand. In this article, we introduce a general method for constructing various rank-three incidence systems with trialities. Specifically, for any rank two incidence system $Γ$, we define its triangle complex $Δ(Γ)$, a rank three incidence system whose elements consist of three copies of the flags (pairs of incident elements) of $Γ$. This triangle complex always admits a triality that cyclically permutes the three copies. We then explore in detail the properties of the triangle complex when $Γ$ is a linear space, including flag-transitivity, the existence of dualities, and connectivity properties. As a consequence of our work, this construction yields the first infinite family of thick, flag-transitive and residually connected geometries with trialities but no dualities.
$K_4^-$-free triple systems without large stars in the complement
The $n$-star $S_n$ is the $n$-vertex triple system with ${n-1 \choose 2}$ edges all of which contain a fixed vertex, and $K_4^-$ is the unique triple system with four vertices and three edges. We prove that the Ramsey number $r(K_4^-, S_n)$ has order of magnitude $n^2 /\log n$.
This confirms a conjecture of Conlon, Fox, He, Suk, Verstraëte and the first author. It also generalizes the well-known bound of Kim for the graph Ramsey number $r(3,n)$, as the link of any vertex in a $K_4^-$-free triple system is a triangle-free graph. Our method builds on the approach of Guo and Warnke who adapted Kim's lower bound for $r(3,n)$ to the pseudorandom setting.
Toric ideals of graphs minimally generated by a Gröbner basis
Describing families of ideals that are minimally generated by at least one, or by all, of their reduced Gröbner bases is a central topic in commutative algebra. In this paper, we address this problem in the context of toric ideals of graphs. We say that a graph $G$ is an MG-graph if its toric ideal $I_G$ is minimally generated by some Gröbner basis, and a UMG-graph if every reduced Gröbner basis of $I_G$ forms a minimal generating set. We prove that a graph $G$ is a UMG-graph if and only if its toric ideal $I_G$ is a generalized robust ideal (that is, its universal Gröbner basis coincides with its universal Markov basis). Although the class of MG-graphs is not closed under taking subgraphs, we prove that it is hereditary, that is, closed under taking induced subgraphs. In addition, we describe two families of bipartite MG-graphs: ring graphs (which correspond to complete intersection toric ideals, as shown by Gitler, Reyes, and Villarreal) and graphs in which all chordless cycles have the same length. The latter extends a result of Ohsugi and Hibi, which corresponds to graphs whose chordless cycles are all of length $4$.
The Density Finite Sums Theorem
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.
Phutball Draws
In this short note, we exhibit a draw in the game of Philosopher's Phutball. We construct a position on a 12 x 10 Phutball board from where either player has a drawing strategy, and then generalize it to an m x n board with m-2 >= n >= 10.
Enumerating Flat Fubini Rankings
Recall that the set of Fubini rankings on $n$ competitors consists of the $n$-tuples that encode the possible rankings of $n$ competitors in a competition allowing ties. Moreover, recall that a run (weak run) in a tuple is a subsequence of consecutive ascents (weak ascents). If the leading terms of the set of maximally long runs (weak runs) of a tuple are in increasing (weakly increasing) order, then the tuple is said to be flattened (weakly flattened). We define the set of strictly flattened Fubini rankings, which is the subset of Fubini rankings with runs of strict ascents whose leading term are strictly increasing. Analogously, we define the set of weakly flattened Fubini rankings, which is the subset of Fubini rankings with runs of weak ascents whose leading terms are in weakly increasing order. Our main results give formulas for the enumeration of strictly flattened Fubini rankings and weakly flattened Fubini rankings. We also provide some conjectures for further study.
Enumeration on polyominoes determined by Catalan words avoiding $(\geq,\geq)$
A Catalan word of length $n$ that avoids the pattern $(\geq, \geq)$ is a sequence $w=w_1\cdots w_n$ with $w_1=0$ and $0\leq w_i\leq w_{i-1}+1$ for all $i$, while ensuring that no subsequence satisfies $w_i \geq w_{i+1}\geq w_{i+2}$ for $i=2,\ldots,n$. These words are enumerated by the $n$-th Motzkin number. From such a word, we associate a $n$-column Motzkin polyomino (called a $(\geq,\geq)$-polyomino), where the $i$-th column contains $w_i+1$ bottom-aligned cells. In this paper, we derive generating functions for $(\geq,\geq)$-polyominoes based on their length, area, semiperimeter, last symbol value, and number of interior points. We provide asymptotic analyses and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points across all $(\geq,\geq)$-polyominoes of a given length. Finally, we express all these results as linear combinations of trinomial coefficients.
Strengthening Wilf's lower bound on clique number
Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n - λ_{1}} \leq ω$, where $λ_1$ is the largest eigenvalue of the adjacency matrix $A(G)$, $n$ is the number of vertices in $G$, and $ω$ is the clique number of $G$. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018, which is stated as follows: $\frac{n}{n - \sqrt{s^{+}}} \leq ω$, where $s^+ = \sum_{λ_{i} > 0} λ_{i}^2$ and $λ_i$ are the eigenvalues of $A(G)$. In this paper, we have settled this conjecture for some classes of graphs, such as conference graphs, strongly regular graphs with $λ= μ$ (i.e., $srg(n, d, μ, μ)$) and $n\geq 2d$, the line graph of $K_{n}$, the Cartesian product of strongly regular graphs, and Ramanujan graph with $n\geq 11d$.
The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs
Eternal vertex cover is the following two-player game between a defender and an attacker on a graph. Initially, the defender positions k guards on k vertices of the graph; the game then proceeds in turns between the defender and the attacker, with the attacker selecting an edge and the defender responding to the attack by moving some of the guards along the edges, including the attacked one. The defender wins a game on a graph G with k guards if they have a strategy such that, in every round of the game, the vertices occupied by the guards form a vertex cover of G, and the attacker wins otherwise. The eternal vertex cover number of a graph G is the smallest number k of guards allowing the defender to win and Eternal Vertex Cover is the problem of computing the eternal vertex cover number of the given graph.
We study this problem when restricted to the well-known class of series-parallel graphs. In particular, we prove that Eternal Vertex Cover can be solved in linear time when restricted to melon graphs, a proper subclass of series-parallel graphs. Moreover, we also conjecture that this problem is NP-hard on series-parallel graphs.
Congruences modulo powers of $3$ for $6$-colored generalized Frobenius partitions
In 1984, Andrews introduced the family of partition functions $cφ_k(n)$, the number of generalized Frobenius partitions of $n$ with $k$ colors. In 2016, Gu, Wang, and Xia proved some congruences about $cφ_6(n)$ and gave a conjecture on congruences modulo powers of 3 for $cφ_6(n)$. We solve the revised conjecture proposed by Gu, Wang, and Xia using a method similar to that of Banerjee and Smoot.
Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs
We study the Max Partial $k$-Coloring problem, where we are given a vertex-weighted graph, and we ask for a maximum-weight induced subgraph that admits a proper $k$-coloring. For $k=1$ this problem coincides with Maximum Weight Independent Set, and for $k=2$ the problem is equivalent (by complementation) to Minimum Odd Cycle Transversal. Furthermore, it generalizes $k$-Coloring. We show that Max Partial $k$-Coloring on $n$-vertex instances with clique number $ω$ can be solved in time
* $n^{\mathcal{O}(kω)}$ if the input graph excludes the bull and the chair as an induced subgraph,
* $n^{\mathcal{O}(kω\log n)}$ if the input graph excludes the bull and E as an induced subgraph.
This implies that $k$-Coloring can be solved in polynomial time in the former class, and in quasipolynomial-time in the latter one.
Supports for Outerplanar and Bounded Treewidth Graphs
We study the existence and construction of sparse supports for hypergraphs derived from subgraphs of a graph $G$. For a hypergraph $(X,\mathcal{H})$, a support $Q$ is a graph on $X$ s.t. $Q[H]$, the graph induced on vertices in $H$ is connected for every $H\in\mathcal{H}$.
We consider \emph{primal}, \emph{dual}, and \emph{intersection} hypergraphs defined by subgraphs of a graph $G$ that are \emph{non-piercing}, (i.e., each subgraph is connected, their pairwise differences remain connected).
If $G$ is outerplanar, we show that the primal, dual and intersection hypergraphs admit supports that are outerplanar. For a bounded treewidth graph $G$, we show that if the subgraphs are non-piercing, then there exist supports for the primal and dual hypergraphs of treewidth $O(2^{tw(G)})$ and $O(2^{4tw(G)})$ respectively, and a support of treewidth $2^{O(2^{tw(G)})}$ for the intersection hypergraph. We also show that for the primal and dual hypergraphs, the exponential blow-up of treewidth is sometimes essential.
All our results are algorithmic and yield polynomial-time algorithms (when the treewidth is bounded). The existence and construction of sparse supports is a crucial step in the design and analysis of PTASs and/or sub-exponential time algorithms for several packing and covering problems.
Wild generalised truncation of infinite matroids
For ${n \in \mathbb{N}}$, the $n$-truncation of a matroid $M$ of rank at least $n$ is the matroid whose bases are the $n$-element independent sets of $M$. One can extend this definition to negative integers by letting the $(-n)$-truncation be the matroid whose bases are all the sets that can be obtained by deleting $n$ elements of a base of $M$. If $M$ has infinite rank, then for distinct ${m,n \in \mathbb{Z}}$ the $m$-truncation and the $n$-truncation are distinct matroids.
Inspired by the work of Bowler and Geschke on infinite uniform matroids, we provide a natural definition of generalised truncations that encompasses the notions mentioned above. We call a generalised truncation wild if it is not an $n$-truncation for any ${n \in \mathbb{Z}}$ and we prove that, under Martin's Axiom, any finitary matroid of infinite rank and size of less than continuum admits ${2^{2^{\aleph_0}}}$ wild generalised truncations.
Supersaturation of odd linear cycles
An $r$-uniform linear cycle of length $\ell$, denoted by $C^r_{\ell}$, is an $r$-graph with $\ell$ edges $e_1,e_2,\dots,e_{\ell}$ where $e_i=\{v_{(r-1)(i-1)},v_{(r-1)(i-1)+1},\dots,v_{(r-1)i}\}$ (here $v_0=v_{(r-1)\ell}$). For $0<δ<1$ and $n$ sufficiently large, we show that every $n$-vertex $r$-graph $G$ with $n^{r-δ}$ edges contains at least $n^{(r-1)(2\ell+1)-δ(2\ell+1+\frac{4\ell-1}{(r-1)(2\ell+1)-3})-o(1)}$ copies of $C^r_{2\ell+1}$. Further, conditioning on the existence of dense high-girth hypergraphs, we show that there exists $n$-vertex $r$-graphs with $n^{r-δ}$ edges and at most $n^{(r-1)(2\ell+1)-δ(2\ell+1+\frac{1}{(r-1)\ell-1})+o(1)}$ copies of $C^r_{2\ell+1}$.
Order polytopes of crown posets
Published in European Journal of Combinatorics, Vol. 133, Mar. 2026, P. 104304
• View Publication
• BIB
In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-vectors. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).
On the order of intersecting hypergraphs
Determining the maximum number of edges in an intersecting hypergraph on a fixed ground set under additional constraints is one of the central topics in extremal combinatorics. In contrast, there are few results on analogous problems concerning the maximum order of such hypergraphs. In this paper, we systematically study these vertex analogues.
A general framework for quasi-isometries in symbolic dynamics beyond groups
We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. For these structures, which we call blueprints, we provide a general framework for symbolic dynamics under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that a variant of the domino problem for geometric tilings of $\mathbb{R}^d$ is undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.
Normality conditions in the Sylow $\boldsymbol{p}$-subgroup of $\boldsymbol{\mathrm{Sym}(p^n)}$ and its associated Lie algebra
Published in Journal of Algebra, Volume 689, 1 March 2026, Pages 747-763
• View Publication
• BIB
In this work, we give a description of the structure of the normal subgroups of a Sylow $p$-subgroup $W_n$ of $\mathrm{Sym}(p^n)$, showing that they contain a term from the lower central series with bounded index. To this end, we explicitly determine the terms of the upper and the lower central series of $W_n$. We provide a similar description of these series in the Lie algebra associated to $W_n$, giving a new proof of the equality of their terms in both the group and the algebra contexts. Finally, we calculate the growth of the normalizer chain starting from an elementary abelian regular subgroup of $W_n$.
Componentwise Linear Ideals From Sums
Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any componentwise linear monomial ideal in $k[x,y]$ has linear quotients using generators in non-decreasing degrees. In any dimension, we show that under mild compatibility conditions, one can build a componentwise linear ideal from a given collection of componentwise linear monomial ideals using only sum and product with square-free monomials. We provide numerous examples to demonstrate the optimality of our results.
On canonical sandpile actions of embedded graphs
The sandpile group of a connected graph is a group whose cardinality is the number of spanning trees. The group is known to have a canonical simply transitive action on spanning trees if the graph is embedded into the plane. However, no canonical action on the spanning trees is known for the nonplanar case. We show that for any embedded Eulerian digraph, one can define a canonical simply transitive action of the sandpile group on compatible Eulerian tours (a set whose cardinality equals to the number of spanning arborescences). This enables us to give a new proof that the rotor-routing action of a ribbon graph is independent of the root if and only if the embedding is into the plane (originally proved by Chan, Church and Grochow).
Recently, Merino, Moffatt and Noble defined a sandpile group variant (called Jacobian) for embedded graphs, whose cardinality is the number of quasi-trees. Baker, Ding and Kim showed that this group acts canonically on the quasitrees. We show that the Jacobian of an embedded graph is canonically isomorphic to the usual sandpile group of the medial digraph, and the action by Baker at al. agrees with the action of the sandpile group of the medial digraph on Eulerian tours (which fact is made possible by the existence of a canonical bijection between Eulerian tours of the medial digraph and quasi-trees due to Bouchet).