title: Weak response of cold symmetric nuclear matter at three-body cluster level

abstract: We studied the Fermi and Gamow-Teller responses of cold symmetric nuclear matter within a unified dynamical model, suitable to account for both short- and long-range correlation effects. The formalism of correlated basis functions has been used to construct two-body effective interactions and one-body effective weak operators. The inclusion of the three-body cluster term allowed for incorporating in the effective interaction a realistic model of three- nucleon forces, namely the UIX potential. Moreover, the sizable unphysical dependence of the effective weak operator is removed once the three-body cluster term is taken into account.


title: Equality of Two Definitions for Transverse Momentum Dependent Parton Distribution Functions

abstract: We compare recent, seemingly different, approaches to TMD-factorization (due to Echevarria, Idilbi, and Scimemi and to Collins), and show that they are the same, apart from an apparent difference in their definition of the \MSbar{} renormalization scheme.


title: Recognizing geometric 3-manifold groups using the word problem

abstract: Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'.


title: Non-Newtonian viscosity of E-coli suspensions

abstract: The viscosity of an active suspension of E-Coli bacteria is determined experimentally in the dilute and semi dilute regime using a Y shaped micro-fluidic channel. From the position of the interface between the pure suspending fluid and the suspension, we identify rheo-thickening and rheo-thinning regimes as well as situations at low shear rate where the viscosity of the bacteria suspension can be lower than the viscosity of the suspending fluid. In addition, bacteria concentration and velocity profiles in the bulk are directly measured in the micro-channel.


title: MAD Families of Projections on l^2 and Real-Valued Functions on Omega

abstract: Two sets are said to be almost disjoint if their intersection is finite. Almost disjoint subsets of [omega]^omega and omega^omega have been studied for quite some time. In particular, the cardinal invariants a and a_e, defined to be the minimum cardinality of a maximal infinite almost disjoint family of [omega]^omega and omega^omega respectively, are known to be consistently less than continuum. Here we examine analogs for functions in R^omega and projections on l^2, showing that they too can be consistently less than continuum.


title: Complexity without chaos: Plasticity within random recurrent networks generates robust timing and motor control

abstract: It is widely accepted that the complex dynamics characteristic of recurrent neural circuits contributes in a fundamental manner to brain function. Progress has been slow in understanding and exploiting the computational power of recurrent dynamics for two main reasons: nonlinear recurrent networks often exhibit chaotic behavior and most known learning rules do not work in robust fashion in recurrent networks. Here we address both these problems by demonstrating how random recurrent networks (RRN) that initially exhibit chaotic dynamics can be tuned through a supervised learning rule to generate locally stable neural patterns of activity that are both complex and robust to noise. The outcome is a novel neural network regime that exhibits both transiently stable and chaotic trajectories. We further show that the recurrent learning rule dramatically increases the ability of RRNs to generate complex spatiotemporal motor patterns, and accounts for recent experimental data showing a decrease in neural variability in response to stimulus onset.


title: Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces

abstract: We further study averaged and firmly nonexpansive mappings in the setting of geodesic spaces with a main focus on the asymptotic behavior of their Picard iterates. We use methods of proof mining to obtain an explicit quantitative version of a generalization to geodesic spaces of result on the asymptotic behavior of Picard iterates for firmly nonexpansive mappings proved by Reich and Shafrir. From this result we obtain effective uniform bounds on the asymptotic regularity for firmly nonexpansive mappings. Besides this, we derive effective rates of asymptotic regularity for sequences generated by two algorithms used in the study of the convex feasibility problem in a nonlinear setting.


title: The Laplace transform, mirror symmetry, and the topological recursion of Eynard-Orantin

abstract: This paper is based on the author's talk at the 2012 Workshop on Geometric Methods in Physics held in Bialowieza, Poland. The aim of the talk is to introduce the audience to the Eynard-Orantin topological recursion. The formalism is originated in random matrix theory. It has been predicted, and in some cases it has been proven, that the theory provides an effective mechanism to calculate certain quantum invariants and a solution to enumerative geometry problems, such as open Gromov-Witten invariants of toric Calabi-Yau threefolds, single and double Hurwitz numbers, the number of lattice points on the moduli space of smooth algebraic curves, and quantum knot invariants. In this paper we use the Laplace transform of generalized Catalan numbers of an arbitrary genus as an example, and present the Eynard-Orantin recursion. We examine various aspects of the theory, such as its relations to mirror symmetry, Gromov-Witten invariants, integrable hierarchies such as the KP equations, and the Schroedinger equations.


title: On Optimal TCM Encoders

abstract: An asymptotically optimal trellis-coded modulation (TCM) encoder requires the joint design of the encoder and the binary labeling of the constellation. Since analytical approaches are unknown, the only available solution is to perform an exhaustive search over the encoder and the labeling. For large constellation sizes and/or many encoder states, however, an exhaustive search is unfeasible. Traditional TCM designs overcome this problem by using a labeling that follows the set-partitioning principle and by performing an exhaustive search over the encoders. In this paper we study binary labelings for TCM and show how they can be grouped into classes, which considerably reduces the search space in a joint design. For 8-ary constellations, the number of different binary labelings that must be tested is reduced from 8!=40320 to 240. For the particular case of an 8-ary pulse amplitude modulation constellation, this number is further reduced to 120 and for 8-ary phase shift keying to only 30. An algorithm to generate one labeling in each class is also introduced. Asymptotically optimal TCM encoders are tabulated which are up to 0.3 dB better than the previously best known encoders.


title: Nonthermal X-rays from low-energy cosmic rays: Application to the 6.4 keV line emission from the Arches cluster region

abstract: The iron line at 6.4 keV provides a valuable spectral diagnostic in several fields of X-ray astronomy. It often results from the reprocessing of external X-rays by a neutral or low-ionized medium, but it can also be excited by impacts of low-energy cosmic rays. This paper aims to provide signatures allowing identification of radiation from low-energy cosmic rays in X-ray spectra showing the 6.4 keV line. We study in detail the production of nonthermal line and continuum X-rays by interaction of accelerated electrons and ions with a neutral ambient gas. Corresponding models are then applied to XMM-Newton observations of the X-ray emission emanating from the Arches cluster region near the Galactic center. Bright 6.4 keV line structures are observed around the Arches cluster. This emission is very likely produced by cosmic rays. We find that it can result from the bombardment of molecular gas by energetic ions, but probably not by accelerated electrons. Using a model of X-ray production by cosmic-ray ions, we obtain a best-fit metallicity of the ambient medium of 1.7 plus-minus 0.2 times the solar metallicity. A large flux of low-energy cosmic ray ions could be produced in the ongoing supersonic collision between the star cluster and an adjacent molecular cloud. We find that a particle acceleration efficiency in the resulting shock system of a few percent would give enough power in the cosmic rays to explain the luminosity of the nonthermal X-ray emission. Depending on the unknown shape of the kinetic energy distribution of the fast ions above 1 GeV per nucleon, the Arches cluster region may be a source of high-energy gamma-rays detectable with the Fermi Gamma-ray Space Telescope. At present, the X-ray emission prominent in the 6.4 keV Fe line emanating from the Arches cluster region probably offers the best available signature for a source of low-energy hadronic cosmic rays in the Galaxy.


title: Infinite series representations for Bessel functions of the first kind of integer order

abstract: We have discovered three non-power infinite series representations for Bessel functions of the first kind of integer orders and real arguments. These series contain only elementary functions and are remarkably simple. Each series was derived as a Fourier series of a certain function that contains Bessel function. The series contain parameter $b$ by setting which to specific values one can change specific form of series. Truncated series retain qualitatively behaviour of Bessel functions at large $x$: they have sine-like shape with decreasing amplitude. Derived series allow to obtain new series expansions for trigonometric functions.


title: Repairable Replication-based Storage Systems Using Resolvable Designs

abstract: We consider the design of regenerating codes for distributed storage systems at the minimum bandwidth regeneration (MBR) point. The codes allow for a repair process that is exact and uncoded, but table-based. These codes were introduced in prior work and consist of an outer MDS code followed by an inner fractional repetition (FR) code where copies of the coded symbols are placed on the storage nodes. The main challenge in this domain is the design of the inner FR code. In our work, we consider generalizations of FR codes, by establishing their connection with a family of combinatorial structures known as resolvable designs. Our constructions based on affine geometries, Hadamard designs and mutually orthogonal Latin squares allow the design of systems where a new node can be exactly regenerated by downloading $\beta \geq 1$ packets from a subset of the surviving nodes (prior work only considered the case of $\beta = 1$). Our techniques allow the design of systems over a large range of parameters. Specifically, the repetition degree of a symbol, which dictates the resilience of the system can be varied over a large range in a simple manner. Moreover, the actual table needed for the repair can also be implemented in a rather straightforward way. Furthermore, we answer an open question posed in prior work by demonstrating the existence of codes with parameters that are not covered by Steiner systems.


title: Design principles and fundamental trade-offs in biomimetic light harvesting

abstract: Recent developments in synthetic and supramolecular chemistry have created opportunities to design organic systems with tailored nanoscale structure for various technological applications. A key application area is the capture of light energy and its conversion into electrochemical or chemical forms for photovoltaic or sensing applications. In this work we consider cylindrical assemblies of chromophores that model structures produced by several supramolecular techniques. Our study is especially guided by the versatile structures produced by virus-templated assembly. We use a multi-objective optimization framework to determine design principles and limitations in light harvesting performance for such assemblies, both in the presence and absence of disorder. We identify a fundamental trade-off in cylindrical assemblies that is encountered when attempting to maximize both efficiency of energy transfer and absorption bandwidth. We also rationalize the optimal design strategies and provide explanations for why various structures provide optimal performance. Most importantly, we find that the optimal design strategies depend on the amount of energetic and structural disorder in the system. The aim of these studies is to develop a program of quantum-informed rational design for construction of organic assemblies that have the same degree of tailored nanoscale structure as biological photosynthetic light harvesting complexes, and also have the potential to reproduce their remarkable light harvesting performance.


