相关论文: BMM is stronger than BSPFA

The larger the distance to instability from a matrix is, the more robustly stable the associated autonomous dynamical system is in the presence of uncertainties and typically the less severe transient behavior its solution exhibits.…

We study the category Cstabm of measurable cones and measurable stable functions, which is a denotational model of an higher-order language with continuous probabilities and full recursion. We look at Cstabm as a model for discrete…

The measurement of $B_s$-meson branching fractions is a fundamental tool to probe physics beyond the Standard Model. Every measurement of untagged time-integrated $B_s$-meson branching fractions is model-dependent due to the time dependence…

Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all…

We study a generalization of the classical stable matching problem that allows for cardinal preferences (as opposed to ordinal) and fractional matchings (as opposed to integral). After observing that, in this cardinal setting, stable…

We provide, for any regular uncountable cardinal $\kappa$, a new argument for Pincus' result on the consistency of $\mathrm{ZF}$ with the higher dependent choice principle $\mathrm{DC}_{<\kappa}$ and the ordering principle in the presence…

We consider a class of spontaneously broken $SU(2)$ gauge theories with adjoint scalar and look for exact magnetic monopole solutions in the Bogomol'nyi-Prasad-Sommerfield (BPS) limit. We find that some of the resulting solutions exhibit a…

Maximizing monotone submodular functions under cardinality constraints is a classic optimization task with several applications in data mining and machine learning. In this paper we study this problem in a dynamic environment with…

We present a layered Boltzmann machine (BM) that can better exploit the advantages of a distributed representation. It is widely believed that deep BMs (DBMs) have far greater representational power than its shallow counterpart, restricted…

The machine learning (ML) techniques to predict unitarity (UNI) and bounded from below (BFB) constraints in multi-scalar models is employed. The effectiveness of this approach is demonstrated by applying it to the two and three Higgs…

We cardinally and ordinally rank distribution functions (CDFs). We present a new class of statistics, maximal adjusted quantiles, and show that a statistic is invariant with respect to cardinal shifts, preserves least upper bounds with…

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one…

In this paper, we will prove a very general result of stability for perturbations of linear integrable Hamiltonian systems, and we will construct an example of instability showing that both our result and our example are optimal. Moreover,…

Fixed point theorems are ubiquitous in economic research. Many studies cite Smithson (1971) ``Fixed points of order preserving multifunctions,'' yet the original proof contains errors. This note presents a new, concise proof and explains…

Structural models that admit multiple reduced forms, such as game-theoretic models with multiple equilibria, pose challenges in practice, especially when parameters are set-identified and the identified set is large. In such cases,…

We study the well-posedness of general reflected BSDEs driven by a continuous martingale, when the coefficient f of the driver has at most quadratic growth in the control variable Z, with a bounded terminal condition and a lower obstacle…

We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…

We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$. This answers a question from the 1990's and amalgamates two prominent axioms of set theory which were both known to imply that there are $\aleph_2$…

A model M of cardinality lambda is said to have the small index property if for every G subseteq Aut(M) such that [Aut(M):G] <= lambda there is an A subseteq M with |A|< lambda such that Aut_A(M) subseteq G. We show that if M^* is a…

We force over the constructible universe to obtain a model of the $\Pi^1_3$-reduction property, thus lowering the best known large cardinal strength from the existence of $M_1^{\#}$ to just ZFC. In this model the $\Pi^1_3$-uniformization…