title: Calibration of distorted wave Born approximation for electron impact excitation of Ne and Ar at incident energies below 100 eV

abstract: We calibrate the distorted wave Born approximation (DWBA) for electron impact excitation processes empirically. Differential cross sections (DCS) for the excitation of the $2p^53s$, $2p^53p$,$2p^54s$, and $2p^54p$ configurations of Ne and the $3p^54s$ and $3p^54p$ configurations of Ar by electron impact are calculated using DWBA for incident energies between 20 and 100 eV. The calculated results are compared with the absolute experimental measurements and other theoretical results. We found that the structure of the DCS can be well reproduced by the DWBA model while the magnitude is overestimated for most cases considered here. The differences in magnitude between DWBA and experiment are used to test the calibration of DWBA such that the DWBA can be used to describe laser-induced electron impact excitation processes. These processes are involved in the non-sequential double ionization of atoms in strong laser fields.


title: Generating and stabilizing the GHZ state in circuit QED: Joint measurement, Zeno effect and feedback

abstract: In solid-state circuit QED system, we extend the previous study of generating and stabilizing two-qubit Bell state [Phys. Rev. A 82, 032335 (2010)], to three-qubit GHZ state. In dispersive regime, we employ the homodyne joint readout for multiple qubits to infer the state for further processing, and in particular use it to stabilize the state directly by means of an alternate-flip-interrupted Zeno (AFIZ) scheme. Moreover, the state-of-the-art feedback action based on the filtered current enables not only a deterministic generation of the pre-GHZ state in the initial stage, but also a fast recovery from the environment-caused degradation in the later stabilization process. We show that the proposed scheme can maintain the state with high fidelity if the efficient quantum measurement and rapid single-qubit rotations are available.


title: Absolutely Continuous Spectrum for Random Schroedinger Operators on the Bethe Strip

abstract: The Bethe Strip of width $m$ is the cartesian product $\B\times\{1,...,m\}$, where $\B$ is the Bethe lattice (Cayley tree). We prove that Anderson models on the Bethe strip have "extended states" for small disorder. More precisely, we consider Anderson-like Hamiltonians $\;H_\lambda=\frac12 \Delta \otimes 1 + 1 \otimes A + \lambda \Vv$ on a Bethe strip with connectivity $K \geq 2$, where $A$ is an $m\times m$ symmetric matrix, $\Vv$ is a random matrix potential, and $\lambda$ is the disorder parameter. Given any closed interval $I\subset (-\sqrt{K}+a_{\mathrm{max}},\sqrt{K}+a_{\mathrm{min}})$, where $a_{\mathrm{min}}$ and $a_{\mathrm{max}}$ are the smallest and largest eigenvalues of the matrix $A$, we prove that for $\lambda$ small the random Schr\"odinger operator $\;H_\lambda$ has purely absolutely continuous spectrum in $I$ with probability one and its integrated density of states is continuously differentiable on the interval $I$.


title: Weak compactness and essential norms of integration operators

abstract: Let $g$ be an analytic function on the unit disc and consider the integration operator of the form $T_g f(z) = \int_0^z fg'\,d\zeta$. We show that on the spaces $H^1$ and $BMOA$ the operator $T_g$ is weakly compact if and only if it is compact. In the case of $BMOA$ this answers a question of Siskakis and Zhao. More generally, we estimate the essential and weak essential norms of $T_g$ on $H^p$ and $BMOA$.


title: Michaelis-Menten Relations for Complex Enzymatic Networks

abstract: All biological processes are controlled by complex systems of enzymatic chemical reactions. Although the majority of enzymatic networks have very elaborate structures, there are many experimental observations indicating that some turnover rates still follow a simple Michaelis-Menten relation with a hyperbolic dependence on a substrate concentration. The original Michaelis-Menten mechanism has been derived as a steady-state approximation for a single-pathway enzymatic chain. The validity of this mechanism for many complex enzymatic systems is surprising. To determine general conditions when this relation might be observed in experiments, enzymatic networks consisting of coupled parallel pathways are investigated theoretically. It is found that the Michaelis-Menten equation is satisfied for specific relations between chemical rates, and it also corresponds to the situation with no fluxes between parallel pathways. Our results are illustrated for simple models. The importance of the Michaelis-Menten relationship and derived criteria for single-molecule experimental studies of enzymatic processes are discussed.


title: A Partitioning Deletion/Substitution/Addition Algorithm for Creating Survival Risk Groups

abstract: Accurately assessing a patient's risk of a given event is essential in making informed treatment decisions. One approach is to stratify patients into two or more distinct risk groups with respect to a specific outcome using both clinical and demographic variables. Outcomes may be categorical or continuous in nature; important examples in cancer studies might include level of toxicity or time to recurrence. Recursive partitioning methods are ideal for building such risk groups. Two such methods are Classification and Regression Trees (CART) and a more recent competitor known as the partitioning Deletion/Substitution/Addition (partDSA) algorithm, both which also utilize loss functions (e.g. squared error for a continuous outcome) as the basis for building, selecting and assessing predictors but differ in the manner by which regression trees are constructed. Recently, we have shown that partDSA often outperforms CART in so-called "full data" (e.g., uncensored) settings. However, when confronted with censored outcome data, the loss functions used by both procedures must be modified. There have been several attempts to adapt CART for right-censored data. This article describes two such extensions for \emph{partDSA} that make use of observed data (i.e. possibly censored) loss functions. These observed data loss functions, constructed using inverse probability of censoring weights, are consistent estimates of their uncensored counterparts provided that the corresponding censoring model is correctly specified. The relative performance of these new methods is evaluated via simulation studies and illustrated through an analysis of clinical trial data on brain cancer patients.


title: Mahonian Pairs

abstract: We introduce the notion of a Mahonian pair. Consider the set, P^*, of all words having the positive integers as alphabet. Given finite subsets S,T of P^*, we say that (S,T) is a Mahonian pair if the distribution of the major index, maj, over S is the same as the distribution of the inversion number, inv, over T. So the well-known fact that maj and inv are equidistributed over the symmetric group, S_n, can be expressed by saying that (S_n,S_n) is a Mahonian pair. We investigate various Mahonian pairs (S,T) with S different from T. Our principal tool is Foata's fundamental bijection f: P^* -> P^* since it has the property that maj w = inv f(w) for any word w. We consider various families of words associated with Catalan and Fibonacci numbers. We show that, when restricted to words in {1,2}^*, f transforms familiar statistics on words into natural statistics on integer partitions such as the size of the Durfee square. The Rogers-Ramanujan identities, the Catalan triangle, and various q-analogues also make an appearance. We generalize the definition of Mahonian pairs to infinite sets and use this as a tool to connect a partition bijection of Corteel-Savage-Venkatraman with the Greene-Kleitman decomposition of a Boolean algebra into symmetric chains. We close with comments about future work and open problems.


title: Peeling of Dirac and Maxwell fields on a Schwarzschild background

abstract: We study the peeling of Dirac and Maxwell fields on a Schwarzschild background following the approach developed by the authors in Mason-Nicolas 2009 for the wave equation. The method combines a conformal compactification with vector field techniques in order to work out the optimal space of initial data for a given transverse regularity of the rescaled field across null infinity. The results show that analogous decay and regularity assumptions in Minkowski and in Schwarzschild produce the same regularity across null infinity. The results are valid also for the classes of asymptotically simple spacetimes constructed by Corvino-Schoen / Chrusciel-Delay.


title: M-brane dynamical symmetry and quantization

abstract: The recently discovered dynamical symmetry for relativistic extended objects is derived from first principles, and analogues commutators are obtained for the corresponding formal quantum expressions


title: Peak Reduction and Clipping Mitigation by Compressive Sensing

abstract: This work establishes the design, analysis, and fine-tuning of a Peak-to-Average-Power-Ratio (PAPR) reducing system, based on compressed sensing at the receiver of a peak-reducing sparse clipper applied to an OFDM signal at the transmitter. By exploiting the sparsity of the OFDM signal in the time domain relative to a pre-defined clipping threshold, the method depends on partially observing the frequency content of extremely simple sparse clippers to recover the locations, magnitudes, and phases of the clipped coefficients of the peak-reduced signal. We claim that in the absence of optimization algorithms at the transmitter that confine the frequency support of clippers to a predefined set of reserved-tones, no other tone-reservation method can reliably recover the original OFDM signal with such low complexity. Afterwards we focus on designing different clipping signals that can embed a priori information regarding the support and phase of the peak-reducing signal to the receiver, followed by modified compressive sensing techniques for enhanced recovery. This includes data-based weighted {\ell} 1 minimization for enhanced support recovery and phase-augmention for homogeneous clippers followed by Bayesian techniques. We show that using such techniques for a typical OFDM signal of 256 subcarriers and 20% reserved tones, the PAPR can be reduced by approximately 4.5 dB with a significant increase in capacity compared to a system which uses all its tones for data transmission and clips to such levels. The design is hence appealing from both capacity and PAPR reduction aspects.


title: The jet/counterjet IR symmetry of HH34 and the size of the jet formation region

abstract: We present a new Spitzer IRAC images of the HH 34 outflow. These are the first images that detect both the knots along the southern jet and the northern counterjet (the counterjet knots were only detected previously in a long slit spectrum). This result removes the problem of the apparent coexistence of a large scale symmetry (at distances of up to approx.1 pc) and a complete lack of symmetry close to the source (at distances of approx. 1.e+17 cm) for this outflow. We present a quantitative evaluation of the newly found symmetry between the HH 34 jet and counterjet, and show that the observed degree of symmetry implies that the jet production region has a characteristic size <2.8 AU. This is the strongest constraint yet derived for the size of the region in which HH jets are produced.


