arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Tyler Foster

35 papers · 2003–2026

2003: 12004: 02005: 02006: 02007: 12008: 02009: 22010: 22011: 02012: 32013: 22014: 42015: 42016: 12017: 62018: 02019: 22020: 12021: 12022: 12023: 12024: 12025: 02026: 2
2003peak 6 in 20172026

Frequent co-authors

Papers

showing 1–25 of 35 RSS

Ascend by Evolv: Artificial Intelligence‐Based Massively Multivariate Conversion Rate Optimization

Risto Miikkulainen, Myles Brundage, Jonathan Epstein +9 more

Computational Theory and Mathematics · AI Magazine · · cited 9× · DOI ↗ · more like this ·

Conversion rate optimization (CRO) means designing an e‐commerce web interface so that as many users as possible take a desired action such as registering for an account, requesting a contact, or making a purchase. Such design is usually done by hand, evaluating one change at a time through A/B testing, evaluating all combinations of two or three variables through multivariate testing, or evaluating multiple variables independently. Traditional CRO is thus limited to a small fraction of the design space only, and often misses important interactions between the design variables. This article describes Ascend by Evolv, 1 an automatic CRO system that uses evolutionary search to discover effective web interfaces given a human‐designed search space. Design candidates are evaluated in parallel online with real users, making it possible to discover and use interactions between the design…

Degenerations of toric varieties over valuation rings

Tyler Foster, Dhruv Ranganathan

math.AG · · cited 5× · arXiv ↗ · more like this ·

We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian groups of finite rank. Our main theorem describes the geometry of successive special fibers in the degeneration in terms of the polyhedral geometry of a system of recession complexes associated to the fan.

Limits of tropicalizations

Tyler Foster, Philipp Gross, Sam Payne

math.AG · · cited 1× · arXiv ↗ · more like this ·

We give general criteria under which the limit of a system of tropicalizations of a scheme over a nonarchimedean field is homeomorphic to the analytification of the scheme. As an application, we show that the analytification of an arbitrary closed subscheme of a toric variety is naturally homeomorphic to the limit of its tropicalizations, generalizing an earlier result of the third author for quasiprojective varieties.

G92.4+5.0: A Perseus Arm superbubble associated with the H II region CTB 102

Rebecca A. Booth, Jo-Anne Brown, Tom Landecker +4 more

astro-ph.GA · · cited 0× · arXiv ↗ · more like this ·

Superbubbles are vast hot cavities carved out by the stellar winds and supernovae of clusters of high-mass stars. We investigate G92.4+5.0 (the CTB 102 superbubble), a Perseus Arm superbubble associated with the HII region CTB 102. We use new and archival radio observations (total intensity, rotation measure, and HI spectral line) from the Dominion Radio Astrophysical Observatory Synthesis Telescope, combined with single-antenna data from the Effelsberg Medium Latitude Survey, the Global Magneto-Ionic Medium Survey, and the HI4PI survey to provide data on large structures. The upper region of the superbubble is faint in HI. In order to detect its full extent, we supplement our observations with H-alpha data from the Wisconsin H-Alpha Mapper Survey and the Ziegenbalg Survey, and observe H-alpha emission in the upper region. We measure the CTB 102 superbubble to be at least ~170 pc wide…

Dual-Rate Force-Image Control with Model-Based Orientation Limits for Robotic Ultrasound

Tyler Foster, Qiang Zhang, A B M Tahidul Haque +1 more

cs.RO · · cited 0× · arXiv ↗ · more like this ·

Robotic ultrasound couples a high-rate contact-force loop with slower, delayed image feedback, so image-guided ultrasound probe rotation can perturb contact force before the resulting image response is observed. We derive a closed-form orientation-rate limit that bounds the modeled rotation-induced estimated-force excursion over a finite horizon while accounting for disturbance rejection by the fast force loop. The limit depends on local contact stiffness, force-loop gains, a conservative rotation-to-force gain bound, the excursion budget, and the prediction horizon. We implement this model in a dual-rate controller with timestamp-based delay reconstruction and joint-torque-based force estimation, and evaluate it on a curved gelatin phantom using paired controller comparisons and component ablations. Relative to unconstrained image guidance, the proposed rate-limited controller reduced…

