Showing 20 papers (Total: 81378 papers, 47165 authors in database)
$d$-orthogonal polynomials, Fuss-Catalan matrices and lattice paths
In this note, we show how to define certain Riordan arrays, that we call the Fuss-Catalan-Riordan arrays, by means of a special family of $d$-orthogonal polynomials. We relate the Fuss-Catalan Riordan arrays to the Fuss Catalan numbers, and to certain lattice paths. We emphasise the role of the production matrices of the Riordan arrays that we encounter in our study.
Fractional balanced chromatic number and arboricity of planar (signed) graphs
A fractional coloring of a signed graph $(G, σ)$ is an assignment of nonnegative weights to the balanced sets (sets which do not induce a negative cycle) such that each vertex has an accumulated weight of at least 1. The minimum total wight among all such colorings is defined to be the fractional balanced chromatic number, denoted by $χ-{fb}(G, σ)$. This value is clearly upper bounded by the fractional arboricity of $G$, denoted $a_f (G)$, where weights are assigned to sets inducing no cycle rather than sets inducing no negative cycle. In this work we present an example of a planar signed simple graph of fractional balanced chromatic number larger than 2, thus in particular refuting a conjecture of Bonamy, Kardos, Kelly, and Postle suggesting that the fractional arboricity of planar graphs is bounded above by 2. By iterating the construction, we show that the supremum of the fractional balanced chromatic number of planar signed simple graphs is at least as $83/41 = 2 + 1/41$. With similar operations, we built a sequence of planar graphs whose limit of fractional arboricity is $a_f (G) = 2 + 2/25$.
Spanning trees of bounded degree in random geometric graphs
We determine the sharp threshold for the containment of all $n$-vertex trees of bounded degree in random geometric graphs with $n$ vertices. This provides a geometric counterpart of Montgomery's threshold result for binomial random graphs, and confirms a conjecture of Espuny Díaz, Lichev, Mitsche, and Wesolek. Our proof is algorithmic and adapts to other families of graphs, in particular graphs with bounded genus or tree-width.
Quantitative bounds in a popular polynomial Szemerédi theorem
We obtain polylogarithmic bounds in the polynomial Szemerédi theorem when the polynomials have distinct degrees and zero constant terms. Specifically, let $P_1, \dots, P_m \in \mathbb Z[y]$ be polynomials with distinct degrees, each having zero constant term. Then there exists a constant $c = c(P_1,\dots,P_m) > 0$ such that any subset $A \subset \{1,2,\dots,N\}$ of density at least $(\log N)^{-c}$ contains a nontrivial polynomial progression of the form $x, x+P_1(y), \dots, x+P_m(y)$. In addition, we prove an effective ``popular'' version, showing that every dense subset $A$ has some non-zero $y$ such that the number of polynomial progressions in $A$ with this difference $y$ is asymptotically at least as large as in a random set of the same density as $A$.
Dimension of unicycle posets
Motivated by the study of the dimension of random posets, it was conjectured by Bollobás and Brightwell in 1997 that if $P$ is a finite poset whose cover graph contains at most one cycle then its order dimension is at most $3$. In this paper we prove this conjecture by giving a constructive proof with explicit triplets of linear extensions realizing such posets.
Boundedness criteria for real quivers of rank 3
We study the boundedness of a mutation class for quivers with real weights. The main result is a characterization of bounded mutation classes for real quivers of rank 3.
Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms
Can algebraic geometry enhance the sharpness, robustness, and interpretability of modern neural reasoning models by equipping them with a mathematically grounded inductive bias? To answer this, we introduce Tropical Attention, an attention mechanism grounded in tropical geometry that lifts the attention kernel into tropical projective space, where reasoning is piecewise-linear and 1-Lipschitz, thus preserving the polyhedral decision structure inherent to combinatorial reasoning. We prove that Multi-Head Tropical Attention (MHTA) stacks universally approximate tropical circuits and realize tropical transitive closure through composition, achieving polynomial resource bounds without invoking recurrent mechanisms. These guarantees explain why the induced polyhedral decision boundaries remain sharp and scale-invariant, rather than smoothed by Softmax. Empirically, we show that Tropical Attention delivers stronger out-of-distribution generalization in both length and value, with high robustness against perturbative noise, and substantially faster inference with fewer parameters compared to Softmax-based and recurrent attention baselines. For the first time, we extend neural algorithmic reasoning beyond PTIME problems to NP-hard and NP-complete problems, paving the way toward sharper and more expressive Large Reasoning Models (LRMs) capable of tackling complex combinatorial challenges in phylogenetics, cryptography, particle physics, and mathematical discovery.
On the distinguishing chromatic number in hereditary graph classes
The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is the minimum number of colours in a proper vertex colouring of $G$ that is preserved by the identity automorphism only. Collins and Trenk proved that $χ_D(G)\le 2Δ(G)$ for any connected graph $G$, and the equality holds for complete balanced bipartite graphs $K_{p,p}$ and for $C_6$. In this paper, we show that the upper bound on $χ_D(G)$ can be substantially reduced if we forbid some small graphs as induced subgraphs of $G$, that is, we study the distinguishing chromatic number in some hereditary graph classes.
Uniform Turán density -- palette classification
In the 1980s, Erdős and Sós initiated the study of Turán hypergraph problems with a uniformity condition on the distribution of edges, i.e., determining density thresholds for the existence of a hypergraph H in a host hypergraph with edges uniformly distributed. In particular, Erdős and Sós asked to determine the uniform Turán densities of the hypergraphs $K_4^{(3)-}$ and $K_4^{(3)}$. After more than 30 years, the former was solved by Glebov, Král' and Volec [Israel J. Math. 211 (2016), 349-366] and Reiher, Rödl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open. In these two cases and several additional cases, the tight lower bounds are provided by a so-called palette construction.
Lamaison [arXiv:2408.09643] has recently showed that the uniform Turán density of a 3-uniform hypergraph H is equal to the supremum of the densities of palettes that H is not colorable with. We give a necessary and sufficient condition, which is easy to verify, on the existence of a 3-uniform hypergraph colorable by a set of palettes and not colorable by another given set of palettes. We also demonstrate how our result can be used to prove the existence of 3-uniform hypergraphs with specific values of the uniform Turán density.
Induced subgraphs of graphs with large deficiency
The deficiency of a graph $G$, denoted by $\kd(G)$, is the number of vertices not saturated by a maximum matching. A bone $B_i$ is the tree obtained by attaching two pendent edges to each of the end vertices of a path $P_{i}$. The local independence number of $G$, denoted by $α_l(G)$, is defines as the maximum integer $t$ such that $G$ contains an induced star $K_{1,t}$. Motivated by the seminal works of Scott and Seymour~(2016), Chudnovsky et al. (2017, 2020) on finding special types of holes in graphs with large chromatic number and bounded clique number, we establish an analog result by finding special types of bones in graphs with large deficiency and bounded local independence number. Fujita et al. (2006) proved that $\kd(G)\le n-2$ if $G$ is a connected graph with $α_l(G)<n$ and containing no bones. We further establish exact extremal deficiency bounds for connected graphs with bounded local independence number that exclude specific bone configurations. An algorithm that constructs large matchings and establishes an upper bound on the deficiency is also provided.
Strong odd colorings in graph classes of bounded expansion
We prove that for every $d\in \mathbb{N}$ and a graph class of bounded expansion $\mathscr{C}$, there exists some $c\in \mathbb{N}$ so that every graph from $\mathscr{C}$ admits a proper coloring with at most $c$ colors satisfying the following condition: in every ball of radius $d$, every color appears either zero times or an odd number of times. For $d=1$, this provides a positive answer to a question raised by Goetze, Klute, Knauer, Parada, Peña, and Ueckerdt [ArXiv 2505.02736] about the boundedness of the strong odd chromatic number in graph classes of bounded expansion. The key technical ingredient towards the result is a proof that the strong odd coloring number of a sets system can be bounded in terms of its semi-ladder index, 2VC dimension, and the maximum subchromatic number among induced subsystems.
Minimum blocking sets for families of partitions
A $3$-partition of an $n$-element set $V$ is a triple of pairwise disjoint nonempty subsets $X,Y,Z$ such that $V=X\cup Y\cup Z$. We determine the minimum size $\varphi_3(n)$ of a set $\mathcal{E}$ of triples such that for every 3-partition $X,Y,Z$ of the set $\{1,\dots,n\}$, there is some $\{x,y,z\}\in \mathcal{E}$ with $x\in X$, $y\in Y$, and $z\in Z$. In particular, $$\varphi_3(n)=\left\lceil{\frac{n(n-2)}{3}}\right\rceil.$$ For $d>3$, one may define an analogous number $\varphi_d(n)$. We determine the order of magnitude of $\varphi_d(n)$, and prove the following upper and lower bounds, for $d>3$: $$\frac{2 n^{d-1}}{d!} -o(n^{d-1}) \leq \varphi_d(n) \leq \frac{0.86}{(d-1)!}n^{d-1}+o(n^{d-1}).$$
Erdős-Szekeres Maker-Breaker Games
We present new results on Maker-Breaker games arising from the Erdős-Szekeres problem in planar geometry. This classical problem asks how large a set in general position has to be to ensure the existence of $n$ points that are the vertices of a convex $n$-gon. Moreover, Erdős further extended this problem by asking what happens if we also require that this $n$-gon has an empty interior. In a 2-player Maker-Breaker setting, this problem inspires two main games. In both games, Maker tries to obtain an empty convex $k$-gon, while Breaker tries to prevent her from doing so. The games differ only in which points can comprise the winning $k$-gons: in the monochromatic version the points of both players can make up a $k$-gon, while in the bichromatic version only Maker's points contribute to such a polygon. Both settings are studied in this paper. We show that in the monochromatic game, Maker always wins. Even in a biased game where Breaker is allowed to place $s$ points per round, for any constant $s \geq 1$, Maker has a winning strategy. In the bichromatic setting, Maker still wins whenever Breaker is allowed to place $s$ points per round for any constant $s<2$. This settles an open problem posed by Aichholzer et al. (2019). Furthermore, we show that there are games that are not a lost cause for Breaker. Whenever $k\ge 8$ and Breaker is allowed to play 12 or more points per round, she has a winning strategy. We also consider the one-round bichromatic game (a.k.a.\ the offline version). In this setting, we show that Breaker wins if she can place twice as many points as Maker but if the bias is less than $2$, then Maker wins for large enough set of points.
$4K_1$-free graph with the cop number $3$
The game of cops and robber is a two-player turn-based game played on a graph where the cops try to capture the robber. The cop number of a graph $G$, denoted by $c(G)$ is the minimum number of cops required to capture the robber. For a given class of graphs ${\cal F}$, let $c({\cal F}):=\sup\{c(F)|F\in {\cal F}\}$, and let Forb$({\cal F})$ denote the class of ${\cal F}$-free graphs. We show that the complement of the Shrikhande graph is $(4K_1,C_{\ell}$)-free for any $\ell \geq 6$ and has the cop number~$3$. This provides a counterexample for the conjecture proposed by Sivaraman (arxiv, 2019) which states that if $G$ is $C_{\ell}$-free for all $\ell\ge 6$, then $c(G)\le 2$. This also gives a negative answer to the question posed by Turcotte (Discrete Math. 345:112660 (2022)) 112660. to check whether $c($Forb$(pK_1))=p-2$. Turcotte also posed the question to check whether $c($Forb$(pK_1+K_2))\leq p+1$, for $p\geq 3$. We prove that this result indeed holds. We also generalize this result for Forb$(pK_1+qK_2)$. Motivated by the results of Baird et al. (Contrib. Discrete Math. 9:70--84 (2014)) and Turcotte and Yvon (Discrete Appl. Math. 301:74--98 (2021)), we define the upper threshold degree and lower threshold degree for a particular class of graphs and show some computational advantage to find the cop number using these.
Affine standard Lyndon words
In this note, we establish the convexity and monotonicity for affine standard Lyndon words in all types, generalizing the $A$-type results of arXiv:2305.16299. We also derive partial results on the structure of imaginary standard Lyndon words and present a conjecture for their general form. Additionally, we provide computer code in Appendix which, in particular, allows to efficiently compute affine standard Lyndon words in exceptional types for all orders.
Subdivisions of Six-Blocks Cycles C(k,1,1,1,1,1) in Strong Digraphs
A cycle C(k1,k2,...,kn) is the oriented cycle formed of n blocks of lengths k1,k2,...,kn-1 and kn respectively. In 2018 Cohen et al. conjectured that for every positive integers k1,k2,...,kn there exists a constant g(k1,k2,...,kn) such that every strongly connected digraph containing no subdivisions of C(k1,k2,...,kn) has a chromatic number at most g(k1,k2,...,kn). In their paper, Cohen et al. confirmed the conjecture for cycles with two blocks and for cycles with four blocks having all its blocks of length 1. Recently, the conjecture was proved for special types of four-blocks cycles. In this paper, we confirm Cohen et al.'s conjecture for all six-blocks cycles C(k,1,1,1,1,1). Precisely, for any integer k, we prove that every strongly connected digraph containing no subdivisions of C(k,1,1,1,1,1) has a chromatic number at most O(k), and we significantly reduce the chromatic number in case k=1.
Infinite linear patterns in sets of positive density
In this article we describe all possible infinite linear configurations that can be found in a shift of any set of positive upper Banach density. This simultaneously generalizes Szemerédi's theorem on arithmetic progressions and the recent density finite sums theorem of Kra, Moreira, Richter, and Robertson.
The strong hull property for affine irreducible Coxeter groups of rank 3
A conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group possesses the strong hull property. In this paper, we prove this conjecture for all affine irreducible Coxeter groups of rank 3. Our approach exploits the geometry of affine buildings to reduce the analysis of convex hulls to finitely many manageable configurations. These geometric reduction techniques offer a novel framework that may be applicable to higher-rank cases.
Five-Term Relations for wreath Macdonald polynomials and tableau formulas for Pieri coefficients
We present a variety of new identities involving operators in the theory of wreath Macdonald polynomials. One such family of identities gives five-term relations, analogous to the one given by Garsia and Mellit for the modified Macdonald polynomials. As a consequence, we generate tableau formulas for wreath Macdonald Pieri coefficients, which give an incredibly quick way of computing their monomial expansions.
Comparison of stability indices of powers of graded ideals
In this paper, we compare the index of ass-stability $\text{astab}(I)$ and the index of $\text{v}$-stability $\text{vstab}(I)$ of powers of a graded ideal $I$. We prove that $\text{astab}(I)=1\le\text{vstab}(I)$ for any graded ideal $I$ in a 2-dimensional polynomial ring, and that $\text{vstab}(I)$ can be any positive integer in this situation. Moreover, given any integers $a,b\ge1$, we construct a graded ideal $I$ in a $3(a+1)$-dimensional polynomial ring such that $(\text{astab}(I),\text{vstab}(I))=(a,b)$.