title: Characterization of the Melting Transition in Two Dimensions at Vanishing External Pressure Using Molecular Dynamics Simulations

abstract: A molecular dynamics study of a two dimensional system of particles interacting through a Lennard-Jones pairwise potential is performed at fixed temperature and vanishing external pressure. As the temperature is increased, a solid-to-liquid transition occurs. When the melting temperature $T_c$ is approached from below, there is a proliferation of dislocation pairs and the elastic constant approaches the value predicted by the KTHNY theory. In addition, as $T_c$ is approached from above, the relaxation time increases, consistent with an approach to criticality. However, simulations fail to produce a stable hexatic phase using systems with up to 90,000 particles. A significant jump in enthalpy at $T_c$ is observed, consistent with either a first order or a continuous transition. The role of external pressure is discussed.


title: Computation of Finite Time Lyapunov Exponents using the Perron-Frobenius operator

abstract: The problem of phase space transport which is of interest both theoretically and from the point of view of applications has been investigated extensively using geometric and probabilistic methods. Two of the important tools for this that emerged in the last decade are the Finite time Lyapunov exponents (FTLE) and the Perron-Frobenius operator. The relationship between these approaches has not been clearly understood so far. In this paper a methodology is presented to compute the FTLE from the Perron-Frobenius operator, thus providing a step towards combining both the methods into a common framework.


title: Galois theory of quadratic rational functions

abstract: For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a non-trivial Mobius transfomation. In a sense this is a dynamical systems analogue to the l-adic Galois representation attached to an elliptic curve, with particular attention to the CM case. Using a result about the discriminants of numerators of iterates of phi, we give a criterion for the image of the action to be as large as possible. This criterion is in terms of the arithmetic of the forward orbits of the two critical points of phi. In the case where phi commutes with a non-trivial Mobius transfomation, there is in effect only one critical orbit, and we give a modified version of our maximality criterion. We prove a Serre-type finite-index result in many cases of this latter setting.


title: Outflow in Overlooked Luminous Quasar: Subaru Observations of AKARI J1757+5907

abstract: We present Subaru observations of the newly discovered luminous quasar AKARI J1757+5907, which shows an absorption outflow in its spectrum. The absorption consists of 9 distinct troughs, and our analysis focuses on the troughs at ~ -1000$ km s^{-1} for which we can measure accurate column densities of He I*, Fe II and Mg II. We use photoionization models to constrain the ionization parameter, total hydrogen column density, and the number density of the outflowing gas. These constraints yield lower limits for the distance, mass flow rate and kinetic luminosity for the outflow of 3.7 kpc, 70 M_{sun} yr^{-1}, and 2.0 x 10^{43} ergs s^{-1}, respectively. Such mass flow rate value can contribute significantly to the metal enrichment of the intra-cluster medium. We find that this moderate velocity outflow is similar to those recently discovered in massive post-starburst galaxies. Finally, we describe the scientific potential of future observations targeting this object.


title: Lossless Compression and Complexity of Chaotic Sequences

abstract: We investigate the complexity of short symbolic sequences of chaotic dynamical systems by using lossless compression algorithms. In particular, we study Non-Sequential Recursive Pair Substitution (NSRPS), a lossless compression algorithm first proposed by W. Ebeling et al. [Math. Biosc. 52, 1980] and Jim\'{e}nez-Monta\~{n}o et al. [arXiv:cond-mat/0204134, 2002]) which was subsequently shown to be optimal. NSPRS has also been used to estimate Entropy of written English (P. Grassberger [arXiv:physics/0207023, 2002]). We propose a new measure of complexity - defined as the number of iterations of NSRPS required to transform the input sequence into a constant sequence. We test this measure on symbolic sequences of the Logistic map for various values of the bifurcation parameter. The proposed measure of complexity is easy to compute and is observed to be highly correlated with the Lyapunov exponent of the original non-linear time series, even for very short symbolic sequences (as short as 50 samples). Finally, we construct symbolic sequences from the Skew-Tent map which are incompressible by popular compression algorithms like WinZip, WinRAR and 7-Zip, but compressible by NSRPS.


title: Possible explanations of the Maunder minimum from a flux transport dynamo model

abstract: We propose that at the beginning of the Maunder minimum the poloidal field or amplitude of meridional circulation or both fell abruptly to low values. With this proposition, a flux transport dynamo model is able to reproduce various important aspects of the historical records of the Maunder minimum remarkably well.


title: Fundamental Tradeoffs on Green Wireless Networks

abstract: Traditional design of mobile wireless networks mainly focuses on ubiquitous access and large capacity. However, as energy saving and environmental protection become a global demand and inevitable trend, wireless researchers and engineers need to shift their focus to energy-efficiency oriented design, that is, green radio. In this paper, we propose a framework for green radio research and integrate the fundamental issues that are currently scattered. The skeleton of the framework consists of four fundamental tradeoffs: deployment efficiency - energy efficiency tradeoff, spectrum efficiency - energy efficiency tradeoff, bandwidth - power tradeoff, and delay - power tradeoff. With the help of the four fundamental tradeoffs, we demonstrate that key network performance/cost indicators are all stringed together.


title: Causal dissipative hydrodynamics for heavy ion collisions

abstract: We briefly discuss the recent developments in causal dissipative hydrodynamic for relativistic heavy ion collisions. Phenomenological estimate of QGP viscosity over entropy ratio from several experimental data, e.g. STAR's $\phi$ meson data, centrality dependence of elliptic flow, universal scaling elliptic flow etc. are discussed. QGP viscosity, extracted from hydrodynamical model analysis can have very large systematic uncertainty due to uncertain initial conditions.


title: New Variables of Separation for the Steklov-Lyapunov System

abstract: A rigid body in an ideal fluid is an important example of Hamiltonian systems on a dual to the semidirect product Lie algebra $e(3) = so(3)\ltimes\mathbb R^3$. We present the bi-Hamiltonian structure and the corresponding variables of separation on this phase space for the Steklov-Lyapunov system and it's gyrostatic deformation.

categories: nlin.SI math-ph math.DS math.MP physics.flu-dyn


title: The 2009 outburst from the new X-ray transient and black-hole candidate XTE J1652$-$453

abstract: The RXTE and Swift observations on the 2009 outburst from a newly discovered transient and black-hole candidate XTE J1652$-$453 are analyzed. The source was observed by RXTE to behave a sequence of spectral states that are typical to the black hole XRBs. During the first 7 observations, the source is diagnosed to stay in a high/soft state, from the spectrum dominated by soft thermal component which contributes an average of $\sim$ 85% to the X-ray flux at 2-20keV, and from the hardness $\sim$ 0.1 showing up in the hardness-intensity diagram (HID). For the last 20 observations the spectral state is classified as {\sl low/hard} according to an average hardness of $\sim$ 0.8 and a balance between the thermal and the non-thermal components: a power-law component takes ${\geq}80%$ of total 2-20keV flux. Located in between is an {\sl intermediate} state that the source might have experienced. The usual relationship between rms and hardness presents in HRD as well. Throughout the outburst no QPOs are found in XTE J1652$-$453.


title: Control System Design Using Finite Laplace Transform Theory

abstract: The Laplace transform theory violates a very fundamental requirement of all engineering systems. We show that this theory assumes that all signals must exist over infinite time interval. Since in engineering this infinite time assumption is not meaningful and feasible, this paper presents a design for linear control systems using the well known theory of Finite Laplace transform (FLT). The major contributions of this paper can be listed as: (a) A design principle for linear control systems using FLT, (b) A numerical inversion method for the FLT with examples, (c) A proof that the FLT does not satisfy the convolution theorem as normally required in engineering design and analysis, and (d) An observation that the FLT is conceptually similar to the analog equivalent of the Finite Impulse Response (FIR) digital filter.


title: Mode-locked picosecond pulse generation from an octave-spanning supercontinuum

abstract: We generate mode-locked picosecond pulses near 1110 nm by spectrally slicing and reamplifying an octave-spanning supercontinuum source pumped at 1550 nm. The 1110 nm pulses are near transform-limited, with 1.7 ps duration over their 1.2 nm bandwidth, and exhibit high interpulse coherence. Both the supercontinuum source and the pulse synthesis system are implemented completely in fiber. The versatile source construction suggests that pulse synthesis from sliced supercontinuum may be a useful technique across the 1000 - 2000 nm wavelength range.


title: Some Anisotropic Dark Energy Models in Bianchi Type-V Space-time

abstract: The paper deals with Bianchi type V Universe, which has dynamical energy density. We consider Bianchi type V space-time, introducing three different skewness parameters along spatial directions to quantify the deviation of pressure from isotropy. To study the anisotropic nature of the dynamical dark energy, we assume that the skewness parameters are time dependent. It is found that the Universe achieves flatness in quintessence model. The physical behavior of the Universe has been discussed in detail.


title: Tameness and Artinianness of Graded Generalized Local Cohomology Modules

abstract: Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th graded component of the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\fa$, vanishes for all $n\gg 0$. Furthermore, some sufficient conditions are proposed to satisfy the equality $\sup\{\en(H^i_{\fa}(M, N))| i\geq 0\}= \sup\{\en(H^i_{R_+}(M, N))| i\geq 0\}$. Some sufficient conditions are also proposed for tameness of $H^i_{\fa}(M, N)$ such that $i= f_{\fa}^{R_+}(M, N)$ or $i= \cd_{\fa}(M, N)$, where $f_{\fa}^{R_+}(M, N)$ and $\cd_{\fa}(M, N)$ denote the $R_+$-finiteness dimension and the cohomological dimension of $M$ and $N$ with respect to $\fa$, respectively. We finally consider the Artinian property of some submodules and quotient modules of $H^j_{\fa}(M, N)$, where $j$ is the first or last non-minimax level of $H^i_{\fa}(M, N)$.


