Related papers: Some results concerning the $\mathsf{SRT}^2_2$ vs.…
In the prototypical setting of non-Euclidean geometry, the 2-dimensional Real Hyperbolic space $\mathbb{H}^2$, we consider the Carleson's problem for the Schr\"odinger equation and improve the best known result until now by proving that the…
We investigate Fuchsian equations arising in the context of 2-dimensional conformal field theory (CFT) and we apply the Katz theory of Fucshian rigid systems to solve some of these equations. We show that the Katz theory provides a precise…
The existence and uniqueness in H\"older spaces of solutions of the Cauchy problem to parabolic integro-differential equation of the order {\alpha}\in(0,2) is investigated. The principal part of the operator has kernel…
We optimize the running time of the primal-dual algorithms by optimizing their stopping criteria for solving convex optimization problems under affine equality constraints, which means terminating the algorithm earlier with fewer…
The scaling of the exact solution of a hyperbolic balance law generates a family of scaled problems in which the source term does not depend on the current solution. These problems are used to construct a sequence of solutions whose…
Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the…
We outline the construction of a molecular system that could, in principle, implement a thermodynamically reversible Universal Turing Machine (UTM). By proposing a concrete-albeit idealised-design and operational protocol, we reveal…
Let $\mathfrak M=(M,\mathcal X)$ be a model of $\mathsf{RCA}_0+\text{$\Sigma^0_2$-bounding}$ in which $\Sigma^0_2(A)$-induction fails for some $A\in\mathcal X$. We show that (i) if $\mathfrak M$ is a model of the combinatorial principle…
Conventional wisdom teaches us that the electrical conductivity in a material is the inverse of its resistivity. In this work, we show that when both of these transport coefficients are defined in linear response through the Kubo formulae…
We develop a learning-theoretic framework for understanding Chain of Thought (CoT). We model CoT as the interaction between an answer map and a chain rule that generates intermediate questions autoregressively, and define the reasoning risk…
We consider a Celestial Mechanics model: the spin-orbit problem with a dissipative tidal torque, which is a singular perturbation of a conservative system. The goal of this paper is to show that it is possible to compute quasi-periodic…
Covariant scalar fields exhibit divergences when quantized in two or more spacetime dimensions: n \geg 2. Does perturbation theory, effective theories, the renormalization group, etc., tell us all there is to know about these problems? An…
We study the problem of circular seriation, where we are given a matrix of pairwise dissimilarities between $n$ objects, and the goal is to find a {\em circular order} of the objects in a manner that is consistent with their dissimilarity.…
We study real and integral structures in the space of solutions to the quantum differential equations. First we show that, under mild conditions, any real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry…
We introduce and study several notions of computability-theoretic reducibility between subsets of $\omega$ that are "robust" in the sense that if only partial information is available about the oracle, then partial information can be…
In recent work, Hess and Shipley defined a theory of topological coHochschild homology (coTHH) for coalgebras. In this paper we develop computational tools to study this new theory. In particular, we prove a Hochschild-Kostant-Rosenberg…
A popular intermediary in the theory of artificial satellites is obtained after the elimination of parallactic terms from the J2-problem Hamiltonian. The resulting quasi-Keplerian system is in turn converted into the Kepler problem by a…
Motivated by the indication of a new critical theory for the spin-1/2 Heisenberg model with a spatially staggered anisotropy on the square lattice as suggested in \cite{Wenzel08}, we re-investigate the phase transition of this model induced…
We calculate the stable pair theory of a projective surface $S$. For fixed curve class $\beta\in H^2(S)$ the results are entirely topological, depending on $\beta^2$, $\beta.c_1(S)$, $c_1(S)^2$, $c_2(S)$, $b_1(S)$ \emph{and} invariants of…
This chapter presents the theory behind the CASPT2 method and its adaptation to a multi-state formalism. The chapter starts with an introduction of the theory of the CASPT2 method - an application of Rayleigh-Schr\"odinger perturbation…