As Raízes da Metafísica…

Acabei de ler o post The Roots of Metaphysics que trata do Paradoxo de Russell — que tem a mesma natureza do Argumento Diagonal (o fato de que os Reais são incontáveis).

Entretanto, no sentido exposto no texto — “(…) no set of existential statements can entail a universal statement” —, a primeira coisa que veio a minha mente foi o Teorema do Limite Central (e suas “variações sobre o tema”). Ou seja, apesar dos pesares, minha crítica ao texto, ao modo como o problema foi exposto no texto, é que eu não achei que a noção de recursividade ficou exposta de modo claro o suficiente (de modo que se note que ela é o ‘pilar’ por detrás do problema sendo tratado). A analogia feita no texto é a de que enquanto a afirmação “todos os morcegos estão na pia” é universal, a afirmação “há um morcego na pia” é existencial. O problema dessa analogia é que nós já sabemos, a priori, que o número de morcegos é finito (assumindo, claro, que só existem morcegos no nosso planeta), o que faz uma diferença enorme em toda essa brincadeira. Num certo sentido, o problema dessa analogia está no Paradoxo de Banach–Tarski: se fosse possível, através dum corte ao meio, se obter dois morcegos idênticos entre si, a partir dum morcego original, aí sim, essa seria uma analogia bona fide, uma vez que a recursividade estaria então implementada no problema. Aliás, é por essas, e outras, que existem diferentes formulações da Teoria de Conjuntos, como, e.g., Teoria de Conjuntos de Zermelo–Fraenkel (e suas respectivas objeções), assim como Teoria de Topos e Teoria de Conjuntos de Tarski–Grothendieck.

Acho interessante ver que o Paradoxo de Russell é de ~1925… e que, por exemplo, os Teoremas de Incompletude de Gödel são de 1931: quando postos em contexto, acho que as implicações são bem interessantes. :wicked:

No final das contas, esse assunto tem um nome: Meta-Matemática — leia mais sobre isso em Meta Math! The Quest for Omega e Omega and why maths has no TOEs. Ou seja, como devemos usar a matemática pra avaliar a própria matemática?

Num certo sentido, isso me leva a pensar diretamente sobre o conceito de Grupo de Renormalização, Teorias Efetivas e Espaço de Teorias (em física teórica) (ver também Grupo de Renormalização Funcional). Ou seja, em Física existem teorias que são fundamentalmente desconexas (como, por exemplo, a Relatividade Geral e a Mecânica Quântica); entretanto, existe todo um outro conjunto de teorias que estão conectadas via o Grupo de Renormalização: ou seja, existe uma teoria pra explicar cada conjunto de graus-de-liberdade (ie, as variáveis que descrevem uma determinada teoria); entretanto, é possível se rearranjar um conjunto de graus-de-liberdade de modo a se obter as variáveis relevantes para se explicar outra teoria — esse fenômeno leva o nome de Transição de Fase.

Nesse sentido, existem várias escalas relevantes para a Física, que efetivamente formam “ilhas de teorias”, ou “ilhas de verdade” (à la Gödel). Dessa forma, acabamos com um sistema multi-fractal: a auto-similaridade consiste no fato de que toda a estrutura Física se repete nas diversas escalas: Lagrangianos, [quantização via] Integral de Trajetória de Feynman, Renormalização, etc, etc, etc — exceto, claro, por pontos-fixos não-triviais no Fluxo de Renormalização.

O Lamento dum Matemático…

Acabei de encontrar esse artigo (PDF), escrito por Keith Devlin, onde a seguinte citação aparece:

“… The first thing to understand is that mathematics is an art. The difference between math and the other arts, such as music and painting, is that our culture does not recognize it as such. Everyone understands that poets, painters, and musicians create works of art, and are expressing themselves in word, image, and sound. In fact, our society is rather generous when it comes to creative expression; architects, chefs, and even television directors are considered to be working artists. So why not mathematicians?”

(Tradução livre: “… A primeira coisa a entender é que a matemática é uma arte. A diferença entre a matemática e as outras artes, como música e pintura, é que nossa cultura não a reconhece [como arte]. Todo mundo entende que poetas, pintores, e músicos criam trabalhos de arte, e se expressam em palavras, imagens e sons. De fato, nossa sociedade é meio generosa quando o assunto é expressão criativa; arquitetos, chefs [de cozinha], e até mesmo diretores de TV são considerados artistas. Então, por que não os matemáticos?”)

Taí uma desses “perguntinhas capiciosas” que têm a capacidade de mudar muita coisa… “Por que não os matemáticos?”

Robust Discretization Schemes…

Today, the following article came up on the arXivs:

• “Perfect discretization of reparametrization invariant path integrals” (arXiv:1101.4775 [gr-qc]).

This is all fine and dandy… but my question is: “How does this paper (above) compare to the following”:

• Discrete gauge theory: from lattices to TQFT,
• Discrete Differential Forms, Gauge Theory, and Regge Calculus (PDF).

That is, GR is naturally written in terms of [pseudo-]differential forms (aka tensor densities), so the methods described above should be very appropriate to attack the problem of discretizing the path integral in such a way as to retain its symmetries.

» Robert Oeckl (2005). DISCRETE GAUGE THEORY: From Lattices to TQFT World Scientific eBooks, 1-216 DOI: 10.1142/9781860947377

Miami 2010…

This week I will be at the Miami 2010, so I will try and “live tweet” the conference, with some comments and pictures — the hashtag will be #miami2010.

If anyone is interested, here’s the talk I am giving on tuesday (2010-Dec-14, right after lunch ),

View this document on Scribd

• Symmetry Breaking, Phases & Complexified Gauge Theory — From Quantum Phases to Langlands Duality (PDF, 3.6Mb).

Updated (2010-Dec-15): Here are the notes to my talk, mostly of stuff that was said and is not in the PDF above,

View this document on Scribd

• Notes Miami2010 (PDF, 4.8Mb).

Neurociência e o Projeto Ersätz-Brain…

Bom pessoal, como anunciado anteriormente, vamos falar um pouco sobre um certo aspecto da Neurociência: o da modelagem de redes neurais via sistemas dinâmicos, modelo de Potts e, por que não, teorias de gauge (cf. What is a gauge?, Gauge theories (scholarpedia), Preparation for Gauge Theory e Gauge Theory (José Figueroa-O’Farrill)).

