Showing 1–22 of 22 results for author: Gonda, T

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability

Authors: Tobias Fritz, Tomáš Gonda, Antonio Lorenzin, Paolo Perrone, Areeb Shah Mohammed

Abstract: The Glivenko-Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform convergence of the CDF). In this work, we provide tools to study such limits of empirical measures in categorical probability. We propose two axioms, permutation in… ▽ More The Glivenko-Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform convergence of the CDF). In this work, we provide tools to study such limits of empirical measures in categorical probability. We propose two axioms, permutation invariance and empirical adequacy, that a morphism of type $X^\mathbb{N} \to X$ should satisfy to be interpretable as taking an infinite sequence as input and producing a sample from its empirical measure as output. Since not all sequences have a well-defined empirical measure, ``such empirical sampling morphisms'' live in quasi-Markov categories, which, unlike Markov categories, allow partial morphisms. Given an empirical sampling morphism and a few other properties, we prove representability as well as abstract versions of the de Finetti theorem, the Glivenko-Cantelli theorem and the strong law of large numbers. We provide several concrete constructions of empirical sampling morphisms as partially defined Markov kernels on standard Borel spaces. Instantiating our abstract results then recovers the standard Glivenko-Cantelli theorem and the strong law of large numbers for random variables with finite first moment. Our work thus provides a joint proof of these two theorems in conjunction with the de Finetti theorem from first principles. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 54 pages

MSC Class: Primary: 60A05; Secondary: 60F17; 62G30; 18M30; 18M05

Validation of a Comprehensive First-Principles-Based Framework for Predicting the Performance of Future Stellarators

Authors: D. L. C. Agapito Fernando, A. Bañón Navarro, D. Carralero, A. Alonso, A. Di Siena, J. L. Velasco, F. Wilms, G. Merlo, F. Jenko, S. A. Bozhenkov, E. Pasch, G. Fuchert, K. J. Brunner, J. Knauer, A. Langenberg, N. A. Pablant, T. Gonda, O. Ford, L. Vanó, T. Windisch, T. Estrada, E. Maragkoudakis, the Wendelstein 7-X Team

Abstract: This paper presents the validation of the $\texttt{GENE-KNOSOS-Tango}$ framework for recovering both the steady-state plasma profiles in the considered radial domain and selected turbulence trends in a stellarator. This framework couples the gyrokinetic turbulence code $\texttt{GENE}$, the neoclassical transport code $\texttt{KNOSOS}$, and the transport solver $\texttt{Tango}$ in a multi-timescale… ▽ More This paper presents the validation of the $\texttt{GENE-KNOSOS-Tango}$ framework for recovering both the steady-state plasma profiles in the considered radial domain and selected turbulence trends in a stellarator. This framework couples the gyrokinetic turbulence code $\texttt{GENE}$, the neoclassical transport code $\texttt{KNOSOS}$, and the transport solver $\texttt{Tango}$ in a multi-timescale simulation feedback loop. Ion-scale kinetic-electron and electron-scale adiabatic-ion flux-tube simulations were performed to evolve the density and temperature profiles for four OP1.2b W7-X scenarios. The simulated density and temperature profiles showed good agreement with the experimental data using a reasonable set of boundary conditions. Equally important was the reproduction of observed trends for several turbulence properties, such as density fluctuations and turbulent heat diffusivities. Key effects were also touched upon, such as electron-scale turbulence and the neoclassical radial electric field shear. The validation of the $\texttt{GENE-KNOSOS-Tango}$ framework enables credible predictions of physical phenomena in stellarators and reactor performance based on a given set of edge parameters. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Comments: The following article has been submitted to Physics of Plasmas (Papers from the 66th Annual Meeting of the APS DPP)

The Aldous--Hoover Theorem in Categorical Probability

Authors: Leihao Chen, Tobias Fritz, Tomáš Gonda, Andreas Klingler, Antonio Lorenzin

