title: Symmetry restoration at finite temperature with weak magnetic fields

abstract: We study symmetry restoration at finite temperature in the standard model during the electroweak phase transition in the presence of a weak magnetic field. We compute the finite temperature effective potential up to the contribution of ring diagrams, using the broken phase degrees of freedom, and keep track of the gauge parameter dependence of the results. We show that under these conditions, the phase transition becomes stronger first order.


title: Gas sloshing, cold front formation, and metal redistribution: the Virgo cluster as a quantitative test case

abstract: (abridged) We perform hydrodynamical simulations of minor-merger induced gas sloshing and the subsequent formation of cold fronts in the Virgo cluster. We show for the first time that sloshing reproduces all characteristics of the observed cold fronts quantitatively, and we suggest a third cold front at 20 kpc NW of the Virgo core. We identify several new features typical for sloshing cold fronts, most importantly a large-scale brightness asymmetry. We can trace these new features not only in Virgo, but also in other sloshing cold front clusters. By comparing synthetic and real observations, we estimate that the original minor merger event took place about 1.5 Gyr ago when a subcluster of 2-4 \times 10^13 M\odot passed the Virgo core at 100 to 400 kpc distance, where a smaller mass corresponds to a smaller pericentre distance, and vice versa. From the merger geometry, we derive the current location of the disturbing subcluster to be about 1-2 Mpc E of the Virgo core. A possible candidate is M60. Additionally, we quantify the metal redistribution by sloshing and discuss its importance. We verify that the subcluster required to produce the observed cold fronts could be completely ram pressure stripped before reaching the Virgo centre, and discuss the conditions required for this to be achieved. Finally, we demonstrate that the bow shock of a fast galaxy passing the Virgo cluster at ~ 400 kpc distance also causes sloshing and leads to very similar cold front structures. The responsible galaxy would be located about 2 Mpc north of the Virgo centre. A possible candidate is M85.


title: Ferroelectricity in strained Ca$_{0.5}$Sr$_{0.5}$TiO$_3$ from first principles

abstract: We present a density functional theory investigation of strained Ca$_{0.5}$Sr$_{0.5}$TiO$_3$. We have determined the structure and polarization for a number of arrangements of Ca and Sr in a 2$\times$2$\times$2 supercell. The a and b lattice vectors are strained to match the lattice constants of the rotated Si(001) face. To set the context for the CSTO study, we also include simulations of the Si(001) constrained structures for CaTiO$_3$ and SrTiO$_3$. Our primary findings are that all Ca$_{0.5}$Sr$_{0.5}$TiO$_3$ structures examined except one are ferroelectric, exhibiting polarizations ranging from 0.08 C/m$^2$ for the lowest energy configuration to about 0.26 C/m$^2$ for the higher energy configurations. We find that the configurations with larger polarizations have lower c/a ratios. The net polarization of the cell is the result of Ti-O ferroelectric displacements regulated by A-site cations.


title: Phonon-induced resistance oscillations of two-dimensional electron systems drifting with supersonic velocities

abstract: We present a theory of the phonon-assisted nonlinear dc transport of 2D electrons in high Landau levels. The nonlinear dissipative resistivity displays quantum magneto-oscillations governed by two parameters which are proportional to the Hall drift velocity $v_H$ of electrons in electric field and the speed of sound $s$. In the subsonic regime, $v_H<s$, the theory quantitatively reproduces the oscillation pattern observed in recent experiments. We also find the $\pi/2$ phase change of oscillations across the sound barrier $v_H=s$. In the supersonic regime, $v_H>s$, the amplitude of oscillations saturates with lowering temperature, while the subsonic region displays exponential suppression of the phonon-assisted oscillations with temperature.


title: The Light Curve of the Weakly-Accreting T Tauri Binary KH 15D from 2005-10: Insights into the Nature of its Protoplanetary Disk

abstract: Photometry of the unique pre-main sequence binary system KH 15D is presented, spanning the years 2005-2010. This system has exhibited photometric variations and eclipses over the last 50 years caused by a precessing circumbinary disk. Advancement of the occulting edge across the binary orbit has continued and the photospheres of both stars are now completely obscured at all times. The system is now visible only by scattered light, and yet it continues to show a periodic variation on the orbital cycle with an amplitude exceeding two magnitudes. This variation, which depends only on the binary phase, has likely been present in the data since at least 1995. It can, by itself, account for shoulders on the light curve prior to ingress and following egress, obviating the need for components of extant models such as a scattering halo around star A or forward scattering from a fuzzy disk edge. A plausible source for the variable scattering component is reflected light from the far side of a warped occulting disk. We have detected color changes in V-I of several tenths of a magnitude to both the blue and red that occur during times of minima. These may indicate the presence of a third source of light (faint star) within the system, or a change in the reflectance properties of the disk as the portion being illuminated varies with the orbital motion of the stars. The data support a picture of the circumbinary disk as a geometrically thin, optically thick layer of perhaps mm or cm-sized particles that has been sculpted by the binary stars and possibly other components into a decidedly nonplanar configuration. A simple (infinitely sharp) knife-edge model does a good job of accounting for all of the recent (2005-2010) occultation data.


title: Intrinsic selection biases of ground-based gravitational wave searches for high-mass BH-BH mergers

