Showing 1–50 of 174 results for author: Schweitzer, P

Interval Graphs are Reconstructible

Authors: Irene Heinrich, Masashi Kiyomi, Yota Otachi, Pascal Schweitzer

Abstract: A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs with at least three vertices are reconstructible. For this purpose we develop a technique to handle separations in the context of reconstruction. This resolves… ▽ More A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs with at least three vertices are reconstructible. For this purpose we develop a technique to handle separations in the context of reconstruction. This resolves a major roadblock to using graph structure theory in the context of reconstruction. To apply our novel technique, we also develop a resilient combinatorial structure theory for interval graphs. A consequence of our result is that interval graphs can be reconstructed in polynomial time. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 40 pages, 1 figure

MSC Class: 68R10; 68Q25 ACM Class: F.2.2; G.2.2

How to Unfold Top Decays

Authors: Luigi Favaro, Roman Kogler, Alexander Paasch, Sofia Palacios Schweitzer, Tilman Plehn, Dennis Schwarz

Abstract: Using unfolded top-quark decay data we can measure the top quark mass, as well as search for unexpected kinematic effects. We show how generative unfolding enables both tasks and how both benefit from unbinned,high-dimensional unfolding. Our method includes an unbiasing step with respect to the training data and promises significant advantages over standard methods, in terms of flexibility and pre… ▽ More Using unfolded top-quark decay data we can measure the top quark mass, as well as search for unexpected kinematic effects. We show how generative unfolding enables both tasks and how both benefit from unbinned,high-dimensional unfolding. Our method includes an unbiasing step with respect to the training data and promises significant advantages over standard methods, in terms of flexibility and precision. △ Less

Submitted 5 February, 2025; v1 submitted 21 January, 2025; originally announced January 2025.

Report number: DESY-25-012

Pressure inside hadrons: criticism, conjectures, and all that

Authors: Cédric Lorcé, Peter Schweitzer

Abstract: The interpretation of the energy-momentum tensor form factor $D(t)$ of hadrons in terms of pressure and shear force distributions is discussed, concerns raised in the literature are reviewed, and ways to reconcile the concerns with the interpretation are indicated. The interpretation of the energy-momentum tensor form factor $D(t)$ of hadrons in terms of pressure and shear force distributions is discussed, concerns raised in the literature are reviewed, and ways to reconcile the concerns with the interpretation are indicated. △ Less

Submitted 8 January, 2025; originally announced January 2025.

Comments: 28 pages, 2 figures. Submitted to Acta Physica Polonica B special volume dedicated to Dmitry Diakonov, Victor Petrov and Maxim Polyakov

Journal ref: Acta Physica Polonica B 56, 3-A17 (2025)

Finite Variable Counting Logics with Restricted Requantification

Authors: Simon Raßmann, Georg Schindling, Pascal Schweitzer

Abstract: Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula can contain, the variables can be nested within scopes of quantified occurrences of themselves. In other words, the variables can be requantified. We study the fragments obtained from counting logics by restricting requa… ▽ More Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula can contain, the variables can be nested within scopes of quantified occurrences of themselves. In other words, the variables can be requantified. We study the fragments obtained from counting logics by restricting requantification for some but not necessarily all the variables. Similar to the logics without limitation on requantification, we develop tools to investigate the restricted variants. Specifically, we introduce a bijective pebble game in which certain pebbles can only be placed once and for all, and a corresponding two-parametric family of Weisfeiler-Leman algorithms. We show close correspondences between the three concepts. By using a suitable cops-and-robber game and adaptations of the Cai-Fürer-Immerman construction, we completely clarify the relative expressive power of the new logics. We show that the restriction of requantification has beneficial algorithmic implications in terms of graph identification. Indeed, we argue that with regard to space complexity, non-requantifiable variables only incur an additive polynomial factor when testing for equivalence. In contrast, for all we know, requantifiable variables incur a multiplicative linear factor. Finally, we observe that graphs of bounded tree-depth and 3-connected planar graphs can be identified using no, respectively, only a very limited number of requantifiable variables. △ Less

Submitted 11 November, 2024; originally announced November 2024.

Generative Unfolding with Distribution Mapping

Authors: Anja Butter, Sascha Diefenbacher, Nathan Huetsch, Vinicius Mikuni, Benjamin Nachman, Sofia Palacios Schweitzer, Tilman Plehn

Abstract: Machine learning enables unbinned, highly-differential cross section measurements. A recent idea uses generative models to morph a starting simulation into the unfolded data. We show how to extend two morphing techniques, Schrödinger Bridges and Direct Diffusion, in order to ensure that the models learn the correct conditional probabilities. This brings distribution mapping to a similar level of a… ▽ More Machine learning enables unbinned, highly-differential cross section measurements. A recent idea uses generative models to morph a starting simulation into the unfolded data. We show how to extend two morphing techniques, Schrödinger Bridges and Direct Diffusion, in order to ensure that the models learn the correct conditional probabilities. This brings distribution mapping to a similar level of accuracy as the state-of-the-art conditional generative unfolding methods. Numerical results are presented with a standard benchmark dataset of single jet substructure as well as for a new dataset describing a 22-dimensional phase space of Z + 2-jets. △ Less

Submitted 4 November, 2024; originally announced November 2024.

CaloChallenge 2022: A Community Challenge for Fast Calorimeter Simulation

Authors: Claudius Krause, Michele Faucci Giannelli, Gregor Kasieczka, Benjamin Nachman, Dalila Salamani, David Shih, Anna Zaborowska, Oz Amram, Kerstin Borras, Matthew R. Buckley, Erik Buhmann, Thorsten Buss, Renato Paulo Da Costa Cardoso, Anthony L. Caterini, Nadezda Chernyavskaya, Federico A. G. Corchia, Jesse C. Cresswell, Sascha Diefenbacher, Etienne Dreyer, Vijay Ekambaram, Engin Eren, Florian Ernst, Luigi Favaro, Matteo Franchini, Frank Gaede , et al. (44 additional authors not shown)

Abstract: We present the results of the "Fast Calorimeter Simulation Challenge 2022" - the CaloChallenge. We study state-of-the-art generative models on four calorimeter shower datasets of increasing dimensionality, ranging from a few hundred voxels to a few tens of thousand voxels. The 31 individual submissions span a wide range of current popular generative architectures, including Variational AutoEncoder… ▽ More We present the results of the "Fast Calorimeter Simulation Challenge 2022" - the CaloChallenge. We study state-of-the-art generative models on four calorimeter shower datasets of increasing dimensionality, ranging from a few hundred voxels to a few tens of thousand voxels. The 31 individual submissions span a wide range of current popular generative architectures, including Variational AutoEncoders (VAEs), Generative Adversarial Networks (GANs), Normalizing Flows, Diffusion models, and models based on Conditional Flow Matching. We compare all submissions in terms of quality of generated calorimeter showers, as well as shower generation time and model size. To assess the quality we use a broad range of different metrics including differences in 1-dimensional histograms of observables, KPD/FPD scores, AUCs of binary classifiers, and the log-posterior of a multiclass classifier. The results of the CaloChallenge provide the most complete and comprehensive survey of cutting-edge approaches to calorimeter fast simulation to date. In addition, our work provides a uniquely detailed perspective on the important problem of how to evaluate generative models. As such, the results presented here should be applicable for other domains that use generative AI and require fast and faithful generation of samples in a large phase space. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 204 pages, 100+ figures, 30+ tables

Report number: HEPHY-ML-24-05, FERMILAB-PUB-24-0728-CMS, TTK-24-43

Finite Vertex-colored Ultrahomogeneous Oriented Graphs

Authors: Irene Heinrich, Eda Kaja, Pascal Schweitzer

Abstract: A relational structure R is ultrahomogeneous if every isomorphism of finite induced substructures of R extends to an automorphism of R. We classify the ultrahomogeneous finite binary relational structures with one asymmetric binary relation and arbitrarily many unary relations. In other words, we classify the finite vertex-colored oriented ultrahomogeneous graphs. The classification comprises seve… ▽ More A relational structure R is ultrahomogeneous if every isomorphism of finite induced substructures of R extends to an automorphism of R. We classify the ultrahomogeneous finite binary relational structures with one asymmetric binary relation and arbitrarily many unary relations. In other words, we classify the finite vertex-colored oriented ultrahomogeneous graphs. The classification comprises several general methods with which directed graphs can be combined or extended to create new ultrahomogeneous graphs. Together with explicitly given exceptions, we obtain exactly all vertex-colored oriented ultrahomogeneous graphs this way. Our main technique is a technical tool that characterizes precisely under which conditions two binary relational structures with disjoint unary relations can be combined to form a larger ultrahomogeneous structure. △ Less

