title: Permutonestohedra

abstract: There are several real spherical models associated with a root arrangement, depending on the choice of a building set. The connected components of these models are manifolds with corners which can be glued together to obtain the corresponding real De Concini-Procesi models. In this paper, starting from any root system Phi with finite Coxeter group W and any W-invariant building set, we describe an explicit realization of the real spherical model as a union of polytopes (nestohedra) which lie inside the chambers of the arrangement. The main point of this realization is that the convex hull of these nestohedra is a larger polytope, a permutonestohedron, equipped with an action of W or also, depending on the building set, of Aut(Phi). The permutonestohedra are natural generalizations of Kapranov's permutoassociahedra.


title: Computation of the Hochschild Cohomology Algebra of the Down-Up Algebra $A(0,1,0)$

abstract: This document is supplementary material for the author's paper \emph{The cup product on hochschild cohomology for localizations of filtered koszul algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.


title: Supplementary Appendix for "Inference on Treatment Effects After Selection Amongst High-Dimensional Controls"

abstract: In this supplementary appendix we provide additional results, omitted proofs and extensive simulations that complement the analysis of the main text (arXiv:1201.0224).


title: The homology of $\mathrm{tmf}$

abstract: We compute the mod $2$ homology of the spectrum $\mathrm{tmf}$ of topological modular forms by proving a 2-local equivalence $\mathrm{tmf} \wedge DA(1) \simeq \mathrm{tmf}_1(3) \simeq BP\left \langle 2\right\rangle$, where $DA(1)$ is an eight cell complex whose cohomology "doubles" the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$. To do so, we give, using the language of stacks, a modular description of the elliptic homology of $DA(1)$ via level three structures. We briefly discuss analogs at odd primes and recover the stack-theoretic description of the Adams-Novikov spectral sequence for $\mathrm{tmf}$.


title: Photoproduction of $\pi^+p$ Pairs on the $^{16}$O Nucleus and Isobar Configurations

abstract: The yield of the $^{16}$O$(\gamma ,\pi^{+} p)$ reaction has been measured in the region of the excitation of the $\Delta(1232)$ isobar at high momentum transfers to the residual nuclear system. The experimental data are interpreted within the model taking into account of isobar configurations in the ground state of the $^{16}$O nucleus. Direct and exchange mechanisms of the production of pions with emission of one and two nucleons, which follow from the structures of the density matrices for these reactions, have been considered. The probability of the production of the $\Delta$ isobar in the ground state of the $^{16}$O nucleus has been empirically estimated as $P_ {\Delta} = 0.019 \pm 0.003 \pm 0.003$.


title: A two-dimensional lattice of blue detuned atom traps using a projected Gaussian beam array

abstract: We describe a new type of blue detuned optical lattice for atom trapping which is intrinsically two dimensional, while providing three-dimensional atom localization. The lattice is insensitive to optical phase fluctuations since it does not depend on field interference between distinct optical beams. The array is created using a novel arrangement of weakly overlapping Gaussian beams that creates a two-dimensional array of dark traps which are suitable for magic trapping of ground and Rydberg states. We analyze the spatial localization that can be achieved and demonstrate trapping and detection of single Cs atoms in 6 and 49 site two-dimensional arrays.


title: Revisiting $K\pi$ puzzle in the pQCD factorization approach

abstract: In this paper, we calculated the branching ratios and direct CP violation of the four $B\to K\pi$ decays with the inclusion of all currently known next-to-leading order (NLO) contributions by employing the perturbative QCD (pQCD) factorization approach. We found that (a) Besides the 10% enhancement from the NLO vertex corrections, the quark-loops and magnetic penguins, the NLO contributions to the form factors can provide an additional $\sim 15%$ enhancement to the branching ratios, and lead to a very good agreement with the data; (b) The NLO pQCD predictions are $\acp^{dir}(B^0\to K^+\pi^-)=(-6.5\pm 3.1)%$ and $\acp^{dir}(B^+\to K^+ \pi^0)=(2.2\pm 2.0)%$, become well consistent with the data due to the inclusion of the NLO contributions.


title: On node distributions for interpolation and spectral methods

abstract: A scaled Chebyshev node distribution is studied in this paper. It is proved that the node distribution is optimal for interpolation in $C_M^{s+1}[-1,1]$, the set of $(s+1)$-time differentiable functions whose $(s+1)$-th derivatives are bounded by a constant $M>0$. Node distributions for computing spectral differentiation matrices are proposed and studied. Numerical experiments show that the proposed node distributions yield results with higher accuracy than the most commonly used Chebyshev-Gauss-Lobatto node distribution.


title: Pairing of Zeros and Critical Points for Random Meromorphic Functions on Riemann Surfaces

abstract: We prove that zeros and critical points of a random polynomial $p_N$ of degree $N$ in one complex variable appear in pairs. More precisely, if $p_N$ is conditioned to have $p_N(\xi)=0$ for a fixed $\xi \in \C\backslash\set{0},$ we prove that there is a unique critical point z in the annulus $N^{-1-\ep}<\abs{z-\xi}< N^{-1+\ep}}$ and no critical points closer to $\xi$ with probability at least $1-O(N^{-3/2+3\ep}).$ We also prove an analogous statement in the more general setting of random meromorphic functions on a closed Riemann surface.


title: Risk-Aware Management of Distributed Energy Resources

abstract: High wind energy penetration critically challenges the economic dispatch of current and future power systems. Supply and demand must be balanced at every bus of the grid, while respecting transmission line ratings and accounting for the stochastic nature of renewable energy sources. Aligned to that goal, a network-constrained economic dispatch is developed in this paper. To account for the uncertainty of renewable energy forecasts, wind farm schedules are determined so that they can be delivered over the transmission network with a prescribed probability. Given that the distribution of wind power forecasts is rarely known, and/or uncertainties may yield non-convex feasible sets for the power schedules, a scenario approximation technique using Monte Carlo sampling is pursued. Upon utilizing the structure of the DC optimal power flow (OPF), a distribution-free convex problem formulation is derived whose complexity scales well with the wind forecast sample size. The efficacy of this novel approach is evaluated over the IEEE 30-bus power grid benchmark after including real operation data from seven wind farms.


title: On a non-local problem for mixed parabolic-hyperbolic type equation with non-smooth line of type changing

abstract: In the present article we investigate a boundary problem with non-local conditions for mixed parabolic-hyperbolic type equation with three lines of type changing. Considered mixed domain contains a rectangle as a parabolic part and three domains bounded by smooth curves and by type-changing lines as a hyperbolic part of the mixed domain. We prove the uniqueness applying energy integral method. The proof of the existence will be done by reducing the original problem into the system of the second kind Volterra integral equations.


title: Bounded Choice Queries for Logic Programming

abstract: Adding versatile interactions to goals and queries in logic programming is an essential task. Unfortunately, existing logic languages can take input from the user only via the $read$ construct. We propose to add a new interactive goal to allow for more controlled and more guided participation from the user. We illustrate our idea via \muprolog, an extension of Prolog with bounded choice goals.


title: On the isotope effects of ZrX2 (X = H, D and T): A First-principles study

abstract: Zirconium hydride is an important material for storage of hydrogen isotopes. Here we report the structural, electronic, vibrational and thermodynamic properties of ZrH2, ZrD2 and ZrT2 using density functional theory (DFT). The structural optimization was carried out by the plane-wave based pseudo-potential method under the generalized gradient approximation (GGA) scheme. The electronic structure of the ZrH2 compound was illustrated in terms of the electronic density of states, charge density distribution and the electron localization function. The phonon dispersion curves, phonon density of states and thermodynamic properties of ZrX2 (X= H, D, T) compounds were evaluated based on frozen phonon method. Both the Raman and infrared active vibrational modes of ZrX2 at {\Gamma}-point were analyzed which showed significant isotopic effect on ZrX2 compounds. For example, the energy gap between optical and acoustic modes reduces for ZrT2 than ZrD2 and ZrH2. The formation energies of ZrX2 compounds, including the ZPE contributions, were -113.97, -126.50 and -132.04 kJ/(mole of compound) for X = H, D and T, respectively.


title: On a New Notion of Partial Refinement

abstract: Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are universal in software development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate exceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.


title: Data refinement for true concurrency

abstract: The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many systems (e.g., multi-core processors, real-time controllers) also exhibit truly concurrent behaviour, where multiple events can occur simultaneously. This paper presents data refinement defined in terms of an interval-based framework, which includes high-level operators that capture non-deterministic expression evaluation. By modifying the type of an interval, our theory may be specialised to cover data refinement of both discrete and continuous systems. We present an interval-based encoding of forward simulation, then prove that our forward simulation rule is sound with respect to our data refinement definition. A number of rules for decomposing forward simulation proofs over both sequential and parallel composition are developed.


title: Modelling and Refinement in CODA

abstract: This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments Event-B with constructs for component-based modelling including components, communications ports, port connectors, timed communications and timing triggers. Component behaviour is specified through a combination of UML-B state machines and Event-B. CODA communications and timing are given an Event-B semantics through translation rules. Refinement is based on Event-B refinement and allows layered construction of CODA models in a consistent way.


title: Refining SCJ Mission Specifications into Parallel Handler Designs

abstract: Safety-Critical Java (SCJ) is a recent technology that restricts the execution and memory model of Java in such a way that applications can be statically analysed and certified for their real-time properties and safe use of memory. Our interest is in the development of comprehensive and sound techniques for the formal specification, refinement, design, and implementation of SCJ programs, using a correct-by-construction approach. As part of this work, we present here an account of laws and patterns that are of general use for the refinement of SCJ mission specifications into designs of parallel handlers used in the SCJ programming paradigm. Our notation is a combination of languages from the Circus family, supporting state-rich reactive models with the addition of class objects and real-time properties. Our work is a first step to elicit laws of programming for SCJ and fits into a refinement strategy that we have developed previously to derive SCJ programs.


title: Relaxing Behavioural Inheritance

