English
Related papers

Related papers: Computation with narrow CTCs

200 papers

Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neural-networks, but also…

Programming Languages · Computer Science 2020-04-03 Shaopeng Zhu , Shih-Han Hung , Shouvanik Chakrabarti , Xiaodi Wu

Quantum computing uses the physical principles of very small systems to develop computing platforms which can solve problems that are intractable on conventional supercomputers. There are challenges not only in building the required…

Quantum Physics · Physics 2024-11-19 Dieter Jaksch , Peyman Givi , Andrew J. Daley , Thomas Rung

Most neural networks utilize the same amount of compute for every example independent of the inherent complexity of the input. Further, methods that adapt the amount of computation to the example focus on finding a fixed inference-time…

Machine Learning · Computer Science 2020-04-17 Ankur Bapna , Naveen Arivazhagan , Orhan Firat

Continuous-time neural processes are performant sequential decision-makers that are built by differential equations (DE). However, their expressive power when they are deployed on computers is bottlenecked by numerical DE solvers. This…

Chaotic dynamics have emerged as a versatile resource for neuromorphic and probabilistic computing, enabling high-dimensional nonlinear processing and classical analogues of quantum randomness. Exploiting chaos for computation requires…

Chaotic Dynamics · Physics 2026-05-20 Jungyoon Kim , Kyuho Kim , Kunwoo Park , Namkyoo Park , Sunkyu Yu

In this paper a new concept, namely the critical predictable time $T_c$, is introduced to give a more precise description of computed chaotic solutions of nonlinear differential equations: it is suggested that computed chaotic solutions are…

Chaotic Dynamics · Physics 2010-06-01 Shijun Liao

Discrete time quantum walks are known to be universal for quantum computation. This has been proven by showing that they can simulate a universal quantum gate set. In this paper, we examine computation by quantum walks in terms of language…

Formal Languages and Automata Theory · Computer Science 2014-08-04 Katie Barr , Viv Kendon

Recently, several claims have been made that certain fundamental problems of distributed computing, including Leader Election and Distributed Consensus, begin to admit feasible and efficient solutions when the model of distributed…

Quantum Physics · Physics 2009-03-09 Cyril Gavoille , Adrian Kosowski , Marcin Markiewicz

Nonlinear Model Predictive Control (NMPC) is a general and flexible control approach, used in many industrial contexts, and is based on the online solution of a nonlinear optimization problem. This operation requires in general a high…

Systems and Control · Electrical Eng. & Systems 2024-11-06 Carlo Novara , Mattia Boggio , Deborah Volpe

Many solutions of Einstein's field equations contain closed timelike curves (CTC). Some of these solutions refer to ordinary materials in situations which might occur in the laboratory, or in astrophysics. It is argued that, in default of a…

General Relativity and Quantum Cosmology · Physics 2009-11-07 W. B. Bonnor

The Quantum Computer Condition (QCC) provides a rigorous and completely general framework for carrying out analyses of questions pertaining to fault-tolerance in quantum computers. In this paper we apply the QCC to the problem of…

Quantum Physics · Physics 2007-05-23 Gerald Gilbert , Michael Hamrick , F. Javier Thayer , Yaakov S. Weinstein

The continuous-time query model is a variant of the discrete query model in which queries can be interleaved with known operations (called "driving operations") continuously in time. Interesting algorithms have been discovered in this…

Quantum Physics · Physics 2009-08-06 R. Cleve , D. Gottesman , M. Mosca , R. D. Somma , D. L. Yonge-Mallo

Much progress has been made in the field of quantum computing using continuous variables over the last couple of years. This includes the generation of extremely large entangled cluster states (10,000 modes, in fact) as well as a fault…

Quantum Physics · Physics 2015-12-23 Kevin Marshall , Raphael Pooser , George Siopsis , Christian Weedbrook

We introduce the calculus of Classical Transitions (CT), which extends the research line on the relationship between linear logic and processes to labelled transitions. The key twist from previous work is registering parallelism in typing…

Logic in Computer Science · Computer Science 2018-03-06 Fabrizio Montesi , Marco Peressotti

One of the most promising suggested applications of quantum computing is solving classically intractable chemistry problems. This may help to answer unresolved questions about phenomena like: high temperature superconductivity, solid-state…

Quantum Physics · Physics 2020-04-08 Sam McArdle , Suguru Endo , Alan Aspuru-Guzik , Simon Benjamin , Xiao Yuan

We investigate the power of quantum computers when they are required to return an answer that is guaranteed correct after a time that is upper-bounded by a polynomial in the worst case. In an oracle setting, it is shown that such machines…

Quantum Physics · Physics 2007-05-23 Gilles Brassard , Peter Hoyer

Accounting for resources is the central issue in computational efficiency. We point out physical constraints implicit in information readout that have been overlooked in classical computing. The basic particle-counting mode of read-out sets…

Quantum Physics · Physics 2007-05-23 S. Wallentowitz , I. A. Walmsley , J. H. Eberly

We investigate if physical laws can impose limit on computational time and speed of a quantum computer built from elementary particles. We show that the product of the speed and the running time of a quantum computer is limited by the type…

Quantum Physics · Physics 2015-06-26 A. K. Pati , S. R. Jain , A. Mitra , R. Ramanna

Discrete time crystals (DTCs) are nonequilibrium phases of matter with exotic observable dynamics. Among their remarkable features is their response to a periodic drive at a fraction of its frequency. Current successful experiments are…

Quantum Physics · Physics 2021-11-30 Raditya Weda Bomantara

The satisfiability problem of the branching time logic CTL is studied in terms of computational complexity. Tight upper and lower bounds are provided for each temporal operator fragment. In parallel, the minimal model size is studied with a…

Logic in Computer Science · Computer Science 2017-02-27 Martin Lück