Submitted 13 August, 2024; originally announced August 2024.

Comments: 22 pages, 5 figures

MSC Class: 03C13; 05C20; 05C60; 05C75

CaloDREAM -- Detector Response Emulation via Attentive flow Matching

Authors: Luigi Favaro, Ayodele Ore, Sofia Palacios Schweitzer, Tilman Plehn

Abstract: Detector simulations are an exciting application of modern generative networks. Their sparse high-dimensional data combined with the required precision poses a serious challenge. We show how combining Conditional Flow Matching with transformer elements allows us to simulate the detector phase space reliably. Namely, we use an autoregressive transformer to simulate the energy of each layer, and a v… ▽ More Detector simulations are an exciting application of modern generative networks. Their sparse high-dimensional data combined with the required precision poses a serious challenge. We show how combining Conditional Flow Matching with transformer elements allows us to simulate the detector phase space reliably. Namely, we use an autoregressive transformer to simulate the energy of each layer, and a vision transformer for the high-dimensional voxel distributions. We show how dimension reduction via latent diffusion allows us to train more efficiently and how diffusion networks can be evaluated faster with bespoke solvers. We showcase our framework, CaloDREAM, on datasets 2 and 3 of the CaloChallenge. △ Less

Submitted 28 December, 2024; v1 submitted 15 May, 2024; originally announced May 2024.

Journal ref: SciPost Phys. 18, 088 (2025)

Chiral-odd GPDs in the bag model

Authors: Kemal Tezgin, Brean Maynard, Peter Schweitzer

Abstract: A study of chiral-odd generalized parton distributions (GPDs) of the nucleon is presented in the bag model demonstrating that in this model all four chiral-odd GPDs are non-zero contrary to other claims in literature. The bag model results for the GPDs $H_T^q(x,ξ,t)$, $E_T^q(x,ξ,t)$, $\tilde{H}_T^q(x,ξ,t)$ agree with other models within a typical quark model accuracy. We present one of the few qua… ▽ More A study of chiral-odd generalized parton distributions (GPDs) of the nucleon is presented in the bag model demonstrating that in this model all four chiral-odd GPDs are non-zero contrary to other claims in literature. The bag model results for the GPDs $H_T^q(x,ξ,t)$, $E_T^q(x,ξ,t)$, $\tilde{H}_T^q(x,ξ,t)$ agree with other models within a typical quark model accuracy. We present one of the few quark model calculations where polynomiality is satisfied and the sum rule $\int dx\,\tilde{E}_T^q(x,ξ,t)=0$ holds. We confront our results with predictions from the large-$N_c$ limit, and with lattice QCD calculations. We conclude that the bag model successfully catches the main features of chiral-odd GPDs. △ Less

Submitted 23 September, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: 21 pages, 9 figures, 2 tables v2: minor corrections, references added

Journal ref: Phys.Rev.D 110 (2024) 5, 054028

An Upper Bound on the Weisfeiler-Leman Dimension

Authors: Thomas Schneider, Pascal Schweitzer

Abstract: The Weisfeiler-Leman (WL) dimension is a standard measure in descriptive complexity theory for the structural complexity of a graph. We prove that the WL-dimension of a graph on $n$ vertices is at most $3/20 \cdot n + o(n)= 0.15 \cdot n + o(n)$. The proof develops various techniques to analyze the structure of coherent configurations. This includes sufficient conditions under which a fiber can b… ▽ More The Weisfeiler-Leman (WL) dimension is a standard measure in descriptive complexity theory for the structural complexity of a graph. We prove that the WL-dimension of a graph on $n$ vertices is at most $3/20 \cdot n + o(n)= 0.15 \cdot n + o(n)$. The proof develops various techniques to analyze the structure of coherent configurations. This includes sufficient conditions under which a fiber can be restored up to isomorphism if it is removed, a recursive proof exploiting a degree reduction and treewidth bounds, as well as an analysis of interspaces involving small fibers. As a base case, we also analyze the dimension of coherent configurations with small fiber size and thereby graphs with small color class size. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Computational complexity of the Weisfeiler-Leman dimension

Authors: Moritz Lichter, Simon Raßmann, Pascal Schweitzer

Abstract: The Weisfeiler-Leman dimension of a graph $G$ is the least number $k$ such that the $k$-dimensional Weisfeiler-Leman algorithm distinguishes $G$ from every other non-isomorphic graph. The dimension is a standard measure of the descriptive complexity of a graph and recently finds various applications in particular in the context of machine learning. In this paper, we study the computational complex… ▽ More The Weisfeiler-Leman dimension of a graph $G$ is the least number $k$ such that the $k$-dimensional Weisfeiler-Leman algorithm distinguishes $G$ from every other non-isomorphic graph. The dimension is a standard measure of the descriptive complexity of a graph and recently finds various applications in particular in the context of machine learning. In this paper, we study the computational complexity of computing the Weisfeiler-Leman dimension. We observe that in general the problem of deciding whether the Weisfeiler-Leman dimension of $G$ is at most $k$ is NP-hard. This is also true for the more restricted problem with graphs of color multiplicity at most 4. Therefore, we study parameterized versions of the problem. We give, for each fixed $k\geq 2$, a polynomial-time algorithm that decides whether the Weisfeiler-Leman dimension of a given graph of color multiplicity at most $5$ is at most $k$. Moreover, we show that for these color multiplicities this is optimal in the sense that this problem is P-hard under logspace-uniform $\text{AC}_0$-reductions. Furthermore, for each larger bound $c$ on the color classes and each fixed $k\geq 2$, we provide a polynomial-time decision algorithm for the abelian case, that is, for structures of which each color class has an abelian automorphism group. While the graph classes we consider may seem quite restrictive, graphs with $4$-bounded abelian colors include CFI-graphs and multipedes, which form the basis of almost all known hard instances and lower bounds related to the Weisfeiler-Leman algorithm. △ Less

Submitted 15 November, 2024; v1 submitted 18 February, 2024; originally announced February 2024.

Kicking it Off(-shell) with Direct Diffusion

Authors: Anja Butter, Tomas Jezo, Michael Klasen, Mathias Kuschick, Sofia Palacios Schweitzer, Tilman Plehn

Abstract: Off-shell effects in large LHC backgrounds are crucial for precision predictions and, at the same time, challenging to simulate. We present a novel method to transform high-dimensional distributions based on a diffusion neural network and use it to generate a process with off-shell kinematics from the much simpler on-shell one. Applied to a toy example of top pair production at LO we show how our… ▽ More Off-shell effects in large LHC backgrounds are crucial for precision predictions and, at the same time, challenging to simulate. We present a novel method to transform high-dimensional distributions based on a diffusion neural network and use it to generate a process with off-shell kinematics from the much simpler on-shell one. Applied to a toy example of top pair production at LO we show how our method generates off-shell configurations fast and precisely, while reproducing even challenging on-shell features. △ Less

Submitted 26 August, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Report number: MS-TP-23-51

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Authors: Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer

Abstract: The $k$-dimensional Weisfeiler-Leman ($k$-WL) algorithm is a simple combinatorial algorithm that was originally designed as a graph isomorphism heuristic. It naturally finds applications in Babai's quasipolynomial time isomorphism algorithm, practical isomorphism solvers, and algebraic graph theory. However, it also has surprising connections to other areas such as logic, proof complexity, combina… ▽ More The $k$-dimensional Weisfeiler-Leman ($k$-WL) algorithm is a simple combinatorial algorithm that was originally designed as a graph isomorphism heuristic. It naturally finds applications in Babai's quasipolynomial time isomorphism algorithm, practical isomorphism solvers, and algebraic graph theory. However, it also has surprising connections to other areas such as logic, proof complexity, combinatorial optimization, and machine learning. The algorithm iteratively computes a coloring of the $k$-tuples of vertices of a graph. Since Fürer's linear lower bound [ICALP 2001], it has been an open question whether there is a super-linear lower bound for the iteration number for $k$-WL on graphs. We answer this question affirmatively, establishing an $Ω(n^{k/2})$-lower bound for all $k$. △ Less

Submitted 27 January, 2025; v1 submitted 23 August, 2023; originally announced August 2023.

Comments: 26 pages, 5 figures, full version of a paper accepted at FOCS 2023 v2: fixed mistake in the definition of a compression (Definition 7)

Exploration of graphs with excluded minors

Authors: Julia Baligacs, Yann Disser, Irene Heinrich, Pascal Schweitzer

