相关论文: On C.T.C. Wall's suspension theorem
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
We study random compositions of transformations having certain uniform fiberwise properties and prove bounds which in combination with other results yield a quenched central limit theorem equipped with a convergence rate, also in the…
We study the paradoxical aspects of closed time-like curves and their impact on the theory of computation. After introducing the $\text{TM}_\text{CTC}$, a classical Turing machine benefiting CTCs for backward time travel, Aaronson et al.…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
Conformal field theory (CFT) plays a key role in modern theoretical physics. Through CFT we describe real physical systems at criticality and fixed points of the renormalization group flow. It is also central in the study of quantum…
We outline the basic questions that are being studied in the theory of entanglement. Following a brief review of some of the main achievements of entanglement theory for finite-dimensional quantum systems such as qubits, we will consider…
For any complex number $c$, let $\sigma_c\colon\mathbb N\rightarrow\mathbb C$ denote the divisor function defined by $\sigma_c(n)=\displaystyle{\sum_{d|n}d^c}$ for all $n\in\mathbb N$, and define $R(c)=\{\sigma_c(n)\in\mathbb C\colon…
Complex networks are an important paradigm of modern complex systems sciences which allows quantitatively assessing the structural properties of systems composed of different interacting entities. During the last years, intensive efforts…
The main result of [HL] (Annals of Math. 102 (1975), 223--290) gives a characterization of the boundaries of complex subvarieties in C^n. An application of this result concerning pseudoconvexity, namely Theorem 10.4 in [HL], is amplified.
The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not…
The review is a brief description of the state of problems in percolation theory and their numerous applications, which are analyzed on base of interesting papers published in the last 15-20 years. At the submitted papers are studied both…
We study the question of what is computable by Turing machines equipped with time travel into the past; i.e., with Deutschian closed timelike curves (CTCs) having no bound on their width or length. An alternative viewpoint is that we study…
Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…
The problem of how mathematics and physics are related at a foundational level is of much interest. One approach is to work towards a coherent theory of physics and mathematics together. Here steps are taken in this direction by first…
The purpose of this note is to give a self contained description of Walls finiteness obstruction.
Linear processes are defined as a discrete-time convolution between a kernel and an infinite sequence of i.i.d. random variables. We modify this convolution by introducing decimation, that is, by stretching time accordingly. We then…
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to…
Central limit theorems are established for the sum, over a spatial region, of observations from a linear process on a $d$-dimensional lattice. This region need not be rectangular, but can be irregularly-shaped. Separate results are…
We introduce a supporting combinatorial framework for the Flat Wall Theorem. In particular, we suggest two variants of the theorem and we introduce a new, more versatile, concept of wall homogeneity as well as the notion of regularity in…
This article presents the basis of a theory of entanglement. We begin with a classical theory of entangled discrete measures in Section~1. Section~2 treats quantum mechanics and discusses the statistics of bounded operators on a Hilbert…