http://arxiv.org/api/8h/MmLYbA/UAPAVLH5V1QAzibqY 2025-04-22T00:00:00-04:00 70890 75 15 http://arxiv.org/abs/2504.13542v1 2025-04-18T08:13:07Z 2025-04-18T08:13:07Z

We consider singular (aka genus $0$) walks in the quarter plane and their associated generating functions $Q(x,y,t)$, which enumerate the walks starting from the origin, of fixed endpoint (encoded by the spatial variables $x$ and $y$) and of fixed length (encoded by the time variable $t$). We first prove that the previous series can be extended up to a universal value of $t$ (in the sense that this holds for all singular models), namely $t=\frac{1}{2}$, and we provide a probabilistic interpretation of $Q(x,y,\frac{1}{2})$. As a second step, we refine earlier results in the literature and show that $Q(x,y,t)$ is indeed differentially transcendental for any $t\in(0,\frac{1}{2}]$. Moreover, we prove that $Q(x,y,\frac{1}{2})$ is strongly differentially transcendental. As a last step, we show that for certain models the series expansion of $Q(x,y,\frac{1}{2})$ is directly related to Bernoulli numbers. This provides a second proof of its strong differential transcendence.

Alin Bostan Lucia Di Vizio Kilian Raschel 31 pages, 4 figures http://arxiv.org/abs/2504.13507v1 2025-04-18T06:58:15Z 2025-04-18T06:58:15Z

Let $T_\ell(n)$ denote the number of $\ell-$regular partition triples of $n$ and let $p_{\ell, 3}(n)$ enumerates the number of 2--color partition triples of $n$ where one of the colors appear only in parts that are multiples of $\ell$. In this paper, we prove several infinite families of congruences modulo powers of 3 for $T_\ell(n)$ and $p_{\ell, 3}(n)$, where $\ell \geq 1$ and $\equiv 0\pmod{3^k}$, and $\equiv \pm 3^k \pmod{3^{k+1}}$.

B. Hemanthkumar D. S. Gireesh http://arxiv.org/abs/2504.13492v1 2025-04-18T06:09:26Z 2025-04-18T06:09:26Z

The Cambrian lattices, introduced in (Reading, 2006), generalize the Tamari lattice to any choice of Coxeter element in any finite Coxeter group. They are further generalized to the m-Cambrian lattices (Stump, Thomas, Williams, 2015). However, their definitions do not provide a practical setup to work with combinatorially. In this paper, we provide a new equivalent definition of the m-Cambrian lattices on simple objects called m-noncrossing partitions, using a simple and effective comparison criterion. It is obtained by showing that each interval has a unique maximal chain that is c-increasing, which is computed by a greedy algorithm. Our proof is uniform, involving all Coxeter groups and all choices of Coxeter element at the same time. This work has been accepted as an extended abstract for the FPSAC 2025 conference. A long version of this work will be available later.

Clément Chenevière LISN Wenjie Fang LIGM Corentin Henriet IRIF This work has been accepted as an extended abstract for the FPSAC 2025 conference. A long version of this work will be available later 37th International Conference on Formal Power Series and Algebraic Combinatorics (Sapporo 2025), Jul 2025, Sapporo, Hokkaido, Japan http://arxiv.org/abs/2504.13454v1 2025-04-18T04:12:43Z 2025-04-18T04:12:43Z

Frankl's conjecture, also known as the union-closed sets conjecture, can be equivalently expressed in terms of intersection-closed set families by considering the complements of sets. It posits that any family of sets closed under intersections, and containing both the ground set and the empty set, must have a ``rare vertex'' -- a vertex belonging to at most half of the members of the family. The concept of \emph{average rarity} describes a set family where the average degree of all the elements is at most half of the number of its members. Average rarity is a stronger property that implies the existence of a rare vertex. This paper focuses on ideal families, which are set families that are downward-closed (except the ground set) and include the ground set. We present a proof that the normalized degree sum of any ideal family is non-positive, which is equivalent to saying that every ideal family satisfies the average rarity condition. This proof is formalized and verified using the Lean 4 theorem prover.