Abstract: We study the online graph exploration problem proposed by Kalyanasundaram and Pruhs (1994) and prove a constant competitive ratio on minor-free graphs. This result encompasses and significantly extends the graph classes that were previously known to admit a constant competitive ratio. The main ingredient of our proof is that we find a connection between the performance of the particular exploratio… ▽ More We study the online graph exploration problem proposed by Kalyanasundaram and Pruhs (1994) and prove a constant competitive ratio on minor-free graphs. This result encompasses and significantly extends the graph classes that were previously known to admit a constant competitive ratio. The main ingredient of our proof is that we find a connection between the performance of the particular exploration algorithm Blocking and the existence of light spanners. Conversely, we exploit this connection to construct light spanners of bounded genus graphs. In particular, we achieve a lightness that improves on the best known upper bound for genus g>0 and recovers the known tight bound for the planar case (g=0). △ Less

Submitted 13 August, 2023; originally announced August 2023.

Comments: to appear at ESA 2023

Strong Interaction Physics at the Luminosity Frontier with 22 GeV Electrons at Jefferson Lab

Authors: A. Accardi, P. Achenbach, D. Adhikari, A. Afanasev, C. S. Akondi, N. Akopov, M. Albaladejo, H. Albataineh, M. Albrecht, B. Almeida-Zamora, M. Amaryan, D. Androić, W. Armstrong, D. S. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, A. Austregesilo, H. Avagyan, T. Averett, C. Ayerbe Gayoso, A. Bacchetta, A. B. Balantekin, N. Baltzell, L. Barion , et al. (419 additional authors not shown)

Abstract: This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron… ▽ More This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron beams, CEBAF's potential for a higher energy upgrade presents a unique opportunity for an innovative nuclear physics program, which seamlessly integrates a rich historical background with a promising future. The proposed physics program encompass a diverse range of investigations centered around the nonperturbative dynamics inherent in hadron structure and the exploration of strongly interacting systems. It builds upon the exceptional capabilities of CEBAF in high-luminosity operations, the availability of existing or planned Hall equipment, and recent advancements in accelerator technology. The proposed program cover various scientific topics, including Hadron Spectroscopy, Partonic Structure and Spin, Hadronization and Transverse Momentum, Spatial Structure, Mechanical Properties, Form Factors and Emergent Hadron Mass, Hadron-Quark Transition, and Nuclear Dynamics at Extreme Conditions, as well as QCD Confinement and Fundamental Symmetries. Each topic highlights the key measurements achievable at a 22 GeV CEBAF accelerator. Furthermore, this document outlines the significant physics outcomes and unique aspects of these programs that distinguish them from other existing or planned facilities. In summary, this document provides an exciting rationale for the energy upgrade of CEBAF to 22 GeV, outlining the transformative scientific potential that lies within reach, and the remarkable opportunities it offers for advancing our understanding of hadron physics and related fundamental phenomena. △ Less

Submitted 24 August, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: Updates to the list of authors; Preprint number changed from theory to experiment; Updates to sections 4 and 6, including additional figures

Report number: JLAB-PHY-23-3840

Algorithms Transcending the SAT-Symmetry Interface

Authors: Markus Anders, Pascal Schweitzer, Mate Soos

Abstract: Dedicated treatment of symmetries in satisfiability problems (SAT) is indispensable for solving various classes of instances arising in practice. However, the exploitation of symmetries usually takes a black box approach. Typically, off-the-shelf external, general-purpose symmetry detection tools are invoked to compute symmetry groups of a formula. The groups thus generated are a set of permutatio… ▽ More Dedicated treatment of symmetries in satisfiability problems (SAT) is indispensable for solving various classes of instances arising in practice. However, the exploitation of symmetries usually takes a black box approach. Typically, off-the-shelf external, general-purpose symmetry detection tools are invoked to compute symmetry groups of a formula. The groups thus generated are a set of permutations passed to a separate tool to perform further analyzes to understand the structure of the groups. The result of this second computation is in turn used for tasks such as static symmetry breaking or dynamic pruning of the search space. Within this pipeline of tools, the detection and analysis of symmetries typically incurs the majority of the time overhead for symmetry exploitation. In this paper we advocate for a more holistic view of what we call the SAT-symmetry interface. We formulate a computational setting, centered around a new concept of joint graph/group pairs, to analyze and improve the detection and analysis of symmetries. Using our methods, no information is lost performing computational tasks lying on the SAT-symmetry interface. Having access to the entire input allows for simpler, yet efficient algorithms. Specifically, we devise algorithms and heuristics for computing finest direct disjoint decompositions, finding equivalent orbits, and finding natural symmetric group actions. Our algorithms run in what we call instance-quasi-linear time, i.e., almost linear time in terms of the input size of the original formula and the description length of the symmetry group returned by symmetry detection tools. Our algorithms improve over both heuristics used in state-of-the-art symmetry exploitation tools, as well as theoretical general-purpose algorithms. △ Less

Submitted 1 January, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: appeared at SAT 2023; second version corrects some minor inaccuracies

MSC Class: 68W01

The case for an EIC Theory Alliance: Theoretical Challenges of the EIC

Authors: Raktim Abir, Igor Akushevich, Tolga Altinoluk, Daniele Paolo Anderle, Fatma P. Aslan, Alessandro Bacchetta, Baha Balantekin, Joao Barata, Marco Battaglieri, Carlos A. Bertulani, Guillaume Beuf, Chiara Bissolotti, Daniël Boer, M. Boglione, Radja Boughezal, Eric Braaten, Nora Brambilla, Vladimir Braun, Duane Byer, Francesco Giovanni Celiberto, Yang-Ting Chien, Ian C. Cloët, Martha Constantinou, Wim Cosyn, Aurore Courtoy , et al. (146 additional authors not shown)

Abstract: We outline the physics opportunities provided by the Electron Ion Collider (EIC). These include the study of the parton structure of the nucleon and nuclei, the onset of gluon saturation, the production of jets and heavy flavor, hadron spectroscopy and tests of fundamental symmetries. We review the present status and future challenges in EIC theory that have to be addressed in order to realize thi… ▽ More We outline the physics opportunities provided by the Electron Ion Collider (EIC). These include the study of the parton structure of the nucleon and nuclei, the onset of gluon saturation, the production of jets and heavy flavor, hadron spectroscopy and tests of fundamental symmetries. We review the present status and future challenges in EIC theory that have to be addressed in order to realize this ambitious and impactful physics program, including how to engage a diverse and inclusive workforce. In order to address these many-fold challenges, we propose a coordinated effort involving theory groups with differing expertise is needed. We discuss the scientific goals and scope of such an EIC Theory Alliance. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: 44 pages, ReVTeX, White Paper on EIC Theory Alliance

Jet Diffusion versus JetGPT -- Modern Networks for the LHC

Authors: Anja Butter, Nathan Huetsch, Sofia Palacios Schweitzer, Tilman Plehn, Peter Sorrenson, Jonas Spinner

Abstract: We introduce two diffusion models and an autoregressive transformer for LHC physics simulations. Bayesian versions allow us to control the networks and capture training uncertainties. After illustrating their different density estimation methods for simple toy models, we discuss their advantages for Z plus jets event generation. While diffusion networks excel through their precision, the transform… ▽ More We introduce two diffusion models and an autoregressive transformer for LHC physics simulations. Bayesian versions allow us to control the networks and capture training uncertainties. After illustrating their different density estimation methods for simple toy models, we discuss their advantages for Z plus jets event generation. While diffusion networks excel through their precision, the transformer scales best with the phase space dimensionality. Given the different training and evaluation speed, we expect LHC physics to benefit from dedicated use cases for normalizing flows, diffusion models, and autoregressive transformers. △ Less

Submitted 19 November, 2024; v1 submitted 17 May, 2023; originally announced May 2023.

Comments: 37 pages, 18 figures. v2: added appendix A, fixed typos

Journal ref: SciPost Phys. Core 8, 026 (2025)

TMD Handbook

Authors: Renaud Boussarie, Matthias Burkardt, Martha Constantinou, William Detmold, Markus Ebert, Michael Engelhardt, Sean Fleming, Leonard Gamberg, Xiangdong Ji, Zhong-Bo Kang, Christopher Lee, Keh-Fei Liu, Simonetta Liuti, Thomas Mehen, Andreas Metz, John Negele, Daniel Pitonyak, Alexei Prokudin, Jian-Wei Qiu, Abha Rajan, Marc Schlegel, Phiala Shanahan, Peter Schweitzer, Iain W. Stewart, Andrey Tarasov , et al. (4 additional authors not shown)

