The Observatory's Inside-Out Signal
Build the signal forward
In the Observatory, one instrument turns a raw signal into a displayed echo. All functions take and return real numbers whenever they are used.
At time , the raw signal is . The instrument acts in this order:
- The delay gate uses the raw reading from 3 seconds earlier.
- The lift lens doubles its input and adds 5.
- The calibration lens applies a function . The function has an inverse .
The final displayed echo is .
Forward equations
Write your equations and reasoning on separate paper.
-
Let be the delay map. Define .
-
Let be the raw signal after the delay gate. Write one equation using and , then write it again without .
-
Let be the lift lens. Define .
-
Let be the signal after the lift lens. Write one equation using and , then expand it using .
-
Write in terms of and .
-
Write one fully nested equation for using , , and .
-
Write the same instrument as one composition equation using , , , and . State which function acts first.
Reverse equations
Continue on separate paper.
-
Find the inverse of the lift lens. Write a formula for , and verify it by simplifying .
-
Use the future display to recover the current raw signal . Write:
- one equation using and ;
- the same equation with the formula for substituted;
- one sentence explaining why must act before .