title: Building a Chaotic Proved Neural Network

abstract: Chaotic neural networks have received a great deal of attention these last years. In this paper we establish a precise correspondence between the so-called chaotic iterations and a particular class of artificial neural networks: global recurrent multi-layer perceptrons. We show formally that it is possible to make these iterations behave chaotically, as defined by Devaney, and thus we obtain the first neural networks proven chaotic. Several neural networks with different architectures are trained to exhibit a chaotical behavior.


title: Upper bounds for the error in some interpolation and extrapolation designs

abstract: This paper deals with probabilistic upper bounds for the error in functional estimation defined on some interpolation and extrapolation designs, when the function to estimate is supposed to be analytic. The error pertaining to the estimate may depend on various factors: the frequency of observations on the knots, the position and number of the knots, and also on the error committed when approximating the function through its Taylor expansion. When the number of observations is fixed, then all these parameters are determined by the choice of the design and by the choice estimator of the unknown function. The scope of the paper is therefore to determine a rule for the minimal number of observation required to achieve an upper bound of the error on the estimate with a given maximal probability.


title: An estimation method for the chi-square divergence with application to test of hypotheses

abstract: We propose a new definition of the chi-square divergence between distributions. Based on convexity properties and duality, this version of the {\chi}^2 is well suited both for the classical applications of the {\chi}^2 for the analysis of contingency tables and for the statistical tests for parametric models, for which it has been advocated to be robust against inliers. We present two applications in testing. In the first one we deal with tests for finite and infinite numbers of linear constraints, while, in the second one, we apply {\chi}^2-methodology for parametric testing against contamination.


title: Complete Reconstruction of the Wavefunction of a Reacting Molecule by Four-Wave Mixing Spectroscopy

abstract: Probing the real time dynamics of a reacting molecule remains one of the central challenges in chemistry. In this letter we show how the time-dependent wavefunction of an excited-state reacting molecule can be completely reconstructed from resonant coherent anti-Stokes Raman spectroscopy. The method assumes knowledge of the ground-state potential but not of any excited-state potential, although we show that the latter can be computed once the time-dependent excited-state wavefunction is known. The formulation applies to polyatomics as well as diatomics and to bound as well as dissociative excited potentials. We demonstrate the method on the Li$_2$ molecule with its bound first excited-state, and on a model Li$_2$-like system with a dissociative excited state potential.


title: On Initial Data in the Problem of Consistency on Cubic Lattices for $3 \times 3$ Determinants

abstract: The paper is devoted to complete proofs of theorems on consistency on cubic lattices for $3 \times 3$ determinants. The discrete nonlinear equations on $\mathbb{Z}^2$ defined by the condition that the determinants of all $3 \times 3$ matrices of values of the scalar field at the points of the lattice $\mathbb{Z}^2$ that form elementary $3 \times 3$ squares vanish are considered; some explicit concrete conditions of general position on initial data are formulated; and for arbitrary initial data satisfying these concrete conditions of general position, theorems on consistency on cubic lattices (a consistency "around a cube") for the considered discrete nonlinear equations on $\mathbb{Z}^2$ defined by $3 \times 3$ determinants are proved.

categories: nlin.SI cs.CG cs.DM math-ph math.DS math.MP


title: Meaning Negotiation as Inference

abstract: Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the problem of MN by means of argumentations schemes, beliefs merging and information fusion operators, and ontology alignment but the proposed approaches depend upon the number of participants. In this paper, we give a general model of MN for an arbitrary number of agents, in which each participant discusses with the others her viewpoint by exhibiting it in an actual set of constraints on the meaning of the negotiated terms. We call this presentation of individual viewpoints an angle. The agents do not aim at forming a common viewpoint but, instead, at agreeing about an acceptable common angle. We analyze separately the process of MN by two agents (\emph{bilateral} or \emph{pairwise} MN) and by more than two agents (\emph{multiparty} MN), and we use game theoretic models to understand how the process develops in both cases: the models are Bargaining Game for bilateral MN and English Auction for multiparty MN. We formalize the process of reaching such an agreement by giving a deduction system that comprises of rules that are consistent and adequate for representing MN.


title: The Hijazi inequalities on complete Riemannian Spin$^c$ manifolds

abstract: In this paper, we extend the Hijazi type inequality, involving the Energy-Momentum tensor, to the eigenvalues of the Dirac operator on complete Riemannian Spin$^c$ manifolds without boundary and of finite volume. Under some additional assumptions, using the refined Kato inequality, we prove the Hijazi type inequality for elements of the essential spectrum. The limiting cases are also studied.


title: The Full Two-Loop R-parity Violating Renormalization Group Equations for All Minimal Supersymmetric Standard Model Couplings

abstract: We present the full two-loop $\beta$-functions for the minimal supersymmetric standard model couplings, extended to include R-parity violating couplings through explicit R-parity violation.


title: Mechanism of the quantum speed-up

abstract: We explain the mechanism of the quantum speed-up - quantum algorithms requiring fewer computation steps than their classical equivalent - for a family of algorithms. Bob chooses a function and gives to Alice the black box that computes it. Alice, without knowing Bob's choice, should find a character of the function (e. g. its period) by computing its value for different arguments. There is naturally correlation between Bob's choice and the solution found by Alice. We show that, in quantum algorithms, this correlation becomes quantum. This highlights an overlooked measurement problem: sharing between two measurements the determination of correlated (thus redundant) measurement outcomes. Solving this problem explains the speed-up. All is like Alice, by reading the solution at the end of the algorithm, contributed to the initial choice of Bob, for half of it in quantum superposition for all the possible ways of taking this half. This contribution, back evolved to before running the algorithm, where Bob's choice is located, becomes Alice knowing in advance half of this choice. The quantum algorithm is the quantum superposition of all the possible ways of taking half of Bob's choice and, given the advanced knowledge of it, classically computing the missing half. This yields a speed-up with respect to the classical case where, initially, Bob's choice is completely unknown to Alice.


title: Can Flavor Physics Hint at Distinctive Signals for R-parity Violation at the LHC?

abstract: Observation of some low-energy processes in the flavor physics regime may require the existence of supersymmetry with two relatively large R-parity-violating couplings of the LQD-type, together with reasonably light superparticles. At the LHC, such interactions would be expected to give rise to clear signals with convenient leptonic triggers, including some multileptons of the same sign. We undertake a detailed investigation of these signals taking care to correlate with low-energy requirements and taking proper account of the Standard Model backgrounds as well as the R-parity-conserving sector of the supersymmetric model. We find clear indications that R-parity violation as envisaged in this scenario can be detected at the LHC - even, perhaps, in the early runs.


title: Edge states and conformal boundary conditions in super spin chains and super sigma models

abstract: The sigma models on projective superspaces CP^{N+M-1|N} with topological angle theta=pi mod 2pi flow to non-unitary, logarithmic conformal field theories in the low-energy limit. In this paper, we determine the exact spectrum of these theories for all open boundary conditions preserving the full global symmetry of the model, generalizing recent work on the particular case M=0 [C. Candu et al, JHEP02(2010)015]. In the sigma model setting, these boundary conditions are associated with complex line bundles, and are labelled by an integer, related with the exact value of theta. Our approach relies on a spin chain regularization, where the boundary conditions now correspond to the introduction of additional edge states. The exact values of the exponents then follow from a lengthy algebraic analysis, a reformulation of the spin chain in terms of crossing and non-crossing loops (represented as a certain subalgebra of the Brauer algebra), and earlier results on the so-called one- and two-boundary Temperley Lieb algebras (also known as blob algebras). A remarkable result is that the exponents, in general, turn out to be irrational. The case M=1 has direct applications to the spin quantum Hall effect, which will be discussed in a sequel.


title: Bimodal/Schizophrenic Neutrino As a Bridge between Inflation and Dark Energy