Abstract: This handbook provides a comprehensive review of transverse-momentum-dependent parton distribution functions and fragmentation functions, commonly referred to as transverse momentum distributions (TMDs). TMDs describe the distribution of partons inside the proton and other hadrons with respect to both their longitudinal and transverse momenta. They provide unique insight into the internal momentum… ▽ More This handbook provides a comprehensive review of transverse-momentum-dependent parton distribution functions and fragmentation functions, commonly referred to as transverse momentum distributions (TMDs). TMDs describe the distribution of partons inside the proton and other hadrons with respect to both their longitudinal and transverse momenta. They provide unique insight into the internal momentum and spin structure of hadrons, and are a key ingredient in the description of many collider physics cross sections. Understanding TMDs requires a combination of theoretical techniques from quantum field theory, nonperturbative calculations using lattice QCD, and phenomenological analysis of experimental data. The handbook covers a wide range of topics, from theoretical foundations to experimental analyses, as well as recent developments and future directions. It is intended to provide an essential reference for researchers and graduate students interested in understanding the structure of hadrons and the dynamics of partons in high energy collisions. △ Less

Submitted 6 April, 2023; originally announced April 2023.

Comments: 471 pages, many figures

Report number: JLAB-THY-23-3780, LA-UR-21-20798, MIT-CTP/5386

Exactly solvable models of nonlinear extensions of the Schrödinger equation

Authors: Tom Dodge, Peter Schweitzer

Abstract: A method is presented to construct exactly solvable nonlinear extensions of the Schrödinger equation. The method explores a correspondence which can be established under certain conditions between exactly solvable ordinary Schrödinger equations and exactly solvable nonlinear theories. We provide several examples illustrating the method. We rederive well-known soliton solutions and find new exactly… ▽ More A method is presented to construct exactly solvable nonlinear extensions of the Schrödinger equation. The method explores a correspondence which can be established under certain conditions between exactly solvable ordinary Schrödinger equations and exactly solvable nonlinear theories. We provide several examples illustrating the method. We rederive well-known soliton solutions and find new exactly solvable nonlinear theories in various space dimensions which, to the best of our knowledge, have not yet been discussed in literature. Our method can be used to construct further nonlinear theories and generalized to relativistic soliton theories, and may have many applications. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 14 pages, 7 figures

Colloquium: Gravitational Form Factors of the Proton

Authors: V. D. Burkert, L. Elouadrhiri, F. X. Girod, C. Lorce, P. Schweitzer, P. E. Shanahan

Abstract: The physics of the gravitational form factors of the proton, and their understanding within quantum chromodynamics, has advanced significantly in the past two decades through both theory and experiment. This Colloquium provides an overview of this progress, highlights the physical insights unveiled by studies of gravitational form factors, and reviews their interpretation in terms of the mechanica… ▽ More The physics of the gravitational form factors of the proton, and their understanding within quantum chromodynamics, has advanced significantly in the past two decades through both theory and experiment. This Colloquium provides an overview of this progress, highlights the physical insights unveiled by studies of gravitational form factors, and reviews their interpretation in terms of the mechanical properties of the proton. △ Less

Submitted 16 January, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 22 pages, 15 figures

Engineering a Preprocessor for Symmetry Detection

Authors: Markus Anders, Pascal Schweitzer, Julian Stieß

Abstract: State-of-the-art solvers for symmetry detection in combinatorial objects are becoming increasingly sophisticated software libraries. Most of the solvers were initially designed with inputs from combinatorics in mind (nauty, bliss, Traces, dejavu). They excel at dealing with a complicated core of the input. Others focus on practical instances that exhibit sparsity. They excel at dealing with compar… ▽ More State-of-the-art solvers for symmetry detection in combinatorial objects are becoming increasingly sophisticated software libraries. Most of the solvers were initially designed with inputs from combinatorics in mind (nauty, bliss, Traces, dejavu). They excel at dealing with a complicated core of the input. Others focus on practical instances that exhibit sparsity. They excel at dealing with comparatively easy but extremely large substructures of the input (saucy). In practice, these differences manifest in significantly diverging performances on different types of graph classes. We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph. On most of the practical instances, the overall running time improves significantly for many of the state-of-the-art solvers. At the same time, our benchmarks show that the additional overhead is negligible. Overall we obtain single algorithms with competitive performance across all benchmark graphs. As such the preprocessor bridges the disparity between solvers that focus on combinatorial graphs and large practical graphs. In fact, on most of the practical instances the combined setup significantly outperforms previous state-of-the-art. △ Less

Submitted 13 February, 2023; originally announced February 2023.

MSC Class: 68W20 ACM Class: G.2.2

Quark-model relations among TMDs in the parton model

Authors: F. Aslan, S. Bastami, A. Mahabir, A. Tandogan, P. Schweitzer

Abstract: The covariant parton model (CPM) is a consequent application of the parton model concept to the nucleon structure. In this model, there is a choice to put quarks either in a pure-spin state or in a mixed-spin state. We show that the mixed-spin version of the CPM does not support the quark-model relations among transverse momentum dependent parton distributions (TMDs) which were shown to hold in a… ▽ More The covariant parton model (CPM) is a consequent application of the parton model concept to the nucleon structure. In this model, there is a choice to put quarks either in a pure-spin state or in a mixed-spin state. We show that the mixed-spin version of the CPM does not support the quark-model relations among transverse momentum dependent parton distributions (TMDs) which were shown to hold in a large class of quark models. One can enforce the quark-model relations to be valid in the CPM by imposing a condition which is equivalent to putting the quarks in a pure-spin state. This gives a complementary perspective on the connection of the pure- and mixed-spin state CPM versions, and provides a fresh view on the question whether the quark-model relations could be realized in QCD as "approximate relations" with some useful numerical accuracy. △ Less

Submitted 7 September, 2022; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: v1: 10 pages. v2: reformatted, 11 pages

Journal ref: Phys. Rev. D 106 (2022) 096010

CORE -- a COmpact detectoR for the EIC

Authors: CORE Collaboration, R. Alarcon, M. Baker, V. Baturin, P. Brindza, S. Bueltmann, M. Bukhari, R. Capobianco, E. Christy, S. Diehl, M. Dugger, R. Dupré, R. Dzhygadlo, K. Flood, K. Gnanvo, L. Guo, T. Hayward, M. Hattawy, M. Hoballah, M. Hohlmann, C. E. Hyde, Y. Ilieva, W. W. Jacobs, K. Joo, G. Kalicy , et al. (34 additional authors not shown)

Abstract: The COmpact detectoR for the Eic (CORE) Proposal was submitted to the EIC "Call for Collaboration Proposals for Detectors". CORE comprehensively covers the physics scope of the EIC Community White Paper and the National Academies of Science 2018 report. The design exploits advances in detector precision and granularity to minimize size. The central detector includes a 3Tesla, 2.5m solenoid. Tracki… ▽ More The COmpact detectoR for the Eic (CORE) Proposal was submitted to the EIC "Call for Collaboration Proposals for Detectors". CORE comprehensively covers the physics scope of the EIC Community White Paper and the National Academies of Science 2018 report. The design exploits advances in detector precision and granularity to minimize size. The central detector includes a 3Tesla, 2.5m solenoid. Tracking is primarily silicon. Electromagnetic calorimetry is based on the high performance crystals. Ring-imaging Cherenkov detectors provide hadronic particle identification. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Comments: Contact authors: C.E. Hyde, [email protected] and P. Nadel-Turonski, [email protected]

Visualization of internal forces inside the proton in a classical relativistic model

Authors: Mira Varma, Peter Schweitzer

Abstract: A classical model of a stable particle of finite size is studied. The model parameters can be chosen such that the described particle has the mass and radius of a proton. Using the energy-momentum tensor (EMT), we show how the presence of long-range forces alters some notions taken for granted in short-range systems. We focus our attention on the D-term form factor. The important conclusion is tha… ▽ More A classical model of a stable particle of finite size is studied. The model parameters can be chosen such that the described particle has the mass and radius of a proton. Using the energy-momentum tensor (EMT), we show how the presence of long-range forces alters some notions taken for granted in short-range systems. We focus our attention on the D-term form factor. The important conclusion is that a more careful definition of the D-term may be required when long-range forces are present. △ Less

Submitted 16 June, 2022; originally announced June 2022.

Comments: 4 pages, 3 figures, presented by M.V. at the 19th International Conference on Hadron Spectroscopy and Structure (HADRON 2021), Mexico City, July 26-31, 2021

Journal ref: Supl. Rev. Mex. Fis., 3 (2022) 0308090

Parton model description of quark and antiquark correlators and TMDs

Authors: Fatma Aslan, Saman Bastami, Peter Schweitzer

