Related papers: The Brouwer invariance theorems in reverse mathema…
We consider Brans-Dicke (BD) scalar tensor theory in the conformally transformed Einstein frame. In this frame BD theory behaves like an interacting quintessence model. We find the necessary conditions on the form of the potential…
We study optimization problems in which a linear functional is maximized over probability measures that are dominated by a given measure according to an integral stochastic order in an arbitrary dimension. We show that the following four…
We define a hierarchy of circuit complexity classes LD^i, whose depth are the inverse of a function in Ackermann hierarchy. Then we introduce extremely weak versions of length induction and construct a bounded arithmetic theory L^i_2 whose…
L\'evy's Upward Theorem says that the conditional expectation of an integrable random variable converges with probability one to its true value with increasing information. In this paper, we use methods from effective probability theory to…
When a $4D$ supersymmetric theory is placed on $S^3 \times \mathbb{R}$, the supersymmetric algebra is necessarily modified to $su(2|1)$ and we are dealing with a weak supersymmetric system. For such systems, the excited states of the…
This paper is concerned about the inverse coefficient problems of variable-coefficient fractional Schr\"{o}dinger equations with drift on connected closed Riemannian manifolds. We prove that the knowledge of the underlying equation of order…
The Theorem on Invariance of Domain due to L.E.J. Brouwer states that one connected, compact (Hausdorff) m-dimensional manifold embedded into another actually realizes a homeomorphism. This fundamental result is relevant to Functional…
We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural…
For a Gaussian process $X$ and smooth function $f$, we consider a Stratonovich integral of $f(X)$, defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on $X$ such that the sequence converges…
We examine the structure of the insertion-elimination Lie algebra on rooted trees introduced in \cite{CK}. It possesses a triangular structure $\g = \n_+ \oplus \mathbb{C}.d \oplus \n_-$, like the Heisenberg, Virasoro, and affine algebras.…
The formulation of the non-linear sigma model in terms of flat connection allows the construction of a perturbative solution of a local functional equation encoding the underlying gauge symmetry. In this paper we discuss some properties of…
We prove quantitative bounds for the inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$. The proof starts from an earlier partial result of Gowers and the author which reduces the inverse…
We consider the inverse problem of the reconstruction of a Schr\"odinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $\Gamma$ and the eigenvalues corresponding to a set…
In this work, we revisit the study by M. E. Schonbek [11] concerning the problem of existence of global entropic weak solutions for the classical Boussinesq system, as well as the study of the regularity of these solutions by C. J. Amick…
Inverse design of morphing slender structures with programmable curvature has significant applications in various engineering fields. Most existing studies formulate it as an optimization problem, which requires repeatedly solving the…
Using the technique of inductive resolution introduced in arXiv:2303.07979, we prove that the homology of Rook-Brauer Algebra, interpreted as appropriate Tor-group, is isomorphic to that of symmetric group for all degrees under the…
We show that over the weak base theory $\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\mathrm{I}^0_1$, which is the intersection of all $\Sigma^0_1$-definable…
Weyl theory for a non-classical system depending rationally on the spectral parameter is treated. Borg-Marchenko-type uniqueness theorem is proved. The solution of the inverse problem is constructed. An application to sine-Gordon equation…
More than a century ago, L. E. J. Brouwer proved a famous theorem, which says that any orientation preserving homeomorphism of the plane having a periodic point must have a fixed point. In recent years, there are still some authors giving…
We construct some irreducible representations of the Leavitt path algebra of an arbitrary quiver. The constructed representations are associated to certain algebraic branching systems. For a row-finite quiver, we classify algebraic…