Skip to main content

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

.
  1. arXiv:2503.21576  [pdf, ps, other

    math.PR cs.LO math.CT math.ST

    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

    Submitted 27 March, 2025; originally announced March 2025.

    Comments: 54 pages

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

  2. arXiv:2503.08943  [pdf, other

    physics.plasm-ph

    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

    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)

  3. arXiv:2411.12840  [pdf, other

    math.ST cs.LO math.CT math.PR

    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

    Submitted 19 November, 2024; originally announced November 2024.

    Comments: 39 pages

  4. arXiv:2411.05697  [pdf, other

    eess.IV cs.DC cs.LG

    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

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

    Comments: This paper has been accepted to ISBI 2025

  5. arXiv:2410.22530  [pdf, other

    eess.IV cs.CV cs.DC

    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

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

    Comments: This paper has been accepted to ISBI 2025

  6. arXiv:2407.00164  [pdf, other

    quant-ph math-ph

    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

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

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

  7. 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

    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)

  8. arXiv:2406.16607  [pdf, other

    cs.CC cs.FL math-ph

    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

    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"

  9. arXiv:2406.00717  [pdf, ps, other

    quant-ph

    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

    Submitted 2 June, 2024; originally announced June 2024.

    Comments: 34 pages

  10. arXiv:2405.12367  [pdf, other

    eess.IV cs.CV

    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

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

    Comments: Peer-reviewer version

  11. arXiv:2309.05857  [pdf, other

    eess.IV cs.CV

    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

    Submitted 11 September, 2023; originally announced September 2023.

    Comments: 10 pages, MICCAI MLMI 2023

  12. arXiv:2308.00651  [pdf, ps, other

    math.PR cs.LO math.CT

    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

    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

  13. arXiv:2307.06851  [pdf, other

    cs.CC cs.FL cs.LO math-ph

    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

    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

  14. arXiv:2211.02507  [pdf, ps, other

    math.CT cs.IT cs.LO math.PR

    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

    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)

  15. arXiv:2112.02349  [pdf, other

    quant-ph cs.LO

    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

    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

  16. arXiv:2106.06622  [pdf, other

    physics.ins-det astro-ph.IM hep-ex

    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

    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]

  17. arXiv:2105.02639  [pdf, ps, other

    math.PR cs.LO math.CT math.ST

    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

    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)

  18. arXiv:2010.07416  [pdf, ps, other

    math.ST cs.LO math.CT math.PR

    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

    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)

  19. arXiv:2006.02506  [pdf, other

    physics.ins-det hep-ex

    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

    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)

  20. 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

    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

  21. arXiv:1910.09124  [pdf, other

    physics.ins-det astro-ph.IM hep-ex

    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

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

  22. 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

    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