Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Self-dual continuous processes

The important application of semi-static hedging in financial markets naturally leads to the notion of conditionally quasi self-dual processes which is, for continuous semimartingales, related to conditional symmetry properties of both their ordinary as well as their stochastic logarithms. We provide a structure result for continuous conditionally quasi self-dual processes. Our main result is to give a characterization of continuous Ocone martingales via a strong version of self-duality.

Electroelasticity of charged black branes

We present the first-order corrected dynamics of fluid branes carrying higher-form charge by obtaining the general form of their equations of motion to pole-dipole order in the absence of external forces. Assuming linear response theory, we characterize the corresponding effective theory of stationary bent charged (an)isotropic fluid branes in terms of two sets of response coefficients, the Young modulus and the piezoelectric moduli. We subsequently find large classes of examples in gravity of this effective theory, by constructing stationary strained charged black brane solutions to first order in a derivative expansion. Using solution generating techniques and bent neutral black branes as a seed solution, we obtain a class of charged black brane geometries carrying smeared Maxwell charge in Einstein-Maxwell-dilaton gravity. In the specific case of ten-dimensional space-time we furthermore use T-duality to generate bent black branes with higher-form charge, including smeared D-branes of type II string theory. By subsequently measuring the bending moment and the electric dipole moment which these geometries acquire due to the strain, we uncover that their form is captured by classical electroelasticity theory. In particular, we find that the Young modulus and the piezoelectric moduli of our strained charged black brane solutions are parameterized by a total of 4 response coefficients, both for the isotropic as well as anisotropic cases.

Exploring double field theory

We consider a flux formulation of Double Field Theory in which fluxes are dynamical and field-dependent. Gauge consistency imposes a set of quadratic constraints on the dynamical fluxes, which can be solved by truly double configurations. The constraints are related to generalized Bianchi Identities for (non-)geometric fluxes in the double space, sourced by (exotic) branes. Following previous constructions, we then obtain generalized connections, torsion and curvatures compatible with the consistency conditions. The strong constraint-violating terms needed to make contact with gauged supergravities containing duality orbits of non-geometric fluxes, systematically arise in this formulation.

Triality, periodicity and stability of SO(8) gauged supergravity

While electromagnetic duality is a symmetry of many supergravity theories, this is not the case for the N = 8 gauged theory. It was recently shown that this rotation leads to a one-parameter family of SO(8) supergravities. It is an open question what the period of this parameter is. This issue is investigated in the SO(4) invariant sectors of the theory. We classify such critical points and find a novel branch of non-supersymmetric and unstable solutions, whose embedding is related via triality to the two known ones. Secondly, we show that the three branches of solutions lead to a π/4 periodicity of the vacuum structure. The general interrelations between triality and periodicity are discussed. Finally, we comment on the connection to other gauge groups as well as the possibility to achieve (non-)perturbative stability around AdS/Mkw/dS transitions.

Scheduling the factory pick-up of new cars

Car manufacturers increasingly offer delivery programs for the factory pick-up of new cars. Such a program consists of a broad range of event-marketing activities. In this paper we investigate the problem of scheduling the delivery program activities of one day such that the sum of the customers’ waiting times is minimized. We show how to model this problem as a resource-constrained project scheduling problem with nonregular objective function, and we present a relaxation-based beam-search solution heuristic. The relaxations are solved by exploiting a duality relationship between temporal scheduling and min-cost network flow problems. This approach has been developed in cooperation with a German automaker. The performance of the heuristic has been evaluated based on practical and randomly generated test instances.

Quasi-Self-Dual Exponential Lévy Processes

The important application of semistatic hedging in financial markets naturally leads to the notion of quasi--self-dual processes. The focus of our study is to give new characterizations of quasi--self-duality. We analyze quasi--self-dual Lévy driven markets which do not admit arbitrage opportunities and derive a set of equivalent conditions for the stochastic logarithm of quasi--self-dual martingale models. Since for nonvanishing order parameter two martingale properties have to be satisfied simultaneously, there is a nontrivial relation between the order and shift parameter representing carrying costs in financial applications. This leads to an equation containing an integral term which has to be inverted in applications. We first discuss several important properties of this equation and, for some well-known Lévy-driven models, we derive a family of closed-form inversion formulae.

Bipartite graphs and quasipositive surfaces

We present a simple combinatorial model for quasipositive surfaces and positive braids, based on embedded bipartite graphs. As a first application, we extend the well-known duality on standard diagrams of torus links to twisted torus links. We then introduce a combinatorial notion of adjacency for bipartite graph links and discuss its potential relation with the adjacency problem for plane curve singularities.

Generalised integrable λ- and η-deformations and their relation

We construct two-parameter families of integrable λ -deformations of two-dimensional field theories. These interpolate between a CFT (a WZW/gauged WZW model) and the non-Abelian T-dual of a principal chiral model on a group/symmetric coset space. In examples based on the SU(2) WZW model and the SU(2)/U(1) exact coset CFT, we show that these deformations are related to bi-Yang–Baxter generalisations of η-deformations via Poisson–Lie T-duality and analytic continuation. We illustrate the quantum behaviour of our models under RG flow. As a byproduct we demonstrate that the bi-Yang–Baxter σ-model for a general group is one-loop renormalisable.

Continued fractions built from convex sets and convex functions

In a partially ordered semigroup with the duality (or polarity) transform, it is pos- sible to define a generalisation of continued fractions. General sufficient conditions for convergence of continued fractions are provided. Two particular applications concern the cases of convex sets with the Minkowski addition and the polarity transform and the family of non-negative convex functions with the Legendre–Fenchel and Artstein-Avidan–Milman transforms.

The braneology of 3D dualities

In this paper, we study the reduction of four-dimensional Seiberg duality to three dimensions from a brane perspective. We reproduce the nonperturbative dynamics of three-dimensional field theory via a T–duality at a finite radius and the action of Euclidean D–strings. In this way, we also overcome certain issues regarding the brane description of Aharony duality. Moreover, we apply our strategy to more general dualities, such as toric duality for M2–branes and dualities with adjoint matter fields.

4D/3D reduction of dualities: mirrors on the circle

We engineer a brane picture for the reduction of Seiberg dualities from 4D to 3D, valid also in the presence of orientifold planes. We obtain effective 3D dualities on the circle by T-duality, geometrizing the non-perturbative superpotential which is an affine Toda potential. When reducing to pure 3D, we define a double-scaling limit which creates a sector of interacting singlets, giving a unified mechanism for the brane reduction of dualities.

All-loop anomalous dimensions in integrable λ-deformed σ-models

We calculate the all-loop anomalous dimensions of current operators in λ-deformed σ-models. For the isotropic integrable deformation and for a semi-simple group G we compute the anomalous dimensions using two different methods. In the first we use the all-loop effective action and in the second we employ perturbation theory along with the Callan–Symanzik equation and in conjunction with a duality-type symmetry shared by these models. Furthermore, using CFT techniques we compute the all-loop anomalous dimension of bilinear currents for the isotropic deformation case and a general G . Finally we work out the anomalous dimension matrix for the cases of anisotropic SU(2) and the two couplings, corresponding to the symmetric coset G/H and a subgroup H, splitting of a group G.