Abstract: The Aldous-Hoover Theorem concerns an infinite matrix of random variables whose distribution is invariant under finite permutations of rows and columns. It states that, up to equality in distribution, each random variable in the matrix can be expressed as a function only depending on four key variables: one common to the entire matrix, one that encodes information about its row, one that encodes i… ▽ More The Aldous-Hoover Theorem concerns an infinite matrix of random variables whose distribution is invariant under finite permutations of rows and columns. It states that, up to equality in distribution, each random variable in the matrix can be expressed as a function only depending on four key variables: one common to the entire matrix, one that encodes information about its row, one that encodes information about its column, and a fourth one specific to the matrix entry. We state and prove the theorem within a category-theoretic approach to probability, namely the theory of Markov categories. This makes the proof more transparent and intuitive when compared to measure-theoretic ones. A key role is played by a newly identified categorical property, the Cauchy--Schwarz axiom, which also facilitates a new synthetic de Finetti Theorem. We further provide a variant of our proof using the ordered Markov property and the d-separation criterion, both generalized from Bayesian networks to Markov categories. We expect that this approach will facilitate a systematic development of more complex results in the future, such as categorical approaches to hierarchical exchangeability. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 39 pages

IPMN Risk Assessment under Federated Learning Paradigm

Authors: Hongyi Pan, Ziliang Hong, Gorkem Durak, Elif Keles, Halil Ertugrul Aktas, Yavuz Taktak, Alpay Medetalibeyoglu, Zheyuan Zhang, Yury Velichko, Concetto Spampinato, Ivo Schoots, Marco J. Bruno, Pallavi Tiwari, Candice Bolan, Tamas Gonda, Frank Miller, Rajesh N. Keswani, Michael B. Wallace, Ziyue Xu, Ulas Bagci

Abstract: Accurate classification of Intraductal Papillary Mucinous Neoplasms (IPMN) is essential for identifying high-risk cases that require timely intervention. In this study, we develop a federated learning framework for multi-center IPMN classification utilizing a comprehensive pancreas MRI dataset. This dataset includes 652 T1-weighted and 655 T2-weighted MRI images, accompanied by corresponding IPMN… ▽ More Accurate classification of Intraductal Papillary Mucinous Neoplasms (IPMN) is essential for identifying high-risk cases that require timely intervention. In this study, we develop a federated learning framework for multi-center IPMN classification utilizing a comprehensive pancreas MRI dataset. This dataset includes 652 T1-weighted and 655 T2-weighted MRI images, accompanied by corresponding IPMN risk scores from 7 leading medical institutions, making it the largest and most diverse dataset for IPMN classification to date. We assess the performance of DenseNet-121 in both centralized and federated settings for training on distributed data. Our results demonstrate that the federated learning approach achieves high classification accuracy comparable to centralized learning while ensuring data privacy across institutions. This work marks a significant advancement in collaborative IPMN classification, facilitating secure and high-accuracy model training across multiple centers. △ Less

Submitted 22 January, 2025; v1 submitted 8 November, 2024; originally announced November 2024.

Comments: This paper has been accepted to ISBI 2025

Adaptive Aggregation Weights for Federated Segmentation of Pancreas MRI

Authors: Hongyi Pan, Gorkem Durak, Zheyuan Zhang, Yavuz Taktak, Elif Keles, Halil Ertugrul Aktas, Alpay Medetalibeyoglu, Yury Velichko, Concetto Spampinato, Ivo Schoots, Marco J. Bruno, Rajesh N. Keswani, Pallavi Tiwari, Candice Bolan, Tamas Gonda, Michael G. Goggins, Michael B. Wallace, Ziyue Xu, Ulas Bagci

