Related papers: On C.T.C. Wall's suspension theorem
We study thermal equilibrium of classical pointlike counterions confined between symmetrically charged walls at distance $d$. At very large couplings when the counterion system is in its crystal phase, a harmonic expansion of particle…
We investigate the relationship between computation and spacetime structure, focussing on the role of closed timelike curves (CTCs) in promoting computational speedup. We note first that CTC traversal can be interpreted in two distinct…
Halin's well-known grid theorem states that a graph $G$ with a thick end must contain a subdivision of the hexagonal half-grid. We obtain the following strengthening when $G$ is vertex-transitive and locally finite. Either $G$ is…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…
Recent results from real algebraic geometry and the theory of polynomial optimization are related in a new framework to the existence question of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely,…
This paper reviews recent advances in continuous-time quantum walks (CTQW) and their application to transport in various systems. The introduction gives a brief survey of the historical background of CTQW. After a short outline of the…
We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main…
Macroscopic quantum phenomena refer to quantum features in objects of `large' sizes, systems with many components or degrees of freedom, organized in ways where they can be identified as macroscopic objects. This emerging field is ushered…
The aim of this paper is to investigate the links between ${\cal T}_C$-class algorithms, CQ Algorithm and shrinking projection methods. We show that strong convergence of these algorithms are related to coherent ${\cal T}_C$-class sequences…
By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times…
We continue the development of real noncommutative (nc) convexity, building on the recent and profound complex theory of Davidson and Kennedy. The present paper focuses on the theory of nc extreme points (and pure and maximal points) and…
The paper discusses the problem of the Lorentz contraction in accelerated systems, in the context of the special theory of relativity. Equal proper accelerations along different world lines are considered, showing the differences arising…
Courcelle's Theorem is an important result in graph theory, proving the existence of linear-time algorithms for many decision problems on graphs whose tree-width is bounded by a constant. The purpose of this text is twofold: to provide an…
The aim of this paper is to introduce tau-tilting theory, which completes (classical) tilting theory from the viewpoint of mutation. It is well-known in tilting theory that an almost complete tilting module for any finite dimensional…
We study towers of light particles that appear in infinite-distance limits of moduli spaces of 9-dimensional $\mathcal{N}=1$ string theories, some of which notably feature decompactification limits with running string coupling. The lightest…
We use the framework of generalized entanglement wedges to revisit the connected wedge theorem (CWT). This construction identifies an entanglement wedge associated for any bulk region and allows us to rephrase the CWT in terms of the…
Since the appearance of H. Robbins article (1948), the central limit theorems for random sums have been studied for about 70 years. The central limit theorems for random sums of independent random variables play a very important role in…
This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that…
This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html). The logical vocabulary of the system consists of…
This is an expository review paper elaborating on the proof of the martingale functional central limit theorem (FCLT). This paper also reviews tightness and stochastic boundedness, highlighting one-dimensional criteria for tightness used in…