Showing 1–50 of 149 results for author: Fritz, T

Photometric Classification of Stars Around the Milky Way's Central Black Hole: I. Central Parsec

Authors: E. Gallego-Cano, T. Fritz, R. Schödel, A. Feldmeier-Krause, T. Do, S. Nishiyama

Abstract: The presence of young massive stars in the Galactic Centre (GC) raises questions about star formation near the black hole Sagittarius A* (Sgr A*). Additionally, the initial mass function (IMF) in this region appears different from the standard Salpeter/Kroupa law. Extreme extinction and crowding limit our understanding of the stellar population, with spectroscopic data available only for selected… ▽ More The presence of young massive stars in the Galactic Centre (GC) raises questions about star formation near the black hole Sagittarius A* (Sgr A*). Additionally, the initial mass function (IMF) in this region appears different from the standard Salpeter/Kroupa law. Extreme extinction and crowding limit our understanding of the stellar population, with spectroscopic data available only for selected bright sources. We aim to improve knowledge about the distribution and IMF of young, massive stars near Sgr A*. Using intermediate band (IB) photometry, we identify candidates for massive young stars through Bayesian inference, a neural network, and a gradient-boosted trees algorithm. We obtained spectral energy distributions for 6590 stars, 1181 of which have been previously classified spectroscopically. We identify 351 stars classified as early types by all three methods, including 155 newly identified candidates. The radial density profiles for late and early-type stars fit broken power laws, with a break radius of 9.2 +- 0.6'' for early-type stars. Late-type stars show a core-like distribution around Sgr A*, while early-type stars' density increases steeply towards the black hole. We infer a top-heavy IMF of young stars near Sgr A* (R < 9''), with a power-law of 1.6 +- 0.1. At greater distances, a standard Salpeter/Kroupa IMF fits the data. IB photometry also constrains the metallicities of late-type stars, estimating metallicities for over 600 stars. The IMF variation with radial distance suggests different star formation mechanisms, with a top-heavy IMF near Sgr A* consistent with disc star formation. △ Less

Submitted 13 June, 2024; v1 submitted 6 June, 2024; originally announced June 2024.

Self-distributive structures in physics

Authors: Tobias Fritz

Abstract: It is an important feature of our existing physical theories that observables generate one-parameter groups of transformations. In classical Hamiltonian mechanics and quantum mechanics, this is due to the fact that the observables form a Lie algebra, and it manifests itself in Noether's theorem. In this paper, we introduce Lie quandles as the minimal mathematical structure needed to express the id… ▽ More It is an important feature of our existing physical theories that observables generate one-parameter groups of transformations. In classical Hamiltonian mechanics and quantum mechanics, this is due to the fact that the observables form a Lie algebra, and it manifests itself in Noether's theorem. In this paper, we introduce Lie quandles as the minimal mathematical structure needed to express the idea that observables generate transformations. This is based on the notion of a quandle used most famously in knot theory, whose main defining property is the self-distributivity equation $x \triangleright (y \triangleright z) = (x \triangleright y) \triangleright (x \triangleright z)$. We argue that Lie quandles can be thought of as nonlinear generalizations of Lie algebras. We also observe that taking convex combinations of points in vector spaces, which physically corresponds to mixing states, satisfies the same form of self-distributivity. △ Less

Submitted 10 April, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 12 pages, comments welcome

MSC Class: Primary: 17B81. Secondary: 57K12; 70H05; 81R05

Differential geometry and general relativity with algebraifolds

Authors: Tobias Fritz

Abstract: It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential geometry which eliminate the need for an underlying manifold. While the literature contains various independent approaches to this, we focus on one particular approa… ▽ More It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential geometry which eliminate the need for an underlying manifold. While the literature contains various independent approaches to this, we focus on one particular approach that we argue to be the most natural one based on the definition of \emph{algebraifold}, by which we mean a commutative algebra $\mathcal{A}$ for which the module of derivations of $\mathcal{A}$ is finitely generated projective. Over $\mathbb{R}$ as the base ring, this class of algebras includes the algebra $C^\infty(M)$ of smooth functions on a manifold $M$, and similarly for analytic functions. An importantly different example is the Colombeau algebra of generalized functions on $M$, which makes distributional differential geometry an instance of our formalism. Another instance is a fibred version of smooth differential geometry, since any smooth submersion $M \to N$ makes $C^\infty(M)$ into an algebraifold with $C^\infty(N)$ as the base ring.Over any field $k$ of characteristic zero, examples include the algebra of regular functions on a smooth affine variety as well as any function field. Our development of differential geometry in terms of algebraifolds comprises tensors, connections, curvature, geodesics and we briefly consider general relativity. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 53 pages

Intensive Care as One Big Sequence Modeling Problem

Authors: Vadim Liventsev, Tobias Fritz

Abstract: Reinforcement Learning in Healthcare is typically concerned with narrow self-contained tasks such as sepsis prediction or anesthesia control. However, previous research has demonstrated the potential of generalist models (the prime example being Large Language Models) to outperform task-specific approaches due to their capability for implicit transfer learning. To enable training of foundation mod… ▽ More Reinforcement Learning in Healthcare is typically concerned with narrow self-contained tasks such as sepsis prediction or anesthesia control. However, previous research has demonstrated the potential of generalist models (the prime example being Large Language Models) to outperform task-specific approaches due to their capability for implicit transfer learning. To enable training of foundation models for Healthcare as well as leverage the capabilities of state of the art Transformer architectures, we propose the paradigm of Healthcare as Sequence Modeling, in which interaction between the patient and the healthcare provider is represented as an event stream and tasks like diagnosis and treatment selection are modeled as prediction of future events in the stream. To explore this paradigm experimentally we develop MIMIC-SEQ, a sequence modeling benchmark derived by translating heterogenous clinical records from MIMIC-IV dataset into a uniform event stream format, train a baseline model and explore its capabilities. △ Less

Submitted 24 May, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

The JWST Resolved Stellar Populations Early Release Science Program V. DOLPHOT Stellar Photometry for NIRCam and NIRISS

Authors: Daniel R. Weisz, Andrew E. Dolphin, Alessandro Savino, Kristen B. W. McQuinn, Max J. B. Newman, Benjamin F. Williams, Nitya Kallivayalil, Jay Anderson, Martha L. Boyer, Matteo Correnti, Marla C. Geha, Karin M. Sandstrom, Andrew A. Cole, Jack T. Warfield, Evan D. Skillman, Roger E. Cohen, Rachael Beaton, Alessandro Bressan, Alberto Bolatto, Michael Boylan-Kolchin, Alyson M. Brooks, James S. Bullock, Charlie Conroy, Michael C. Cooper, Julianne J. Dalcanton , et al. (16 additional authors not shown)

Abstract: We present NIRCam and NIRISS modules for DOLPHOT, a widely-used crowded field stellar photometry package. We describe details of the modules including pixel masking, astrometric alignment, star finding, photometry, catalog creation, and artificial star tests (ASTs). We tested these modules using NIRCam and NIRISS images of M92 (a Milky Way globular cluster), Draco II (an ultra-faint dwarf galaxy),… ▽ More We present NIRCam and NIRISS modules for DOLPHOT, a widely-used crowded field stellar photometry package. We describe details of the modules including pixel masking, astrometric alignment, star finding, photometry, catalog creation, and artificial star tests (ASTs). We tested these modules using NIRCam and NIRISS images of M92 (a Milky Way globular cluster), Draco II (an ultra-faint dwarf galaxy), and WLM (a star-forming dwarf galaxy). DOLPHOT's photometry is highly precise and the color-magnitude diagrams are deeper and have better definition than anticipated during original program design in 2017. The primary systematic uncertainties in DOLPHOT's photometry arise from mismatches in the model and observed point spread functions (PSFs) and aperture corrections, each contributing $\lesssim0.01$ mag to the photometric error budget. Version 1.2 of WebbPSF models, which include charge diffusion and interpixel capacitance effects, significantly reduced PSF-related uncertainties. We also observed minor ($\lesssim0.05$ mag) chip-to-chip variations in NIRCam's zero points, which will be addressed by the JWST flux calibration program. Globular cluster observations are crucial for photometric calibration. Temporal variations in the photometry are generally $\lesssim0.01$ mag, although rare large misalignment events can introduce errors up to 0.08 mag. We provide recommended DOLPHOT parameters, guidelines for photometric reduction, and advice for improved observing strategies. Our ERS DOLPHOT data products are available on MAST, complemented by comprehensive online documentation and tutorials for using DOLPHOT with JWST imaging data. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: 30 pages, 17 figures. Accepted to ApJS. Data products to be hosted on MAST. For DOLPHOT/JWST tutorials, see https://dolphot-jwst.readthedocs.io/en/latest/ . For more program and DOLPHOT info, see https://ers-stars.github.io

Hidden Markov Models and the Bayes Filter in Categorical Probability

Authors: Tobias Fritz, Andreas Klingler, Drew McNeely, Areeb Shah-Mohammed, Yuwen Wang

Abstract: We use Markov categories to develop generalizations of the theory of Markov chains and hidden Markov models in an abstract setting. This comprises characterizations of hidden Markov models in terms of local and global conditional independences as well as existing algorithms for Bayesian filtering and smoothing applicable in all Markov categories with conditionals. We show that these algorithms spe… ▽ More We use Markov categories to develop generalizations of the theory of Markov chains and hidden Markov models in an abstract setting. This comprises characterizations of hidden Markov models in terms of local and global conditional independences as well as existing algorithms for Bayesian filtering and smoothing applicable in all Markov categories with conditionals. We show that these algorithms specialize to existing ones such as the Kalman filter, forward-backward algorithm, and the Rauch-Tung-Striebel smoother when instantiated in appropriate Markov categories. Under slightly stronger assumptions, we also prove that the sequence of outputs of the Bayes filter is itself a Markov chain with a concrete formula for its transition maps. There are two main features of this categorical framework. The first is its generality, as it can be used in any Markov category with conditionals. In particular, it provides a systematic unified account of hidden Markov models and algorithms for filtering and smoothing in discrete probability, Gaussian probability, measure-theoretic probability, possibilistic nondeterminism and others at the same time. The second feature is the intuitive visual representation of information flow in these algorithms in terms of string diagrams. △ Less

Submitted 25 February, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 76 pages. v2: added Examples 3.8 and 3.23 on possibilistic filter and Section 1.5 on implementation

Lifshitz Transition and Band Structure Evolution in Alkali Metal Intercalated 1Tprime-MoTe2

Authors: Joohyung Park, Ayan N. Batyrkhanov, Jonas Brandhoff, Marco Gruenewald, Felix Otto, Maximilian Schaal, Saban Hus, Torsten Fritz, Florian Göltl, An-Ping Li, Oliver L. A. Monti