abstract: Object-oriented (OO) inheritance allows the definition of families of classes in a hierarchical way. In behavioural inheritance, a strong version, it should be possible to substitute an object of a subclass for an object of its superclass without any observable effect on the system. Behavioural inheritance is related to formal refinement, but, as observed in the literature, the refinement constraints are too restrictive, ruling out many useful OO subclassings. This paper studies behavioural inheritance in the context of ZOO, an object-oriented style for Z. To overcome refinement's restrictions, this paper proposes relaxations to the behavioural inheritance refinement rules. The work is presented for Z, but the results are applicable to any OO language that supports design-by-contract.


title: Bisimilarity and refinement for hybrid(ised) logics

abstract: The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is en- dowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of this sort of systems. Therefore, the quest for suitable notions of equivalence and refinement between models of hybrid logic specifications becomes fundamental to any design discipline adopting this perspective. This paper contributes to this effort from a distinctive point of view: instead of focussing on a specific hybrid logic, the paper introduces notions of bisimilarity and refinement for hybridised logics, i.e. standard specification logics (e.g. propositional, equational, fuzzy, etc) to which modal and hybrid features were added in a systematic way.


title: Mid-infrared Spectral Properties of Post-Starburst Quasars

abstract: We present Spitzer InfraRed Spectrograph (IRS) low-resolution spectra of 16 spectroscopically selected post-starburst quasars (PSQs) at z ~ 0.3. The optical spectra of these broad-lined active galactic nuclei (AGNs) simultaneously show spectral signatures of massive intermediate-aged stellar populations making them good candidates for studying the connections between AGNs and their hosts. The resulting spectra show relatively strong polycyclic aromatic hydrocarbon (PAH) emission features at 6.2 and 11.3\micron and a very weak silicate feature, indicative of ongoing star formation and low dust obscuration levels for the AGNs. We find that the mid-infrared composite spectrum of PSQs has spectral properties between ULIRGs and QSOs, suggesting that PSQs are hybrid AGN and starburst systems as also seen in their optical spectra. We also find that PSQs in early-type host galaxies tend to have relatively strong AGN activities, while those in spiral hosts have stronger PAH emission, indicating more star formation.


title: Pion form factor and reactions e^+e^---> omega pi^0 and e^+e^---> pi^+ pi^- pi^+ pi^- at energies up to 2-3 GeV in the many-channel approach

abstract: Using the field-theory-inspired expression for the pion electromagnetic form factor F_\pi, a good description of the data in the range -10<s<1 GeV^2 is obtained upon taking into account the pseudoscalar-pseudoscalar (PP) loops. When the vector-pseudoscalar (VP) and the axial vector-pseudoscalar (AP) loops are taken into account in addition to the PP ones, a good description of the BABAR data on the reaction e^+e^--->pi^+ pi^- is obtained at energies up to 3 GeV. The inclusion of the VP and AP loops demands the treatment of the reactions e^+e^---> omega pi^0 and e^+e^---> pi^+ pi^- pi^+ pi^-. This task is also made, with the SND data on the omega pi^0 production and the BABAR data on the pi^+ pi^- pi^+ pi^- production, both in e^+e^- annihilation, upon taking into account \rho(770) and the heavier \rho(1450), \rho(1700), and \rho(2100) resonances. The problems with inclusion of the VP and AP loops are pointed out and discussed.


title: Graded Lie algebras of type FP

abstract: It will be shown that every N-graded Lie algebra generated in degree 1 of type FP with entropy less or equal to 1 must be finite-dimensional (cf. Thm. A). As a consequence every Koszul Lie algebra with entropy less or equal to 1 must be abelian (cf. Cor. C). These results are obtained from a generalized Witt formula (cf. Thm. D) for N-graded Lie algebras of type FP and the analysis of necklace polynomials at roots of unity.


title: Study on the multi-pass, multi-bunch beam breakup for 9-cell TESLA cavities in ERL

abstract: Generally, Energy Recovery Linac (ERL) needs special designed high current superconducting RF cavities. In this paper, the threshold current of BBU for compact ERL facilities with 9-cell Tesla type cavities are investigated. The results show that it is feasible to adopt 9-cell Tesla cavity for compact ERL test facilities with just a few cavities and beam current around tens mA.


title: Kinetics of Deposition of Oriented Superdisks

abstract: We use numerical Monte Carlo simulation to study kinetics of deposition of oriented superdisks, bounded by the Lame curves of the form $|x|^{2p}+|y|^{2p}=1$, on regular planar substrate. It was recently shown that the maximum packing density, as well as jamming density $\rho_{J}$, exhibit discontinuous derivative at $p=0.5$, when the shape changes from convex to concave form. By careful examination of the late-stage approach to the jamming limit, we find that the leading term in temporal development is also nonanalytic at $p=0.5$, and offer heuristic excluded-area arguments for this behavior.


title: Direct photon production and interferometry in $\sqrt{s}_{NN}$=200 GeV Au+Au and in $\sqrt{s}_{NN}$=2.76 TeV Pb+Pb collisions

abstract: Direct photon production, in $\sqrt{s_{NN}}$=200 GeV Au+Au and in $\sqrt{s_{NN}}$=2.76 TeV Pb+Pb collisions, are studied in a hydrodynamic model. Ideal hydrodynamic model, initialised to reproduce experimentally charged particle spectra in RHIC and LHC energy, also reproduces the PHENIX and ALICE measurements for the direct photon spectra in Au+Au collisions at RHIC and Pb+Pb collisions at LHC. The model however produces less elliptic flow than in experiment. Discrepancy between experiment and hydrodynamic simulation is comparatively less in Pb+Pb collisions at LHC than in Au+Au collisions at RHIC. We also studied direct photon correlation and determined the HBT radii. In 0-10%-50-60% collisions, HBT radii in Au+Au or in Pb+Pb collisions do not show large centrality dependence. Energy dependence of the HBT radii for direct photons is also not large.


title: Regularity and projective dimension of edge ideal of $C_5$-free vertex decomposable graphs

abstract: In this paper, we explain the regularity, projective dimension and depth of edge ideal of some classes of graphs in terms of invariants of graphs. We show that for a $C_5$-free vertex decomposable graph $G$, $\T{reg}(R/I(G))= c_G$, where $c_G$ is the maximum number of 3-disjoint edges in $G$. Moreover for this class of graphs we characterize $\T{pd}(R/I(G))$ and $\T{depth}(R/I(G))$. As a corollary we describe these invariants in forests and sequentially Cohen-Macaulay bipartite graphs.


title: Building Internal Cloud at NIC : A Preview

abstract: The most of computing environments in the IT support organization like NIC are designed to run in centralized datacentre. The centralized infrastructure of various development projects are used to deploy their services on it and connecting remotely to that datacentre from all the stations of organization. Currently these servers are mostly underutilized due to the static and conventional approaches used for accessing and utilizing of these resources. The cloud patterns is much needful for optimizing resource utilization and reducing the investments on unnecessary costs. So, we build up and prototyped a private cloud system called nIC(NIC Internal Cloud) to leverage the benefits of cloud environment. For this system we adopted the combination of various techniques from open source software community. The user-base of nIC consists developers, web and database admins, service providers and desktop users from various projects in NIC. We can optimize the resource usage by customizing the user based template services on these virtualized infrastructure. It will also increases the flexibility of the managing and maintenance of the operations like archiving, disaster recovery and scaling of resources. The open-source approach is further decreases the enterprise costs. In this paper, we describe the design and analysis of implementing issues on internal cloud environments in NIC and similar organizations.


title: Wigner-von Neumann type perturbations of periodic Schr\"odinger Operators

abstract: We consider decaying oscillatory perturbations of periodic Schr\"odinger operators on the half line. More precisely, the perturbations we study satisfy a generalized bounded variation condition at infinity and an $L^p$ decay condition. We show that the absolutely continuous spectrum is preserved, and give bounds on the Hausdorff dimension of the singular part of the resulting perturbed measure. Under additional assumptions, we instead show that the singular part embedded in the essential spectrum is contained in an explicit countable set. Finally, we demonstrate that this explicit countable set is optimal. That is, for every point in this set there is an open and dense class of periodic Schr\"odinger operators for which an appropriate perturbation will result in the spectrum having an embedded eigenvalue at that point.


title: Euclidian crystals in many-body systems: breakdown of Goldstone's theorem

abstract: In accord with Nambu-Goldstone theorem spontaneous breaking of a global continuous symmetry of the system by a mean-field order parameter causes appearance of massless Goldstone bosons, called also gapless Goldstone modes. It is demonstrated below that the theorem can be violated, i.e. the Goldstone modes possess finite gap, in the case of a novel "Euclidian crystal" (quantum ordered) state of interacting fermions, that was proposed recently {mukhin 2011}. This result may lead to the important consequences when considered in combination with another peculiar properties of the quantum order parameter (QOP) that where recently found: QOP's Green's function is finite and periodic along the Matsubara's axis, but Wick-rotated to the axis of real frequencies, possesses infinite periodic "chain" of \it{second order poles} along this axis {mukhin 2011}. This property of QOP leads to a remarkable physical consequence: \it{QOP does not scatter anything in Minkowski world} ! Hence, the present theory, we believe, may naturally indicate that two effects: "hidden order" revealed in ARPES spectra of fermi-excitations and "neutron resonance" feature at finite frequency in the magnetic (bosonic) excitations spectrum in lightly hole-doped copper oxides, could be emerging fingerprints of the Euclidian crystal state. A peculiar manifestation of the QOP self-consistent solution in the form of non-classical phonon states is described for an "electromagnetic Euclidian crystal" predicted recently {mukhin,fistul 2013} in the array of Josephson junctions coupled via electromagnetic field in the superconducting resonator. It is demonstrated that it may constitute a stable state of the system, that, for a particular quantum disordering model, exists inside the stability domain of the classical photonic condensate delimited by the critical value of the quantum disordering strength.


title: Problems on q-Analogs in Coding Theory