Adic tropicalizations and cofinality of Gubler models

Tyler Foster, Sam Payne

math.AG · · cited 0× · arXiv ↗ · more like this ·

We introduce adic tropicalizations for subschemes of toric varieties as limits of Gubler models associated to polyhedral covers of the ordinary tropicalization. Our main result shows that Huber's adic analytification of a subscheme of a toric variety is naturally isomorphic to the inverse limit of its adic tropicalizations, in the category of locally topologically ringed spaces. The key new technical idea underlying this theorem is cofinality of Gubler models, which we prove for projective schemes and also for more general compact analytic domains in closed subschemes of toric varieties. In addition, we introduce a G-topology and structure sheaf on ordinary tropicalizations, and show that Berkovich analytifications are limits of ordinary tropicalizations in the category of topologically ringed topoi.

Non-Archimedean and tropical theta functions

Tyler Foster, Joseph Rabinoff, Farbod Shokrieh +1 more

math.AG · · cited 0× · arXiv ↗ · more like this ·

We define a tropicalization procedure for theta functions on abelian varieties over a non-Archimedean field. We show that the tropicalization of a non-Archimedean theta function is a tropical theta function, and that the tropicalization of a non-Archimedean Riemann theta function is a tropical Riemann theta function, up to scaling and an additive constant. We apply these results to the construction of rational functions with prescribed behavior on the skeleton of a principally polarized abelian variety. We work with the Raynaud--Bosch--Lütkebohmert theory of non-Archimedean theta functions for abelian varieties with semi-abelian reduction.

Galois actions on analytifications and tropicalizations

Tyler Foster

math.AG · · cited 0× · arXiv ↗ · more like this ·

This paper initiates a research program that seeks to recover algebro-geometric Galois representations from combinatorial data. We study tropicalizations equipped with symmetries coming from the Galois-action present on the lattice of $1$-parameter subgroups inside ambient Galois-twisted toric varieties. Over a Henselian field, the resulting tropicalization maps become Galois-equivariant. We call their images Galois-equivariant tropicalizations, and use them to construct a large supply of Galois representations in the tropical cellular cohomology groups of Itenberg, Katzarkov, Mikhalkin, and Zharkov. We also prove two results which say that under minimal hypotheses on a variety $X_{0}$ over a Henselian field $K_{0}$, Galois-equivariant tropicalizations carry all of the arithmetic structure of $X_{0}$. Namely: (1) The Galois-orbit of any point of $X_{0}$ valued in the separable closure…

Analytic and tropical varieties over higher rank valued fields

Tyler Foster

Geometry and Topology · cIRcle (University of British Columbia) · · cited 0× · DOI ↗ · more like this ·

Recent work of Nisse-Sottile, Hrushovski-Loeser, Ducros, and Giansiracusa-Giansiracusa demonstrates that valuation rings of rank >1 play an important role in the geometry of analytic and tropical varieties over non-Archimedean valued fields of rank 1. In this talk, I will present recent work with Dhruv Ranganathan and Max Hully on the geometry of analytic and tropical varieties over higher rank valued fields. I will explain how ideas coming from tame topology can be used to study the geometry of these spaces. I will explain the role that multi-stage degenerations play in this geometry, and if time permits, I will sketch an application of these ideas to the study of tropical and algebraic intersection multiplicities.

Introduction to adic tropicalization

Tyler Foster

math.AG · · cited 0× · arXiv ↗ · more like this ·