abstract: The next generation of ground-based gravitational wave detectors may detect a few mergers of comparable-mass M\simeq 100-1000 Msun ("intermediate-mass'', or IMBH) spinning black holes. Black hole spin is known to have a significant impact on the orbit, merger signal, and post-merger ringdown of any binary with non-negligible spin. In particular, the detection volume for spinning binaries depends significantly on the component black hole spins. We provide a fit to the single-detector and isotropic-network detection volume versus (total) mass and arbitrary spin for equal-mass binaries. Our analysis assumes matched filtering to all significant available waveform power (up to l=6 available for fitting, but only l<= 4 significant) estimated by an array of 64 numerical simulations with component spins as large as S_{1,2}/M^2 <= 0.8. We provide a spin-dependent estimate of our uncertainty, up to S_{1,2}/M^2 <= 1. For the initial (advanced) LIGO detector, our fits are reliable for $M\in[100,500]M_\odot$ ($M\in[100,1600]M_\odot$). In the online version of this article, we also provide fits assuming incomplete information, such as the neglect of higher-order harmonics. We briefly discuss how a strong selection bias towards aligned spins influences the interpretation of future gravitational wave detections of IMBH-IMBH mergers.


title: Quantum Transport Through a Stretched Spin--1 Molecule

abstract: We analyze the electronic transport through a model spin-1 molecule as a function of temperature, magnetic field and bias voltage. We consider the effect of magnetic anisotropy, which can be generated experimentally by stretching the molecule. In the experimentally relevant regime the conductance of the unstretched molecule reaches the unitary limit of the underscreened spin- 1 Kondo effect at low temperatures. The magnetic anisotropy generates an antiferromagnetic coupling between the remaining spin 1/2 and a singular density of quasiparticles, producing a second Kondo effect and a reduced conductance. The results explain recent measurements in spin-1 molecules [Science 328 1370 (2010)].


title: The Generalized Good Cut Equation

abstract: The properties of null geodesic congruences (NGCs) in Lorentzian manifolds are a topic of considerable importance. More specifically NGCs with the special property of being shear-free or asymptotically shear-free (as either infinity or a horizon is approached) have received a great deal of recent attention for a variety of reasons. Such congruences are most easily studied via solutions to what has been referred to as the 'good cut equation' or the 'generalization good cut equation'. It is the purpose of this note to study these equations and show their relationship to each other. In particular we show how they all have a four complex dimensional manifold (known as H-space, or in a special case as complex Minkowski space) as a solution space.


title: Helical spin-waves, magnetic order, and fluctuations in the langasite compound Ba3NbFe3Si2O14

abstract: We have investigated the spin fluctuations in the langasite compound Ba3NbFe3Si2O14 in both the ordered state and as a function of temperature. The low temperature magnetic structure is defined by a spiral phase characterized by magnetic Bragg peaks at q=(0,0,tau ~ 1/7) onset at TN=27 K as previously reported by Marty et al. The nature of the fluctuations and temperature dependence of the order parameter is consistent with a classical second order phase transition for a two dimensional triangular antiferromagnet. We will show that the physical properties and energy scales including the ordering wavevector, Curie-Weiss temperature, and the spin-waves can be explained through the use of only symmetric exchange constants without the need for the Dzyaloshinskii-Moriya interaction. This is accomplished through a set of ``helical" exchange pathways along the c direction imposed by the chiral crystal structure and naturally explains the magnetic diffuse scattering which displays a strong vector chirality up to high temperatures well above the ordering temperature. This illustrates a strong coupling between magnetic and crystalline chirality in this compound.


title: The Araucaria Project: The distance to the Small Magellanic Cloud from near infrared photometry of Type~II Cepheids

abstract: We have obtained deep near infrared J- and K-band observations of 14 BL Herculis and 5 W Virginis SMC stars from the OGLE III survey with the ESO New Technology Telescope equipped with the SOFI infrared camera. From these observations, period-luminosity (P-L) relations in the J and Ks 2MASS bands were derived. The slopes of the K and J band relations of -2.15 +- 0.19 and -1.95 +- 0.24, respectively, agree very well with the corresponding slopes derived previously for population II Cepheids in globular clusters, Galactic bulge and in the Large Magellanic Cloud. The distance modulus to the SMC obtained from our data using P-L relation derived for globular cluster Cepheids equals 18.85 +- 0.07 (statistical) +- 0.07 (systematic without including potential metallicity effect), which within the uncertainties agrees well with the results obtained with other methods.


title: Calabi-Yau metrics on Kummer surfaces as a model glueing problem

abstract: This is an expository paper which aims to give a simple proof of the existence of Ricci-flat metrics on certain K3 surfaces, as an illustration of general "glueing" techniques.


title: Partial duals of plane graphs, separability and the graphs of knots

abstract: There is a well-known way to describe a link diagram as a (signed) plane graph, called its Tait graph. This concept was recently extended, providing a way to associate a set of embedded graphs (or ribbon graphs) to a link diagram. While every plane graph arises as a Tait graph of a unique link diagram, not every embedded graph represents a link diagram. Furthermore, although a Tait graph describes a unique link diagram, the same embedded graph can represent many different link diagrams. One is then led to ask which embedded graphs represent link diagrams, and how link diagrams presented by the same embedded graphs are related to one another. Here we answer these questions by characterizing the class of embedded graphs that represent link diagrams, and then using this characterization to find a move that relates all of the link diagrams that are presented by the same set of embedded graphs.


title: Stability, birational transformations and the Kahler-Einstein problem

abstract: We define a new notion of "b-stability" for a polarised algebraic variety, adapted to the existence problem for Kahler-Einstein metrics on Fano manifolds.


title: Building Blocks Propagation in Quantum-Inspired Genetic Algorithm

abstract: This paper presents an analysis of building blocks propagation in Quantum-Inspired Genetic Algorithm, which belongs to a new class of metaheuristics drawing their inspiration from both biological evolution and unitary evolution of quantum systems. The expected number of quantum chromosomes matching a schema has been analyzed and a random variable corresponding to this issue has been introduced. The results have been compared with Simple Genetic Algorithm. Also, it has been presented how selected binary quantum chromosomes cover a domain of one-dimensional fitness function.


title: Strict inequality in the box-counting dimension product formulas

abstract: It is known that the upper box-counting dimension of a Cartesian product satisfies the inequality $\dim_{B}\left(F\times G\right)\leq \dim_{B}\left(F\right) + \dim_{B}\left(G\right)$ whilst the lower box-counting dimension satisfies the inequality $\dim_{LB}\left(F\times G\right)\geq \dim_{LB}\left(F\right) + \dim_{LB}\left(G\right)$. We construct Cantor-like sets to demonstrate that both of these inequalities can be strict.


title: Spectral Energy Distributions of 6.7 GHz methanol masers

abstract: The 6.7 GHz maser transition of methanol has been found exclusively towards massive star forming regions. A majority of the masers have been found to lack the presence of any associated radio continuum. This could be due to the maser emission originating prior to the formation of an HII region around the central star, or from the central object being too cool to produce a HII region. One way to distinguish between the two scenarios is to determine and model the spectral energy distributions (SEDs) of the masers. We observed a sample of 20 6.7 GHz methanol masers selected from the blind Arecibo survey, from centimeter to submillimeter wavelengths. We combined our observations with existing data from various Galactic plane surveys to determine SEDs from centimeter to near-infrared wavelengths. We find that 70% of the masers do not have any associated radio continuum, with the rest of the sources being associated with hypercompact and ultracompact HII regions. Modeling the SEDs shows them to be consistent with rapidly accreting massive stars, with accretion rates well above 10^{-3} M_sun/yr. The upper limits on the radio continuum are also consistent with any ionized region being confined close to the stellar surface. This confirms the paradigm of 6.7 GHz methanol masers being signposts of early phases of massive star formation, mostly prior to the formation of a hypercompact HII region.


title: Direct evidence for a characteristic dynamic lengthscale in the intermediate phase of glasses

abstract: AC conductivity spectra of xAgI-(1-x)AgPO$_3$ fast ion conducting glasses spanning the flexible, intermediate (isostatically rigid) and stressed rigid phases are analyzed. The rescaled frequency dependent spectra are mapped into time-dependent mean square displacements out of which a typical lengthscale characterizing the spatial extent $\sqrt{\langle R^2(\infty)\rangle}$ of non-random diffusion paths is computed. The latter quantity is studied as a function of AgI composition, it is found to display a maximum in the intermediate phase, providing the first clear evidence of a typical lengthscale of a dynamical nature when a system becomes isostatically rigid and enters the intermediate phase.


title: Nilsson solutions for irregular A-hypergeometric systems

abstract: We study the solutions of irregular A-hypergeometric systems that are constructed from Gr\"obner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1,...,1), these series converge and provide a basis for the (multivalued) holomorphic hypergeometric functions in a specific open subset of complex n-space. Our results are more explicit when the parameters are generic or when the solutions studied are logarithm-free. We also give an alternative proof of a result of Schulze and Walther that inhomogeneous A-hypergeometric systems have irregular singularities.


title: The distribution of water in the high-mass star-forming region NGC 6334I

abstract: We present observations of twelve rotational transitions of H2O-16, H2O-18, and H2O-17 toward the massive star-forming region NGC 6334 I, carried out with Herschel/HIFI as part of the guaranteed time key program Chemical HErschel Surveys of Star forming regions (CHESS). We analyze these observations to obtain insights into physical processes in this region. We identify three main gas components (hot core, cold foreground, and outflow) in NGC 6334 I and derive the physical conditions in these components. The hot core, identified by the emission in highly excited lines, shows a high excitation temperature of 200 K, whereas water in the foreground component is predominantly in the ortho- and para- ground states. The abundance of water varies between 4 10^-5 (outflow) and 10^-8 (cold foreground gas). This variation is most likely due to the freeze-out of water molecules onto dust grains. The H2O-18/H2O-17 abundance ratio is 3.2, which is consistent with the O-18/O-17 ratio determined from CO isotopologues. The ortho/para ratio in water appears to be relatively low 1.6(1) in the cold, quiescent gas, but close to the equilibrium value of three in the warmer outflow material (2.5(0.8)).


title: Impact-induced tensile waves in a kind of phase-transforming materials

abstract: This paper concerns the global propagation of impact-induced tensile waves in a kind of phase-transforming materials. It is well-known that the governing system of partial differential equations is hyperbolic-elliptic and the initial-boundary value problem is not well-posed at all levels of loading. By making use of fully nonlinear stress-strain curve to model this material, Dai and Kong succeeded in constructing a physical solution of the above initial-boundary value problem. For the impact of intermediate range, they assumed that $\beta<3\alpha$ in the stress-response function for simplicity. In this paper, we revisit the impact problem and consider the propagation of impact-induced tensile waves for all values of the parameters $\alpha$ and $\beta$. The physical solutions for all levels of loading are obtained completely.


title: Astrometric Microlensing by Local Dark Matter Subhalos

abstract: High-resolution N-body simulations of dark matter halos indicate that the Milky Way contains numerous subhalos. When a dark matter subhalo passes in front of a star, the light from that star will be deflected by gravitational lensing, leading to a small change in the star's apparent position. This astrometric microlensing signal depends on the inner density profile of the subhalo and can be greater than a few microarcseconds for an intermediate-mass subhalo (Mvir > 10000 solar masses) passing within arcseconds of a star. Current and near-future instruments could detect this signal, and we evaluate SIM's, Gaia's, and ground-based telescopes' potential as subhalo detectors. We develop a general formalism to calculate a subhalo's astrometric lensing cross section over a wide range of masses and density profiles, and we calculate the lensing event rate by extrapolating the subhalo mass function predicted by simulations down to the subhalo masses potentially detectable with this technique. We find that, although the detectable event rates are predicted to be low on the basis of current simulations, lensing events may be observed if the central regions of dark matter subhalos are more dense than current models predict (>1 solar mass within 0.1 pc of the subhalo center). Furthermore, targeted astrometric observations can be used to confirm the presence of a nearby subhalo detected by gamma-ray emission. We show that, for sufficiently steep density profiles, ground-based adaptive optics astrometric techniques could be capable of detecting intermediate-mass subhalos at distances of hundreds of parsecs, while SIM could detect smaller and more distant subhalos.


title: Low temperature line-width broadening in optical-conductivity spectra of the off-center rattling phonons in type-I clathrate Ba$_8$Ga$_{16}$Sn$_{30}$

abstract: With a terahertz time-domain spectrometer (0.3 - 3.0 THz) we have measured the optical conductivity of the type-I clathrate Ba$_8$Ga$_{16}$Sn$_{30}$ at temperatures from 300 K down to 7 K. Independent six spectra superimposed on the Drude conductivity are identified to infrared active vibrational modes of guest Ba ions and the cages. While the spectra of five higher-frequency modes depend hardly on temperature, the lowest-lying spectrum with a peak at 0.72 THz due to the Ba(2) ion's off-centering vibration in the oversized cage changes with temperature characteristically. With lowering temperature, the spectral shape of this so-called rattling phonon continues to become so broad that the line-width amounts to be comparable to the peak frequency. Furthermore, below about 100 K, the single broad peak tends to split into two subpeaks. While this splitting can be explained by assuming a multi-well anharmonic potential, the strong enhancement of the line-width broadening toward low temperature, cannot be understood, since the Boltzmann factor generally sharpens the low-temperature spectra.


title: Finding Cycles and Trees in Sublinear Time

abstract: We present sublinear-time (randomized) algorithms for finding simple cycles of length at least $k\geq 3$ and tree-minors in bounded-degree graphs. The complexity of these algorithms is related to the distance of the graph from being $C_k$-minor-free (resp., free from having the corresponding tree-minor). In particular, if the graph is far (i.e., $\Omega(1)$-far) {from} being cycle-free, i.e. if one has to delete a constant fraction of edges to make it cycle-free, then the algorithm finds a cycle of polylogarithmic length in time $\tildeO(\sqrt{N})$, where $N$ denotes the number of vertices. This time complexity is optimal up to polylogarithmic factors. The foregoing results are the outcome of our study of the complexity of {\em one-sided error} property testing algorithms in the bounded-degree graphs model. For example, we show that cycle-freeness of $N$-vertex graphs can be tested with one-sided error within time complexity $\tildeO(\poly(1/\e)\cdot\sqrt{N})$. This matches the known $\Omega(\sqrt{N})$ query lower bound, and contrasts with the fact that any minor-free property admits a {\em two-sided error} tester of query complexity that only depends on the proximity parameter $\e$. For any constant $k\geq3$, we extend this result to testing whether the input graph has a simple cycle of length at least $k$. On the other hand, for any fixed tree $T$, we show that $T$-minor-freeness has a one-sided error tester of query complexity that only depends on the proximity parameter $\e$. Our algorithm for finding cycles in bounded-degree graphs extends to general graphs, where distances are measured with respect to the actual number of edges. Such an extension is not possible with respect to finding tree-minors in $o(\sqrt{N})$ complexity.


title: Rational visibility of a Lie group in the monoid of self-homotopy equivalences of a homogeneous space

abstract: Let M be a homogeneous space admitting a left translation by a connected Lie group G. The adjoint to the action gives rise to a map from G to the monoid of self-homotopy equivalences of M.The purpose of this paper is to investigate the injectivity of the homomorphism which is induced by the adjoint map on the rational homotopy. In particular, the visible degrees are determined explicitly for all the cases of simple Lie groups and their associated homogeneous spaces of rank one which are classified by Oniscik.


title: The motion of relativistic strings in curved space-times

abstract: This paper concerns the motion of a relativistic string in a curved space-time. As a general framework, we first analyze relativistic string equations, i.e., the basic equations for the motion of a one-dimensional extended object in a curved enveloping space-time $(\mathscr{N}, \tilde g)$, which is a general Lorentzian manifold, and then investigate some interesting properties enjoyed by these equations. Based on this, under suitable assumptions we prove the global existence of smooth solutions of the Cauchy problem for relativistic string equations in the curved space-time $(\mathscr{N}, \tilde g)$. In particular, we consider the motion of a relativistic string in the Ori's space-time, and give a sufficient and necessary condition guaranteeing the global existence of smooth solutions of the Cauchy problem for relativistic string equations in the Ori's space-time.


title: Tilting Modules over Tame Hereditary Algebras

abstract: We give a complete classification of the infinite dimensional tilting modules over a tame hereditary algebra R. We start our investigations by considering tilting modules of the form T=R_U\oplus R_U /R where U is a union of tubes, and R_U denotes the universal localization of R at U in the sense of Schofield and Crawley-Boevey. Here R_U/R is a direct sum of the Pr\"ufer modules corresponding to the tubes in U. Over the Kronecker algebra, large tilting modules are of this form in all but one case, the exception being the Lukas tilting module L whose tilting class Gen L consists of all modules without indecomposable preprojective summands. Over an arbitrary tame hereditary algebra, T can have finite dimensional summands, but the infinite dimensional part of T is still built up from universal localizations, Pr\"ufer modules and (localizations of) the Lukas tilting module. We also recover the classification of the infinite dimensional cotilting R-modules due to Buan and Krause.


title: Topological Insulators and Superconductors from String Theory

abstract: Topological insulators and superconductors in different spatial dimensions and with different discrete symmetries have been fully classified recently, revealing a periodic structure for the pattern of possible types of topological insulators and supercondutors, both in terms of spatial dimensions and in terms of symmetry classes. It was proposed that K-theory is behind the periodicity. On the other hand, D-branes, a solitonic object in string theory, are also known to be classified by K-theory. In this paper, by inspecting low-energy effective field theories realized by two parallel D-branes, we establish a one-to-one correspondence between the K-theory classification of topological insulators/superconductors and D-brane charges. In addition, the string theory realization of topological insulators and superconductors comes naturally with gauge interactions, and the Wess-Zumino term of the D-branes gives rise to a gauge field theory of topological nature, such as ones with the Chern-Simons term or the $\theta$-term in various dimensions. This sheds light on topological insulators and superconductors beyond non-interacting systems, and the underlying topological field theory description thereof. In particular, our string theory realization includes the honeycomb lattice Kitaev model in two spatial dimensions, and its higher-dimensional extensions. Increasing the number of D-branes naturally leads to a realization of topological insulators and superconductors in terms of holography (AdS/CFT).


title: Fate of thermal log type Q balls

abstract: We study time evolution of the $Q$ ball in thermal logarithmic potential using lattice simulations. As the temperature decreases due to the cosmic expansion, the thermal logarithmic term in the potential is eventually overcome by a mass term, and we confirm that the $Q$ ball transforms from the thick-wall type to the thin-wall type for a positive coefficient of radiative corrections to the mass term, as recently suggested. Moreover, we find that the $Q$ ball finally "melts down" when the $Q$-ball solution disappears. We also discuss the effects of this phenomenon on the detectability of gravitational waves from the $Q$-ball formation.


title: Sorting of Permutations by Cost-Constrained Transpositions

abstract: We address the problem of finding the minimum decomposition of a permutation in terms of transpositions with non-uniform cost. For arbitrary non-negative cost functions, we describe polynomial-time, constant-approximation decomposition algorithms. For metric-path costs, we describe exact polynomial-time decomposition algorithms. Our algorithms represent a combination of Viterbi-type algorithms and graph-search techniques for minimizing the cost of individual transpositions, and dynamic programing algorithms for finding minimum cost cycle decompositions. The presented algorithms have applications in information theory, bioinformatics, and algebra.


title: A dynamic correspondence between Bose-Einstein condensates and Friedmann-Lema\^itre-Robertson-Walker and Bianchi I cosmology with a cosmological constant

abstract: In some interesting work of James Lidsey, the dynamics of Friedmann-Lema\^itre-Robertson-Walker (FLRW) cosmology with positive curvature and a perfect fluid matter source is shown to be modeled in terms of a time-dependent, harmonically trapped Bose-Einstein condensate. In the present work, we extend this dynamic correspondence to both FLRW and Bianchi I cosmologies in arbitrary dimension, especially when a cosmological constant is present.


title: Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

abstract: Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and \begin{equation}\label{eq:comp abs} \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(x,y)}{\log d_W(x,y)}\right)^{1/p}. \end{equation} We also show that any embedding into $X$ of a ball of radius $R\ge 4$ in $\H$ incurs bi-Lipschitz distortion that grows at least as a constant multiple of \begin{equation}\label{eq:dist abs} \left(\frac{\log R}{\log\log R}\right)^{1/p}. \end{equation} Both~\eqref{eq:comp abs} and~\eqref{eq:dist abs} are sharp up to the iterated logarithm terms. When $X$ is Hilbert space we obtain a representation-theoretic proof yielding bounds corresponding to~\eqref{eq:comp abs} and~\eqref{eq:dist abs} which are sharp up to a universal constant.


