-
Collective Dynamics in a Monolayer of Squirmers Confined to a Boundary by Gravity
Authors:
Jan-Timm Kuhr,
Felix Rühle,
Holger Stark
Abstract:
We present a hydrodynamic study of a monolayer of squirmer model microswimmers confined to a boundary by strong gravity using the simulation method of multi-particle collision dynamics. The squirmers interact with each other via their self-generated hydrodynamic flow fields and thereby form a variety of fascinating dynamic states when density and squirmer type are varied. Weak pushers, neutral squ…
▽ More
We present a hydrodynamic study of a monolayer of squirmer model microswimmers confined to a boundary by strong gravity using the simulation method of multi-particle collision dynamics. The squirmers interact with each other via their self-generated hydrodynamic flow fields and thereby form a variety of fascinating dynamic states when density and squirmer type are varied. Weak pushers, neutral squirmers, and pullers have an upright orientation. With their flow fields they push neighbors away and thereby form a hydrodynamic Wigner fluid at lower densities. Furthermore, states of fluctuating chains and trimers, of kissing, and at large densities a global cluster exist. Finally, pushers at all densities can tilt against the wall normal and their in-plane velocities align to show swarming. It turns into chaotic swarming for strong pushers at high densities. We characterize all these states quantitatively.
△ Less
Submitted 19 June, 2019; v1 submitted 1 May, 2019;
originally announced May 2019.
-
The Conrad Program: From l-groups to algebras of logic
Authors:
Michal Botur,
Jan Kühr,
Lianzhen Liu,
Constantine Tsinakis
Abstract:
A number of research articles have established the significant role of lattice-ordered groups (l-groups) in logic. The purpose of the present article is to lay the groundwork for, and provide significant initial contributions to, the development of a Conrad type approach to the study of algebras of logic. The term Conrad Program refers to Paul Conrad's approach to the study of l-groups, which anal…
▽ More
A number of research articles have established the significant role of lattice-ordered groups (l-groups) in logic. The purpose of the present article is to lay the groundwork for, and provide significant initial contributions to, the development of a Conrad type approach to the study of algebras of logic. The term Conrad Program refers to Paul Conrad's approach to the study of l-groups, which analyzes the structure of individual l-groups or classes of l-groups by primarily using strictly lattice theoretic properties of their lattices of convex l-subgroups. The present article demonstrates that large parts of the Conrad Program can be profitably extended in the setting of e-cyclic residuated lattices. An indirect benefit of this work is the introduction of new tools and techniques in the study of algebras of logic, and the enhanced role of the lattice of convex subalgebras of a residuated lattice.
△ Less
Submitted 2 October, 2018;
originally announced October 2018.
-
Some properties of pseudo-BCK- and pseudo-BCI-algebras
Authors:
Petr Emanovský,
Jan Kühr
Abstract:
Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57], we show that pseudo-BCI-algebras are the residuation subreducts of semi-integral residuated po-monoids and char…
▽ More
Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57], we show that pseudo-BCI-algebras are the residuation subreducts of semi-integral residuated po-monoids and characterize those pseudo-BCI-algebras which are direct products of pseudo-BCK-algebras and groups (regarded as pseudo-BCI-algebras). We also show that the quasivariety of pseudo-BCI-algebras is relatively congruence modular; in fact, we prove that this holds true for all relatively point regular quasivarieties which are relatively ideal determined, in the sense that the kernels of relative congruences can be described by means of ideal terms.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
A note on residuated po-groupoids and lattices with antitone involutions
Authors:
Ivan Chajda,
Jan Kühr
Abstract:
Following [Botur, M., Chajda, I., Halaš, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partially ordered groupoids and the so-called basic algebras, which are a non-commutative and non-associative generalization of MV-algebras and orthomodular lattices.
Following [Botur, M., Chajda, I., Halaš, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partially ordered groupoids and the so-called basic algebras, which are a non-commutative and non-associative generalization of MV-algebras and orthomodular lattices.
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
Gravity-induced dynamics of a squirmer microswimmer in wall proximity
Authors:
Felix Rühle,
Johannes Blaschke,
Jan-Timm Kuhr,
Holger Stark
Abstract:
We perform hydrodynamic simulations using the method of multi-particle collision dynamics and a theoretical analysis to study a single squirmer microswimmer at high Péclet number, which moves in a low Reynolds number fluid and under gravity. The relevant parameters are the ratio $α$ of swimming to bulk sedimentation velocity and the squirmer type $β$. The combination of self-propulsion, gravitatio…
▽ More
We perform hydrodynamic simulations using the method of multi-particle collision dynamics and a theoretical analysis to study a single squirmer microswimmer at high Péclet number, which moves in a low Reynolds number fluid and under gravity. The relevant parameters are the ratio $α$ of swimming to bulk sedimentation velocity and the squirmer type $β$. The combination of self-propulsion, gravitational force, hydrodynamic interactions with the wall, and thermal noise leads to a surprisingly diverse behavior. At $α> 1$ we observe cruising states, while for $α<1$ the squirmer resides close to the bottom wall with the motional state determined by stable fixed points in height and orientation. They strongly depend on the squirmer type $β$. While neutral squirmers permanently float above the wall with upright orientation, pullers float for $α$ larger than a threshold value $α_{\mathrm{th}}$ and are pinned to the wall below $α_{\mathrm{th}}$. In contrast, pushers slide along the wall at lower heights, from which thermal orientational fluctuations drive them into a recurrent floating state with upright orientation, where they remain on the timescale of orientational persistence.
△ Less
Submitted 23 November, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
Collective Sedimentation of Squirmers under Gravity
Authors:
Jan-Timm Kuhr,
Johannes Blaschke,
Felix Rühle,
Holger Stark
Abstract:
Active particles, which interact hydrodynamically, display a remarkable variety of emergent collective phenomena. We use squirmers to model spherical microswimmers and explore the collective behavior of thousands of them under the influence of strong gravity using the method of multi-particle collision dynamics for simulating fluid flow. The sedimentation profile depends on the ratio of swimming t…
▽ More
Active particles, which interact hydrodynamically, display a remarkable variety of emergent collective phenomena. We use squirmers to model spherical microswimmers and explore the collective behavior of thousands of them under the influence of strong gravity using the method of multi-particle collision dynamics for simulating fluid flow. The sedimentation profile depends on the ratio of swimming to sedimentation velocity as well as on the squirmer type. It shows close packed squirmer layers at the bottom and a highly dynamic region with exponential density dependence towards the top. The mean vertical orientation of the squirmers strongly depends on height. For swimming velocities larger than the sedimentation velocity, squirmers show strong convection in the exponential region. We quantify the strength of convection and the extent of convection cells by the vertical current density and its current dipole, which are large for neutral squirmers as well as for weak pushers and pullers.
△ Less
Submitted 15 August, 2017; v1 submitted 14 June, 2017;
originally announced June 2017.
-
Frequency-Dependent Selection at Rough Expanding Fronts
Authors:
Jan-Timm Kuhr,
Holger Stark
Abstract:
Microbial colonies are experimental model systems for studying the colonization of new territory by biological species through range expansion. We study a generalization of the two-species Eden model, which incorporates local frequency-dependent selection, in order to analyze how social interactions between two species influence surface roughness of growing microbial colonies. The model includes s…
▽ More
Microbial colonies are experimental model systems for studying the colonization of new territory by biological species through range expansion. We study a generalization of the two-species Eden model, which incorporates local frequency-dependent selection, in order to analyze how social interactions between two species influence surface roughness of growing microbial colonies. The model includes several classical scenarios from game theory. We then concentrate on an expanding public goods game, where either cooperators or defectors take over the front depending on the system parameters. We analyze in detail the critical behavior of the nonequilibrium phase transition between global cooperation and defection and thereby identify a new universality class of phase transitions dealing with absorbing states. At the transition, the number of boundaries separating sectors decays with a novel power law in time and their superdiffusive motion crosses over from Eden scaling to a nearly ballistic regime. In parallel, the width of the front initially obeys Eden roughening and, at later times, passes over to selective roughening.
△ Less
Submitted 2 July, 2015;
originally announced July 2015.
-
Range Expansion with Mutation and Selection: Dynamical Phase Transition in a Two-Species Eden Model
Authors:
Jan-Timm Kuhr,
Madeleine Leisner,
Erwin Frey
Abstract:
The colonization of unoccupied territory by invading species, known as range expansion, is a spatially heterogeneous non-equilibrium growth process. We introduce a two-species Eden growth model to analyze the interplay between uni-directional (irreversible) mutations and selection at the expanding front. While the evolutionary dynamics leads to coalescence of both wild-type and mutant clusters, th…
▽ More
The colonization of unoccupied territory by invading species, known as range expansion, is a spatially heterogeneous non-equilibrium growth process. We introduce a two-species Eden growth model to analyze the interplay between uni-directional (irreversible) mutations and selection at the expanding front. While the evolutionary dynamics leads to coalescence of both wild-type and mutant clusters, the non-homogeneous advance of the colony results in a rough front. We show that roughening and domain dynamics are strongly coupled, resulting in qualitatively altered bulk and front properties. For beneficial mutations the front is quickly taken over by mutants and growth proceeds Eden-like. In contrast, if mutants grow slower than wild-types, there is an antagonism between selection pressure against mutants and growth by merging of mutant domains with an ensuing absorbing state phase transition to an all-mutant front. We find that surface roughening has a marked effect on the critical properties of the absorbing state phase transition. While reference models, which keep the expanding front flat, exhibit directed percolation critical behavior, the exponents of the two-species Eden model strongly deviate from it. In turn, the mutation-selection process induces an increased surface roughness with exponents distinct from that of the classical Eden model.
△ Less
Submitted 26 October, 2011; v1 submitted 12 October, 2011;
originally announced October 2011.
-
Predictive Modeling of Non-Viral Gene Transfer
Authors:
Gerlinde Schwake,
Simon Youssef,
Jan-Timm Kuhr,
Sebastian Gude,
Maria Pamela David,
Eduardo Mendoza,
Erwin Frey,
Joachim O. Rädler
Abstract:
In non-viral gene delivery, the variance of transgenic expression stems from the low number of plasmids successfully transferred. Here, we experimentally determine Lipofectamine- and PEI-mediated exogenous gene expression distributions from single cell time-lapse analysis. Broad Poisson-like distributions of steady state expression are observed for both transfection agents, when used with synchr…
▽ More
In non-viral gene delivery, the variance of transgenic expression stems from the low number of plasmids successfully transferred. Here, we experimentally determine Lipofectamine- and PEI-mediated exogenous gene expression distributions from single cell time-lapse analysis. Broad Poisson-like distributions of steady state expression are observed for both transfection agents, when used with synchronized cell lines. At the same time, co-transfection analysis with YFP- and CFP-coding plasmids shows that multiple plasmids are simultaneously expressed, suggesting that plasmids are delivered in correlated units (complexes). We present a mathematical model of transfection, where a stochastic, two-step process is assumed, with the first being the low-probability entry step of complexes into the nucleus, followed by the subsequent release and activation of a small number of plasmids from a delivered complex. This conceptually simple model consistently predicts the observed fraction of transfected cells, the cotransfection ratio and the expression level distribution. It yields the number of efficient plasmids per complex and elucidates the origin of the associated noise, consequently providing a platform for evaluating and improving non-viral vectors.
△ Less
Submitted 12 February, 2010;
originally announced February 2010.