title: The First MAXI/GSC Catalog in the High Galactic-Latitude Sky

abstract: We present the first unbiased source catalog of the Monitor of All-sky X-ray Image (MAXI) mission at high Galactic latitudes ($|b| > 10^{\circ}$), produced from the first 7-month data (2009 September 1 to 2010 March 31) of the Gas Slit Camera in the 4--10 keV band. We develop an analysis procedure to detect faint sources from the MAXI data, utilizing a maximum likelihood image fitting method, where the image response, background, and detailed observational conditions are taken into account. The catalog consists of 143 X-ray sources above 7 sigma significance level with a limiting sensitivity of $\sim1.5\times10^{-11}$ ergs cm$^{-2}$ s$^{-1}$ (1.2 mCrab) in the 4--10 keV band. Among them, we identify 38 Galactic/LMC/SMC objects, 48 galaxy clusters, 39 Seyfert galaxies, 12 blazars, and 1 galaxy. Other 4 sources are confused with multiple objects, and one remains unidentified. The log $N$ - log $S$ relation of extragalactic objects is in a good agreement with the HEAO-1 A-2 result, although the list of the brightest AGNs in the entire sky has significantly changed since that in 30 years ago.


title: Two-Way Quantum Communication: `Secure Quantum Information Exchange'-II. Generalization to Arbitrary Number of Qubits

abstract: In this paper, we generalize the secure quantum information exchange (SQIE) protocol, originally proposed by the authors [J. Phys. B: At. Mol. Opt. Phys. 44 (2011) 115504] for secure exchange of one qubit information with each of Alice and Bob, to the case of secure exchange of quantum information of arbitrary qubits with Alice and Bob. We also discuss security of the original and generalized SQIE protocols with respect to the number of qubits with controller, Charlie.


title: Substitution effects of Ag/Cu and Al/Cu on Y123 samples: Hall anomaly and transport properties

abstract: The Hall effect and its associated anomalies offer an important means for describing superconducting property in cuprate compounds. Here, we investigate the electron- and hole-doping effects (implemented through Al- and Ag-doping, respectively) on the Hall effect and transport properties of Y123 superconducting materials (YBa2Cu3-xXxO7-d; X= Ag, Al). The Hall anomaly, in both normal and vortex states, generally depends on multiple factors, such as temperature, magnetic field, and amount/type of doping. Specifically, for our samples, we observed that hole doping first enhances the critical temperature TC, whereas its excess beyond a threshold value (here x=0.15) decreases TC; electron doping, however, decreases TC. We also show how doping changes the critical current density JC at temperature 77K with magnetic field 9kOe. More importantly, all of our samples exhibited one Hall sign reversal. Interestingly, behavior of the Hall coefficient vs. temperature reveals that the Hall dip vs. magnetic field for Ag - doped samples shows a behavior opposite to that for Al-doped samples.


title: The "Jeans Swindle": the end of a myth?

abstract: The Jeans model is shown to be self-consistent, so that the "Jeans Swindle" has never taken place.


title: A sentiment analysis of Singapore Presidential Election 2011 using Twitter data with census correction

abstract: Sentiment analysis is a new area in text analytics where it focuses on the analysis and understanding of the emotions from the text patterns. This new form of analysis has been widely adopted in customer relation management especially in the context of complaint management. With increasing level of interest in this technology, more and more companies are adopting it and using it to champion their marketing efforts. However, sentiment analysis using twitter has remained extremely difficult to manage due to the sampling bias. In this paper, we will discuss about the application of using reweighting techniques in conjunction with online sentiment divisions to predict the vote percentage that individual candidate will receive. There will be in depth discussion about the various aspects using sentiment analysis to predict outcomes as well as the potential pitfalls in the estimation due to the anonymous nature of the internet.


title: Quasielastic neutron scattering by concentrated aqueous "single-nano buckydiamond" dispersion

abstract: The diffusion characteristics of stable aqueous dispersion of "single-nano buckydiamond" concentration 80 mg/ml, average particle size 8 nm and pure water as the reference system were investigated by quasielastic neutron scattering. The difference of these spectra were analyzed by two ways. In the first way dispersion water was described as the two-component system, consisted of bulk water and a small additive having presumably the lorentzian form (Hydration water, HW). This additive is located in the nearest surrounding of nano-diamond particle. The second approach included the direct subtraction of dispersion water and bulk water spectra, properly normalized in the regions of their wings, where the influence of HW can be neglected. For both cases of analysis, the relative fraction HW appeared to be about 3%. HW was found to have diffusive mobility which is retarded as compared to bulk water due to the weakening of the rotational component of diffusion and the increased residence lifetime of molecules.


title: Analogs of Cramer's rule for the least squares solutions of some matrix equations

abstract: The least squares solutions with the minimum norm of the matrix equations ${\rm {\bf A}}{\rm {\bf X}} = {\rm {\bf B}}$, ${\rm {\bf X}}{\rm {\bf A}} = {\rm {\bf B}}$ and ${\rm {\bf A}}{\rm {\bf X}}{\rm {\bf B}} ={\rm {\bf D}} $ are considered in this paper. We use the determinantal representations of the Moore - Penrose inverse obtained earlier by the author and get analogs of the Cramer rule for the least squares solutions of these matrix equations.


title: Binary mixture of hard disks as a model glass former: Caging and uncaging

abstract: I have proposed a measure for the cage effect in glass forming systems. A binary mixture of hard disks is numerically studied as a model glass former. A network is constructed on the basis of the colliding pairs of disks. A rigidity matrix is formed from the isostatic (rigid) sub--network, corresponding to a cage. The determinant of the matrix changes its sign when an uncaging event occurs. Time evolution of the number of the uncaging events is determined numerically. I have found that there is a gap in the uncaging timescales between the cages involving different numbers of disks. Caging of one disk by two neighboring disks sustains for a longer time as compared with other cages involving more than one disk. This gap causes two--step relaxation of this system.


title: Compositeness of dynamically generated states in a chiral unitary approach

abstract: The structure of dynamically generated states in the chiral unitary approach is studied from a viewpoint of their compositeness. We analyze the properties of bound states, virtual states, and resonances in a single-channel chiral unitary approach, paying attention to the energy dependence of the chiral interaction. We define the compositeness of a bound state using the field renormalization constant which is given by the overlap of the bare state and the physical state in the nonrelativistic quantum mechanics, or by the residue of the bound state propagator in the relativistic field theory. The field renormalization constant enables one to define a normalized quantitative measure of compositeness of the bound state. Applying this scheme to the chiral unitary approach, we find that the bound state generated by the energy-independent interaction is always a purely composite particle, while the energy-dependent chiral interaction introduces the elementary component, depending on the value of the cutoff parameter. This feature agrees with the analysis of the effective interaction by changing the cutoff parameter. A purely composite bound state can be realized by the chiral interaction only when the bound state lies at the threshold or when the strength of the two-body attractive interaction is infinitely large. The natural renormalization scheme, introduced by the property of the loop function and the matching with the chiral low-energy theorem, is shown to generate a bound state which is dominated by the composite structure when the binding energy is small.


title: The update complexity of selection and related problems

abstract: We present a framework for computing with input data specified by intervals, representing uncertainty in the values of the input parameters. To compute a solution, the algorithm can query the input parameters that yield more refined estimates in form of sub-intervals and the objective is to minimize the number of queries. The previous approaches address the scenario where every query returns an exact value. Our framework is more general as it can deal with a wider variety of inputs and query responses and we establish interesting relationships between them that have not been investigated previously. Although some of the approaches of the previous restricted models can be adapted to the more general model, we require more sophisticated techniques for the analysis and we also obtain improved algorithms for the previous model. We address selection problems in the generalized model and show that there exist 2-update competitive algorithms that do not depend on the lengths or distribution of the sub-intervals and hold against the worst case adversary. We also obtain similar bounds on the competitive ratio for the MST problem in graphs.


title: Interiors of SdS and RNdS Spacetime with Pressure and Cosmological Constant

abstract: We extend in this article the charged fluid with pressure derived by Bijalwan (2011a, 2011b) in presence of a cosmological constant.


title: Balanced ternary addition using a gated silicon nanowire

abstract: We demonstrate the proof of principle for a ternary adder using silicon metal-on-insulator single electron transistors (SET). Gate dependent rectifying behavior of a single electron transistor results in a robust three-valued output as a function of the potential of the SET island. Mapping logical, ternary inputs to the three gates controlling the potential of the SET island allows us to perform complex, inherently ternary operations, on a single transistor.


title: Neutrons from multifragmentation reactions

abstract: The neutron emission in the fragmentation of stable and radioactive Sn and La projectiles of 600 MeV per nucleon has been studied with the Large Neutron Detector LAND coupled to the ALADIN forward spectrometer at SIS. A cluster-recognition algorithm is used to identify individual particles within the hit distributions registered with LAND. The obtained momentum distributions are extrapolated over the full phase space occupied by the neutrons from the projectile-spectator source. The mean multiplicities of spectator neutrons reach values of up to 12 and depend strongly on the isotopic composition of the projectile. An effective source temperature of T approx. 3 - 4 MeV is deduced from the transverse momentum distributions. For the interpretation of the data, calculations with the Statistical Multifragmentation Model for a properly chosen ensemble of excited sources were performed. The possible modification of the liquid-drop parameters of the fragment description in the hot environment is studied, and a significant reduction of the symmetry-term coefficient is found necessary to simultaneously reproduce the neutron multiplicities and the mean neutron-to-proton ratios <N>/Z of Z <= 10 fragments. Because of the similarity of the freeze-out conditions with those encountered in supernova scenarios, this is of astrophysical interest.


title: Simulation of energy barrier distributions using real particle parameters and comparison with experimental obtained results

abstract: In this work we compare previously measured energy barriers over the course of temperature with the results of simulations of the behaviour of the energy barriers. For the measurements the temperature dependent magnetorelaxation method (TMRX) was used. For the simulations of the energy barrier distribution we have used the real particles properties such as anisotropy and core size volume of the fractions of two magnetically fractionated ferrofluids. There is a good agreement between the simulated behaviour and the experimental obtained results. The influence of the particle volume concentration and agglomeration on the energy barrier distribution has been investigated. Finally the simulations confirm a previously published explanation for an experimentally obtained relaxation effect.


title: An Anti-attack Model Based on Complex Network Theory in P2P networks

abstract: Complex network theory is a useful way to study many real systems. In this paper, an anti-attack model based on complex network theory is introduced. The mechanism of this model is based on dynamic compensation process and reverse percolation process in P2P networks. The main purpose of the paper is: (i) a dynamic compensation process can turn an attacked P2P network into a power-law (PL) network with exponential cutoff; (ii) a local healing process can restore the maximum degree of peers in an attacked P2P network to a normal level; (iii) a restoring process based on reverse percolation theory connects the fragmentary peers of an attacked P2P network together into a giant connected component. In this way, the model based on complex network theory can be effectively utilized for anti-attack and protection purposes in P2P networks.


title: Legendre Duality Between Lagrangian and Hamiltonian Mechanics

abstract: In some previous papers, a Legendre duality between Lagrangian and Hamiltonian Mechanics has been developed. The (\rho,\eta)-tangent application of the Legendre bundle morphism associated to a Lagrangian L or Hamiltonian H is presented. Using that, a Legendre description of Lagrangian Mechanics and Hamiltonian Mechanics is developed. Duality between Lie algebroids structure, adapted (\rho,\eta)-basis, distinguished linear (\rho,\eta)-connections and mechanical (\rho,\eta)-systems is the scope of this paper. In the particular case of Lie algebroids, new results are presented. In the particular case of the usual Lie algebroid tangent bundle, the classical results are obtained.


title: Noether's problem for central extensions of metacyclic $p$-groups

abstract: Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational over $K$. In [M. Kang, Noether's problem for metacyclic $p$-groups, Adv. Math. 203(2005), 554-567], Kang proves the rationality of $K(G)$ over $K$ if $G$ is any metacyclic $p$-group and $K$ is any field containing enough roots of unity. In this paper, we give a positive answer to the Noether's problem for all central group extensions of the general metacyclic $p$-group, provided that $K$ is infinite and it contains sufficient roots of unity.


title: A Remark on the Lasso and the Dantzig Selector

abstract: This article investigates a new parameter for the high-dimensional regression with noise: the distortion. This latter has attracted a lot of attention recently with the appearance of new deterministic constructions of 'almost'-Euclidean sections of the L1-ball. It measures how far is the intersection between the kernel of the design matrix and the unit L1-ball from an L2-ball. We show that the distortion holds enough information to derive oracle inequalities (i.e. a comparison to an ideal situation where one knows the s largest coefficients of the target) for the lasso and the Dantzig selector.


title: Universal mechanism of dissipation in Fermi superfluids at ultra low temperatures

abstract: We show that the vortex dynamics in Fermi superfluids at ultra-low temperatures is governed by the local heating of the vortex cores creating the heat flux carried by non-equilibrium quasiparticles emitted by moving vortices. This mechanism provides a universal zero temperature limit of dissipation in Fermi superfluids. For the typical experimental conditions realized by the turbulent motion of $^3$He-B the temperature of vortex cores is estimated to be of the order $0.2 T_c$. The dispersion of Kelvin waves is derived and the heat flow generated by Kelvin cascade is shown to have the value close to the experimentally observed.


title: Fluctuations around Bjorken Flow and the onset of turbulent phenomena

abstract: We study how fluctuations in fluid dynamic fields can be dissipated or amplified within the characteristic spatio-temporal structure of a heavy ion collision. The initial conditions for a fluid dynamic evolution of heavy ion collisions may contain significant fluctuations in all fluid dynamical fields, including the velocity field and its vorticity components. We formulate and analyze the theory of local fluctuations around average fluid fields described by Bjorken's model. For conditions of laminar flow, when a linearized treatment of the dynamic evolution applies, we discuss explicitly how fluctuations of large wave number get dissipated while modes of sufficiently long wave-length pass almost unattenuated or can even be amplified. In the opposite case of large Reynold's numbers (which is inverse to viscosity), we establish that (after suitable coordinate transformations) the dynamics is governed by an evolution equation of non-relativistic Navier-Stokes type that becomes essentially two-dimensional at late times. One can then use the theory of Kolmogorov and Kraichnan for an explicit characterization of turbulent phenomena in terms of the wave-mode dependence of correlations of fluid dynamic fields. We note in particular that fluid dynamic correlations introduce characteristic power-law dependences in two-particle correlation functions.


title: Auxiliary quantization constraints on the von Roos ordering-ambiguity at zero binding energies; azimuthally symmetrized cylindrical coordinates

abstract: Using azimuthally symmetrized cylindrical coordinates, we report the consequences of zero-energy quantal states on the von Roos Hamiltonian. A position-dependent mass M({\rho},\phi,z)=bz^{j}{\rho}^{2\u{psion}+1}/2 is used. We show that the zero-energy setting not only offers an additional degree of freedom towards feasible separability for the von Roos Hamiltonian, but also manifestly yields auxiliary quantized ambiguity parametric constraints.


title: Graph colorings, flows and arithmetic Tutte polynomial

abstract: We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled edges, which generalize the notions of colorings and flows over a graph. We show that the corresponding arithmetic chromatic polynomial and arithmetic flow polynomial are given by suitable specializations of the associated arithmetic Tutte polynomial, generalizing classical results of Tutte.


title: Schatten-von Neumann estimates for resolvent differences of Robin Laplacians on a half-space

abstract: The difference of the resolvents of two Laplacians on a half-space subject to Robin boundary conditions is studied. In general this difference is not compact, but it will be shown that it is compact and even belongs to some Schatten-von-Neumann class, if the coefficients in the boundary condition are sufficiently close to each other in a proper sense. In certain cases the resolvent difference is shown to belong even to the same Schatten-von Neumann class as it is known for the resolvent difference of two Robin Laplacians on a domain with a compact boundary.


title: Anderson Orthogonality in the Dynamics After a Local Quantum Quench

abstract: We present a systematic study of the role of Anderson orthogonality for the dynamics after a quantum quench in quantum impurity models, using the numerical renormalization group. As shown by Anderson in 1967, the scattering phase shifts of the single-particle wave functions constituting the Fermi sea have to adjust in response to the sudden change in the local parameters of the Hamiltonian, causing the initial and final ground states to be orthogonal. This so-called Anderson orthogonality catastrophe also influences dynamical properties, such as spectral functions. Their low-frequency behaviour shows nontrivial power laws, with exponents that can be understood using a generalization of simple arguments introduced by Hopfield and others for the X-ray edge singularity problem. The goal of this work is to formulate these generalized rules, as well as to numerically illustrate them for quantum quenches in impurity models involving local interactions. As a simple yet instructive example, we use the interacting resonant level model as testing ground for our generalized Hopfield rule. We then analyse a model exhibiting population switching between two dot levels as a function of gate voltage, probed by a local Coulomb interaction with an additional lead serving as charge sensor. We confirm a recent prediction that charge sensing can induce a quantum phase transition for this system, causing the population switch to become abrupt. We elucidate the role of Anderson orthogonality for this effect by explicitly calculating the relevant orthogonality exponents.


title: Domain Wall Spin Dynamics in Kagome Antiferromagnets

abstract: We report magnetization and neutron scattering measurements down to 60 mK on a new family of Fe based kagome antiferromagnets, in which a strong local spin anisotropy combined with a low exchange path network connectivity lead to domain walls intersecting the kagome planes through strings of free spins. These produce unfamiliar slow spin dynamics in the ordered phase, evolving from exchange-released spin-flips towards a cooperative behavior on decreasing the temperature, probably due to the onset of long-range dipolar interaction. A domain structure of independent magnetic grains is obtained that could be generic to other frustrated magnets.


title: Reducing the quantum communication cost of quantum secret sharing

abstract: We demonstrate a new construction for perfect quantum secret sharing (QSS) schemes based on imperfect "ramp" secret sharing combined with classical encryption, in which the individual parties' shares are split into quantum and classical components, allowing the former to be of lower dimension than the secret itself. We show that such schemes can be performed with smaller quantum components and lower overall quantum communication than required for existing methods. We further demonstrate that one may combine both imperfect quantum and imperfect classical secret sharing to produce an overall perfect QSS scheme, and that examples of such scheme (which we construct) can have the smallest quantum and classical share components possible for their access structures, something provably not achievable using perfect underlying schemes. Our construction has significant potential for being adapted to other QSS schemes based on stabiliser codes.


title: Engineering integrated pure narrow-band photon sources

abstract: Engineering and controlling well defined states of light for quantum information applications is of increasing importance as the complexity of quantum systems grows. For example, in quantum networks high multi-photon interference visibility requires properly devised single mode sources. In this paper we propose a spontaneous parametric down conversion source based on an integrated cavity-waveguide, where single narrow-band, possibly distinct, spectral modes for the idler and the signal fields can be generated. This mode selection takes advantage of the clustering effect, due to the intrinsic dispersion of the nonlinear material. In combination with a CW laser and fast detection, our approach provides a means to engineer a source that can efficiently generate pure photons, without filtering, that is compatible with long distance quantum communication. Furthermore, it is extremely flexible and could easily be adapted to a wide variety of wavelengths and applications.


title: Multi-Robot Organisms: State of the Art

abstract: This paper represents the state of the art development on the field of artificial multi-robot organisms. It briefly considers mechatronic development, sensor and computational equipment, software framework and introduces one of the Grand Challenges for swarm and reconfigurable robotics.


title: Overionization in X-ray spectra: a new paradigm for Mixed-Morphology SNRs

abstract: Mixed-morphology SNRs are characterized by a shell-like radio emission, a centrally peaked X-ray morphology, and by interaction with molecular clouds. Many models have been proposed to explain these peculiar remnants, but their physical origin is still unclear. The recent discovery of over-ionized (i. e. recombining) ejecta in 3 mixed-morphology SNRs has dramatically challenged all the previous models and opened up new, unexpected scenarios. I review the main properties of these remnants and their peculiar X-ray spectral properties. I also discuss the hydrodynamic model developed to explain the presence of over-ionized ejecta in W49B and present a list of open issues that still need to be clarified.


title: Some Hamiltonian Models of Friction II

abstract: In the present paper we consider the motion of a very heavy tracer particle in a medium of a very dense, non-interacting Bose gas. We prove that, in a certain mean-field limit, the tracer particle will be decelerated and come to rest somewhere in the medium. Friction is caused by emission of Cerenkov radiation of gapless modes into the gas. Mathematically, a system of semilinear integro-differential equations, introduced in [FSSG10], describing a tracer particle in a dispersive medium is investigated, and decay properties of the solution are proven. This work is an extension of [FGS10]; it is an extension because no weak coupling limit for the interaction between tracer particle and medium is assumed. The technical methods used are dispersive estimates and a contraction principle.


title: The INPOP10a planetary ephemeris and its applications in fundamental physics

abstract: Compared to the previous INPOP versions, the INPOP10a planetary and lunar ephemeris has several improvements. For the planets of our solar system, no big change was brought in the dynamics but improvements were implemented in the fitting process, the data sets used in the fit and in the selection of fitted parameters. We report here the main characteristics of the planetary part of INPOP10a like the fit of the product of the Solar mass with the gravitational constant (GM$_{\odot}$) instead of the astronomical unit. Determinations of PPN parameters as well as adjustments of the Sun J2 and of asteroid masses are also presented. New advances of nodes and perihelia of planets were also estimated and are given here. As for INPOP08, INPOP10a provides to the user, positions and velocities of the planets, the moon, the rotation angles of the Earth and the Moon as well as TT-TDB chebychev polynomials at http://www.imcce.fr/inpop


title: Instantons causing iterative decoding to cycle

abstract: It is speculated that the most probable channel noise realizations (instantons) that cause the iterative decoding of low-density parity-check codes to fail make the decoding not to converge. The Wiberg's formula is generalized for the case when the part of a computational tree that contributes to the output at its center is ambiguous. Two methods of finding the instantons for large number of iterations are presented and tested on Tanner's [155, 64, 20] code and Gaussian channel. The inherently dynamic instanton with effective distance of 11.475333 is found.


title: Early emission from type Ia supernovae

abstract: A unique feature of deflagration-to-detonation (DDT) white dwarf explosion models of SNe of type Ia is the presence of a strong shock wave propagating through the outer envelope. We consider the early emission expected in such models, which is produced by the expanding shock-heated outer part of the ejecta and precedes the emission driven by radioactive decay. We expand on earlier analyses by considering the modification of the pre-detonation density profile by the weak-shocks generated during the deflagration phase, the time evolution of the opacity, and the deviation of the post-shock equation of state from that obtained for radiation pressure domination. A simple analytic model is presented and shown to provide an acceptable approximation to the results of 1D numerical DDT simulations. Our analysis predicts a thousand second long UV/optical flash with a luminosity of ~1 to 3*1e39 erg/s. Lower luminosity corresponds to faster (turbulent) deflagration velocity. The predicted luminosity of the UV flash is an order of magnitude lower than that of earlier estimates, and is expected to be strongly suppressed at times longer than an hour due to the deviation from pure radiation domination.


title: Finite Temperature Aging Holography

abstract: We construct the gravity background which describes the dual field theory with aging invariance. We choose the decay modes of the bulk scalar field in the internal spectator direction to obtain the dissipative behavior of the boundary correlation functions of the dual scalar fields. In particular, the two-time correlation function at zero temperature has the characteristic features of the aging system: power law decay, broken time translation and dynamical scaling. We also construct the black hole backgrounds with asymptotic aging invariance. We extensively study characteristic behavior of the finite temperature two-point correlation function via analytic and numerical methods.


title: The quasiconformal subinvariance property of John domains in $\protect \IR^n$ and its application

abstract: The main aim of this paper is to give a complete solution to one of the open problems, raised by Heinonen from 1989, concerning the subinvariance of John domains under quasiconformal mappings in $\IR^n$. As application, the quasisymmetry of quasiconformal mappings is discussed.


title: Scattering of knotted vortices (Hopfions) in the Faddeev-Skyrme model

abstract: Several materials, such as ferromagnets, spinor Bose-Einstein condensates, and some topological insulators, are now believed to support knotted structures. One of the most successful base-models having stable knots is the Faddeev-Skyrme model and it is expected to be contained in some of these experimentally relevant models. The taxonomy of knotted topological solitons (Hopfions) of this model is known. In this paper we describe some aspects of the dynamics of Hopfions and show that they do indeed behave like particles: during scattering the Hopf charge is conserved and bound states are formed when the dynamics allows it. We have also investigated the dynamical stability of a pair of Hopfions in stacked or side-by-side configurations, whose theoretical stability has been recently discussed by Ward.


title: Fluctuating initial conditions and fluctuations in elliptic and triangular flow

abstract: In heavy ion collisions, event-by-event fluctuations in participating nucleon positions can lead to triangular flow. With fluctuating initial conditions, flow coefficients will also fluctuate. In a hydrodynamic model, we study the fluctuations in elliptic and triangular flow, due to fluctuating initial conditions. Both elliptic and triangular flow fluctuates strongly, triangular flow more strongly than the elliptic flow. Strong fluctuations greatly reduce the sensitivity of elliptic and triangular flow to viscosity.


title: On two misconceptions in current relativistic quantum information

abstract: We describe two problems current relativistic quantum information suffers from. The first point is an explanation of an alleged ambiguity of entropic quantities detected in a number of publications and incorrectly resolved in [M. Montero and E. Martin-Martinez, Physical Review A 83, 062323 (2011)]. We found that the problem arises due to wrong algebraic manipulations with fermions and ignoring the superselection rule for bosons and fermions. This leads to a misinterpretation of certain entropic quantities when applied to fermion fields. The second discussed point is to alert to a conceptual misunderstanding of the role of entanglement (and quantum correlations in general) in some of the studied relativistic scenarios. Instead, we argue in favor of investigating capacities of quantum channels induced by the relevant physical processes as dictated by quantum Shannon theory.


title: Global regularity for the supercritical dissipative quasi-geostrophic equation with large dispersive forcing

abstract: We consider the 2D quasi-geostrophic equation with supercritical dissipation and dispersive forcing in the whole space. When the dispersive amplitude parameter is large enough, we prove the global well-posedness of strong solution to the equation with large initial data. We also show the strong convergence result as the amplitude parameter goes to $\infty$. Both results rely on the Strichartz-type estimates for the corresponding linear equation.


title: Stability and evolution of wave packets in strongly coupled degenerate plasmas

abstract: We study the nonlinear propagation of electrostatic wave packets in a collisional plasma composed of strongly coupled ions and relativistically degenerate electrons. The equilibrium of ions is maintained by an effective temperature associated with their strong coupling, whereas that of electrons is provided by the relativistic degeneracy pressure. Using a multiple scale technique, a (3+1)-dimensional coupled set of nonlinear Schr\"{o}dinger-like equations with nonlocal nonlinearity is derived from a generalized viscoelastic hydrodynamic model. These coupled equations, which govern the dynamics of wave packets, are used to study the oblique modulational instability of a Stoke's wave train to a small plane wave perturbation. We show that the wave packets, though stable to the parallel modulation, becomes unstable against oblique modulations. In contrast to the long-wavelength carrier modes, the wave packets with short-wavelengths are shown to be stable in the weakly relativistic case, whereas they can be stable or unstable in the ultra-relativistic limit. Numerical simulation of the coupled equations reveals that a steady state solution of the wave amplitude exists together with the formation of a localized structure in (2+1) dimensions. However, in the (3+1)-dimensional evolution, a Gaussian wave beam self-focuses after interaction and blows up in a finite time. The latter is, however, arrested when the dispersion predominates over the nonlinearities. This occurs when the Coulomb coupling strength is higher or a choice of obliqueness of modulation, or a wavelength of excitation is different. Possible application of our results to the interior as well as in an outer mantle of white dwarfs are discussed.


title: Dimensional Scaling Treatment with Relativistic Corrections for Stable Multiply Charged Atomic Ions in High-Frequency Super-Intense Laser Fields

abstract: We present a theoretical framework which describes multiply-charged atomic ions, their stability within super-intense laser fields,also lay corrections to the systems due to relativistic effects. Dimensional scaling calculations with relativistic corrections for systems: H, H$^{-}$, H$^{2-}$, He, He$^{-}$, He$^{2-}$, He$^{3-}$ within super-intense laser fields were completed. Also completed were three-dimensional self consistent field calculations to verify the dimensionally scaled quantities. With the aforementioned methods the system's ability to stably bind 'additional' electrons through the development of multiple isolated regions of high potential energy leading to nodes of high electron density is shown. These nodes are spaced far enough from each other to minimized the electronic repulsion of the electrons, while still providing adequate enough attraction so as to bind the excess elections into orbitals. We have found that even with relativistic considerations these species are stably bound within the field. It was also found that performing the dimensional scaling calculations for systems within the confines of laser fields to be a much simpler and more cost-effective method than the supporting D=3 SCF method. The dimensional scaling method is general and can be extended to include relativistic corrections to describe the stability of simple molecular systems in super-intense laser fields.


title: On the weak order of Coxeter groups

abstract: This paper provides some evidence for conjectural relations between extensions of (right) weak order on Coxeter groups, closure operators on root systems, and Bruhat order. The conjecture focused upon here refines an earlier question as to whether the set of initial sections of reflection orders, ordered by inclusion, forms a complete lattice. Meet and join in weak order are described in terms of a suitable closure operator. Galois connections are defined from the power set of W to itself, under which maximal subgroups of certain groupoids correspond to certain complete meet subsemilattices of weak order. An analogue of weak order for standard parabolic subsets of any rank of the root system is defined, reducing to the usual weak order in rank zero, and having some analogous properties in rank one (and conjecturally in general).


title: Proofs of two conjectures of Kenyon and Wilson on Dyck tilings

abstract: Recently, Kenyon and Wilson introduced a certain matrix $M$ in order to compute pairing probabilities of what they call the double-dimer model. They showed that the absolute value of each entry of the inverse matrix $M^{-1}$ is equal to the number of certain Dyck tilings of a skew shape. They conjectured two formulas on the sum of the absolute values of the entries in a row or a column of $M^{-1}$. In this paper we prove the two conjectures. As a consequence we obtain that the sum of the absolute values of all entries of $M^{-1}$ is equal to the number of complete matchings. We also find a bijection between Dyck tilings and complete matchings.


title: Attosecond Lighthouses

abstract: Coherent light beams composed of ultrashort pulses are now increasingly used in different fields of Science, from time-resolved spectroscopy to plasma physics. Under the effect of even simple optical components, the spatial properties of these beams can vary over the duration of the light pulse. In this letter, we show how such spatio-temporally coupled electromagnetic fields can be exploited to produce an attosecond lighthouse, i.e. a source emitting a collection of isolated attosecond pulses, propagating in angularly well-separated light beams. This very general effect not only opens the way to a new generation of attosecond light sources, particularly suitable for pump-probe experiments, but also provides a powerful new tool for ultrafast metrology, for instance giving direct access to fluctuations in the phase of the laser field oscillations with respect to the pulse envelop, right at the focus of even the most intense ultrashort laser beams.


title: Living on the multi-dimensional edge: seeking hidden risks using regular variation

abstract: Multivariate regular variation plays a role assessing tail risk in diverse applications such as finance, telecommunications, insurance and environmental science. The classical theory, being based on an asymptotic model, sometimes leads to inaccurate and useless estimates of probabilities of joint tail regions. This problem can be partly ameliorated by using hidden regular variation [Resnick, 2002, Mitra and Resnick, 2010]. We offer a more flexible definition of hidden regular variation that provides improved risk estimates for a larger class of risk tail regions.


title: Relativistic (Lattice) Boltzmann Equation with Non-Ideal Equation of State

abstract: The relativistic Boltzmann equation for a single particle species generally implies a fixed, unchangeable equation of state that corresponds to that of an ideal gas. Real-world systems typically have more complicated equation of state which cannot be described by the Boltzmann equation. The present work derives a 'Boltzmann-like' equation that gives rise to a conserved energy-momentum tensor with an arbitrary (but thermodynamically consistent) equation of state. Using this, a Lattice Boltzmann scheme for diagonal metric tensors and arbitrary equations of state is constructed. The scheme is verified for QCD in the Milne metric by comparing to viscous fluid dynamics.


title: Analytical description of the Coherent State Model for near vibrational and well deformed nuclei

abstract: Analytical formulas for the excitation energies as well as for the electric quadrupole reduced transition probabilities in the ground, beta and gamma bands were derived within the coherent state model for the near vibrational and well deformed nuclei. Numerical calculations were performed for 42 nuclei exhibiting various symmetries and therefore with specific properties. Comparison of the calculation results with the corresponding experimental data shows a good agreement. The parameters involved in the proposed model satisfy evident regularities being interpolated by smooth curves. Few of them, which fall out of the curves, are interpreted as signatures for a critical point in a specific phase transition. This is actually supported also by the figures showing the excitation energy dependence on the angular momentum. The formulas provided for energies and B(E2) values are very simple, being written in a compact form, and therefore easy to be handled to explain the new experimental data.


title: Faithful representations of infinite-dimensional nilpotent Lie algebras

abstract: For locally convex, nilpotent Lie algebras we construct faithful representations by nilpotent operators on a suitable locally convex space. In the special case of nilpotent Banach-Lie algebras we get norm continuous representations by bounded operators on Banach spaces.


title: Vanishing of one dimensional L^2-cohomologies of loop groups

abstract: Let $G$ be a simply connected compact Lie group. Let $L_e(G)$ be the based loop group with the base point $e$ which is the identity element. Let $\nu_e$ be the pinned Brownian motion measure on $L_e(G)$ and let $\alpha\in L^2(\wedge^1T^{\ast}L_e(G),\nu_e)\cap {\mathbb D}^{\infty,p}(\wedge^1T^{\ast}L_e(G),\nu_e)$ $(1<p<2)$ be a closed 1-form on $L_e(G)$. Using results in rough path analysis, we prove that there exists a measurable function $f$ on $L_e(G)$ such that $df=\alpha$. Moreover we prove that $\dim\ker \square=0$ for the Hodge-Kodaira type operator $\square$ acting on 1-forms on $L_e(G)$.


title: A note on fractional linear pure birth and pure death processes in epidemic models

abstract: In this note we highlight the role of fractional linear birth and linear death processes recently studied in \citet{sakhno} and \citet{pol}, in relation to epidemic models with empirical power law distribution of the events. Taking inspiration from a formal analogy between the equation of self consistency of the epidemic type aftershock sequences (ETAS) model, and the fractional differential equation describing the mean value of fractional linear growth processes, we show some interesting applications of fractional modelling to study \textit{ab initio} epidemic processes without the assumption of any empirical distribution. We also show that, in the frame of fractional modelling, subcritical regimes can be linked to linear fractional death processes and supercritical regimes to linear fractional birth processes. Moreover we discuss a simple toy model to underline the possible application of these stochastic growth models to more general epidemic phenomena such as tumoral growth.


title: Coarsifications of the module isomorphism relation

abstract: In this paper new equivalence relations on the category $Mod(A)$ for any associative algebra $A$ and several related results are given. The new equivalence relations are defined using restrictions to subalgebras and the action of algebra automorphisms on modules.


title: Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report

abstract: Combinatory categorial grammar (CCG) is a grammar formalism used for natural language parsing. CCG assigns structured lexical categories to words and uses a small set of combinatory rules to combine these categories to parse a sentence. In this work we propose and implement a new approach to CCG parsing that relies on a prominent knowledge representation formalism, answer set programming (ASP) - a declarative programming paradigm. We formulate the task of CCG parsing as a planning problem and use an ASP computational tool to compute solutions that correspond to valid parses. Compared to other approaches, there is no need to implement a specific parsing algorithm using such a declarative method. Our approach aims at producing all semantically distinct parse trees for a given sentence. From this goal, normalization and efficiency issues arise, and we deal with them by combining and extending existing strategies. We have implemented a CCG parsing tool kit - AspCcgTk - that uses ASP as its main computational means. The C&C supertagger can be used as a preprocessor within AspCcgTk, which allows us to achieve wide-coverage natural language parsing.


title: An invariance principle for the law of the iterated logarithm for some Markov chains

abstract: The Strassen's invariance principle for additive functionals of Markov chains with spectral gap in the Wasserstein metric is proved.


title: Scale-dependent bias from the primordial non-Gaussianity with a Gaussian-squared field

abstract: We investigate the halo bias in the case where the primordial curvature fluctuations, $\Phi$, are sourced from both a Gaussian random field and a Gaussian-squared field, as $\Phi({\bf x}) = \phi({\bf x}) + \psi({\bf x})^2 - <\psi({\bf x})^2>$, so-called "ungaussiton model". We employ the peak-background split formula and find a new scale-dependence in the halo bias induced from the Gaussian-squared field.


title: Hamiltonian dynamics and constrained variational calculus: continuous and discrete settings

abstract: The aim of this paper is to study the relationship between Hamiltonian dynamics and constrained variational calculus. We describe both using the notion of Lagrangian submanifolds of convenient symplectic manifolds and using the so-called Tulczyjew's triples. The results are also extended to the case of discrete dynamics and nonholonomic mechanics. Interesting applications to geometrical integration of Hamiltonian systems are obtained.


title: Universal Blind Quantum Computing with Weak Coherent Pulses

abstract: The recently proposed Universal Blind Quantum Computation (UBQC) protocol allows a client to perform an arbitrary quantum computation on a remote server such that perfect privacy is guaranteed if the client is capable of producing random separable single qubit states. While from a theoretical point of view, this arguably constitutes the lowest possible quantum requirement, from a pragmatic point of view, generation of random single qubits which can be sent along long distances without loss is quite challenging and can never be achieved perfectly. In analogy to the concept of approximate security developed for other cryptographic protocols, we introduce here the concept of approximate blindness for UBQC, allowing us to characterize the robustness of the protocol to possible imperfections. Following this, we present a remote blind single qubit preparation protocol, by which a client with access to realistic quantum devices (such as coherent laser light) can in a delegated fashion prepare quantum states arbitrarily close to perfect random single qubit states. We finally prove that access to coherent states is sufficient to efficiently achieve approximate blindness with arbitrary small security parameter.


title: Hadron production from $\mu-Deuteron$ scattering at $\sqrt{s}=17 GeV$ at COMPASS

abstract: Hadrons proceeding from quasi-real photo-production are one of the many probes accesible at the Common Muon Proton Apparatus for Structure and Spectroscopy (COMPASS) at CERN. These hadrons provide information on the scattering between photon and partons through \gamma-gluon(g) direct channels as well as q-g resolved processes. Comparisons of unpolarized differential cross section measurements to next-to-leading order (NLO) pQCD calculations are essential to develop our understanding of proton-proton and lepton-nucleon scattering at varying center of mass energies. These measurements are important to asses the applicability of NLO pQCD in interpreting polarized processes. In this talk we will present the unidentified charged separated hadron cross-sections measured by the COMPASS experiment at center of mass energy of \sqrt{s}=17GeV, low Q^{2} (Q^{2}<0.1GeV^{2}/c^{2}) and high transverse momenta (p_{T}>1.0 GeV/c.)


title: $\gamma / \phi_3$ at hadron colliders

abstract: In the first part of the document I describe in a general way the $\gamma / \phi_3$ extraction and compare the experimental environments. I then switch to the available results from the CDF experiment. In the third part I present early results from the LHCb experiment, which are promising first steps on the way to a future $\gamma / \phi_3$ measurement.


title: Substitutive Arnoux-Rauzy sequences have pure discrete spectrum

abstract: We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation.


title: Getting Beyond the State of the Art of Information Retrieval with Quantum Theory

abstract: According to the probability ranking principle, the document set with the highest values of probability of relevance optimizes information retrieval effectiveness given the probabilities are estimated as accurately as possible. The key point of this principle is the separation of the document set into two subsets with a given level of fallout and with the highest recall. If subsets of set measures are replaced by subspaces and space measures, we obtain an alternative theory stemming from Quantum Theory. That theory is named after vector probability because vectors represent event like sets do in classical probability. The paper shows that the separation into vector subspaces is more effective than the separation into subsets with the same available evidence. The result is proved mathematically and verified experimentally. In general, the paper suggests that quantum theory is not only a source of rhetoric inspiration, but is a sufficient condition to improve retrieval effectiveness in a principled way.


title: Critical points of the Moser-Trudinger functional

abstract: On a smooth bounded 2-dimensional domain $\Omega$ we study the heat flow $u_t=\Delta u +\lambda (t)ue^{u^2}$ ($\lambda(t)$ is such that $d/dt ||u(t,\cdot)||_{H^1_0}=0$) introduced by T. Lamm, F. Robert and M. Struwe to investigate the Moser-Trudinger functional $E(v)=\int_{\Omega} (e^{v^2}-1)dx, v\in H^1_0(\Omega).$ We prove that if $u$ blows-up as $t\to\infty$ and if $E(u(t,\cdot))$ remains bounded, then for a sequence $t_k\to\infty$ we have $u(t_k,\cdot)\rightharpoonup 0$ in $H^1_0$ and $\|u(t_k,\cdot)\|_{H^1_0}^2\to 4\pi L$ for an integer $L\ge 1$. We couple these results with a topological technique to prove that if $\Omega$ is not contractible, then for every $0<\Lambda\in \mathbb{R} \setminus 4 \pi \mathbb{N}$ the functional $E$ constrained to $M_\Lambda=\{v\in H^1_0(\Omega):||v||_{H^1_0}^2=\Lambda \}$ has a positive critical point. We prove that when $\Omega$ is the unit ball and $\Lambda$ is large enough, then $E|_{M_\Lambda}$ has no positive critical points, hence showing that the topological assumption on $\Omega$ is natural.


title: RG flow of transport quantities

abstract: The RG flow equation of various transport quantities are studied in arbitrary spacetime dimensions, in the fixed as well as fluctuating background geometry both for the Maxwellian and DBI type of actions. The regularity condition on the flow equation of the conductivity at the horizon for the DBI action reproduces naturally the leading order result of {\it Hartnoll et al.}, [{\it JHEP}, {\bf 04}, 120 (2010)]. Motivated by the result of {\it van der Marel et al.}, [{\it science}, {\bf 425}, 271 (2003], we studied, analytically, the conductivity versus frequency plane by dividing it into three distinct parts: $\omega <T, \omega >T$ and $\omega >> T$. In order to compare, we choose 3+1 dimensional bulk spacetime for the computation of the conductivity. In the $\omega <T$ range, the conductivity does not show up the Drude like form in any spacetime dimensions. In the $\omega > T$ range and staying away from the horizon, for the DBI action with unit dynamical exponent, non-zero magnetic field and charge density, the conductivity goes as $\omega^{-2/3}$, whereas the phase of the conductivity, goes as, $ArcTan(Im\sigma^{xx}/Re\sigma^{xx})=\pi/6$ and $ArcTan(Im\sigma^{xy}/Re\sigma^{xy})=-\pi/3$. There exists a universal quantity at the horizon that is the phase angle of conductivity, which either vanishes or an integral multiple of $\pi$. Furthermore, we calculate the temperature dependence to the thermoelectric and the thermal conductivity at the horizon. The charge diffusion constant for the DBI action is studied.


title: Topological Hausdorff dimension and level sets of generic continuous functions on fractals

abstract: In an earlier paper (arxiv:1108.4292) we introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. For a compact metric space $K$ let $\dim_{H}K$ and $\dim_{tH} K$ denote its Hausdorff and topological Hausdorff dimension, respectively. We proved that this new dimension describes the Hausdorff dimension of the level sets of the generic continuous function on $K$, namely $\sup{\dim_{H}f^{-1}(y) : y \in \mathbb{R}} = \dim_{tH} K - 1$ for the generic $f \in C(K)$, provided that $K$ is not totally disconnected, otherwise every non-empty level set is a singleton. We also proved that if $K$ is not totally disconnected and sufficiently homogeneous then $\dim_{H}f^{-1}(y) = \dim_{tH} K - 1$ for the generic $f \in C(K)$ and the generic $y \in f(K)$. The most important goal of this paper is to make these theorems more precise. As for the first result, we prove that the supremum is actually attained on the left hand side of the first equation above, and also show that there may only be a unique level set of maximal Hausdorff dimension. As for the second result, we characterize those compact metric spaces for which for the generic $f\in C(K)$ and the generic $y\in f(K)$ we have $\dim_{H} f^{-1}(y)=\dim_{tH}K-1$. We also generalize a result of B. Kirchheim by showing that if $K$ is self-similar then for the generic $f\in C(K)$ for every $y\in \inter f(K)$ we have $\dim_{H} f^{-1}(y)=\dim_{tH}K-1$. Finally, we prove that the graph of the generic $f\in C(K)$ has the same Hausdorff and topological Hausdorff dimension as $K$.


title: Electron velocity distribution instability in magnetized plasma wakes and artificial electron mass

abstract: The wake behind a large object (such as the moon) moving rapidly through a plasma (such as the solar wind) contains a region of depleted density, into which the plasma expands along the magnetic field, transverse to the flow. It is shown here that (in addition to any ion instability) a bump-on-tail which is unstable appears on the electrons' parallel velocity distribution function because of the convective non-conservation of parallel energy. It arises regardless of any non-thermal features on the external electron velocity distribution. The detailed electron distribution function throughout the wake is calculated by integration along orbits; and the substantial energy level of resulting electron plasma (Langmuir) turbulence is evaluated quasilinearly. It peaks near the wake axis. If the mass of the electrons is artificially enhanced, for example in order to make numerical simulation feasible, then much more unstable electron distributions arise; but these are caused by the unphysical mass ratio.


title: Five Differences Between Ecological and Economic Networks

abstract: Ecological and economic networks have many similarities and are often compared. However, the comparison is often more apt as metaphor than a direct equivalence. In this paper, five key differences are explained which should inform any analysis which compares the two.


title: The low-mass Initial Mass Function in the Orion Nebula cluster based on HST/NICMOS III imaging

abstract: We present deep HST/NICMOS Camera 3 F110W and F160W imaging of a 26'x33', corresponding to 3.1pcx3.8pc, non-contiguous field towards the Orion Nebula Cluster (ONC). The main aim is to determine the ratio of low--mass stars to brown dwarfs for the cluster as a function of radius out to a radial distance of 1.5pc. The sensitivity of the data outside the nebulous central region is F160W=21.0 mag, significantly deeper than previous studies of the region over a comparable area. We create an extinction limited sample and determine the ratio of low-mass stars (0.08-1Msun) to brown dwarfs (0.02-0.08Msun and 0.03-0.08Msun) for the cluster as a whole and for several annuli. The ratio found for the cluster within a radius of 1.5pc is R(02)=N(0.08-1Msun)/N(0.02-0.08Msun)=1.7+-0.2, and R(03)=N(0.08-1Msun)/N(0.03-0.08Msun)=2.4+-0.2, after correcting for field stars. The ratio for the central 0.3pcx0.3pc region down to 0.03Msun was previously found to be R(03)=3.3+0.8-0.7, suggesting the low-mass content of the cluster is mass segregated. We discuss the implications of a gradient in the ratio of stars to brown dwarfs in the ONC in the context of previous measurements of the cluster and for other nearby star forming regions. We further discuss the current evidence for variations in the low-mass IMF and primordial mass segregation.


title: Nonpersistence of resonant caustics in perturbed elliptic billiards

abstract: Caustics are curves with the property that a billiard trajectory, once tangent to it, stays tangent after every reflection at the boundary of the billiard table. When the billiard table is an ellipse, any nonsingular billiard trajectory has a caustic, which can be either a confocal ellipse or a confocal hyperbola. Resonant caustics ---the ones whose tangent trajectories are closed polygons--- are destroyed under generic perturbations of the billiard table. We prove that none of the resonant elliptical caustics persists under a large class of explicit perturbations of the original ellipse. This result follows from a standard Melnikov argument and the analysis of the complex singularities of certain elliptic functions.


title: Anisotropy of the coherence length from critical currents in the stoichiometric superconductor LiFeAs

abstract: Miniature Hall-probe arrays were used to measure the critical current densities for the three main directions of vortex motion in the stoichiometric LiFeAs superconductor. These correspond to vortices oriented along the c-axis moving parallel to the ab-plane, and to vortices in the ab-plane moving perpendicular to, and within the plane, respectively. The measurements were carried out in the low-field regime of strong vortex pinning, in which the critical current anisotropy is solely determined by the coherence length anisotropy parameter, {\epsilon}_{\xi}. This allows extraction of {\epsilon}_{\xi} at magnetic fields far below the upper critical field B_c2. We find that increasing magnetic field decreases the anisotropy of the coherence length.


title: Demonstration and Comparison of Operation of Photomultiplier Tubes at Liquid Argon Temperature

abstract: Liquified noble gases are widely used as a target in direct Dark Matter searches. Signals from scintillation in the liquid, following energy deposition from the recoil nuclei scattered by Dark Matter particles (e.g. WIMPs), should be recorded down to very low energies by photosensors suitably designed to operate at cryogenic temperatures. Liquid Argon based detectors for Dark Matter searches currently implement photo multiplier tubes for signal read-out. In the last few years PMTs with photocathodes operating down to liquid Argon temperatures (87 K) have been specially developed with increasing Quantum Efficiency characteristics. The most recent of these, Hamamatsu Photonics Mod. R11065 with peak QE up to about 35%, has been extensively tested within the R&D program of the WArP Collaboration. During these testes the Hamamatsu PMTs showed superb performance and allowed obtaining a light yield around 7 phel/keVee in a Liquid Argon detector with a photocathodic coverage in the 12% range, sufficient for detection of events down to few keVee of energy deposition. This shows that this new type of PMT is suited for experimental applications, in particular for new direct Dark Matter searches with LAr-based experiments.


title: The distribution of second degrees in the Bollob\'as--Riordan random graph model

abstract: We prove that the distribution of second degrees in the Bollob\'as--Riordan random graph model obeys the power law. We consider the model with parameter m = 1 (the number of edges equals the number of nodes).


title: FdConfig: A Constraint-Based Interactive Product Configurator

abstract: We present a constraint-based approach to interactive product configuration. Our configurator tool FdConfig is based on feature models for the representation of the product domain. Such models can be directly mapped into constraint satisfaction problems and dealt with by appropriate constraint solvers. During the interactive configuration process the user generates new constraints as a result of his configuration decisions and even may retract constraints posted earlier. We discuss the configuration process, explain the underlying techniques and show optimizations.


title: New features of the triaxial nuclei described with a coherent state model

abstract: Supplementing the Liquid Drop Model (LDM) Hamiltonian, written in the intrinsic reference frame, with a sextic oscillator plus a centrifugal term in the variable $\beta$ and a potential in $\gamma$ with a minimum in $\frac{\pi}{6}$, the Sch\"{o}dinger equation is separated for the two variables which results in having a new description for the triaxial nuclei, called Sextic and Mathieu Approach (SMA). SMA is applied for two non-axial nuclei, $^{180}$Hf and $^{182}$W and results are compared with those yielded by the Coherent State Model (CSM). As the main result of this paper we derive analytically the equations characterizing SMA from a semi-classical treatment of the CSM Hamiltonian. In this manner the potentials in $\beta$ and $\gamma$ variables respectively, show up in a quite natural way which contrasts their ad-hoc choice when SMA emerges from LDM.


title: Recovering MOND from extended metric theories of gravity

abstract: We show that the Modified Newtonian Dynamics (MOND) regime can be fully recovered as the weak-field limit of a particular theory of gravity formulated in the metric approach. This is possible when Milgrom's acceleration constant is taken as a fundamental quantity which couples to the theory in a very consistent manner. As a consequence, the scale invariance of the gravitational interaction is naturally broken. In this sense, Newtonian gravity is the weak-field limit of general relativity and MOND is the weak-field limit of that particular extended theory of gravity. We also prove that a Noether's symmetry approach to the problem yields a conserved quantity coherent with this relativistic MONDian extension.


title: Universal heat conduction -- the thermodynamics of some weakly nonlocal theories

abstract: A linear irreversible thermodynamic framework of heat conduction in rigid conductors is introduced. The deviation from local equilibrium is characterized by a single internal variable and a current intensity factor. A general constitutive evolution equation of the current density of the internal energy is derived by introducing linear relationship between the thermodynamic forces and fluxes. The Fourier, Maxwell-Cattaneo-Vernotte, Guyer-Krumhansl, Jeffreys type and Green-Naghdi type equations of heat conduction are obtained as special cases. The universal character of the approach is demonstrated by two examples. Solutions illustrating the properties of the equation with jump boundary conditions are given.


title: Mean-Field Backward Doubly Stochastic Differential Equations and Applications

abstract: Mean-field backward doubly stochastic differential equations (MF-BDSDEs, for short) are introduced and studied. The existence and uniqueness of solutions for MF-BDSDEs is established. One probabilistic interpretation for the solutions to a class of nonlocal stochastic partial differential equations (SPDEs, for short) is given. A Pontryagin's type maximum principle is established for optimal control problem of MF-BDSDEs. Finally, one backward linear quadratic problem of mean-field type is discussed to illustrate the direct application of above maximum principle.


title: Mass dependence of the heavy quark potential and its effects on quarkonium states

abstract: The heavy quark-antiquark potential is accessible in perturbative QCD and in lattice simulations. The perturbative short-distance part of the potential is contructed via a restricted Fourier transform, covering the momentum region where perturbative QCD is applicable. We show that for the leading order static term as well as for the mass dependent corrections, the perturbative part can be matched at intermediate distances with results from lattice QCD. From these matched potentials, quarkonium spectra with a single free parameter (the heavy quark mass) are derived and compared with empirical spectra. Furthermore, charm and bottom quark masses are deduced.


title: A Performance Study of Data Mining Techniques: Multiple Linear Regression vs. Factor Analysis

abstract: The growing volume of data usually creates an interesting challenge for the need of data analysis tools that discover regularities in these data. Data mining has emerged as disciplines that contribute tools for data analysis, discovery of hidden knowledge, and autonomous decision making in many application domains. The purpose of this study is to compare the performance of two data mining techniques viz., factor analysis and multiple linear regression for different sample sizes on three unique sets of data. The performance of the two data mining techniques is compared on following parameters like mean square error (MSE), R-square, R-Square adjusted, condition number, root mean square error(RMSE), number of variables included in the prediction model, modified coefficient of efficiency, F-value, and test of normality. These parameters have been computed using various data mining tools like SPSS, XLstat, Stata, and MS-Excel. It is seen that for all the given dataset, factor analysis outperform multiple linear regression. But the absolute value of prediction accuracy varied between the three datasets indicating that the data distribution and data characteristics play a major role in choosing the correct prediction technique.


title: Unsteady Hydromagnetic Flow of Viscoelastic Fluid down an Open Inclined Channel

abstract: In this paper, we study the unsteady hydromagnetic flow of a Walter's fluid (Model B') down an open inclined channel of width 2a and depth d under gravity, the walls of the channel being normal to the surface of the bottom under the influence of a uniform transverse magnetic field. A uniform tangential stress is applied at the free surface in the direction of flow. We have evaluated the velocity distribution by using Laplace transform and finite Fourier Sine transform technique. The velocity distribution has been obtained taking different form of time dependent pressure gradient g(t), viz., i) constant ii) exponential decreasing function of time and iii) Cosine function of time. The effects of magnetic parameter M, Reynolds number R and the viscoelastic parameter K are discussed on the velocity distribution in three different cases.


title: Axial couplings in heavy hadron chiral perturbation theory at the next-to-leading order

abstract: We present calculations of axial-current matrix elements between various heavy-meson and heavy-baryon states to the next-to-leading order in heavy hadron chiral perturbation theory in the p-regime. When compared with data from lattice computations or experiments, these results can be used to determine the axial couplings in the chiral Lagrangian. Our calculation is performed in partially-quenched chiral perturbation theory for both SU(4|2) and SU(6|3). We incorporate finite-size effects arising from a single Goldstone meson wrapping around the spatial volume. Results for full QCD with two and three flavours can be obtained straightforwardly by taking the sea-quark masses to be equal to the valence-quark masses. To illustrate the impact of our chiral perturbation theory calculation on lattice computations, we analyse the SU(2) full QCD results in detail. We also study one-loop contributions relevant to the heavy hadron strong-decay amplitudes involving final-state Goldstone bosons, and demonstrate that the quark-mass dependence of these amplitudes can be significantly different from that of the axial current matrix elements containing only single hadron external states.


title: A New Automorphism Of X0(108)

abstract: Let X0(N) denote the modular curve classifying elliptic curves with a cyclic N-isogeny, A0(N) its group of algebraic autmorphisms and B0(N) the subgroup of automorphisms coming from matrices acting on the upper halfplane. In a well-known paper, Kenku and Momose showed that A0(N) and B0(N) are equal (all automorphisms come from matrix action) when X0(N) has genus at least 2, except for N = 37 and 63. However, there is a mistake in their analysis of the N = 108 case. In the style of Kenku and Momose, we show that B0(108) is of index 2 in A0(108) and construct an explicit new automorphism of order 2 on a canonical model of X0(108).


title: Intermittency in Quantitative Finance

abstract: Factorial moments are convenient tools in nuclear physics to characterize the multiplicity distributions when phase-space resolution ($\Delta$) becomes small. For uncorrelated particle production within $\Delta$, Gaussian statistics holds and factorial moments $F_q$ are equal to unity for all orders $q$. Correlations between particles lead to a broadening of the multiplicity distribution and to dynamical fluctuations. In this case, the factorial moments increase above 1 with decreasing $\Delta$. This corresponds to what can be called intermittency. In this letter, we show that a similar analysis can be developed on financial price series, with an adequate definition of factorial moments. An intermittent behavior can be extracted using moments of order 2 ($F_2$), illustrating a sensitivity to non-Gaussian fluctuations within time resolution below 4 hours. This confirms that correlations between price returns start to play a role when the time resolution is below this threshold.


title: The Distribution of Number Fields with Wreath Products as Galois Groups

abstract: Let $G$ be a wreath product of the form $C_2 \wr H$, where $C_2$ is the cyclic group of order 2. Under mild conditions for $H$ we determine the asymptotic behavior of the counting functions for number fields $K/k$ with Galois group $G$ and bounded discriminant. Those counting functions grow linearly with the norm of the discriminant and this result coincides with a conjecture of Malle. Up to a constant factor these groups have the same asymptotic behavior as the conjectured one for symmetric groups.


title: Multiplicity-free super vector spaces

abstract: Let $V$ be a complex finite dimensional super vector space with an action of a connected semisimple group $G$. We classify those pairs $(G,V)$ for which all homogeneous components of the super symmetric algebra of $V$ decompose multiplicity-free.


title: Phenomenological aspects of new physics at high energy hadron colliders

abstract: A general introduction is given in chapter 1. Chapter 2 outlines the main features of the Standard Model (SM) of particle physics and the theoretical motivations for going beyond it. We subsequently provide brief descriptions of a few popular models that aim to solve the issues that arise within the SM. In chapter 3 we describe the general Monte Carlo method and show how it can be used to construct a class of computational tools called Monte Carlo event generators. We describe the main generic features of event generators and how these are implemented in the HERWIG++ event generator. By applying resummation techniques, we provide, in chapter 4, analytical calculations of two types of hadron collider observables: global inclusive variables and the transverse energy of the QCD initial state radiation (ET), associated with the either Drell-Yan gauge boson production or Higgs boson production. In both cases we provide comparisons to results obtained from Monte Carlo event generators. In chapter 5 we examine two well-motivated models for new physics: one of new heavy charged vector bosons (W prime) and a model motivated by strong dynamics electroweak symmetry breaking that contains new resonances, leptoquarks, that couple primarily to quarks and leptons of the third generation. In the prior model, we improve the current treatment of the W' by considering interference effects with the SM W and construct an event generator accurate to next-to-leading order which we use to conduct a phenomenological analysis. For the leptoquark model, we provide an implementation in the HERWIG++ event generator and use it to form a strategy for mass reconstruction.


title: Cosmological parameter estimation using Particle Swarm Optimization (PSO)

abstract: Obtaining the set of cosmological parameters consistent with observational data is an important exercise in current cosmological research. It involves finding the global maximum of the likelihood function in the multi-dimensional parameter space. Currently sampling based methods, which are in general stochastic in nature, like Markov-Chain Monte Carlo(MCMC), are being commonly used for parameter estimation. The beauty of stochastic methods is that the computational cost grows, at the most, linearly in place of exponentially (as in grid based approaches) with the dimensionality of the search space. MCMC methods sample the full joint probability distribution (posterior) from which one and two dimensional probability distributions, best fit (average) values of parameters and then error bars can be computed. In the present work we demonstrate the application of another stochastic method, named Particle Swarm Optimization (PSO), that is widely used in the field of engineering and artificial intelligence, for cosmological parameter estimation from WMAP seven years data. We find that there is a good agreement between the values of the best fit parameters obtained from PSO and publicly available code COSMOMC. However, there is a slight disagreement between error bars mainly due to the fact that errors are computed differently in PSO. Apart from presenting the results of our exercise, we also discuss the merits of PSO and explain its usefulness in more extensive search in higher dimensional parameter space.


title: Quantum theory from the geometry of evolving probabilities

abstract: We consider the space of probabilities {P(x)}, where the x are coordinates of a configuration space. Under the action of the translation group there is a natural metric over the space of parameters of the group given by the Fisher-Rao metric. This metric induces a metric over the space of probabilities. Our next step is to set the probabilities in motion. To do this, we introduce a canonically conjugate field S and a symplectic structure; this gives us Hamiltonian equations of motion. We show that it is possible to extend the metric structure to the full space of the {P,S} and this leads in a natural way to a Kaehler structure; i.e., a geometry that includes compatible symplectic, metric and complex structures. The simplest geometry that describes these spaces of evolving probabilities has remarkable properties: the natural, canonical variables are precisely the wave functions of quantum mechanics; the Hamiltonian for the quantum free particle can be derived from a representation of the Galilean group using purely geometrical arguments; and it is straightforward to associate with this geometry a Hilbert space which turns out to be the Hilbert space of quantum mechanics. We are led in this way to a reconstruction of quantum theory based solely on the geometry of probabilities in motion.


title: Performance of missing transverse momentum reconstruction in proton-proton collisions at 7 TeV with ATLAS

abstract: The measurement of missing transverse momentum in the ATLAS detector, described in this paper, makes use of the full event reconstruction and a calibration based on reconstructed physics objects. The performance of the missing transverse momentum reconstruction is evaluated using data collected in pp collisions at a centre-of-mass energy of 7 TeV in 2010. Minimum bias events and events with jets of hadrons are used from data samples corresponding to an integrated luminosity of about 0.3 inverse nb and 600 inverse nb, together with events containing a Z boson decaying to two leptons (electrons or muons) or a W boson decaying to a lepton (electron or muon) and a neutrino, from a data sample corresponding to an integrated luminosity of about 36 inverse pb. An estimate of the systematic uncertainty on the missing transverse momentum scale is presented.


title: Probably Intersecting Families are Not Nested

abstract: It is well known that an intersecting family of subsets of an n-element set can contain at most 2^(n-1) sets. It is natural to wonder how `close' to intersecting a family of size greater than 2^(n-1) can be. Katona, Katona and Katona introduced the idea of a `most probably intersecting family.' Suppose that X is a family and that 0<p<1. Let X(p) be the (random) family formed by selecting each set in X independently with probability p. A family X is `most probably intersecting' if it maximises the probability that X(p) is intersecting over all families of size |X|. Katona, Katona and Katona conjectured that there is a nested sequence consisting of most probably intersecting families of every possible size. We show that this conjecture is false for every value of p provided that n is sufficiently large.


title: The asymmetric sandwich theorem

abstract: We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations of the Fenchel duality theorem. Most of the results are about affine functions defined on convex subsets of vector spaces, rather than linear functions defined on vector spaces. We consider both results that use a simple boundedness hypothesis (as in Rockafellar's version of the Fenchel duality theorem) and also results that use Baire's theorem (as in the Robinson-Attouch-Brezis version of the Fenchel duality theorem). This paper also contains some new results about metrizable topological vector spaces that are not necessarily locally convex.


title: On the Quantum Homology of Real Lagrangians in Fano Toric Manifolds

abstract: We study the Lagrangian quantum homology of real parts of Fano toric manifolds of minimal Chern number at least 2, using coefficients in a ring of Laurent polynomials over Z/2Z. We show that these Lagrangians are wide, in the sense that their quantum homology is isomorphic as a module to their classical homology tensored with this ring. Moreover, we show that the quantum homology is isomorphic as a ring to the quantum homology of the ambient symplectic manifold.


title: Generating mock data sets for large-scale Lyman-{\alpha} forest correlation measurements

abstract: Massive spectroscopic surveys of high-redshift quasars yield large numbers of correlated Lyman {\alpha} absorption spectra that can be used to measure large-scale structure. Simulations of these surveys are required to accurately interpret the measurements of correlations and correct for systematic errors. An efficient method to generate mock realizations of Lyman {\alpha} forest surveys is presented which generates a field over the lines of sight to the survey sources only, instead of having to generate it over the entire three-dimensional volume of the survey. The method can be calibrated to reproduce the power spectrum and one-point distribution function of the transmitted flux fraction, as well as the redshift evolution of these quantities, and is easily used for modeling any survey systematic effects. We present an example of how these mock surveys are applied to predict the measurement errors in a survey with similar parameters as the BOSS quasar survey in SDSS-III.


title: Boundary CFT from Holography

abstract: We explore some aspects of holographic dual of Boundary Conformal Field Theory (BCFT). In particular we study asymptotic symmetry of geometries which provide holographic dual of BCFTs. We also compute two-point functions of certain bosonic and fermionic operators in the dual BCFT by making use of AdS/BCFT correspondence.


title: LIBOR Interpolation and the HJM Model

abstract: We follow the lines of Musiela and Rutkowski and extend their interpolation method to models with jumps. Together with an extension method for the tenor structure of a given LIBOR market model (LMM) we get an infinite LIBOR termstructure. Furthermore we present an argument why certain known exponential moment conditions on the HJM Model are necessary. The approach uses finite tenor LIBOR market models as approximation for the HJM model, then extends and interpolates the tenor structure, relating it to the HJM structure.


title: Implementing Equational Constraints in a Functional Language

abstract: KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. This has the advantage that one can apply various, and in particular, complete search strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques to implement equational constraints in this framework. In particular, we show how unification modulo function evaluation and functional patterns can be added without sacrificing the efficiency of the kernel implementation.


title: Higgs Multiplets in Heterotic GUT Models

abstract: For supersymmetric GUT models from heterotic string theory, built from a stable holomorphic SU(n) vector bundle $V$ on a Calabi-Yau threefold $X$, the net amount of chiral matter can be computed by a Chern class computation. Corresponding computations for the number $N_H$ of Higgses lead for the phenomenologically relevant cases of GUT group SU(5) or SO(10) to consideration of the bundle $\La^2 V$. In a class of bundles where everything can be computed explicitly (spectral bundles on elliptic $X$) we find that the computation for $N_H$ gives a result which is in conflict with expectations. We argue that this discrepancy has its origin in the subtle geometry of the spectral data for $\La^2 V$ and that taking this subtlety into account properly should resolve the problem.


title: Rayleigh-Benard convection with phase changes in a Galerkin model

abstract: The transition to turbulence in Rayleigh-Benard convection with phase changes and the resulting convective patterns are studied in a three-dimensional Galerkin model. Our study is focused to the conditionally unstable regime of moist convection in which the stratification is stable for unsaturated air parcels and unstable for saturated parcels. We perform a comprehensive statistical analysis of the transition to convection that samples the dependence of attractors (or fixed points) in the phase space of the model on the dimensionless parameters. Conditionally unstable convection can be initiated either from a fully unsaturated linearly stable equilibrium or a fully saturated linearly unstable equilibrium. Highly localized moist convection can be found in steady state, in oscillating recharge-discharge regime or turbulent in dependence on the aspect ratio and the degree of stable stratification of the unsaturated air. Our phase space analysis predicts parameter ranges for which self-sustained convective regimes in the case of subcritical conditional instability can be observed. The observed regime transitions for moist convection bear some similarities to transitions to turbulence in simple shear flows.


title: Kaonic 3He and 4He X-ray measurements in SIDDHARTA

abstract: The strong-interaction shift of kaonic 3He and 4He 2p states was measured using gaseous targets for the first time in the SIDDHARTA experiment. The determined shift of kaonic 4He is much smaller than the values obtained in the experiments performed in 70's and 80's. Thus, the problems in kaonic helium (the "kaonic helium puzzle") was definitely solved by our measurements. The first observation of the kaonic 3He X-rays was also achieved. The shift both of kaonic 3He and 4He was found to be as small as a few eV.


title: Proximity-induced density-of-states oscillations in a superconductor/strong-ferromagnet system

abstract: We have measured the evolution of the tunneling density of states (DOS) in superconductor/ferromagnet (S/F) bilayers with increasing F-layer thickness, where F in our experiment is the strong ferromagnet Ni. As a function of increasing Ni thickness, we detect multiple oscillations in the DOS at the Fermi energy from differential conductance measurements. The features in the DOS associated with the proximity effect change from normal to inverted twice as the Ni thickness increases from 1 to 5 nm.


title: Adiabatic limits of Seifert fibrations, Dedekind sums, and the diffeomorphism type of certain 7-manifolds

abstract: We extend the adiabatic limit formula for eta-invariants by Bismut-Cheeger and Dai to Seifert fibrations. Our formula contains a new contribution from the singular fibres that takes the form of a generalised Dedekind sum. As an application, we compute the Eells-Kuiper and t-invariants of certain cohomogeneity one manifolds that were studied by Dearricott, Grove, Verdiani, Wilking, and Ziller. In particular, we determine the diffeomorphism type of a new manifold of positive sectional curvature.


title: A generating tree approach to k-nonnesting partitions and permutations

abstract: We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter.


title: A conditional quenched CLT for random walks among random conductances on $\mathbb{Z}^d$

abstract: Consider a random walk among random conductances on $\mathbb{Z}^d$ with $d\geq 2$. We study the quenched limit law under the usual diffusive scaling of the random walk conditioned to have its first coordinate positive. We show that the conditional limit law is the product of a Brownian meander and a $(d-1)$-dimensional Brownian motion.


title: Compression Waves and Phase Plots: Simulations

abstract: Compression wave analysis started nearly 50 years ago with Fowles.[1] Coperthwaite and Williams [2] gave a method that helps identify simple and steady waves. We have been developing a method that gives describes the non-isentropic character of compression waves, in general.[3] One result of that work is a simple analysis tool. Our method helps clearly identify when a compression wave is a simple wave, a steady wave (shock), and when the compression wave is in transition. This affects the analysis of compression wave experiments and the resulting extraction of the high-pressure equation of state.


title: Interpolating compact binary waveforms using the singular value decomposition

abstract: Compact binary systems with total masses between tens and hundreds of solar masses will produce gravitational waves during their merger phase that are detectable by second-generation ground-based gravitational-wave detectors. In order to model the gravitational waveform of the merger epoch of compact binary coalescence, the full Einstein equations must be solved numerically for the entire mass and spin parameter space. However, this is computationally expensive. Several models have been proposed to interpolate the results of numerical relativity simulations. In this paper we propose a numerical interpolation scheme that stems from the singular value decomposition. This algorithm shows promise in allowing one to construct arbitrary waveforms within a certain parameter space given a sufficient density of numerical simulations covering the same parameter space. We also investigate how similar approaches could be used to interpolate waveforms in the context of parameter estimation.


title: Modification of GTD from Flat File Format to OLAP for Data Mining

abstract: This document is part of original research work by the authors in a bid to explore new fields for applying Data Mining Techniques. The sample data is part of a large data set from University of Maryland (UMD) and outlines how more meaningful patterns can be discovered by preprocessing the data in the form of OLAP cubes.


title: Ultra-high energy neutrino dispersion in plasma and radiative transition $\nu_L \to \nu_R + \gamma$

abstract: Qualitative analysis of additional energy of neutrino and antineutrino in plasma is performed. A general expression for the neutrino self-energy operator is obtained in the case of ultra-high energies when the local limit of the weak interaction is not valid. The neutrino and antineutrino additional energy in plasma is calculated using the dependence of the $W$ and $Z$--boson propagators on the momentum transferred. The kinematical region for the neutrino radiative transition (the so-called "neutrino spin light") is established for some important astrophysical cases. For high energy neutrino and antineutrino, dominating transition channels in plasma, $\nu_e + e^+ \to W^+$, $\bar\nu_e + e^- \to W^-$ and $\bar\nu_{\ell} + \nu_{\ell} \to Z$, are indicated.


title: Asymptotic behavior of random walks on a half-line with a jump at the origin

abstract: We study a discrete-time random walk on the non-negative integers, such that when 0 is reached a jump occurs to an arbitrary location, with given probabilities. We obtain an asymptotic formula for the expected position at large times, in dependence on the jump probabilities and on the starting position. Our proof of this result displays the relevance of the spectral analysis of the transition operator associated to the stochastic process, both of its eigenvalues and of its resonances.


title: Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)

abstract: The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions and the associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance specifications. These include but are not limited to absence of overflow, absence of division-by-zero, termination in finite time, presence of dead-code, and certain user-specified assertions. Central to this framework are Lyapunov invariants. These are properly constructed functions of the program variables, and satisfy certain properties-resembling those of Lyapunov functions-along the execution trace. The search for the invariants can be formulated as a convex optimization problem. If the associated optimization problem is feasible, the result is a certificate for the specification.


title: CoRoT LRa02_E2_0121: Neptune-size planet candidate turns into a hierarchical triple system with a giant primary

abstract: This paper presents the case of CoRoT LRa02_E2_0121, which was initially classified as a Neptune-size transiting-planet candidate on a relatively wide orbit of 36.3 days. Follow-up observations were performed with UVES, Sandiford, SOPHIE and HARPS. These observations revealed a faint companion in the spectra. To find the true nature of the system we derived the radial velocities of the faint companion using TODMOR - a two-dimensional correlation technique, applied to the SOPHIE spectra. Modeling the lightcurve with EBAS we discovered a secondary eclipse with a depth of ~0.07%, indicating a diluted eclipsing binary. Combined MCMC modeling of the lightcurve and the radial velocities suggested that CoRoT LRa02_E2_0121 is a hierarchical triple system with an evolved G-type primary and an A-type:F-type grazing eclipsing binary. Such triple systems are difficult to discover.


title: Multi-Robot Searching Algorithm Using Levy Flight and Artificial Potential Field

abstract: An efficient search algorithm is very crucial in robotic area, especially for exploration missions, where the target availability is unknown and the condition of the environment is highly unpredictable. In a very large environment, it is not sufficient to scan an area or volume by a single robot, multiple robots should be involved to perform the collective exploration. In this paper, we propose to combine bio-inspired search algorithm called Levy flight and artificial potential field method to perform an efficient searching algorithm for multi-robot applications. The main focus of this work is not only to prove the concept or to measure the efficiency of the algorithm by experiments, but also to develop an appropriate generic framework to be implemented both in simulation and on real robotic platforms. Several experiments, which compare different search algorithms, are also performed.


title: On the polynomial convexity of the union of more than two totally-real planes in C^2

abstract: In this paper we shall discuss local polynomial convexity at the origin of the union of finitely many totally-real planes through $0 \in\mathbb{C}^2$. The planes, say $P_0,..., P_N$, satisfy a mild transversality condition that enables us to view them in Weinstock normal form, i.e. $P_0=\mathbb{R}^2$ and $P_j=M(A_j):=(A_j+i\mathbb{I})\mathbb{R}^2$, $j=1,...,N$, where each $A_j$ is a $2\times 2$ matrix with real entries. Weinstock has solved the problem completely for N=1 (in fact, for pairs of transverse, maximally totally-real subspaces in $\mathbb{C}^n\, \forall n\geq 2$). Using a characterization of simultaneous triangularizability of $2\times 2$ matrices over the reals, given by Florentino, we deduce a sufficient condition for local polynomial convexity of the union of the above planes at $0\in \mathbb{C}^2$. Weinstock's theorem for $\mathbb{C}^2$ occurs as a special case of our result. The picture is much clearer when N=2. For three totally-real planes, we shall provide an open condition for local polynomial convexity of the union. We shall also argue the optimality (in an appropriate sense) of the conditions in this case.


title: Nested HEX-Programs

abstract: Answer-Set Programming (ASP) is an established declarative programming paradigm. However, classical ASP lacks subprogram calls as in procedural programming, and access to external computations (like remote procedure calls) in general. The feature is desired for increasing modularity and---assuming proper access in place---(meta-)reasoning over subprogram results. While HEX-programs extend classical ASP with external source access, they do not support calls of (sub-)programs upfront. We present nested HEX-programs, which extend HEX-programs to serve the desired feature, in a user-friendly manner. Notably, the answer sets of called sub-programs can be individually accessed. This is particularly useful for applications that need to reason over answer sets like belief set merging, user-defined aggregate functions, or preferences of answer sets.


title: Multiplier Sequences for Simple Sets of Polynomials

abstract: In this paper we give a new characterization of simple sets of polynomials B with the property that the set of B-multiplier sequences contains all Q-multiplier sequence for every simple set Q. We characterize sequences of real numbers which are multiplier sequences for every simple set Q, and obtain some results toward the partitioning of the set of classical multiplier sequences.


title: Reconstruction of Paley-Wiener functions on the Heisenberg group

abstract: Let $M$ be a Riemmanian manifold with bounded geometry. We consider a generalization of Paley-Wiener functions and Lagrangian splines on $M$. An analog of the Paley-Wiener theorem is given. We also show that every Paley-Wiener function on a manifold is uniquely determined by its values on some discrete sets of points. The main result of the paper is a generalization of the Whittaker-Shannon formula for reconstruction of a Paley-Wiener function from its values on a discrete set. It is shown that every Paley- Wiener function on $M$ is a limit of some linear combinations of fundamental solutions of the powers of the Laplace-Beltrami operator. The result is new even in the one-dimentional case.


title: Can any unconditionally convergent multiplier be transformed to have the symbol (1) and Bessel sequences by shifting weights?

abstract: Multipliers are operators that combine (frame-like) analysis, a multiplication with a fixed sequence, called the symbol, and synthesis. They are very interesting mathematical objects that also have a lot of applications for example in acoustical signal processing. It is known that bounded symbols and Bessel sequences guarantee unconditional convergence. In this paper we investigate necessary and equivalent conditions for the unconditional convergence of multipliers. In particular we show that, under mild conditions, unconditionally convergent multipliers can be transformed by shifting weights between symbol and sequence, into multipliers with symbol (1) and Bessel sequences.