Abstract: Model studies play an important role for the understanding and elucidation of the nonperturbative properties of transverse momentum dependent parton distribution functions (TMDs). The parton model is often a helpful framework and starting point for first explorations of TMD properties and the description of deep-inelastic processes in which TMDs can be accessed. Based on a systematic exploration o… ▽ More Model studies play an important role for the understanding and elucidation of the nonperturbative properties of transverse momentum dependent parton distribution functions (TMDs). The parton model is often a helpful framework and starting point for first explorations of TMD properties and the description of deep-inelastic processes in which TMDs can be accessed. Based on a systematic exploration of the parton model concept, we reconcile the claims in literature that there are 2 independent structures in the quark correlator in the parton model vs the claim that there are 3, and explain the underlying assumptions leading to the different conclusions. We also systematically explore the antiquark correlator and, to the best of our knowledge, for the first time derive the model expressions for all T-even leading and subleading antiquark TMDs. We demonstrate the consistency of the framework which can be generalized in future studies for more sophisticated TMD modelling. △ Less

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

Comments: Reviewed version. No major changes

Journal ref: Nucl. Phys. B 984 (2022) 115947

Choiceless Polynomial Time with Witnessed Symmetric Choice

Authors: Moritz Lichter, Pascal Schweitzer

Abstract: We extend Choiceless Polynomial Time (CPT), the currently only remaining promising candidate in the quest for a logic capturing PTime, so that this extended logic has the following property: for every class of structures for which isomorphism is definable, the logic automatically captures PTime. For the construction of this logic we extend CPT by a witnessed symmetric choice operator. This opera… ▽ More We extend Choiceless Polynomial Time (CPT), the currently only remaining promising candidate in the quest for a logic capturing PTime, so that this extended logic has the following property: for every class of structures for which isomorphism is definable, the logic automatically captures PTime. For the construction of this logic we extend CPT by a witnessed symmetric choice operator. This operator allows for choices from definable orbits. But, to ensure polynomial time evaluation, automorphisms have to be provided to certify that the choice set is indeed an orbit. We argue that, in this logic, definable isomorphism implies definable canonization. Thereby, our construction removes the non-trivial step of extending isomorphism definability results to canonization. This step was a part of proofs that show that CPT or other logics capture PTime on a particular class of structures. The step typically required substantial extra effort. △ Less

Submitted 10 February, 2023; v1 submitted 27 May, 2022; originally announced May 2022.

Comments: 78 pages, 6 figures. Full version of a paper appeared at LICS 22. [v2] Corrected typos and small mistakes. [v3] Extended proofs and added figures

Snowmass 2021 White Paper: Electron Ion Collider for High Energy Physics

Authors: R. Abdul Khalek, U. D'Alesio, M. Arratia, A. Bacchetta, M. Battaglieri, M. Begel, M. Boglione, R. Boughezal, R. Boussarie, G. Bozzi, S. V. Chekanov, F. G. Celiberto, G. Chirilli, T. Cridge, R. Cruz-Torres, R. Corliss, C. Cotton, H. Davoudiasl, A. Deshpande, X. Dong, A. Emmert, S. Fazio, S. Forte, Y. Furletova, C. Gal , et al. (83 additional authors not shown)

Abstract: Electron Ion Collider (EIC) is a particle accelerator facility planned for construction at Brookhaven National Laboratory on Long Island, New York by the United States Department of Energy. EIC will provide capabilities of colliding beams of polarized electrons with polarized beams of proton and light ions. EIC will be one of the largest and most sophisticated new accelerator facilities worldwide,… ▽ More Electron Ion Collider (EIC) is a particle accelerator facility planned for construction at Brookhaven National Laboratory on Long Island, New York by the United States Department of Energy. EIC will provide capabilities of colliding beams of polarized electrons with polarized beams of proton and light ions. EIC will be one of the largest and most sophisticated new accelerator facilities worldwide, and the only new large-scale accelerator facility planned for construction in the United States in the next few decades. The versatility, resolving power and intensity of EIC will present many new opportunities to address some of the crucial and fundamental open scientific questions in particle physics. This document provides an overview of the science case of EIC from the perspective of the high energy physics community. △ Less

Submitted 17 October, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: Submitted to the Proceedings of the US Community Study on the Future of Particle Physics (Snowmass 2021)

2D energy-momentum tensor distributions of nucleon in a large-$N_c$ quark model from ultra-relativistic to non-relativistic limit

Authors: Cédric Lorcé, Peter Schweitzer, Kemal Tezgin

Abstract: Form factors of the energy-momentum tensor (EMT) can be interpreted in certain frames in terms of spatial distributions of energy, stress, linear and angular momentum, based on 2D or 3D Fourier transforms. This interpretation is in general subject to "relativistic recoil corrections", except when the nucleon moves at the speed of light like e.g. in the infinite-momentum frame. We show that it is p… ▽ More Form factors of the energy-momentum tensor (EMT) can be interpreted in certain frames in terms of spatial distributions of energy, stress, linear and angular momentum, based on 2D or 3D Fourier transforms. This interpretation is in general subject to "relativistic recoil corrections", except when the nucleon moves at the speed of light like e.g. in the infinite-momentum frame. We show that it is possible to formulate a large-$N_c$ limit in which the probabilistic interpretation of the nucleon EMT distributions holds also in other frames. We use the bag model formulated in the large-$N_c$ limit as an internally consistent quark model framework to visualize the information content associated with the 2D EMT distributions. In order to provide more intuition, we present results in the physical situation and in three different limits: by considering a heavy-quark limit, a large system-size limit and a constituent-quark limit. The visualizations of the distributions in these extreme limits will help to interpret the results from experiments, lattice QCD, and other models or effective theories. △ Less

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

Comments: Published version

Journal ref: Phys. Rev. D 106 (2022) 1, 014012

A systematic approach to random data augmentation on graph neural networks

Authors: Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer

Abstract: Random data augmentations (RDAs) are state of the art regarding practical graph neural networks that are provably universal. There is great diversity regarding terminology, methodology, benchmarks, and evaluation metrics used among existing RDAs. Not only does this make it increasingly difficult for practitioners to decide which technique to apply to a given problem, but it also stands in the way… ▽ More Random data augmentations (RDAs) are state of the art regarding practical graph neural networks that are provably universal. There is great diversity regarding terminology, methodology, benchmarks, and evaluation metrics used among existing RDAs. Not only does this make it increasingly difficult for practitioners to decide which technique to apply to a given problem, but it also stands in the way of systematic improvements. We propose a new comprehensive framework that captures all previous RDA techniques. On the theoretical side, among other results, we formally prove that under natural conditions all instantiations of our framework are universal. On the practical side, we develop a method to systematically and automatically train RDAs. This in turn enables us to impartially and objectively compare all existing RDAs. New RDAs naturally emerge from our approach, and our experiments demonstrate that they improve the state of the art. △ Less

Submitted 21 March, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension

Authors: Jendrik Brachter, Pascal Schweitzer

Abstract: We investigate the relationship between various isomorphism invariants for finite groups. Specifically, we use the Weisfeiler-Leman dimension (WL) to characterize, compare and quantify the effectiveness and complexity of invariants for group isomorphism. It turns out that a surprising number of invariants and characteristic subgroups that are classic to group theory can be detected and identifie… ▽ More We investigate the relationship between various isomorphism invariants for finite groups. Specifically, we use the Weisfeiler-Leman dimension (WL) to characterize, compare and quantify the effectiveness and complexity of invariants for group isomorphism. It turns out that a surprising number of invariants and characteristic subgroups that are classic to group theory can be detected and identified by a low dimensional Weisfeiler-Leman algorithm. These include the center, the inner automorphism group, the commutator subgroup and the derived series, the abelian radical, the solvable radical, the Fitting group and $π$-radicals. A low dimensional WL algorithm additionally determines the isomorphism type of the socle as well as the factors in the derived series and the upper and lower central series. We also analyze the behavior of the WL algorithm for group extensions and prove that a low dimensional WL algorithm determines the isomorphism types of the composition factors of a group. Finally we develop a new tool to define a canonical maximal central decomposition for groups. This allows us to show that the Weisfeiler-Leman dimension of a group is at most one larger than the dimensions of its direct indecomposable factors. In other words the Weisfeiler-Leman dimension increases by at most 1 when taking direct products. △ Less

Submitted 23 November, 2021; originally announced November 2021.

A Characterization of Individualization-Refinement Trees

Authors: Markus Anders, Jendrik Brachter, Pascal Schweitzer