abstract: The interest in $q$-analogs of codes and designs has been increased in the last few years as a consequence of their new application in error-correction for random network coding. There are many interesting theoretical, algebraic, and combinatorial coding problems concerning these q-analogs which remained unsolved. The first goal of this paper is to make a short summary of the large amount of research which was done in the area mainly in the last few years and to provide most of the relevant references. The second goal of this paper is to present one hundred open questions and problems for future research, whose solution will advance the knowledge in this area. The third goal of this paper is to present and start some directions in solving some of these problems.


title: Fast and robust population transfer in two-level quantum systems with dephasing noise and/or systematic frequency errors

abstract: We design, by invariant-based inverse engineering, driving fields that invert the population of a two-level atom in a given time, robustly with respect to dephasing noise and/or systematic frequency shifts. Without imposing constraints, optimal protocols are insensitive to the perturbations but need an infinite energy. For a constrained value of the Rabi frequency, a flat $\pi$ pulse is the least sensitive protocol to phase noise but not to systematic frequency shifts, for which we describe and optimize a family of protocols.


title: Homogeneous Ricci soliton hypersurfaces in the complex hyperbolic spaces

abstract: A Lie hypersurface in the complex hyperbolic space is an orbit of a cohomogeneity one action without singular orbit. In this paper, we classify Ricci soliton Lie hypersurfaces in the complex hyperbolic spaces.


title: Information-Theoretic Approach to Efficient Adaptive Path Planning for Mobile Robotic Environmental Sensing

abstract: Recent research in robot exploration and mapping has focused on sampling environmental hotspot fields. This exploration task is formalized by Low, Dolan, and Khosla (2008) in a sequential decision-theoretic planning under uncertainty framework called MASP. The time complexity of solving MASP approximately depends on the map resolution, which limits its use in large-scale, high-resolution exploration and mapping. To alleviate this computational difficulty, this paper presents an information-theoretic approach to MASP (iMASP) for efficient adaptive path planning; by reformulating the cost-minimizing iMASP as a reward-maximizing problem, its time complexity becomes independent of map resolution and is less sensitive to increasing robot team size as demonstrated both theoretically and empirically. Using the reward-maximizing dual, we derive a novel adaptive variant of maximum entropy sampling, thus improving the induced exploration policy performance. It also allows us to establish theoretical bounds quantifying the performance advantage of optimal adaptive over non-adaptive policies and the performance quality of approximately optimal vs. optimal adaptive policies. We show analytically and empirically the superior performance of iMASP-based policies for sampling the log-Gaussian process to that of policies for the widely-used Gaussian process in mapping the hotspot field. Lastly, we provide sufficient conditions that, when met, guarantee adaptivity has no benefit under an assumed environment model.


title: Intrinsic Geometry and Analysis of Diffusion Processes and $L^\infty$-Variational Problems

abstract: The aim of this paper is two-fold: First, we obtain a better understanding of the intrinsic distance of diffusion processes. Precisely, (i) for all $n\ge1$, the diffusion matrix $A$ is weak upper semicontinuous on $\Omega$ if and only if the intrinsic differential and the local intrinsic distance structures coincide; (ii) if $n=1$, or if $n\ge2$ and $A$ is weak upper semicontinuous on $\Omega$, the intrinsic distance and differential structures always coincide; (iii) if $n\ge2$ and $A$ fails to be weak upper semicontinuous on $\Omega$, the (non-) coincidence of the intrinsic distance and differential structures depend on the geometry of the non-weak-upper-semicontinuity set of $A$. Second, for an arbitrary diffusion matrix $A$, we show that the intrinsic distance completely determines the absolute minimizer of the corresponding $L^\infty$-variational problem, and then obtain the existence and uniqueness for given boundary data. We also give an example of a diffusion matrix $A$ for which there is an absolute minimizer that is not of class $C^1$. When $A$ is continuous, we also obtain the linear approximation property of the absolute minimizer.


title: Measurement of the proton-proton total, elastic, inelastic and diffractive cross sections at 2, 7, 8 and 57 TeV

abstract: The measurement of the total $pp$ cross section and its various sub-components (elastic, inelastic and diffractive) is a very powerful tool to understand the proton macro structure and fundamental QCD dynamics. In this contribution I first provide a theoretical introduction to the topic, then a summary of the experimental techniques and finally I review the new results from AUGER and LHC experiments.


title: Fission process of low excited nuclei with Langevin approach

abstract: Fragment mass distributions from the fission of U and Pu isotopes at low excitation energies are studied using a dynamical model based on the fluctuation-dissipation theorem formulated as Langevin equations. The present calculations reproduced the overall trend of the asymmetric mass distribution without parameter adjustment for the first time using the Langevin approach. The Langevin trajectories show a complicated time evolution on the potential surface, which causes the time delay of fission, showing that dynamical treatment is vital. It was found that the shell effect of the potential energy landscape has a dominant role in determining the mass distribution, although it is rather insensitive to the strength of dissipation. Nevertheless, it is essential to include the effect of dissipation, since it has a crucial role in giving "fluctuation" to Langevin trajectories as well as for explaining the multiplicities of pre-scission neutrons as the excitation energy increases. Therefore, the present approach can serve as a basis for more refined analysis.


title: Perfect transfer of coherent state-based qubits via coupled cavities

abstract: Motivated by the need for communication of coherent state-based qubits in quantum computers, we introduce a method for perfect transferring of an arbitrary superposition of coherent states between two distant nodes of a linear array of three semiconductor QDs. The QDs trapped in a system of coupled cavities. In this method, the field mode of the cavities, as the resource of transferring of quantum states, are only virtually excited which minimizes the effect of decoherence due to photon loss.


title: Division problem for spatially periodic distributions

abstract: We give a sufficient condition for the surjectivity of partial differential operators with constant coefficients on a class of distributions on R^{n+1} (here we think of there being n space directions and one time direction), that are periodic in the spatial directions and tempered in the time direction.


title: Predicting a Prior for Planck

abstract: The quantum state of the universe combined with the structure of the landscape potential implies a prior that specifies predictions for observations. We compute the prior for CMB related observables given by the no-boundary wave function (NBWF) in a landscape model that includes a range of inflationary patches representative of relatively simple single-field models. In this landscape the NBWF predicts our classical cosmological background emerges from a region of eternal inflation associated with a plateau-like potential. The spectra of primordial fluctuations on observable scales are characteristic of concave potentials, in excellent agreement with the Planck data. By contrast, alternative theories of initial conditions that strongly favor inflation at high values of the potential are disfavored by observations in this landscape.


title: Ultra-high-energy head-on collisions without horizons or naked singulrities: general approach

abstract: Recently, alternatives to the Ba\~nados, Silk and West (BSW) effect were proposed which are (i) due to the existence of naked singularities instead of the horizon, (ii) require neither horizon nor naked singularity. We reveal the main features of such alternatives in a model-independent way. The metric should be close to that of the extremal black hole but the horizon should not form. Then, one can gain unbound the energy E_{c.m.} in the centre of mass frame due to head-on collision of particles near the would-be horizon. The energy measured at infinity can also be unbound. If instead of particles self-gravitating shells collide, the underlying reason leading to unbound E_{c.m.} is the same.


title: On the Decidability and Complexity of Some Fragments of Metric Temporal Logic

abstract: Metric Temporal Logic, $\mtlfull$ is amongst the most studied real-time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of time interval constraints $I$. \oomit{The classical results of Alur and Henzinger showed that $\mtlfull$ is undecidable where as $\mitl$ which uses only non-singular intervals $NS$ is decidable. In a surprizing result, Ouaknine and Worrell showed that the satisfiability of $\mtl$ is decidable over finite pointwise models, albeit with NPR decision complexity, whereas it remains undecidable for infinite pointwise models or for continuous time.} In this paper, we sharpen the decidability results by showing that the satisfiability of $\mtlsns$ (where $NS$ denotes non-singular intervals) is also decidable over finite pointwise strictly monotonic time. We give a satisfiability preserving reduction from the logic $\mtlsns$ to decidable logic $\mtl$ of Ouaknine and Worrell using the technique of temporal projections. We also investigate the decidability of unary fragment $\mtlfullunary$ (a question posed by A. Rabinovich) and show that $\mtlfut$ over continuous time as well as $\mtlfullunary$ over finite pointwise time are both undecidable. Moreover, $\mathsf{MTL}^{pw}[\fut_I]$ over finite pointwise models already has NPR lower bound for satisfiability checking. We also compare the expressive powers of some of these fragments using the technique of EF games for $\mathsf{MTL}$.


title: Inflation and Quantum Gravity in a Born-Oppenheimer Context

abstract: A general equation, describing the lowest order corrections coming from quantum gravitational effects to the spectrum of cosmological scalar fluctuations is obtained. These corrections are explicitly estimated for the case of a de Sitter evolution.


title: CO Cameron band and CO2+ UV doublet emissions in the dayglow of Venus: Role of CO in the Cameron band production

abstract: Present study deals with the model calculations of CO Cameron band and CO2+ ultraviolet doublet emissions in the dayglow of Venus. The overhead and limb intensities of CO Cameron band and CO2+ UV doublet emissions are calculated for low, moderate, and high solar activity conditions. Using updated cross sections, the impact of dierent e-CO cross section for Cameron band production is estimated. The electron impact on CO is the major source mechanism of Cameron band, followed by electron and photon impact dissociation of CO2. The overhead intensities of CO Cameron band and CO2+ UV doublet emissions are about a factor of 2 higher in solar maximum than those in solar minimum condition. The effect of solar EUV flux models on the emission intensity is ~30-40% in solar minimum condition and ~2-10% in solar maximum condition. At the altitude of emission peak (135 km), the model predicted limb intensity of CO Cameron band and CO2+ UV doublet emissions in moderate (F10.7 = 130) solar activity condition is about 2400 and 300 kR, respectively, which is in agreement with the very recently published SPICAV/Venus Express observation. The model limb intensity profiles of CO Cameron band and CO2+ UV doublet are compared with SPICAV observation. We also calculated intensities of N2 Vegard-Kaplan UV bands and OI 2972 {\AA} emissions during moderate and high solar activity conditions.


