Related papers: Safe Clockwork
Quantum computer is no longer a hypothetical idea. It is the worlds most important technology and there is a race among countries to get supremacy in quantum technology. Its the technology that will reduce the computing time from years to…
We construct an extension of the Standard Model (SM) which is based on grand unification with Pati-Salam symmetry. The setup is supplemented with the idea of spontaneous flavour symmetry breaking which is mediated through flavon fields with…
The framework of trans-Planckian asymptotic safety has been shown to generate phenomenological predictions in the Standard Model and in some of its simple new physics extensions. A heuristic approach is often adopted, which bypasses the…
Single and double universal seesaw mechanisms and the hypothesis of universal strength for Yukawa couplings are applied to formulate a unified theory of fermion mass spectrum in a model based on an extended Pati-Salam symmetry. Five kinds…
The realm of this thesis is cryptographic protocol theory in the quantum world. We study the security of quantum and classical protocols against adversaries that are assumed to exploit quantum effects to their advantage. Security in the…
Accurate and tamper-resistant timestamps are essential for applications demanding verifiable chronological ordering, such as legal documentation and digital intellectual property protection. Classical timestamp protocols rely on…
We present a derivation of the structure and dynamics of a ticking clock by showing that for finite systems a single natural principle serves to distinguish what we understand as ticking clocks from time-keeping systems in general. As a…
We determine central charges, critical exponents and appropriate gradient flow relations for nonsupersymmetric vector-like and chiral Gauge-Yukawa theories that are fundamental according to Wilson and that feature calculable UV or IR…
We develop a universal seesaw version of the Pati-Salam model wherein quarks and leptons of each family are unified into common multiplets transforming as $\psi_L(2,1,4))+ \psi_R((1,2,4)$ under the $SU(2)_L \times SU(2)_R \times SU(4)_c$…
In this introductory review, we argue that a quantum structure of space-time naturally entails a higher-spin theory, to avoid significant Lorentz violation. A suitable framework is provided by Yang-Mills matrix models, which allow to…
We use microlocal arguments to suggest that Lorentz symmetry breaking must occur in a reasonably behaved tachyonic quantum field theory that permits renormalizability. In view of this, we present a scalar tachyonic quantum field model with…
We study the capability of generating correct flavor neutrino mass matrix in a scalar clockwork model. First, we assume that the flavor structure is controlled by the Yukawa couplings as same as the standard model. In this case, the correct…
The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…
Precise and autonomous clocks are of fundamental interest and central importance to both foundational studies and practical applications. Here, we construct a blueprint for a quantum clock governed by time-independent interactions. By…
We point out a novel possible mechanism by which the electroweak hierarchy problem can be avoided in the (effective) quantum field theory. Assuming the existence of a UV complete underlying fundamental theory and treating the cutoff scale…
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early…
We consider the problem of controller design for linear time-invariant cyber-physical systems (CPSs) controlled via networks. Specifically, we adopt the set-up that a controller has already been designed to stabilize the plant. However, the…
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on…
We generalize the clockwork theory in several directions. First, we consider beyond nearest neighbors interactions. Considering such interactions keeps a larger subgroup of the original $U(1)^{N+1}$ unbroken and can allow for different…
This work deals with lump-like structures in models described by a single real scalar field in two-dimensional spacetime. We start with a model that supports lump-like configurations and use the deformation procedure to construct scalar…