O nome-do-jogo, aqui, é Projeto Ersätz-Brain, e a idéia é a de se construir uma “arquitetura” análoga a de um cérebro para aplicações cognitivas. A base dessa arquitetura são as estruturas de audição e de visão do cérebro: ao contrário do que ingenuamente se imagina, ambas essas estruturas são altamente hierarquizadas e distribuídas. Ou seja, grupos diferentes (e espacialmente distribuídos) de neurônios lidam com ‘pedaços’ diferentes da informação sendo recebida, enquanto que um outro grupo de neurônios “integra” essas informações, numa camada hierárquica superior as anteriores.

Então, a motivação é a de se construir uma arquitetura distribuída e hierárquica — ou, no jargão que nós usamos, uma “rede [neural] de redes [neurais]“: ou seja, estamos dando um passo na direção da “recursividade” da arquitetura usual de redes neurais. Alguns chamariam tal passo de “meta redes neurais” e outros de rede neurall Gödeliana, ambos os nomes aludindo à natureza auto-referencial da arquitetura: “redes de redes”.

Pra dar um exemplo concreto dum problema que estamos atacando atualmente, vamos pensar em termos do Código Morse: imagine que o nosso EB é como uma criança que ainda não aprendeu a falar e se pergunte: “Como é que uma criança aprende um idioma?” Agora vamos fazer de conta que o idioma não é uma das línguas faladas ao redor do globo, mas sim Código Morse… e, ao invés de termos uma criança, temos uma arquitetura de redes neurais, um EB.

O que a gente pretende fazer é colocar um sinal de código Morse como dado de entrada para o EB e, do outro lado dessa “caixa preta”, tirar a mensagem descodificada. O EB tem que aprender código Morse e identificá-lo com os símbolos usuais do alfabeto, pra assim poder dar como saída a mensagem apropriada.

Quem está acostumado com o paradigma usual de redes neurais e Teoria de Hebb já deve ter percebido que esse tipo de approach não vai funcionar no caso do EB. A pergunta, então, se põe sozinha: “E agora, José?”

O insight é não pensar em termos de “memória”, mas sim em termos de “dinâmica de informação”. Ou seja, ao invés de tentarmos ficar memorizando padrões em cima de padrões, pra depois associar a outros padrões, e assim por diante… a idéia é se notar que, assim como em Teorias de Gauge, há muita informação repetida e muito ruído nesse problema. Então, se Teorias de Gauge funcionam tão bem na Física… por que não tentar implementar um pouco delas em Redes Neurais?!

É exatamente isso que estamos fazendo atualmente, criando um modelo para o EB em termos de Teorias de Gauge. Ou seja, há dois tipos de “dinâmicas” em jogo, uma “interna” e outra “externa” (por falta de nomes melhores). A “interna” é como a simetria de gauge em Física, e fornece a dinâmica dos graus-de-liberdade das partículas de gauge, enquanto que a “externa” é a dinâmica dos campos propriamente ditos. Dessa forma a gente estabelece dum modo bem claro uma relação de ‘recursividade’: a dinâmica “interna” determina o estado “externo” e vice-versa (num sistema de feedback).

Então, a gente pode pensar num Modelo de Potts com 3 estados: ponto, espaço, e ‘espaço branco’ (entre palavras). Esses 3 estados estão sujeitos a uma certa “dinâmica interna” — à la BSB, cf. Learning and Forgetting in Generalized Brain-State-in-a-Box (BSB) Neural Associative Memories — que é descrita por um sistema dinâmico (BSB), e o resultado dessa dinâmica “interna” seleciona um determinado estado para a dinâmica “externa”, que é guiada, por exemplo, por uma dinâmica do tipo BSB também (mas pode ser algum outro tipo, isso não é muito relevante no momento).

Pra apimentar ainda mais esse paradigma, nós estamos implementando ‘operadores de nós’ (knot operators), que são estados topológicos e robustos perante uma gama de “perturbações” do EB. Como esses estados são robustos, é fácil transportá-los hierarquicamente, de um nível hierárquico para outro. O que leva a algumas especulações bastante não-triviais sobre o “aprendizado” do EB — ao contrário do que é normalmente feito em “Teoria Habbiana”.

Bom, por enquanto é só… quem quiser ler um pouco mais sobre o trabalho, pode dar uma olhada num artigo (um pouco antigo, é verdade — o novo vai sair quando eu acabar de escrever ) disponível no livro abaixo:

• Challenges for computational intelligence (Chapter 3).

Żak, S., Lillo, W., & Hui, S. (1996). Learning and Forgetting in Generalized Brain-state-in-a-box (BSB) Neural Associative Memories Neural Networks, 9 (5), 845-854 DOI: 10.1016/0893-6080(95)00101-8

SciBloWriMo…

O mês de Novembro é conhecido no meio literário como NaNoWriMo, National Novel Writing Month.

Um pessoal da Matemática decidiu pegar carona nessa idéia de criar o MaBlogWriMo: Math Blog Writing Month. A idéia, como descrita no link, é a de se escrever todo dia um post com até 1.000 palavras sobre matemática.

Então, parafraseando ambos esses eventos, vou começar o SciBloWriMo: Science Blog Writing Month!

Eu vou aproveitar que vou dar uma palestra na conferência Miami 2010 e pegar uma carona pra falar dum tema que eu já venho trabalhando há algum tempo: o espaço de soluções (aka moduli space) de teorias quânticas de campo e suas simetrias. Esse será um dos temas do SciBloWriMo aqui no AP.

O outro tema é o de um trabalho que eu venho realizando atualmente, em colaboração com um pessoal da Neurociência, sobre o funcionamento hierárquico e maçissamente paralelo do cérebro, chamado Ersätz-Brain.

Assim que os posts forem ficando prontos, eu os linko aqui,

• Álgebra, Teoria da Representação e Picard-Lefschetz;
• Neurociência e o Projeto Ersätz-Brain: Teoria de Gauge, Variáveis de Nós e o Funcionamento Hierárquico do Cérebro.

É isso aí: espero que ninguém esteja com medo do frio!

Simetria e Dualidade em Matemática e Física…

Cálculo Exterior para Elementos Finitos…

O artigo Finite element exterior calculus: from Hodge theory to numerical stability trata dum tópico que eu gosto muito: análise numérica feita com ferramentas modernas (e.g., Cohomologia de de Rham e Teoria de Hodge).