title: Diverging dc conductivity due to a flat band in disordered pseudospin-1 Dirac-Weyl fermions

abstract: Several lattices, such as the dice or the Lieb lattice, possess Dirac cones and a flat band crossing the Dirac point, whose effective model is the pseudospin-1 Dirac-Weyl equation. We investigate the fate of the flat band in the presence of disorder by focusing on the density of states (DOS) and dc conductivity. While the central hub-site does not reveal the presence of the flat band, the sublattice resolved DOS on the non-central sites exhibits a narrow peak with height ~ 1/\sqrt{g} with g the dimensionless disorder variance. Although the group velocity is zero on the flat band, the dc conductivity diverges as ln(1/g) with decreasing disorder due to interband transitions around the band touching point between the propagating and the flat band. Generalizations to higher pseudospin are given.


title: Fundamental relations in multialgebras. Applications

abstract: Based on the properties of the poset of those equivalence relations of a multialgebra for which the factor multialgebra is a universal algebra, we give a characterization for the fundamental relations of a multialgebra. We point out the benefits of our approach by giving two applications. One of them provides a new characterization of the commutative fundamental relation of a hyperring, and the other will give a general category theoretical property of the construction of the fundamental algebras (both in the general case and in the hyperring case).


title: Dark-matter admixed white dwarfs

abstract: We study the equilibrium structures of white dwarfs with dark matter cores formed by non-self-annihilating dark matter DM particles with mass ranging from 1 GeV to 100 GeV, which are assumed to form an ideal degenerate Fermi gas inside the stars. For DM particles of mass 10 GeV and 100 GeV, we find that stable stellar models exist only if the mass of the DM core inside the star is less than O(10^-3) Msun and O(10^-6) Msun, respectively. The global properties of these stars, and in particular the corresponding Chandrasekhar mass limits, are essentially the same as those of traditional white dwarf models without DM. Nevertheless, in the 10 GeV case, the gravitational attraction of the DM core is strong enough to squeeze the normal matter in the core region to densities above neutron drip, far above those in traditional white dwarfs. For DM with particle mass 1 GeV, the DM core inside the star can be as massive as around 0.1 Msun and affects the global structure of the star significantly. In this case, the radius of a stellar model with DM can be about two times smaller than that of a traditional white dwarf. Furthermore, the Chandrasekhar mass limit can also be decreased by as much as 40%. Our results may have implications on to what extent type Ia supernovae can be regarded as standard candles - a key assumption in the discovery of dark energy.


title: Fast and accurate sentiment classification using an enhanced Naive Bayes model

abstract: We have explored different methods of improving the accuracy of a Naive Bayes classifier for sentiment analysis. We observed that a combination of methods like negation handling, word n-grams and feature selection by mutual information results in a significant improvement in accuracy. This implies that a highly accurate and fast sentiment classifier can be built using a simple Naive Bayes model that has linear training and testing time complexities. We achieved an accuracy of 88.80% on the popular IMDB movie reviews dataset.


title: Lognormal intensity distribution of the FUV continuum background shortward of Ly-alpha

abstract: The diffuse far-ultraviolet (FUV) continuum radiation "longward" of Ly-alpha (1216A) is well known to correlate with the dust emission at 100 um. However, it has been claimed that the FUV continuum background "shortward" of Ly-alpha shows very weak or no correlation with the 100 um emission. In this paper, the observational data of the diffuse FUV radiation by the Far Ultraviolet Spectroscopic Explorer is reexamined in order to investigate the correlation between the diffuse FUV radiation shortward of Ly-alpha and the 100 um emission. Large fluctuations were confirmed in the linear-linear correlation plots, but good correlations were found in the log-log plots. The large fluctuations in the linear-linear plots, and thus poor correlations, between the FUV and 100 um intensities were attributed to the lognormal property of the FUV intensity distribution. The standard deviation of the intensity distribution of the FUV radiation shortward of Ly-alpha was found to be sigma_log I = 0.16-0.25. The result is consistent with that obtained not only for the FUV radiation longward of 1216A, but also with the dust column density measurements of various molecular clouds. This implies that most of the diffuse FUV radiation shortward of Ly-alpha is dust-scattered light in the turbulent interstellar medium. The diffuse FUV data obtained from the Voyager missions was also investigated. However, much wider random fluctuations were found compared with the FUSE data, which is most likely due to the systematic difficulties in data reduction of the Voyager data.


title: Through thick and thin: Structure of the Galactic thick disc from extragalactic surveys

abstract: We aim to understand the accretion history of the Milky Way by exploring the vertical and radial properties of the Galactic thick disc. We study the chemical and kinematic properties of roughly a thousand spectra of faint magnitude foreground Galactic stars observed serendipitously during extra-galactic surveys in four lines-of-sight: three in the southern Galactic hemisphere (surveys of the Carina, Fornax and Sculptor dwarf spheroidal galaxies) and one in the northern Galactic hemisphere (a survey of the Sextans dwarf spheroidal galaxy). The foreground stars span distances up to 3kpc from the Galactic plane and Galactocentric radii up to 11kpc. Only three lines-of-sight have a sufficient number of foreground stars for a robust analysis. Towards Sextans in the Northern Galactic hemisphere and Sculptor in the South, we measure a consistent decrease in mean metallicity with height from the Galactic plane, suggesting a chemically symmetric thick disc. This decrease can either be due to an intrinsic thick disc metallicity gradient, or simply due to a change in the thin disc/thick disc population ratio and no intrinsic metallicity gradients for the thick disc. We favour the latter explanation. In contrast, we find evidence of an unpredicted metal-poor population in the direction of Carina. This population was earlier detected by Wyse et al. (2006), but our more detailed analysis provides robust estimates of its location (|Z|<1kpc), metallicity (-2<[M/H]<-1 dex) and azimuthal orbital velocity (V_phi ~120 km/s). Given the chemo-dynamical properties of the over-density towards the Carina line-of-sight, we suggest that it represents the metal-poor tail of the canonical thick disc. In spite of the small number of stars available, we suggest that this metal-weak thick disc follows the often suggested thick disc velocity-metallicity correlation of dV_phi/d[M/H]~40-50km/s/dex.


title: Streamforce: outsourcing access control enforcement for stream data to the clouds

abstract: As tremendous amount of data being generated everyday from human activity and from devices equipped with sensing capabilities, cloud computing emerges as a scalable and cost-effective platform to store and manage the data. While benefits of cloud computing are numerous, security concerns arising when data and computation are outsourced to a third party still hinder the complete movement to the cloud. In this paper, we focus on the problem of data privacy on the cloud, particularly on access controls over stream data. The nature of stream data and the complexity of sharing data make access control a more challenging issue than in traditional archival databases. We present Streamforce - a system allowing data owners to securely outsource their data to the cloud. The owner specifies fine-grained policies which are enforced by the cloud. The latter performs most of the heavy computations, while learning nothing about the data. To this end, we employ a number of encryption schemes, including deterministic encryption, proxy-based attribute based encryption and sliding-window encryption. In Streamforce, access control policies are modeled as secure continuous queries, which entails minimal changes to existing stream processing engines, and allows for easy expression of a wide-range of policies. In particular, Streamforce comes with a number of secure query operators including Map, Filter, Join and Aggregate. Finally, we implement Streamforce over an open source stream processing engine (Esper) and evaluate its performance on a cloud platform. The results demonstrate practical performance for many real-world applications, and although the security overhead is visible, Streamforce is highly scalable.


title: Valeur propre minimale d'une matrice de Toeplitz et d'un produit de matrices de Toeplitz

abstract: This paper is essentially devoted to the study of the minimal eigenvalue $\lambda_{N,\alpha}$ of the Toepllitz matrice $T_N(\varphi_{\alpha})$ where $\varphi_{\alpha}(e^{i \theta})=|1- e^{i \theta} |^{2\alpha} c_{1}(e^{i \theta})$ with $c_{1}$ a positive sufficiently smooth function and $0<\alpha<\frac{1}{2}$. We obtain $\lambda_{N,\alpha}\sim c_{\alpha}N^{-2\alpha}c_{1}(1)$ when $N$ goes to the infinity and we have the bounds of $c_{\alpha}$. To obtain the asymptotic of $\lambda_{N,\alpha}$ we give a theorem which suggests that the entries of $T_N^{-1}(\varphi_{\alpha})$ and $T_N (\varphi^{-1}_\alpha)$ are closely related. If $\alpha_1 + \alpha_2 > \frac{1}{2}$ we obtain the asymptotic of the minimal eigenvalue of $T_N (\varphi_{\alpha_1}) T_N (\varphi_{\alpha_2}).$


title: Goodhart, Charles A.E. and Tsomocos, Dimitros P.: The challenge of financial stability: a new model and its applications

abstract: This review of the book "The Challenge of Financial Stability: A New Model and its Applications" by Goodhart C.A.E. and Tsomocos D.P. highlights the potential of the framework of strategic partial default of banks with credit chain on the interbank market for further theoretical and applied research on financial stability.


title: A versatile simulator for specular reflectivity study of multi-layer thin films

abstract: A versatile X-ray/neutron reflectivity (specular) simulator using LabVIEW(National Instruments Corp.) for structural study of a multi-layer thin film having any combination, including the repetitions, of nano-scale layers of different materials is presented here (available to download from the link provided at the end of the paper). Inclusion of absorption of individual layers, inter-layer roughnesses, background counts, beam width, instrumental resolution and footprint effect due to finite size of the sample makes the simulated reflectivity close to practical one. The effect of multiple reflection is compared with simulated curves following the exact dynamical theory and approximated kinematical theory. The applicability of further approximation (Born theory) that the incident angle does not change significantly from one layer to another due to refraction is also considered. Brief discussion about reflection from liquid surface/interface and reflectivity study using polarized neutron are also included as a part of the review. Auto-correlation function in connection with the data inversion technique is discussed with possible artifacts for phase-loss problem. An experimental specular reflectivity data of multi-layer erbium stearate Langmuir-Blodgett (LB) film is considered to estimate the parameters by simulating the reflectivity curve.


