English
Related papers

Related papers: Classification of Sequential Circuits as Causal Fu…

200 papers

We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…

Quantum Physics · Physics 2023-06-22 Aleks Kissinger , Sander Uijlen

We study the notion of causal orders for the cases of (classical and quantum) circuits and spacetime events. We show that every circuit can be immersed into a classical spacetime, preserving the compatibility between the two causal…

Quantum Physics · Physics 2020-06-08 Nikola Paunkovic , Marko Vojinovic

Inspired by Solomonoffs theory of inductive inference, we propose a prior based on circuit complexity. There are several advantages to this approach. First, it relies on a complexity measure that does not depend on the choice of UTM. There…

Machine Learning · Computer Science 2023-06-27 Cole Wyeth , Carl Sturtivant

In this paper, we theoretically and experimentally analyze sequential processors with limited communication between parts. We compare the expressivity of sequential quantum and classical processors under the same constraints. They consist…

This paper illustrates a unified approach, classical circuit and control theories, to study a nonlinear LC circuit with a current dependent inductance as model of the Josephson junction, the mathematical analysis is complemented with…

Signal Processing · Electrical Eng. & Systems 2019-02-11 Alberto Delgado

Stochastic computing (SC) is an emerging computing technique which offers higher computational density, and lower power over binary-encoded (BE) computation. Unlike BE computation, SC encodes values as probabilistic bitstreams which makes…

Emerging Technologies · Computer Science 2018-10-12 Vincent T. Lee , Armin Alaghi , Luis Ceze , Mark Oskin

The concept of sequential choice functions is introduced and studied. This concept applies to the reduction of the problem of stable matchings with sequential workers to a situation where the workers are linear.

Combinatorics · Mathematics 2024-03-26 Vladimir I. Danilov

We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide…

Logic in Computer Science · Computer Science 2025-08-20 Elena Di Lavore , Giovanni de Felice , Mario Román

Boolean and quantum circuits have commonalities and differences. To formalize the syntactical commonality we introduce syntactic circuits where the gates are black boxes. Syntactic circuits support various semantics. One semantics is…

Quantum Physics · Physics 2019-10-15 Andreas Blass , Yuri Gurevich

In many stochastic service systems, decision-makers find themselves making a sequence of decisions, with the number of decisions being unpredictable. To enhance these decisions, it is crucial to uncover the causal impact these decisions…

Methodology · Statistics 2023-07-18 Juan C. David Gomez , Amy L. Cochran , Gabriel Zayas-Caban

We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection.

Logic in Computer Science · Computer Science 2007-05-23 Serban E. Vlad

Causal inference in cue combination is to decide whether the cues have a single cause or multiple causes. Although the Bayesian causal inference model explains the problem of causal inference in cue combination successfully, how causal…

Neural and Evolutionary Computing · Computer Science 2015-09-04 Zhaofei Yu , Feng Chen , Jianwu Dong , Qionghai Dai

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

Category Theory · Mathematics 2020-07-01 Saugata Basu , M. Umut Isik

Taking an interaction network oriented perspective in informatics raises the challenge to describe deterministic finite systems which take part in networks of nondeterministic interactions. The traditional approach to describe processes as…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-02-22 Johannes Reich

Finite-depth quantum circuits preserve the long-range entanglement structure in quantum states and map between states within a gapped phase. To map between states of different gapped phases, we can use Sequential Quantum Circuits which…

Strongly Correlated Electrons · Physics 2024-03-13 Xie Chen , Arpit Dua , Michael Hermele , David T. Stephen , Nathanan Tantivasadakarn , Robijn Vanhove , Jing-Yu Zhao

We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection.

Logic in Computer Science · Computer Science 2007-05-23 Serban E. Vlad

Understanding the information processing roles of cortical circuits is an outstanding problem in neuroscience and artificial intelligence. The theoretical setting of Bayesian inference has been suggested as a framework for understanding…

Neurons and Cognition · Quantitative Biology 2018-08-06 Dileep George , Alexander Lavin , J. Swaroop Guntupalli , David Mely , Nick Hay , Miguel Lazaro-Gredilla

This document is focused on computing systems implemented in technologies that communicate and compute with temporal transients. Although described in general terms, implementations of spiking neural networks are of primary interest. As…

Neural and Evolutionary Computing · Computer Science 2022-01-20 James E. Smith

Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a very limited number of qubits. One possible way to execute more realistic algorithms in near-term quantum devices is to…

Quantum Physics · Physics 2021-06-04 Xin Hong , Yuan Feng , Sanjiang Li , Mingsheng Ying

We consider the current fluctuations in a mesoscopic circuit consisting of nodes connected by arbitrary connectors, in a setup with multiple normal or superconducting terminals. In the limit of weak superconducting proximity effect,…

Superconductivity · Physics 2007-05-23 P. Virtanen , T. T. Heikkila