Abstract: Federated learning (FL) enables collaborative model training across institutions without sharing sensitive data, making it an attractive solution for medical imaging tasks. However, traditional FL methods, such as Federated Averaging (FedAvg), face difficulties in generalizing across domains due to variations in imaging protocols and patient demographics across institutions. This challenge is part… ▽ More Federated learning (FL) enables collaborative model training across institutions without sharing sensitive data, making it an attractive solution for medical imaging tasks. However, traditional FL methods, such as Federated Averaging (FedAvg), face difficulties in generalizing across domains due to variations in imaging protocols and patient demographics across institutions. This challenge is particularly evident in pancreas MRI segmentation, where anatomical variability and imaging artifacts significantly impact performance. In this paper, we conduct a comprehensive evaluation of FL algorithms for pancreas MRI segmentation and introduce a novel approach that incorporates adaptive aggregation weights. By dynamically adjusting the contribution of each client during model aggregation, our method accounts for domain-specific differences and improves generalization across heterogeneous datasets. Experimental results demonstrate that our approach enhances segmentation accuracy and reduces the impact of domain shift compared to conventional FL methods while maintaining privacy-preserving capabilities. Significant performance improvements are observed across multiple hospitals (centers). △ Less

Submitted 6 May, 2025; v1 submitted 29 October, 2024; originally announced October 2024.

Comments: This paper has been accepted to ISBI 2025

Conceptual and formal groundwork for the study of resource dependence relations

Authors: Yìlè Yīng, Tomáš Gonda, Robert Spekkens

Abstract: A resource theory imposes a preorder over states, with one state being above another if the first can be converted to the second by a free operation, and where the set of free operations defines the notion of resourcefulness under study. In general, the location of a state in the preorder of one resource theory can constrain its location in the preorder of a different resource theory. It follows t… ▽ More A resource theory imposes a preorder over states, with one state being above another if the first can be converted to the second by a free operation, and where the set of free operations defines the notion of resourcefulness under study. In general, the location of a state in the preorder of one resource theory can constrain its location in the preorder of a different resource theory. It follows that there can be nontrivial dependence relations between different notions of resourcefulness. In this article, we lay out the conceptual and formal groundwork for the study of resource dependence relations. In particular, we note that the relations holding among a set of monotones that includes a complete set for each resource theory provides a full characterization of resource dependence relations. As an example, we consider three resource theories concerning the about-face asymmetry properties of a qubit along three mutually orthogonal axes on the Bloch ball, where about-face symmetry refers to a representation of $\mathbb{Z}_2$, consisting of the identity map and a $π$ rotation about the given axis. This example is sufficiently simple that we are able to derive a complete set of monotones for each resource theory and to determine all of the relations that hold among these monotones, thereby completely solving the problem of determining resource dependence relations. Nonetheless, we show that even in this simplest of examples, these relations are already quite nuanced. △ Less

Submitted 12 July, 2024; v1 submitted 28 June, 2024; originally announced July 2024.

Comments: Minor corrections. 36 + 11 pages, 19 figures. Comments welcome!

Epistemic Horizons From Deterministic Laws: Lessons From a Nomic Toy Theory

Authors: Johannes Fankhauser, Tomáš Gonda, Gemma De les Coves

Abstract: Quantum theory has an epistemic horizon, i.e. exact values cannot be assigned simultaneously to incompatible physical quantities. As shown by Spekkens' toy theory, positing an epistemic horizon akin to Heisenberg's uncertainty principle in a classical mechanical setting also leads to a plethora of quantum phenomena. We introduce a deterministic theory - nomic toy theory - in which information gath… ▽ More Quantum theory has an epistemic horizon, i.e. exact values cannot be assigned simultaneously to incompatible physical quantities. As shown by Spekkens' toy theory, positing an epistemic horizon akin to Heisenberg's uncertainty principle in a classical mechanical setting also leads to a plethora of quantum phenomena. We introduce a deterministic theory - nomic toy theory - in which information gathering agents are explicitly modelled as physical systems. Our main result shows the presence of an epistemic horizon for such agents. They can only simultaneously learn the values of observables whose Poisson bracket vanishes. Therefore, nomic toy theory has incompatible measurements and the complete state of a physical system cannot be known. The best description of a system by an agent is via an epistemic state of Spekkens' toy theory. Our result reconciles us to measurement uncertainty as an aspect of the inseparability of subjects and objects. Significantly, the claims follow even though nomic toy theory is essentially classical. This work invites further investigations of epistemic horizons, such as the one of (full) quantum theory. △ Less

