Related papers: Context-Dependent Functions: Narrowing the Realm o…
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that…
Machine learning researchers and practitioners steadily enlarge the multitude of successful learning models. They achieve this through in-depth theoretical analyses and experiential heuristics. However, there is no known general-purpose…
Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To…
We establish the undecidability of conditional affine information inequalities, the undecidability of the conditional independence implication problem with a constraint that one random variable is binary, and the undecidability of the…
By the sometimes so-called 'Main Theorem' of Recursive Analysis, every computable real function is necessarily continuous. We wonder whether and which kinds of HYPERcomputation allow for the effective evaluation of also discontinuous…
We prove that the theorems of TDDFT can be applied to a class of qubit Hamiltonians that are universal for quantum computation. The theorems of TDDFT applied to universal Hamiltonians imply that single-qubit expectation values can be used…
Within the constrained Hartree-Fock (CHF) theory, an analytic condition is derived to estimate whether a concept of the self-consistent mean field is realized or not in level repulsive region. The derived condition states that an iterative…
We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and…
We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands…
A recent result by Barrera and Peligrad shows that the quenched Central Limit Theorem holds for the discrete Fourier transforms (DFT) of a stationary process in $L^2$ if a "random" centering is used. In this note we show that this is a…
The defunctionalization translation that eliminates higher-order functions from programs forms a key part of many compilers. However, defunctionalization for dependently-typed languages has not been formally studied. We present the first…
The advent of the Hohenberg-Kohn theorem in 1964, its extension to finite-T, Kohn-Sham theory, and relativistic extensions provide the well-established formalism of density-functional theory (DFT). This theory enables the calculation of all…
Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types have become…
In the first of this pair of papers, it was proven that that no physical computer can correctly carry out all computational tasks that can be posed to it. The generality of this result follows from its use of a novel definition of…
In this paper we explore several fundamental relations between formal systems, algorithms, and dynamical systems, focussing on the roles of undecidability, universality, diagonalization, and self-reference in each of these computational…
We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation".…
In this paper, we study consistent query answering in tables with nulls and functional dependencies. Given such a table T, we consider the set Tuples of all tuples that can be built up from constants appearing in T, and we use set theoretic…
In this paper we provide a theoretical analysis of counterfactual invariance. We present a variety of existing definitions, study how they relate to each other and what their graphical implications are. We then turn to the current major…
We consider spaces of trial wavefunctions for ground states and edge excitations in the fractional quantum Hall effect that can be obtained in various ways. In one way, functions are obtained by analyzing the entanglement of the ground…
The HRT conjecture states that any finite collection of time-frequency shifts of a non-zero square-integrable function on the real line is linearly independent. In this paper, we establish the linear independence of finite systems of…