Parameters for Twisted Representations

The study of Hermitian forms on a real reductive group $G$ gives rise, in the unequal rank case, to a new class of Kazhdan-Lusztig-Vogan polynomials. These are associated with an outer automorphism $\delta$ of $G$, and are related to representations of the extended group $$. These polynomials were defined geometrically by Lusztig and Vogan in "Quasisplit Hecke Algebras and Symmetric Spaces", Duke Math. J. 163 (2014), 983--1034. In order to use their results to compute the polynomials, one needs to describe explicitly the extension of representations to the extended group. This paper analyzes these extensions, and thereby gives a complete algorithm for computing the polynomials. This algorithm is being implemented in the Atlas of Lie Groups and Representations software

The Optimum Distance at which to Determine the Size of a Giant Air Shower

To determine the size of an extensive air shower it is not necessary to have knowledge of the function that describes the fall-off of signal size from the shower core (the lateral distribution function). In this paper an analysis with a simple Monte Carlo model is used to show that an optimum ground parameter can be identified for each individual shower. At this optimal core distance, $r_\mathrm{opt}$, the fluctuations in the expected signal, $S(r_\mathrm{opt})$, due to a lack of knowledge of the lateral distribution function are minimised. Furthermore it is shown that the optimum ground parameter is determined primarily by the array geometry, with little dependence on the energy or zenith angle of the shower or choice of lateral distribution function. For an array such as the Pierre Auger Southern Observatory, with detectors separated by 1500 m in a triangular configuration, the optimum distance at which to measure this characteristic signal is close to 1000 m

An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Algebraic methods in the theory of generalized Harish-Chandra modules

This paper is a review of results on generalized Harish-Chandra modules in the framework of cohomological induction. The main results, obtained during the last 10 years, concern the structure of the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules, where $\mathfrak{g}$ is a semisimple Lie algebra and $\mathfrak{k}$ is an arbitrary algebraic reductive in $\mathfrak{g}$ subalgebra. These results lead to a classification of simple $(\mathfrak{g},\mathfrak{k})-$modules of finite type with generic minimal $\mathfrak{k}-$types, which we state. We establish a new result about the Fernando-Kac subalgebra of a fundamental series module. In addition, we pay special attention to the case when $\mathfrak{k}$ is an eligible $r-$subalgebra (see the definition in section 4) in which we prove stronger versions of our main results. If $\mathfrak{k}$ is eligible, the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules yields a natural algebraic generalization of Harish-Chandra's discrete series modules.Comment: Keywords : generalized Harish-Chandra module, (g,k)-module of finite type, minimal k-type, Fernando-Kac subalgebra, eligible subalgebra; Pages no. : 13; Bibliography : 21 item

Photovoltaic system test facility electromagnetic interference measurements

Field strength measurements on a single row of panels indicates that the operational mode of the array as configured presents no radiated EMI problems. Only one relatively significant frequency band near 200 kHz showed any degree of intensity (9 muV/m including a background level of 5 muV/m). The level was measured very near the array (at 20 ft distance) while Federal Communications Commission (FCC) regulations limit spurious emissions to 15 muV/m at 1,000 ft. No field strength readings could be obtained even at 35 ft distant

Lessons from LIMK1 enzymology and their impact on inhibitor design

LIM domain kinase 1 (LIMK1) is a key regulator of actin dynamics. It is thereby a potential therapeutic target for the prevention of fragile X syndrome and amyotrophic lateral sclerosis. Herein, we use X-ray crystallography and activity assays to describe how LIMK1 accomplishes substrate specificity, to suggest a unique ‘rock-and-poke’ mechanism of catalysis and to explore the regulation of the kinase by activation loop phosphorylation. Based on these findings, a differential scanning fluorimetry assay and a RapidFire mass spectrometry activity assay were established, leading to the discovery and confirmation of a set of small-molecule LIMK1 inhibitors. Interestingly, several of the inhibitors were inactive towards the closely related isoform LIMK2. Finally, crystal structures of the LIMK1 kinase domain in complex with inhibitors (PF-477736 and staurosporine, respectively) are presented, providing insights into LIMK1 plasticity upon inhibitor binding

Unitary Dual of GL_n at archimedean places and global Jacquet-Langlands correspondence

In [7], results about the global Jacquet-Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field are established, under the condition that the local inner forms are split at archimedean places. In this paper, we extend the main local results of [7] to archimedean places so that this assumption can be removed. Along the way, we collect several results about the unitary dual of general linear groups over \bbR, \bbC or \bbH of independent interest

Decomposition of time-covariant operations on quantum systems with continuous and/or discrete energy spectrum

Every completely positive map G that commutes which the Hamiltonian time evolution is an integral or sum over (densely defined) CP-maps G_\sigma where \sigma is the energy that is transferred to or taken from the environment. If the spectrum is non-degenerated each G_\sigma is a dephasing channel followed by an energy shift. The dephasing is given by the Hadamard product of the density operator with a (formally defined) positive operator. The Kraus operator of the energy shift is a partial isometry which defines a translation on R with respect to a non-translation-invariant measure. As an example, I calculate this decomposition explicitly for the rotation invariant gaussian channel on a single mode. I address the question under what conditions a covariant channel destroys superpositions between mutually orthogonal states on the same orbit. For channels which allow mutually orthogonal output states on the same orbit, a lower bound on the quantum capacity is derived using the Fourier transform of the CP-map-valued measure (G_\sigma).Comment: latex, 33 pages, domains of unbounded operators are now explicitly specified. Presentation more detailed. Implementing the shift after the dephasing is sometimes more convenien

Theory of nuclear excitation by electron capture for heavy ions

We investigate the resonant process of nuclear excitation by electron capture, in which a continuum electron is captured into a bound state of an ion with the simultaneous excitation of the nucleus. In order to derive the cross section a Feshbach projection operator formalism is introduced. Nuclear states and transitions are described by a nuclear collective model and making use of experimental data. Transition rates and total cross sections for NEEC followed by the radiative decay of the excited nucleus are calculated for various heavy ion collision systems

A General Framework for Recursive Decompositions of Unitary Quantum Evolutions

Decompositions of the unitary group U(n) are useful tools in quantum information theory as they allow one to decompose unitary evolutions into local evolutions and evolutions causing entanglement. Several recursive decompositions have been proposed in the literature to express unitary operators as products of simple operators with properties relevant in entanglement dynamics. In this paper, using the concept of grading of a Lie algebra, we cast these decompositions in a unifying scheme and show how new recursive decompositions can be obtained. In particular, we propose a new recursive decomposition of the unitary operator on $N$ qubits, and we give a numerical example.Comment: 17 pages. To appear in J. Phys. A: Math. Theor. This article replaces our earlier preprint "A Recursive Decomposition of Unitary Operators on N Qubits." The current version provides a general method to generate recursive decompositions of unitary evolutions. Several decompositions obtained before are shown to be as a special case of this general procedur