Zobrazeno 1 - 10
of 1 832
pro vyhledávání: '"Barthe P"'
The conventional paradigm of quantum computing is discrete: it utilizes discrete sets of gates to realize bitstring-to-bitstring mappings, some of them arguably intractable for classical computers. In parameterized quantum approaches, widely used in
Externí odkaz:
http://arxiv.org/abs/2411.19152
In this work, we propose a new approach based on positron annihilation spectroscopy to estimate the concentration of vacancy-type defects induced by self-ion irradiation in tungsten at room temperature, 500, and 700{\deg}C. Using experimental and Two
Externí odkaz:
http://arxiv.org/abs/2411.13480
Publikováno v:
Proc. ACM Program. Lang. 9, POPL, Article 42 (January 2025), 33 pages
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main results: first,
Externí odkaz:
http://arxiv.org/abs/2411.11617
Autor:
Wu, Jintong, Balbuena, Juan-Pablo, Hu, Zhiwei, Jantunen, Ville, Barthe, Marie-France, Caturla, Maria Jose, Granberg, Fredric
Irradiation of materials in nuclear test reactors and power plants is known to alter the properties of the material. The irradiation event happening at pico- or nanosecond time scales are affecting the evolution and properties of the material on macr
Externí odkaz:
http://arxiv.org/abs/2409.15856
We introduce eRHL, a program logic for reasoning about relational expectation properties of pairs of probabilistic programs. eRHL is quantitative, i.e., its pre- and post-conditions take values in the extended non-negative reals. Thanks to its quanti
Externí odkaz:
http://arxiv.org/abs/2407.17127
We introduce a framework for simulating, on an $(n+1)$-qubit quantum computer, the action of a Gaussian Bosonic (GB) circuit on a state over $2^n$ modes. Specifically, we encode the initial bosonic state's expectation values over quadrature operators
Externí odkaz:
http://arxiv.org/abs/2407.06290
Parameterized quantum circuits have been extensively used as the basis for machine learning models in regression, classification, and generative tasks. For supervised learning, their expressivity has been thoroughly investigated and several universal
Externí odkaz:
http://arxiv.org/abs/2402.09848
Autor:
Barthe, Gilles, Böhme, Marcel, Cauligi, Sunjay, Chuengsatiansup, Chitchanok, Genkin, Daniel, Guarnieri, Marco, Romero, David Mateos, Schwabe, Peter, Wu, David, Yarom, Yuval
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started developing new microarchitectural optimizations to speed up computation. A
Externí odkaz:
http://arxiv.org/abs/2402.00641
Autor:
Petit, Doriand, Bourgeois, Steve, Pavel, Dumitru, Gay-Bellile, Vincent, Chabot, Florian, Barthe, Loic
Recent advances in Neural Fields mostly rely on developing task-specific supervision which often complicates the models. Rather than developing hard-to-combine and specific modules, another approach generally overlooked is to directly inject generic
Externí odkaz:
http://arxiv.org/abs/2312.03357
Autor:
Barthe, Alice, Pérez-Salinas, Adrián
Publikováno v:
Quantum 8, 1523 (2024)
Quantum re-uploading models have been extensively investigated as a form of machine learning within the context of variational quantum algorithms. Their trainability and expressivity are not yet fully understood and are critical to their performance.
Externí odkaz:
http://arxiv.org/abs/2311.10822