Submitted 28 June, 2024; v1 submitted 25 June, 2024; originally announced June 2024.

Comments: 29+11 Pages, 4 Figures, minor changes to Appendix A

Report number: Synthese 205, 136 (2025)

An Invitation to Universality in Physics, Computer Science, and Beyond

Authors: Tomáš Gonda, Gemma De les Coves

Abstract: A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems whose low energy behavior simulates that of any spin system. Our categorical framework for universality (arXiv:2307.06851) captures these and other examples of universality as instances. In this article, we present an acce… ▽ More A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems whose low energy behavior simulates that of any spin system. Our categorical framework for universality (arXiv:2307.06851) captures these and other examples of universality as instances. In this article, we present an accessible account thereof with a focus on its basic ingredients and ways to use it. Specifically, we show how to identify necessary conditions for universality, compare types of universality within each instance, and establish that universality and negation give rise to unreachability (such as uncomputability). △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 10 pages, 1 figure + string diagrams. This article summarizes the framework for universality from arXiv:2307.06851. It is submitted as a contribution to "Fundamental Structures in Computational and Pure Mathematics, Volume 2"

Resource-theoretic hierarchy of contextuality for general probabilistic theories

Authors: Lorenzo Catani, Thomas D. Galley, Tomáš Gonda

Abstract: In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their comparison based on how contextual they are. Our approach focuses on the contextuality of prepare-and-measure scenarios, described by general probabilistic theories (GPTs). To motivate the hierarchy, we define it as the… ▽ More In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their comparison based on how contextual they are. Our approach focuses on the contextuality of prepare-and-measure scenarios, described by general probabilistic theories (GPTs). To motivate the hierarchy, we define it as the resource ordering of a novel resource theory of GPT-contextuality. The building blocks of its free operations are classical systems and GPT-embeddings. The latter are simulations of one GPT by another, which preserve the operational equivalences and thus cannot generate contextuality. Noncontextual theories can be recovered as least elements in the hierarchy. We then define a new contextuality monotone, called classical excess, given by the minimal error of embedding a GPT within an infinite classical system. In addition, we show that the optimal success probability in the parity oblivious multiplexing game also defines a monotone in our resource theory. We end with a discussion of a potential interpretation of the non-free operations of the resource theory of GPT-contextuality as expressing a kind of information erasure. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Comments: 34 pages

Large-Scale Multi-Center CT and MRI Segmentation of Pancreas with Deep Learning

Authors: Zheyuan Zhang, Elif Keles, Gorkem Durak, Yavuz Taktak, Onkar Susladkar, Vandan Gorade, Debesh Jha, Asli C. Ormeci, Alpay Medetalibeyoglu, Lanhong Yao, Bin Wang, Ilkin Sevgi Isler, Linkai Peng, Hongyi Pan, Camila Lopes Vendrami, Amir Bourhani, Yury Velichko, Boqing Gong, Concetto Spampinato, Ayis Pyrros, Pallavi Tiwari, Derk C. F. Klatte, Megan Engels, Sanne Hoogenboom, Candice W. Bolan , et al. (13 additional authors not shown)

