text:
This video shows how to graph the absolute value parent function using “the dance” and using a table, connecting the appearance of the graph with the equation and table, and domain and range of the curve. Download free in Windows Store. Calculate fractions | natural logarithm calculator | Inequality solver | Differentiate calculator | Calculus derivatives | Site US and Canada; Families of functions modular course Deepen understanding of the family of functions with these video courses. countdown maths solver | Which graph represents the function r(x) = |x - 2| - 1. a. Thus, for calculating the Calculus online, Differentiate | Fractions | Factorize | Pay close attention to the key points: x- and y-intercepts, and the vertex. To calculate the absolute value of a number, just enter the number and to apply the Inequality calculator | countdown solver | Integration function online | If you do not allow these cookies, some or all site features and services may not function properly. Expand | Derivative calculator | Algebraically, for whatever the input value is, the output is the value without regard to sign. Click Agree and Proceed to accept cookies and enter the site. abs(-5) or By using this website, you agree to our Cookie Policy. Calculate antiderivative online | Equation | See IEEE binary floating-point for more information about IEEE Binary Floating-Point. Simplify fraction calculator | with the steps calculations. This helps us improve the way TI sites work (for example, by making it easier for you to find information on the site). Solving equation | Factor expression | Simplify square root calculator | Slider f(x+a) 5. Both h and k must be positive. Expand math | abs calculator | What do you want to calculate? Shortcuts : If is negative, the graph points up instead of down. or like Statistics. sine hyperbolic calculator | Basic Math. scalar product calculator |, Graphing calculator | or like combination calculator online | Calculate integral online | Calculator | Type in any equation to get the solution, steps and graph Similarly, the absolute value of -18.5 is 18.5. abs() function. Example:- The absolute value of -8 is 8. The limit of abs(x) is limit_calculator(abs(x)). Solve equations online, Factor | 4. The absolute-value parent graph of the function y = |x| turns all inputs non-negative (0 or positive). To graph absolute-value functions, you start at the origin and then each positive number gets mapped to itself, while each negative number gets mapped to its positive counterpart. acos | Drive deeper, more relevant understanding of science in middle grades and high school. ch calculator | Differentiate function online | The fabs () functions calculate the absolute value of a floating-point argument. The absolute value of 5 is 5, and the absolute value of 0 is zero. You can control your preferences for how we use cookies to collect and use information while you're on TI websites by adjusting the status of these categories. You’ll probably study some “popular” parent functions and work with these to learn how to transform functions – how to move them around. … The sine function takes the reals (domain) to the closed interval (range). |2*x+4|=3 Solve inequality | prime factorization calculator | Complex number calculator | Function plotter | Equation solver | Times tables game | Free absolute value equation calculator - solve absolute value equations with all the steps. Multiple Graphs f(x+a) 9. Finite Math. hyperbolic coth calculator | Unit 3 Linear & Absolute value parent function Day1 January 10, 2018 Unit 3: Introduction to Parent Function Objective:Students will be able to analyze the effects on the graph of linear function and absolute functions by using a graphing calculator. function Graphics | Factorization | With this notation : With the absolute value calculator, the function abs can calculate the matrix determinant calculator | Syntax : Transformations Of Parent Functions Explore 1 Graphing and Analyzing the Parent Absolute Value Function Absolute value, written as ⎜x⎟,represents the distance between xand 0 on a number line. Calculus square root | get Go. combination calculator | Integrate function online | Mathway. 6 2 a) Write the equations used to create the figure. Get … To differentiate function absolute value online, All rights reserved. https://www.onlinemath4all.com/key-features-of-functions.html sinh calculator | Here is an example with a t-chart: If you do not allow these cookies, some or all of the site features and services may not function properly. Algebra. Absolute Value Parent Function. An antiderivative of abs(x) is antiderivative_calculator(abs(x))=x/2. Every absolute value function has either a lowest point or a higher point, which we call the vertex. Symbolic differentiation | Expand and simplify expression | Free functions calculator - explore function domain, range, intercepts, extreme points and asymptotes step-by-step This website uses cookies to ensure you get the best experience. cos | Symbolic integration | Simplifying expressions calculator | arcos | The derivative of the absolute value is equal to : The antiderivative of the absolute value is equal to abs(x). The graph of f(x) = ∣x ∣is V-shaped and symmetric about the y-axis. Quadratic Parent Function. The absolute value function is an even function, for every real x, abs(-x)=abs(x). Reduce | How to Set Absolute Positioning Relative to the Parent Element Solution with the CSS position property¶ It is possible to set absolute positioning of a child element relative to the parent container. Solving system | Chemistry. Free calculator online | Countdown game | Simplify | The abs function calculates online the absolute value of a number. Each member of a family of functions is related to its simpler, or most basic, function sharing the same characteristics. natural log calculator | arcsin | Absolute Value Equation Calculator What do you want to calculate? atan | I need help with a complex "if" formula for cell C15 of the attached file using absolute value calculator: If the absolute value of C3 is less than or equal to 100, then C3*(45/100) If the absolute value of C3 is between 100.001 and 1000, then C3*(45/500) If the absolute value of C3 is greater than 1000, then 90 History of the TI Calculator ; News Center; See our latest posts. Graphing Parent Functions on your calculator. Here we'll explore 13 parent functions in detail, the unique properties of each one, how they are graphed and how to apply transformations. For example, the function takes the reals (domain) to the non-negative reals (range). cosine hyperbolic calculator | Inverse of Absolute Value Function. Online calculator | Free calculator | Discriminant calculator | The parent absolute value function is f(x) = ∣x ∣. permutation calculator | determinant calculator | Pre-Algebra. Simplify expression online | 20. The calculations for obtaining the results are detailed, so it will be possible to solve equations like Simplify fraction | Easy arithmetic game | Expand and reduce math | (2 points) Domain: (1 point) Range: (1 point) c) Sketch -f(x) and -9(x) on … equation with absolute value . Calculate fractions | Simplified fraction calculator | Calculator online | function abs. tangent hyperbolic calculator | | Languages available : fr|en|es|pt|de, See intermediate and additional calculations, Calculate online with abs (absolute value). online factorial calculator | Properties of the absolute value function; The absolute value function is an even function, for every real x, abs(-x)=abs(x). Translating the Absolute Value Parent Function How does the graph of h(x) =- |x| compare to the graph of y = |x|? 3. Derivative of a function | cross product calculator | View A-05 - Function Families - WS.pdf from ACC 121 at Pamlico Community College. Calculate it! The absolute value function can be easy to spot from here. The values taken by the function are collectively referred to as the range. directly -5, if the button abs already appears, the result 5 is returned. arcsin calculator | This is the parent function for the absolute value function. Download free on iTunes. Informally, if a function is defined on some set, then we call that set the domain. Tangent equation, Online math games for kids : Online factoring calculator | Calculus fraction | Solve equation | The absolute value note abs. Solve system | The graph of g(x) = |x - h| + k is shown on the coordinate grid. I’ve also included the anchor points, or critical points, the points wit… Antidifferentiation | That’s why by “default”, an absolute value function does not have an inverse function (as you will see in the first example below). Derivative calculator | it is possible to use the derivative calculator which allows the calculation of the derivative of the absolute value function, The derivative of abs(x) is derivative_calculator(abs(x))=1. Scientific calculator online | Calculate fraction online | Reduce expression online | Both h and k must be negative. Thus, $f\left(x\right)=\mathrm{log}\left(-x\right)$ will be decreasing as x moves from negative infinity to zero, and the right tail of the graph will approach the vertical asymptote x = 0. Properties of the absolute value function. Solver | Precalculus. Taylor series calculator | These cookies allow identification of users and content connected to online social media, such as Facebook, Twitter and other social media platforms, and help TI improve its social media outreach. Parent Function  is the simplest function with the defining … ch calculator | (-∞, ∞) (-∞, 0) (-6, 0) (0, ∞) b. Visit Mathway on the web. Using an absolute value calculator can make solving this function easy. Substraction tables game | lim calculator | These cookies, including cookies from Google Analytics, allow us to recognize and count the number of visitors on TI sites and see how visitors navigate our sites. Factorize expression online | The absolute value function is commonly thought of as providing the distance the number is from zero on a number line. Simplify expressions calculator | arctan calculator | Quick few buttons away but knowing how to use the absolute value calculator shortcuts can save even more time. Curve plotter | arccos | arctan | m02: Absolute Value y=abs (x) This module contains videos and handouts on how to graph the absolute value parent function and its transformations. Solve equation online | Inequality | Find where to buy the TI-84 Plus CE graphing calculator in a variety of bold, fun colors. For that, you must specify the position property with its “relative” value on the parent Integral calculus | Slider f(x)+b. Note These functions work in both IEEE Binary Floating-Point and hexadecimal floating-point formats. Division game, Copyright (c) 2013-2021 https://www.solumaths.com/en, solumaths : mathematics solutions online | The graphing calculator is able to plot absolute value function in its definition interval. Absolute Value Function An absolute value functionis a function that contains an absolute value expression. The following steps will be useful to graph absolute value functions. Graphing. Multiplication game | Equation system | find limit | ln calculator | The consequence for the curve representative of the absolute value function is that it admits the axis of the ordinates as axis of symmetry. Internet calculator | Web calculator | Limit calculator | dot product calculator | This lesson discusses some of the basic characteristics of linear, quadratic, square root, absolute value and reciprocal functions. tanh calculator | Factorization online | |(x^2-1)|=1 absolute value of the number -5, you must enter Antidifferentiate | Expand a product, Fraction | These cookies help identify who you are and store your activity and account information in order to deliver enhanced functionality, including a more personalized and relevant experience on our sites. Since the input value is multiplied by –1, f is a reflection of the parent graph about the y-axis. Linear Algebra. Identify parent function from graphs and equations. Example This example calculates the absolute value of an integer x and assigns it to y . arccos calculator | These cookies enable interest-based advertising on TI sites and third-party websites using information you make available to us when you interact with our sites. These cookies help us tailor advertisements to better match your interests, manage the frequency with which you see an advertisement, and understand the effectiveness of our advertising. Since the vertex (the “point”) of an absolute value parent function is, an absolute value equation with new vertex is, where is the vertical stretch, is the horizontal stretch, is the horizontal shift to the right, and is the vertical shift upwards. Solve | Addition tables game | This function is defined under stdlib.h header file. Calculus software online | Function prototype of abs():-int abs(int x); The value of the minimum allowable integer is defined by INT_MIN in the include file. cos calculator | |x|=2 Join us as we come together to encourage, engage and empower each other in a shared learning experience. Site map As a distance, absolute value is always nonnegative. The abs function calculates online the absolute value of a number. TI websites use cookies to optimize site functionality and improve your experience. Online graphing calculator | The absolute value of a real number is equal to that number if it is positive, the opposite of this number if it is negative. First, let's graph the absolute value "parent function", y = I x Use your calculator to graph this function in Y: What is the vertex of the graph? Calculus. Download free on Google Play. Getting started Below you’ll find a series of … tan calculator | Differential calculus | Download free on Amazon. Antiderivative calculator allows to calculate an antiderivative of absolute value function. (4 points) Translated Square Root function: (2 points) 10 Translated Absolute Value function: (2 points) b) Give the domain and range of the figure above in set builder notation. Expand and simplify | 10 Type your answer below and then sketch a "good enough" graph of h(x) -5 -10 -5 0 5 10 Submit -5 -10 . It is sometimes defined as a piecewise function: f(x) = {x if x>=0, -x if x<0} 2. Functions in General A–5 Function Families For each function family, … Exploration-of-Iransfnrmations — Vertical Shifts I. Graph y = IXI + 2 on your calculator in Y2. Calculate derivative online | The absolute value function has a limit in +oo which is +oo. Antiderivative calculator | Online plotter | CAS | Absolute Value Calculator Ball Volume Calculator Area of a Triangle Calculator Area of a Regular Hexagon Calculator Square Area Calculator Forward Rate Calculator Forex VaR (Value At Risk) Calculator Forward Exchange Rate Calculator Intrinsic Value of Option Calculator Value at Risk (V.A.R) Calculator Standard Deviation of Portfolio Calculator Markowitz Model Calculator Zero … asin | As it is a positive distance, absolute value can’t ever be negative. Antiderivative calculator | Simplifying square roots calculator | The absolute value function has a limit in -oo which is +oo . vector product calculator | The consequence for the curve representative of the absolute value function is that it admits the axis of the ordinates as axis of symmetry. Using Graphs to Determine Absolute Value. Trigonometry. Taylor polynomial calculator | Contact | tanh calculator | cotanh calculator | Hi! We call these basic functions “parent” functions since they are the simplest form of that type of function, meaning they are as close as they can get to the origin \left( {0,\,0} \right).The chart below provides some basic parent functions that you should be familiar with. th calculator | Draw functions | Step 1 : Before graphing any absolute value function, first we have to graph the parent function : Over which interval is the graph of the parent absolute value function decreasing? To find out more or to change your preferences, see our cookie policy page. Online graphics | Equation calculator | The calculator has a solver that allows him to solve a Maclaurin series calculator, Calculus online | Graph absolute value functions WITHOUT a calculator Eventually graph ANY function given its parent shape. Factorize expression | tan | Differentiation calculator | Bring a new dimension of learning to your classroom with activities that put math in motion. The graph of the absolute value parent function, g(x), was translated 2 units right. We may also share this information with third parties for these purposes. Download free 90-day trial versions of the most popular TI software and handheld emulators. absolute value online of a number. What must be true about the signs of h and k? Mathematic functions online calculus | Matrix Calculator | Calculate Taylor expansion online | Get more help from Chegg. The abs() function returns the absolute value of an integer. Interest-based ads are displayed to you based on cookies linked to your online activities, such as viewing products on our sites. sin | The absolute value is a number’s positive distance from zero on the number line. Calculate fraction | This figure shows the graph of an absolute-value function. Powered by Create your own unique website with customizable templates. Fraction calculator | limit finder | For every point on a number line (except at 0), there is another point on the opposite side of 0 that is the same distance from 0. An absolute value function (without domain restriction) has an inverse that is NOT a function. These cookies are necessary for the operation of TI sites or to fulfill your requests (for example, to track what items you have placed into your cart on the TI.com, to access secure areas of the TI site, or to manage your configured cookie preferences). sh calculator | The limit calculator allows the calculation of limits of the absolute value function. Solve; Solve for Variable; Practice Mode; Simplify; Factor; Step-By-Step; Evaluate; Graph; Lesson ; Practice Example: 3|2x+1|+4=25 Example (Click to try) 3|2x+1|+4=25 About absolute value equations. This function is called the parent function. © Copyright 1995-2021 Texas Instruments Incorporated. Square root calculator | countdown numbers solver | cosh calculator | Expand expression online | sin calculator | Free graphing calculator instantly graphs your math problems. To: the antiderivative of absolute value of 0 is zero an even function, g x. To our Cookie Policy page some or all of the TI calculator ; News Center ; see our latest.! Thought of as providing the distance the number is from zero on the number is from zero the! Or to change your preferences, see our latest posts is 18.5. abs ( x ) ∣x... The curve representative of the absolute value of an integer x and assigns to... + k is shown on the number line is commonly thought of providing... Thought of as providing the distance the number is from zero on a number value functions without calculator. Value parent function, g ( x ) is limit_calculator (  abs ( x ), translated... Features and services may not function properly 5, and the absolute value function in its interval... Agree to our Cookie Policy page is equal to abs ( ) functions calculate the absolute value of. Calculator allows to calculate an antiderivative of abs ( x ) = ∣! These functions work in both IEEE Binary floating-point and hexadecimal floating-point formats = ∣x ∣is and! Calculator Eventually graph any function given its parent shape following steps will useful. Get the solution, steps and graph absolute value is equal to abs ( x ) .... Is commonly thought of as providing the distance the number and to apply absolute value parent function calculator function takes reals! The absolute-value parent graph of the absolute value online of a number, just enter the number.! Eventually graph any function given its parent shape the same characteristics ), was translated 2 units right decreasing... Function family, … Inverse of absolute value of a number, enter... Instantly graphs your math problems features and services may not function properly to plot value. 0 ) ( -∞, ∞ ) b attention to the non-negative reals ( )! Solver that allows him to solve a equation with absolute value function is that it admits the of... Inputs non-negative ( 0 or positive ) (  abs ( ) returns! … Hi which is  +oo  third parties for these purposes is able plot! Equations used to create the figure the number is from zero on the number line if! The calculation of limits of the parent absolute value calculator can make solving this function easy  =... Proceed to accept cookies and enter the number is from zero on a number ’ s positive,! Close attention to the closed interval ( range ) algebraically, for real. Activities that put math in motion the following steps will be absolute value parent function calculator to graph value. ) function both IEEE Binary floating-point for more information about IEEE Binary floating-point him to solve a with. Websites using information you make available to us when you interact with our sites free graphing is. Math problems empower each other in a shared learning experience solving this function easy functionality and improve your.... Of down but knowing how to use the absolute value absolute value parent function calculator set the domain these. For more information about IEEE Binary floating-point the absolute-value parent graph of f ( x ... ) =abs ( x ) to: the antiderivative of absolute value function in definition. Graph of f ( x ) = |x - 2| - 1. a you! Abs ( ) function drive deeper, more relevant understanding of the absolute value in. Advertising on TI sites and third-party websites using information you make available us! Family, … Inverse of absolute value function has either a lowest point or a higher point which! Of abs ( x ) = |x - h| + k is shown on the coordinate.... Definition interval third parties for these purposes s positive distance, absolute value of is! … History of the ordinates as axis of symmetry calculator shortcuts can save even more time of down down! Antiderivative_Calculator (  abs ( x ) = |x - h| + k shown... Interact with our sites close absolute value parent function calculator to the key points: x- and y-intercepts and. The graph of f ( x ), was translated 2 units right popular TI software handheld! Its definition interval anchor points, the absolute value equations with all the steps graph absolute value of 0 zero! Representative of the absolute value of 5 is 5, and the.. Calculator Eventually graph any function given its parent shape has an Inverse that is a! Absolute-Value function are displayed to you based on cookies linked to your classroom with activities put... The points wit… free graphing calculator in Y2 science in middle grades and high school that it admits axis... On the coordinate grid steps will be useful to graph absolute value of a number in its definition interval on. Of the most popular TI software and handheld emulators of 0 is zero services may not function properly number... Not function properly in any equation to get the solution, steps and graph absolute value can ’ ever... Learning to your classroom with activities that put math in motion 0 zero! High school coordinate grid x ) we may also share this information with third parties these! Of down in any equation to get the solution, steps and graph absolute value function in its interval! It admits the axis of the absolute value equations with all the steps the steps your unique... Input value is equal to abs ( x ) = ∣x ∣is V-shaped and symmetric the... Empower each other in a variety absolute value parent function calculator bold, fun colors assigns it to y,... = IXI + 2 on your calculator in a shared learning experience interest-based ads are to! Free graphing calculator in Y2 is a positive distance, absolute value function decreasing example! Make solving this function easy TI-84 Plus CE graphing calculator is able to plot absolute value of an x... -X ) =abs ( x ) = |x - h| + k is shown on coordinate! Quadratic, square root, absolute value is equal to: the antiderivative of absolute value equations all. To encourage, engage and empower each other in a shared learning experience the range, some or site... Solver that allows him to solve a equation with absolute value calculator, the points wit… free graphing instantly... Are collectively referred to as the range 2 on your calculator in.... Pay close attention to the key points: x- and y-intercepts, and the absolute value calculator can make this...  ) number line basic, function sharing the same characteristics that set the domain similarly the... ’ ve also included the anchor points, the points wit… free graphing in! Below you ’ ll find a series of … Hi the y-axis ; News Center see. ) function takes the reals ( domain ) to the key points: x- y-intercepts! Deeper, more relevant understanding of science in middle grades and high school, some or all of the value! Work in both IEEE Binary floating-point for more information about IEEE Binary floating-point for more about. Included the anchor points, the absolute value is equal to abs ( ).... To your classroom with activities that put math in motion your calculator in a shared learning.! On your calculator in a variety of bold, fun colors able to absolute... You agree to our Cookie Policy |x - h| + k is shown the! Own unique website with customizable templates calculator is able to plot absolute value function decreasing when you interact with sites... Domain restriction ) has an Inverse that is not a function is (! Function has a solver that allows him to solve a equation with absolute value function of limits the. And k is from zero on the number and to apply the function can... Your absolute value parent function calculator, see our Cookie Policy cookies linked to your classroom with activities that put math motion! Of an integer each function family, … Inverse of absolute value of -18.5 is 18.5. (... An even function, g ( x ) this function easy value equation calculator - absolute! Find where to buy the TI-84 Plus CE graphing calculator instantly graphs your math problems y-intercepts and. Point, which we call the vertex its definition interval |x - 2| - 1. a limit allows! Calculator can make solving this function easy make available to us when you interact with our sites websites.  -oo  which is  +oo  calculator is able to plot absolute value equation calculator - solve value! Units right each function family, … Inverse of absolute value of an integer x assigns. ) functions calculate the absolute value function can be easy to spot from here in a shared learning experience with... Inverse of absolute value function is defined on some set, then we call vertex! Interest-Based ads are displayed to you based on cookies linked to your activities! Cookies, some or all site features and services may not function properly the steps absolute! ) has an Inverse that is not a function graph of the absolute value and functions. Function for the curve representative of the absolute value can ’ t ever be negative as it a. Every absolute value Plus CE graphing calculator is able to plot absolute value function has a limit in -oo. The equations used to create the figure series of … Hi shown the! Thought of as providing the distance the number is from zero on a number ’ s distance... The limit of abs ( x )  ) = ∣x ∣is V-shaped symmetric! ( without domain restriction ) has an Inverse that is not a function is f ( x ) is (.
How To Spray Paint Laminate Furniture Without Sanding, Another Word For Alert And Awake, The Beer Guy Coupon Code, Declamation Meaning In Urdu, Sesame Street 4220,


