Related papers: Projective Wellorders and the Nonstationary Ideal
We consider nonlinear optimization problems that involve surrogate models represented by neural networks. We demonstrate first how to directly embed neural network evaluation into optimization models, highlight a difficulty with this…
An $\mathcal{F}$-saturated $r$-graph is a maximal $r$-graph not containing any member of $\mathcal{F}$ as a subgraph. Let $\mathcal{K}_{\ell + 1}^{r}$ be the collection of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that…
In this paper, we study the well-posedness theory and the scattering asymptotics for the energy-critical, Schr\"odinger equation with general nonlinearity \begin{equation*} \left\{\begin{array}{l} i \partial_t u+\Delta u + f(u)=0,\ (x, t)…
A forcing poset of size 2^{2^{aleph_1}} which adds no new reals is described and shown to provide a Delta^2_2 definable well-order of the reals (in fact, any given relation of the reals may be so encoded in some generic extension). The…
Let $M$ be a tame mouse modelling ZFC. We show that $M$ satisfies "$V=\mathrm{HOD}_x$ for some real $x$", and that the restriction $\mathbb{E}\upharpoonright[\omega_1^M,\mathrm{OR}^M)$ of the extender sequence $\mathbb{E}^M$ of $M$ to…
We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth…
$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $\lambda > \text{LS} (K)$. If $K$ is categorical in $\lambda$, then the model of cardinality $\lambda$ is Galois-saturated. This…
This paper is concerned with first- and second-order optimality conditions as well as the stability for non-smooth semilinear optimal control problems involving the $L^1$-norm of the control in the cost functional. In addition to the…
We present necessary and sufficient optimality conditions for finite time optimal control problems for a class of hybrid systems described by linear complementarity models. Although these optimal control problems are difficult in general…
This paper investigates the optimal control of a bilinear damped wave equation over an infinite time horizon. We establish the well-posedness of the controlled system and derive uniform energy estimates. The existence of optimal controls is…
We study an extremal projection principle for families of operators ordered by domination, induced by fixed bounded linear mappings acting on a source with an additive baseline. Stability is defined through domination of second--order…
We consider Nehari's problem in the case of non-uniqueness of solution. The solution set is then parametrized by the unit ball of $H^{\infty}$ by means of so-called {\em regular generators} -- bounded holomorphic functions $\phi$. The…
We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are…
A set theory is developed based on the approximations of sets and denoted by AS. In AS the set of all sets exists but the argument for Russell's and Cantor's paradox fail. The Axioms of Separation, Replacement and Foundation are not valid.…
An unconventional approach for optimal stopping under model ambiguity is introduced. Besides ambiguity itself, we take into account how ambiguity-averse an agent is. This inclusion of ambiguity attitude, via an $\alpha$-maxmin nonlinear…
Mitchell's theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no stationary subset of $\omega_2 \cap \mathrm{cof}(\omega_1)$ in the approachability ideal $I[\omega_2]$. In…
We prove a sandwiching lemma for inner-exact locally compact Hausdorff \'etale groupoids. Our lemma says that every ideal of the reduced $C^*$-algebra of such a groupoid is sandwiched between the ideals associated to two uniquely defined…
We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…
It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…
Let T be a complete local (Noetherian) ring and let A be a local subring of T such that the completion of A with respect to its maximal ideal is T. We investigate the possible structures of the partially ordered set Spec(A). Specifically,…