Abstract: Automated volumetric segmentation of the pancreas on cross-sectional imaging is needed for diagnosis and follow-up of pancreatic diseases. While CT-based pancreatic segmentation is more established, MRI-based segmentation methods are understudied, largely due to a lack of publicly available datasets, benchmarking research efforts, and domain-specific deep learning methods. In this retrospective st… ▽ More Automated volumetric segmentation of the pancreas on cross-sectional imaging is needed for diagnosis and follow-up of pancreatic diseases. While CT-based pancreatic segmentation is more established, MRI-based segmentation methods are understudied, largely due to a lack of publicly available datasets, benchmarking research efforts, and domain-specific deep learning methods. In this retrospective study, we collected a large dataset (767 scans from 499 participants) of T1-weighted (T1W) and T2-weighted (T2W) abdominal MRI series from five centers between March 2004 and November 2022. We also collected CT scans of 1,350 patients from publicly available sources for benchmarking purposes. We developed a new pancreas segmentation method, called PanSegNet, combining the strengths of nnUNet and a Transformer network with a new linear attention module enabling volumetric computation. We tested PanSegNet's accuracy in cross-modality (a total of 2,117 scans) and cross-center settings with Dice and Hausdorff distance (HD95) evaluation metrics. We used Cohen's kappa statistics for intra and inter-rater agreement evaluation and paired t-tests for volume and Dice comparisons, respectively. For segmentation accuracy, we achieved Dice coefficients of 88.3% (std: 7.2%, at case level) with CT, 85.0% (std: 7.9%) with T1W MRI, and 86.3% (std: 6.4%) with T2W MRI. There was a high correlation for pancreas volume prediction with R^2 of 0.91, 0.84, and 0.85 for CT, T1W, and T2W, respectively. We found moderate inter-observer (0.624 and 0.638 for T1W and T2W MRI, respectively) and high intra-observer agreement scores. All MRI data is made available at https://osf.io/kysnj/. Our source code is available at https://github.com/NUBagciLab/PaNSegNet. △ Less

Submitted 24 October, 2024; v1 submitted 20 May, 2024; originally announced May 2024.

Comments: Peer-reviewer version

Radiomics Boosts Deep Learning Model for IPMN Classification

Authors: Lanhong Yao, Zheyuan Zhang, Ugur Demir, Elif Keles, Camila Vendrami, Emil Agarunov, Candice Bolan, Ivo Schoots, Marc Bruno, Rajesh Keswani, Frank Miller, Tamas Gonda, Cemal Yazici, Temel Tirkes, Michael Wallace, Concetto Spampinato, Ulas Bagci

Abstract: Intraductal Papillary Mucinous Neoplasm (IPMN) cysts are pre-malignant pancreas lesions, and they can progress into pancreatic cancer. Therefore, detecting and stratifying their risk level is of ultimate importance for effective treatment planning and disease control. However, this is a highly challenging task because of the diverse and irregular shape, texture, and size of the IPMN cysts as well… ▽ More Intraductal Papillary Mucinous Neoplasm (IPMN) cysts are pre-malignant pancreas lesions, and they can progress into pancreatic cancer. Therefore, detecting and stratifying their risk level is of ultimate importance for effective treatment planning and disease control. However, this is a highly challenging task because of the diverse and irregular shape, texture, and size of the IPMN cysts as well as the pancreas. In this study, we propose a novel computer-aided diagnosis pipeline for IPMN risk classification from multi-contrast MRI scans. Our proposed analysis framework includes an efficient volumetric self-adapting segmentation strategy for pancreas delineation, followed by a newly designed deep learning-based classification scheme with a radiomics-based predictive approach. We test our proposed decision-fusion model in multi-center data sets of 246 multi-contrast MRI scans and obtain superior performance to the state of the art (SOTA) in this field. Our ablation studies demonstrate the significance of both radiomics and deep learning modules for achieving the new SOTA performance compared to international guidelines and published studies (81.9\% vs 61.3\% in accuracy). Our findings have important implications for clinical decision-making. In a series of rigorous experiments on multi-center data sets (246 MRI scans from five centers), we achieved unprecedented performance (81.9\% accuracy). △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 10 pages, MICCAI MLMI 2023

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

A Framework for Universality in Physics, Computer Science, and Beyond

Authors: Tomáš Gonda, Tobias Reinhart, Sebastian Stengele, Gemma De les Coves

