Hilbert's machine and w-order

Antonio Leon

DOI: https://doi.org/10.48550/arXiv.math/0608331

2009-11-23

Abstract:Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradictory result involving w-ordering.

General Mathematics

What problem does this paper attempt to address?

Superswapping

Antonio Leon

DOI: https://doi.org/10.48550/arXiv.0804.2938

2012-01-28

Abstract:Supertask theory is used here to prove a contradictory result which involves the consistency of w-order and the Axiom of Infinity.

General Mathematics
On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Jonathan David Farley,Dominic van der Zypen

DOI: https://doi.org/10.48550/arXiv.1510.06513

2015-10-22

Abstract:Turing Award winner Juris Hartmanis introduced in 1959 lattices of subspaces of generalized partitions ("partitions of type n"; "geometries" if $n = 2$). Hartmanis states it is "an unsolved problem whether there are any incomplete lattice homomorphisms in" lattices of subspaces of geometries. (He continues, "[I]f so how can these geometries be characterized.") We give a positive answer to this question.

Logic
Recursion and w-order

Antonio Leon

DOI: https://doi.org/10.48550/arXiv.0804.2935

2008-04-30

Abstract:This paper has been withdrawn by the author due to an error.

General Mathematics
Infinite Time Turing Machines: Supertask Computation

Joel David Hamkins

DOI: https://doi.org/10.48550/arXiv.math/0212047

2002-12-04

Abstract: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 limitations of supertask algorithms.

Logic
An Analysis of the W*-hierarchy

Yijia Chen,Jorg Flum,Martin Grohe

DOI: https://doi.org/10.2178/jsl/1185803622

2007-01-01

Abstract:AbstractWe observe that the W*-hierarchy, a variant (introduced by Downey, Fellows, and Taylor [7]) of the better known W-hierarchy, coincides with the W-hierarchy, though not level wise, but just as a whole hierarchy. More precisely, we prove that W[t] ⊆ W* [t] ⊆ W[2t − 2] for each t ≥ 2. It was known before that W[1] = W*[1] and W[2] = W*[2].Our second main result is a new logical characterization of the W*-hierarchy in terms of “Fagin-definable problems.” As a by-product, we also obtain an improvement of our earlier characterization of the hierarchy in terms of model-checking problems. Furthermore, we obtain new complete problems for the classes W[3] and W*[3].
Machine Characterizations Of The Classes Of The W-Hierarchy

Y Chen,J Flum

DOI: https://doi.org/10.1007/978-3-540-45220-1_12

2003-01-01

Abstract:We give machine characterizations of the complexity classes of the W-hierarchy. Moreover, for every class of this hierarchy, we present a parameterized halting problem complete for this class.
The Aleph-zero or zero dichotomy

Antonio Leon

DOI: https://doi.org/10.48550/arXiv.0804.2934

2009-11-23

Abstract:This paper proves the existence of a dichotomy which being formally derived from the topological successiveness of w-order leads to the same absurdity of Zeno's Dichotomy II. It also derives a contradictory result from the first Zeno's Dichotomy.

General Mathematics
W-Infinite Symmetries in the Hierarchical Quasi-Particle States (lowest Landau-Level States) of the Fractional Quantum Hall Systems

YX CHEN,ZS MA,ZB SU

DOI: https://doi.org/10.1142/s0217979295000112

1995-01-01

Abstract:We investigate the W infinite symmetries in the theory of general fractional quantum Hall effects by using the lowest Landau level constraint approach. We find that there does exist a W infinite symmetric algebra for the fractional quantum Hall system with all the quasiparticles being restricted to the lowest Landau level. The corresponding generators can be used to generate the new degenerate wavefunctions of the lowest Landau level states by means of Laughlin and Halperin wavefunctions. Meanwhile, we find there still exists another W infinite symmetric algebra in the system, whose generators are used to generate the degenerate wavefunctions of the lowest Landau level for the anti-quasiparticles. We conclude that the FQH system can effectively be described by quasiparticle features or anti-quasiparticle features. We also show that the local part of the W infinite symmetric algebras is the magnetic translation operator of the general fractional quantum Hall system. We finally construct the operators of the single mode wave density excitations in the system and discuss their operator product relations.
Hypercomputation, Frege, Deleuze: Solving Thomson's Lamp

Abhishek Bose-Kolanu

