The logo for the AST

January 10, 2009

In 2008 the university where I took all my degrees, University of Rome Sapienza, due to gigantism, decided to split into 5 confederate universities. Among the fragments resulting from this schism, the one where my faculty happened to be, the AST (Athenaeum of Science and Technology), published a competition for the creation of its representative logo. The logo should have represented the faculties of which the AST is composed: Mathematical, Physical and Natural Sciences, Philosophy, Psychology, Engineering, Statistics and Aerospace sciences.

I decided to compete.

The theme I chose was the “Ouroboros“, the snake seizing its own tail… an ancient symbol that represents the eternal return (a concept dear to philosophers and mathematicians). I used this symbol to remember  about an episode in the history of science: the discovery by the german chemist Friedrich August Kekulé of the ring structure of the benzene molecule. His discovery was inspired by a dream in which he saw a snake eating its own tail. This episode, for me, linked psychology (the dream), phylosophy (the Ouroboros) and science.

So I put the 6-fold (incidentally, the AST has exaclty 6 faculties) molecule of benzene on the logo, with an Ouroboros winded upon it.

This is the result:

And this is the black and white version:

Eventually, my work didn’t win, it wasn’t considered sufficient. Neither was any other work, so the competition was cancelled.

I spoke with one of the members of the committee, asking him what was the problem with my artwork, and he told me that it was too bombastic, like the emblem of an American institution. He wanted something more easily recognizable, like an advertising logo… didn’t know we were selling some product.

But, since my motivation was strong, coming from a noble attachment to money, when the competition was opened again I wanted to participate again. This time I joined with a friend, trying together to think like a commercial artist. The result was this:

The second logo for the AST I made

And the black and wite version:

Second AST logo (BW)

Please don’t ask me what it represents, because it has no more significance than Nike’s swoosh (well, obviously there is the magnifying glass, which should recall some archetypes connected with research).

Again, we’ve lost. But this time the first and second prizes were assigned (these works are temporarily accessible at this page)… so hail to the winners.

In conclusion, the two logos I and my friend have made are now fluctuating in a limbo, threatened by oblivion, hoping to find a new assignment. If you’re aware of any institution looking for an emblem, please tell me.

P.S. I’ll be happy to change the letters accordingly.

F. Mercati

Noether’s second theorem – Part I

December 17, 2008

In her most famous (among physicists) paper [1], the Artemisia Gentileschi of mathematics, Emmy Noether, did not only prove the theorem which had probably the greatest influence over the twentieth century physics, but also proved one which had probably one of the smallest. The first is obviously the one best known as Noether’s theorem, but some people refers to it as Noether’s first theorem, to distinguish it from the theorem we are going to talk about today.

The theorem

Consider n fields labeled with the subscript k , whose dynamics is described by the action funcional:

S = \int d^4 x \mathcal{L} [\phi_k(x)] ~,

which is invariant under a local transformation of the fields, written in infinitesimal form as:

\phi'_k (x)  \simeq  \phi_k (x) + \sum_\alpha \left( U_{k,\alpha}[\phi] ~ \Theta_\alpha (x) + V^\mu_{k,\alpha} [\phi] ~ \partial_\mu   \Theta_\alpha (x) \right) ~ ,

where we assumed that the transformation depends only on the m functions \Theta_\alpha (x) and their first derivatives \partial_\mu \Theta_\alpha (x). The variation of the lagrangian under the above transformation is (sum over repeated indexes is understood, also for the \alpha and k index):

\delta \mathcal{L} =  \frac{\delta \mathcal{L}}{\delta \phi_k} \delta \phi_k + \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k}   \partial_\mu  \delta \phi_k = \frac{\delta \mathcal{L}}{\delta \phi_k} U_{k,\alpha}[\phi] ~ \Theta_\alpha(x) + \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \partial_\mu ( U_{k,\alpha}[\phi]   ~ \Theta_\alpha (x)) + \frac{\delta \mathcal{L}}{\delta \phi_k} V^\nu_{k,\alpha}[\phi] ~ \partial_\nu\Theta_\alpha(x) + \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \partial_\mu (   V^\nu_{k,\alpha}[\phi] ~ \partial_\nu \Theta_\alpha (x)) ~,

factorizing the functions \Theta_\alpha (x) and its first and second derivatives, with some integrations by parts, one obtains:

\delta \mathcal{L} = \left\{ \frac{\delta \mathcal{L}}{\delta \phi_k} U_{k,\alpha}[\phi]  + \frac{\delta \mathcal{L}}{\delta \partial_\mu   \phi_k} \partial_\mu U_{k,\alpha}[\phi] \right\} \Theta_\alpha (x) +
\left\{  \frac{\delta \mathcal{L}}{\delta \partial_\nu \phi_k} U_{k,\alpha}[\phi] + \frac{\delta \mathcal{L}}{\delta \phi_k} V^\nu_{k,\alpha}[\phi] + \frac{\delta   \mathcal{L}}{\delta \partial_\mu \phi_k} \partial_\mu  V^\nu_{k,\alpha}[\phi]  \right\} \partial_\nu \Theta_\alpha (x)  +
\frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} V^\nu_{k,\alpha}[\phi] ~ \partial_\mu \partial_\nu \Theta_\alpha (x) ~ ,

