Related papers: Separation of bounded arithmetic using a consisten…

In the Bondi-Sachs gauge, the Einstein equations with a cosmological constant coupled to a scalar field in spherical symmetry are cast into a first order strongly hyperbolic formulation in which the lapse and shift are the fundamental…

We introduce a set of combinatorial techniques for studying the simplicial bounded cohomology of semi-simplicial sets, simplicial complexes and posets. We apply these methods to prove several new bounded acyclicity results for…

Approximating nonlinear dynamics with a truncated perturbative expan- sion may be accurate for a while, but it in general breaks down at a long time scale that is one over the small expansion parameter. There are interesting occasions in…

We study the large-scale behaviour of a class of driven diffusive systems modelled by a Stochastic Partial Differential Equation, the Stochastic Burgers Equation (SBE) with general nonlinearity, at the critical dimension and in infinite…

The generalized Zernike family $H_{(N)} = p_1^2 + p_2^2 + \sum_{n=1}^N \gamma_n\,(q_1 p_1 + q_2 p_2)^n$ is a parametric family of two-dimensional superintegrable Hamiltonians, admitting $N$ integrals of motion of degree $N$ in the momenta.…

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…

The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by St{\o}rmer and Woronowicz from 1960s and 1970s settling the low dimensional…

Let $C_1$ and $C_2$ be two Cantor sets with convex hull $[0,1]$. Newhouse proved if $\tau(C_1)\cdot \tau(C_2)\geq 1$, then the arithmetic sum $C_1+C_2$ is an interval, where $\tau(C_i), 1\leq i\leq 2$ denotes the thickness of $C_i$. In this…

We prove that a properly embedded annular end of a surface in $\mathbb H^2\times\mathbb R$ with constant mean curvature $0<H\leq \frac{1}{2}$ can not be contained in any horizontal slab. Moreover, we show that a properly embedded surface…

A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regarded as a declarative program defining predicates, where a…

Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…

We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is that the template of every PCSP that is solvable in bounded…

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…

We prove a number field analogue of W. M. Schmidt's conjecture on the intersection of weighted badly approximable vectors and use this to prove an instance of a conjecture of An, Guan and Kleinbock. Namely, let $G := SL_2(\mathbb{R}) \times…

Here we have investigated some aspects of $s\lambda$-closed sets on separation axioms including $s T_{2\frac{1}{2}} $ and $s T_{3\frac{1}{2}} $ axioms and on compactness in generalized topological spaces

For the proposed duality relating a family of N=4 superconformal coset models to a certain supersymmetric higher spin theory on AdS_3, the asymptotic symmetry algebra of the bulk description is determined. It is shown that, depending on the…

Given $S= \{v_1, \dots, v_n\} \subset \mathbb{R} ^m$ and $p \in \mathbb{R} ^m$, testing if $p \in conv(S)$, the convex hull of $S$, is a fundamental problem in computational geometry and linear programming. First, we prove a Euclidean {\it…

Over the past decade, characterizing the exact asymptotic risk of regularized estimators in high-dimensional regression has emerged as a popular line of work. This literature considers the proportional asymptotics framework, where the…

In this paper, we prove well-posedness of the Fornberg-Whitham equation in Besov spaces $B_{2,r}^s$ in both the periodic and non-periodic cases. This will imply the existence and uniqueness of solutions in the aforementioned spaces along…

For $0<\alpha\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_\alpha$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^\alpha$. We investigate property $D_\alpha$ for arithmetic…