title: An ancient Egyptian problem:the diophantine equation 4/n=1/x+1/y+1/z, n>or=2

abstract: From the Rhind Papyrus and other extant sources, we know that the ancient Egyptians were very iterested in expressing a given fraction into a sum of unit fractions, that is fractions whose numerators are equal to 1. One of the problems that has come down to us in the last 60 years, is known as the Erdos- Strauss conjecture which states that for each positive integer n>1; the fraction 4/n can be decomposed into a sum of three distinct unit fractions. Since 1950, a numberof partial results have been achieved, see references [1]- [8]; and also [10] and[11]. In this work we contribute four theorems. In Theorem 2, we prove that if the fraction 4/n is not equal to a sum of three distinct unit fractions, then each prime divisor of n; must be congruent to 1 modulo24. Moreover, if n contains a divisor noncongruent to 1mod24; then such a decomposition does exist and it is explicitly given.


title: Asymptotics of Lagged Fibonacci Sequences

abstract: Consider "lagged" Fibonacci sequences $a(n) = a(n-1)+a(\lfloor n/k\rfloor)$ for $k > 1$. We show that $\lim_{n\to\infty} a(kn)/a(n)\cdot\ln n/n = k\ln k$ and we demonstrate the slow numerical convergence to this limit and how to deal with this slow convergence. We also discuss the connection between two classical results of N.G. de Bruijn and K. Mahler on the asymptotics of $a(n)$.


title: Rapid Cycling Synchrotron Option for Project X

abstract: This paper presents an 8 GeV Rapid Cycling Synchrotron (RCS) option for Project X. It has several advantages over an 8 GeV SC linac. In particular, the cost could be lower. With a 2 GeV 10 mA pulsed linac as injector, the RCS would be able to deliver 4 MW beam power for a muon collider. If, instead, a 2 GeV 1 mA CW linac is used, the RCS would still be able to meet the Project X requirements but it would be difficult for it to serve a muon collider due to the very long injection time.


title: Mean-field cosmological dynamo curvature vs turbulence spectrum in Riemannian space

abstract: Previous attempts for building a cosmic dynamo including preheating in inflationary universes [Bassett et al Phys Rev (2001)] has not included mean field dynamos. Here, a mean field dynamo in cosmic scales on a Riemannian spatial cosmological section background, is set up. When magnetic fields and flow velocities are parallel propagated along the Riemannian space dynamo action is obtained. Turbulent diffusivity ${\beta}$ is coupled with the Ricci magnetic curvature, as in Marklund and Clarkson [MNRAS (2005)], GR-MHD dynamo equation. Mean electric field possesses an extra term due to Ricci tensor coupling with magnetic vector potential in Ohm's law. Goedel universe induces a mean field dynamo growth rate ${\gamma}=2{\omega}^{2}{\beta}$. In this frame kinetic helicity vanishes. By considering a universe vorticity, ${\omega}\approx{10^{-16}s^{-1}}$ for galactic dynamos, thus ${\gamma}=2.10^{-32}{\beta}$, and since ${\beta}\approx{10^{26}cm^{2}s^{-1}}$, the growth rate ${\gamma}\approx{10^{-6}s^{-1}}$. In non-comoving the magnetic field is expressed as $B\approx{\sqrt{\frac{2{\beta}}{\gamma}}{\times}10^{-6}G}\approx{10^{10}G}$ a magnetic field found in the nucleosynthesis era. The Ricci scalar turbulence spectrum of the cosmic dynamos is computed from the GR-MHD dynamo equation. By analyzing the Fourier modes of the Ricci scalar, one shows that the energy spectrum of the curvature turbulent dynamo is similar to the Kolmogorov spectrum. Similar enhancements of turbulence in Friedmann cosmology have been obtained by Brandenburg et al [Phys Rev D (1997)].


title: Tropical polyhedra are equivalent to mean payoff games

abstract: We show that several decision problems originating from max-plus or tropical convexity are equivalent to zero-sum two player game problems. In particular, we set up an equivalence between the external representation of tropical convex sets and zero-sum stochastic games, in which tropical polyhedra correspond to deterministic games with finite action spaces. Then, we show that the winning initial positions can be determined from the associated tropical polyhedron. We obtain as a corollary a game theoretical proof of the fact that the tropical rank of a matrix, defined as the maximal size of a submatrix for which the optimal assignment problem has a unique solution, coincides with the maximal number of rows (or columns) of the matrix which are linearly independent in the tropical sense. Our proofs rely on techniques from non-linear Perron-Frobenius theory.


title: Geometrized Symbols and the Related Codes

abstract: In this paper geometry is studied with a novel approach. Every geometrical object is defined as a symbol which satisfies some properties. These symbols are then coded into a class of numbers which are named here as many dots numbers (MDN). The algebraic structure of MDN is established. Assuming the universe as a symbol, the existence of dark matter is explained qualitatively. Moreover, it is shown that dark matter increases as the universe expands.


title: On the Lagrangian structure of integrable quad-equations

abstract: The new idea of flip invariance of action functionals in multidimensional lattices was recently highlighted as a key feature of discrete integrable systems. Flip invariance was proved for several particular cases of integrable quad-equations by Bazhanov, Mangazeev and Sergeev and by Lobb and Nijhoff. We provide a simple and case-independent proof for all integrable quad-equations. Moreover, we find a new relation for Lagrangians within one elementary quadrilateral which seems to be a fundamental building block of the various versions of flip invariance.


title: Large Late-time Asphericities in Three Type IIP Supernovae

abstract: Type II-plateau supernovae (SNe IIP) are the results of the explosions of red supergiants and are the most common subclass of core-collapse supernovae. Past observations have shown that the outer layers of the ejecta of SNe IIP are largely spherical, but the degree of asphericity increases toward the core. We present evidence for high degrees of asphericity in the inner cores of three recent SNe IIP (SNe 2006my, 2006ov, and 2007aa), as revealed by late-time optical spectropolarimetry. The three objects were all selected to have very low interstellar polarization (ISP), which minimizes the uncertainties in ISP removal and allows us to use the continuum polarization as a tracer of asphericity. The three objects have intrinsic continuum polarizations in the range of 0.83-1.56% in observations taken after the end of the photometric plateau, with the polarization dropping to almost zero at the wavelengths of strong emission lines. Our observations of SN 2007aa at earlier times, taken on the photometric plateau, show contrastingly smaller continuum polarizations (~0.1%). The late-time H-alpha and [O I] line profiles of SN 2006ov provide further evidence for asphericities in the inner ejecta. Such high core polarizations in very ordinary core-collapse supernovae provide further evidence that essentially all core-collapse supernova explosions are highly aspherical, even if the outer parts of the ejecta show only small deviations from spherical symmetry.


title: Analytic QCD coupling with no power terms in UV regime

abstract: We construct models of analytic QCD (i.e.,with the running coupling parameter free of Landau singularities) which address several problems encountered in previous analytic QCD models, among them their incompatibility with the ITEP-OPE philosophy (due to UV power terms) and too low values of the semihadronic tau decay ratio. The starting point of the approach is the construction of appropriate nonperturbative beta functions.