title: Min-max minimal hypersurface in $(M^{n+1}, g)$ with $Ric_{g}>0$ and $2\leq n\leq 6$

abstract: In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts in \cite{A2}\cite{P} corresponding to the fundamental class of a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature with $2\leq n\leq 6$. We characterize the Morse index, area and multiplicity of this min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and of index one, or is a double cover of a non-orientable minimal hypersurface with least area among all closed embedded minimal hypersurfaces.


title: A fast, high-order solver for the Grad-Shafranov equation

abstract: We present a new fast solver to calculate fixed-boundary plasma equilibria in toroidally axisymmetric geometries. By combining conformal mapping with Fourier and integral equation methods on the unit disk, we show that high-order accuracy can be achieved for the solution of the equilibrium equation and its first and second derivatives. Smooth arbitrary plasma cross-sections as well as arbitrary pressure and poloidal current profiles are used as initial data for the solver. Equilibria with large Shafranov shifts can be computed without difficulty. Spectral convergence is demonstrated by comparing the numerical solution with a known exact analytic solution. A fusion-relevant example of an equilibrium with a pressure pedestal is also presented.


title: The nonlinear Dirac equation: Preparation and stability of relativistic vortices in Bose-Einstein condensates

abstract: We propose a detailed experimental procedure for preparing relativistic vortices, governed by the nonlinear Dirac equation, in a two-dimensional Bose-Einstein condensate (BEC) in a honeycomb optical lattice. Our setup contains Dirac points, in direct analogy to graphene. We determine a range of practical values for all relevant physical parameters needed to realize relativistic vortices in a BEC of $^{87}\mathrm{Rb}$ atoms. Seven distinct vortex types, including Anderson-Toulouse and Mermin-Ho skyrmion textures and half-quantum vortices, are obtained, and their discrete spectra and stability properties are calculated in a weak harmonic trap. We predict that most vortices are stable with a lifetime between $1$ and $10$ seconds.


title: Types of single particle symmetry breaking in transition metal oxides due to electron correlation

abstract: Very accurate wave functions are calculated for small transition metal oxide molecules. These wave functions are decomposed using reduced density matrices to study the underlying correlation of electrons. The correlation is primarily of left-right type between the transition metals and the oxygen atoms, which is mediated by excitations from the nominal single Slater ground state into antibonding and d-type orbitals. In a localized representation, this correlation manifests itself in a 2-electron hopping term that is off-diagonal. This term is of similar magnitude to the commonly considered Hubbard-type on-site interaction.


title: Exact computations of the acoustic radiation force on a sphere using the translational addition theorem

abstract: In this paper, the translational addition theorem for spherical functions is employed to exactly calculate the acoustic radiation force produced by an arbitrary shaped beam on a sphere suspended in an inviscid fluid. The radiation force is given in terms of the beam-shape and the scattering coefficients. Each beam-shape coefficient (BSC) is the complex weight of a multipole mode in partial-wave expansion of the incident beam. Moreover, they depend on the choice of the reference frame which is defined by the sphere's center. On the other hand, the scattering coefficients are obtained from the acoustic boundary conditions across the sphere's surface. Given a set of known BSCs, the translational addition theorem can be used to obtain the new coefficients relative to the sphere's position. Such approach is particularly useful when no closed-form expression of the incident pressure is known, but its BSCs are available. This is the case of a spherically focused ultrasound beam, for which we compute the radiation force on an absorbing compressible sphere arbitrarly placed in the fluid. The analysis is carried out in the Rayleigh and the resonant scattering regimes. It is shown that the focused beam may trap a spherical particle in the Rayleigh scattering regime.


title: Investigating the nuclear Schiff moment of $^{207}$Pb in ferroelectric PbTiO$_3$

abstract: A positive experimental measurement of the nuclear Schiff moment would have important implications for physics beyond the standard model. To aid in the interpretation of a proposed experiment to measure the nuclear Schiff moment of $^{207}$Pb in the ferroelectric PbTiO$_3$, three-dimensional Hartree-Fock calculations have been performed to model the local electronic structure in the vicinity of the Pb nucleus. The energy shift due to the Schiff moment is found to be a factor of 2 smaller in comparison to existing estimates.

categories: physics.atom-ph cond-mat.other hep-ph nucl-th


title: A characterization of the Menger property by means of ultrafilter convergence

abstract: We characterize various Menger/Rothberger related properties by means of ultrafilter convergence, and discuss their behavior with respect to products.


title: Entanglement Reactivation in Separable Environments

abstract: Combining two entanglement-breaking channels into a correlated-noise environment restores the distribution of entanglement. Surprisingly, this reactivation can be induced by the injection of separable correlations from the composite environment. In any dimension (finite or infinite), we can construct classically-correlated "twirling" environments which are entanglement-breaking in the transmission of single systems but entanglement-preserving when two systems are transmitted. Here entanglement is simply preserved by the existence of decoherence-free subspaces. Remarkably, even when such subspaces do not exist, a fraction of the input entanglement can still be distributed. This is found in separable Gaussian environments, where distillable entanglement is able to survive the two-mode transmission, despite being broken in any single-mode transmission by the strong thermal noise. In the Gaussian setting, entanglement restoration is a threshold process, occurring only after a critical amount of correlations has been injected. Such findings suggest new perspectives for distributing entanglement in realistic environments with extreme decoherence, identifying separable correlations and classical memory effects as physical resources for "breaking entanglement-breaking".

categories: quant-ph cond-mat.other math-ph math.MP physics.optics


title: Topological spaces compact with respect to a set of filters

abstract: If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence has an $F$-limit point. Countable compactness, sequential compactness, initial $\kappa$-compactness, $[ \lambda ,\mu]$-compactness, the Menger and Rothberger properties can all be expressed in terms of sequencewise $\mathcal P$-compactness, for appropriate choices of $\mathcal P$. We show that sequencewise $\mathcal P$-compactness is preserved under taking products if and only if there is a filter $F \in \mathcal P$ such that sequencewise $\mathcal P$-compactness is equivalent to $F$-compactness. If this is the case, and there exists a sequencewise $\mathcal P$-compact $T_1$ topological space with more than one point, then $F$ is necessarily an ultrafilter. The particular cases of sequential compactness and of $[ \lambda ,\mu]$-compactness are analyzed in detail.


title: Productivity of $[\mu, \lambda ]$-compactness

abstract: We show that if $\mu \leq \cf \lambda $ and $\lambda$ is a strong limit singular cardinal, then $[\mu, \lambda ]$-compactness is productive if and only if either $\mu= \omega $, or $\mu$ is $\lambda$-strongly compact.


title: Discrete Dithered Desynchronization

abstract: This paper introduces the Discrete Dithered Desynchronization (D3sync) algorithm which is a decentralized Time Division Multiple Access (TDMA) technique in which a set of network nodes computes iteratively a conflict-free schedule so that each node obtains a portion of a frame that is an integer multiple of a fixed slot size. The algorithm is inspired by the dynamics of Pulse Coupled Oscillators (PCO), but unlike its predecessors that divide arbitrarily the frame among the nodes in the network, the D3sync allocates discrete resources among the network nodes. Our paper proves the convergence of the D3sync algorithm and gives an upper bound on the convergence time of the algorithm.


title: Privacy Against Statistical Inference

abstract: We propose a general statistical inference framework to capture the privacy threat incurred by a user that releases data to a passive but curious adversary, given utility constraints. We show that applying this general framework to the setting where the adversary uses the self-information cost function naturally leads to a non-asymptotic information-theoretic approach for characterizing the best achievable privacy subject to utility constraints. Based on these results we introduce two privacy metrics, namely average information leakage and maximum information leakage. We prove that under both metrics the resulting design problem of finding the optimal mapping from the user's data to a privacy-preserving output can be cast as a modified rate-distortion problem which, in turn, can be formulated as a convex program. Finally, we compare our framework with differential privacy.


title: Finite--dimensional global attractor for a system modeling the 2D nematic liquid crystal flow

abstract: We consider a 2D system that models the nematic liquid crystal flow through the Navier--Stokes equations suitably coupled with a transport-reaction-diffusion equation for the averaged molecular orientations. This system has been proposed as a reasonable approximation of the well-known Ericksen--Leslie system. Taking advantage of previous well-posedness results and proving suitable dissipative estimates, here we show that the system endowed with periodic boundary conditions is a dissipative dynamical system with a smooth global attractor of finite fractal dimension.


title: Session Communication and Integration

abstract: The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the parallel composition of program components, and includes various ways such as scenario concatenation, choice, and nesting. The recent development of multiparty session types for process calculi provides useful techniques to accommodate the protocol modularisation, by encoding fragments of communication protocols in the usage of private channels for a class of agents. In this paper, we extend forgoing session type theories by enhancing the session integration mechanism. More specifically, we propose a novel synchronous multiparty session type theory, in which sessions are separated into the communicating and integrating levels. Communicating sessions record the message-based communications between multiple agents, whilst integrating sessions describe the integration of communicating ones. A two-level session type system is developed for pi-calculus with syntactic primitives for session establishment, and several key properties of the type system are studied. Applying the theory to system description, we show that a channel safety property and a session conformance property can be analysed. Also, to improve the utility of the theory, a process slicing method is used to help identify the violated sessions in the type checking.


title: Lists that are smaller than their parts: A coding approach to tunable secrecy