Meu interesse sobre esse tipo de tópico começou cedo, quando na graduação eu comecei a lidar com problemas numéricos. A noção de que a estabilidade e convergência do método numérico deveria variar com a particular discretização (“mesh”) escolhida sempre ficou atrás da minha orelha. Mas, naquelas épocas, ainda estando na graduação, pouco era possível se fazer. Mas a vontade de aplicar essas idéias em Lattice Gauge Theory sempre me provocou.

Um pouco mais tarde, já na pós (mestrado), eu trombei com alguns artigos interessantes que, novamente, morderam essa mesma pulguinha,

• Continuous Symmetries of Difference Equations;
• From continuum to lattice theory via deformation of the differential calculus, Noncommutative differential calculus and lattice gauge theory;
• Lie symmetries of finite-difference equations; &
• Nonstandard Finite Difference Schemes for Differential Equations.

Meu interesse por esses artigos era claro: o esquema de discretização deles tenta preservar as simetrias de Lie do problema original. Isso é particularmente importante se o objetivo é simular problemas que envolvem Quebra de Simetria!

Um pouco de tempo depois… me aparece o seguinte artigo, A Discrete Exterior Calculus and Electromagnetic Theory on a Lattice; que, mais tarde, seria seguido pelos seguintes artigos: Discrete Differential Geometry on Causal Graphs e Differential Geometry in Computational Electromagnetics.

A idéia, então, era novamente clara: aplicar esse mecanismo de Cálculo Exterior Discreto em Teorias de Gauge!

Afinal de contas, quem sabe, não daria pra juntar ambas as idéias: usar Cálculo Exterior Discreto de forma a preservar as simetrias [de Lie] do problema no contínuo O que será que poderia sair daí?! (De fato, não tenho a menor noção, infelizmente nunca tive tempo de voltar e morder essa questão. Mas, taí um problema prum doutorado… )

Bom, depois de tudo isso, aparece o artigo que motivou esse post — eu tinha que falar alguma coisa a respeito dele.

Na verdade, esse artigo vai mais longe, extendendo o trabalho feito anteriormente, definindo apropriadamente uma Teoria de Hodge para Elementos Finitos, e avaliando as conseqüências para a consistência (“well-posedness of the Cauchy problem”; algo que varia muito com as particularidades da questão em mãos) e estabilidade numérica do problema. Portanto, as técnicas disponíveis agora são muito mais robustas! (O que só me deixa cada vez mais curioso pra saber a resposta das questões acima… )

É isso aí: a leitura é excelente, a diversão é garantida… e eu não me responsabilizo por noites de sono perdidas (por causa das questões acima)!

Referências

• Arnold, D., Falk, R., & Winther, R. (2010). Finite element exterior calculus: from Hodge theory to numerical stability Bulletin of the American Mathematical Society, 47 (2), 281-354 DOI: 10.1090/S0273-0979-10-01278-4

Seminário de Física-Matemática de Königsberg…

Königsberg é uma cidade na Alemanha famosa por suas sete pontes. Mas, há outra razão também: 150 anos depois dessas pontes inspirarem Euler, nos idos de 1880, a Universidade de Königsberg possuia um seminário de Física-Matemática, que ajudou a formar a carreira científica de David Hilbert e de Hermann Minkowski.

O simples fato de que esse tipo de seminário existia naqueles tempos é um tributo às reformas (Era Prussiana) no sistema educacional alemão: essas reformas começaram com as idéias de Martinho Lutero, que desejava que todas as pessoas devessem ser educadas para poderem ler e interpretar a Bíblia por si sós, independentemente. Foi esse conceito de educação obrigatória que se tornou o ideal educacional alemão da época.

No século 18, o então “Reino da Prússia” foi um dos primeiros países do mundo ( ) a introduzir educação gratuita e obrigatória. Por volta de 1810, depois das “Guerras Napoleônicas“, a Prússia introduziu o conceito de “certificações estaduais” para professores, o que levantou significativamente o nível da educação naquele país.

O Seminário de Física-Matemática nasceu com Franz Neumann e Carl Jacobi — eles foram patrocinados por Friedrich Wilhelm Bessel, astrônomo e diretor do observatório. Esse foi o primeiro seminário oficial da Prússia a incorporar métodos matemáticos no ensino de Física — um passo com muitas conseqüências: a universidade se tornou o centro duma escola de física-matemática, o que moldou a formação dessa disciplina de modo substancial!

Eis algumas outras conseqüências desse Seminário:

1. Os atendentes dos seminários, jovens pesquisadores, transferiram as idéias educacionais básicas pra outras universidades, onde elas eram adaptadas e desenvolvidas. Isso é muito análogo ao conceito moderno de pós-doutorado, onde o recém-doutor deixa sua instituição e vai exercer seu primeiro emprego, como pós-doutor, em outra instituição, levando consigo os ensinamentos e idéias adquiridas em sua alma matter;
2. No contexto científico da Física e da Matemática, o Seminário influenciou fortemente o desenvolvimento de áreas de pesquisa e metodologias; &
3. Devido a responsabilidade pedagógica e esforço pessoal de Franz Neumann, por mais de 4 décadas, o Seminário tem que ser visto como o começo duma nova disciplina, que pode ser chamada de Física Teórica (ou Física Matemática).

Ainda mais importante que o Seminário, foi o Colóquio semanal, em matemática, estabelecido por Lindemann (em 1884). O Colóquio oferecia um fórum para palestras e diálogos científicos no nível de pesquisa (ao contrário do Seminário, cujo objetivo era mais pedagógico, no sentido de ensinar os tópicos expostos)

Para mais detalhes e maiores diversões… o artigo abaixo é muito gostoso de se ler.

Referências

• Schwermer, J. (2010). Minkowski in Königsberg 1884: A talk in Lindemann’s colloquium Bulletin of the American Mathematical Society, 47 (2), 355-362 DOI: 10.1090/S0273-0979-10-01291-7

Winter Workshop on Non-Perturbative QFT…

I’m live tweeting the Winter Workshop in Non-Perturbative QFT. The tweets are being tagged with #wwnpqft and can all be found at,

• WW-NPQFT Tweets.

Have fun!

Non-Perturbative QFT…

O Instituto Não-Linear de Nice vai realizar um Workshop de Inverno sobre QFT não-perturbativa — e eu fui convidado a dar uma palestra.

O Workshop começa amanhã e eu já estou no gás todo (apesar da horrível viagem de SP pra Paris)!

Quem se interessar, minha palestra pode ser vista no seguinte link,

