Zobrazeno 1 - 10
of 492
pro vyhledávání: '"Jansen David A"'
Autor:
Bisping, Benjamin, Jansen, David N.
Publikováno v:
EPTCS 412, 2024, pp. 71-88
We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be used to characterize and decide a wide array of weak behavioral equival
Externí odkaz:
http://arxiv.org/abs/2411.14584
Autor:
Mortimer, Luke, Farina, Donato, Di Bello, Grazia, Jansen, David, Leitherer, Andreas, Mujal, Pere, Acín, Antonio
Estimating steady state properties of open quantum systems is a crucial problem in quantum technology. In this work, we show how to derive in a scalable way using semi-definite programming certified bounds on the expectation value of an arbitrary obs
Externí odkaz:
http://arxiv.org/abs/2410.13646
We introduce a quantum-inspired algorithm for Graph Coloring Problems (GCPs) that utilizes qudits in a product state, with each qudit representing a node in the graph and parameterized by d-dimensional spherical coordinates. We propose and benchmark
Externí odkaz:
http://arxiv.org/abs/2406.00792
Autor:
Bisping, Benjamin, Jansen, David N.
We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be used to characterize and decide a wide array of weak behavioral equival
Externí odkaz:
http://arxiv.org/abs/2305.17671
Publikováno v:
Phys. Rev. B 108, L081114 (2023)
Electron-phonon interactions play a key role in many branches of solid-state physics. Here, our focus is on the transport properties of one-dimensional systems, and we apply efficient real-time matrix-product state methods to compute the optical and
Externí odkaz:
http://arxiv.org/abs/2304.13193
Publikováno v:
Phys. Rev. B 106, 155129 (2022)
A comprehensive picture of polaron and bipolaron physics is essential to understand the optical absorption spectrum in many materials with electron-phonon interactions. In particular, the finite-temperature properties are of interest since they play
Externí odkaz:
http://arxiv.org/abs/2206.00985
Autor:
Brink, Michael ten, Gräber, Stefan, Hopjan, Miroslav, Jansen, David, Stolpp, Jan, Heidrich-Meisner, Fabian, Blöchl, Peter E.
Publikováno v:
J. Chem. Phys. 156, 234109 (2022)
We benchmark a set of quantum-chemistry methods, including multitrajectory Ehrenfest, fewest-switches surface-hopping, and multiconfigurational-Ehrenfest dynamics, against exact quantum-many-body techniques by studying real-time dynamics in the Holst
Externí odkaz:
http://arxiv.org/abs/2203.07245
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (August 9, 2022) lmcs:8541
We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language in van Glabbeek's linear-time--branching-time spectrum between two finite-state processes.
Externí odkaz:
http://arxiv.org/abs/2109.15295
Publikováno v:
Phys. Rev. B 104, 195116 (2021)
Understanding the influence of vibrational degrees of freedom on transport through a heterostructure poses considerable theoretical and numerical challenges. In this work, we use the density-matrix renormalization group (DMRG) method together with lo
Externí odkaz:
http://arxiv.org/abs/2109.07197
We introduce FRONTMATTER: a tool to automatically mine both user interface models and behavior of Android apps at a large scale with high precision. Given an app, FRONTMATTER statically extracts all declared screens, the user interface elements, thei
Externí odkaz:
http://arxiv.org/abs/2105.03144