Related papers: Separation of bounded arithmetic using a consisten…

Sign-Perturbed Sums (SPS) is a system identification method that constructs confidence regions for the unknown system parameters. In this paper, we study SPS for ARX systems, and establish that the confidence regions are guaranteed to…

We develop a methodology for proving well-posedness in optimal regularity spaces for a wide class of nonlinear parabolic initial-boundary value systems, where the standard monotone operator theory fails. A motivational example of a problem…

Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total…

We prove the following quantitative version of the celebrated Soap Bubble Theorem of Alexandrov. Let $S$ be a $C^2$ closed embedded hypersurface of $\mathbb{R}^{n+1}$, $n\geq1$, and denote by $osc(H)$ the oscillation of its mean curvature.…

In this paper, we establish the second Bogolyubov theorem and global averaging principle for stochastic partial differential equations (in short, SPDEs) with monotone coefficients. Firstly, we prove that there exists a unique…

We prove the density hypothesis for congruence subgroups of an irreducible uniform lattice in $\mathrm{PSL}_2(\mathbb{R})^d$, extending previous results on the spherical density hypothesis to bound multiplicities of non-tempered…

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

We formalize the proof of Reingold's Theorem that SL=L [Rei05] in the theory of bounded arithmetic VL, which corresponds to ``logspace reasoning''. As a consequence, we get that VL=VSL, where VSL is the theory of bounded arithmetic for…

This paper presents a more stable implementation and a highly accurate numerical tool for predicting flooding in urban areas. We started with the (linearised) well-posedness analysis by [1], where far-field boundary conditions were proposed…

A generalized version of the $abcd$-Boussinesq class of systems is derived to accommodate variable bottom topography in two-dimensional space. This extension allows for the conservation of suitable energy functionals in some cases and…

By developing a generalized cobordism theory, we explore the higher global symmetries and higher anomalies of quantum field theories and interacting fermionic/bosonic systems in condensed matter. Our essential math input is a generalization…

The Stochastic Burgers Equation (SBE) is a singular, non-linear Stochastic Partial Differential Equation (SPDE) that describes, on mesoscopic scales, the fluctuations of stochastic driven diffusive systems with a conserved scalar quantity.…

We consider second order elliptic divergence form systems with complex measurable coefficients $A$ that are independent of the transversal coordinate, and prove that the set of $A$ for which the boundary value problem with $L_2$ Dirichlet…

For a recent new numerical method for computing so-called robust Pad\'e approximants through SVD techniques, the authors gave numerical evidence that such approximants are insensitive to perturbations in the data, and do not have so-called…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

Let $\mathbb{D}$ denote the unit disc in the complex plane $\mathbb{C}$ and let $\mathbb{D}^2 = \mathbb{D} \times \mathbb{D}$ be the unit bidisc in $\mathbb{C}^2$. Let $(T_1, T_2)$ be a pair of commuting contractions on a Hilbert space…

For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation that, given D, yields a proof that D is free of…

We consider the free additive convolution $\mu_\alpha\boxplus\mu_\beta$ of two probability measures $\mu_\alpha$ and $\mu_\beta$, supported on respectively $n_\alpha$ and $n_\beta$ disjoint bounded intervals on the real line, and derive a…

We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…

Given a pointwise finite-dimensional persistence module over a totally ordered set $S$, a theorem of Crawley-Boevey guarantees the existence of a barcode. When the set $S$ is finite, the persistence module is an equioriented type-A quiver…