• From Quantum Phases to Geometric Langlands Duality — accessing non-perturbative results (PDF, 431Kb).

Se for possível, eu vou tentar fazer ou um live blogging (aqui no AP) ou um live tweeting (no meu twitter): não prometo nada mas, fiquem de olho… quem sabe não dá certo?!

A semana nos arXivs…

• Nonassociative Riemannian Geometry by Twisting. (arXiv:0912.1553v1 [math.QA])
• Positive curvature can mimic a quantum. (arXiv:0912.1535v1 [hep-th])
• Instantons, Topological Strings and Enumerative Geometry. (arXiv:0912.1509v1 [hep-th])
• Spontaneous compactification and nonassociativity. (arXiv:0912.1729v1 [hep-th])
• From covariant to canonical formulations of discrete gravity. (arXiv:0912.1817v1 [gr-qc])
• Encoding simplicial quantum geometry in group field theories. (arXiv:0912.1546v1 [gr-qc])
• Time and Spacetime: The Crystallizing Block Universe. (arXiv:0912.0808v1 [quant-ph])
• Self-organizing urban transportation systems. (arXiv:0912.1588v1 [nlin.AO])
• Critical points of Green’s function and geometric function theory. (arXiv:0912.1223v1 [math.CV])
• On Unitary Evolution in Quantum Field Theory in Curved Spacetime. (arXiv:0912.0556v1 [hep-th])
• Circular Symmetry in Topologically Massive Gravity. (arXiv:0912.0708v1 [gr-qc])
• Quantum nonlocality: How does nature do it?
• Are black holes really two dimensional?
• Quark Colors Unbound
• Cobordism and Topological Field Theories Week 3, Cobordism and Topological Field Theories Week 4, Cobordism and Topological Field Theories Week 5, This Week’s Finds in Mathematical Physics (Week 285), This Week’s Finds in Mathematical Physics (Week 286)
• Random covariance matrices: Universality of local statistics of eigenvalues
• Using NVIDIA GPUs and PyCUDA, MIT and Harvard researchers demonstrate a better way for computers to ‘see’
• Irrationality of π

---

• Opinion: Can science fight media disinformation?
• The Numerati reviewed by a “numerati wannabe”
• The Obama administration wants OA for federally-funded research: Acesso Aberto para pesquisa feita com dinheiro público!
• What Is Living and What Is Dead in Social Democracy?: uma resenha moderna do que se chama de “Social-Democracia” atualmente
• Japanese scientists call on peers to help save science funding: não é só a atual crise econômica, é um grande relaxo devido ao nosso atual nível de conforto, como se não fosse mais necessário se avançar em nada…
• The Noisy and Prolonged Death of Journalism
• Exercise Boosts Telomerase, Reduces Erosion of Telomeres: sensacional!
• Bohr-Einstein Debates
• 50 Years of Nobel Memories in High Energy Physics
• Fiat Lux

Transcendental Meditation

Realejo do dia…

y = exp(x)

A semana nos arXivs…

• Benford’s Mathemagical Law (AmStat)
• A scaling method and its applications to problems in fractional dimensional space (JMathPhys)
• Geometry of the quantum projective plane. (arXiv:0912.0106v1 [math.QA])
• Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems (ReVModPhys)
• Colloquium: Statistical mechanics of money, wealth, and income (RevModPhys)
• Gauge theories, Simple Groups and Integrable Systems. (arXiv:0911.5257v1 [hep-th])
• Born—Oppenheimer decomposition for quantum fields on quantum spacetimes. (arXiv:0911.5331v1 [gr-qc])
• Hamiltonian formulation of General Relativity 50 years after the Dirac celebrated paper: do unsolved problems still exist?. (arXiv:0911.5252v1 [gr-qc])
• Thermodynamical Aspects of Gravity: New insights. (arXiv:0911.5004v1 [gr-qc])
• Forecasting: it is not about statistics, it is about dynamics (PhilTransRoySocA)
• New and Old Results in Resultant Theory. (arXiv:0911.5278v1 [math-ph])
• Geometrical interpretation of the topological recursion, and integrable string theories. (arXiv:0911.5096v1 [math-ph])
• The Principle of Locality. Effectiveness, fate and challenges. (arXiv:0911.5136v1 [math-ph])
• Emergent Spacetime. (arXiv:0911.4817v1 [hep-th])
• A physics perspective on geometric Langlands duality. (arXiv:0911.4586v1 [hep-th])
• Thermodynamic Bubble Ansatz. (arXiv:0911.4708v1 [hep-th])
• Semiclassical quantum gravity: obtaining manifolds from graphs (ClassQuantGrav)
• Black holes in full quantum gravity (ClassQuantGrav)
• Perturbative quantum field theory via vertex algebras (JMathPhys)
• Proper time is stochastic time in 2d quantum gravity. (arXiv:0911.4211v1 [hep-th])
• New aspects of two-dimensional quantum gravity. (arXiv:0911.4208v1 [hep-th])
• Work on the Manhattan Project, Subsequent Events, and Little Known Facts Related to its Use (arXiv:0911.4088v1 [physics.hist-ph])
• An information theoretic approach to statistical dependence: copula information. (arXiv:0911.4207v1 [q-fin.ST])
• Dynamical compactification from de Sitter space (JHEP)
• The geometry emerging from the symmetries of a quantum system. (arXiv:0911.5270v2 [math-ph])
• Human group formation in online guilds and offline gangs driven by a common team dynamic (PhysRevE)
• Relativity and Singularities – A Short Introduction for Mathematicians. (arXiv:math/0603190v3 [math.DG])
• From Bose-Einstein condensates to the nonlinear Schrodinger equation
• Quantum mechanics and geometry

---

• James Hansen: the RMS of Climate Change
• Yet Another Nobel Prize Winner Says That Intellectual Property Is Harming Science: it doesn’t take a Nobel Prize to recognize such an obvious and trivial fact: I, myself, have been saying this for years! Ditto for my advisor… and, in fact, the both of us have convinced L. Cooper (another Nobel winner, famous for the “Cooper pairs” in superconductivity) of this very same fact — and i saw Cooper, after discussing with us, repeat the very same arguments to a room filled with people eager to listen to what “he” had to say on this topic. But, i guess the Sun will become a red giant before anyone without a Nobel prize realizes this…
• Blue skies ahead?
• Dangerous Knowledge – BBC: Cantor, Boltzmann, Gödel, Turing
• Fascinating letter of recommendation written by Robert Oppenheimer, in which a young Richard Feynman is described as “a second Dirac, only this time human”
• Seeing through the ‘two cultures’
• Cargo-cult training
• Not crazy enough
• Currents: Are Metrics Blinding Our Perception?
• This Week’s Finds in Mathematical Physics (Week 284)
• Robert Trivers + Noam Chomsky
• The Buzz: The Climate Scandal That Wasn’t
• Synovial fibroblasts spread Rheumatoid Arthritis to other joints
• Mersenne Twister for Graphic Processors (MTGP)
• Forro in the Dark’s Mauro Refosco on Moving Your Hips to Forró Music, Working with Thom Yorke