abstract: We present a new information-theoretic definition and associated results, based on list decoding in a source coding setting. We begin by presenting list-source codes, which naturally map a key length (entropy) to list size. We then show that such codes can be analyzed in the context of a novel information-theoretic metric, \epsilon-symbol secrecy, that encompasses both the one-time pad and traditional rate-based asymptotic metrics, but, like most cryptographic constructs, can be applied in non-asymptotic settings. We derive fundamental bounds for \epsilon-symbol secrecy and demonstrate how these bounds can be achieved with MDS codes when the source is uniformly distributed. We discuss applications and implementation issues of our codes.


title: Stellar Populations

abstract: This is a summary of my lectures during the 2011 IAC Winter School in Puerto de la Cruz. I give an introduction to the field of stellar populations in galaxies, and highlight some new results. Since the title of the Winter School was {\it Secular Evolution of Galaxies} I mostly concentrate on nearby galaxies, which are best suited to study this theme. Of course, the understanding of stellar populations is intimately connected to understanding the formation and evolution of galaxies, one of the great outstanding problems of astronomy. We are currently in a situation where very large observational advances have been made in recent years. Galaxies have been detected up to a redshift of 10. A huge effort has to be made so that stellar population theory can catch up with observations. Since most galaxies are far away, information about them has to come from stellar population synthesis of integrated light. Here I will discuss how stellar evolution theory, together with observations in our Milky Way and Local Group, are used as building blocks to analyze these integrated stellar populations.


title: Evidence for Highly Relativistic Velocities in the Kiloparsec-Scale Jet of the Quasar 3C\,345

abstract: In this paper we use radio polarimetric observations of the jet of the nearby bright quasar 3C\,345 to estimate the fluid velocity on kiloparsec scales. The jet is highly polarized, and surprisingly, the electric vector position angles in the jet are ``twisted'' with respect to the jet axis. Simple models of magnetized jets are investigated in order to study various possible origins of the electric vector distribution. In a cylindrically-symmetric transparent jet a helical magnetic field will appear either transverse or longitudinal due to partial cancellations of Stokes parameters between the front and back of the jet. Synchrotron opacity can break the symmetry, but it leads to fractional polarization less than that observed, and to strong frequency dependence that is not seen. Modeling shows that differential Doppler boosting in a diverging jet can break the symmetry, allowing a helical magnetic field to produce a twisted electric vector pattern. Constraints on the jet inclination, magnetic field properties, intrinsic opening angle, and fluid velocities are obtained, and show that highly relativistic speeds ($\beta \ga 0.95$) are required. This is consistent with the observed jet opening angle, with the absence of a counter-jet, with the polarization of the knots at the end of the jet, and with some inverse-Compton models for the X-ray emission from the 3C\,345 jet. This model can also apply on parsec scales and may help explain those sources where the electric vector position angles in the jet are neither parallel nor transverse to the jet axis.


title: DJKM algebras and non-classical orthogonal polynomials

abstract: We describe families of polynomials arising in the study of the universal central extensions of Lie algebras introduced by Date, Jimbo, Kashiwara, and Miwa in their work on the Landau-Lifshitz equations. Two of the families of polynomials we show satisfy certain forth order linear differential equations, are orthogonal and are not of classical type.


title: The WiggleZ Dark Energy Survey: Final data release and cosmological results

abstract: This paper presents cosmological results from the final data release of the WiggleZ Dark Energy Survey. We perform full analyses of different cosmological models using the WiggleZ power spectra measured at z=0.22, 0.41, 0.60, and 0.78, combined with other cosmological datasets. The limiting factor in this analysis is the theoretical modelling of the galaxy power spectrum, including non-linearities, galaxy bias, and redshift-space distortions. In this paper we assess several different methods for modelling the theoretical power spectrum, testing them against the Gigaparsec WiggleZ simulations (GiggleZ). We fit for a base set of 6 cosmological parameters, {Omega_b h^2, Omega_CDM h^2, H_0, tau, A_s, n_s}, and 5 supplementary parameters {n_run, r, w, Omega_k, sum m_nu}. In combination with the Cosmic Microwave Background (CMB), our results are consistent with the LambdaCDM concordance cosmology, with a measurement of the matter density of Omega_m =0.29 +/- 0.016 and amplitude of fluctuations sigma_8 = 0.825 +/- 0.017. Using WiggleZ data with CMB and other distance and matter power spectra data, we find no evidence for any of the extension parameters being inconsistent with their LambdaCDM model values. The power spectra data and theoretical modelling tools are available for use as a module for CosmoMC, which we here make publicly available at http://smp.uq.edu.au/wigglez-data . We also release the data and random catalogues used to construct the baryon acoustic oscillation correlation function.


title: Simultaneous constraints on the number and mass of relativistic species

abstract: Recent indications from both particle physics and cosmology suggest the existence of more than three neutrino species. In cosmological analyses the effects of neutrino mass and number of species can in principle be disentangled for fixed cosmological parameters. However, since we do not have perfect measurements of the standard Lambda Cold Dark Matter model parameters some correlation remains between the neutrino mass and number of species, and both parameters should be included in the analysis. Combining the newest observations of several cosmological probes (cosmic microwave background, large scale structure, expansion rate) we obtain N_eff=3.58(+0.15/-0.16 at 68% CL) (+0.55/-0.53 at 95% CL) and a sum of neutrino masses of less than 0.60 eV (95 CL), which are currently the strongest constraints on N_eff and M_nu from an analysis including both parameters. The preference for N_eff >3 is now at a 2sigma level.


title: Equalitarian Societies are Economically Impossible

abstract: The inequality of wealth distribution is a universal phenomenon in the civilized nations, and it is often imputed to the Matthew effect, that is, the rich get richer and the poor get poorer. Some philosophers unjustified this phenomenon and tried to put the human civilization upon the evenness of wealth. Noticing the facts that 1) the emergence of the centralism is the starting point of human civilization, i.e., people in a society were organized hierarchically, 2) the inequality of wealth emerges simultaneously, this paper proposes a wealth distribution model based on the hidden tree structure from the viewpoint of complex network. This model considers the organized structure of people in a society as a hidden tree, and the cooperations among human beings as the transactions on the hidden tree, thereby explains the distribution of wealth. This model shows that the scale-free phenomenon of wealth distribution can be produced by the cascade controlling of human society, that is, the inequality of wealth can parasitize in the social organizations, such that any actions in eliminating the unequal wealth distribution would lead to the destroy of social or economic structures, resulting in the collapse of the economic system, therefore, would fail in vain.


title: First principles studies of the size and shape effects on reactivity of the Se modified Ru nanoparticles

abstract: We present here the results of our density-functional-theory-based calculations of the electronic and geometric structures and energetics of Se and O adsorption on Ru 93- and 105-atom nanoparticles. These studies have been inspired by the fact that Se/Ru nanoparticles are considered promising electrocatalysts for the oxygen reduction reaction (ORR) on the direct methanol fuel cell cathodes and the oxygen binding energy is a descriptor for the catalyst activity towards this reaction. We find the character of chemical bonding of Se on a flat nanoparticle facet to be ionic, similar to that obtained earlier for the Se/Ru(0001) surface, while in the case of a low coordinated Ru configuration there is an indication of some covalent contribution to the bonding leading to an increase in Se binding energy. Se and O co-adsorbed on the flat facet, both accept electronic charge from Ru, whereas the adsorption on low-coordinated sites causes more complicated valence charge redistribution. The Se modification of the Ru particles leads to weakening of the oxygen bonding to the particle. However, overall, O binding energies are found to be higher for the particles than for Se/Ru(0001). High reactivity of the Se/Ru nanoparticles found in this work is not favorable for ORR. We thus expect that larger particles with well-developed flat facets are more efficient ORR catalysts than small nanoparticles with a large fraction of under-coordinated adsorption sites.


title: Lagrange Anchor for Bargmann-Wigner equations

abstract: A Poincare invariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin s > 1/2 in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law.


title: On the continuous series for affine sl(2,R)

abstract: We construct the representations of affine sl(2,R) starting from the unitary representations of the loop ax+b-group. Our approach involves a combinatorial analysis of the correlation functions of the generators and renormalization of the appearing divergencies. We view our construction as a step towards a realization of the principal series representations of affine sl(2,R).


title: Observational constraints on cosmic neutrinos and dark energy revisited

abstract: Using several cosmological observations, i.e. the cosmic microwave background anisotropies (WMAP), the weak gravitational lensing (CFHTLS), the measurements of baryon acoustic oscillations (SDSS+WiggleZ), the most recent observational Hubble parameter data, the Union2.1 compilation of type Ia supernovae, and the HST prior, we impose constraints on the sum of neutrino masses ($\mnu$), the effective number of neutrino species ($\neff$) and dark energy equation of state ($w$), individually and collectively. We find that a tight upper limit on $\mnu$ can be extracted from the full data combination, if $\neff$ and $w$ are fixed. However this upper bound is severely weakened if $\neff$ and $w$ are allowed to vary. This result naturally raises questions on the robustness of previous strict upper bounds on $\mnu$, ever reported in the literature. The best-fit values from our most generalized constraint read $\mnu=0.556^{+0.231}_{-0.288}\rm eV$, $\neff=3.839\pm0.452$, and $w=-1.058\pm0.088$ at 68% confidence level, which shows a firm lower limit on total neutrino mass, favors an extra light degree of freedom, and supports the cosmological constant model. The current weak lensing data are already helpful in constraining cosmological model parameters for fixed $w$. The dataset of Hubble parameter gains numerous advantages over supernovae when $w=-1$, particularly its illuminating power in constraining $\neff$. As long as $w$ is included as a free parameter, it is still the standardizable candles of type Ia supernovae that play the most dominant role in the parameter constraints.


