Showing 20 papers (Total: 83190 papers, 48060 authors in database)
How to bound Klarner's constant without (a huge number of) Klarner--Rivest twigs
Although known lower bounds for the growth rate $λ$ of polyominoes, or Klarner's constant, are already close to the empirically estimated value $4.06$, almost no conceptual progress on upper bounds has occurred since the seminal work of Klarner and Rivest (1973). Their approach, based on enumerating millions of local neighborhoods (``twigs'') yielded $λ\le 4.649551$, later refined by Barequet and Shalah (2022) to $λ\le 4.5252$ using trillions of configurations. The inefficiency lies in representing each polyomino as an almost unrestricted sequence of twigs once the large set of neighborhoods is fixed.
We introduce a recurrence-based framework that constrains how local neighborhoods concatenate. Using a small system of convolution-type recurrences, we obtain $λ\le 4.5238$. The proof is short, self-contained, and fully verifiable by hand. Despite the marginal numerical improvement, the main contribution is methodological: replacing trillions of configurations with a concise one-page system of recurrences. The framework can be extended, with modest computational assistance, to further tighten the bound and to address other combinatorial systems governed by similar local constraints.
Tropicalising hypergeometric $τ$-functions
Weighted Hurwitz numbers arise as coefficients in the power sum expansion of deformed hypergeometric $τ$--functions. They specialise to essentially all known cases of Hurwitz numbers, including classical, monotone, strictly monotone and completed cycles Hurwitz numbers. In this work, we develop a tropical geometry framework for their study, thus enabling a simultaneous investigation of all these cases. We obtain a correspondence theorem expressing weighted Hurwitz numbers in terms of tropical covers. Using this tropical approach, we generalise most known structural results previously obtained for the aforementioned special cases to all weighted Hurwitz numbers. In particular, we study their polynomiality and derive wall--crossing formulae. Moreover, we introduce elliptic weighted Hurwitz numbers and derive tropical mirror symmetry for these new invariants, i.e. we prove that their generating function is quasimodular and that they may be expressed as Feynman integrals.
Kempe equivalence of 4-colourings of some plane triangulations
Let $G_{n}$, where $n \geqslant 5$, be a simple plane triangulation which has $2$ non-adjacent vertices of degree $n$ (called \textit{poles} of $G_n$) and $2n$ vertices of degree~$5$.
A set of Kempe equivalent $4$-colourings of $G_{n}$ is called a \textit{Kempe class}. The number of Kempe classes of $G_{n}$ is enumerated. In particular it is shown that there is at least $\lfloor \frac{n}{6} \rfloor$ Kempe classes of $G_{n}$.
We say that $4$-colourings $A, B$ of $G_{n}$ are \textit{equal} if there exists a permutation~$P$ of the set of colours such that $A = P \circ B$. Otherwise, $A$, $B$ are \textit{different}. The number of different $4$-colourings of $G_{n}$ is enumerated.
Suppose that $H_{n} = G_{n} - b$, where $b$ is a pole of $G_{n}$. We prove that all $4$-colourings of $H_{n}$ are Kempe equivalent up to
$\lfloor \frac{13n}{2} \rfloor$ Kempe changes. %$3n$ ($\lfloor \frac{9n}{2} \rfloor$ and $\lfloor \frac{13n}{2} \rfloor$) Kempe changes, for $n \equiv 0\, (mod\, 3)$ ($n \equiv 2\, (mod\, 3)$ and $n \equiv 1\, (mod\, 3)$, respectively).
Cutting plane methods with gradient-based heuristics
Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their computational performance can be highly variable. Recent research has shown that constructing cutting planes at the projection of infeasible points onto the feasible set can significantly improve the performance of cutting plane approaches. Motivated by this, we examine whether constructing cuts at feasible points closer to the optimal solution set could further enhance the effectiveness of cutting plane methods. We propose a hybrid method that combines the global convergence guarantees of cutting plane methods with the local exploration capabilities of first-order optimization techniques. Specifically, we use projected gradient methods as a heuristic to identify promising regions of the solution space and generate tighter, more informative cuts. We focus on binary optimization problems with convex differentiable objective functions, where projection operations can be efficiently computed via mixed-integer linear programming. By constructing cuts at points closer to the optimal solution set and eliminating non-optimal regions, the algorithm achieves better approximation of the feasible region and faster convergence. Numerical experiments confirm that our approach improves both the quality of the solution and computational efficiency across different solver configurations. This framework provides a flexible foundation for further extensions to more general discrete domains and offers a promising heuristic to the toolkit for nonlinear discrete optimization.
On Perrin Cordial Labeling: A New Approach in Graph Labeling Theory
In this paper, we introduce the concept of \emph{Perrin cordial labeling}, a novel vertex labeling scheme inspired by the Perrin number sequence and situated within the broader framework of graph labeling theory. The Perrin numbers are defined recursively by the relation \( P_n = P_{n-2} + P_{n-3} \), with initial values \( P_0 = 0 \), \( P_1 = 3 \), and \( P_2 = 0 \). A Perrin cordial labeling of a graph \( G = (V, E) \) is an injective function \( f : V(G) \rightarrow \{P_0, P_1, \dots, P_n\} \), where the induced edge labeling \( f^* : E(G) \rightarrow \{0,1\} \) is given by \( f^*(uv) = (f(u) + f(v)) \pmod 2 \). The labeling is said to be cordial if the number of edges labeled \( 0 \), denoted \( e_f(0) \), and the number labeled \( 1 \), denoted \( e_f(1) \), satisfy the condition \( |e_f(0) - e_f(1)| \leq 1 \). A graph that admits such a labeling is called a \emph{Perrin cordial graph}. This study investigates the existence of Perrin cordial labelings in various families of graphs by analyzing their structural properties and compatibility with the proposed labeling scheme. Our results aim to enrich the theory of graph labelings and highlight a new connection between number theory and graph structures.
Bipartite holes, degree sums and Hamilton cycles
The {\em bipartite-hole-number} of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist integers $a$ and $b$ with $a + b = k+1$ such that for any two disjoint sets $A, B \subseteq V(G)$, there is an edge between $A$ and $B$.
McDiarmid and Yolov initiated research on bipartite holes by extending Dirac's classical theorem on minimum degree and Hamiltonian cycles.
They showed that a graph on at least three vertices with $δ(G) \ge \widetildeα(G)$ is Hamiltonian.
Later, Draganić, Munhá Correia and Sudakov proved that $δ\ge \widetildeα(G)$ implies that $G$ is pancyclic, unless $G = K_{\frac n2, \frac n2}$. This extended the result of McDiarmid and Yolov and generalized a theorem of Bondy on pancyclicity.
In this paper, we show that a $2$-connected graph $G$ is Hamiltonian if $σ_2(G) \ge 2 \widetildeα(G) - 1$, and that a connected graph $G$ contains a cycle through all vertices of degree at least $\widetildeα(G)$.
Both results extended McDiarmid and Yolov's result.
As a step toward proving pancyclicity, we show that if an $n$-vertex graph $G$ satisfies $σ_2(G) \ge 2 \widetildeα(G) - 1$, then it either contains a triangle or it is $K_{\frac n2, \frac n2}$.
Finally, we discuss the relationship between connectivity and the bipartite hole number.
Attractors of sequences coding $β$-integers
In this paper, we describe minimal string attractors of prefixes of simple Parry sequences. These sequences form a coding of distances between consecutive $β$-integers in numeration systems with a real base $β$. Simple Parry sequences have been recently studied from this point of view and attractors of prefixes have been described. However, the authors themselves had doubts about their minimality and conjectured that attractors of alphabet size should be sufficient. We confirm their conjecture. Moreover, we provide attractors of prefixes of some particular form of binary non-simple Parry sequences.
Vanishing theorems on wonderful varieties
We study vanishing theorems of tautological bundles in the sense of Berget--Eur--Spink--Tseng restricted to wonderful varieties. As an application, we prove a characteristic-independent analogue of Brieskorn's result on cohomology of arrangement complements, in addition to a comparison theorem between Orlik--Solomon algebra and the logarithmic de Rham cohomology of wonderful varieties. In a different direction, we extend a vanishing theorem of Borel--Weil--Bott type for tautological bundles. Finally, we reduce the weak version of White's basis conjecture to a problem about cohomology vanishing of tautological bundles.
Lexical tableaux and quasisymmetric functions
There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.
Pattern Forcing (0,1)-Matrices
We introduce two related notions of pattern enforcement in $(0,1)$-matrices: $Q$-forcing and strongly $Q$-forcing, which formalize distinct ways a fixed pattern $Q$ must appear within a larger matrix. A matrix is $Q$-forcing if every submatrix can realize $Q$ after turning any number of $1$-entries into $0$-entries, and strongly $Q$-forcing if every $1$-entry belongs to a copy of $Q$.
For $Q$-forcing matrices, we establish the existence and uniqueness of extremal constructions minimizing the number of $1$-entries, characterize them using Young diagrams and corner functions, and derive explicit formulas and monotonicity results. For strongly $Q$-forcing matrices, we show that the minimum possible number of $0$-entries of an $m\times n$ strongly $Q$-forcing matrix is always $O(m+n)$, determine the maximum possible number of $1$-entries of an $n\times n$ strongly $P$-forcing matrix for every $2\times2$ and $3\times3$ permutation matrix, and identify symmetry classes with identical extremal behavior.
We further propose a conjectural formula for the maximum possible number of $1$-entries of an $n\times n$ strongly $I_k$-forcing matrix, supported by results for $k=2,3$. These findings reveal contrasting extremal structures between forcing and strongly forcing, extending the combinatorial understanding of pattern embedding in $(0,1)$-matrices.
Labeled Chip-Firing on Star Graphs
We study the stable configurations of the labeled chip-firing game on an infinitely subdivided $k$-star graph starting with $km$ chips on the center vertex. We prove a sorting property of this game and analyze special stable configurations corresponding to standard Young tableaux.
A decomposition formula for the Bartholdi zeta function of a hypergraph covering
It is shown by Mizuno and Sato that the Bartholdi zeta function of a covering graph is decomposed as a product of Bartholdi zeta functions of a base graph that are associated with representations. In this paper, we extend their result to the case of a hypergraph covering.
Rooted $C_5$-Minors
Let $G$ be a graph and $x_1, x_2, \ldots, x_k$ be distinct vertices of $G$. We say $(G,x_1x_2\ldots x_k)$ has a $C_k$-minor or $G$ has a $C_k$-minor rooted at $x_1x_2\ldots x_k$, if there exist pairwise disjoint sets $X_1, X_2, \ldots, X_k\subseteq V(G)$, such that for all $i\in [k]$, $G[X_i]$ is connected, $x_i\in X_i$, and $G$ has an edge between $X_i$ and $X_{i+1}$, where $X_{k+1}=X_k$. When $k=3$ it is easy to determine when $(G,x_1x_2x_3)$ contains a $C_3$-minor. For $k=4$, Robertson, Seymour and Thomas gave a characterization of $(G,x_1x_2x_3x_4)$ with no $C_4$-minor, which, in particular, implies that such $G$ has connectivity at most 5. In this paper, we apply a method of Thomas and Wollan to prove a result, which implies that if $G$ is $10$-connected then, for all distinct vertices $x_1,x_2,x_3,x_4,x_5$ of $G$, $(G,x_1x_2x_3x_4x_5)$ has a $C_5$-minor.
Structure and geometry of the tableaux algebra
We study the monoid algebra ${}_{n}\mathcal{T}_{m}$ of semistandard Young tableaux, which coincides with the Gelfand--Tsetlin semigroup ring $\mathcal{GT}_{n}$ when $m = n$. Among others, we show that this algebra is commutative, Noetherian, reduced, Koszul, and Cohen--Macaulay. We provide a complete classification of its maximal ideals and compute the topology of its maximal spectrum. Furthermore, we classify its irreducible modules and provide a faithful semisimple representation. We also establish that its associated variety coincides with a toric degeneration of certain partial flag varieties constructed by Gonciulea--Lakshmibai. As an application, we show that this algebra yields injective embeddings of $\mathfrak{sl}_n$-crystals, extending a result of Bossinger--Torres.
Proof of a conjecture of Fomichev and Karev
Published
• View Publication
• BIB
We prove a conjecture of Fomichev and Karev [{European J. Combin.} 127 (2025) 104160] by showing the equality of two graph invariants: $\varphi$, defined via graph colorings, and $ψ$, derived from the $\mathfrak{sl}(2)$-weight system of its 2-dimensional irreducible representation.
Isotropy and completeness indices of multilinear maps
Structures of multilinear maps are characterized by invariants. In this paper we introduce two invariants, named the isotropy index and the completeness index. These invariants capture the tensorial structure of the kernel of a multilinear map. We establish bounds on both indices in terms of the partition rank, geometric rank, analytic rank and height, and present three applications: 1) Using the completeness index as an interpolator, we establish upper bounds on the aforementioned tensor ranks in terms of the subrank. This settles an open problem raised by Kopparty, Moshkovitz and Zuiddam, and consequently answers a question of Derksen, Makam and Zuiddam. 2) We prove a Ramsey-type theorem for the two indices, generalizing a recent result of Qiao and confirming a conjecture of his. 3) By computing the completeness index, we obtain a polynomial-time probabilistic algorithm to estimate the height of a polynomial ideal.
Sárközy's theorem in $\mathbf{F}_2[x]$
Green showed that, conditional on GRH, a subset $A \subseteq [N]$ with $\mid A \mid \gg_ε N^{\frac{11}{12}+ε}$ must contain two elements whose difference is $p-1$ for $p$ a prime. We prove an analogous unconditional result for $\mathbf{F}_2[x]$, improving the exponent to $\frac{7}{8}+ε$.
Lucky Cars in Fubini Rankings and Unit Fubini Rankings
We study lucky cars in subsets of parking functions, called Fubini rankings and unit Fubini rankings. A Fubini ranking is a sequence of nonnegative integers that encodes a valid ranking of competitors, where ties are allowed. A car (or competitor) is said to be lucky if it is the first instance of that rank appearing in the sequence. We present combinatorial characterizations and enumeration formulas for lucky cars in both Fubini rankings and unit Fubini rankings, and establish connections between these objects and ordered set partitions, as well as integer compositions. To obtain our results, we use several techniques to enumerate statistics over these families of objects.
In particular, we employ generating functions, bijective and combinatorial arguments, recurrence relations, and Zeilberger's creative telescoping method.
Ergodic averages for sparse corners
We develop a framework for the study of the limiting behavior of multiple ergodic averages with commuting transformations when all iterates are given by the same sparse sequence; this enables us to partially resolve several longstanding problems. First, we address a special case of the joint intersectivity question of Bergelson, Leibman, and Lesigne by giving necessary and sufficient conditions under which the multidimensional polynomial Szemerédi theorem holds for length-three patterns. Second, we show that for two commuting transformations, the Furstenberg averages remain unchanged when the iterates are taken along sparse sequences such as $[n^c]$ for a positive noninteger $c$, advancing a conjecture of the first author. Third, we extend a result of Chu on popular common differences in linear corners to polynomial and Hardy corners. Lastly, we answer open problems of Le, Moreira, and Richter concerning decomposition results for double correlation sequences. Our toolbox includes recent degree lowering and seminorm smoothing techniques, the machinery of magic extensions of Host, and novel structured extensions motivated by works of Tao and Leng. Combined, these techniques reduce the analysis to settings where the Host-Kra theory of characteristic factors and equidistribution on nilmanifolds yield a family of striking identities from which our main results follow.
A Lovász-Kneser theorem for triangulations
We show that the Kneser graph of triangulations of a convex $n$-gon has chromatic number $n-2$.