Search arXivSearch

arXiv subjects

Travis Mandel

Publications and source records attributed to Travis Mandel.

17 recordsLinked to original sources

A Statistically Reliable Optimization Framework for Bandit Experiments in Scientific Discovery

Scientific experimentation is largely driven by statistical hypothesis testing to determine significant differences in interventions. Traditionally, experimenters allocate samples uniformly between each intervention. However, such an approach may lead to suboptimal outcomes - multi-armed bandits (MABs) addresses this problem by allocating samples adaptively to maximize outcomes. Yet, two challenges have hindered the use of MABs in scientific domains. First, common hypothesis tests (e.g., $t$-tests) become invalid under adaptive sampling without correction, leading to inflated type~I and type~II errors. This is an understudied problem, and prior solutions suffer from issues such as low statistical power which prevent adoption in many practical settings. Second, practitioners must explicitly balance cumulative reward with statistical efficiency, yet no general methodology exists to quantify this trade-off across algorithms. In this paper, we study assumption modification and critical region correction approaches for hypothesis testing that enable common tests to be applied to adaptively collected data. We provide heuristic justification for its power efficiency and show in simulation that it achieves higher power than existing approaches. Further, we derive a theoretically and practically motivated objective function for adaptive experiment evaluation, which we integrate into a unified experimental framework. Our framework asks experimenters to specify an experiment extension cost for their problem, and based on that enables our proposed optimization procedure to select the bandit algorithm that best balances reward and power in their setting. We show that our approach enables practitioners to improve outcomes with only slightly more steps than uniform randomization, while retaining statistical validity.

stat.AP

Valuative independence and cluster theta reciprocity

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.

math.AG

Stability scattering diagrams and quiver coverings

Given a covering of a quiver (with potential), we show that the associated Bridgeland stability scattering diagrams are related by a restriction operation under the assumption of admitting a nice grading. We apply this to quivers with potential associated to marked surfaces. In combination with recent results of the second and third authors, our findings imply that the bracelets basis for a once-punctured closed surface coincides with the theta basis for the associated stability scattering diagram, and these stability scattering diagrams agree with the corresponding cluster scattering diagrams of Gross-Hacking-Keel-Kontsevich except in the case of the once-punctured torus.

math.RT

Bracelets bases are theta bases

The skein algebra of a marked surface, possibly with punctures, admits the basis of (tagged) bracelet elements constructed by Fock-Goncharov and Musiker-Schiffler-Williams. As a cluster algebra, it also admits the theta basis of Gross-Hacking-Keel-Kontsevich, quantized by Davison-Mandel. We show that these two bases coincide (with a caveat for notched arcs in once-punctured tori). In unpunctured cases, one may consider the quantum skein algebra. We show that the quantized bases also coincide. Even for cases with punctures, we define quantum bracelets for the cluster algebras with coefficients, and we prove that these are again theta functions. On the corresponding cluster Poisson varieties (parameterizing framed $PGL_2$-local systems), we prove in general that the canonical coordinates of Fock-Goncharov, quantized by Bonahon-Wong and Allegretti-Kim, coincide with the associated (quantum) theta functions. Long-standing conjectures on strong positivity and atomicity follow as corollaries. Of potentially independent interest, we examine the behavior of cluster scattering diagrams under folding.

math.QA

Reliable Multi-Object Tracking in the Presence of Unreliable Detections

Recent multi-object tracking (MOT) systems have leveraged highly accurate object detectors; however, training such detectors requires large amounts of labeled data. Although such data is widely available for humans and vehicles, it is significantly more scarce for other animal species. We present Robust Confidence Tracking (RCT), an algorithm designed to maintain robust performance even when detection quality is poor. In contrast to prior methods which discard detection confidence information, RCT takes a fundamentally different approach, relying on the exact detection confidence values to initialize tracks, extend tracks, and filter tracks. In particular, RCT is able to minimize identity switches by efficiently using low-confidence detections (along with a single object tracker) to keep continuous track of objects. To evaluate trackers in the presence of unreliable detections, we present a challenging real-world underwater fish tracking dataset, FISHTRAC. In an evaluation on FISHTRAC as well as the UA-DETRAC dataset, we find that RCT outperforms other algorithms when provided with imperfect detections, including state-of-the-art deep single and multi-object trackers as well as more classic approaches. Specifically, RCT has the best average HOTA across methods that successfully return results for all sequences, and has significantly less identity switches than other methods.