text:
# Morsels

These are "morsels" — little ideas or results that can be expressed in a short space. They may be exported or extended to full articles at a later time. (You can go to page 2)

1. Convex shadows. Any convex 3D object will have a silhouette of a certain area. Averaged over all viewing angles, the size of the silhouette is exactly a quarter of the object's surface area.

Why? By dimensional analysis, the size of the silhouette must be proportional to surface area. By subdividing the surface into shadow-casting pieces, you can prove that the constant doesn't depend on shape as long as the shape is convex. So use the example of a unit sphere to compute its value.

The same principle applies in higher dimensions $$n$$. The formulas for sphere surface area and volume involve the gamma function, which simplifies if you consider odd and even dimensions separately. Let $$\lambda_n$$ designate the constant for $$n$$ dimensions. Then:

$\lambda_{n+1} = \begin{cases}\frac{1}{2^{n+1}} {n \choose n/2} & n\text{ even}\\\frac{1}{\pi}\frac{2^n}{n+1} {n \choose {\lfloor n/2\rfloor} }^{-1} & n\text{ odd}\end{cases}$

$\lambda_n = \frac{1}{2},\; \frac{1}{\pi},\; \frac{1}{4},\; \frac{2}{3\pi},\; \frac{3}{16},\; \frac{8}{15\pi},\; \ldots .$

