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.Comment: 36 pages, 1 tabl

Single-File Diffusion of Externally Driven Particles

We study 1-D diffusion of $N$ hard-core interacting Brownian particles driven by the space- and time-dependent external force. We give the exact solution of the $N$-particle Smoluchowski diffusion equation. In particular, we investigate the nonequilibrium energetics of two interacting particles under the time-periodic driving. The hard-core interaction induces entropic repulsion which differentiates the energetics of the two particles. We present exact time-asymptotic results which describe the mean energy, the accepted work and heat, and the entropy production of interacting particles and we contrast these quantities against the corresponding ones for the non-interacting particles

Land evaluation standards for land resource mapping : assessing land qualities and determining land capability in south-western Australia

This report describes the standard method for attributing and evaluating conventional land resource survey maps in the south-west agriculture region of Western Australia so that strategic decisions about the management, development and conservation of land resources can be based on the best information available. The standards described are similar to the land suitability assessment (stage one of the two stage) methods described by the Food and Agriculture Organisation (FAO, 1976, 1983)

Adiabatic Quantum Computing for Multi Object Tracking

Multi-Object Tracking (MOT) is most often approached in the tracking-by-detection paradigm, where object detections are associated through time. The association step naturally leads to discrete optimization problems. As these optimization problems are often NP-hard, they can only be solved exactly for small instances on current hardware. Adiabatic quantum computing (AQC) offers a solution for this, as it has the potential to provide a considerable speedup on a range of NP-hard optimization problems in the near future. However, current MOT formulations are unsuitable for quantum computing due to their scaling properties. In this work, we therefore propose the first MOT formulation designed to be solved with AQC. We employ an Ising model that represents the quantum mechanical system implemented on the AQC. We show that our approach is competitive compared with state-of-the-art optimization-based approaches, even when using of-the-shelf integer programming solvers. Finally, we demonstrate that our MOT problem is already solvable on the current generation of real quantum computers for small examples, and analyze the properties of the measured solutions

Clinical biomarker innovation: when is it worthwhile?

Contains fulltext : 208980.pdf (publisher's version ) (Open Access

Managing hostile subsoils in the high rainfall zone of south-western Australia

This report is designed to complement existing information on the management of crops in the High Rainfall Zone of south-western Australia and to identify limitations for crop production arising from the soil properties in this area