Isospectral Flow and Liouville-Arnold Integration in Loop Algebras

A number of examples of Hamiltonian systems that are integrable by classical means are cast within the framework of isospectral flows in loop algebras. These include: the Neumann oscillator, the cubically nonlinear Schr\"odinger systems and the sine-Gordon equation. Each system has an associated invariant spectral curve and may be integrated via the Liouville-Arnold technique. The linearizing map is the Abel map to the associated Jacobi variety, which is deduced through separation of variables in hyperellipsoidal coordinates. More generally, a family of moment maps is derived, identifying certain finite dimensional symplectic manifolds with rational coadjoint orbits of loop algebras. Integrable Hamiltonians are obtained by restriction of elements of the ring of spectral invariants to the image of these moment maps. The isospectral property follows from the Adler-Kostant-Symes theorem, and gives rise to invariant spectral curves. {\it Spectral Darboux coordinates} are introduced on rational coadjoint orbits, generalizing the hyperellipsoidal coordinates to higher rank cases. Applying the Liouville-Arnold integration technique, the Liouville generating function is expressed in completely separated form as an abelian integral, implying the Abel map linearization in the general case.Comment: 42 pages, 2 Figures, 1 Table. Lectures presented at the VIIIth Scheveningen Conference, held at Wassenaar, the Netherlands, Aug. 16-21, 199

Darboux Coordinates and Liouville-Arnold Integration in Loop Algebras

Darboux coordinates are constructed on rational coadjoint orbits of the positive frequency part \wt{\frak{g}}^+ of loop algebras. These are given by the values of the spectral parameters at the divisors corresponding to eigenvector line bundles over the associated spectral curves, defined within a given matrix representation. A Liouville generating function is obtained in completely separated form and shown, through the Liouville-Arnold integration method, to lead to the Abel map linearization of all Hamiltonian flows induced by the spectral invariants. Serre duality is used to define a natural symplectic structure on the space of line bundles of suitable degree over a permissible class of spectral curves, and this is shown to be equivalent to the Kostant-Kirillov symplectic structure on rational coadjoint orbits. The general construction is given for $\frak{g}=\frak{gl}(r)$ or $\frak{sl}(r)$, with reductions to orbits of subalgebras determined as invariant fixed point sets under involutive automorphisms. The case $\frak{g=sl}(2)$ is shown to reproduce the classical integration methods for finite dimensional systems defined on quadrics, as well as the quasi-periodic solutions of the cubically nonlinear Schr\"odinger equation. For $\frak{g=sl}(3)$, the method is applied to the computation of quasi-periodic solutions of the two component coupled nonlinear Schr\"odinger equation.Comment: 61 pg

The Parameterized Complexity of Domination-type Problems and Application to Linear Codes

We study the parameterized complexity of domination-type problems. (sigma,rho)-domination is a general and unifying framework introduced by Telle: a set D of vertices of a graph G is (sigma,rho)-dominating if for any v in D, |N(v)\cap D| in sigma and for any $v\notin D, |N(v)\cap D| in rho. We mainly show that for any sigma and rho the problem of (sigma,rho)-domination is W[2] when parameterized by the size of the dominating set. This general statement is optimal in the sense that several particular instances of (sigma,rho)-domination are W[2]-complete (e.g. Dominating Set). We also prove that (sigma,rho)-domination is W[2] for the dual parameterization, i.e. when parameterized by the size of the dominated set. We extend this result to a class of domination-type problems which do not fall into the (sigma,rho)-domination framework, including Connected Dominating Set. We also consider problems of coding theory which are related to domination-type problems with parity constraints. In particular, we prove that the problem of the minimal distance of a linear code over Fq is W[2] for both standard and dual parameterizations, and W[1]-hard for the dual parameterization. To prove W[2]-membership of the domination-type problems we extend the Turing-way to parameterized complexity by introducing a new kind of non deterministic Turing machine with the ability to perform `blind' transitions, i.e. transitions which do not depend on the content of the tapes. We prove that the corresponding problem Short Blind Multi-Tape Non-Deterministic Turing Machine is W[2]-complete. We believe that this new machine can be used to prove W[2]-membership of other problems, not necessarily related to dominationComment: 19 pages, 2 figure

Classical and Quantum Integrable Systems in \wt{\gr{gl}}(2)^{+*} and Separation of Variables

Classical integrable Hamiltonian systems generated by elements of the Poisson commuting ring of spectral invariants on rational coadjoint orbits of the loop algebra \wt{\gr{gl}}^{+*}(2,{\bf R}) are integrated by separation of variables in the Hamilton-Jacobi equation in hyperellipsoidal coordinates. The canonically quantized systems are then shown to also be completely integrable and separable within the same coordinates. Pairs of second class constraints defining reduced phase spaces are implemented in the quantized systems by choosing one constraint as an invariant, and interpreting the other as determining a quotient (i.e., by treating one as a first class constraint and the other as a gauge condition). Completely integrable, separable systems on spheres and ellipsoids result, but those on ellipsoids require a further modification of order \OO(\hbar^2) in the commuting invariants in order to assure self-adjointness and to recover the Laplacian for the case of free motion. For each case - in the ambient space ${\bf R}^{n}$, the sphere and the ellipsoid - the Schr\"odinger equations are completely separated in hyperellipsoidal coordinates, giving equations of generalized Lam\'e type.Comment: 28 page

Beyond locutionary denotations: exploring trust between practitioners and policy

This study reports the findings of a research on the trust relationship between practitioners in the Skills for Life (SfL) area and the policy that informs their practice. The exploration of this relationship was premised on an extended notion of trust relationship which draws from the Speech Act theory of Austin (1962; Searle 1969; Kissine 2008), leading to the claim that the existence of different layers of imports in textual analysis makes it possible for a trust relationship to exist between the human/physical and the non human/non physical. The study found that the majority of practitioners in the SfL field trust policy to deliver its inherent policy only to a limited extent. Amongst others, the study identified the impact of the perlocutionary import of policy text on practitioners as a viable reason for this limited level of trust. Such perlocutionary imports, it also found, have adverse impact on practitioners who are considered to have drawn from previous experience to mediate the import of contemporary policies

Multidimensional continued fractions, dynamical renormalization and KAM theory

The disadvantage of `traditional' multidimensional continued fraction algorithms is that it is not known whether they provide simultaneous rational approximations for generic vectors. Following ideas of Dani, Lagarias and Kleinbock-Margulis we describe a simple algorithm based on the dynamics of flows on the homogeneous space SL(2,Z)\SL(2,R) (the space of lattices of covolume one) that indeed yields best possible approximations to any irrational vector. The algorithm is ideally suited for a number of dynamical applications that involve small divisor problems. We explicitely construct renormalization schemes for (a) the linearization of vector fields on tori of arbitrary dimension and (b) the construction of invariant tori for Hamiltonian systems.Comment: 51 page

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters