
Particle physics has an ambitious and broad experimental programme for the
coming decades. This programme requires large investments in detector hardware,
either to build new facilities and experiments, or to upgrade existing ones.
Similarly, it requires commensurate investment in the R&D of software to
acquire, manage, process, and analyse the shear amounts of data to be recorded.
In planning for the HLLHC in particular, it is critical that all of the
collaborating stakeholders agree on the software goals and priorities, and that
the efforts complement each other. In this spirit, this white paper describes
the R&D activities required to prepare for this software upgrade.

We extend the formulation of gauged supergravity in five dimensions, as
obtained by compactification of $M$~theory on a deformed CalabiYau manifold,
to include nonuniversal matter hypermultiplets. Even in the presence of this
gauging, only the graviton supermultiplets and matter hypermultiplets can
couple to supersymmetry breaking sources on the walls, though these mix with
vector supermultiplets in the bulk. Whatever the source of supersymmetry
breaking on the hidden wall, that on the observable wall is in general a
combination of dilaton and modulidominated scenarios.

We discuss the reduction of the elevendimensional Mtheory effective
Lagrangian, considering first compactification from eleven to five dimensions
on a CalabiYau manifold, followed by reduction to four dimensions on an
S_1/Z_2 line segment at a larger distance scale. The CalabiYau geometry leads
to a structure of the fivedimensional Lagrangian that has more freedom than
the elevendimensional theory. In five dimensions one obtains a nonlinear
sigmamodel coupled to gravity, which implies nontrivial dynamics for the
scalar moduli fields in the bulk of the Z_2 orbifold. We discuss solutions to
the fivedimensional equations of motion in the presence of sources localized
on the boundaries of the Z_2 orbifold that may trigger supersymmetry breaking,
e.g., gaugino condensates. The transmission of supersymmetry breaking from the
hidden wall to the visible wall is demonstrated in specific models. The role of
the messenger of supersymmetry breaking may be played by the gravity
supermultiplet and/or by scalar hypermultiplets. The latter include the
universal hypermultiplet associated with the CalabiYau volume, and also the
hypermultiplets associated with deformations of its complex structure, which
mix in general.

We show how identification of absolutely flat directions allows the
construction of a new class of compactified string theories with reduced gauge
symmetry that may or may not be continuously connected to the original theory.
We use this technique to construct a class of 3 generation models with just the
Standard Model gauge group after compactification. We discuss the lowenergy
symmetries necessary for a phenomenologically viable lowenergy model and
construct an example in which these symmetries are identified with string
symmetries which remain unbroken down to the supersymmetry breaking scale.
Remarkably the same symmetry responsible for stabilising the nucleon is also
responsible for ensuring one and only one pair of Higgs doublets is kept light.
We show how the string symmetries also lead to textures in the quark and lepton
mass matrices which can explain the hierarchy of fermion masses and mixing
angles.

We consider the phenomenological implications of a class of compactified
string theories which naturally reproduces the flavour multiplet structure of
the Standard Model. The implications for gauge unification depends on which of
three possibilities is realised for obtaining light Higgs multiplets. The more
conventional one leads to predictions for the gauge couplings close to that of
the MSSM but with an increased value of the unification scale. The other two
cases offer a mechanism for bringing the prediction for the strong coupling
into agreement with the measured value while still increasing the unification
scale. The various possibilities lead to different expectations for the
structure of the quark masses.