Related papers: The Brouwer invariance theorems in reverse mathema…

We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…

The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…

We exhibit non-equivariant perturbations of the blowup solutions constructed in \cite{KST} for energy critical wave maps into $\mathbb{S}^2$. Our admissible class of perturbations is an open set in some sufficiently smooth topology and…

In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is classically equivalent to Brouwer's fixed point theorem. The…

The theory of matrix splitting is a useful tool for finding solution of rectangular linear system of equations, iteratively. The purpose of this paper is two-fold. Firstly, we revisit theory of weak regular splittings for rectangular…

Let G --> G' be an embedding of semisimple complex Lie groups, let B and B' be a pair of nested Borel subgroups, and let f:G/B --> G'/B' be the associated equivariant embedding of flag manifolds. We study the pullbacks of cohomologies of…

We consider the class of inverse probability weight (IPW) estimators, including the popular Horvitz-Thompson and Hajek estimators used routinely in survey sampling, causal inference and evidence estimation for Bayesian computation. We focus…

Let $0<p\leq 1$, $\omega$ be a weight on $\mathbb Z$, and let $\mathcal A$ be a unital Banach algebra. If $f$ is a continuous function from the unit circle $\mathbb T$ to $\mathcal A$ such that $\sum_{n\in \mathbb Z} \|\widehat f(n)\|^p…

The program Reverse Mathematics in the foundations of mathematics seeks to identify the minimal axioms required to prove theorems of ordinary mathematics. One always assumes the base theory, a logical system embodying computable…

We resolve three interrelated problems on \emph{reduced Kronecker coefficients} $\overline{g}(\alpha,\beta,\gamma)$. First, we disprove the \emph{saturation property} which states that $\overline{g}(N\alpha,N\beta,N\gamma)>0$ implies…

This paper shows that, if we could examine the entire history of a hidden variable, then we could efficiently solve problems that are believed to be intractable even for quantum computers. In particular, under any hidden-variable theory…

Complex molecules and mesoscopic structures are naturally described by general networks of elementary building blocks and tight-binding is one of the simplest quantum model suitable for studying the physical properties arising from the…

The Burrows-Wheeler Transform (BWT) is an invertible text transformation that permutes symbols of a text according to the lexicographical order of its suffixes. BWT is the main component of popular lossless compression programs (such as…

We describe the Chow homology and cohomology of toric variety bundles, with no restrictions on the singularities of the fibre. We present the ordinary and equivariant homologies as modules over the cohomology of the base, identify the…

For an endomorphism s of R with s^{t}=1 we prove that the truncated polynomial ring (algebra) R[w,s]/(w^{t}) embeds into M_{t}(R[z]/(z^{t})). For an involution we exhibit an embedding of R into M_{2,1}^{s}(R), where M_{2,1}^{s}(R) is the…

In this paper, by utilizing Wang's Harnack inequality with power and the Banach fixed point theorem, the weak well-posedness for McKean-Vlasov SDEs with integrable drift is investigated. In addition, using the decoupled method, some…

Let $\sigma_i$, $i=1,\ldots,n$, denote positive Borel measures on $\mathbb{R}^d$, let $\mathcal{D}$ denote the usual collection of dyadic cubes in $\mathbb{R}^d$ and let $K:\,\mathcal{D}\to[0,\infty)$ be a~map. In this paper we give…

In this paper the lightface $\Pi^{1}_{1}$-Comprehension axiom is shown to be proof-theoretically strong even over $\mbox{RCA}_{0}^{*}$, and we calibrate the proof-theoretic ordinals of weak fragments of the theory $\mbox{ID}_{1}$ of…

Counterfactual explanations describe how to modify a feature vector in order to flip the outcome of a trained classifier. Obtaining robust counterfactual explanations is essential to provide valid algorithmic recourse and meaningful…

By quantizing the generalized Drinfeld-Sokolov reduction scheme for arbitrary $sl_2$ embeddings we show that a large set $\cal W$ of quantum W algebras can be viewed as (BRST) cohomologies of affine Lie algebras. The set $\cal W$ contains…