Related papers: Bounded Martin's Maximum with Many Witnesses

For a fixed finite solvable group $G$ and number field $K$, we prove an upper bound for the number of $G$-extensions $L/K$ with restricted local behavior (at infinitely many places) and ${\rm inv}(L/K)<X$ for a general invariant $"{\rm…

Offline reinforcement learning and offline inverse reinforcement learning aim to recover near-optimal value functions or reward models from a fixed batch of logged trajectories, yet current practice still struggles to enforce Bellman…

We study the problem of minimizing the second Dirichlet eigenvalue for the Laplacian operator among sets of given perimeter. In two dimensions, we prove that the optimum exists, is convex, regular, and its boundary contains exactly two…

We consider mechanical systems on $T^*M$ with possibly irregular and reducible first class contraints linear in the momenta, which thus correspond to singular foliations on $M$. According to a recent result, the latter ones have a…

In this work, a convergence lemma for function $f$ being finite compositions of analytic mappings and the maximum operator is proved. The lemma shows that the set of $\delta$-stationary points near an isolated local minimum point $x^*$ is…

We obtain a necessary and sufficient condition for the orthomartingale-coboundary decomposition. We establish a sufficient condition for the approximation of the partial sums of a strictly stationary random fields by those of stationary…

We show that many principles of first-order arithmetic, previously only known to lie strictly between $\Sigma_1$-induction and $\Sigma_2$-induction, are equivalent to the well-foundedness of $\omega^\omega$. Among these principles are the…

We consider the problem of the minimizer constancy in the fractional embedding theorem $\mathcal{H}^s(\Omega) \hookrightarrow L_q(\Omega)$ for a bounded Lipschitz domain $\Omega,$ depending on the domain size. For the family of domains…

In this work we prove that given an open bounded set $\Omega \subset \mathbb{R}^2$ with a $C^2$ boundary, there exists $\epsilon := \epsilon(\Omega)$ small enough such that for all $0 < \delta < \epsilon$ the maximum of $\{\lambda_1(\Omega…

The classical parametric and semiparametric Bernstein -- von Mises (BvM) results are reconsidered in a non-classical setup allowing finite samples and model misspecification. In the case of a finite dimensional nuisance parameter we obtain…

We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a…

We are going to prove that if the theory of a structure $\mathcal M=\langle \mathbb{N}, \Sigma \rangle$ is decidable and the standard order $<$ on natural numbers $\mathbb{N}$ is definable in $\mathcal M$, then there is a nontrivial…

In the present paper, the maximum principle for finite horizon state constrained problems from the book by R. Vinter [\textit{Optimal Control}, Birkh\"auser, Boston, 2000; Theorem~9.3.1] is analyzed via parametric examples. The latter has…

The maxima and the minima of a randomly stopped sample of a random variable, $X$, together with two newly defined random variables that make $X$ into the maxima or minima of a randomly stopped sample of them, can be used to define…

In this paper we disprove the following conjectured generalization of the Contraction Mapping Theorem (due to J.D. Stein Jr.): Let X be a complete metric space and let F be a finite family of self-maps of X. Suppose there is a postive…

This paper establishes a central limit theorem and an invariance principle for a wide class of stationary random fields under natural and easily verifiable conditions. More precisely, we deal with random fields of the form $X_k =…

In this work, we consider static manifolds $M$ with nonempty boundary $\partial M$. In this case, we suppose that the potential $V$ also satisfies an overdetermined Robin type condition on $\partial M$. We prove a rigidity theorem for the…

Assuming that there is a stationary set in $\omega_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most…

Let $S \subset \mathbb{R}^n$ have size $|S| > \ell^{2^n-1}$. We show that there are distinct points $\{x^1,..., x^{\ell+1}\} \subset S$ such that for each $i \in [n]$, the coordinate sequence $(x^j_i)_{j=1}^{\ell+1}$ is strictly increasing,…

We prove the existence of Riesz bases of exponentials of L^2(Omega), provided that Omega in R^d is a measurable set of finite and positive measure, not necessarily bounded, that satisfies a multi-tiling condition and an arithmetic property…