Abstract: MoTe2 is a paradigmatic van der Waals layered semimetal with two energetically close electronic phases, the topologically trivial 1Tprime and the low-temperature Td type-II Weyl semimetal phase. The ability to manipulate this phase transition, perhaps towards occurring near room temperature, would open new avenues for harnessing the full potential of Weyl semimetals for high-efficiency electronic… ▽ More MoTe2 is a paradigmatic van der Waals layered semimetal with two energetically close electronic phases, the topologically trivial 1Tprime and the low-temperature Td type-II Weyl semimetal phase. The ability to manipulate this phase transition, perhaps towards occurring near room temperature, would open new avenues for harnessing the full potential of Weyl semimetals for high-efficiency electronic and spintronic applications. Here, we show that potassium dosing on 1Tprime-MoTe2 induces a Lifshitz transition by a combination of angle-resolved photoemission spectroscopy, scanning tunneling microscopy, x-ray spectroscopy and density functional theory. While the electronic structure shifts rigidly for small concentrations of K, MoTe2 undergoes significant band structure renormalization for larger concentrations. Our results demonstrate that the origin of this electronic structure change stems from alkali metal intercalation. We show that these profound changes are caused by effectively decoupling the 2D sheets, bringing K-intercalated 1Tprime-MoTe2 to the quasi-2D limit, but do not cause a topological phase transition. △ Less

Submitted 31 January, 2024; v1 submitted 23 December, 2023; originally announced December 2023.

Involutive Markov categories and the quantum de Finetti theorem

Authors: Tobias Fritz, Antonio Lorenzin

Abstract: Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. First, we show that these are equivalent to Parzygnat's quantum Markov categories but argue that they are simpler to work with. Our main examples of involutive Markov categories involve C*… ▽ More Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. First, we show that these are equivalent to Parzygnat's quantum Markov categories but argue that they are simpler to work with. Our main examples of involutive Markov categories involve C*-algebras (of any dimension) as objects and completely positive unital maps as morphisms in the picture of interest. Second, we prove a quantum de Finetti theorem for both the minimal and the maximal C*-tensor norms, and we develop a categorical description of such quantum de Finetti theorems which amounts to a universal property of state spaces. △ Less

Submitted 12 January, 2024; v1 submitted 15 December, 2023; originally announced December 2023.

Comments: 49 pages

Absolute continuity, supports and idempotent splitting in categorical probability

Authors: Tobias Fritz, Tomáš Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein

Abstract: Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like conditional probability and almost sure equality, as well as proofs of fundamental results such as the Hewitt-Savage 0/1 Law, the de Finetti Theorem and the Ergodic Decomposition Theorem. In this work, we develop additional… ▽ More Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like conditional probability and almost sure equality, as well as proofs of fundamental results such as the Hewitt-Savage 0/1 Law, the de Finetti Theorem and the Ergodic Decomposition Theorem. In this work, we develop additional relevant notions from probability theory in the setting of Markov categories. This comprises improved versions of previously introduced definitions of absolute continuity and supports, as well as a detailed study of idempotents and idempotent splitting in Markov categories. Our main result on idempotent splitting is that every idempotent measurable Markov kernel between standard Borel spaces splits through another standard Borel space, and we derive this as an instance of a general categorical criterion for idempotent splitting in Markov categories. △ Less

Submitted 6 September, 2023; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 84 pages (including 18 page appendix and many string diagrams). v2: Corollary 4.4.10 and results needed to establish it were added

MSC Class: 18M05; 60A05

The Hubble Space Telescope Survey of M31 Satellite Galaxies II. The Star Formation Histories of Ultra-Faint Dwarf Galaxies

Authors: A. Savino, D. R. Weisz, E. D. Skillman, A. Dolphin, A. A. Cole, N. Kallivayalil, A. Wetzel, J. Anderson, G. Besla, M. Boylan-Kolchin, T. M. Brown, J. S. Bullock, M. L. M. Collins, M. C. Cooper, A. J. Deason, A. L. Dotter, M. Fardal, A. M. N. Ferguson, T. K. Fritz, M. C. Geha, K. M. Gilbert, P. Guhathakurta, R. Ibata, M. J. Irwin, M. Jeon , et al. (12 additional authors not shown)

Abstract: We present the lifetime star formation histories (SFHs) for six ultra-faint dwarf (UFD; $M_V>-7.0$, $ 4.9<\log_{10}({M_*(z=0)}/{M_{\odot}})<5.5$) satellite galaxies of M31 based on deep color-magnitude diagrams constructed from \textit{Hubble Space Telescope} imaging. These are the first SFHs obtained from the oldest main sequence turn-off of UFDs outside the halo of the Milky Way (MW). We find th… ▽ More We present the lifetime star formation histories (SFHs) for six ultra-faint dwarf (UFD; $M_V>-7.0$, $ 4.9<\log_{10}({M_*(z=0)}/{M_{\odot}})<5.5$) satellite galaxies of M31 based on deep color-magnitude diagrams constructed from \textit{Hubble Space Telescope} imaging. These are the first SFHs obtained from the oldest main sequence turn-off of UFDs outside the halo of the Milky Way (MW). We find that five UFDs formed at least 50\% of their stellar mass by $z=5$ (12.6~Gyr ago), similar to known UFDs around the MW, but that 10-40\% of their stellar mass formed at later times. We uncover one remarkable UFD, \A{XIII}, which formed only 10\% of its stellar mass by $z=5$, and 75\% in a rapid burst at $z\sim2-3$, a result that is robust to choices of underlying stellar model and is consistent with its predominantly red horizontal branch. This "young" UFD is the first of its kind and indicates that not all UFDs are necessarily quenched by reionization, which is consistent with predictions from several cosmological simulations of faint dwarf galaxies. SFHs of the combined MW and M31 samples suggest reionization did not homogeneously quench UFDs. We find that the least massive MW UFDs ($M_*(z=5) \lesssim 5\times10^4 M_{\odot}$) are likely quenched by reionization, whereas more massive M31 UFDs ($M_*(z=5) \gtrsim 10^5 M_{\odot}$) may only have their star formation suppressed by reionization and quench at a later time. We discuss these findings in the context of the evolution and quenching of UFDs. △ Less

Submitted 13 September, 2023; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: 18 pages, 14 figures, 5 appendices, accepted for publication in ApJ

Weakly Markov categories and weakly affine monads

Authors: Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta

Abstract: Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal categories where each object is equipped with the structure of a commutative comonoid. They arise for example as Kleisli categories of commutative monads on cartesian categories, and as such they provide a general framework for effectful computation. Recently proposed… ▽ More Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal categories where each object is equipped with the structure of a commutative comonoid. They arise for example as Kleisli categories of commutative monads on cartesian categories, and as such they provide a general framework for effectful computation. Recently proposed in the context of categorical probability, Markov categories are gs-monoidal categories where the monoidal unit is also terminal, and they arise for example as Kleisli categories of commutative affine monads, where affine means that the monad preserves the monoidal unit. The aim of this paper is to study a new condition on the gs-monoidal structure, resulting in the concept of weakly Markov categories, which is intermediate between gs-monoidal categories and Markov ones. In a weakly Markov category, the morphisms to the monoidal unit are not necessarily unique, but form a group. As we show, these categories exhibit a rich theory of conditional independence for morphisms, generalising the known theory for Markov categories. We also introduce the corresponding notion for commutative monads, which we call weakly affine, and for which we give two equivalent characterisations. The paper argues that these monads are relevant to the study of categorical probability. A case at hand is the monad of finite non-zero measures, which is weakly affine but not affine. Such structures allow to investigate probability without normalisation within an elegant categorical framework. △ Less

Submitted 25 August, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: CALCO 2023

MSC Class: 18M30; 18M35; 60A05

Journal ref: 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 16:1--16:17

Matrix majorization in large samples

Authors: Muhammad Usman Farooq, Tobias Fritz, Erkka Haapasalo, Marco Tomamichel

Abstract: One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly o… ▽ More One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly ordered between the two tuples, then for sufficiently large $n$, there exists a stochastic matrix taking the $n$-fold Kronecker power of each input distribution to the $n$-fold Kronecker power of the corresponding output distribution. The same conditions, with non-strict ordering for the monotones, are also necessary for such matrix majorization in large samples. Our result also gives conditions for the existence of a sequence of statistical maps that asymptotically (with vanishing error) convert a single copy of each input distribution to the corresponding output distribution with the help of a catalyst that is returned unchanged. Allowing for transformation with arbitrarily small error, we find conditions that are both necessary and sufficient for such catalytic matrix majorization. We derive our results by building on a general algebraic theory of preordered semirings recently developed by one of the authors. This also allows us to recover various existing results on majorization in large samples and in the catalytic regime as well as relative majorization in a unified manner. △ Less

Submitted 8 January, 2024; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 59 pages, 3 figures. Comparing to the earlier version, some typos and terminology were fixed and a further corollary (Corollary 46) was added

Journal ref: IEEE Transactions on Information Theory 70(5), 3118-3144 (2024)

The JWST Resolved Stellar Populations Early Release Science Program II. Survey Overview

Authors: Daniel R. Weisz, Kristen B. W. McQuinn, Alessandro Savino, Nitya Kallivayalil, Jay Anderson, Martha L. Boyer, Matteo Correnti, Marla C. Geha, Andrew E. Dolphin, Karin M. Sandstrom, Andrew A. Cole, Benjamin F. Williams, Evan D. Skillman, Roger E. Cohen, Max J. B. Newman, Rachael Beaton, Alessandro Bressan, Alberto Bolatto, Michael Boylan-Kolchin, Alyson M. Brooks, James S. Bullock, Charlie Conroy, M. C. Cooper, Julianne J. Dalcanton, Aaron L. Dotter , et al. (17 additional authors not shown)

Abstract: We present the JWST Resolved Stellar Populations Early Release Science (ERS) science program. We obtained 27.5 hours of NIRCam and NIRISS imaging of three targets in the Local Group (Milky Way globular cluster M92, ultra-faint dwarf galaxy Draco II, star-forming dwarf galaxy WLM), which span factors of $\sim10^5$ in luminosity, $\sim10^4$ in distance, and $\sim10^5$ in surface brightness. We descr… ▽ More We present the JWST Resolved Stellar Populations Early Release Science (ERS) science program. We obtained 27.5 hours of NIRCam and NIRISS imaging of three targets in the Local Group (Milky Way globular cluster M92, ultra-faint dwarf galaxy Draco II, star-forming dwarf galaxy WLM), which span factors of $\sim10^5$ in luminosity, $\sim10^4$ in distance, and $\sim10^5$ in surface brightness. We describe the survey strategy, scientific and technical goals, implementation details, present select NIRCam color-magnitude diagrams (CMDs), and validate the NIRCam exposure time calculator (ETC). Our CMDs are among the deepest in existence for each class of target. They touch the theoretical hydrogen burning limit in M92 ($<0.08$ $M_{\odot}$; SNR $\sim5$ at $m_{F090W}\sim28.2$; $M_{F090W}\sim+13.6$), include the lowest-mass stars observed outside the Milky Way in Draco II (0.09 $M_{\odot}$; SNR $=10$ at $m_{F090W}\sim29$; $M_{F090W}\sim+12.1$), and reach $\sim1.5$ magnitudes below the oldest main sequence turnoff in WLM (SNR $=10$ at $m_{F090W}\sim29.5$; $M_{F090W}\sim+4.6$). The PARSEC stellar models provide a good qualitative match to the NIRCam CMDs, though are $\sim0.05$ mag too blue compared to M92 F090W$-$F150W data. The NIRCam ETC (v2.0) matches the SNRs based on photon noise from DOLPHOT stellar photometry in uncrowded fields, but the ETC may not be accurate in more crowded fields, similar to what is known for HST. We release beta versions of DOLPHOT NIRCam and NIRISS modules to the community. Results from this ERS program will establish JWST as the premier instrument for resolved stellar populations studies for decades to come. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 23 pages, 7 Figures, 3 Tables. Submitted to AAS Journals. Comments welcome

