Showing 20 papers (Total: 81378 papers, 47165 authors in database)
When is a cut and project set substitutional?
Cut and project sets are obtained by projecting an irrational slice through a lattice to a lower dimensional subspace. Under standard conditions, the resulting pattern has no translational periods even though it retains some regularity of the lattice. Cut and project sets are one of the archetypical examples of patterns featuring aperiodic order, the other construction methods being by substitution and matching rules. Many early examples of aperiodic tilings, including the famous Penrose and Ammann--Beenker tilings, have a description from all of these methods. In this article we answer the following question, in the case of a Euclidean total space: what property of the cut and project data characterises when the resulting cut and project sets may also be defined by a substitution rule?
Large Components and Trees of Random Mappings
Let $\mathcal{T}_n$ be the set of all mappings $T:[n]\to[n]$, where $[n]=\{1,2,\ldots,n\}$. The corresponding graph $G_T$ of $T$, called a functional digraph, is a union of disjoint connected components. Each component is a directed cycle of rooted labeled trees. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random from the set $\mathcal{T}_n$. The components and trees of $G_T$ are distinguished by their size. In this paper, we compute the limiting conditional probability ($n\to\infty$) that a vertex from the largest component of the random graph $G_T$, chosen uniformly at random from $[n]$, belongs to its $s$-th largest tree, where $s\ge 1$ is a fixed integer. This limit can be also viewed as an approximation of the probability that the $s$-th largest tree of $G_T$ is a subgraph of its largest component, which is a solution of a problem suggested by Mutafchiev and Finch (2024).
The satisfiability threshold and solution space of random uniquely extendable constraint satisfaction problems
We study the satisfiability threshold and solution-space geometry of random constraint satisfaction problems defined over uniquely extendable (UE) constraints. Motivated by a conjecture of Connamacher and Molloy, we consider random $k$-ary UE-SAT instances in which each constraint function is drawn, according to a certain distribution $π$, from a specified subset of uniquely extendable constraints over an $r$-spin set. We introduce a flexible model $H_n(π,k,m)$ that allows arbitrary distributions $π$ on constraint types, encompassing both random linear systems and previously studied UE-SAT models. Our main result determines the satisfiability threshold for a wide family of distributions $π$. Under natural reducibility or symmetry conditions on $\operatorname{supp}(π)$, we prove that the satisfiability threshold of $H_n(π,k,m)$ coincides with the classical $k$-XORSAT threshold.
A Note on the Sum-Product Problem and the Convex Sumset Problem
We provide a new exponent for the Sum-Product conjecture on $\mathbb{R} $. Namely for $A \subset \mathbb{R}$ finite, \[
\max \left\{ \left\lvert A+A \right\rvert , \left\lvert AA \right\rvert \right\} \gg_ε \left\lvert A \right\rvert ^{\frac{4}{3} + \frac{10}{4407} - ε} .\] We also provide new exponents for $A \subset \mathbb{R} $ finite and convex, namely \[
\left\lvert A+A \right\rvert \gg_ε \left\lvert A \right\rvert ^{\frac{46}{29} - ε}, \] and \[
\left\lvert A-A \right\rvert \gg_ε \left\lvert A \right\rvert ^{\frac{8}{5} + \frac{1}{3440} -ε} .\]
Upper Bound for Permanent Saturation of Metric Graphs using Interval Exchange Transformations
We refine upper bounds on the permanent saturation time of metric graphs using interval exchange transformations (IETs). Earlier results gave bounds under incommensurable edge lengths, we improve and generalize them by using the ergodic and minimal properties of IETs. By associating an IET to a metric graph, we show that the induced interval dynamics are ergodic and minimal, which ensures uniform coverage over time. Our main theorem gives a sharper upper bound for the saturation time in terms of edge lengths and structural constants of the graph. We also define the Lyapunov spectrum of the Kontsevich-Zorich cocycle for these maps and relate it to the system's dynamics. We validate our theoretical findings through simulations on specific graph configurations, such as the complete graph $K_4$ and star graphs, confirming the accuracy of our estimates. These results strengthen existing estimates and provide tools for studying connectivity at the interface of graph theory and dynamical systems.
Hamiltonicity of Bell and Stirling Colour Graphs
For a graph $G$ and a positive integer $k$, the $k$-Bell colour graph of $G$ is the graph whose vertices are the partitions of $V$ into at most $k$ independent sets, with two of these being adjacent if there exists a vertex $x$ such that the partitions are identical when restricted to $V - \{x\}$. The $k$-Stirling Colour graph of $G$ is defined similarly, but for partitions into exactly $k$ independent sets.
We show that every graph on $n$ vertices, except $K_n$ and $K_n - e$, has a Hamiltonian $n$-Bell colour graph, and this result is best possible. It is also shown that, for $k \geq 4$, the $k$-Stirling colour graph of a tree with at least $k+1$ vertices is Hamiltonian, and the 3-Bell colour graph of a tree with at least 3 vertices is Hamiltonian.
Fast computation of the first discrete homology group
We present a new algorithm for computing the first discrete homology group of a graph. By testing the algorithm on different data sets of random graphs, we find that it significantly outperforms other known algorithms.
Optimal Mistake Bounds for Transductive Online Learning
We resolve a 30-year-old open problem concerning the power of unlabeled data in online learning by tightly quantifying the gap between transductive and standard online learning. In the standard setting, the optimal mistake bound is characterized by the Littlestone dimension $d$ of the concept class $H$ (Littlestone 1987). We prove that in the transductive setting, the mistake bound is at least $Ω(\sqrt{d})$. This constitutes an exponential improvement over previous lower bounds of $Ω(\log\log d)$, $Ω(\sqrt{\log d})$, and $Ω(\log d)$, due respectively to Ben-David, Kushilevitz, and Mansour (1995, 1997) and Hanneke, Moran, and Shafer (2023). We also show that this lower bound is tight: for every $d$, there exists a class of Littlestone dimension $d$ with transductive mistake bound $O(\sqrt{d})$. Our upper bound also improves upon the best known upper bound of $(2/3)d$ from Ben-David, Kushilevitz, and Mansour (1997). These results establish a quadratic gap between transductive and standard online learning, thereby highlighting the benefit of advance access to the unlabeled instance sequence. This contrasts with the PAC setting, where transductive and standard learning exhibit similar sample complexities.
On a generalization of the Johnson-Newman theorem to multiple rank-one perturbations
Wang and Zhao (Adv. Appl. Math. 173 (2026) 102994) generalized the classic Johnson-Newman theorem on simultaneous similarity of symmetric matrices from a single rank-one perturbation to multiple rank-one perturbations. However, their result applies only to specific rank-one perturbations, and the given condition is quite involved as it relies on multivariate polynomials. We provide a simple proof of their result, leading to an improved version with a simplified condition that holds for arbitrary rank-one perturbations.
Hankel determinants for convolution powers of Narayana polynomials
We prove and generalize a conjecture of Johann Cigler on the Hankel determinants of convolution powers of Narayana polynomials. Our method follows a "guess-and-prove" strategy, relying on established techniques involving Hankel continued fractions. While the final forms of our theorems are given by simple closed expressions, the proofs require us to formulate and manage extremely large and intricate explicit expressions at intermediate stages. Most of the technically involved and lengthy formal verifications are carried out using a symbolic computation program, whose code is available on the author's personal webpage for independent verification. We emphasize that our program delivers rigorous symbolic proofs, rather than merely verifying the initial terms.
Simplex volumes in hyperplane arrangements
We study the dual variants of the Erdős's distinct distance and unit distance problems. Instead of considering distances and simplex volumes determined by points, we consider simplex volumes determined by hyperplanes. We investigate: (1) the maximum number of unit volume $d$-simplices determined by an arrangement of $n$ hyperplanes in $\mathbb{R}^d$, (2) the maximum number of minimum/maximum volume $d$-simplices determined by an arrangement of $n$ hyperplanes in $\mathbb{R}^d$, and (3) the maximum number $D_d(n)$ such that any arrangement of $n$ hyperplanes in $\mathbb{R}^d$ in general position contains $D_d(n)$ hyperplanes forming $d$-simplices of distinct volumes.
Further Extensions of Sury's Identity
The equation commonly known as Sury's identity is a deceptively simple summation formula that connects the Lucas numbers, Fibonacci numbers, and powers of two. Many authors have given extensions and generalizations over the years; in this paper, we take a different approach that allows us to produce a good number of new summation formulas, all from elementary (but non-trivial) methods.
Time to Cycle
Consider the random process that starts with $n$ vertices and no edges, where the edges of $K_n$ are added one at a time in a uniformly chosen random order $e_1, e_2,\ldots, e_{\binom{n}{2}}$. Let $T$ be the earliest time at which $e_1$ belongs to a cycle in this evolving random graph. By solving the appropriate graph enumeration problem we show that $\mathbb{E}[T]=n$. This fact turns out to be an instance of a much more general phenomenon and we are able to extend this theorem to all graphs and even to every matroid.
On the minimal forts of trees
In 2008, the zero forcing number of a graph was shown to be an upper bound on the graph's maximum nullity. In 2018, the concept of forts was introduced to provide a set covering characterization of zero forcing sets. Since then, forts have been integrated into integer programming models for zero forcing and have been used to yield bounds on the zero forcing number. In 2025, researchers explored the combinatorial question of how many minimal forts a graph can have. They demonstrated that the number of minimal forts in a graph with an order of at least six is strictly less than Sperner's bound. Moreover, the authors derived an explicit formula for the number of minimal forts in path, cycle, and spider graphs. For example, the number of minimal forts in a path graph aligns with the Padovan sequence, and thus exhibits exponential growth. In this article, we demonstrate that no tree with an order of $n$ can have fewer than $n/3$ minimal forts. Additionally, we provide a characterization of the trees that possess exactly $n/3$ minimal forts. We conjecture that the $n/3$ bound is valid for all graphs of order $n$. We present experimental evidence supporting this conjecture and prove that it holds for all Eulerian graphs.
Skew 2-Dyck paths via the kernel method
We continue on a recent concept introduced by Kariuki and Okoth, about skew 2-Dyck paths, introducing an additional down-step $L$, together with the usual steps
$U$ (up) and $D$ down. There is the syntactical condition that $UL$ and $LU$ can never occur. An automaton that checks these conditions is introduced, and the
relevant generating functions are obtained by applying the kernel method to three functional equations. It is briefly discussed how the setting can be extended to $t$-Dyck paths. As a benefit, prefixes of skew $t$-Dyck paths are also enumerated. An approach that scans 2-Dyck paths from right to left is also discussed.
An equitable partition for the distance-regular graph of the bilinear forms
We consider a type of distance-regular graph $Γ=(X, \mathcal R)$ called a bilinear forms graph. We assume that the diameter $D$ of $Γ$ is at least $3$. Fix adjacent vertices $x,y \in X$. In our first main result, we introduce an equitable partition of $X$ that has $6D-2$ subsets and the following feature: for every subset in the equitable partition, the vertices in the subset are equidistant to $x$ and equidistant to $y$. This equitable partition is called the $(x,y)$-partition of $X$. By definition, the subconstituent algebra $T=T(x)$ is generated by the Bose-Mesner algebra of $Γ$ and the dual Bose-Mesner algebra of $Γ$ with respect to $x$. As we will see, for the $(x,y)$-partition of $X$ the characteristic vectors of the subsets form a basis for a $T$-module $U=U(x,y)$. In our second main result, we decompose $U$ into an orthogonal direct sum of irreducible $T$-modules. This sum has five summands: the primary $T$-module and four irreducible $T$-modules that have endpoint one.
We show that every irreducible $T$-module with endpoint one is isomorphic to exactly one of the nonprimary summands.
How to Tropicalize a non-Archimedean Lattice
The tropicalization of a linear space over a non-archimedean field is a tropical linear space. In this paper, we present a method for computing the tropicalization of any lattice over a valuation ring. The resulting tropical semimodule is the support of a polyhedral complex constructed from a certain multilinear polynomial we call the entropy polynomial. The key idea in our argument is the tropicalization of Haar measures on lattices over local fields.
Ore's Theorem for rainbow Hamiltonian-connected graphs
Let $G = (G_1, G_2, \ldots, G_m)$ be a collection of $m$ graphs on a common vertex set $V$. For a graph $H$ with vertices in $V$, we say that $G$ contains a rainbow $H$ if there is an injection $c: E(H) \to [m]$ such that for every edge $e \in E(H)$, we have $e \in E(G_{c(e)})$.
In this paper, we show that if $G = (G_1, \ldots, G_n)$ is a collection of graphs on $n$ vertices such that for every $i \in [n]$, $d_{G_i}(u) + d_{G_i}(v) \geq n$ whenever $uv \notin E(G_i)$, then either $G$ contains rainbow Hamiltonian paths between every pair of vertices, or $G$ contains a rainbow Hamiltonian cycle. Moreover, we prove a stronger version in which we may also embed prescribed rainbow linear forests into the Hamiltonian paths.
A positive combinatorial formula for the double Edelman--Greene coefficients
Lam, Lee, and Shimozono introduced the double Stanley symmetric functions in their study of the equivariant geometry of the affine Grassmannian. They proved that the associated double Edelman--Greene coefficients, the double Schur expansion coefficients of these functions, are positive, a result later refined by Anderson. They further asked for a combinatorial proof of this positivity. In this paper, we provide the first such proof, together with a combinatorial formula that manifests the finer positivity established by Anderson. Our formula is built from two combinatorial models: bumpless pipedreams and increasing chains in the Bruhat order. The proof relies on three key ingredients: a correspondence between these two models, a natural subdivision of bumpless pipedreams, and a symmetry property of increasing chains.
Solving Admissibility for the Spatial X-Ray Transform On the Two Element Field
The admissibility problem in integral geometry asks for which collections of affine subspaces the Radon transform remains injective. In the discrete setting, this becomes a purely combinatorial question about recovering a function on a finite vector space from its sums over a prescribed family of affine subspaces. In this paper, we study the spatial X-ray transform (line transform) over the finite vector spaces $\mathbb{Z}_{2}^{n}$ and give a complete structural and enumerative description of admissible line complexes in $\mathbb{Z}_{2}^{4}$. We prove that any admissible line complex in $\mathbb{Z}_{2}^{4}$ can be obtained by taking a disjoint union of one or more odd cycles and attaching trees to the cycle vertices. Using this structural description, we carry out a systematic case-by-case enumeration of all admissible complexes in $\mathbb{Z}_{2}^{4}$ and derive an exact total count. We then generalize our approach to an algorithm that applies to $\mathbb{Z}_{2}^{n}$ for arbitrary $n$, and we then implement it to obtain the total number of admissible complexes in $\mathbb{Z}_{2}^{5}$. Our results extend previous small-dimensional classifications and provide an algorithmic framework for studying admissibility in higher dimensions. Beyond their intrinsic combinatorial interest, these structures model discrete sampling schemes for tomographic imaging, and they suggest further connections between admissibility, incidence matrices, and spectral properties of the associated graphs.