title: Efficient generation and control of different order orbital angular momentum states for communication links

abstract: We present a novel optical device to encode and decode two bits of information into different Orbital Angular Momentum (OAM) states of a paraxial optical beam. Our device generates the four angular momentum states of order $\pm 2$ and $\pm4$ by Spin-To-Orbital angular momentum Conversion (STOC) in a triangular optical loop arrangement. The switching among the four OAM states is obtained by changing the polarization state of the circulating beam by two quarter wave plates and the two-bit information is transferred to the beam OAM exploiting a single $q$-plate. The polarization of the exit beam is left free for additional one bit of information. The transmission bandwidth of the device may be as large as several megahertz if electro-optical switches are used to change the beam polarization. This may be particularly useful in communication system based on light OAM.


title: Extension of non-minimal derivative coupling theory and Hawking radiation in black-hole spacetime

abstract: We study the greybody factor and Hawking radiation with a non-minimal derivative coupling between the scalar field and the curvature in the background of the slowly rotating Kerr-Newman black hole. Our results show that both the absorption probability and luminosity of Hawking radiation of the scalar field increase with the coupling. Moreover, we also find that for the weak coupling $\eta<\eta_c$, the absorption probability and luminosity of Hawking radiation decrease when the black hole's Hawking temperature decreases; while for stronger coupling $\eta>\eta_c$, the absorption probability and luminosity of Hawking radiation increase on the contrary when the black hole's Hawking temperature decreases. This feature is similar to the Hawking radiation in a $d$-dimensional static spherically-symmetric black hole surrounded by quintessence \cite{chensong}.


title: SuperB Progress Reports -- Detector

abstract: This report describes the present status of the detector design for SuperB. It is one of four separate progress reports that, taken collectively, describe progress made on the SuperB Project since the publication of the SuperB Conceptual Design Report in 2007 and the Proceedings of SuperB Workshop VI in Valencia in 2008. The other three reports relate to Physics, Accelerator and Computing.


title: Analytic Description of DGP Perturbations on All Scales

abstract: We develop analytic solutions for the linear evolution of metric perturbations in the DGP braneworld modified gravity scenario including near-horizon and superhorizon modes where solutions in the bulk are required. These solutions apply to both the self-accelerating and normal branch and elucidate the nature of coordinate singularities and initial data in the bulk as well as their effect on perturbation evolution on the brane. Even on superhorizon scales, the evolution of metric perturbations is no longer necessarily scale free due to multiple resonances in the bulk. Based on these analytic solutions, we devise convenient fitting functions for the evolution that bridge the various spatial and temporal regimes. Compared with a direct numerical integration of the bulk equations, the fits are accurate at the percent level and are sufficient for current and upcoming observational tests.


title: Quantum mechanics of a free particle from properties of the Dirac delta function

abstract: Based on the assumption that the probability density of finding a free particle is independent of position, we infer the form of the eigenfunction for the free particle, $\bra{x} p > = \exp(ipx/\hbar)/\sqrt{2\pi\hbar}$. The canonical commutation relation between the momentum and position operators and the Ehrenfest theorem in the free particle case are derived solely from differentiation of the delta function and the form of $\bra{x} p >$.


title: Thermoelectric Power of the YbT$_{2}$Zn$_{20}$ (T = Fe, Ru, Os, Ir, Rh, and Co) Heavy Fermions

abstract: The thermoelectric power, $S(T)$, of the heavy fermions YbT$_{2}$Zn$_{20}$ ($T$ = Fe, Ru, Os, Ir, Rh, and Co) has been measured to characterize their strong electronic correlations. A large, negative, local minimum in $S(T)$ with approximately -70 $\mu$V/K is found for all compounds. From the observed local minimum, the energy scales associated with both the Kondo temperature and the crystalline electric field splitting are deduced and compared to previous specific heat measurements. At low temperatures, $S(T)$ follows a linear temperature dependence, $S(T)$ = $\alpha T$, with an enhanced value of $\alpha$ which is characteristic for a heavy fermion state. In the zero temperature limit, the enhanced $\alpha$ value strongly correlates with the electronic specific heat coefficient, $C(T)/T$, due to the large density of states at the Fermi level.


