English
Related papers

Related papers: Superswapping

200 papers

This paper examines the consistency of w-order by means of a supertask that functions as a supertrap for the assumed existence of w-ordered collections, which are simultaneously complete (as is required by the Actual infinity) and…

General Mathematics · Mathematics 2012-01-30 Antonio Leon

An overview of supersymmetry and its different applications is presented. We motivate supersymmetry in particle physics. We then explain how supersymmetry helps us analyze field theories exactly, and what dynamical lessons these solutions…

High Energy Physics - Theory · Physics 2007-05-23 Nathan Seiberg

Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well…

General Mathematics · Mathematics 2007-05-23 W. Mueckenheim

Bifurcated supertasks entail the actual infinite division of time (accelerated system of reference) as well as the existence of half-curves of infinite length (supertask system of reference). This paper analyzes both issues from a critique…

General Mathematics · Mathematics 2012-01-26 Antonio Leon

This paper examines the completion of an w-ordered sequence of recursive definitions which on the one hand defines an increasing sequence of nested set and on the other redefines successively a numeric variable as the cardinal of the…

General Mathematics · Mathematics 2012-01-30 Antonio Leon

The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear…

Quantum Physics · Physics 2017-12-19 T. Theurer , N. Killoran , D. Egloff , M. B. Plenio

In this work, we give rigorous operational meaning to superposition of causal orders. This fits within a recent effort to understand how the standard operational perspective on quantum theory could be extended to include indefinite…

Quantum Physics · Physics 2021-09-07 Nicola Pinzani , Stefano Gogioso

Treating the time of an event as a quantum variable, we derive a scheme in which superpositions in time are used to perform operations in an indefinite causal order. We use some aspects of a recently developed space-time-symmetric formalism…

Quantum Physics · Physics 2022-07-13 David Felce , Nicetu Tibau Vidal , Vlatko Vedral , Eduardo O. Dias

The phenomenon of superconvergence is proved for all freely infinitely divisible distributions. Precisely, suppose that the partial sums of a sequence of free identically distributed, infinitesimal random variables converge in distribution…

Probability · Mathematics 2018-03-16 Hari Bercovici , Jiun-Chau Wang , Ping Zhong

We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…

Logic in Computer Science · Computer Science 2014-07-15 Mnacho Echenim , Nicolas Peltier

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by 'superposition' in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the…

Quantum Physics · Physics 2015-06-16 Newton da Costa , Christian de Ronde

Infinite time Turing machines extend the classical Turing machine concept to transfinite ordinal time, thereby providing a natural model of infinitary computability that sheds light on the power and limitations of supertask algorithms.

Logic · Mathematics 2007-05-23 Joel David Hamkins

Power-counting arguments based on extended superfields have been used to argue that two-dimensional supersymmetric sigma models with (4,0) supersymmetry are finite. This result is confirmed up to three loop order in pertubation theory by an…

High Energy Physics - Theory · Physics 2009-10-09 P. S. Howe , G. Papadopoulos

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and…

Logic · Mathematics 2007-05-23 Joel David Hamkins

Nonreciprocal theories are used to model a broad array of non-equilibrium phenomena found in nature ranging from biological systems like networks of neurons to the behavior of overflowing water fountains. This includes systems broadly…

High Energy Physics - Theory · Physics 2026-02-20 Savdeep Sethi , Gabriel Artur Weiderpass

The supersymmetric theory of (color)superconductivity is investigated.

High Energy Physics - Phenomenology · Physics 2007-05-23 Tadafumi Ohsaku

Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…

Artificial Intelligence · Computer Science 2009-11-30 Matthias Horbach , Christoph Weidenbach

We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…

Logic · Mathematics 2007-05-23 Joel David Hamkins , Andy Lewis

Researchers have long been aiming to understand how the characteristics of Quantum Theory and General Relativity combine to account for regimes in their interface. One reason why this is a hard task is how differently the theories approach…

Quantum Physics · Physics 2023-10-05 Bruna Sahdo

The purpose of testing a system with respect to a requirement is to refute the hypothesis that the system satisfies the requirement. We build a theory of tests and refutation based on the elementary notions of satisfaction and refinement.…

Software Engineering · Computer Science 2020-06-19 Mohammad Torabi Dashti , David Basin
‹ Prev 1 2 3 10 Next ›