Abstract: Individualization-Refinement (IR) algorithms form the standard method and currently the only practical method for symmetry computations of graphs and combinatorial objects in general. Through backtracking, on each graph an IR-algorithm implicitly creates an IR-tree whose order is the determining factor of the running time of the algorithm. We give a precise and constructive characterization whic… ▽ More Individualization-Refinement (IR) algorithms form the standard method and currently the only practical method for symmetry computations of graphs and combinatorial objects in general. Through backtracking, on each graph an IR-algorithm implicitly creates an IR-tree whose order is the determining factor of the running time of the algorithm. We give a precise and constructive characterization which trees are IR-trees. This characterization is applicable both when the tree is regarded as an uncolored object but also when regarded as a colored object where vertex colors stem from a node invariant. We also provide a construction that given a tree produces a corresponding graph whenever possible. This provides a constructive proof that our necessary conditions are also sufficient for the characterization. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: to appear at ISAAC 2021

MSC Class: 05C75 ACM Class: F.2.2; G.2.2

Parallel Computation of Combinatorial Symmetries

Authors: Markus Anders, Pascal Schweitzer

Abstract: In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the automorphism group of the constructed graph. Such solvers have been developed for over 50 years, and highly efficient sequential, single core tools are available… ▽ More In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the automorphism group of the constructed graph. Such solvers have been developed for over 50 years, and highly efficient sequential, single core tools are available. However no competitive parallel tools are available for the task. We introduce a new parallel randomized algorithm that is based on a modification of the individualization-refinement paradigm used by sequential solvers. The use of randomization crucially enables parallelization. We report extensive benchmark results that show that our solver is competitive to state-of-the-art solvers on a single thread, while scaling remarkably well with the use of more threads. This results in order-of-magnitude improvements on many graph classes over state-of-the-art solvers. In fact, our tool is the first parallel graph automorphism tool that outperforms current sequential tools. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: ESA 2021

MSC Class: 68W20 ACM Class: G.2.2

Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case

Authors: Markus Anders, Pascal Schweitzer, Florian Wetzels

Abstract: Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra. While tight lower bounds for the worst case complexity are known [Berkholz, Bonsma, Grohe, ESA2013] no comparative analysis of design choices for color refinement algorithms is available. We devise two model… ▽ More Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra. While tight lower bounds for the worst case complexity are known [Berkholz, Bonsma, Grohe, ESA2013] no comparative analysis of design choices for color refinement algorithms is available. We devise two models within which we can compare color refinement algorithms using formal methods, an online model and an approximation model. We use these to show that no online algorithm is competitive beyond a logarithmic factor and no algorithm can approximate the optimal color refinement splitting scheme beyond a logarithmic factor. We also directly compare strategies used in practice showing that, on some graphs, queue based strategies outperform stack based ones by a logarithmic factor and vice versa. Similar results hold for strategies based on priority queues. △ Less

Submitted 18 March, 2021; originally announced March 2021.

MSC Class: 05C85; 68W27; 68Q25 ACM Class: F.2.2; G.2.2

Science Requirements and Detector Concepts for the Electron-Ion Collider: EIC Yellow Report

Authors: R. Abdul Khalek, A. Accardi, J. Adam, D. Adamiak, W. Akers, M. Albaladejo, A. Al-bataineh, M. G. Alexeev, F. Ameli, P. Antonioli, N. Armesto, W. R. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, M. Asai, E. C. Aschenauer, S. Aune, H. Avagyan, C. Ayerbe Gayoso, B. Azmoun, A. Bacchetta, M. D. Baker, F. Barbosa, L. Barion , et al. (390 additional authors not shown)

Abstract: This report describes the physics case, the resulting detector requirements, and the evolving detector concepts for the experimental program at the Electron-Ion Collider (EIC). The EIC will be a powerful new high-luminosity facility in the United States with the capability to collide high-energy electron beams with high-energy proton and ion beams, providing access to those regions in the nucleon… ▽ More This report describes the physics case, the resulting detector requirements, and the evolving detector concepts for the experimental program at the Electron-Ion Collider (EIC). The EIC will be a powerful new high-luminosity facility in the United States with the capability to collide high-energy electron beams with high-energy proton and ion beams, providing access to those regions in the nucleon and nuclei where their structure is dominated by gluons. Moreover, polarized beams in the EIC will give unprecedented access to the spatial and spin structure of the proton, neutron, and light ions. The studies leading to this document were commissioned and organized by the EIC User Group with the objective of advancing the state and detail of the physics program and developing detector concepts that meet the emerging requirements in preparation for the realization of the EIC. The effort aims to provide the basis for further development of concepts for experimental equipment best suited for the science needs, including the importance of two complementary detectors and interaction regions. This report consists of three volumes. Volume I is an executive summary of our findings and developed concepts. In Volume II we describe studies of a wide range of physics measurements and the emerging requirements on detector acceptance and performance. Volume III discusses general-purpose detector concepts and the underlying technologies to meet the physics requirements. These considerations will form the basis for a world-class experimental program that aims to increase our understanding of the fundamental structure of all visible matter △ Less

Submitted 26 October, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 902 pages, 415 authors, 151 institutions

Report number: BNL-220990-2021-FORE, JLAB-PHY-21-3198, LA-UR-21-20953

Journal ref: Nucl. Phys. A 1026 (2022) 122447

Resolution with Symmetry Rule applied to Linear Equations

Authors: Pascal Schweitzer, Constantin Seebach

Abstract: This paper considers the length of resolution proofs when using Krishnamurthy's classic symmetry rules. We show that inconsistent linear equation systems of bounded width over a fixed finite field $\mathbb{F}_p$ with $p$ a prime have, in their standard encoding as CNFs, polynomial length resolutions when using the local symmetry rule (SRC-II). As a consequence it follows that the multipede insta… ▽ More This paper considers the length of resolution proofs when using Krishnamurthy's classic symmetry rules. We show that inconsistent linear equation systems of bounded width over a fixed finite field $\mathbb{F}_p$ with $p$ a prime have, in their standard encoding as CNFs, polynomial length resolutions when using the local symmetry rule (SRC-II). As a consequence it follows that the multipede instances for the graph isomorphism problem encoded as CNF formula have polynomial length resolution proofs. This contrasts exponential lower bounds for individualization-refinement algorithms on these graphs. For the Cai-Fürer-Immerman graphs, for which Torán showed exponential lower bounds for resolution proofs (SAT 2013), we also show that already the global symmetry rule (SRC-I) suffices to allow for polynomial length proofs. △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: 18 pages, to be published in STACS 2021

ACM Class: F.2.2

Automorphism groups of graphs of bounded Hadwiger number

Authors: Martin Grohe, Pascal Schweitzer, Daniel Wiebking

Abstract: We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. This in particular settles three of Babai's conjectures from the 1980s. The first one states that the order of non-alternating, non-abelian composition factors for automorphism groups of graphs of bounded Hadwiger number is bounded. The second one, the subcontraction conjecture, states that a non-trivial… ▽ More We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. This in particular settles three of Babai's conjectures from the 1980s. The first one states that the order of non-alternating, non-abelian composition factors for automorphism groups of graphs of bounded Hadwiger number is bounded. The second one, the subcontraction conjecture, states that a non-trivial minor-closed graph class represents only finitely many non-abelian simple groups. And the third one states that if the order of such a group does not have small prime factors, then the group is obtained by iterated wreath and direct products from abelian groups. Our proof includes a structural analysis of finite edge-transitive graphs. △ Less

Submitted 28 December, 2020; originally announced December 2020.

Comments: 33 pages

MSC Class: 05C75; 05C83; 20D60

Classification of Finite Highly Regular Vertex-Coloured Graphs

Authors: Irene Heinrich, Thomas Schneider, Pascal Schweitzer

Abstract: A coloured graph is k-ultrahomogeneous if every isomorphism between two induced subgraphs of order at most k extends to an automorphism. A coloured graph is t-tuple regular if the number of vertices adjacent to every vertex in a set S of order at most k depends only on the isomorphism type of the subgraph induced by S. We classify the finite vertex-coloured k-ultrahomogeneous graphs and the fini… ▽ More A coloured graph is k-ultrahomogeneous if every isomorphism between two induced subgraphs of order at most k extends to an automorphism. A coloured graph is t-tuple regular if the number of vertices adjacent to every vertex in a set S of order at most k depends only on the isomorphism type of the subgraph induced by S. We classify the finite vertex-coloured k-ultrahomogeneous graphs and the finite vertex-coloured l-tuple regular graphs for k at least 4 and l at least 5, respectively. Our theorem in particular classifies finite vertex-coloured ultrahomogeneous graphs, where ultrahomogeneous means the graph is simultaneously k-ultrahomogeneous for all k. △ Less

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

Comments: 34 pages, 2 figures

MSC Class: 05C60; 05B20; 05B05; 05C75

Engineering a Fast Probabilistic Isomorphism Test

Authors: Markus Anders, Pascal Schweitzer