title: Tuning Low Temperature Physical Properties of CeNiGe$_{3}$ by Magnetic Field

abstract: We have studied the thermal, magnetic, and electrical properties of the ternary intermetallic system CeNiGe$_{3}$ by means of specific heat, magnetization, and resistivity measurements. The specific heat data, together with the anisotropic magnetic susceptibility, was analyzed on the basis of the point charge model of crystalline electric field. The $J$\,=\,5/2 multiplet of the Ce$^{3+}$ is split by the crystalline electric field (CEF) into three Kramers doublets, where the second and third doublet are separated from the first (ground state) doublet by $\Delta_{1}$ $\sim$ 100\,K and $\Delta_{2}$ $\sim$ 170\,K, respectively. In zero field CeNiGe$_{3}$ exhibits an antiferromangeic order below $T_{N}$ = 5.0\,K. For \textbf{H}\,$\parallel$\,\textbf{a} two metamagnetic transitions are clearly evidenced between 2\,$\sim$\,4\,K from the magnetization isotherm and extended down to 0.4\,K from the magnetoresistance measurements. For \textbf{H}\,$\parallel$\,\textbf{a}, $T_{N}$ shifts to lower temperature as magnetic field increases, and ultimately disappears at $H_{c}$ $\sim$ 32.5\,kOe. For $H\,>\,H_{c}$, the electrical resistivity shows the quadratic temperature dependence ($\Delta\rho = A T^{2}$). For $H \gg H_{c}$, an unconventional $T^{n}$-dependence of $\Delta\rho$ with $n > 2$ emerges, the exponent $n$ becomes larger as magnetic field increases. Although the antiferromagnetic phase transition temperature in CeNiGe$_{3}$ can be continuously suppressed to zero, it provides an example of field tuning that does not match current simple models of Quantum criticality.


title: Spatial Point Analysis of Quantum Dot Nucleation Sites on InAs Wetting Layer

abstract: We perform spatial point analysis of InAs quantum dot nucleation sites and surface reconstruction domain pattern on an InAs wetting layer, giving insights for quantum dot nucleation mechanism. An InAs wetting layer grown to 1.5 monolayers in thickness on a GaAs(001) substrate has been observed at 300 degC by using in situ scanning tunneling microscopy. The surface exhibits (1x3)/(2x3) and (2x4) reconstruction domains. A nearest-neighbor analysis finds that point pattern of quantum dot precursors was more similar to that of (1x3)/(2x3) domains which are specific to Ga-rich region. This provides the evidence that InAs quantum dot nucleation is induced by Ga-rich fluctuation within an InAs wetting layer.


title: Convection and oscillations

abstract: In this short review on stellar convection dynamics I address the following, currently very topical, issues: (1) the surface effects of the Reynolds stresses and nonadiabaticity on solar-like pulsation frequencies, and (2) oscillation mode lifetimes of stochastically excited oscillations in red giants computed with different time-dependent convection formulations.


title: KMS states on finite-graph C*-algebras

abstract: We study KMS states on finite-graph C*-algebras with sinks and sources. We compare finite-graph C*-algebras with C*-algebras associated with complex dynamical systems of rational functions. We show that if the inverse temperature $\beta$ is large, then the set of extreme $\beta$-KMS states is parametrized by the set of sinks of the graph. This means that the sinks of a graph correspond to the branched points of a rational funcition from the point of KMS states. Since we consider graphs with sinks and sources, left actions of the associated bimodules are not injective. Then the associated graph C*-algebras are realized as (relative) Cuntz-Pimsner algebras studied by Katsura. We need to generalize Laca-Neshevyev's theorem of the construction of KMS states on Cuntz-Pimsner algebras to the case that left actions of bimodules are not injective.


title: Chiral and Parity Symmetry Breaking for Planar Fermions: Effects of a Heat Bath and Uniform External Magnetic Field

abstract: We study chiral symmetry breaking for relativistic fermions, described by a parity violating Lagrangian in 2+1-dimensions, in the presence of a heat bath and a uniform external magnetic field. Working within their four-component formalism allows for the inclusion of both parity-even and -odd mass terms. Therefore, we can define two types of fermion anti-fermion condensates. For a given value of the magnetic field, there exist two different critical temperatures which would render one of these condensates identically zero, while the other would survive. Our analysis is completely general: it requires no particular simplifying hierarchy among the energy scales involved, namely, bare masses, field strength and temperature. However, we do reproduce some earlier results, obtained or anticipated in literature, corresponding to special kinematical regimes for the parity conserving case. Relating the chiral condensate to the one-loop effective Lagrangian, we also obtain the magnetization and the pair production rate for different fermion species in a uniform electric field through the replacement $B\to-iE$.


title: Extremal Charged Rotating Dilaton Black Holes in Odd Dimensions

abstract: Employing higher order perturbation theory, we find a new class of charged rotating black hole solutions of Einstein-Maxwell-dilaton theory with general dilaton coupling constant. Starting from the Myers-Perry solutions, we use the electric charge as the perturbative parameter, and focus on extremal black holes with equal-magnitude angular momenta in odd dimensions. We perform the perturbations up to 4th order for black holes in 5 dimensions and up to 3rd order in higher odd dimensions. We calculate the physical properties of these black holes and study their dependence on the charge and the dilaton coupling constant.


title: Insulating phases of electrons on a zigzag strip in the orbital magnetic field

abstract: We consider electrons on a two-leg triangular ladder at half-filling and in an orbital magnetic field. In a two-band regime in the absence of the field, the electronic system remains conducting for weak interactions since there is no four-fermion Umklapp term. We find that in the presence of the orbital field there is a four-fermion Umklapp and it is always relevant for repulsive interactions. Thus in this special ladder, the combination of the orbital magnetic field and interactions provides a mechanism to drive metal-insulator transition already at weak coupling. We discuss properties of the possible resulting phases C0S2 and various C0S1 and C0S0.


title: On the non-Abelian monopoles on the background of spaces with constant curvature

