English
Related papers

Related papers: Quantitative Information Flow as Safety and Livene…

200 papers

Quantum computing, with its transformative computational potential, is gaining prominence in the technological landscape. As a new and exotic technology, quantum computers involve innumerable Intellectual Property (IP) in the form of…

Quantum Physics · Physics 2023-08-22 Subrata Das , Avimita Chatterjee , Swaroop Ghosh

Complexity is a multi-faceted phenomenon, involving a variety of features including disorder, nonlinearity, and self-organisation. We use a recently developed rigorous framework for complexity to understand measures of complexity. We…

Adaptation and Self-Organizing Systems · Physics 2020-09-22 Karoline Wiesner , James Ladyman

Quantitative theories of information flow give us an approach to relax the absolute confidentiality properties that are difficult to satisfy for many practical programs. The classical information-theoretic approaches for sequential…

Cryptography and Security · Computer Science 2013-06-13 Tri Minh Ngo , Marieke Huisman

Entanglement and coherence are fundamental properties of quantum systems, promising to power near future quantum technologies, such as quantum computation, quantum communication and quantum metrology. Yet, their quantification, rather than…

This comment is on Phys.Rev.Lett. 144, 155302 (2015) by M.T. Reeves, T.P. Billam, B.P. Anderson, and A.S. Bradley "Identifying a superfluid Reynolds number via dynamical similarity" where a new superfluid Reynolds number is introduced. This…

Other Condensed Matter · Physics 2015-10-28 Wilfried Schoepe

Designing keyword-based access paths is a common practice in digital libraries. They are easy to use and accepted by users and come with moderate costs for content providers. However, users usually have to break down the search into pieces…

Digital Libraries · Computer Science 2022-08-23 Hermann Kroll , Niklas Mainzer , Wolf-Tilo Balke

Hyperproperties express the relationship between multiple executions of a system. This is needed in many AI-related fields, such as knowledge representation and planning, to capture system properties related to knowledge, information flow,…

Logic in Computer Science · Computer Science 2024-04-16 Raven Beutner , Bernd Finkbeiner , Hadar Frenkel , Niklas Metzger

We consider two approaches for assessing the reliability of the individual predictions of a classifier: Robustness Quantification (RQ) and Uncertainty Quantification (UQ). We explain the conceptual differences between the two approaches,…

Machine Learning · Computer Science 2026-03-25 Adrián Detavernier , Jasper De Bock

One of the basic lessons of quantum theory is that one cannot obtain information on an unknown quantum state without disturbing it. Hence, by performing a certain measurement, we limit the other possible measurements that can be effectively…

Quantum Physics · Physics 2018-08-24 Erkka Haapasalo , Teiko Heinosaari , Takayuki Miyadera

One thing that discriminates living things from inanimate matter is their ability to generate similarly complex or non-random architectures in a large abundance. From DNA sequences to folded protein structures, living cells, microbial…

Other Quantitative Biology · Quantitative Biology 2018-02-07 Stuart M. Marshall , Alastair R. G. Murray , Leroy Cronin

We describe some applications of quantum information theory to the analysis of quantum limits on measurement sensitivity. A measurement of a weak force acting on a quantum system is a determination of a classical parameter appearing in the…

Quantum Physics · Physics 2012-03-28 Andrew M. Childs , John Preskill , Joseph Renes

Optical flow refers to the visual motion observed between two consecutive images. Since the degree of freedom is typically much larger than the constraints imposed by the image observations, the straightforward formulation of optical flow…

Machine Learning · Statistics 2018-08-21 Jie Sun , Fernando J. Quevedo , Erik Bollt

In this work, we propose a novel generative learning paradigm, K-Flow, an algorithm that flows along the $K$-amplitude. Here, $k$ is a scaling parameter that organizes frequency bands (or projected coefficients), and amplitude describes the…

Machine Learning · Computer Science 2025-04-29 Weitao Du , Shuning Chang , Jiasheng Tang , Yu Rong , Fan Wang , Shengchao Liu

The Kirkwood-Dirac (KD) distribution has recently emerged as a powerful quasiprobability framework with wide-ranging applications in quantum information processing tasks. In this work, we introduce an experimentally motivated criterion for…

Quantum Physics · Physics 2026-03-27 Sudip Chakrabarty , Bivas Mallick , Saheli Mukherjee , Ananda G. Maity

Quantum information is a rapidly advancing area of interdisciplinary research. It may lead to real-world applications for communication and computation unavailable without the exploitation of quantum properties such as nonorthogonality or…

Quantum Physics · Physics 2009-11-10 Samuel L. Braunstein , Peter van Loock

Unitary quantum theory, having no Born Rule, is non-probabilistic. Hence the notorious problem of reconciling it with the unpredictability and appearance of stochasticity in quantum measurements. Generalising and improving upon the…

Quantum Physics · Physics 2016-09-28 Chiara Marletto

We present a new framework for analyzing the evolution of information in geophysical systems. Understanding how information, and its counterpart, uncertainty, propagates is central to predictability studies and has significant implications…

Information Theory · Computer Science 2026-01-06 Peter Jan van Leeuwen

We reflect on the information paradigm in quantum and gravitational physics and on how it may assist us in approaching quantum gravity. We begin by arguing, using a reconstruction of its formalism, that quantum theory can be regarded as a…

High Energy Physics - Theory · Physics 2017-06-22 Philipp A Hoehn

Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative information flow analysis, where one estimates the amount of…

Logic in Computer Science · Computer Science 2014-05-29 Daniel J. Fremont , Sanjit A. Seshia

Quantum Darwinism explains the emergence of classical objectivity through the redundant encoding of pointer information in environmental fragments. However, existing diagnostics rely on arbitrary thresholds or structural assumptions that…

Quantum Physics · Physics 2026-02-03 Arda Batin Tank