Related papers: Effective descent morphisms of ordered families
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, mor-phisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives…
In mixed finite element approximations of Hodge Laplace problems associated with the de Rham complex, the exterior derivative operators are computed exactly, so the spatial locality is preserved. However, the numerical approximations of the…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…
Using the procedure initiated in \cite{Ma2013}, we deform Lax-type equations though a scaling of the time parameter. This gives an equivalent (deformed) equation which is integrable in terms of power series of the scaling parameter. We then…
We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local…
We investigate the low-lying zeros in families of $L$-functions attached to quadratic and cubic twists of elliptic curves defined over $\mathbb{F}_q(T)$. In particular, we present precise expressions for the expected values of traces of…
For fixed large genus, we construct families of complete immersed minimal surfaces in R3 with four ends and dihedral symmetries. The families exist for all large genus and at an appropriate scale degenerate to the plane.
We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein,…
We show that the weakly \'etale morphisms, used to define the pro-\'etale site of a scheme, are characterized by a lifting property similar to the one which characterizes formally \'etale morphisms. In order to prove this, we prove a…
We introduce a new class of structured symmetric matrices by extending the notion of perfect elimination ordering from graphs to weighted graphs or matrices. This offers a common framework capturing common vertex elimination orderings of…
A fundamental question in Dynamical Systems is to identify regions of phase/parameter space satisfying a given property (stability, linearization, etc). Given a family of analytic circle diffeomorphisms depending on a parameter, we obtain…
We prove that linearizing certain families of polynomial optimization problems leads to new functorial operations in real convex sets. We show that under some conditions these operations can be computed or approximated in ways amenable to…
We study infinite words fixed by a morphism and their derived words. A derived word is a coding of return words to a factor. We exhibit two examples of sets of morphisms which are closed under derivation --- any derived word with respect to…
In this manuscript, we address continuous unconstrained multi-objective optimization problems and we discuss descent type methods for the reconstruction of the Pareto set. Specifically, we analyze the class of Front Descent methods, which…
In this work we prove that if $X$ is a complete locally convex space and $f:X\to \mathbb{R}\cup \{+\infty \}$ is a function such that $f-x^\ast$ attains its minimum for every $x^\ast \in U$, where $U$ is an open set with respect to the…
A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either…
Integrity constraints (ICs) provide a valuable tool for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming,…
In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a…
Toric posets are cyclic analogues of finite posets. They can be viewed combinatorially as equivalence classes of acyclic orientations generated by converting sources into sinks, or geometrically as chambers of toric graphic hyperplane…