abstract: Procedure of constructing the BPS solutions in SO(3) model on the background of 4D-space-time with the spatial part as a model of constant curvature: Euclid, Riemann, Lobachevsky, is reexamined. It is shown that among possible solutions$W^{k}_{\alpha}(x)$ there exist just three ones which in a one-to-one correspondence can be associated with respective geometries, the known non-singular BPS-solution in the flat Minkowski space can be understood as a result of somewhat artificial combining the Minkowski space model with a possibility naturally linked up with the Loba\-chevsky geometry. A special solution $W^{k}_{(triv)\alpha} (x)$ in three spaces is described, which can be understood as result of embedding the Abelian monopole potential into the non-Abelian model. The problem of Dirac fermion doublet in the~external BPS-monopole potential in these curved spaces is examined on the base of generally covariant tetrad formalism by Tetrode-Weyl-Fock-Ivanenko. In the frame of spherical coordinates, and (Schr\"{o}dinger's) tetrad basis, and special unitary basis in isotopic space, an analog of Schwin\-ger's one in Abelian case, there arises a Schr\"{o}dinger's structure for extended operator ${\bf J} = {\bf l} + {\bf S} + {\bf T}$. Correspondingly, instead of monopole harmonics, the language of conventional Wigner $D$-functions is used, radial equations are founds in all three models, and solved in the case of trivial W^{k}_{(triv)\alpha} (x)$ in Lobachevsky and Riemann models. In the particular case $W^{k}_{(triv)\alpha} (x)$, the~doublet-monopole Hamiltonian is invariant under additional one-para\-metric group. This symmetry results in a freedom in choosing a~discrete operator $\hat{N}_{A}$ entering the complete set of quantum variables.


title: On a Dirac particle in an uniform magnetic field in 3-dimensional spaces of constant curvature

abstract: There are constructed exact solutions of the quantum-mechanical Dirac equation for a spin S=1/2 particle in Riemannian space of constant negative curvature, hyperbolic Lobachevsky space, in presence of an external magnetic field, analogue of the homogeneous magnetic field in the Minkowski space. A generalized formula for energy levels, describing quantization of the transversal motion of the particle in magnetic field has been obtained. The same problem is solved for spin 1/2 particle in the space of constant positive curvature, spherical Riemann space. A generalized formula for energy levels, describing quantization of the transversal and along the magnetic field motions of the particle on the background of the Riemann space geometry, is obtained.


title: Self-Maps of the Product of Two Spheres Fixing the Diagonal

abstract: We compute the monoid of essential self-maps of of the product of two n-spheres fixing the diagonal. More generally, we consider products S x S, where S is a suspension. Essential self-maps of S x S demonstrate the interplay between the pinching action for a mapping cone and the fundamental action on homotopy classes under a space. We compute examples with non-trivial fundamental actions.


title: Interlaced Dynamical Decoupling and Coherent Operation of a Singlet-Triplet Qubit

abstract: We experimentally demonstrate coherence recovery of singlet-triplet superpositions by interlacing qubit rotations between Carr-Purcell (CP) echo sequences. We then compare performance of Hahn, CP, concatenated dynamical decoupling (CDD) and Uhrig dynamical decoupling (UDD) for singlet recovery. In the present case, where gate noise and drift combined with spatially varying hyperfine coupling contribute significantly to dephasing, and pulses have limited bandwidth, CP and CDD yield comparable results, with T2 ~ 80 microseconds.


title: Spectropolarimetric Signatures of Clumpy Supernova Ejecta

abstract: Polarization has been detected at early times for all types of supernova, indicating that such systems result from or quickly develop some form of asymmetry. In addition, the detection of strong line polarization in supernovae is suggestive of chemical inhomogeneities ("clumps") in the layers above the photosphere, which may reflect hydrodynamical instabilities during the explosion. We have developed a fast, flexible, approximate semi-analytic code for modeling polarized line radiative transfer within 3-D inhomogeneous rapidly-expanding atmospheres. Given a range of model parameters, the code generates random sets of clumps in the expanding ejecta and calculates the emergent line profile and Stokes parameters for each configuration. The ensemble of these configurations represents both the effects of various host geometries and of different viewing angles. We present results for the first part of our survey of model geometries, specifically the effects of the number and size of clumps (and the related effect of filling factor) on the emergent spectrum and Stokes parameters. Our simulations show that random clumpiness can produce line polarization in the range observed in SNe Ia (~1-2%), as well as the Q-U loops that are frequently seen in all SNe. We have also developed a method to connect the results of our simulations to robust observational parameters such as maximum polarization and polarized equivalent width in the line. Our models, in connection with spectropolarimetric observations, can constrain the 3-D structure of supernova ejecta and offer important insight into the SN explosion physics and the nature of their progenitor systems.


title: Polynomial-time approximation scheme for Max-Cut problem

abstract: The community convinced me that this peace of crank was written by crackpot trisector. I apologize for disturbing community.


title: Melting of superheated crystals initiates on vacancies

abstract: In a large variety of ideal crystals we found that when rapidly migrating atoms squash or annihilate a neighbouring vacancy and produce a disordered cluster, the heat of migration stored in the system exceeds the enthalpy increase required for the coordinating atoms of the vacancy to form a liquid phase, i.e. the liquid phase nucleates from vacancies. Furthermore volumetric analysis supports this well. This vacancy-decomposition model provides quantitative information on the melting point, the latent heat and the volume change upon melting and hence clarifies the mechanism of melting.


title: A consistent test of independence based on a sign covariance related to Kendall's tau

abstract: The most popular ways to test for independence of two ordinal random variables are by means of Kendall's tau and Spearman's rho. However, such tests are not consistent, only having power for alternatives with ``monotonic'' association. In this paper, we introduce a natural extension of Kendall's tau, called $\tau^*$, which is non-negative and zero if and only if independence holds, thus leading to a consistent independence test. Furthermore, normalization gives a rank correlation which can be used as a measure of dependence, taking values between zero and one. A comparison with alternative measures of dependence for ordinal random variables is given, and it is shown that, in a well-defined sense, $\tau ^*$ is the simplest, similarly to Kendall's tau being the simplest of ordinal measures of monotone association. Simulation studies show our test compares well with the alternatives in terms of average $p$-values.


title: The itinerant ferromagnetic phase of the Hubbard model

abstract: Using a newly developed quantum Monte Carlo technique, we provide strong evidence for the stability of a saturated ferromagnetic phase in the high-density regime of the two-dimensional infinite-U Hubbard model. By decreasing the electron density, a discontinuous transition to a paramagnetic phase is observed, accompanied by a divergence of the susceptibility on the paramagnetic side. This behavior, resulting from a high degeneracy among different spin sectors, is consistent with an infinite-order phase transition. The remarkable stability of itinerant ferromagnetism renews the hope to describe this phenomenon within a purely kinetic mechanism and will facilitate the validation of experimental quantum simulators with cold atoms loaded in optical lattices.


title: A slip model for micro/nano gas flows induced by body forces

abstract: A slip model for gas flows in micro/nano-channels induced by external body forces is derived based on Maxwell's collision theory between gas molecules and the wall. The model modifies the relationship between slip velocity and velocity gradient at the walls by introducing a new parameter in addition to the classic Tangential Momentum Accommodation Coefficient. Three-dimensional Molecular Dynamics simulations of helium gas flows under uniform body force field between copper flat walls with different channel height are used to validate the model and to determine this new parameter.


title: Optimal waveform for the entrainment of a weakly forced oscillator

abstract: A theory for obtaining waveform for the effective entrainment of a weakly forced oscillator is presented. Phase model analysis is combined with calculus of variation to derive a waveform with which entrainment of an oscillator is achieved with minimum power forcing signal. Optimal waveforms are calculated from the phase response curve and a solution to a balancing condition. The theory is tested in chemical entrainment experiments in which oscillations close to and further away from a Hopf bifurcation exhibited sinusoidal and higher harmonic nontrivial optimal waveforms, respectively.


title: Vertex-deleted subgraphs and regular factors from regular graph

abstract: Let $k$, $m$ and $r$ be three integers such that $2\leq k\leq m\leq r$. Let $G$ be a $2r$-regular, $2m$-edge-connected graph of odd order. We obtain some sufficient conditions, which guarantee $G-v$ contains a $k$-factor for all $v\in V(G)$.


title: Lowest Unique Bid Auctions

abstract: We consider a class of auctions (Lowest Unique Bid Auctions) that have achieved a considerable success on the Internet. Bids are made in cents (of euro) and every bidder can bid as many numbers as she wants. The lowest unique bid wins the auction. Every bid has a fixed cost, and once a participant makes a bid, she gets to know whether her bid was unique and whether it was the lowest unique. Information is updated in real time, but every bidder sees only what's relevant to the bids she made. We show that the observed behavior in these auctions differs considerably from what theory would prescribe if all bidders were fully rational. We show that the seller makes money, which would not be the case with rational bidders, and some bidders win the auctions quite often. We describe a possible strategy for these bidders.


title: Critical Hysteresis in Random Field XY and Heisenberg Models

abstract: We study zero-temperature hysteresis in random-field XY and Heisenberg models in the zero-frequency limit of a cyclic driving field. We consider three distributions of the random field and present exact solutions in the mean field limit. The results show a strong effect of the form of disorder on critical hysteresis as well as the shape of hysteresis loops. A discrepancy with an earlier study based on the renormalization group is resolved.


title: Initial Algebra Semantics for Cyclic Sharing Tree Structures

abstract: Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and structural recursion. However, for graphs or "tree-like" structures - trees involving cycles and sharing - it remains unclear what kind of inductive structures exists and how we can faithfully assign a term representation of them. In this paper we propose a simple term syntax for cyclic sharing structures that admits structural induction and recursion principles. We show that the obtained syntax is directly usable in the functional language Haskell and the proof assistant Agda, as well as ordinary data structures such as lists and trees. To achieve this goal, we use a categorical approach to initial algebra semantics in a presheaf category. That approach follows the line of Fiore, Plotkin and Turi's models of abstract syntax with variable binding.


title: The gravitational wave signal from diverse populations of double white dwarf binaries in the Galaxy

abstract: Using a detailed Galactic model in which we consider distinct contributions from the bulge, thin disc, thick disc, and halo, and a population synthesis approach, we determined the birth rates, numbers, and period distributions of double white dwarfs (DWDs) within each component. In the Galaxy as a whole, our model predicts the current birth rate of DWDs to be 3.21x10^{-2} yr^{-1}, the local density to be 2.2x10^{-4} pc^{-3} and the total number to be 2.76x10^{8}. Assuming SNIa are formed from the merger of two CO white dwarfs, the SNIa rate should be 0.0013 yr^{-1}. The frequency spectra of DWD strain amplitude and number distribution are presented as a function of galactic component, DWD type, formation channel, and metallicity. We confirm that CO+He and He+He white dwarf (WD) pairs should dominate the GW signal at very high frequencies (log f Hz^{-1} > -2.3), while CO+CO and ONeMg WD pairs have a dominant contribution at log f Hz^{-1} < -2.3. Formation channels involving two common-envelope (CE) phases or a stable Roche lobe overflow phase followed by a CE phase dominate the production of DWDs detectable by LISA at log f Hz^{-1} > -4.5. DWDs with the shortest orbital periods will come from the CE+CE channel. The Exposed Core plus CE channel is a minor channel. A number of resolved DWDs would be detected, making up 0.012% of the total number of DWDs in the Galaxy. The majority of these would be CO+He and He+He pairs formed through the CE+CE channel.


title: Pushdown Control-Flow Analysis of Higher-Order Programs

abstract: Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same boost in precision achieved over first-order programs. To this young body of work on context-free analysis of higher-order programs, we contribute a pushdown control-flow analysis framework, which we derive as an abstract interpretation of a CESK machine with an unbounded stack. One instantiation of this framework marks the first polyvariant pushdown analysis of higher-order programs; another marks the first polynomial-time analysis. In the end, we arrive at a framework for control-flow analysis that can efficiently compute pushdown generalizations of classical control-flow analyses.


title: Hidden Conformal Symmetry of Extremal Black Holes

abstract: We study the hidden conformal symmetry of the extremal black holes. We introduce a new set of conformal coordinates to write the $SL(2,R)$ generators. We find that the Laplacian of the scalar field in many extremal black holes could be written in terms of the $SL(2,R)$ quadratic Casimir. This suggests that there exist dual CFT descriptions of these black holes. From the conformal coordinates, the temperatures of the dual CFTs could be read directly. For the extremal black hole, the Hawking temperature is vanishing. Correspondingly, only the left (right) temperature of the dual CFT is non-vanishing and the excitations of the other sector are suppressed. In the probe limit, we compute the scattering amplitudes of the scalar off the extremal black holes and find perfect agreement with the CFT prediction.


title: Newton polytopes for horospherical spaces

abstract: A subgroup H of a reductive group G is horospherical if it contains a maximal unipotent subgroup. We describe the Grothendieck semigroup of invariant subspaces of regular functions on G/H as a semigroup of convex polytopes. From this we obtain a formula for the number of solutions of a generic system of equations on G/H in terms of mixed volume of polytopes. This generalizes Bernstein-Kushnirenko theorem from toric geometry.


title: Current noise in molecular junctions: effects of the electron-phonon interaction

abstract: We study inelastic effects on the electronic current noise in molecular junctions, due to the coupling between transport electrons and vibrational degrees of freedom. Using a full counting statistics approach based on the generalized Keldysh Green's function technique, we calculate in an unified manner both the mean current and the zero-frequency current noise. For multilevel junctions with weak electron-phonon coupling, we give analytical formulas for the lowest order inelastic corrections to the noise in terms of universal temperature- and voltage-dependent functions and junction-dependent prefactors, which can be evaluated microscopically, e.g. with ab-initio methodologies. We identify distinct terms corresponding to the mean-field contribution to noise and to the vertex corrections, and we show that the latter contribute substantially to the inelastic noise. Finally, we illustrate our results by a simple model of two electronic levels which are mutually coupled by the electron-phonon interaction and show that the inelastic noise spectroscopy is a sensitive diagnostic tool.


title: The Generalized SIC-OEP formalism and the Generalized SIC-Slater approximation (stationary and time-dependent cases)

abstract: We present a generalized formulation of the Optimized Effective Potential (OEP) approach to the Self Interaction Correction (SIC) problem in Time Dependent (TD) Density Functional Theory (DFT). The formulation relies on the introduction of a double set of single electron orbitals. It allows the derivation of a generalized Slater approximation to the full OEP formulation, which extends the domain of validity of the standard Slater approximation. We discuss both formal aspects and practical applications of the new formalism and give illustrations in cluster and molecules. The new formalism provides a valuable ansatz to more elaborate (and computationally very demanding) full TD OEP and full TD SIC calculations especially in the linear domain.


title: Antiferromagnetic, metal-insulator, and superconducting phase transitions in underdoped cuprates: Slave-fermion t-J model in the hopping expansion

abstract: In the present paper, we study a system of doped antiferromagnet in three dimensions at finite temperatures by using the t-J model, a canonical model of strongly-correlated electrons. We employ the slave-fermion representation of electrons in which an electron is described as a composite of a charged spinless holon and a chargeless spinon. We introduce two kinds of U(1) gauge fields on links as auxiliary fields, one describing resonating valence bonds of antiferromagnetic nearest-neighbor spin pairs and the other for nearest-neighbor hopping amplitudes of holons and spinons in the ferromagnetic channel. In order to perform numerical study of the system, we integrate out the fermionic holon field by using the hopping expansion in powers of the hopping amplitude, which is legitimate for the region in and near the insulating phase. The resultant effective model is described in terms of bosonic spinons and the two U(1) gauge fields, and a collective field for hole pairs. We study this model by means of Monte-Carlo simulations, calculating the specific heat, spin correlation functions, and instanton densities. We obtain a phase diagram in the hole concentration-temperature plane, which is in good agreement with that observed recently for clean and homogeneous underdoped samples.


title: Biaxial Deformations of Rubber: Entanglements or Elastic Fluctuations?

abstract: The classical theory of rubber elasticity fails in the regime of large deformation. The un- derlying physical mechanism has been under debate for long time. In this work, we test the recently proposed mechanism of thermal elastic fluctuations by Xing, Goldbart and Radzi- hovsky1 against the biaxial stress-strain data of three distinct polymer networks with very different network structures, synthesized by Urayama2 and Kawabata3 respectively. We find that both the two parameters version and the one-parameter version of the XGR theory provide satisfactory description of the elasticity in whole deformation range. For comparison, we also fit the same sets of data using the slip-link model by Edwards and Vilgis with four parameters. The fitting qualities of two theories are found to be comparable.


title: Square-tiled cyclic covers

abstract: A cyclic cover of the complex projective line branched at four appropriate points has a natural structure of a square-tiled surface. We describe the combinatorics of such a square-tiled surface, the geometry of the corresponding Teichm\"uller curve, and compute the Lyapunov exponents of the determinant bundle over the Teichm\"uller curve with respect to the geodesic flow. This paper includes a new example (announced by G. Forni and C. Matheus in \cite{Forni:Matheus}) of a Teichm\"uller curve of a square-tiled cyclic cover in a stratum of Abelian differentials in genus four with a maximally degenerate Kontsevich--Zorich spectrum (the only known example found previously by Forni in genus three also corresponds to a square-tiled cyclic cover \cite{ForniSurvey}). We present several new examples of Teichm\"uller curves in strata of holomorphic and meromorphic quadratic differentials with maximally degenerate Kontsevich--Zorich spectrum. Presumably, these examples cover all possible Teichm\"uller curves with maximally degenerate spectrum. We prove that this is indeed the case within the class of square-tiled cyclic covers.


title: Systematic Correction for "Demonstration of the Casimir Force in the 0.6 to 6 micrometer Range"

abstract: A new systematic correction for Casimir force measurements is proposed and applied to the results of an experiment that was performed more than a decade ago. This correction brings the experimental results into good agreement with the Drude model of the metallic plates' permittivity. The systematic is due to time-dependent fluctuations in the distance between the plates caused by mechanical vibrations or tilt, or position measurement uncertainty, and is similar to the correction for plate roughness.


title: Scale-dependent non-Gaussianity probes inflationary physics

abstract: We calculate the scale dependence of the bispectrum and trispectrum in (quasi) local models of non-Gaussian primordial density perturbations, and characterize this scale dependence in terms of new observable parameters. They can help to discriminate between models of inflation, since they are sensitive to properties of the inflationary physics that are not probed by the standard observables. We find consistency relations between these parameters in certain classes of models. We apply our results to a scenario of modulated reheating, showing that the scale dependence of non-Gaussianity can be significant. We also discuss the scale dependence of the bispectrum and trispectrum, in cases where one varies the shape as well as the overall scale of the figure under consideration. We conclude providing a formulation of the curvature perturbation in real space, which generalises the standard local form by dropping the assumption that f_NL and g_NL are constants.


title: Sequential Tests of Statistical Hypotheses with Confidence Limits

abstract: In this paper, we propose a general method for testing composite hypotheses. Our idea is to use confidence limits to define stopping and decision rules. The requirements of operating characteristic function can be satisfied by adjusting the coefficients of the confidence limits. For common distributions, such adjustment can be done via efficient computation by making use of the monotonicity of the associated operating characteristic function. We show that the problem of testing multiple hypotheses can be cast into the general framework of constructing sequential random intervals with prescribed coverage probabilities. We propose an inclusion principle for constructing multistage testing plans. It is demonstrated that our proposed testing plans can be substantially more efficient than the sequential probability ratio test and its variations. We apply our general methodology to develop an exact approach for testing hypotheses regarding the difference of two binomial proportions.


title: Maximal spin and energy conversion efficiency in a symbiotic system of black hole, disk and jet

abstract: We study a combined model of black hole - accretion disk - magnetosphere - jet symbiosis, applicable for supermassive black holes. We quantify the mass and spin evolution and we analyze how the limiting value of the spin parameter and the conversion efficiency of accreted mass into radiation depend on the interplay of electromagnetic radiation reaction, magnetosphere characteristics and truncation radius of radiation. The dominant effect comes from the closed magnetic field line region, which reduces the spin limit to values ~0.89 (instead ~0.99 in its absence). Therefore observations on black hole spins could favour or disfavour the existence of the closed magnetic field line region (or its coupling to the disk). We also find that the suppression of radiation from the innermost part of the accretion disk, inferred from observations, and a collimated jet both increase the spin limit and the energy conversion efficiency.


title: First Light results from PARAS: The PRL Echelle Spectrograph

abstract: We present the first light commissioning results from the Physical Research Laboratory (PRL) optical fiber-fed high resolution cross-dispersed Echelle Spectrograph. It is capable of a single- shot spectral coverage of 3700A to 8600A at R ~ 63,000 and is under very stable conditions of temperature (0.04{\deg}C at 23{\deg}C). In the very near future pressure control will also be achieved by enclosing the entire spectrograph in a low-pressure vacuum chamber (~0.01mbar). It is attached to a 1.2m telescope using two 50micron core optical fibers (one for the star and another for simultaneous Th-Ar spectral calibration). The 1.2m telescope is located at Mt. Abu, India, and we are guaranteed about 80 to 100 nights a year for observations with the spectrograph. The instrument will be ultimately used for radial-velocity searches of exoplanets around 1000 dwarf stars, brighter than 10th magnitude, for the next 5 years with a precision of 3 to 5m/s using the simultaneous Th-Ar spectral lamp reference technique. The spectrograph has already achieved a stability of 3.7m/s in short-term time scale and in the near future we expect the stability to be at 1m/s once we install the spectrograph inside the vacuum chamber.


title: EPR, Bell, and Quantum Locality

abstract: Maudlin has claimed that no local theory can reproduce the predictions of standard quantum mechanics that violate Bell's inequality for Bohm's version (two spin-half particles in a singlet state) of the Einstein-Podolsky-Rosen problem. It is argued that, on the contrary, standard quantum mechanics itself is a counterexample to Maudlin's claim, because it is local in the appropriate sense (measurements at one place do not influence what occurs elsewhere there) when formulated using consistent principles in place of the inconsistent appeals to "measurement" found in current textbooks. This argument sheds light on the claim of Blaylock that counterfactual definiteness is an essential ingredient in derivations of Bell's inequality.


title: The Algebra of Reversible Markov Chains

abstract: For a Markov chain both the detailed balance condition and the cycle Kolmogorov condition are algebraic binomials. This remark suggests to study reversible Markov chains with the tool of Algebraic Statistics, such as toric statistical models. One of the results of this study in an algebraic parameterization of reversible Markov transitions and their invariant probability.


title: Focal Varieties of Curves of Genus 6 and 8

abstract: In this paper we give a simple Torelli type theorem for curves of genus 6 and 8 by showing that these curves can be reconstructed from their Brill-Noether varieties. Among other results, it is shown that the focal variety of a general, canonical and nonhyperelliptic curve of genus 6 is a hypersurface.


title: On lattice points in large convex bodies

abstract: We consider a compact convex body $\mathcal{B}$ in $\mathbb{R}^d$ $(d\geqslant 3)$ with smooth boundary and nonzero Gaussian curvature and prove a new estimate of $P_{\mathcal{B}}(t)$, the remainder in the lattice point problem, which improves previously known best result.


title: On the quasi-component of pseudocompact abelian groups

abstract: In this paper, we describe the relationship between the quasi-component q(G) of a (perfectly) minimal pseudocompact abelian group G and the quasi-component q(\widetilde G) of its completion. Specifically, we characterize the pairs (C,A) of compact connected abelian groups C and subgroups A such that A \cong q(G) and C \cong q(\widetilde G). As a consequence, we show that for every positive integer n or n=\omega, there exist plenty of abelian pseudocompact perfectly minimal n-dimensional groups G such that the quasi-component of G is not dense in the quasi-component of the completion of G.


title: Queue Length Asymptotics for Generalized Max-Weight Scheduling in the presence of Heavy-Tailed Traffic

abstract: We investigate the asymptotic behavior of the steady-state queue length distribution under generalized max-weight scheduling in the presence of heavy-tailed traffic. We consider a system consisting of two parallel queues, served by a single server. One of the queues receives heavy-tailed traffic, and the other receives light-tailed traffic. We study the class of throughput optimal max-weight-alpha scheduling policies, and derive an exact asymptotic characterization of the steady-state queue length distributions. In particular, we show that the tail of the light queue distribution is heavier than a power-law curve, whose tail coefficient we obtain explicitly. Our asymptotic characterization also contains an intuitively surprising result - the celebrated max-weight scheduling policy leads to the worst possible tail of the light queue distribution, among all non-idling policies. Motivated by the above negative result regarding the max-weight-alpha policy, we analyze a log-max-weight (LMW) scheduling policy. We show that the LMW policy guarantees an exponentially decaying light queue tail, while still being throughput optimal.


title: Completing Partial Packings of Bipartite Graphs

abstract: Given a bipartite graph $H$ and an integer $n$, let $f(n;H)$ be the smallest integer such that, any set of edge disjoint copies of $H$ on $n$ vertices, can be extended to an $H$-design on at most $n+f(n;H)$ vertices. We establish tight bounds for the growth of $f(n;H)$ as $n \rightarrow \infty$. In particular, we prove the conjecture of F\"uredi and Lehel \cite{FuLe} that $f(n;H) = o(n)$. This settles a long-standing open problem.


title: Difference Sequence Spaces Derived by Generalized Weighted Mean

abstract: In this work, we define new sequence spaces by combining generalized weighted mean and difference operator. Afterward, we investigate topological structure which are completeness, AK-property, AD-property. Also, we compute the alpha, beta and gamma duals, and obtain bases for these sequence spaces. Finally, necessary and sufficient conditions on an infinite matrix belonging to the classes (c(u,v,):\ell_{\infty}) and (c(u,v,):c) are established.


title: Using temporal distributions of transient events to characterize cosmological source populations

abstract: The brightest events in a time series of cosmological transients obey an observation time dependence which is often overlooked. This dependence can be exploited to probe the global properties of electromagnetic and gravitational wave transients (Howell et al. 2007a, Coward & Burman 2005). We describe a new relation based on a peak flux--observation time distribution and show that it is invariant to the luminosity distribution of the sources (Howell et al. 2007b). Applying this relation, in combination with a new data analysis filter, to \emph{Swift} gamma-ray burst data, we demonstrate that it can constrain their rate density.


title: Sweeping Preconditioner for the Helmholtz Equation: Hierarchical Matrix Representation

abstract: The paper introduces the sweeping preconditioner, which is highly efficient for iterative solutions of the variable coefficient Helmholtz equation including very high frequency problems. The first central idea of this novel approach is to construct an approximate factorization of the discretized Helmholtz equation by sweeping the domain layer by layer, starting from an absorbing layer or boundary condition. Given this specific order of factorization, the second central idea of this approach is to represent the intermediate matrices in the hierarchical matrix framework. In two dimensions, both the construction and the application of the preconditioners are of linear complexity. The GMRES solver with the resulting preconditioner converges in an amazingly small number of iterations, which is essentially independent of the number of unknowns. This approach is also extended to the three dimensional case with some success. Numerical results are provided in both two and three dimensions to demonstrate the efficiency of this new approach.


title: Sweeping Preconditioner for the Helmholtz Equation: Moving Perfectly Matched Layers

abstract: This paper introduces a new sweeping preconditioner for the iterative solution of the variable coefficient Helmholtz equation in two and three dimensions. The algorithms follow the general structure of constructing an approximate $LDL^t$ factorization by eliminating the unknowns layer by layer starting from an absorbing layer or boundary condition. The central idea of this paper is to approximate the Schur complement matrices of the factorization using moving perfectly matched layers (PMLs) introduced in the interior of the domain. Applying each Schur complement matrix is equivalent to solving a quasi-1D problem with a banded LU factorization in the 2D case and to solving a quasi-2D problem with a multifrontal method in the 3D case. The resulting preconditioner has linear application cost and the preconditioned iterative solver converges in a number of iterations that is essentially indefinite of the number of unknowns or the frequency. Numerical results are presented in both two and three dimensions to demonstrate the efficiency of this new preconditioner.


title: A modeling of the carbon-nitrogen cycle transport at Igap\'o I Lake - Londrina, Paran\'a, Brazil

abstract: This work is a contribution to better understand the effect that domestic sewage discharges may cause in a water body, specifically Igap\'o I Lake, in Londrina, Paran\'a, Brazil. The simulation of the dynamics of pollutant concentrations all over the water body is conducted by means of structured discretization of the geometry of Igap\'o I Lake, together with the finite differences and the finite elements methods. Firstly, the hydrodynamic flow (without the pollutants), modeled by Navier-Stokes and pressure equations, is numerically resolved by the finite differences method, and associated with the fourth order Runge-Kutta procedure. After that, by using the hydrodynamic field velocity, the flow of the reactive species (pollutants) is described through a transport model, which considers advective and diffusive processes, as well as through a reactions model, restricted to the carbon-nitrogen cycle. The transport and reactions model is numerically resolved by the stabilized finite elements method, by means of a semidiscrete formulation. A qualitative analysis of the numerical simulations conducted in function of the diffusion coefficient provided better understanding of the dynamics of the processes involved in the flow of the reactive species, such as the dynamics of the nitrification process, of the biochemical requirement of oxygen and of the level of oxygen dissolved in the water body at Igap\'o I Lake.


title: Pointwise weighted approximation of functions with inner singularities by combinations of Bernstein operators

abstract: We introduce another new type of combinations of Bernstein operators in this paper, which can be used to approximate the functions with inner singularities. The direct and inverse results of the weighted approximation of this new type combinations are obtained.


title: Properties of optimal prefix-free machines as instantaneous codes

abstract: The optimal prefix-free machine U is a universal decoding algorithm used to define the notion of program-size complexity H(s) for a finite binary string s. Since the set of all halting inputs for U is chosen to form a prefix-free set, the optimal prefix-free machine U can be regarded as an instantaneous code for noiseless source coding scheme. In this paper, we investigate the properties of optimal prefix-free machines as instantaneous codes. In particular, we investigate the properties of the set U^{-1}(s) of codewords associated with a symbol s. Namely, we investigate the number of codewords in U^{-1}(s) and the distribution of codewords in U^{-1}(s) for each symbol s, using the toolkit of algorithmic information theory.


title: Low-Mass Eclipsing Binaries in the Initial Kepler Data Release

abstract: We identify 231 objects in the newly released Cycle 0 dataset from the Kepler Mission as double-eclipse, detached eclipsing binary systems with Teff < 5500 K and orbital periods shorter than ~32 days. We model each light curve using the JKTEBOP code with a genetic algorithm to obtain precise values for each system. We identify 95 new systems with both components below 1.0 M_sun and eclipses of at least 0.1 magnitudes, suitable for ground-based follow-up. Of these, 14 have periods less than 1.0 day, 52 have periods between 1.0 and 10.0 days, and 29 have periods greater than 10.0 days. This new sample of main-sequence, low-mass, double-eclipse, detached eclipsing binary candidates more than doubles the number of previously known systems, and extends the sample into the completely heretofore unexplored P > 10.0 day period regime. We find preliminary evidence from these systems that the radii of low-mass stars in binary systems decrease with period. This supports the theory that binary spin-up is the primary cause of inflated radii in low-mass binary systems, although a full analysis of each system with radial-velocity and multi-color light curves is needed to fully explore this hypothesis. As well, we present 7 new transiting planet candidates that do not appear among the recently released list of 706 candidates by the Kepler team, nor in the Kepler False Positive Catalog, along with several other new and interesting systems. We also present novel techniques for the identification, period analysis, and modeling of eclipsing binaries.


title: Quantum thermalization of two coupled two-level systems in eigenstate and bare-state representations

abstract: We study analytically the quantum thermalization of two coupled two-level systems (TLSs), which are connected with either two independent heat baths (IHBs) or a common heat bath (CHB). We understand the quantum thermalization in eigenstate and bare-state representations when the coupling between the two TLSs is stronger and weaker than the TLS-bath couplings, respectively. In the IHB case, we find that when the two IHBs have the same temperatures, the two coupled TLSs in eigenstate representation can be thermalized with the same temperature as those of the IHBs. However, in the case of two IHBs at different temperatures, just when the energy detuning between the two TLSs satisfies a special condition, the two coupled TLSs in eigenstate representation can be thermalized with an immediate temperature between those of the two IHBs. In bare-state representation, we find a counterintuitive phenomenon that, under some conditions, the temperature of the TLS connected with the high-temperature bath is lower than that of the other TLS, which is connected with the low-temperature bath. In the CHB case, the coupled TLSs in eigenstate representation can be thermalized with the same temperature as that of the CHB in nonresonant cases. In bare-state representation, the TLS with a larger energy separation can be thermalized to a thermal equilibrium with a lower temperature. In the resonant case, we find a phenomenon of anti-thermalization. We also study the steady-state entanglement between the two TLSs in both the IHB and CHB cases.


title: The Structure of Multiloop Amplitudes in Gauge and Gravity Theories

abstract: We review the recently discovered duality between color and kinematics in gauge theories. This duality leads to a remarkably simple double-copy relation between diagrammatic numerators of gravity scattering amplitudes and gauge-theory ones. We summarize nontrivial evidence that the duality and double-copy property holds to all loop orders. We also comment on other developments, including a proof that the gauge-theory duality leads to the gravity double-copy property, and the identification of gauge-theory Lagrangians whose double copies yield gravity Lagrangians.


title: Generalized Schwarzschild's method

abstract: We describe a new finite element method (FEM) to construct continuous equilibrium distribution functions of stellar systems. The method is a generalization of Schwarzschild's orbit superposition method from the space of discrete functions to continuous ones. In contrast to Schwarzschild's method, FEM produces a continuous distribution function (DF) and satisfies the intra element continuity and Jeans equations. The method employs two finite-element meshes, one in configuration space and one in action space. The DF is represented by its values at the nodes of the action-space mesh and by interpolating functions inside the elements. The Galerkin projection of all equations that involve the DF leads to a linear system of equations, which can be solved for the nodal values of the DF using linear or quadratic programming, or other optimization methods. We illustrate the superior performance of FEM by constructing ergodic and anisotropic equilibrium DFs for spherical stellar systems (Hernquist models). We also show that explicitly constraining the DF by the Jeans equations leads to smoother and/or more accurate solutions with both Schwarzschild's method and FEM.


title: Improved Strichartz estimates for a class of dispersive equations in the radial case and their applications to nonlinear Schr\"odinger and wave equation

abstract: We prove some new Strichartz estimates for a class of dispersive equations with radial initial data. In particular, we obtain up to some endpoints the full radial Strichartz estimates for the Schr\"odinger equation. The ideas of proof are based on Shao's ideas \cite{Shao} and some ideas in \cite{GPW} to treat the non-homogeneous case, while at the endpoint we need to use subtle tools to overcome some logarithmic divergence. We also apply the improved Strichartz estimates to the nonlinear problems. First, we prove the small data scattering and large data LWP for the nonlinear Schr\"odinger equation with radial critical $\dot{H}^s$ initial data below $L^2$; Second, for radial data we improve the results of the $\dot{H}^s\times \dot{H}^{s-1}$ well-posedness for the nonlinear wave equation in \cite{SmithSogge}; Finally, we obtain the well-posedness theory for the fractional order Schr\"odinger equation in the radial case.


title: Coexistence of Coulomb blockade and zero bias anomaly in a strongly coupled quantum dot

abstract: The current-voltage characteristics through a metallic quantum dot which is well coupled to a metallic lead are measured. It is shown that the I-V curves are composed of two contributions. One is a suppression of the tunneling conductivity at the Fermi level and the second is an oscillating feature which shifts with gate voltage. The results indicate that Zero-Bias-Anomaly and Coulomb Blockade phenomena coexist in an asymmetric strongly coupled quantum dot.


title: Reinforcement Learning in BitTorrent Systems

abstract: Recent research efforts have shown that the popular BitTorrent protocol does not provide fair resource reciprocation and may allow free-riding. In this paper, we propose a BitTorrent-like protocol that replaces the peer selection mechanisms in the regular BitTorrent protocol with a novel reinforcement learning (RL) based mechanism. Due to the inherent opration of P2P systems, which involves repeated interactions among peers over a long period of time, the peers can efficiently identify free-riders as well as desirable collaborators by learning the behavior of their associated peers. Thus, it can help peers improve their download rates and discourage free-riding, while improving fairness in the system. We model the peers' interactions in the BitTorrent-like network as a repeated interaction game, where we explicitly consider the strategic behavior of the peers. A peer, which applies the RL-based mechanism, uses a partial history of the observations on associated peers' statistical reciprocal behaviors to determine its best responses and estimate the corresponding impact on its expected utility. The policy determines the peer's resource reciprocations with other peers, which would maximize the peer's long-term performance, thereby making foresighted decisions. We have implemented the proposed reinforcement-learning based mechanism and incorporated it into an existing BitTorrent client. We have performed extensive experiments on a controlled Planetlab test bed. Our results confirm that our proposed protocol (1) promotes fairness in terms of incentives to each peer's contribution e.g. high capacity peers improve their download completion time by up to 33\%, (2) improves the system stability and robustness e.g. reducing the peer selection luctuations by 57\%, and (3) discourages free-riding e.g. peers reduce by 64\% their upload to \FR, in comparison to the regular \BT~protocol.


title: One-Dimensional Approximation of Viscous Flows

abstract: Attention has been paid to the similarity and duality between the Gregory-Laflamme instability of black strings and the Rayleigh-Plateau instability of extended fluids. In this paper, we derive a set of simple (1+1)-dimensional equations from the Navier-Stokes equations describing thin flows of (non-relativistic and incompressible) viscous fluids. This formulation, a generalization of the theory of drop formation by Eggers and his collaborators, would make it possible to examine the final fate of Rayleigh-Plateau instability, its dimensional dependence, and possible self-similar behaviors before and after the drop formation, in the context of fluid/gravity correspondence.


title: Embedding Spatial Software Visualization in the IDE: an Exploratory Study

abstract: Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of increasing interest. However, little is known about how developers interact with spatial visualizations that are embedded in the IDE. In this paper, we present a pilot study that explores the use of Software Cartography for program comprehension of an unknown system. We investigated whether developers establish a spatial memory of the system, whether clustering by topic offers a sound base layout, and how developers interact with maps. We report our results in the form of observations, hypotheses, and implications. Key findings are a) that developers made good use of the map to inspect search results and call graphs, and b) that developers found the base layout surprising and often confusing. We conclude with concrete advice for the design of embedded software maps.