Masahiro Hachimori Kenji Kashiwabara http://arxiv.org/abs/2504.13433v1 2025-04-18T03:08:46Z 2025-04-18T03:08:46Z

The Kolakoski sequence K(a,b) over {a, b} is the unique sequence starting with a that equals its own run-length encoding. While the classical case K(1,2) remains deeply enigmatic, generalizations exhibit markedly different behaviors depending on the parity of a and b. The sequence K(1,3), a same-parity case over the alphabet {1,3}, is known to possess regular structure and a calculable symbol frequency. This paper reveals a complementary structural property: a nested block-pillar recursion of the form B_{n+1} = B_n + P_n + B_n, and P_{n+1} = G(P_n, 3), where each B_n is a prefix of K(1,3), and G is a generation operator based on run-length encoding. We show that B_{n+1} = G(B_n, 1), leading to a self-replicating description of K(1,3). This structure allows derivation of exact recurrences for length, symbol counts, and density, proving exponential growth and convergence to the known limit d = (5 - sqrt(5)) / 10. Our analysis highlights the structured nature of same-parity Kolakoski sequences and offers a constructive alternative to morphic generation.

William Cook 8 pages, no figures. Undergraduate research. Includes full proofs and references http://arxiv.org/abs/2407.06965v2 2025-04-18T01:59:30Z 2024-07-09T15:45:19Z

In this paper, we introduce the \emph{$\alpha$-chromatic symmetric functions} $\chi^{(\alpha)}_\pi[X;q]$, extending Shareshian and Wachs' chromatic symmetric functions with an additional real parameter $\alpha$. We present positive combinatorial formulas with explicit interpretations. Notably, we show an explicit monomial expansion in terms of the $\alpha$-binomial basis and an expansion into certain chromatic symmetric functions in terms of the $\alpha$-falling factorial basis. Among various connections with other subjects, we highlight a significant link to $q$-rook theory, including a new solution to the $q$-hit problem posed by Garsia and Remmel in their 1986 paper introducing $q$-rook polynomials.

Jim Haglund Jaeseong Oh Meesue Yoo Minor corrections http://arxiv.org/abs/2303.02529v3 2025-04-18T01:37:22Z 2023-03-04T23:46:05Z

In the critical beta-splitting model of a random $n$-leaf rooted tree, clades are recursively (from the root) split into sub-clades, and a clade of $m$ leaves is split into sub-clades containing $i$ and $m-i$ leaves with probabilities $\propto 1/(i(m-i))$. Study of structure theory and explicit quantitative aspects of this model (in discrete or continuous versions) is an active research topic. For many results there are different proofs, probabilistic or analytic, so the model provides a testbed for a ``compare and contrast" discussion of techniques. This article provides an overview of results proved in the sequence of similarly-titled articles I, III, IV and related articles. We mostly do not repeat proofs given elsewhere: instead we seek to paint a ``Big Picture" via graphics and heuristics, and emphasize open problems. Our discussion is centered around three categories of results. (i) There is a CLT for leaf heights, and the analytic proofs can be extended to provide surprisingly precise analysis of other height-related aspects. (ii) There is an explicit description of the limit {\em fringe distribution} relative to a random leaf, whose graphical representation is essentially the format of the cladogram representation of biological phylogenies. (iii) There is a canonical embedding of the discrete model into a continuous-time model, that is a random tree CTCS(n) on $n$ leaves with real-valued edge lengths, and this model turns out more convenient to study. The family (CTCS(n), n \ge 2) is consistent under a ``delete random leaf and prune" operation. That leads to an explicit inductive construction of (CTCS(n), n \ge 2) as $n$ increases, and then to a limit structure CTCS($\infty$) formalized via exchangeable partitions. Many open problems remain, in particular to elucidate a relation between CTCS($\infty$) and the $\beta(2,1)$ coalescent.