cs.CV

Strong positivity for quantum theta bases of quantum cluster algebras

We construct "quantum theta bases," extending the set of quantum cluster monomials, for various versions of skew-symmetric quantum cluster algebras. These bases consist precisely of the indecomposable universally positive elements of the algebras they generate, and the structure constants for their multiplication are Laurent polynomials in the quantum parameter with non-negative integer coefficients, proving the quantum strong cluster positivity conjecture for these algebras. The classical limits recover the theta bases considered by Gross-Hacking-Keel-Kontsevich. Our approach combines the scattering diagram techniques used in loc. cit. with the Donaldson-Thomas theory of quivers.

math.RT

Let's Keep It Safe: Designing User Interfaces that Allow Everyone to Contribute to AI Safety

When AI systems are granted the agency to take impactful actions in the real world, there is an inherent risk that these systems behave in ways that are harmful. Typically, humans specify constraints on the AI system to prevent harmful behavior; however, very little work has studied how best to facilitate this difficult constraint specification process. In this paper, we study how to design user interfaces that make this process more effective and accessible, allowing people with a diversity of backgrounds and levels of expertise to contribute to this task. We first present a task design in which workers evaluate the safety of individual state-action pairs, and propose several variants of this task with improved task design and filtering mechanisms. Although this first design is easy to understand, it scales poorly to large state spaces. Therefore, we develop a new user interface that allows workers to write constraint rules without any programming. Despite its simplicity, we show that our rule construction interface retains full expressiveness. We present experiments utilizing crowdworkers to help address an important real-world AI safety problem in the domain of education. Our results indicate that our novel worker filtering and explanation methods outperform baseline approaches, and our rule-based interface allows workers to be much more efficient while improving data quality.

cs.HC

Fano mirror periods from the Frobenius structure conjecture

The Fano classification program proposed by Coates-Corti-Galkin-Golyshev-Kasprzyk is based on the mirror symmetry prediction that the regularized quantum period of a Fano should be equivalent to the classical period of its mirror Landau-Ginzburg potential. We prove that this mirror equivalence follows from versions of the Frobenius structure conjecture of Gross-Hacking-Keel. We also find that the regularized quantum period, which is defined in terms of descendant Gromov-Witten numbers, is in fact given by certain naive curve counts.

math.AG

Theta bases and log Gromov-Witten invariants of cluster varieties

Using heuristics from mirror symmetry, combinations of Gross, Hacking, Keel, Kontsevich, and Siebert have given combinatorial constructions of canonical bases of "theta functions" on the coordinate rings of various log Calabi-Yau spaces, including cluster varieties. We prove that the theta bases for cluster varieties are determined by certain descendant log Gromov-Witten invariants of the symplectic leaves of the mirror/Langlands dual cluster variety, as predicted in the Frobenius structure conjecture of Gross-Hacking-Keel. We further show that these Gromov-Witten counts are often given by naive counts of rational curves satisfying certain geometric conditions. As a key new technical tool, we introduce the notion of "contractible" tropical curves when showing that the relevant log curves are torically transverse.

math.AG

Tropical quantum field theory, mirror polyvector fields, and multiplicities of tropical curves

We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex structures. Most notably these structures include a tropical quantum field theory and an $L_{\infty}$-structure. The latter is an instance of Getzler's gravity algebra, and the $l_2$-bracket is a restriction of the Schouten-Nijenhuis bracket. We explain the relationship to string topology in the appendix (thanks to Janko Latschev).

math.AG

Donaldson-Thomas invariants from tropical disks

We prove that the quantum DT invariants associated to quivers with genteel potential can be expressed in terms of certain refined counts of tropical disks. This is based on a quantum version of Bridgeland's description of cluster scattering diagrams in terms of stabilitiy conditions, plus a new version of the description of scattering diagrams in terms of tropical disk counts. The weights with which the tropical disks are counted are expressed in terms of motivic integrals of certain quiver flag varieties. We also show via explicit counterexample that Hall algebra broken lines do not result in consistent Hall algebra theta functions, i.e., they violate the extension of a lemma of Carl-Pumperla-Siebert from the classical setting.

