Towards a worldsheet derivation of the Maldacena conjecture

A U(2,2 vertical bar 4)-invariant A-model constructed from fermionic superfields has recently been proposed as a sigma model for the superstring on AdS(5) X S(5). After explaining the relation of this A-model with the pure spinor formalism, the A-model action is expressed as a gauged linear sigma model. In the zero radius limit, the Coulomb branch of this sigma model is interpreted as D-brane holes which are related to gauge-invariant N = 4 d=4 super-Yang-Mills operators. As in the worldsheet derivation of open-closed duality for Chem-Simons theory, this construction may lead to a worldsheet derivation of the Maldacena conjecture. Intriguing connections to the twistorial formulation of N = 4 Yang-Mills are also noted. (Republished with permission of JHEP from JHEP 0803:031, 2008.)

Challenging the weak cosmic censorship conjecture with charged quantum particles

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Verifying Harder's Conjecture for Classical and Siegel Modular Forms

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form. Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

Numerical test of the Cardy-Jacobsen conjecture in the site-diluted Potts model in three dimensions

We present a microcanonical Monte Carlo simulation of the site-diluted Potts model in three dimensions with eight internal states, partly carried out on the citizen supercomputer Ibercivis. Upon dilution, the pure model’s first-order transition becomes of the second order at a tricritical point. We compute accurately the critical exponents at the tricritical point. As expected from the Cardy-Jacobsen conjecture, they are compatible with their random field Ising model counterpart. The conclusion is further reinforced by comparison with older data for the Potts model with four states.

On a conjecture of Lapidus and van Frankenhuysen

In this paper it is shown that a conjecture of Lapidus and van Frankenhuysen of 2003 on the existence of a vertical line such that the density of the complex dimensions of nonlattice fractal strings with M scaling ratios off this line vanishes in the limit as M→∞, fails on the class of nonlattice self-similar fractal strings.

Three new Mersenne primes, and a conjecture /

Bibliography: leaf 6.

A feasibility conjecture related to the Hirsch conjecture.

Photocopy. [Washington?] Clearinghouse for Federal Scientific and Technical Information of the U. S. Dept. of Commerce [1966?]

Breadth-first search and the Andrews-Curtis conjecture

Andrews and Curtis conjectured in 1965 that every balanced presentation of the trivial group can be transformed into a standard presentation by a finite sequence of elementary transformations. Recent computational work by Miasnikov and Myasnikov on this problem has been based on genetic algorithms. We show that a computational attack based on a breadth-first search of the tree of equivalent presentations is also viable, and seems to outperform that based on genetic algorithms. It allows us to extract shorter proofs (in some cases, provably shortest) and to consider the length thirteen case for two generators. We prove that, up to equivalence, there is a unique minimum potential counterexample.

The Fa,b,c conjecture, I

In 1977 a five-part conjecture was made about a family of groups related to trivalent graphs and one part of the conjecture was proved. The conjecture completely determines all finite members of the family. Here we prove another part of the conjecture and foreshadow a paper which completes the proof of the other three parts.