David J. Aldous Svante Janson Expansion and revision of version 2 to give current overview of active topic, complementing and partly overlapping technical journal articles arXiv:2302.05066 and arXiv:2412.09655 and arXiv:2412.12319. Not intended for journal publication in this format http://arxiv.org/abs/2402.17962v3 2025-04-17T22:20:03Z 2024-02-28T01:02:07Z

Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The \textit{$k$-token graph} of $G$ is the graph $F_k(G)$ whose vertex set consists of all $k$-subsets of the vertex set of $G$, where two vertices $A$ and $B$ are adjacent in $F_k(G)$ whenever their symmetric difference $A\triangle B$ is an edge of $G$. In this paper we study the treewidth of $F_k(G)$ when $G$ is a star, path, or a complete graph. We show that in the first two cases, the treewidth is of order $\Theta(n^{k-1})$, and of order $\Theta(n^k)$ in the third case. We conjecture that our upper bound for the treewidth of $F_k(K_n)$ is tight. This is particularly relevant since $F_k(K_n)$ is isomorphic to the well known Johnson graph $J(n,k)$.

Ruy Fabila-Monroy Sergio Gerardo Gómez-Galicia César Hernández-Cruz Ana Laura Trujillo-Negrete http://arxiv.org/abs/2504.13362v1 2025-04-17T22:01:00Z 2025-04-17T22:01:00Z

