title: Quantitative Synthesis for Concurrent Programs

abstract: We present an algorithmic method for the quantitative, performance-aware synthesis of concurrent programs. The input consists of a nondeterministic partial program and of a parametric performance model. The nondeterminism allows the programmer to omit which (if any) synchronization construct is used at a particular program location. The performance model, specified as a weighted automaton, can capture system architectures by assigning different costs to actions such as locking, context switching, and memory and cache accesses. The quantitative synthesis problem is to automatically resolve the nondeterminism of the partial program so that both correctness is guaranteed and performance is optimal. As is standard for shared memory concurrency, correctness is formalized "specification free", in particular as race freedom or deadlock freedom. For worst-case (average-case) performance, we show that the problem can be reduced to 2-player graph games (with probabilistic transitions) with quantitative objectives. While we show, using game-theoretic methods, that the synthesis problem is NEXP-complete, we present an algorithmic method and an implementation that works efficiently for concurrent programs and performance models of practical interest. We have implemented a prototype tool and used it to synthesize finite-state concurrent programs that exhibit different programming patterns, for several performance models representing different architectures.


title: Quiet-Sun imaging asymmetries in NaI D1 compared with other strong Fraunhofer lines

abstract: Imaging spectroscopy of the solar atmosphere using the NaI D1 line yields marked asymmetry between the blue and red line wings: sampling a quiet-Sun area in the blue wing displays reversed granulation, whereas sampling in the red wing displays normal granulation. The MgI b2 line of comparable strength does not show this asymmetry, nor does the stronger CaII 8542 line. We demonstrate the phenomenon with near-simultaneous spectral images in NaI D1, MgI b2, and CaII 8542 from the Swedish 1-m Solar Telescope. We then explain it with line-formation insights from classical 1D modeling and with a 3D magnetohydrodynamical simulation combined with NLTE spectral line synthesis that permits detailed comparison with the observations in a common format. The cause of the imaging asymmetry is the combination of correlations between intensity and Dopplershift modulation in granular overshoot and the sensitivity to these of the steep profile flanks of the NaI D1 line. The MgI b2 line has similar core formation but much wider wings due to larger opacity buildup and damping in the photosphere. Both lines obtain marked core asymmetry from photospheric shocks in or near strong magnetic concentrations, less from higher-up internetwork shocks that produce similar asymmetry in the spatially averaged CaII 8542 profile.


title: Capacity Theorems for the Fading Interference Channel with a Relay and Feedback Links

abstract: Handling interference is one of the main challenges in the design of wireless networks. One of the key approaches to interference management is node cooperation, which can be classified into two main types: relaying and feedback. In this work we consider simultaneous application of both cooperation types in the presence of interference. We obtain exact characterization of the capacity regions for Rayleigh fading and phase fading interference channels with a relay and with feedback links, in the strong and very strong interference regimes. Four feedback configurations are considered: (1) feedback from both receivers to the relay, (2) feedback from each receiver to the relay and to one of the transmitters (either corresponding or opposite), (3) feedback from one of the receivers to the relay, (4) feedback from one of the receivers to the relay and to one of the transmitters. Our results show that there is a strong motivation for incorporating relaying and feedback into wireless networks.


title: Field-Induced Spin-Exciton Condensation in dx2-y2-wave Superconducting CeCoIn5

abstract: The implications of the spin exciton mechanism are exposed in the context of a Spin Density Wave (SDW) instability occurring inside the superconducting phase of a layered heavy electron compound. In this model a magnetic field serves as a tuning parameter bringing the system to the point where the transverse spin correlations are enhanced due to dx2 -y2 -wave superconductivity and induces an instability to a phase with coexisting superconductivity and SDW order. The model considers electrons in a crystal with antiferromagnetic interactions and provides restrictions on the Fermi surface characteristics and on the ordering wave-vector (that can be commensurate or incommensurate close to commensuration). The applications of the model are addressed to the low-temperature/high-magnetic-field phase of CeCoIn5 [M. Kenzelmann et al., Science 321, 1652 (2008), Phys. Rev. Lett. 104, 127001 (2010)].


title: Reflection and Ducting of Gravity Waves Inside the Sun

abstract: Internal gravity waves excited by overshoot at the bottom of the convection zone can be influenced by rotation and by the strong toroidal magnetic field that is likely to be present in the solar tachocline. Using a simple Cartesian model, we show how waves with a vertical component of propagation can be reflected when traveling through a layer containing a horizontal magnetic field with a strength that varies with depth. This interaction can prevent a portion of the downward-traveling wave energy flux from reaching the deep solar interior. If a highly reflecting magnetized layer is located some distance below the convection zone base, a duct or wave guide can be set up, wherein vertical propagation is restricted by successive reflections at the upper and lower boundaries. The presence of both upward- and downward-traveling disturbances inside the duct leads to the existence of a set of horizontally propagating modes that have significantly enhanced amplitudes. We point out that the helical structure of these waves makes them capable of generating an alpha-effect, and briefly consider the possibility that propagation in a shear of sufficient strength could lead to instability, the result of wave growth due to over-reflection.


title: On the Manin-Mumford and Mordell-Lang conjectures in positive characteristic

abstract: We prove that in positive characteristic, the Manin-Mumford conjecture implies the Mordell-Lang conjecture, in the situation where the ambient variety is an abelian variety defined over the function field of a smooth curve over a finite field and the relevant group is a finitely generated group. In particular, in the setting of the last sentence, we provide a proof of the Mordell-Lang conjecture, which does not depend on tools coming from model theory.


title: High resolution spectroscopy of Pluto's atmosphere: detection of the 2.3 $\mu$m CH$_4$ bands and evidence for carbon monoxide

abstract: The goal is to determine the composition of Pluto's atmosphere and to constrain the nature of surface-atmosphere interactions. We perform high--resolution spectroscopic observations in the 2.33--2.36 $\mu$m range, using CRIRES at the VLT. We obtain (i) the first detection of gaseous methane in this spectral range, through lines of the $\nu_3$ + $\nu_4$ and $\nu_1$ + $\nu_4$ bands (ii) strong evidence (6-$\sigma$ confidence) for gaseous CO in Pluto. For an isothermal atmosphere at 90 K, the CH$_4$ and CO column densities are 0.75 and 0.07 cm-am, within factors of 2 and 3, respectively. Using a physically--based thermal structure model of Pluto's atmosphere also satisfying constraints from stellar occultations, we infer CH$_4$ and CO mixing ratios q$_{CH_4}$= 0.6$^{+0.6}_{-0.3}$% (consistent with results from the 1.66 $\mu$m range) and q$_{CO}$ = 0.5$^{+1}_{-0.25}$$\times10^{-3}$. The CO atmospheric abundance is consistent with its surface abundance. As for Triton, it is probably controlled by a thin, CO-rich, detailed balancing layer resulting from seasonal transport and/or atmospheric escape.


title: Fundamental solution for (Delta - lambda_z)^n on a symmetric space G/K

abstract: We determine a fundamental solution for the differential operator (Delta - lambda_z)^n on the Riemannian symmetric space G/K, where G is any complex semi-simple Lie group, and K is a maximal compact subgroup. We develop a global zonal spherical Sobolev theory, which enables us to use the harmonic analysis of spherical functions to obtain an integral representation for the solution. Then we obtain an explicit expression for the fundmantal solution, which allows relatively easy estimation of its behavior in the eigenvalue parameter lambda_z, with an eye towards further applications to automorphic forms involving asociated Poincare series.


title: Conformal deformations of the Ebin metric and a generalized Calabi metric on the space of Riemannian metrics

abstract: We consider geometries on the space of Riemannian metrics conformally equivalent to the widely studied Ebin L^2 metric. Among these we characterize a distinguished metric that can be regarded as a generalization of Calabi's metric on the space of K\"ahler metrics to the space of Riemannian metrics, and we study its geometry in detail. Unlike the Ebin metric, the geodesic equation involves non-local terms, and we solve it explicitly by using a constant of the motion. We then determine its completion, which gives the first example of a metric on the space of Riemannian metrics whose completion is strictly smaller than that of the Ebin metric.


title: Extremal K\"ahler metrics on blow-ups of parabolic ruled surfaces

abstract: New examples of extremal K\"ahler metrics on blow-ups of parabolic ruled surfaces are constructed. The method is based on the gluing construction of Arezzo, Pacard and Singer. This enables to endow ruled surfaces of the form $\mathbb{P}(\mathcal{O}\oplus L)$ with special parabolic structures such that the associated iterated blow-up admits an extremal metric of non-constant scalar curvature.


title: A characteristic-free decomposition of tensor space as a Brauer algebra module

abstract: We obtain a characteristic-free decomposition of tensor space, regarded as a module for the Brauer centralizer algebra.


title: A Note on CFT Correlators in Three Dimensions

abstract: In this note we present a simple method of constructing general conformally invariant three point functions of operators of various spins in three dimensions. Upon further imposing current conservation conditions, we find new parity violating structures for the three point functions involving either the stress-energy tensor, spin one currents, or higher spin currents. We find that all parity preserving structures for conformally invariant three point functions of higher spin conserved currents can be realized by free fields, whereas there is at most one parity violating structure for three point functions for each set of spins, which is not realized by free fields.


title: Long-time behavior of many-particle quantum decay

abstract: While exponential decay is ubiquitous in Nature, deviations at both short and long times are dictated by quantum mechanics. Non-exponential decay is known to arise due to the possibility of reconstructing the initial state from the decaying products. We discuss the quantum decay dynamics by tunneling of a many-particle system, characterizing the long-time non-exponential behavior of the non-escape and survival probabilities. The effects of contact interactions and quantum statistics are described. It is found that whereas for non-interacting bosons the long-time decay follows a power-law with an exponent linear in the number of particles $\N$, the exponent becomes quadratic in $\N$ in the fermionic case. The same results apply to strongly interacting many-body systems related by the generalized Bose-Fermi duality. The faster fermionic decay can be traced back to the effective hard-core interactions between particles, which are as well the decaying products, and exhibit spatial anti-bunching which hinders the reconstruction of the initial unstable state. The results are illustrated with a paradigmatic model of quantum decay from a trap allowing leaks by tunneling, whose dynamics is described exactly by means of an expansion in resonant states.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Nucleon and Pion Form Factors from $N_f=2+1$ Anisotropic Lattices