title: Fragmentation Functions at Belle

abstract: Fragmentation functions (FFs) describe the formation of final state particles from a partonic initial state. Precise knowledge of these functions is a key ingredient in accessing quantities such as the nucleon spin structure in semi-inclusive deep-inelastic scattering and proton proton collisions. However, fragmentation functions can currently not be determined from first principles Quantum Chromodynamics and have to be extracted from experimental data. The Belle experiment at KEK, Japan, provides a large data sample for high precision measurements on e^{+}e^{-} annihilations allowing for first-time or more precise extractions of fragmentation functions. Analyses for extractions of spin-independent (unpolarized FFs) as well as spin-dependent fragmentation functions (interference FFs) at Belle are presented.


title: Fifty Years in Fifteen Minutes: The Impact of the Parkes Observatory

abstract: The scientific output of Parkes over its fifty year history is briefly reviewed on a year-by-year basis, and placed in context with other national and international events of the time.


title: An Evolutionary Timeline for High-mass Star Formation

abstract: The details of the physical process through which high-mass stars form remains nearly as much of a mystery now as it was when the Parkes radio telescope commenced operation. The energy output from high-mass stars influence, or directly drive many important processes in the evolution of galaxies and so understanding in detail when and how they form is important for a broad range of fields of astrophysics. Interstellar masers are one of the most readily observed signposts of regions where young high-mass stars have formed. We have recently made great progress towards using the different maser species and transitions to construct a maser-based evolutionary timeline for high-mass star formation. Here we give an overview of this work, highlighting the particular contribution that past and on-going observations with the Parkes 64m radio telescope have made to this area.


title: Natural electromagnetic waveguide structures based on myelin sheath in the neural system

abstract: The saltatory propagation of action potentials on myelinated axons is conventionally explained by the mechanism employing local circuit ionic current flows between nodes of Ranvier. Under this framework, the myelin sheath with up to 100 layers of membrane only serves as the insulating shell. The speed of action potentials is measured to be as fast as 100 m/s on myelinated axons, but ions move in fluids at just 100 nm/s in a 1 V/m electric field. We show here the action potentials, in the form of electromagnetic (EM) pulses, can propagate in natural EM waveguide structures formed by the myelin sheath merged in fluids. The propagation time is mainly cost on the duration for triggering EM pulses at nodes of Ranvier. The result clearly reveals the evolution of axons from the unmyelinated to the myelinated, which has remarkably enhanced the propagation efficiency by increasing the thickness of myelin sheath.


title: Sharp error bounds for Jacobi expansions and Gengenbauer-Gauss quadrature of analytic functions

abstract: This paper provides a rigorous and delicate analysis for exponential decay of Jacobi polynomial expansions of analytic functions associated with the Bernstein ellipse. Using an argument that can recover the best estimate for the Chebyshev expansion, we derive various new and sharp bounds of the expansion coefficients, which are featured with explicit dependence of all related parameters and valid for degree $n\ge 1$. We demonstrate the sharpness of the estimates by comparing with existing ones, in particular, the very recent results in [38, SIAM J. Numer. Anal., 2012]. We also extend this argument to estimate the Gegenbauer-Gauss quadrature remainder of analytic functions, which leads to some new tight bounds for quadrature errors.


title: Dynamic coloring of graphs having no $K_5$ minor

abstract: We prove that every simple connected graph with no $K_5$ minor admits a proper 4-coloring such that the neighborhood of each vertex $v$ having more than one neighbor is not monochromatic, unless the graph is isomorphic to the cycle of length 5. This generalizes the result by S.-J. Kim, S. J. Lee, and W.-J. Park on planar graphs.


title: Degrees of Freedom of Two-Hop Wireless Networks: "Everyone Gets the Entire Cake"

abstract: We show that fully connected two-hop wireless networks with K sources, K relays and K destinations have K degrees of freedom both in the case of time-varying channel coefficients and in the case of constant channel coefficients (in which case the result holds for almost all values of constant channel coefficients). Our main contribution is a new achievability scheme which we call Aligned Network Diagonalization. This scheme allows the data streams transmitted by the sources to undergo a diagonal linear transformation from the sources to the destinations, thus being received free of interference by their intended destination. In addition, we extend our scheme to multi-hop networks with fully connected hops, and multi-hop networks with MIMO nodes, for which the degrees of freedom are also fully characterized.


title: Network Compression: Memory-Assisted Universal Coding of Sources with Correlated Parameters

abstract: In this paper, we propose {\em distributed network compression via memory}. We consider two spatially separated sources with correlated unknown source parameters. We wish to study the universal compression of a sequence of length $n$ from one of the sources provided that the decoder has access to (i.e., memorized) a sequence of length $m$ from the other source. In this setup, the correlation does not arise from symbol-by-symbol dependency of two outputs from the two sources (as in Slepian-Wolf setup). Instead, the two sequences are correlated because they are originated from the two sources with \emph{unknown} correlated parameters. The finite-length nature of the compression problem at hand requires considering a notion of almost lossless source coding, where coding incurs an error probability $p_e(n)$ that vanishes as sequence length $n$ grows to infinity. We obtain bounds on the redundancy of almost lossless codes when the decoder has access to a random memory of length $m$ as a function of the sequence length $n$ and the permissible error probability $p_e(n)$. Our results demonstrate that distributed network compression via memory has the potential to significantly improve over conventional end-to-end compression when sufficiently large memory from previous communications is available to the decoder.


title: Computing medians and means in Hadamard spaces

abstract: The geometric median as well as the Frechet mean of points in an Hadamard space are important in both theory and applications. Surprisingly, no algorithms for their computation are hitherto known. To address this issue, we use a split version of the proximal point algorithm for minimizing a sum of convex functions and prove that this algorithm produces a sequence converging to a minimizer of the objective function, which extends a recent result of D. Bertsekas (2001) into Hadamard spaces. The method is quite robust and not only does it yield algorithms for the median and the mean, but it also applies to various other optimization problems. We moreover show that another algorithm for computing the Frechet mean can be derived from the law of large numbers due to K.-T. Sturm (2002). In applications, computing medians and means is probably most needed in tree space, which is an instance of an Hadamard space, invented by Billera, Holmes, and Vogtmann (2001) as a tool for averaging phylogenetic trees. It turns out, however, that it can be also used to model numerous other tree-like structures. Since there now exists a polynomial-time algorithm for computing geodesics in tree space due to M. Owen and S. Provan (2011), we obtain efficient algorithms for computing medians and means, which can be directly used in practice.


title: Amplitude Space Sharing among the Macro-Cell and Small-Cell Users

abstract: The crushing demand for wireless data services will soon exceed the capability of the current homogeneous cellular architecture. An emerging solution is to overlay small-cell networks with the macro-cell networks. In this paper, we propose an amplitude space sharing (ASS) method among the macro-cell user and small-cell users. By transmit layer design and data-rate optimization, the signals and interferences are promised to be separable at each receiver and the network sum-rate is maximized. The Han-Koboyashi coding is employed and optimal power allocation is derived for the one small-cell scenario, and a simple ASS transmission scheme is developed for the multiple small-cells scenarios. Simulation results show great superiority over other interference management schemes.


title: Differences in the Brain Waves of 3D and 2.5D Motion Picture Viewers

abstract: We measured brain waves of viewers watching the 2D, 2.5D, and 3D motion pictures, comparing them with one another. The relative intensity of {\alpha}-frequency band of 2.5D-viewer was lower than that of 2D-viewer, while that of 3D-viewer remained with similar intensity. This result implies visual neuro-processing of the 2.5D-viewer differs from that of the 3D-viewer.


title: Implementation of Pellet's theorem

abstract: Pellet's theorem determines when the zeros of a polynomial can be separated into two regions, based on the presence or absence of positive roots of an auxiliary polynomial, but does not provide a method to verify its conditions or to compute the roots of the auxiliary polynomial when they exist. We derive an explicit condition for these roots to exist and, when they do, propose efficient ways to compute them. A similar auxiliary polynomial appears for the generalized Pellet theorem for matrix polynomials and it can be treated in the same way.


title: The Enemy Within: The Emerging Threats to Healthcare from Malicious Mobile Devices

abstract: With the proliferation of wireless networks, mobile devices and medical devices are increasingly being equipped with wireless interfaces, such as Bluetooth and WiFi to allow easy access to and control of the medical devices. Unfortunately, the very presence and usage of such interfaces also expose the medical devices to novel attacks from malicious parties. The emerging threat from malicious mobile devices is significant and severe, since attackers can steal confidential data from a patient's medical device. Also, attackers can compromise the medical device and either feed doctors bad data from it or issue potentially fatal commands to the device, which may even result in the death of the patient. As the mobile devices are often at close proximity to the patient (either in the hospital or home settings), attacks from such devices are hard to prevent. In this paper, we present a systematic analysis of this new threat from mobile devices on medical devices and healthcare infrastructure. We also perform a thorough security analysis of a major hospital and uncover potential vulnerabilities. Finally, we propose a set of potential solutions and defenses against such attacks.


title: Connected Quandles with Order Equal to Twice an Odd Prime

abstract: We show that there is an unique connected quandle of order twice an odd prime number greater than 3. It has order 10 and is isomorphic to the conjugacy class of transpositions in the symmetric group of degree 5. This establishes a conjecture of L. Vendramin.


title: Colloidal Lattice Shearing and Rupturing with a Driven Line of Particles

