Testing Spontaneous Parity Violation at the LHC

We construct a supersymmetric SU(2)_L X SU(2)_R X U(1)_B-L model in which a discrete symmetry (C-parity) implements strict left-right symmetry in the scalar (Higgs) sector. Although two electroweak bidoublets are introduced to accommodate the observed fermion masses and mixings, a natural missing partner mechanism insures that a single pair of MSSM Higgs doublets survives below the left-right symmetry breaking scale. If this scale happens to lie in the TeV range, several new particles potentially much lighter than the SU(2)_R charged gauge bosons W_R^+- will be accessible at the LHC.Comment: 12 pages, REVTex

The internet milieu: individualization within a globalised community

Communication technologies have become deeply embedded in our lives, mediating the ways in which information is presented. Due to the global nature of this channel of communication, the world has shrunk and members of the internet may share similar cultural norms of thinking and behaving. Yet, paradoxically, the Internet is personal in that each individual has an interactive opportunity in choosing the options that can expand the breadth and depth of the information they are reading, who they interact with, and the means to achieve that interaction. These options can be expressed through a variety of media techniques. This paper is based on a study of selected websites hosted in English. It looks at language use in the Internet and illustrates the paradoxes between global and individual mediations of meanin

ABJM Amplitudes in U-gauge and a Soft Theorem

We report progress in computing and analyzing all tree amplitudes in ABJM theory. Inspired by the isomorphism between the orthogonal Grassmannian and the pure spinor geometries, we adopt a new gauge, called u-gauge, for evaluating the orthogonal Grassmannian integral for ABJM amplitudes. We carry out the integral explicitly for the 8-point amplitude and obtain the complete supersymmetric amplitude. The physical and spurious poles arise from the integral as expected from on-shell diagrams. We also derive a double scalar soft theorem of ABJM amplitudes and verify it for known amplitudes.Comment: 35 pages, 6 figures; v2. minor correction

Ranking Functions for Size-Change Termination II

Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs". We present algorithms that, for certain classes of size-change graphs, deduce a global ranking function: an expression that ranks program states, and decreases on every transition. A ranking function serves as a witness for a termination proof, and is therefore interesting for program certification. The particular form of the ranking expressions that represent SCT termination proofs sheds light on the scope of the proof method. The complexity of the expressions is also interesting, both practicaly and theoretically. While deducing ranking functions from size-change graphs has already been shown possible, the constructions in this paper are simpler and more transparent than previously known. They improve the upper bound on the size of the ranking expression from triply exponential down to singly exponential (for certain classes of instances). We claim that this result is, in some sense, optimal. To this end, we introduce a framework for lower bounds on the complexity of ranking expressions and prove exponential lower bounds.Comment: 29 pages