Atomically Thin Metal-Dielectric Heterostructures by Atomic Layer Deposition

Authors: Pallabi Paul, Paul Schmitt, Vilborg Vala Sigurjonsdottir, Kevin Hanemann, Nadja Felde, Sven Schroeder, Felix Otto, Marco Gruenewald, Torsten Fritz, Vladimir Roddatis, Andreas Tuennermann, Adriana Szeghalmi

Abstract: Heterostructures increasingly attracted attention over the past several years to enable various optoelectronic and photonic applications. In this work, atomically thin interfaces of Ir/Al2O3 heterostructures compatible with micro-optoelectronic technologies are reported. Their structural and optical properties were determined by spectroscopic and microscopic techniques (XRR, XPS, HRTEM, spectrosco… ▽ More Heterostructures increasingly attracted attention over the past several years to enable various optoelectronic and photonic applications. In this work, atomically thin interfaces of Ir/Al2O3 heterostructures compatible with micro-optoelectronic technologies are reported. Their structural and optical properties were determined by spectroscopic and microscopic techniques (XRR, XPS, HRTEM, spectroscopic ellipsometry, and UV/VIS/NIR spectrophotometry). The XRR and HRTEM analyses reveal a layer-by-layer growth mechanism of Ir in atomic scale heterostructures, which is different from the typical island-type growth of metals on dielectrics. Alongside, XPS investigations imply the formation of Ir-O-Al bonding at the interfaces for lower Ir concentrations, in contrast to the nanoparticle core-shell structure formation. Precisely tuning the ratio of the constituents ensures the control of the dispersion profile along with a transition from effective dielectric to metallic heterostructures. The Ir coating thickness was varied ranging from a few Å to films of about 7 nm in the heterostructures. The transition has been observed in the structures containing individual Ir coating thicknesses of about 2-4 nm. Following this, show epsilon-near-zero metamaterials with tunable dielectric constants by precisely varying the composition of such heterostructures. Overall, a comprehensive study on structural and optical properties of the metal-dielectric interface of Ir/Al2O3 heterostructures was addressed indicating an extension of the material portfolio available for optical system design. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Heterostructure films of SiO$_2$ and HfO$_2$ for high power laser optics prepared by plasma-enhanced atomic layer deposition

Authors: Shawon Alam, Pallabi Paul, Vivek Beladiya, Olaf Stenzel, Marcus Trost, Steffen Wilbrandt, Sven Schroeder, Gabor Matthaeus, Stefan Nolte, Sebastian Riese, Felix Otto, Torsten Fritz, Alexander Gottwald, Adriana Szeghalmi

Abstract: Absorption losses and laser-induced damage threshold (LIDT) are considered as the major constraint for the development of optical coatings for high-power laser optics. Such coatings require paramount properties like low losses due to optical absorption, high mechanical stability, and enhanced damage resistance to withstand high-intensity laser pulses. In this work, heterostructure films were devel… ▽ More Absorption losses and laser-induced damage threshold (LIDT) are considered as the major constraint for the development of optical coatings for high-power laser optics. Such coatings require paramount properties like low losses due to optical absorption, high mechanical stability, and enhanced damage resistance to withstand high-intensity laser pulses. In this work, heterostructure films were developed by the intermixing of SiO$_2$ and HfO$_2$ using plasma-enhanced atomic layer deposition (PEALD) technique. Thin film characterization techniques such as spectroscopic ellipsometry, spectrophotometry, substrate curvature measurements, x-ray reflectivity, and Fourier transform infrared spectroscopy were employed for extracting optical constants, spectral inter-pretation, residual stress, layer formation, and functional groups present in the heterostructures, respectively. These heterostructures demonstrate tunable refractive index, bandgap, and improved optical losses and LIDT properties. The films were incorporated into antireflection coatings (multilayer stacks and graded index coatings) and the LIDT was determined at 355 nm wavelength by the R-on-1 method. Optical absorptions at the reported wavelengths were characterized using photothermal common-path interferometry and laser-induced deflection techniques. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Frontier Orbital Degeneracy: A new Concept for Tailoring the Magnetic State in Organic Semiconductor Adsorbates

Authors: Anubhab Chakraborty, Percy Zahl, Qingqing Dai, Hong Li, Torsten Fritz, Paul Simon, Jean-Luc Bredas, Oliver L. A. Monti

Abstract: Kondo resonances in molecular adsorbates are an important building block for applications in the field of molecular spintronics. Here, we introduce the novel concept of using frontier orbital degeneracy for tailoring the magnetic state, which is demonstrated for the case of the organic semiconductor 1,4,5,8,9,11-Hexaazatriphenylenehexacarbonitrile (HATCN, C18N12) on Ag(111). Low-temperature scanni… ▽ More Kondo resonances in molecular adsorbates are an important building block for applications in the field of molecular spintronics. Here, we introduce the novel concept of using frontier orbital degeneracy for tailoring the magnetic state, which is demonstrated for the case of the organic semiconductor 1,4,5,8,9,11-Hexaazatriphenylenehexacarbonitrile (HATCN, C18N12) on Ag(111). Low-temperature scanning tunneling microscopy/spectroscopy (LT-STM/STS) measurements reveal the existence of two types of adsorbed HATCN molecules with distinctly different appearances and magnetic states, as evident from the presence or absence of an Abrikosov-Suhl-Kondo resonance. Our DFT results show that HATCN on Ag(111) supports two almost isoenergetic states, both with one excess electron transferred from the Ag surface, but with magnetic moments of either 0 or 0.65 uB. Therefore, even though all molecules undergo charge transfer of one electron from the Ag substrate, they exist in two different molecular magnetic states that resemble a free doublet or an entangled spin state. We explain how the origin of this behavior lies in the twofold degeneracy of the lowest unoccupied molecular orbitals of gas phase HATCN, lifted upon adsorption and charge-transfer from Ag(111). Our combined STM and DFT study introduces a new pathway to tailoring the magnetic state of molecular adsorbates on surfaces, with significant potential for spintronics and quantum information science. △ Less

Submitted 4 April, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Dilations and information flow axioms in categorical probability

Authors: Tobias Fritz, Tomáš Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein

Abstract: We study the positivity and causality axioms for Markov categories as properties of dilations and information flow in Markov categories, and in variations thereof for arbitrary semicartesian monoidal categories. These help us show that being a positive Markov category is merely an additional property of a symmetric monoidal category (rather than extra structure). We also characterize the positivit… ▽ More We study the positivity and causality axioms for Markov categories as properties of dilations and information flow in Markov categories, and in variations thereof for arbitrary semicartesian monoidal categories. These help us show that being a positive Markov category is merely an additional property of a symmetric monoidal category (rather than extra structure). We also characterize the positivity of representable Markov categories and prove that causality implies positivity, but not conversely. Finally, we note that positivity fails for quasi-Borel spaces and interpret this failure as a privacy property of probabilistic name generation. △ Less

Submitted 9 June, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 42 pages

MSC Class: 18M05; 18D10; 60A05; 68Q55; 03B70

Journal ref: Mathematical Structures in Computer Science 33(10), 913-957 (2023)

HubPUG: Proper Motions for Local Group Dwarfs observed with HST utilizing Gaia as a Reference Frame

Authors: Jack T. Warfield, Nitya Kallivayalil, Paul Zivick, Tobias Fritz, Hannah Richstein, Sangmo Tony Sohn, Andrés del Pino, Alessandro Savino, Daniel R. Weisz

Abstract: We present the method behind HubPUG, a software tool built for recovering systemic proper motions (PMs) of Hubble Space Telescope (HST) fields with two epochs of observations by utilizing stars observed by Gaia as a foreground frame of reference. HST PM experiments have typically relied on the use of distant background galaxies or quasi-stellar objects (QSOs) as stationary sources against which to… ▽ More We present the method behind HubPUG, a software tool built for recovering systemic proper motions (PMs) of Hubble Space Telescope (HST) fields with two epochs of observations by utilizing stars observed by Gaia as a foreground frame of reference. HST PM experiments have typically relied on the use of distant background galaxies or quasi-stellar objects (QSOs) as stationary sources against which to measure PMs. Without consistent profiles, background galaxies are more difficult to centroid, but benefit on-aggregate from their large numbers. QSOs, though they can be fit with stellar point-spread functions, are sparse, with most fields containing none. Historically, the use of stars as references against which to measure PMs would have been difficult because they have individual PMs of their own. However, Gaia has now provided positions and PMs for over 1.4 billion stars, which are much more likely to be well-imaged in the fields around targets versus background sources, have predictable stellar profiles, and require less observing time per-image for good signal-to-noise. This technique allows us to utilize the power of Gaia to measure the PM of targets too faint for Gaia to observe itself. We have recovered PMs for the Milky Way satellites Sculptor and Draco with comparable uncertainties over HST-only and Gaia-only measurements, limited primarily by the current capabilities of the Gaia data. We also show the promise of this method for satellites of M31 with a new PM measurement for Andromeda VII. △ Less

Submitted 6 September, 2022; originally announced September 2022.

The d-separation criterion in Categorical Probability

Authors: Tobias Fritz, Andreas Klingler

Abstract: The d-separation criterion detects the compatibility of a joint probability distribution with a directed acyclic graph through certain conditional independences. In this work, we study this problem in the context of categorical probability theory by introducing a categorical definition of causal models, a categorical notion of d-separation, and proving an abstract version of the d-separation crite… ▽ More The d-separation criterion detects the compatibility of a joint probability distribution with a directed acyclic graph through certain conditional independences. In this work, we study this problem in the context of categorical probability theory by introducing a categorical definition of causal models, a categorical notion of d-separation, and proving an abstract version of the d-separation criterion. This approach has two main benefits. First, categorical d-separation is a very intuitive criterion based on topological connectedness. Second, our results apply both to measure-theoretic probability (with standard Borel spaces) and beyond probability theory, including to deterministic and possibilistic networks. It therefore provides a clean proof of the equivalence of local and global Markov properties with causal compatibility for continuous and mixed random variables as well as deterministic and possibilistic variables. △ Less

Submitted 20 February, 2023; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: 42 pages, v2: more examples and an extended introduction, v3: corrected typo in Def. 4

MSC Class: Primary: 18M30; 62A09; Secondary: 18M35; 60A05; 62D20

Journal ref: J. Mach. Learn. Res. 24(46), 1-49 (2023)

Non-abelian and $\varepsilon$-curved homological algebra with arrow categories

Authors: Tobias Fritz

Abstract: Grandis's non-abelian homological algebra generalizes standard homological algebra in abelian categories to \textit{homological categories}, which are a broader class of categories including for example the category of lattices and Galois connections. Here, we prove that if $\mathsf{C}$ is any category with an ideal of null morphisms with respect to which (co)kernels exist, then the arrow category… ▽ More Grandis's non-abelian homological algebra generalizes standard homological algebra in abelian categories to \textit{homological categories}, which are a broader class of categories including for example the category of lattices and Galois connections. Here, we prove that if $\mathsf{C}$ is any category with an ideal of null morphisms with respect to which (co)kernels exist, then the arrow category of $\mathsf{C}$ is a homological category. This broadens the applicability of Grandis's framework substantially. In particular, one can form the homology of chain complexes in $\mathsf{C}$ by taking the homology objects to be morphisms of $\mathsf{C}$, which one may think of as maps from an object of cycles to an object of chains modulo boundaries. One situation to which Grandis's original framework does not apply is \textit{$\varepsilon$-curved homological algebra}. This refers to chain complexes of normed spaces whose differential squares to zero only approximately, in the sense that $\|d^2\| \leq \varepsilon$ for some $\varepsilon > 0$. This is relevant for example in the theory of approximate representations of groups, where Kazhdan has successfully employed $\varepsilon$-curved homological techniques in an ad-hoc manner. We develop some basics of $\varepsilon$-curved homological algebra and note that our result on arrow categories facilitates the application of Grandis's theory. △ Less

Submitted 16 September, 2022; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: 25 pages. v2: minor revision

MSC Class: Primary: 18G50; Secondary: 46M18

Journal ref: J. Pure Appl. Algebra 227(6), 107314 (2023)

The Hubble Space Telescope Survey of M31 Satellite Galaxies I. RR Lyrae-based Distances and Refined 3D Geometric Structure

Authors: Alessandro Savino, Daniel R. Weisz, Evan D. Skillman, Andrew Dolphin, Nitya Kallivayalil, Andrew Wetzel, Jay Anderson, Gurtina Besla, Michael Boylan-Kolchin, James S. Bullock, Andrew A. Cole, Michelle L. M. Collins, M. C. Cooper, Alis J. Deason, Aaron L. Dotter, Mark Fardal, Annette M. N. Ferguson, Tobias K. Fritz, Marla C. Geha, Karoline M. Gilbert, Puragra Guhathakurta, Rodrigo Ibata, Michael J. Irwin, Myoungwon Jeon, Evan Kirby , et al. (11 additional authors not shown)

Abstract: We measure homogeneous distances to M31 and 38 associated stellar systems ($-$16.8$\le M_V \le$ $-$6.0), using time-series observations of RR Lyrae stars taken as part of the Hubble Space Telescope Treasury Survey of M31 Satellites. From $>700$ orbits of new/archival ACS imaging, we identify $>4700$ RR Lyrae stars and determine their periods and mean magnitudes to a typical precision of 0.01 days… ▽ More We measure homogeneous distances to M31 and 38 associated stellar systems ($-$16.8$\le M_V \le$ $-$6.0), using time-series observations of RR Lyrae stars taken as part of the Hubble Space Telescope Treasury Survey of M31 Satellites. From $>700$ orbits of new/archival ACS imaging, we identify $>4700$ RR Lyrae stars and determine their periods and mean magnitudes to a typical precision of 0.01 days and 0.04 mag. Based on Period-Wesenheit-Metallicity relationships consistent with the Gaia eDR3 distance scale, we uniformly measure heliocentric and M31-centric distances to a typical precision of $\sim20$ kpc (3%) and $\sim10$ kpc (8%), respectively. We revise the 3D structure of the M31 galactic ecosystem and: (i) confirm a highly anisotropic spatial distribution such that $\sim80$% of M31's satellites reside on the near side of M31; this feature is not easily explained by observational effects; (ii) affirm the thin (rms $7-23$ kpc) planar "arc" of satellites that comprises roughly half (15) of the galaxies within 300 kpc from M31; (iii) reassess physical proximity of notable associations such as the NGC 147/185 pair and M33/AND XXII; and (iv) illustrate challenges in tip-of-the-red-giant branch distances for galaxies with $M_V > -9.5$, which can be biased by up to 35%. We emphasize the importance of RR Lyrae for accurate distances to faint galaxies that should be discovered by upcoming facilities (e.g., Rubin Observatory). We provide updated luminosities and sizes for our sample. Our distances will serve as the basis for future investigation of the star formation and orbital histories of the entire known M31 satellite system. △ Less

Submitted 12 September, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 32 pages, 15 figures, accepted for publication on ApJ

Asymptotic and catalytic containment of representations of $\mathsf{SU}(n)$

Authors: Tobias Fritz

Abstract: Given two finite-dimensional representations $ρ$ and $σ$ of $\mathsf{SU}(n)$, when is there $n \in \mathbb{N}$ such that $ρ^{\otimes n}$ is isomorphic to a subrepresentation of $σ^{\otimes n}$? When is there a third representation $η$ such that $ρ\otimes η$ is a subrepresentation of $σ\otimes η$? We call these the questions of asymptotic and catalytic containment, respectively. We answer both qu… ▽ More Given two finite-dimensional representations $ρ$ and $σ$ of $\mathsf{SU}(n)$, when is there $n \in \mathbb{N}$ such that $ρ^{\otimes n}$ is isomorphic to a subrepresentation of $σ^{\otimes n}$? When is there a third representation $η$ such that $ρ\otimes η$ is a subrepresentation of $σ\otimes η$? We call these the questions of asymptotic and catalytic containment, respectively. We answer both questions in terms of an explicit family of inequalities. These inequalities are almost necessary and sufficient in the following sense. If two representations satisfy all inequalities strictly, then asymptotic and catalytic containment follow (the former in generic cases). Conversely, if asymptotic or catalytic containment holds, then the inequalities must hold non-strictly. These results are an instance of a recent \emph{Vergleichsstellensatz} applied to the representation semiring. △ Less

Submitted 10 September, 2022; v1 submitted 22 May, 2022; originally announced May 2022.

Comments: 11 pages. v2: minor revision

MSC Class: 20G05; 19A22; 06F25

Journal ref: Algebraic Combinatorics, 7(2), 327-336 (2024)

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness

Authors: Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini

Abstract: Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories whose arrows are generalised relations, with enough structure to talk about domains and partial functions, but less structure than cartesian bicategor… ▽ More Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories whose arrows are generalised relations, with enough structure to talk about domains and partial functions, but less structure than cartesian bicategories. The aim of this paper is threefold. The first goal is to extend the original definition of gs-monoidality by enriching it with a preorder on arrows, giving rise to what we call oplax cartesian categories. Second, we show that (preorder-enriched) gs-monoidal categories naturally arise both as Kleisli categories and as span categories, and the relation between the resulting formalisms is explored. Finally, we present two theorems concerning Yoneda embeddings on the one hand and functorial completeness on the other, the latter inducing a completeness result also for lax functors from oplax cartesian categories to $\mathbf{Rel}$. △ Less

Submitted 29 September, 2023; v1 submitted 13 May, 2022; originally announced May 2022.

ACM Class: F.3; F.4

Journal ref: Appl. Categ. Structures 31, 42 (2023)

Free gs-monoidal categories and free Markov categories

Authors: Tobias Fritz, Wendong Liang

Abstract: Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories are gs-monoidal categories, also known as CD categories. These omit a condition that implements the normalization of probability. Extending work of Corradini a… ▽ More Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories are gs-monoidal categories, also known as CD categories. These omit a condition that implements the normalization of probability. Extending work of Corradini and Gadducci, we construct free gs-monoidal and free Markov categories generated by a collection of morphisms of arbitrary arity and coarity. For free gs-monoidal categories, this comes in the form of an explicit combinatorial description of their morphisms as structured cospans of labeled hypergraphs. These can be thought of as a formalization of gs-monoidal string diagrams ($=$term graphs) as a combinatorial data structure. We formulate the appropriate $2$-categorical universal property based on ideas of Walters and prove that our categories satisfy it. We expect our free categories to be relevant for computer implementations and we also argue that they can be used as statistical causal models generalizing Bayesian networks. △ Less

Submitted 8 February, 2023; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 35 pages. v3: minor revision, to appear in Appl. Categ. Structures

MSC Class: 18M30 (Primary); 18M35; 60A05; 62D20; 68Q42 (Secondary)

Journal ref: Appl. Categ. Structures 31, 21 (2023)

Structural parameters and possible association of the Ultra-Faint Dwarfs Pegasus III and Pisces II from deep Hubble Space Telescope photometry

Authors: Hannah Richstein, Ekta Patel, Nitya Kallivayalil, Joshua D. Simon, Paul Zivick, Erik Tollerud, Tobias Fritz, Jack T. Warfield, Gurtina Besla, Roeland P. van der Marel, Andrew Wetzel, Yumi Choi, Alis Deason, Marla Geha, Puragra Guhathakurta, Myoungwon Jeon, Evan N. Kirby, Mattia Libralato, Elena Sacchi, Sangmo Tony Sohn

Abstract: We present deep Hubble Space Telescope (HST) photometry of the ultra-faint dwarf (UFD) galaxies Pegasus III (Peg III) and Pisces II (Psc II), two of the most distant satellites in the halo of the Milky Way (MW). We measure the structure of both galaxies, derive mass-to-light ratios with newly determined absolute magnitudes, and compare our findings to expectations from UFD-mass simulations. For Pe… ▽ More We present deep Hubble Space Telescope (HST) photometry of the ultra-faint dwarf (UFD) galaxies Pegasus III (Peg III) and Pisces II (Psc II), two of the most distant satellites in the halo of the Milky Way (MW). We measure the structure of both galaxies, derive mass-to-light ratios with newly determined absolute magnitudes, and compare our findings to expectations from UFD-mass simulations. For Peg III, we find an elliptical half-light radius of $a_h=1.88^{+0.42}_{-0.33}$ arcminutes ($118^{+31}_{-30}$ pc) and $M_V{=}{-4.17}^{+0.19}_{-0.22}$; for Psc II, we measure $a_h{=}1.31^{+0.10}_{-0.09}$ arcminutes ($69\pm8$ pc) and $M_V{=}{-4.28}^{+0.19}_{-0.16}$. We do not find any morphological features that indicate a significant interaction between the two has occurred, despite their close separation of only $\sim$40 kpc. Using proper motions (PMs) from Gaia early Data Release 3, we investigate the possibility of any past association by integrating orbits for the two UFDs in a MW-only and a combined MW and Large Magellanic Cloud (LMC) potential. We find that including the gravitational influence of the LMC is crucial, even for these outer-halo satellites, and that a possible orbital history exists where Peg III and Psc II experienced a close ($\sim$10-20 kpc) passage about each other just over $\sim$1 Gyr ago, followed by a collective passage around the LMC ($\sim$30-60 kpc) just under $\sim$1 Gyr ago. Considering the large uncertainties on the PMs and the restrictive priors imposed to derive them, improved PM measurements for Peg III and Psc II will be necessary to clarify their relationship. This would add to the rare findings of confirmed pairs of satellites within the Local Group. △ Less

Submitted 13 February, 2024; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 24 pages, 13 figures; 1 appendix; published in ApJ

Journal ref: The Astrophysical Journal, Volume 933, Issue 2, id.217, July 2022

Abstract Vergleichsstellensätze for preordered semifields and semirings II

Authors: Tobias Fritz

Abstract: This paper continues our foundational work on real algebra with preordered semifields and semirings. We prove two abstract Vergleichsstellensätze for commutative preordered semirings of polynomial growth. These generalize the results of Part I in that we now no longer assume $1 \ge 0$. This adds substantial technical complications: our Vergleichsstellensätze now also need to take into account infi… ▽ More This paper continues our foundational work on real algebra with preordered semifields and semirings. We prove two abstract Vergleichsstellensätze for commutative preordered semirings of polynomial growth. These generalize the results of Part I in that we now no longer assume $1 \ge 0$. This adds substantial technical complications: our Vergleichsstellensätze now also need to take into account infinitesimal information encoded in the form of monotone derivations in addition to the monotone homomorphisms to the nonnegative reals and tropical reals. The proof relies on a number of technical results that we develop along the way, including surprising implications between inequalities in preordered semifields and a type classification for multiplicatively Archimedean fully preordered semifields. A companion paper uses these results in order to derive a limit theorem for random walks on topological abelian groups which provides sufficient and close to necessary conditions for when one random walk will dominate another at late times. △ Less

Submitted 8 November, 2022; v1 submitted 11 December, 2021; originally announced December 2021.

Comments: 49 pages. See also arXiv:2003.13835. v3: generalized Theorem 8.6

MSC Class: Primary: 06F25; Secondary: 12K10; 16Y60

Self-consistent modelling of the Milky Way's Nuclear Stellar Disc

Authors: Mattia C. Sormani, Jason L. Sanders, Tobias K. Fritz, Leigh C. Smith, Ortwin Gerhard, Rainer Schoedel, John Magorrian, Nadine Neumayer, Francisco Nogueras-Lara, Anja Feldmeier-Krause, Alessandra Mastrobuono-Battisti, Mathias Schultheis, Banafsheh Shahzamanian, Eugene Vasiliev, Ralf S. Klessen, Philip Lucas, Dante Minniti

Abstract: The Nuclear Stellar Disc (NSD) is a flattened high-density stellar structure that dominates the gravitational field of the Milky Way at Galactocentric radius $30\lesssim R\lesssim 300$ pc. We construct axisymmetric self-consistent equilibrium dynamical models of the NSD in which the distribution function is an analytic function of the action variables. We fit the models to the normalised kinematic… ▽ More The Nuclear Stellar Disc (NSD) is a flattened high-density stellar structure that dominates the gravitational field of the Milky Way at Galactocentric radius $30\lesssim R\lesssim 300$ pc. We construct axisymmetric self-consistent equilibrium dynamical models of the NSD in which the distribution function is an analytic function of the action variables. We fit the models to the normalised kinematic distributions (line-of-sight velocities + VIRAC2 proper motions) of stars in the NSD survey of Fritz et al., taking the foreground contamination due to the Galactic Bar explicitly into account using an $N$-body model. The posterior marginalised probability distributions give a total mass of $M_{\rm NSD} = 10.5^{+1.1}_{-1.0} \times10^8 \,{\rm M_\odot}$, roughly exponential radial and vertical scale-lengths of $R_{\rm disc} = 88.6^{+9.2}_{-6.9}$ pc and $H_{\rm disc}=28.4^{+5.5}_{-5.5}$ pc respectively, and a velocity dispersion $σ\simeq 70$ km/s that decreases with radius. We find that the assumption that the NSD is axisymmetric provides a good representation of the data. We quantify contamination from the Galactic Bar in the sample, which is substantial in most observed fields. Our models provide the full 6D (position+velocity) distribution function of the NSD, which can be used to generate predictions for future surveys. We make the models publicly available as part of the software package AGAMA. △ Less

Submitted 4 March, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: Accepted for publication in MNRAS

Tuning exciton recombination rates in doped transition metaldichalcogenides

Authors: Theresa Kuechle, Sebastian Klimmer, Margarita Lapteva, Tarlan Hamzayev, Antony George, Andrey Turchanin, Torsten Fritz, Carsten Ronning, Marco Gruenewald, Giancarlo Soavi

Abstract: Monolayer transition metal dichalcogenides (TMDs) are direct gap semiconductors that hold great promise for advanced applications in photonics and optoelectronics. Understanding the interplay between their radiative and non-radiative recombination pathways is thus of crucial importance not only for fundamental studies but also for the design of future nanoscale on-chip devices. Here, we investigat… ▽ More Monolayer transition metal dichalcogenides (TMDs) are direct gap semiconductors that hold great promise for advanced applications in photonics and optoelectronics. Understanding the interplay between their radiative and non-radiative recombination pathways is thus of crucial importance not only for fundamental studies but also for the design of future nanoscale on-chip devices. Here, we investigate the interplay between doping and exciton-exciton annihilation (EEA) and their impact on the photoluminescence quantum yield in different TMD samples and related heterostructures. We demonstrate that the EEA threshold increases in highly doped samples, where the radiative and non-radiative recombination of trions dominates. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Journal ref: Optical Materials: X 12, 100097 (2021)

An Algebraic Approach to Physical Fields

Authors: Lu Chen, Tobias Fritz

Abstract: According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to th… ▽ More According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are primitive. We explain how the theory of \emph{natural operations} in differential geometry -- the modern formalism behind classifying diffeomorphism-invariant constructions -- can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. △ Less

Submitted 14 October, 2021; v1 submitted 16 August, 2021; originally announced August 2021.

Comments: 33 pages, to appear in Studies in History and Philosophy of Science

Journal ref: Stud. Hist. Philos. Sci. A 89, 188-201 (2021)

Star Formation Histories of Ultra-Faint Dwarf Galaxies: environmental differences between Magellanic and non-Magellanic satellites?

Authors: Elena Sacchi, Hannah Richstein, Nitya Kallivayalil, Roeland van der Marel, Mattia Libralato, Paul Zivick, Gurtina Besla, Thomas M. Brown, Yumi Choi, Alis Deason, Tobias Fritz, Marla Geha, Puragra Guhathakurta, Myoungwon Jeon, Evan Kirby, Steven R. Majewski, Ekta Patel, Joshua D. Simon, Sangmo Tony Sohn, Erik Tollerud, Andrew Wetzel

Abstract: We present the color-magnitude diagrams and star formation histories (SFHs) of seven ultra-faint dwarf galaxies: Horologium 1, Hydra 2, Phoenix 2, Reticulum 2, Sagittarius 2, Triangulum 2, and Tucana 2, derived from high-precision Hubble Space Telescope photometry. We find that the SFH of each galaxy is consistent with them having created at least 80% of the stellar mass by $z\sim6$. For all galax… ▽ More We present the color-magnitude diagrams and star formation histories (SFHs) of seven ultra-faint dwarf galaxies: Horologium 1, Hydra 2, Phoenix 2, Reticulum 2, Sagittarius 2, Triangulum 2, and Tucana 2, derived from high-precision Hubble Space Telescope photometry. We find that the SFH of each galaxy is consistent with them having created at least 80% of the stellar mass by $z\sim6$. For all galaxies, we find quenching times older than 11.5 Gyr ago, compatible with the scenario in which reionization suppresses the star formation of small dark matter halos. However, our analysis also reveals some differences in the SFHs of candidate Magellanic Cloud satellites, i.e., galaxies that are likely satellites of the Large Magellanic Cloud and that entered the Milky Way potential only recently. Indeed, Magellanic satellites show quenching times about 600 Myr more recent with respect to those of other Milky Way satellites, on average, even though the respective timings are still compatible within the errors. This finding is consistent with theoretical models that suggest that satellites' SFHs may depend on their host environment at early times, although we caution that within the error bars all galaxies in our sample are consistent with being quenched at a single epoch. △ Less

Submitted 28 September, 2021; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: 7 pages, 3 figures, 2 tables. Accepted for publication in ApJL

Gaia early DR3 systemic motions of Local Group dwarf galaxies and orbital properties with a massive Large Magellanic Cloud

Authors: G. Battaglia, S. Taibi, G. F. Thomas, T. K. Fritz

Abstract: We perform a comprehensive determination of the systemic proper motions of 74 dwarf galaxies and dwarf galaxy candidates in the Local Group based on Gaia early data release 3. The outputs of the analysis for each galaxy, including probabilities of membership, will be made publicly available. The analysis is augmented by a determination of the orbital properties of galaxies within 500 kpc. We adopt… ▽ More We perform a comprehensive determination of the systemic proper motions of 74 dwarf galaxies and dwarf galaxy candidates in the Local Group based on Gaia early data release 3. The outputs of the analysis for each galaxy, including probabilities of membership, will be made publicly available. The analysis is augmented by a determination of the orbital properties of galaxies within 500 kpc. We adopt the flexible Bayesian methodology presented by McConnachie \& Venn (2020), which takes into account the location of the stars on the sky, on the colour-magnitude diagram and on the proper motion plane. We apply some modifications, in particular to the way the colour-magnitude diagram and spectroscopic information are factored in, e.g. by including stars in several evolution phases. The bulk motions are integrated in three gravitational potentials: two where the Milky Way is treated in isolation and has a mass 0.9 \& 1.6 $\times 10^{12}$M$_{\odot}$ and the time-varying potential by Vasiliev et al. (2021), which includes the infall of a massive Large Magellanic Cloud (LMC). We are able to determine bulk proper motions for 73 systems, and we consider reliable 66 of these measurements. For the first time, systemic motions are presented for galaxies out to a distance of 1.4 Mpc, in the NGC~3109 association. The inclusion of the infall of a massive LMC significantly modifies the orbital trajectories of the objects, with respect to orbit integration in static Milky Way-only potentials, and leads to 6 galaxies being likely associated to the LMC, 3 possibly associated and 1 recently captured object. We discuss the results of the orbit integration in the context of the relation of the galaxies to the system of Milky Way satellites, implications for the too-big-to-fail problem, impact on star formation histories, and tidal disruption. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Comments: Submitted to A&A. 47 pages

Journal ref: A&A 657, A54 (2022)

Weak cartesian properties of simplicial sets

Authors: Carmen Constantin, Tobias Fritz, Paolo Perrone, Brandon Shapiro

Abstract: Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Δ$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness c… ▽ More Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Δ$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness conditions, which require squares in $Δ$ to be sent to weak pullbacks of sets, defined similarly to pullback squares but without the uniqueness property of induced maps. We show that some of these completeness conditions provide a simplicial set with lifts against certain subsets of simplices first introduced in the theory of database design. We also provide reduced criteria for checking these properties using factorization results for pushouts squares in $Δ$, which we characterize completely, along with several other classes of squares in $Δ$. Examples of simplicial sets with completeness conditions include quasicategories, many of the compositories and gleaves of Flori and Fritz, and bar constructions for algebras of certain classes of monads. The latter is our motivating example. △ Less

Submitted 24 October, 2023; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 48 pages. This work arose out of the 2019 Applied Category Theory Adjoint School. v2: Minor edits and corrections based on reviewer and editorial feedback. Formerly part of arXiv:2009.07302v2

Journal ref: Journal of Homotopy and Related Structures 18, 477-520 (2023)

De Finetti's Theorem in Categorical Probability

Authors: Tobias Fritz, Tomáš Gonda, Paolo Perrone

Abstract: We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which provide an abstract categorical framework for probability and information flow. The diagrammatic and abstract nature of the arguments makes the proof intuitive… ▽ More We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which provide an abstract categorical framework for probability and information flow. The diagrammatic and abstract nature of the arguments makes the proof intuitive and easy to follow. We also show how the usual measure-theoretic version of de Finetti's Theorem for standard Borel spaces is an instance of this result. △ Less

Submitted 16 September, 2021; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 26 pages. v3: referee's suggestions incorporated

MSC Class: 60A05; 60G09 (Primary) 18M35; 18M05; 62A01 (Secondary)

Journal ref: J. Stoch. Anal. 2(4), 6 (2021)

The Milky Way's nuclear stellar disc: A dynamically cool and metal-rich component formed from the Central Molecular Zone?

Authors: M. Schultheis, T. K. Fritz, G. Nandakumar, A. Rojas-Arriagada, F. Nogueras-Lara, A. Feldmeier-Krause, O. Gerhard, N. Neumayer, L. R. Patrick, M. A. Prieto, R. Schödel, A. Mastrobuono-Battisti, M. C. Sormani

Abstract: The nuclear stellar disc (NSD) is, together with the nuclear star cluster (NSC) and the central massive black hole, one of the main components in the central parts of our Milky Way. However, until recently, only few studies of the stellar content of the NSD have been obtained due to extreme extinction and stellar crowding. With a dedicated KMOS (VLT, ESO) spectroscopic survey, we study the kinemat… ▽ More The nuclear stellar disc (NSD) is, together with the nuclear star cluster (NSC) and the central massive black hole, one of the main components in the central parts of our Milky Way. However, until recently, only few studies of the stellar content of the NSD have been obtained due to extreme extinction and stellar crowding. With a dedicated KMOS (VLT, ESO) spectroscopic survey, we study the kinematics and global metallicities of the NSD based on the observations of K/M giant stars. We trace radial velocities and metallicities which were derived based on spectral indices (Na I and CO) along the NSD and compare those with a Galactic Bulge sample of APOGEE (DR16) and data from the NSC. We find that the metallicity distribution function and the fraction of metal-rich and metal-poor stars in the NSD are different from the corresponding distributions and ratios of the NSC and the Galactic Bulge. By tracing the velocity dispersion as a function of metallicity, we clearly see that the NSD is kinematically cool and that the velocity dispersion decreases with increasing metallicity contrary to the inner Bulge sample of APOGEE ($\rm |b| < 4^{o}$). Using molecular gas tracers ($\rm H_{2}CO$, CO(4-3)) of the Central Molecular Zone (CMZ) we find an astonishing agreement between the gas rotation and the rotation of the metal-rich population indicating that the metal-rich stars could have formed from gas in the CMZ. On the other hand, the metal-poor stars show a much slower rotation profile with signs of counter-rotation indicating a different origin of these stars. Coupling kinematics with global metallicities, our results demonstrate that the NSD is chemically and kinematically distinct with respect to the inner Bulge indicating a different formation scenario. △ Less

Submitted 5 May, 2021; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: accepted for publication in A\&A

Journal ref: A&A 650, A191 (2021)

Amenability of semigroups and common multiples in $\ell^1_+$

Authors: Tobias Fritz

Abstract: In this note, we prove that a semigroup $S$ is left amenable if and only if every two nonzero elements of $\ell^1_+(S)$ have a common nonzero right multiple, where $\ell^1_+(S)$ is the positive part of the Banach algebra $\ell^1(S)$, or equivalently the semiring of finite measures on $S$. This characterization of amenability is new even for groups. In this note, we prove that a semigroup $S$ is left amenable if and only if every two nonzero elements of $\ell^1_+(S)$ have a common nonzero right multiple, where $\ell^1_+(S)$ is the positive part of the Banach algebra $\ell^1(S)$, or equivalently the semiring of finite measures on $S$. This characterization of amenability is new even for groups. △ Less

Submitted 27 January, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: Withdrawn due to an error in the proof (kindly pointed out to us by Nicolas Monod)

MSC Class: 43A07; 20M25

Dissecting the stellar content of Leo I: a dwarf irregular caught in transition

Authors: T. Ruiz-Lara, C. Gallart, M. Monelli, T. K. Fritz, G. Battaglia, S. Cassisi, M. Luis Aznar, A. V. Russo Cabrera, I. Rodríguez-Martín, J. J. Salazar-González

Abstract: Leo I is considered one of the youngest dwarf spheroidals (dSph) in the Local Group. Its isolation, extended star formation history (SFH), and recent perigalacticon passage (~1 Gyr ago) make Leo~I one of the most interesting nearby stellar systems. Here, we analyse deep photometric Hubble Space Telescope data via colour-magnitude diagram fitting techniques to study its global and radially-resolved… ▽ More Leo I is considered one of the youngest dwarf spheroidals (dSph) in the Local Group. Its isolation, extended star formation history (SFH), and recent perigalacticon passage (~1 Gyr ago) make Leo~I one of the most interesting nearby stellar systems. Here, we analyse deep photometric Hubble Space Telescope data via colour-magnitude diagram fitting techniques to study its global and radially-resolved SFH. We find global star formation enhancements in Leo I ~13, 5.5, 2.0, and 1.0 Gyr ago, after which it was substantially quenched. Within the context of previous works focused on Leo I, we interpret the most ancient and the youngest ones as being linked to an early formation (surviving reionisation) and the latest perigalacticon passage (transition from dIrr to dSph), respectively. We clearly identify the presence of very metal poor stars ([Fe/H]~-2) ageing ~5-6 and ~13 Gyr old. We speculate with the possibility that this metal-poor population in Leo I is related to the merging with a low mass system (possibly an ultra-faint dwarf). This event would have triggered star formation (peak of star formation ~5.5 Gyr ago) and accumulated old, metal poor stars from the accreted system in LeoI. Some of the stars born during this event would also form from accreted gas of low-metallicity (giving rise to the 5-6 Gyr low-metallicity tail). Given the intensity and extension of the 2.0 Gyr burst, we hypothesise that this enhancement could also have an external origin. Despite the quenching of star formation around 1 Gyr ago (most probably induced by ram pressure stripping with the Milky Way halo at pericentre), we report the existence of stars as young as 300-500 Myr. We also distinguish two clear spatial regions: the inner ~190 pc presents an homogeneous stellar content (size of the gaseous star forming disc in LeoI from ~4.5 to 1 Gyr ago), whereas the outer regions display a clear positive age gradient. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: 20 pages, 11+5 figures, accepted for publication in MNRAS

Giant persistent photoconductivity in monolayer MoS2 field-effect transistors

Authors: A. George, M. V. Fistul, M. Gruenewald, D. Kaiser, T. Lehnert, R. Mupparapu, C. Neumann, U. Hübner, M. Schaal, N. Masurkar, A. L. M. Reddy, I. Staude, U. Kaiser, T. Fritz, A. Turchanin

Abstract: Monolayer transition metal dichalcogenides (TMD) have numerous potential applications in ultrathin electronics and photonics. The exposure of TMD based devices to light generates photo-carriers resulting in an enhanced conductivity, which can be effectively used, e.g., in photodetectors. If the photo-enhanced conductivity persists after removal of the irradiation, the effect is known as persistent… ▽ More Monolayer transition metal dichalcogenides (TMD) have numerous potential applications in ultrathin electronics and photonics. The exposure of TMD based devices to light generates photo-carriers resulting in an enhanced conductivity, which can be effectively used, e.g., in photodetectors. If the photo-enhanced conductivity persists after removal of the irradiation, the effect is known as persistent photoconductivity (PPC). Here we show that ultraviolet light (wavelength = 365 nm) exposure induces an extremely long-living giant PPC (GPPC) in monolayer MoS2 (ML-MoS2) field-effect transistors (FET) with a time constant of ~30 days. Furthermore, this effect leads to a large enhancement of the conductivity up to a factor of 107. In contrast to previous studies in which the origin of the PPC was attributed to extrinsic reasons such as trapped charges in the substrate or adsorbates, we unambiguously show that the GPPC arises mainly from the intrinsic properties of ML-MoS2 such as lattice defects that induce a large amount of localized states in the forbidden gap. This finding is supported by a detailed experimental and theoretical study of the electric transport in TMD based FETs as well as by characterization of ML-MoS2 with scanning tunneling spectroscopy, high-resolution transmission electron microscopy, and photoluminescence measurements. The obtained results provide a basis towards the defect-based engineering of the electronic and optical properties of TMDs for device applications. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 25 pages, 5 figures

Journal ref: npj 2D Mater Appl 5, 15 (2021)

A KMOS survey of the nuclear disk of the Milky Way I: Survey design and metallicities

Authors: Tobias K. Fritz, Lee Patrick, Anja Feldmeier-Krause, Rainer Schödel, Mathias Schultheis, Ortwin Gerhard, Govind Nandakumar, Nadine Neumayer, Francisco Nogueras-Lara, M. Almudena Prieto

Abstract: In the central few degrees of the bulge of the Milky Way there is a flattened structure of gas, dust and stars (the central molecular zone) similar to nuclear disks in other galaxies. Due to extreme foreground extinction we possess only sparse information about the (mostly old) stellar population of the nuclear disc. Here we present our KMOS spectroscopic survey of the stars in the nuclear disk re… ▽ More In the central few degrees of the bulge of the Milky Way there is a flattened structure of gas, dust and stars (the central molecular zone) similar to nuclear disks in other galaxies. Due to extreme foreground extinction we possess only sparse information about the (mostly old) stellar population of the nuclear disc. Here we present our KMOS spectroscopic survey of the stars in the nuclear disk reaching the old populations. In order to obtain an unbiased data set, we sample stars in the full extinction range along each line-of-sight. We also observe reference fields in neighboring regions of the Galactic bulge. Here we describe the design and execution of the survey and present first results. We obtain spectra and five spectral indices of 3113 stars with a median S/N of 67 and measure radial velocities for 3051 stars. Of those, 2735 sources have sufficient S/N to estimate temperatures and metallicities from indices. We derive metallicities using the CO 2-0 and Na I K-band spectral features, where we derive our own empirical calibration using metallicities obtained with higher resolution observations. We use 183 giant stars for calibration spanning in metallicity from -2.5 to 0.6 dex and covering temperatures of up to 5500 K. The derived index based metallicities deviate from the calibration values with a scatter of 0.32 dex. The internal uncertainty of our metallicities is likely smaller. We use these metallicity measurements together with the CO index to derive effective temperatures using literature relations. We publish the catalog here. Our data set complements Galactic surveys such as Gaia and APOGEE for the inner 200 pc radius of the Milky Way which is not readily accessible by those surveys due to extinction. We will use the derived properties in future papers for further analysis of the nuclear disk. △ Less

Submitted 22 February, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Comments: 19 pages, 14 figures, 3 tables, accepted for publication in A&A

Journal ref: A&A 649, A83 (2021)

Surface Self-Assembly of Functionalized Molecules on Ag(111): More Than Just Chemical Intuition

Authors: Andreas Jeindl, Jari Domke, Lukas Hörmann, Falko Sojka, Roman Forker, Torsten Fritz, Oliver T. Hofmann

Abstract: The fabrication of nanomaterials involves self-ordering processes of functional molecules on inorganic surfaces. To obtain specific molecular arrangements, a common strategy is to equip molecules with functional groups. However, focusing on the functional groups alone does not provide a comprehensive picture. Especially at interfaces, processes that govern self-ordering are complex and involve var… ▽ More The fabrication of nanomaterials involves self-ordering processes of functional molecules on inorganic surfaces. To obtain specific molecular arrangements, a common strategy is to equip molecules with functional groups. However, focusing on the functional groups alone does not provide a comprehensive picture. Especially at interfaces, processes that govern self-ordering are complex and involve various physical and chemical effects, often leading to structures that defy chemical intuition, as we showcase here on the example of a homologous series of quinones on Ag(111). From chemical intuition one could expect that such quinones, which all bear the same functionalization, form similar motifs. In salient contrast, our joint theoretical and experimental study shows that profoundly different structures are formed. Using a machine-learning-based structure search algorithm, we find that this is due to a shift of the balance of three antagonizing driving forces: adsorbate-substrate interactions governing adsorption sites, adsorbate-adsorbate interactions favoring close packing, and steric hindrance inhibiting certain otherwise energetically beneficial molecular arrangements. The theoretical structures show excellent agreement with our experimental characterizations of the organic/inorganic interfaces, both for the unit cell sizes and the orientations of the molecules within. With a detailed examination of all driving forces, we are further able to devise a design principle for self-assembly of functionalized molecules. The non-intuitive interplay of similarly strong interaction mechanisms will continue to be a challenging aspect for the design of functional interfaces. Our agreement between theory and experiment combined with the new physical insights indicates that these methods have now reached the necessary accuracy to do so. △ Less

Submitted 27 April, 2021; v1 submitted 20 October, 2020; originally announced October 2020.

Journal ref: ACS Nano 2021, 15, 4, 6723-6734

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Authors: Tobias Fritz, Tomáš Gonda, Paolo Perrone, Eigil Fjeldgren Rischel

Abstract: Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way of comparing probability distributions by their spread. Furthermore, we lay foundation for the theory of comparing statistical experiments within Marko… ▽ More Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way of comparing probability distributions by their spread. Furthermore, we lay foundation for the theory of comparing statistical experiments within Markov categories by stating and proving the classical Blackwell-Sherman-Stein Theorem. Our version not only offers new insight into the proof, but its abstract nature also makes the result more general, automatically specializing to the standard Blackwell-Sherman-Stein Theorem in measure-theoretic probability as well as a Bayesian version that involves prior-dependent garbling. Along the way, we define and characterize representable Markov categories, within which one can talk about Markov kernels to or from spaces of distributions. We do so by exploring the relation between Markov categories and Kleisli categories of probability monads. △ Less

Submitted 8 May, 2023; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 63 pages, color used in text and diagrams. v3: To be published in Theoretical Computer Science. Section 6 on strongly representable Markov categories removed to streamline the narrative, plus other minor changes

MSC Class: 60A05; 62B15 (Primary) 18C20; 18M05; 62A01 (Secondary)

Journal ref: Theoretical Computer Science 961, 113896 (2023)

Partial Evaluations and the Compositional Structure of the Bar Construction

Authors: Carmen Constantin, Paolo Perrone, Tobias Fritz, Brandon T. Shapiro

Abstract: The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for algebras of a monad. We show that this partial evaluation relation can be seen as the relation internal to the category of algebras generated by relating a formal ex… ▽ More The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for algebras of a monad. We show that this partial evaluation relation can be seen as the relation internal to the category of algebras generated by relating a formal expression to its total evaluation. The relation is transitive for many monads which describe commonly encountered algebraic structures, and more generally for BC monads on $\mathsf{Set}$ (which are those monads for which the underlying functor and the multiplication are weakly cartesian). We find that this is not true for all monads: we describe a finitary monad on $\mathsf{Set}$ for which the partial evaluation relation on the terminal algebra is not transitive. With the perspective of higher algebraic rewriting in mind, we then investigate the compositional structure of the bar construction in all dimensions. We show that for algebras of BC monads, the bar construction has fillers for all directed acyclic configurations in $Δ^n$, but generally not all inner horns. △ Less

Submitted 14 March, 2023; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 41 pages. Updated theorem numbering. This work arose out of the 2019 Applied Category Theory Adjoint School

MSC Class: 18C15

Journal ref: Theory Appl. Categ. 39(11), 322--364 (2023)

Cool stars in the Galactic Center as seen by APOGEE: M giants, AGB stars and supergiant stars/candidates

Authors: M. Schultheis, A. Rojas-Arriagada, K. Cunha, M. Zoccali, C. Chiappini, A. B. A. Queiroz, D. Minniti, T. Fritz, D. A. García-Hernández, C. Nitschelm, O. Zamora, S. Hasselquist, J. G. Fernández-Trincado, R. R. Munoz

Abstract: The Galactic Center region, including the nuclear disk, has until recently been largely avoided in chemical census studies because of extreme extinction and stellar crowding. Making use of the latest APOGEE data release (DR16), we are able for the first time to study cool AGB stars and supergiants in this region. The stellar parameters of five known AGB stars and one supergiant star (VR 5-7) show… ▽ More The Galactic Center region, including the nuclear disk, has until recently been largely avoided in chemical census studies because of extreme extinction and stellar crowding. Making use of the latest APOGEE data release (DR16), we are able for the first time to study cool AGB stars and supergiants in this region. The stellar parameters of five known AGB stars and one supergiant star (VR 5-7) show that their location is well above the tip of the RGB.We study metallicities of 157 M giants situated within 150 pc of the Galactic center from observations obtained by the APOGEE survey with reliable stellar parameters from the APOGEE/ASPCAP pipeline making use of the cool star grid down to 3200 K. Distances, interstellar extinction values, and radial velocities were checked to confirm that these stars are indeed situated in the Galactic Center region. We detect a clear bimodal structure in the metallicity distribution function, with a dominant metal-rich peak of [Fe/H] ~ +0.3 dex and a metal-poor peak around [Fe/H]= -0.5 dex, which is 0.2 dex poorer than Baade's Window. The alpha-elements Mg, Si, Ca, and O show a similar trend to the Galactic Bulge. The metal-poor component is enhanced in the alpha-elements, suggesting that this population could be associated with the classical bulge and a fast formation scenario. We find a clear signature of a rotating nuclear stellar disk and a significant fraction of high velocity stars with $\rm v_{gal} > 300\,km/s$; the metal-rich stars show a much higher rotation velocity ($\rm \sim 200\,km/s$) with respect to the metal-poor stars ($\rm \sim 140\,km/s$). The chemical abundances as well as the metallicity distribution function suggest that the nuclear stellar disc and the nuclear star cluster show distinct chemical signatures and might be formed differently. △ Less

Submitted 31 August, 2020; originally announced August 2020.

Comments: 12 pages, accepted for Astronomy&Astrophysics

Journal ref: A&A 642, A81 (2020)

Characterizing the asymptotic and catalytic stochastic orders on topological abelian groups

Authors: Tobias Fritz

Abstract: We study the usual stochastic order between probability measures on preordered topological abelian groups, focusing on asymptotic and catalytic versions of the order. In the asymptotic version, a measure $μ$ dominates a measure $ν$ if the i.i.d.~random walk generated by $μ$ first-order dominates the one generated by $ν$ at late times. In the catalytic version, $μ$ dominates $ν$ if there is a third… ▽ More We study the usual stochastic order between probability measures on preordered topological abelian groups, focusing on asymptotic and catalytic versions of the order. In the asymptotic version, a measure $μ$ dominates a measure $ν$ if the i.i.d.~random walk generated by $μ$ first-order dominates the one generated by $ν$ at late times. In the catalytic version, $μ$ dominates $ν$ if there is a third $τ$ such that the convolution $μ\ast τ$ first-order dominates $ν\ast τ$. Provided that the preorder on $G$ is induced by a suitably large positive cone and that both measures are compactly supported Radon, our main result gives a sufficient condition for asymptotic and catalytic dominance to hold in terms of a family of inequalities closely related to the cumulant-generating functions. While this sufficient condition requires these inequalities to be strict, the non-strict versions of these inequalities are easily seen to be necessary. In this sense, our result gives conditions that are necessary and sufficient in generic cases. This result has been known for $G = \mathbb{R}$, but is new already for $\mathbb{R}^n$ with $n > 1$. It is a direct application of a recently proven theorem of real algebra, namely a \emph{Vergleichsstellensatz} for preordered semirings. We finally use our result to derive a formula for the rate at which the probabilities of a random walk decay \emph{relative} to those of another, now for walks on a preordered topological vector space with compactly supported Radon steps. Taking one of these walks to be deterministic reproduces a version of Cramér's large deviation theorem for infinite dimensions. △ Less

Submitted 9 November, 2023; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 26 pages. v4: minor revision, to appear in Bernoulli

MSC Class: Primary: 60G50; 60E15; Secondary: 60F10; 06F25; 16Y60

Abstract Vergleichsstellensätze for preordered semifields and semirings I

Authors: Tobias Fritz

Abstract: Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellensätze. However, there is a nascent subfield of real algebra which studies preordered semirings and semifields, which is motivated by applications to probability, graph theory and theoretical computer science, among others. Here,… ▽ More Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellensätze. However, there is a nascent subfield of real algebra which studies preordered semirings and semifields, which is motivated by applications to probability, graph theory and theoretical computer science, among others. Here, we contribute to this subfield by developing a number of foundational results for it, with two abstract Vergleichsstellensätze being our main theorems. Our first Vergleichsstellensatz states that every semifield preorder is the intersection of its total extensions. We apply this to derive our second main result, a Vergleichsstellensatz for certain non-Archimedean preordered semirings in which the homomorphisms to the tropical reals play an important role. We show how this result recovers the existing Vergleichsstellensatz of Strassen and (through the latter) the classical Positivstellensatz of Krivine--Kadison--Dubois. △ Less

Submitted 8 February, 2023; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 47 pages. v3: substantial revision of part of earlier version. Other parts will appear separately. v4, v5: minor revision

MSC Class: 06F25 (Primary); 12K10; 16Y60 (Secondary)

Journal ref: SIAM J. Appl. Algebra Geometry 7(2), 505-547 (2023)

Detailed abundances in the Galactic center: Evidence of a metal-rich alpha-enhanced stellar population

Authors: B. Thorsbro, N. Ryde, R. M. Rich, M. Schultheis, F. Renaud, E. Spitoni, T. K. Fritz, A. Mastrobuono-Battisti, L. Origlia, F. Matteucci, R. Schödel

Abstract: We present a detailed study of the composition of 20 M giants in the Galactic center with 15 of them confirmed to be in the Nuclear Star Cluster. As a control sample we have also observed 7 M giants in the Milky Way Disk with similar stellar parameters. All 27 stars are observed using the NIRSPEC spectograph on the KECK II telescope in the K-band at a resolving power of R=23,000. We report the fir… ▽ More We present a detailed study of the composition of 20 M giants in the Galactic center with 15 of them confirmed to be in the Nuclear Star Cluster. As a control sample we have also observed 7 M giants in the Milky Way Disk with similar stellar parameters. All 27 stars are observed using the NIRSPEC spectograph on the KECK II telescope in the K-band at a resolving power of R=23,000. We report the first silicon abundance trends versus [Fe/H] for stars in the Galactic center. While finding a disk/bulge like trend at subsolar metallicities, we find that [Si/Fe] is enhanced at supersolar metallicities. We speculate on possible enrichment scenarios to explain such a trend. However, the sample size is modest and the result needs to be confirmed by additional measurements of silicon and other \textalpha-elements. We also derive a new distribution of [Fe/H] and find the most metal rich stars at [Fe/H]=+0.5 dex, confirming our earlier conclusions that the Galactic center hosts no stars with extreme chemical composition. △ Less

Submitted 26 March, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 13 pages, 10 figures, accepted for publication in ApJ, Figure 7 corrected

The bursty star formation history of the Fornax dwarf spheroidal galaxy revealed with the HST

Authors: V. Rusakov, M. Monelli, C. Gallart, T. K. Fritz, T. Ruiz-Lara, E. J. Bernard, S. Cassisi

Abstract: We present a new derivation of the star formation history (SFH) of the dSph galaxy Fornax in two central regions, characterised by unprecedented precision and age resolution. It reveals that star formation has proceeded in sharp bursts separated by periods of low-level or quiescent activity. The SFH was derived through colour-magnitude diagram (CMD) fitting of two extremely deep Hubble Space Teles… ▽ More We present a new derivation of the star formation history (SFH) of the dSph galaxy Fornax in two central regions, characterised by unprecedented precision and age resolution. It reveals that star formation has proceeded in sharp bursts separated by periods of low-level or quiescent activity. The SFH was derived through colour-magnitude diagram (CMD) fitting of two extremely deep Hubble Space Telescope CMDs, sampling the centre and one core radius. The attained age resolution allowed us to single out a major star formation episode at early times, a second strong burst $4.6\pm0.4$ Gyr ago and recent intermittent episodes $\sim2-0.2$ Gyr ago. Detailed testing with mock stellar populations was used to estimate the duration of the main bursts and study the occurrence of low-level star formation between them. The SFHs in both regions show common features, with activity at the same epochs and similar age-metallicity relationship. However, clear indications of a spatial gradient were also found, with mean age increasing with radius and star formation episodes being more prolonged in the centre. While some galaxy evolution models predict bursty SFHs in dwarf galaxies and thus a secular origin of the observed SFH cannot be excluded in Fornax, other evidence points to possible mergers or interactions as the cause of its bursty SFH. In particular, we calculated the Fornax orbit relative to the closest dwarfs and the Milky Way and observed a correspondence between the main intermediate-age and young events and peri-passages of Fornax around the Milky Way, possibly indicating tidally-induced star formation. △ Less

Submitted 8 January, 2021; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: 20 pages, 12+3 figures, accepted for publication in MNRAS; corrected error estimation (Figure 5, Sec. 3.3), added Sec. 4.3, appendices, more references, moderate revision of text and figures

New constraints on the structure of the nuclear stellar cluster of the Milky Way from star counts and MIR imaging

Authors: E. Gallego-Cano, R. Schödel, F. Nogueras-Lara, H. Dong, B. Shahzamanian, T. K. Fritz, A. T. Gallego-Calvente, N. Neumayer

Abstract: The Milky Way nuclear star cluster (MWNSC) is a crucial laboratory for studying the galactic nuclei of other galaxies, but its properties have not been determined unambiguously until now. Aims. We aim to study the size and spatial structure of the MWNSC. Methods. This study uses data and methods that address potential shortcomings of previous studies on the topic. We use $0.2''$ angular resolution… ▽ More The Milky Way nuclear star cluster (MWNSC) is a crucial laboratory for studying the galactic nuclei of other galaxies, but its properties have not been determined unambiguously until now. Aims. We aim to study the size and spatial structure of the MWNSC. Methods. This study uses data and methods that address potential shortcomings of previous studies on the topic. We use $0.2''$ angular resolution $K_{s}$ data to create a stellar density map in the central $86.4$pc x $21$pc at the Galactic center. We include data from selected adaptive-optics-assisted images obtained for the inner parsecs. In addition, we use IRAC/Spitzer mid-infrared (MIR) images. We model the Galactic bulge and the nuclear stellar disk in order to subtract them from the MWNSC. Finally, we fit a Sérsic model to the MWNSC and investigate its symmetry. Results. Our results are consistent with previous work. The MWNSC is flattened with an axis ratio of $q=0.71 \pm0.10$, an effective radius of $R_{e}=(5.1 \pm1.0)$ pc, and a Sérsic index of $n=2.2 \pm0.7$. Its major axis may be tilted out of the Galactic plane by up to $-10$ degrees. The distribution of the giants brighter than the Red Clump (RC) is found to be significantly flatter than the distribution of the faint stars. We investigate the 3D structure of the central stellar cusp using our results on the MWNSC structure on large scales to constrain the deprojection of the measured stellar surface number density, obtaining a value of the 3D inner power law of $γ=1.38\pm0.06_{sys}\pm0.01_{stat}$. Conclusions. The MWNSC shares its main properties with other extragalactic NSCs found in spiral galaxies. The differences in the structure between bright giants and RC stars might be related to the existence of not completely mixed populations of different ages. This may hint at recent growth of the MWNSC through star formation or cluster accretion. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 20 pages

Journal ref: A&A 634, A71 (2020)

The mass of our Galaxy from satellite proper motions in the Gaia era

Authors: T. K. Fritz, A. Di Cintio, G. Battaglia, C. Brook, S. Taibi

Abstract: We use Gaia DR2 systemic proper motions of 45 satellite galaxies to constrain the mass of the Milky Way using the scale free mass estimator of Watkins et al. (2010). We first determine the anisotropy parameter $β$, and the tracer satellites' radial density index $γ$ to be $β$=$-0.67^{+0.45}_{-0.62}$ and $γ=2.11\pm0.23$. When we exclude possible former satellites of the Large Magellanic Cloud, the… ▽ More We use Gaia DR2 systemic proper motions of 45 satellite galaxies to constrain the mass of the Milky Way using the scale free mass estimator of Watkins et al. (2010). We first determine the anisotropy parameter $β$, and the tracer satellites' radial density index $γ$ to be $β$=$-0.67^{+0.45}_{-0.62}$ and $γ=2.11\pm0.23$. When we exclude possible former satellites of the Large Magellanic Cloud, the anisotropy changes to $β$=$-0.21^{+0.37}_{-0.51}$. We find that the index of the Milky Way's gravitational potential $α$, which is dependent on the mass itself, is the parameter with the largest impact on the mass determination. Via comparison with cosmological simulations of Milky Way-like galaxies, we carried out a detailed analysis of the estimation of the observational uncertainties and their impact on the mass estimator. We found that the mass estimator is biased when applied naively to the satellites of simulated Milky Way halos. Correcting for this bias, we obtain for our Galaxy a mass of $0.58^{+0.15}_{-0.14}\times10^{12}$M$_\odot$ within 64 kpc, as computed from the inner half of our observational sample, and $1.43^{+0.35}_{-0.32}\times10^{12}$M$_\odot$ within 273 kpc, from the full sample; this latter value extrapolates to a virial mass of $M_\mathrm{vir\,Δ=97}$=$1.51^{+0.45}_{-0.40} \times 10^{12}M_{\odot}$ corresponding to a virial radius of R$_\mathrm{vir}$=$308\pm29$ kpc. This value of the Milky Way mass lies in-between other mass estimates reported in the literature, from various different methods. △ Less

Submitted 10 April, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 17 pages, 10 figures, 2 tables. Accepted for publication in MNRAS

Infinite products and zero-one laws in categorical probability

Authors: Tobias Fritz, Eigil Fjeldgren Rischel

Abstract: Markov categories are a recent category-theoretic approach to the foundations of probability and statistics. Here we develop this approach further by treating infinite products and the Kolmogorov extension theorem. This is relevant for all aspects of probability theory in which infinitely many random variables appear at a time. These infinite tensor products $\bigotimes_{i \in J} X_i$ come in two… ▽ More Markov categories are a recent category-theoretic approach to the foundations of probability and statistics. Here we develop this approach further by treating infinite products and the Kolmogorov extension theorem. This is relevant for all aspects of probability theory in which infinitely many random variables appear at a time. These infinite tensor products $\bigotimes_{i \in J} X_i$ come in two versions: a weaker but more general one for families of objects $(X_i)_{i \in J}$ in semicartesian symmetric monoidal categories, and a stronger but more specific one for families of objects in Markov categories. As a first application, we state and prove versions of the zero-one laws of Kolmogorov and Hewitt-Savage for Markov categories. This gives general versions of these results which can be instantiated not only in measure-theoretic probability, where they specialize to the standard ones in the setting of standard Borel spaces, but also in other contexts. △ Less

Submitted 17 August, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 20 pages. v6: Some minor fixes

Journal ref: Compositionality 2, 3 (2020)

Monotone homomorphisms on convolution semigroups

Authors: Tobias Fritz, Xiaosheng Mu, Omer Tamuz

Abstract: We study monotone homomorphisms on the semigroup of probability measures on $\mathbb{R}$, by which we mean maps to the reals that are monotone with respect to the stochastic order and additive under convolution. We show that scalar multiples of the expectation are the unique monotone homomorphisms on the semigroup of measures with finite $p$-th moment, for any $1 \le p < \infty$. We also prove tha… ▽ More We study monotone homomorphisms on the semigroup of probability measures on $\mathbb{R}$, by which we mean maps to the reals that are monotone with respect to the stochastic order and additive under convolution. We show that scalar multiples of the expectation are the unique monotone homomorphisms on the semigroup of measures with finite $p$-th moment, for any $1 \le p < \infty$. We also prove that the entire semigroup of probability measures admits no non-zero monotone homomorphism. △ Less

Submitted 3 February, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

MSC Class: Primary: 60E15. Secondary: 06F05