abstract: We examine the dynamics of two-dimensional colloidal systems using numerical simulations of a system with a drive applied to a thin region in the middle of the sample to produce a local shear. For a monodisperse colloidal assembly, we find a well defined decoupling transition separating a regime of elastic motion from a plastic phase where the particles in the driven region break away or decouple from the particles in the bulk, producing a shear band. For a bidisperse assembly, we find that the onset of a bulk disordering transition coincides with the broadening of the shear band. We identify several distinct dynamical regimes that are correlated with features in the velocity-force curves. As a function of bidispersity, the decoupling force shows a nonmonotonic behavior associated with features in the noise fluctuations, power spectra, and bulk velocity profiles. When pinning is added in the bulk, we find that the shear band regions can become more localized, causing a decoupling of the driven particles from the bulk particles. For a system with thermal noise and no pinning, the shear band region becomes more extended and the average velocity of the driven particles drops at the thermal disordering transition of the bulk system.


title: Slip Effects in Compressible Turbulent Channel Flow

abstract: The direct numerical simulation of compressible fully developed turbulent Couette flow between two parallel plates with equal temperatures moving in opposite directions with some velocity was performed. The algorithm was tested on well known numerical solution for incompressible Poiseuille channel flow and found to provide its well description. The slip effects in studied flow are found to be negligibly small at the values of accommodation coefficients for velocity and temperature of the order of unity. The considerable increase of mean temperature with decreasing the accommodation coefficient for temperature was discovered. The effect may be important in the problems of heat exchange in compressible turbulent boundary layer for some combinations of flowing gas, surface and adsorbing gas.


title: Exciton-polariton condensates near the Dirac point in a triangular lattice

abstract: Dirac particles, massless relativistic entities, obey linear energy dispersions and hold important implication in particle physics. Recent discovery of Dirac fermions in condensed matter systems including graphene and topological insulators raises great interests to explore relativistic properties associated with Dirac physics in solid-state materials. In addition, there are stimulating research activities to engineer Dirac paricles to eludicte their physical properties in a controllable setting. One of the successful platforms is the ultracold atom-optical lattice system, whose dynamics can be manipulated in a clean environment. A microcavity exciton-polariton-lattice system provides an alternative route with an advantage of forming high-orbital condensation in non-equilibrium conditions, which enables to explore novel quantum orbital order in two dimensions. Here we directly map the liner dispersions near the Dirac points, the vertices of the first hexagonal Brillouin zone from exciton-polariton condensates trapped in a triangular lattice. The associated velocity values are ~ 0.9 - 2*10^8 cm/s, which are consistent with the theoretical estimate 1*10^8 cm/s with a 2 \mu m-lattice constant. We envision that the exciton-polariton condensates in lattices would be a promising solid-state platform, where the system order parameter can be accesses in both real and momentum spaces. We furthermore explore unique phenomena revealing quantum bose nature such as superfluidity and distinct features analogous to quantum Hall effect pertinent to time-reversal symmetry.


title: Impurity effect as a probe of the paring symmetry in BiS_{2} based superconductors

abstract: The impurity effects are studied for the BiS_{2}- layered superconductors based on a two orbital model with the Bogoliubov-de-Gennes technique. The superconducting critical temperature (T_{c}) as a function of the mpurity concentration is calculated. Significant reduction of T_{c} is found for spin singlet nearest-neighboring paring d-wave state and the spin triplet next-nearest-neighboring (NNN) paring p-wave state, while no depression of T_{c} for isotropic s-wave state. The single impurity effects for various paring states are also explored. The impurity resonance peak in the local density of states spectrum is found only for the d-wave state. For the spin triplet NNN paring p-wave state, two in-gap peaks occur in the case of positive impurity potential; and a single in-gap peak is found for the negative impurity potential, which shifts towards to lower energy with decreasing the potential strength. These results can be used to detect the paring symmetry of the BiS_{2}- based superconductors.


title: Linear maps preserving separability of pure states

abstract: Linear maps preserving pure states of a quantum system of any dimension are characterized. This is then used to establish a structure theorem for linear maps that preserve separable pure states in multipartite systems. As an application, a characterization of separable pure state preserving affine maps is obtained.


title: Non-uniqueness of Solutions to the Conformal Formulation

abstract: It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based on degree theory rather than on the (uniqueness-providing) contraction arguments that had been used for all non-CMC existence results prior to 2008. In fact, Maxwell demonstrated in 2011 that solutions are non-unique in the far-from-CMC case for certain types of low-regularity mean curvature. In this article, we investigate uniqueness properties of solutions to the Einstein constraint equations on closed manifolds using tools from bifurcation theory. For positive, constant scalar curvature and constant mean curvature, we first demonstrate existence of a critical energy density for the Hamiltonian constraint with unscaled matter sources. We then show that for this choice of energy density, the linearization of the elliptic system develops a one-dimensional kernel in both the CMC and non-CMC (near and far) cases. Using Liapunov-Schmidt reduction and standard tools from nonlinear analysis, we demonstrate that solutions to the conformal formulation with unscaled data are non-unique by determining an explicit solution curve, and by analyzing its behavior in the neighborhood of a particular solution.


title: A coding-free simplicity criterion for the Lyapunov exponents of Teichmueller curves

abstract: In this note we show that the results of H. Furstenberg on the Poisson boundary of lattices of semisimple Lie groups allow to deduce simplicity properties of the Lyapunov spectrum of the Kontsevich-Zorich cocycle of Teichmueller curves in moduli spaces of Abelian differentials without the usage of codings of the Teichmueller flow. As an application, we show the simplicity of some Lyapunov exponents in the setting of (some) Prym Teichmueller curves of genus 4 where a coding-based approach seems hard to implement because of the poor knowledge of the Veech group of these Teichmueller curves. Finally, we extend the discussion in this note to show the simplicity of Lyapunov exponents coming from (high weight) variations of Hodge structures associated to mirror quintic Calabi-Yau threefolds.


title: Two-channel model description of confinement-induced Feshbach molecules

abstract: Using a two-channel model, we investigate theoretically the binding energy of confinement-induced Feshbach molecules in two- and one-dimensional ultracold atomic systems, near a Feshbach resonance. We show that the two-channel prediction will evidently deviate from the simple single-channel theory as the width of Feshbach resonances decreases. For one-dimensional system, we perform a full two-channel calculation, with the inclusion of bare interatomic interactions in the open channel. Away from the resonance, we find a sizable correction to the binding energy, if we neglect incorrectly the bare interatomic interactions as in the previous work [Dickerscheid and Stoof, Phys. Rev. A 72, 053625 (2005)]. We compare our theoretical results with existing experimental data and present predictions for narrow Feshbach resonances that could be tested in future experiments.


title: Strong Coordination with Polar Codes

abstract: In this paper, we design explicit codes for strong coordination in two-node networks. Specifically, we consider a two-node network in which the action imposed by nature is binary and uniform, and the action to coordinate is obtained via a symmetric discrete memoryless channel. By observing that polar codes are useful for channel resolvability over binary symmetric channels, we prove that nested polar codes achieve a subset of the strong coordination capacity region, and therefore provide a constructive and low complexity solution for strong coordination.


title: Momentum-resolved radio-frequency spectroscopy of a spin-orbit coupled atomic Fermi gas near a Feshbach resonance in harmonic traps

abstract: We theoretically investigate the momentum-resolved radio-frequency spectroscopy of a harmonically trapped atomic Fermi gas near a Feshbach resonance in the presence of equal Rashba and Dresselhaus spin-orbit coupling. The system is qualitatively modeled as an ideal gas mixture of atoms and molecules, in which the properties of molecules, such as the wavefunction, binding energy and effective mass, are determined from the two-particle solution of two-interacting atoms. We calculate separately the radio-frequency response from atoms and molecules at finite temperatures by using the standard Fermi golden rule, and take into account the effect of harmonic traps within local density approximation. The total radio-frequency spectroscopy is discussed, as functions of temperature and spin-orbit coupling strength. Our results give a qualitative picture of radio-frequency spectroscopy of a resonantly interacting spin-orbit coupled Fermi gas and can be directly tested in atomic Fermi gases of K40 atoms at Shanxi University and of Li6 atoms at MIT.


title: The fitting problem in a lattice Universe

abstract: We present a regular cubic lattice solution to Einstein field equations that is exact at second order in a small parameter. We show that this solution is kinematically equivalent to the Friedmann-Lema\^itre-Robertson-Walker (FLRW) solution with the same averaged energy density. This allows us to discuss the fitting problem in that framework: are observables along the past lightcone of observers equivalent to those in the analogue FLRW model obtained by smoothing spatially the distribution of matter? We find a criterion on the compacity of the objects that must be satisfied in order for the answer to this question to be positive and given by perturbative arguments. If this criterion is not met, the answer to this question must be addressed fully non perturbatively along the past lightcone, even though the spacetime geometry can be described perturbatively.


title: Semisupervised Classifier Evaluation and Recalibration

abstract: How many labeled examples are needed to estimate a classifier's performance on a new dataset? We study the case where data is plentiful, but labels are expensive. We show that by making a few reasonable assumptions on the structure of the data, it is possible to estimate performance curves, with confidence bounds, using a small number of ground truth labels. Our approach, which we call Semisupervised Performance Evaluation (SPE), is based on a generative model for the classifier's confidence scores. In addition to estimating the performance of classifiers on new datasets, SPE can be used to recalibrate a classifier by re-estimating the class-conditional confidence distributions.


title: D mesons suppression in PbPb collisions at sqrt{s_{NN}} = 2.76 TeV measured by ALICE

abstract: The measurement of the prompt charm mesons D0, D+, D*+, and their antiparticles, in PbPb collisions at the LHC, at a centre-of-mass energy sqrt{s_{NN}}=2.76 TeV, with the ALICE detector, using 2010 data, is presented. The RAA of the three meson species show a suppression of a factor 3-4, for transverse momenta larger than 5 GeV/c, in the 20% most central collisions. The suppression is reduced for peripheral collisions. The results are compared with those of charged particles, charged pions, and non-prompt Jpsi, and also with theoretical calculations.