abstract: We consider the possibility to combine inflection point inflation and growing neutrino dark energy in a particular setup of bimodal/schizophrenic neutrino model in the framework of MSSM$\otimes U(1)_{B-L}$. In order to obtain a varying neutrino mass, we make an assumption that a soft mass of $\tilde{Z'}_{BL}$ depends on a scalar field which plays the role of a cosmon field. We also investigate the possible effects of the cosmon field in the early universe such as modulated reheating and found that the induced density perturbation is negligible.


title: Recent developments and open problems in linear series

abstract: In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here are scattered in the literature or constitute folklore. It was one of our aims to have a usable and easily accessible collection of examples and results.


title: Existential witness extraction in classical realizability and via a negative translation

abstract: We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.


title: Essential norms of weighted composition operators between Hardy spaces $H^p$ and $H^q$ for $1\leq p,q \leq \infty$

abstract: We complete the different cases remaining in the estimation of the essential norm of a weighted composition operator acting between the Hardy spaces $H^p$ and $H^q$ for $1\leq p,q\leq\infty.$ In particular we give some estimates for the cases $1=p\leq q\leq\infty$ and $1\leq q<p\leq\infty.$


title: Efficient quantum state tomography

abstract: Quantum state tomography, the ability to deduce the state of a quantum system from measured data, is the gold standard for verification and benchmarking of quantum devices. It has been realized in systems with few components, but for larger systems it becomes infeasible because the number of quantum measurements and the amount of computation required to process them grows exponentially in the system size. Here we show that we can do exponentially better than direct state tomography for a wide range of quantum states, in particular those that are well approximated by a matrix product state ansatz. We present two schemes for tomography in 1-D quantum systems and touch on generalizations. One scheme requires unitary operations on a constant number of subsystems, while the other requires only local measurements together with more elaborate post-processing. Both schemes rely only on a linear number of experimental operations and classical postprocessing that is polynomial in the system size. A further strength of the methods is that the accuracy of the reconstructed states can be rigorously certified without any a priori assumptions.


title: Generation of Photon Pairs in Dispersion Shift Fibers through Spontaneous Four Wave Mixing: Influence of Self-phase Modulation

abstract: Correlated signal and idler photon pairs with small detuning in the telecom band can be generated through spontaneous four-wave mixing in dispersion shift fibers. However, photons originated from other nonlinear processes in optical fibers, such as Raman scattering and self-phase modulation, may contaminate the photon pairs. It has been proved that photons produced by Raman scattering are the background noise of photon pairs. Here we show that photons induced by self-phase modulation of pump pulses are another origin of background noise. After studying the dependence of self-phase modulation induced photons in signal and idler bands, we demonstrate that the quantum correlation of photon pairs can be degraded by the self-phase modulation effect. The investigations are useful for characterizing and optimizing an all fiber source of photon pairs.


title: Inferences in Bayesian variable selection problems with large model spaces

abstract: An important aspect of Bayesian model selection is how to deal with huge model spaces, since exhaustive enumeration of all the models entertained is unfeasible and inferences have to be based on the very small proportion of models visited. This is the case for the variable selection problem, with a moderate to large number of possible explanatory variables being considered in this paper. We review some of the strategies proposed in the literature and argue that inferences based on empirical frequencies via Markov Chain Monte Carlo sampling of the posterior distribution outperforms recently proposed searching methods. We give a plausible yet very simple explanation of this effect, showing that estimators based on frequencies are unbiased. The results obtained in two illustrative examples provide strong evidence in favor of our arguments.


title: Univariate real root isolation in an extension field

abstract: We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial in $B_{\alpha} \in L[y]$, where $L=\QQ(\alpha)$ is a simple algebraic extension of the rational numbers. We consider two approaches for tackling the problem. In the first approach using resultant computations we perform a reduction to a polynomial with integer coefficients. We compute separation bounds for the roots, and using them we deduce that we can isolate the real roots of $B_{\alpha}$ in $\sOB(N^{10})$, where $N$ is an upper bound on all the quantities (degree and bitsize) of the input polynomials. In the second approach we isolate the real roots working directly on the polynomial of the input. We compute improved separation bounds for real roots and we prove that they are optimal, under mild assumptions. For isolating the roots we consider a modified Sturm's algorithm, and a modified version of \func{descartes}' algorithm introduced by Sagraloff. For the former we prove a complexity bound of $\sOB(N^8)$ and for the latter a bound of $\sOB(N^{7})$. We implemented the algorithms in \func{C} as part of the core library of \mathematica and we illustrate their efficiency over various data sets. Finally, we present complexity results for the general case of the first approach, where the coefficients belong to multiple extensions.


title: Global Asymptotics of the Meixner Polynomials

abstract: Using the steepest descent method for oscillatory Riemann-Hilbert problems introduced by Deift and Zhou [Ann. Math. {\bf 137}(1993), 295-368], we derive asymptotic formulas for the Meixner polynomials in two regions of the complex plane separated by the boundary of a rectangle. The asymptotic formula on the boundary of the rectangle is obtained by taking limits from either inside or outside. Our results agree with the ones obtained earlier for $z$ on the positive real line by using the steepest descent method for integrals [Constr. Approx. {\bf 14}(1998), 113-150].


title: Asymptotics of Orthogonal Polynomials via Recurrence Relations

abstract: We use the Legendre polynomials and the Hermite polynomials as two examples to illustrate a simple and systematic technique on deriving asymptotic formulas for orthogonal polynomials via recurrence relations. Another application of this technique is to provide a solution to a problem recently raised by M. E. H. Ismail.


title: Order Optimal Information Spreading Using Algebraic Gossip

abstract: In this paper we study gossip based information spreading with bounded message sizes. We use algebraic gossip to disseminate $k$ distinct messages to all $n$ nodes in a network. For arbitrary networks we provide a new upper bound for uniform algebraic gossip of $O((k+\log n + D)\Delta)$ rounds with high probability, where $D$ and $\Delta$ are the diameter and the maximum degree in the network, respectively. For many topologies and selections of $k$ this bound improves previous results, in particular, for graphs with a constant maximum degree it implies that uniform gossip is \emph{order optimal} and the stopping time is $\Theta(k + D)$. To eliminate the factor of $\Delta$ from the upper bound we propose a non-uniform gossip protocol, TAG, which is based on algebraic gossip and an arbitrary spanning tree protocol $\S$. The stopping time of TAG is $O(k+\log n +d(\S)+t(\S))$, where $t(\S)$ is the stopping time of the spanning tree protocol, and $d(\S)$ is the diameter of the spanning tree. We provide two general cases in which this bound leads to an order optimal protocol. The first is for $k=\Omega(n)$, where, using a simple gossip broadcast protocol that creates a spanning tree in at most linear time, we show that TAG finishes after $\Theta(n)$ rounds for any graph. The second uses a sophisticated, recent gossip protocol to build a fast spanning tree on graphs with large weak conductance. In turn, this leads to the optimally of TAG on these graphs for $k=\Omega(\mathrm{polylog}(n))$. The technique used in our proofs relies on queuing theory, which is an interesting approach that can be useful in future gossip analysis.


title: Statistical Multiresolution Dantzig Estimation in Imaging: Fundamental Concepts and Algorithmic Framework

abstract: In this paper we are concerned with fully automatic and locally adaptive estimation of functions in a "signal + noise"-model where the regression function may additionally be blurred by a linear operator, e.g. by a convolution. To this end, we introduce a general class of statistical multiresolution estimators and develop an algorithmic framework for computing those. By this we mean estimators that are defined as solutions of convex optimization problems with supremum-type constraints. We employ a combination of the alternating direction method of multipliers with Dykstra's algorithm for computing orthogonal projections onto intersections of convex sets and prove numerical convergence. The capability of the proposed method is illustrated by various examples from imaging and signal detection.


title: Generating Functions for Special Flows over the 1-Step Countable Topological Markov Chains

abstract: Let $Y$ be a topological Markov chain with finite leading and follower sets. Special flow over $Y$ whose height function depends on the time zero of elements of $Y$ is constructed. Then a formula for computing the entropy of this flow will be given. As an application, we give a lower estimate for the entropy of a class of geodesic flows on the modular surface. We also give sufficient conditions to guarantee the existence of a measure with maximal entropy.


title: Optical Metrics and Projective Equivalence

abstract: Trajectories of light rays in a static spacetime are described by unparametrised geodesics of the Riemannian optical metric associated with the Lorentzian spacetime metric. We investigate the uniqueness of this structure and demonstrate that two different observers, moving relative to one another, who both see the universe as static may determine the geometry of the light rays differently. More specifically, we classify Lorentzian metrics admitting more than one hyper--surface orthogonal time--like Killing vector and analyze the projective equivalence of the resulting optical metrics. These metrics are shown to be projectively equivalent up to diffeomorphism if the static Killing vectors generate a group $SL(2, \R)$, but not projectively equivalent in general. We also consider the cosmological $C$--metrics in Einstein--Maxwell theory and demonstrate that optical metrics corresponding to different values of the cosmological constant are projectively equivalent.


title: Super reflector and invisible object: analytical investigation of photonic cluster reflectivity

abstract: The reflectivity of photonic cluster is important property for nanophotonic applications especially when one needs to hide the cluster or to make it extremely visible. Currently, where are no methods clearly describing how to create the photonic cluster with the predefined reflectivity. In this paper several analytical methods are proposed to create the photonic cluster with minimal or maximal reflectivity. The proposed methods are applicable for the clusters made of small particles.


title: Discretization of continuous frame

abstract: In this paper we consider on the notion of continuous frame of subspace and define a new concept of continuous frame, entitled {\it continuous atomic resolution of identity}, for arbitrary Hilbert space $\h$ which has a countable reconstruction formula. Among the other result, we characterize the relationship between this new concept and other known continuous frame. Finally, we state and prove the assertions of the stability of perturbation in this concept.


title: Cycles of cooperation and defection in imperfect learning

abstract: When people play a repeated game they usually try to anticipate their opponents' moves based on past observations, and then decide what action to take next. Behavioural economics studies the mechanisms by which strategic decisions are taken in these adaptive learning processes. We here investigate a model of learning the iterated prisoner's dilemma game. Players have the choice between three strategies, always defect (ALLD), always cooperate (ALLC) and tit-for-tat (TFT). The only strict Nash equilibrium in this situation is ALLD. When players learn to play this game convergence to the equilibrium is not guaranteed, for example we find cooperative behaviour if players discount observations in the distant past. When agents use small samples of observed moves to estimate their opponent's strategy the learning process is stochastic, and sustained oscillations between cooperation and defection can emerge. These cycles are similar to those found in stochastic evolutionary processes, but the origin of the noise sustaining the oscillations is different and lies in the imperfect sampling of the opponent's strategy. Based on a systematic expansion technique, we are able to predict the properties of these learning cycles, providing an analytical tool with which the outcome of more general stochastic adaptation processes can be characterised.


title: Vertex cover algebras of simplicial multicomplexes

abstract: We define vertex cover algebras for weighted simplicial multicomplexes and prove basics properties of them. Also, we describe these algebras for multicomplexes which have only one maximal facet and we prove that they are finitely generated.


title: The Hilbert's class field and the p-class group of the cyclotomic fields

abstract: Let $p$ be an irregular prime and $K=\Q(\zeta)$ the $p$-cyclotomic field. Let $\sigma$ be a $\Q$-isomorphism of $K$ generating $Gal(K/\Q)$. Let $S/K$ be a cyclic unramified extension of degree $p$, defined by $S= K(A^{1/p})$ where $A\in K\backslash K^p$, $A\Z_K=\mk a^p$ with $\mk a$ non-principal ideal of $\Z_K$, $A^{\sigma-\mu}\in K^p$ and $\mu\in{\bf F}_p$. We compute explicitly the decomposition of the prime $p$ in the subfields $M$ of $S$ of degree $[M:\Q]=p$.


title: Traveling waves for a boundary reaction-diffusion equation

abstract: We prove the existence of a traveling wave solution for a boundary reaction diffusion equation when the reaction term is the combustion nonlinearity with ignition temperature. A key role in the proof is plaid by an explicit formula for traveling wave solutions of a free boundary problem obtained as singular limit for the reaction-diffusion equation (the so-called high energy activation energy limit). This explicit formula, which is interesting in itself, also allows us to get an estimate on the decay at infinity of the traveling wave (which turns out to be faster than the usual exponential decay).


title: Hawking radiation as perceived by different observers

abstract: We use a method recently introduced in Barcel\'o et al (2011 Phys. Rev. D 83 41501), to analyse Hawking radiation in a Schwarzschild black hole as perceived by different observers in the system. The method is based on the introduction of an 'effective temperature' function that varies with time. First we introduce a non-stationary vacuum state for a quantum scalar field, which interpolates between the Boulware vacuum state at early times and the Unruh vacuum state at late times. In this way we mimic the process of switching on Hawking radiation in realistic collapse scenarios. Then, we analyse this vacuum state from the perspective of static observers at different radial positions, observers undergoing a free-fall trajectory from infinity and observers standing at rest at a radial distance and then released to fall freely towards the horizon. The physical image that emerges from these analyses is rather rich and compelling. Among many other results, we find that generic freely-falling observers do not perceive vacuum when crossing the horizon, but an effective temperature a few times larger than the one that they perceived when it started to free-fall. We explain this phenomenon as due to a diverging Doppler effect at horizon crossing.


title: Tuneable electronic properties in graphene

abstract: Novel materials are in great demand for future applications. The discovery of graphene, a one atom thick carbon layer, holds the promise for unique device architectures and functionalities exploiting unprecedented physical phenomena. The ability to embed graphene materials in a double gated structure allowed on-chip realization of relativistic tunneling experiments in single layer graphene, the discovery of a gate tunable band gap in bilayer graphene and of a gate tunable band overlap in trilayer graphene. Here we discuss recent advances in the physics and nanotechnology fabrication of double gated single- and few-layer graphene devices.


title: Detection and Elimination of Non-Trivial Reversible Identities

abstract: Non-Trivial Reversible Identities (NTRIs) are reversible circuits that have equal inputs and outputs. NTRIs cannot be detected using optimization algorithms in the literature. Existence of NTRIs in a circuit will cause a slow down by increasing the number of gates and the quantum cost. NTRIs might arise due to integration between two or more optimal reversible circuits. In this paper, an algorithm that detects and removes NTRIs in polynomial time will be proposed. Experiments that show the bad effect of NTRIs and the enhancement using the proposed algorithm will be presented.


title: Kinetic modelling of quantum effects in laser-beam interaction

abstract: We present the results of kinetic modelling of quantum effects in laser-beam interaction. In the developed numerical model, electron-positron pair production by hard photons, hard photon emission and the electromagnetic fields generated by the created charged particles are taken into account. Interaction of a relativistic electron beam with a strong laser pulse is analyzed. It is shown that the quantum effects can be important even for moderately intense laser pulses when the number of emitted photons by single electron is not large. Electron-positron pair plasma production in extremely-intense laser field via development of electromagnetic cascades is also studied. The simulation results confirm the prediction of strong laser field absorption in the self-generated electron-positron plasma. It is shown that the self-generated electron-positron plasma can be an efficient source of energetic gamma-quanta.


title: Muon spin rotation study of the intercalated graphite superconductor CaC6 at low temperatures

abstract: Muon spin rotation (muSR) experiments were performed on the intercalated graphite CaC6 in the normal and superconducting state down to 20 mK. In addition, AC magnetization measurements were carried out resulting in an anisotropic upper critical field Hc2, from which the coherence lengths xi_ab(0)=36.3(1.5) nm and xi_c(0)=4.3(7) nm were estimated. The anisotropy parameter gamma_H= H_c2_ab/H_c2_c increases monotonically with decreasing temperature. A single isotropic s-wave description of superconductivity cannot account for this behaviour. From magnetic field dependent muSR experiments the absolute value of the in-plane magnetic penetretion depth lambda_ab=78(3) nm was determined. The temperature dependence of the superfluid density rho_s(T) is slightly better described by a two-gap than a single-gap model.


title: WIMPless dark matter and the excess gamma rays from the Galactic center

abstract: In this paper we discuss the excess gamma rays from the Galactic center, the WMAP haze and the CoGeNT and DAMA results in WIMPless models. At the same time we also investigate the low energy constraints from the anomalous magnetic moment of leptons and from some lepton flavor violating decays. It is found that, for scalar or vector WIMPless dark matter, neither the WMAP haze nor the CoGeNT and DAMA observations could be explained simultaneously with the excess gamma rays from the Galactic center. As to fermion WIMPless dark matter, it is only marginally possible to accommodate the CoGeNT and DAMA results with the excess gamma rays from the Galactic center with vector connector fields. On the other hand, only scalar connector fields could interpret the WMAP haze concerning the constraints of anomalous magnetic moment of leptons. Furthermore, if there is only one connector field for all the charged leptons, some lepton flavor violating decays could happen with too large branching ratios severely violating the experimental bounds.


title: Reproducing Kernel Banach Spaces with the l1 Norm

abstract: Targeting at sparse learning, we construct Banach spaces B of functions on an input space X with the properties that (1) B possesses an l1 norm in the sense that it is isometrically isomorphic to the Banach space of integrable functions on X with respect to the counting measure; (2) point evaluations are continuous linear functionals on B and are representable through a bilinear form with a kernel function; (3) regularized learning schemes on B satisfy the linear representer theorem. Examples of kernel functions admissible for the construction of such spaces are given.


title: Matricial R-transform

abstract: We study the addditon problem for strongly matricially free random variables which generalize free random variables. Using operators of Toeplitz type, we derive a linearization formula for the `matricial R-transform' related to the associated convolution. It is a linear combination of Voiculescu's R-transforms in free probability with coefficients given by internal units of the considered array of subalgebras. This allows us to view this formula as the `matricial linearization property' of the R-transform. Since strong matricial freeness unifies the main types of noncommutative independence, the matricial R-transform plays the role of a unified noncommutative analog of the logarithm of the Fourier transform for free, boolean, monotone, orthogonal, s-free and c-free independence.


title: The Electron Pairing of K$_x$Fe$_{2-y}$Se$_2$

abstract: We studied the pairing instabilities in K$_x$Fe$_{2-y}$Se$_2$ using a two stage functional renormalization group (FRG) method. Our results suggest the leading and subleading pairing symmetries are nodeless $d_{x^2-y^2}$ and nodal extended $s$ respectively. In addition, despite having no Fermi surfaces we find the buried hole bands make important contributions to the final effective interaction. From the bandstructure, spin susceptibility and the FRG results we conclude that the low energy effective interaction in K$_x$Fe$_{2-y}$Se$_2$ is well described by a $J_1-J_2$ model with dominant nearest-neighbor antiferromagnetic interaction $J_1$ (at least as far as the superconducting pairing is concerned). In the end we briefly mention several obvious experiments to test whether the pairing symmetry is indeed $d_{x^2-y^2}$.


title: Theory of non-equilibrium electronic Mach-Zehnder interferometer

abstract: We develop a theoretical description of interaction-induced phenomena in an electronic Mach-Zehnder interferometer formed by integer quantum Hall edge states (with \nu =1 and 2 channels) out of equilibrium. Using the non-equilibrium functional bosonization framework, we derive an effective action which contains all the physics of the problem. We apply the theory to the model of a short-range interaction and to a more realistic case of long-range Coulomb interaction. The theory takes into account interaction-induced effects of dispersion of plasmons, charging, and decoherence. In the case of long-range interaction we find a good agreement between our theoretical results for the visibility of Aharonov-Bohm oscillations and experimental data.


title: Current Issues in Kaon Photoelectro-Production off the Nucleon

abstract: The electromagnetic kaon production amplitudes associated to Lambda/Sigma hyperons can be described by phenomenological models, most notably by isobar approaches. Experimental data on kaon production have been collected at ELSA, SPring8, GRAAL, LNS Tohoku, and Jefferson Lab in the past, the measurements at Jefferson Lab providing the largest kinematic coverage and statistical significance. However, ambiguities inherent in the models, some data inconsistency in the cross-sections taken at different laboratories, and the problem of missing acceptance in forward direction of the experimental set-ups hinders a reliable extraction of resonance parameters. Predictions for the hypernuclear photo-production cross-section rely on a consistent and comprehensive description of the elementary process at forward kaon angles, where the current strong variation of the models is very unsatisfactory. A number of new experiments are now addressing these issues, among them the charged kaon electro-production programme with the Kaos spectrometer at the Mainz Microtron MAMI. In this work predictions of the two prominent isobar models, Kaon-Maid and Saclay-Lyon A, are compared for the kinematics at MAMI.


title: On Distance Spectral Radius and Distance Energy of Graphs

abstract: For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.


title: Strangeness physics with Kaos at MAMI

abstract: At the Institut f\"ur Kernphysik in Mainz, Germany, the microtron MAMI has been upgraded to 1.5-GeV electron beam energy. The magnetic spectrometer Kaos is now operated by the A1 collaboration to study strangeness electro-production. Its compact design and its capability to detect negative and positive charged particles simultaneously under forward scattering angles complements the existing spectrometers. In 2008 kaon production off a liquid hydrogen target was measured at <Q^2> = 0.050 (GeV/c)^2 and 0.036 (GeV/c)^2. Associated Lambda and Sigma hyperons were identified in the missing mass spectra. Major modifications to the beam-line are under construction and a new electron arm focal-surface detector system was built in order to use Kaos as a double-arm spectrometer under zero degree scattering angle.


title: Hypernuclear physics as seen by an experimenter

abstract: In the new millennium hypernuclear physics is undergoing a renewed interest, both theoretically and experimentally.


title: First-order virial expansion of short-time diffusion and sedimentation coefficients of permeable particles suspensions

abstract: For suspensions of permeable particles, the short-time translational and rotational self-diffusion coefficients, and collective diffusion and sedimentation coefficients are evaluated theoretically. An individual particle is modeled as a uniformly permeable sphere of a given permeability, with the internal solvent flow described by the Debye-Bueche-Brinkman equation. The particles are assumed to interact non-hydrodynamically by their excluded volumes. The virial expansion of the transport properties in powers of the volume fraction is performed up to the two-particle level. The first-order virial coefficients corresponding to two-body hydrodynamic interactions are evaluated with very high accuracy by the series expansion in inverse powers of the inter-particle distance. Results are obtained and discussed for a wide range of the ratio, x, of the particle radius to the hydrodynamic screening length inside a permeable sphere. It is shown that for x >= 10, the virial coefficients of the transport properties are well-approximated by the hydrodynamic radius (annulus) model developed by us earlier for the effective viscosity of porous-particle suspensions.


title: Associated Lambda/Sigma electroproduction with the Kaos spectrometer at MAMI

abstract: An instrument of central importance for the strangeness photo- and electroproduction at the 1.5-GeV electron beam of the MAMI accelerator at the Institut f\"ur Kernphysik in Mainz, Germany, is the newly installed magnetic spectrometer Kaos that is operated by the A1 collaboration in $(e,e'K)$ reactions on the proton or light nuclei. Its compact design and its capability to detect negative and positive charged particles simultaneously complements the existing spectrometers. The strangeness program performed with Kaos in 2008-9 is addressing some important issues in the field of elementary kaon photo- and electroproduction reactions. Although recent measurements have been performed at Jefferson Lab, there are still a number of open problems in the interpretation of the data and the description of the elementary process using phenomenological models. With the identification of $\Lambda$ and $\Sigma^0$ hyperons in the missing mass spectra from kaon production off a liquid hydrogen target it is demonstrated that the extended facility at MAMI is capable to perform strangeness electroproduction spectroscopy at low momentum transfers $Q^2$ < 0.5 (GeV/c)$^2$. The covered kinematics and systematic uncertainties in the cross-section extraction from the data are discussed.


title: A fundamental requirement for crystal-field parametrization

abstract: The physically correct parametrization of the energy levels of transition ions in crystals in terms of crystal-field (CF) Hamiltonians ${\cal H}_{\rm CF}=\sum_{k}\sum_{q}B_{kq}C_{q}^{(k)}$ has to be based on the CF parameters $B_{kq}$ that lead to the correct CF splitting second moments, both the global one $\sigma$ and the partial ones $\sigma_{k}$. Only such parametrizations correspond to the appropriate multipolar structure of the surrounding CF. Each parametrization being characterized by its own multipolar crystal-field strengths $S_{k}=(\frac{1}{2k+1}\sum\limits_{q}|B_{kq}|^{2})^{1/2}$, for $k=2,4$ and 6, yields a definite second moment $\sigma$, which can be derived from the additivity relationship $\sigma^{2}=\sum_{k}\sigma_{k}^{2}$ and the known asphericities $< \Psi||C^{(k)}||\Psi >$ of the central-ion eigenfunctions $\Psi$. The condition $\sigma=\sigma_{\rm exp}$ must be satisfied to ensure the parametrization's correctness. However, our survey of literature indicates that there exists many other well-fitted crystal-field parameter sets that do not obey this condition. Therefore, such sets are erratic and non-physical, and should be re-examined or rejected. Having $\sigma$ for several $(\geq3)$ eigenstates $|\Psi>$ along with the relevant $< \Psi||C^{(k)}||\Psi >$ asphericities, one can estimate $\sigma_{k}$ and $S_{k}$, which are well-founded experimentally. The above findings set up the parametrization process properly. Lack of consistency between the second moments representing various parametrizations and the pertinent second moments observed in experiments is presumably the main reason for deluge of formally accurate but accidental and inequivalent parametrizations.


title: High-Redshift Metals. II. Probing Reionization Galaxies with Low-Ionization Absorption Lines at Redshift Six

abstract: We present a survey for low-ionization metal absorption line systems towards 17 QSOs at redshifts z_em=5.8-6.4. Nine of our objects were observed at high resolution with either Keck/HIRES or Magellan/MIKE, and the remainder at moderate resolution with Keck/ESI. The survey spans 5.3 < z_abs < 6.4 and has a pathlength interval \Delta X=39.5, or \Delta z=8.0. In total we detect ten systems, five of which are new discoveries. The line-of-sight number density is consistent with the combined number density at z~3 of DLAs and sub-DLAs, which comprise the main population of low-ionization systems at lower redshifts. This apparent lack of evolution may occur because low ionization systems are hosted by lower-mass halos at higher redshifts, or because the mean cross section of low-ionization gas at a given halo mass increases with redshift due to the higher densities and lower ionizing background. The roughly constant number density notably contrasts with the sharp decline at z > 5.3 in the number density of highly-ionized systems traced by C IV. The low-ionization systems at z~6 span a similar range of velocity widths as lower-redshift sub-DLAs but have significantly weaker lines at a given width. This implies that the mass-metallicity relation of the host galaxies evolves towards lower metallicities at higher redshifts. These systems lack strong Si IV and C IV, which are common among lower-redshift DLAs and sub-DLAs. This is consistent, however, with a similar decrease in the metallicity of the low- and high-ionization phases, and does not necessarily indicate a lack of nearby, highly-ionized gas. The high number density of low-ionization systems at z~6 suggests that we may be detecting galaxies below the current limits of i-dropout and Ly-alpha emission galaxy surveys. These systems may therefore be the first direct probes of the `typical' galaxies responsible for hydrogen reionization.


title: Another approach to parametric Bing and Krasinkiewicz maps

abstract: Using a factorization theorem due to Pasynkov we provide a short proof of the existence and density of parametric Bing and Krasinkiewicz maps. In particular, the following corollary is established: Let $f\colon X\to Y$ be a surjective map between paracompact spaces such that all fibers $f^{-1}(y)$, $y\in Y$, are compact and there exists a map $g\colon X\to\mathbb I^{\aleph_0}$ embedding each $f^{-1}(y)$ into $\mathbb I^{\aleph_0}$. Then for every $n\geq 1$ the space $C^*(X,\mathbb R^n)$ of all bounded continuous functions with the uniform convergence topology contains a dense set of maps $g$ such that any restriction $g|f^{-1}(y)$, $y\in Y$, is a Bing and Krasinkiewicz map.


title: Throw One's Cake --- and Have It Too

abstract: We consider the problem of fairly dividing a heterogeneous cake between a number of players with different tastes. In this setting, it is known that fairness requirements may result in a suboptimal division from the social welfare standpoint. Here, we show that in some cases, discarding some of the cake and fairly dividing only the remainder may be socially preferable to any fair division of the entire cake. We study this phenomenon, providing asymptotically-tight bounds on the social improvement achievable by such discarding.


title: Analysis of the Brylinski-Kostant model for spherical minimal representations

abstract: We revisit with another view point the construction by R. Brylinski and B. Kostant of minimal representations of simple Lie groups. We start from a pair $(V,Q)$, where $V$ is a complex vector space and $Q$ a homogeneous polynomial of degree 4 on $V$. The manifold $\Xi $ is an orbit of a covering of ${\rm Conf}(V,Q)$, the conformal group of the pair $(V,Q)$, in a finite dimensional representation space. By a generalized Kantor-Koecher-Tits construction we obtain a complex simple Lie algebra $\goth g$, and furthermore a real form ${\goth g}_{\bboard R}$. The connected and simply connected Lie group $G_{\bboard R}$ with ${\rm Lie}(G_{\bboard R})={\goth g}_{\bboard R}$ acts unitarily on a Hilbert space of holomorphic functions defined on the manifold $\Xi $


title: Lorentz-invariant membranes and finite matrix approximations

abstract: The question of Lorentz invariance for finite N approximations of relativistic membranes is addressed. We find that one of the classical manifestations of Lorentz-invariance is not possible for NxN matrices (at least when N=2 or 3). How the symmetry is restored in the large N limit is studied numerically.


title: High-energy emission from star-forming galaxies

abstract: Adopting the convection-diffusion model for energetic electron and proton propagation, and accounting for all the relevant hadronic and leptonic processes, the steady-state energy distributions of these particles in the starburst galaxies M82 and NGC253 can be determined with a detailed numerical treatment. The electron distribution is directly normalized by the measured synchrotron radio emission from the central starburst region; a commonly expected theoretical relation is then used to normalize the proton spectrum in this region, and a radial profile is assumed for the magnetic field. The resulting radiative yields of electrons and protons are calculated: the predicted >100MeV and >100GeV fluxes are in agreement with the corresponding quantities measured with the orbiting Fermi telescope and the ground-based VERITAS and HESS Cherenkov telescopes. The cosmic-ray energy densities in central regions of starburst galaxies, as inferred from the radio and gamma-ray measurements of (respectively) non-thermal synchrotron and neutral-pion-decay emission, are U=O(100) eV/cm3, i.e. at least an order of magnitude larger than near the Galactic center and in other non-very-actively star-forming galaxies. These very different energy density levels reflect a similar disparity in the respective supernova rates in the two environments. A L(gamma) ~ SFR^(1.4) relationship is then predicted, in agreement with preliminary observational evidence.


title: The variation of G in a negatively curved space-time

abstract: Scalar-tensor (ST) gravity theories provide an appropriate theoretical framework for the variation of Newton's fundamental constant, conveyed by the dynamics of a scalar-field non-minimally coupled to the space-time geometry. The experimental scrutiny of scalar-tensor gravity theories has led to a detailed analysis of their post-newtonian features, and is encapsulated into the so-called parametrised post-newtonian formalism (PPN). Of course this approach can only be applied whenever there is a newtonian limit, and the latter is related to the GR solution that is generalized by a given ST solution under consideration. This procedure thus assumes two hypothesis: On the one hand, that there should be a weak field limit of the GR solution; On the other hand that the latter corresponds to the limit case of given ST solution. In the present work we consider a ST solution with negative spatial curvature. It generalizes a general relativistic solution known as being of a degenerate class (A) for its unusual properties. In particular, the GR solution does not exhibit the usual weak field limit in the region where the gravitational field is static. The absence of a weak field limit for the hyperbolic GR solution means that such limit is also absent for comparison with the ST solution, and thus one cannot barely apply the PPN formalism. We therefore analyse the properties of the hyperbolic ST solution, and discuss the question o defining a generalised newtonian limit both for the GR solution and for the purpose of contrasting it with the ST solution. This contributes a basic framework to build up a parametrised pseudo-newtonian formalism adequate to test ST negatively curved space-times.


title: Topological effects on string vacua

abstract: We review some topological effects on the construction of string flux-vacua. Specifically we study the effects of brane-flux transitions on the stability of D-branes on a generalized tori compactificaction, the transition that a black hole suffers in a background threaded with fluxes and the connections among some Minkowsky vacua solutions.


title: Shape, shear and flexion II - Quantifying the flexion formalism for extended sources with the ray-bundle method

abstract: Flexion-based weak gravitational lensing analysis is proving to be a useful adjunct to traditional shear-based techniques. As flexion arises from gradients across an image, analytic and numerical techniques are required to investigate flexion predictions for extended image/source pairs. Using the Schwarzschild lens model, we demonstrate that the ray-bundle method for gravitational lensing can be used to accurately recover second flexion, and is consistent with recovery of zero first flexion. Using lens plane to source plane bundle propagation, we find that second flexion can be recovered with an error no worse than 1% for bundle radii smaller than {\Delta}{\theta} = 0.01 {\theta}_E and lens plane impact pararameters greater than {\theta}_E + {\Delta}{\theta}, where {\theta}_E is the angular Einstein radius. Using source plane to lens plane bundle propagation, we demonstrate the existence of a preferred flexion zone. For images at radii closer to the lens than the inner boundary of this zone, indicative of the true strong lensing regime, the flexion formalism should be used with caution (errors greater than 5% for extended image/source pairs). We also define a shear zone boundary, beyond which image shapes are essentially indistinguishable from ellipses (1% error in ellipticity). While suggestive that a traditional weak lensing analysis is satisfactory beyond this boundary, a potentially detectable non-zero flexion signal remains.


title: On the dynamics of bubbles in boiling water

abstract: We investigate the dynamics of many interacting bubbles in boiling water by using a laser scattering experiment. Specifically, we analyze the temporal variations of a laser intensity signal which passed through a sample of boiling water. Our empirical results indicate that the return interval distribution of the laser signal does not follow an exponential distribution; contrariwise, a heavy-tailed distribution has been found. Additionally, we compare the experimental results with those obtained from a minimalist phenomenological model, finding a good agreement.


title: Black brane solutions related to non-singular Kac-Moody algebras

abstract: A multidimensional gravitational model containing scalar fields and antisymmetric forms is considered. The manifold is chosen in the form M = M_0 x M_1 x ... x M_n, where M_i are Einstein spaces (i > 0). The sigma-model approach and exact solutions with intersecting composite branes (e.g., solutions with harmonic functions and black brane ones) with intersection rules related to non-singular Kac-Moody (KM) algebras (e.g. hyperbolic ones) are considered. Some examples of black brane solutions are presented, e.g., those corresponding to hyperbolic KM algebras: H_2(q,q) (q > 2), HA_2^(1) = A_2^{++} and to the Lorentzian KM algebra P_{10}.


title: Dark matter at DeepCore and IceCube

abstract: With the augmentation of IceCube by DeepCore, the prospect for detecting dark matter annihilation in the Sun is much improved. To complement this experimental development, we provide a thorough template analysis of the particle physics issues that are necessary to precisely interpret the data. Our study is about nitty-gritty and is intended as a framework for detailed work on a variety of dark matter candidates. To accurately predict the source neutrino spectrum, we account for spin correlations of the final state particles and the helicity-dependence of their decays, and absorption effects at production. We fully treat the propagation of neutrinos through the Sun, including neutrino oscillations, energy losses and tau regeneration. We simulate the survival probability of muons produced in the Earth by using the Muon Monte Carlo program, reproduce the published IceCube effective area, and update the parameters in the differential equation that approximates muon energy losses. To evaluate the zenith-angle dependent atmospheric background event rate, we track the Sun and determine the time it spends at each zenith angle. Throughout, we employ neutralino dark matter as our example.


title: Chiral extrapolation beyond the power-counting regime

abstract: Chiral effective field theory can provide valuable insight into the chiral physics of hadrons when used in conjunction with non-perturbative schemes such as lattice QCD. In this discourse, the attention is focused on extrapolating the mass of the rho meson to the physical pion mass in quenched QCD (QQCD). With the absence of a known experimental value, this serves to demonstrate the ability of the extrapolation scheme to make predictions without prior bias. By using extended effective field theory developed previously, an extrapolation is performed using quenched lattice QCD data that extends outside the chiral power-counting regime (PCR). The method involves an analysis of the renormalization flow curves of the low energy coefficients in a finite-range regularized effective field theory. The analysis identifies an optimal regulator, which is embedded in the lattice QCD data themselves. This optimal regulator is the regulator value at which the renormalization of the low energy coefficients is approximately independent of the range of quark masses considered. By using recent precision, quenched lattice results, the extrapolation is tested directly by truncating the analysis to a set of points above 380 MeV, while being blinded of the results probing deeply into the chiral regime. The result is a successful extrapolation to the chiral regime.


title: BitTorrent Swarm Analysis through Automation and Enhanced Logging

abstract: Peer-to-Peer protocols currently form the most heavily used protocol class in the Internet, with BitTorrent, the most popular protocol for content distribution, as its flagship. A high number of studies and investigations have been undertaken to measure, analyse and improve the inner workings of the BitTorrent protocol. Approaches such as tracker message analysis, network probing and packet sniffing have been deployed to understand and enhance BitTorrent's internal behaviour. In this paper we present a novel approach that aims to collect, process and analyse large amounts of local peer information in BitTorrent swarms. We classify the information as periodic status information able to be monitored in real time and as verbose logging information to be used for subsequent analysis. We have designed and implemented a retrieval, storage and presentation infrastructure that enables easy analysis of BitTorrent protocol internals. Our approach can be employed both as a comparison tool, as well as a measurement system of how network characteristics and protocol implementation influence the overall BitTorrent swarm performance. We base our approach on a framework that allows easy swarm creation and control for different BitTorrent clients. With the help of a virtualized infrastructure and a client-server software layer we are able to create, command and manage large sized BitTorrent swarms. The framework allows a user to run, schedule, start, stop clients within a swarm and collect information regarding their behavior.


title: An estimate for the average spectral measure of random band matrices

abstract: For a class of random band matrices of band width $W$, we prove regularity of the average spectral measure at scales $\epsilon \geq W^{-0.99}$, and find its asymptotics at these scales.


title: Algebraic Principles of Quantum Field Theory I: Foundation and an exact solution of BV QFT

abstract: This is the first in a series of papers on an attempt to understand quantum field theory mathematically. In this paper we shall introduce and study BV QFT algebra and BV QFT as the proto-algebraic model of quantum field theory by exploiting Batalin-Vilkovisky quantization scheme. We shall develop a complete theory of obstruction (anomaly) to quantization of classical observables and propose that expectation value of quantized observable is certain quantum homotopy invariant. We shall, then, suggest a new method, bypassing Feynman's path integrals, of computing quantum correlation functions when there is no anomaly. An exact solution for all quantum correlation functions shall be presented provided that the number of equivalence classes of observables is finite for each ghost numbers. Such a theory shall have its natural family parametrized by a smooth-formal moduli space in quantum coordinates, which notion generalize that of flat or special coordinates in topological string theories and shall be interpreted as an example of quasi-isomorphism of general QFT algebra.


title: On some embedding of recursively presented Lie algebras

abstract: In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of (nonassociative) words of generators and a+b=c, where a,b,c are generators.


title: Sets resilient to erosion

abstract: The erosion of a set in Euclidean space by a radius r>0 is the subset of X consisting of points at distance >/-r from the complement of X. A set is resilient to erosion if it is similar to its erosion by some positive radius. We give a somewhat surprising characterization of resilient sets, consisting in one part of simple geometric constraints on convex resilient sets, and, in another, a correspondence between nonconvex resilient sets and scale-invariant (e.g., 'exact fractal') sets.


title: Critical graphs without triangles: an optimum density construction

abstract: We construct dense, triangle-free, chromatic-critical graphs of chromatic number $k$ for all $k\geq 4$. For $k\geq 6$ our constructions have $> (\frac{1}{4} -\varepsilon)n^2$ edges, which is asymptotically best possible by Tur\'an's theorem. We also demonstrate (nonconstructively) the existence of dense $k$-critical graphs avoiding all odd cycles of length $\leq \ell$ for any $\ell$ and any $k\geq 4$, again with a best possible density of $>(\frac{1}{4} -\varepsilon)n^2$ edges for $k\geq 6$. The families of graphs without triangles or of given odd-girth are thus rare examples where we know the correct maximal density of $k$-critical members ($k\geq 6$).


title: Exploring the host environments of long-duration gamma-ray bursts

abstract: We have conducted the first dedicated spectroscopic survey of long-duration gamma-ray burst (LGRB) host galaxies at z < 1, and use these observations along with data from the literature to determine a wide range of ISM properties and a statistically robust mass-metallicity relation. LGRBs have been proposed as possible tracers of star formation at high redshift; however, such an association is dependent on a thorough understanding of the relationship between LGRB progenitors and their host environments. In particular, the metallicity of LGRB host galaxies has become a matter of hot debate in recent years. We conclude that LGRBs do exhibit a general trend toward lower-metallicity host galaxies, but also detect several high-metallicity hosts in our sample. We have also compared the energetic and environmental properties of the LGRBs in our sample, and find no statistically significant correlation between host metallicity and isotropic or beaming-corrected gamma-ray energy release. This is at odds with previous theoretical and observational predictions of an inverse correlation between gamma-ray energy release and host metallicity, and demonstrates that the complex role of metallicity in LGRB progenitor formation still remains unclear.


title: The Paley-Wiener Theorem and Limits of Symmetric Spaces

abstract: We extend the Paley--Wiener theorem for riemannian symmetric spaces to an important class of infinite dimensional symmetric spaces. For this we define a notion of propagation of symmetric spaces and examine the direct (injective) limit symmetric spaces defined by propagation. This relies on some of our earlier work on invariant differential operators and the action of Weyl group invariant polynomials under restriction.


title: A finite goal set in the plane which is not a Winner

abstract: J. Beck has shown that if two players alternately select previously unchosen points from the plane, Player 1 can always build a congruent copy of any given finite goal set G, in spite of Player 2's efforts to stop him. We give a finite goal set G (it has 5 points) which Player 1 cannot construct before Player 2 in this achievement game played in the plane.


title: Slip at Fluid-Solid Interface

abstract: The `no-slip' is a fundamental assumption and generally-accepted boundary condition in rheology, tribology and fluid mechanics with strong experimental support. The violations of this condition, however, are widely recognized in many situations, especially in the flow of non-Newtonian fluids. Wall slip could lead to large errors and flow instabilities, such as sharkskin formation and spurt flow, and hence complicates the analysis of fluid systems and introduces serious practical difficulties. In this article, we discuss slip at fluid-solid interface in an attempt to highlight the main issues related to this diverse complex phenomenon and its implications.


title: Electron-nuclear dynamics in a quantum dot under non-unitary electron control

abstract: We introduce a method for solving the problem of an externally controlled electron spin in a quantum dot interacting with host nuclei via the hyperfine interaction. Our method accounts for generalized (non-unitary) evolution effected by external controls and the environment, such as coherent lasers combined with spontaneous emission. As a concrete example we develop the microscopic theory of the dynamics of nuclear-induced frequency focusing, as first measured in Science 317, 1896 (2007); we find that the nuclear relaxation rates are several orders of magnitude faster than those quoted in that work.


title: Relating Church-Style and Curry-Style Subtyping

abstract: Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural modification to the type syntax for F-Omega-Sub, adding variable's bound to the variable type constructor, thereby separating the computational behavior of the variable from the context. The algorithm for subtyping in F-Omega-Sub can then be given on types without context or kind information. As a consequence, the metatheory follows the general approach for type systems without computational information in the context, including a simple logical relation definition without Kripke-style indexing by context. This new presentation of the system is shown to be equivalent to the traditional presentation without bounds on the variable type constructor.


title: Intersection Logic in sequent calculus style

abstract: The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, and in order to support this claim we give a sequent calculus formulation of it, and we prove that it enjoys the cut elimination property.


title: Sound and Complete Typing for lambda-mu

abstract: In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.


title: Intersection types for unbind and rebind

abstract: We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where it is used. Unbinding and rebinding are hierarchical, that is, the term can contain arbitrarily nested unbound terms, whose inside code can only be executed after a sequence of rebinds has been applied. Correspondingly, types are decorated with levels, and a term has type decorated with k if it needs k rebinds in order to reduce to a value. With intersection types we model the fact that a term can be used differently in contexts providing different numbers of unbinds. In particular, top-level terms, that is, terms not requiring unbinds to reduce to values, should have a value type, that is, an intersection type where at least one element has level 0. With the proposed intersection type system we get soundness under the call-by-value strategy, an issue which was not resolved by previous type systems.


title: The framework of the enclosure method with dynamical data and its applications

abstract: The aim of this paper is to establish the framework of the enclosure method for some class of inverse problems whose governing equations are given by parabolic equations with discontinuous coefficients. The framework is given by considering a concrete inverse initial boundary value problem for a parabolic equation with discontinuous coefficients. The problem is to extract information about the location and shape of unknown inclusions embedded in a known isotropic heat conductive body from a set of the input heat flux across the boundary of the body and output temperature on the same boundary. In the framework the original inverse problem is reduced to an inverse problem whose governing equation has a large parameter. A list of requirements which enables one to apply the enclosure method to the reduced inverse problem is given. Two new results which can be considered as the application of the framework are given. In the first result the background conductive body is assumed to be homogeneous and a family of explicit complex exponential solutions are employed. Second an application of the framework to inclusions in an isotropic inhomogeneous heat conductive body is given. The main problem is the construction of the special solution of the governing equation with a large parameter for the background inhomogeneous body required by the framework. It is shown that, introducing another parameter which is called the virtual slowness and making it sufficiently large, one can construct the required solution which yields an extraction formula of the convex hull of unknown inclusions in a known isotropic inhomogeneous conductive body.


title: Untangling Typechecking of Intersections and Unions

abstract: Intersection and union types denote conjunctions and disjunctions of properties. Using bidirectional typechecking, intersection types are relatively straightforward, but union types present challenges. For union types, we can case-analyze a subterm of union type when it appears in evaluation position (replacing the subterm with a variable, and checking that term twice under appropriate assumptions). This technique preserves soundness in a call-by-value semantics. Sadly, there are so many choices of subterms that a direct implementation is not practical. But carefully transforming programs into let-normal form drastically reduces the number of choices. The key results are soundness and completeness: a typing derivation (in the system with too many subterm choices) exists for a program if and only if a derivation exists for the let-normalized program.


title: Session Types = Intersection Types + Union Types

abstract: We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the problem of computing joins and meets of session types. Also, the subtyping relation turns out to be a pre-congruence, while this is not always the case in related behavioral theories.


title: Equality, Quasi-Implicit Products, and Large Eliminations

abstract: This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.


title: Parameter Optimization of Multi-Agent Formations based on LQR Design

abstract: In this paper we study the optimal formation control of multiple agents whose interaction parameters are adjusted upon a cost function consisting of both the control energy and the geometrical performance. By optimizing the interaction parameters and by the linear quadratic regulation(LQR) controllers, the upper bound of the cost function is minimized. For systems with homogeneous agents interconnected over sparse graphs, distributed controllers are proposed that inherit the same underlying graph as the one among agents. For the more general case, a relaxed optimization problem is considered so as to eliminate the nonlinear constraints. Using the subgradient method, interaction parameters among agents are optimized under the constraint of a sparse graph, and the optimum of the cost function is a better result than the one when agents interacted only through the control channel. Numerical examples are provided to validate the effectiveness of the method and to illustrate the geometrical performance of the system.


title: Spectroscopic Studies of Extremely Metal-Poor Stars with the Subaru High Dispersion Spectrograph. V. The Zn-Enhanced Metal-Poor Star BS 16920-017

abstract: We report Zn abundances for 18 very metal-poor stars studied in our previous work, covering the metallicity range -3.2 < [Fe/H] < -2.5. The [Zn/Fe] values of most stars show an increasing trend with decreasing [Fe/H] in this metallicity range, confirming the results found by previous studies. However, the extremely metal-poor star BS 16920-017 ([Fe/H] = -3.2) exhibits a significantly high [Zn/Fe] ratio ([Zn/Fe] = +1.0). Comparison of the chemical abundances of this object with HD 4306, which has similar atmospheric parameters to BS 16920-017, clearly demonstrates a deficiency of alpha elements and neutron-capture elements in this star, along with enhancements of Mn and Ni, as well as Zn. The association with a hypernova explosion that has been proposed to explain the high Zn abundance ratios found in extremely metal-poor stars is a possible explanation, although further studies are required to fully interpret the abundance pattern of this object.


title: Theoretical and simulation studies of characteristics of a Compton light source

abstract: Compton scattering of a laser beam with a relativistic electron beam has been used to generate intense, highly polarized and nearly monoenergetic x-ray or gamma-ray beams at many facilities. The ability to predict the spatial, spectral and temporal characteristics of a Compton gamma-ray beam is crucial for the optimization of the operation of a Compton light source as well as for the applications utilizing the Compton beam. In this paper, we present two approaches, one based upon analytical calculations and the other based upon Monte Carlo simulations, to study the Compton scattering process for various electron and laser beam parameters as well as different gamma-beam collimation conditions. These approaches have been successfully applied to characterize Compton gamma-ray beams, after being benchmarked against experimental results at the High Intensity Gamma-ray Source (HIGS) facility at Duke University.


title: Analyzing the absolute stability region of implicit methods of solving ODEs

abstract: Review of implicit methods of integrating system of stiff ordinary differential equations is presented. Defines and graphically presents absolute stability region for Gears methods (backward differentiation formula) used to solve system of stiff ordinary differential equations. Recommendations for selecting the order of Gears method are given.