Abstract: We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them. We provide extensive benchmarks, showing that the algorithm outperforms all state-of-the-art solutions for isomorphism testing on most inputs from the de facto standard benchmark library… ▽ More We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them. We provide extensive benchmarks, showing that the algorithm outperforms all state-of-the-art solutions for isomorphism testing on most inputs from the de facto standard benchmark library for isomorphism testing. On many input types, our data not only show improved running times by an order of magnitude, but also reflect a better asymptotic behavior. Our results demonstrate that, with current algorithms, isomorphism testing is in practice easier than the related problems of computing the automorphism group or canonically labeling a graph. The results also show that probabilistic algorithms for isomorphism testing can be engineered to outperform deterministic approaches, even asymptotically. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: To appear at ALENEX 2021

MSC Class: 68W20 ACM Class: G.2.2

Structure of the nucleon at leading and subleading twist in the covariant parton model

Authors: S. Bastami, A. V. Efremov, P. Schweitzer, O. V. Teryaev, P. Zavada

Abstract: The covariant parton model is generalized to describe quark correlators in a systematic way. Previous results are reproduced for the T-even leading-twist transverse momentum dependent parton distribution functions (TMDs), and for the first time all T-even twist-3 TMDs are evaluated in this model. We apply the approach to evaluate the fully unintegrated quark correlator which allows us to understan… ▽ More The covariant parton model is generalized to describe quark correlators in a systematic way. Previous results are reproduced for the T-even leading-twist transverse momentum dependent parton distribution functions (TMDs), and for the first time all T-even twist-3 TMDs are evaluated in this model. We apply the approach to evaluate the fully unintegrated quark correlator which allows us to understand the model-specific relations between different TMDs. We verify the consistency of the approach, present numerical results and compare to available TMD parametrizations. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 20 pages, 6 figures

Journal ref: Phys. Rev. D 103, 014024 (2021)

Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms

Authors: Markus Anders, Pascal Schweitzer

Abstract: We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorph… ▽ More We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorphism) that maps one leaf to the other. We describe a randomized algorithm with errors for which the number of visited leaves is quasilinear in the square root of the size of the smaller of the two trees. For inputs of bounded degree, we develop a Las Vegas algorithm with a similar running time. We prove that these results are optimal up to logarithmic factors. We show a lower bound for randomized algorithms on inputs of bounded degree that is the square root of the tree sizes. For inputs of unbounded degree, we show a linear lower bound for Las Vegas algorithms. For deterministic algorithms we can prove a linear bound even for inputs of bounded degree. This shows why randomized algorithms outperform deterministic ones. Our results explain why the randomized "breadth-first with intermixed experimental path" search strategy of the isomorphism tool Traces (Piperno 2008) is often superior to the depth-first search strategy of other tools such as nauty (McKay 1977) or bliss (Junttila, Kaski 2007). However, our algorithm also provides a new traversal strategy, which is theoretically near optimal with better worst case behavior than traversal strategies that have previously been used. △ Less

Submitted 3 November, 2020; originally announced November 2020.

MSC Class: 68W20 ACM Class: F.2.2; G.2.2

Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time

Authors: Moritz Lichter, Pascal Schweitzer

Abstract: In the quest for a logic capturing PTime the next natural classes of structures to consider are those with bounded color class size. We present a canonization procedure for graphs with dihedral color classes of bounded size in the logic of Choiceless Polynomial Time (CPT), which then captures PTime on this class of structures. This is the first result of this form for non-abelian color classes. Th… ▽ More In the quest for a logic capturing PTime the next natural classes of structures to consider are those with bounded color class size. We present a canonization procedure for graphs with dihedral color classes of bounded size in the logic of Choiceless Polynomial Time (CPT), which then captures PTime on this class of structures. This is the first result of this form for non-abelian color classes. The first step proposes a normal form which comprises a "rigid assemblage". This roughly means that the local automorphism groups form 2-injective 3-factor subdirect products. Structures with color classes of bounded size can be reduced canonization preservingly to normal form in CPT. In the second step, we show that for graphs in normal form with dihedral color classes of bounded size, the canonization problem can be solved in CPT. We also show the same statement for general ternary structures in normal form if the dihedral groups are defined over odd domains. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: To appear at CSL 2020

An experimental program with high duty-cycle polarized and unpolarized positron beams at Jefferson Lab

Authors: A. Accardi, A. Afanasev, I. Albayrak, S. F. Ali, M. Amaryan, J. R. M. Annand, J. Arrington, A. Asaturyan, H. Atac, H. Avakian, T. Averett, C. Ayerbe Gayoso, X. Bai, L. Barion, M. Battaglieri, V. Bellini, R. Beminiwattha, F. Benmokhtar, V. V. Berdnikov, J. C. Bernauer, V. Bertone, A. Bianconi, A. Biselli, P. Bisio, P. Blunden , et al. (205 additional authors not shown)

Abstract: Positron beams, both polarized and unpolarized, are identified as essential ingredients for the experimental programs at the next generation of lepton accelerators. In the context of the hadronic physics program at Jefferson Lab (JLab), positron beams are complementary, even essential, tools for a precise understanding of the electromagnetic structure of nucleons and nuclei, in both the elastic an… ▽ More Positron beams, both polarized and unpolarized, are identified as essential ingredients for the experimental programs at the next generation of lepton accelerators. In the context of the hadronic physics program at Jefferson Lab (JLab), positron beams are complementary, even essential, tools for a precise understanding of the electromagnetic structure of nucleons and nuclei, in both the elastic and deep-inelastic regimes. For instance, elastic scattering of polarized and unpolarized electrons and positrons from the nucleon enables a model independent determination of its electromagnetic form factors. Also, the deeply-virtual scattering of polarized and unpolarized electrons and positrons allows unambiguous separation of the different contributions to the cross section of the lepto-production of photons and of lepton-pairs, enabling an accurate determination of the nucleons and nuclei generalized parton distributions, and providing an access to the gravitational form factors. Furthermore, positron beams offer the possibility of alternative tests of the Standard Model of particle physics through the search of a dark photon, the precise measurement of electroweak couplings, and the investigation of charged lepton flavor violation. This document discusses the perspectives of an experimental program with high duty-cycle positron beams at JLab. △ Less

Submitted 21 May, 2021; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 18 pages, 7 figures This version superseeds the previous version which scientific content was decomposed into several more elaborated articles. All of these articles will be collected in the EPJ A Topical Issue about "Positron beam and physics at Jefferson Lab (e+@Jlab)"

Effects of long-range forces on the D-term and the energy-momentum structure

Authors: Mira Varma, Peter Schweitzer

Abstract: The hadronic form factors of the energy-momentum tensor (EMT) have attracted considerable interest in recent literature. This concerns especially the D-term form factor D(t) with its appealing interpretation in terms of internal forces. With their focus on hadron structure, theoretical studies so far have concentrated on strongly interacting systems with short-range forces. Effects on the EMT due… ▽ More The hadronic form factors of the energy-momentum tensor (EMT) have attracted considerable interest in recent literature. This concerns especially the D-term form factor D(t) with its appealing interpretation in terms of internal forces. With their focus on hadron structure, theoretical studies so far have concentrated on strongly interacting systems with short-range forces. Effects on the EMT due to long-range forces like the electromagnetic interaction have not yet been studied. Electromagnetic forces play a small role in the balance of forces inside the proton, but their long-range nature introduces new features which are not present in systems with short-range forces. We use a simple but consistent classical field theoretical model of the proton to show how the presence of long-range forces alters some notions taken for granted in short-range systems. Our results imply that a more careful definition of the D-term is required when long-range forces are present. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Journal ref: Phys. Rev. D 102, 014047 (2020)

The Drell-Yan process with pions and polarized nucleons

Authors: S. Bastami, L. Gamberg, B. Parsamyan, B. Pasquini, A. Prokudin, P. Schweitzer

Abstract: The Drell-Yan process provides important information on the internal structure of hadrons including transverse momentum dependent parton distribution functions (TMDs). In this work we present calculations for all leading twist structure functions describing the pion induced Drell-Yan process. The non-perturbative input for the TMDs is taken from the light-front constituent quark model, the spectat… ▽ More The Drell-Yan process provides important information on the internal structure of hadrons including transverse momentum dependent parton distribution functions (TMDs). In this work we present calculations for all leading twist structure functions describing the pion induced Drell-Yan process. The non-perturbative input for the TMDs is taken from the light-front constituent quark model, the spectator model, and available parametrizations of TMDs extracted from the experimental data. TMD evolution is implemented at Next-to-Leading Logarithmic precision for the first time for all asymmetries. Our results are compatible with the first experimental information, help to interpret the data from ongoing experiments, and will allow one to quantitatively assess the models in future when more precise data will become available. △ Less

