Related papers: Tropical Analysis: With an Application to Indivisi…

This is the first part of a possible monograph on the duality of Markov processes. It contains a proof of Fitzsimmons' existence theorem of a moderate Markov dual process relative to an excessive measure, m, together with the necessary…

We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an…

Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence it is proved the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproduct are…

There is a duality theory connecting certain stochastic orderings between cumulative distribution functions F_1,F_2 and stochastic orderings between their inverses F_1^(-1),F_2^(-1). This underlies some theories of utility in the case of…

We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…

We show that Lurie's results on Tannaka duality for geometric stacks hold without any tameness hypotheses. We deduce this as a consequence of an affineness theorem in the theory of sheaves of categories. This affineness result is also…

We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…

In \cite{Miller-Akin1999}, Miller and Akin investigated the invariant measures for correspondences, which are also known as upper semi-continuous set-valued maps. Recently, the variational principle and thermodynamic formalism for forward…

This paper studies convex duality in optimal investment and contingent claim valuation in markets where traded assets may be subject to nonlinear trading costs and portfolio constraints. Under fairly general conditions, the dual expressions…

We present an existence theorem for a large class of nonlinearly elastic shells with low regularity in the framework of a two-dimensional theory involving the mean and Gaussian curvatures. We restrict our discussion to hyperelastic…

We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices,…

We study the budget map and the indirect utility function of a parametric consumer problem in a Banach space setting by some advanced tools from set-valued and variational analysis. The Lipschitz-likeness and differentiability properties of…

It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while the…

We establish a Fenchel-Moreau type theorem for proper convex functions $f\colon X\to \bar{L}^0$, where $(X, Y, \langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\bar L^0$ is the space of all extended real-valued functions…

We introduce the basic concepts related to subharmonic functions and potentials, mainly for the case of the complex plane and prove the Riesz decomposition theorem. Beyond the elementary facts of the theory we deviate slightly from the…

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…

Inspired by the work of Cordero-Erausquin, McCann and Schmuckenschl\"ager [{\it Invent. Math.,} 2001], we derive an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, establishing a relationship…

As a generic model for transport of interacting fermions through a barrier or interstitials in a lattice, quantum Brownian motion in a periodic potential is studied. There is a duality transformation between the continuous coordinate or…

We consider the Lagrangian formulation with duplicated variables of dissipative mechanical systems. The application of Noether theorem leads to physical observable quantities which are not conserved, like energy and angular momentum, and…

We give a complete description of Green's D relation for the multiplicative semigroup of all n-by-n tropical matrices. Our main tool is a new variant on the duality between the row and column space of a tropical matrix (studied by Cohen,…