title: Global well-posedness and scattering for the defocusing, $L^{2}$-critical, nonlinear Schr{\"o}dinger equation when $d \geq 3$

abstract: In this paper we prove that the defocusing, $d$-dimensional mass critical nonlinear Schr{\"o}dinger initial value problem is globally well-posed and scattering for $u_{0} \in L^{2}(\mathbf{R}^{d})$ and $d \geq 3$. To do this, we will prove a frequency localized interaction Morawetz estimate similar to the estimate made in [10]. Since we are considering an $L^{2}$ - critical initial value problem we will localize to low frequencies.


title: Near-equilibrium measurements of nonequilibrium free energy

abstract: A central endeavor of thermodynamics is the measurement of free energy changes. Regrettably, although we can measure the free energy of a system in thermodynamic equilibrium, typically all we can say about the free energy of a non-equilibrium ensemble is that it is larger than that of the same system at equilibrium. Herein, we derive a formally exact expression for the probability distribution of a driven system, which involves path ensemble averages of the work over trajectories of the time-reversed system. From this we find a simple near-equilibrium approximation for the free energy in terms of an excess mean time-reversed work, which can be experimentally measured on real systems. With analysis and computer simulation, we demonstrate the accuracy of our approximations for several simple models.


title: The real field with an irrational power function and a dense multiplicative subgroup

abstract: This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a quantifier elimination result will be shown for the real field with an irrational power function and a dense multiplicative subgroup of finite rank whose elements are algebraic over the field generated by the irrational power. Moreover, every open set definable in this structure is already definable in the reduct given by just the real field and the irrational power function.


title: X-ray Radiation Mechanisms and Beaming Effect of Hot Spots and Knots in Active Galactic Nuclear Jets

abstract: The observed radio-optical-X-ray spectral energy distributions (SEDs) of 22 hot spots and 45 knots in the jets of 35 active galactic nuclei are complied from literature and modeled with single-zone lepton models. It is found that the observed luminosities at 5 GHz (L_5GHz) and at 1 keV (L_1keV) are tightly correlated, and the two kinds of sources can be roughly separated with a division of L_1keV=L_5GHz. Our SED fits show that the mechanisms of the X-rays are diverse. Considering the sources at rest, the synchrotron-self-Compton (SSC) scattering would dominate the IC process. This model can interpret the X-rays of some hot spots with a magnetic field strength (B_ssc^delta=1) being consistent with the equipartition magnetic field (B_eq^delta=1) in one order of magnitude, but an unreasonably low B_ssc^delta=1 is required to model the X-rays for all knots. The ratio R_B=B_eq^delta=1/B_ssc^delta=1 is greater than 1 and it is tightly anti-correlated with ratio R_L= L_1keV/L_5GHz for both the knots and the hot spots. We propose that the deviation may be due to the neglect of the relativistic bulk motion for these sources. Considering this effect, we show that the IC/CMB model well explains the X-ray emission for most sources. Both B_eq' and delta are tentatively correlated with R_L. Corrected by the beaming effect, the L'_5GHz-L'_1keV relations for the two kinds of sources are even tighter than the observed ones. These facts suggest that, under the equipartition condition, the observational differences of the X-rays from the knots and hot spots may be mainly due the differences on the Doppler boosting effect and the co-moving magnetic field of the two kinds of sources. Our IC scattering models predict a prominent GeV-TeV component in the SEDs for some sources, which are detectable with H.E.S.S. and Fermi/LAT.


title: Morse Theory for C*-Algebras: A Geometric Interpretation of Some Noncommutative Manifolds

abstract: The approach we present is a modification of the Morse theory for unital C*-algebras. We provide tools for the geometric interpretation of noncommutative CW complexes. These objects were introduced and studied in [2],[7] and [14]. Some examples to illustrate these geometric information in practice are given. A classification of unital C*-algebras by noncommutative CW complexes and the modified Morse functions on them is the main object of this work.


title: QED Contribution to the Color-Singlet $\jpsi$ Production in $\Upsilon$ Decay Near the Endpoint

abstract: A recent study indicates that the $\alpha^2\alpha_s^2$ order QED processes of $\Upsilon \to \jpsi + X$ decay are compatible with those of QCD processes. However, in the endpoint region, the Non-relativistic QED (NRQED) calculation breaks down since the collinear degrees of freedom are missing under the framework of this effective theory. In this paper we apply the soft collinear effective theory (SCET) to study the color-singlet QED process at the kinematic limit. Within this approach we are able to sum the kinematic logarithms by running operators using the renormalization group equations of SCET, which will lead to a dramatic change in the momentum distribution near the endpoint and the spectrum shape consistent with the experimental results.


title: The Second Main Theorem Concerning Small Algebroid Functions

abstract: In this paper, we firstly give the definition of meromorphic function element and algebroid mapping. We also construct the algebroid function family in which the arithmetic, differential operations is closed. On basis of these works, we firstly proved the Second Main Theorem concerning small algebroid functions for v-valued algebroid functions.


title: Quantum theory is classical mechanics with non-local existence

abstract: I propose a new and direct connection between classical mechanics and quantum mechanics where I derive the quantum mechanical propagator from a variational principle. This variational principle is Hamilton's modified principle generalized to allow many paths due to the non-local existence of particles in phase space. This principle allows a physical system to evolve non-locally in phase space while still allowing a representation that uses many classical paths. Whereas a point in phase space represents a classical system's state, I represent the state of a non-local system by a mixed trajectory. This formulation naturally leads to the transactional interpretation for resolving the paradoxes of the measurement problem. This principle also suggests a more flexible framework for formulating theories based on invariant actions and provides a single conceptual framework for discussing many areas of science.


title: Holographic Superconductors with various condensates in Einstein-Gauss-Bonnet gravity

abstract: We study holographic superconductors in Einstein-Gauss-Bonnet gravity. We consider two particular backgrounds: a $d$-dimensional Gauss-Bonnet-AdS black hole and a Gauss-Bonnet-AdS soliton. We discuss in detail the effects that the mass of the scalar field, the Gauss-Bonnet coupling and the dimensionality of the AdS space have on the condensation formation and conductivity. We also study the ratio $\omega_g/T_c $ for various masses of the scalar field and Gauss-Bonnet couplings.


title: Origin of rotational kinematics in the globular cluster system of M31: A new clue to the bulge formation

abstract: We propose that the rotational kinematics of the globular cluster system (GCS) in M31 can result from a past major merger event that could have formed its bulge component. We numerically investigate kinematical properties of globular clusters (GCs) in remnants of galaxy mergers between two disks with GCs in both their disk and halo components. We find that the GCS formed during major merging can show strongly rotational kinematics with the maximum rotational velocities of 140 - 170 km/s for a certain range of orbital parameters of merging. We also find that a rotating stellar bar, which can be morphologically identified as a boxy bulge if seen edge-on, can be formed in models for which the GCSs show strongly rotational kinematics. We thus suggest that the observed rotational kinematics of GCs with different metallicities in M31 can be closely associated with the ancient major merger event. We discuss whether the formation of the rotating bulge/bar in M31 can be due to the ancient merger.


title: D mesons in asymmetric nuclear matter at finite temperatures

abstract: We study the in-medium properties of $D$ and $\bar{D}$ mesons in isospin-asymmetric nuclear matter at finite temperatures using an effective chiral SU(4) model. The interactions of $D$ and $\bar{D}$ mesons with nucleons, scalar isoscalar meson $\sigma$, and scalar iso-vector meson $\delta$ are taken into consideration. It is found that as compared to the $\bar{D}$ mesons, the properties of the $D$ mesons are observed to be quite sensitive to the isospin-asymmetry at high densities. At finite densities, the masses of $D$ and $\bar{D}$ mesons observed at finite temperatures are seen to be higher in comparison to the zero temperature case. The present study of the in-medium properties of $D$ and $\bar{D}$ mesons will be of relevance for the experiments in the future facility of the FAIR, GSI, where the compressed baryonic matter at high densities and moderate temperatures is expected to be produced. The mass modifications of $D$ and $\bar{D}$ mesons in hot nuclear medium can lead to decay of the charmonium states ($\Psi^{'}, \chi_{c}, J/\Psi$) to $D\bar{D}$ pairs in dense hadronic matter. The isospin-asymmetric effects on the properties of the open charm mesons for the doublets $D=(D^0,D^+)$ and $\bar D=(\bar D^0,D^-)$ should show in observables like their production and collective flow in asymmetric heavy-ion collisions. The small attractive potentials observed for the $\bar{D}$ mesons may also lead to formation of the $\bar{D}$ mesic nuclei.


title: Inert-Sterile Neutrino: Cold or Warm Dark Matter Candidate

abstract: In usual particle models, sterile neutrinos can account for the dark matter of the Universe only if they have masses in the keV range and are warm dark matter. Stringent cosmological and astrophysical bounds, in particular imposed by X-ray observations, apply to them. We point out that in a particular variation of the inert doublet model, sterile neutrinos can account for the dark matter in the Universe and may be either cold or warm dark matter candidates, even for masses much larger than the keV range. These Inert-Sterile neutrinos, produced non-thermally in the early Universe, would be stable and have very small couplings to Standard Model particles, rendering very difficult their detection in either direct or indirect dark matter searches. They could be, in principle, revealed in colliders by discovering other particles in the model.


title: Pervasive Emotions in Pervasive Computing Environments

abstract: This submission has been withdrawn by arXiv admin. It is a verbatim copy of arXiv:0912.1810 with only the author name and title changed.


title: Local well posedness for KdV with data in a subspace of $H^{-1}$ and applications to illposedness theory for KdV and mKdV

abstract: We prove the local well posedness for the KdV equation in the modulation space $M^{-1}_{2,1}(\mathbb{R})$. Our method is to substitute the dyadic decomposition by the uniform decomposition in the discrete Bourgain space. This wellposedness result enables us to show that the solution map is discontinuous at the origin with respect to the $H^{s} $-topology as soon as $s<-1$. Making use of the Miura transform we also deduce a discontinuity result for the $ H^s(\Real) $-topology, $s<0 $, for the solution map associated with the focussing and defocussing mKdV equations.


title: Pairing competition in a quasi-one-dimensional model of organic superconductors (TMTSF)$_{2}X$ in magnetic field

abstract: We microscopically study the effect of the magnetic field (Zeeman splitting) on the superconducting state in a model for quasi-one-dimensional organic superconductors (TMTSF)$_{2}X$. We investigate the competition between spin singlet and spin triplet pairings and the Fulde-Ferrell-Larkin-Ovchinnikov(FFLO) state by random phase approximation. While we studied the competition by comparison with the eigenvalue of the gap equation at a fixed temperature in our previous study (Phys. Rev. Lett. \textbf{102} (2009) 016403), here we obtain both the $T_c$ for each pairing state and a phase diagram in the $T$(temperature)-$h_z$(field)-$V_y$(strength of the charge fluctuation) space. The phase diagram shows that consecutive transitions from singlet pairing to the FFLO state and further to $S_z=1$ triplet pairing can occur upon increasing the magnetic field when $2k_{F}$ charge fluctuations coexist with $2k_{F}$ spin fluctuations. In the FFLO state, the singlet d-wave and $S_{z}=0$ triplet $f$-wave components are strongly mixed especially when the charge fluctuations are strong.


title: Circumstellar Habitable Zones to Ecodynamic Domains: A Preliminary Review and Suggested Future Directions

abstract: The concept of the Circumstellar Habitable Zone has served the scientific community well for some decades. It slips easily off the tongue, and it would be hard to replace. Recently, however, several workers have postulated types of habitable bodies which might exist outside the classic circumstellar habitable zone (HZ). These include not only bodies which orbit at substantial distances from their parent stars, but also snowball worlds with geothermally-maintained internal oceans and even densely-atmosphered worlds with geothermally-maintained surface oceans, which have been ejected from unstable planetary systems into interstellar space. If habitability is not a unique and diagnostic property of the HZ, then the value of the term has been compromised in a fundamental way. At the same time, it has become evident that multiple environmental states, differing in important ways in their habitability, are possible even for geophysically similar planets subject to similar levels of insolation, within the classic HZ. We discuss an approach to investigations of planetary habitability which focuses on planetary-scale ecosystems, which are here termed - ecospheres. This is following a usage popular amongst ecologists, such as Huggett (1999), rather than that of authors such as Strughold (1953) and Dole (1964), who used it as a term for the HZ. This approach emphasizes ecodynamic perspectives, which explore the dynamic interactions between the biotic and abiotic factors which together comprise ecosystems.


title: Solitary waves in mixtures of Bose gases confined in annular traps

abstract: A two-component Bose-Einstein condensate that is confined in a one-dimensional ring potential supports solitary-wave solutions, which we evaluate analytically. The derived solutions are shown to be unique. The corresponding dispersion relation that generalizes the case of a single-component system shows interesting features.


title: Systematic Control of Carrier Doping without Disorder at Interface of Oxide Heterostructures

abstract: We propose a method to systematically control carrier densities at the interface of transition-metal oxide heterostructures without introducing disorders. By inserting non-polar layers sandwiched by polar layers, continuous carrier doping into the interface can be realized. This method enables us to control the total carrier densities per unit cell systematically up to high values of the order unity.


title: Some aspects of color superconductivity: an introduction

abstract: A pedagogical introduction to color superconductivity in the weak coupling limit is given. The focus is on the basic tools of thermal field theory necessary to compute observables of color superconductivity. The rich symmetry structure and symmetry breaking patterns are analyzed on the basis of the Anderson-Higgs mechanism. Some techniques can also be applied for computing neutrino processes in compact stars. As an example, we show how to obtain the neutrino emissivity for Urca processes in neutron stars by computing the polarization tensor of the W-boson. We also illustrate how a spin-1 color superconducting phase generates an anisotropic neutrino emissions in compact stars.


title: Cosmic Gamma-ray from Inverse Compton Process in Unstable Dark Matter Scenario

abstract: Motivated by the PAMELA anomaly in the fluxes of cosmic-ray positron and electron, we study the cosmic gamma-ray induced by the inverse Compton (IC) scattering process in unstable dark matter scenario assuming that the anomaly is due to the positron and electron emission by the decay of dark matter. We calculate the fluxes of IC-induced gamma-ray produced in our Galaxy and that from cosmological distance, and show that both of them are significant. We discuss a possibility that large dark matter mass over TeV scale might be constrained by the gamma-ray observation by Fermi Gamma-ray Space Telescope.


title: A sufficient condition for bifurcation in random dynamical systems

abstract: Some properties of random Conley index are obtained and then a sufficient condition for the existence of abstract bifurcation points for both discrete-time and continuous-time random dynamical systems is presented. This stochastic bifurcation phenomenon is demonstrated by a few examples.


title: Reconstruction and deceleration-acceleration transitions in modified gravity

abstract: We discuss the cosmological reconstruction in modified Gauss-Bonnet and F(R) gravities. Two alternative representations of the action (with and without auxiliary scalar) are considered. The approximate description of deceleration-acceleration transition cosmologies is reconstructed. It is shown that cosmological solution containing Big Bang and Big Rip singularities may be reconstructed only using the representation with the auxiliary field. The analytical description of the deceleration-acceleration transition cosmology in modified Gauss-Bonnet gravity is demonstrated to be impossible at sufficiently general conditions.


title: The nonmodular topological phase and phase singularities

abstract: Generalizing an earlier definition of the noncyclic geometric phase (R.Bhandari, Phys.Lett.A, 157, 221 (1991)), a nonmodular topological phase is defined with reference to a generic time-dependent two-slit interference experiment involving particles with N internal states in which the internal state of both the beams undergoes unitary evolution. A simple proof of the shorter geodesic rule for closure of the open path is presented and several useful new insights into the behaviour of the dynamical and geometrical components of the phase shift presented. An effective hamiltonian interpretation of the observable phase shifts is also presented.


title: Coherent quasiparticle approximation cQPA and nonlocal coherence

abstract: We show that the dynamical Wigner functions for noninteracting fermions and bosons can have complex singularity structures with a number of new solutions accompanying the usual mass-shell dispersion relations. These new shell solutions are shown to encode the information of the quantum coherence between particles and antiparticles, left and right moving chiral states and/or between different flavour states. Analogously to the usual derivation of the Boltzmann equation, we impose this extended phase space structure on the full interacting theory. This extension of the quasiparticle approximation gives rise to a self-consistent equation of motion for a density matrix that combines the quantum mechanical coherence evolution with a well defined collision integral giving rise to decoherence. Several applications of the method are given, for example to the coherent particle production, electroweak baryogenesis and study of decoherence and thermalization.


title: Force balance in canonical ensembles of static granular packings

abstract: We investigate the role of local force balance in the transition from a microcanonical ensemble of static granular packings, characterized by an invariant stress, to a canonical ensemble. Packings in two dimensions admit a reciprocal tiling, and a collective effect of force balance is that the area of this tiling is also invariant in a microcanonical ensemble. We present analytical relations between stress, tiling area and tiling area fluctuations, and show that a canonical ensemble can be characterized by an intensive thermodynamic parameter conjugate to one or the other. We test the equivalence of different ensembles through the first canonical simulations of the force network ensemble, a model system.


title: Learning an Interactive Segmentation System

abstract: Many successful applications of computer vision to image or video manipulation are interactive by nature. However, parameters of such systems are often trained neglecting the user. Traditionally, interactive systems have been treated in the same manner as their fully automatic counterparts. Their performance is evaluated by computing the accuracy of their solutions under some fixed set of user interactions. This paper proposes a new evaluation and learning method which brings the user in the loop. It is based on the use of an active robot user - a simulated model of a human user. We show how this approach can be used to evaluate and learn parameters of state-of-the-art interactive segmentation systems. We also show how simulated user models can be integrated into the popular max-margin method for parameter learning and propose an algorithm to solve the resulting optimisation problem.


title: Universality in the bulk of the spectrum for complex sample covariance matrices

abstract: We consider complex sample covariance matrices $M_N=\frac{1}{N}YY^*$ where $Y$ is a $N \times p$ random matrix with i.i.d. entries $Y_{ij}, 1\leq i\leq N, 1\leq j \leq p$ with distribution $F$. Under some regularity and decay assumption on $F$, we prove universality of some local eigenvalue statistics in the bulk of the spectrum in the limit where $N\to \infty$ and $\lim_{N \to \infty}p/N =\gamma$ for any real number $\gamma \in (0, \infty)$.


title: Edge States and Quantum Hall Effect in Graphene under a Modulated Magnetic Field

abstract: Graphene properties can be manipulated by a periodic potential. Based on the tight-binding model, we study graphene under a one-dimensional (1D) modulated magnetic field which contains both a uniform and a staggered component. New chiral current-carrying edge states are generated at the interfaces where the staggered component changes direction. These edge states lead to an unusual integer quantum Hall effect (QHE) in graphene, which can be observed experimentally by a standard four-terminal Hall measurement. When Zeeman spin splitting is considered, a novel state is predicted where the electron edge currents with opposite polarization propagate in the opposite directions at one sample boundary, whereas propagate in the same directions at the other sample boundary.


title: Xampling: Analog to Digital at Sub-Nyquist Rates

abstract: We present a sub-Nyquist analog-to-digital converter of wideband inputs. Our circuit realizes the recently proposed modulated wideband converter, which is a flexible platform for sampling signals according to their actual bandwidth occupation. The theoretical work enables, for example, a sub-Nyquist wideband receiver, which has no prior information on the transmitter carrier positions. Our design supports input signals with 2 GHz Nyquist rate and 120 MHz spectrum occupancy, with arbitrary transmission frequencies. The sampling rate is as low as 280 MHz. To the best of our knowledge, this is the first reported wideband hardware for sub-Nyquist conversion. Furthermore, the modular design is proven to compete with state-of-the-art Nyquist ADCs in terms of resolution bits and full-scale range. We describe the various circuit design considerations, with an emphasis on the nonordinary challenges the converter introduces: mixing a signal with a multiple set of sinusoids, rather than a single local oscillator, and generation of highly-transient periodic waveforms, with transient intervals on the order of the Nyquist rate. A series of hardware experiments validates the design and demonstrate sub-Nyquist sampling.


title: Supersonically Turbulent, Shock Bound Interaction Zones

abstract: Shock bound interaction zones (SBIZs) are ubiquitous in astrophysics. We present numerical results for 2D and 3D, plane-parallel, infinitely extended SBIZs. Isothermal settings and parameterized cooling are considered. We highlight and compare characteristic of such zones. We emphasize the mutual coupling between the turbulence within the SBIZ and the confining shocks, point out potential differences to 3D periodic box studies of supersonic turbulence, and contemplate on possible effects on the X-ray emission of such zones.


title: New harmonic number identities with applications

abstract: We determine the explicit formulas for the sum of products of homogeneous multiple harmonic sums $\sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{\lambda_j})$ when $\sum_{j=1}^r \lambda_j\leq 5$. We apply these identities to the study of two congruences modulo a power of a prime.


title: Recurrent Novae: Progenitors of SN Ia?

abstract: We present 3D hydrodynamical simulations of the separated binary RS Ophiuchi (RS Oph), a recurrent nova and potential progenitor of a SN Ia. RS Oph is composed of a red giant (RG) and a white dwarf (WD) whose mass is close to the Chandrasekhar limit. In an isothermal scenario, the WD accrets about 10% of a 20 km/s RG wind by a non-Keplerian accretion disk with strong spiral shocks, and about 2% of a 60 km/s RG wind by what we term a 'turbulent accretion ball'. A significantly larger impact have the thermodynamics. In an adiabatic scenario only about 0.7% of the 20 km/s RG wind is accreted. The rate of change of the system separation due to mass and angular momentum loss out of the system is negative in all three cases studied, but is ten times smaller for a fast RG wind (60 km/s) than for a slow RG wind (20 km/s). The results demonstrate that existing nova models and observed recurrence times fit well together with 3D wind accretion and that RS Oph is one of the most promising systems to become an SN Ia.


title: Universal sum and product rules for random matrices

abstract: The spectral density of random matrices is studied through a quaternionic generalisation of the Green's function, which precisely describes the mean spectral density of a given matrix under a particular type of random perturbation. Exact and universal expressions are found in the high-dimension limit for the quaternionic Green's functions of random matrices with independent entries when summed or multiplied with deterministic matrices. From these, the limiting spectral density can be accurately predicted.


title: Removal of singularities and Gromov compactness for symplectic vortices

abstract: We prove that the moduli space of gauge equivalence classes of symplectic vortices with uniformly bounded energy in a compact Hamiltonian manifold admits a Gromov compactification by polystable vortices. This extends results of Mundet i Riera and Tian for circle actions to the case of arbitrary compact Lie groups. Our argument relies on an a priori estimate for vortices that allows us to apply techniques used by McDuff and Salamon in their proof of Gromov compactness for pseudoholomorphic curves. As an intermediate result we prove a removable singularity theorem for vortices.


title: The Structure of Clusters with Bimodal Distributions of Galaxy Radial Velocities. I. A1035

abstract: The structure of the A1035 cluster of galaxies (10h32m +40d13', cz ~ 22000 km/s), which exhibits a bimodal distribution of galaxy radial velocities (\Delta V\approx 3000 km/s), is analyzed using three methods of determining the relative distances to clusters from early-type galaxies: the Kormendy relation corrected for the dependence of residuals on galaxy magnitude, the photometric plane, and the fundamental plane. We use the data obtained with the 1-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences and SDSS (DR5) data to show that A1035 consists of two gravitationally unbound independent clusters. These clusters with the velocity dispersions of 566 km/s and 610 km/s and masses within R_200 equal to 2.7 10^14 and 3.5 10^14 M_sun, respectively, obey the Hubble law.


title: Formation of Atomic Carbon Chains from Graphene Nanoribbons

abstract: The formation of one-dimensional carbon chains from graphene nanoribbons is investigated using it ab initio molecular dynamics. We show under what conditions it is possible to obtain a linear atomic chain via pulling of the graphene nanoribbons. The presence of dimers composed of two-coordinated carbon atoms at the edge of the ribbons is necessary for the formation of the linear chains, otherwise there is simply the full rupture of the structure. The presence of Stone-Wales defects close to these dimers may lead to the formation of longer chains. The local atomic configuration of the suspended atoms indicates the formation of single and triple bonds, which is a characteristic of polyynes.


title: Analysis of the Properties of Clusters of Galaxies in the Region of the Ursa Major Supercluster

abstract: We analyze the properties of the clusters of galaxies in the region of the Ursa Major (UMa) supercluster using observational data from SDSS and 2MASS catalogs. The region studied includes a supercluster (with a galaxy and cluster overdensity of 3 and 15, respectively) and field clusters inside the 150 Mpc diameter surrounding region. The total dynamical mass of 10 clusters of galaxies in UMa is equal to 2.25 10^15 M_sun, and the mass of 11 clusters of galaxies in the UMa neighborhood is equal to 1.70 10^15 M_sun. The fraction of early-type galaxies brighter than M_K*+1 in the virialized regions of clusters is, on the average, equal to 70%, and it is virtually independent on the mass of the cluster. The fraction of these galaxies and their average photometric parameters are almost the same both for UMa clusters and for the clusters located in its surroundings. Parameters of the clusters of galaxies, such as infrared luminosities up to a fixed magnitude, the mass-to-luminosity ratio, and the number of galaxies have almost the same correlations with the cluster mass as in other samples of galaxies clusters. However, the scatter of these parameters for UMa member clusters is twice smaller than the corresponding scatter for field clusters, possibly, due to the common origin of UMa clusters and synchronized dynamical evolution of clusters in the supercluster.


title: Leptonic dark matter annihilation in the evolving universe: constraints and implications

abstract: The cosmic electron and positron excesses have been explained as possible dark matter (DM) annihilation products. In this work we investigate the possible effects of such a DM annihilation scenario during the evolution history of the Universe. We first calculate the extragalactic $\gamma$-ray background (EGRB), which is produced through the final state radiation of DM annihilation to charged leptons and the inverse Compton scattering between electrons/positrons and the cosmic microwave background. The DM halo profile and the minimal halo mass, which are not yet well determined from the current N-body simulations, are constrained by the EGRB data from EGRET and Fermi telescopes. Then we discuss the impact of such leptonic DM models on cosmic evolution, such as the reionization and heating of intergalactic medium, neutral Hydrogen 21 cm signal and suppression of structure formation. We show that the impact on the Hydrogen 21 cm signal might show interesting signatures of DM annihilation, but the influence on star formation is not remarkable. Future observations of the 21 cm signals could be used to place new constraints on the properties of DM.


title: Embedded Cobordism Categories and Spaces of Manifolds

abstract: Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of the cobordism category with objects (d-1)-dimensional submanifolds of a fixed background manifold M. There is a description in terms of a space of sections of a bundle over M associated to its tangent bundle. This can be interpreted as a form of Poincare duality, relating a space of submanifolds of M to a space of functions on M.


title: The Structure of Clusters with Bimodal Distributions of Galaxy Radial Velocities. II: A1775

abstract: We analyze the structure of the cluster of galaxies Abell 1775 (13h42m, +26d22', cz ~ 21000 km/s), which exhibits a bimodal distribution of radial velocities of the containing galaxies. The difference of the subcluster radial velocities is \Delta V\approx 2900 km/s. We use the results of our photometric observations made with the 1-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences and the spectroscopic and photometric data from the SDSS DR6 catalog to determine independent distances to the subclusters via three different methods: the Kormendy relation, photometric plane, and fundamental plane. We find that the A1775 cluster consists of two independent clusters, A1775A (cz=19664 km/s) and A1775B (cz=22576 km/s), each located at its own Hubble distance and having small peculiar velocities. Given the velocity dispersions of 324 km/s and 581 km/s and the dynamic masses within the R_200 radius equal to 0.6 10^14 and 3.3 10^14 M_sun, the A1775A and A1775B clusters have the K-band luminosity-to-mass ratios of 29 and 61, respectively. A radio galaxy with an extended tail belongs to the A1775B cluster.


title: On a computation of rank two Donaldson-Thomas invariants

abstract: For a Calabi-Yau 3-fold $X$, we explicitly compute the Donaldson-Thomas type invariant counting pairs $(F, V)$, where $F$ is a zero-dimensional coherent sheaf on $X$ and $V\subset F$ is a two dimensional linear subspace, which satisfy a certain stability condition. This is a rank two version of the DT-invariant of rank one, studied by Li, Behrend-Fantechi and Levine-Pandharipande. We use the wall-crossing formula of DT-invariants established by Joyce-Song, Kontsevich-Soibelman.


title: On the series of the reciprocals lcm's of sequences of positive integers: A curious interpretation

abstract: In this paper, we prove the following result: {quote} Let $\A$ be an infinite set of positive integers. For all positive integer $n$, let $\tau_n$ denote the smallest element of $\A$ which does not divide $n$. Then we have $$\lim_{N \to + \infty} \frac{1}{N} \sum_{n = 1}^{N} \tau_n = \sum_{n = 0}^{\infty} \frac{1}{\lcm\{a \in \A | a \leq n\}} .$${quote} In the two particular cases when $\A$ is the set of all positive integers and when $\A$ is the set of the prime numbers, we give a more precise result for the average asymptotic behavior of ${(\tau_n)}_n$. Furthermore, we discuss the irrationality of the limit of $\tau_n$ (in the average sense) by applying a result of Erd\H{o}s.


title: Relationships between nonmesonic-weak-decays in different hypernuclei

abstract: Using as a tool the s-wave approximation (sWA), this work demonstrates that the nonmesonic weak decay transition rates $\Gamma_{n}$ and $\Gamma_{p}$ can be expressed in all hypernuclei up to $^{29}_\Lambda $Si (and very likely in heavier ones too) in the same way as in the s-shell hypernuclei, i.e. as a linear combination of only three elementary transition rates. This finding leads to the analytic prediction that, independently of the transition mechanism, all hypernuclei that are on the stability line (N = Z), i.e. $^5_\Lambda $He, $^7_\Lambda $Li, $^9_\Lambda $Be, $^{11}_\Lambda$B, $^{13}_\Lambda $C, $^{17}_\Lambda $O, $^{29}_\Lambda $Si, etc should roughly have the same ratio $\Gamma_{n}/\Gamma_{p}$, the magnitude of which rapidly increases when one approaches the neutron drip-line (N >> Z), and opposite happens when one goes toward the proton drip-line (N << Z).


title: Standard Cosmological Evolution in f(R) Model to Kaluza Klein Cosmology

abstract: In this paper, using $f(R)$ theory of gravity we explicitly calculate cosmological evolution in the presence of a perfect fluid source in four and five dimensional, space time in which this cosmological evolution in self-creation is presented by Reddy et al 2009 Int. J. Theor. Phys. 48 10. An exact cosmological model is presented using a relation between Einstein gravity field equation components due to a metric with the same component from $f(R)$ theory of gravity. Some physics and kinematical properties of the model are also discussed.


title: Do black hole masses scale with classical bulge luminosities only? The case of the two composite pseudobulge galaxies NGC3368 and NGC3489

abstract: It is now well established that all galaxies with a massive bulge component harbour a central supermassive black hole (SMBH). The mass of the SMBH correlates with bulge properties such as the bulge mass and the velocity dispersion, which implies that the bulge and the SMBH of a galaxy have grown together during the formation process. The spiral galaxy NGC3368 and the S0 galaxy NGC3489 both host a pseudobulge and a much smaller classical bulge component at the centre. We present high resolution, near-infrared IFU data of these two galaxies, taken with SINFONI at the VLT, and use axisymmetric orbit models to determine the masses of the SMBHs. The SMBH mass of NGC3368 is M_BH=7.5x10^6 M_sun with an error of 1.5x10^6 M_sun, which mostly comes from the non-axisymmetry in the data. For NGC3489, a solution without black hole cannot be excluded when modelling the SINFONI data alone, but can be clearly ruled out when modelling a combination of SINFONI, OASIS and SAURON data, for which we obtain M_BH=6.00^{+0.56}_{-0.54} (stat) +/- 0.64 (sys) x 10^6 M_sun. Although both galaxies seem to be consistent with the M_BH-sigma relation, at face value they do not agree with the relation between bulge magnitude and black hole mass when the total bulge magnitude (i.e., including both classical bulge and pseudobulge) is considered; the agreement is better when only the small classical bulge components are considered. However, taking into account the ageing of the stellar population could change this conclusion.


title: Communication via Quantum Neural Network

abstract: In this study, the partially entangled neural networks is used to transfer information between two neurons, where the original teleportation protocol is employed this for this purpose. The effect of the network strength on the fidelity of the transported information is investigated. We show that as the strength of the network increases, the accuracy of the transformed information increases. As a practical application, we consider the spread of swine flu virus between two equivalent tranches of the community. In this treatment two factors are considered, one for humanity and the other for influence factor. The likelihood of infection between different age group is investigated, where we show that the strength of the neural network and the degree of infection plays an important role on transferring infection between different age group. From theoretical point of view, we show that it is possible to control the spread of the virus by controlling the network parameter. Also, by using local rotation, one can decrease the rate of infection between the young.


title: A Diophantine Frobenius problem related to Riemann surfaces

abstract: We obtain sharp upper and lower bounds on a certain four-dimensional Frobenius number determined by a prime pair $(p,q)$, $2<p<q$, including exact formulae for two infinite subclasses of such pairs. Our work is motivated by the study of compact Riemann surfaces which can be realized as a semi-regular $pq$-fold coverings of surfaces of lower genus. In this context, the Frobenius number is (up to an additive translation) the largest genus in which no surface is such a covering. In many cases it is also the largest genus in which no surface admits an automorphism of order $pq$. The general $t$-dimensional Frobenius problem ($t \geq 3$) is $NP$-hard, and it may be that our restricted problem retains this property.


title: On the Structure of Covers of Sofic Shifts

abstract: A canonical cover generalizing the left Fischer cover to arbitrary sofic shifts is introduced and used to prove that the left Krieger cover and the past set cover of a sofic shift can be divided into natural layers. These results are used to find the range of a flow-invariant and to investigate the ideal structure of the universal C*-algebra associated to a sofic shift space.


title: X-ray vs. water maser emission in AGN

abstract: Correlations between X-ray and water maser emission in AGN have been recently reported. However, the lack of systematic studies affects the confidence level of these results. In the following, we introduce a project aimed at studying all the water maser sources believed to be associated with AGN activity through X-ray data obtained with the XRT and BAT instruments on-board the Swift satellite. Preliminary results of this work indicate a promising rate of XRT detections allowing us to refine follow-up observing strategies focused on investigating the nuclei of individual galaxies and deriving, on statistical basis, the main characteristics of water maser hosts. In addition, a cross-correlation between our sample and the BAT 22-months all-sky survey provides an exceptionally high detection rate at hard X-ray energies when compared to other AGN-related catalogs.


title: T-duality and Differential K-Theory

abstract: We give a precise formulation of T-duality for Ramond-Ramond fields. This gives a canonical isomorphism between the "geometrically invariant" subgroups of the twisted differential K-theory of certain principal torus bundles. Our result combines topological T-duality with the Buscher rules found in physics.


title: Imprinting Patterns of Neutral Atoms in an Optical Lattice using Magnetic Resonance Techniques

abstract: We prepare arbitrary patterns of neutral atoms in a one-dimensional (1D) optical lattice with single-site precision using microwave radiation in a magnetic field gradient. We give a detailed account of the current limitations and propose methods to overcome them. Our results have direct relevance for addressing of planes, strings or single atoms in higher dimensional optical lattices for quantum information processing or quantum simulations with standard methods in current experiments. Furthermore, our findings pave the way for arbitrary single qubit control with single site resolution.


title: Measurements of Ice Crystal Growth Rates in Air at -5C and -10C

abstract: We present experiments investigating the growth of ice crystals from water vapor in air using a free-fall convection chamber. We measured growth rates at temperatures of -5 C and -10 C as a function of supersaturation at an air pressure near one bar. We compared our data with numerical models of diffusion-limited growth based on cellular automata to extract surface growth parameters at different temperatures and supersaturations. From these investigations we hope to better understand the surface molecular dynamics that determine crystal growth rates and morphologies.


title: Spin and transport effects in quantum microcavities with polarization splitting

abstract: Transport properties of exciton-polaritons in anisotropic quantum microcavities are considered theoretically. Microscopic symmetry of the structure is taken into account by allowing for both the longitudinal-transverse (TE-TM) and anisotropic splitting of polariton states. The splitting is equivalent to an effective magnetic field acting on polariton pseudospin, and polarization conversion in microcavities is shown to be caused by an interplay of exciton-polariton spin precession and elastic scattering. In addition, we considered the spin-dependent interference of polaritons leading to weak localization and calculated coherent backscattering intensities in different polarizations. Our findings are in a very good agreement with the recent experimental data.


title: Sous-modules d'unit\'es en th\'eorie d'Iwasawa

abstract: We give a necessary and sufficient "Galois descent" condition to the freeness of the Iwasawa module built from Sinnott's circular units. Then we describe explicit examples for which this condition is not fulfilled.


title: Distributed-order fractional Cauchy problems on bounded domains

abstract: In a fractional Cauchy problem, the usual first order time derivative is replaced by a fractional derivative. The fractional derivative models time delays in a diffusion process. The order of the fractional derivative can be distributed over the unit interval, to model a mixture of delay sources. In this paper, we provide explicit strong solutions and stochastic analogues for distributed-order fractional Cauchy problems on bounded domains with Dirichlet boundary conditions. Stochastic solutions are constructed using a non-Markovian time change of a killed Markov process generated by a uniformly elliptic second order space derivative operator.


title: Identification of a Novel "Fishbone" Structure in the Dendritic Growth of Columnar Ice Crystals

abstract: Ice crystals growing in highly supersaturated air at temperatures near -5 C exhibit a distinctive, nonplanar dendritic morphology that has not been previously documented or explained. We examine this structure and identify its most prominent features in relation to the ice crystal lattice. Developing a full 3D numerical model that reproduces this robust morphology will be an interesting challenge in understanding diffusion-limited crystal growth in the presence of highly anisotropic surface attachment kinetics.


title: Markov Modeling of Cooperative Multiplayer Coupon Collectors' Problems

abstract: The paper introduces a modified version of the classical Coupon Collector's Problem entailing exchanges and cooperation between multiple players. Results of the development show that, within a proper Markov framework, the complexity of the Cooperative Multiplayer Coupon Collectors' Problem can be attacked with an eye to the modeling of resource harvesting and sharing within the context of Next Generation Network. The cost of cooperation is computed in terms of exchange protocol burden and found to be dependent on only ensemble parameters such as the number of players and the number of coupons but not on the detailed collection statistics. The benefits of cooperation are quantified in terms of reduction of the average number of actions before collection completion.


title: Nuclear physics from strong coupling QCD

abstract: The strong coupling limit (beta_gauge = 0) of QCD offers a number of remarkable research possibilities, of course at the price of large lattice artifacts. Here, we determine the complete phase diagram as a function of temperature T and baryon chemical potential mu_B, for one flavor of staggered fermions in the chiral limit, with emphasis on the determination of a tricritical point and on the T ~ 0 transition to nuclear matter. The latter is known to happen for mu_B substantially below the baryon mass, indicating strong nuclear interactions in QCD at infinite gauge coupling. This leads us to studying the properties of nuclear matter from first principles. We determine the nucleon-nucleon potential in the strong coupling limit, as well as masses m_A of nuclei as a function of their atomic number A. Finally, we clarify the origin of nuclear interactions at strong coupling, which turns out to be a steric effect.


title: Storage and recall of weak coherent optical pulses with an efficiency of 25%

abstract: We demonstrate experimentally a quantum memory scheme for the storage of weak coherent light pulses in an inhomogeneously broadened optical transition in a Pr^{3+}: YSO crystal at 2.1 K. Precise optical pumping using a frequency stable (about 1kHz linewidth) laser is employed to create a highly controllable Atomic Frequency Comb (AFC) structure. We report single photon storage and retrieval efficiencies of 25%, based on coherent photon echo type re-emission in the forward direction. The coherence property of the quantum memory is proved through interference between a super Gaussian pulse and the emitted echo. Backward retrieval of the photon echo emission has potential for increasing storage and recall efficiency.


title: Re: Re: A contribution to the history of quarks

abstract: The emergence of Boris Struminsky's January, 1965 paper with a footnote that introduced a new quark quantum number now known as color caused a response [arXiv:0908.2772] that is seen, perhaps contrary to what it was intended to convey, to corroborate the general picture that comes out of the evidence summarized in [arXiv:0904.0343].


title: Feedback-Optimized Operations with Linear Ion Crystals

abstract: We report on transport operations with linear crystals of 40Ca+ ions by applying complex electric time-dependent potentials. For their control we use the information obtained from the ions' fluorescence. We demonstrate that by means of this feedback technique, we can transport a predefined number of ions and also split and unify ion crystals. The feedback control allows for a robust scheme, compensating for experimental errors as it does not rely on a precisely known electrical modeling of the electric potentials in the ion trap beforehand. Our method allows us to generate a self-learning voltage ramp for the required process. With an experimental demonstration of a transport with more than 99.8 % success probability, this technique may facilitate the operation of a future ion based quantum processor.


title: Global Units modulo Circular Units : descent without Iwasawa's Main Conjecture

abstract: Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $\mu$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so to speak unit class groups, satisfy also good descent properties. We show this directly, i.e. without using Iwasawa's Main Conjecture.


title: On metric geometry of conformal moduli spaces of four-dimensional superconformal theories

abstract: Conformal moduli spaces of four-dimensional superconformal theories obtained by deformations of a superpotential are considered. These spaces possess a natural metric (a Zamolodchikov metric). This metric is shown to be Kahler. The proof is based on superconformal Ward identities.


title: Superembedding approach to Dp-branes, M-branes and multiple D(0)-brane systems

abstract: We review the superembedding approach to M-branes and Dp-branes, in its form based on the universal (D and p-independent) superembedding equation, and its recent application in searching for supersymmetric and Lorentz covariant description of multiple Dp-brane systems. In particular, we present the structure of the multiple D0-brane equation as follows from our superembedding description and show that it describes the dielectric effect firstly noticed by Emparan and then by Myers. We also discuss briefly the relation with the boundary fermion approach by Howe, Lindstrom and Wulff.


title: Competition between recombination and epistasis can cause a transition from allele to genotype selection

abstract: Biochemical and regulatory interactions central to biological networks are expected to cause extensive genetic interactions or epistasis affecting the heritability of complex traits and the distribution of genotypes in populations. However, the inference of epistasis from the observed phenotype-genotype correlation is impeded by statistical difficulties, while the theoretical understanding of the effects of epistasis remains limited, in turn limiting our ability to interpret data. Of particular interest is the biologically relevant situation of numerous interacting genetic loci with small individual contributions to fitness. Here, we present a computational model of selection dynamics involving many epistatic loci in a recombining population. We demonstrate that a large number of polymorphic interacting loci can, despite frequent recombination, exhibit cooperative behavior that locks alleles into favorable genotypes leading to a population consisting of a set of competing clones. When the recombination rate exceeds a certain critical value that depends on the strength of epistasis, this "genotype selection" regime disappears in an abrupt transition, giving way to "allele selection"-the regime where different loci are only weakly correlated as expected in sexually reproducing populations. We show that large populations attain highest fitness at a recombination rate just below critical. Clustering of interacting sets of genes on a chromosome leads to the emergence of an intermediate regime, where blocks of cooperating alleles lock into genetic modules. These haplotype blocks disappear in a second transition to pure allele selection. Our results demonstrate that the collective effect of many weak epistatic interactions can have dramatic effects on the population structure.


title: Sur la torsion de la distribution ordinaire universelle attach\'ee \`a un corps de nombres

abstract: We study the torsion subgroup of the universal ordinary distribution related to a general number field. We describe a way to control this subgroup. We apply this method to the special case of an imaginary quadratic field, and we give examples of such fields where these torsion subgroups are non-trivial.


title: Spin-triplet pairing in large nuclei

abstract: The nuclear pairing condensate is expected to change character from spin-singlet to spin-triplet when the nucleus is very large and the neutron and proton numbers $Z,N$ are equal. We investigate the transition between these two phases within the framework of the Hartree-Fock-Bogoliubov equations, using a zero-range interaction to generate the pairing. We confirm that extremely large nucleus would indeed favor triplet pairing condensates, with the Hamiltonian parameters taken from known systematics. The favored phase is found to depend on the specific orbitals at the Fermi energy. The smallest nuclei with a well-developed spin-triplet condensate are in the mass region A ~ 130-140.


title: CSR expansions of matrix powers in max algebra

abstract: We study the behavior of max-algebraic powers of a reducible nonnegative n by n matrix A. We show that for t>3n^2, the powers A^t can be expanded in max-algebraic powers of the form CS^tR, where C and R are extracted from columns and rows of certain Kleene stars and S is diadonally similar to a Boolean matrix. We study the properties of individual terms and show that all terms, for a given t>3n^2, can be found in O(n^4 log n) operations. We show that the powers have a well-defined ultimate behavior, where certain terms are totally or partially suppressed, thus leading to ultimate CS^tR terms and the corresponding ultimate expansion. We apply this expansion to the question whether {A^ty, t>0} is ultimately linear periodic for each starting vector y, showing that this question can be also answered in O(n^4 log n) time. We give examples illustrating our main results.


title: Check of AGT Relation for Conformal Blocks on Sphere

abstract: The AGT conjecture identifying conformal blocks with the Nekrasov functions is investigated for the spherical conformal blocks with more than 4 external legs. The diagram technique which arises in conformal block calculation involves propagators and vertices. We evaluated vertices with two Virasoro algebra descendants and explicitly checked the AGT relation up to the third order of the expansion for the 5-point and 6-point conformal blocks on sphere confirming all the predictions of arXiv:0906.3219 relevant in this situation. We propose that U(1)-factor can be extracted from the matrix elements of the free field Vertex operators. We studied the n-point case, and found out that our results confirm the AGT conjecture up to the third order expansions.


title: Recombination rate and selection strength in HIV intra-patient evolution

abstract: The evolutionary dynamics of HIV during the chronic phase of infection is driven by the host immune response and by selective pressures exerted through drug treatment. To understand and model the evolution of HIV quantitatively, the parameters governing genetic diversification and the strength of selection need to be known. While mutation rates can be measured in single replication cycles, the relevant effective recombination rate depends on the probability of coinfection of a cell with more than one virus and can only be inferred from population data. However, most population genetic estimators for recombination rates assume absence of selection and are hence of limited applicability to HIV, since positive and purifying selection are important in HIV evolution. Here, we estimate the rate of recombination and the distribution of selection coefficients from time-resolved sequence data tracking the evolution of HIV within single patients. By examining temporal changes in the genetic composition of the population, we estimate the effective recombination to be r=1.4e-5 recombinations per site and generation. Furthermore, we provide evidence that selection coefficients of at least 15% of the observed non-synonymous polymorphisms exceed 0.8% per generation. These results provide a basis for a more detailed understanding of the evolution of HIV. A particularly interesting case is evolution in response to drug treatment, where recombination can facilitate the rapid acquisition of multiple resistance mutations. With the methods developed here, more precise and more detailed studies will be possible, as soon as data with higher time resolution and greater sample sizes is available.


title: The group of automorphisms of the algebra of polynomial integro-differential operators

abstract: The group $\rG_n$ of automorphisms of the algebra $\mI_n:=K< x_1, >..., x_n, \frac{\der}{\der x_1}, ... ,\frac{\der}{\der x_n}, \int_1, >..., \int_n>$ of polynomial integro-differential operators is found: $$ \rG_n=S_n\ltimes \mT^n\ltimes \Inn (\mI_n) \supseteq S_n\ltimes \mT^n \ltimes \underbrace{\GL_\infty (K)\ltimes... \ltimes \GL_\infty (K)}_{2^n-1 {\rm times}}, $$ $$ \rG_1\simeq \mT^1 \ltimes \GL_\infty (K),$$ where $S_n$ is the symmetric group, $\mT^n$ is the $n$-dimensional torus, $\Inn (\mI_n)$ is the group of inner automorphisms of $\mI_n$ (which is huge). It is proved that each automorphism $\s \in \rG_n$ is uniquely determined by the elements $\s (x_i)$'s or $\s (\frac{\der}{\der x_i})$'s or $\s (\int_i)$'s. The stabilizers in $\rG_n$ of all the ideals of $\mI_n$ are found, they are subgroups of {\em finite} index in $\rG_n$. It is shown that the group $\rG_n$ has trivial centre, $\mI_n^{\rG_n}=K$ and $\mI_n^{\Inn (\mI_n)}=K$, the (unique) maximal ideal of $\mI_n$ is the {\em only} nonzero prime $\rG_n$-invariant ideal of $\mI_n$, and there are precisely $n+2$ $\rG_n$-invariant ideals of $\mI_n$. For each automorphism $\s \in \rG_n$, an {\em explicit inversion formula} is given via the elements $\s (\frac{\der}{\der x_i})$ and $\s (\int_i)$.


title: Integral Operators in Bilateral Grand Lebesgue Spaces

abstract: In this paper we estimate the norm of operator acting from one Bilateral Grand Lebesgue Space (BGLS) into other Bilateral Grand Lebesgue Space. We also give some examples to show the sharpness of offered inequalities.


title: Duality in filtered Floer-Novikov complexes

abstract: We prove that a certain bilinear pairing (analagous to the Poincare-Lefschetz intersection pairing) between filtered sub- and quotient complexes of a Floer-type chain complex and of its "opposite complex" is always nondegenerate on homology. This implies a duality relation for the Oh-Schwarz-type spectral invariants of these complexes which (in Hamiltonian Floer theory) was established in the special case that the period map has discrete image by Entov and Polterovich. The duality relation served as a key lemma in Entov and Polterovich's construction of a Calabi quasimorphism on certain rational symplectic manifolds, and the result that we prove here implies that their construction remains valid when the rationality hypothesis is dropped. Apart from this, we also use the nondegeneracy of the pairing to establish a new formula for what we have previously called the boundary depth of a Floer chain complex; this formula shows that the boundary depth is unchanged under passing to the opposite complex.


title: Fractal Location and Anomalous Diffusion Dynamics for Oil Wells from the KY Geological Survey

abstract: Utilizing data available from the Kentucky Geonet (KYGeonet.ky.gov) the fossil fuel mining locations created by the Kentucky Geological Survey geo-locating oil and gas wells are mapped using ESRI ArcGIS in Kentucky single plain 1602 ft projection. This data was then exported into a spreadsheet showing latitude and longitude for each point to be used for modeling at different scales to determine the fractal dimension of the set. Following the porosity and diffusivity studies of Tarafdar and Roy1 we extract fractal dimensions of the fossil fuel mining locations and search for evidence of scaling laws for the set of deposits. The Levy index is used to determine a match to a statistical mechanically motivated generalized probability function for the wells. This probability distribution corresponds to a solution of a dynamical anomalous diffusion equation of fractional order that describes the Levy paths which can be solved in the diffusion limit by the Fox H function ansatz.


title: QCD Equation of State and Hadron Resonance Gas

abstract: We compare the trace anomaly, strangeness and baryon number fluctuations calculated in lattice QCD with expectations based on hadron resonance gas model. We find that there is a significant discrepancy between the hadron resonance gas and the lattice data. This discrepancy is largely reduced if the hadron spectrum is modified to take into account the larger values of the quark mass used in lattice calculations as well as the finite lattice spacing errors. We also give a simple parametrization of QCD equation of state, which combines hadron resonance gas at low temperatures with lattice QCD at high temperatures. We compare this parametrization with other parametrizations of the equation of state used in hydrodynamical models and discuss differences in hydrodynamic flow for different equations of state.


title: The Random First-Order Transition Theory of Glasses: a critical assessment

abstract: The aim of this paper is to summarise the basic arguments and the intuition bolstering the RFOT picture for glasses, based on a finite dimensional extension of mean-field models with an exponentially large number of metastable states. We review the pros and cons that support or undermine the theory, and the directions, both theoretical and experimental, where progress is needed to ascertain the status of RFOT. We elaborate in particular on the notions of mosaic state and point-to-set correlations, and insist on the importance of fluctuations in finite dimensions, that significantly blur the expected cross-over between a Mode-Coupling like regime and the mosaic, activated regime. We discuss in detail the fundamental predictions of RFOT, in particular the possibility to force a small enough system into an ideal glass state, and present several new ones, concerning aging properties or non-linear rheology. Finally, we compare RFOT to other recent theories, including elastic models, Frustration Limited Domains or Kinetically Constrained models.


title: The Simplicity of Perfect Atoms: Degeneracies in Supersymmetric Hydrogen

abstract: Supersymmetric QED hydrogen-like bound states are remarkably similar to non-supersymmetric hydrogen, including an accidental degeneracy of the fine structure and which is broken by the Lamb shift. This article classifies the states, calculates the leading order spectrum, and illustrates the results in several limits. The relation to other non-relativistic bound states is explored.


title: Mid-Infrared diagnostics of metal-rich HII regions from VLT and Spitzer Spectroscopy of Young Massive Stars in W31

abstract: We present near-IR VLT/ISAAC and mid-IR Spitzer/IRS spectroscopy of the young massive cluster in the W31 star-forming region. H-band spectroscopy provides refined classifications for four cluster members O stars with respect to Blum et al. In addition, photospheric features are detected in the massive Young Stellar Object (mYSO) #26. Spectroscopy permits estimates of stellar temperatures and masses, from which a cluster age of ~0.6 Myr and distance of 3.3 kpc are obtained, in excellent agreement with Blum et al. IRS spectroscopy reveals mid-infrared fine structure line fluxes of [Ne II-III] and [S III-IV] for four O stars and five mYSOs. In common with previous studies, stellar temperatures of individual stars are severely underestimated from the observed ratios of fine-structure lines, despite the use of contemporary stellar atmosphere and photoionization models. We construct empirical temperature calibrations based upon the W31 cluster stars of known spectral type, supplemented by two inner Milky Way ultracompact (UC) HII regions whose ionizing star properties are established. Calibrations involving [NeIII] 15.5um/[NeII] 12.8um, [SIV] 10.5um/[NeII] 12.8um or [ArIII] 9.0um/[NeII] 12.8um have application in deducing the spectral types of early- to mid- O stars for other inner Milky Way compact and UCHII regions. Finally, evolutionary phases and timescales for the massive stellar content in W31 are discussed, due to the presence of numerous young massive stars at different formation phases in a `coeval' cluster.


title: Divided difference operators for partial flag varieties

abstract: Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.


title: Reduze - Feynman Integral Reduction in C++

abstract: Reduze is a computer program for reducing Feynman Integrals to master integrals employing a Laporta algorithm. The program is written in C++ and uses classes provided by the GiNaC library to perform the simplifications of the algebraic prefactors in the system of equations. Reduze offers the possibility to run reductions in parallel.


title: Relations among various versions of the Segal-Bargmann transform

abstract: We present various relations among Versions A, B and C of the Segal-Bargmann transform. We get results for the Segal-Bargmann transform associated to a Coxeter group acting on a finite dimensional Euclidean space. Then analogous results are shown for the Segal-Bargmann transform of a connected, compact Lie group for all except one of the identities established in the Coxeter case. A counterexample is given to show that the remaining identity from the Coxeter case does not have an analogous identity for the Lie group case. A major result is that in both contexts the Segal-Bargmann transform for Version C is determined by that for Version A.


title: Towards Utility-driven Anonymization of Transactions

abstract: Publishing person-specific transactions in an anonymous form is increasingly required by organizations. Recent approaches ensure that potentially identifying information (e.g., a set of diagnosis codes) cannot be used to link published transactions to persons' identities, but all are limited in application because they incorporate coarse privacy requirements (e.g., protecting a certain set of m diagnosis codes requires protecting all m-sized sets), do not integrate utility requirements, and tend to explore a small portion of the solution space. In this paper, we propose a more general framework for anonymizing transactional data under specific privacy and utility requirements. We model such requirements as constraints, investigate how these constraints can be specified, and propose COAT (COnstraint-based Anonymization of Transactions), an algorithm that anonymizes transactions using a flexible hierarchy-free generalization scheme to meet the specified constraints. Experiments with benchmark datasets verify that COAT significantly outperforms the current state-of-the-art algorithm in terms of data utility, while being comparable in terms of efficiency. The effectiveness of our approach is also demonstrated in a real-world scenario, which requires disseminating a private, patient-specific transactional dataset in a way that preserves both privacy and utility in intended studies.


title: Formal Aspects of Grid Brokering

abstract: Coordination in distributed environments, like Grids, involves selecting the most appropriate services, resources or compositions to carry out the planned activities. Such functionalities appear at various levels of the infrastructure and in various means forming a blurry domain, where it is hard to see how the participating components are related and what their relevant properties are. In this paper we focus on a subset of these problems: resource brokering in Grid middleware. This paper aims at establishing a semantical model for brokering and related activities by defining brokering agents at three levels of the Grid middleware for resource, host and broker selection. The main contribution of this paper is the definition and decomposition of different brokering components in Grids by providing a formal model using Abstract State Machines.


title: Distributed Branching Bisimulation Minimization by Inductive Signatures

abstract: We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement process and the signatures have been optimized to exploit the fact that the input graph contains no tau-loops. The optimization in the refinement process is meant to reduce both the number of iterations needed and the memory requirements. In the former case we cannot prove that there is an improvement, but our experiments show that in many cases the number of iterations is smaller. In the latter case, we can prove that the worst case memory use of the new algorithm is linear in the size of the state space, whereas the old algorithm has a quadratic upper bound. The paper includes a proof of correctness of the new algorithm and the results of a number of experiments that compare the performance of the old and the new algorithms.


title: Efficient Parallel Statistical Model Checking of Biochemical Networks

abstract: We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture.


title: Tarmo: A Framework for Parallelized Bounded Model Checking

abstract: This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framework for parallelized BMC named Tarmo. Our framework can be used with any incremental SAT encoding for BMC but for the results in this paper we use only the current state-of-the-art encoding for full PLTL. Using this encoding allows us to check both safety and liveness properties, contrary to an earlier work on distributing BMC that is limited to safety properties only. Despite our focus on BMC after it has been translated to SAT, existing distributed SAT solvers are not well suited for our application. This is because solving a BMC problem is not solving a set of independent SAT instances but rather involves solving multiple related SAT instances, encoded incrementally, where the satisfiability of each instance corresponds to the existence of a counterexample of a specific length. Our framework includes a generic architecture for a shared clause database that allows easy clause sharing between SAT solver threads solving various such instances. We present extensive experimental results obtained with multiple variants of our Tarmo implementation. Our shared memory variants have a significantly better performance than conventional single threaded approaches, which is a result that many users can benefit from as multi-core and multi-processor technology is widely available. Furthermore we demonstrate that our framework can be deployed in a typical cluster of workstations, where several multi-core machines are connected by a network.


title: An Efficient Explicit-time Description Method for Timed Model Checking

abstract: Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community. Explicit-time description methods verify real-time systems using general model constructs found in standard un-timed model checkers. Lamport proposed an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables to model time requirements. Two methods, the Sync-based Explicit-time Description Method using rendezvous synchronization steps and the Semaphore-based Explicit-time Description Method using only one global variable were proposed; they both achieve better modularity than Lamport's method in modeling the real-time systems. In contrast to timed automata based model checkers like UPPAAL, explicit-time description methods can access and store the current time instant for future calculations necessary for many real-time systems, especially those with pre-emptive scheduling. However, the Tick process in the above three methods increments the time by one unit in each tick; the state spaces therefore grow relatively fast as the time parameters increase, a problem when the system's time period is relatively long. In this paper, we propose a more efficient method which enables the Tick process to leap multiple time units in one tick. Preliminary experimental results in a high performance computing environment show that this new method significantly reduces the state space and improves both the time and memory efficiency.


title: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

abstract: Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs: (1) generation of fault-span, the set of states reachable in the presence of faults, and (2) resolving deadlock states, from where the program has no outgoing transitions. Of these, the former closely resembles with model checking and, hence, techniques for efficient verification are directly applicable to it. Hence, we focus on expediting the latter with the use of multi-core technology. We present two approaches for parallelization by considering different design choices. The first approach is based on the computation of equivalence classes of program transitions (called group computation) that are needed due to the issue of distribution (i.e., inability of processes to atomically read and write all program variables). We show that in most cases the speedup of this approach is close to the ideal speedup and in some cases it is superlinear. The second approach uses traditional technique of partitioning deadlock states among multiple threads. However, our experiments show that the speedup for this approach is small. Consequently, our analysis demonstrates that a simple approach of parallelizing the group computation is likely to be the effective method for using multi-core computing in the context of deadlock resolution.


title: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

abstract: In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to efficiently detect the presence of accepting cycles in a directed graph. Accepting cycle detection is the core algorithmic procedure in automata-based LTL Model Checking. We demonstrate that the tool outperforms non-accelerated version of the algorithm and we discuss where the limits of the tool are and what we intend to do in the future to avoid them.


title: Dynamical organization towards consensus in the Axelrod model on complex networks

abstract: We analyze the dynamics toward cultural consensus in the Axelrod model on scale-free networks. By looking at the microscopic dynamics of the model, we are able to show how culture traits spread across different cultural features. We compare the diffusion at the level of cultural features to the growth of cultural consensus at the global level, finding important differences between these two processes. In particular, we show that even when most of the cultural features have reached macroscopic consensus, there are still no signals of globalization. Finally, we analyze the topology of consensus clusters both for global culture and at the feature level of representation.


title: Photometric Observations of the Eta Carinae 2009.0 Spectroscopic Event

abstract: We have observed Eta Carinae over 34 nights between 4th January 2009 and 27th March 2009 covering the estimated timeframe for a predicted spectroscopic event related to a suspected binary system concealed within the homunculus nebula. A photometric minimum feature was confirmed to be periodic and comparison to a previous event indicated that the period to within our error at 2022.6 +/-1.0 d. Using the E-region standard star system, the apparent V magnitudes determined for the local comparison stars were HD303308 8.14+/-0.02, HD 93205 7.77 +/-0.03 and HD93162 8.22 +/-0.05. The latter star was found to be dimmer than previously reported.


title: 1st Roman Young Researchers Meeting Proceedings

abstract: During the last few decades scientists have been able to test the bases of the physics paradigms, where the quantum mechanics has to match the cosmological scales. Between the extremes of this scenario, biological phenomena and their complexity take place, challenging the laws we observe in the atomic and sub-atomic world. In order to explore the details of this world, new huge experimental facilities are under construction. These projects involve people coming from several countries and give physicists the opportunity to work together with chemists, biologists and other scientists. The Roman Young Researchers Meeting is a conference, organised by Ph. D. students and young postdocs connected to the Roman area. It is aimed primarily at graduate students and post-docs, working in physics. The 1st conference has been held on the 21st of July 2009 at the University of Roma Tor Vergata. It was organised in three sessions, devoted to Astrophysics and Cosmology, Soft and Condensed Matter Physics and Theoretical and Particle Physics. In this proceeding we collect the contributions which have been presented and discussed during the meeting, according to the specific topics treated.


title: A model for flexural phonon dispersion in graphite and graphene

abstract: A simple model for flexural phonons in graphite (and graphene, corresponding to the limiting case of infinite distance between carbon planes) is proposed, in which the local dipolar moment is assumed to be proportional to the curvature of the carbon sheets. Explicit expressions for dispersion curves with full account for the long-range dipolar interaction forces are given and fitted to the experimental data using a single adjustable parameter of the theory. This parameter is expected to depend on the ground state configuration of molecular $\pi$-orbitals, the same both for graphite and for graphene. At decreasing carbon sheet separation (high pressures) the phonon spectrum displays instability, corresponding to the graphite to diamond transition. Being explicitly based on the local dipolar moments, the proposed simple model could prove useful for considering electron-phonon interaction.


title: Chiral Symmetry and Lattice Fermions

abstract: The subject of these summer school lectures are (i) Chiral symmetry; (ii) Anomalies; (iii) Domain wall fermions; (iv) Overlap fermions and the Ginsparg-Wilson equation


title: Construction Sequences and Certifying 3-Connectedness

abstract: Tutte proved that every 3-connected graph on more than 4 nodes has a contractible edge. Barnette and Gruenbaum proved the existence of a removable edge in the same setting. We show that the sequence of contractions and the sequence of removals from G to the K_4 can be computed in O(|V|^2) time by extending Barnette and Gruenbaum's theorem. As an application, we derive a certificate for the 3-connectedness of graphs that can be easily computed and verified.


title: Collocation method for fractional quantum mechanics

abstract: We show that it is possible to obtain numerical solutions to quantum mechanical problems involving a fractional Laplacian, using a collocation approach based on Little Sinc Functions (LSF), which discretizes the Schr\"odinger equation on a uniform grid. The different boundary conditions are naturally implemented using sets of functions with the appropriate behavior. Good convergence properties are observed. A comparison with results based on a WKB analysis is performed.


title: A Model-Based Approach to Predicting Predator-Prey & Friend-Foe Relationships in Ant Colonies

abstract: Understanding predator-prey relationships among insects is a challenging task in the domain of insect-colony research. This is due to several factors involved, such as determining whether a particular behavior is the result of a predator-prey interaction, a friend-foe interaction or another kind of interaction. In this paper, we analyze a series of predator-prey and friend-foe interactions in two colonies of carpenter ants to better understand and predict such behavior. Using the data gathered, we have also come up with a preliminary model for predicting such behavior under the specific conditions the experiment was conducted in. In this paper, we present the results of our data analysis as well as an overview of the processes involved.


title: Rotochemical heating in millisecond pulsars: modified Urca reactions with uniform Cooper pairing gaps

abstract: Context: When a rotating neutron star loses angular momentum, the reduction in the centrifugal force makes it contract. This perturbs each fluid element, raising the local pressure and originating deviations from beta equilibrium that enhance the neutrino emissivity and produce thermal energy. This mechanism is named rotochemical heating and has previously been studied for neutron stars of nonsuperfluid matter, finding that they reach a quasi-steady configuration in which the rate at which the spin-down modifies the equilibrium concentrations is the same at which neutrino reactions restore the equilibrium. Aims: We describe the thermal effects of Cooper pairing with spatially uniform energy gaps of neutrons \Delta_n and protons \Delta_p on the rotochemical heating in millisecond pulsars (MSPs) when only modified Urca reactions are allowed. By this, we may determine the amplitude of the superfluid energy gaps for the neutron and protons needed to produce different thermal evolution of MSPs. Results: We find that the chemical imbalances in the star grow up to the threshold value \Delta_{thr}= min(\Delta_n+ 3\Delta_p, 3\Delta_n+\Delta_p), which is higher than the quasi-steady state achieved in absence of superfluidity. Therefore, the superfluid MSPs will take longer to reach the quasi-steady state than their nonsuperfluid counterparts, and they will have a higher a luminosity in this state, given by L_\gamma ~ (1-4) 10^{32}\Delta_{thr}/MeV \dot{P}_{-20}/P_{ms}^3 erg s^-1. We can explain the UV emission of the PSR J0437-4715 for 0.05 MeV<\Delta_{thr}<0.45 MeV.


title: Deterministic Identity Testing of Read-Once Algebraic Branching Programs

abstract: In this paper we study polynomial identity testing of sums of $k$ read-once algebraic branching programs ($\Sigma_k$-RO-ABPs), generalizing the work in (Shpilka and Volkovich 2008,2009), who considered sums of $k$ read-once formulas ($\Sigma_k$-RO-formulas). We show that $\Sigma_k$-RO-ABPs are strictly more powerful than $\Sigma_k$-RO-formulas, for any $k \leq \lfloor n/2\rfloor$, where $n$ is the number of variables. We obtain the following results: 1) Given free access to the RO-ABPs in the sum, we get a deterministic algorithm that runs in time $O(k^2n^7s) + n^{O(k)}$, where $s$ bounds the size of any largest RO-ABP given on the input. This implies we have a deterministic polynomial time algorithm for testing whether the sum of a constant number of RO-ABPs computes the zero polynomial. 2) Given black-box access to the RO-ABPs computing the individual polynomials in the sum, we get a deterministic algorithm that runs in time $k^2n^{O(\log n)} + n^{O(k)}$. 3) Finally, given only black-box access to the polynomial computed by the sum of the $k$ RO-ABPs, we obtain an $n^{O(k + \log n)}$ time deterministic algorithm.


title: A Super-Earth Orbiting the Nearby Sun-like Star HD 1461

abstract: We present precision radial velocity data that reveal a Super-Earth mass planet and two probable additional planets orbiting the bright nearby G0V star HD 1461. Our 12.8 years of Keck HIRES precision radial velocities indicate the presence of a 7.4M_Earth planet on a 5.77-day orbit. The data also suggest, but cannot yet confirm, the presence of outer planets on low-eccentricity orbits with periods of 446.1 and 5017 days, and projected masses (M sin i) of 27.9 and 87.1M_Earth, respectively. Test integrations of systems consistent with the radial velocity data suggest that the configuration is dynamically stable. We present a 12.2-year time series of photometric observations of HD 1461, which comprise 799 individual measurements, and indicate that it has excellent long-term photometric stability. However, there are small amplitude variations with periods comparable to those of the suspected 2nd and 3rd signals in the radial velocities near 5000 and 446 days, thus casting some suspicion on those periodicities as Keplerian signals. If the 5.77-day companion has a Neptune-like composition, then its expected transit depth is of order ~0.5 millimags. The geometric a priori probability of transits is ~8%. Phase-folding of the ground-based photometry shows no indication that transits of the 5.77-day companion are occurring, but high-precision follow-up of HD 1461 during upcoming transit phase windows will be required to definitively rule out or confirm transits. This new system joins a growing list of solar-type stars in the immediate galactic neighborhood that are accompanied by at least one Neptune- (or lower) mass planets having orbital periods of 50 days or less.


title: Lp solutions of backward stochastic Volterra integral equations

abstract: This paper is devoted to the unique solvability of backward stochastic Volterra integral equations (BSVIEs for short), in terms of both M-solution introduced in [15] and the adapted solutions in [6], [11]. We prove the existence and uniqueness of M-solutions of BSVIEs in Lp (1<p<2), which extends the results in [15]. The unique solvability of adapted solutions of BSVIEs in Lp (p>1) is also considered, which also generalize the results in [6] and [11].


title: Detecting the QCD phase transition in the next Galactic supernova neutrino burst

abstract: Predictions of the thermodynamic conditions for phase transitions at high baryon densities and large chemical potentials are currently uncertain and largely phenomenological. Neutrino observations of core-collapse supernovae can be used to constrain the situation. Recent simulations of stellar core collapse that include a description of quark matter predict a sharp burst of anti \nu_e several hundred milliseconds after the prompt \nu_e neutronization burst. We study the observational signatures of that anti \nu_e burst at current neutrino detectors - IceCube and Super-Kamiokande. For a Galactic core-collapse supernova, we find that signatures of the QCD phase transition can be detected, regardless of the neutrino oscillation scenario. The detection would constitute strong evidence of a phase transition in the stellar core, with implications for the equation of state at high matter density and the supernova explosion mechanism.