相关论文: Lax Liftings and Lax Distributive Laws

In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization…

This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are…

An alternative method of constructing the formal diagonalization for the discrete Lax operators is proposed which can be used to calculate conservation laws and in some cases generalized symmetries for discrete dynamical systems. Discrete…

Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can…

We consider conditional transition systems, that model software product lines with upgrades, in a coalgebraic setting. By using Birkhoff's duality for distributive lattices, we derive two equivalent Kleisli categories in which these…

Understanding posterior contraction behavior in Bayesian hierarchical models is of fundamental importance, but progress in this question is relatively sparse in comparison to the theory of density estimation. In this paper, we study two…

In this work a theory is developed for unifying large classes of nonlinear discrete-time dynamical systems obeying a superposition of a weighted maximum or minimum type. The state vectors and input-output signals evolve on nonlinear spaces…

The Softmax function on top of a final linear layer is the de facto method to output probability distributions in neural networks. In many applications such as language models or text generation, this model has to produce distributions over…

The aim of this work is focused on linearizing and found the Lax Pairs of the algebraic complete integrability (a.c.i) Toda lattice associated with the twisted affine Lie algebra \(a_4^{\left(2\right)}\). Firstly, we recall that our case of…

Normal endomorphisms of von Neumann algebras need not be extendable to automorphisms of a larger von Neumann algebra, but they always have asymptotic lifts. We describe the structure of endomorphisms and their asymptotic lifts in some…

We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax…

Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

It is known that the set of all solutions of a commutant lifting and other interpolation problems admits a Redheffer linear-fractional parametrization. The method of unitary coupling identifies solutions of the lifting problem with minimal…

Delta lenses are functors equipped with a suitable choice of lifts, and are used to model bidirectional transformations between systems. In this paper, we construct an algebraic weak factorisation system whose R-algebras are delta lenses.…

This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of…

We give a generalization of the Beurling-Lax theorem both in the complex and quaternionic settings. We consider in the first case functions meromorphic in the right complex half-plane, and functions slice hypermeromorphic in the right…

The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…

This paper contributes to the theory of cutting planes for mixed integer linear programs (MILPs). Minimal valid inequalities are well understood for a relaxation of an MILP in tableau form where all the nonbasic variables are continuous;…

In this paper, a new lattice concept called the locally symmetric lattice is proposed for storage ring light sources. In this new lattice, beta functions are made locally symmetric about two mirror planes of the lattice cell, and the phase…