Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Recent advances in arrow relations and traces of sets
Published
• View Publication
• BIB
The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.
Combinatorial solutions to the Social Golfer Problem and Social Golfer Problem with Adjacent Group Sizes
Published
• View Publication
• BIB
Resolvable combinatorial designs including Resolvable Balanced Incomplete Block Designs, Resolvable Group Divisible Designs, Uniformly Resolvable Designs and Mutually Orthogonal Latin Squares and Rectangles are used to construct optimal solutions to the Social Golfer problem (SGP) and the Social Golfer problem with adjacent group sizes (SGA). An algorithm is presented to find an optimal solution in general, and a complete set of solutions is provided for up to 150 players.
Towards the classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$
Published
• View Publication
• BIB
Every maximum scattered linear set in $\mathrm{PG}(1,q^5)$ is the projection of an $\mathbb{F}_q$-subgeometry $Σ$ of $\mathrm{PG}(4,q^5)$ from a plane $Γ$ external to the secant variety to $Σ$. The pair $(Γ,Σ)$ will be called a projecting configuration for the linear set. The projecting configurations for the only known maximum scattered linear sets in $\mathrm{PG}(1,q^5)$, namely those of pseudoregulus and LP type, have been characterized in the literature by B. Csajbók, C. Zanella in 2016 and by C. Zanella, F. Zullo in 2020. Let $(Γ,Σ)$ be a projecting configuration for a maximum scattered linear set in $\mathrm{PG}(1,q^5)$, let $σ$ be a generator of $\mathbb{G}=\mathrm{P}Γ\mathrm{L}(5,q^5)_Σ$, and $A=Γ\capΓ^{σ^4}$, $B=Γ\capΓ^{σ^3}$. If $A$ and $B$ are not both points, then the projected linear set is of pseudoregulus type. Then, suppose that they are points. The rank of a point $X$ is the vectorial dimension of the span of the orbit of $X$ under the action of $\mathbb{G}$. In this paper, by investigating the geometric properties of projecting configurations, it is proved that if at least one of the points $A$ and $B$ has rank 5, the associated maximum scattered linear set must be of LP type. Then, if a maximum scattered linear set of a new type exists, it must be such that $\mathrm{rk} A=\mathrm{rk} B=4$. In this paper we derive two possible polynomial forms that such a linear set must have. An exhaustive analysis by computer shows that for $q\leq 25$, no new maximum scattered linear set exists.
The net-regular strongly regular signed graphs with degree 5
In this paper, we determine all connected net-regular strongly regular signed graphs with degree 5. There are five and two strongly regular signed graphs with net-degree 3 and 1, respectively.
Fuss--Catalan algebras on generalized Dyck paths via non-crossing partitions
We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.
Oriented diameter of graphs with diameter $4$ and given edge girth
Published
• View Publication
• BIB
Let $f(d)$ be the smallest value for which every bridgeless graph $G$ with diameter $d$ admits a strong orientation $\overrightarrow{G}$ such that the diameter of $\overrightarrow{G}$ is at most $f(d)$. Chvátal and Thomassen (JCT-B, 1978) obtained general bounds for $f(d)$ and proved that $f(2)=6$. Kwok et al. (JCT-B, 2010) proved that $9\leq f(3)\leq 11$. Wang and Chen (JCT-B, 2022) determined $f(3)=9$. Babu et al. (DAM, 2021) showed $f(4)\leq 21$.
In this paper, we introduce a new approach to studying $f(d)$ via the edge girth of a bridgeless graph $G$, denoted by $g^*(G)=\max\{l_G(e)\mid e\in E(G)\}$, where $l_G(e)$ is the length of the shortest cycle containing $e$ in $G$. Then we define $F(d,g^*)=\max\{\overrightarrow{diam}(G)\mid G\text{ is bridgeless},d(G)=d,g^*(G)=g^*\}$, and show $f(d)=\max\{F(d,g^*)\mid 2\leq g^*\leq 2d+1\}$. As the main result of this paper, we establish $F(4,2)=4$, $F(4,9)=12$, $F(4,3)\le 12$, and $F(4,g^*)\le 13$ for $g^*\in\{6,7,8\}$, and we propose two open problems for further research.
Linear quotients, linear resolutions and the lcm-lattice
Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear quotients in terms of the lcm-lattice of monomial ideals. We also formulate an analogous characterization for monomial ideals with linear resolutions, making explicit a relationship that is implicit in the existing literature. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.
Ramsey numbers for 1-degenerate 3-graphs
Published
• View Publication
• BIB
We construct a 3-uniform 1-degenerate hypergraph on $n$ vertices whose 2-colour Ramsey number is $Ω\big(n^{3/2}/\log n\big)$. This shows that all remaining open cases of the hypergraph Burr-Erdős conjecture are false. Our graph is a variant of the celebrated hedgehog graph. We additionally show near-sharp upper bounds, proving that all 3-uniform generalised hedgehogs have 2-colour Ramsey number $O\big(n^{3/2}\big)$.
Erdős meets Nash-Williams
In 1847, Kirkman proved that there exists a Steiner triple system on $n$ vertices (equivalently a triangle decomposition of the edges of $K_n$) whenever $n$ satisfies the necessary divisibility conditions (namely $n\equiv 1,3 \mod 6$). In 1970, Nash-Williams conjectured that every graph $G$ on $n$ vertices with minimum degree at least $3n/4$ (for $n$ large enough and satisfying the necessary divisibility conditions) has a triangle decomposition. In 1973, Erdős conjectured that for each integer $g$, there exists a Steiner triple system on $n$ vertices with girth at least $g$ (provided that $n\equiv 1,3 \mod 6$ is large enough compared to the fixed $g$). In 2021, Glock, Kühn, and Osthus conjectured the common generalization of these two conjectures, dubbing it the ``Erdős meets Nash-Williams' Conjecture''.
In this paper, we reduce the combined conjecture to the fractional relaxation of the Nash-Williams' Conjecture. Combined with the best known fractional bound of Delcourt and Postle, this proves the combined conjecture above when $G$ has minimum degree at least $0.82733n$. We note that our result generalizes the seminal work of Barber, Kühn, Lo, and Osthus on Nash-Williams' Conjecture and the resolution of Erdős' Conjecture by Kwan, Sah, Sawhney, and Simkin. Both previous proofs of those results used the method of iterative absorption. Our proof instead proceeds via the newly developed method of refined absorption (and hence provides new independent proofs of both results).
Improved bounds on the postage stamp problem for large numbers of stamps
Let $F_h(n)$ denote the minimum cardinality of an additive {\em $h$-fold basis} of $\{1,2,\cdots,n\}$: a set $S$ such that any integer in $\{1,2,\cdots, n\}$ can be written as a sum of at most $h$ elements from $S$. While the trivial bounds $h!n \; \lesssim \; F_h(n)^h \; \lesssim \; h^h n$ are well-known, comparatively little has been established for $h>2$. In this paper, we make significant improvements to both of the best-known bounds on $F_h(n)$ for sufficiently large $h$. For the lower bound, we use a probabilistic approach along with the Berry-Esseen Theorem to improve upon the best-known asymptotic result due to Yu. We also establish the first nontrivial asymptotic upper bound on $F_h(n)$ by leveraging a construction for additive bases of finite cyclic groups due to Jia and Shen. In particular, we show that given any $ε>0$, for sufficiently large $h$, we have \[ \left(\frac{1}{2}-ε\right)h!\sqrt{2πe} n\; \leq \; F_h(n)^h \; \leq \; \left(\left(\frac{\sqrt{3}}{2}+ε\right)h\right)^h n. \]
Which maximal subgroups are perfect codes?
A perfect code in a graph $Γ=(V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if it is a perfect code in some Cayley graph of $G$. In this paper, we undertake a systematic study of which maximal subgroups of a group can be perfect codes. Our approach highlights a characterization of subgroup perfect codes in terms of their ``local'' complements.
Horofunctions of infinite Sierpinski polygon graphs
Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann points.
Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$
Given integer $n > 0$ and $m > 1$, we call a partition of set $[n] = \{1, \dots, n\}$ {\em $m$-good} if each of the partitioning sets is of size at most $m$ and the sum of numbers in it is a power of $m$, that is, $m^t$ for some $t \geq 0$. It is easily seen that a unique 2-good partition exists for each $n$ and, in contrast, for each fixed $m>3$, for infinitely many $n$, no $m$-good partition exists.
Case $m=3$ is more difficult. We conjecture that 3-good partitions exist for each $n$ and prove that a minimal counter-example, if any, is at least 101 and must belong to the set
{\centering $N_o = \{n \equiv 2 \pmod 3\} \cap \{3^t+1 < n < (3^{t+1}+1)/2 \mid t \geq 4\}.$ }
For this case we provide some partial results. We also show that a 3-good partition is unique if $n \in N_u = \{1, 2, 3, 4, 3^t-4, 3^t-2, 3^t-1, 3^t, 3^t+1, 3^t+2, 3^t+3 \mid t > 1\}$ and conjecture that the inverse holds too.
On simultaneous $(s, s+t, s+2t, \dots)$-core partitions
Published
• View Publication
• BIB
We consider simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions in the large-$p$ limit, or (when $s<t$), partitions in which no hook may be of length $s \pmod{t}$. We study generating functions, containment properties, and congruences when $s$ is not coprime to $t$. As a boundary case of the general study made by Cho, Huh and Sohn, we provide enumerations when $s$ is coprime to $t$, and answer positively a conjecture of Fayers on the polynomial behavior of the size of the set of simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions when $p$ grows arbitrarily large. Of particular interest throughout is the comparison to the behavior of simultaneous $(s,t)$-cores.
A Supergeometric Faà di Bruno Formula
We extend the multivariate Faà di Bruno formula to the super case, where anticommuting odd coordinates are considered. The formula takes the same form as the classical case but contains some nontrivial signs, which essentially measure the failure to order the odd factors and derivatives optimally. As a quick application, we obtain an explicit combinatorial formula for the generalized super Bell polynomials, defined by Fan and Hon.
A logical implication between two conjectures on matrix permanents
Published in Linear Algebra and its Applications, Volume 725, 15 November 2025, Pages 309-318
• View Publication
• BIB
We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a non-trivial link between two seemingly unrelated conditions that a positive semidefinite matrix may fulfill. As a corollary, the classes of matrices that are known to obey the first conjecture are then immediately proven to obey the second one. Conversely, we uncover new counterexamples to the first conjecture by exhibiting a previously unknown type of counterexamples to the second conjecture.
The symmetric strong circuit elimination property
Published
• View Publication
• BIB
If $C_1$ and $C_2$ are circuits in a matroid $M$ with $e_1$ in $C_1-C_2$ and $e$ in $C_1\cap C_2$, then $M$ has a circuit $C_3$ such that $e\in C_3\subseteq (C_1\cup C_2)-e$. This strong circuit elimination axiom is inherently asymmetric. A matroid $M$ has the symmetric strong circuit elimination property (SSCE) if, when the above conditions hold and $e_2\in C_2-C_1$, there is a circuit $C_3'$ with $\{e_1,e_2\}\subseteq C_3'\subseteq (C_1\cup C_2)-e$. We prove that a connected matroid has this property if and only if it has no two skew circuits. We also characterize such matroids in terms of forbidden series minors, and we give a new matroid axiom system that is built around a modification of SSCE.
Algebraic connectivity in normed spaces
Published
• View Publication
• BIB
The algebraic connectivity of a graph $G$ in a finite dimensional real normed linear space $X$ is a geometric counterpart to the Fiedler number of the graph and can be regarded as a measure of the rigidity of the graph in $X$. We analyse the behaviour of the algebraic connectivity of $G$ in $X$ with respect to graph decomposition, vertex deletion and isometric isomorphism, and provide a general bound expressed in terms of the geometry of $X$ and the Fiedler number of the graph. Particular focus is given to the space $\ell_\infty^d$ where we present explicit formulae and calculations as well as upper and lower bounds. As a key tool, we show that the monochrome subgraphs of a complete framework in $\ell_\infty^d$ are odd-hole-free. Connections to redundant rigidity are also presented.
Chromatic MacMahon symmetric functions of graphs
Published
• View Publication
• BIB
A MacMahon symmetric function is an invariant of the diagonal action of the symmetric group on power series in multiple alphabets of variables. We introduce an analogue of the chromatic symmetric function for vertex-weighted graphs, taking values in the MacMahon symmetric functions on two sets of variables, recording information about both cardinalities and weights of vertex sets. We prove that the chromatic symmetric MacMahon function of a tree determines the generating function for its vertex subsets by cardinality, weight, and the numbers of internal and external edges. This result generalizes the one for the unweighted case, first conjectured by Crew and proved independently by Aliste-Prieto--Martin--Wagner--Zamora and Liu--Tang.
On the Undecidability of Tiling the $3$-dimensional Space with a Set of $3$ Polycubes
Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent years. One is the existence of an aperiodic monotile in a space of sufficiently large dimension. The other is the undecidability of translational tiling of periodic subsets of space with a single tile, provided that the dimension of the space is part of the input. These two results support the following conjecture: there is a fixed dimension $n$ such that translational tiling with a single tile is undecidable. One strategy towards solving this conjecture is to prove the undecidability of translational tiling of a fixed dimension space with a set of $k$ tiles, for a positive integer $k$ as small as possible. In this paper, it is shown that translational tiling the $3$-dimensional space with a set of $3$ polycubes is undecidable.