Abstract: Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as instances universal Turing machines, universal spin models, NP completeness, top of a preorder, denseness of a subset, and more. By identifying necessary conditio… ▽ More Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as instances universal Turing machines, universal spin models, NP completeness, top of a preorder, denseness of a subset, and more. By identifying necessary conditions for universality, we show that universal spin models cannot be finite. We also characterize when universality can be distinguished from a trivial one and use it to show that universal Turing machines are non-trivial in this sense. Our framework allows not only to compare universalities within each instance, but also instances themselves. We leverage a Fixed Point Theorem inspired by a result of Lawvere to establish that universality and negation give rise to unreachability (such as uncomputability). As such, this work sets the basis for a unified approach to universality and invites the study of further examples within the framework. △ Less

Submitted 3 September, 2024; v1 submitted 30 June, 2023; originally announced July 2023.

Comments: 66 pages, 12 figures, many diagrams. v3: DOI changed

Journal ref: Compositionality, Volume 6 (2024) (August 29, 2024) compositionality:14134

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)

Resource Theories as Quantale Modules

Authors: Tomáš Gonda

Abstract: We aim to counter the tendency for specialization in science by advancing a language that can facilitate the translation of ideas and methods between disparate contexts. The focus is on questions of "resource-theoretic nature". In a resource theory, one identifies resources and allowed manipulations that can be used to transform them. Some of the main questions are: How to optimize resources? What… ▽ More We aim to counter the tendency for specialization in science by advancing a language that can facilitate the translation of ideas and methods between disparate contexts. The focus is on questions of "resource-theoretic nature". In a resource theory, one identifies resources and allowed manipulations that can be used to transform them. Some of the main questions are: How to optimize resources? What are the trade-offs between them? Can a given resource be converted to another one via the allowed manipulations? Because of their ubiquity, methods used to answer them in one context can be used to tackle corresponding questions in new contexts. The translation occurs in two stages. Firstly, methods are generalized to the abstract language. Then, one can determine whether potentially novel contexts can accommodate them. We focus on the first stage, by introducing two variants of an abstract framework in which existing and yet unidentified resource theories can be represented. Using these, the task of generalizing concrete methods is tackled in chapter 4 by studying the ways in which meaningful measures of resources may be constructed. One construction expresses a notion of cost (or yield) of a resource. Among other applications, it may be used to extend measures from a subset of resources to a larger domain. Another construction allows the translation of resource measures from one resource theory to another. Special cases include resource robustness and weight measures, as well as relative entropy based measures quantifying minimal distinguishability from freely available resources. We instantiate some of these ideas in a resource theory of distinguishability in chapter 5. It describes the utility of systems with probabilistic behavior for the task of distinguishing between hypotheses, which said behavior may depend on. △ Less

Submitted 4 December, 2021; originally announced December 2021.

Comments: PhD thesis submitted to the University of Waterloo; supervised by Robert W. Spekkens; submitted on September 23, 2021; defended on November 2, 2021. 174 pages, 3 figures, all comments are welcome

Design and production of the high voltage electrode grids and electron extraction region for the LZ dual-phase xenon time projection chamber

Authors: R. Linehan, R. L. Mannino, A. Fan, C. M. Ignarra, S. Luitz, K. Skarpaas, T. A. Shutt, D. S. Akerib, S. K. Alsum, T. J. Anderson, H. M. Araújo, M. Arthurs, H. Auyeung, A. J. Bailey, T. P. Biesiadzinski, M. Breidenbach, J. J. Cherwinka, R. A. Conley, J. Genovesi, M. G. D. Gilchriese, A. Glaenzer, T. G. Gonda, K. Hanzel, M. D. Hoff, W. Ji , et al. (24 additional authors not shown)

