Generic Fibrational Induction

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, a sound induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of a particular syntactic form. We establish the soundness of our generic induction rule by reducing induction to iteration. We then show how our generic induction rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The first of these lies outside the scope of Hermida and Jacobs' work because it is not polynomial, and as far as we are aware, no induction rules have been known to exist for the second and third in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set.Comment: For Special Issue from CSL 201

Global Embedding of Fibre Inflation Models

We present concrete embeddings of fibre inflation models in globally consistent type IIB Calabi-Yau orientifolds with closed string moduli stabilisation. After performing a systematic search through the existing list of toric Calabi-Yau manifolds, we find several examples that reproduce the minimal setup to embed fibre inflation models. This involves Calabi-Yau manifolds with $h^{1,1}= 3$ which are K3 fibrations over a $\mathbb{P}^1$ base with an additional shrinkable rigid divisor. We then provide different consistent choices of the underlying brane set-up which generate a non-perturbative superpotential suitable for moduli stabilisation and string loop corrections with the correct form to drive inflation. For each Calabi-Yau orientifold setting, we also compute the effect of higher derivative contributions and study their influence on the inflationary dynamics.Comment: 27 pages + appendix, 2 figures; references adde

Maxwell's Theory of Solid Angle and the Construction of Knotted Fields

We provide a systematic description of the solid angle function as a means of constructing a knotted field for any curve or link in $\mathbb{R}^3$. This is a purely geometric construction in which all of the properties of the entire knotted field derive from the geometry of the curve, and from projective and spherical geometry. We emphasise a fundamental homotopy formula as unifying different formulae for computing the solid angle. The solid angle induces a natural framing of the curve, which we show is related to its writhe and use to characterise the local structure in a neighborhood of the knot. Finally, we discuss computational implementation of the formulae derived, with C code provided, and give illustrations for how the solid angle may be used to give explicit constructions of knotted scroll waves in excitable media and knotted director fields around disclination lines in nematic liquid crystals.Comment: 20 pages, 9 figure

Microstructural analysis of skeletal muscle force generation during aging.

Human aging results in a progressive decline in the active force generation capability of skeletal muscle. While many factors related to the changes of morphological and structural properties in muscle fibers and the extracellular matrix (ECM) have been considered as possible reasons for causing age-related force reduction, it is still not fully understood why the decrease in force generation under eccentric contraction (lengthening) is much less than that under concentric contraction (shortening). Biomechanically, it was observed that connective tissues (endomysium) stiffen as ages, and the volume ratio of connective tissues exhibits an age-related increase. However, limited skeletal muscle models take into account the microstructural characteristics as well as the volume fraction of tissue material. This study aims to provide a numerical investigation in which the muscle fibers and the ECM are explicitly represented to allow quantitative assessment of the age-related force reduction mechanism. To this end, a fiber-level honeycomb-like microstructure is constructed and modeled by a pixel-based Reproducing Kernel Particle Method (RKPM), which allows modeling of smooth transition in biomaterial properties across material interfaces. The numerical investigation reveals that the increased stiffness of the passive materials of muscle tissue reduces the force generation capability under concentric contraction while maintains the force generation capability under eccentric contraction. The proposed RKPM microscopic model provides effective means for the cellular-scale numerical investigation of skeletal muscle physiology. NOVELTY STATEMENT: A cellular-scale honeycomb-like microstructural muscle model constructed from a histological cross-sectional image of muscle is employed to study the causal relations between age-associated microstructural changes and age-related force loss using Reproducing Kernel Particle Method (RKPM). The employed RKPM offers an effective means for modeling biological materials based on pixel points in the medical images and allow modeling of smooth transition in the material properties across interfaces. The proposed microstructure-informed muscle model enables quantitative evaluation on how cellular-scale compositions contribute to muscle functionality and explain differences in age-related force changes during concentric, isometric and eccentric contractions