Related papers: Developing Takeuti-Yasumoto forcing
We propose a novel a posteriori error estimator for conforming finite element discretizations of two- and three-dimensional Helmholtz problems. The estimator is based on an equilibrated flux that is computed by solving patchwise mixed…
We prove quasi-monotonicity formulas for classical obstacle-type problems with energies being the sum of a quadratic form with Lipschitz coefficients, and a H\"older continuous linear term. With the help of those formulas we are able to…
We give an exposition of an iteration theorem for iterating $(<\lambda)$-closed stationary $\lambda^+$-cc forcing with supports of size $<\lambda$ and preserving these two properties. We discuss the relation of this theorem with other…
Our main theorem is an extension of the well-known Mizoguchi-Takahaashi's fixed point theorem [N. Mizogochi and W. Takahashi, Fixed point theorems for multi-valued mappings on complete metric space, {\it J. Math. Anal. Appl.} 141 (1989)…
The extended Hamilton's Principle and other methods proposed to handle non-holonomic constraints are considered. They dont agree with each other. By looking at its consistency with D'Alembert's principle for linear non-holonomic…
We study a mathematical model of a compressible viscous fluid driven by stochastic forces under slip boundary conditions of friction type. We introduce a notion of a weak solution that is analytically and probabilistically consistent with…
Du, Kakade, Wang, and Yang recently established intriguing lower bounds on sample complexity, which suggest that reinforcement learning with a misspecified representation is intractable. Another line of work, which centers around a…
We compute the Yamabe invariants for a new infinite class of closed $4$-dimensional manifolds by using a "twisted" version of the Seiberg-Witten equations, the $\mathrm{Pin}^-(2)$-monopole equations. The same technique also provides a new…
Let $K/k$ be an extension of number fields. We describe theoretical results and computational methods for calculating the obstruction to the Hasse norm principle for $K/k$ and the defect of weak approximation for the norm one torus…
We give short, closure-theoretic proofs for uniform bounds on the growth of symbolic powers of ideals in regular rings. The author recently proved these bounds in mixed characteristic using various versions of perfectoid/big Cohen-Macaulay…
The method of double extension, introduced by A.~Medina and Ph.~Revoy, is a procedure which decomposes a Lie algebra with an invariant symmetric form into elementary pieces. Such decompositions were developed for other algebras, for…
In 2005, H{\o}yer and \v{S}palek showed that constant-depth quantum circuits augmented with multi-qubit Fanout gates are quite powerful, able to compute a wide variety of Boolean functions as well as the quantum Fourier transform. They also…
In the present survey, we consider the classical reinforcement problem for elliptic boundary value problems originally studied by Sanchez-Palencia in 1969. We focus on the seminar papers by Brezis, Caffarelli, & Friedman, and by Acerbi &…
We present three methods to construct majorizing measures in various settings. These methods are based on direct constructions of increasing sequences of partitions through a simple exhaustion procedure rather than on the construction of…
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses. We demonstrate polynomial-size refutations for…
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equations, Cousot and Cousot have suggested accelerated fixpoint…
We suggest a further generalization of the hypergeometric-like series due to M. Noumi and J. Shiraishi by substituting the Pochhammer symbol with a nearly arbitrary function. Moreover, this generalization is valid for the entire Shiraishi…
A two-component generalization of the Camassa-Holm equation and its reduction proposed recently by Xue, Du and Geng [Appl. Math. Lett. {\bf 146} (2023) 108795] are studied. For this two-component equation, its missing bi-Hamiltonian…
In this paper, we introduce several classes of Prikry-type forcing notions, two of which are used to produce minimal generic extensions, and the third is applied in $\alpha$-recursion theory to produce minimal covers. The first forcing as a…
We give a new Littlewood-Richardson rule for the Schubert structure coefficients of isotropic Grassmannians, equivalently for the multiplication of $P$-Schur functions. Serrano (2010) previously gave a formula in terms of classes in his…