Related papers: Developing Takeuti-Yasumoto forcing
We prove that if there exists a simplified $(\omega_1,2)$-morass, then there is a ccc forcing which adds an $\omega_3$-chain in P($\omega_1$) mod finite and a ccc forcing which adds a family of $\omega_3$-many strongly almost disjoint…
Machine-learning based methods like physics-informed neural networks and physics-informed neural operators are becoming increasingly adept at solving even complex systems of partial differential equations. Boundary conditions can be…
In this paper we discuss a general framework based on symplectic geometry for the study of second order conditions in constrained variational problems on curves. Using the notion of L-derivatives we construct Jacobi curves, which represent…
A Nikishin-Maurey characterization is given for bounded subsets of weak-type Lebesgue spaces. New factorizations for linear and multilinear operators are shown to follow.
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…
Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via forward-reverse bisimilarity as well as its two components,…
In planar maximally supersymmetric Yang-Mills, we can compute three-point functions at weak coupling using the so-called hexagonalization formalism. The main objects in this framework are called hexagons. We are interested in two sectors of…
In this paper we prove an extreme value law for a stochastic process obtained by iterating the R\'enyi map $x \mapsto \beta x \pmod 1$, where we assume that $\beta>1$ is an integer. Haiman (2018) derived a recursion formula for the Lebesgue…
Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that…
We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory $\mathrm{APC}_2$ of…
Associated to each random variable $Y$ having a finite moment generating function, we introduce a different generalization of the Stirling numbers of the second kind. Some characterizations and specific examples of such generalized numbers…
We investigate local-global principles for multinorm equations over a global field. To this extent, we generalize work of Drakokhrust and Platonov to provide explicit and computable formulae for the obstructions to the Hasse principle and…
In Changjun Fan et al. [Nature Communications https://doi.org/10.1038/s41467-023-36363-w (2023)], the authors present a deep reinforced learning approach to augment combinatorial optimization heuristics. In particular, they present results…
In this note, we reconcile two approaches that have been used to construct stringy multiplications. The pushing forward after pulling back that has been used to give a global stringy extension of the functors K_0,K^{top},A^*,H^* [CR, FG,…
Suzuki-Trotter decompositions of exponential operators like $\exp(Ht)$ are required in almost every branch of numerical physics. Often the exponent under consideration has to be split into more than two operators, for instance as local…
We investigate two dimensional supergravity theories, which can be built from a topological and gauge invariant action defined on an ordinary surface. We concentrate on four models. The first model is the $N=1$ supersymmetric extension of…
From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $\beta$ and the greedy $\beta$-transformation. In this paper, we consider different…
Using ``Tate's algorithm,'' we identify loci in the moduli of F-theory compactifications corresponding to enhanced gauge symmetry. We apply this to test the proposed F-theory/heterotic dualities in six dimensions. We recover the…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
We study Tamagawa numbers and other invariants (especially Tate-Shafarevich sets) attached to commutative and pseudo-reductive groups over global function fields. In particular, we prove a simple formula for Tamagawa numbers of commutative…