abstract: We report a recent lattice-QCD calculation of nucleon and pion electromagnetic form factors and nucleon axial form factors, with special emphasis on large $Q^2$. Conventional lattice form-factor calculations can only reach about 2.5 GeV$^2$, but in this work the transfer momentum is pushed as large as 6 GeV$^2$. Here, we demonstrate the results on 2+1-flavor anisotropic clover lattices for the nucleon and pion, comparing with low-$Q^2$ quantities, such as Dirac and Pauli radii, anomalous magnetic moments, $g_A$ and $M_A$. Our approach can be applied to isotropic lattices and lattices with smaller lattice spacing to achieve even larger-$Q^2$ form factors. The form factors are processed to obtain transverse charge and magnetization densities across 2-dimensional impact-parameter space. These measurements could give important theoretical input to experiments, such as those of JLab's 12-GeV program, and provide insight into hadronic structure.


title: Organic photovoltaic bulk heterojunctions with spatially varying composition

abstract: Models of organic bulk heterojunction photovoltaics which include the effect of spatially varying composition of donor/acceptor materials are developed and analyzed. Analytic expressions for the current-voltage relation in simplified cases show that the effect of varying blend composition on charge transport is minimal. Numerical results for various blend compositions, including the experimentally relevant composition of a donor-rich region near the cathode (a "skin layer" of donor material), show that the primary effect of this variation on device performance derives from its effect on photocharge generation. The general relation between the geometry of the blend and its effect on performance is given explicitly. The analysis shows that the effect of a skin layer on device performance is small.


title: Seeking Meaning in a Space Made out of Strokes, Radicals, Characters and Compounds

abstract: Chinese characters can be compared to a molecular structure: a character is analogous to a molecule, radicals are like atoms, calligraphic strokes correspond to elementary particles, and when characters form compounds, they are like molecular structures. In chemistry the conjunction of all of these structural levels produces what we perceive as matter. In language, the conjunction of strokes, radicals, characters, and compounds produces meaning. But when does meaning arise? We all know that radicals are, in some sense, the basic semantic components of Chinese script, but what about strokes? Considering the fact that many characters are made by adding individual strokes to (combinations of) radicals, we can legitimately ask the question whether strokes carry meaning, or not. In this talk I will present my project of extending traditional NLP techniques to radicals and strokes, aiming to obtain a deeper understanding of the way ideographic languages model the world.


title: On the Origin and Evolution of Life in the Galaxy

abstract: A simple stochastic model for evolution, based upon the need to pass a sequence of n critical steps (Carter 1983, Watson 2008) is applied to both terrestrial and extraterrestrial origins of life. In the former case, the time at which humans have emerged during the habitable period of the Earth suggests a value of n = 4. Progressively adding earlier evolutionary transitions (Maynard Smith and Szathmary, 1995) gives an optimum fit when n = 5, implying either that their initial transitions are not critical or that habitability began around 6 Ga ago. The origin of life on Mars or elsewhere within the Solar System is excluded by the latter case and the simple anthropic argument is that extraterrestrial life is scarce in the Universe because it does not have time to evolve. Alternatively, the timescale can be extended if the migration of basic progenotic material to Earth is possible. If extra transitions are included in the model to allow for Earth migration, then the start of habitability needs to be even earlier than 6 Ga ago. Our present understanding of Galactic habitability and dynamics does not exclude this possibility. We conclude that Galactic punctuated equilibrium (Cirkovic et al. 2009), proposed as a way round the anthropic problem, is not the only way of making life more common in the Galaxy.


title: Potts q-color field theory and scaling random cluster model

abstract: We study structural properties of the q-color Potts field theory which, for real values of q, describes the scaling limit of the random cluster model. We show that the number of independent n-point Potts spin correlators coincides with that of independent n-point cluster connectivities and is given by generalized Bell numbers. Only a subset of these spin correlators enters the determination of the Potts magnetic properties for q integer. The structure of the operator product expansion of the spin fields for generic q is also identified. For the two-dimensional case, we analyze the duality relation between spin and kink field correlators, both for the bulk and boundary cases, obtaining in particular a sum rule for the kink-kink elastic scattering amplitudes.


title: Quota Complexes, Persistant Homology and the Goldbach Conjecture

abstract: In this paper we introduce the concept of a quota complex and study how the topology of these quota complexes changes as the quota is changed. This problem is a simple "linear" version of the general question in Morse Theory of how the topology of a space varies with a parameter. We give examples of natural and basic quota complexes where this problem codifies questions about the distribution of primes, squares and divisors in number theory and as an example provide natural topological formulations of the prime number theorem, the twin prime conjecture, Goldbach's conjecture, Lehmer's conjecture, the Riemann Hypothesis and the existance of odd perfect numbers among other things. We also consider random quota complexes associated to sequences of independent random variables and show that various formulas for expected topological quantities give L-series and Euler product analogs of interest. Keywords: Quota system, persistant homology, Goldbach conjecture, Riemann Hypothesis, random complexes.


title: Spin-orbital groundstates of Superconducting doped topological insulators (A Majorana Platform)

abstract: The Bi$_2$Se$_3$ class of topological insulators has recently been shown to undergo a superconducting transition upon hole or electron doping (Cu$_x$-Bi$_2$Se$_3$ with T$_C$=3.8$^o$K and Pd$_x$-Bi$_2$Te$_3$ with T$_C$=5$^o$K), raising the possibilities that these are the first known "topological superconductors" or realizes a superconducting state that can be potentially used as Majorana platforms (L.A. Wray \textit{et.al.}, Nature Phys. \textbf{6}, 855-859 (2010)). We use angle resolved photoemission spectroscopy to examine the full details of the spin-orbital groundstates of these materials including Bi$_2$Te$_3$, observing that the spin-momentum locked topological surface states remain well defined and non-degenerate with respect to bulk electronic states at the Fermi level in the optimally doped superconductor and obtaining their experimental Fermi energies. The implications of this unconventional surface (that undergoes superconducting at lower temperatures) topology are discussed, and we also explore the possibility of realizing the same topology in superconducting variants of Bi$_2$Te$_3$ (with T$_C$ $\sim$ 5$^o$K). Characteristics of the experimentally measured three dimensional bulk states are examined in detail for these materials with respect to the superconducting state and topological properties, showing that a single Majorana fermion zero mode is expected to be bound at each superconducting vortex on the surface. Systematic measurements also reveal intriguing renormalization and charge correlation instabilities of the surface-localized electronic modes.


title: A natural Finsler--Laplace operator

abstract: We give a new definition of a Laplace operator for Finsler metric as an average with regard to an angle measure of the second directional derivatives. This definition uses a dynamical approach due to Foulon that does not require the use of connections nor local coordinates. We show using 1-parameter families of Katok--Ziller metrics that this Finsler--Laplace operator admits explicit representations and computations of spectral data.


title: Examining a Hidden Assumption of Bell's Theorem and Counterexamples to Bell's Theorem in the Space of All Paths for a Quantum System

abstract: This paper implements in a simple but rigorous fashion a model of particle interaction involving all paths within a quantum system, both for configuration space and for spin. The model, which we call the space of all paths, leads to a locally explicable conceptual framework for quantum mechanics. Using it we present two counterexamples to Bell's theorem. Moreover, we show that the result places severe constraints on possible viable interpretations of quantum mechanics: Either an interpretation must in some form represent a quantum system in terms of all paths within the system or, alternatively, the interpretation must harbor "action at a distance." We take action-at-a-distance as a reductio ad absurdum argument for our framework for quantum foundations, since any mechanism in which causal effects can operate instantaneously across vast distances would be completely unknown and magical, a near absurdity.


title: Deceleration and trapping of heavy diatomic molecules using a ring-decelerator

abstract: We present an analysis of the deceleration and trapping of heavy diatomic molecules in low-field seeking states by a moving electric potential. This moving potential is created by a 'ring-decelerator', which consists of a series of ring-shaped electrodes to which oscillating high voltages are applied. Particle trajectory simulations have been used to analyze the deceleration and trapping efficiency for a group of molecules that is of special interest for precision measurements of fundamental discrete symmetries. For the typical case of the SrF molecule in the (N,M) = (2, 0) state, the ring-decelerator is shown to outperform traditional and alternate-gradient Stark decelerators by at least an order of magnitude. If further cooled by a stage of laser cooling, the decelerated molecules allow for a sensitivity gain in a parity violation measurement, compared to a cryogenic molecular beam experiment, of almost two orders of magnitude.


title: Partial Dynamical Symmetry in the f7/2 and g9/2 shell

abstract: We discuss partial dynamical symmetries which occur in single j shell calculations mostly for high spin states for systems of three or four particles (holes). The relevant nuclei are 43Ti,43Sc, 44Ti, 52Fe,53Fe, 53Co,96Cd,97Cd, and 97In.

categories: nucl-th nucl-ex physics.atom-ph quant-ph


title: Local zeta regularization and the Casimir effect

abstract: In this paper, whose aims are mainly pedagogical, we illustrate how to use the local zeta regularization to compute the stress-energy tensor of the Casimir effect. Our attention is devoted to the case of a neutral, massless scalar field in flat space-time, on a space domain with suitable (e.g., Dirichlet) boundary conditions. After a simple outline of the local zeta method, we exemplify it in the typical case of a field between two parallel plates, or outside them. The results are shown to agree with the ones obtained by more popular methods, such as point splitting regularization. In comparison with these alternative methods, local zeta regularization has the advantage to give directly finite results via analitic continuation, with no need to remove or subtract divergent quantities.


title: Volume estimates for K\"ahler-Einstein metrics and rigidity of complex structures

abstract: This paper extends our earlier results to higher dimensions using a different approach, based on the rigidity of complex structures on certain domains.


title: Factorization of and Determinant Expressions for the Hypersums of Powers of Integers

abstract: We derive a compact determinant formula for calculating and factorizing the hypersum polynomials S^{(L)}_k(N) \equiv \sum_{n_1=1}^N ...\sum_{n_{L+1}=1}^{n_{L}}(n_{L+1})^k expressed in the variable N(N+L+1)


