Loop

Loop
Name	Loop
Type	Concept
Field	Mathematics; Physics; Computer Science; Biology; Arts

Loop

A loop is a closed curve, circuit, or recurrent structure appearing across Euclidean geometry, Topology, Graph theory, Automata theory and Neuroscience as an object with cyclic properties and feedback. In Algebraic topology, Category theory, Electrical engineering, Molecular biology and Music the term denotes distinct formalizations, from simple closed paths in Leonhard Euler's problems to feedback architectures in John von Neumann's machines and iterative motifs in Igor Stravinsky's compositions. Applications span theoretical results in Henri Poincaré's work, algorithmic constructs in Alan Turing's models, experimental designs in James Watson and Francis Crick era studies, and cultural artifacts in Marcel Duchamp and Andy Warhol projects.

Definition and types

In Algebraic topology and Differential geometry a loop is typically a continuous map from the Unit interval with endpoints identified or from the unit circle into a topological space, serving as a generator in the Fundamental group and in constructions associated with Hurewicz theorem, Homotopy groups and Covering space theory. In Graph theory and Combinatorics a loop can denote an edge whose endpoints coincide, relevant to results by Paul Erdős and Richard Stanley on graph polynomials and rooted maps. In Category theory and Universal algebra the term appears indirectly via loop space functors and in the study of Monoid and Group structures, where loops relate to invertible morphisms and associative properties considered in works of Saunders Mac Lane and Samuel Eilenberg. In Computer science the noun defines control-flow constructs—counted, conditional, and infinite loops—central to models like the Turing machine, Lambda calculus and analyses by Donald Knuth and Tony Hoare. In Electrical engineering and Control theory loops describe feedback paths, including positive and negative feedback in James Clerk Maxwell-inspired circuits, and in Molecular biology regulatory loops capture transcriptional circuits studied in systems by Stuart Kauffman.

History and etymology

Etymologically the English word derives from Middle Dutch and Old Norse roots linked to the idea of a bend or looped rope; comparable lexical history appears in studies by the Oxford English Dictionary and lexicographers following Noah Webster. Historical treatments link loops in Leonhard Euler's 1736 paper on the Seven Bridges of Königsberg and in Carl Friedrich Gauss's studies of linking numbers to medieval braid and knot representations found in Maritime navigation lines and Heraldry. During the 19th century, loops featured in Augustin-Jean Fresnel's optics diagrams, in James Joule and Sadi Carnot discussions of cyclic processes, and in the emergence of Group theory through the work of Évariste Galois and Arthur Cayley that influenced algebraic treatments of loops. In the 20th century, loops became central to formal languages and automata as developed by Noam Chomsky, Emil Post, Alonzo Church and Alan Turing, and to cybernetics in work by Norbert Wiener and Ross Ashby.

Mathematics and computer science

In Algebraic topology loops are examined via the Fundamental group π1, the Loop space ΩX, and loop concatenation operations that underpin the study of Homotopy equivalence and CW complex structures explored by J. H. C. Whitehead and Jean-Pierre Serre. In Knot theory and Low-dimensional topology closed loops embed as knots and links analyzed by William Thurston and Vaughan Jones, with invariants like the Alexander polynomial and Jones polynomial. In Graph theory loops affect degree sequences and network spectra studied in the context of Erdős–Rényi model and Barabási–Albert model. In Theoretical computer science loops correspond to iterative constructs in imperative programming influenced by Edsger Dijkstra's loop invariants and Hoare logic; they appear in formal models such as Turing machine transition cycles, Pushdown automaton recursion, and in complexity theory results by Stephen Cook and Richard Karp. In Functional programming the loop is expressed via recursion and fixed-point combinators like the Y combinator introduced in Haskell Curry and M. H. A. Newman-style lambda calculus studies.

Physics and engineering

In Classical mechanics and Thermodynamics loops model cyclic processes in heat engines from Sadi Carnot to Ludwig Boltzmann; Maxwell's equations and Faraday's law employ loop integrals and circulation in electromagnetic theory pioneered by James Clerk Maxwell and Michael Faraday. In Fluid dynamics and Vortex dynamics closed loop vortices enter studies by Hermann von Helmholtz and Lars Onsager. In Electrical engineering feedback loops are central to amplifier design, control stability criteria like the Nyquist stability criterion and Bode plot methods, with industrial implementations following standards from IEEE bodies. In Particle physics loop corrections arise in perturbative expansions and Feynman diagrams investigated by Richard Feynman and Julian Schwinger, producing renormalization techniques developed by Kenneth Wilson and Gerard 't Hooft.

Biology and neuroscience

In Molecular biology autoregulatory and feedforward loops structure gene regulatory networks analyzed in systems biology frameworks by Hiroaki Kitano and Uri Alon, while biochemical feedback loops underpin metabolic cycles such as the Citric acid cycle elucidated by Hans Krebs. In Neuroscience recurrent loops appear as cortical circuit motifs linking Thalamus, Hippocampus, Prefrontal cortex and Basal ganglia and are central to models by W. R. Ashby and Donald Hebb; loop dynamics are invoked in theories of working memory proposed by Alan Baddeley and in oscillatory coupling studies from György Buzsáki. In Ecology trophic and feedback loops shape population models traced to Alfred Lotka and Vito Volterra and inform resilience theory developed by C.S. Holling.

Culture and arts

In Music ostinato and loop-based compositional techniques appear in the work of Steve Reich, Philip Glass, Brian Eno and in sampling practices popularized by Public Enemy and Kraftwerk. In Visual arts looped imagery and serial repetition recur in pieces by Marcel Duchamp, Andy Warhol and Sol LeWitt, and in film the loop motif features in works by Christopher Nolan and Andrei Tarkovsky. In Literature circular narrative structures are evident in texts by James Joyce, Gabriel García Márquez and Italo Calvino, while performance and installation art utilize looped actions as explored by Marina Abramović and Yves Klein.

Category:Concepts in mathematics