Abstract:Giant micelles are elongated, polymer-like objects created by the self-assembly of amphiphilic molecules (such as detergents) in solution. Giant micelles are typically flexible, and can become highly entangled even at modest concentrations. The resulting viscoelastic solutions show fascinating flow behaviour (rheology) which we address theoretically in this article at two levels. First, we summarise advances in understanding linear viscoelastic spectra and steady-state nonlinear flows, based on microscopic constitutive models that combine the physics of polymer entanglement with the reversible kinetics of self-assembly. Such models were first introduced two decades ago, and since then have been shown to explain robustly several distinctive features of the rheology in the strongly entangled regime, including extreme shear-thinning. We then turn to more complex rheological phenomena, particularly involving spatial heterogeneity, spontaneous oscillation, instability, and chaos. Recent understanding of these complex flows is based largely on grossly simplified models which capture in outline just a few pertinent microscopic features, such as coupling between stresses and other order parameters such as concentration. The role of `structural memory' (the dependence of structural parameters such as the micellar length distribution on the flow history) in explaining these highly nonlinear phenomena is addressed. Structural memory also plays an intriguing role in the little-understood shear-thickening regime, which occurs in a concentration regime close to but below the onset of strong entanglement, and which is marked by a shear-induced transformation from an inviscid to a gelatinous state.

Context-Dependent Functions: Narrowing the Realm of Turing's Halting Problem

A Parameterized Halting Problem, the Linear Time Hierarchy, and the MRDP Theorem.

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Decidable models of integer-manipulating programs with recursive parallelism (technical report)

Internal Turing Machines

Quantum Iterative Deepening with an application to the Halting problem

Computational Complexity of Holant Problems

Computability Theory of Closed Timelike Curves

What If Turing Had Preceded Gödel?

A proof complexity conjecture and the Incompleteness theorem

Formalizing computability theory via partial recursive functions

Decidable verification of uninterpreted programs

Informal Physical Reasoning Processes

Choiceless Computation and Symmetry: Limitations of Definability

Contextuality, Fine-Tuning, and Teleological Explanation

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

A Parameterized Halting Problem, Δ_0 Truth and the MRDP Theorem

Rheology of giant micelles

Call-by-value Termination in the Untyped lambda-calculus

Formal Definitions and Proofs for Partial (Co)Recursive Functions