Editing 2207: Math Work

{{comic
| number    = 2207
| date      = September 25, 2019
| title     = Math Work
| image     = math_work.png
| titletext = I could type this into a solver, which MIGHT help, but would also mean I have to get a lot of parentheses right...
}}

==Explanation==

[[White Hat]] is observing a {{w|physicist}}, [[Cueball]], who is staring at some (in the comic unreadable; see [https://imgs.xkcd.com/comics/math_work_2x.png high resolution version]) equations and diagrams on a {{w|chalkboard}}. White Hat is neither a physicist nor a {{w|mathematician}}, and seems to glorify those professions. He wishes he understood Cueball's work and "the beauty on display here."  People who profess a love for mathematics often cite the beauty they see in pure math, how things work out so perfectly, as the reason they love math. 

The joke is that Cueball as a physicist is doing something instead quite simple and relatable: Avoiding hard work. Solving many kinds of constraints for two unknowns isn't necessarily difficult, but can be depending on the details. Cueball clearly thinks a solution is possible but would rather find an easier route. The same could be said about the field of mathematics in general: A proof is beautiful to a mathematician when it provides {{w|aesthetic}} pleasure, usually associated with being easy to understand. A proof is elegant when it is both easy to understand and correct, and mathematical solutions are profound when useful. Record numbers of mathematics interest groups and their forums in which such work is done exist today, from academic journals predating the use of electricity to a plethora of internet math and science fora such as {{w|Wikipedia:Reference_desk/Mathematics|Wikipedia Reference Desks}} and Reddit's [https://reddit.com/r/theydidthemath /r/theydidthemath] forum, which fueled a [https://i.imgur.com/l1r1VEE.png resurgence of the phrase "they did the math" as a search term in 2014,] because it was included in the sidebar of the [https://reddit.com/r/xkcd /r/xkcd] subreddit, where it remains five years hence, between "Linguistics" and "Ask Historians," suggesting that the term was popularized by Xkcd fans after [https://books.google.com/ngrams/graph?content=they+did+the+math&case_insensitive=on&year_start=1980&year_end=2008&corpus=15&smoothing=3&share=&direct_url=t4%3B%2Cthey%20did%20the%20math%3B%2Cc0%3B%2Cs0%3B%3Bthey%20did%20the%20math%3B%2Cc0%3B%3BThey%20did%20the%20math%3B%2Cc0#t4%3B%2Cthey%20did%20the%20math%3B%2Cc0%3B%2Cs0%3B%3Bthey%20did%20the%20math%3B%2Cc0%3B%3BThey%20did%20the%20math%3B%2Cc0 its initial appearance c. 1988.] The proliferation of mathematics fora is certainly also due to the quickly increasing overall level of education and rapidly growing numbers of internet users.

The title text continues Cueball's thought process, with the possibility of using an automatic equation solver to find the unknowns. Equation solvers are not often considered beautiful ways to address purely mathematical problems, even if they are often the most efficient and in that sense elegant solutions to applied problems in engineering. Using a formal solver with symbolic, numeric, or both methods requires making sure that the constraints (e.g. equations) are entered correctly, with parentheses balanced in their correct locations for the solution to succeed. This might be a further joke about Cueball's laziness, suggesting that he doesn't even have the energy to check whether his parentheses are placed correctly. At the same time it might show how far away he is from finding the real solution: Any missing, misplaced or spurious parenthesis will most likely immediately invalidate the whole equation system. While the {{w|mathematical beauty|beauty of mathematics}} and pure physics may not be associated with automatic solvers in spreadsheets, general optimization methods are considered elegant in applied physics and engineering, with [http://entsphere.com/pub/pdf/1957%20Jaynes,%20ShannonMaxEntBoltzmann.pdf Jaynes (1957)] cited more than 12,000 times on Google Scholar, including by [https://www.researchgate.net/publication/234147180_Maximum_Entropy_Image_Restoration_in_Astronomy a paper cited] by the [https://arxiv.org/abs/1711.01286 first black hole image astronomers] for example.

===Examples of bivariate optimization===

A mathematical problem involving two unknowns could be a {{w|system of linear equations}} which can often be solved on paper, a blackboard, in a spreadsheet with solver functions, or by a {{w|computer algebra system}} such as [https://www.wolframalpha.com/input/?i=x%2By%3D10%2C+x-y%3D4&lk=3 WolframAlpha.com.] Linear equations are a typical kind of more general constraint satisfaction problems, which in turn are {{w|mathematical optimization}} problems, where the minimization of a difference from a goal state (such as that all of the constraining equations are true, for example) indicates the extent to which constraints are met. Sometimes such problem solving activity arises naturally from economic transactions according to, for example, the laws of {{w|supply and demand}}, arising in the general context of civilization and ecology (both of which have properties associated with beauty and mathematical elegance.) Problems solved by economics are examples of {{w|distributed constraint optimization}} processes. When economic laws are not sufficiently satisfying constraints, that is a {{w|market failure}}, which indicates that more artificial and manual mathematical work is required, instead of the naturally arising or otherwise automatic methods contemplated by Cueball. Other distributed constraint optimization systems can be {{w|crowdsourcing}} games, such as {{w|FoldIt}} and {{w|Galaxy Zoo}}.

Of [https://imgs.xkcd.com/comics/math_work_2x.png the graphic elements on the blackboard,] the most distinctive appears to be a pair of wedges from a pie chart, where the radius of the slices is being used to represent another variable than the angles which all pie charts use to represent a primary variable. Since the cartoon is in black and white, the use of color to represent category labels or more variables may be ruled out. Such black-and-white wedges represent two variables, the meaning of which may be unknown to us, let alone their values. The only distributed constraint optimization game which uses such wedges may be the {{w|climate stabilization wedge}} game [https://cmi.princeton.edu/wedges/game from Princeton University.] In that wedge game, angles represent a potential number of gigatons of atmospheric carbon mitigation (out of about 38 for the circle) and radius indicates uptake, or the extent to which the mitigation solution is effective. 

That game is an example of a bivariate optimization problem which might not have to be manually solved by anyone, for example under specific assumptions about the market in [https://x.company/projects/foghorn Project Foghorn] [https://www.docdroid.net/WlkWabq/ioc-part-1-prototype-article-in-press.pdf plants] and [https://www.docdroid.net/SRxC3bd/power-to-gas-efficiency.pdf power-to-gas upgrades for natural gas] power plants. If such market-based approaches to distributed constraint satisfaction are successful, then the work in finding the solution would be performed not entirely by physicists, chemical engineers, mathematicians, or intentional crowdworkers playing a game to achieve the optimal solution(s), but instead in even larger part by far more widely distributed crowdworkers who are simply making their own, ideally self-interested choices regarding their demand for {{w|desalination|desalinated}} and {{w|drinking water|potable water}}, {{w|carbon-neutral fuel|carbon-neutral liquid transportation fuel}} and carbon-negative {{w|carbon sequestration|sequestration}} in {{w|fiber-reinforced composite}} lumber, both made from {{w|ocean acidification|carbonate dissolved in seawater}}, and for recycling the carbon in power plant flue exhaust for the {{w|Energy storage|storage of renewable energy}} such as off-peak {{w|wind power}}. The relative beauty, elegance, and simplicity of the possible solutions to such problems is subjective, and might involve strong differences of opinion between outside observers, mathematicians and engineers involved with the details, and {{w|Villain#Sympathetic villain|fossil fuel barons}}, respected and enriched by society for their part in meeting energy demand. (See "All Chemistry Equations" in [[2034: Equations]].) Although the original market-focused primary use of {{w|ticker tape}} may be a lost art, the economy is still driven by individual free will leveraging self-interested behavior to achieve social gains for civilization.

==Transcript==
:[White Hat is watching Cueball from a couple of meters away. Cueball is contemplating the formulas and diagrams that fills the blackboard he stands in front of. Cueball holds a chalk in his hand. None of the content on the blackboard is readable, but there is a diagram in the shape of a circle and a another pie shaped diagram. Both are thinking with large thought bubbles above their heads, with small bubbles connecting them and the larger bubble.]
:White Hat (thinking): Amazing watching a physicist at work, exploring universes in a symphony of numbers.
:White Hat (thinking): If only I had studied math, I could appreciate the beauty on display here.

:Cueball (thinking): Oh no. This has '''''two''''' unknowns. That's gonna be really hard.
:Cueball (thinking): Ughhhhhhh.
:Cueball (thinking): '''''Think.''''' There's gotta be a way to avoid doing all that work...

{{comic discussion}}

[[Category:Comics featuring White Hat]]
[[Category:Comics featuring Cueball]]
[[Category:Physics]]
[[Category:Math]]