math.AG

Cluster algebras are Cox rings

It was recently shown by Gross, Hacking, and Keel that, in the absence of frozen indices, a cluster A-variety with generic coefficients is the universal torsor of the corresponding cluster X-variety with corresponding coefficients. We extend this to allow for frozen vectors and corresponding partial compactifications of the A- and X-spaces. When certain assumptions are satisfied, we conclude that the theta bases of Gross-Hacking-Keel-Kontsevich give bases of global sections for every line bundle on the leaves of the partially compactified X-space. We note that our arguments work without assuming that the exchange matrix is skew-symmetrizable.

math.AG

Descendant log Gromov-Witten invariants for toric varieties and tropical curves

Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.

math.AG

Theta bases are atomic

Fock and Goncharov conjectured that the indecomposable universally positive (i.e., atomic) elements of a cluster algebra should form a basis for the algebra. This was shown to be false by Lee-Li-Zelevinsky. However, we find that the theta bases of Gross-Hacking-Keel-Kontsevich do satisfy this conjecture for a slightly modified definition of universal positivity in which one replaces the positive atlas consisting of the clusters by an enlargement we call the scattering atlas. In particular, this uniquely characterizes the theta functions.

math.QA

Scattering diagrams, theta functions, and refined tropical curve counts

Working over various graded Lie algebras and in arbitrary dimension, we express scattering diagrams and theta functions in terms of counts of tropical curves/disks, weighted by multiplicities given in terms of iterated Lie brackets. Over the tropical vertex group, our tropical curve counts are known to give certain descendant log Gromov-Witten invariants. Working over the quantum torus algebra yields theta functions for quantum cluster varieties, and our tropical description sets up for geometric interpretations of these. As an immediate application, we prove the quantum Frobenius conjecture of Fock and Goncharov. We also prove a refined version of the Carl-Pumperla-Siebert result on consistency of theta functions, and we prove the non-degeneracy of the trace-pairing for the Gross-Hacking-Keel Frobenius structure conjecture.

math.QA

Classification of Rank 2 Cluster Varieties

We classify rank $2$ cluster varieties (those for which the span of the rows of the exchange matrix is $2$-dimensional) according to the deformation type of a generic fiber $U$ of their ${\mathcal X}$-spaces, as defined by Fock and Goncharov [Ann. Sci. \'Ec. Norm. Sup\'er. (4) 42 (2009), 865-930]. Our approach is based on the work of Gross, Hacking, and Keel for cluster varieties and log Calabi-Yau surfaces. Call $U$ positive if $\dim[\Gamma(U,{\mathcal O}_U)] = \dim(U)$ (which equals 2 in these rank 2 cases). This is the condition for the Gross-Hacking-Keel construction [Publ. Math. Inst. Hautes \'Etudes Sci. 122 (2015), 65-168] to produce an additive basis of theta functions on $\Gamma(U,{\mathcal O}_U)$. We find that $U$ is positive and either finite-type or non-acyclic (in the usual cluster sense) if and only if the inverse monodromy of the tropicalization $U^{\rm trop}$ of $U$ is one of Kodaira's monodromies. In these cases we prove uniqueness results about the log Calabi-Yau surfaces whose tropicalization is $U^{\rm trop}$. We also describe the action of the cluster modular group on $U^{\rm trop}$ in the positive cases.

math.AG

Tropical Theta Functions and Log Calabi-Yau Surfaces

We generalize the standard combinatorial techniques of toric geometry to the study of log Calabi-Yau surfaces. The character and cocharacter lattices are replaced by certain integral linear manifolds described by Gross, Hacking, and Keel, and monomials on toric varieties are replaced with the canonical theta functions which GHK defined using ideas from mirror symmetry. We describe the tropicalizations of theta functions and use them to generalize the dual pairing between the character and cocharacter lattices. We use this to describe generalizations of dual cones, Newton and polar polytopes, Minkowski sums, and finite Fourier series expansions. We hope that these techniques will generalize to higher-rank cluster varieties.

math.AG