DOI: https://doi.org/10.48550/arXiv.1503.05847

2015-03-20

Abstract:We present the first known solution to the original supertask, the Thomson Lamp Paradox. We also offer preliminary resources for classifying computational complexity of various supertasks. In so doing we consider a newly apparent paradox between the metrical limit and the ordinal limit. We use this distinction between the metrical and ordinal limits to explain the shortcomings both of Thomson's original formulation of the Lamp Paradox and Benacerraf's consequent critique. We resolve this paradox through a careful consideration of transfinite ordinals and locate its ambiguity as inherent to the identity relation under logic with a close reading of Frege's Begriffsschrift. With this close reading in hand we expose how the identity relation is counter-intuitively polyvalent and, with supertasks, how the logico-mathematical field operates on the basis of Deleuzian point-folds. Our results combine resources from philosophy, mathematics, and computer science to ground the field of hypercomputation for logically rigorous study.

Logic in Computer Science,Computational Complexity
The Hilbert series of the superspace coinvariant ring

Brendon Rhoades,Andrew Timothy Wilson

DOI: https://doi.org/10.1017/fmp.2024.14

2024-10-19

Forum of Mathematics Pi

Abstract:Let be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group acts diagonally on by permuting commuting and anticommuting generators simultaneously. We let be the ideal generated by -invariants with vanishing constant term and study the quotient of superspace by this ideal. We calculate the doubly-graded Hilbert series of and prove an 'operator theorem', which characterizes the harmonic space attached to in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

mathematics, applied
The Quantum Hilbert Hotel

Václav Potocek,Filippo M. Miatto,Mohammad Mirhosseini,Omar S. Magaña-Loaiza,Andreas C. Liapis,Daniel K. L. Oi,Robert W. Boyd,John Jeffers

DOI: https://doi.org/10.1103/PhysRevLett.115.160505

2015-06-02

Abstract:In 1924 David Hilbert conceived a paradoxical tale involving a hotel with an infinite number of rooms to illustrate some aspects of the mathematical notion of "infinity". In continuous-variable quantum mechanics we routinely make use of infinite state spaces: here we show that such a theoretical apparatus can accommodate an analog of Hilbert's hotel paradox. We devise a protocol that, mimicking what happens to the guests of the hotel, maps the amplitudes of an infinite eigenbasis to twice their original quantum number in a coherent and deterministic manner, producing infinitely many unoccupied levels in the process. We demonstrate the feasibility of the protocol by experimentally realising it on the orbital angular momentum of a paraxial field. This new non-Gaussian operation may be exploited for example for enhancing the sensitivity of N00N states, for increasing the capacity of a channel or for multiplexing multiple channels into a single one.

Quantum Physics
Hilbert's Program Then and Now

Richard Zach

DOI: https://doi.org/10.1016/B978-044451541-4/50014-2

2005-08-30

Abstract:Hilbert's program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to "dispose of the foundational questions in mathematics once and for all, "Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, "finitary" means, one should give proofs of the consistency of these axiomatic systems. Although Godel's incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial successes, and generated important advances in logical theory and meta-theory, both at the time and since. The article discusses the historical background and development of Hilbert's program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s.

Logic,History and Overview
A non-injective version of Wigner's theorem

Mark Pankov,Lucijan Plevnik

2023-06-29

Abstract:Let $H$ be a complex Hilbert space and let ${\mathcal F}_{s}(H)$ be the real vector space of all self-adjoint finite rank operators on $H$. We prove the following non-injective version of Wigner's theorem: every linear operator on ${\mathcal F}_{s}(H)$ sending rank one projections to rank one projections (without any additional assumption) is either induced by a linear or conjugate-linear isometry or constant on the set of rank one projections.

Mathematical Physics,Functional Analysis
Machine-based Methods in Parameterized Complexity Theory

YJ Chen,J Flum,M Grohe

DOI: https://doi.org/10.1016/j.tcs.2005.02.003

IF: 1.002

2005-01-01

Theoretical Computer Science

Abstract:We give machine characterizations of most parameterized complexity classes, in particular, of W[P], of the classes of the W-hierarchy, and of the A-hierarchy. For example, we characterize W[P] as the class of all parameterized problems decidable by a nondeterministic fixed-parameter tractable algorithm whose number of nondeterministic steps is bounded in terms of the parameter. The machine characterizations suggest the introduction of a hierarchy Wfunc between the W- and the A-hierarchy. We study the basic properties of this hierarchy.
An algebraic approach to Wigner's unitary-antiunitary theorem