title: Measurement of physical parameters with a weight function method and its application to the Higgs boson mass reconstruction

abstract: We propose a new method to measure various physical parameters, using characteristic weight functions. This method requires only lepton energy distribution and ideally it does not depend on the velocity of the parent particle. We demonstrate an application of this method by simulating a reconstruction of the Higgs boson mass in the H-> WW -> lnu lnu decay mode at the LHC. We show that systematic errors are suppressed compared to statistical errors. In the vector boson fusion channel, the statistical accuracy of the mass determination is estimated to be +12% and -14% at an integrated luminosity of 100fb^{-1}, assuming the Higgs boson mass to be 125GeV and root{s}=14TeV.


title: Effects of Channel Aging in Massive MIMO Systems

abstract: MIMO communication may provide high spectral efficiency through the deployment of a very large number of antenna elements at the base stations. The gains from massive MIMO communication come from the use of multi-user MIMO on the uplink and downlink, but with a large excess of antennas at the base station compared to the number of served users. Initial work on massive MIMO did not fully address several practical issues associated with its deployment. This paper considers the impact of channel aging on the performance of massive MIMO systems. The effects of channel variation are characterized as a function of different system parameters assuming a simple model for the channel time variations at the transmitter. Channel prediction is proposed to overcome channel aging effects. The analytical results on aging show how capacity is lost due to time variation in the channel. Numerical results in a multicell network show that massive MIMO works even with some channel variation and that channel prediction could partially overcome channel aging effects.


title: Cauchy integrals for the p-Laplace equation in planar Lipschitz domains

abstract: We construct solutions to p-Laplace type equations in unbounded Lipschitz domains in the plane with prescribed boundary data in appropriate fractional Sobolev spaces. Our approach builds on a Cauchy integral representation formula for solutions.


title: On the geometric phase and the scattering at the LHC

abstract: We discuss appearance at the LHC energies of the geometric phase, which in its turn can reflect a presence of the non-factorizable background geometry proposed in the RS-scenario with extra spatial dimensions.


title: Comparison of HI and optical redshifts of galaxies - The impact of redshift uncertainties on spectral line stacking

abstract: Accurate optical redshifts will be critical for spectral co-adding techniques used to extract detections from below the noise level in ongoing and upcoming surveys for HI, which will extend our current understanding of gas reservoirs in galaxies to lower column densities and higher redshifts. We have used existing, high quality optical and radio data from the SDSS and ALFALFA surveys to investigate the relationship between redshifts derived from optical spectroscopy and neutral hydrogen (HI) spectral line observations. We find that the two redshift measurements agree well, with a negligible systematic offset and a small distribution width. Employing simple simulations, we determine how the width of an ideal stacked HI profile depends on these redshift offsets, as well as larger redshift errors more appropriate for high redshift galaxy surveys. The width of the stacked profile is dominated by the width distribution of the input individual profiles when the redshift errors are less than the median width of the input profiles, and only when the redshift errors become large, ~150 km/s, do they significantly affect the width of the stacked profile. This redshift accuracy can be achieved with moderate resolution optical spectra. We provide guidelines for the number of spectra required for stacking to reach a specified mass sensitivity, given telescope and survey parameters, which will be useful for planning optical spectroscopy observing campaigns to supplement the radio data.


title: 7Be charge exchange between 7Be3+ ion and exotic long-lived negatively charged massive particle in big bang nucleosynthesis

abstract: The existence of an exotic long-lived negatively charged massive particle, i.e., X-, during big bang nucleosynthesis can affect primordial light element abundances. Especially, the final abundance of 7Li, mainly originating from the electron capture of 7Be, has been suggested to reduce by the 7Be destruction via the radiative X- capture of 7Be followed by the radiative proton capture of the bound state of 7Be and X- (7BeX). We suggest a new route of 7BeX formation, that is the 7Be charge exchange at the reaction of 7Be3+ ion and X-. The formation rate depends on the number fraction of 7Be3+ ion, the charge exchange cross section of 7Be3+, and the probability that produced excited states 7BeX* are converted to the ground state. We estimate respective quantities affecting the 7BeX formation rate, and find that this reaction pathway can be more important than ordinary radiative recombination of 7Be and X-. The effect of the charge exchange reaction is then shown in a latest nuclear reaction network calculation. Quantum physical model calculations for related reactions are needed to precisely estimate the efficiency of this pathway in future.


title: Estimating Average Causal Effects Under General Interference, with Application to a Social Network Experiment

abstract: This paper presents a randomization-based framework for estimating causal effects under interference between units, motivated by challenges that arise in analyzing experiments on social networks. The framework integrates three components: (i) an experimental design that defines the probability distribution of treatment assignments, (ii) a mapping that relates experimental treatment assignments to exposures received by units in the experiment, and (iii) estimands that make use of the experiment to answer questions of substantive interest. We develop the case of estimating average unit-level causal effects from a randomized experiment with interference of arbitrary but known form. The resulting estimators are based on inverse probability weighting. We provide randomization-based variance estimators that account for the complex clustering that can occur when interference is present. We also establish consistency and asymptotic normality under local dependence assumptions. We discuss refinements including covariate-adjusted effect estimators and ratio estimation. We evaluate empirical performance in realistic settings with a naturalistic simulation using social network data from American schools. We then present results from a field experiment on the spread of anti-conflict norms and behavior among school students.


title: Uniqueness results for semilinear elliptic systems on $\R^n$

abstract: In this paper we establish uniqueness criteria for positive radially symmetric finite energy solutions of semilinear elliptic systems of the form \begin{align*} \begin{aligned} - \Delta u &= f(|x|,u,v)\quad\text{in}\R^n, - \Delta v &= f(|x|,v,u)\quad\text{in}\R^n. \end{aligned} \end{align*} As an application we consider the following nonlinear Schr\"odinger system \begin{align*} \begin{aligned} - \Delta u + u &= u^{2q-1} + b u^{q-1}v^q\quad\text{in}\R^n, - \Delta v + v &= v^{2q-1} + b v^{q-1}u^q \quad\text{in}\R^n. \end{aligned} \end{align*} for $b>0$ and exponents $q$ which satisfy $1<q<\infty$ in case $n\in\{1,2\}$ and $1<q<\frac{n}{n-2}$ in case $n\geq 3$. Generalizing the results of Wei and Yao dealing with the case $q=2$ we find new sufficient conditions and necessary conditions on $b,q,n$ such that precisely one positive solution exists. Our results dealing with the special case $n=1$ are optimal.


title: A Geometric Approach to Combinatorial Fixed-Point Theorems

abstract: We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In doing so, we obtain (1) new Tucker-like and Sperner-like fixed-point theorems involving an exponential-sized label set; (2) a generalization of Fan's parity proof of Tucker's Lemma to a much broader class of label sets; and (3) direct proofs of several Sperner-like lemmas from Tucker's lemma via explicit geometric embeddings, without the need for topological fixed-point theorems. Our work naturally suggests several interesting open questions for future research.


title: Observation of Higher-Order Sideband Transitions and First-Order Sideband Rabi Oscillations in a Superconducting Flux Qubit Coupled to a SQUID Plasma Mode

abstract: We report results of spectroscopic measurements and time-domain measurements of a superconducting flux qubit. The dc superconducting quantum interference device (SQUID), used for readout of the qubit, and a shunt capacitor formed an LC resonator generating a SQUID plasma mode. Higher-order red and blue sidebands were observed in a simple measurement scheme because the resonant energy of the resonator, 600 MHz, was comparable to the thermal energy. We also observed Rabi oscillations on the carrier transition and the first-order sideband transitions. Because the qubit was coupled to a single arm of the dc SQUID, the qubit-SQUID coupling was significant at zero bias current, where these phenomena were observed. The ratios between the Rabi periods for the carrier transition and the sideband transitions are compared with those estimated from the coupling constant, which was separately determined. The result may be explained by assuming initial excitation of the resonator.


title: Electron-phonon interaction on the surface of a 3D topological insulator

abstract: We analyze the role of a Rayleigh surface phonon mode in the electron-phonon interaction at the surface of a 3D topological insulator. A strong renormalization of the phonon dispersion, leading eventually to the disappearance of Rayleigh phonons, is ruled out in the ideal case of a continuum long-wavelength limit, which is only justified if the surface is clean and defect free. The absence of backscattering for Dirac electrons at the Fermi surface is partly responsible for the reduced influence of the electron-phonon interaction. A pole in the dielectric response function due to the Rayleigh phonon dispersion could drive the electron-electron interaction attractive at low frequencies. However, the average pairing interaction within the weak coupling approach is found to be too small to induce a surface superconducting instability.


title: Power Control for D2D Underlaid Cellular Networks: Modeling, Algorithms and Analysis

abstract: This paper considers a device-to-device (D2D) underlaid cellular network where an uplink cellular user communicates with the base station while multiple direct D2D links share the uplink spectrum. This paper proposes a random network model based on stochastic geometry and develops centralized and distributed power control algorithms. The goal of the proposed power control algorithms is two-fold: ensure the cellular users have sufficient coverage probability by limiting the interference created by underlaid D2D users, while also attempting to support as many D2D links as possible. For the distributed power control method, expressions for the coverage probabilities of cellular and D2D links are derived and a lower bound on the sum rate of the D2D links is provided. The analysis reveals the impact of key system parameters on the network performance. For example, the bottleneck of D2D underlaid cellular networks is the cross-tier interference between D2D links and the cellular user, not the D2D intra-tier interference. Numerical results show the gains of the proposed power control algorithms and accuracy of the analysis.


title: Categorification of tensor powers of the vector representation of $U_q(\mathfrak{gl}(1|1))$

abstract: We consider the monoidal subcategory of finite dimensional representations of $U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we provide a diagram calculus for the intertwining operators, which allows to compute explicitly the canonical basis. We construct then a categorification of these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and the intertwining operators using subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$.


