Showing 20 papers (Total: 81564 papers, 47262 authors in database)
A study of a recursive sequence of polynomials revealing weighted Catalan Numbers
This paper examines the recursive sequence of polynomials $p_n(x)$, defined by $p_0(x) = x^2 - 2$ and $p_n(x) = p_{n-1}(x)^2 - 2$ for $n \geq 1$. It describes the field-theoretic motivations behind this sequence, derives a recursive formula for its coefficients, and identifies invariants that uncover combinatorial connections, including links to weighted Catalan numbers.
Enlarging a connected graph while keeping entropy and spectral radius: self-similarity techniques
This work is about self-similar sequences of growing connected graphs. We explain how to construct such sequences and why they are important. We show for instance that all the connected graphs in a self-similar sequence have not only the same entropy, but also the same spectral radius.
The odd triangle ring puzzle problem
Ring puzzles are tessellations of the Euclidean plane respecting local constraints around vertices. Such puzzles may arise in geometric group theory, for example, as embedded flat planes in certain CAT(0) complexes of dimension 2. In the present paper, we solve the odd ring puzzle problem, which is associated with the unique odd Moebius--Kantor CAT(0) complex by the method of Sidon sequences. We prove that there are precisely three families of such puzzles, two uncountable families, and a finite family of twelve exceptional puzzles.
On the $L^q$ dimension of stationary measures for Möbius iterated function systems
We study the $L^q$ dimension $D(ν,q)\ (q>1)$ of stationary measures $ν$ for Möbius iterated function systems on $\mathbb{R}$ satisfying the strongly Diophantine condition, and try the extension of Shmerkin's result \cite[Theorem 6.6]{Shm19}. As the result, we show that there is the dichotomy: the $L^q$ spectrum $τ(ν,q)=(q-1)D(ν,q)$ is equal to the desired value $\min\{\widetildeτ(ν,q),q-1\}$ for any $q>1$, where $\widetildeτ(ν,q)$ is the zero of the canonical pressure function, or there exist $q_0>1$ and $0<α<1$ such that $τ(ν,q)=\min\{\widetildeτ(ν,q),q-1\}$ for $1<q<q_0$ and $τ(ν,q)=αq$ for $q\geq q_0$. In addition, we give examples of Möbius iterated function systems which show the latter case by giving an affirmative answer to Solomyak's question \cite[Question 2]{Sol24}.
Hypercube minor-universality
A graph $G$ is $m$-minor-universal if every graph with at most $m$ edges (and no isolated vertices) is a minor of $G$. We prove that the $d$-dimensional hypercube, $Q_d$, is $Ω\left(\frac{2^d}{d}\right)$-minor-universal, and that there exists an absolute constant $C >0$ such that $Q_d$ is not $\frac{C2^d}{\sqrt{d}}$-minor-universal. Similar results are obtained in a more generalized setting, where we bound the size of minors in a product of finite connected graphs. A key component of our proof is the following claim regarding the decomposition of a permutation of a box into simpler, one-dimensional permutations: Let $n_1, \dots, n_d$ be positive integers, and define $X := [n_1] \times \dots \times [n_d]$. We prove that every permutation $σ: X \to X$ can be expressed as $σ= σ_1 \circ \dots \circ σ_{2d-1}$, where each $σ_i$ is a one-dimensional permutation, meaning it fixes all coordinates except possibly one. We discuss future directions and pose open problems.
On the hook length biases of the $2$- and $3$-regular partitions
Let $b_{t,i}(n)$ denote the total number of the $i$ hooks in the $t$-regular partitions of $n$. Singh and Barman (J. Number Theory { 264} (2024), 41--58) raised two conjectures on $b_{t,i}(n)$. The first conjecture is on the positivity of $b_{3,2}(n)-b_{3,1}(n)$ for $n\ge 28$. The second conjecture states that when $k\ge 3$, $b_{2,k}(n)\ge b_{2,k+1}(n)$ for all $n$ except for $n= k+1$. In this paper, we confirm the first conjecture. {Moreover, we show that for any odd $k\ge 3$, the second conjecture fails for infinitely many $n$.} {Furthermore, we verify that the second conjecture holds for $k=4$ and $6$.} We also propose a conjecture on the even case $k$, which is a modification of Singh and Barman's second conjecture.
On total transitivity of graphs
Let $G = (V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say that $A$ \emph{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1 \leq i < j \leq k$. In this article, we study a variation of the transitive partition, namely the \emph{total transitive partition}. The total transitivity $Tr_t(G)$ is defined as the maximum order of a vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ obtained by repeatedly removing a total dominating set from $G$ until no vertices remain. Thus, $V_1$ is a total dominating set of $G$, $V_2$ is a total dominating set of the graph $G_1 = G - V_1$, and, for $2 \leq i \leq k - 1$, $V_{i+1}$ is a total dominating set in the graph $G_i = G - \bigcup_{j=1}^i V_j$. A vertex partition of order $Tr_t(G)$ is called a $Tr_t$-partition. The \textsc{Maximum Total Transitivity Problem} is to find a total transitive partition of a given graph with the maximum number of parts. First, we characterize split graphs with total transitivity equal to $1$ and $ω(G) - 1$. Moreover, for a split graph $G$ and $1 \leq p \leq ω(G) - 1$, we provide necessary conditions for $Tr_t(G) = p$. Furthermore, we show that the decision version of this problem is NP-complete for bipartite graphs. On the positive side, we prove that this problem can be solved in linear time for bipartite chain graphs. Finally, we design a polynomial-time algorithm to solve the \textsc{Maximum Total Transitivity Problem} in trees.
Cutting a unit square and permuting blocks
Consider a random permutation of $kn$ objects that permutes $n$ disjoint blocks of size $k$ and then permutes elements within each block. Normalizing its cycle lengths by $kn$ gives a random partition of unity, and we derive the limit law of this partition as $k,n \to \infty$. The limit may be constructed via a simple square cutting procedure that generalizes stick breaking in the classical case of random permutations ($k=1$). The expected size of the largest part of this square cutting distribution is approximated to be $0.40$, in contrast with the Golomb-Dickman constant around $0.624$ describing the longest cycle of a uniform random permutation as well as the largest prime factor of a random integer. The distribution function of this largest part is shown to also be the mean of a certain multiplicative function. Along the way we give the first extension of the Erdős-Turán law to a proper permutation subgroup.
Uniform set systems with small VC-dimension
Published in Int. Math. Res. Not. IMRN 2025, no. 17, rnaf269
• View Publication
• BIB
We investigate the longstanding problem of determining the maximum size of a $(d+1)$-uniform set system with VC-dimension at most $d$. Since the seminal 1984 work of Frankl and Pach, which established the elegant upper bound $\binom{n}{d}$, this question has resisted significant progress. The best-known lower bound is $\binom{n-1}{d} + \binom{n-4}{d-2}$, obtained by Ahlswede and Khachatrian, leaving a substantial gap of $\binom{n-1}{d-1}-\binom{n-4}{d-2}$. Despite decades of effort, improvements to the Frankl--Pach bound have been incremental at best: Mubayi and Zhao introduced an $Ω_d(\log{n})$ improvement for prime powers $d$, while Ge, Xu, Yip, Zhang, and Zhao achieved a gain of 1 for general $d$.
In this work, we provide a purely combinatorial approach that significantly sharpens the Frankl--Pach upper bound. Specifically, for large $n$, we demonstrate that the Frankl--Pach bound can be improved to $\binom{n}{d} - \binom{n-1}{d-1} + O_d(n^{d-1 - \frac{1}{4d-2}})=\binom{n-1}{d}+O_d(n^{d-1 - \frac{1}{4d-2}})$. This result completely removes the main term $\binom{n-1}{d-1}$ from the previous gap between the known lower and upper bounds. It also offers fresh insights into the combinatorial structure of uniform set systems with small VC-dimension. In addition, the original Erdős--Frankl--Pach conjecture, which sought to generalize the EKR theorem in the 1980s, has been disproven. We propose a new refined conjecture that might establish a sturdier bridge between VC-dimension and the EKR theorem, and we verify several specific cases of this conjecture, which is of independent interest.
On 1-11-representability and multi-1-11-representability of graphs
Jeff Remmel introduced the concept of a $k$-11-representable graph in 2017. This concept was first explored by Cheon et al. in 2019, who considered it as a natural extension of word-representable graphs, which are exactly 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al. is that any graph is 2-11-representable, while it is still unknown whether every graph is 1-11-representable. Cheon et al. showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs, which was extended by additional powerful tools suggested by Futorny et al. in 2024.
In this paper, we prove that all graphs on at most 8 vertices are 1-11-representable hence extending the known fact that all graphs on at most 7 vertices are 1-11-representable. Also, we discuss applications of our main result in the study of multi-1-11-representation of graphs we introduce in this paper analogously to the notion of multi-word-representation of graphs suggested by Kenkireth and Malhotra in 2023.
Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
The graph parameter shrub-depth is a dense analog of tree-depth. We characterize classes of bounded shrub-depth by forbidden induced subgraphs. The obstructions are well-controlled flips of large half-graphs and of disjoint unions of many long paths. Applying this characterization, we show that on every hereditary class of unbounded shrub-depth, MSO is more expressive than FO. This confirms a conjecture of [Gajarský and Hliněný; LMCS 2015] who proved that on classes of bounded shrub-depth FO and MSO have the same expressive power. Combined, the two results fully characterize the hereditary classes on which FO and MSO coincide, answering an open question by [Elberfeld, Grohe, and Tantau; LICS 2012].
Our work is inspired by the notion of stability from model theory. A graph class C is MSO-stable, if no MSO-formula can define arbitrarily long linear orders in graphs from C. We show that a hereditary graph class is MSO-stable if and only if it has bounded shrub-depth. As a key ingredient, we prove that every hereditary class of unbounded shrub-depth FO-interprets the class of all paths. This improves upon a result of [Ossona de Mendez, Pilipczuk, and Siebertz; Eur. J. Comb. 2025] who showed the same statement for FO-transductions instead of FO-interpretations.
Universal optimality of $T$-avoiding spherical codes and designs
Given an open set (a union of open intervals), $T\subset [-1,1]$ we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the Leech lattices, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.
Graphs with no long claws: An improved bound for the analog of the Gyárfás' path argument
For a fixed integer $t \geq 1$, a ($t$-)long claw, denoted $S_{t,t,t}$, is the unique tree with three leaves, each at distance exactly $t$ from the vertex of degree three. Majewski et al. [ICALP 2022, ACM ToCT 2024] proved an analog of the Gyárfás' path argument for $S_{t,t,t}$-free graphs: given an $n$-vertex $S_{t,t,t}$-free graph, one can delete neighborhoods of $\mathcal{O}(\log n)$ vertices so that the remainder admits an extended strip decomposition (an appropriate generalization of partition into connected components) into particles of multiplicatively smaller size. This statement has proven to be very useful in designing quasi-polynomial time algorithms for Maximum Weight Independent Set and related problems in $S_{t,t,t}$-free graphs.
In this work, we refine the argument of Majewski et al. and show that a constant number of neighborhoods suffice.
Framed Blob Monoids
We introduce and study blob and framed blob monoids. In particular, several realizations of these monoids are given. We compute the cardinality of the framed blob monoid and derive some combinatorial formulas involving this cardinality.
The Maximum Number of Sets for 12 Cards is 14
We present a novel proof that the maximum number of sets with 4 properties for 12 cards is 14 using the geometry of the finite field F_3^4, number theory, combinatorics, and graph theory. We also present several computer algorithms for finding the maximum number of sets. In particular, we show a complete set solver that iterates over all possible board configurations. We use this method to compute the maximum number of sets with 4 properties for a small number of cards, but it is generally too inefficient. However, with this method, we compute the maximum number of sets for 3 properties for all possible numbers of cards. We also present an algorithm for constructing near-optimal maximum sets.
A classification of $Q$-polynomial distance-regular graphs with girth $6$
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D$ and valency $k \ge 3$. In [Homotopy in $Q$-polynomial distance-regular graphs, Discrete Math., {\bf 223} (2000), 189-206], H. Lewis showed that the girth of $Γ$ is at most $6$. In this paper we classify graphs that attain this upper bound. We show that $Γ$ has girth $6$ if and only if it is either isomorphic to the Odd graph on a set of cardinality $2D +1$, or to a generalized hexagon of order $(1, k -1)$.
Lexicographic Extensions preserve Euclideaness
We prove that a lexicographical extension of a Euclidean oriented matroid remains Euclidean.
Separable overpartition classes and excludant sizes of an overpartition
An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we investigate three contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we study the second minimal excludant and mex sequence of an overpartition. Finally, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are separable overpartition classes.
Generalized Orthogonal de Bruijn and Kautz Sequences
A de Bruijn sequence of order $k$ over a finite alphabet is a cyclic sequence with the property that it contains every possible $k$-sequence as a substring exactly once. Orthogonal de Bruijn sequences are collections of de Bruijn sequences of the same order, $k$, satisfying the joint constraint that every $(k+1)$-sequence appears as a substring in at most one of the sequences in the collection. Both de Bruijn and orthogonal de Bruijn sequences have found numerous applications in synthetic biology, although the latter remain largely unexplored in the coding theory literature. Here we study three relevant practical generalizations of orthogonal de Bruijn sequences where we relax either the constraint that every $(k+1)$-sequence appears exactly once, or that the sequences themselves are de Bruijn rather than balanced de Bruijn sequences. We also provide lower and upper bounds on the number of fixed-weight orthogonal de Bruijn sequences. The paper concludes with parallel results for orthogonal nonbinary Kautz sequences, which satisfy similar constraints as de Bruijn sequences except for only being required to cover all subsequences of length $k$ whose maximum runlength equals to one.
Mutations and (Non-)Euclideaness in oriented matroids
We call an oriented matroid Mandel if it has an extension in general position which makes all programs with that extension Euclidean. If $L$ is the minimum number of mutations adjacent to an element of the groundset, we call an oriented matroid Las Vergnas if $L > 0$. If $\frak{O}_{\mathcal{property}}$ is the class of oriented matroids having a certain property, it holds $\frak{O} \supset \frak{O}_{\mathcal{Las Vergnas}} \supset \frak{O}_{\mathcal{Mandel}} \supset \frak{O}_{\mathcal{Euclidean}} \supset \frak{O}_{\mathcal{realizable}}.$ All these inclusions are proper, we give explicit proofs/examples for the parts of this chain that were not known.
For realizable hyperplane arrangements of rank $r$ we have $L = r$ which was proved by Shannon. Under the assumption that a (modified) intersection property holds we give an analogon to Shannons proof and show that uniform rank $4$ Euclidean oriented matroids with that property have $L = 4$. Using the fact that the lexicographic extension creates and destroys certain mutations, we show that for Euclidean oriented matroids holds $L \ge 3$.
We give a survey of preservation of Euclideaness and prove that Euclideaness remains after a certain type of mutation-flips. This yields that a path in the mutation graph from a Euclidean oriented matroid to a totally non-Euclidean oriented matroid (which has no Euclidean oriented matroid programs) must have at least three mutation-flips. Finally, a minimal non-Euclidean or rank $4$ uniform oriented matroid is Mandel if it is connected to a Euclidean oriented matroid via one mutation-flip, hence we get many examples for Non-Euclidean but Mandel oriented matroids and have $L \le 3$ for those of rank $4$.