Related papers: Quantitative stratification for some free-boundary…
We study almost minimizers for the thin obstacle problem with variable H\"older continuous coefficients and zero thin obstacle and establish their $C^{1,\beta}$ regularity on the either side of the thin space. Under an additional assumption…
An open question contributed by Yu. Orlov to a recently published volume "Unsolved Problems in Mathematical Systems and Control Theory", V.D. Blondel, A. Megretski (eds), Princeton Univ. Press, 2004, concerns regularization of optimal…
We relate the (anisotropic) variable coefficient local and nonlocal Calder\'on problems by means of the Caffarelli-Silvestre extension. In particular, we prove that (partial) Dirichlet-to-Neumann data for the fractional Calder\'on problem…
We study the boundary of an affine invariant submanifold of a stratum of translation surfaces in a partial compactification consisting of all finite area Abelian differentials over nodal Riemann surfaces, modulo zero area components. The…
We mainly discuss superquadratic minimization problems for splitting-type variational integrals on a bounded Lipschitz domain $\Omega \subset \mathbb{R}^2$ and prove higher integrability of the gradient up to the boundary by incorporating…
The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance.…
We study the higher regularity of free boundaries in obstacle problems for integro-differential operators. Our main result establishes that, once free boundaries are $C^{1,\alpha}$, then they are $C^\infty$. This completes the study of…
We define twelve variants of a Reifenberg's affine approximation property, which are known to be connected with the singular sets of minimal surfaces. With this motivation we investigate the regularity of the sets possessing these. We…
I suggest that the current situation in quantum field theory (QFT) provides some reason to question the universal validity of ontological reductionism. I argue that the renormalization group flow is reversible except at fixed points, which…
We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that…
For a vectorial Bernoulli-type free boundary problem, with no sign assumption on the components, we prove that flatness of the free boundary implies $C^{1,\alpha}$ regularity, as well-known in the scalar case \cite{AC,C2}. While in…
A new scheme is proposed for dealing with the problem of singularities in General Relativity. The proposal is, however, much more general than this. It can be used to deal with manifolds of any dimension which are endowed with nothing more…
We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $\Omega$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are…
Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus…
Given a formula in quantifier-free Presburger arithmetic, if it has a satisfying solution, there is one whose size, measured in bits, is polynomially bounded in the size of the formula. In this paper, we consider a special class of…
Local volume-constrained minimizers in anisotropic capillarity problems develop free boundaries on the walls of their containers. We prove the regularity of the free boundary outside a closed negligible set, showing in particular the…
This paper considers the optimization problem in the form of $\min_{X \in \mathcal{F}_v} f(x) + \lambda \|X\|_1,$ where $f$ is smooth, $\mathcal{F}_v = \{X \in \mathbb{R}^{n \times q} : X^T X = I_q, v \in \mathrm{span}(X)\}$, and $v$ is a…
Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding constraints in SMT theory solvers is highly relevant. We propose…
We extend basic regularity of the free boundary of the obstacle problem to some classes of heterogeneous quasilinear elliptic operators with variable growth that includes, in particular, the $p(x)$-Laplacian. Under the assumption of…
This paper investigates a class of $p$-obstacle problems with subcritical exponents having the form \begin{align} \mathrm{div}\left( a(x)|\nabla u|^{p-2}\nabla u\right) =m_1\chi_{\{u>0\}}-m_2u^{\lambda-1}\chi_{\{u>0\}} \ \text{in}\…