title: ET-LDA: Joint Topic Modeling For Aligning, Analyzing and Sensemaking of Public Events and Their Twitter Feeds

abstract: Social media channels such as Twitter have emerged as popular platforms for crowds to respond to public events such as speeches, sports and debates. While this promises tremendous opportunities to understand and make sense of the reception of an event from the social media, the promises come entwined with significant technical challenges. In particular, given an event and an associated large scale collection of tweets, we need approaches to effectively align tweets and the parts of the event they refer to. This in turn raises questions about how to segment the event into smaller yet meaningful parts, and how to figure out whether a tweet is a general one about the entire event or specific one aimed at a particular segment of the event. In this work, we present ET-LDA, an effective method for aligning an event and its tweets through joint statistical modeling of topical influences from the events and their associated tweets. The model enables the automatic segmentation of the events and the characterization of tweets into two categories: (1) episodic tweets that respond specifically to the content in the segments of the events, and (2) steady tweets that respond generally about the events. We present an efficient inference method for this model, and a comprehensive evaluation of its effectiveness over existing methods. In particular, through a user study, we demonstrate that users find the topics, the segments, the alignment, and the episodic tweets discovered by ET-LDA to be of higher quality and more interesting as compared to the state-of-the-art, with improvements in the range of 18-41%.


title: On a Stochastic Leray-{\alpha} model of Euler equations

abstract: We deal with the 3D inviscid Leray-{\alpha} model. The well posedness for this problem is not known; by adding a random perturbation we prove that there exists a unique (in law) global solution. The random forcing term formally preserves conservation of energy. The result holds for initial velocity of finite energy and the solution has finite energy a.s.. These results are easily extended to the 2D case.


title: Stokes drift for inertial particles transported by water waves

abstract: We study the effect of surface gravity waves on the motion of inertial particles in an incompressible fluid. Using the multiple-scale technique, we perform an analytical calculation which allows us to predict the dynamics of such particles; results are shown for both the infinite- and finite-depth regimes. Numerical simulations based on the velocity field resulting from the second-order Stokes theory for the surface elevation have been performed, and an excellent agreement with the analytical predictions is observed. Such an agreement seems to hold even beyond the formal applicability of the theory. We find that the presence of inertia leads to a non-negligible correction to the well-known horizontal Stokes drift; moreover, we find that the vertical velocity is also affected by a drift. The latter result may have some relevant consequences on the rate of sedimentation of particles of finite size. We underline that such a drift would also be observed in the (hypothetical) absence of the gravitational force.


title: The asymptotics of ECH capacities

abstract: In a previous paper, the second author used embedded contact homology (ECH) of contact three-manifolds to define "ECH capacities" of four-dimensional symplectic manifolds. In the present paper we prove that for a four-dimensional Liouville domain with all ECH capacities finite, the asymptotics of the ECH capacities recover the symplectic volume. This follows from a more general theorem relating the volume of a contact three-manifold to the asymptotics of the amount of symplectic action needed to represent certain classes in ECH. The latter theorem was used by the first and second authors to show that every contact form on a closed three-manifold has at least two embedded Reeb orbits.


title: Modified Gravity and the Radiation Dominated Epoch

abstract: In this paper we consider scalar-tensor theories, allowing for both conformal and disformal couplings to a fluid with a generic equation of state. We derive the effective coupling for both background cosmology and for perturbations in that fluid. As an application we consider the scalar degree of freedom to be coupled to baryons and study the dynamics of the tightly coupled photon-baryon fluid in the early universe. We derive an expression for the effective speed of sound, which differs from its value in General Relativity. We apply our findings to the \mu-distortion of the cosmic microwave background radiation, which depends on the effective sound-speed of the photon-baryon fluid, and show that the predictions differ from General Relativity. Thus, the \mu-distortion provides further information about gravity in the very early universe well before decoupling.


title: Sun-as-a-Star Observation of Flares in Lyman {\alpha} by the PROBA2/LYRA radiometer

abstract: There are very few reports of flare signatures in the solar irradiance at H i Lyman {\alpha} at 121.5 nm, i.e. the strongest line of the solar spectrum. The LYRA radiometer onboard PROBA2 has observed several flares for which unambiguous signatures have been found in its Lyman-{\alpha} channel. Here we present a brief overview of these observations followed by a detailed study of one of them, the M2 flare that occurred on 8 February 2010. For this flare, the flux in the LYRA Lyman-{\alpha} channel increased by 0.6%, which represents about twice the energy radiated in the GOES soft X-ray channel and is comparable with the energy radiated in the He ii line at 30.4 nm. The Lyman-{\alpha} emission represents only a minor part of the total radiated energy of this flare, for which a white-light continuum was detected. Additionally, we found that the Lyman-{\alpha} flare profile follows the gradual phase but peaks before other wavelengths. This M2 flare was very localized and has a very brief impulsive phase, but more statistics are needed to determine if these factors influence the presence of a Lyman-{\alpha} flare signal strong enough to appear in the solar irradiance.


title: Generating vorticity and magnetic fields in plasmas in general relativity: spacetime curvature drive

abstract: Using the generally covariant magnetofluid formalism for a hot plasma, a new spacetime curvature driven mechanism for generating seed vorticity/magnetic field is presented. The ``battery'' owes its origin to the interaction between gravity and the inhomogeneous plasma thermodynamics. The general relativistic drive is evaluated for two simple cases: seed formation in a simplified model of a hot plasma accreting in stable orbits around a Schwarzschild black hole, and for particles in free fall near the horizon. Some astrophysical applications are suggested.


title: Energy harvesting efficiency of piezoelectric flags in axial flows

abstract: Self-sustained oscillations resulting from fluid-solid instabilities, such as the flutter of a flexible flag in axial flow, can be used to harvest energy if one is able to convert the solid energy into electricity. Here, this is achieved using piezoelectric patches attached to the surface of the flag that convert the solid deformation into an electric current powering purely resistive output circuits. Nonlinear numerical simulations in the slender-body limit, based on an explicit description of the coupling between the fluid-solid and electric systems, are used to determine the harvesting efficiency of the system, namely the fraction of the flow kinetic energy flux effectively used to power the output circuit, and its evolution with the system's parameters. The role of the tuning between the characteristic frequencies of the fluid-solid and electric systems is emphasized, as well as the critical impact of the piezoelectric coupling intensity. High fluid loading, classically associated with destabilization by damping, leads to greater energy harvesting, but with a weaker robustness to flow velocity fluctuations due to the sensitivity of the flapping mode selection. This suggests that a control of this mode selection by a careful design of the output circuit could provide some opportunities of improvement for the efficiency and robustness of the energy harvesting process.


title: The Tetrahedron Zamolodchikov Algebra and the AdS5 x S5 S-matrix

abstract: The S-matrix of the $AdS_5 \times S^5$ string theory is a tensor product of two centrally extended su(2|2) S-matrices, each of which is related to the R-matrix of the Hubbard model. The R-matrix of the Hubbard model was first found by Shastry, who ingeniously exploited the fact that, for zero coupling, the Hubbard model can be decomposed into two XX models. In this article, we review and clarify this construction from the AdS/CFT perspective and investigate the implications this has for the $AdS_5 \times S^5$ S-matrix.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: Imaging the indirect dissociation dynamics of temporary negative ion: N2O- -> N2 + O-

abstract: We reported an imaging study of the dissociation dynamics of temporary negative ion N2O- formed in the low-energy electron attachment, e- + N2O -> N2O- -> N2 + O-. With the help of ab initio molecular dynamics calculations, the evolution of momentum distributions of the O- fragment in terms of the electron attachment energy is identified as the result of a competition between two distinctly different indirect pathways, namely, climbing over and bypassing the energy ridge after the molecular structure bending. These two pathways prefer leaving the N2 fragment at the high vibrational and rotational states, respectively.


title: Analysis of the flooding search algorithm with OPNET

abstract: In this work, we consider the popular OPNET simulator as a tool for performance evaluation of algorithms operating in peer-to-peer (P2P) networks. We created simple framework and used it to analyse the flooding search algorithm which is a popular technique for searching files in an unstructured P2P network. We investigated the influence of the number of replicas and time to live (TTL) of search queries on the algorithm performance. Preparing the simulation we did not reported the problems which are commonly encountered in P2P dedicated simulators although the size of simulated network was limited.


title: Extreme Ultraviolet Solar Irradiance during the rising phase of solar cycle 24 observed by PROBA2/LYRA

abstract: The Large Yield Radiometer (LYRA) is a radiometer that has monitored the solar irradiance at high cadence and in four pass bands since January 2010. Both the instrument and its space- craft, PROBA2 (Project for On-Board Autonomy), have several innovative features for space instrumentation, which makes the data reduction necessary to retrieve the long term variations of solar irradiance more complex than for a fully optimized solar physics mission. In this paper, we describe how we compute the long term time series of the two extreme ultraviolet irradiance channels of LYRA, and compare the results with SDO/EVE. We find that the solar EUV irradi- ance has increased by a factor 2 since the last solar minimum (between solar cycles 23 and 24), which agrees reasonably well with the EVE observations.


title: Virial expansion for a strongly correlated Fermi system and its application to ultracold atomic Fermi gases