This is an expository article on the adic tropicalization of algebraic varieties. We outline joint work with Sam Payne in which we put a topology and structure sheaf of local topological rings on the exploded tropicalization. The resulting object, which blends polyhedral data of the tropicalization with algebraic data of the associated initial degenerations, is called the adic tropicalization. It satisfies a theorem of the form "Huber analytification is the limit of all adic tropicalizations." We explain this limit theorem in the present article, and illustrate connections between adic tropicalization and the curve complexes of O. Amini and M. Baker.

Rational Connectivity and Analytic Contractibility

Morgan Brown, Tyler Foster

math.AG · · cited 0× · arXiv ↗ · more like this ·

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally connected, then the Berkovich analytifications of X and Y are homotopy equivalent. Two important consequences of this result are that the homotopy type of the Berkovich analytification of any smooth projective variety X over k((t)) is a birational invariant of X, and that the Berkovich analytification of a rationally connected smooth projective variety over k((t)) is contractible.

Higher configuration operads by way of quiver Grassmannians

Tyler Foster

math.AG · · cited 0× · arXiv ↗ · more like this ·

We introduce a construction that associates, to each finite dimensional k-vector space V, a family of projective k-varieties that comes equipped with the structure of a operad in the category of k-schemes. When dim V = 1, this operad contains, as a suboperad, the family of moduli spaces of stably marked rational curves. For general V, our operad contains the family of Chen-Gibney-Krashen moduli spaces of stably marked trees of projective spaces as a suboperad. We realize our operad as part of a larger theory that describes how to construct operads from suitable functors. Given a category C that satisfies conditions allowing us to consider the operation of "substituting a value into an argument" within C, and given any functor F on C satisfying a variant of right-exactness, we construct a version of a set-valued operad whose inputs are given by objects in C. When C happens to be the…

A Noncommutative Version of the Natural Numbers

Tyler Foster

math.QA · · cited 0× · arXiv ↗ · more like this ·

In this note, we construct and study an algebraic system similar to the natural numbers, but with noncommutative addition. The addition we introduce is a binary operation that commutes with itself in the sense of N. Durov. Neverheless, the multiplication in this system (defined by iterating the noncommutative addition) turns out to be associative, commutative, and distributive over addition, and the resulting system has interesting and nontrivial arithmetic.

Web-based feature reduction system: a case study

Hoh Peter In, Tyler L. Foster, Jason Surprise +3 more

Information Systems · · cited 0× · DOI ↗ · more like this ·

Before the feature reduction system (FRS) was developed, software engineers were required to use multiple independent Web-based information-reporting systems when conducting multiple Web transactions. Software engineers, interacting with many Web-based systems during normal software project activities, are often required to manually enter similar, or even the same, information many times using a graphical user interfaces. This paper presents FRS, a Web-based feature reduction system, which enables software engineers to greatly reduce their manual intervention during the course of Web transactions. Unlike other automatic Web transaction systems, FRS adopts a new component-based approach, called "WebComponent", to generalize initial capabilities of script-based FRS. The on-going component-based approach to FRS results in increased ease and efficiency of Web transactions, enabling…

Interaction Between Rogue HI Clouds and the Magnetic Field High Above the Galaxy

Bailey Forster, Tyler J. Foster, Roland Kothes +2 more

astro-ph.GA · · arXiv ↗ · more like this ·

Observations of the Milky Way and external galaxies support the idea that large-scale magnetic fields are concentrated in galactic disks, with halo magnetic fields at least an order of magnitude weaker. However, very little is known about the transition between the two. We present the discovery of linearly polarized radio emission at the interface between interacting shells of gas within a well-known grouping of high-velocity clouds (HVCs), the Anti-Center Shell. Faraday rotation of diffuse emission and of background extragalactic compact sources demonstrates an enhancement of the field at the interface. This is the clearest observed example of an HVC altering the large-scale magnetic field at the disk-halo interface and is the first image of magnetic field effects in an HVC. These results demonstrate the possibility of future three-dimensional reconstruction of the Galactic magnetic…