title: Weyl functions of Dirac systems and of their generalizations: integral representation, inverse problem, and discrete interpolation

abstract: Self-adjoint Dirac systems and subclasses of canonical systems, which generalize Dirac systems are studied. Explicit and global solutions of direct and inverse problems are obtained. A local Borg-Marchenko-type theorem, integral representation of the Weyl function, and results on interpolation of Weyl functions are also derived.


abstract: We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.


title: On the Schwinger limit attainability with extreme power lasers

abstract: Circularly polarized colliding laser pulses can create abundant electron-positron pair plasma [A. R. Bell and J. G. Kirk, Phys. Rev. Lett. 101, 200403 (2008)], which scattering the incoming electromagnetic waves can prevent them from reaching the critical field of Quantum Electrodynamics causing vacuum breakdown and polarization. It is shown that the effects of radiation friction and the electron-positron avalanche development depend on the electromagnetic wave polarization. For circularly polarized colliding pulses, which force the electrons to move in circles, these effects dominate not only the particle motion but also the evolution of the pulses. While for linearly polarized pulses, where the electrons (positrons) oscillate along the electric field, these effects are not as strong. There is an apparent analogy of these cases with circular and linear electron accelerators with the corresponding constraining and reduced roles of synchrotron radiation losses.


title: Optimal refrigerator