title: An Explicit Derived Equivalence of Azumaya Algebras on K3 Surfaces via Koszul Duality

abstract: We consider moduli spaces of Azumaya algebras on K3 surfaces and construct an example. In some cases we show a derived equivalence which corresponds to a derived equivalence between twisted sheaves. We prove if $A$ and $A'$ are Morita equivalent Azumaya algebras of degree $r$ then $2r$ divides $c_2(A) - c_2(A')$. In particular this implies that if $A$ is an Azumaya algebra on a K3 surface and $c_2(A)$ is within $2r$ of its minimal bound then the moduli stack of Azumaya algebras with the same underlying gerbe, if non empty, is a proper algebraic space.


title: Deceleration and Dispersion of Large-scale Coronal Bright Fronts

abstract: One of the most dramatic manifestations of solar activity are large-scale coronal bright fronts (CBFs) observed in extreme ultraviolet (EUV) images of the solar atmosphere. To date, the energetics and kinematics of CBFs remain poorly understood, due to the low image cadence and sensitivity of previous EUV imagers and the limited methods used to extract the features. In this paper, the trajectory and morphology of CBFs was determined in order to investigate the varying properties of a sample of CBFs, including their kinematics and pulse shape, dispersion, and dissipation. We have developed a semi-automatic intensity profiling technique to extract the morphology and accurate positions of CBFs in 2.5-10 min cadence images from STEREO/EUVI. The technique was applied to sequences of 171A and 195A images from STEREO/EUVI in order to measure the wave properties of four separate CBF events. Following launch at velocities of ~240-450kms^{-1} each of the four events studied showed significant negative acceleration ranging from ~ -290 to -60ms^{-2}. The CBF spatial and temporal widths were found to increase from ~50 Mm to ~200 Mm and ~100 s to ~1500 s respectively, suggesting that they are dispersive in nature. The variation in position-angle averaged pulse-integrated intensity with propagation shows no clear trend across the four events studied. These results are most consistent with CBFs being dispersive magnetoacoustic waves.


title: Wall-crossing formulas for framed objects

abstract: We prove wall-crossing formulas for the motivic invariants of the moduli spaces of framed objects in the ind-constructible abelian categories. Developed techniques are applied in the case of the motivic Donaldson-Thomas invariants of quivers with potentials. Another application is a new proof of the formula for the motivic invariants of smooth models of quiver moduli spaces.


title: Discreteness of Transmission Eigenvalues via Upper Triangular Compact Operators

abstract: We show that the interior transmission eigenvalues are discrete by proving that the interior transmission operator has upper triangular compact resolvent, and that the spectrum of these operators share many of the properties of operators with compact resolvent. In particular, the spectrum is discrete and the generalized eigenspaces are finite dimensional. Our main hypothesis is a coercivity condition on the contrast that must hold only in a neighborhood of the boundary.


title: HiTRACE: High-throughput robust analysis for capillary electrophoresis

abstract: Motivation: Capillary electrophoresis (CE) of nucleic acids is a workhorse technology underlying high-throughput genome analysis and large-scale chemical mapping for nucleic acid structural inference. Despite the wide availability of CE-based instruments, there remain challenges in leveraging their full power for quantitative analysis of RNA and DNA structure, thermodynamics, and kinetics. In particular, the slow rate and poor automation of available analysis tools have bottlenecked a new generation of studies involving hundreds of CE profiles per experiment. Results: We propose a computational method called high-throughput robust analysis for capillary electrophoresis (HiTRACE) to automate the key tasks in large-scale nucleic acid CE analysis, including the profile alignment that has heretofore been a rate-limiting step in the highest throughput experiments. We illustrate the application of HiTRACE on thirteen data sets representing 4 different RNAs, three chemical modification strategies, and up to 480 single mutant variants; the largest data sets each include 87,360 bands. By applying a series of robust dynamic programming algorithms, HiTRACE outperforms prior tools in terms of alignment and fitting quality, as assessed by measures including the correlation between quantified band intensities between replicate data sets. Furthermore, while the smallest of these data sets required 7 to 10 hours of manual intervention using prior approaches, HiTRACE quantitation of even the largest data sets herein was achieved in 3 to 12 minutes. The HiTRACE method therefore resolves a critical barrier to the efficient and accurate analysis of nucleic acid structure in experiments involving tens of thousands of electrophoretic bands.


title: Nonparametric survival analysis of epidemic data

abstract: This paper develops nonparametric methods for the survival analysis of epidemic data based on contact intervals. The contact interval from person i to person j is the time between the onset of infectiousness in i and infectious contact from i to j, where we define infectious contact as a contact sufficient to infect a susceptible individual. We show that the Nelson-Aalen estimator produces an unbiased estimate of the contact interval cumulative hazard function when who-infects-whom is observed. When who-infects-whom is not observed, we average the Nelson-Aalen estimates from all transmission networks consistent with the observed data using an EM algorithm. This converges to a nonparametric MLE of the contact interval cumulative hazard function that we call the marginal Nelson-Aalen estimate. We study the behavior of these methods in simulations and use them to analyze household surveillance data from the 2009 influenza A(H1N1) pandemic. In an appendix, we show that these methods extend chain-binomial models to continuous time.


title: Discrete amenable group actions on von Neumann algebras and invariant nuclear C*-subalgebras

abstract: Let $G$ be a countable discrete amenable group, ${\cal M}$ a McDuff factor von Neumann algebra, and $A$ a separable nuclear weakly dense C$^*$-subalgebra of ${\cal M}$. We show that if two centrally free actions of $G$ on ${\cal M}$ differ up to approximately inner automorphisms then they are outer conjugate by an approximately inner automorphism, in the operator norm topology, which makes $A$ invariant. In addition, when $A$ is unital, simple, and with a unique tracial state and $\alpha$ is an automorphism of $A$ we also show that the aperiodicity of $\alpha$ on the von Neumann algebra is equivalent to the weak Rohlin property.


title: Maximal atmospheric neutrino mixing from texture zeros and quasi-degenerate neutrino masses

abstract: It is well-known that, in the basis where the charged-lepton mass matrix is diagonal, there are seven cases of two texture zeros in Majorana neutrino mass matrices that are compatible with all experimental data. We show that two of these cases, namely B3 and B4 in the classification of Frampton, Glashow and Marfatia, are special in the sense that they automatically lead to near-maximal atmospheric neutrino mixing in the limit of a quasi-degenerate neutrino mass spectrum. This property holds true irrespective of the values of the solar and reactor mixing angles because, for these two cases, in the limit of a quasi-degenerate spectrum, the second and third row of the lepton mixing matrix are, up to signs, approximately complex-conjugate to each other. Moreover, in the same limit the aforementioned cases also develop a maximal CP-violating CKM-type phase, provided the reactor mixing angle is not too small.


title: Fluid Dynamics of Stellar Jets in Real Time: Third Epoch HST Images of HH 1, HH 34, and HH 47

abstract: We present new, third-epoch HST H-alpha and [S II] images of three HH jets (HH 1 and 2, HH 34, and HH 47) and compare these images with those from the previous epochs. The high-spatial resolution, coupled with a time-series whose cadence is of order both the hydrodynamical and radiative cooling timescales of the flow allows us to follow the hydrodynamical/magnetohydrodynamical evolution of an astrophysical plasma system in which ionization and radiative cooling play significant roles. Cooling zones behind the shocks are resolved, so it is possible to identify which way material flows through a given shock wave. The images show that heterogeneity is paramount in these jets, with clumps dominating the morphologies of both bow shocks and their Mach disks. This clumpiness exists on scales smaller than the jet widths and determines the behavior of many of the features in the jets. Evidence also exists for considerable shear as jets interact with their surrounding molecular clouds, and in several cases we observe shock waves as they form and fade where material emerges from the source and as it proceeds along the beam of the jet. Fine-structure within two extended bow shocks may result from Mach stems that form at the intersection points of oblique shocks within these clumpy objects. Taken together, these observations represent the most significant foray thus far into the time domain for stellar jets, and comprise one of the richest data sets in existence for comparing the behavior of a complex astrophysical plasma flows with numerical simulations and laboratory experiments.


title: STM imaging of symmetry-breaking structural distortion in the Bi-based cuprate superconductors

abstract: A complicating factor in unraveling the theory of high-temperature (high-Tc) superconductivity is the presence of a "pseudogap" in the density of states, whose origin has been debated since its discovery [1]. Some believe the pseudogap is a broken symmetry state distinct from superconductivity [2-4], while others believe it arises from short-range correlations without symmetry breaking [5,6]. A number of broken symmetries have been imaged and identified with the pseudogap state [7,8], but it remains crucial to disentangle any electronic symmetry breaking from pre-existing structural symmetry of the crystal. We use scanning tunneling microscopy (STM) to observe an orthorhombic structural distortion across the cuprate superconducting Bi2Sr2Can-1CunO2n+4+x (BSCCO) family tree, which breaks two-dimensional inversion symmetry in the surface BiO layer. Although this inversion symmetry breaking structure can impact electronic measurements, we show from its insensitivity to temperature, magnetic field, and doping, that it cannot be the long-sought pseudogap state. To detect this picometer-scale variation in lattice structure, we have implemented a new algorithm which will serve as a powerful tool in the search for broken symmetry electronic states in cuprates, as well as in other materials.


title: The IR stability of de Sitter QFT: Physical initial conditions

abstract: This work uses Lorentz-signature in-in perturbation theory to analyze the late-time behavior of correlators in time-dependent interacting massive scalar field theory in de Sitter space. We study a scenario recently considered by Krotov and Polyakov in which the coupling $g$ turns on smoothly at finite time, starting from $g=0$ in the far past where the state is taken to be the (free) Bunch-Davies vacuum. Our main result is that the resulting correlators (which we compute at the one-loop level) approach those of the interacting Hartle-Hawking state at late times. We argue that similar results should hold for other physically-motivated choices of initial conditions. This behavior is to be expected from recent quantum "no hair" theorems for interacting massive scalar field theory in de Sitter space which established similar results to all orders in perturbation theory for a dense set of states in the Hilbert space. Our current work i) indicates that physically motivated initial conditions lie in this dense set, ii) provides a Lorentz-signature counter-part to the Euclidean techniques used to prove such theorems, and iii) provides an explicit example of the relevant renormalization techniques.


