arXiv++ Combinatorics

Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an equivalence). In each case, we show the number of circles which separate the points into subsets of size k and l is independent of the configuration of points, and we provide an explicit formula in each case. We also consider how the circles change as the configuration of dots varies continuously. We show that an associated higher order Voronoi decomposition of the sphere changes by a sequence of local `moves'. As a consequence, an associated cluster algebra is independent of the configuration of dots, and only depends on the number of dots and the order of the Voronoi decomposition.

We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.

We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values.

This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes.

This note generalizes $\mathrm{SL}(k)$-friezes to configurations of numbers in which one of the boundary rows has been replaced by a ragged edge (described by a juggling function). We provide several equivalent definitions/characterizations of these juggler's friezes, in terms of determinants, linear recurrences, and a dual juggler's frieze. We generalize classic results, such as periodicity, duality, and a parametrization by part of a Grassmannian. We also provide a method of constructing such friezes from certain $k \times n$ matrices using the twist of a matrix.

This note considers linear recurrences (also called linear difference equations) in unknowns indexed by the integers. We characterize a unique \emph{reduced} linear recurrence with the same solutions as a given linear recurrence, and construct a \emph{solution matrix} which parametrizes the space of solutions. Several properties of solution matrices are shown, including a combinatorial characterization of bases and dimension of the space of solutions.

The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plücker coordinates which are expected to be a cluster in a cluster structure. This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plücker coordinates.

We prove the equality of two canonical bases of a rank 2 cluster algebra, the greedy basis of Lee-Li-Zelevinsky and the theta basis of Gross-Hacking-Keel-Kontsevich.

This note provides a quiver which does not admit a maximal green sequence, but which is mutation-equivalent to a quiver which does admit a maximal green sequence. The proof uses the `scattering diagrams' of Gross-Hacking-Keel-Kontsevich to show that a maximal green sequence for a quiver determines a maximal green sequence for any induced subquiver.

Considered as commutative algebras, cluster algebras can be very unpleasant objects. However, the first author introduced a condition known as "local acyclicity" which implies that cluster algebras behave reasonably. One of the earliest and most fundamental examples of a cluster algebra is the homogenous coordinate ring of the Grassmannian. We show that the Grassmannian is locally acyclic. Morally, we are in fact showing the stronger result that all positroid varieties are locally acyclic. However, it has not been shown that all positroid varieties have cluster structure, so what we actually prove is that certain cluster varieties associated to Postnikov's alternating strand diagrams are locally acylic. Moreover, we actually establish a slightly stronger property than local acyclicity, which we term the Louise property, that is designed to facilitate proofs involving the Mayer-Vietores sequence.