The three Kanade-Russell identities modulo nine
We prove the three symmetric Kanade-Russell identities modulo nine.
math.NT↗
arXiv subjects
Yuma Mizuno
Publications and source records attributed to Yuma Mizuno.
Mutation Sequences along Weaves and Amalgamation of Braid Varieties
Let $p,q$ be positive braids with Demazure products $u,v$. The endpoint stratum $\mathrm{Conf}(p,q)_{u,v}$ of the double Bott-Samelson cell splits as $\mathrm{Conf}(u,v) \times X(p) \times X(q^{\mathrm{op}})$, a double Bruhat cell times two braid varieties. We prove that the stratum's cluster structure is given by a cluster localization of the one on $\mathrm{Conf}(p,q)$, and that the splitting map is a quasi-cluster isomorphism. This comes from a mutation sequence along a double Demazure weave, one mutation per trivalent vertex, ending at an amalgamation of an extension of the double word quiver with the weave quiver. In the half-decorated case, this proves the conjecture of Gorsky-Kim-Scroggin-Simental for the splicing map $X(p) \times X(\Delta\Delta) \to X(p\Delta)$, where $\Delta$ is a reduced positive braid for $w_0$ and $\mathrm{dem}(p) = w_0$.
math.AG↗
Divisibility by $p$ for Markoff-like Surfaces
We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.
math.NT↗
Adjoint Reidemeister torsion of 3-manifolds with torus boundary for semisimple algebraic groups
Let $M$ be a compact oriented $3$-manifold with boundary consisting of tori, and let $G$ be a semisimple algebraic group. We define the adjoint torsion function on the moduli stack of $G$-local systems on $M$ satisfying a certain regularity condition, extending the construction by Porti for $G = \mathrm{SL}_2$. When $M$ is a cusped hyperbolic manifold, we prove that the local system associated with the image of the complete hyperbolic structure via a principal embedding $\mathrm{PGL}_2 \to G$ satisfies the regularity condition. Moreover, we provide a formula expressing its adjoint torsion as a product of $\mathrm{PGL}_2$-torsions associated with the simple $\mathrm{PGL}_2$-modules with multiplicity given by the exponents of the Lie algebra of $G$. We compute the adjoint $\mathrm{PGSp}_4$-torsions of the figure-eight knot complement for two boundary-unipotent local systems, one is arising from the complete hyperbolic structure via a principal embedding, and the other is defined over a number field of degree $6$ and not arising from any $\mathrm{PGL}_2$-local system via principal embeddings.
math.GT↗
Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral
Understanding and certifying the generalization performance of machine learning algorithms -- i.e. obtaining theoretical estimates of the test error from the training error -- is a central theme of statistical learning theory. Among the many complexity measures used to derive such guarantees, Rademacher complexity yields sharp, data-dependent bounds that apply well beyond classical VC-dimension theory. In this study, we formalize the generalization error bound by Rademacher complexity in Lean 4, building on measure-theoretic probability theory available in the Mathlib library. Our development provides a mechanically-checked pipeline from the definitions of empirical and expected Rademacher complexity, through a formal symmetrization argument and a bounded-differences analysis, to high-probability uniform deviation bounds via a formally proved McDiarmid inequality. A key technical contribution is a reusable mechanism for lifting results from countable hypothesis classes (where measurability of suprema is straightforward in Mathlib) to separable topological index sets via a reduction to a countable dense subset. As worked applications of the abstract theorem, we mechanize standard empirical Rademacher bounds for linear predictors under $\ell_2$ and $\ell_1$ regularizations, and we also formalize a Dudley-type entropy integral bound based on covering numbers and a chaining construction.
cs.LG↗
Periodic $Y$-Systems and Nahm Sums: The Rank 2 Case
We classify periodic $Y$-systems of rank 2 satisfying the symplectic property. We find that there are six such $Y$-systems. In all cases, the periodicity follows from the existence of two reddening sequences associated with the time evolution of the $Y$-systems in positive and negative directions, which gives rise to quantum dilogarithm identities associated with Donaldson-Thomas invariants. We also consider $q$-series called the Nahm sums associated with these $Y$-systems. We see that they are included in Zagier's list of rank 2 Nahm sums that are likely to be modular functions. It was recently shown by Wang that they are indeed modular functions.
math.QA↗
Remarks on Nahm sums for symmetrizable matrices
Nahm sums are specific $q$-hypergeometric series associated with symmetric positive definite matrices. In this paper we study Nahm sums associated with symmetrizable matrices. We show that one direction of Nahm's conjecture, which was proven by Calegari, Garoufalidis, and Zagier for the symmetric case, also holds for the symmetrizable case. This asserts that the modularity of a Nahm sum implies that a certain element in a Bloch group associated with the Nahm sum is a torsion element. During the proof, we investigate the radial asymptotics of Nahm sums. Finally, we provide lists of candidates of modular Nahm sums for symmetrizable matrices based on numerical experiments.
math.NT↗
$q$-Painlevé equations on cluster Poisson varieties via toric geometry
We provide a relation between the geometric framework for $q$-Painlevé equations and cluster Poisson varieties by using toric models of rational surfaces associated with $q$-Painlevé equations. We introduce the notion of seeds of $q$-Painlevé type by the negative semi-definiteness of symmetric bilinear forms associated with seeds, and classify the mutation equivalence classes of these seeds. This classification coincides with the classification of $q$-Painlevé equations given by Sakai. We realize $q$-Painlevé systems as automorphisms on cluster Poisson varieties associated with seeds of $q$-Painlevé type.
math-ph↗
Exponents Associated with $Y$-Systems and their Relationship with $q$-Series
Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have periodicity. For any pair $(X_r, \ell)$, we define an integer sequence called exponents using formulation of the $Y$-system by cluster algebras. We give a conjectural formula expressing the exponents by the root system of type $X_r$, and prove this conjecture for $(A_1,\ell)$ and $(A_r, 2)$ cases. We point out that a specialization of this conjecture gives a relationship between the exponents and the asymptotic dimension of an integrable highest weight module of an affine Lie algebra. We also give a point of view from $q$-series identities for this relationship.
math.CO↗
Jacobian matrices of Y-seed mutations
For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship between the pair of matrices and the $C$-matrix of the cluster transformation in a certain limit of cluster variables. As an application, we prove that quivers associated with once-punctured surfaces do not have maximal green or reddening sequences.
math.CO↗
Difference equations arising from cluster algebras
We characterize Y/T-system type difference equations arising from cluster algebras by triples of matrices, which we call T-data, that have a certain symplectic property. We show that all mutation loops are essentially obtained from T-data, which generalizes the general solution for period 1 quivers given by Fordy and Marsh. We also show that any T-datum associated with a periodic Y/T-system has the simultaneous positivity. As an application, we propose a version of Nahm's conjecture from a viewpoint of cluster algebras. We conjecture that given a periodic T/Y-system of a certain type, we have a family of hypergeometric q-series that are also modular functions.
math.RA↗
Quiver mutation sequences and $q$-binomial identities
In this paper, first we introduce a quantity called a partition function for a quiver mutation sequence. The partition function is a generating function whose weight is a $q$-binomial associated with each mutation. Then, we show that the partition function can be expressed as a ratio of products of quantum dilogarithms. This provides a systematic way of constructing various $q$-binomial multisum identities.
math-ph↗