Related papers: Roadmap towards the redefinition of the second
Control-flow attestation unifies the worlds of control-flow integrity and platform attestation by measuring and reporting a target's run-time behaviour to a verifier. Trust assurances in the target are provided by testing whether its…
The current status of the recent developments of the second-order gauge-invariant cosmological perturbation theory is reviewed. To show the essence of this perturbation theory, we concentrate only on the universe filled with a single scalar…
Recent advances in optical atomic clocks and optical time transfer have enabled new possibilities in precision metrology for both tests of fundamental physics and timing applications. Here we describe a space mission concept that would…
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review some of our prior results and also introduce an `enriched'…
The Celestial Holography program encompasses recent efforts to understand the flat space hologram in terms of a CFT living on the celestial sphere. A key development instigating these efforts came from understanding how soft limits of…
Human lives are increasingly being affected by the outcomes of automated decision-making systems and it is essential for the latter to be, not only accurate, but also fair. The literature of algorithmic fairness has grown considerably over…
Contextuality (or lack thereof) is a property of systems of random variables. Among the measures of the degree of contextuality, two have played important roles. One of them, Contextual Fraction ($\text{CNTF}$) was proposed within the…
The Second Parameter (2ndP) Problem recognizes the remarkable role played by horizontal branch (HB) morphology in the development of our understanding of globular clusters, and the Galaxy, over the last 50 years. I will describe the…
Gravitational wave science is on the verge of direct observation of the waves predicted by Einstein's General Theory of Relativity and opening the exciting new field of gravitational wave astronomy. In the coming decades, ultra-sensitive…
The physics that is traditionally formulated in one--time-physics (1T-physics) can also be formulated in two-time-physics (2T-physics). The physical phenomena in 1T or 2T physics are not different, but the spacetime formalism used to…
I discuss the theoretical background and the status of neutrino oscillation parameters from the current worlds' global data sample and latest flux calculations. I give their allowed ranges, best fit values and discuss the small parameters…
For Klein-Gordon fields, it is well known that there exist an infinite number of nonequivalent Fock representations of the canonical commutation relations and, therefore, of inequivalent quantum theories. A context in which this kind of…
We revisit the gravity path integral formalism of JT gravity. We explain how to gauge fix the path integral in the presence of asymptotic boundaries and conical defects, and resolve an ambiguity regarding the dilaton gravity operator that…
We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one position from another, the expected square of this time, and…
The sustainability impacts of ICT systems are difficult to assess and govern due to structural complexity, fragmented measurement practices, and unclear responsibilities across system layers. We argue that these challenges cannot be…
This is a sequel to my paper "The Octagonal PET I: Renormalization and Hyperbolic Symmetry". In this paper we use the renormalization scheme found in the first paper to classify the limit sets of the systems according to their topology. The…
Time-frequency representations such as the spectrogram are commonly used to analyze signals having a time-varying distribution of spectral energy, but the spectrogram is constrained by an unfortunate tradeoff between resolution in time and…
The pursuit of ever more precise measures of time and frequency is likely to lead to the eventual redefinition of the second in terms of an optical atomic transition. To ensure continuity with the current definition, based on a microwave…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
In this article we provide necessary and sufficient conditions for a completely positive trace-preserving (CPT) map to be decomposable into a convex combination of unitary maps. Additionally, we set out to define a proper distance measure…