Linear logic in normed cones: probabilistic coherence spaces and beyond

Ehrhard et al. (2018. Proceedings of the ACM on Programming Languages, POPL 2, Article 59.) proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces (PCSs). However, unlike the case of PCSs, it remained unclear if the model could be refined to a model of classical linear logic. In this work, we consider a somewhat similar category which gives indeed a coordinate-free model of full propositional linear logic with nondegenerate interpretation of additives and sound interpretation of exponentials. Objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone weak limits, and morphisms are bounded (adjointable) positive maps. Norms allow us a distinct interpretation of dual additive connectives as product and coproduct. Exponential connectives are modeled using real analytic functions and distributions that have representations as power series with positive coefficients. Unlike the familiar case of PCSs, there is no reference or need for a preferred basis; in this sense the model is invariant. PCSs form a full subcategory, whose objects, seen as posets, are lattices. Thus, we get a model fitting in the tradition of interpreting linear logic in a linear algebraic setting, which arguably is free from the drawbacks of its predecessors.

-modules on rigid analytic spaces III: weak holonomicity and operations

We develop a dimension theory for coadmissible $\widehat {\mathcal {D}}$ -modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic $\mathcal {D}$ -modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinite-dimensional fibres). We prove stability results for closed immersions and the duality functor, and show that all higher direct images of integrable connections restricted to a Zariski open subspace are coadmissible of minimal dimension. It follows that the local cohomology sheaves $\underline {H}^{i}_Z(\mathcal {M})$ with support in a closed analytic subset $Z$ of $X$ are also coadmissible of minimal dimension for any integrable connection $\mathcal {M}$ on $X$ .

TWISTS, CROSSED PRODUCTS AND INVERSE SEMIGROUP COHOMOLOGY

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists. We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.

Ring-theoretic (In)finiteness in reduced products of Banach algebras

We study ring-theoretic (in)finiteness properties—such as Dedekind-finiteness and proper infiniteness—of ultraproducts (and more generally, reduced products) of Banach algebras. While we characterise when an ultraproduct has these ring-theoretic properties in terms of its underlying sequence of algebras, we find that, contrary to the $C^*$ -algebraic setting, it is not true in general that an ultraproduct has a ring-theoretic finiteness property if and only if “ultrafilter many” of the underlying sequence of algebras have the same property. This might appear to violate the continuous model theoretic counterpart of Łoś’s Theorem; the reason it does not is that for a general Banach algebra, the ring theoretic properties we consider cannot be verified by considering a bounded subset of the algebra of fixed bound. For Banach algebras, we construct counter-examples to show, for example, that each component Banach algebra can fail to be Dedekind-finite while the ultraproduct is Dedekind-finite, and we explain why such a counter-example is not possible for $C^*$ -algebras. Finally, the related notion of having stable rank one is also studied for ultraproducts.

On the Optimal Efficiency of Cost-Algebraic A*

Edelkamp et al. (2005) proved that A*, given an admissible heuristic, is guaranteed to return an optimal solution in any cost algebra, not just in the traditional shortest path setting. In this paper, we investigate cost-algebraic A*’s optimal efficiency: in the cost-algebraic setting, under what conditions is A* guaranteed to expand the fewest possible states? In the traditional setting, this question was examined in detail by Dechter & Pearl (1985). They identified five different situations in which A* was optimally efficient. We show that three of them continue to hold in the cost-algebraic setting, but that one does not. We also show that one of them is false, it does not hold even in the traditional setting. We introduce an alternative that does hold in the cost-algebraic setting. Finally, we show that a well-known result due to Nilsson does not hold in the general cost-algebraic setting but does hold in a slightly less general setting.

The Primal-Dual Active Set Method for a Class of Nonlinear Problems with T-Monotone Operators

The family of primal-dual active set methods is drawing more attention in scientific and engineering applications due to its effectiveness and robustness for variational inequality problems. In this work, we introduce and study a primal-dual active set method for the solution of the variational inequality problems with T-monotone operators. We show that the sequence generated by the proposed method globally and monotonously converges to the unique solution of the variational inequality problem. Moreover, the convergence rate of the proposed scheme is analyzed under the framework of the algebraic setting; i.e., the established convergence results show that the iteration number of the methods is bounded by the number of the unknowns. Finally, numerical results show that the efficiency can be achieved by the primal-dual active set method.