Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Operad Structure of Poset Matrices
This paper examines operad structures derived from poset matrices by formulating a set of new construction rules for poset matrices. In this direction, eleven different partial composition operations will be introduced as the basis for the construction of poset matrices of any given size by extending the combinatorial setting of species of structures to poset matrices. Three of these partial composition operations are shown to define an operad structure for poset matrices. The structural properties of poset matrices and their duals are then studied based on their associated operad constructions.
Permutation representations and automorphisms of evolution algebras
Published
• View Publication
• BIB
We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer $n$ and $k \geq 4$, there does not exist an idempotent evolution algebra $X$ of dimension $n$ such that $\operatorname{Aut}(X)$ is isomorphic to a proper $k$-transitive subgroup of $S_n$.
Nevertheless, we show that for any finite group $G$, any permutation representation $ξ\colon G \to S_n$, and any field $\Bbbk$, there exists an idempotent, finite-dimensional evolution $\Bbbk$-algebra $X$ such that $\operatorname{Aut}(X) \cong G$, and the induced representation of $\operatorname{Aut}(X)$ on the natural idempotents of $X$ is equivalent to $ξ$.
Subdivisions in dicritical digraphs with large order or digirth
Published
• View Publication
• BIB
Aboulker et al. proved that a digraph with large enough dichromatic number contains any fixed digraph as a subdivision. The dichromatic number of a digraph is the smallest order of a partition of its vertex set into acyclic induced subdigraphs. A digraph is dicritical if the removal of any arc or vertex decreases its dichromatic number. In this paper we give sufficient conditions on a dicritical digraph of large order or large directed girth to contain a given digraph as a subdivision. In particular, we prove that (i) for every integers $k,\ell$, large enough dicritical digraphs with dichromatic number $k$ contain an orientation of a cycle with at least $\ell$ vertices; (ii) there are functions $f,g$ such that for every subdivision $F^*$ of a digraph $F$, digraphs with directed girth at least $f(F^*)$ and dichromatic number at least $g(F)$ contain a subdivision of $F^*$, and if $F$ is a tree, then $g(F)=|V(F)|$; (iii) there is a function $f$ such that for every subdivision $F^*$ of $TT_3$ (the transitive tournament on three vertices), digraphs with directed girth at least $f(F^*)$ and minimum out-degree at least $2$ contain $F^*$ as a subdivision.
Cospectral vertices, walk-regular planar graphs and the echolocation problem
Published
• View Publication
• BIB
We study cospectral vertices on finite graphs in relation to the echolocation problem on Riemannian manifolds. First, We prove a computationally simple criterion to determine whether two vertices are cospectral. Then, we use this criterion in conjunction with a computer search to find minimal examples of various types of graphs on which cospectral but non-similar vertices exist, including minimal walk-regular non-vertex-transitive graphs, which turn out to be non-planar. Moreover, as our main result, we classify all finite 3-connected walk-regular planar graphs, proving that such graphs must be vertex-transitive.
Numerical semigroups, polyhedra, and posets IV: walking the faces of the Kunz cone
Published
• View Publication
• BIB
A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce the Kunz fan, a pure, polyhedral cone complex comprised of a faithful projection of certain faces of $\mathcal C_m$. We characterize several aspects of the Kunz fan in terms of the combinatorics of Kunz nilsemigroups, which are known to index the faces of $\mathcal C_m$, and our results culminate in a method of "walking" the face lattice of the Kunz cone in a manner analogous to that of a Gröbner walk. We apply our results in several contexts, including a wealth of computational data obtained from the aforementioned "walks" and a proof of a recent conjecture concerning which numerical semigroups achieve the highest minimal presentation cardinality when one fixes the smallest positive element and the number of generators.
Examining Kempe equivalence via commutative algebra
Published
• View Publication
• BIB
Kempe equivalence is a classical and important notion on vertex coloring in graph theory. In the present paper, we introduce several ideals associated with graphs and provide a method to determine whether two $k$-colorings are Kempe equivalent via commutative algebra. Moreover, we give a way to compute all $k$-colorings of a graph up to Kempe equivalence by virtue of the algebraic technique on Gröbner bases. As a consequence, the number of $k$-Kempe classes can be computed by using Hilbert functions. Finally, we introduce several algebraic algorithms related to Kempe equivalence.
Bounded degree graphs and hypergraphs with no full rainbow matchings
Published in European Journal of Combinatorics 133 (2026) 104316
• View Publication
• BIB
Given a multi-hypergraph $G$ that is edge-colored into color classes $E_1, \ldots, E_n$, a full rainbow matching is a matching of $G$ that contains exactly one edge from each color class $E_i$. One way to guarantee the existence of a full rainbow matching is to have the size of each color class $E_i$ be sufficiently large compared to the maximum degree of $G$. In this paper, we apply a simple iterative method to construct edge-colored multi-hypergraphs with a given maximum degree, large color classes, and no full rainbow matchings. First, for every $r \ge 1$ and $Δ\ge 2$, we construct edge-colored $r$-uniform multi-hypergraphs with maximum degree $Δ$ such that each color class has size $|E_i| \ge rΔ- 1$ and there is no full rainbow matching, which demonstrates that a theorem of Aharoni, Berger, and Meshulam (2005) is best possible. Second, we construct properly edge-colored multigraphs with no full rainbow matchings which disprove conjectures of Delcourt and Postle (2022). Finally, we apply results on full rainbow matchings to list edge-colorings and prove that a color degree generalization of Galvin's theorem (1995) does not hold.
On prime Cayley graphs
Published in Journal of Combinatorics, Vol. 17, Issue 2 (2026), pp. 223-252
• View Publication
• BIB
The decomposition of complex networks into smaller, interconnected components is a central challenge in network theory with a wide range of potential applications. In this paper, we utilize tools from group theory and ring theory to study this problem when the network is a Cayley graph. In particular, we answer the following question: Which Cayley graphs are prime?
On the stabilizer of the graph of linear functions over finite fields
Published
• View Publication
• BIB
In this paper we will study the action of $\mathbb{F}_{q^n}^{2 \times 2}$ on the graph of an $\mathbb{F}_q$-linear function of $\mathbb{F}_{q^n}$ into itself. In particular we will see that, under certain combinatorial assumptions, its stabilizer (together with the sum and product of matrices) is a field. We will also see some examples for which this does not happen. Moreover, we will establish a connection between such a stabilizer and the right idealizer of the rank-metric code defined by the linear function and give some structural results in the case in which the polynomials are partially scattered.
On the Structure and Generators of the $n$th-order Chromatic Algebra
This work investigates the intrinsic properties of the chromatic algebra, introduced by Fendley and Krushkal as a framework to study the chromatic polynomial. We prove that the dimension of the $n$th-order chromatic algebra is the $2n$th Riordan number, which exhibits exponential growth. We find a generating set of size $\binom{n}{2}$, and we provide a procedure to construct the basis from the generating set. We additionally provide proofs for fundamental facts about this algebra that appear to be missing from the literature. These include determining a representation of the chromatic algebra as noncrossing planar partitions and expanding the chromatic relations to include an edge case.
Holey graphs: very large Betti numbers are testable
Published
• View Publication
• BIB
We show that the graph property of having a (very) large $k$-th Betti number $β_k$ for constant $k$ is testable with a constant number of queries in the dense graph model. More specifically, we consider a clique complex defined by an underlying graph and prove that for any $\varepsilon>0$, there exists $δ(\varepsilon,k)>0$ such that testing whether $β_k \geq (1-δ) d_k$ for $δ\leq δ(\varepsilon,k)$ reduces to tolerantly testing $(k+2)$-clique-freeness, which is known to be testable. This complements a result by Elek (2010) showing that Betti numbers are testable in the bounded-degree model. Our result combines the Euler characteristic, matroid theory and the graph removal lemma.
The volume polynomial of lattice polygons
Published
• View Publication
• BIB
We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.
The Combinatorics of Motzkin Polyominoes
Published
• View Publication
• BIB
A word $w=w_1\cdots w_n$ over the set of positive integers is a Motzkin word whenever $w_1=\texttt{1}$, $1\leq w_k\leq w_{k-1}+1$, and $w_{k-1}\neq w_{k}$ for $k=2, \dots, n$. It can be associated to a $n$-column Motzkin polyomino whose $i$-th column contains $w_i$ cells, and all columns are bottom-justified. We reveal bijective connections between Motzkin paths, restricted Catalan words, primitive Łukasiewicz paths, and Motzkin polyominoes. Using the aforementioned bijections together with classical one-to-one correspondence with Dyck paths avoiding $UDU$s, we provide generating functions with respect to the length, area, semiperimeter, value of the last symbol, and number of interior points of Motzkin polyominoes. We give asymptotics and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points over all Motzkin polyominoes of a given length. We also present and prove an engaging trinomial relation concerning the number of cells lying at different levels and first terms of the expanded $(1+x+x^2)^n$.
Partitions with fixed points in the sequence of first-column hook lengths
Published in Ann. Comb. (2024 online first)
• View Publication
• BIB
Recently, Blecher and Knopfmacher applied the notion of fixed points to integer partitions. This has already been generalized and refined in various ways such as $h$-fixed points for an integer parameter $h$ by Hopkins and Sellers. Here, we consider the sequence of first column hook lengths in the Young diagram of a partition and corresponding fixed hooks. We enumerate these, using both generating function and combinatorial proofs, and find that they match occurrences of part sizes equal to their multiplicity. We establish connections to work of Andrews and Merca on truncations of the pentagonal number theorem and classes of partitions partially characterized by certain minimal excluded parts (mex).
Complete $3$-term arithmetic progression free sets of small size in vector spaces and other abelian groups
A subset $S$ of an abelian group $G$ is called $3$-$\mathrm{AP}$ free if it does not contain a three term arithmetic progression. Moreover, $S$ is called complete $3$-$\mathrm{AP}$ free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a $3$-$\mathrm{AP}$ free set, which is necessarily complete. In this paper we are interested in the minimum size of complete $3$-$\mathrm{AP}$ free sets. We define and study saturation w.r.t. $3$-$\mathrm{AP}$s and present constructions of small complete $3$-$\mathrm{AP}$ free sets and $3$-$\mathrm{AP}$ saturating sets for several families of vector spaces and cyclic groups.
Eulerian-minors and a concise recursive characterization of 4-regular planar graphs
Published
• View Publication
• BIB
An Eulerian-minor of an Eulerian graph is obtained from an Eulerian subgraph of the Eulerian graph by contraction. The Eulerian-minor operation preserves Eulerian properties of graphs and moreover Eulerian graphs are well-quasi-ordered under Eulerian-minor relation. In this paper, we characterize Eulerian, planar and outer-planar Eulerian graphs by means of excluded Eulerian-minors, and provide a concise recursive characterization to 4-regular planar graphs.
The algebraic matroid of the Heron variety
Published
• View Publication
• BIB
We introduce the n-th Heron variety as the realization space of the (squared) volumes of faces of an n-simplex. Our primary goal is to understand the extent to which Heron's formula, which expresses the area of a triangle as a function of its three edge lengths, can be generalized. Such a formula for one face volume of an n-simplex in terms of other face volumes expresses a dependence in the algebraic matroid of the Heron variety. Whether the volume is expressible in terms of radicals is controlled by the monodromy groups of the coordinate projections of the Heron variety onto coordinates of bases. We discuss a suite of algorithms, some new, for determining these matroids and monodromy groups. We apply these algorithms toward the smaller Heron varieties, organize our findings, and interpret the results in the context of our original motivation.
On degree powers and counting stars in $F$-free graphs
Published
• View Publication
• BIB
Given a positive integer $r$ and a graph $G$ with degree sequence $d_1,\dots,d_n$, we define $e_r(G)=\sum_{i=1}^n d_i^r$. We let $\mathrm{ex}_r(n,F)$ be the largest value of $e_r(G)$ if $G$ is an $n$-vertex $F$-free graph. We show that if $F$ has a color-critical edge, then $\mathrm{ex}_r(n,F)=e_r(G)$ for a complete $(χ(F)-1)$-partite graph $G$ (this was known for cliques and $C_5$). We obtain exact results for several other non-bipartite graphs and also determine $\mathrm{ex}_r(n,C_4)$ for $r\ge 3$. We also give simple proofs of multiple known results.
Our key observation is the connection to $\mathrm{ex}(n,S_r,F)$, which is the largest number of copies of $S_r$ in $n$-vertex $F$-free graphs, where $S_r$ is the star with $r$ leaves. We explore this connection and apply methods from the study of $\mathrm{ex}(n,S_r,F)$ to prove our results. We also obtain several new results on $\mathrm{ex}(n,S_r,F)$.
The Induced Bipartite Ramsey Theorem: An Exposition
We present an exposition of the proof of the induced bipartite Ramsey Theorem.
Elephant polynomials
In this note, we study a family of polynomials that appear naturally when analysing the characteristic functions of the one-dimensional elephant random walk. These polynomials depend on a memory parameter $p$ attached to the model. For certain values of $p$, these polynomials specialise to classical polynomials, such as the Chebychev polynomials in the simplest case, or generating polynomials of various combinatorial triangular arrays (e.g.\ Eulerian numbers). Although these polynomials are generically non-orthogonal (except for $p=\frac{1}{2}$ and $p=1$), they have interlacing roots. Finally, we relate some algebraic properties of these polynomials to the probabilistic behaviour of the elephant random walk. Our methods are reminiscent of classical orthogonal polynomial theory and are elementary.