A semana nos arXivs…

• Gravity-Yang-Mills-Higgs unification by enlarging the gauge group. (arXiv:0911.3793v1 [hep-th])
• Applications of String Theory: Non-perturbative Effects in Flux Compactifications and Effective Description of Statistical Systems. (arXiv:0911.3800v1 [hep-th])
• PyCUDA: GPU Run-Time Code Generation for High-Performance Computing. (arXiv:0911.3456v1 [cs.DC])
• Canonical Path-Integral Measures for Holst and Plebanski Gravity. II. Gauge Invariance and Physical Inner Product. (arXiv:0911.3436v1 [gr-qc])
• Canonical path integral measures for Holst and Plebanski gravity. I. Reduced Phase Space Derivation. (arXiv:0911.3433v1 [gr-qc])
• Path-integral for the Master Constraint of Loop Quantum Gravity. (arXiv:0911.3432v1 [gr-qc])
• On the Relation between Rigging Inner Product and Master Constraint Direct Integral Decomposition. (arXiv:0911.3431v1 [gr-qc])
• On the Relation between Operator Constraint —, Master Constraint —, Reduced Phase Space —, and Path Integral Quantisation. (arXiv:0911.3428v1 [gr-qc])
• Mapping 6D N = 1 supergravities to F-theory. (arXiv:0911.3393v1 [hep-th])
• Null polygonal Wilson loops and minimal surfaces in Anti-de-Sitter space (JHEP)
• Wheeled props in algebra, geometry and quantization. (arXiv:0911.3321v1 [math.QA])
• Asymptotically Safe Inflation. (arXiv:0911.3165v1 [hep-th])
• Solving Lattice QCD systems of equations using mixed precision solvers on GPUs. (arXiv:0911.3191v1 [hep-lat])
• Deformations of 3-algebras (JMathPhys)
• Phenomenological Quantum Gravity. (arXiv:0911.2761v1 [physics.pop-ph])
• Is the spacetime metric Euclidean rather than Lorentzian?. (arXiv:0911.1479v2 [gr-qc])
• Geometry of Grand Unification. (arXiv:0911.3008v1 [math-ph])
• Zipf’s Law in the Popularity Distribution of Chess Openings (PhysRevLett) e Power laws in chess
• Localization for Wilson Loops in Chern-Simons Theory. (arXiv:0911.2687v1 [hep-th])
• Generalised permutation branes. (arXiv:hep-th/0509153v3)
• Hitchin Equation, Singularity, and N=2 Superconformal Field Theories. (arXiv:0911.1990v1 [hep-th])
• A Physical Interpretation of Gravitational Field Equations. (arXiv:0911.1403v1 [gr-qc])
• Approaches To Quantum Gravity. (arXiv:0911.2135v1 [gr-qc])
• Special polynomials and elliptic integrals. (arXiv:0911.2098v1 [math-ph])
• Abrikosov Lattice Solutions of the Ginzburg-Landau Equations. (arXiv:0911.2432v1 [math-ph])
• Octonions, E6, and Particle Physics. (arXiv:0911.2253v1 [math.RA])
• Ranking scientists (PhysRevLett)
• This Week’s Finds in Mathematical Physics (Week 283)

---

• Audacity, Part 3: Funding Audacious Science
• The Paint-Less Coca-Cola Would Save Earth One Can at a Time [Design]
• 6 Inventors Who Got Jack Shit for Changing the Modern World
• Tracking the World’s Great Unsolved Math Mysteries
• Drupal 6 Social Networking
• Free Culture Forum: Getting it Together
• Humanity’s Other Basic Instinct: Math
• Inside Oliver Sacks’s Brain (As He Listens to Music)
• Nov. 17, 1790: A Rather One-Sided Affair: Aniversário do Möbius
• Philosophizing about Programming; or “Why I’m learning to love functional programming”, Writing Basic Functions in Haskell (edited repost) e Types in Haskell: Types are Propositions, Programs are Proofs
• Fight sensibly to stay fit
• Nobelists call for FRPAA: pesquisa científica feita com fundos públicos deve ter acesso aberto e livre!
• Hackers Fail To Crack Brazilian Voting Machines
• Eat Breakfast Like an Olympian with “Super” Oatmeal [Diet]
• “The End of Poverty?”: How the rich steal from the poor
• 5 Things Worth Knowing About Coffee
• Philip Wadler: Transforming the Academy: Knowledge Formation in the Age of Digital Information

Academia vs. Business

Buzzwords

Informação, entropia, geometria e teorias de campo médio.

(eu perdi um sinal em algum lugar por aí, se você achar por favor indique no comentário)

Este post é uma espécie de continuação do post sobre Lógica Bayesiana, ainda que não exatamente. Mas estamos no mesmo espírito. Lá eu discuti a respeito de como raciocinar sobre informação incompleta. Entretanto, quando há informação incompleta uma coisa é certa: com o tempo podemos ganhar informação. E se há nova informação relevante para saber sobre algo, a probabilidade que atribuo – no sentido do post anterir, o registro quantitativo da minha crença racional sobre esse algo – deve certamente mudar.

A grande pergunta então parece ser: como eu devo mudar minha atribuição de probabilidades – minha crença racional – quando adquiro nova informação? Bem, isso sugere uma forma de quantificar informação: se informação causa mudança na minha atribuição de probabilidades, então se eu puder medir quão longe estão minhas atribuições prévia (prior, antes da nova informação) e posterior (posterior, depois da nova informação), então poderei medir quão importante é essa nova informação. Vamos fazer como antes então e propor uma medida de informação e vinculos que nos permitam restringi-la a uma medida única(1).

Lógica Bayesiana