abstract: Strongly correlated Fermi system plays a fundamental role in very different areas of physics, from neutron stars, quark-gluon plasmas, to high temperature superconductors. Despite the broad applicability, it is notoriously difficult to be understood theoretically because of the absence of a small interaction parameter. Recent achievements of ultracold trapped Fermi atoms near a Feshbach resonance have ushered in enormous changes. The unprecedented control of interaction, geometry and purity in these novel systems has led to many exciting experimental results, which are to be urgently understood at both low and finite temperatures. Here we review the latest developments of virial expansion for a strongly correlated Fermi gas and their applications on ultracold trapped Fermi atoms. We show remarkable, quantitative agreements between virial predictions and various recent experimental measurements at about the Fermi degenerate temperature. For equation of state, we discuss a practical way of determining high-order virial coefficients and use it to calculate accurately the long-sought third-order virial coefficient, which is now verified firmly in experiments at ENS and MIT. We discuss also virial expansion of a new many-body paramter - Tan's contact. We then turn to less widely discussed issues of dynamical properties. For dynamic structure factor, the virial prediction agrees well with the measurement at the Swinburne University of Technology. For single-particle spectral function, we show that the expansion up to the second order accounts for the main feature of momentum-resolved rf-spectroscopy for a resonantly interacting Fermi gas, as recently reported by JILA. In the near future, more practical applications with virial expansion are possible, owing to the ever-growing power in computation.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Cutoff and mixing time for transient random walks in random environments

abstract: We show that a sequence of birth-and-death chains, given by lazy random walks in a (transient) environment (RWRE) on [0; n], exhibits a cutoff in the ballistic regime but does not exhibit a cutoff in the (interior of) the subballistic regime. We investigate the growth of the mixing times for this model. As an important step in the proof, we derive bounds for the quenched expectation and the quenched variance of the hitting times of the RWRE, which are of independent interest.


title: More on Stochastic and Variational Approach to the Lax-Friedrichs Scheme

abstract: A stochastic and variational aspect of the Lax-Friedrichs scheme was applied to hyperbolic scalar conservation laws by Soga [arXiv: 1205.2167v1]. The results for the Lax-Friedrichs scheme are extended here to show its time-global stability, the large-time behavior, and error estimates. The proofs essentially rely on the calculus of variations in the Lax-Friedrichs scheme and on the theory of viscosity solutions of Hamilton-Jacobi equations corresponding to the hyperbolic scalar conservation laws. Also provided are basic facts that are useful in the numerical analysis and simulation of the weak Kolmogorov-Arnold-Moser (KAM) theory. As one application, a finite difference approximation to KAM tori is rigorously treated.


title: Fast Online EM for Big Topic Modeling

abstract: The expectation-maximization (EM) algorithm can compute the maximum-likelihood (ML) or maximum a posterior (MAP) point estimate of the mixture models or latent variable models such as latent Dirichlet allocation (LDA), which has been one of the most popular probabilistic topic modeling methods in the past decade. However, batch EM has high time and space complexities to learn big LDA models from big data streams. In this paper, we present a fast online EM (FOEM) algorithm that infers the topic distribution from the previously unseen documents incrementally with constant memory requirements. Within the stochastic approximation framework, we show that FOEM can converge to the local stationary point of the LDA's likelihood function. By dynamic scheduling for the fast speed and parameter streaming for the low memory usage, FOEM is more efficient for some lifelong topic modeling tasks than the state-of-the-art online LDA algorithms to handle both big data and big models (aka, big topic modeling) on just a PC.


title: Mellin Transform and Image Charge Method for Dielectric Sphere in an Electrolyte

abstract: We revisit the image charge method for the Green's function problem of the Poisson-Boltzmann equation for a dielectric sphere immersed in ionic solutions. Using finite Mellin transformation, we represent the reaction potential due to a source charge inside the sphere in terms of one dimensional distribution of image charges. The image charges are generically composed of a point image at the Kelvin point and a line image extending from the Kelvin point to infinity with an oscillatory line charge strength. We further develop an efficient and accurate algorithm for discretization of the line image using Pad\'e approximation and finite fraction expansion. Finally we illustrate the power of our method by applying it in a multiscale reaction-field Monte Carlo simulation of monovalent electrolytes.


title: Modular and Landen transformation between two kinds of separable solutions of Sine Gordon equation in N=2

abstract: In this article, we study on the separable N=2 solutions of Sine Gordon equation. From the original symmetry,we get two kinds of N=2 separable solutions. we find these two kinds are related to Landen transformation


title: Approximate Ergodic Capacity of a Class of Fading 2-user 2-hop Networks

abstract: We consider a fading AWGN 2-user 2-hop network where the channel coefficients are independent and identically distributed (i.i.d.) drawn from a continuous distribution and vary over time. For a broad class of channel distributions, we characterize the ergodic sum capacity to within a constant number of bits/sec/Hz, independent of signal-to-noise ratio. The achievability follows from the analysis of an interference neutralization scheme where the relays are partitioned into $M$ pairs, and interference is neutralized separately by each pair of relays. When $M=1$, the proposed ergodic interference neutralization characterizes the ergodic sum capacity to within $4$ bits/sec/Hz for i.i.d. uniform phase fading and approximately $4.7$ bits/sec/Hz for i.i.d. Rayleigh fading. We further show that this gap can be tightened to $4\log \pi-4$ bits/sec/Hz (approximately $2.6$) for i.i.d. uniform phase fading and $4-4\log( \frac{3\pi}{8})$ bits/sec/Hz (approximately $3.1$) for i.i.d. Rayleigh fading in the limit of large $M$.


title: Orbital free ab initio molecular dynamics simulation study of some static and dynamic properties of liquid noble metals

abstract: Several static and dynamic properties of liquid Cu, Ag and Au at thermodynamic states near their respective melting points, have been evaluated by means of the orbital free ab-initio molecular dynamics simulation method. The calculated static structure shows good agreement with the available X-ray and neutron diffraction data. As for the dynamic properties, the calculated dynamic structure factors point to the existence of collective density excitations along with a positive dispersion for l-Cu and l-Ag. Several transport coefficients have been obtained which show a reasonable agreement with the available experimental data.


title: Products in Fusion Systems

abstract: We revisit the notion of a product of a normal subsystem with a $p$-subgroup as defined by Aschbacher. In particular, we give a previously unknown, more transparent construction.


title: Investigations of the g factors and local structure for orthorhombic Cu^{2+}(1) site in fresh PrBa_{2}Cu_{3}O_{6+x} powders

abstract: The electron paramagnetic resonance (EPR) g factors g_x, g_y and g_z of the orthorhombic Cu^{2+}(1) site in fresh PrBa_{2}Cu_{3}O_{6+x} powders are theoretically investigated using the perturbation formulas of the g factors for a 3d^9 ion under orthorhombically elongated octahedra. The local orthorhombic distortion around the Cu^{2+}(1) site due to the Jahn-Teller effect is described by the orthorhombic field parameters from the superposition model. The [CuO6]^{10-} complex is found to experience an axial elongation of about 0.04 {\AA} along c axis and the relative bond length variation of about 0.09 {\AA} along a and b axes of the Jahn-Teller nature. The theoretical results of the g factors based on the above local structure are in reasonable agreement with the experimental data.


title: Chiral Magnetic Effect in Hydrodynamic Approximation

abstract: We review derivations of the chiral magnetic effect (ChME) in hydrodynamic approximation. The reader is assumed to be familiar with the basics of the effect. The main challenge now is to account for the strong interactions between the constituents of the fluid. The main result is that the ChME is not renormalized: in the hydrodynamic approximation it remains the same as for non-interacting chiral fermions moving in an external magnetic field. The key ingredients in the proof are general laws of thermodynamics and the Adler-Bardeen theorem for the chiral anomaly in external electromagnetic fields. The chiral magnetic effect in hydrodynamics represents a macroscopic manifestation of a quantum phenomenon (chiral anomaly). Moreover, one can argue that the current induced by the magnetic field is dissipation free and talk about a kind of "chiral superconductivity". More precise description is a ballistic transport along magnetic field taking place in equilibrium and in absence of a driving force. The basic limitation is exact chiral limit while the temperature--excitingly enough- does not seemingly matter. What is still lacking, is a detailed quantum microscopic picture for the ChME in hydrodynamics. Probably, the chiral currents propagate through lower-dimensional defects, like vortices in superfluid. In case of superfluid, the prediction for the chiral magnetic effect remains unmodified although the emerging dynamical picture differs from the standard one.


title: Photoionization of helium by attosecond pulses: extraction of spectra from correlated wave functions

abstract: We investigate the photoionization spectrum of helium by attosecond XUV pulses both in the spectral region of doubly excited resonances as well as above the double ionization threshold. In order to probe for convergence, we compare three techniques to extract photoelectron spectra from the wavepacket resulting from the integration of the time-dependent Schroedinger equation in a finite-element discrete variable representation basis. These techniques are: projection on products of hydrogenic bound and continuum states, projection onto multi-channel scattering states computed in a B-spline close-coupling basis, and a technique based on exterior complex scaling (ECS) implemented in the same basis used for the time propagation. These methods allow to monitor the population of continuum states in wavepackets created with ultrashort pulses in different regimes. Applications include photo cross sections and anisotropy parameters in the spectral region of doubly excited resonances, time-resolved photoexcitation of autoionizing resonances in an attosecond pump-probe setting, and the energy and angular distribution of correlated wavepackets for two-photon double ionization.


title: Magnetic fluctuations and effective magnetic moments in \gamma-iron due to electronic structure peculiarities

