Zobrazeno 1 - 10
of 402
pro vyhledávání: '"P Nalbach"'
Autor:
Michel, Lucas, Nalbach, Jasper, Mathonet, Pierre, Zénaïdi, Naïm, Brown, Christopher W., Ábrahám, Erika, Davenport, James H., England, Matthew
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about thi
Externí odkaz:
http://arxiv.org/abs/2411.13300
Autor:
Nalbach, Jasper, Kremer, Gereon
The cylindrical algebraic covering method was originally proposed to decide the satisfiability of a set of non-linear real arithmetic constraints. We reformulate and extend the cylindrical algebraic covering method to allow for checking the truth of
Externí odkaz:
http://arxiv.org/abs/2411.03070
In the burgeoning field of quantum computing, the precise design and optimization of quantum pulses are essential for enhancing qubit operation fidelity. This study focuses on refining the pulse engineering techniques for superconducting qubits, empl
Externí odkaz:
http://arxiv.org/abs/2409.08204
Publikováno v:
EPTCS 390, 2023, pp. 16-32
In this paper we introduce a novel quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the wor
Externí odkaz:
http://arxiv.org/abs/2310.00995
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the worst-case
Externí odkaz:
http://arxiv.org/abs/2309.03138
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to exploit the stri
Externí odkaz:
http://arxiv.org/abs/2306.16757
Dephasing in quantum systems is typically the result of its interaction with environmental degrees of freedom. We investigate within a spin-boson model the influence of a super-Ohmic environment on the dynamics of a quantum two-state system. A super-
Externí odkaz:
http://arxiv.org/abs/2303.18213
Publikováno v:
New Journal of Physics, Vol 20, Iss 6, p 063048 (2018)
Recent experimental results showing atypical nonlinear absorption and marked deviations from well known universality in the low temperature acoustic and dielectric losses in amorphous solids prove the need for improving the understanding of the natur
Externí odkaz:
https://doaj.org/article/e2587f34cf734dbc938b6cc33c630040
Autor:
Nalbach, Jasper, Ábrahám, Erika, Specht, Philippe, Brown, Christopher W., Davenport, James H., England, Matthew
Publikováno v:
Journal of Symbolic Computation, Volume 123, Article Number 102288. Elsevier, 2024
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints. Here a co
Externí odkaz:
http://arxiv.org/abs/2212.09309
A quantum two-level system immersed in a sub-Ohmic bath experiences enhanced low-frequency quantum statistical fluctuations which render the nonequilibrium quantum dynamics highly non-Markovian. Upon using the numerically exact time-evolving matrix p
Externí odkaz:
http://arxiv.org/abs/2208.10313