abstract: We study a refrigerator model which consists of two $n$-level systems interacting via a pulsed external field. Each system couples to its own thermal bath at temperatures $T_h$ and $T_c$, respectively ($\theta\equiv T_c/T_h<1$). The refrigerator functions in two steps: thermally isolated interaction between the systems driven by the external field and isothermal relaxation back to equilibrium. There is a complementarity between the power of heat transfer from the cold bath and the efficiency: the latter nullifies when the former is maximized and {\it vice versa}. A reasonable compromise is achieved by optimizing the product of the heat-power and efficiency over the Hamiltonian of the two system. The efficiency is then found to be bounded from below by $\zeta_{\rm CA}=\frac{1}{\sqrt{1-\theta}}-1$ (an analogue of the Curzon-Ahlborn efficiency), besides being bound from above by the Carnot efficiency $\zeta_{\rm C} = \frac{1}{1-\theta}-1$. The lower bound is reached in the equilibrium limit $\theta\to 1$. The Carnot bound is reached (for a finite power and a finite amount of heat transferred per cycle) for $\ln n\gg 1$. If the above maximization is constrained by assuming homogeneous energy spectra for both systems, the efficiency is bounded from above by $\zeta_{\rm CA}$ and converges to it for $n\gg 1$.


title: Laue gamma-ray lenses for space astrophysics:status and prospects

