https://arxiv.org/api/U2rSYJka4VAMz0d3dSjzLfWJg5U 2026-03-24T12:39:06Z 76977 165 15 http://arxiv.org/abs/2603.15556v2 2026-03-19T17:18:28Z

This is a survey of the diversity of problems in additive number theory. Equity requires the consideration of less currently popular problems, and suggests their inclusion in the additive canon. Of particular interest are problems about the sizes of sumsets of finite sets of integers and problems about the arithmetical structure of intersections of sumsets.

2026-03-16T17:18:00Z 11 pages, minor corrections and improvements Melvyn B. Nathanson http://arxiv.org/abs/2512.18835v3 2026-03-19T16:20:26Z

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.

2025-12-21T17:37:19Z Updated introduction Maria Chudnovsky Julien Codsi David Fischer Daniel Lokshtanov http://arxiv.org/abs/2602.05768v2 2026-03-19T16:16:38Z

Let $f(N)$ denote the least integer $k$ such that, if $G$ is an abelian group of order $N$ and $A \subseteq G$ is a uniformly random $k$-element subset, then with probability at least $\tfrac12$ the subset-sum set $\{ \sum_{x \in S} x : S \subseteq A \}$ equals $G$. In 1965, Erdős and Rényi proved that for all $N$, $$ f(N) \le \log_2 N + \left(\frac{1}{\log 2}+o(1)\right)\log\log N. $$ Erdős later conjectured that this bound cannot be improved to $f(N)\le \log_2 N+o(\log\log N)$. In this paper we confirm this conjecture by showing that, for primes $p$, $$ f(p)\ge \log_2 p+\left(\frac{1}{2\log 2}+o(1)\right)\log\log p. $$

2026-02-05T15:31:19Z 13 pages. This is the submitted version Jie Ma Quanyu Tang http://arxiv.org/abs/2603.19069v1 2026-03-19T15:58:05Z

The main purpose of this note is to provide an elementary discussion of some simple triangles of integer numbers in particular through their connections with representation theory of $sl_2$. The triangles under consideration are the Catalan triangle and the Motzkin triangle together with their generalisations that we introduce here. We advocate the point of view that these triangles are given by the well-known and classical Pascal rule starting from a well-chosen initial condition. We give an elementary derivation of the fact that the numbers in these triangles are multiplicities appearing in tensor products of $sl_2$-representations and that they are simply expressed as a difference of generalised binomial coefficients. We also take the opportunity to discuss the ``sum of squares'' phenomenon that happens in these triangles through the lense of representation theory.

2026-03-19T15:58:05Z 15 pages, 13 triangles L. Poulain d'Andecy http://arxiv.org/abs/2505.09465v3 2026-03-19T15:37:33Z