title: An Arecibo Search for Pulsars and Transient Sources in M33

abstract: We report on a systematic and sensitive search for pulsars and transient sources in the nearby spiral galaxy M33, conducted at 1.4 GHz with the Arecibo telescope's seven-beam receiver system, ALFA. Data were searched for both periodic and aperiodic sources, up to 1000 pc cm^{-3} in dispersion measure and on timescales from $\sim$50 \us to several seconds. The galaxy was sampled with 12 ALFA pointings, or 84 pixels in total, each of which was searched for 2-3 hr. We describe the observations, search methodologies and analysis strategies applicable to multibeam systems, and comment on the data quality and statistics of spurious events that arise due to radio frequency interference. While these searches have not led to any conclusive signals of periodic or transient nature that originate in the galaxy, they illustrate some of the underlying challenges and difficulties in such searches and the efficacy of simultaneous multiple beams in the analysis of search output. The implied limits are $\la$5 uJy Mpc^2 in luminosity (at 1400 MHz) for periodic sources in M33 with duty cycles $\la$5%. For short-duration transient signals (with pulse widths $\la$100 \us), the limiting peak flux density is 100 mJy, which would correspond to a 5-$\sigma$ detection of bright giant pulses ($\sim$20 kJy) from Crab-like pulsars if located at the distance of M33. We discuss the implications of our null results for various source populations within the galaxy and comment on the future prospects to conduct even more sensitive searches with the upcoming next-generation instruments including the Square Kilometer Array and its pathfinders.


title: Hitchhiker's guide to the fractional Sobolev spaces

abstract: This paper deals with the fractional Sobolev spaces W^[s,p]. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results. Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.


title: Fourier Transform Representation of the Extended Fermi-Dirac and Bose-Einstein Functions with Applications to the Family of the Zeta and Related Functions

abstract: On the one hand the Fermi-Dirac and Bose-Einstein functions have been extended in such a way that they are closely related to the Riemann and other zeta functions. On the other hand the Fourier transform representation of the gamma and generalized gamma functions proved useful in deriving various integral formulae for these functions. In this paper we use the Fourier transform representation of the extended functions to evaluate integrals of products of these functions. In particular we evaluate some integrals containing the Riemann and Hurwitz zeta functions, which had not been evaluated before.


title: Scale Invariance via a Phase of Slow Expansion

abstract: We consider a cosmological scenario in which a scale-invariant spectrum of curvature perturbations is generated by a rapidly-evolving equation of state on a slowly expanding background. This scenario generalizes the "adiabatic ekpyrotic" mechanism proposed recently in arXiv:0910.2230. Whereas the original proposal assumed a slowly contracting background, the present work shows that the mechanism works equally well on an expanding background. This greatly expands the realm of broader cosmological scenarios in which this mechanism can be embedded. We present a phase space analysis and show that both the expanding and contracting versions of the scenario are dynamical attractors, with the expanding branch having a broader basin of attraction. In both cases, a finite range of scale invariant modes can be generated within the regime of validity of perturbation theory.


title: Imaging the Molecular Gas Properties of a Major Merger Driving the Evolution of a z=2.5 Submillimeter Galaxy

abstract: We report the detection of spatially extended CO 1-0 and 5-4 emission in the z=2.49 submillimeter galaxy (SMG) J123707+6214, using the Expanded Very Large Array and the Plateau de Bure Interferometer. The large molecular gas reservoir is spatially resolved into two CO(1-0) components (north-east and south-west; previously identified in CO 3-2 emission) with gas masses of 4.3 and 3.5 x 10^10 (alpha_CO/0.8) Msun. We thus find that the optically invisible north-east component slightly dominates the gas mass in this system. The total molecular gas mass derived from the CO(1-0) observations is ~2.5 times larger than estimated from CO(3-2). The two components are at approximately the same redshift, but separated by ~20 kpc in projection. The morphology is consistent with that of an early-stage merger. The total amount of molecular gas is sufficient to maintain the intense 500 Msun/yr starburst in this system for at least ~160 Myr. We derive line brightness temperature ratios of r_31=0.39+/-0.09 and 0.37+/-0.10, and r_51=0.26+/-0.07 and 0.25+/-0.08 in the two components, respectively, suggesting that the J>=3 lines are substantially subthermally excited. This also suggests comparable conditions for star formation in both components. Given the similar gas masses of both components, this is consistent with the comparable starburst strengths observed in the radio continuum emission. Our findings are consistent with other recent studies that find evidence for lower CO excitation in SMGs than in high-z quasar host galaxies with comparable gas masses. This may provide supporting evidence that both populations correspond to different evolutionary stages in the formation of massive galaxies.


title: Matter Bounce Cosmology with the f(T) Gravity

abstract: We show that the f(T) gravitational paradigm, in which gravity is described by an arbitrary function of the torsion scalar, can provide a mechanism for realizing bouncing cosmologies, thereby avoiding the Big Bang singularity. After constructing the simplest version of an f(T) matter bounce, we investigate the scalar and tensor modes of cosmological perturbations. Our results show that metric perturbations in the scalar sector lead to a background-dependent sound speed, which is a distinguishable feature from Einstein gravity. Additionally, we obtain a scale-invariant primordial power spectrum, which is consistent with cosmological observations, but suffers from the problem of a large tensor-to-scalar ratio. However, this can be avoided by introducing extra fields, such as a matter bounce curvaton.


title: Finite-momentum Bose-Einstein condensates in shaken 2D square optical lattices

abstract: We consider ultracold bosons in a 2D square optical lattice described by the Bose-Hubbard model. In addition, an external time-dependent sinusoidal force is applied to the system, which shakes the lattice along one of the diagonals. The effect of the shaking is to renormalize the nearest-neighbor hopping coefficients, which can be arbitrarily reduced, can vanish, or can even change sign, depending on the shaking parameter. It is therefore necessary to account for higher-order hopping terms, which are renormalized differently by the shaking, and introduce anisotropy into the problem. We show that the competition between these different hopping terms leads to finite-momentum condensates, with a momentum that may be tuned via the strength of the shaking. We calculate the boundaries between the Mott-insulator and the different superfluid phases, and present the time-of-flight images expected to be observed experimentally. Our results open up new possibilities for the realization of bosonic analogs of the FFLO phase describing inhomogeneous superconductivity.


title: Frozen to death? -- Detection of comet Hale-Bopp at 30.7 AU

abstract: Comet Hale--Bopp (C/1995 O1) has been the single most significant comet encountered by modern astronomy, still having displayed significant activity at 25.7 AU solar distance in late 2007. It is a puzzling question when and where this activity will finally cease. Here we present new observations with the ESO 2.2m telescope at La Silla to check the activity of Hale--Bopp at 30.7 AU solar distance. On 2010-12-04, 26 CCD images were taken with 180 s exposure times for photometry and morphology. The comet was detected in R and had a total brightness of 23.3+-0.2 mag, referring to an absolute brightness of R(1,1,0)=8.3. The profile of the coma was star-like at a seeing of 1.9", without any evidence of a coma or tail extending farther than 2.5" (=55,000 km in projection) and exceeding 26.5 mag/arcs^2 surface brightness. The measured total brightness corresponds to a relative total reflecting surface, a_RC, of 485 km^2, nine times less than three years before. The calculated a_RC value would imply a nucleus with 60--65 km radius assuming 4% albedo. This size estimate is in significant contradiction with the previous results scattering around 35 km. Therefore we suggest that the comet may still be in a low-level activity, despite the lack of a prominent coma. Alternatively, if the nucleus is already dormant, the albedo should be as high as 13%, assuming a radius of 35 km. With this observation, Hale--Bopp has been the most distant comet ever observed, far beyond the orbit of Neptune.


title: Stable Heteronuclear Few-Atom Bound States in Mixed Dimensions

abstract: We study few-body problems in mixed dimensions with $N \ge 2$ heavy atoms trapped individually in parallel one-dimensional tubes or two-dimensional disks, and a single light atom travels freely in three dimensions. By using the Born-Oppenheimer approximation, we find three- and four-body bound states for a broad region of heavy-light atom scattering length combinations. Specifically, the existence of trimer and tetramer states persist to negative scattering lengths regime, where no two-body bound state is present. These few-body bound states are analogous to the Efimov states in three dimensions, but are stable against three-body recombination due to geometric separation. In addition, we find that the binding energy of the ground trimer and tetramer state reaches its maximum value when the scattering lengths are comparable to the separation between the low-dimensional traps. This resonant behavior is a unique feature for the few-body bound states in mixed dimensions.


title: Random input helps searching predecessors

abstract: We solve the dynamic Predecessor Problem with high probability (whp) in constant time, using only $n^{1+\delta}$ bits of memory, for any constant $\delta > 0$. The input keys are random wrt a wider class of the well studied and practically important class of $(f_1, f_2)$-smooth distributions introduced in \cite{and:mat}. It achieves O(1) whp amortized time. Its worst-case time is $O(\sqrt{\frac{\log n}{\log \log n}})$. Also, we prove whp $O(\log \log \log n)$ time using only $n^{1+ \frac{1}{\log \log n}}= n^{1+o(1)}$ bits. Finally, we show whp $O(\log \log n)$ time using O(n) space.


title: Edge Saturation effects on the magnetism and band gaps in multilayer graphene ribbons and flakes

abstract: Using a density functional theory based electronic structure method and semi-local density approximation, we study the interplay of geometric confinement, magnetism and external electric fields on the electronic structure and the resulting band gaps of multilayer graphene ribbons whose edges are saturated with molecular hydrogen (H$_2$) or hydroxyl (OH) groups. We discuss the similarities and differences of computed features in comparison with the atomic hydrogen (or H-) saturated ribbons and flakes. For H$_2$ edge-saturation, we find \emph{shifted} labeling of three armchair ribbon classes and magnetic to non-magnetic transition in narrow zigzag ribbons whose critical width changes with the number of layers. Other computed characteristics, such as the existence of a critical gap and external electric field behavior, layer dependent electronic structure, stacking-dependent band gap induction and the length confinement effects remain qualitatively same with those of H-saturated ribbons.