A New Distance to the Supernova Remnant DA 530 Based on HI Absorption of Polarized Emission

Rebecca A. Booth, Roland Kothes, Tom Landecker +4 more

astro-ph.GA · · arXiv ↗ · more like this ·

Supernova remnants (SNRs) are significant contributors of matter and energy to the interstellar medium. Understanding the impact and the mechanism of this contribution requires knowledge of the physical size, energy, and expansion rate of individual SNRs, which can only come if reliable distances can be obtained. We aim to determine the distance to the SNR DA 530 (G93.3+6.9), an object of low surface brightness. To achieve this, we used the Dominion Radio Astrophysical Observatory Synthesis Telescope and the National Radio Astronomy Observatory Very Large Array to observe the absorption by intervening HI of the polarized emission from DA 530. Significant absorption was detected at velocities $-28$ and -67 km/s (relative to the local standard of rest), corresponding to distances of 4.4 and 8.3 kpc, respectively. Based on the radio and X-ray characteristics of DA 530, we conclude that the…

GASKAP-HI Pilot Survey Science I: ASKAP Zoom Observations of HI Emission in the Small Magellanic Cloud

N. M. Pingel, J. Dempsey, N. M. McClure-Griffiths +53 more

astro-ph.GA · · arXiv ↗ · more like this ·

We present the most sensitive and detailed view of the neutral hydrogen (HI) emission associated with the Small Magellanic Cloud (SMC), through the combination of data from the Australian Square Kilometre Array Pathfinder (ASKAP) and Parkes (Murriyang), as part of the Galactic Australian Square Kilometre Array Pathfinder (GASKAP) pilot survey. These GASKAP-HI pilot observations, for the first time, reveal HI in the SMC on similar physical scales as other important tracers of the interstellar medium, such as molecular gas and dust. The resultant image cube possesses an rms noise level of 1.1 K (1.6 mJy/beam) per 0.98 km s$^{-1}$ spectral channel with an angular resolution of 30$''$ ($\sim$10 pc). We discuss the calibration scheme and the custom imaging pipeline that utilizes a joint deconvolution approach, efficiently distributed across a computing cluster, to accurately recover the…

Canadian Investigations of the Interstellar Medium

Alex S. Hill, Jan Cami, Laura Fissel +10 more

astro-ph.GA · · arXiv ↗ · more like this ·

The interstellar medium mediates galactic evolution as the reservoir of material for future star formation and the repository of energy and matter output by stellar processes. Canadians have played leading roles in ISM science for decades. The Canadian Galactic Plane Survey identified a wealth of small-scale structure in H I emission as well as self-absorption and in the structure of polarized emission. These observations demonstrated that no phase of the ISM, including the transition from atomic gas to star formation, can be understood in isolation. Canadians have also played leading roles in the characterization of dust with Planck and balloon-borne telescopes. Canadians have also used pulsar scintillometry to measure structure in the ISM at the smallest scales, below 1 AU. The 2020s offer many opportunities for ISM science in Canada. A major but cost-effective upgrade to the…

HI observations of IC 10 with the DRAO synthesis telescope

Brenda Namumba, Claude Carignan, Tyler Foster +1 more

astro-ph.GA · · arXiv ↗ · more like this ·

HI observations of the nearby blue compact dwarf galaxy IC 10 obtained with the Dominion Radio Astrophysical Observatory synthesis telescope (DRAO), for a total integration of $\sim$1000 hours, are presented. We confirm the NW faint 21 cm HI emission feature discovered in GBT observations. The HI feature has an HI mass of 4.7 $\times 10^{5}$ M$_{\odot}$, which is only $\sim$ 0.6$\%$ of the total HI mass of the galaxy (7.8 $\times 10^{7}$ M$_{\odot}$). In the inner disk, the rotation curve of IC 10 rises steeply, then flattens until the last point where it rises again, with a maximum velocity of 30 km s$^{-1}$. Based on our mass models, the kinematics of the inner disk of IC 10 can be described without the need of a dark matter halo. However, this does not exclude the possible presence of dark matter on a larger scale. It is unlikely that the disturbed features seen in the outer HI disk…