abstract: Applying the local density and dynamical mean field approximations to paramagnetic \gamma-iron we revisit the problem of theoretical description of magnetic properties in a wide temperature range. We show that contrary to \alpha-iron, the frequency dependence of the electronic self-energy has a quasiparticle form for both, t_{2g} and e_g states. In the temperature range T=1200-1500 K, where \gamma-iron exist in nature, this substance can be nevertheless characterized by temperature-dependent effective local moments, which yield relatively narrow peaks in the real part of the local magnetic susceptibility. At the same time, at low temperatures \gamma-iron (which is realized in precipitates) is better described in terms of itinerant picture. In particular, the nesting features of the Fermi surfaces yield maximum of the static magnetic susceptibility at the incommensurate wave vector q_{max} belonging the direction q_X-q_W (q_X=(2\pi/a)(1,0,0),q_W=(2\pi/a)(1,1/2,0), a is a lattice parameter) in agreement with the experimental data. This state is found however to compete closely with the states characterized by magnetic wave vectors along the directions q_X-q_L-q_K, where q_L=(2\pi/a)(1/2,1/2,1/2), q_K=(2\pi/a)(3/4,3/4,0). From the analysis of the uniform magnetic susceptibility we find that contrary to \alpha-iron, the Curie-Weiss law is not fulfilled in a broad temperature range, although the inverse susceptibility is nearly linear in the moderate-temperature region (1200-1500 K). The non-linearity of the inverse uniform magnetic susceptibility in a broader temperature range is due to the density of states peak located close to the Fermi level. The effective exchange integrals in the paramagnetic phase are estimated on the base of momentum dependent susceptibility.


title: Off-central acceptor impurity in a spherical quantum dot

abstract: The hole energy spectrum with the ion of an acceptor impurity in the quantum dot has been calculated using the spherical approximation of the multiband Luttinger model. The dependence of the hole energy levels on the impurity location in the quantum dot has been studied. The effect of the impurity location on the dipole momentum and the oscillator strength has been analyzed. The hole interlevel absorption coefficient has been calculated.


title: The global existence and convergence of the Calabi flow on $\mathbb{C}^n/\mathbb{Z}^n + i\mathbb{Z}^n$

abstract: In this note, we study the long time existence of the Calabi flow on $X = \mathbb{C}^n/\mathbb{Z}^n + i\mathbb{Z}^n$. Assuming the uniform bound of the total energy, we establish the non-collapsing property of the Calabi flow by using Donaldson's estimates and Streets' regularity theorem. Next we show that the curvature is uniformly bounded along the Calabi flow on $X$ when the dimension is 2, partially confirming Chen's conjecture. Moreover, we show that the Calabi flow exponentially converges to the flat K\"ahler metric for arbitrary dimension if the curvature is uniformly bounded, partially confirming Donaldson's conjecture.


title: Calibrating Milky Way dust extinction using cosmological sources

abstract: We constrain the light extinction properties of Milky Way dust. We investigated the correlations between dust column density as inferred from infrared data and the observed colours of celestial objects at cosmological distances with low levels of colour dispersion. Results derived using colours of quasars, brightest central galaxies, and luminous red galaxies are broadly consistent, indicating a proportionality constant between the reddening E(B-V)=A_B-A_V and the dust column density D^T (given in units of MJy/sr) of p=E(B-V)/D^T=0.02 and a reddening parameter R_V=A_V/E(B-V)=3 with fractional uncertainties of approximately 10%. The data do not provide any evidence for spatial variations in the dust properties, except for a possible hint of scatter in the dust extinction properties at the longest optical wavelengths.


title: Modulated preheating and isocurvature perturbations

abstract: We consider a model of preheating where the coupling of the inflaton to the preheat field is modulated by an additional scalar field which is light during inflation. We establish that such a model produces the observed curvature perturbation analogously to the modulated reheating scenario. The contribution of modulated preheating to the power spectrum and to non-Gaussianity can however be significantly larger compared to modulated perturbative reheating. We also consider the implications of the current constraints on isocurvature perturbations in case where the modulating field is responsible for cold dark matter. We find that existing bounds on CDM isocurvature perturbations imply that modulated preheating is unlikely to give a dominant contribution to the curvature perturbation and that the same bounds suggest important constraints on non-Gaussianity and the amount of primordial gravitational waves.


title: Quasi-stationary states of electrons interacting with strong electromagnetic field in two-barrier resonance tunnel nano-structure

abstract: An exact solution of non-stationary Schrodinger equation is obtained for a one-dimensional movement of electrons in an electromagnetic field with arbitrary intensity and frequency. Using it, the permeability coefficient is calculated for a two-barrier resonance tunnel nano-structure placed into a high-frequency electromagnetic field. It is shown that a nano-structure contains quasi-stationary states the spectrum of which consists of the main and satellite energies. The properties of resonance and non-resonance channels of permeability are displayed.


title: Neutrino masses and cosmological parameters from a Euclid-like survey: Markov Chain Monte Carlo forecasts including theoretical errors

abstract: We present forecasts for the accuracy of determining the parameters of a minimal cosmological model and the total neutrino mass based on combined mock data for a future Euclid-like galaxy survey and Planck. We consider two different galaxy surveys: a spectroscopic redshift survey and a cosmic shear survey. We make use of the Monte Carlo Markov Chains (MCMC) technique and assume two sets of theoretical errors. The first error is meant to account for uncertainties in the modelling of the effect of neutrinos on the non-linear galaxy power spectrum and we assume this error to be fully correlated in Fourier space. The second error is meant to parametrize the overall residual uncertainties in modelling the non-linear galaxy power spectrum at small scales, and is conservatively assumed to be uncorrelated and to increase with the ratio of a given scale to the scale of non-linearity. It hence increases with wavenumber and decreases with redshift. With these two assumptions for the errors and assuming further conservatively that the uncorrelated error rises above 2% at k = 0.4 h/Mpc and z = 0.5, we find that a future Euclid-like cosmic shear/galaxy survey achieves a 1-sigma error on Mnu close to 32 meV/25 meV, sufficient for detecting the total neutrino mass with good significance. If the residual uncorrelated errors indeed rises rapidly towards smaller scales in the non-linear regime as we have assumed here then the data on non-linear scales does not increase the sensitivity to the total neutrino mass. Assuming instead a ten times smaller theoretical error with the same scale dependence, the error on the total neutrino mass decreases moderately from sigma(Mnu) = 18 meV to 14 meV when mildly non-linear scales with 0.1 h/Mpc < k < 0.6 h/Mpc are included in the analysis of the galaxy survey data.


title: Annotating Answer-Set Programs in LANA?

abstract: While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks. LANA is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse. To appear in Theory and Practice of Logic Programming


title: Stability of fault plane solutions for Mw >= 4.8 in northern Italy in 2012

abstract: We propose a critical analysis of the moment tensor solutions of the major seismic events that affected northern Italy in 2012. Inverting full waveforms at regional distance using the non-linear method named INPAR, we investigate period dependent resolution that affects in particular the solutions of shallow events. This is mainly due to the poor resolution of Mzx and Mzy components of the seismic tensor when inverting signals whose wavelengths significantly exceed the source depth. As a consequence, instability affects both source depth and fault plane solution retrieval, and spurious large Compensated Linear Vector Dipole components arise. The inversion performed at cutoff periods shorter than 20 s reveals in many cases different details of the rupture process, that are not resolved inverting at longer cutoff periods. Thus we conclude that inversion of full waveforms at cutoff period as short as possible should be preferred.


title: Exact solutions of the problem of free-boundary unsteady flows

abstract: Some approach to the solution of boundary value problems for finding functions, which are analytical in a wedge, is proposed. If the ratio of the angle at the wedge vertex to a number \pi is rational, then the boundary value problem is reduced to the finite system of ordinary differential equations. Such approach, applied the problem of inertial motion of a liquid wedge, made it possible to sum series with small denominators arising in the problem and find four exact examples of self-similar flows with a free boundary.


title: Cram\'er large deviation expansions for martingales under Bernstein's condition

abstract: By using the conjugate distribution technique of Cram\'er, we obtain some expansions of large deviation probabilities for martingales with differences satisfying the conditional Bernstein's condition. The expansions are of the same order as in the classical Cram\'er's large deviation result and are therefore optimal.


title: Numerical solution of Riemann--Hilbert problems: random matrix theory and orthogonal polynomials

abstract: In recent developments, a general approach for solving Riemann--Hilbert problems numerically has been developed. We review this numerical framework, and apply it to the calculation of orthogonal polynomials on the real line. Combining this numerical algorithm with an approach to compute Fredholm determinants, we are able to calculate level densities and gap statistics for general finite-dimensional unitary ensembles. We also include a description of how to compute the Hastings--McLeod solution of the homogeneous Painlev\'e II equation.


title: Stellar populations in the Galactic Bulge (review)

abstract: Until recently our knowledge of the Galactic Bulge stellar populations was based on the study of a few low extinction windows. Large photometric and spectroscopic surveys are now underway to map large areas of the bulge. They probe several complex structures which are still to be fully characterized as well as their links with the inner disc, the thick disc and the inner halo. I will review our current, rapidly increasing, knowledge of the bulge stellar populations and the new insight expected towards the Gaia era to disentangle the formation history of the Galactic inner regions.


title: Quantum Teleportation within a Quantum Network

abstract: We consider the problem of teleporting an unknown information state within a quantum network by a sender, say, Alice to any given receiver out of several receivers, say, Bob(1), Bob(2), ...., Bob(n). For this task, we suggest two schemes using (n+1)-partite GHZ state as a quantum channel. The first scheme involves C-NOT operations on qubit of Bobs with the control as qubit of Alice, while the second scheme involves measurements in the Hadamard basis by Bobs on their qubits. We have generalized both schemes for quantum teleportation of arbitrary m-qubit information state within the quantum network. Further, we have proposed two experimental schemes for the generation of (n+1)-partite GHZ state using interaction between highly detuned \Lambda-type three-level atoms and optical coherent field. We also discuss the possible experimental imperfections like, atomic-radiative time, cavity damping time and atom-cavity interaction time.