Todo mundo conhece a lógica clássica, aquela segundo o qual proposições são julgadas verdadeiras ou falsas através de certos procedimentos de consistência. Mesmo que não conheça as regras da lógica formal, certamente já as usou e saberia reconhece-las. Poucos nunca ouviram o tal exemplo sobre a mortalidade ou não de Sócrates.  A lógica formal nos fornece uma forma de raciocínio: seguindo suas regras básicas eu consigo formas de, de posse de afirmações que eu julgo verdadeiras,  julgar a validade de outras. Mais ainda, na lógica não há espaço para ambiguidade e meia-certeza — o valor de uma proposição é verdadeiro ou falso, fim de papo. E note: ainda que eu não consiga determinar esse valor, está estabelecido desde o princípio que ele é verdadeiro ou falso.

Certamente isso fornece ferramentas úteis mas há uma grande limitação: como eu deveria raciocinar se eu não possuo informação completa sobre algo? A lógica formal não serve para isso. Eu não posso fazer perguntas como: “dado que eu acho a proposição P1 maaais ou menos certa, qual é o valor de P2?”. Há formas de lidar com essa questão de informação parcial? Isso é o que os probabilistas da escola bayesiana se perguntaram e o que eu pretendo dizer aqui é como responder positivamente essa pergunta.

A grande pergunta inicial é: como eu quantifico informação incompleta sobre algo? Em outras palavras, como eu digo a você quão fortemente eu acredito que algo é verdade? Uma vez determinada essa resposta a próxima pergunta é: como eu devo proceder, uma vez estabelecida o valor de uma proposição, para determinar o valor de outra proposição derivada dessa? Essas são as duas perguntas que eu vou tentar explicar como são respondidas pela teoria bayesiana.

Então para começo de conversa vamos estabelecer como se mede o grau de plausibilidade de algo (A. Caticha gosta de chamar de “degree of rational belief”, eu concordo com ele). Para cada proposição vamos criar uma função que associa a cada outra proposição um número real — a princípio irrestrito:

.

Aqui, é a coleção de proposições e o conjunto dos reais. Ao número vamos chamar plausibilidade de no ambiente lógico (gerado por) . Ou seja, esse número mede o quanto eu acredito em assumindo como “axioma”. Quanto maior o número maior minha crença.

Bem, não faz muito sentido apenas fazer isso. Preciso de algumas regras básicas para essa função. Essas regras devem me garantir que quando eu faço o “limite de certeza absoluta” eu recobre os resultados da lógica formal. Essas regras são chamadas axiomas de Cox e são bem simples e intuitivas. Melhor ainda: elas determinam quase univocamente (vamos entender esse quase adiante). Os axiomas de Cox são os seguintes:

A plausibilidade da negação de uma proposição é determinada assim que eu conheço a plausibilidade da própria proposição. Ou seja(2):

.

Parece razoável: quanto mais acredito em , menos acredito em .  Note que há aqui a afirmação implícita de que a função que liga a plausibilidade de uma proposição com a plausibilidade da sua negação é única e independe de qual proposição estamos falando, nem do “ambiente lógico”.

A operação de negação é idempotente – ou seja, se eu aplicar a negação duas vezes, devo recuperar a proposição original(). Essa propriedade nos fornece uma equação funcional para :

,

,

.

Ou seja, para todos os valores pertencentes à imagem de devemos ter que:

.

Ou seja, a função F(⋅) é idempotente também. Vamos reservar essa propriedade de e prosseguir para o segundo axioma de Cox:

A plausibilidade da conjunção de duas proposições dada uma terceira proposição (ou seja, ) deve depender apenas da plausibilidade de:

(1) plausibilidade de A dado C: ;
(2) estabelecida a plausibilidade de A, quão plausível é B dado C : .

Ou seja, estou assumindo a existência de mais uma “função universal”:

.

Também parece razoável: quando quero determinar se duas proposições são simultaneamente verdadeiras, estabeleço primeiro a validade da primeira e depois, dada a primeira, estabeleço a validade da segunda. É um pouco mais difícil tirar uma equação funcional para G(⋅ , ⋅) mas não é impossível. Considere a expressão:

.

Há duas formas diferentes de decompor essa expressão usando a função : lembre-se que o conectivo é  associativo e comutativo e portanto:

.

Uma inferência consistente exige que essas duas formas dêem o mesmo resultado(3). Portanto:

.

Aplicando novamente a definição de :

.

Se isso deve valer para quaisquer proposições então novamente tenho um equação funcional válida para quaiser e na imagem de (4):

.

Ou seja: a função G(⋅ , ⋅) também é associativa.

Um leitor apressado deve se perguntar nesse momento: e daí que você tem duas equações funcionais para essas funções arbitrárias F(⋅) e G(⋅ , ⋅) que você postulou do chapéu? O ponto é que essas duas equações funcionais generalíssimas definem univocamente estrutura de inferência! Sério mesmo. Não to brincando. E você conhece essa estrutura.

O coração da questão deriva de dois teoremas devidos a Cox. Para conseguir o primeiro teorema vamos usar o seguinte resultado (não vou provar aqui porque a prova é extensa e é encontrada na referência [2]).

Teorema da função associativa: dada qualquer função associativa , existe uma função monotônica g(⋅) tal que:

Isso é muito conveniente pois se escrevermos de novo a definição de , temos:

,

e usarmos o teorema da função associativa, então obtemos:

E agora posso simplesmente regraduar minha definição de plausibilidade. Uma vez que g() é monotônica, e portanto vai preservar a ordem com que eu classifico coisas como mais ou menos plausíveis, eu posso redefinir plausibilidade como:

Mudei ligeiramente a notação para que o leitor possa apreciar melhor o que acontece com a antiga expressão que define G(⋅ , ⋅) com essa nova definição de plausibilidade:

Mas veja se essa não é a boa e velha regra do produto da teoria de probabilidades!!! Usando a comutatividade de eu ainda posso notar que:

,

e essa não é nada mais que a regra de Bayes da teoria de probabilidades!

Mas calma, a nova função plausibilidade ainda não é uma probabilidade: não basta seguir essas duas regras, há uma série de condições na teoria axiomática de probabilidades para chamar algo com esse nome e a nossa função ainda não satisfaz todas. Tudo bem: ainda nos falta estudar as propriedades de ! Quem sabe isso ajude.

Novamente precisamos criar uma situação em que a demanda por consistência delimite as propriedades da função plausibilidade. Por exemplo temos a seguinte situação(5):

.

Mas, pela regra do produto que deduzimos acima:

e então:

Mas lembre-se que a conjunção é simétrica, portanto toda essa expressão fica invariante se eu trocar A por B. E assim:

Se isso deve valer independente de quais são as proposições A, B e C, então eu posso, por exemplo, escolher uma particular proposição . Note que com essa escolha temos as seguintes identidades: e  . Então:

O que finalmente resulta em mais uma equação funcional para F(⋅):

Novamente sem demonstrar, vou simplesmente afirmar que a solução mais geral dessa equação, submetida à condição de idempotência que deduzimos acima, é dada por:

.

Note que para um qualquer isso restringe o dominio da função F(⋅), e portanto a imagem da função , ao intervalo [0,1]. E veja o que acontece então com a regra que define F(⋅):

Uma nova regraduação permite definir uma função com as seguintes propriedades:

• 
• 
• 

Esses não são exatamente os axiomas de Kolmogorov para a teoria de probabilidades mas… close enough para um post de blog. Isso tudo pode ser refinado com o devido grau de rigor matemático para satisfazer os exatos axiomas da teoria da probabilidade.

O que foi obtido com essa massagem matemática toda?

1. É possível definir um sistema lógico de inferência baseado em informação incompleta e incerteza que atribui uma plausibilidade a cada proposição.
2. Esse sistema lógico é único, a menos de uma regraduação monotônica da função plausibilidade. Isso faz com que uma ordenação segundo a plausibilidade seja única, uma vez que regraduações monotônicas não alteram essa ordem.
3. A função plausibilidade satisfaz todas as regras que uma probabilidade legitima deve satisfazer (aqui não provei isso, mas apenas mostrei algumas coisas – para fazer isso rigorosamente precisa-se definir uma “sigma-álgebra de proposições”).

E qual é a utilidade prática disso? Bem… o mundo está cheio de situações de inferência baseada em informação incompleta. Particularmente, todo problema que depende de dados empíricos é, em essência, um problema dessa natureza e todo problema de inferência em ciência é assim. Uma vez que o único sistema de inferência para informação incompleta – como aí mostrado – é aquele que usa as regras  da teoria da probabilidade é razoável se supor que efetivamente usar essas regras explicitamente oferece vantagens sobre os métodos estatísticos ad hoc frequentemente usados, como os métodos de mínimos quadrados e outras formas de fitting de dados. Na verdade esse processo de inferência vai muito além disso – ele oferece ferramentas de modelagem física, de interpretação de modelos, de planejamento de experimentos e ainda mais. Mas disso eu vou tratar em um próximo post.

Notas:

(1) — Se você se interessa por nomes, o que se segue é devido a um certo número de pessoas — Edwin Jaynes, Harold Jeffreys e particularmente Richard Cox.

(2) — Estou usando os seguintes simbolos para os conectivos lógicos:

• — negação:
• — o conectivo E (conjunção):
• — o conectivo OU (disjunção inclusiva):

(3) — Lembre-se: queremos um sistema racional de atribuir um grau de confiança a algo.

(4) — Que pode ser obtida fazendo: , e .

(5) Note que eu tinha definido F(⋅) para a função original . Entretanto fizemos uma regraduação monotônica então nada me impede de abusar da linguagem e redefinir .

Referências:

[1] E. T. Jaynes, Probability Theory, the Logic of Science.
[2] A. Caticha, Lectures on Probability, Entropy, and Statistical Physics — arXiv:0808.0012v1 [physics.data-an]
[3] A. Caticha,  Quantifying Rational Belief — arXiv:0908.3212v1 [physics.data-an]

Contribuindo para o FQXi…

O FQXi, Foundational Questions Institute, tem como objetivo disseminar a pesquisa em áreas fundacionais da Física e da Cosmologia.

Em Agosto/09, eu fui convidado a integrar os blogueiros do FQXi . E minha primeira participação acabou de ser posta online (sim, a coisa demorou pra acontecer porque existe todo um processo de editoração e revisão por pares ):

• The Art of Combining Degrees-of-Freedom.

Na verdade, o artigo que eu escrevi ficou “grande demais”… então, ele foi dividido em 3 partes, e esse link é pra primeira parte, que foi ao ar ontem. As outras partes vão se seguir… mas eu ainda não sei quando serão postas online. De qualquer forma, fiquem ligados, eu ponho os links aqui conforme eles forem aparecendo.

Espero que vcs gostem… e, apesar de estar em Inglês, o Google Translate é seu amigo.

Diversão garantida… ou sua Física de volta!

Continuação analítica da função de partição…

Continuando no espírito dos posts Teorias Topológicas de Campo e suas Continuações Analíticas e Grothendieck, Sistemas Dinâmicos, Dualidade de Langlands e Higgs Bundles, mais um ingrediente pra temperar essa mistura, dessa vez vindo de Materia Condensada,

• Statistical Theory of Equations of State and Phase Transitions. I. Theory of Condensation e Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model, por T. D. Lee e C. N. Yang; &
• The Nature of Critical Points, por M. E. Fisher.

Essencialmente, nos dois primeiros artigos, Lee e Yang demonstram o chamado Teorema de Lee-Yang — essencialmente, o teorema mostra que, sob “certas condições” (é muito importante que essas condições sejam satisfeitas), os zeros da função de partição são imaginários; esses são os chamados zeros de Lee-Yang.

Por outro lado, os chamados zeros de Fisher têm origem numa construção muito semelhante a anterior, a diferença relevante entre ambas as construções sendo que, no caso de Fisher, a temperatura é continuada analiticamente [para os Complexos].

Nesse sentido, a construção de Fisher pode ser considerada a continuação analítica dos resultados de Lee-Yang.

A pergunta que se põem sozinha é: “Será que é possível fazer o mesmo em QFT e em Teorias de Gauge?”

A resposta está longe de ser trivial ou conhecida, vide os dois primeiros posts linkados acima. Mas, agora, com um caso mais concreto pra se comparar… quem sabe não é possível se aprender alguma coisa…?!

A semana nos arXivs…