HI Kinematics and Mass Distribution of Messier 33

S. Zacharie Kam, Claude Carignan, Laurent Chemin +3 more

astro-ph.GA · · arXiv ↗ · more like this ·

A new deep HI survey of the galaxy Messier 33 is presented, based on observations obtained at the Dominion Radio Astrophysical Observatory. We observe a perturbed outer gas distribution and kinematics in M33, and confirm the disk warping as a significant kinematical twist of the major axis of the velocity field, though no strong tilt is measured, in agreement with previous work. Evidence for a new low brightness HI component with anomalous velocity is reported. It harbours a large velocity scatter, as its kinematics both exceeds and lags the rotation of the disk, and leaks in the forbidden velocity zone of apparent counter-rotation. The observations also reveal wide and multiple peak HI profiles which can be partly explained by crowded orbits in the framework of the warp model. Asymmetric motions are identified in the velocity field, as possible signatures of a lopsided potential and…

Primes in short intervals on curves over finite fields

Efrat Bank, Tyler Foster

math.NT · · arXiv ↗ · more like this ·

We prove an analogue of the Prime Number Theorem for short intervals on a smooth projective geometrically irreducible curve of arbitrary genus over a finite field. A short interval "of size E" in this setting is any additive translate of the space of global sections of a sufficiently positive divisor E by a suitable rational function f. Our main theorem gives an asymptotic count of irreducible elements in short intervals on a curve in the "large q" limit, uniformly in f and E. This result provides a function field analogue of an unresolved short interval conjecture over number fields, and extends a theorem of Bary-Soroker, Rosenzweig, and the first author, which can be understood as an instance of our result for the special case of a divisor E supported at a single rational point on the projective line.

Logarithmic Picard groups, chip firing, and the combinatorial rank

Tyler Foster, Dhruv Ranganathan, Mattia Talpo +1 more

math.AG · · arXiv ↗ · more like this ·

Illusie has suggested that one should think of the classifying group of $M_X^{gp}$-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspective to Baker and Norine's theory of ranks of divisors on a finite graph, and to Amini and Baker's metrized complexes of curves. Moreover, we propose a definition of a combinatorial rank for line bundles on $X$ and prove that an analogue of the Riemann-Roch formula holds for our combinatorial rank. Our proof proceeds by carefully describing the relationship between the logarithmic Picard group on a logarithmic curve and the Picard group of the associated metrized complex. This approach suggests…

D-structures and derived Koszul duality for unital operad algebras

Tyler Foster, Po Hu, Igor Kriz

math.KT · · arXiv ↗ · more like this ·

Generalizing a concept of Lipshitz, Ozsváth and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler and Jones. This construction gives rise to an equivalence of derived categories, which can be thought of as a unital version of Koszul duality using non-unital Quillen homology. We also discuss a multi-sorted version of the construction, which provides a framework for unifying the known algebraic contexts of Koszul duality.

Hahn analytification and connectivity of higher rank tropical varieties

Tyler Foster, Dhruv Ranganathan

math.AG · · arXiv ↗ · more like this ·

We show that the tropicalization of a connected variety over a higher rank valued field is a path connected topological space. This establishes an affirmative answer to a question posed by Banerjee. Higher rank tropical varieties are studied as the images of "Hahn analytifications", introduced in this paper. A Hahn analytification is a space of valuations on a scheme over a higher rank valued field. We prove that the Hahn analytification is related to higher rank tropicalization by means of an inverse limit theorem, extending well-known results in the non-Archimedean case. We also establish comparison results between the Hahn analytification and the Huber and Berkovich analytifications, as well as the Hrushovski-Loeser stable completion.