We establish the connection between the Steinitz problem for ordering vector families in arbitrary norms and its variant for not necessarily zero-sum families consisting of `nearly unit' vectors.

2025-05-14T15:17:22Z Final version, published in Mathematika Mathematika 72(2), e70085, 2026 Gergely Ambrus Rainie Heck 10.1112/mtk.70085 http://arxiv.org/abs/2603.19038v1 2026-03-19T15:37:13Z

We consider site (vertex) percolation on $d$-regular graphs, for both constant-degree and growing-degree cases. We give sufficient, and relatively tight, conditions for the emergence of the ``Erdős-Rényi component phenomenon" in the supercritical regime $p=\frac{1+ε}{d-1}$: namely, the appearance of a unique giant component of order $n/d$ in the percolated subgraph, with all other components being of size $O(\log n)$. Our main results apply both to the $d$-dimensional hypercube and to pseudo-random graphs, and resolve two open questions in these cases. We further discuss differences (and similarities) between bond (edge) percolation setting and site percolation setting.

2026-03-19T15:37:13Z Sahar Diskin Michael Krivelevich Itay Markbreit http://arxiv.org/abs/2603.19345v1 2026-03-19T15:35:29Z

Let $f^{(r)}(n;s,k)$ denote the maximum number of edges in an $r$-graph on $n$ vertices in which every $k$ edges span more than $s$ vertices. Brown, Erdős and Sós in 1973 conjectured that for every $k\geq 2$, the limit $\lim_{n\to\infty} n^{-2} f^{(3)}(n;k+2,k)$ exists and verified the conjecture for $k=2$ by showing that $\lim_{n\to\infty} n^{-2} f^{(3)}(n;4,2)=\frac{1}{6}$. Delcourt and Postle, building on the work of Glock, Joos, Kim, Kühn, Lichev and Pikhurko, proved that for every $k\geq 2$, the limit $\lim_{n\to\infty} n^{-2} f^{(3)}(n;k+2,k)$ exists, thereby solving this conjecture. Their approach was later generalised by Shangguan to every uniformity $r\geq 4$: the limit $\lim_{n\to\infty} n^{-2} f^{(r)}(n; rk-2k+2,k)$ exists for all $r\geq 3$ and $k\geq 2$. However, its exact value was not determined. When $k\in\{2,3,\ldots,7\}$, the exact values of $\lim_{n\to\infty} n^{-2} f^{(r)}(n; rk-2k+2,k)$ were determined by Glock, Joos, Kim, Kühn, Lichev, Pikhurko, Rödl and Sun. Very recently, the limit for $k=8$ and $r\geq 4$ was determined by Pikhurko and Sun. For a general even integer $k$, Letzter and Sgueglia obtained the exact values of $\lim_{n\to\infty} n^{-2} f^{(r)}(n;rk-2k+2,k)$ for every even integer $k$ and uniformity $r\geq 2+\sqrt{2}\,k^{3/2}$. In this paper, we determine the exact value of $\lim_{n\to\infty} n^{-2} f^{(r)}(n;rk-2k+2,k)$ for every even integer $k\geq 4$ and $r\geq 2+\sqrt{\frac{3}{2}k-4}$, and show that it is $\frac{1}{r^2-r}.$

2026-03-19T15:35:29Z 13 pages, 1 figure Yan Wang Jiasheng Zeng http://arxiv.org/abs/2603.19031v1 2026-03-19T15:30:08Z

Codes are crucial in many areas of applications. Different types of codes are designed to meet specific needs, which makes them more effective and useful. Linear codes are extensively used in data storage systems. Identifying codes are essential for locating malfunctioning processors. To combine these benefits, researchers have looked into a type of code called linear identifying codes. These codes blend the error-correction abilities of linear codes with the fault-finding capabilities of identifying codes. Group codes are also highly regarded for their strong properties and reliable decoding methods. In our work, we introduce a new type of identifying code called group Identifying codes. These codes aim to bring together the best features of both Identifying codes and group codes, offering enhanced performance in fault detection and system reliability. In this paper, we establish limits on the smallest size of a group identifying code when \( G \) is an \( n \)-dimensional Hamming cube \( K_{m_1} \square K_{m_2} \square \dots \square K_{m_n} \). Additionally, we determine the smallest size of a linear identifying code in \( K_p^n \) for a prime \( p \) and \( n \geq 2 \). In [1], it was hypothesized that \( γ^{ID}(K_m^3) = m^2 \) for an integer \( m \geq 2 \). Although this conjecture was disproven in [2], we demonstrate that group identifying codes in \( K_m^3 \) for an integer \( m \geq 2 \) and linear identifying codes in \( K_p^3 \) for a prime \( p \) indeed fulfill this conjecture.

2026-03-19T15:30:08Z 15 pages, 6 figures N. V. Shinde S. A. Mane http://arxiv.org/abs/2603.19343v1 2026-03-19T15:27:51Z

We prove a universal identity for powers of elements in quadratic algebras, expressing x^m in terms of x and the identity. As a consequence, we obtain a general formula for powers of 2x2 matrices depending only on trace and determinant. Applying this to the Fibonacci matrix yields a binomial expansion formula for F_{nm}, recovering a recent identity of Vorobtsov. This shows that such identities arise from general algebraic principles rather than specific properties of Fibonacci numbers.

2026-03-19T15:27:51Z 4 pages. Establishes a universal identity for powers in quadratic algebras and derives a recent Fibonacci identity of Vorobtsov as a corollary Marco Mantovanelli http://arxiv.org/abs/2603.19003v1 2026-03-19T15:06:25Z

Consider a finite graph $G=(V(G),E(G))$ and two continuous weight distributions $ω$ and $ξ$, for which we only assume that $ξ$ is lower bounded. Next, independently draw weights $(w(e))_{e \in E(G)}$ with distribution $ω$ on edges and $(x(v))_{v \in V(G)}$ with distribution $ξ$ on vertices. The ground state of the monomer-dimer model on the weighted graph $G$ is a collection of edges (dimers) and vertices (monomers) such that every vertex is included in at most one monomer or dimer, and such that the sum of weights on its dimers and monomers is maximised. Take $(G_n,o_n)_{n \in \mathbb{N}}$ to be a sequence of random rooted weighted graphs that converges locally to an independently weighted unimodular Bienaymé-Galton-Watson tree $(\mathbb{T},o)$ with vertex-weight distribution $ξ$ and edge-weight distribution $ω$ . By proving that the ground state of the monomer-dimer model on the tree $(\mathbb{T},o)$ is almost surely unique and locally approximable, we prove that the ground state of the monomer-dimer model on $(G_n,o_n)$ must converge locally to the ground state of the monomer-dimer model on $(\mathbb{T},o)$. This also implies a strong decorrelation property on monomer-dimer models on unimodular Bienaymé-Galton-Watson trees.

2026-03-19T15:06:25Z 17pages, 3 figures Mihyun Kang Mike Liu http://arxiv.org/abs/2603.18997v1 2026-03-19T15:02:38Z

Hyperbolic uniform disk graphs (HUDGs) are intersection graphs of disks with some radius $r$ in the hyperbolic plane, where $r$ may be constant or depend on the number of vertices in a family of HUDGs. We show that HUDGs with constant clique number do not admit \emph{product structure}, i.e., that there is no constant $c$ such that every such graph is a subgraph of $H \boxtimes P$ for some graph $H$ of treewidth at most $c$. This justifies that HUDGs are described as not having a grid-like structure in the literature, and is in contrast to unit disk graphs in the Euclidean plane, whose grid-like structure is evident from the fact that they are subgraphs of the strong product of two paths and a clique of constant size [Dvořák et al., '21, MATRIX Annals]. By allowing $H$ to be any graph of constant treewidth instead of a path-like graph, we reject the possibility of a grid-like structure not merely by the maximum degree (which is unbounded for HUDGs) but due to their global structure. We complement this by showing that for every (sub-)constant $r$, HUDGs admit product structure, whereas the typical hyperbolic behavior is observed if $r$ grows with the number of vertices. Our proof involves a family of $n$-vertex HUDGs with radius $\log n$ that has bounded clique number but unbounded treewidth, and one for which the ratio of treewidth and clique number is $\log n / \log \log n$. Up to a $\log \log n$ factor, this negatively answers a question raised by Bläsius et al. [SoCG '25] asking whether balanced separators of HUDGs with radius $\log n$ can be covered by less than $\log n$ cliques. Our results also imply that the local and layered tree-independence number of HUDGs are both unbounded, answering an open question of Dallard et al. [arXiv '25].

2026-03-19T15:02:38Z An extended abstract of this paper is published in the Proceedings of the 42nd International Symposium on Computational Geometry (SoCG 2026) Thomas Bläsius Emil Dohse Deborah Haun Laura Merker http://arxiv.org/abs/2512.04766v2 2026-03-19T14:58:59Z

An Erdös matrix $E$ is a bistochastic matrix whose sum of squares of entries (Frobenius norm squared) equals its maxtrace (maximum of all the $σ$-traces for permutations $σ$'s). We characterize all Erdös $E$ by the patterns of their zero entries; showing that each such skeleton has at most one $E$. We present an algorithm to find all $n\times n$ Erdös matrices, which finds them up to $n\leqslant 5$ quickly and also size $n=6$. We further show some presently known RCDS matrices to be Erdös.

2025-12-04T13:04:36Z Priyanka Karmakar Hariram Krishna Souvik Pal G. Krishna Teja http://arxiv.org/abs/2603.18975v1 2026-03-19T14:40:33Z

A classic result of Conway and Coxeter on frieze patterns has been generalized to a bijection between $p$-angulations of regular polygons and frieze patterns of type $Λ_p$. One of the features of Conway-Coxeter theory is a combinatorial procedure to obtain from the triangulation all entries of the corresponding frieze pattern. We first present a combinatorial algorithm, involving Chebyshev polynomials, for obtaining from a dissection all entries of the corresponding frieze pattern. As an application we obtain a characterisation of frieze patterns of types $Λ_4$ and $Λ_6$ in terms of all entries (not only the quiddity cycle). We then study infinite frieze patterns of type $Λ_p$, which appeared in a preprint by Banaian and Chen, generalizing the infinite frieze patterns of positive integers studied by Baur, Parsons and Tschabold. As our main result we obtain a combinatorial model for infinite frieze patterns of type $Λ_p$, these are in bijection with certain $p$-angulations of an infinite strip. This extends results by Baur, Parsons and Tschabold from $p=3$ to arbitrary $p\ge 3$, and also provides new insight in the classic case. Infinite frieze patterns of positive integers appear in the context of Weyl groupoids. In the final section we extend this to infinite frieze patterns of type $Λ_p$ for any $p\ge 3$ by introducing a generalization of Cartan graphs and Weyl groupoids. We show that, up to equivalence, there is a 1-1 correspondence between connected simply connected Cartan graphs of type $Λ_p$ of rank two with infinitely many vertices permitting a root system and infinite frieze patterns of type $Λ_p$.

2026-03-19T14:40:33Z 33 pages Michael Cuntz Thorsten Holm Peter Jorgensen http://arxiv.org/abs/2603.18974v1 2026-03-19T14:39:25Z

Recent years have seen dramatic progress in the study of joint ergodicity, i.e. a scenario in which a multiple ergodic average converges in norm to the product of integrals of individual functions. This survey, accompanying the talk given by the author in the Perspectives on Ergodic Theory and its Interactions conference to celebrate Vitaly Bergelson's 75th birthday, aims to summarize these recent advances, outline crucial new tools, present various open problems, and highlight the main challenges currently faced in the study of multiple ergodic averages.

2026-03-19T14:39:25Z Borys Kuca http://arxiv.org/abs/2501.16170v2 2026-03-19T14:31:40Z

Every finite graph $G$ can be decomposed in a canonical way that displays its local connectivity-structure [DJKK26]. These decompositions are defined via a suitable more tree-like covering of $G$, whose tangle-tree structure is projected down to $G$. The covering graphs needed here are almost always infinite, and their tangle-tree structure is defined in terms of their (global) low-order separations. The canonical decompositions they induce on $G$ are therefore not computable following their definition. We reconstruct these decompositions of $G$ from finite information in $G$ itself that is sufficiently local to be reflected in the cover. This involves the reconstruction of canonical tangle structure in terms of a new theory of local separations in finite graphs, which we develop for this purpose. As an application, we find that the canonical graph-decompositions from [DJKK26] are computable.

2025-01-27T16:12:55Z 65 pages, 18 figures; updated version incorporating valuable feedback by Reinhard Diestel; new shortened title Raphael W. Jacobs Paul Knappe Jan Kurkofka