title: A Resolution of the Paradox of Enrichment

abstract: The paradox of enrichment was observed by M. Rosenzweig in a class of predator-prey models. Two of the parameters in the models are crucial for the paradox. These two parameters are the prey's carrying capacity and prey's half-saturation for predation. Intuitively, increasing the carrying capacity due to enrichment of the prey's environment should lead to a more stable predator-prey system. Analytically, it turns out that increasing the carrying capacity always leads to an unstable predator-prey system that is susceptible to extinction from environmental random perturbations. This is the so-called paradox of enrichment. Our resolution here rests upon a closer investigation on a dimensionless number $H$ formed from the carrying capacity and the prey's half-saturation. By recasting the models into dimensionless forms, the models are in fact governed by a few dimensionless numbers including $H$. The effects of the two parameters: carrying capacity and half-saturation are incorporated into the number $H$. In fact, increasing the carrying capacity is equivalent (i.e. has the same effect on $H$) to decreasing the half-saturation which implies more aggressive predation. Since there is no paradox between more aggressive predation and instability of the predator-prey system, the paradox of enrichment is resolved. We also further explore spatially dependent models for which the phase space is infinite dimensional. The spatially independent limit cycle which is generated by a Hopf bifurcation from an unstable steady state, is linearly stable in the infinite dimensional phase space. Numerical simulations indicate that the basin of attraction of the limit cycle is riddled. This shows that spatial perturbations can sometimes (neither always nor never) remove the paradox of enrichment near the limit cycle!

categories: q-bio.PE math-ph math.AP math.DS math.MP nlin.CD


title: Notions for RSA integers

abstract: The key-generation algorithm for the RSA cryptosystem is specified in several standards, such as PKCS#1, IEEE 1363-2000, FIPS 186-3, ANSI X9.44, or ISO/IEC 18033-2. All of them substantially differ in their requirements. This indicates that for computing a "secure" RSA modulus it does not matter how exactly one generates RSA integers. In this work we show that this is indeed the case to a large extend: First, we give a theoretical framework that will enable us to easily compute the entropy of the output distribution of the considered standards and show that it is comparatively high. To do so, we compute for each standard the number of integers they define (up to an error of very small order) and discuss different methods of generating integers of a specific form. Second, we show that factoring such integers is hard, provided factoring a product of two primes of similar size is hard.


title: Exact-exchange density functional theory for neutron drops

abstract: We compute the ground-state properties of finite systems of neutrons in an external harmonic trap, interacting via the Minnesota potential, using the "exact-exchange" form of orbital-dependent density functional theory. We compare our results with Hartree-Fock calculations and find very close agreement. Within the context of the interaction studied, we conclude that this simple orbital-dependent functional brings conventional nuclear density functional theory to the level of Hartree-Fock in an ab initio fashion. Our work is a first step towards higher-order ab initio nuclear functionals based on realistic nucleon-nucleon interactions.


title: Chemical evolution of turbulent protoplanetary disks and the Solar nebula

abstract: This is the second paper in a series where we study the influence of transport processes on the chemical evolution of protoplanetary disks. Our analysis is based on a flared alpha-model of the DM Tau system, coupled to a large gas-grain chemical network. To account for production of complex molecules, the chemical network is supplied with an extended set of surface reactions and photo-processes in ice mantles. Our disk model covers a wide range of radii, 10-800 AU (from a Jovian planet-forming zone to the outer disk edge). Turbulent transport of gases and ices is implicitly modeled in full 2D along with the time-dependent chemistry. Two regimes are considered, with high and low efficiency of turbulent mixing. The results of the chemical model with suppressed turbulent diffusion are close to those from the laminar model, but not completely. A simple analysis for the laminar chemical model to highlight potential sensitivity of a molecule to transport processes is performed. It is shown that the higher the ratio of the characteristic chemical timescale to the turbulent transport timescale for a given molecule, the higher the probability that its column density will be affected by diffusion. We find that turbulent transport enhances abundances and column densities of many gas-phase species and ices, particularly, complex ones. For such species a chemical steady-state is not reached due to long timescales associated with evaporation and surface photoprocessing and recombination. In contrast, simple radicals and molecular ions, which chemical evolution is fast and proceeds solely in the gas phase, are not much affected by dynamics. All molecules are divided into three groups according to the sensitivity of their column densities to the turbulent diffusion. [Abridged]


title: Multiple dark-bright solitons in atomic Bose-Einstein condensates

abstract: We present experimental results and a systematic theoretical analysis of dark-br ight soliton interactions and multiple-dark-bright soliton complexes in atomic t wo-component Bose-Einstein condensates. We study analytically the interactions b etween two-dark-bright solitons in a homogeneous condensate and, then, extend ou r considerations to the presence of the trap. An effective equation of motion is derived for the dark-bright soliton center and the existence and stability of stationary two-dark-bright soliton states is illustrated (with the bright components being either in- or out-of-phase). The equation of motion provides the characteristic oscillation frequencies of the solitons, in good agreement with the eigenfrequencies of the anomalous modes of the system.


title: Convergence to Stable Laws in Relative Entropy

abstract: Convergence to stable laws in relative entropy is established for sums of i.i.d. random variables.


title: Importance of electronic correlations for structural and magnetic properties of the iron pnictide superconductor LaFeAsO

abstract: We present calculations of structural and magnetic properties of the iron-pnictide superconductor LaFeAsO including electron-electron correlations. For this purpose we apply a fully charge self-consistent combination of Density-Functional Theory with the Dynamical Mean-Field theory, allowing for the calculation of total energies. We find that the inclusion of correlation effects gives a good agreement of the Arsenic z position with experimental data even in the paramagnetic (high-temperature) phase. Going to low temperatures, we study the formation of the ordered moment in the striped spin-density-wave phase, yielding an ordered moment of about 0.60, again in good agreement with experiments. This shows that the inclusion of correlation effects improves both structural and magnetic properties of LaFeAsO at the same time.


title: Black Holes: Attractors for Intelligence?

abstract: The Search for Extra-Terrestrial Intelligence (SETI) has so far been unsuccessful and needs additional methods. We introduce a two-dimensional metric for civilization development, using the Kardashev scale of energy increase and the Barrow scale of inward manipulation. To support Barrow's scale limit, we contend with energetic, societal, scientific, computational, and philosophical arguments that black holes are attractors for intelligence. An application of the two-dimensional metric leads to a simple, consistent and observable hypothesis to test the existence of very advanced civilizations. We suggest that some already observed X-Ray binaries may be unnoticed advanced civilizations, of type KII-Bomega. The appendix provides an argumentative map of the paper's main thesis. KEYWORDS: SETI, black holes, Kardashev scale, Barrow scale, star lifting, XRB


title: Thickness-dependent magnetic properties of oxygen-deficient EuO

abstract: We have studied how the magnetic properties of oxygen-deficient EuO sputtered thin films vary as a function of thickness. The magnetic moment, measured by polarized neutron reflectometry, and the Curie temperature are found to decrease with reducing thickness. Our results indicate that the reduced number of nearest neighbors, band bending and the partial depopulation of the electronic states that carry the spins associated with the 4f orbitals of Eu are all contributing factors in the surface-induced change of the magnetic properties of EuO$_{1-x}$.


title: Beilinson's Hodge conjecture for smooth varieties

abstract: Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to \Gamma H^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular cohomology. We study the image of cl_{r,m} in terms of kernels of Abel-Jacobi maps. When r=m, we deduce from the Bloch-Kato theorem that the cokernel of cl_{r,m} at the generic point of U is the same for integral or rational coefficients.


title: A chiral symmetry breaking AdS / QCD model with scalar interactions

abstract: We consider chiral symmetry breaking AdS / QCD models with cubic and quartic potentials in the scalar sector and a z dependent mass for scalars in the bulk. In these models it is possible to get good mesonic spectra using current quark masses.


title: Bunch-by-bunch measurement of transverse coherent beam-beam modes in the Fermilab Tevatron collider

abstract: A system for bunch-by-bunch detection of transverse proton and antiproton coherent oscillations in the Tevatron is described. It is based on the signal from a single beam-position monitor located in a region of the ring with large amplitude functions. The signal is digitized over a large number of turns and Fourier-analyzed offline with a dedicated algorithm. To enhance the signal, band-limited noise is applied to the beam for about 1 s. This excitation does not adversely affect the circulating beams even at high luminosities. The device has a response time of a few seconds, a frequency resolution of 1.6e-5 in fractional tune, and it is sensitive to oscillation amplitudes of 60 nm. It complements Schottky detectors as a diagnostic tool for tunes, tune spreads, and beam-beam effects. Measurements of coherent mode spectra are presented to show the effects of betatron tunes, beam-beam parameter, and collision pattern, and to provide an experimental basis for beam-beam numerical codes. Comparisons with a simplified model of beam-beam oscillations are also described.


title: P\'osa's Conjecture for graphs of order at least 2\times 10^8

abstract: In 1962 P\'osa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of P\'osa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Koml\'os, S\'ark\"ozy, and Szemer\'edi proved P\'osa's Conjecture, using the Regularity and Blow-up Lemmas, for graphs of order n > n_0, where n_0 is a very large constant. Here we show without using these lemmas that n_0=2\times 10^8 is sufficient. We are motivated by the recent work of Levitt, Szemer\'edi and S\'ark\"ozy, but our methods are based on techniques that were available in the 90's.


title: Bijection between spin $S=\frac{p^{M}-1}{2}$ and a cluster of $M$ spins $\sigma=\frac{p-1}{2}$

abstract: We propose a general method by which a spin-$S$ is decomposed into spins less than $S$. We have obtain the exact mapping between spin $S=\frac{p^{M}-1}{2}$ and a cluster of $M$ spins $\sigma=\frac{p-1}{2}$. We have discuss the possible applications of such transformations. In particular we have show how a general $d+1$ dimensional spin-$\frac{p-1}{2}$ model with general interactions can be reduced to $d$-dimensional spin-$S$ model with $S=\frac{p^{M}-1}{2}$.