the invariance of the lagrangian \delta \mathcal{L} = 0 under a generic local transformation (defined by an arbitrary choice of the functions \Theta_\alpha (x) ) imply the following constraints (the last of the three equations follows from the symmetry of \partial_\mu \partial_\nu   \Theta_\alpha (x) with respect to the indices \mu , \nu ):

\frac{\delta \mathcal{L}}{\delta \phi_k} U_{k,\alpha}[\phi]  + \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \partial_\mu   U_{k,\alpha}[\phi] = 0 ~,
\frac{\delta \mathcal{L}}{\delta \partial_\nu \phi_k} U_{k,\alpha}[\phi] + \frac{\delta \mathcal{L}}{\delta \phi_k} V^\nu_{k,\alpha}[\phi]   + \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \partial_\mu  V^\nu_{k,\alpha}[\phi]  = 0 ~,
\frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} V^\nu_{k,\alpha}[\phi] = - \frac{\delta \mathcal{L}}{\delta \partial_\nu \phi_k}   V^\mu_{k,\alpha}[\phi] ~ .

Let’s rationally rearrange the above equations. If we call:

K^{\mu\nu}_\alpha = \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} V^\nu_{k,\alpha}[\phi] ~ .

we have that K^{\mu\nu}_\alpha = - K^{\nu\mu}_\alpha , and the second equation becomes:

J^\nu_\alpha =   \frac{\delta \mathcal{L}}{\delta \partial_\nu \phi_k} U_{k,\alpha}[\phi] + \left\{ \frac{\delta \mathcal{L}}{\delta \phi_k}   - \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \right) \right\}  V^\nu_{k,\alpha}[\phi] =  - \partial_\mu K^{\mu\nu}_\alpha ~,

so that it express the conservation of the current J^\nu_\alpha , since:

J^\mu_\alpha + \partial_\nu K^{\nu\mu}_\alpha = 0~,

and, from the antisymmetry of K^{\nu\mu}_\alpha  we have \partial_\mu \partial_\nu K^{\nu\mu}_\alpha = 0 , so that:

\partial_\mu J^\mu_\alpha = 0 ~.

It is noteworthy that this conservation law we found does not apply only on solutions of the Euler-Lagrange equations (some people would say that it holds off-shell).
The first equation of the trio can be rephrased in a more convenient way:

\left\{ \frac{\delta \mathcal{L}}{\delta \phi_k} - \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \right)   \right\} U_{k,\alpha}[\phi]  = -  \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} U_{k,\alpha}[\phi] \right)  ~,

and from the equation for J^\mu_\alpha :

- \partial_\nu \left( \frac{\delta \mathcal{L}}{\delta \partial_\nu \phi_k} U_{k,\alpha}[\phi] \right) = \partial_\nu \left( \left\{   \frac{\delta \mathcal{L}}{\delta \phi_k} - \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \right) \right\}  V^\nu_{k,\alpha}[\phi] + \partial_\mu   K^{\mu\nu}_\alpha \right) = \partial_\nu \left(  \left\{ \frac{\delta \mathcal{L}}{\delta \phi_k} - \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \right) \right\}    V^\nu_{k,\alpha}[\phi] \right) ~,

so that we obtain an equation in terms only of the Euler-Lagrange expressions \Pi_k[\mathcal{L}] = \left\{ \frac{\delta   \mathcal{L}}{\delta \phi_k} - \partial_\mu \left( \frac{\delta \mathcal{L}}{\delta \partial_\mu \phi_k} \right) \right\} :

\Pi_k[\mathcal{L}] ~ U_{k,\alpha}[\phi] = \partial_\nu \left(\Pi_k[\mathcal{L}]  ~ V^\nu_{k,\alpha}[\phi] \right) ~.

The last equation express the main content of the theorem: it enforces the role of redundancies played by the symmetries. In fact the physical content of the theory, more than in the lagrangian, is contained in the equations of motion:

\Pi_k[\mathcal{L}] = 0 ~ ,

they simply state that for every field \phi_k its corresponding Euler-Lagrange expression vanishes on the solutions (or on-shell). There are n of these equations. But the equation before establishes m relations (recall that \alpha = 1 , 2, \dots , m ) one for each independent local symmetry between the n Euler-Lagrange expressions. So there are only n - m independent equations of motion.

References

[1] E. Noether’s 1919 paper: arXiv:physics/0503066v1 (in 1919 the arXiv didn’t have hep-th… thanks to M. A. Tavel for the translation)

F. Mercati

The blog is open

December 15, 2008

This blog is officially open, check out the blog description to get an idea of the topics of this blog, and the who’s who to discover who are the authors.


Follow

Get every new post delivered to your Inbox.