Zobrazeno 1 - 10
of 22 406
pro vyhledávání: '"Gregersen AT"'
GPUs are known to be power-hungry, and due to the boom in artificial intelligence, they are currently the major contributors to the high power demands of upcoming datacenters. Most GPU usage in these popular workloads consist of large general matrix-
Externí odkaz:
http://arxiv.org/abs/2409.18324
We study the impact of mechanical vibrations on the performance of the photonic "hourglass" structure, which is predicted to emit single photons on-demand with near-unity efficiency and indistinguishability. Previous investigations neglected the impa
Externí odkaz:
http://arxiv.org/abs/2407.17309
Publikováno v:
Phys. Rev. B 110, 115308 (2024)
While the semiconductor quantum dot placed in a solid-state material allows for deterministic emission of single photons, the photon indistinguishability is strongly influenced by the intrinsic coupling to lattice vibrations, phonons, of the solid-st
Externí odkaz:
http://arxiv.org/abs/2407.14462
Autor:
Haselwarter, Philipp G., Li, Kwing Hei, Aguirre, Alejandro, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars
Publikováno v:
Proc. ACM Program. Lang. 9, POPL, Article 41 (January 2025)
Properties such as provable security and correctness for randomized programs are naturally expressed relationally as approximate equivalences. As a result, a number of relational program logics have been developed to reason about such approximate equ
Externí odkaz:
http://arxiv.org/abs/2407.14107
Autor:
Vannucci, Luca, Gregersen, Niels
Publikováno v:
Opt. Express 32, 35381-35394 (2024)
The swing-up of quantum emitter population (SUPER) scheme allows to populate the excited state of a quantum emitter with near-unity fidelity using two red-detuned laser pulses. Its off-resonant, yet fully coherent nature has attracted significant int
Externí odkaz:
http://arxiv.org/abs/2406.17540
Autor:
Piccinini, Claudia, Paralikis, Athanasios, Neto, José Ferreira, Madigawa, Abdulmalik Abdulkadir, Wyborski, Paweł, Remesh, Vikas, Vannucci, Luca, Gregersen, Niels, Munkhbat, Battulga
The excitation scheme is essential for single-photon sources as it prepares the exciton state, defines the decay dynamics, and influences the spectral diffusion of the emitted single photons. Here, we investigate the impact of different optical excit
Externí odkaz:
http://arxiv.org/abs/2406.07097
Autor:
Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars
Publikováno v:
Proc. ACM Program. Lang. 8, OOPSLA2, Article 313 (October 2024), 30 pages
We present Tachis, a higher-order separation logic to reason about the expected cost of probabilistic programs. Inspired by the uses of time credits for reasoning about the running time of deterministic programs, we introduce a novel notion of probab
Externí odkaz:
http://arxiv.org/abs/2405.20083
Autor:
Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars
Probabilistic programs often trade accuracy for efficiency, and thus may, with a small probability, return an incorrect result. It is important to obtain precise bounds for the probability of these errors, but existing verification approaches have li
Externí odkaz:
http://arxiv.org/abs/2404.14223
Autor:
Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars
Almost-sure termination is an important correctness property for probabilistic programs, and a number of program logics have been developed for establishing it. However, these logics have mostly been developed for first-order programs written in lang
Externí odkaz:
http://arxiv.org/abs/2404.08494
Autor:
Paralikis, Athanasios, Piccinini, Claudia, Madigawa, Abdulmalik A., Metuh, Pietro, Vannucci, Luca, Gregersen, Niels, Munkhbat, Battulga
Quantum emitters in transition metal dichalcogenides (TMDs) have recently emerged as a promising platform for generating single photons for optical quantum information processing. In this work, we present an approach for deterministically controlling
Externí odkaz:
http://arxiv.org/abs/2402.11075