Zobrazeno 1 - 10
of 8 688
pro vyhledávání: '"A. Ringer"'
Autor:
Araz, Jack Y., Mikuni, Vinicius, Ringer, Felix, Sato, Nobuo, Acosta, Fernando Torales, Whitehill, Richard
At high-energy collider experiments, generative models can be used for a wide range of tasks, including fast detector simulations, unfolding, searches of physics beyond the Standard Model, and inference tasks. In particular, it has been demonstrated
Externí odkaz:
http://arxiv.org/abs/2410.22421
Autor:
Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily
Formal verification using proof assistants, such as Coq, is an effective way of improving software quality, but it is expensive. Writing proofs manually requires both significant effort and expertise. Recent research has used machine learning to auto
Externí odkaz:
http://arxiv.org/abs/2410.19940
We present a quantum computational framework for SU(2) lattice gauge theory, leveraging continuous variables instead of discrete qubits to represent the infinite-dimensional Hilbert space of the gauge fields. We consider a ladder as well as a two-dim
Externí odkaz:
http://arxiv.org/abs/2410.14580
We explore the feasibility of hybrid quantum computing using both discrete (qubit) and continuous (qumode) variables on trapped-ion platforms. Trapped-ion systems have demonstrated record one- and two-qubit gate fidelities and long qubit coherence ti
Externí odkaz:
http://arxiv.org/abs/2410.07346
We develop an Effective Field Theory approach for jet observables in heavy-ion collisions, where the jet is treated as an open quantum system interacting with a hot and dense QCD medium. Within this framework, we derive a novel factorization formula
Externí odkaz:
http://arxiv.org/abs/2409.05957
Autor:
Sanchez-Stern, Alex, Varghese, Abhishek, Kaufman, Zhanna, Zhang, Dylan, Ringer, Talia, Brun, Yuriy
Formal verification is a promising method for producing reliable software, but the difficulty of manually writing verification proofs severely limits its utility in practice. Recent methods have automated some proof synthesis by guiding a search thro
Externí odkaz:
http://arxiv.org/abs/2408.09237
We explore the application of quantum optimal control (QOC) techniques to state preparation of lattice field theories on quantum computers. As a first example, we focus on the Schwinger model, quantum electrodynamics in 1+1 dimensions. We demonstrate
Externí odkaz:
http://arxiv.org/abs/2407.17556
We study the preparation of thermal states of the dense and sparse Sachdev-Ye-Kitaev (SYK) model using a variational quantum algorithm for $6 \le N \le 12$ Majorana fermions over a wide range of temperatures. Utilizing IBM's 127-qubit quantum process
Externí odkaz:
http://arxiv.org/abs/2406.15545
This paper investigates the ability of transformer-based models to learn structural recursion from examples. Recursion is a universal concept in both natural and formal languages. Structural recursion is central to the programming language and formal
Externí odkaz:
http://arxiv.org/abs/2401.12947
Generative AI is a fast-growing area of research offering various avenues for exploration in high-energy nuclear physics. In this work, we explore the use of generative models for simulating electron-proton collisions relevant to experiments like CEB
Externí odkaz:
http://arxiv.org/abs/2310.16308