title: Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions by Sperner's lemma

abstract: In this paper using Sperner's lemma for modified partition of a simplex we will constructively prove Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions.


title: The maximum disjoint paths problem on multi-relations social networks

abstract: Motivated by applications to social network analysis (SNA), we study the problem of finding the maximum number of disjoint uni-color paths in an edge-colored graph. We show the NP-hardness and the approximability of the problem, and both approximation and exact algorithms are proposed. Since short paths are much more significant in SNA, we also study the length-bounded version of the problem, in which the lengths of paths are required to be upper bounded by a fixed integer $l$. It is shown that the problem can be solved in polynomial time for $l=3$ and is NP-hard for $l\geq 4$. We also show that the problem can be approximated with ratio $(l-1)/2+\epsilon$ in polynomial time for any $\epsilon >0$. Particularly, for $l=4$, we develop an efficient 2-approximation algorithm.


title: Quantum teleportation of non-classical wave-packets, an effective multimode theory

abstract: We develop a simple and efficient theoretical model to understand the quantum properties of broadband continuous variable quantum teleportation. We show that, if stated properly, the problem of multimode teleportation can be simplified to teleportation of a single effective mode that describes the input state temporal characteristic. Using that model, we show how the finite bandwidth of squeezing and external noise in the classical channel affect the output teleported quantum field. We choose an approach that is especially relevant for the case of non-Gaussian non-classical quantum states and we finally back-test our model with recent experimental results.


title: Classes on the moduli space of Riemann surfaces through a noncommutative Batalin-Vilkovisky formalism

abstract: Using the machinery of the Batalin-Vilkovisky formalism, we construct cohomology classes on compactifications of the moduli space of Riemann surfaces from the data of a contractible differential graded Frobenius algebra. We describe how evaluating these cohomology classes upon a well-known construction producing homology classes in the moduli space can be expressed in terms of the Feynman diagram expansion of some functional integral. By computing these integrals for specific examples, we are able to demonstrate that this construction produces families of nontrivial classes.


title: Another look at charge fractionalization at finite temperature

abstract: We study again the phenomenon of charge fractionalization at finite temperature. Our calculations are done in a framework in which the connection between the induced fermion number and the chiral anomaly is manifest. We find that the fractional fermion number induced on a soliton decreases as temperature rises and vanishes at infinite temperature at one-loop level. These results are consistent with previous studies. As an application of our approach, we have also studied the behavior of the induced Chern-Simons term in the (2+1)-dimensional QED at finite temperature.


title: Magnetic launching and collimation of jets from the disk-magnetosphere boundary: 2.5D MHD simulations

abstract: We use axisymmetric magnetohydrodynamic (MHD) simulations to investigate the launching and collimation of jets emerging from the disk-magnetosphere boundary of accreting magnetized stars. Our analysis shows that the matter flows into the jet from the inner edge of the accretion disk. It is magnetically accelerated along field lines extending up from the disk and simultaneously collimated by the magnetic pinch force. In the reference run which we use for analysis, the matter in the jet crosses the Alfv\'en surface a few R_* above the disk and the fast magnetosonic surface ~13 R_* above the disk. At larger distances, the magnetic pressure is a few times smaller than the total matter pressure but the magnetic force continues to accelerate and collimate the jet. In steady state, we observe a matter ejection-to-accretion ratio of ~0.2. Across different simulation runs, we measure a range of half-opening angles between {\Theta} \approx 4{\deg} and 20{\deg} at the top of the simulation region, depending on the degree of magnetization in the outflow. We consider the case of stars undergoing epochs of high accretion (such as EXors, FUORs, and CTTSs) where the stellar magnetosphere is strongly compressed by the incoming accretion disk. For a typical EXor (mass 0.8 M_sun, radius 2 R_sun) accreting at ~10^-5 M_sun/yr, we measure poloidal velocities in the jet ranging from 30 km/s on the outer edge of the jet to more than 260 km/s on the inner edge. In general, the models can be applied to a variety of magnetized stars--white dwarfs, neutron stars, and brown dwarfs--which exhibit periods of high accretion.


title: Array independent MIMO channel models with analytical characteristics

abstract: The conventional analytical channel models for multiple-input multiple-output (MIMO) wireless radio channels are array dependent. In this paper, we present several array independent MIMO channel models that inherit the essence of analytical models. The key idea is to decompose the physical scattering channel into two parts using the manifold decomposition technique: one is the wavefield independent sampling matrices depending on the antenna arrays only; the other is the array independent physical channel that can be individually modeled in an analytical manner. Based on the framework, we firstly extend the conventional virtual channel representation (VCR), which is restricted to uniform linear arrays (ULAs) so far, to a general version applicable to arbitrary array configurations. Then, we present two array independent stochastic MIMO channel models based on the proposed new VCR as well as the Weichselberger model. These two models are good at angular power spectrum (APS) estimation and capacity prediction, respectively. Finally, the impact of array characteristics on channel capacity is separately investigated by studying the condition number of the array steering matrix at fixed angles, and the results agree well with existing conclusions. Numerical results are presented for model validation and comparison.


title: Intent Inference and Syntactic Tracking with GMTI Measurements

abstract: In conventional target tracking systems, human operators use the estimated target tracks to make higher level inference of the target behaviour/intent. This paper develops syntactic filtering algorithms that assist human operators by extracting spatial patterns from target tracks to identify suspicious/anomalous spatial trajectories. The targets' spatial trajectories are modeled by a stochastic context free grammar (SCFG) and a switched mode state space model. Bayesian filtering algorithms for stochastic context free grammars are presented for extracting the syntactic structure and illustrated for a ground moving target indicator (GMTI) radar example. The performance of the algorithms is tested with the experimental data collected using DRDC Ottawa's X-band Wideband Experimental Airborne Radar (XWEAR).


title: Incompressible Limit of the Compressible Nematic Liquid Crystal Flow

abstract: This paper is concerned with the incompressible limit of the compressible hydrodynamic flow of liquid crystals with periodic boundary conditions in R^N(N = 2, 3). It is rigorously shown that the local (and global) strong solution of the compressible system converges to the local (and global) strong solution of the incompressible system. Furthermore, the convergence rates are also obtained in some sense.


title: Topological Recursion Relations on $\bar{\cal M}_{3,2}$

abstract: In this paper, we give some new genus-3 universal equations for Gromov-Witten invariants of compact symplectic manifolds. These equations were obtained by studying new relations in the tautological ring of the moduli space of 2-pointed genus-3 stable curves. A byproduct of our search for genus-3 equations is a new genus-2 universal equation for Gromov-Witten invariants.


title: Platforms for Building and Deploying Applications for Cloud Computing

abstract: Cloud computing is rapidly emerging as a new paradigm for delivering IT services as utlity-oriented services on subscription-basis. The rapid development of applications and their deployment in Cloud computing environments in efficient manner is a complex task. In this article, we give a brief introduction to Cloud computing technology and Platform as a Service, we examine the offerings in this category, and provide the basis for helping readers to understand basic application platform opportunities in Cloud by technologies such as Microsoft Azure, Sales Force, Google App, and Aneka for Cloud computing. We demonstrate that Manjrasoft Aneka is a Cloud Application Platform (CAP) leveraging these concepts and allowing an easy development of Cloud ready applications on a Private/Public/Hybrid Cloud. Aneka CAP offers facilities for quickly developing Cloud applications and a modular platform where additional services can be easily integrated to extend the system capabilities, thus being at pace with the rapidly evolution of Cloud computing.


title: Stability of the World Trade Web over Time - An Extinction Analysis

abstract: The World Trade Web (WTW) is a weighted network whose nodes correspond to countries with edge weights reflecting the value of imports and/or exports between countries. In this paper we introduce to this macroeconomic system the notion of extinction analysis, a technique often used in the analysis of ecosystems, for the purposes of investigating the robustness of this network. In particular, we subject the WTW to a principled set of in silico "knockout experiments," akin to those carried out in the investigation of food webs, but suitably adapted to this macroeconomic network. Broadly, our experiments show that over time the WTW moves to a "robust yet fragile" configuration where it is robust to random failures but fragile under targeted attack. This change in stability is highly correlated with the connectance (edge density) of the network. Moreover, there is evidence of a sharp change in the structure of the network in the 1960s and 1970s, where most measures of robustness rapidly increase before resuming a declining trend. We interpret these results in the context in the post-World War II move towards globalization. Globalization coincides with the sharp increase in robustness but also with a rise in those measures (e.g., connectance and trade imbalances) which correlate with decreases in robustness. The peak of robustness is reached after the onset of globalization policy but before the negative impacts are substantial. These analyses depend on a simple model of dynamics that rebalances the trade flow upon network perturbation, the most dramatic of which is node deletion. More subtle and textured forms of perturbation lead to the definition of other measures of node importance as well as vulnerability. We anticipate that experiments and measures like these can play an important role in the evaluation of the stability of economic systems.


title: Unraveling the Rank-Size Rule with Self-Similar Hierarchies

abstract: Many scientists are interested in but puzzled by the various inverse power laws with a negative exponent 1 such as the rank-size rule. The rank-size rule is a very simple scaling law followed by many observations of the ubiquitous empirical patterns in physical and social systems. Where there is a rank-size distribution, there will be a hierarchy with cascade structure. However, the equivalence relation between the rank-size rule and the hierarchical scaling law remains to be mathematically demonstrated and empirically testified. In this paper, theoretical derivation, mathematical experiments, and empirical analysis are employed to show that the rank-size rule is equivalent in theory to the hierarchical scaling law (the Nn principle). Abstracting an ordered set of quantities in the form {1, 1/2,..., 1/k,...} from the rank-size rule, I prove a geometric subdivision theorem of the harmonic sequence (k=1, 2, 3,...). By the theorem, the rank-size distribution can be transformed into a self-similar hierarchy, thus a power law can be decomposed as a pair of exponential laws, and further the rank-size power law can be reconstructed as a hierarchical scaling law. A number of ubiquitous empirical observations and rules, including Zipf's law, Pareto's distribution, fractals, allometric scaling, 1/f noise, can be unified into the hierarchical framework. The self-similar hierarchy can provide us with a new perspective of looking at the inverse power law of nature or even how nature works.


