193
$\begingroup$

What are the most important applications outside of mathematics of each of the major fields of mathematics? For concreteness, let's divide up mathematics according to arxiv mathematics categories, e.g. math.AT, math.QA, math.CO, etc.

This is a community-wiki question, so please edit and improve pre-existing answers: let's keep it to a single answer for each subject area.

(This is inspired by Terry Tao's recent post about a periodic table of the elements listing commercial applications. He suggested it might be fun to have such a summary for either the MSC top-level subjects or the arxiv subjects.)

I'd like to propose that for areas in which the applications are either numerous, non-obvious, or generally worthy of discussion, someone volunteers to open up a new question specifically about that subject area, and takes care of providing a summary here of the best answers produced there.

$\endgroup$
16
  • 4
    $\begingroup$ Up vote answers that you think are particularly interesting or surprising. $\endgroup$ Oct 27, 2009 at 17:01
  • 14
    $\begingroup$ I don't see anything on financial mathematics. Maybe it's not an application to the real world? $\endgroup$ Feb 15, 2010 at 21:24
  • 3
    $\begingroup$ I feel like mathematical economics in general should be better represented. I am aware of applications of convex geometry, topology, and analysis to economics but I don't understand them well enough to submit them myself. $\endgroup$ Apr 19, 2010 at 19:35
  • 4
    $\begingroup$ No disrespect or offence intended, but I really don't see the point of trying to answer such questions for subjects like PDEs/ODEs, geometry, etc. - it's more difficult to AVOID applications than find them! I think it would be better to concentrate on specific subject areas which DON'T have any "obvious" applications. This question might also have the unintended effect of making life even more difficult for people in very "pure" areas; imagine funding people saying "oh look, according to MathOverflow this area has 10 times as many votes as that one - which mathematician gets the grant?" $\endgroup$
    – Zen Harper
    Feb 25, 2011 at 6:00
  • 3
    $\begingroup$ Hello, I don't see any answer that has set theory. Can someone include it if it has a real world application $\endgroup$
    – Amr
    Jun 4, 2013 at 11:42

30 Answers 30

64
$\begingroup$

math.AC Commutative algebra

  • Reed-Solomon codes (a type of error correction codes based on polynomials over finite fields - this is why CDs and DVDs still work even after being scratched!)
$\endgroup$
2
  • 10
    $\begingroup$ "this is why CDs and DVDs still work even after being scratched" Unfortunately, not always. I have some DVDs which cease to work for no apparent reason, with no visible scratches or damage at all! $\endgroup$
    – Zen Harper
    Feb 25, 2011 at 5:47
  • 1
    $\begingroup$ I think turbo codes are popular nowadays $\endgroup$
    – user16007
    Aug 23, 2011 at 6:29
46
$\begingroup$

math.DG Differential geometry

  • Lie groups are used in robotics (to find the most efficient way to maneuver a robotic arm, for instance).
  • Spherical trigonometry is essential for navigation (a few centuries ago, this was THE application of mathematics to the real world - naval empires were built upon this!)
  • Finsler geometry can be used in planning shipping routes when ocean currents and winds (as well as the earth's curvature) need to be taken into account to conserve fuel.
  • Differential geometry (Riemann metrics + stress tensors) is used in mechanical engineering to study the properties of large membranes, for example, how one should go about building a large tent. Keyword for literature search "elastic membrane", "continuum mechanics".
  • Without taking into account the effects of general relativity on the orbiting satellites that make up the GPS system, the locations reported by GPS receivers would accumulate errors of around 10km each day, rendering the system useless.
  • Nonlinear control theory makes heavy use of differential geometry
  • [Quantum theory of atoms in molecules] 3 is an application of Morse theory in quantum chemistry.
$\endgroup$
4
  • 2
    $\begingroup$ But surely these applications are almost all "obvious"? It would be more of a challenge to find some part of differential geometry that doesn't have any known application! $\endgroup$
    – Zen Harper
    Feb 25, 2011 at 5:50
  • 1
    $\begingroup$ Morse theory is also used in gravitational lensing. $\endgroup$
    – Ben McKay
    Jun 18, 2020 at 15:44
  • 1
    $\begingroup$ @RyanBudney, do you have a reference for Finsler geometry being used with shipping routes? $\endgroup$
    – user44143
    Sep 24, 2021 at 9:36
  • 1
    $\begingroup$ Spherical trigonometry is a good example, but I would categorize it under MG, metric geometry. $\endgroup$
    – user44143
    Sep 24, 2021 at 9:37
45
$\begingroup$

math.GR Group Theory

  • Group theory provides methods for understanding the Rubik's cube, and for generating algorithms for solving the cube remarkably quickly from any state the cube may be in.
  • Groups find various applications in chemistry, eg. in the study of crystal structures and spectroscopy.
  • Cryptography - various hard algorithmic problems about groups are used to design crypto-systems.
  • Groups of symmetries are used to reduce the dimension of parameter spaces in engineering models to make model verification more tractable.
  • Potentially fast matrix multiplication; see this MO question.
  • Card tricks that don't work by sleight of hand, but via the arrangements of the cards. e.g. Sim Sala Bim, see this site for a description. If you think about it, the symmetric group explains the trick and shows you how you to extend it past three piles of seven cards, but to N piles of M cards.
$\endgroup$
8
  • 56
    $\begingroup$ The Rubik's cube? Real world, come on! :) $\endgroup$
    – Randomblue
    Oct 27, 2009 at 17:36
  • 1
    $\begingroup$ Hey, I solved the Rubik's cube the first time by using group-theory considerations. It took me about 20 minutes to solve a cube. (Then I learned an actual method.) $\endgroup$ Dec 2, 2009 at 3:57
  • 2
    $\begingroup$ I got interested in group theory from an article about Rubik's cube in Scientific American when I was in school. I think I learned the concept of "conjugation" from that article, actually. $\endgroup$ Dec 2, 2009 at 12:55
  • 3
    $\begingroup$ Would you happen to remember which Scientific American article? $\endgroup$ Apr 19, 2010 at 19:08
  • 1
    $\begingroup$ See mathoverflow.net/questions/94907/… for applications of group theory to math. biology $\endgroup$ Jun 29, 2012 at 21:15
43
$\begingroup$

math.AT Algebraic Topology

  • Algebraic Topology finds applications in sensor network design, coverage analysis for sensor networks, and in expanding data analysis techniques to give better visualizations for large data sets.
  • It has also been applied to computer vision, pattern recognition algorithms (for instance here), and topological data analysis.
  • Algebraic Topology can be used in robotics. Motion planning and behavioral algorithms for robotics have been studied with topological tools.
  • Knot theory is used when dealing with protein folding and other analysis of DNA function. There are enzymes called 'topoisomerases' that change the knottedness of loops of DNA. In fact, when bacteria (which have circular 'chromosomes' called plasmids) reproduce, they make use of an enzyme whose specific role to to unlink Hopf links! There are antibiotics that target this enzyme.
  • Model categories have been used in the study of concurrency. See this paper by Gaucher.
  • Nash's proof (Ann. of Math, Vol. 54, No.2; 1951) that every finite non-cooperative game has an equilibrium point in mixed strategies is a direct application of Brouwer's fixed point theorem, and spurred a great deal of interest in applications of game theory to economics (cf. this survey article). Game theory itself has applications in computer science and mathematical finance.
$\endgroup$
4
  • 4
    $\begingroup$ Here is a good page on this by an expert: math.upenn.edu/~ghrist/index_files/research.htm. Persistent homology in particular is a rapidly developing locus of applied algebraic topology which has attracted the attention of some big names like Shmuel Weinberger and Stephen Smale. $\endgroup$ Apr 19, 2010 at 19:32
  • $\begingroup$ The "designing robots" feature has been claimed as "motion planning" by the algebraic geometry answer. $\endgroup$ Mar 5, 2011 at 22:15
  • 4
    $\begingroup$ There mere fact that algebraic geometry, too, is used to understand configuration spaces in robotics does not mean that algebraic topological techniques are not also in use. $\endgroup$ Mar 6, 2011 at 16:39
  • 2
    $\begingroup$ My understanding is that real algebraic geometry is used to study e.g. the positions a robot arm with various joints and segment lengths can take by expressing this as a system of polynomial equations to solve, whereas topologists such as Ghrist have used the notion of configuration space for e.g. studying how several robots could move around a factory floor (perhaps on a set of tracks and/or with obstacles) without bumping into each other. $\endgroup$ Jun 29, 2012 at 11:56
35
$\begingroup$

math.RT Representation Theory

  • Much of modern particle physics is related to representations of Lie algebras. For instance, Gell-Mann's "Eightfold Way" comes from the representation theory of SU(3) and its associated algebra.

    • Almost every application of theoretic physics in solid state physics extensively uses representation theory in description of periodic and quasi-periodic media as crystals, semiconductors etc. In fact solutions of Schroedinger Equation in such cases, numerical or analytical has to be carried in accordance with representation of crystal/quasi cristal symmetry group.
  • There are applications of representation theory to three-dimensional Cryo-Electron Microscopy - there is a recent paper of Hadani and Singer about this in the Annals.

  • The study of the orbits of the permanent and the determinant (thought of as points in the space of polynomials) is the central idea in Valiant's algebraic version of P vs NP, and the representation theory of the relevant coordinate rings of the orbit closures is a leading approach by Mulmuley and Sohoni. There are many references, but here are two for starters: report, ICM paper

$\endgroup$
5
  • 8
    $\begingroup$ I would be much more interested in applications of representation theory outside of cognate areas. $\endgroup$ Dec 2, 2009 at 12:52
  • 3
    $\begingroup$ You can find representation theory in statistics here: projecteuclid.org/… $\endgroup$ Jan 19, 2013 at 21:05
  • $\begingroup$ ''Much of modern particle physics is related to representations of Lie algebras'' You could argue that all of elementary particle physics relates to reps of Lie algebras. $\endgroup$ Dec 26, 2022 at 20:32
  • $\begingroup$ @kjetilbhalvorsen That link seems broken. $\endgroup$ Mar 10 at 13:03
  • $\begingroup$ @DavidWhite: Here is a working link: projecteuclid.org/ebooks/… $\endgroup$ 4 hours ago
33
$\begingroup$

Math.AP Analysis of PDE

  • Partial differential equations are used a lot for modelling systems in biology and medicine, and help describe e.g. animal coat pattern formation (zebras, leopards...), wound healing, tumor growth, spread of a virus in a population, predator-prey systems in ecology, predicting the variations of concentrations of chemicals (hormones, drugs...) within an organ over time...
  • PDEs are used in climate modelling, from atmospheric dynamics to ocean currents.
  • Radar imaging is based on solving an inverse problem. The recent buzz about metamaterials and invisibility is based on understanding variable-coefficient elliptic problems.
$\endgroup$
2
  • 3
    $\begingroup$ Inverse problems also occur in medical imaging (MRI, CAT scans, etc.) $\endgroup$ Oct 26, 2009 at 15:36
  • 8
    $\begingroup$ ...sorry to make a similar comment again, but PDEs are virtually guaranteed to be useful, almost by definition! $\endgroup$
    – Zen Harper
    Feb 25, 2011 at 5:52
32
$\begingroup$

math.CO Combinatorics

  • Combinatorics finds applications in computer science, especially in the run-time analysis of algorithms. It has also in recent years found applications in physics, at least in part via its relationship to quantum theory.
  • Combinatorial group testing allows one to quickly isolated defects in a large collection of samples by testing batches of samples at a time.
  • Combinatorial designs are routinely used to design experiments in applied statistics and quality control.
  • Combinatorial optimization in Logistics and Operations research.
  • Graphs are used as models for networks (e.g., internet server connections). Applications include searches for least expensive plane tickets, optimizing garbage pickup routes.
  • Graph models are used in machine learning.
  • combinatorial properties of permutation group was the fundamental part of Enigma cipher breaking by Marian Rejewski before II-nd WW. It is dated now but it was one of the first application of higher mathematic reasoning to cipher breaking, because before usually linguistic reasoning was used instead.
  • Finite projective spaces and Galois geometry are used in random network coding and cryptography.
$\endgroup$
2
  • 1
    $\begingroup$ Data compression has played a very important role in communications technology. Audio CD's, DVD's, HDTV, I-pods, and many other examples all use data compression techniques. Combinatorics played an important early role here with the development of the very elegant idea of a Huffman tree (due to David Huffman) and Huffman coding. en.wikipedia.org/wiki/Huffman_tree Joe Malkevitch $\endgroup$ Dec 6, 2009 at 1:42
  • 1
    $\begingroup$ Design theory is used to create efficient error-correcting codes. $\endgroup$ Jan 13, 2010 at 14:40
31
$\begingroup$

math.ST Statistics

  • almost everywhere
  • Accurate polling
  • Fraud detection: whether financial (e.g. via Benford's law) or voter fraud.
  • Used in the world of finance, economics and gambling on a daily basis.
  • Predicting consumer preferences (e.g. Netflix prize)
  • Experimental design and hypothesis testing (e.g. testing of medical hypotheses)
  • Machine learning
  • Quality control
$\endgroup$
30
$\begingroup$

math.AG Algebraic geometry

  • Elliptic curve cryptography
  • Motion planning: Configuration spaces of robot arms are semi-algebraic sets, and algebraic geometry (especially the Cylindrical Algebraic Decomposition) has been used to understand their geometry and design algorithms.
  • Algebraic geometry over finite fields is used to construct error correcting codes.
  • Statistical models are often semi-algebraic sets, and algebraic geometry can be used to devise tests for the correctness of the model or to fit parameters.
  • Birational geometry can be used in the design of NURBS and CAD tools.
  • Projective geometry and implicitization is used in 3D image reconstruction from multiple camera views.
  • Geometry and Representation theory of tensors can be used in Physics, Computer Science, Statistics, Phylogenetics, Psycometrics and more. Here is a summary from 2008: report
$\endgroup$
1
  • $\begingroup$ It seems to me that only the most "naive" and basic of these are actually used in practical applications (except for the crypto one). E.g. 3D image reconstruction. But it is kind of dubious if this is can even be counted as falling in the math.AG tag on the arXiv, given the vastly different level of abstraction one tends to find there. $\endgroup$ Sep 23, 2021 at 11:01
26
$\begingroup$

math.CV Complex Variables

  • Conformal mapping simplifies various problems about heat conduction and fluid flow, such as calculating steady temperatures. Modelling the flow of fluids around solid bodies (for example aircraft wings!) can also be simplified by appropriate conformal mappings.
  • Tools from complex analysis (phasors, argument principle, conformal mapping) are widely used in analyzing electrical circuits, and stress and strain analysis in mechanical engineering.
  • The uniformization theorem for discrete complex analysis (circle packings) allows for efficient and pleasant visualization of geometric data that can be related to surface triangulations.
  • With the emergence of SLE (Schramm-Loewner evolution, conformally invariant curves), we can model the critical interfaces of various systems such as Ising and Percolation.
  • Evaluation of complicated real integrals that show up in engineering and physics via contour integration.
$\endgroup$
26
$\begingroup$

math.CT Category Theory

  • Category Theory helps design modern and novel programming languages, that end up being able to do optimizations based on mathematical theorems, and even allow provably correct code with less effort than using other techniques. For example, the language Haskell makes use of many ideas from category theory.
  • There are deep connections between category theory and logic, in the sense of computer science.
  • Feynman diagrams form a (monoidal) category.
$\endgroup$
3
  • 5
    $\begingroup$ How does it help physics to call Feynman diagrams a monoidal category? Lacking an answer to that question, I’d delete that bulletpoint. $\endgroup$
    – user44143
    Sep 24, 2021 at 9:05
  • $\begingroup$ @MattF. I agree. I believe that a Hopf algebraic structure (cf Connes--Kreimer) is really used by some particle physicists to organise and help with calculations. I don't know if the same is true for category theory (but I'm no expert, so that doesn't say anything) - would be interested to hear about this $\endgroup$ Sep 24, 2021 at 9:25
  • $\begingroup$ The connection between monoidal properties and physics is clear in the study of (topological) quantum field theories as functors from categories of manifolds to vector spaces. That is: we assign a vector space (of measurements) to every manifold (shape where physics could take place, like shape of the universe), and because the category of manifolds is monoidal under direct sum, this shows us how to combine physics done on separate objects and study them together. I recommend videos of Lurie presenting TQFTs via higher categories. He makes the connection to physics in talks around 2010. $\endgroup$ Mar 10 at 13:10
24
$\begingroup$

math.CA Classical Analysis

  • Fourier analysis allows one to precisely divide up the electromagnetic spectrum, leading of course to radio, television, wireless, and so forth.
  • The fast Fourier transform (and relatives, such as the fast Wavelet transform) is an essential component of many signal processing algorithms.
  • MRI is based on inverting the Radon transform.
  • Wavelets are used in signal processing (e.g. image compression, edge detection).

Hilbert spectrometer

The picture is of a Hilbert spectrometer.

$\endgroup$
2
  • 4
    $\begingroup$ And the Radon transform is just representation theory of Lie groups: www-math.mit.edu/~helgason/Radonbook.pdf $\endgroup$ Feb 25, 2011 at 14:53
  • 1
    $\begingroup$ MRI is not generally based on inverting the Radon transform, but on inverting the Fourier transform. In a few special cases this translates to the Radon transform through the Fourier slice theorem. $\endgroup$
    – LKlevin
    May 26, 2015 at 11:02
23
$\begingroup$

math.RA Rings and Algebras

  • Google's Pagerank algorithm is based, in part, on the singular value decomposition.
  • Fourier analysis / transforms and linear algebra is at work in the world millions of times per second (video, audio). In particular, creating or displaying a JPEG image requires the discrete Fourier transform.
  • Quaternions are used in 3D modeling and animation software to represent rotations in a more robust form than Euler angles (helping to avoid transition issues like gimbal lock).
  • Every simulation using Finite Element Method uses algebra in very extensive way.
  • Tropical algebra has been used to design product-mix auctions and to calculate demand (see Baldwin-Klemperer).
$\endgroup$
3
  • 10
    $\begingroup$ I think Fourier analysis / transforms / linear algebra / Finite Element Method don't really fit so well in Rings and Algebras (although, obviously, you can put them there if you really insist) - obviously they use algebraic techniques, but their main core is elsewhere (analysis, numerical analysis, etc.) in my opinion. $\endgroup$
    – Zen Harper
    Feb 25, 2011 at 6:04
  • 8
    $\begingroup$ Why is SVD in "rings and algebras"? $\endgroup$ Feb 25, 2011 at 14:52
  • 5
    $\begingroup$ I don't think finite element analysts (and I've worked with quite a few) care anything at all about either ring theory/modern algebra. Also, while it is technically true that the Fourier transform is a product of representation theory, at the level which it is used in signal processing this perspective is not commonly taken. In fact, JPEG uses the discrete cosine transform to approximate images, not the Fourier transform/convolution theorem, and so it is probably better understood using a functional analysis perspective. $\endgroup$
    – Mikola
    Jun 3, 2011 at 22:24
21
$\begingroup$

math.NA Numerical analysis

  • Linear programming algorithms are used in compressed sensing, which is now being used in MRI and imaging to increase resolution and/or decrease the number of measurements required.

  • Numerical analysis is what makes calculators work. (And so much more!)

  • We use numerical linear algebra to approximate solutions to discretized versions of complicated PDEs.

  • At the heart of Google's Pagerank algorithm is a relatively simple numerical eigenvector computation called the Power Method. The study of large complicated networks (e.g. Facebook) is done using tools from graph theory which again comes back to using the tools of numerical linear algebra.

  • Finite elements method (a version of multigrid numerical aanalysis) is all pervasive in construction and achitectural stability analysis, and also in other fields of engineering like engine design).

$\endgroup$
20
$\begingroup$

math.PR Probability

  • Probability theory is used in information theory, error-correcting codes, compression algorithms, machine learning, probabilistic algorithms
  • Physicists use probability in Quantum Mechanics and Statistic Mechanics
  • Queuing theory is used to analyze telecommunication networks.
  • Stochastic processes such as branching processes and HMMs are used to model speciation and extinction (the Tree of Life), evolution of molecular sequences, cell proliferation, and other things in biology. For example, see `Branching Processes in Biology' by Kimmel and Axelrod.
  • Here's a somewhat frivolous one (but one that casinos greatly care about): the number of times one needs to shuffle a deck before it truly randomizes.
  • used in the world of finance, economics and gambling on a daily basis.
  • Random number generation is a key component of many efficient algorithms, and also plays an important role in cryptography.
  • Stochastic calculus is used to price options (Black-Scholes formula) and to hedge against risk. (Of course, it is not always applied wisely...)
  • Markov chains are used to find uniformly random objects. This, among other things, makes designing an experiment fairest and crypto-systems based on designs securest.
$\endgroup$
4
  • 1
    $\begingroup$ Surely it's all over the place in statistics - randomised sampling and the like? $\endgroup$ Oct 27, 2009 at 18:24
  • 1
    $\begingroup$ Yes, but there is a seperate category for statistics. $\endgroup$ Oct 29, 2009 at 8:59
  • $\begingroup$ I think riffle shuffles are used in home games, not casinos, at least in games like poker. I would not want to say that casinos greatly care about the mathematically approachable riffle shuffles, unless you can say that it was historical concern with the effectiveness of riffle shuffles which led casinos not to use that method, which I doubt. I would drop that item. $\endgroup$ Jan 13, 2010 at 14:48
  • 3
    $\begingroup$ Let's not forget about queueing theory. Concrete settings to which the theory applies are e.g. call centers, hospitals, computer networks. Also, stochastic networks can be used to model and analysis e.g. the spread of a disease or social networks. $\endgroup$
    – Pierre
    Aug 23, 2011 at 6:05
17
$\begingroup$

math.FA Functional Analysis

  • Used in signal processing for modeling and design.
  • Used in machine learning in the design of classifiers (e.g. spam filters)
$\endgroup$
1
  • 6
    $\begingroup$ Numerical mathematics, whose usefulness does not require proof, is just applied functional analysis. See for example Collatz' book "Functional analysis and numerical mathematics". By the way, this example nicely shows how futile the division between pure and applied math is. $\endgroup$
    – M Mueger
    Oct 31, 2013 at 12:54
17
$\begingroup$

math.NT Number Theory

  • From Number Theory comes the ideas and theoretical basis for modern cryptography, used to secure communications everywhere from banking to cellphones.
  • A more quirky one is SETI (the primes in binary would be a very clear indication of a signal non-natural origin, and would be a starting point for communication).
  • There is a gamma ray telescope design using mod p quadratic residues to construct a mask. Gamma rays cannot be focused, so this design uses a redundant array of detectors separated from the mask to reconstruct directional information.
$\endgroup$
2
  • 2
    $\begingroup$ Weren't continued fractions first used by Huygens to build some clockwork? (In clockwork, one needs to approximate irrationals by the ratios of the number of teeth on two wheels.) I vaguely remember that a twentieth-century mathematician found this handy during the Cultural Revolution. $\endgroup$ Oct 27, 2009 at 18:27
  • 3
    $\begingroup$ I vaguely recall the Chinese remainder theorem was used by early Soviet mechanical computers (basically by embedding the integers in the profinite integers), but don't recall the details. (I once thought that this theorem was used by ancient China to count soldiers in an army, but it appears that story is apocryphal.) $\endgroup$
    – Terry Tao
    Oct 27, 2009 at 18:47
17
$\begingroup$

Math.DS: Dynamical systems

  • Modeling flow of liquids, like the animated flow of lava in the movie "Volcano"
  • Solving classical few-body problems, though it doesn't help with the modern notorious "two-body problem"
  • Heteroclinic trajectories are used in space mission design
  • Heteroclinic tangles are used by chemical engineers to get well-mixed reactants
  • Pseudo-Anosov braids are used to design efficient methods for stirring viscous liquids (see for example http://arxiv.org/pdf/nlin/0603003.pdf)
$\endgroup$
4
  • 4
    $\begingroup$ Another great example of modeling flow of liquids in movies is "Finding Nemo" where actual mathematicians were hired to generate various twirls and vorticities up to high degree of precision. $\endgroup$ Feb 10, 2010 at 16:11
  • 1
    $\begingroup$ Shouldn't there be some mention of applications of stability theory and bifurcation theory to ecology (the predator-prey model being the most basic example)? $\endgroup$ Apr 19, 2010 at 19:20
  • $\begingroup$ Predicting ecological and climate catastrophes can be done with bifurcation theory (cf www.nature.com/uidfinder/10.1038/nature08227 ) $\endgroup$
    – dranxo
    Jan 18, 2012 at 23:47
  • 3
    $\begingroup$ Isn't the vortex of the sinking ship in "Titanic" also an example of the first point? [sorry for the spoiler :-P ] $\endgroup$ Jun 29, 2012 at 16:29
17
$\begingroup$

math.SP Spectral theory

  • Spectroscopy (of course)
  • To avoid bridge collapse, knowing where the resonant frequencies are is extremely important. :-)
  • Shape and model recognition
  • Network analysis and security (spectral graph theory)
  • The design of quantum wave guides
$\endgroup$
2
  • 13
    $\begingroup$ It may be worth pointing out that the "bridge collapse by resonance" is at least partly an urban myth. In particular, the famous collapse of the Tacoma narrows bridge was due to a complicated aerodynamics phenomenon, and so the credit for understanding its collapse probably belongs to PDEs. (It has often been cited in textbooks as a resonance phenomenon.) On the other hand, the problems with the Millenium bridge in London were indeed due to resonance, apparently coupled with a positive resonance feedback due to the natural reactions by the pedestrians on the bridge. $\endgroup$ Feb 25, 2011 at 15:38
  • $\begingroup$ @ArendBayer I agree about Tacoma narrows. But, I still tell students about how soldiers break stride when walking over bridges (going back to 1831) as an attempt to avoid resonance causing the bridge to collapse. livescience.com/34608-break-stride-frequency-of-vibration.html and wearethemighty.com/military-life/… $\endgroup$ Mar 10 at 13:18
15
$\begingroup$

math.IT Information theory

  • Compression; efficient use of bandwidth
  • Error-correcting codes protect against digital data corruption from noise, packet loss, physical damage, etc.
  • Used in machine learning
$\endgroup$
15
$\begingroup$

math.OA Operator Algebras

  • (In "Nature") Operator algebras, and, more broadly, operator theory, appear in mathematical models for quantum phenomena.
  • (In Engineering) Completely positive maps are used in quantum information theory. There are also many connections between operator algebras and wavelets, which is useful in electrical engineering.
$\endgroup$
14
$\begingroup$

Math.HO: History and overview: used for

  • understanding mathematics as a social and human endeavor

  • considering alternative approaches that historically have been used to explore quantifiable relationships

  • to teach us that no mathematical ideas appear in empty social space: every idea is a child of its time. It is application of HO to mathematics itself


One real-world application of mathematics is set forth in Bill Thurston's far-sighted essay On Proof and Progress in Mathematics, that purpose being, to provide foundations for social enterprise.

With more than 300 references, On Proof and Progress in Mathematics is among the most-cited of all the arxiv's [math.HO] articles.

Nowadays many influential essays in systems engineering (for example) draw implicitly upon Thurston's influential ideas regarding the central role of mathematics in social enterprises ... it is not only mathematicians who are reading and reflecting upon these ideas.

$\endgroup$
1
  • $\begingroup$ This gets Thurston backwards: his essay was about the social foundation of mathematics, not about the role of math in society. $\endgroup$
    – user44143
    Sep 24, 2021 at 9:23
13
$\begingroup$

math.SG Symplectic Geometry

Symplectic integrators are used for numerical simulation of Hamiltonian mechanics. Prominent applications include molecular dynamics, solar system dynamics, computer animation, and a wide variety of problems in mechanical engineering.

$\endgroup$
13
$\begingroup$

math.MG Metric Geometry

  • Discrete sphere packing solutions lead to error-correcting codes.
  • The earthmover metric is used in image recognition and classification.
  • Triangulation using the Euclidean metric is used for navigation (and nowadays, in GPS systems)

The Banach fixed point theorem for contraction mappings has a beautiful application in image compression, called fractal compression. One starts with a complete metric space $X$ of images with Hausdorff metric. Then for a given image $x \in X$ one finds a contraction mapping $A: X \to X$ with (unique) fixed point $x$. To do this, one considers self-similarities in the picture (that's why it is called fractal compression).

Then we get rid of the original image and store the map $A$ only. To reconstruct the image, one starts with any $x_0 \in X$ (for example an image which is all black or all white), and applies $A$ several times. The result will be close to $x$.

When I (Evgeny Shinder) first learnt this in high school (my friend and I implemented fractal compression as a final project for a programming class), I was fascinated how such abstract math can be applied to such a concrete problem as image compression!

$\endgroup$
2
  • $\begingroup$ The taxicab metric is something many of us think about when driving. :) $\endgroup$ Jan 20, 2010 at 23:33
  • $\begingroup$ Having seen Gunnar Carlsson speak about topological data analysis, I think there is another application of metric geometry to his work in that field. $\endgroup$ Dec 8, 2015 at 15:14
12
$\begingroup$

math.LO Logic

  • Lambda calculus, the theoretical basis for functional programming (Lisp in particular), was developed by Alonzo Church in the 1930's as part of his research on recursion and the foundations of mathematics.
  • Formal verification is used to verify software and hardware in which failure rates need to be as close to zero as possible (e.g. avionics)
  • Finite Model Theory is used to design and improve database query systems.
  • logical reasoning is widely and sometime non-trivial used in law application in courts, and in should be in parliaments during setting a law systems
$\endgroup$
1
  • 1
    $\begingroup$ @Kakaz, will you give a non-trivial example of logic in court? Meanwhile, I find the comment on parliaments off-topic: the question is about real-world applications, not the applications we desire. $\endgroup$
    – user44143
    Sep 24, 2021 at 12:11
11
$\begingroup$

math.OC Optimization and Control

  • Optimization is heavily used in medicine for cancer treatment, in a technique of radiation therapy called Intensity Modulated Radiotherapy (IMRT) Take a look at this presentation of one of the main researchers in the field.
  • Used everywhere in almost every electro-mechanical system (cars, planes, the power grid)
  • Kalman filtering and the like are used to enable (e.g.) radar tracking.
  • Optimization (and more generally, operations research) is used for management in logistics and analyses/feasibility studies.
$\endgroup$
10
$\begingroup$

math.MP Mathematical Physics: this subject already uses several of the other already mentioned categories, like group theory, functional analysis, applied to physical theories like quantum field theory. But since the intention is to see concrete applications to the real world taken from a mathematically rigorous framework, then we could mention

  • In the first place Noether's theorem: "every differentiable symmetry of the action of a physical system has a corresponding conservation law".
  • Onsager reciprocal relations: They "express the equality of certain ratios between flows and forces in thermodynamic systems out of equilibrium, but where a notion of local equilibrium exists". Onsager's contribution was to demonstrate that not only is $L_{\alpha \beta}$ positive semi-definite (the Onsanger matrix of phenomenological coefficientes), it is also symmetric, except in cases where time-reversal symmetry is broken.
  • The issues about proving thermodynamical statements strictly from statistical mechanics. This became one the biggest discussions in mathematical physics on its time, between Ludwig Boltzmann and Ernst Zermelo (see the book of the colleted works of Ernst Zermelo, volume II, edited by Herausgegeben von, Heinz-Dieter Ebbinghaus and Akihiro Kanamori, Springer, 2013).
  • The existence of anti-particles by P.A.M. Dirac, which was first a mathematical result. Dirac realised that his relativistic version of the Schrödinger wave equation for electrons predicted the possibility of antielectrons, themselves discovered four years latter, by Carl D. Anderson.
  • The Universality of the Feigenbaum constants, proven by Landorf ( Lanford III, Oscar (1982). "A computer-assisted proof of the Feigenbaum conjectures". Bull. Amer. Math. Soc 6 (3): 427–434.), with some corrections by Eckmann and Wittwer (Eckmann, J. P.; Wittwer, P. (1987). "A complete proof of the Feigenbaum conjectures". Journal of Statistical Physics 46 (3–4): 455).
  • The very concept of Universality, together with scaling, introduced by Kadanoff (see for example, Physica A 163 (1990) 1-14 "Scaling and Universality in Statistical Physics"). Roughly speaking, scaling is about the description of changes in the behavior of physical phenomena, in terms of adimensional constants, and how do they scale with them, as is the case of the Reynolds number. Universality concerns the invariance of properties for different dynamical systems, independently of some other physical details. For example, (see the aforementioned paper of Kadanoff), any perturbation which does not drive away a Hamiltonian near a critical point is deemed irrelevant, and all the Hamiltonians with any such kind of perturbations are said to belong to the same Universality class.
  • In the speculative region (as of today), the prediction of a possible second Island of Stability, where some new stable chemical elements might be found, with possibly interesting physical properties (see, for example, Zeitschrift für Physik 1969, Volume 228, Issue 5, pp 371-386 "Investigation of the stability of superheavy nuclei around Z=114 and Z=164", by Jens Grumann, Ulrich Mosel, Bernd Fink, Walter Greiner).
  • Even more speculative, but still valid mathematical results, some solutions from Einstein's General Relativity equations, allowing for closed timelike curves (i.e. time machines to the past), such as Gödel Spacetime (see, Review of Modern Physics, volume 21, Number 3, July 1949, "An example of a new type of cosmological solutions of Einstein's field equations of gravitation", Kurt Gödel).
  • Not yet published as mathematically solved, the strict mathematical derivation of turbulence, from the Navier-Stokes equation, or otherwise (turbulence does not have a complete mathematical theory, to the extent of my knowledge). Navier-Stokes does not even have a theorem for the following problem: "Prove or give a counter-example of the following statement: In three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations."
  • Along similar lines for mathematical completeness, is the Yang-Mills existence and mass gap: "Prove that for any compact simple gauge group $G$, a non-trivial quantum Yang–Mills theory exists on $\mathbb{R}^4$ and has a mass gap $\Delta > 0$. Its importance comes from the fact that it is the simplest Quantum Field Theory available (as far as I know), and it does not need to assume the existence of quarks.
$\endgroup$
2
  • 1
    $\begingroup$ You might consider removing Penrose's arguments against strong AI. They are flawed and resort to intuition, although they do exhibit rigourous mathematical content. They say a Turing Machine will provably get stuck, while no such proof exists for human beings -- and our experience on being wrong or stuck and then getting over it suggest we won't ever suffer from the same fate. However they forget human mathemacians and communities are always growing with information from outside - others and the world. What if we put a human into eternal isolation, or allowed a machine to grow from the world? $\endgroup$ Dec 11, 2020 at 5:47
  • 1
    $\begingroup$ @ClaudeChaunier These arguments are almost certainly flawed. I have removed this part of the post as I believe this strengthens the post. $\endgroup$ Dec 27, 2022 at 12:13
8
$\begingroup$

math.KT K-Theory and Homology

Used for the purposes (edit: image processing and computational dynamics) in this book and in the Chomp project.

$\endgroup$
6
$\begingroup$

math.GM General Mathematics

  • The cosmic distance ladder is largely built using elementary geometry (although for some legs of the ladder, more advanced mathematics, e.g. relativity and probability, play a role).
  • Mathematics considered as general is the model of precise reasoning, which is widely ( not so widely as it could be or even should be probably...) used in various branches of everyday living as law, economics, psychology, rhetoric etc. Person who do not know mathematics at all usually have small chances to solve his problems in abstract way, which means that every problem may only certain solution related to defined example, without generalisation.
$\endgroup$
6
$\begingroup$

math.GT Geometric Topology: used for topological quantum field theory (TQFT). There is information on applications of this subject area: here. In chapter 6 of Topological Quantum Computation edited by Zhengan Wang CBMS 112 availabe at http://www.ams.org/bookstore/pspdf/cbms-112-prev.pdf It is argued that TQFT is relevant to the real world due to emergence phenomenon.

Also at this site: http://web.ornl.gov/sci/ortep/topology.html geometric topology is used in crystallography. (Carroll K. Johnson and Michael N. Burnett: Crystallographic Topology - The Topology of Crystallographic Groups and Simple Crystal Structures. Here is a link to a Wayback Machine snapshot.)

$\endgroup$
3
  • 3
    $\begingroup$ I wouldn't consider TQFT as real world (and I believe many physicists would agree). $\endgroup$
    – DamienC
    Feb 16, 2015 at 23:15
  • $\begingroup$ I added material to the answer including some about TQFT and the real world. $\endgroup$ Feb 17, 2015 at 19:05
  • $\begingroup$ Topological QFTs are used extensively throughout real-world applications of condensed matter physics, including Chern-Simons theory. $\endgroup$ Dec 26, 2022 at 20:36

Not the answer you're looking for? Browse other questions tagged or ask your own question.