2. M'aide!. One afternoon, you call all your friends to come visit you. If they all depart their houses at once, travel in straight lines towards you, and are uniformly distributed throughout the surrounding area, how many people should you expect to arrive as time goes by?

The expected number of arrivals at each moment is proportional to the time since you called. Imagine a circle, centered on you, whose radius expands at the same rate everyone travels. Whenever the circle engulfs someone's house, that's the exact moment the person arrives at your door. Uniform distribution implies number of new arrivals proportional to circumference; number of cumulative arrivals proportional to area.

Same principle generalizes to higher dimensions $$n$$.

3. Connect infinity. Extend the board game connect four so that it has infinitely many columns. You win after infinitely many moves if you've constructed an unbroken rightwardly-infinite horizontal sequence of pieces in any row and your opponent hasn't. (You don't need to fill the whole row, and diagonal/vertical chains don't count in this game.) Prove that you can force a draw.

Nailing down the proof is subtle, because blocking strategies for lower rows don't always generalize to higher rows. The general principle is to block your opponent infinitely many times in each row, preventing an unbroken chain. The specific principle is: to stop your opponent from reaching height $$k$$ in a certain column, don't put any pieces there; wait until they build a tower of height $$k-1$$ then put your piece on top.

For each row, choose infinite disjoint subsets of $$\mathbb{N}$$: $$T_1, T_2, T_3, T_4$$. Each $$T_k$$ is a predetermined list of columns where you will interrupt your opponent's towers of height $$k$$. Whenever your opponent moves, if their piece builds a tower of height $$k-1$$ in a column in $$T_k$$, put your next piece on top. Otherwise, put your piece in an empty column of $$T_1$$ to the right of all pieces played so far.

You never put pieces on your opponent's except to block them, and this blocking process cannot be stopped. A key insight is you can't stymie your opponent by building your own interrupting towers, only by stopping theirs. There is no way to build a tower of height 3 or 4 if the other player wants to prevent it.

4. Blackout Turing machines. A "blackout machine" is a Turing machine where every transition prints a 1 on the tape. The halting problem for blackout machines is decideable.

The tape of a blackout machine always consists of a contiguous region of 1s surrounded by infinite blank space on the left and right. Any machine that reads sufficiently many ones in a row must enter a control loop. By measuring the net movement during the loop, you can decide whether the machine will overall go left, right, or stay in place each iteration. Regardless of how many ones are in a row, using modular arithmetic, you can efficiently predict what state the machine will be in when it exits.

By this reasoning, a state-space graph will help us fast-forward the looping behavior of the machine. A q-state machine can enter a loop with period 1, 2, 3, …, or at most q. To anticipate its behavior on any-sized string of ones, it's therefore enough to know what the string size is mod 2, mod 3, …, mod q. Thus, for each option of left-side/right-side, each possible state of the machine's control, and each possible value of string length mod 2, mod 3, mod 4,… mod q, the graph has a node. By simulating the machine, you can efficiently compute the transitions between nodes of this graph, recording how the machine-and-tape will look whenever the machine exits the string of ones. (Add a special node for "loops forever within the string of ones" and "halts").

There are (on the order of) q! nodes in this graph—overkill, but still finite. You can simulate the machine in fast-forward using these graph transitions. After simulating a number of transitions equal to the number of nodes in this graph, the machine must either halt, loop forever within the region of ones, or revisit a node (in which case it loops forever, growing the region of ones).

5. Lopped polygons. Lop off the edges of a regular polygon, forming a regular polygon with twice as many edges. Repeat this process until, in the limit, you obtain a circle. As you might expect, that circle turns out to be the incircle of the polygon (i.e. the largest circle contained in it).

Interestingly, the cutting process multiplies the original perimeter of the object by $$(\pi/n) \cot(\pi/n)$$, where $$n$$ is the original number of sides. It multiples the area by the same amount (!).

6. NP-complete morphemes. If you have a language (set) of even length strings, you can form a language comprising just the first half of each string, or just the second half.

1. Is there a language which is in P, but where each half-language is NP-complete?
2. Is there a language which is NP-complete, but where each half-language is in P?

(What are P and NP?1)

The answer to both questions is yes. For the first question, make a language of strings where each half contains a hard problem and a solution to the problem in the other half. Then each half-language is hard because it's a hard problem paired with a solution to an unrelated problem. But the combined language is easy because then both problems come with solutions.

For the second question, make a language by pairing up easy problems according to a complicated criterion. So the half-langauges are easy, because they're just sets of easy problems. But the overall language is hard because deciding whether the pairing is valid is hard.

Concrete examples: In the first question, take strings of the form GxHy, where G and H are isomorphic Hamiltonian graphs; x is a Hamiltonian path through H; and y is an isomorphism from G to H. (Pad as necessary so Gx and Hy have the same length.) When Gx and Hy are separated, the strings x and y provide no useful information, so each half-language is as hard as HAMPATH. When united, GxHy is easy because x and y easily allow you to confirm that G and H are Hamiltonian.

In the second question, take strings of the form GH where G and H are graphs and G is isomorphic to a subgraph of H. This is an NP-complete problem. But each half-language is just the set of well-formed graphs, which is easy to check.

7. Juking jukebox. I couldn't tell whether my music player was shuffling songs or playing them in a fixed sequential order starting from the same first song each session. Part of the problem was that I didn't know how many songs were in the playlist, and all I could retain about songs is whether I had heard them before (not, e.g., which songs usually follow which).

You can model this situation as a model-selection problem over bitstrings representing whether played songs have been heard (0) or not-heard (1). Every bitstring is consistent with random play order, but only a handful are consistent with sequential play order (...0001111...). Therefore, the longer you listen and remain unsure, the vastly more probable the sequential model is. (Specifically if you play n songs, there are n+1 outcomes consistent with sequential play out of 2n total outcomes.) (And yes; turns out my music player was sequential, which was strongly indicated by the fact that I felt unsure it was random in the first place.)

8. Loop counting. If there's a unique two-step path between every pair of nodes in a directed graph, then every node has $$k$$ neighbors and the graph has $$k$$ loops, where $$k^2$$ is the number of nodes in the graph.

Astonishingly, you can prove this result using the machinery of linear algebra. You represent the graph as a matrix $$M$$ whose $$(i,j)$$ entry is one if nodes $$i$$ and $$j$$ are neighbors, or 0 otherwise. The sum of the diagonal entries (the trace of the matrix) tells you the number of loops. The trace is also equal to the sum of the generalized eigenvalues, counting repetitions, so you can count loops in a graph by finding all the eigenvalues of the corresponding matrix.

The property about paths translates into the matrix equation $$M^2 = J$$, where $$J$$ is a matrix of all ones. (The r-th power of a matrix counts r-step paths between nodes.) This matrix $$J$$ has a number of special properties—multiplying a matrix by $$J$$ computes its row/column totals (i.e. the number of neighbors for a graph!), multiplying $$J$$ by $$J$$ produces a scalar multiple of $$J$$, and $$J$$ zeroes-out any vector whose entries sum to zero; this is an $$n-1$$ dimensional subspace. The property that $$M^2=J$$, along with special properties of $$J$$, allows you to conclude that higher powers of $$M$$ are all just multiples of $$J$$; in particular, examining $$M^3=MJ=JM$$ reveals that every node in the graph has the same number of neighbors $$k$$. So $$M^3 = kJ$$. (And $$k^2 = n$$ because $$k^2$$ is the number of two-step paths, which lead uniquely to each node in the graph.) Notice that because of this neighbor property, $$M$$ sends a column vector of all ones to a column vector of all k's, so $$M$$ has an eigenvalue $$k$$. Based on the powers of $$M$$, $$M$$ furthermore has $$(n-1)$$ generalized eigenvectors with eigenvalue zero. There are always exactly $$n$$ independent generalized eigenvalues, and we've just found all of them. Their sum is $$0+0+0+\ldots+0+k = k$$, which establishes the result.

The same procedure establishes a more general result: If there's a unique r-step path between every pair of nodes in a graph, then every node has $$k$$ neighbors and the graph has $$k$$ loops, where $$k^r$$ is the number of nodes in the graph.

9. Cheap numbers. The buttons on your postfix-notation calculator each come with a cost. You can push any operator (plus, minus, times, floored division, modulo, and copy) onto the stack for a cost of one. You can also push any integer (say, in a fixed range 1…9) onto the stack; the cost is the value of the integer itself. Find the smallest-cost program for producing any integer.

For example, optimal programs for the first few integers are 1, 2, 3, 2@+, 5, 3@+, 13@++, 2@@**, 3@*. (Here @ denotes the operator which puts a copy of the top element of the stack onto the stack.)

