arXiv ScienceSearch

arXiv subjects

Kenneth Johnson

Publications and source records attributed to Kenneth Johnson.

9 recordsLinked to original sources

CoralLite: {\mu}CT Reconstruction of Coral Colonies from Individual Corallites

The life history of an individual coral is archived within the accreting skeleton of the colony. While reef-forming coral colonies (e.g. massive $\textit{Porites}$ sp.) may live for hundreds of years and deposit calcareous structures many metres in height and width, their living tissue is a thin outer surface layer comprised of asexually-dividing polyps that only survive a few years. To understand the rate and timing of polyp division and the consequences for colony skeletal growth, scientists need to track the skeletal corallite deposited around each polyp. Here we propose CoralLite, an annotated $\mu$CT scan dataset of entire calcareous skeletons and an associated, first corallite deep learning reconstruction baseline. CoralLite combines fully quantified volumetric segmentations with cross-slice linking for visualisations of 3D models for each corallite up to colony scale. For segmentation, we propose and evaluate in detail a hybrid V-Trans-UNet architecture applicable to segmenting tiled $\mu$CT virtual slabs of $\textit{Porites}$ sp. colonies. The model is pre-trained on weakly annotated data and topology-aware fine-tuned using fully annotated slice sections with 8k+ manual corallite region annotations. On unseen slices of the same colony, the resulting model reaches 0.94 topological accuracy at mean Dice scores of 0.77 on the same colony and projection axis, and 0.63 mean Dice scores on a different, biologically unrelated specimen. Whilst our experiments are limited in scale and context, our results show for the first time that visual machine learning can effectively support full 3D individual corallite modelling from $\mu$CT scans of coral skeletons alone. For reproducibility and as a baseline for future research we publish our full dataset of 697 $\mu$CT slices, 37 partial or full slice annotations, and all network weights and source code with this paper.

cs.CV

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions

We propose a tool-supported framework to reason about requirements constraining resource distributions and devise strategies for routing essential services in a disaster-affected region. At the core of our approach is the Route Advisor for Disaster-Affected Regions (RADAR) framework that operates on high-level algebraic representations of the region, modelled as a cyber-physical system (cps) where resource distribution is carried out over an infrastructure connecting physical geographical locations. The Satisfiable-Modulo Theories (SMT) and graph-theoretic algorithms used by the framework supports disaster management decision-making during response and preparedness phases. We demonstrate our approach on a case study in disaster management and describe scenarios to illustrate the usefulness of RADAR.

physics.soc-ph

Efficient Parametric Model Checking Using Domain Knowledge

We introduce an efficient parametric model checking (ePMC) method for the analysis of reliability, performance and other quality-of-service (QoS) properties of software systems. ePMC speeds up the analysis of parametric Markov chains modelling the behaviour of software by exploiting domain-specific modelling patterns for the software components. To this end, ePMC precomputes closed-form expressions for key QoS properties of such patterns, and uses these expressions in the analysis of whole-system models. To evaluate ePMC, we show that its application to service-based systems and multi-tier software architectures reduces analysis time by several orders of magnitude compared to current parametric model checking methods.

cs.SE

Monitoring and Intervention: Concepts and Formal Models

Our machines, products, utilities, and environments have long been monitored by embedded software systems. Our professional, commercial, social and personal lives are also subject to monitoring as they are mediated by software systems. Data on nearly everything now exists, waiting to be collected and analysed for all sorts of reasons. Given the rising tide of data we pose the questions: What is monitoring? Do diverse and disparate monitoring systems have anything in common? We attempt answer these questions by proposing an abstract conceptual framework for studying monitoring. We argue that it captures a structure common to many different monitoring practices, and that from it detailed formal models can be derived, customised to applications. The framework formalises the idea that monitoring is a process that observes the behaviour of people and objects in a context. The entities and their behaviours are represented by abstract data types and the observable attributes by logics. Since monitoring usually has a specific purpose, we extend the framework with protocols for detecting attributes or events that require interventions and, possibly, a change in behaviour. Our theory is illustrated by a case study from criminal justice, that of electronic tagging.

cs.CY

Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

math.CO

On the Wavefunctional for Two Heavy Color Sources in Yang-Mills Theory

In an abelian gauge theory, the Coulombic potential between two static charges is obtained most directly when a correct separation between gauge-invariant and gauge degrees of freedom is made. This motivates a similar separation in the nonabelian theory. When a careful identification of the Hilbert space is made, along with the proper analyticity requirements, it is then possible to find the appropriate wavefunctionals describing heavy color sources in the theory. This treatment is consistent with, and realizes in a simple way the center symmetry Z_N of SU(N) gauge theories.

hep-th

Gauge Invariant Geometric Variables For Yang-Mills Theory

In a previous publication [1], local gauge invariant geometric variables were introduced to describe the physical Hilbert space of Yang-Mills theory. In these variables, the electric energy involves the inverse of an operator which can generically have zero modes, and thus its calculation is subtle. In the present work, we resolve these subtleties by considering a small deformation in the definition of these variables, which in the end is removed. The case of spherical configurations of the gauge invariant variables is treated in detail, as well as the inclusion of infinitely heavy point color sources, and the expression for the associated electric field is found explicitly. These spherical geometries are seen to correspond to the spatial components of instanton configurations. The related geometries corresponding to Wu-Yang monopoles and merons are also identified.

hep-th

Yang-Mills Fields and Riemannian Geometry

It is possible to define new, gauge invariant variables in the Hilbert space of Yang-Mills theories which manifestly implement Gauss' law on physical states. These variables have furthermore a geometrical meaning, and allow one to uncover further constraints physical states must satisfy. For gauge group $SU(2)$, the underlying geometry is Riemannian and based on the group $GL(3)$. The formalism allows also for the inclusion of static color sources and the extension to gauge groups $SU(N>2)$, both of which are discussed here.

hep-th

Conformal Symmetry and Differential Regularization of the Three-Gluon Vertex

The conformal symmetry of the QCD Lagrangian for massless quarks is broken both by renormalization effects and the gauge fixing procedure. Renormalized primitive divergent amplitudes have the property that their form away from the overall coincident point singularity is fully determined by the bare Lagrangian, and scale dependence is restricted to $δ$-functions at the singularity. If gauge fixing could be ignored, one would expect these amplitudes to be conformal invariant for non-coincident points. We find that the one-loop three-gluon vertex function $Γ_{μνρ}(x,y,z)$ is conformal invariant in this sense, if calculated in the background field formalism using the Feynman gauge for internal gluons. It is not yet clear why the expected breaking due to gauge fixing is absent. The conformal property implies that the gluon, ghost and quark loop contributions to $Γ_{μνρ}$ are each purely numerical combinations of two universal conformal tensors $D_{μνρ}(x,y,z)$ and $C_{μνρ}(x,y,z)$ whose explicit form is given in the text. Only $D_{μνρ}$ has an ultraviolet divergence, although $C_{μνρ}$ requires a careful definition to resolve the expected ambiguity of a formally linearly divergent quantity. Regularization is straightforward and leads to a renormalized vertex function which satisfies the required Ward identity, and from which the beta-function is easily obtained. Exact conformal invariance is broken in higher-loop orders, but we outline a speculative scenario in which the perturbative structure of the vertex function is determined from a conformal invariant primitive core by interplay of the renormalization group equation and Ward identities.

hep-th