4 Elements and observables
Glen Whitney edited this page 2025-01-28 01:59:12 +00:00

Separation

General thoughts

  • In physics, there's a long and successful tradition of thinking about states and observables as distinct and dual to each other.
    • Specifying consistent values for enough observables picks out a state.
    • Elements correspond to state space building blocks.
  • Elements don't interact directly with each other, and constraints don't interact directly with each other either. In other words, the graph of direct interactions among elements and constraints is bipartite.

Contrasts

Elements Observables
Naturally seen as geometric objects Naturally seen as quantities
It always makes sense to ask whether a point lies on an element It rarely makes sense to ask whether a point lies on an observable
No notion of valence; can interact with any number of constraints A valence can be usefully and naturally assigned to many key observables
An assembly consisting entirely of elements seems meaningful and potentially useful An assembly consisting entirely of observables seems hard to interpret

To do: Expand and clarify list of contrasts.

Unification

In some physics settings, states can at least resemble observables.

  • A random variable is a function on a measurable space, while a probability distribution is a measure. When the measurable space is finite, however, you can express every probability distribution as a function too, which multiplies the counting measure.
  • In a finite-dimensional quantum system, states can be expressed as density operators.

Can we realize constraints as geometric objects? For example:

  • A real angle constraint might be seen as a pair of infinitesimal ribbons crossing at a fixed angle along a circle
  • An imaginary angle constraint might be seen as a circle that passes perpendicularly through a pair of spheres, with a fixed cross ratio.

Maybe being subject to a constraint can then be seen as a kind of incidence.

To do: Explore ideas for unifying elements and observables in spite of the contrasts described above.

Questions/Cautions

  • What is the status of a "second-order" constraint, e.g "these two observables are equal"? Are they just additional Constraints, even though their slots are other Constraints? If we use the "filter Constraints by an Element" metaphor, and we select a plane P and it shows us the three angle Constraints it is involved in and one of those angle Constraints theta is further constrained to be equal to another angle rho that does not involve P, does that equality constraint show up? Does rho itself show up?
  • Could a Scalar be an element? I.e., a "free-floating" real number?
  • What is/should be the mechanism for making numerous angles identical be (say)? By experience, using a bunch of equality constraints and relying on transitivity becomes cumbersome and a bit hard to "see what's going on". Those interfaces that allow one to have "named quantities" and then use those "named quantities" as the values of other parameters have felt more understandable, and easier to manipulate.