-
Wasm SpecTec: Engineering a Formal Language Standard
Authors:
Joachim Breitner,
Philippa Gardner,
Jaehyun Lee,
Sam Lindley,
Matija Pretnar,
Xiaojia Rao,
Andreas Rossberg,
Sukyoung Ryu,
Wonho Shin,
Conrad Watt,
Dongjun Youn
Abstract:
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adoption across diverse ecosystems. As a young technology, Wasm continues to evolve -- it reached version 2.0 last year and another major update is expected soon.
For a new feature to be standardised in Wasm, four key arte…
▽ More
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adoption across diverse ecosystems. As a young technology, Wasm continues to evolve -- it reached version 2.0 last year and another major update is expected soon.
For a new feature to be standardised in Wasm, four key artefacts must be presented: a formal (mathematical) specification of the feature, an accompanying prose pseudocode description, an implementation in the official reference interpreter, and a suite of unit tests. This rigorous process helps to avoid errors in the design and implementation of new Wasm features, and Wasm's distinctive formal specification in particular has facilitated machine-checked proofs of various correctness properties for the language. However, manually crafting all of these artefacts requires expert knowledge combined with repetitive and tedious labor, which is a burden on the language's standardization process and authoring of the specification.
This paper presents Wasm SpecTec, a technology to express the formal specification of Wasm through a domain-specific language. This DSL allows all of Wasm's currently handwritten specification artefacts to be error-checked and generated automatically from a single source of truth, and is designed to be easy to write, read, compare, and review. We believe that Wasm SpecTec's automation and meta-level error checking will significantly ease the current burden of the language's specification authors. We demonstrate the current capabilities of Wasm SpecTec by showcasing its proficiency in generating various artefacts, and describe our work towards replacing the manually written official Wasm specification document with specifications generated by Wasm SpecTec.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Continuing WebAssembly with Effect Handlers
Authors:
Luna Phipps-Costin,
Andreas Rossberg,
Arjun Guha,
Daan Leijen,
Daniel Hillerström,
KC Sivaramakrishnan,
Matija Pretnar,
Sam Lindley
Abstract:
WebAssembly (Wasm) is a low-level portable code format offering near native performance. It is intended as a compilation target for a wide variety of source languages. However, Wasm provides no direct support for non-local control flow features such as async/await, generators/iterators, lightweight threads, first-class continuations, etc. This means that compilers for source languages with such fe…
▽ More
WebAssembly (Wasm) is a low-level portable code format offering near native performance. It is intended as a compilation target for a wide variety of source languages. However, Wasm provides no direct support for non-local control flow features such as async/await, generators/iterators, lightweight threads, first-class continuations, etc. This means that compilers for source languages with such features must ceremoniously transform whole source programs in order to target Wasm. We present WasmFX, an extension to Wasm which provides a universal target for non-local control features via effect handlers, enabling compilers to translate such features directly into Wasm. Our extension is minimal and only adds three main instructions for creating, suspending, and resuming continuations. Moreover, our primitive instructions are type-safe providing typed continuations which are well-aligned with the design principles of Wasm whose stacks are typed. We present a formal specification of WasmFX and show that the extension is sound. We have implemented WasmFX as an extension to the Wasm reference interpreter and also built a prototype WasmFX extension for Wasmtime, a production-grade Wasm engine, piggybacking on Wasmtime's existing fibers API. The preliminary performance results for our prototype are encouraging, and we outline future plans to realise a native implementation
△ Less
Submitted 13 September, 2023; v1 submitted 16 August, 2023;
originally announced August 2023.
-
Effect of carbon content on electronic structure of uranium carbides
Authors:
S. M. Butorin,
S. Bauters,
L. Amidani,
A. Beck,
A. Rossberg,
S. Weiss,
T. Vitova,
K. O. Kvashnina,
O. Tougait
Abstract:
The electronic structure of UC$_x$ (x=0.9, 1.0, 1.1, 2.0) was studied by means of x-ray absorption spectroscopy (XAS) at the C $K$ edge and measurements in the high energy resolution fluorescence detection (HERFD) mode at the U $M_4$ and $L_3$ edges. The full-relativistic density functional theory calculations taking into account the $5f-5f$ Coulomb interaction $U$ and spin-orbit coupling (DFT+…
▽ More
The electronic structure of UC$_x$ (x=0.9, 1.0, 1.1, 2.0) was studied by means of x-ray absorption spectroscopy (XAS) at the C $K$ edge and measurements in the high energy resolution fluorescence detection (HERFD) mode at the U $M_4$ and $L_3$ edges. The full-relativistic density functional theory calculations taking into account the $5f-5f$ Coulomb interaction $U$ and spin-orbit coupling (DFT+$U$+SOC) were also performed for UC and UC$_2$. While the U $L_3$ HERFD-XAS spectra of the studied samples reveal little difference, the U $M_4$ HERFD-XAS spectra show certain sensitivity to the varying carbon content in uranium carbides. The observed gradual changes in the U $M_4$ HERFD spectra suggest an increase in the C $2p$-U $5f$ charge transfer, which is supported by the orbital population analysis in the DFT+$U$+SOC calculations, indicating an increase in the U $5f$ occupancy in UC$_2$ as compared to that in UC. On the other hand, the density of states at the Fermi level were found to be significantly lower in UC$_2$, thus affecting the thermodynamic properties. Both the x-ray spectroscopic data (in particular, the C $K$ XAS measurements) and results of the DFT+$U$+SOC indicate the importance of taking into account $U$ and SOC for the description of the electronic structure of actinide carbides.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
A metric for tradable biodiversity credits linked to the Living Planet Index and global species conservation
Authors:
Axel G. Rossberg,
Jacob D. O'Sullivan,
Svetlana Malysheva,
Nadav M. Shnerb
Abstract:
Difficulties identifying appropriate biodiversity impact metrics remain a major barrier to inclusion of biodiversity considerations in environmentally responsible investment. We propose and analyse a simple science-based local metric: the sum of proportional changes in local species abundances relative to their global species abundances, with a correction for species close to extinction. As we sho…
▽ More
Difficulties identifying appropriate biodiversity impact metrics remain a major barrier to inclusion of biodiversity considerations in environmentally responsible investment. We propose and analyse a simple science-based local metric: the sum of proportional changes in local species abundances relative to their global species abundances, with a correction for species close to extinction. As we show, this metric quantifies changes in the mean long-term global survival probability of species. It links mathematically to a widely cited global biodiversity indicator, the Living Planet Index, for which we propose an improved formula that directly addresses the known problem of singularities caused by extinctions. We show that, in an ideal market, trade in our metric would lead to near-optimal allocation of resources to species conservation. We further show that the metric is closely related to several other metrics and indices already in use. Barriers to adoption are therefore low. Used in conjunction with metrics addressing ecosystem functioning and services, potential areas of application include biodiversity related financial disclosures and voluntary or legislated no net biodiversity loss policies.
△ Less
Submitted 20 March, 2023; v1 submitted 6 November, 2021;
originally announced November 2021.
-
The missing pieces of the PuO 2 nanoparticle puzzle
Authors:
Evgeny Gerber,
Anna Yu Romanchuk,
Ivan Pidchenko,
Lucia Amidani,
Andre Rossberg,
Christoph Hennig,
Gavin B M Vaughan,
Alexander Trigub,
Tolganay Egorova,
Stephen Bauters,
Tatiana Plakhova,
Myrtille O J Y Hunault,
Stephan Weiss,
Sergei M Butorin,
Andreas C Scheinost,
Stepan N Kalmykov,
Kristina O Kvashnina
Abstract:
The nanoscience field often produces results more mystifying than any other discipline. It has been argued that changes in the plutonium dioxide (PuO2) particle size from bulk to nano can have a drastic effect on PuO2 properties. Here we report a full characterization of PuO2 nanoparticles (NPs) at the atomic level and probe their local and electronic structures by a variety of methods available a…
▽ More
The nanoscience field often produces results more mystifying than any other discipline. It has been argued that changes in the plutonium dioxide (PuO2) particle size from bulk to nano can have a drastic effect on PuO2 properties. Here we report a full characterization of PuO2 nanoparticles (NPs) at the atomic level and probe their local and electronic structures by a variety of methods available at the synchrotron.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Multi-model ensembles for ecosystem prediction
Authors:
Michael A Spence,
Julia L. Blanchard,
Axel G. Rossberg,
Michael R. Heath,
Johanna J Heymans,
Steven Mackinson,
Natalia Serpetti,
Douglas Speirs,
Robert B. Thorpe,
Paul G. Blackwell
Abstract:
When making predictions about ecosystems, we often have available a number of different ecosystem models that attempt to represent their dynamics in a detailed mechanistic way. Each of these can be used as simulators of large-scale experiments and make forecasts about the fate of ecosystems under different scenarios in order to support the development of appropriate management strategies. However,…
▽ More
When making predictions about ecosystems, we often have available a number of different ecosystem models that attempt to represent their dynamics in a detailed mechanistic way. Each of these can be used as simulators of large-scale experiments and make forecasts about the fate of ecosystems under different scenarios in order to support the development of appropriate management strategies. However, structural differences, systematic discrepancies and uncertainties lead to different models giving different predictions under these scenarios. This is further complicated by the fact that the models may not be run with the same species or functional groups, spatial structure or time scale. Rather than simply trying to select a 'best' model, or taking some weighted average, it is important to exploit the strengths of each of the available models, while learning from the differences between them. To achieve this, we construct a flexible statistical model of the relationships between a collection or 'ensemble' of mechanistic models and their biases, allowing for structural and parameter uncertainty and for different ways of representing reality. Using this statistical meta-model, we can combine prior beliefs, model estimates and direct observations using Bayesian methods, and make coherent predictions of future outcomes under different scenarios with robust measures of uncertainty. In this paper we present the modelling framework and discuss results obtained using a diverse ensemble of models in scenarios involving future changes in fishing levels. These examples illustrate the value of our approach in predicting outcomes for possible strategies pertaining to climate and fisheries policy aimed at improving food security and maintaining ecosystem integrity.
△ Less
Submitted 15 September, 2017;
originally announced September 2017.
-
New univariate characterization of fish community size structure improves precision beyond the Large Fish Indicator
Authors:
Christopher P. Lynam,
Axel G. Rossberg
Abstract:
The size structure of fish-communities is an emergent high-level property of marine food webs responsive to changes in structure and function. To measure this food web property using data arising from routine fisheries surveys, a simple metric known as Typical Length has been proposed as more suitable than the Large Fish Indicator, which has been highly engineered to be responsive to fishing press…
▽ More
The size structure of fish-communities is an emergent high-level property of marine food webs responsive to changes in structure and function. To measure this food web property using data arising from routine fisheries surveys, a simple metric known as Typical Length has been proposed as more suitable than the Large Fish Indicator, which has been highly engineered to be responsive to fishing pressure. Typical Length avoids the inherent dependence of the Large Fish Indicator on a parameter that requires case-by-case adjustments. Using IBTS survey time series for five spatial subdivisions of the Greater North Sea, we show that the Typical Length can provide information equivalent to the Large Fish Indicator when fishing is likely the strongest driver, but differences can also arise. In this example, Typical Length exhibits smaller random fluctuations ("noise") than the Large Fish Indicator. Typical Length is also more adaptable than the Large Fish Indicator and can be easily applied to monitor pelagic fish in addition to demersal fish, and together with information on the potential growth of the fish community, a proxy of which can be derived from the Mean Maximum Length indicator, it is possible to partition change in community composition from change in size structure. This suggests that Typical Length is an improvement over the Large Fish Indicator as a food web indicator with the potential to offer further insight when considered in conjunction with indicators of community composition.
△ Less
Submitted 8 September, 2017; v1 submitted 20 July, 2017;
originally announced July 2017.
-
Maximum sustainable yield from interacting fish stocks in an uncertain world: two policy choices and underlying trade-offs
Authors:
Adrian Farcas,
Axel G. Rossberg
Abstract:
The case of fisheries management illustrates how the inherent structural instability of ecosystems can have deep-running policy implications. We contrast ten types of management plans to achieve maximum sustainable yields (MSY) from multiple stocks and compare their effectiveness based on a management strategy evaluation (MSE) that uses complex food webs in its operating model. Plans that target s…
▽ More
The case of fisheries management illustrates how the inherent structural instability of ecosystems can have deep-running policy implications. We contrast ten types of management plans to achieve maximum sustainable yields (MSY) from multiple stocks and compare their effectiveness based on a management strategy evaluation (MSE) that uses complex food webs in its operating model. Plans that target specific stock sizes ($B_{\text{MSY}}$) consistently led to higher yields than plans targeting specific fishing pressures ($F_{\text{MSY}}$). A new self-optimising control rule, introduced here for its robustness to structural instability, led to intermediate yields. Most plans outperformed single-species management plans with pressure targets set without considering multispecies interactions. However, more refined plans to "maximise the yield from each stock separately", in the sense of a Nash equilibrium, produced total yields comparable to plans aiming to maximise total harvested biomass, and were more robust to structural instability. Our analyses highlight trade-offs between yields, amenability to negotiations, pressures on biodiversity, and continuity with current approaches in the European context. Based on these results, we recommend directions for developments of EU fisheries policy.
△ Less
Submitted 31 May, 2016; v1 submitted 30 November, 2014;
originally announced December 2014.
-
Spontaneous genetic clustering in populations of competing organisms
Authors:
Tim Rogers,
Alan J. McKane,
Axel G. Rossberg
Abstract:
We introduce and analyse an individual-based evolutionary model, in which a population of genetically diverse organisms compete with each other for limited resources. Through theoretical analysis and stochastic simulations, we show that the model exhibits a pattern-forming instability which is highly amplified by the effects of demographic noise, leading to the spontaneous formation of genotypic c…
▽ More
We introduce and analyse an individual-based evolutionary model, in which a population of genetically diverse organisms compete with each other for limited resources. Through theoretical analysis and stochastic simulations, we show that the model exhibits a pattern-forming instability which is highly amplified by the effects of demographic noise, leading to the spontaneous formation of genotypic clusters. This mechanism supports the thesis that stochasticity has a central role in the formation and coherence of species.
△ Less
Submitted 1 November, 2012; v1 submitted 6 July, 2012;
originally announced July 2012.
-
Demographic noise can lead to the spontaneous formation of species
Authors:
Tim Rogers,
Alan J. McKane,
Axel G. Rossberg
Abstract:
When a collection of phenotypically diverse organisms compete with each other for limited resources, with competition being strongest amongst the most similar, the population can evolve into tightly localised clusters. This process can be thought of as a simple model of the emergence of species. Past studies have neglected the effects of demographic noise and studied the population on a macroscopi…
▽ More
When a collection of phenotypically diverse organisms compete with each other for limited resources, with competition being strongest amongst the most similar, the population can evolve into tightly localised clusters. This process can be thought of as a simple model of the emergence of species. Past studies have neglected the effects of demographic noise and studied the population on a macroscopic scale, where species formation is found to depend upon the shape of the curve describing the decline of competition strength with phenotypic distance. In the following, we will show how including the effects of demographic noise leads to a radically different conclusion. Two situations are identified: a weak-noise regime in which the population exhibits patterns of fluctuation around the macroscopic description, and a strong-noise regime where species appear spontaneously even in the case that all organisms have equal fitness.
△ Less
Submitted 15 May, 2012; v1 submitted 4 November, 2011;
originally announced November 2011.
-
Food Webs: Experts Consuming Families of Experts
Authors:
A. G. Rossberg,
H. Matsuda,
T. Amemiya,
K. Itoh
Abstract:
The question what determines the structure of natural food webs has been listed among the nine most important unanswered questions in ecology. It arises naturally from many problems related to ecosystem stability and resilience. The traditional view is that population-dynamical stability is crucial for understanding the observed structures. But phylogeny (evolutionary history) has also been sugg…
▽ More
The question what determines the structure of natural food webs has been listed among the nine most important unanswered questions in ecology. It arises naturally from many problems related to ecosystem stability and resilience. The traditional view is that population-dynamical stability is crucial for understanding the observed structures. But phylogeny (evolutionary history) has also been suggested as the dominant mechanism. Here we show that observed topological features of predatory food webs can be reproduced to unprecedented accuracy by a mechanism taking into account only phylogeny, size constraints, and the heredity of the trophically relevant traits of prey and predators. The analysis reveals a tendency to avoid resource competition rather than apparent competition. In food webs with many parasites this pattern is reversed.
△ Less
Submitted 31 July, 2005;
originally announced August 2005.
-
No need to blur the picture
Authors:
Axel G. Rossberg
Abstract:
A formalism specifying efficient, "emergent" descriptions of experimental systems is developed. It does not depend on an a priori assumption of limited available data.
A formalism specifying efficient, "emergent" descriptions of experimental systems is developed. It does not depend on an a priori assumption of limited available data.
△ Less
Submitted 4 May, 2005;
originally announced May 2005.
-
Phase synchronization from noisy univariate signals
Authors:
A. G. Rossberg,
K. Bartholome,
H. U. Voss,
J. Timmer
Abstract:
We present methods for detecting phase synchronization of two unidirectionally coupled, self-sustained noisy oscillators from a signal of the driven oscillator alone. One method detects soft, another hard phase locking. Both are applied to the problem of detecting phase synchronization in von Karman vortex flow meters.
We present methods for detecting phase synchronization of two unidirectionally coupled, self-sustained noisy oscillators from a signal of the driven oscillator alone. One method detects soft, another hard phase locking. Both are applied to the problem of detecting phase synchronization in von Karman vortex flow meters.
△ Less
Submitted 4 May, 2005;
originally announced May 2005.
-
Some Properties of the Speciation Model for Food-Web Structure - Mechanisms for Degree Distributions and Intervality
Authors:
A. G. Rossberg,
H. Matsuda,
T. Amemiya,
K. Itoh
Abstract:
We present a mathematical analysis of the speciation model for food-web structure, which had in previous work been shown to yield a good description of empirical data of food-web topology. The degree distributions of the network are derived. Properties of the speciation model are compared to those of other models that successfully describe empirical data. It is argued that the speciation model u…
▽ More
We present a mathematical analysis of the speciation model for food-web structure, which had in previous work been shown to yield a good description of empirical data of food-web topology. The degree distributions of the network are derived. Properties of the speciation model are compared to those of other models that successfully describe empirical data. It is argued that the speciation model unifies the underlying ideas of previous theories. In particular, it offers a mechanistic explanation for the success of the niche model of Williams and Martinez and the frequent observation of intervality in empirical food webs.
△ Less
Submitted 2 June, 2005; v1 submitted 8 February, 2005;
originally announced February 2005.
-
Observation of stable phase jump lines in convection of a twisted nematic
Authors:
Soichi Tatsumi,
A. G. Rossberg,
Masaki Sano
Abstract:
We report observations of stable, localized, line-like structures in the spatially periodic pattern formed by nematic electroconvection, along which the phase of the pattern jumps by $π$. With increasing electric voltage, these lines form a grid-like structure that goes over into a structure indistinguishable from the well known grid pattern. We present theoretical arguments that suggest that th…
▽ More
We report observations of stable, localized, line-like structures in the spatially periodic pattern formed by nematic electroconvection, along which the phase of the pattern jumps by $π$. With increasing electric voltage, these lines form a grid-like structure that goes over into a structure indistinguishable from the well known grid pattern. We present theoretical arguments that suggest that the twisted cell geometry we are using is indirectly stabilizing the phase jump lines, and that the PJL lattice is caused by an interaction of phase jump lines and a zig-zag instability of the surrounding pattern.
△ Less
Submitted 5 July, 2005; v1 submitted 1 December, 2004;
originally announced December 2004.
-
An explanatory model for food-web structure and evolution
Authors:
A. G. Rossberg,
H. Matsuda,
T. Amemiya,
K. Itoh
Abstract:
Food webs are networks describing who is eating whom in an ecological community. By now it is clear that many aspects of food-web structure are reproducible across diverse habitats, yet little is known about the driving force behind this structure. Evolutionary and population dynamical mechanisms have been considered. We propose a model for the evolutionary dynamics of food-web topology and show…
▽ More
Food webs are networks describing who is eating whom in an ecological community. By now it is clear that many aspects of food-web structure are reproducible across diverse habitats, yet little is known about the driving force behind this structure. Evolutionary and population dynamical mechanisms have been considered. We propose a model for the evolutionary dynamics of food-web topology and show that it accurately reproduces observed food-web characteristic in the steady state. It is based on the observation that most consumers are larger than their resource species and the hypothesis that speciation and extinction rates decrease with increasing body mass. Results give strong support to the evolutionary hypothesis.
△ Less
Submitted 3 May, 2005; v1 submitted 25 October, 2004;
originally announced October 2004.
-
A generic scheme for choosing models and characterizations of complex systems
Authors:
Axel G. Rossberg
Abstract:
It is argued that the two problems of choosing characterizations and models of complex systems should not be considered independently. A particular criterion for these choices, oriented on the potential usefulness of the results, is considered, and a generic formalization applicable to realistic experiments is developed. It is applied to Kuramoto-Sivashinsky chaos.
It is argued that the two problems of choosing characterizations and models of complex systems should not be considered independently. A particular criterion for these choices, oriented on the potential usefulness of the results, is considered, and a generic formalization applicable to realistic experiments is developed. It is applied to Kuramoto-Sivashinsky chaos.
△ Less
Submitted 5 August, 2003;
originally announced August 2003.
-
Data driven optimal filtering for phase and frequency of noisy oscillations: application to vortex flowmetering
Authors:
A. G. Rossberg,
K. Bartholome,
J. Timmer
Abstract:
A new method for extracting the phase of oscillations from noisy time series is proposed. To obtain the phase, the signal is filtered in such a way that the filter output has minimal relative variation in the amplitude (MIRVA) over all filters with complex-valued impulse response. The argument of the filter output yields the phase. Implementation of the algorithm and interpretation of the result…
▽ More
A new method for extracting the phase of oscillations from noisy time series is proposed. To obtain the phase, the signal is filtered in such a way that the filter output has minimal relative variation in the amplitude (MIRVA) over all filters with complex-valued impulse response. The argument of the filter output yields the phase. Implementation of the algorithm and interpretation of the result are discussed. We argue that the phase obtained by the proposed method has a low susceptibility to measurement noise and a low rate of artificial phase slips. The method is applied for the detection and classification of mode locking in vortex flowmeters. A novel measure for the strength of mode locking is proposed.
△ Less
Submitted 21 May, 2003;
originally announced May 2003.
-
A frequency measure robust to linear filtering
Authors:
A G Rossberg
Abstract:
A definition of frequency (cycles per unit-time) based on an approximate reconstruction of the phase-space trajectory of an oscillator from a signal is introduced. It is shown to be invariant under linear filtering, and therefore inaccessible by spectral methods. The effect of filtering on frequency in cases where this definition does not perfectly apply is quantified.
A definition of frequency (cycles per unit-time) based on an approximate reconstruction of the phase-space trajectory of an oscillator from a signal is introduced. It is shown to be invariant under linear filtering, and therefore inaccessible by spectral methods. The effect of filtering on frequency in cases where this definition does not perfectly apply is quantified.
△ Less
Submitted 21 May, 2003;
originally announced May 2003.
-
On the limits of spectral methods for frequency estimation
Authors:
A. G. Rossberg
Abstract:
An algorithm is presented which generates pairs of oscillatory random time series which have identical periodograms but differ in the number of oscillations. This result indicate the intrinsic limitations of spectral methods when it comes to the task of measuring frequencies. Other examples, one from medicine and one from bifurcation theory, are given, which also exhibit these limitations of spe…
▽ More
An algorithm is presented which generates pairs of oscillatory random time series which have identical periodograms but differ in the number of oscillations. This result indicate the intrinsic limitations of spectral methods when it comes to the task of measuring frequencies. Other examples, one from medicine and one from bifurcation theory, are given, which also exhibit these limitations of spectral methods. For two methods of spectral estimation it is verified that the particular way end points are treated, which is specific to each method, is, for long enough time series, not relevant for the main result.
△ Less
Submitted 4 May, 2005; v1 submitted 27 March, 2002;
originally announced March 2002.
-
A twist localizes three-dimensional patterns
Authors:
A. G. Rossberg
Abstract:
A mechanism for the localization of spatially periodic, self-organized patterns in anisotropic media which requires systems extended in all three spatial dimensions is presented: When the anisotropy axis is twisted the pattern becomes localized in planes parallel to the anisotropy axis. An analytic description of the effect is developed and used to interpret recent experiments in the high-freque…
▽ More
A mechanism for the localization of spatially periodic, self-organized patterns in anisotropic media which requires systems extended in all three spatial dimensions is presented: When the anisotropy axis is twisted the pattern becomes localized in planes parallel to the anisotropy axis. An analytic description of the effect is developed and used to interpret recent experiments in the high-frequency regime of electroconvection by Bohatsch and Stannarius [Phys. Rev. E {\bf 60}, 5591 (1999)]. The localization width is found to be of the order of magnitude of the geometrical average of pattern wavelength and the inverse twist.
△ Less
Submitted 20 July, 2000; v1 submitted 9 April, 2000;
originally announced April 2000.
-
Three-dimensional pattern formation, multiple homogeneous soft modes, and nonlinear dielectric electroconvection
Authors:
Axel G. Rossberg
Abstract:
Patterns forming spontaneously in extended, three-dimensional, dissipative systems are likely to excite several homogeneous soft modes ($\approx$ hydrodynamic modes) of the underlying physical system, much more than quasi one- and two-dimensional patterns are. The reason is the lack of dam** boundaries. This paper compares two analytic techniques to derive the patten dynamics from hydrodynamic…
▽ More
Patterns forming spontaneously in extended, three-dimensional, dissipative systems are likely to excite several homogeneous soft modes ($\approx$ hydrodynamic modes) of the underlying physical system, much more than quasi one- and two-dimensional patterns are. The reason is the lack of dam** boundaries. This paper compares two analytic techniques to derive the patten dynamics from hydrodynamics, which are usually equivalent but lead to different results when applied to multiple homogeneous soft modes. Dielectric electroconvection in nematic liquid crystals is introduced as a model for three-dimensional pattern formation. The 3D pattern dynamics including soft modes are derived. For slabs of large but finite thickness the description is reduced further to a two-dimensional one. It is argued that the range of validity of 2D descriptions is limited to a very small region above threshold. The transition from 2D to 3D pattern dynamics is discussed. Experimentally testable predictions for the stable range of ideal patterns and the electric Nusselt numbers are made. For most results analytic approximations in terms of material parameters are given.
△ Less
Submitted 28 July, 2000; v1 submitted 28 January, 2000;
originally announced January 2000.
-
Abnormal Rolls and Regular Arrays of Disclinations in Homeotropic Electroconvection
Authors:
Axel G. Rossberg,
Nandor Eber,
Agnes Buka,
Lorenz Kramer
Abstract:
We present the first quantitative verification of an amplitude description for systems with (nearly) spontaneously broken isotropy, in particular for the recently discovered abnormal-roll states. We also obtain a conclusive picture of the 3d director configuration in a spatial period doubling phenomenon involving disclination loops (CRAZY rolls). The first observation of two Lifshitz frequencies…
▽ More
We present the first quantitative verification of an amplitude description for systems with (nearly) spontaneously broken isotropy, in particular for the recently discovered abnormal-roll states. We also obtain a conclusive picture of the 3d director configuration in a spatial period doubling phenomenon involving disclination loops (CRAZY rolls). The first observation of two Lifshitz frequencies in electroconvection is reported.
△ Less
Submitted 29 September, 1999;
originally announced September 1999.
-
Optical characterization of chevron texture formation in nematic electroconvection
Authors:
H. Amm,
R. Stannarius,
A. G. Rossberg
Abstract:
We characterize the director structures in electroconvection patterns of nematic liquid crystals by means of polarising microscopy. This study was stimulated by a theory put forward by Rossberg et al. (patt-sol/9701005) who propose a mechanism for chevron texture formation. We characterize the relation between the wave vector modulation and in-plane twist modulations of the director field. In ad…
▽ More
We characterize the director structures in electroconvection patterns of nematic liquid crystals by means of polarising microscopy. This study was stimulated by a theory put forward by Rossberg et al. (patt-sol/9701005) who propose a mechanism for chevron texture formation. We characterize the relation between the wave vector modulation and in-plane twist modulations of the director field. In addition to the standard optical setup, a circular analyzer is used. The results provide new insight into the interplay of director and wave vector field leading to the chevron texture and fluctuating conductive rolls. Our experimental results confirm the theoretical predictions.
△ Less
Submitted 3 July, 1997;
originally announced July 1997.
-
Pattern Formation from Defect Chaos --- A Theory of Chevrons
Authors:
A. G. Rossberg,
L. Kramer
Abstract:
For over 25 years it is known that the roll structure of electroconvection (EC) in the dielectric regime in planarly aligned nematic liquid crystals has, after a transition to defect chaos, the tendency to form chevron structures. We show, with the help of a coarse-grained model, that this effect can generally be expected for systems with spontaneously broken isotropy, that is lifted by a small…
▽ More
For over 25 years it is known that the roll structure of electroconvection (EC) in the dielectric regime in planarly aligned nematic liquid crystals has, after a transition to defect chaos, the tendency to form chevron structures. We show, with the help of a coarse-grained model, that this effect can generally be expected for systems with spontaneously broken isotropy, that is lifted by a small external perturbation. The linearized model as well as a nonlinear extension are compared to simulations of a system of coupled amplitude equations which generate chevrons out of defect chaos. The mechanism of chevron formation is similar to the development of Turing patterns in reaction diffusion systems.
△ Less
Submitted 9 January, 1997;
originally announced January 1997.
-
Weakly Nonlinear Theory of Pattern-Forming Systems with Spontaneously Broken Isotropy
Authors:
A. G. Rossberg,
A. Hertrich,
L. Kramer,
W. Pesch
Abstract:
Quasi two-dimensional pattern forming systems with spontaneously broken isotropy represent a novel symmetry class, that is experimentally accessible in electroconvection of homeotropically aligned liquid crystals. We present a weakly nonlinear analysis leading to amplitude equations which couple the short-wavelength patterning mode with the Goldstone mode resulting from the broken isotropy. The…
▽ More
Quasi two-dimensional pattern forming systems with spontaneously broken isotropy represent a novel symmetry class, that is experimentally accessible in electroconvection of homeotropically aligned liquid crystals. We present a weakly nonlinear analysis leading to amplitude equations which couple the short-wavelength patterning mode with the Goldstone mode resulting from the broken isotropy. The new coefficients in these equations are calculated from the hydrodynamics. Simulations exhibit a new type of spatio-temporal chaos at onset. The results are compared with experiments.
△ Less
Submitted 3 June, 1996;
originally announced May 1996.