Related papers: A new model for all $C$-sequences are trivial

We develop tractable convex relaxations for rank-constrained quadratic optimization problems over $n \times m$ matrices, a setting for which tractable relaxations are typically only available when the objective or constraints admit spectral…

We analyze a countable support product of a free Suslin tree which turns it into a highly rigid Kurepa tree with no Aronszajn subtree. In the process, we introduce a new rigidity property for trees, which says roughly speaking that any…

Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal…

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…

We introduce and study a new topology on trees, that we call the countably coarse wedge topology. Such a topology is strictly finer than the coarse wedge topology and it turns every chain complete, rooted tree into a Fr\'echet--Urysohn,…

Let M be a closed enlargeable spin manifold. We show non-triviality of the universal index obstruction in the K-theory of the maximal $C^*$-algebra of the fundamental group of M. Our proof is independent from the injectivity of the…

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k < \omega$ and for finite sets of real elements. Now suppose that, in…

We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even when we allow $\epsilon$-contractions and add a reachability predicate (with regular constraints) for pairs of configurations, the structures…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…

It is shown that every normalized weakly null sequence of length $\kappa_{\lambda}$ in a Banach space has a subsequence of length $\lambda$ which is an unconditional basic sequence; here $\kappa_{\lambda}$ is a large cardinal depending on a…

We propose a new approach to model composition, based on reducing several models to the same level of complexity and subsequent combining them together. Firstly, we suggest a set of model reduction tools that can be systematically applied…

We prove that any suitable generalization of Laver forcing to the space $ \kappa^\kappa$, for uncountable regular $\kappa$, necessarily adds a Cohen $\kappa$-real. We also study a dichotomy and an ideal naturally related to generalized…

We formulate as an inverse problem the construction of sparse parametric continuous curve models that fit a sequence of contour points. Our prior is incorporated as a regularization term that encourages rotation invariance and sparsity. We…

Let $(X,g)$ be a compact Riemannian manifold with quasi-positive Riemannian scalar curvature. If there exists a complex structure $J$ compatible with $g$, then the canonical bundle $K_X$ is not pseudo-effective and the Kodaira dimension…

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

The asymmetric simple exclusion process and its analysis by mode coupling theory (MCT) is reviewed. To treat the weakly asymmetric case at large space scale $x\varepsilon^{-1}$, %(corresponding to small Fourier momentum at scale…

A multiobjective optimization problem is simplicial if the Pareto set and front are homeomorphic to a simplex and, under the homeomorphisms, each face of the simplex corresponds to the Pareto set and front of a subproblem. In this paper, we…

A tree ${\mathbb T} =\langle T\leq \rangle$ is reversible iff there is no order $\preccurlyeq \;\varsubsetneq \;\leq $ such that ${\mathbb T} \cong \langle T ,\preccurlyeq\rangle$. Using a characterization of reversibility via back and…

The realization of a nonlocal quantum field theory without losing unitarity, gauge invariance and causality is investigated. It is commonly retained that such a formulation is possible at tree level, but at quantum level acausality…