Related papers: A new model for all $C$-sequences are trivial
Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed…
Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…
Although the CSP (constraint satisfaction problem) is NP-complete, even in the case when all constraints are binary, certain classes of instances are tractable. We study classes of instances defined by excluding subproblems. This approach…
We show that the free module of infinite rank $R^{(\kappa)}$ purely embeds every $\kappa$-generated flat left $R$-module iff $R$ is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we…
For substructural logics with contraction or weakening admitting cut-free sequent calculi, proof search was analyzed using well-quasi-orders on $\mathbb{N}^d$ (Dickson's lemma), yielding Ackermannian upper bounds via controlled bad-sequence…
We introduce a class of self-interacting scalar theories in which the various coupling contants obey a recursive relation. These imply a particularly simple form for the generating function of the Feynman amplitudes with vanishing external…
We analyze two recent models based on the gauge group SU(3)$_c\times$SU(3)$_L\times$U(1)$_N$ where each generation is not anomaly-free, but anomaly cancels when three generations are taken into account. We show that the most general Yukawa…
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…
We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
The concentration compactness framework for semilinear elliptic equations without compactness, set originally by P.-L.Lions for constrained minimization in the case of homogeneous nonlinearity, is extended here to the case of general…
We construct non-flat minimal capillary cones with bi-orthogonal symmetry groups for any dimension and contact angle. These cones interpolate between rescalings of a singular solution to the one-phase problem and the free-boundary cone…
We prove the following result of Bondal's: that there is a fully faithful embedding $\kappa$ of the perfect derived category of a proper toric variety into the derived category of constructible sheaves on a compact torus. We compare this…
We are concerned with the global weak continuity of the Cartan structural system -- or equivalently, the Gauss--Codazzi--Ricci system -- on semi-Riemannian manifolds with lower regularity. For this purpose, we first formulate and prove a…
In this paper, we investigate adaptive nonlinear regression and introduce tree based piecewise linear regression algorithms that are highly efficient and provide significantly improved performance with guaranteed upper bounds in an…
We present a model-based derivative-free method for optimization subject to general convex constraints, which we assume are unrelaxable and accessed only through a projection operator that is cheap to evaluate. We prove global convergence…
We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…
We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…
We construct a family of canonical connections and surrounding basic theory for almost complex manifolds that are equipped with an affine connection. This framework provides a uniform approach to treating a range of geometries. In…
A forcing set $S$ in a combinatorial problem is a set of elements such that there is a unique solution that contains all the elements in $S$. An anti-forcing set is the symmetric concept: a set $S$ of elements is called an anti-forcing set…