Related papers: A Finite Landscape?
These lectures give a detailed introduction to constructing and analyzing string vacua suitable for phenomenological model building, with particular emphasis on F-theory flux vacua. Topics include (1) general challenges and overview of some…
We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…
We show that the boundary states are idempotent B*B=B with respect to the star product of HIKKO type closed string field theory. Variations around the boundary state correctly reproduce the open string spectrum with the gauge symmetry. We…
Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently…
The space of four dimensional string and $M$ theory vacua with non-Abelian gauge symmetry, chiral fermions and unbroken supersymmetry beyond the electroweak scale appears to be a disconnected space whose different components represent…
The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of…
Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…
We define a class of trim metric spaces and show that every finite metric space is the leaf space of a metric forest with trim base.
Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an…
In this paper, we study the set of positive integers that characterize the universality of $m$-gonal form.
Motivated by the intermediate Lang conjectures on hyperbolicity and rational points, we prove new finiteness results for non-constant morphisms from a fixed variety to a fixed variety defined over a number field by applying Faltings's…
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.
String geometry theory is a candidate of the non-perturvative formulation of string theory. In this theory, strings constitute not only particles but also the space-time. In this review, we identify perturbative vacua, and derive the…
We give a short, explicit proof of Hindman's Theorem that in every finite coloring of the integers, there is an infinite set all of whose finite sums have the same color. We give several exampls of colorings of the integers which do not…
The infinite numbers of the set M of finite and infinite natural numbers are defined starting from the sequence 0\Phi, where 0 is the first natural number, \Phi is a succession of symbols S and xS is the successor of the natural number x.…
Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and…
In this Thesis we investigate properties of stability, rigidity and unitarity of the string landscape in ten and lower dimensions. The dissertation explores these aspects by intertwining a detailed analysis of string vacua, with and without…
This note contains the complete mathematical proof of the main Theorem of the paper "How continuous measurements in finite dimension are actually discrete" (quant-ph/0702068), thus showing that in finite dimension any measurement with…
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…