Submitted 22 February, 2021; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: The paper is restructured with new discussions and results, TMD evolution is implemented at Next-to-Leading Logarithmic accuracy for all asymmetries. 27 pages and 10 figures

Report number: JLAB-THY-20-3199

Journal ref: JHEP 02, (2021), 166

On the Weisfeiler-Leman Dimension of Finite Groups

Authors: Jendrik Brachter, Pascal Schweitzer

Abstract: In comparison to graphs, combinatorial methods for the isomorphism problem of finite groups are less developed than algebraic ones. To be able to investigate the descriptive complexity of finite groups and the group isomorphism problem, we define the Weisfeiler-Leman algorithm for groups. In fact we define three versions of the algorithm. In contrast to graphs, where the three analogous versions r… ▽ More In comparison to graphs, combinatorial methods for the isomorphism problem of finite groups are less developed than algebraic ones. To be able to investigate the descriptive complexity of finite groups and the group isomorphism problem, we define the Weisfeiler-Leman algorithm for groups. In fact we define three versions of the algorithm. In contrast to graphs, where the three analogous versions readily agree, for groups the situation is more intricate. For groups, we show that their expressive power is linearly related. We also give descriptions in terms of counting logics and bijective pebble games for each of the versions. In order to construct examples of groups, we devise an isomorphism and non-isomorphism preserving transformation from graphs to groups. Using graphs of high Weisfeiler-Leman dimension, we construct highly similar but non-isomorphic groups with equal $Θ(\sqrt{\log n})$-subgroup-profiles, which nevertheless have Weisfeiler-Leman dimension 3. These groups are nilpotent groups of class 2 and exponent $p$, they agree in many combinatorial properties such as the combinatorics of their conjugacy classes and have highly similar commuting graphs. The results indicate that the Weisfeiler-Leman algorithm can be more effective in distinguishing groups than in distinguishing graphs based on similar combinatorial constructions. △ Less

Submitted 23 November, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 32 pages, 3 figures. In a previous version of the paper we calculated the orders of the groups incorrectly and therefore claimed the equality of $Θ({\log n})$-profiles rather than $Θ(\sqrt{\log n})$-profiles

MSC Class: 68Q19; 20D15 ACM Class: F.2.2; F.4.1

Deep Weisfeiler Leman

Authors: Martin Grohe, Pascal Schweitzer, Daniel Wiebking

Abstract: We introduce the framework of Deep Weisfeiler Leman algorithms (DeepWL), which allows the design of purely combinatorial graph isomorphism tests that are more powerful than the well-known Weisfeiler-Leman algorithm. We prove that, as an abstract computational model, polynomial time DeepWL-algorithms have exactly the same expressiveness as the logic Choiceless Polynomial Time (with counting) intr… ▽ More We introduce the framework of Deep Weisfeiler Leman algorithms (DeepWL), which allows the design of purely combinatorial graph isomorphism tests that are more powerful than the well-known Weisfeiler-Leman algorithm. We prove that, as an abstract computational model, polynomial time DeepWL-algorithms have exactly the same expressiveness as the logic Choiceless Polynomial Time (with counting) introduced by Blass, Gurevich, and Shelah (Ann. Pure Appl. Logic., 1999) It is a well-known open question whether the existence of a polynomial time graph isomorphism test implies the existence of a polynomial time canonisation algorithm. Our main technical result states that for each class of graphs (satisfying some mild closure condition), if there is a polynomial time DeepWL isomorphism test then there is a polynomial canonisation algorithm for this class. This implies that there is also a logic capturing polynomial time on this class. △ Less

Submitted 24 March, 2020; originally announced March 2020.

Probing Nucleons and Nuclei in High Energy Collisions

Authors: Christine A. Aidala, Elke Aschenauer, Fatma Aslan, Alessandro Bacchetta, Ian Balitsky, Sanjin Benic, Shohini Bhattacharya, Mariaelena Boglione, Matthias Burkardt, Justin Cammarota, Giovanni A. Chirilli, Christopher Cocuzza, Aurore Courtoy, Daniel de Florian, Pasquale Di Nezza, Adrian Dumitru, Sara Fucini, Kenji Fukushima, Yulia Furletova, Leonard Gamberg, Oscar Garcia-Montero, François Gelis, Vadim Guzey, Yoshitaka Hatta, Francesco Hautmann , et al. (65 additional authors not shown)

Abstract: This volume is a collection of contributions for the 7-week program "Probing Nucleons and Nuclei in High Energy Collisions" that was held at the Institute for Nuclear Theory in Seattle, WA, USA, from October 1 until November 16, 2018. The program was dedicated to the physics of the Electron Ion Collider (EIC), the world's first polarized electron-nucleon (ep) and electron-nucleus (eA) collider to… ▽ More This volume is a collection of contributions for the 7-week program "Probing Nucleons and Nuclei in High Energy Collisions" that was held at the Institute for Nuclear Theory in Seattle, WA, USA, from October 1 until November 16, 2018. The program was dedicated to the physics of the Electron Ion Collider (EIC), the world's first polarized electron-nucleon (ep) and electron-nucleus (eA) collider to be constructed in the USA. These proceedings are organized by chapters, corresponding to the weeks of the program: Week I, Generalized parton distributions; Week II, Transverse spin and TMDs; Week III, Longitudinal spin; Week IV, Symposium week; Weeks V & VI, eA collisions; Week VII, pA and AA collisions. We hope these proceedings will be useful to readers as a compilation of EIC-related science at the end of the second decade of the XXI century. △ Less

Submitted 11 May, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: Electron Ion Collider, INT 18-3 Program. Published by World Scientific. Duplicates content of arXiv:1912.10965, arXiv:1912.10724, arXiv:1910.03006, arXiv:1910.07982, arXiv:1912.13397, arXiv:1910.01979, arXiv:2001.07862, arXiv:2001.03700, arXiv:1910.01030, arXiv:1910.01273, arXiv:1912.13020, arXiv:1910.06003, arXiv:2001.03655, arXiv:1909.12591, arXiv:1909.09809, arXiv:1910.04806, arXiv:2001.05978

Energy momentum tensor and the D-term in the bag model

Authors: Matt J. Neubelt, Andrew Sampino, Jonathan Hudson, Kemal Tezgin, Peter Schweitzer

Abstract: The energy-momentum tensor (EMT) form factors pave new ways for exploring hadron structure. Especially the D-term related to the EMT form factor D(t) has received a lot of attention due to its attractive physical interpretation in terms of mechanical properties. We study the nucleon EMT form factors and the associated densities in the bag model which we formulate for an arbitrary number of colors… ▽ More The energy-momentum tensor (EMT) form factors pave new ways for exploring hadron structure. Especially the D-term related to the EMT form factor D(t) has received a lot of attention due to its attractive physical interpretation in terms of mechanical properties. We study the nucleon EMT form factors and the associated densities in the bag model which we formulate for an arbitrary number of colors Nc and show that the EMT form factors are consistently described in this model in the large-Nc limit. The simplicity of the model allows us to test in a lucid way many theoretical concepts related to EMT form factors and densities including recently introduced concepts like normal and tangential forces, or monopole and quadrupole contributions to the angular momentum distribution. We also study the D-terms of rho-meson, Roper resonance, other N* states and Delta-resonances. Among the most interesting outcomes is the lucid demonstration of the deeper connection of EMT conservation, stability, the virial theorem and the negative sign of the D-term. △ Less

Submitted 12 February, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 25 pages, 9 figures, typos fixed, reference added, published version

Journal ref: Phys. Rev. D 101, 034013 (2020)

Energy-momentum tensor densities in the bag model

Authors: M. J. Neubelt, A. Sampino, J. Hudson, K. Tezgin, P. Schweitzer

Abstract: The form factors of the energy-momentum tensor can be accessed via studies of generalized parton distributions in hard exclusive reactions. In this talk we present recent results on the energy-momentum tensor form factors and densities in the bag model formulated in the large-$N_c$ limit. The simplicity and lucidity of this quark model allow us to investigate many general concepts which have recen… ▽ More The form factors of the energy-momentum tensor can be accessed via studies of generalized parton distributions in hard exclusive reactions. In this talk we present recent results on the energy-momentum tensor form factors and densities in the bag model formulated in the large-$N_c$ limit. The simplicity and lucidity of this quark model allow us to investigate many general concepts which have recently attracted interest, including pressure, shear forces and angular momentum density inside the nucleon. The results from the bag model are theoretically consistent, and comply with all general requirements. △ Less

Submitted 25 July, 2019; originally announced July 2019.

Journal ref: PoS DIS2019 (2019) 210