title: First results from a study of DIBs with thousands of high-quality massive-star spectra

abstract: We are using five different surveys to compile the largest sample of diffuse interstellar band (DIB) measurements ever collected. GOSSS is obtaining intermediate-resolution blue-violet spectroscopy of ~2500 OB stars, of which 60% have already been observed and processed. The other four surveys have already collected multi-epoch high-resolution optical spectroscopy of 700 OB stars with different telescopes, including the 9 m Hobby-Eberly Telescope in McDonald Observatory. Some of our stars are highly-extinguished targets for which no good-quality optical spectra have ever been published. For all of the targets in our sample we have obtained accurate spectral types, measured non-DIB ISM lines, and compiled information from the literature to calculate the extinction. Here we present the first results of the project, the properties of twenty DIBs in the 4100-5500 {\AA} range. We clearly detect a couple of previously elusive DIBs at 4170 {\AA} and 4591 {\AA}; the latter could have coronene and ovalene cations as carriers.


title: On a Generalization of the Ryser-Brualdi-Stein Conjecture

abstract: A rainbow matching for (not necessarily distinct) sets F_1,...,F_k of hypergraph edges is a matching consisting of k edges, one from each F_i. The aim of the paper is twofold - to put order in the multitude of conjectures that relate to this concept (some of them first presented here), and to present some partial results on one of these conjectures, that seems central among them.


title: A comparison of high order explicit Runge-Kutta, extrapolation, and deferred correction methods in serial and parallel

abstract: We compare the three main types of high-order one-step initial value solvers: extrapolation, spectral deferred correction, and embedded Runge--Kutta pairs. We consider orders four through twelve, including both serial and parallel implementations. We cast extrapolation and deferred correction methods as fixed-order Runge--Kutta methods, providing a natural framework for the comparison. The stability and accuracy properties of the methods are analyzed by theoretical measures, and these are compared with the results of numerical tests. In serial, the 8th-order pair of Prince and Dormand (DOP8) is most efficient. But other high order methods can be more efficient than DOP8 when implemented in parallel. This is demonstrated by comparing a parallelized version of the well-known ODEX code with the (serial) DOP853 code. For an $N$-body problem with $N=400$, the experimental extrapolation code is as fast as the tuned Runge--Kutta pair at loose tolerances, and is up to two times as fast at tight tolerances.


title: Reconstruction of a Rotational Wavepacket of Inverted Molecular Ions in an Intense Femtosecond Laser Field

abstract: We report on generation of a rotational wavepacket in the ground vibronic state (v = 0) of excited electronic B2{\Sigma}u+ state of N2+ in a femtosecond laser induced plasma spark. Decoding of the rotational wavepacket is achieved with the frequency-resolved seed-amplified air laser spectrum resulting from the population inversion between the B2{\Sigma}u+-X2{\Sigma}g+ states of N2+ in the plasma. We also observe that the rotational wave-packet leads to modulation of the amplified seed signals in the time domain using a pump-probe scheme, which can be well reproduced by theoretical calculation. Our results demonstrate that the air laser provides an ideal probe for remote characterization of molecular rotational states distribution in a femtosecond laser induced filament.


title: Obscured AGN at z~1 from the zCOSMOS-Bright Survey I. Selection and Optical Properties of a [Ne v]-selected sample

abstract: A sample of 94 narrow line AGN with 0.65<z<1.20 has been selected from the 20k-Bright zCOSMOS galaxy sample by detection of the high-ionization [NeV]3426 line. Taking advantage of the large amount of data available in the COSMOS field, the properties of the [NeV]-selected Type-2 AGN have been investigated, focusing on their host galaxies, X-ray emission, and optical line flux ratios. Finally, the diagnostic developed by Gilli et al. (2010), based on the X-ray to [NeV] luminosity ratio, has been exploited to search for the more heavily obscured AGN. We found that [Ne v]-selected narrow line AGN have Seyfert 2-like optical spectra, although with emission line ratios diluted by a star-forming component. The ACS morphologies and stellar component in the optical spectra indicate a preference for our Type-2 AGN to be hosted in early-spirals with stellar masses greater than 10^(9.5-10)Msun, on average higher than those of the galaxy parent sample. The fraction of galaxies hosting [NeV]-selected obscured AGN increases with the stellar mass, reaching a maximum of about 3% at 2x10^11 Msun. A comparison with other selection techniques at z~1 shows that the detection of the [Ne v] line is an effective method to select AGN in the optical band, in particular the most heavily obscured ones, but can not provide by itself a complete census of AGN2. Finally, the high fraction of [NeV]-selected Type-2 AGN not detected in medium-deep Chandra observations (67%) is suggestive of the inclusion of Compton-thick sources in our sample. The presence of a population of heavily obscured AGN is corroborated by the X-ray to [NeV] ratio; we estimated, by mean of X-ray stacking technique and simulations, that the Compton-thick fraction in our sample of Type-2 AGN is 43+-4%, in good agreement with standard assumptions by the XRB synthesis models.


title: Are collapse models testable with quantum oscillating systems? The case of neutrinos, kaons, chiral molecules

abstract: Collapse models provide a theoretical framework for understanding how classical world emerges from quantum mechanics. Their dynamics preserves (practically) quantum linearity for microscopic systems, while it becomes strongly nonlinear when moving towards macroscopic scale. The conventional approach to test collapse models is to create spatial superpositions of mesoscopic systems and then examine the loss of interference, while environmental noises are engineered carefully. Here we investigate a different approach: We study systems that naturally oscillate --creating quantum superpositions-- and thus represent a natural case-study for testing quantum linearity: neutrinos, neutral mesons, and chiral molecules. We will show how spontaneous collapses affect their oscillatory behavior, and will compare them with environmental decoherence effects. We will show that, contrary to what previously predicted, collapse models cannot be tested with neutrinos. The effect is stronger for neutral mesons, but still beyond experimental reach. Instead, chiral molecules can offer promising candidates for testing collapse models.


title: On Properties of the Intrinsic Geometry of Submanifolds in a Riemannian Manifold

abstract: In the paper we study the properties of a metric function which is the extension by continuity of the intrinsic metric of the interior of a submanifold to its boundary. This approach is the development of the classical intrinsic geometry of surfaces studied by A.D. Alexandrov and his school.


title: Observation of modulation instability in a nonlinear magnetoinductive waveguide

abstract: We report numerical and experimental investigations into modulation instability in a nonlinear magnetoinductive waveguide. By numerical simulation we find that modulation instability occurs in an electrical circuit model of a magnetoinductive waveguide with third-order nonlinearity. We fabricate the nonlinear magnetoinductive waveguide for microwaves using varactor-loaded split-ring resonators and observe the generation of modulation instability in the waveguide. The condition for generating modulation instability in the experiment roughly agrees with that in the numerical analysis.


title: Why isolated streamer discharges hardly exist above the breakdown field in atmospheric air

