Related papers: Safe Clockwork
We consider the problem of quantum-classical correspondence in integrable field theories. We propose a method to construct a field theoretical coherent state, in which the expectation value of the quantum field operator exactly coincides…
We construct a constant-round zero-knowledge classical argument for NP secure against quantum attacks. We assume the existence of Quantum Fully-Homomorphic Encryption and other standard primitives, known based on the Learning with Errors…
We present a unifying framework for type systems for process calculi. The core of the system provides an accurate correspondence between essentially functional processes and linear logic proofs; fragments of this system correspond to…
The Universal Composability model (UC) by Canetti (FOCS 2001) allows for secure composition of arbitrary protocols. We present a quantum version of the UC model which enjoys the same compositionality guarantees. We prove that in this model…
We propose a decision procedure for analysing security of quantum cryptographic protocols, combining a classical algebraic rewrite system for knowledge with an operational semantics for quantum distributed computing. As a test case, we use…
Asymptotically safe quantum gravity is a candidate theory to quantum gravity, which could unify the gravitational interaction with particle physics. It is characterized by quantum scale-symmetry at high energies. The constraining power of…
Shielding is a prominent model-based technique to ensure safety of autonomous agents. Classical shielding aims to ensure that nothing bad ever happens and comes with strong guarantees about safety and maximal permissiveness. However,…
We present a supersymmetric Pati-Salam model with small representations as a potential candidate for physics beyond the Standard Model. The model features a Higgs sector with bifundamental fields $H_R+\bar H_R=(4,1,2)+(\bar 4,1,2)$,…
We construct concrete supersymmetric grand unified theories based on the Pati-Salam gauge group SU(4)_c x SU(2)_L x SU(2)_R which naturally lead to a moderate violation of "asymptotic" Yukawa unification and thus can allow an acceptable…
The clockwork mechanism is a means of naturally generating exponential hierarchies in theories without significant hierarchies among fundamental parameters. We emphasize the role of interactions in the clockwork mechanism, demonstrating…
We classify the weakly interacting fixed points of general gauge theories coupled to matter and explain how the competition between gauge and matter fluctuations gives rise to a rich spectrum of high- and low-energy fixed points. The…
The present paper is mainly aimed at introducing a novel notion of stability of nonlinear time-delay systems called Rational Stability. According to the Lyapunov-type, various sufficient conditions for rational stability are reached. Under…
The clockwork mechanism has recently been proposed as a natural way to generate hierarchies among parameters in quantum field theories. The mechanism is characterized by a very specific pattern of spontaneous and explicit symmetry breaking,…
This thesis is focused on some solvable quantum mechanical models and their associated symmetries.
Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, differing use of language and philosophies, etc.. Many…
In the asymptotic safety paradigm, a quantum field theory reaches a regime with quantum scale invariance in the ultraviolet, which is described by an interacting fixed point of the Renormalization Group. Compelling hints for the viability…
The rapid advancement of quantum hardware necessitates the development of reliable methods to certify its correct functioning. However, existing certification tests fall short, as they either suffer from systematic errors or do not…
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in…
I construct a secure multi-party scheme to compute a classical function by a succinct use of a specially designed fault-tolerant random polynomial quantum error correction code. This scheme is secure provided that (asymptotically) strictly…
Using the hierarchy of scales between the mass, $M$, and the width, $\Gamma$, of a heavy, unstable particle we construct an effective theory that allows calculations for resonant processes to be systematically expanded in powers of the…