Lajos Molnár

DOI: https://doi.org/10.1017/s144678870003593x

1998-12-01

Abstract:Abstract We present an operator algebraic approach to Wigner's unitary-antiunitary theorem using some classical results from ring theory. To show how effective this approach is, we prove a generalization of this celebrated theorem for Hilbert modules over matrix algebras. We also present a Wigner-type result for maps on prime C *-algebras.
Hilbert's tenth problem for rings of holomorphic functions of bounded order

Hector Pasten

2024-06-19

Abstract:One of the main open problems in the context of extensions of Hilbert's tenth problem (HTP) is the case of the ring of complex entire functions in one variable. Our main result provides a step towards an answer: For every $\rho\ge 0$, we give a negative solution to the analogue of HTP in the ring of complex entire functions in one variable of growth order at most $\rho$.

Complex Variables,Logic,Number Theory
Wootters–Zurek quantum-copying machine: the higher-dimensional case

M Ying

DOI: https://doi.org/10.1016/S0375-9601(02)00733-8

IF: 2.707

2002-01-01

Physics Letters A

Abstract:We examine Wootters–Zurek quantum-copying machine on a higher-dimensional state space and evaluate the index Da of copying quality and three indexes Dab(1), Dab(2) and Dab(3) of entanglement of the output modes.
Interpreting symplectic linear transformations in a two-qubit phase space

William K. Wootters

2024-03-22

Abstract:For the continuous Wigner function and for certain discrete Wigner functions, permuting the values of the Wigner function in accordance with a symplectic linear transformation is equivalent to performing a certain unitary transformation on the state. That is, performing this unitary transformation is simply a matter of moving Wigner-function values around in phase space. This result holds in particular for the simplest discrete Wigner function defined on a $d \times d$ phase space when the Hilbert-space dimension $d$ is odd. It does not hold for a $d \times d$ phase space if the dimension is even. Here we show, though, that a generalized version of this correspondence does apply in the case of a two-qubit phase space. In this case, a symplectic linear permutation of the points of the phase space, together with a certain reinterpretation of the Wigner function, is equivalent to a unitary transformation.

Quantum Physics
Conway's cosmological theorem and automata theory

Pierre Lairez,Aleksandr Storozhenko

2024-09-30

Abstract:John Conway proved that every audioactive sequence (a.k.a. look-and-say) decays into a compound of 94~elements, a statement he termed the cosmological theorem. The underlying audioactive process can be modeled by a finite-state machine, mapping one sequence of integers to another. Leveraging automata theory, we propose a new proof of Conway's theorem based on a few simple machines, using a computer to compose and minimize them.

Formal Languages and Automata Theory
Geometry of historical epoch, the Alexandrov's problem and non-Gödel quantum time machine

Alexander K. Guts

DOI: https://doi.org/10.48550/arXiv.1608.08532

2016-11-06

Abstract:The new quantum principle of a time machine that is not using a smooth timelike loops in Lorentz manifolds is described. The proposed time machine is based on the destruction of interference of quantum superposition states in the Wheeler superspace.

General Physics

Hilbert's machine and w-order

Superswapping

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Recursion and w-order

Infinite Time Turing Machines: Supertask Computation

An Analysis of the W*-hierarchy

Machine Characterizations Of The Classes Of The W-Hierarchy

The Aleph-zero or zero dichotomy

W-Infinite Symmetries in the Hierarchical Quasi-Particle States (lowest Landau-Level States) of the Fractional Quantum Hall Systems

Hypercomputation, Frege, Deleuze: Solving Thomson's Lamp

The Hilbert series of the superspace coinvariant ring

The Quantum Hilbert Hotel

Hilbert's Program Then and Now

A non-injective version of Wigner's theorem

Machine-based Methods in Parameterized Complexity Theory

An algebraic approach to Wigner's unitary-antiunitary theorem

Hilbert's tenth problem for rings of holomorphic functions of bounded order

Wootters–Zurek quantum-copying machine: the higher-dimensional case

Interpreting symplectic linear transformations in a two-qubit phase space

Conway's cosmological theorem and automata theory

Geometry of historical epoch, the Alexandrov's problem and non-Gödel quantum time machine