Abstract: The dual-phase xenon time projection chamber (TPC) is a powerful tool for direct-detection experiments searching for WIMP dark matter, other dark matter models, and neutrinoless double-beta decay. Successful operation of such a TPC is critically dependent on the ability to hold high electric fields in the bulk liquid, across the liquid surface, and in the gas. Careful design and construction of th… ▽ More The dual-phase xenon time projection chamber (TPC) is a powerful tool for direct-detection experiments searching for WIMP dark matter, other dark matter models, and neutrinoless double-beta decay. Successful operation of such a TPC is critically dependent on the ability to hold high electric fields in the bulk liquid, across the liquid surface, and in the gas. Careful design and construction of the electrodes used to establish these fields is therefore required. We present the design and production of the LUX-ZEPLIN (LZ) experiment's high-voltage electrodes, a set of four woven mesh wire grids. Grid design drivers are discussed, with emphasis placed on design of the electron extraction region. We follow this with a description of the grid production process and a discussion of steps taken to validate the LZ grids prior to integration into the TPC. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: 23 pages, 20 figures, to be submitted to Nuclear Instruments and Methods in Physics Research Section A. Corresponding authors: [email protected] and [email protected]

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)

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)

The LUX-ZEPLIN (LZ) radioactivity and cleanliness control programs

Authors: D. S. Akerib, C. W. Akerlof, D. Yu. Akimov, A. Alquahtani, S. K. Alsum, T. J. Anderson, N. Angelides, H. M. Araújo, A. Arbuckle, J. E. Armstrong, M. Arthurs, H. Auyeung, S. Aviles, X. Bai, A. J. Bailey, J. Balajthy, S. Balashov, J. Bang, M. J. Barry, D. Bauer, P. Bauer, A. Baxter, J. Belle, P. Beltrame, J. Bensinger , et al. (365 additional authors not shown)

Abstract: LUX-ZEPLIN (LZ) is a second-generation direct dark matter experiment with spin-independent WIMP-nucleon scattering sensitivity above $1.4 \times 10^{-48}$ cm$^{2}$ for a WIMP mass of 40 GeV/c$^{2}$ and a 1000 d exposure. LZ achieves this sensitivity through a combination of a large 5.6 t fiducial volume, active inner and outer veto systems, and radio-pure construction using materials with inherent… ▽ More LUX-ZEPLIN (LZ) is a second-generation direct dark matter experiment with spin-independent WIMP-nucleon scattering sensitivity above $1.4 \times 10^{-48}$ cm$^{2}$ for a WIMP mass of 40 GeV/c$^{2}$ and a 1000 d exposure. LZ achieves this sensitivity through a combination of a large 5.6 t fiducial volume, active inner and outer veto systems, and radio-pure construction using materials with inherently low radioactivity content. The LZ collaboration performed an extensive radioassay campaign over a period of six years to inform material selection for construction and provide an input to the experimental background model against which any possible signal excess may be evaluated. The campaign and its results are described in this paper. We present assays of dust and radon daughters depositing on the surface of components as well as cleanliness controls necessary to maintain background expectations through detector construction and assembly. Finally, examples from the campaign to highlight fixed contaminant radioassays for the LZ photomultiplier tubes, quality control and quality assurance procedures through fabrication, radon emanation measurements of major sub-systems, and bespoke detector systems to assay scintillator are presented. △ Less

Submitted 28 February, 2022; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 45 pages (79 inc. tables), 7 figures, 9 tables

Journal ref: The European Physical Journal C, Volume 80, Article number: 1044 (2020)

Monotones in General Resource Theories

Authors: Tomáš Gonda, Robert W. Spekkens

Abstract: A central problem in the study of resource theories is to find functions that are nonincreasing under resource conversions - termed monotones - in order to quantify resourcefulness. Various constructions of monotones appear in many different concrete resource theories. How general are these constructions? What are the necessary conditions on a resource theory for a given construction to be applica… ▽ More A central problem in the study of resource theories is to find functions that are nonincreasing under resource conversions - termed monotones - in order to quantify resourcefulness. Various constructions of monotones appear in many different concrete resource theories. How general are these constructions? What are the necessary conditions on a resource theory for a given construction to be applicable? To answer these questions, we introduce a broad scheme for constructing monotones. It involves finding an order-preserving map from the preorder of resources of interest to a distinct preorder for which nontrivial monotones are previously known or can be more easily constructed; these monotones are then pulled back through the map. In one of the two main classes we study, the preorder of resources is mapped to a preorder of sets of resources, where the order relation is set inclusion, such that monotones can be defined via maximizing or minimizing the value of a function within these sets. In the other class, the preorder of resources is mapped to a preorder of tuples of resources, and one pulls back monotones that measure the amount of distinguishability of the different elements of the tuple (hence its information content). Monotones based on contractions arise naturally in the latter class, and, more surprisingly, so do weight and robustness measures. In addition to capturing many standard monotone constructions, our scheme also suggests significant generalizations of these. In order to properly capture the breadth of applicability of our results, we present them within a novel abstract framework for resource theories in which the notion of composition is independent of the types of the resources involved (i.e., whether they are states, channels, combs, etc.). △ Less