• Advanced Mechanics. Mathematical Introduction. (arXiv:0911.0411v1 [math-ph])
• Simulations of supersymmetric Yang-Mills theory. (arXiv:0911.0595v1 [hep-lat])
• New variables for the Einstein theory of gravitation. (arXiv:0911.0282v1 [hep-th])
• Spectral geometry as a probe of quantum spacetime. (arXiv:0911.0401v1 [hep-th])
• Spacetime and fields. (arXiv:0911.0334v1 [gr-qc])
• Skew-symmetric forms: On integrability of equations of mathematical physics. (arXiv:0910.5849v1 [math-ph])
• Dyson’s Instability in Lattice Gauge Theory. (arXiv:0910.5785v1 [hep-lat])
• Time, Topology and the Twin Paradox. (arXiv:0910.5847v1 [gr-qc])
• Feynman Propagator for a Free Scalar Field on a Causal Set (PhysRevLett)
• Beyond fractional derivatives: local approximation of other convolution integrals (RSPA)
• Stochastic expansions and Hopf algebras (PRSA)
• Gravity from a Particle Physicists’ perspective. (arXiv:0910.5167v1 [hep-th])
• Holography from conformal field theory (JHEP)
• Motivic Donaldson-Thomas invariants: summary of results. (arXiv:0910.4315v1 [math.AG])
• Asymptotic safety in gravity and sigma models. (arXiv:0910.4951v1 [hep-th])
• Lectures on holographic methods for condensed matter physics (ClassQuantGrav)
• Energy Landscape of Social Balance (PhysRevLett)
• Thermodynamics shows US chief executives are paid nearly 130 times too much
• This Week’s Finds in Mathematical Physics (Week 282)
• Cheaper Online Textbooks?
• Chern Classes: Part 1

---

• Vitaly Ginzburg: a life in physics
• Interview with Manin
• Logicomix: An Epic Search for Truth
• Dreams of Better Schools
• My research paper was rejected to be published. What can I do?
• Explained: P vs. NP: The most notorious problem in theoretical computer science remains open, but the attempts to solve it have led to profound insights
• The Ph.D. Problem: On the professionalization of faculty life, doctoral training, and the academy’s self-renewal
• Race ends in dead heat; Einstein wins
• How messy it all is: Why More Equal Societies Almost Always Do Better
• Soros: Open Society
• What’s wrong with copyright? e Copyright: Want more artistic creation? Protect it less
• Graph Theory to the rescue
• Paul Dirac: Engineer, mathematician, philosopher, physicist
• The Waterloo Institute for Complexity & Innovation
• Lectures on Functional Programming (using Haskell)

'Mike's motto'

Grothendieck, Sistemas Dinâmicos, Dualidade de Langlands e Higgs Bundles…

Por falta de coisa melhor pra fazer num sábado de Halloween, à noite, …, eu estou aqui, lendo o artigo

• Grothendieck’s definition of a group,

e pensando na conexão dele com Local Dynamical Systems e Dinâmica Topológica (juntamente com Topological entropy), principalmente no contexto de Higgs bundles and local systems ou The Self-Duality Equations on a Riemann Surface — isso pra não falar em A mad day’s work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry, ou, melhor ainda, na continuação analítica de TFTs.

Taí o que me tira o sono…

(Atualizado (2009-Nov-01 @ 11:30h): Pra “apimentar” ainda mais essa mistura toda, pensar em termos de Discrete gauge theory: from lattices to TQFT também corrói…, afinal de contas, o T. Tao, acima, descreve tudo de modo simplicial, combinatório — e o que é Lattice QFT senão uma versão discretizada, simplicial, de QFTs contínuas? E já existem técnicas robustas pra se discretizar via ‘lattices’ que não são apenas o ingênuo ‘lattice’ cúbico — muito dessa tecnologia foi desenvolvida pra simulações numéricas de GR; aliás, mais ainda, hoje em dia, já é possível até se construir ‘lattices’ supersimétricos. Resumindo: no final das contas, é possível até se pensar em simulações numéricas dessas construções! )

Mas, agora é hora de fazer uma boquinha…

P.S.: Claro, o relógio abaixo também me tira o sono…

Suunto Elementum Terra with the negative display and the stainless steel bracelet

O realejo do dia…

Pra quem não conhece, o Marcus du Sautoy, além de professor de matemática em Oxford, é o atual autor da coluna Sexy Maths (Matemática Sexy) no Times de Londres.

A palestra dele no TED foi muito bacana — por isso mesmo, eu a reproduzo abaixo.

Something happens which is not observable: [Pierre] Curie’s more phenomenological approach led him to emphasize the role of “non-symmetry”, rather than symmetry, so that he was the first to appreciate the role of symmetry breaking as a necessary condition for the existence of phenomena.

De saidêra, deixou os comedinhas abaixo,

• Colbert Report: LHC (2009-Oct-28); &
• Colbert Report: Brian Cox (2009-Oct-28).

A semana nos arXivs…

• Y-system and Quasi-Classical Strings. (arXiv:0910.3608v1 [hep-th]) — mais um passinho na direção de se demonstrar a dualidade AdS/CFT
• Matter from Space. (arXiv:0910.2574v1 [physics.hist-ph])
• Higher-dimensional numerical relativity: Formulation and code tests (PhysRevD)
• Grothendieck’s definition of a group (alguém disse Langlands Duality? )

---

• Destino: Animação Surrealista de Salvador Dali e Walt Disney
• O início de uma moderna revolução: Colunista associa período modernista ao surgimento de modelos que romperam com a física clássica — esse artigo vem em contrapartida a um que eu já citei anteriormente (semana passada), mas cito de novo, Abstract Science?
• Higgs, Dark Matter and Supersymmetry: what the LHC will tell us — o interessante mesmo é a citação do Weinberg, sobre o futuro da Teoria de Cordas —, mais comentários podem ser lidos no seguinte link: comentários do Weinberg sobre o LHC, o “Higgs” e Supercordas
• Brazil is the 21st-century power to watch — é um artigo bem escrito, no sentido de que o autor, sutilmente, aponta praquilo que o Brasil realmente tem de potencial; mas, esse não foi um artigo escrito pra ser balanceado e equilibrado em suas visões, então as descrições da violência, etc, são bem superficiais (não necessariamente incorretas, mas enviesadas…)
• My Life as a Quant: Reflections on Physics and Finance: pra quem está pensando em ingressar no Mercado Financeiro, essa é uma boa dica de livro, principalmente pra quem é mais quantitativo

E, pra quem ainda não sabe, o Michael Green (um dos autores dos volumes Superstring theory: Introduction e Superstring theory: Loop Amplitudes, Anomalies and Phenomenology — ainda um dos melhores livros sobre o assunto) foi o escolhido pra substituir o Hawking na Cátedra Lucasiana: Michael Green elected to Hawking’s Cambridge post — entre outros, o Witten e o Maldacena declinaram a oferta.