title: Faithful teleportation with arbitrary pure or mixed resource states

abstract: We study faithful teleportation systematically with arbitrary entangled states as resources. The necessary conditions of mixed states to complete perfect teleportation are proved. Based on these results, the necessary and sufficient conditions of faithful teleportation of an unknown state |\phi> in C^d with an entangled resource {\rho} in C^m \otimes C^d and C^d \otimes C^n are derived. It is shown that for {\rho} in C^m\otimesC^d, {\rho} must be a maximally entangled state, while for {\rho} in C^d \otimes C^n, {\rho} must be a puremaximally entangled state. Moreover, we show that the sender's measurements must be all projectors of maximally entangled pure states. The relations between the entanglement of the formation of the resource states and faithful teleportation are also discussed.


title: Electronic structure and bonding properties of cobalt oxide in the spinel structure

abstract: The spinel cobalt oxide Co3O4 is a magnetic semiconductor containing cobalt ions in Co2+ and Co3+ oxidation states. We have studied the electronic, magnetic and bonding properties of Co3O4 using density functional theory (DFT) at the Generalized Gradient Approximation (GGA), GGA+U, and PBE0 hybrid functional levels. The GGA correctly predicts Co3O4 to be a semiconductor, but severely underestimates the band gap. The GGA+U band gap (1.96 eV) agrees well with the available experimental value (~ 1.6 eV), whereas the band gap obtained using the PBE0 hybrid functional (3.42 eV) is strongly overestimated. All the employed exchange-correlation functionals predict 3 unpaired d electrons on the Co2+ ions, in agreement with crystal field theory, but the values of the magnetic moments given by GGA+U and PBE0 are in closer agreement with the experiment than the GGA value, indicating a better description of the cobalt localized d states. Bonding properties are studied by means of Maximally Localized Wannier Functions (MLWFs). We find d-type MLWFs on the cobalt ions, as well as Wannier functions with the character of sp3d bonds between cobalt and oxygen ions. Such hybridized bonding states indicate the presence of a small covalent component in the primarily ionic bonding mechanism of this compound.


title: EMBANKS: Towards Disk Based Algorithms For Keyword-Search In Structured Databases

abstract: In recent years, there has been a lot of interest in the field of keyword querying relational databases. A variety of systems such as DBXplorer [ACD02], Discover [HP02] and ObjectRank [BHP04] have been proposed. Another such system is BANKS, which enables data and schema browsing together with keyword-based search for relational databases. It models tuples as nodes in a graph, connected by links induced by foreign key and other relationships. The size of the database graph that BANKS uses is proportional to the sum of the number of nodes and edges in the graph. Systems such as SPIN, which search on Personal Information Networks and use BANKS as the backend, maintain a lot of information about the users' data. Since these systems run on the user workstation which have other demands of memory, such a heavy use of memory is unreasonable and if possible, should be avoided. In order to alleviate this problem, we introduce EMBANKS (acronym for External Memory BANKS), a framework for an optimized disk-based BANKS system. The complexity of this framework poses many questions, some of which we try to answer in this thesis. We demonstrate that the cluster representation proposed in EMBANKS enables in-memory processing of very large database graphs. We also present detailed experiments that show that EMBANKS can significantly reduce database load time and query execution times when compared to the original BANKS algorithms.


title: Convex Approaches to Model Wavelet Sparsity Patterns

abstract: Statistical dependencies among wavelet coefficients are commonly represented by graphical models such as hidden Markov trees(HMTs). However, in linear inverse problems such as deconvolution, tomography, and compressed sensing, the presence of a sensing or observation matrix produces a linear mixing of the simple Markovian dependency structure. This leads to reconstruction problems that are non-convex optimizations. Past work has dealt with this issue by resorting to greedy or suboptimal iterative reconstruction methods. In this paper, we propose new modeling approaches based on group-sparsity penalties that leads to convex optimizations that can be solved exactly and efficiently. We show that the methods we develop perform significantly better in deconvolution and compressed sensing applications, while being as computationally efficient as standard coefficient-wise approaches such as lasso.


title: Higgs Inflation in Horava-Lifshitz Gravity

abstract: We study the possibility of standard model Higgs boson acting as an inflaton field in the framework of Horava-Lifshitz Gravity. Under this framework, we showed that it is possible for the Higgs field to produce right amount of inflation and generate scale invariant power spectrum with the correct experimental value. Thanks to the foliation preserving diffeomorphism and anisotropic space-time scaling, it essentially helps us to construct this model without the pre-existing inconsistency coming from cosmological and particle physics constraints. We do not need to introduce any non-minimal or higher derivative coupling term in an arbitrary basis either.

categories: hep-th astro-ph.CO astro-ph.HE gr-qc hep-ph


title: Ectoplasm with an Edge

abstract: The construction of supersymmetric invariant actions on a spacetime manifold with a boundary is carried out using the "ectoplasm" formalism for the construction of closed forms in superspace. Non-trivial actions are obtained from the pull-backs to the bosonic bodies of closed but non-exact forms in superspace; finding supersymmetric invariants thus becomes a cohomology problem. For a spacetime with a boundary, the appropriate mathematical language changes to relative cohomology, which we use to give a general formulation of off-shell supersymmetric invariants in the presence of boundaries. We also relate this construction to the superembedding formalism for the construction of brane actions, and we give examples with bulk spacetimes of dimension 3, 4 and 5. The closed superform in the 5D example needs to be constructed as a Chern-Simons type of invariant, obtained from a closed 6-form displaying Weil triviality.


title: Collective surface diffusion near a first-order phase transition

abstract: For a large class of lattice models we study the thermodynamic factor, $\Phi$, of the collective surface diffusion coefficient near a first-order phase transition between two phases at low temperatures. In a two-phase regime its dependence on the coverage, $\te$, is $\Phi \approx \te/[(\te-\te_-)(\te_+ - \te)N]$, where $N$ is the number of adsorption sites and $\te_\pm$ are the single-phase coverages at the transition. In the crossover between the two-phase and single-phase regimes $\Phi(\te)$ is shown to have a more complex behavior. The results are applied to a simple 2D lattice model.


title: Sieve-based confidence intervals and bands for L\'{e}vy densities

abstract: The estimation of the L\'{e}vy density, the infinite-dimensional parameter controlling the jump dynamics of a L\'{e}vy process, is considered here under a discrete-sampling scheme. In this setting, the jumps are latent variables, the statistical properties of which can be assessed when the frequency and time horizon of observations increase to infinity at suitable rates. Nonparametric estimators for the L\'{e}vy density based on Grenander's method of sieves was proposed in Figueroa-L\'{o}pez [IMS Lecture Notes 57 (2009) 117--146]. In this paper, central limit theorems for these sieve estimators, both pointwise and uniform on an interval away from the origin, are obtained, leading to pointwise confidence intervals and bands for the L\'{e}vy density. In the pointwise case, our estimators converge to the L\'{e}vy density at a rate that is arbitrarily close to the rate of the minimax risk of estimation on smooth L\'{e}vy densities. In the case of uniform bands and discrete regular sampling, our results are consistent with the case of density estimation, achieving a rate of order arbitrarily close to $\log^{-1/2}(n)\cdot n^{-1/3}$, where $n$ is the number of observations. The convergence rates are valid, provided that $s$ is smooth enough and that the time horizon $T_n$ and the dimension of the sieve are appropriately chosen in terms of $n$.


title: Flexible control of the Peierls transition in metallic C$_{60}$ polymers

abstract: The metal-semiconductor transition of peanut-shaped fullerene (C$_{60}$) polymers is clarified by considering the electron-phonon coupling in the uneven structure of the polymers. We established a theory that accounts for the transition temperature $T_c$ reported in a recent experiment and also suggests that $T_c$ is considerably lowered by electron doping or prolonged irradiation during synthesis. The decrease in $T_c$ is an appealing phenomenon with regard to realizing high-conductivity C$_{60}$-based nanowires even at low temperatures.


title: New Experimental Limit on the Electric Dipole Moment of the Electron in a Paramagnetic Insulator

abstract: We report results of an experimental search for the intrinsic Electric Dipole Moment (EDM) of the electron using a solid-state technique. The experiment employs a paramagnetic, insulating gadolinium gallium garnet (GGG) that has a large magnetic response at low temperatures. The presence of the eEDM would lead to a small but non-zero magnetization as the GGG sample is subject to a strong electric field. We search for the resulting Stark-induced magnetization with a sensitive magnetometer. Recent progress on the suppression of several sources of background allows the experiment to run free of spurious signals at the level of the statistical uncertainties. We report our first limit on the eEDM of $(-5.57 \pm 7.98 \pm 0.12)\times$10$^{-25}$e$\cdot$cm with 5 days of data averaging.


title: Rotational modulation in RRs/Delta Scuti Star pulsation

abstract: The 76 frequencies determined from Kepler measurements of the A-type star KIC 9700322 can be understood in a rather simple way as the radial fundamental and first overtone radial modes, a nonradial \ell = 2 quintuplet, stellar rotation and combinations of all of these. Two low-frequency peaks are found: f=0.160 c/d and a 2f peak. We show from a variety of arguments that the low-frequency peak, f, (rather than the 2f peak) is the rotational frequency. The corresponding prediction of slow rotation is confirmed by a spectrum from which v sin i = 19 \pm 1 km/s is obtained. During rotation, the brightness changes by 0.5 ppt (parts-per-thousand, peak-to-peak). The rotation also modulates the amplitudes of the two radial modes, leading to a small (but definite) variation in amplitude of 0.5% of their average values. Both the rotational brightness variations and the pulsation amplitudes form a double wave during rotation. The variations are in phase. The maximum pulsation amplitude occurs at the rotational phase with minimum brightness. Consequently, the 'normal' star KIC 9700322 behaves such as an extremely weak chemically peculiar star. Since such variations are also seen in some other A stars studied by Kepler, normal stars with a symmetric surface may not exist. The significance of this star is that even a simple, slowly rotating, radial pulsator already shows rotational brightness variations and modulation of the pulsation amplitude.