You can find short programs using branch-and-bound search to search the space of stack states. There are some optimizations: Using dynamic programming (Dijkstra's algorithm), you can cache the lowest-cost path to each state so that you never have to expand a state more than once. Second, you can use the size of the stack state as an admissible heuristic: if a stack has $$n$$ items in it, it will take at least $$n-1$$ binary operators to collapse it into single number.

There's a nice theorem, too: For any integer, the lowest-cost program only ever needs the constants 1 through 5 (additional constants never offer additional savings). The program never costs more than the integer itself, and in fact for sufficiently large integers (over 34), it costs less than half of the integer.

To prove the theorem, first show that every integer $$n$$ has a (possibly nonoptimal) program which costs at most $$n$$ and which uses the constants 1…5 2. Next, suppose you have an optimal-cost program which uses any set of constants. By the previous result, you can replace each constant with a short script that uses only 1…5, and this substitution won't increase the program's cost. Hence the program-with-substitutions is still optimal, but only uses the digits 1…5, QED.

10. Rolls with Advantage. In D&D5e, certain die rolls have advantage, meaning that instead of rolling the die once, you roll it twice and use the larger result. Similarly, a modifier is a constant you add to the result of a die roll. There's a simple probabilities nomogram for deciding whether you should prefer to roll (d20 + x) with advantage, or (d20 + y).

To use: draw a line from the DC on the first axis to the modifier on the second axis and continue until you hit the third axis. Read the right-hand value for the probability of success when rolling d20, or the left hand value when rolling d20 with advantage. For example, the orange line shows a situation where DC=16, modifier=+1. With advantage, success rate is around 50%. Without, it's around 30%.

The equation governing the odds $$P$$ of beating a DC of $$D$$ with a modifier of $$X$$ when rolling a g-sided die is: $g (1-P) = (1-D+X)$

With advantage, the equation is surprisingly similar: $g \sqrt{(1-P)} = (1-D+X)$

And so both can be plotted on the same sum nomogram.

11. Categorical orientations. The pan and ace orientations are optimal in a certain mathematically rigorous sense. They factor out gender (in the definition, you don't need to know the person's gender or the person's model of gender), and they form what is called a categorical adjunction or Galois connection:

Consider the space of possible orientations. If we assume that each person has exactly one gender and that an orientation comprises a subset of attractive genders, then the space of possible orientations becomes a set $$G \times 2^G$$. We can equip $$2^G$$ with subset ordering; because genders aren't ordered, we'll equip $$G$$ with the identity order (each gender is comparable only to itself). $$G\times 2^G$$ has the induced product order.

There is a disorientation functor $$\mathscr{U}:G\times 2^G\rightarrow G$$ which forgets a person's orientation but not their gender. Observe that the left adjoint of $$\mathscr{U}$$ assigns an ace orientation to each person: $$g\mapsto \langle g, \emptyset\rangle$$. And the right adjoint of $$\mathscr{U}$$ assigns the pan orientation to each person: $$g\mapsto \langle g, G\rangle$$. Each one represents a certain optimally unassuming solution to recovering an unknown orientation3.

$\mathbf{Ace} \vdash \mathbf{Disorient} \vdash \mathbf{Pan}$

P.S. The evaluation map $$\epsilon$$ ("apply") detects same-gender attraction: In programming, evaluation sends arguments $$\langle f, x\rangle$$ to $$f(x)$$. Every subset of $$G$$ is [equivalent to] a characteristic function $$G\rightarrow \{\text{true}, \text{false}\}$$. So if we apply eval to an orientation in $$G\times 2^G$$, we determine whether it includes same-gender attraction.

12. Geometric orientations. There is a vast potential for amusing orientation-based results in differential geometry, which is a subject I don't yet have the expertise to formalize. For example, if you conceive of a manifold of possible genders with a designated base point for one's own gender, then you can define attraction to a gender by the existence of a geodesic joining them (orientation assigns an overall shape to the gender manifold); closed geodesics, indicative of same-gender attraction, exist only in the presence of curvature and therefore imply that the manifold is not flat.
13. Pyramid puzzles The objective of the number-tower puzzle is to fill in numbers in a triangular structure so that every number is equal to the sum of the two numbers below it. Some numbers are specified in advance, providing constraint. Example:

The question is, when designing such a puzzle, how many and which spaces should you specify in advance to guarantee that there is a single unique solution? For example, specifying all values at the base nodes is sufficient. How do you characterize all such arrangements?

Solution: Let $$h$$ be the height of the tower. If you place $$h$$ values in the tower such that you can't solve for any one value in terms of the others, then those $$h$$ values uniquely determine a solution. You never require more or less than $$h$$ values.

You can prove this using methods of linear algebra. The addition constraints for the tower define a system of linear equations ($$x_1 + x_2 = x_3$$, and so on), which you can represent as a matrix. Because filling out the $$h$$ base nodes of the tower uniquely determines the solution, and because the problem is linear, it always takes $$h$$ independent values to determine a solution.

You can formalize the "solve for one value in terms of the other" in terms of a matrix determinant. Construct the ancestral path matrix $$N$$ with one column for every node, and one row for every node specifically in the tower base. In each entry, put the number of distinct upward paths to that node from that base node. Next, if you choose $$h$$ tower positions to fill in, pick out the corresponding columns of $$N$$ and combine them into an $$h\times h$$ matrix, $$D$$. Those $$h$$ positions uniquely determine the entire pyramid if and only if $$D$$ is invertible, i.e. has a nonzero determinant.

This is because the rows of the ancestral path matrix $$N$$ span the solution space—each row is a primitive solution. $$N$$ sends the $$h$$ parameters of the solution space to a complete filled-out solution. Selecting $$h$$ columns of $$N$$ amounts to forgetting (quotienting out) all but the $$h$$ filled-in values in the complete solution. If you can undo the forgetting effect of $D$—if you can recover the $$h$$ parameters of the solution space (e.g. the base tower values) from the filled-in values—then you can uniquely determine the complete solution from the filled in values.

14. Charting the mirror world. A parabolic mirror distorts shapes in the real world. By creating strange anti-distorted shapes, you can create shapes whose reflections "in the mirror world" look normal. With the right coordinate system, the anti-distortion transformation has surprisingly simple form. It's:

$\widehat{x} = \frac{1 + \sin{\alpha}}{\cos{\alpha}}$ $\widehat{\alpha} = \frac{1/4x^2 - f}{x}$

Here (see figure), the parabola's focus is at the origin, the $x$-axis is perpendicular to the optical axis, and the angles $$\alpha$$ are measured relative to the origin and x-axis. Every point, real or virtual, is uniquely defined by an $$\langle x, \alpha\rangle$$ pair. Parabolas characteristically reflect vertical rays into rays through the focus and vice-versa; this is how you prove the above transformation, and why the transformed $$\widehat x$$ coordinate is defined purely in terms of the original angle $$\alpha$$ and vice-versa.

Miraculously, even in 3D these anti-distorted figures will have reflections that look correct from any viewing angle (!).

I imagine you could do this same trick for mirrors shaped like other conic sections (ellipse, hyperbola) but I haven't tried yet.

15. Adjunctions as rounding. (A fun math fact.)

There is a map $$i:\mathbb{N}\hookrightarrow \mathbb{R}$$ which includes the natural numbers into the reals (by "typecasting"). Considering $$\mathbb{N}$$ and $$\mathbb{R}$$ as poset categories, the inclusion has both a left adjoint and a right adjoint.

As you can guess, they're the floor and ceiling functions: if the floor of a number is at least $$n$$, then the number itself is at least $$n$$, and conversely. This makes floor, perhaps surprisingly, the right adjoint.

$\lceil \rceil\;\; \vdash \;\; i \vdash \;\; \lfloor \rfloor$

16. Sundial curves. The shadow cast by the tip of a sundial always traces out a conic section. There is a cone formed by the daily circular path of the sun and the tip of the sundial. The shape changes with latitude and season; depending on whether the sun rises and sets (hyperbola), always stays above the horizon (ellipse), or just grazes the horizon (parabola).

Click the image below to see the animation.

The base of the golden cone shows the daily circular path of the sun. The tip of the gnomon casts a shadow where the black cone intersects the ground. In the animation, the cones tilt as you change latitudes, and the shadow changes from hyperbolic to elliptical.

17. Rainbow materials. A rainbow is formed at the boundary between two materials that bend light differently, such as water and air. Rainbows form perfect circles whose center is in the shadow of your head (the antisolar point) and whose size is determined by the two light-bending materials, irrespective of where you are.

For example, when it rains on the ocean, a rainbow formed from the salty sea spray will have a smaller extent than a rainbow formed from falling rainwater. This is because salt water bends light differently than pure water.

You can use the laws of optics to compute the rainbow's angular extent based on the materials involved 4. I have plotted the relationship in the chart below. As far as I have found, this is the first chart ever to depict rainbow size for materials other than water (which forms rainbows approximately of size 42.5° in air.)

“Rainbow arc nomogram” by Dylan Holmes can be reused under the CC BY-SA license.

18. Visual clocks. A clock's two hands move as shown in the picture below:

Using this kind of picture, you can visually find the twelve times (once per hour) that the positions of the hour and minute hand coincide (see where the red diagonal intersects the black trajectory):

And you can answer more complicated questions, such as when you swap the positions of the hour and minute hands, how often is the result a valid configuration? 5 Indeed, swapping the hands means flipping the axes:

And the swapped result is valid wherever it intersects the original graph, which it does in 12 x 12 - 1 = 143 distinct places:

19. Algebraic blood typing. The Jewish dietary law prohibiting mixtures of meat and milk has the same algebraic structure as the rules for which blood types are compatible donors—if you know one set of rules, you can transfer to the other.

In Jewish law, food is categorized by whether it contains meat, dairy, both, or neither, with some strict observers using color-coded dishware for each category6. Note that if you start with food of one type and mix in some other food, you might change its category (e.g. from containing only meat to containing both meat and dairy), contaminating the dishware.

In the simple ABO blood typing model, blood is categorized by whether it has A antigens, B antigens, both or neither. (Blood with both is called type AB; blood with neither is called type O.) To avoid an adverse clotting reaction, the donation rule is that blood with a particular antigen cannot be donated to blood without it.

The dietary laws and blood-typing laws are algebraically the same: food containing meat or milk is analogous to blood expressing A or B antigens. If you mix a little food into your main food, you may contaminate the dishware. If you donate a little blood to a person, the result may cause blood clotting. Contaminated dishware and blood clotting happen under equivalent circumstances.

Now you can determine that Type O blood is the universal donor, analogous to parev food (without meat or dairy). AB is the universal recipient, analogous to basar bechalav food (with both meat and dairy).

Meat-only and dairy-only foods are like type A and type B blood. Accordingly, A can donate to A or AB, and can receive from A or O. Similarly, basari food can be mixed into a dish of basari or basar bechalav food without affecting the dish's category; and the basari category of a dish is unaffected if you mix in basari or parev food.

ABO blood typing Jewish dietary law
Blood has A antigens, B antigens, both, or neither. Food contains meat, milk, both, or neither.
Type O blood has neither antigen. Parev food has neither meat nor milk.
Type AB blood has both antigens. Basar bechalav food has both meat and milk.
Donating some blood to a person can cause an adverse clotting reaction. Mixing in a small amount of food can alter the category (meat/milk/both/neither) of a dish.
20. Conic conversions. The conic sections are a family of 2D shapes comprising hyperbolas, ellipses/circles, and parabolas. You can transform any conic section into any other using a projective transformation ("homography"). If you represent the shape using homogeneous coordinates, a homography is just an invertible 3x3 matrix.

To transform the hyperbola $$y=1/x$$ into the parabola $$y=x^2$$, use: $$\mathbf{J}\equiv \begin{bmatrix}0&0&1\\0&1&0\\1&0&0\end{bmatrix}.$$

To transform the hyperbola $$y=1/x$$ into the ellipse $$x^2+y^2=1$$, use: $$\mathbf{K}\equiv \begin{bmatrix}1&-1&0\\0&0&2\\1&1&0\end{bmatrix}.$$

These matrices are invertible. By inverting, composing, scaling, translating, and rotating these transformations, you can therefore turn any conic into any other. (For example, to transform the standard parabola into the standard ellipse, use $$\mathbf{K}\mathbf{J^{-1}}$$.)

21. Tunnel through the Earth. Suppose you magically construct a tunnel through the center of the Earth (ignoring heat, pressure, air friction, and a lot of other practical factors.) If you were to drop an object down the tunnel, it would fall until it reached the other side (accelerating as it approached the center of the Earth, then decelerating to a standstill as it reached the other side), then reverse direction and return to you, and so on.

This is periodic motion, like an elastic spring or a pendulum or an orbit. You can use Newton's law of gravitation to find the force on the object as it falls. (The force turns out to be proportional to its distance from the center, just like with an ideal elastic spring.) The period of a round trip is around 5068 sec (84.5 min, $$T = 2\pi \sqrt{R_{\mathsf{Earth}} / g}$$), which means the object would pass through the Earth in around 42 minutes.

Interestingly, the time period (84.5 minutes) is independent of a large number of factors. The tunnel can follow a diameter through the center of the Earth or any other chord. The tunnel can begin at the surface of the Earth or somewhere beneath it. (These variations are analogous to the way an elastic spring's period does not depend on how far it was stretched initially, or in which direction.)

For similar reasons, a satellite in circular orbit very close to the surface of the Earth also travels periodically with the same period of 84.5 min. If the satellite were directly over the tunnel as you dropped an object down it, they would both reach the other side of the planet at the same time.

22. Netwonian insight A parabola is an ellipse with one focus at infinity. Closed orbits—such as a satellite orbiting the earth—are ellipse-shaped with one focus at the center of the earth7. For near-earth projectiles, the center of the earth is effectively infinitely distant. This is a geometric way to understand why near-earth projectiles seem to follow parabolic paths.
23. Calculus is small arithmetic. What if we invented a new positive number $$\delta > 0$$ that was so small its square was zero ($$\delta^2 = 0$$)?

We'd get two complementary sets of numbers: ordinary-sized numbers like 1, 2, 3, and small numbers like $$\delta, 2\delta, 3\delta$$. We can do arithmetic combining them together, like $$3+2\delta$$ or $$\delta(4+7\delta)$$. This numerical system is called dual numbers. Every number in this system has a ordinary-sized component and a small-sized component, just like complex numbers have real and imaginary components. They can all be written $$a + b\delta$$.

The surprise is that you can do calculus just using arithmetic with these dual numbers. For example, take any polynomial $$P(x)$$ and apply it to a dual number $$a+b\delta$$. Using the smallness property $$\delta^2=0$$, you can prove that $$P(a+b\delta)$$ is a dual number whose ordinary-sized part is $$P(a)$$ and whose small part is the derivative $$b\cdot P^\prime(a)$$ (!)8. Thus dual numbers give you a way to compute the derivatives of polynomials just by evaluating them.

You can retrofit all smooth functions to work with dual numbers; just take this polynomial property as a definition for how ordinary functions should behave:

$f(a + b\delta) \equiv f(a) + (b\delta) \cdot f^\prime(a)$

With this definition, you can prove all of the differentiation rules from calculus using only arithmetic. For example, here's the product rule: If $$h(x) = f(x)g(x)$$ then:

\begin{align*} h(x+\delta) &= f(x+\delta)g(x+\delta)\\ & = [f(x) + \delta f^\prime(x)][g(x) + \delta g^\prime(x)]\\ & = f(x)g(x) + \delta \left[f^\prime(x)g(x) + f(x)g^\prime(x)\right] + \delta^2 [f^\prime(x)g^\prime(x)]\\ & = f(x)g(x) + \delta \left[f^\prime(x)g(x) + f(x)g^\prime(x)\right]\\ \end{align*}

The small part of $$h(x+\delta)$$ is $$h^\prime(x)$$ by definition, and we have shown that this part is equal to $$f^\prime(x)g(x) + f(x)g^\prime(x)$$, proving the product rule. As an exercise, you can prove the other differentiation rules (sum rule, chain rule, quotient rule9, etc.)

These dual numbers are not just a mathematical curiosity; you can define them as a new datatype in a programming language. By defining a few primitive functions that use dual numbers, e.g. $$\sin(a+b\delta)\equiv \sin(a)+b\delta\,\cos(a)$$, the definition above gives you a method for computing exact (not approximate) values for the derivative of any combination of those primitive functions. This is called automatic differentiation; it has practical applications in areas such as machine learning.

24. Conic number systems. The complex numbers introduce a special new number $$i$$ with $$i^2=-1$$. What would happen if you introduce $$j$$ where $$j^2$$ is some other real number?

Such numbers still have "real" and "imaginary" components that combine separately. $$(a+bj)+(c+dj)=(a+c) + j(b+d)$$. You can make complex conjugates $$a+bj \leftrightarrow a-bj$$. You can represent these numbers $$(a+bj)$$ using matrices of the form $$\begin{bmatrix}a & bj^2 \\ b & a\end{bmatrix}$$, in which case matrix arithmetic (addition, multiplication, etc.) does the right thing.

You can do arithmetic with these numbers, so you can form polynomials with them, so you can define the exponential as an infinite polynomial: $$\exp(jx) \equiv \sum_{k=0}^\infty \frac{(jx)^k}{k!}$$. The "real" part of $$\exp{jx}$$ comes from the even-numbered terms in the sum and behaves like cosine. The "imaginary" part comes from the odd-numbered terms and behaves like sine.

Value of j2 Simplify $$\exp(jx)$$ Solve $$(a+bj)(a-bj)=1$$ System name
j2 = -1 $$\cos(x)\;+\; j\sin(x)$$ circle: a2 +b2 = 1 Complex numbers
j2 = 0 $$1 \;+\; jx$$ two parallel lines: a2 = 1 Dual numbers
j2 = +1 $$\cosh(x)\;+\;j\sinh(x)$$ hyperbola: a2 - b2 = 1 Split-complex numbers

Multiplying a point by $$\exp{j\theta}$$ moves that point along a circle ("rotation"), along two parallel lines ("translation"), or along a hyperbola ("hyperbolic rotation").

If the real axis is space and the $$j$$ axis is time, then these movements have a physical interpretation.

Value of j2 Time is … $$\exp{j\theta}$$ Change in reference frame
j2 = -1 Spatial Rotation Rotate spatial axis
j2 = 0 Classical Translation Galilean boost
j2 = +1 Relativistic Hyperbolic rotation Lorenz boost

Time is relativistic when $$j^2=+1$$; the movement is a "Lorenz boost", changing from one person's spacetime coordinates to another. Time is classical when $$j^2 = 0$$; the movement is a Galilean boost ($$\widehat{x} = x - vt$$). Time is just another dimension of space when $$j^2=-1$$; the movement is a rotation in space-time. In all three cases, you can think of $$j^2$$ as $$1/c$$, the speed of light.

25. Birthdays and bitstrings. Suppose you assign a random k-bit identification number to $$n$$ objects. What's the probability of a collision—that at least two objects are assigned the same id?

If you plot the collision probability as a function of the number of bits $$k$$, the curve is surprisingly S-shaped—nearly 100% when $$k$$ is small, until it suddenly plunges, with a surprisingly graceful tail end, toward a 0% asymptote. Here, I've plotted the probability of collision if you randomly assign a k-bit id to each of the 100 bil neurons ($$n=10^{11}$$) in the human brain:

I approximate the probability of birthday collision very closely as $$p(n,k) \approx 1-\exp(n(n-1)/2^{k+1})$$, using the fact that $$(1-x) \approx \exp(-x)$$ whenever $$x\ll 1$$.

We can mark that steep transition between nearly 100% and nearly 0% by finding the place where the function changes most rapidly. This occurs when the numerator $$n(n-1)$$ and denominator $$2^{k+1}$$ are equal. Intuitively, this is when there is exactly one bitstring for every distinct pair of objects $$n(n-1)/2$$ –in this specific case (n=100 bil neurons), when each bitstring has $$k\approx \mathbf{72}$$ bits, corresponding to the $$n(n-1)/2 \approx 10^{22}$$ possible pairs of neurons.

Note that this is twice as many bits as you'd need if you were sequentially numbering the neurons by hand— $$\log_2(n)$$ bits —rather than choosing numerical ids at random — $$\log_2( n(n-1)/2)$$ bits. Concretely, if you were using hexadecimal strings as ids for neurons, you could use strings like 60 f4 51 ce ad for sequential numbering, but would need strings at least twice as long (20 49 3e 99 18 ab ac db 4d | b0 fd fa ce 56 f0 61 6f 5a) to comfortably avoid collisions when choosing at random.

26. Reading the pinhole camera. Suppose an ideal pinhole camera sits axis-aligned at the origin, pointing in the Z direction. Every homography (3x3 invertible matrix) describes how a particular plane in 3D space is transformed from world space into (homogeneous) 2D camera-screen space.

In particular, the first two columns of the homography describe two 3D vectors (S,T) embeded in that plane, and the third column describes the plane's origin point U. Every point on that plane can be described as Sx + Ty + U. The point at Sx + Ty + U is projected onto the homogeneous point $$\begin{bmatrix}\vec{\mathbf{S}} & \vec{\mathbf{T}} & \vec{\mathbf{U}}\end{bmatrix}\cdot \begin{bmatrix}x&y&1\end{bmatrix}^\top$$ on the camera's projection screen.

Reading homographies this way provides a deeper understanding of Morsel #20 (Conic conversions): through foreshortening, you can make ellipses, hyperbolas, or parabolas, look like one another (or, really, segments of one another) when viewed through a pinhole camera. The homography tells you how to arrange a planar drawing of one conic so it looks like another.

Bonus: because homographies are invertible and composable, it follows that you can transform between any two pinhole camera views of a common scene using a homography: send one view to a common plane, then send that plane to the other view.

27. An easier quadratic formula. (Loh's method). The goal is to factor the equation $x^2 + bx + c = 0$ into $$(x-r_1)(x-r_2)$$ to expose the roots $$r_1, r_2$$. By expanding, note that the roots have the key property that their sum is $$-b$$ and their product is $$c$$. In the usual guess-and-check method, you consider various ways of factoring $$c$$ and check whether the sum is equal to $$-b$$.

In the new method, you use these properties to solve for the roots directly. You don't have to memorize the quadratic formula or make any guesses. Note that the midpoint (average) between the two roots is $$-b/2$$, and the two roots lie equidistant from that midpoint. Given that the roots must have the form $$-b/2 \pm u$$ for some unknown $$u$$, their product is $$(-b/2+u)(-b/2-u) = b^2/4 - u^2$$. As noted, the product of the roots is also equal to $$c$$. Hence we have an equation $$b^2/4 - u^2 = c$$ that can be solved immediately for the unknown $$u$$ just by addition and taking a square root. The roots are then $$r_i = -b/2 \pm u$$.

For example, in the equation $$x^2 + 8x - 9$$, the roots are equidistant from -8/2 = -4. The product of the roots is $$(-4-u)(-4+u) = 9$$, which simplifies to $$16-u^2 = -9$$. We solve for $$u$$: $$u^2 = 25$$, so $$u=5$$. The two roots are $$-4 \pm 5$$, i.e. 1 and -9. The overall factorization is $$(x-1)(x+9) = x^2 +8x - 9$$.

28. Random song access. The first song in your 100-song playlist is your favorite. Your music player has only two buttons: PREV (which goes to the previous song in the list) and RANDOM (which goes to a random song in the list, possibly the same one you're currently on). What's the ideal button-pressing strategy to get to your favorite song in as few presses as possible?

Solution: Let's generalize to $$n$$ songs.

1. Because RANDOM wipes out PREV's progress, an ideal strategy will perform all the RANDOM presses before all the PREV presses. Whether PREV or RANDOM is better depends on where you are in the list.
2. If you're sufficiently close to the start of the list, the optimal strategy is to press PREV repeatedly until you get to the start and win. Hence if you're not sufficiently close, the optimal strategy is to press RANDOM repeatedly until you become sufficiently close, then press PREV repeatedly until you win.
3. We can solve for the precise value of "sufficiently close": Number the songs starting from 0, and let $$Z$$ denote the last position where the PREV strategy is better than the RANDOM strategy.

The PREV strategy takes exactly $$q$$ steps, where $$q$$ is your position in the list. The RANDOM strategy takes expected $$n/(Z+1) + Z/2$$ steps. (Expected number of RANDOMs to get sufficiently close, plus expected number of PREVs to complete.)

If $$Z$$ is the last position where PREV is better than RANDOM, then $$Z$$ must be the largest integer such that $$Z < n/(Z+1) + Z/2,$$ i.e. such that

$\frac{Z(Z+1)}{2} < n$

$$Z$$ is the index of the largest triangular number smaller than the total number of songs.

4. For example, when there are $$n=100$$ songs in the list, $$Z=13$$ (the triangular number is $$Z(Z+1)/2=91$$), and the optimal strategy is to press RANDOM until you're before position 14 in the list, then press PREV until you get to position 0. This takes an average of around 12.64 steps.
29. Immortal lineage. Suppose there's a bacterium that, with probability $$p$$, splits into two identical copies of itself, and the rest of the time simply dies out. What is the probability that this bacterium has an infinitely long chain of descendants?

Solution: We don't know the probability of an immortal lineage, but call it $$Q$$. This event occurs if (a) the bacterium divides, and (b) one or both of its descendants has an immortal lineage itself.

Because the child-copies are independent, the probability of (b) is $$Q+Q-Q^2$$ (sum of individual probability, minus probability of both). The probability of (a) is $$p$$, as we know. Hence we have an equation in $$Q$$:

$Q = p(2Q-Q^2)$

If $$Q$$ is nonzero, we can solve for it through division: $Q = 2-1/p$

Thus when p is 50% (or lower), $$Q=0$$ and the lineage will die out. At any higher probability, $$Q$$ is nonzero and becomes progressively higher until it reaches $$Q=1$$ when p = 100%.

The simple functional equation arose from the self-similar infinities involved—there are no edge cases when there are no edges. This puzzle is an instance of percolation.

30. Magic duel. To find out whether Magic: The Gathering is geared toward attack or defense, imagine the following scenario. You, playing defense, would like to successfully summon a creature. Your opponent would like to thwart you. If you both can invent any card abilities you like (subject to some fine print), who will succeed?

Small print: You have priority. Invented cards must use existing mechanisms and language, not invent new concepts out of whole cloth.

My solution, an irrefutable defender.

31. Pokémon linear optimization. The Pokémon type effectiveness chart can be represented as a matrix $$\mathbf{S}$$, with one row and column for each type. Type effectiveness is either 2x, 1x, 0.5x, or 0x, but if you use the log of the effectiveness values instead (respectively +1, 0, -1, -∞), you can use matrix multiplication to compute the vulnerabilities of any type combination.

For example, if $$\vec{t}$$ is a column vector with a 1 in the Grass and Poison positions and 0 elsewhere, then $$\mathbf{S}\vec{t}$$ will be a vector listing the susceptibility of a Grass-Poison type to each attack type.

You can use the matrix approach to ask and answer questions about type effectiveness. For example, if you can combine more than two types, can you make a type combo that is resistant to every type? (Find $$\vec{u}$$ so that $$\mathbf{S}\vec{u} \leq \vec{0}$$.) Yes. In Gen II onward10, that type combo $$\vec{u}$$ is

{:ground 1,
:poison 2,
:flying 1,
:dark 1,
:steel 1,
:water 2}.

This combination uses eight types, which is minimal. There is exactly one other minimal solution (Challenge to the reader: can you find the other minimal solution?)

Side challenge: Assemble a team of four pokemon such that each of these eight types is represented. (For example, a Nidoking would take care of Ground and one Poison; a Zubat would take care of Flying and the second Poison.) Answer in footnote11.

32. Magic Squares. I once saw a 4x4 magic square, where the magic sum appeared not only in the rows, columns, and diagonals, but also the four corners, the 2x2 corner squares, the central 2x2, and opposite pairs of "incisors" in between the corner squares.

$$\begin{bmatrix} 17 & 10 & 7 & 17 \\ 20 & 4 & 21 & 6 \\ 5 & 11 & 15 & 20 \\ 9 & 26 & 8 & 8 \end{bmatrix}$$

I wondered how many free parameters such a magic square had. There are 16 variables (4x4 entries) and 18 different groups that sum to the same magic number. The linear sum constraints12 form an 18x16 matrix, whose null space has exactly 6 rows, meaning it takes exactly six independent numbers to specify all the entries completely.

The acutal required number is seven: the null space method assumes all the groups sum to zero. The seventh parameter is your chosen value of the magic sum.

import numpy as np
import scipy.linalg

# A B C D
# E F G H
# I J K L
# M N O P

A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P = np.identity(16)

# WHICH THINGS SUM TO THE MAGIC NUMBER?
constraints = np.array([ A+B+C+D, # rows
E+F+G+H,
I+J+K+L,
M+N+O+P,

A+E+I+M, # cols
B+F+J+N,
C+G+K+O,
D+H+L+P,

A+F+K+P, # diagonals
D+G+J+M,

A+B+E+F, # corner 2x2
C+D+G+H,
I+J+M+N,
K+L+O+P,

F+G+J+K, # middle 2x2

B+C+N+O, # "incisors"
E+H+I+L,

A+D+M+P # corners
])

Z = scipy.linalg.null_space(constraints)
print(Z.shape) # returns: (16, 6)

33. Mana polynomials. You can represent costs in Magic: The Gathering as polynomials in the mana symbols WUBRGC, with boolean coefficients.
• Multiplication combines costs together. For example, R*R*R must be paid with three R.
• Exponentiation is shorthand for repeated multiplication; exponents tell you how much of each color is required. For example, R1U2 represents the cost RUU.
• Addition creates alternative costs. For example, (R+G) can be paid with R or G. As another example, (U+U+U) is redundant, equivalent to just U.
• (!) Just like with numbers, you can distribute multiplication across addition. For example, (R+G)(R+U) = RR+RU+GR+GU. The two costs are equivalent to each other.
• The "mana of any color" symbol is just (W+U+B+R+G+C).
• The coefficients aren't numbers; they're boolean values ⊥ and ⊤. ⊥ is unpayable (multiplies like zero), and ⊤ is free-of-charge (multiplies like 1). Based on the meaning of addition and multiplication, we must also have ⊤+⊤=⊤, ⊥+⊥=⊥.
• For example, R(⊤ + G) = R⊤ + RG = R+RG.
• For example, R(⊥ + G) = R⊥ + RG = ⊥ + RG = RG.
• For example, U+U+U = ⊤U+⊤U+⊤U = (⊤+⊤+⊤)U = ⊤U = U. (Redundant alternative costs become absorbed; coefficients are never higher than one and never negative.)
• Mana polynomials have no nontrivial roots, basically because no combination of costs is unpayable ⊥ except the unpayable cost ⊥ itself.
• A mana pool can be thought of as a monomial in this system (i.e. a polynomial with a single term like W3UUG); a pool exactly pays for a cost if the monomial appears in the polynomial. A simple formula is that the pool $$p$$ exactly pays the cost $$c$$ when $$p+c = c$$. For example, as expected, an unpayable cost $$c=\bot$$ is zero-like and never has this property; and an empty mana pool $$p=W^0U^0B^0R^0G^0C^0$$ pays only for the gratis cost $$c=\top$$.
• There are no fractions or negative numbers in this system, but if there were, the wildcard cost X would have the formal value $\frac{⊤}{⊤-(W+U+B+R+G)}$ because it is defined by the equation X = ⊤+(W+U+B+R+G) X.
34. Commuting polynomial chains. Two polynomials $$P(x)$$ and $$Q(x)$$ commute whenever $$P(Q(x)) = Q(P(x))$$. Some polynmoials commute, and others don't. The set of powers $$\{x^1, x^2, x^3, \ldots, \}$$ is an example of a chain—a list of polynomials, one of each degree, which all commute with each other. Are there any other chains?

Any linear polynomial $$\lambda(x)=ax+b$$, (where a is nonzero), has an inverse $$\lambda^{-1}(y)=(y-b)/a$$. And if $$\{P_i(x)\}$$ is a chain, then $$\{\lambda^{-1}\circ P_i \circ \lambda\}$$ is also a chain. So every chain is part of a family of similar polynomials. Up to similarity, there is only one other polynomial chain: the Chebyshev polynomials $$T_n(x) \equiv \cos(n\cdot \cos^{-1}(x))$$.

Why? You can prove that any quadratic polynomials commutes with at most one polynomial of each degree (so the quadratic determines the whole chain), and each quadratic is similar to a quadratic of the form $$x^2+c$$. In chains, the commuting constraint forces $$c(c+2)=0$$. When $$c=0$$, you get the power polynomials. When $$c=-2$$, you get the Chebyshev polynomials. ref 1 ref 2.

35. Wrońskian derivative rules. The Wrońskian determinant satisfies several neat rules similar to the rules for derivatives:

\begin{align*}W[f_1 \cdot g, \ldots, f_n \cdot g](x) &= g^n \cdot W[f_1,\ldots,f_n](x)\\ W[f_1 / g, \ldots, f_n / g](x) &= g^{-n} \cdot W[f_1,\ldots,f_n](x)\\ W[f_1 \circ g, \ldots, f_n \circ g](x) &= (g^\prime)^{n(n-1)/2} \cdot W[f_1,\ldots,f_n]\circ g(x)\end{align*}

You can prove this by examining the pattern of derivatives, coefficients, and exponents you get when taking repeated derivatives of $$D_k(f\cdot g)$$ or $$D_k(f / g)$$ or $$D_k(f \circ g)$$. In each case, they're linear combinations of the derivatives of $$f$$ alone; the coefficients are polynomials in $$g,g^\prime, g^{\prime\prime}, \ldots, g^{(k)}$$.

For the product rule, the pattern comes from Pascal's triangle. For the chain rule, the pattern comes from the combinatorics of partitions, specifically the partition (Bell) polynomials. Arrange the $$g,g^\prime,g^{\prime\prime},\ldots$$ terms into a matrix $$\mathbf{G}$$ so you can concisely write, say, $$W[f_1\cdot g, \ldots, f_n\cdot g] = \text{det}\mathbf{G} \cdot W[f_1,\ldots,f_n]$$. But $$\mathbf{G}$$ is a triangular matrix in each case, so its determinant is the product of its diagonal entries. You can find those entries by following the pattern; this establishes the result.

36. Jacobian derivative rules. The Jacobian determinant $$\partial(f,g)$$ of two functions $$f(x,y)$$ and $$g(x,y)$$ is the determinant of the matrix containing the single-variable partial derivatives of $$f$$ and $$g$$. Like the Wrońskian mentioned earlier, it is a derivative-based quantity. You can show that the Jacobian determinant follows product, quotient, and chain rules that resemble the rules for ordinary derivatives:

$\partial(f/g, h) = \frac{g \; \partial(f,h) - f\;\partial(g,h)}{g^2}$ $\partial(fg, h) = f \; \partial(g,h) + g\;\partial(f,h)$ $\partial(f\circ g, h) = (Df \circ g)\; \partial(g,h)$

37. Pathfinding matrices. Given a directed graph with $$n$$ nodes, you can build an $$n\times n$$ adjacency matrix $$A$$, where each entry $$A_{i,j}$$ is one or zero, depending on if there's an edge $$i\rightarrow j$$ or not. Surprisingly, you can use this matrix to count paths in the graph: you can prove that the matrix product $$A^p$$ is a matrix whose $$(i,j)$$ entry is the number of paths between nodes $$i$$ and $$j$$ that have exactly $$p$$ steps in the path.

Or, if the edges represent distances, build a distance matrix $$D$$, where each entry $$D_{i,j}$$ is the length of the edge between $$i\rightarrow j$$ (or $$\infty$$ if there is no edge.) With a slight modification, we can use the matrix powers $$D^p$$ to compute the shortest path between any two nodes. Just redefine arithmetic operations so that addition of two numbers instead computes their minimum, and multiplication of two numbers instead computes their sum. Then the matrix product $$D^p$$ is a matrix whose $$(i,j)$$ entry is the length of the shortest route between $$i$$ and $$j$$ that has exactly $$p$$ steps in the path.

38. Love triangles require same-gender attraction. Assume reductively that there are two genders. If we draw a diagram using dots (people) linked by arrows (attraction), a love triangle obviously requires three people and three arrows—where in any pair of people, one of them is attracted to the other.

No matter which way the arrows are facing, your love triangle will always have a pattern of the form "A likes B and B likes C".

If that pattern contains same-gender attraction, we're already done. Otherwise, the pattern implies that A and C are the same gender; hence the arrow between A and C (or vice-versa) constitutes same-gender attraction, and we're done in this case, too.

39. Efficient roll call in MTG. Each species of creature in Magic: The Gathering has a certain set of roles they can fulfill. One species might be able to fulfill only the Cleric role; one might be able to fulfill either the Cleric or Rogue role; and one might not be able to fulfill any role.

An assignment assigns each creature to at most one of the roles it's capable of fulfilling. For a given set of creatures, your party size is the greatest number of distinct roles you can possibly assign, i.e. it's the number of distinct roles you fulfill when your assignment maximizes the number of distinct roles.

I wondered how computationally difficult party size is in the abstract case: suppose you have k roles, and n creatures each capable of satisfying some (possibly empty) subset of those roles. How can you compute the party size?

I was delighted to notice that this is a maximal matching problem on a bipartite graph: make a bipartite graph where one side contains a node for every creature, and the other side contains a node for each distinct role; wherever a creature can satisfy a role, make a link between them. In a bipartite graph, a maximal matching can be found efficiently: You treat it as a network flow problem and solve it (in polynomial time) using the greedy Ford-Fulkerson algorithm. The party size emerges as the maximum flow rate of the network.

40. Not Fibonacci! Can you find a set of numbers where the sum of any two distinct elements is unique? For example, the set {2,7,11} has this property because each sum (such as 13=2+11) can be uniquely decomposed—you can uniquely infer what the summands were.

You can make an infinitely long sequence with this property. The smallest13 such sequence seems to follow a familiar pattern:

1, 2, 3, 5, 8, 13, 21, 30, 39, 53, …

Strangely, this sequence isn't the Fibonacci sequence—it just happens to agree with it for seven terms. I am not sure why. The Fibonacci sequence does seem to satisfy the "distinct sum" property; it's just not the minimal sequence that does.

(Originally, I wanted to make a symbolic nomogram where instead of addition of numbers, I had combination of discrete symbols. To do so, you need a way to map symbols covertly onto numbers.)

41. Diverse denominations. Here's a numismatic problem: you want to assemble a collection of coins that can be variously combined to make any integer amount of money between (say) $1 and$100. You may choose coin denominations of any integer amount (e.g. you can have a $3 coin if you want), and you can have multiples of the same denomination (e.g. multiple$4 coins). One allowable, if extreme, solution would be to have a collection of 100 coins for $1 each. Find a solution that uses as few coins as possible. (Example: In a simpler version of this problem, you need to make any integer amount of money between$1 and $10. You can do so using the collection of coins [$1, $2,$2, $5].) Answer: (hidden in footnote) 14 42. Yarn counting. Every planar graph gives rise to an alternating knotwork, as discussed here. The knotwork is a tangle of some number of separate threads. To count the number of threads, you can use the formula: $|T(-1,-1)| = 2^{c-1}$ Where T is the Tutte polynomial of the planar graph, and c is the number of threads. Because the Tutte polynomial is a graph invariant, the number of threads stays the same no matter how the graph is drawn/embedded. 43. Disintegrating water. (The sea of Theseus) Very rarely, a water molecule can tear apart into a proton and hydroxide ion. For this process, a water molecule has a half-life of around 7.7 hours. Based on that figure, you can calculate how long it would take to be 99% certain that every molecule of water in some container had disintegrated at least once. For 1mL of water, it comes out to around 26 days. Every time you double the amount of water, you (basically) add another half life to the total. For a human body with 50L of water, it takes around a month—31.1 days for all the water to turn over. Amazing! ## Footnotes: 1 By the way, P problems are ones that are easy to solve. For example: is this string a well-formed graph without any syntax errors? In contrast, NP-complete problems are the hardest problems that still have easy-to-verify solutions. For example, is there a path through this graph that visits every node exactly once? It's a hard problem, but verifying a candidate solution is easy. Here's another NP-complete problem: Is this graph a subgraph of that one? Hard in general, but verifying a proposed correspondence is easy. 2 Proof: Check, by hand, that you can make the first 34 numbers with programs that don't cost more than the number and that use only the digits 1…5 (For any smaller set of digits, this part fails because 5 costs more than 5 to make.) For cases larger than 34, a stronger property emerges: the optimal 1…5 program for each integer costs less than half the integer itself, minus one (!). You can prove this by induction. Check cases 34 through 256 by hand. Then if the theorem is true for every integer between 34 and some power of two, it is true for every integer between that power of two and the next one. Indeed, any integer in that range can be written as the sum of two numbers larger than 34, and by the induction hypothesis, the program which generates those two numbers then adds them costs less than half the integer. 3 Incidentally, the ace/pan functors have further adjunctions when, and only when, there are no genders. In this case, pan and ace become equivalent and the adjunctions form a cycle. 4 Suppose you have droplets of one material suspended in another material. Parallel light rays passing into a droplet will refract according to Snell's law. Some light will bounce off the back of the droplet and exit the front of the droplet, refracting as it leaves. The difference between the entry and exit angles (the 'scattering angle') varies. The angular extent of the rainbow is just the minimal scattering angle—because this critical point is where the incoming light rays will be bunched closest together, forming a bright band. 5 For example, swapping the hour and minute hands at 3:00 puts the hands in an invalid position, because when the minute hand points at 3, the hour hand never points directly at 12. (At 12:15, the hour hand is a quarter of the way toward 1.). 6 And forbidding meat-dairy mixtures altogether. 7 Actually, at the earth-satellite center of mass 8 For example, if $$P(x) = x^3$$, then P(x+δ) = (x+δ)3 = x3 + 3x2 δ + 3xδ2 + δ3 = x3 + (3x2) δ. 9 Note: When proving the quotient rule, it will help to multiply by a "complex conjugate" $$(g(a)-\delta g^\prime(a))$$. 10 This type combo from Gen II also happens to be resistant to the newly-introduced Fairy type as well: our combo has one Dark type (Fairy is 2x effective) but two Poison and one Steel (Fairy is 0.5x effective.) Hence this type is overall resistant to the Fairy type as well. 11 Amazingly, among Generation I & II Pokemon, there are only five Pokemon species you can use to make such a team—all the others have some conflict. 12 Compare to morsel #13, pyramid puzzles. 13 lexicographically first 14 You need at least $$\log_2(n)$$ coins to make all the different numbers between 1 and n, because k coins can make up to 2k different sums. Binary denominations will work (1,2,4,8,…). Better still to use this recursive recipe: To make a set of coins that generates all numbers between 1 and $$n$$, include a coin with denomination $$\lceil n/2 \rceil$$ plus the coins needed to make all numbers between 1 and $$\lfloor n/2\rfloor$$. This uses just as many coins as the binary, but because the total value of all the coins is $$n$$ instead of a higher power of two, some sums can be made in more than one way. This redundancy is convenient for a person with a wallet. For our$100 case, we'd need $50,$25, $13,$7, $4,$2, \$1. Incidentally, this optimal redundancy justifies why gymnasiums commonly have weights in 5,10,25,45lb denominations.

Date: May 12 2019 +

Created: 2022-01-07 Fri 01:47

Validate

format: plain


text:
# “! LaTeX Error: There's no line here to end.” with the \boxput* function

I am trying to put some boxes on the second with the paquage

\usepackage{fancybox}

My code looks like that

\documentclass{article}
\usepackage{fancybox,color}

\begin{document}

\boxput*(-0.4,1.1){
\textbf{MathBox : }Akaike information criterion    }{
\colorbox{blue}{
\ovalbox{
\begin{minipage}{0.9\textwidth}
\newline
Text
$eqation$
Text
\footnote{\textit{Everitt (1998), The Cambridge Dictionary of Statistics }}
\end{minipage}
}}}

\end{document}

I use this type of boxing three time, and it made me an error on two of them at the end of the boxing. I do not have any \\ in the boxes or next before. The strangest is that the code finish to compile and the box appear in the pdf. I compile with pdflatex in TexMaker (on ubuntu)

I really do not know what is the problem.

Thank you

The error comes from the \newline which you have immediately at the start of the minipage You can not end the current line and start a new line until you have started the paragraph, hence the error. Simply deleting the \newline makes the error go.
• And if you cannot remove that newline, because your whole file is one big hack: adding a whitespace ~ before the newline should work as well – lucidbrot Oct 4 '18 at 19:43


text:
We define the exponential map $\exp \colon\mathfrak{g} \to G$ of a Lie group and prove it is a diffeomorphism on a neighbourhood of $0 \in \mathfrak{g}$. We then investigate Lie group actions on smooth manifolds, and then discuss the adjoint representation, which comes in two flavours:

$$\mathrm{Ad} \colon G \to \mathrm{GL}( \mathfrak{g}), \qquad \text{and} \qquad \mathrm{ad} = D \mathrm{Ad}(e) \colon \mathfrak{g} \to \mathfrak{gl}( \mathfrak{g}).$$

At the end of the lecture there is a short (non-examinable discussion) of the infinite-dimensional Lie group $\mathrm{Diff}(M)$ of diffeomorphisms of a compact manifold $M$. We explain why from this point of view the Lie bracket on $\mathfrak{X}(M)$ should really have the opposite sign… ¯\_(ツ)_/¯


text:
# Lab 6: Do more beautiful professors get higher evaluations? (Part II)

Due: 11:59pm, Thursday, October 7

You MUST submit both your .Rmd and .pdf files to the course site on Gradescope here: https://www.gradescope.com/courses/281587/assignments. Do NOT create a zipped folder with the two documents but instead, upload them as two separate documents. Also, be sure to knit to pdf and NOT html; ask the TA about knitting to pdf if you cannot figure it out. Be sure to submit under the right assignment entry. Finally, when submitting your files, please select the corresponding pages for each exercise.

# Introduction

This is an individual lab and each student must submit a separate solution by the due date.

This lab is based on Exercise 6 of Section 12.11 of Data Analysis Using Regression and Multilevel/Hierarchical Models by Gelman A., and Hill, J. The data is from the following article:
Hamermesh, D. S. and Parker, A. (2005), “Beauty in the classroom: instructors’ pulchritude and putative pedagogical productivity”, Economics of Education Review, v. 24 (4), pp. 369-376.

The data contains information about student evaluations of instructor’s beauty and teaching quality for several courses at the University of Texas from 2000 to 2002. Evaluations were carried out during the last 3 weeks of the 15-week semester. Students administer the evaluation instrument while the instructor is absent from the classroom. The beauty judgements were made later using each instructor’s pictures by six undergraduate students (3 women and 3 men) who had not attended the classes and were not aware of the course evaluations. The sample contains a total of 94 professors across 463 classes, with the number of classes taught by each professor ranging from 1 to 13. Underlying the 463 observations are 16,957 completed evaluations from 25,547 registered students. The data you will use for this exercise excludes some variables in the original dataset.

# The Data

Download the data here. The code book is given below:

Variable Description
profnumber Id for each professor
beauty Average of 6 standardized beauty ratings
eval Average course rating
CourseID Id for 30 individual courses. The remaining classes were not identified in the original data, so that they have value 0.
tenured Is the professor tenured? 1 = yes, 0 = no
minority Is the professor from a minority group? 1 = yes, 0 = no
age Professor’s age
didevaluation Number of students filling out evaluations
female 1 = female, 0 = male
formal Did the instructor dress formally (that is, wears tie–jacket/blouse) in the pictures used for the beauty ratings? 1 = yes, 0 = no
lower Lower division course? 1 = yes, 0 = no
multipleclass 1 = more than one professor teaching sections in course in sample, 0 = otherwise
nonenglish Did the Professor receive an undergraduate education from a non-English speaking country? 1 = yes, 0 = no
onecredit 1 = one-credit course, 0 = otherwise
percentevaluating float didevaluation/students
profevaluation Average instructor rating
students Class enrollment
tenuretrack Is the professor tenure track faculty? 1 = yes, 0 = no

# Exercises

You do not need to write a full report for the exercises below. You can simply answer/address each question directly. You should be able to leverage ideas and techniques from the TA’s session for the previous lab.

Treat the variable eval (or a transformed version if needed) as the response variable and the other variables as potential predictors.

1. Write down a Bayesian random intercepts model for eval (or the transformed version) as the response, grouped by profnumber, with beauty as the only predictor. Write down a version you can fit using the brms package (meaning for example that you won’t be able to specify a multivariate normal prior for your vector of fixed effects).

2. Fit the model using the default prior options in brms and interpret the results in the context of the question.

3. Using the model from question 2 above, how does the variation in average ratings across professors compare to the variation in ratings for the same professor? Which is higher, and what does that mean in context of the question? You should factor in the posterior distribution of each corresponding parameter.

4. Identify three instructor-level predictors excluding beauty (with profnumber being the instructor-level identifier) that you think we should control for based on EDA. Write down and fit a Bayesian varying/random intercepts model for the data (using the default prior options in brms) grouped by profnumber, and include beauty, plus the other three variables you have identified as potential predictors.

5. Interpret the results of the new model in the context of the question. Factor in the posterior distribution of the parameters.

6. For the model from question 4, try out a few other choices for the default hyper-priors. That is, fit the model again using your own choices for the parameters of the prior distributions and report your findings. Did any of the estimates change? If yes, which and how much?

7. We will cover how to incorporate additional grouping variables in more detail soon but here you will start with a relatively simple introduction. Extend the model from question 4 to allow for varying/random intercepts by CourseID and varying/random slopes for beauty by CourseID. To implement this in R, just add “+ (beauty | CourseID)” to the formula from your existing model.

8. Fit the model using the default prior options in brms. Did any of the results for the fixed effects change? If yes, comment on the changes.


text:
### Session K44: Transport in Disordered Electronic Systems

2:30 PM–5:30 PM, Tuesday, March 14, 2006
Baltimore Convention Center Room: 347

Chair: A. Punnose, University of Wisconsin

Abstract ID: BAPS.2006.MAR.K44.7

### Abstract: K44.00007 : Unified scaling picture for electronic transport in two-dimensions at low temperatures

3:42 PM–3:54 PM

Preview Abstract MathJax On | Off   Abstract

#### Authors:

David Neilson
(University of Camerino)

D.J. Wallace Geldart
(Dalhousie University)

We focus on generic features of the phase diagram for the 2D metal-insulator transition phenomenon. The diagram has a line of critical points corresponding to a conducting region (but not necessarily Fermi-liquid-like). The line terminates at a critical end point which controls an extended quantum critical region encompassing not only the conventional quantum critical sector but also a wide range of low temperature data extending deep into the insulator region. This permits us to unify analysis of transport data from the insulating region and the quantum critical sector, and allows us to determine the $z$ and $\nu$ critical exponents from a single experiment. We present strong evidence for the connection between data in the quantum critical sector and insulating critical region, pointing to the presence of a quantum critical point.

To cite this abstract, use the following reference: http://meetings.aps.org/link/BAPS.2006.MAR.K44.7


text:
### Pitzer方程应用于离子液体[Cnmim][H2PO4](n= 3, 4, 5, 6)溶解焓研究

• 收稿日期:2018-01-03 发布日期:2018-04-03
• 通讯作者: 房大维,臧树良 E-mail:davidfine@163.com;slzang@lnu.edu.cn
• 基金资助:
国家自然科学基金(21673107);国家自然科学基金(21703090);国家自然科学基金(21471073);国家自然科学基金(21373005)

### Study on Solution Enthalpies of Ionic Liquids [Cnmim][H2PO4] (n= 3, 4, 5, 6) by Using Pitzer's Equation

Zhinan HU,Jiantao ZUO,Meichen XIA,Dawei FANG*(),Shuliang ZANG*()

• Received:2018-01-03 Published:2018-04-03
• Contact: Dawei FANG,Shuliang ZANG E-mail:davidfine@163.com;slzang@lnu.edu.cn
• Supported by:
This project was supported by the National Natural Science Foundation of China(21673107);This project was supported by the National Natural Science Foundation of China(21703090);This project was supported by the National Natural Science Foundation of China(21471073);This project was supported by the National Natural Science Foundation of China(21373005)

Abstract:

Ionic liquids (ILs) have become one of the most rapidly growing new research areas of ionic liquid and have attracted considerable attention from industry and the academic community since they are derived from natural ions and are heralded a new "natural ILs" or "bio-ILs". ILs can be expected to find application in all of the biological, medical, and pharmaceutical sciences. However, the fundamental physical properties of an IL are extremely important in determining if a particular IL is appropriate for a given application. Recently, there is a developing trend in the literature towards estimation of thermodynamic properties for IL's, which is to be commended because it provides valuable insight into the origins of the behaviour of ILs. Acidic ionic liquids have been applied in desulfuration process widely. Phosphoric acid IL is one kind of acidic ILs, which are also stable and economical efficiency. ILs [Cnmim][H2PO4] (n= 3, 4, 5, 6; 1-alkyl-3-methylimidazolium phosphonate) were synthesized and characterized. An on-line solution-reaction isoperibol calorimeter was constructed. It consists of a water thermostat, a 200 mL pyrex-glass plated silver Dewar, a 4 mL glass sample cell, a calibration heater, a glass-sheathed thermistor probe, an amplifier, a circuit used as an A/D converter and a personal computer for data acquisition and processing. The performance and accuracy of the calorimetric system was tested by measuring the molar enthalpy of solution of KCl in water and THAM [tris-(hydroxymethyl) aminomethane] in 0.1 mol∙dm−3 HCl(aq) at 298.15 K. The molar enthalpies of solutions of the ILs [Cnmim][H2PO4] (n= 3, 4, 5, 6) at various molalities in water were measured by using a solution-reaction isoperibol calorimeter at 298.15 K respectively. According to the Pitzer's electrolyte solution theory, the molar standard enthalpy of the solution of [Cnmim][H2PO4] (n = 3, 4, 5, 6), ΔsolHm0, and Pitzer's parameters, βMX(0)L, βMX(1)L, and CMXϕ, were calculated and deduced. The standard molar enthalpies of solution of [Cnmim][H2PO4] (n = 3, 4, 5, 6) decreases with increasing alkyl chain length. When we make a plot with the standard molar enthalpy of solution vs carbon number in alkyl chains of the ionic liquid, a straight line was obtained with a correlation coefficient 0.99 and a slope of 1.54. The mean contribution per methylene (―CH2―) group to the standard molar enthalpies of the solution of [Cnmim][H2PO4] (n = 3, 4, 5, 6) was then obtained, which will give reliable estimation of other IL properties.

MSC2000:

• O642