The $q$-Onsager algebra, denoted by $O_q$, is defined by generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. In 2017, Baseilhac and Kolb gave some elements of $O_q$ that form a Poincar\'e-Birkhoff-Witt basis. The quantum torus, denoted by $T_q$, is defined by generators $x, y, x^{-1}, y^{-1}$ and relations $$xx^{-1} = 1 = x^{-1}x, \qquad yy^{-1} = 1 = y^{-1}y, \qquad xy=q^2yx.$$ The set $\{x^iy^j | i,j \in \mathbb{Z} \}$ is a basis for $T_q$. It is known that there is an algebra homomorphism $p: O_q \mapsto T_q$ that sends $W_0 \mapsto x+x^{-1}$ and $W_1 \mapsto y+y^{-1}.$ In 2020, Lu and Wang displayed a variation of $O_q$, denoted by $\tilde{\mathbf{U}}^{\imath}$. Lu and Wang gave a surjective algebra homomorphism $\upsilon : \tilde{\mathbf{U}}^{\imath} \mapsto O_q.$ \medskip In their consideration of $\tilde{\mathbf{U}}^{\imath}$, Lu and Wang introduced some elements \begin{equation} \label{intrp503} \{B_{1,r}\}_{r \in \mathbb{Z}}, \qquad \{H'_n\}_{n=1}^{\infty}, \qquad \{H_n\}_{n=1}^{\infty}, \qquad \{\Theta'_n\}_{n=1}^{\infty}, \qquad \{\Theta_n\}_{n=1}^{\infty}. \nonumber \end{equation} These elements are defined using recursive formulas and generating functions, and it is difficult to express them in closed form. A similar problem applies to the Baseilhac-Kolb elements of $O_q$. To mitigate this difficulty, we map everything to $T_q$ using $p$ and $\upsilon$. In our main results, we express the resulting images in the basis for $T_q$ and also in an attractive closed form.

Owen Goff 25 pages http://arxiv.org/abs/2504.13347v1 2025-04-17T21:27:44Z 2025-04-17T21:27:44Z

The celebrated union-closed conjecture is concerned with the cardinalities of various subsets of the Boolean $d$-cube. The cardinality of such a set is equivalent, up to a constant, to its measure under the uniform distribution, so we can pose more general conjectures by choosing a different probability distribution on the cube. In particular, for any sequence of probabilities $(p_i)_{i=1}^d$ we can consider the product of $d$ independent Bernoulli random variables, with success probabilities $p_i$. In this short note, we find a generalised form of Karpas' special case of the union-closed conjecture for families $\F$ with density at least half. We also generalise Knill's logarithmic lower bound.

Gabriel Gendler 6 pages http://arxiv.org/abs/2504.13342v1 2025-04-17T21:23:42Z 2025-04-17T21:23:42Z

The problem of storing large amounts of information safely for a long period of time has become essential. One of the most promising new data storage mediums are the polymer-based data storage systems, like the DNA-storage system. These storage systems are highly durable and they consume very little energy to store the data. When information is retrieved from a storage, however, several different types of errors may occur in the process. It is known that the Levenshtein's sequence reconstruction framework is well-suited to overcome such errors and to retrieve the original information. Many of the previous results regarding Levenshtein's sequence reconstruction method are so far given only for the binary alphabet. However, larger alphabets are natural for the polymer-based data storage. For example, the quaternary alphabet is suitable for DNA-storage due to the four amino-acids in DNA. The results for larger alphabets often require, as we will see in this work, different and more complicated techniques compared to the binary case. Moreover, we show that an increase in the alphabet size makes some error types behave rather surprisingly.

Ville Junnila Tero Laihonen Tuomo Lehtilä http://arxiv.org/abs/2409.05844v9 2025-04-17T20:48:42Z 2024-09-09T17:45:23Z

Finding the n-th positive square number is easy, as it is simply $n^2$. But how do we find the complementary sequence, i.e. the n-th positive nonsquare number? For this case there is an explicit formula. However, for general constraints on a number, this is harder to find. In this paper, we study how to compute the n-th integer that does (or does not) satisfy a certain condition. In particular, we consider it as a fixed point problem, relate it to the iterative method of Lambek and Moser, study a bisection approach to this problem and provide formulas for various complementary sequences such as the non-k-gonal numbers, non-k-gonal pyramidal numbers, non-k-simplex numbers, non-sum-of-k-th powers and non-k-th powers. For example, we show that the n-th non k-gonal number is given by $n+round(\sqrt{\frac{2n-2+\lfloor\frac{k+1}{4}\rfloor}{k-2}})$.

Chai Wah Wu 16 pages, 2 figures http://arxiv.org/abs/2502.13139v2 2025-04-17T20:45:27Z 2025-02-18T18:58:26Z

We show that the median eigenvalues of every connected graph of maximum degree at most three, except for the Heawood graph, are at most $1$ in absolute value, resolving open problems posed by Fowler and Pisanski, and by Mohar.

Hricha Acharya Benjamin Jeter Zilin Jiang 54 pages, 170 figures --- they say a picture is worth a thousand words. This paper is worth... well, you do the math http://arxiv.org/abs/2404.08121v2 2025-04-17T18:52:14Z 2024-04-11T20:56:50Z

We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for the number of symmetric bicolored trees.

May Cai Kisun Lee Josephine Yu 21 pages, 8 figures, Version to appear in Linear Algebra and its Applications http://arxiv.org/abs/2504.01713v2 2025-04-17T18:08:28Z 2025-04-02T13:20:43Z

Given a finite set $S$ of points in $\mathbb{R}^d$, which we regard as the locations of voters on a $d$-dimensional political `spectrum', two candidates (Alice and Bob) select one point in $\mathbb{R}^d$ each, in an attempt to get as many votes as possible. Alice goes first and Bob goes second, and then each voter simply votes for the candidate closer to them in terms of Euclidean distance. If a voter's distance from the two candidates is the same, they vote for nobody. We give a geometric characterization of the sets $S$ for which each candidate wins, assuming that Alice wins if they get an equal number of votes. We also show that, if not all the voters lie on a single line, then, whenever Alice has a winning strategy, there is a unique winning point for her. We also provide an algorithm which decides whether Alice has a winning point, and determines the location of that point, both in finite (in fact polynomial) time.

Stelios Stylianou 14 pages, 3 figures