Submitted 8 August, 2023; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: 47 pages, 4 figures. v3: Updated content thanks to anonymous reviewers. We added background material on resource theories via Ex. 8 & 9, as well as a table providing an overview of our monotone constructions in Appendix B

MSC Class: 06F05 (Primary); 06A06; 06F07; 94D05; 90B99 (Secondary)

Journal ref: Compositionality, Volume 5 (2023) (August 9, 2023) compositionality:13526

The LUX-ZEPLIN (LZ) Experiment

Authors: The LZ Collaboration, D. S. Akerib, C. W. Akerlof, D. Yu. Akimov, A. Alquahtani, S. K. Alsum, T. J. Anderson, N. Angelides, H. M. Araújo, A. Arbuckle, J. E. Armstrong, M. Arthurs, H. Auyeung, X. Bai, A. J. Bailey, J. Balajthy, S. Balashov, J. Bang, M. J. Barry, J. Barthel, D. Bauer, P. Bauer, A. Baxter, J. Belle, P. Beltrame , et al. (357 additional authors not shown)

Abstract: We describe the design and assembly of the LUX-ZEPLIN experiment, a direct detection search for cosmic WIMP dark matter particles. The centerpiece of the experiment is a large liquid xenon time projection chamber sensitive to low energy nuclear recoils. Rejection of backgrounds is enhanced by a Xe skin veto detector and by a liquid scintillator Outer Detector loaded with gadolinium for efficient n… ▽ More We describe the design and assembly of the LUX-ZEPLIN experiment, a direct detection search for cosmic WIMP dark matter particles. The centerpiece of the experiment is a large liquid xenon time projection chamber sensitive to low energy nuclear recoils. Rejection of backgrounds is enhanced by a Xe skin veto detector and by a liquid scintillator Outer Detector loaded with gadolinium for efficient neutron capture and tagging. LZ is located in the Davis Cavern at the 4850' level of the Sanford Underground Research Facility in Lead, South Dakota, USA. We describe the major subsystems of the experiment and its key design features and requirements. △ Less

Submitted 3 November, 2019; v1 submitted 20 October, 2019; originally announced October 2019.

Almost Quantum Correlations are Inconsistent with Specker's Principle

Authors: Tomáš Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe, Ana Belén Sainz

Abstract: Ernst Specker considered a particular feature of quantum theory to be especially fundamental, namely that pairwise joint measurability of sharp measurements implies their global joint measurability (https://vimeo.com/52923835). To date, Specker's principle seemed incapable of singling out quantum theory from the space of all general probabilistic theories. In particular, its well-known consequence… ▽ More Ernst Specker considered a particular feature of quantum theory to be especially fundamental, namely that pairwise joint measurability of sharp measurements implies their global joint measurability (https://vimeo.com/52923835). To date, Specker's principle seemed incapable of singling out quantum theory from the space of all general probabilistic theories. In particular, its well-known consequence for experimental statistics, the principle of consistent exclusivity, does not rule out the set of correlations known as almost quantum, which is strictly larger than the set of quantum correlations. Here we show that, contrary to the popular belief, Specker's principle cannot be satisfied in any theory that yields almost quantum correlations. △ Less

Submitted 17 August, 2018; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: 17 pages + appendix. 5 colour figures. Comments welcome

Journal ref: Quantum 2018 vol: 2 pp: 8