abstract: We review feasibility studies, technological developments and astrophysical prospects for Laue lenses devoted to hard X-/gamma-ray astronomy observations.


title: Elementary submodels in infinite combinatorics

abstract: The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.


title: On the Rankin-Selberg zeta-function

abstract: We obtain the approximate functional equation for the Rankin-Selberg zeta-function on the 1/2-line.


title: Two-photon decay of heavy hadron molecules

abstract: We discuss the two-photon decay width of heavy hadron molecules and study the dependence on the constituent meson masses and on the binding energy. In addition finite size effects due to the extended structure of the bound state are shown to have a strong influence on the predictions for this decay width.


title: Limit distribution of degrees in random family trees

abstract: In a one-parameter model for evolution of random trees, which also includes the Barabasi-Albert random tree, almost sure behavior and the limiting distribution of the degree of a vertex in a fixed position are examined. Results about Polya urn models are applied in the proofs.


title: Average formation lengths of baryons and antibaryons in string model

abstract: In this work it is continued the investigation of the space-time scales of the hadronization process in the framework of string model. The average formation lengths of several widely using species of baryons (antibaryons) such as $p$ ($\bar{p}$), $n$ ($\bar{n}$), $\Delta$ ($\bar{\Delta}$), $\Lambda$ ($\bar{\Lambda}$) and $\Sigma$ ($\bar{\Sigma}$) are studied. It is shown that they depend from electrical charges or, more precise, from quark contents of the hadrons. In particular, the average formation lengths of positively charged hadrons, for example protons, are considerably larger than of their negatively charged antiparticles, antiprotons. This statement is fulfilled for all nuclear targets and any value of the Bjorken scaling variable $x_{Bj}$. The main mechanism is direct production. Additional production mechanism in result of decay of resonances gives small contribution. It is shown that the average formation lengths of protons (antiprotons) are slowly rising (decreasing) functions of $x_{Bj}$, the ones of neutrons and antineutrons are slowly decreasing functions of $x_{Bj}$. The shape and behavior of average formation lengths for baryons qualitatively coincide with the ones for pseudoscalar mesons obtained earlier.


title: Local degree distribution in scale free random graphs

abstract: In several scale free graph models the asymptotic degree distribution and the characteristic exponent change when only a smaller set of vertices is considered. Looking at the common properties of these models, we present sufficient conditions for the almost sure existence of asymptotic degree distribution constrained on the set of selected vertices, and identify the characteristic exponent belonging to it.