abstract: We investigate streamer formation in the troposphere, in electric fields above the breakdown threshold. With fully three-dimensional particle simulations, we study the combined effect of natural background ionization and of photoionization on the discharge morphology. In previous investigations based on deterministic fluid models without background ionization, so-called double-headed streamers emerged. But in our improved model, many electron avalanches start to grow at different locations. Eventually the avalanches collectively screen the electric field in the interior of the discharge. This happens after what we call the `ionization screening time', for which we give an analytical estimate. As this time is comparable to the streamer formation time, we conclude that isolated streamers are unlikely to exist in fields well above breakdown in atmospheric air.


title: Symmetry breaking in a bulk-surface reaction-diffusion model for signaling networks

abstract: Signaling molecules play an important role for many cellular functions. We investigate here a general system of two membrane reaction-diffusion equations coupled to a diffusion equation inside the cell by a Robin-type boundary condition and a flux term in the membrane equations. A specific model of this form was recently proposed by the authors for the GTPase cycle in cells. We investigate here a putative role of diffusive instabilities in cell polarization. By a linearized stability analysis we identify two different mechanisms. The first resembles a classical Turing instability for the membrane subsystem and requires (unrealistically) large differences in the lateral diffusion of activator and substrate. The second possibility on the other hand is induced by the difference in cytosolic and lateral diffusion and appears much more realistic. We complement our theoretical analysis by numerical simulations that confirm the new stability mechanism and allow to investigate the evolution beyond the regime where the linearization applies.


title: Ultra-large Mode Area Microstructured Core Chalcogenide Fiber Design for Mid-IR Beam Delivery

abstract: An all solid large modearea (LMA) chalcogenide based microstructured core optical fiber (MCOF) is designed and proposed for high power handling in the mid IR spectral regime, covering the entire second transparency window of the atmosphere (3 to 5 microns). The core of the proposed specialty fiber is composed of a few rings of high index rods arranged in a pattern of hexagon. Dependence of effective mode area on the pitch and radius of high index rods are studied. Ultra high effective mode area up to 75000 micron square can be achieved over this specific wavelength range while retaining its single mode characteristic. A negligible confinement loss along with a low dispersion slope (near 0.03 ps/km-nm square) and a good beam quality factor (M2 1.17) should make this LMA fiber design attractive for fabrication as a potential candidate suitable for high power, passive applications at the mid IR wavelength regime.


title: Disorder induced loss of magnetization in Lieb's graphene quantum dots

abstract: The stability of the magnetization in Lieb graphene quantum dots (GQD) against disorder is studied. Such systems exhibit the degenerate shell of edge states in the middle of the energy gap occupied by spin polarized electrons. Disorder affects the energy spectrum and leads to the removal of the degeneracy, and in a consequence the loss of the magnetization. We find that there is a critical value of disorder strength over which the magnetization starts dropping. We first consider GQDs with different shapes and edge termination and compare the effect of bulk and edge disorder. We find that bulk disorder influences the energy spectrum far away from the Fermi level while edge disorder affects states in the vicinity of it. We next focus on Lieb GQDs with a single zigzag edge. The stability of the ferromagnetic order against disorder strength is analyzed for structures with a different edge length. The probability of getting maximal spin polarization is determined.


title: New Construction of Authentication Codes with Arbitration from Pseudo-Symplectic Geometry over Finite Fields

abstract: A new construction of authentication codes with arbitration from pseudo-symplectic geometry over finite fields is given. The parameters and the probabilities of deceptions of the codes are also computed.


title: Hopfian and co-hopfian subsemigroups and extensions

abstract: This paper investigates the preservation of hopficity and co-hopficity on passing to finite-index subsemigroups and extensions. It was already known that hopficity is not preserved on passing to finite Rees index subsemigroups, even in the finitely generated case. We give a stronger example to show that it is not preserved even in the finitely presented case. It was also known that hopficity is not preserved in general on passing to finite Rees index extensions, but that it is preserved in the finitely generated case. We show that, in contrast, hopficity is not preserved on passing to finite Green index extensions, even within the class of finitely presented semigroups. Turning to co-hopficity, we prove that within the class of finitely generated semigroups, co-hopficity is preserved on passing to finite Rees index extensions, but is not preserved on passing to finite Rees index subsemigroups, even in the finitely presented case. Finally, by linking co-hopficity for graphs to co-hopficity for semigroups, we show that without the hypothesis of finite generation, co-hopficity is not preserved on passing to finite Rees index extensions.


title: On Snake cones, Alternating cones and related constructions

abstract: We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and investigate homotopical differences between these four constructions. Finally, we explicitly describe the second homology group of the Hawaiian tori wedge.


title: The precision of line position measurements of unresolved quasar absorption lines and its influence on the search for variations of fundamental constants

abstract: Optical quasar spectra can be used to trace variations of the fine-structure constant alpha. Controversial results that have been published in last years suggest that in addition to to wavelength calibration problems systematic errors might arise because of insufficient spectral resolution. The aim of this work is to estimate the impact of incorrect line decompositions in fitting procedures due to asymmetric line profiles. Methods are developed to distinguish between different sources of line position shifts and thus to minimize error sources in future work. To simulate asymmetric line profiles, two different methods were used. At first the profile was created as an unresolved blend of narrow lines and then, the profile was created using a macroscopic velocity field of the absorbing medium. The simulated spectra were analysed with standard methods to search for apparent shifts of line positions that would mimic a variation of fundamental constants. Differences between position shifts due to an incorrect line decomposition and a real variation of constants were probed using methods that have been newly developed or adapted for this kind of analysis. The results were then applied to real data. Apparent relative velocity shifts of several hundred meters per second are found in the analysis of simulated spectra with asymmetric line profiles. It was found that each system has to be analysed in detail to distinguish between different sources of line position shifts. A set of 16 FeII systems in seven quasar spectra was analysed. With the methods developed, the mean alpha variation that appeared in these systems was reduced from the original Dalpha/alpha=(2.1+/-2.0)x10^-5 to Dalpha/alpha=(0.1+/-0.8)x10^-5. We thus conclude that incorrect line decompositions can be partly responsible for the conflicting results published so far.


title: The atmospheric structure and fundamental parameters of the red supergiants AH Sco, UY Sct and KW Sgr

abstract: We present the atmospheric structure and the fundamental properties of the red supergiants (RSGs) AH Sco, UY Sct, and KW Sgr based on VLTI/AMBER observations. We carried out spectro-interferometric observations of AH Sco, UY Sct, and KW Sgr in the near-infrared K band with the VLTI/AMBER instrument, and compared the data to a new grid of hydrostatic PHOENIX model atmospheres. In our visibility data, we observe molecular layers of water and CO in extended atmospheres. For a uniform disk modeling, we observe size increases at the water band of 10% to 25% and at the CO bandheads of 20%-35% with respect to the near continuum bandpass. The PHOENIX atmosphere models predict the spectra and the continuum visibility values, but cannot reproduce the large extensions of the molecular layers. This indicates that the opacities of the molecular bands are included, but that the model atmospheres are too compact compared to the observations. The observed extended layers may be levitated by processes such as pulsation or convection, which are not included in the hydrostatic atmospheric models. Comparing the continuum visibility values to PHOENIX models, we estimate the Rosseland-mean photospheric angular diameters. Together with the distance and the spectro-photometry, we calculate radii and effective temperatures. The location of the targets in the HR-diagram is confirmed to be close to, and possibly slightly to the right of, the Hayashi limit of recent evolutionary tracks corresponding to masses between about 20 Msun and 40 Msun


title: A Model Construction of Self-similarity based Double Parton Distribution Functions for proton-proton collision at LHC

abstract: We construct a model for double parton distribution functions (dPDFs) based on the notion of self-similarity, pursued earlier for small \textit{x} physics at HERA. The most general form of dPDFs contains total thirteen parameters to be fitted from data of proton-proton collision at LHC. It is shown that the constructed dPDF does not factorize into two single PDFs in conformity with QCD expectation, and it satisfies the condition that at the kinematic boundary $x_{1}+x_{2}=1 $ (where $x_{1}$ and $x_{2}$ are the longitudinal fractional momenta of two partons), the dPDF vanishes.


title: Importance of Q-values in astrophysical rp-proces

abstract: The importance of measuring Q-values in rapid proton capture process has been investigated. The microscopic optical model, derived using a nucleon nucleon interaction and densities from relativistic mean field calculations, has been utilized to calculate the reaction rates. It has been observed that the Q-values involved in the reactions at waiting points at A = 60 and 64 are very important in determining the final abundance of the process. Some other Q-values also play a crucial role in the final abundance of nuclei near the end point of the process.


title: On the automorphisms of moduli spaces of curves

abstract: In the last years the biregular automorphisms of the Deligne-Mumford's and Hassett's compactifications of the moduli space of n-pointed genus g smooth curves have been extensively studied by A. Bruno and the authors. In this paper we give a survey of these recent results and extend our techniques to some moduli spaces appearing as intermediate steps of the Kapranov's and Keel's realizations of $\bar{M}_{0,n}$, and to the degenerations of Hassett's spaces obtained by allowing zero weights.


title: Commutant structuture of Ux...xUxU* transformations

abstract: In this paper we have found irreducible representations (irreps) of the algebra of partially transposed permutation operators on last subsystem. We give here direct method of irreps construction for an arbitrary number of subsystems n and local dimension d. Our method is inspired by representation theory of symmetric group S(n), theory of Brauer Algebras and Walled Brauer Algebras.


title: Full abstraction for fair testing in CCS

abstract: In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully abstract for fair testing equivalence. The proof relies on a new algebraic notion called playground, which represents the 'rule of the game'. From any playground, two languages, equipped with labelled transition systems, are derived, as well as a strong, functional bisimulation between them.


title: Dirac operator on noncommutative principal circle bundles

abstract: We study spectral triples over noncommutative principal U(1)-bundles of arbitrary dimension and formulate a compatibility condition between the connection and the Dirac operator on the total space and on the base space of the bundle. Examples of low dimensional noncommutative tori are analyzed in more detail and all connections found that are compatible with an admissible Dirac operator. Conversely, a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection is exhibited. These examples are extended to the theta-deformed principal U(1)-bundle S^3_\theta -> S^2.


title: Special Open Sets in Manifold Calculus

abstract: Embedding Calculus, as described by Weiss, is a calculus of functors, suitable for studying contravariant functors from the poset of open subsets of a smooth manifold M, denoted O(M), to a category of topological spaces (of which the functor Emb(-,N) for some fixed manifold N is a prime example). Polynomial functors of degree k can be characterized by their restriction to O_k(M), the full subposet of O(M) consisting of open sets which are a disjoint union of at most k components, each diffeomorphic to the open unit ball. In this work, we replace O_k(M) by more general subposets and see that we still recover the same notion of polynomial cofunctor.


title: Improved Branch-and-Bound for Low Autocorrelation Binary Sequences

abstract: The Low Autocorrelation Binary Sequence problem has applications in telecommunications, is of theoretical interest to physicists, and has inspired many optimisation researchers. Metaheuristics for the problem have progressed greatly in recent years but complete search has not progressed since a branch-and-bound method of 1996. In this paper we find four ways of improving branch-and-bound, leading to a tighter relaxation, faster convergence to optimality, and better empirical scalability.


title: Pathwise versions of the Burkholder-Davis-Gundy inequality

abstract: We present a new proof of the Burkholder-Davis-Gundy inequalities for $1\leq p<\infty$. The novelty of our method is that these martingale inequalities are obtained as consequences of elementary deterministic counterparts. The latter have a natural interpretation in terms of robust hedging.


title: Lattice Boltzmann method to study the contraction of a viscous ligament

abstract: We employ a recently formulated axisymmetric version of the multiphase Shan-Chen (SC) lattice Boltzmann method (LBM) [Srivastava et al, in preparation (2013)] to simulate the contraction of a liquid ligament. We compare the axisymmetric LBM simulation against the slender jet (SJ) approximation model [T. Driessen and R. Jeurissen, IJCFD {\bf 25}, 333 (2011)]. We compare the retraction dynamics of the tail-end of the liquid ligament from the LBM simulation, the SJ model, Flow3D simulations and a simple model based on the force balance (FB). We find good agreement between the theoretical prediction (FB), the SJ model, and the LBM simulations.


title: Classical simulation complexity of extended Clifford circuits

abstract: Clifford gates are a winsome class of quantum operations combining mathematical elegance with physical significance. The Gottesman-Knill theorem asserts that Clifford computations can be classically efficiently simulated but this is true only in a suitably restricted setting. Here we consider Clifford computations with a variety of additional ingredients: (a) strong vs. weak simulation, (b) inputs being computational basis states vs. general product states, (c) adaptive vs. non-adaptive choices of gates for circuits involving intermediate measurements, (d) single line outputs vs. multi-line outputs. We consider the classical simulation complexity of all combinations of these ingredients and show that many are not classically efficiently simulatable (subject to common complexity assumptions such as P not equal to NP). Our results reveal a surprising proximity of classical to quantum computing power viz. a class of classically simulatable quantum circuits which yields universal quantum computation if extended by a purely classical additional ingredient that does not extend the class of quantum processes occurring.


title: Latest jets results from the LHC

abstract: A fundamental characteristic of hadron colliders is the abundant production of jets, which then are studied to learn about hard QCD, the proton structure, or nonperturbative effects. In the following the latest results and developments from the LHC experiments on jet cross sections, event shapes, flavour and rapidity dependence, and cross section ratios are presented. The ratio of the inclusive 3-jet to the inclusive 2-jet event cross section is used for a first determination of the strong coupling constant at the TeV scale.


title: The M-Principal Graph of a Commutative Ring

abstract: This paper has been withdrawn by the author because there are some typos in proofs.


title: On weak $\alpha$-skew McCoy Rings

abstract: Let $\alpha$ be an endomorphism of a ring $R$. We introduce the notion of weak $\alpha$-skew McCoy rings which are a generalization of the $\alpha$-skew McCoy rings and the weak McCo rings. Some properties of this generalization are established, and connections of properties of a weak $\alpha$-skew McCoy ring $R$ with $n\times n$ upper triangular $T_n(R)$ are investigated. We study relationship between the weak skew McCoy property of a ring $R$ and it's polynomial ring, $R[x]$. Among applications, we show that a number of interesting properties of a weak $\alpha$-skew McCoy ring $R$ such as weak skew McCoy property in a ring $R$.


title: Doping Evolution of Nodal Band Renormalization in Bi2Sr2CuO6+d Superconductor Revealed by Laser-Based Angle-Resolved Photoemission Spectroscopy

abstract: High resolution laser-based angle-resolved photoemission measurements have been carried out on Bi2Sr2CuO6+d superconductor covering a wide doping range from heavily underdoped to heavily overdoped samples. Two obvious energy scales are identified in the nodal dispersions: one is the well-known 50-80 meV high energy kink and the other is <10 meV low energy kink. The high energy kink increases monotonously in its energy scale with increasing doping and shows weak temperature dependence, while the low energy kink exhibits a non-monotonic doping dependence with its coupling strength enhanced sharply below Tc. These systematic investigations on the doping and temperature dependence of these two energy scales favor electron-phonon interactions as their origin. They point to the importance in involving the electron-phonon coupling in understanding the physical properties and the superconductivity mechanism of high temperature cuprate superconductors.


title: Maximum 4-degenerate subgraph of a planar graph

abstract: A graph $G$ is $k$-degenerate if it can be transformed into an empty graph by subsequent removals of vertices of degree $k$ or less. We prove that every connected planar graph with average degree $d \ge 2$ has a 4-degenerate induced subgraph containing at least $(38-d)/36$ of its vertices. This shows that every planar graph of order $n$ has a 4-degenerate induced subgraph of order more than $8/9 \cdot n$. We also consider a local variation of this problem and show that in every planar graph with at least 7 vertices, deleting a suitable vertex allows us to subsequently remove at least 6 more vertices of degree four or less.


title: The Wiener and Terminal Wiener indices of trees

abstract: Heydari \cite{heydari2013} presented very nice formulae for the Wiener and terminal Wiener indices of generalized Bethe trees. It is pity that there are some errors for the formulae. In this paper, we correct these errors and characterize all trees with the minimum terminal Wiener index among all the trees of order $n$ and with maximum degree $\Delta$.


title: Observation of Multi-Electromagnetically Induced Transparency in V-type Rubidium atoms

abstract: A detailed experimental investigation and theoretical analysis have been made in the V-type 85Rb atomic medium. Seven induced transparency windows, including a central double-peak-structure, have been observed experimentally when a coupling field and a probe field are applied into the ground and first excited states. By taking into account the hyperfine splitting of the excited state, our theoretical analysis gives good explanation for the observed phenomena.


title: Lower estimates of top Lyapunov exponent for cooperative random systems of linear ODEs

abstract: For cooperative random linear systems of ordinary differential equations a method is presented of obtaining lower estimates of the top Lyapunov exponent. The proofs are based on applying some polynomial Lyapunov-like function. Known estimates for the dominant eigenvalue of a nonnegative matrix due to G. Frobenius and L. Yu. Kolotilina are shown to be specializations of our results.


title: The M-Regular Graph of a Commutative Ring

abstract: Let $R$ be a commutative ring and $M$ be an $R$-module, and let $Z(M)$ be the set of all zero-divisors on $M$. In 2008, D.F. Anderson and A. Badawi introduced the regular graph of $R$. In this paper, we generalize the regular graph of $R$ to the \textit{$M$-regular graph} of $R$, denoted by $M$-$Reg(\Gamma(R))$. It is the undirected graph with all $M$-regular elements of $R$ as vertices, and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(M)$. The basic properties and possible structures of the $M$-$Reg(\Gamma(R))$ are studied. We determine the girth of the $M$-regular graph of $R$. Also, we provide some lower bounds for the independence number and the clique number of the $M$-$Reg(\Gamma(R))$. Among other results, we prove that for every Noetherian ring $R$ and every finitely generated module $M$ over $R$, if $2\notin Z(M)$ and the independence number of the $M$-$Reg(\Gamma(R))$ is finite, then $R$ is finite.


title: A Rigidity Result for a Reduced Model of a Cubic-to-Orthorhombic Phase Transition in the Geometrically Linear Theory of Elasticity

abstract: We study a simplified two-dimensional model for a cubic-to-orthorhombic phase transition occuring in certain shape-memory-alloys. In the low temperature regime the linear theory of elasticity predicts various possible patterns of martensite arrangements: Apart from the well known laminates this phase transition displays additional structures involving four martensitic variants -- so called crossing twins. Introducing a variational model including surface energy, we show that these structures are rigid under small energy perturbations. Combined with an upper bound construction this gives the optimal scaling behavior of incompatible microstructures. These results are related to papers by Capella and Otto as well as to a paper by Dolzmann and M\"uller.


title: Maximal displacement in a branching random walk through interfaces

abstract: In this article, we study a branching random walk in an environment which depends on the time. This time-inhomogeneous environment consists of a sequence of macroscopic time intervals, in each of which the law of reproduction remains constant. We prove that the asymptotic behaviour of the maximal displacement in this process consists of a first ballistic order, given by the solution of an optimization problem under constraints, a negative logarithmic correction, plus stochastically bounded fluctuations.


title: Agreeing to disagree, some ironies, disappointing scientific practice and a call for better: reply to <<The poor performance of TMM on microRNA-Seq>>

abstract: This letter is a response to a Divergent Views article entitled <<The poor performance of TMM on microRNA-Seq>> (Garmire and Subramaniam 2013), which was a response to our Divergent Views article entitled <<miRNA-seq normalization comparisons need improvement>> (Zhou et al. 2013). Using reproducible code examples, we showed that they incorrectly used our normalization method and highlighted additional concerns with their study. Here, I wish to debunk several untrue or misleading statements made by the authors (hereafter referred to as GS) in their response. Unlike GSs, my claims are supported by R code, citations and email correspondences. I finish by making a call for better practice.


title: Dynamic Management Techniques for Increasing Energy Efficiency within a Data Center

abstract: In ours days data centers provide the global community an indispensable service: nearly unlimited access to almost any kind of information we can imagine by supporting most Internet services such as: Web hosting and E-commerce services. Because of their capacity and their work, data centers have various impacts on the environment, but those related with the electricity use are by far the most important. In this paper, we present several power and energy management techniques for data centers and we will focus our attention on techniques that are explicitly tailored to servers and their workloads.


title: Direct coupling information measure from non-uniform embedding

abstract: A measure to estimate the direct and directional coupling in multivariate time series is proposed. The measure is an extension of a recently published measure of conditional Mutual Information from Mixed Embedding (MIME) for bivariate time series. In the proposed measure of Partial MIME (PMIME), the embedding is on all observed variables, and it is optimized in explaining the response variable. It is shown that PMIME detects correctly direct coupling, and outperforms the (linear) conditional Granger causality and the partial transfer entropy. We demonstrate that PMIME does not rely on significance test and embedding parameters, and the number of observed variables has no effect on its statistical accuracy, it may only slow the computations. The importance of these points is shown in simulations and in an application to epileptic multi-channel scalp EEG.

categories: physics.data-an cs.IT math.IT nlin.CD stat.ME


title: Immersed Spheres of Finite Total Curvature into Manifolds

abstract: We prove that a sequence of possibly branched, weak immersions of the two-sphere $S^2$ into an arbitrary compact riemannian manifold $(M^m,h)$ with uniformly bounded area and uniformly bounded $L^2-$norm of the second fundamental form either collapse to a point or weakly converges as current, modulo extraction of a subsequence, to a Lipschitz mapping of $S^2$ and whose image is made of a connected union of finitely many, possibly branched, weak immersions of $S^2$ with finite total curvature. We prove moreover that if the sequence belongs to a class $\gamma$ of $\pi_2(M^m)$ the limiting lipschitz mapping of $S^2$ realizes this class as well.


title: Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation

abstract: Chiron is a derivative of von-Neumann-Bernays-G\"odel (NBG) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. Unlike traditional set theories such as Zermelo-Fraenkel (ZF) and NBG, Chiron is equipped with a type system, lambda notation, and definite and indefinite description. The type system includes a universal type, dependent types, dependent function types, subtypes, and possibly empty types. Unlike traditional logics such as first-order logic and simple type theory, Chiron admits undefined terms that result, for example, from a function applied to an argument outside its domain or from an improper definite or indefinite description. The most noteworthy part of Chiron is its facility for reasoning about the syntax of expressions. Quotation is used to refer to a set called a construction that represents the syntactic structure of an expression, and evaluation is used to refer to the value of the expression that a construction represents. Using quotation and evaluation, syntactic side conditions, schemas, syntactic transformations used in deduction and computation rules, and other such things can be directly expressed in Chiron. This paper presents the syntax and semantics of Chiron, some definitions and simple examples illustrating its use, a proof system for Chiron, and a notion of an interpretation of one theory of Chiron in another.