title: Asteroseismic inferences on red giants in open clusters NGC 6791, NGC 6819 and NGC 6811 using Kepler

abstract: Context: Four open clusters are present in the Kepler field of view and timeseries of nearly a year in length are now available. These timeseries allow us to derive asteroseismic global oscillation parameters of red-giant stars in the three open clusters NGC 6791, NGC 6819 and NGC 6811. From these parameters and effective temperatures, we derive mass, radii and luminosities for the clusters as well as field red giants. Aims: We study the influence of evolution and metallicity on the observed red-giant populations. Methods: The global oscillation parameters are derived using different published methods and the effective temperatures are derived from 2MASS colours. The observational results are compared with BaSTI evolution models. Results: We find that the mass has significant influence on the asteroseismic quantities delta_nu vs. nu_max relation, while the influence of metallicity is negligible, under the assumption that the metallicity does not affect the excitation / damping of the oscillations. The positions of the stars in the H-R diagram depend on both mass and metallicity. Furthermore, the stellar masses derived for the field stars are bracketed by those of the cluster stars. Conclusions: Both the mass and metallicity contribute to the observed difference in locations in the H-R diagram of the old metal-rich cluster NGC 6791 and the middle-aged solar-metallicity cluster NGC 6819. For the young cluster NGC 6811, the explanation of the position of the stars in the H-R diagram challenges the assumption of solar metallicity, and this open cluster might have significantly lower metallicity [Fe/H] in the range -0.3 to -0.7 dex. Also, nearly all the observed field stars seem to be older than NGC 6811 and younger than NGC 6791.


title: Physical Relation of Source I to IRc2 in the Orion KL Region

abstract: We present mid-infrared narrow-band images of the Orion BN/KL region, and N-band low-resolution spectra of IRc2 and the nearby radio source "I." The distributions of the silicate absorption strength and the color temperature have been revealed with a sub-arcsecond resolution. The detailed structure of the 7.8 micron/12.4 micron color temperature distribution was resolved in the vicinity of IRc2. A mid-infrared counterpart to source I has been detected as a large color temperature peak. The color temperature distribution shows an increasing gradient from IRc2 toward source I, and no dominant temperature peak is seen at IRc2. The spectral energy distribution of IRc2 could be fitted by a two-temperature component model, and the "warmer component" of the infrared emission from IRc2 could be reproduced by scattering of radiation from source I. IRc2 itself is not self-luminous, but is illuminated and heated by an embedded luminous young stellar object located at source I.


title: Moments and $q$-commutators of noncommutative random vectors

abstract: A method for computing the mixed moments of (not necessarily commutative) random vectors from the first order moments, the $q$-commutators between the annihilation and creation operators, and the $q$-commutators between the annihilation and preservation operators, is presented. The method is illustrated by a relevant characterization of $q$-Gaussian vectors.


title: Limit theorems for functions of marginal quantiles

abstract: Multivariate distributions are explored using the joint distributions of marginal sample quantiles. Limit theory for the mean of a function of order statistics is presented. The results include a multivariate central limit theorem and a strong law of large numbers. A result similar to Bahadur's representation of quantiles is established for the mean of a function of the marginal quantiles. In particular, it is shown that \[\sqrt{n}\Biggl(\frac{1}{n}\sum_{i=1}^n\phi\bigl(X_{n:i}^{(1)},...,X_{n:i}^{(d)}\bigr)-\bar{\gamma}\Biggr)=\frac{1}{\sqrt{n}}\sum_{i=1}^nZ_{n,i}+\mathrm{o}_P(1)\] as $n\rightarrow\infty$, where $\bar{\gamma}$ is a constant and $Z_{n,i}$ are i.i.d. random variables for each $n$. This leads to the central limit theorem. Weak convergence to a Gaussian process using equicontinuity of functions is indicated. The results are established under very general conditions. These conditions are shown to be satisfied in many commonly occurring situations.


title: A new approach to investigate dineutron correlation and its application to $^{10}$Be

abstract: We propose a new framework by means of the dineutron condensate (DC) wave function to describe the dineutron correlation, which is characterized by the spatially strong correlation of a spin-zero neutron-neutron pair, in neutron-rich nuclei with an active deformed core surrounded by valence neutrons. Using the DC wave function for a 2$\alpha$+2n system, which corresponds to a toy model for the $^{10}$Be system, we investigate the neutron-neutron correlation around the $2\alpha$ core and discuss the mechanism of the dineutron formation at the surface of finite nuclei. To investigate dineutron correlations in realistic nuclear systems, we superpose the antisymmetrized molecular dynamics (AMD) wave functions and the DC wave functions. Applying the AMD+DC method to $^{10}$Be, we show effects of the DC wave functions in the ground and excited $0^+$ states of $^{10}$Be and discuss the dineutron correlation in them.


title: Search for Contact Interactions in Dimuon Events from pp Collisions at sqrt(s) = 7 TeV with the ATLAS Detector

abstract: A search for contact interactions has been performed using dimuon events recorded with the ATLAS detector in proton-proton collisions at sqrt(s) = 7 TeV. The data sample corresponds to an integrated luminosity of 42 pb-1. No significant deviation from the Standard Model is observed in the dimuon mass spectrum, allowing the following 95% C.L. limits to be set on the energy scale of contact interactions: Lambda > 4.9 TeV (4.5 TeV) for constructive (destructive) interference in the left-left isoscalar compositeness model. These limits are the most stringent to date for mumuqq contact interactions.


title: Branching problems of Zuckerman derived functor modules

abstract: We discuss recent developments on branching problems of irreducible unitary representations $\pi$ of real reductive groups when restricted to reductive subgroups. Highlighting the case where the underlying $(g,K)$-modules of $\pi$ are isomorphic to Zuckerman's derived functor modules $A_q(\lambda)$, we show various and rich features of branching laws such as infinite multiplicities, irreducible restrictions, multiplicity-free restrictions, and discrete decomposable restrictions. We also formulate a number of conjectures.


title: Classification of discretely decomposable A_q(\lambda) with respect to reductive symmetric pairs

abstract: We give a classification of the triples (g,g',q) such that Zuckerman's derived functor (g,K)-module A_q(\lambda) for a \theta-stable parabolic subalgebra q is discretely decomposable with respect to a reductive symmetric pair (g,g'). The proof is based on the criterion for discretely decomposable restrictions by the first author and on Berger's classification of reductive symmetric pairs.


title: Ternary codes associated with symplectic groups and power moments of Kloosterman sums with square arguments

abstract: In this paper, we construct two ternary linear codes associated with the symplectic groups Sp(2,q) and Sp(4,q). Here q is a power of three. Then we obtain recursive formulas for the power moments of Kloosterman sums with square arguments and for the even power moments of those in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of "Gauss sums" for the symplectic groups Sp(2n,q).


title: Stability and convergence of a higher order rational difference Equation

abstract: In this paper the asymptotic stability of equilibria and periodic points of the following higher order rational difference Equation x_{n+1} =(alpha x_{n-k})/(1+x_{n}...x_{n-k}), k>=1, n=0,1,... is studied where the parameters ?alpha, betta, and gamma are positive real numbers, and the initial conditions x_{-k}, ..., x_{0} are given arbitrary real numbers. The forbidden set of this equation is found and then, the order reduction method is used to facilitate the analysis of its asymptotic dynamics


title: Non-LTE line formation for Fe I and Fe II in the atmospheres of A-F type stars

abstract: Non-local thermodynamical equilibrium (non-LTE) line formation for neutral and singly-ionized iron is considered through a range of spectral types when the effective temperature varies from 6500 K up to 8500 K, the gravity from log g = 4 down to log g = 3, and the metallicity is solar one. The non-LTE calculations were performed with a comprehensive model atom for iron which was treated in our earlier paper (Mashonkina et al. 2011, A&A, 528, A87). The departures from LTE lead to systematically depleted total absorption in the Fe I lines and positive abundance corrections, in qualitative agreement with the Rentzsch-Holm (1996, A&A, 312, 966) study. However, our predicted magnitude of the non-LTE effects is significantly smaller compared to the previous results due to the use of rather complete model atom of Fe I. The non-LTE abundance corrections do not exceed 0.1 dex for the dwarf models and 0.20 dex for the giant ones. Non-LTE leads to strengthening the Fe II lines, however, the effect is small, such that the abundance correction is at the level of -0.01 to -0.03 dex over the whole range of stellar parameters being considered. No firm conclusion can be drawn with respect to whether or not the Fe I/Fe II ionization equilibrium is fulfilled in the atmosphere of the Sun and Procyon due to uncertainty in available gf-values for visible lines of Fe I and Fe II.


title: Can nothing be a superconductor and a superfluid?

abstract: A superconductor is a material that conducts electric current with no resistance. Superconductivity and magnetism are known to be antagonistic phenomena: superconductors expel weak external magnetic field (the Meissner effect) while a sufficiently strong magnetic field, in general, destroys superconductivity. In a seemingly contradictory statement, we show that a very strong magnetic field can turn an empty space into a superconductor. The external magnetic field required for this effect should be about 10^{16} Tesla (eB ~ 1 GeV^2). The physical mechanism of the exotic vacuum superconductivity is as follows: in strong magnetic field the dynamics of virtual quarks and antiquarks is effectively one-dimensional because these electrically charged particles tend to move along the lines of the magnetic field. In one spatial dimension a gluon-mediated attraction between a quark and an antiquark of different flavors inevitably leads to formation of a colorless spin-triplet bound state (a vector analogue of the Cooper pair) with quantum numbers of an electrically charged rho meson. Such quark-antiquark pairs condense to form an anisotropic inhomogeneous superconducting state similar to the Abrikosov vortex lattice in a type-II superconductor. The onset of the superconductivity of the charged rho mesons should also induce an inhomogeneous superfluidity of the neutral rho mesons. The vacuum superconductivity should survive at very high temperatures of typical Quantum Chromodynamics (QCD) scale of 10^{12} K (T ~ 100 MeV). We propose the phase diagram of QCD in the plane "magnetic field - temperature".