title: Hasenohrl and the Equivalence of Mass and Energy

abstract: In 1904 Austrian physicist Fritz Hasenohrl (1874-1915) examined blackbody radiation in a reflecting cavity. By calculating the work necessary to keep the cavity moving at a constant velocity against the radiation pressure he concluded that to a moving observer the energy of the radiation would appear to increase by an amount E=(3/8)mc^2, which in early 1905 he corrected to E=(3/4)mc^2. Because relativistic corrections come in at order v^2/c^2 and Hasenohrl's gedankenexperiment evidently required calculations only to order v/c, it is initially puzzling why he did not achieve the answer universally accepted today. Moreover, that $m$ should be equal to (4/3)E/c^2 has led commentators to believe that this problem is identical to the famous "4/3 problem" of the self-energy of the electron and they have invariably attributed Hasenohrl's mistake to neglect of the cavity stresses. We examine Hasenohrl's papers from a modern, relativistic point of view in an attempt to understand where exactly he went wrong. The problem turns out to be a rich and challenging one with strong resonances to matters that remain controversial. We give an acceptable relativistic solution to the conundrum and show that virtually everything ever written about Hasenohrl's thought experiment, including a 1923 paper by Enrico Fermi, is misleading if not incorrect.


title: Current Flow in Uniform Ferromagnets: Bulk and Surface Heating Rates

abstract: With spintronics applications in mind, we use irreversible thermodynamics to derive the rates of entropy production and heating near an interface when heat current, electric current, and spin current cross it. Associated with these currents are apparent discontinuities in temperature (\Delta T), electrochemical potential (\Delta \tilde {\mu}), and spin-dependent "magnetoelectrochemical potential" (\Delta \bar \mu_{\uparrow,\downarrow}). This work applies to magnetic semiconductors and insulators as well as metals, due to the inclusion of the chemical potential \mu, which usually is neglected in works on interfacial thermodynamic transport. We also discuss the (non-obvious) distinction between entropy production and heat production. Heat current and electric current are conserved, but spin current is not, so it necessitates a somewhat different treatment. At low temperatures or for large differences in material properties, the surface heating rate dominates the bulk heating rate near the surface. We also consider the case, noted by Rashba, where bulk spin currents occur in equilibrium. Although a surface spin current (in A/m^{2}) should yield about the same rate of heating as an equal surface electric current, production of such a spin current requires a relatively large "magnetization potential" difference across the interface.


title: Zero BEC State Amplitude, and BEC Unnecessary to Define Phase \phi

abstract: We define the "BEC state" to be the many-body wavefunction where all particles are in the same one-body state. Using an argument analogous to Anderson's Orthogonality Catastrophe, we argue that for interacting particles the amplitude of the BEC state within the many-body wavefunction goes to zero in the thermodynamic limit. This does not mean that there is no condensate. However, we argue that, if the excitations satisfy the Landau criterion, then the absence of a finite amplitude for the BEC state, or the absence of a condensate, do not prevent the definition of the phase function \phi, from which the superfluid velocity follows.


title: Holographic Matter : Deconfined String at Criticality

abstract: We derive a holographic dual for a gauged matrix model in general dimensions from a first-principle construction. The dual theory is shown to be a closed string field theory which includes a compact two-form gauge field coupled with closed strings in one higher dimensional space. Possible phases of the matrix model are discussed in the holographic description. Besides the confinement phase and the IR free deconfinement phase, there can be two different classes of critical states. The first class describes `holographic critical states' where strings are deconfined in the bulk. The second class describes `non-holographic critical states' where strings are confined due to proliferation of topological defects for the two-form gauge field. This implies that the critical states of the matrix model which admit holographic descriptions with deconfined string in the bulk form novel universality classes with non-trivial quantum orders which make the holographic critical states qualitatively distinct from the non-holographic critical states. The signatures of the non-trivial quantum orders in the holographic states are discussed. Finally, we discuss a possibility that open strings emerge as fractionalized excitations of closed strings along with an emergent one-form gauge field in the bulk.


title: Commensurate-incommensurate phase transition in bilayer graphene

abstract: A commensurate-incommensurate phase transition in bilayer graphene is investigated in the framework of the Frenkel-Kontorova model extended to the case of two interacting chains of particles. Analytic expressions are derived to estimate the critical unit elongation of one of the graphene layers at which the transition to the incommensurate phase takes place, the length and formation energy of incommensurability defects (IDs) and the threshold force required to start relative motion of the layers on the basis of dispersion-corrected density functional theory calculations of the interlayer interaction energy as a function of the relative position of the layers. These estimates are confirmed by atomistic calculations using the DFT-D based classical potential. The possibility to measure the barriers for relative motion of graphene layers by the study of formation of IDs in bilayer graphene is discussed.


title: Gravitation and tunnelling: Subtleties of the thin-wall approximation and rapid decays

abstract: I provide some simple physical arguments that, once gravitation and some subtleties are taken into account, rather broad classes of potentials result in instantons which tunnel relatively rapidly between perturbatively stable minima. In particular, due to some previously unappreciated technical subtleties, the decay rates for instantons which may be well-described as thin-wall are much larger than the usual Coleman-de Luccia result. I discuss with some level of rigor when the thin-wall approximation holds and clarify some misconceptions regarding the application of this approximation and its meaning. I also point out potentials involving small differences between the maxima and minima generically decay relatively rapidly. These two classes of potentials include those usually used to argue for the existence of a string landscape and in light of these results it is not clear that de Sitter vacua presently understood will generically be cosmologically long-lived.


title: Functional Integral Representation for Relativistic Schrodinger Operator Coupled to a Scalar Bose Field with $P(\phi)$ Interaction

abstract: In this paper the system of a semi-relativistic particle interacting with a scalar Bose field is investigated. The ultraviolet cutoff condition is imposed on the Bose field. In the main theorem, the functional integral representation of the semi group generated by the total Hamiltonian with $P(\phi)$ interaction is obtained.


title: Formation of Bipolar Planetary Nebulae by Intermediate-Luminosity Optical Transients

abstract: We present surprising similarities between some bipolar planetary nebulae (PNe) and eruptive objects with peak luminosity between novae and supernovae. The later group is termed ILOT for intermediate luminosity optical transients (other terms are intermediate luminosity red transients and red novae). In particular we compare the PN NGC 6302 and the pre-PNe OH231.8+4.2, M1-92 and IRAS 22036+5306 with the ILOT NGC 300 OT2008-1. These similarities lead us to propose that the lobes of some (but not all) PNe and pre-PNe were formed in an ILOT event (or several close sub-events). We suggest that in both types of objects the several months long outbursts are powered by mass accretion onto a main-sequence companion from an AGB (or extreme-AGB) star. Jets launched by an accretion disk around the main-sequence companion shape the bipolar lobes. Some of the predictions that result from our comparison is that the ejecta of some ILOTs will have morphologies similar to those of bipolar PNe, and that the central stars of the PNe that were shaped by ILOTs should have a main-sequence binary companion with an eccentric orbit of several years long period.


title: Emergence of gravity from spinfoams

abstract: We find a nontrivial regime of spinfoam quantum gravity that reproduces classical Einstein equations. This is the double scaling limit of small Immirzi parameter (gamma), large spins (j) with physical area (gamma times j) constant. In addition to quantum corrections in the Planck constant, we find new corrections in the Immirzi parameter due to the quantum discreteness of spacetime. The result is a strong evidence that the spinfoam covariant quantization of general relativity possesses the correct classical limit.


title: Spatial variability of void structure in thin stochastic fibrous materials

abstract: Theory is presented for the distributions of local process intensity and local average pore dimensions in random fibrous materials. For complete partitioning of the network into contiguous square zones, the variance of local process intensity is shown to be proportional to the mean process intensity and inversely proportional to the zone size. The coefficient of variation of local average pore area is shown to be approximately double that of the local average pore diameter with both properties being inversely proportional to the square root of zone size and mean process intensity. The results have relevance to heterogenous near-planar fibrous materials including paper, nonwoven textiles, nanofibrous composites and electrospun polymer fibre networks.


title: Erratum: Engineering a p+ip Superconductor: Comparison of Topological Insulator and Rashba Spin-Orbit Coupled Materials [Phys. Rev. B 83, 184520 (2011)]

abstract: In this erratum, we revisit the issue of bulk-disorder on proposals to realize an effective p+ip superconductor from spin-orbit coupled materials. Contrary to the claim in [Phys. Rev. B 83, 184520 (2011)], we show that the pair breaking effects of bulk-disorder are negligible, and that bulk disorder does not suppress the induced superconductivity. This argument does not apply to our conclusions regarding impurities residing in the spin-orbit coupled material or disorder at the interface to the bulk superconductor, both of which tend to suppress superconductivity unless spin-orbit coupling is large.


title: Being, Becoming and the Undivided Universe: A Dialogue between Relational Blockworld and the Implicate Order Concerning the Unification of Relativity and Quantum Theory

abstract: In this paper two different approaches to unification will be compared, Relational Blockworld (RBW) and Hiley's implicate order. Both approaches are monistic in that they attempt to derive matter and spacetime geometry 'at once' in an interdependent and background independent fashion from something underneath both quantum theory and relativity. Hiley's monism resides in the implicate order via Clifford algebras and is based on process as fundamental while RBW's monism resides in spacetimematter via path integrals over graphs whereby space, time and matter are co-constructed per a global constraint equation. RBW's monism therefore resides in being (relational blockworld) while that of Hiley's resides in becoming (elementary processes). Regarding the derivation of quantum theory and relativity, the promises and pitfalls of both approaches will be elaborated. Finally, special attention will be paid as to how Hiley's process account might avoid the blockworld implications of relativity and the frozen time problem of canonical quantum gravity.


title: On the Hochschild and cyclic (co)homology of rapid decay group algebras

abstract: We show that the technical condition of solvable conjugacy bound, introduced in \cite{JOR1}, can be removed without affecting the main results of that paper. The result is a Burghelea-type description of the summands $HH_*^t(\BG)_{<x>}$ and $HC_*^t(\BG)_{<x>}$ for any bounding class $\B$, discrete group with word-length $(G,L)$ and conjugacy class $<x>\in <G>$. We use this description to prove the conjecture $\B$-SrBC of \cite{JOR1} for a class of groups that goes well beyond the cases considered in that paper. In particular, we show that the conjecture $\ell^1$-SrBC (the Strong Bass Conjecture for the topological $K$-theory of $\ell^1(G)$) is true for all semihyperbolic groups which satisfy SrBC, a statement consistent with the rationalized Bost conjecture for such groups.


title: Critical exponents of steady-state phase transitions in fermionic lattice models

abstract: We discuss reservoir induced phase transitions of lattice fermions in the non-equilibrium steady state (NESS) of an open system with local reservoirs. These systems may become critical in the sense of a diverging correlation length upon changing the reservoir coupling. We here show that the transition to a critical state is associated with a vanishing gap in the damping spectrum. It is shown that although in linear systems there can be a transition to a critical state there is no reservoir-induced quantum phase transition between distinct phases with non-vanishing damping gap. We derive the static and dynamical critical exponents corresponding to the transition to a critical state and show that their possible values, defining universality classes of reservoir-induced phase transitions are determined by the coupling range of the independent local reservoirs. If a reservoir couples to N neighboring lattice sites, the critical exponent can assume all fractions from 1 to 1/(N - 1).


title: Mean-field transport in stratified and/or rotating turbulence

abstract: We investigate the mean electromotive force in the kinematic framework, that is, ignoring the back-reaction of the magnetic field on the fluid velocity, under the assumption of axisymmetric turbulence determined by the presence of either rotation, density stratification, or both. We use an analogous approach for the mean passive scalar flux. As an alternative to convection, we consider forced turbulence in an isothermal layer. When using standard ansatzes, the mean magnetic transport is then determined by nine, and the mean passive scalar transport by four coefficients. We give results for all these transport coefficients. We use the test-field method and the test-scalar method, where transport coefficients are determined by solving sets of equations with properly chosen mean magnetic fields or mean scalars. These methods are adapted to mean fields which may depend on all three space coordinates. We find the anisotropy of turbulent diffusion to be moderate in spite of rapid rotation or strong density stratification. Contributions to the mean electromotive force determined by the symmetric part of the gradient tensor of the mean magnetic field, which were ignored in several earlier investigations, turn out to be important. In stratified rotating turbulence, the $\alpha$ effect is strongly anisotropic, suppressed along the rotation axis on large length scales, but strongly enhanced at intermediate length scales. Also the $\OO\times\meanJJ$ effect is enhanced at intermediate length scales. The turbulent passive scalar diffusivity is typically almost twice as large as the turbulent magnetic diffusivity. Both magnetic and passive scalar diffusion are slightly enhanced along the rotation axis, but decreased if there is gravity.


title: Canny Algorithm: A New Estimator for Primordial Non-Gaussianities

abstract: We utilize the Canny edge detection algorithm as an estimator for primordial non-Gaussianities. In preliminary tests on simulated sky patches with a window size of 57 degrees and multipole moments $l$ up to 1024, we find a $3\sigma$ distinction between maps with local non-Gaussianity $f_{NL}=350$ (or $f_{NL}=-700$) and Gaussian maps. We present evidence that high resolution CMB studies will strongly enhance the sensitivity of the Canny algorithm to non-Gaussianity, making it a promising technique to estimate primordial non-Gaussianity.


title: On possibility to observe chiral phase transition in separate fragments of dense baryon matter

abstract: Density fluctuations of intranuclear matter suffering collisions with projectile particles are capable to turn into multiquark clusters with chiral symmetry restored. Theoretical analysis of these processes requires an additional taking account of finite size effects in the region of the chiral phase transition. From the experimental point of view, this method of observation of the chiral phase transition has its inherent advantages due to a relatively moderate number of secondary particles to be registered.


title: Classical non-Gaussianity from non-linear evolution of curvature perturbations

abstract: We study the non-linear evolution of the curvature perturbations during matter dominated era. We show that regardless of the origin of the primordial perturbation, the Bardeen potential and curvature receive sizable contributions from the classical non-linear evolution effects, and quantify them exactly. On the super-horizon scales we have squeezed peak of the bispectrum with magnitude, in terms of the local non-linear parameters of Bardeen curvature, 1/6 < f_{NL} 19/15, and of Bardeen potential, -1/4 < f_{NL} < 7/5, depending on the configuration of momenta. On the sub-horizon scales the bispectrum show equilateral shape, and can serve as a potential probe of general relativity.


title: Turbulence, Reconnection and Cosmic Rays in Galaxy Clusters

abstract: Recent years have been marked by substantial changes in our understanding of magnetic turbulence and magnetic reconnection, which, in its turn induced better understanding of cosmic ray diffusion and acceleration. Current models of magnetized turbulence are no more ad hoc constructions, but numerically tested theories. In this very short review we summarize topics presented in two talks given at the conference and provide a brief sketch of the vast and rapidly developing field. We discuss how turbulence decreases the efficient mean free path of the particles in the collisionless plasmas in galaxy clusters and claim that this makes MHD turbulence description applicable to a wider range of scales. We discuss the properties of MHD turbulence and its relation to magnetic reconnection. Finally, we overview how turbulence induces particle acceleration via second order Fermi process and affects first order Fermi acceleration in shocks and reconnection regions.


title: Testing the Origin of the CMB Large-Angle Correlation Deficit with a Galaxy Imaging Survey

abstract: The cosmic microwave background (CMB) temperature distribution measured by the Wilkinson Microwave Anisotropy Probe (WMAP) exhibits anomalously low correlation at large angles. Quantifying the degree to which this feature in the temperature data is in conflict with standard Lambda-CDM cosmology is somewhat ambiguous because of the a posteriori nature of the observation. One physical mechanism that has been proposed as a possible explanation for the deficit in the large-angle temperature correlations is a suppression of primordial power on ~Gpc scales. To distinguish whether the anomaly is a signal of new physics, such as suppressed primordial power, it would be invaluable to perform experimental tests of the authenticity of this signal in data sets which are independent of the WMAP temperature measurements or even other CMB measurements. We explore the possibility of testing models of power suppression with large-scale structure observations, and compare the ability of planned photometric and spectroscopic surveys to constrain the power spectrum. Of the surveys planned for the next decade, a spectroscopic redshift survey such as BigBOSS will have a greater number of radial modes available for study, but we find that this advantage is outweighed by the greater surface density of high-redshift sources that will be observed by photometric surveys such as LSST or Euclid. We also find that the ability to constrain primordial power suppression is insensitive to the precision of the calibration of photometric redshifts. We conclude that very-wide-area imaging surveys have the potential to probe viable models for the missing power but that it will be difficult to use such surveys to conclusively rule out primordial power suppression as the mechanism behind the observed anomaly.


title: Tidal disruption rate of stars by supermassive black holes obtained by direct N-body simulations

abstract: The disruption rate of stars by supermassive black holes (SMBHs) is calculated numerically with a modified version of Aarseth's NBODY6 code. The initial stellar distribution around the SMBH follows a S\'{e}rsic n=4 profile representing bulges and early type galaxies. In order to infer relaxation driven effects and to increase the statistical significance, a very large set of N-body integrations with different particle numbers N, ranging from 10^{3} to 0.5 \cdot 10^{6} particles, is performed. Three different black hole capture radii are taken into account, enabling us to scale these results to a broad range of astrophysical systems with relaxation times shorter than one Hubble time, i.e. for SMBHs up to M_bh \approx 10^{7} M_sun. The computed number of disrupted stars are driven by diffusion in angular momentum space into the loss cone of the black hole and the rate scales with the total number of particles as dN/dt \propto N^{b}, where b is as large as 0.83. This is significantly steeper than the expected scaling dN/dt \propto ln(N) derived from simplest energy relaxation arguments. Only a relatively modest dependence of the tidal disruption rate on the mass of the SMBH is found and we discuss our results in the context of the M_bh/sigma relation. The number of disrupted stars contribute a significant part to the mass growth of black holes in the lower mass range as long as a significant part of the stellar mass becomes swallowed by the SMBH. This also bears direct consequences for the search and existence of IMBHs in globular clusters. For SMBHs similar to the galactic center black hole SgrA*, a tidal disruption rate of 55 \pm 27 events per Myr is deduced. Finally relaxation driven stellar feeding can not account for the masses of massive black holes M_bh \geq 10^{7} M_sun. (abridged)


title: On the Baryonic Contents of Low Mass Galaxies

abstract: The baryonic Tully-Fisher relation is an important observational constraint on cosmological and galactic models. However, it is critical to keep in mind that in observations only stars, molecular, and atomic gas are counted, while the contribution of the ionized gas is almost universally missed. The ionized gas is, however, expected to be present in the gaseous disks of dwarf galaxies simply because they are exposed to the cosmic ionizing background and to the stellar radiation that manages to escape from the central regions of the galactic disks into their outer layers. Such an expectation is, indeed, born out both by cosmological numerical simulations and by simple analytical models.


title: Phase diagram of the half-filled one-dimensional t-V-V' model

abstract: We study the phase diagram of spinless fermions with nearest and next-nearest-neighbor interactions in one dimension utilizing the (finite-size) density-matrix renormalization group (DMRG) method. The competition between nearest and next-nearest-neighbor interactions and nearest-neighbor hopping generates four phases in this model: two charge-density-wave insulators, a Luttinger liquid phase, and a bond-order phase. We use finite-size scaling of the gap and various structure factors to determine the phase diagram.


title: The Sensitivity of Convection Zone Depth to Stellar Abundances: An Absolute Stellar Abundance Scale from Asteroseismology

abstract: The base of the convection zone is a source of acoustic glitches in the asteroseismic frequency spectra of solar-like oscillators, allowing one to precisely measure the acoustic depth to the feature. We examine the sensitivity of the depth of the convection zone to mass, stellar abundances, and input physics, and in particular, the use of a measurement of the acoustic depth to the CZ as an atmosphere-independent, absolute measure of stellar metallicities. We find that for low mass stars on the main sequence with $0.4 M_{\odot} \le M \le 1.6 M_{\odot}$, the acoustic depth to the base of the convection zone, normalized by the acoustic depth to the center of the star, $\tau_{cz,n}$, is both a strong function of mass, and varies at the 0.5-1% per 0.1 dex level in [Z/X], and is therefore also a sensitive probe of the composition. We estimate the theoretical uncertainties in the stellar models, and show that combined with reasonable observational uncertainties, we can expect measure the the metallicity to within 0.15 - 0.3 dex for solar-like stars. We discuss the applications of this work to rotational mixing, particularly in the context of the observed mid F star Li dip, and to distguishing between different mixtures of heavy elements.


title: Improving the sensitivity of Higgs boson searches in the golden channel

abstract: Leptonic decays of the Higgs boson in the ZZ* channel yield what is known as the golden channel due to its clean signature and good total invariant mass resolution. In addition, the full kinematic distribution of the decay products can be reconstructed, which, nonetheless, is not taken into account in traditional search strategy relying only on measurements of the total invariant mass. In this work we implement a type of multivariate analysis known as the matrix element method, which exploits differences in the full production and decay matrix elements between the Higgs boson and the dominant irreducible background from q bar{q} -> ZZ*. Analytic expressions of the differential distributions for both the signal and the background are also presented. We perform a study for the Large Hadron Collider at sqrt{s}=7 TeV for Higgs masses between 175 and 350 GeV. We find that, with an integrated luminosity of 2.5 fb^-1 or higher, improvements in the order of 10 - 20 % could be obtained for both discovery significance and exclusion limits in the high mass region, where the differences in the angular correlations between signal and background are most pronounced.


title: Parity Nonconservation in Strong Interactions

abstract: For top-quarks produced via the subprocess $q\bar q\to t\bar t$, the longitudinal t-quark polarization ($P_{\parallel}$) vanishes in QCD. $P_{\parallel}$ can be measured by the angular distribution of the lepton in $t$-quark semileptonic decay. New physics contributions that are parity nonconserving will be manifest by non-vanishing $P_{\parallel}$, which may be large. We illustrate this with the s-channel exchange of a massive $X$-gluon with chiral quark couplings.


title: Dualities and the phase diagram of the $p$-clock model

abstract: A new "bond-algebraic" approach to duality transformations provides a very powerful technique to analyze elementary excitations in the classical two-dimensional XY and $p$-clock models. By combining duality and Peierls arguments, we establish the existence of non-Abelian symmetries, the phase structure, and transitions of these models, unveil the nature of their topological excitations, and explicitly show that a continuous U(1) symmetry emerges when $p \geq 5$. This latter symmetry is associated with the appearance of discrete vortices and Berezinskii-Kosterlitz-Thouless-type transitions. We derive a correlation inequality to prove that the intermediate phase, appearing for $p\geq 5$, is critical (massless) with decaying power-law correlations.


title: No Bel-Robinson Tensor for Quadratic Curvature Theories

abstract: We attempt to generalize the familiar covariantly conserved Bel-Robinson tensor B_{mnab} ~ R R of GR and its recent topologically massive third derivative order counterpart B ~ RDR, to quadratic curvature actions. Two very different models of current interest are examined: fourth order D=3 "new massive", and second order D>4 Lanczos-Lovelock, gravity. On dimensional grounds, the candidates here become B ~ DRDR+RRR. For the D=3 model, there indeed exist conserved B ~ dRdR in the linearized limit. However, despite a plethora of available cubic terms, B cannot be extended to the full theory. The D>4 models are not even linearizable about flat space, since their field equations are quadratic in curvature; they also have no viable B, a fact that persists even if one includes cosmological or Einstein terms to allow linearization about the resulting dS vacua. These results are an unexpected, if hardly unique, example of linearization instability.


title: Decoupling limits in multi-sector supergravities

abstract: Conventional approaches to cosmology in supergravity assume the existence of multiple sectors that only communicate gravitationally. In principle these sectors decouple in the limit Planck mass to infinity. In practice such a limit is delicate: for generic supergravities, where sectors are combined by adding their Kahler functions, the separate superpotentials must contain non-vanishing vacuum expectation values supplementing the naive global superpotential. We show that this requires non-canonical scaling in the naive supergravity superpotential couplings to recover independent sectors of globally supersymmetric field theory in the decoupling limit Planck Mass to infinity.


title: Possibility of Terahertz Observations at the ALMA site

abstract: Observational rates under terahertz (THz) opacities less than 3.0 and 2.0 at the Atacama Large Millimeter/submillimeter Array (ALMA) site have been calculated using the 225 GHz tipping radiometer monitoring data and the opacity correlation between 225 GHz and THz opacities. The observational rate with THz opacity condition less than 3.0 is 12.4% in a year, and in winter (November - April) it is about twice higher than in summer (May - October). This observational rate shows a large sinusoidal annual variation, and it seems to have relation with the El Ni\~no and La Ni\~na phenomena; the La Ni\~na years tend to have high observational rates, but the El Ni\~no years show low rates. On the other hand, the observational rate with the THz opacity condition less than 2.0 is only 1.9%, and no obvious annual and seasonal variations are observed. This indicates that THz observations under low opacity condition of less than 2.0 at the ALMA site are very difficult to be performed.


title: Heat Transfer and Reconnection Diffusion in Turbulent Magnetized Plasmas

abstract: It is well known that magnetic fields constrain motions of charged particles, impeding the diffusion of charged particles perpendicular to magnetic field direction. This modification of transport processes is of vital importance for a wide variety of astrophysical processes including cosmic ray transport, transfer of heavy elements in the interstellar medium, star formation etc. Dealing with these processes one should keep in mind that in realistic astrophysical conditions magnetized fluids are turbulent. In this review we single out a single transport process, namely, heat transfer and consider how it occurs in the presence of the magnetized turbulence. We show that the ability of magnetic field lines to constantly change topology and connectivity is at the heart of the correct description of the 3D magnetic field stochasticity in turbulent fluids. This ability is ensured by fast magnetic reconnection in turbulent fluids and puts forward the concept of reconnection diffusion at the core of the physical picture of heat transfer in astrophysical plasmas. Appealing to reconnection diffusion we describe the ability of plasma to diffuse between different magnetized eddies explaining the advection of the heat by turbulence. Adopting the structure of magnetic field that follows from the modern understanding of MHD turbulence, we also discuss thermal conductivity that arises as electrons stream along stochastic magnetic field lines. We compare the effective heat transport that arise from the two processes and conclude that in many astrophysically-motivated cased eddy advection of heat dominates. Finally, we discuss the concepts of sub and superdiffusion and show that the subdiffusion requires rather restrictive settings. At the same time, accelerated diffusion or superdiffusion of heat is possible on the scales less than the injection scale of the turbulence.


title: On Legendrian Graphs

abstract: We investigate Legendrian graphs in $(\R^3, \xi_{std})$. We extend the classical invariants, Thurston-Bennequin number and rotation number to Legendrian graphs. We prove that a graph can be Legendrian realized with all its cycles Legendrian unknots with $tb=-1$ and $rot=0$ if and only if it does not contain $K_4$ as a minor. We show that the pair $(tb, rot)$ does not characterize a Legendrian graph up to Legendrian isotopy if the graph contains a cut edge or a cut vertex. For the lollipop graph the pair $(tb,rot)$ determines two Legendrian classes and for the handcuff graph it determines four Legendrian classes.


title: Axino Cold Dark Matter Revisited

abstract: Axino arises in supersymmetric versions of axion models and is a natural candidate for cold or warm dark matter. Here we revisit axino dark matter produced thermally and non-thermally in light of recent developments. First we discuss the definition of axino relative to low energy axion one for several KSVZ and DFSZ models of the axion. Then we review and refine the computation of the dominant QCD production in order to avoid unphysical cross-sections and, depending on the model, to include production via SU(2) and U(1) interactions and Yukawa couplings.


title: A survey on independence-based Markov networks learning

abstract: This work reports the most relevant technical aspects in the problem of learning the \emph{Markov network structure} from data. Such problem has become increasingly important in machine learning, and many other application fields of machine learning. Markov networks, together with Bayesian networks, are probabilistic graphical models, a widely used formalism for handling probability distributions in intelligent systems. Learning graphical models from data have been extensively applied for the case of Bayesian networks, but for Markov networks learning it is not tractable in practice. However, this situation is changing with time, given the exponential growth of computers capacity, the plethora of available digital data, and the researching on new learning technologies. This work stresses on a technology called independence-based learning, which allows the learning of the independence structure of those networks from data in an efficient and sound manner, whenever the dataset is sufficiently large, and data is a representative sampling of the target distribution. In the analysis of such technology, this work surveys the current state-of-the-art algorithms for learning Markov networks structure, discussing its current limitations, and proposing a series of open problems where future works may produce some advances in the area in terms of quality and efficiency. The paper concludes by opening a discussion about how to develop a general formalism for improving the quality of the structures learned, when data is scarce.


title: A focal subgroup theorem for outer commutator words

abstract: Let $G$ be a finite group of order $p^am$, where $p$ is a prime and $m$ is not divisible by $p$, and let $P$ be a Sylow $p$-subgroup of $G$. If $w$ is an outer commutator word, we prove that $P\cap w(G)$ is generated by the intersection of $P$ with the set of $m$th powers of all values of $w$ in $G$


title: Quantum correlations in the thermodynamic limit: the XY-model

abstract: We investigate thermal properties of quantum correlations in the thermodynamic limit with reference to the XY-model


title: Solving $\bar\partial_b$ on hyperbolic laminations

abstract: Let $X$ denote a compact set which is laminated by Riemann surfaces. We assume that $X$ carries a positive CR line bundle $ L\rightarrow X$. The main result of the paper is that there exists a positive integer $s$ so that if $v$ is any continuous $(0,1)$ form with coefficients in $L^{\otimes s}$ there exists a continuous section $u$ of $L^{\otimes s}$ solving the equation $\bar\partial_b u=v$.


title: On the Origin of the Salpeter Slope for the Initial Mass Function

abstract: We suggest that the intrinsic, stellar initial mass function (IMF) follows a power-law slope gamma=2, inherited from hierarchical fragmentation of molecular clouds into clumps and clumps into stars. The well-known, logarithmic Salpeter slope GAMMA=1.35 in clusters is then the aggregate slope for all the star-forming clumps contributing to an individual cluster, and it is steeper than the intrinsic slope within individual clumps because the smallest star-forming clumps contributing to any given cluster are unable to form the highest-mass stars. Our Monte Carlo simulations demonstrate that the Salpeter power-law index is the limiting value obtained for the cluster IMF when the lower-mass limits for allowed stellar masses and star-forming clumps are effectively equal, m_lo = M_lo. This condition indeed is imposed for the high-mass IMF tail by the turn-over at the characteristic value m_c ~ 1 M_sun. IMF slopes of GAMMA ~ 2 are obtained if the stellar and clump upper-mass limits are also equal m_up = M_up ~ 100 M_sun, and so our model explains the observed range of IMF slopes between GAMMA ~ 1 to 2. Flatter slopes of GAMMA = 1 are expected when M_lo > m_up, which is a plausible condition in starbursts, where such slopes are suggested to occur. While this model is a simplistic parameterization of the star-formation process, it seems likely to capture the essential elements that generate the Salpeter tail of the IMF for massive stars. These principles also likely explain the IGIMF effect seen in low-density star-forming environments.


title: Statistical methods used in ATLAS for exclusion and discovery

abstract: The statistical methods used by the ATLAS Collaboration for setting upper limits or establishing a discovery are reviewed, as they are fundamental ingredients in the search for new phenomena. The analyses published so far adopted different approaches, choosing a frequentist or a Bayesian or a hybrid frequentist-Bayesian method to perform a search for new physics and set upper limits. In this note, after the introduction of the necessary basic concepts of statistical hypothesis testing, a few recommendations are made about the preferred approaches to be followed in future analyses.


title: GGS-groups: order of congruence quotients and Hausdorff dimension

abstract: If G is a GGS-group defined over a p-adic tree, where p is an odd prime, we calculate the order of the congruence quotients $G_n=G/\Stab_G(n)$ for every n. If G is defined by the vector $e=(e_1,...,e_{p-1})\in\F_p^{p-1}$, the determination of the order of $G_n$ is split into three cases, according as e is non-symmetric, non-constant symmetric, or constant. The formulas that we obtain only depend on p, n, and the rank of the circulant matrix whose first row is e. As a consequence of these formulas, we also obtain the Hausdorff dimension of the closures of all GGS-groups over the p-adic tree.


title: Dimension reduction for finite trees in L_1

abstract: We show that every n-point tree metric admits a (1+eps)-embedding into a C(eps) log n-dimensional L_1 space, for every eps > 0, where C(eps) = O((1/eps)^4 log(1/eps)). This matches the natural volume lower bound up to a factor depending only on eps. Previously, it was unknown whether even complete binary trees on n nodes could be embedded in O(log n) dimensions with O(1) distortion. For complete d-ary trees, our construction achieves C(eps) = O(1/eps^2).


title: Brownian Gibbs property for Airy line ensembles

abstract: Consider N Brownian bridges B_i:[-N,N] -> R, B_i(-N) = B_i(N) = 0, 1 <= i <= N, conditioned not to intersect. The edge-scaling limit of this system is obtained by taking a limit as N -> infinity of these curves scaled around (0,2^{1/2} N) horizontally by a factor of N^{2/3} and vertically by N^{1/3}. If a parabola is added to each limit curve, an x-translation invariant process sometimes called the multi-line Airy process is obtained. We prove the existence of a version of this process (which we call the Airy line ensemble) in which curves are a.s. everywhere continuous and non-intersecting. This process naturally arises in the study of growth processes and random matrix ensembles, as do related processes with "wanderers" and "outliers". We formulate our results to treat these relatives as well. Note that the law of the finite collection of Brownian bridges above has the property -- called the Brownian Gibbs property -- of being invariant under the following action. Select an index 1 <= k <= N and erase B_k on a fixed time interval (a,b) subset of (-N,N); then replace this erased curve with a new curve on (a,b) according to the law of a Brownian bridge between the two existing endpoints (a,B_k(a)) and (b,B_k(b)), conditioned to intersect neither the curve above nor the one below. We show that this property is preserved under the edge-scaling limit and thus establish that the Airy line ensemble has the Brownian Gibbs property. An immediate consequence is a proof of M. Prahofer and H. Spohn's prediction that the lines of the Airy line ensemble are locally absolutely continuous with respect to Brownian motion. We also prove the conjecture of K. Johansson that the top line of the Airy line ensemble minus a parabola attains its maximum at a unique point, thus establishing the asymptotic law of the transversal fluctuation of last passage percolation with geometric weights.


title: On minimal Lefschetz decompositions for Grassmannians

abstract: We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector bundles. We prove fullness of the first decomposition and conjecture it for the second one. In the case when $n$ and $k$ are coprime these decompositions coincide and are minimal. In general, we conjecture minimality of the second decomposition.


title: Information Causality and Extremal Tripartite Correlations

abstract: We study the principle of information causality for the set of extremal correlations in the tripartite scenario. We show that all but one nonlocal extremal correlations in this scenario violate information causality. This undetected correlation is shown to satisfy any bipartite physical principle.


title: Entanglement Entropy in NonConformal Holographic Theories

abstract: The entanglement entropy of various geometries is calculated for the boundary theory dual to a stack of N Dp-branes. The entanglement entropies are readily expressed in terms of the effective coupling at the appropriate energy scales. The results are also compared to the entropy density of a black brane and some universal properties of holographic entropy are found.


title: Numerical simulation of salt migration -- Large deformation in viscoelastic solid bodies

abstract: We consider instability of a two layered solid body of a denser material on top of a lighter one. This problem is widely known to geoscientist in sediment-salt migration as salt diapirism. In the literature, this problem has often been treated as Raleigh-Taylor instability in viscous fluids instead of solid bodies. In this paper, we propose a successive linear approximation method for large deformation in viscoelastic solids as a model for salt migration.


title: Discrete Quantum Gravity

abstract: We discuss the causal set approach to discrete quantum gravity. We begin by describing a classical sequential growth process in which the universe grows one element at a time in discrete steps. At each step the process has the form of a causal set and the "completed" universe is given by a path through a discretely growing chain of causal sets. We then introduce a method for quantizing this classical formalism to obtain a quantum sequential growth process which may lead to a viable model for a discrete quantum gravity. We also give a method for quantizing random variables in the classical process to obtain observables in the corresponding quantum process. The paper closes by showing that a discrete isometric process can be employed to construct a quantum sequential growth process.


title: Detection of visible light from the darkest world

abstract: We present the detection of visible light from the planet TrES-2b, the darkest exoplanet currently known. By analysis of the orbital photometry from publicly available Kepler data (0.4-0.9 microns), we determine a day-night contrast amplitude of (6.5 +/- 1.9 ppm), constituting the lowest amplitude orbital phase variation discovered. The signal is detected to 3.7 sigma confidence and persists in six different methods of modelling the data and thus appears robust. In contrast, we are unable to detect ellipsoidal variations or beaming effects, but we do provide confidence intervals for these terms. If the day-night contrast is interpreted as being due to scattering, it corresponds to a geometric albedo of Ag = 0.0253 +/- 0.0072. However, our models indicate that there is a significant emission component to day-side brightness, and the true albedo is even lower (<1%). By combining our measurement with Spitzer and ground-based data, we show that a model with moderate redistribution (Pn ~ 0.3) and moderate extra optical opacity (kappa' ~ 0.3-0.4) provide a compatible explanation to the data.


title: Probing the topological exciton condensate via Coulomb drag

abstract: The onset of exciton condensation in a topological insulator thin film was recently predicted. We calculate the critical temperature for this transition, taking into account screening effects. Furthermore, we show that the proximity to this transition can be probed by measuring the Coulomb drag resistivity between the surfaces of the thin film as a function of temperature. This resistivity shows an upturn upon approaching the exciton-condensed state.


title: A Compactification of the Space of Parametrized Rational Curves in Grassmannians

abstract: We construct an explicit compactification for the space of parametrized rational curves in a Grassmanian by a nonsingular projective variety such that the boundary is a divisor with simple normal crossings. This compactification is obtained by blowing up a Quot scheme successively along appropriate subschemes.


title: Quantizing preserving Noether symmetries

abstract: A procedure which obviates the constraint imposed by the conflict between consistent quantization and the invariance of the Hamiltonian description under nonlinear canonical transformation is proposed. This new quantization scheme preserves the Noether point symmetries of the underlying Lagrangian in order to construct the Schr\"odinger's equation. As an example, the quantization of the `goldfish' many-body problem extensively studied by Calogero et al. is presented.


title: Lagrangians for biological models

abstract: We show that a method presented in [S.L. Trubatch and A. Franco, Canonical Procedures for Population Dynamics, J. Theor. Biol. 48 (1974), 299-324] and later in [G.H. Paine, The development of Lagrangians for biological models, Bull. Math. Biol. 44 (1982) 749-760] for finding Lagrangians of classic models in biology, is actually based on finding the Jacobi Last Multiplier of such models. Using known properties of Jacobi Last Multiplier we show how to obtain linear Lagrangians of those first-order systems and nonlinear Lagrangian of the corresponding single second-order equations that can be derived from them, even in the case where those authors failed such as the host-parasite model.


title: A Gaseous Group with Unusual Remote Star Formation

abstract: We present VLA 21-cm observations of the spiral galaxy ESO 481-G017 to determine the nature of remote star formation traced by an HII region found 43 kpc and ~800 km s^-1 from the galaxy center (in projection). ESO 481-G017 is found to have a 120 kpc HI disk with a mass of 1.2x10^10 Msun and UV GALEX images reveal spiral arms extending into the gaseous disk. Two dwarf galaxies with HI masses close to 10^8 Msun are detected at distances of ~200 kpc from ESO 481-G017 and a HI cloud with a mass of 6x10^7 Msun is found near the position and velocity of the remote HII region. The HII region is somewhat offset from the HI cloud spatially and there is no link to ESO 481-G017 or the dwarf galaxies. We consider several scenarios for the origin of the cloud and HII region and find the most likely is a dwarf galaxy that is undergoing ram pressure stripping. The HI mass of the cloud and Halpha luminosity of the HII region (10^38.1 erg s^-1) are consistent with dwarf galaxy properties, and the stripping can trigger the star formation as well as push the gas away from the stars.


title: Feshbach-resonant Raman photoassociation in a Bose-Einstein condensate

abstract: We model the formation of stable heteronuclear molecules via pulsed Raman photoassociation of a two-component Bose-Einstein condensate near a strong Feshbach resonance, for both counterintuitive and intuitive pulse sequencing. Compared to lasers alone, weak Raman photoassociation is enhanced by as much as a factor of ten (five) for a counterintuitive (intuitive) pulse sequence, whereas strong Raman photoassociation is barely enhanced at all--regardless of pulse sequence. Stronger intra-atom, molecule, or atom-molecule collisions lead to an expected decrease in conversion efficiency, but stronger ambient inter-atom collisions lead to an unexpected increase in the efficiency of stable molecule production. Numerical results agree reasonably with an analytical approximation.


title: A robust approach to estimating rates from time-correlation functions

abstract: While seemingly straightforward in principle, the reliable estimation of rate constants is seldom easy in practice. Numerous issues, such as the complication of poor reaction coordinates, cause obvious approaches to yield unreliable estimates. When a reliable order parameter is available, the reactive flux theory of Chandler allows the rate constant to be extracted from the plateau region of an appropriate reactive flux function. However, when applied to real data from single-molecule experiments or molecular dynamics simulations, the rate can sometimes be difficult to extract due to the numerical differentiation of a noisy empirical correlation function or difficulty in locating the plateau region at low sampling frequencies. We present a modified version of this theory which does not require numerical derivatives, allowing rate constants to be robustly estimated from the time-correlation function directly. We compare these approaches using single-molecule force spectroscopy measurements of an RNA hairpin.


title: Permit Allocation in Emissions Trading using the Boltzmann Distribution

abstract: In emissions trading, the initial allocation of permits is an intractable issue because it needs to be essentially fair to the participating countries. There are many ways to distribute a given total amount of emissions permits among countries, but the existing distribution methods, such as auctioning and grandfathering, have been debated. In this paper we describe a new method for allocating permits in emissions trading using the Boltzmann distribution. We introduce the Boltzmann distribution to permit allocation by combining it with concepts in emissions trading. We then demonstrate through empirical data analysis how emissions permits can be allocated in practice among participating countries. The new allocation method using the Boltzmann distribution describes the most probable, natural, and unbiased distribution of emissions permits among multiple countries. Simple and versatile, this new method holds potential for many economic and environmental applications.


title: Invariants of Centralisers in Positive Characteristic

abstract: Let \q be a simple algebraic group of type A or C over a field of good positive characteristic. We show for any x \in \q =\Lie(Q) that the invariant algebra S(\q_x)^{\q_x} is generated by the p^{th} power subalgebra and the mod p reduction of the characteristic zero invariant algebra. The latter algebra is known to be polynomial \cite{PPY} and we show that it remains so after reduction. Using a theory of symmetrisation in positive characteristic we prove the analogue of this result in the enveloping algebra, where the p-centre plays the role of the p^{th} power subalgebra. In Zassenhaus' foundational work \cite{Zas}, the invariant theory and representation theory of modular Lie algebras were shown to be explicitly intertwined. We exploit his theory to give a precise upper bound for the dimensions of simple \q_x-modules. When \g is of type A and \g = \k \oplus \p is a symmetric decomposition of orthogonal type we use similar methods to show that for every nilpotent e \in \k the invariant algebra S(\p_e)^{\k_e} is generated by the p^{th} power subalgebra and S(\p_e)^{K_e} which is also shown to be polynomial.


title: Statistical Studies of Giant Pulse Emission from the Crab Pulsar

abstract: We have observed the Crab pulsar with the Deep Space Network (DSN) Goldstone 70 m antenna at 1664 MHz during three observing epochs for a total of 4 hours. Our data analysis has detected more than 2500 giant pulses, with flux densities ranging from 0.1 kJy to 150 kJy and pulse widths from 125 ns (limited by our bandwidth) to as long as 100 microseconds, with median power amplitudes and widths of 1 kJy and 2 microseconds respectively. The most energetic pulses in our sample have energy fluxes of approximately 100 kJy-microsecond. We have used this large sample to investigate a number of giant-pulse emission properties in the Crab pulsar, including correlations among pulse flux density, width, energy flux, phase and time of arrival. We present a consistent accounting of the probability distributions and threshold cuts in order to reduce pulse-width biases. The excellent sensitivity obtained has allowed us to probe further into the population of giant pulses. We find that a significant portion, no less than 50%, of the overall pulsed energy flux at our observing frequency is emitted in the form of giant pulses.


title: TERMS Photometry of Known Transiting Exoplanets

abstract: The Transit Ephemeris Refinement and Monitoring Survey (TERMS) conducts radial velocity and photometric monitoring of known exoplanets in order to refine planetary orbits and predictions of possible transit times. This effort is primarily directed towards planets not known to transit, but a small sample of our targets consist of known transiting systems. Here we present precision photometry for 6 WASP planets acquired during their transit windows. We perform a Markov Chain Monte Carlo (MCMC) analysis for each planet and combine these data with previous measurements to redetermine the period and ephemerides for these planets. These observations provide recent mid-transit times which are useful for scheduling future observations. Our results improve the ephemerides of WASP-4b, WASP-5b and WASP-6b and reduce the uncertainties on the mid-transit time for WASP-29b. We also confirm the orbital, stellar and planetary parameters of all 6 systems.


title: Flavoured quantum Boltzmann equations from cQPA

abstract: We develop a Boltzmann-type quantum transport theory for interacting fermion and scalar fields including both flavour and particle-antiparticle mixing. Our formalism is based on the coherent quasiparticle approximation (cQPA) for the 2-point correlation functions, whose extended phase-space structure contains new spectral shells for flavour- and particle-antiparticle coherence. We derive explicit cQPA propagators and Feynman rules for the transport theory. In particular the nontrivial Wightman functions can be written as composite operators $\sim {\cal A} F {\cal A}$, which generalize the usual Kadanoff-Baym ansatz. Our numerical results show that particle-antiparticle coherence can strongly influence CP-violating flavour mixing even for relatively slowly-varying backgrounds. Thus, unlike recently suggested, these correlations cannot be neglected when studying asymmetry generation due to time-varying mass transition, for example in electroweak-type baryogenesis models. Finally, we show that the cQPA coherence solutions are directly related to squeezed states in the more familiar operator formalism.


title: On G/N-Hilb of N-Hilb

abstract: In this paper we consider the iterated G-equivariant Hilbert scheme G/N-Hilb(N-Hilb) and prove that G/N-Hilb(N-Hilb(C^3)) is a crepant resolution of C^3/G isomorphic to the moduli space of \theta-stable representations of the McKay quiver for certain stability condition \theta. We provide several explicit examples to illustrate this construction. We also consider the problem of when G/N-Hilb(N-Hilb) is isomorphic to G-Hilb showing the fact that these spaces are most of the times different.


title: Semigroups and sequential importance sampling for multiway tables and beyond

abstract: When an interval of integers between the lower bound l_i and the upper bounds u_i is the support of the marginal distribution n_i|(n_{i-1}, ...,n_1), Chen et al. 2005 noticed that sampling from the interval at each step, for n_i during the sequential importance sampling (SIS) procedure, always produces a table which satisfies the marginal constraints. However, in general, the interval may not be equal to the support of the marginal distribution. In this case, the SIS procedure may produce tables which do not satisfy the marginal constraints, leading to rejection [Chen et al. 2006]. Rejecting tables is computationally expensive and incorrect proposal distributions result in biased estimators for the number of tables given its marginal sums. This paper has two focuses; (1) we propose a correction coefficient which corrects an interval of integers between the lower bound l_i and the upper bounds u_i to the support of the marginal distribution asymptotically even with rejections and with the same time complexity as the original SIS procedure (2) using univariate and bivariate logistic regression models, we present extensive experiments on simulated data sets for estimating the number of tables, and (3) we applied the volume test proposed by Diaconis and Efron 1985 on 2x2x6 randomly generated tables to compare the performance of SIS versus MCMC. When estimating the number of tables in our simulation study, we used univariate and bivariate logistic regression models since under these models the SIS procedure seems to have higher rate of rejections even with small tables. We also apply our correction coefficients to data sets on coronary heart disease and occurrence of esophageal cancer.


title: Effects of the vortices and impurities on the nuclear spin relaxation rate in iron-based superconductors

abstract: The effects of magnetic vortices and nonmagnetic impurities on the low energy quasiparticle excitations and the spin-lattice relaxation rate are examined in the iron-based superconductors for the $s_{\pm}$-, $s$- and d-wave pairing symmetries, respectively. The main effect of the vortices is to enhance the quasiparticle excitations and the spin-lattice relaxation rate for all symmetries, and leads to a $T^{3}$ dependence of the relaxation rate followed by a nearly $T$-linearity at lower temperatures. This enhancement can only be seen for the $s_{\pm}$- and d-wave symmetries in the presence of nonmagnetic impurities. These results suggest that the $s_{\pm}$-wave and d-wave pairing states behave similarly in response to the magnetic field and nonmagnetic impurities, therefore it may be impossible to distinguish them on the basis of the measurements of spin-lattice relaxation rates when a magnetic field and/or impurity scatterings are present.


title: Possible temperature control DC switch effect between two superconductors

abstract: The lifetime of an electron pair could not be unlimited long, on the basis of this, we suggest a model. The model means that the movements of charge carriers in a superconductor should have three forms: the single-electron movement, the single-pair movement, and the revolving around the mass center of two electrons in a pair. Thus the current in a superconductor has three possible parts. Similarly, there should be three possible effects in a SIS junction: the tunneling of single electron, the tunneling of single pair, and the pair-forming following the pair-breaking. This paper will discuss these problems and present a possible temperature control DC switch effect between two superconductors.


title: Singular Miura type initial profiles for the KdV equation

abstract: We show that the KdV flow evolves any real singular initial profile q of the form q=r'+r^2, where r\inL_{loc}^2, r|_{R_+}=0 into a meromorphic function with no real poles.


title: Seiberg-Witten Geometries Revisited

abstract: We provide a uniform solution to 4d N=2 gauge theory with a single gauge group G=A,D,E when the one-loop contribution to the beta function from any irreducible component R of the hypermultiplets is less than or equal to half of that of the adjoint representation. The solution is given by a non-compact Calabi-Yau geometry, whose defining equation is built from explicitly known polynomials W_G and X_R, associated respectively to the gauge group G and each irreducible component R. We provide many pieces of supporting evidence, for example by analyzing the system from the point of view of the 6d N=(2,0) theory compactified on a sphere.


title: Key establishment \`a la Merkle in a quantum world

abstract: In 1974, Ralph Merkle proposed the first unclassified scheme for secure communications over insecure channels. When legitimate communicating parties are willing to spend an amount of computational effort proportional to some parameter N, an eavesdropper cannot break into their communication without spending a time proportional to N^2, which is quadratically more than the legitimate effort. Two of us showed in 2008 that Merkle's schemes are completely insecure against a quantum adversary, but that their security can be partially restored if the legitimate parties are also allowed to use quantum computation: the eavesdropper needed to spend a time proportional to N^{3/2} to break our earlier quantum scheme. Furthermore, all previous classical schemes could be broken completely by the onslaught of a quantum eavesdropper and we conjectured that this is unavoidable. We give now two novel key establishment schemes in the spirit of Merkle's. The first one can be broken by a quantum adversary who makes an effort proportional to N^{5/3}, which is the optimal attack against this scheme. Our second scheme is purely classical, yet it cannot be broken by a quantum eavesdropper who is only willing to expend an effort proportional to that of the legitimate parties. We then introduce two families of more elaborate protocols. The first family consists in quantum protocols whose security is arbitrarily close to quadratic in the query complexity model. The second is a family of classical protocols whose security against a quantum adversary is arbitrarily close to N^{3/2} in the same model.


title: Soft and Isotropic Phonons in PrFeAsO_{1-y}

abstract: Phonons in single crystals of PrFeAsO_{1-y} are investigated using high-resolution inelastic x-ray scattering and ab initio pseudopotential calculations. Extensive measurements of several samples at temperatures spanning the magnetic ordering temperature and the superconducting transition temperature show that there are some changes in phonon spectra with temperature and/or doping. We compare our measurements with several ab initio pseudopotential models (nonmagnetic tetragonal, oxygen-deficient O_{7/8} supercell, magnetic orthorhombic, and magnetic tetragonal) and find that the experimentally observed changes are much smaller than the differences between the experimental data and the calculations. Agreement is improved if magnetism is included in the calculations via the local spin density approximation, as the Fe atomic motions parallel to the ferromagnetic ordering direction are softened. However, the antiferromagnetically polarized modes remain hard, and in disagreement with the experimental data. In fact, given the increasing evidence for anisotropy in the iron pnictide materials, the phonon response is surprisingly isotropic. We consider several modifications of the ab initio calculations to improve the agreement with the experimental data. Improved agreement is found by setting the matrix to zero (clipping the bond) between nearest-neighbor antiferromagnetically aligned Fe atoms in the magnetic calculation, or by softening only the in-plane nearest-neighbor Fe-As force constant in the nonmagnetic calculation. We discuss these results in the context of other measurements, especially of phonons, for several FeAs systems. Fluctuating magnetism may be a partial explanation for the failure of the calculations, but seems incomplete in the face of the similarity of the measured phonon response in all the systems investigated here including those known to have static magnetism.


title: Production of a cascade hyperon in the K^- - proton interaction

abstract: We investigate the production of a cascade hyperon (Xi) through the K^- + p --> K^+ (K^0) + Xi^- (Xi^0) reactions, within an effective Lagrangian model where these reactions proceed via excitations of Lambda and Sigma resonance intermediate states in s- and u-channels. The coupling constants at the various vertices are taken from previous studies and SU(3) symmetry considerations. The calculated total cross sections of these reactions, which are in good agreement with the available data, are dominated by the contributions from the Lambda(1520) intermediate resonant state. However, the K^+ meson angular distributions show selectivity to other resonant states in different angular regions and interference among these states leads to their strong backward peaking.


title: The Two Weight Inequality for Hilbert Transform, Coronas, and Energy Conditions

abstract: We consider the two weight problem for the Hilbert transform, namely the question of finding real-variable characterization of those pair of weights for which the Hilbert transform acts boundedly on $ L ^2 $ of the weights. Such a characterization is known subject to certain side conditions. We give a new proof, simpler in many details, of the best such result. In addition, we analyze underlying assumptions in the proof, especially in terms of two alternate side conditions. A new characterization in the case of one doubling weight is given.


title: Direct imaging with a hypertelescope of red supergiant stellar surfaces

abstract: High angular resolution images obtained with a hypertelescope can strongly constrain the radiative-hydrodynamics simulations of red supergiant (RSG) stars, in terms of intensity contrast, granulation size and temporal variations of the convective motions that are visible on their surface. The characterization of the convective pattern in RSGs is crucial to solve the mass-loss mechanism which contributes heavily to the chemical enrichment of the Galaxy. We show here how the astrophysical objectives and the array configuration are highly dependent to design a hypertelescope. For a given field of view and a given resolution, there is a trade-off between the array geometry and the number of required telescopes to optimize either the (u,v) coverage (to recover the intensity distribution) or the dynamic range (to recover the intensity contrast). To obtain direct snapshot images of Betelgeuse with a hypertelescope, a regular and uniform layout of telescopes is the best array configuration to recover the intensity contrast and the distribution of both large and small granulation cells, but it requires a huge number of telescopes (several hundreds or thousands). An annular configuration allows a reasonable number of telescopes (lower than one hundred) to recover the spatial structures but it provides a low-contrast image. Concerning the design of a pupil densifier to combine all the beams, the photometric fluctuations are not critical Delta photometry < 50%) contrary to the residual piston requirements (OPD <lambda/8) which requires the development of an efficient cophasing system to fully exploit the imaging capability of a hypertelecope.


title: Closed Aspherical Manifolds with Center

abstract: We show that in all dimensions >7 there are closed aspherical manifolds whose fundamental groups have nontrivial center but do not possess any topological circle actions. This disproves a conjectured converse (proposed by Conner and Raymond) to a classical theorem of Borel.


title: An Approximate Solution of the Jaynes-Cummings Model with Dissipation II : Another Approach

abstract: In the preceding paper (arXiv:1103.0329 [math-ph]) we treated the Jaynes-Cummings model with dissipation and gave an approximate solution to the master equation for the density operator under the general setting by making use of the Zassenhaus expansion. However, to obtain a compact form of the approximate solution (which is in general complicated infinite series) is very hard when an initial condition is given. To overcome this difficulty we develop another approach and obtain a compact approximate solution when some initial condition is given.


title: Exploring the Physics of the Corona with Total Solar Eclipse Observations

abstract: This white paper is a call for a concerted effort to support total solar eclipse observations over the next decade, in particular for the 21 August 2017 eclipse which will traverse the US continent. With the recent advances in image processing techniques and detector technology, the time is ripe to capitalize on the unique diagnostic tools available in the visible and near infrared wavelength range to explore the physics of the corona. The advantage of coronal emission lines in this wavelength range, over their extreme ultraviolet counterparts, is (1) the significant radiative component in their excitation process (in addition to the collisional excitation), which allows for observations out to a few solar radii, (2) the higher spectral selectivity available for imaging, giving well-defined temperature responses for each bandpass (one line as opposed to many), and (3) the capability of polarization measurements in a number of spectral lines. Consequently, the evolution of the thermodynamic and magnetic properties of the coronal plasma can be explored starting from the solar surface out to a few solar radii, namely the most important region of the corona where the expansion of the solar magnetic field and the acceleration of the solar wind occur. Since the planning of eclipse observations will not be possible without the invaluable NASA-published total solar eclipse bulletins by Espenak and Andersen, a call is also made to ensure continued support for these efforts.


title: Properties of Nambu-Goldstone Bosons in a Single-Component Bose-Einstein Condensate

abstract: We theoretically study the properties of Nambu-Goldstone bosons in an interacting single-component Bose-Einstein condensate (BEC). We first point out that the proofs of Goldstone's theorem by Goldstone, et al. [Phys. Rev. {\bf 127} (1962) 965] may be relevant to distinct massless modes of the BEC: whereas the first proof deals with the poles of the single-particle Green's function $\hat{G}$, the second one concerns those of the two-particle Green's function. Thus, there may be multiple Nambu-Goldstone bosons even in the single-component BEC with broken U(1) symmetry. The second mode turns out to have an infinite lifetime in the long-wavelength limit in agreement with the conventional viewpoint. In contrast, the first mode from $\hat{G}$, i.e., the Bogoliubov mode in the weak-coupling regime, is shown to be a "bubbling" mode fluctuating temporally out of and back into the condensate. The substantial lifetime originates from an "improper" structure of the self-energy inherent in the BEC, which has been overlooked so far and will be elucidated here, and removes various infrared divergences pointed out previously.

categories: cond-mat.quant-gas cond-mat.supr-con hep-ph nucl-th


title: Overlimiting current in a microchannel

abstract: We revisit the classical problem of diffusion-limited ion transport to a membrane (or electrode) by considering the effects of charged side walls. Using simple mathematical models and numerical simulations, we identify three basic mechanisms for over-limiting current in a microchannel: (i) {\it surface conduction} carried by excess counterions, which dominates for very thin channels, (ii) convection by {\it electro-osmotic flow} on the side walls, which dominates for thicker channels and transitions to (iii) {\it electro-osmotic instability} on the membrane end in very thick channels. These intriguing electrokinetic phenomena may find applications in biological separations, water desalination, and electrochemical energy storage.


title: Suppression of Phase Separation in LiFePO4 Nanoparticles During Battery Discharge

abstract: Using a novel electrochemical phase-field model, we question the common belief that LixFePO4 nanoparticles separate into Li-rich and Li-poor phases during battery discharge. For small currents, spinodal decomposition or nucleation leads to moving phase boundaries. Above a critical current density (in the Tafel regime), the spinodal disappears, and particles fill homogeneously, which may explain the superior rate capability and long cycle life of nano-LiFePO4 cathodes.


title: SU(N) magnetism in chains of ultracold alkaline-earth-metal atoms: Mott transitions and quantum correlations

abstract: We investigate one dimensional SU$(N)$ Hubbard chains at zero temperature, which can be emulated with ultracold alkaline earth atoms, by using the density matrix renormalization group (DMRG), Bethe ansatz (BA), and bosonization. We compute experimental observables and use the DMRG to benchmark the accuracy of the Bethe ansatz for $N>2$ where the BA is only approximate. In the worst case, we find a relative error $\epsilon \lesssim 4%$ in the BA ground state energy for $N \leq 4$ at filling 1/N, which is due to the fact that BA improperly treats the triply and higher occupied states. Using the DMRG for $N \leq 4$ and the BA for large $N$, we determine the regimes of validity of strong- and weak-coupling perturbation theory for all values of $N$ and in particular, the parameter range in which the system is well described by a SU$(N)$ Heisenberg model at filling 1/N. We find this depends only weakly on $N$. We investigate the Berezinskii-Kosterlitz-Thouless phase transition from a Luttinger liquid to a Mott-insulator by computing the fidelity susceptibility and the Luttinger parameter $K_\rho$ at 1/N filling. The numerical findings give strong evidence that the fidelity susceptibility develops a minimum at a critical interaction strength which is found to occur at a finite positive value for $N>2$.


title: Matter rogue wave in Bose-Einstein condensates with attractive atomic interaction

abstract: We investigate the matter rogue wave in Bose-Einstein Condensates with attractive interatomic interaction analytically and numerically. Our results show that the formation of rogue wave is mainly due to the accumulation of energy and atoms toward to its central part; Rogue wave is unstable and the decay rate of the atomic number can be effectively controlled by modulating the trapping frequency of external potential. The numerical simulation demonstrate that even a small periodic perturbation with small modulation frequency can induce the generation of a near-ideal matter rogue wave. We also give an experimental protocol to observe this phenomenon in Bose-Einstein Condensates.

categories: cond-mat.quant-gas math-ph math.MP nlin.PS nlin.SI


title: Large Longitudinal Magnetoelectric Coupling in NiFe2O4-BaTiO3 Laminates

abstract: In contrast to the Pb-based magnetoelectric laminates (MELs), we find in the BaTiO3 and NiFe2O4 laminates (number of layers n = 5-25) that the longitudinal magnetoelectric (ME) voltage coefficient Alpha E33 becomes much larger than the transverse one due to preferential alignment of magnetic moments along the NiFe2O4 plane. Moreover, upon decreasing each layer thickness down to 15 um, we realize enhanced Alpha E33 up to 18 mV/ (cm Oe) and systematic increase of the ME sensitivity in proportion to n to achieve the largest in the Pb-free MELs (400*10^-6V/Oe), thereby providing pathways for tailoring ME coupling in mass-produced, environment friendly laminates.


title: Controlled Split-Recombination of 2D Matter-Wave Solitons in Time-Dependent Trap

abstract: We propose a novel approach to manipulate two-dimensional bright matter-wave solitons by tuning the frequency of the trap which is different from Feshbach resonance technique. The exact bright soliton solutions for two-dimensional Gross-Pitaevskii (GP) equation with attractive interaction strength in a time-dependent trap are constructed analytically and its dynamics show no collapse while modulating the trap frequency. The two-soliton dynamics exhibits an interesting splitting and recombination phenomenon which generates interference pattern in the process. This type of behaviour in two-dimensional BECs has wider ramifications and our approach opens new avenues in stabilizing bright solitons in higher dimensional regime. We have also explored the experimental realization of this novel phenomenon.


title: Co3O4 Nanocrystals on Graphene as a Synergistic Catalyst for Oxygen Reduction Reaction

abstract: Catalysts for oxygen reduction and evolution reactions are at the heart of key renewable energy technologies including fuel cells and water splitting. Despite tremendous efforts, developing oxygen electrode catalysts with high activity at low costs remains a grand challenge. Here, we report a hybrid material of Co3O4 nanocrystals grown on reduced graphene oxide (GO) as a high-performance bi-functional catalyst for oxygen reduction reaction (ORR) and oxygen evolution reaction (OER). While Co3O4 or graphene oxide alone has little catalytic activity, their hybrid exhibits an unexpected, surprisingly high ORR activity that is further enhanced by nitrogen-doping of graphene. The Co3O4/N-doped graphene hybrid exhibits similar catalytic activity but superior stability to Pt in alkaline solutions. The same hybrid is also highly active for OER, making it a high performance non-precious metal based bi-catalyst for both ORR and OER. The unusual catalytic activity arises from synergetic chemical coupling effects between Co3O4 and graphene.


title: Covariant Derivatives on Null Submanifolds

abstract: The degenerate nature of the metric on null hypersurfaces makes it difficult to define a covariant derivative on null submanifolds. Recent approaches using decomposition to define a covariant derivative on null hypersurfaces are investigated, with examples demonstrating the limitations of the methods. Motivated by Geroch's work on asymptotically flat spacetimes, conformal transformations are used to construct a covariant derivative on null hypersurfaces, and a condition on the Ricci tensor is given to determine when this construction can be used. Several examples are given, including the construction of a covariant derivative operator for the class of spherically symmetric hypersurfaces.


title: Extremal Limits and Kerr Spacetime

abstract: The fact that one must evaluate the near-extremal and near-horizon limits of Kerr space-time in a specific order, is shown to a lead to discontinuity in the extremal limit, such that this limiting space-time differs nontrivially from the precisely extremal space-time. This is established by first showing a discontinuity in the extremal limit of the maximal analytic extension of the Kerr geometry, given by Carter. Next, we examine the ISCO of the exactly extremal Kerr geometry and show that on the event horizon of the extremal Kerr black hole, it coincides with the principal null geodesic generator of the horizon, having vanishing energy and angular momentum. We find that there is no such ISCO in the near-extremal geometry, thus garnering additional support for our primary contention. We relate this disparity between the two geometries to the lack of a trapping horizon in the extremal situation.


title: Two-stage empirical likelihood for longitudinal neuroimaging data

abstract: Longitudinal imaging studies are essential to understanding the neural development of neuropsychiatric disorders, substance use disorders, and the normal brain. The main objective of this paper is to develop a two-stage adjusted exponentially tilted empirical likelihood (TETEL) for the spatial analysis of neuroimaging data from longitudinal studies. The TETEL method as a frequentist approach allows us to efficiently analyze longitudinal data without modeling temporal correlation and to classify different time-dependent covariate types. To account for spatial dependence, the TETEL method developed here specifically combines all the data in the closest neighborhood of each voxel (or pixel) on a 3-dimensional (3D) volume (or 2D surface) with appropriate weights to calculate adaptive parameter estimates and adaptive test statistics. Simulation studies are used to examine the finite sample performance of the adjusted exponential tilted likelihood ratio statistic and TETEL. We demonstrate the application of our statistical methods to the detection of the difference in the morphological changes of the hippocampus across time between schizophrenia patients and healthy subjects in a longitudinal schizophrenia study.


title: Sharp bounds for the intersection of nodal lines with certain curves

abstract: Let $Y$ be a hyperbolic surface and let $\phi$ be a Laplacian eigenfunction having eigenvalue $-1/4-\tau^2$ with $\tau>0$. Let $N(\phi)$ be the set of nodal lines of $\phi$. For a fixed analytic curve $\gamma$ of finite length, we study the number of intersections between $N(\phi)$ and $\gamma$ in terms of $\tau$. When $Y$ is compact and $\gamma$ a geodesic circle, or when $Y$ has finite volume and $\gamma$ is a closed horocycle, we prove that $\gamma$ is "good" in the sense of [TZ]. As a result, we obtain that the number of intersections between $N(\phi)$ and $\gamma$ is $O(\tau)$. This bound is sharp.


title: Topological Classification of Multiaxial U(n)-Actions

abstract: A U(n)-manifold is multiaxial if the isotropy groups are always conjugate to unitary subgroups. The classification and the concordance of such manifolds have been studied by Davis, Hsiang and Morgan under much more strict conditions. We show that in general, without much extra condition, the homotopy classification of multiaxial manifolds can be split into a direct sum of the classification of pairs of adjacent strata, which can be computed by the classical surgery theory. Moreover, we also compute the homotopy classification for the case of the standard representation sphere. We also present the result for the similar multiaxial Sp(n)-manifolds.


title: Plasmonic Nanoparticle-based Protein Detection by Optical Shift of a Resonant Microcavity

abstract: We demonstrated a biosensing approach which, for the first time, combines the high-sensitivity of whispering gallery modes (WGM) with a metallic nanoparticle based assay. We provided a computational model based on generalized Mie theory to explain the higher sensitivity of protein detection through Plasmonic enhancement. We quantitatively analyzed the binding of a model protein (i.e., BSA) to gold nanoparticles from high-Q WGM resonance frequency shifts, and fit the results to an adsorption isotherm, which agrees with the theoretical predictions of a two-component adsorption model.


title: Embedded Model Control approach to robust control

abstract: Robust control design is mainly devoted to guarantee closed-loop stability of a model-based control law in presence of parametric and structural uncertainties. The control law is usually a complex feedback law which is derived from a (nonlinear) model, possibly complemented with some mathematical envelope of the model uncertainty. Stability may be guarantee with the help of some ignorance coefficients and restricting the feedback control effort with respect to the model-based design. Embedded Model Control shows that under certain conditions, the model-based control law must and can be kept intact under uncertainty, if the controllable dynamics is complemented by a suitable disturbance dynamics capable of real-time encoding the different uncertainties affecting the 'embedded model', i.e. the model which is both the design source and the core of the control unit. To be real-time updated the disturbance state is driven by an unpredictable input vector, called noise, which can be only estimated from the model error. The uncertainty (or plant)-based design concerns the noise estimator, as the model error may convey into the embedded model uncertainty components (parametric, cross-coupling, neglected dynamics) which are command-dependent and thus prone to destabilize the controlled plant. Separation of the components into the low and high frequency domain by the noise estimator allows to recover and guarantee stability, and to cancel the low frequency ones from the plant. Among the advantages, control algorithms are neatly and univocally related to the embedded model, the embedded model provides a real-time image of the plant, all control gains are tuned by fixing closed-loop eigenvalues. Last but not least, the resulting control unit has modular structure and algorithms, thus facilitating coding. A simulated case study helps to understand the key assets of the methodology.


title: Size of Union

abstract: We find the bounds of the size of the union of n sets satisfying the condition that the intersection of any k sets is empty. We show that any number between the upper and lower bounds can be realised, and in the measure version, the realisation can be the most efficient. The realisation also holds for the counting version, but not always in the most efficient way. The elementary result should be known but surprisingly, we cannot find any reference.


title: The Hawking-Unruh phenomenon on graphene

abstract: We find that, for a very specific shape of a monolayer graphene sample, a general relativistic-like description of a back-ground spacetime for graphene's conductivity electrons is very natural. The corresponding electronic local density of states is of finite temperature. This is a Hawking-Unruh effect that we propose to detect through an experiment with a Scanning Tunneling Microscope.


title: Complex Scattered Radiation Fields and Multiple Magnetic Fields in the Protostellar Cluster in NGC 2264

abstract: Near-infrared (IR) imaging polarimetry in the J, H, and Ks bands has been carried out for the protostellar cluster region around NGC 2264 IRS 2 in the Monoceros OB1 molecular cloud. Various infrared reflection nebulae clusters (IRNCs) associated with NGC 2264 IRS 2 and IRAS 12 S1 core were detected as well as local infrared reflection nebulae (IRNe). The illuminating sources of the IRNe were identified with known or new near- and mid-IR sources. In addition, 314 point-like sources were detected in all three bands and their aperture polarimetry was studied. Using a color-color diagram, reddened field stars and diskless pre-main sequence stars were selected to trace the magnetic field (MF) structure of the molecular cloud. The mean polarization position angle of the point-like sources is 81 \pm 29 degree in the cluster core, and 58 \pm 24 degree in the perimeter of the cluster core, which is interpreted as the projected direction on the sky of the MF in the observed region of the cloud. The Chandrasekhar-Fermi method gives a rough estimate of the MF strength to be about 100 {\mu}G. A comparison with recent numerical simulations of the cluster formation implies that the cloud dynamics is controlled by the relatively strong MF. The local MF direction is well associated with that of CO outflow for IRAS 12 S1 and consistent with that inferred from submillimeter polarimetry. In contrast, the local MF direction runs roughly perpendicular to the Galactic MF direction.


title: Subwave spikes of the orbital angular momentum of the vortex-beams in a uniaxial crystal

abstract: We have theoretically predicted the gigantic spikes of the orbital angular momentum caused by the conversion processes of the centered optical vortex in the circularly polarized components of the elliptic vortex beam propagating perpendicular to the crystal optical axis. We have experimentally observed the conversion process inside the subwave deviations of the crystal length. We have found that the total orbital angular momentum of the wave beam is conserved.


title: Decoherence and dynamical decoupling control of nitrogen-vacancy center electron spins in nuclear spin baths

abstract: We theoretically study the decoherence and the dynamical decoupling control of nitrogen-vacancy center electron spins in high-purity diamond, where the hyperfine interaction with $^{13}$C nuclear spins is the dominating decoherence mechanism. The decoherence is formulated as the entanglement between the electron spin and the nuclear spins, which is induced by nuclear spin bath evolution conditioned on the electron spin state. The nuclear spin bath evolution is driven by elementary processes such as single spin precession and pairwise flip-flops. The importance of different elementary processes in the decoherence depends on the strength of the external magnetic field.


title: Evolution of Fock states in three mixed harmonic oscillators: quantum statistics

abstract: In this communication we investigate the quantum statistics of three harmonic oscillators mutually interacting with each other considering the modes are initially in Fock states. After solving the equations of motion, the squeezing phenomenon, sub-Poissonian statistics and quasiprobability functions are discussed. We demonstrate that the interaction is able to produce squeezing of different types. We show also that certain types of Fock states can evolve in this interaction into thermal state and squeezed thermal state governed by the interaction parameters.


title: Phase transitions detached from stationary points of the energy landscape

abstract: The stationary points of the potential energy function V are studied for the \phi^4 model on a two-dimensional square lattice with nearest-neighbor interactions. On the basis of analytical and numerical results, we explore the relation of stationary points to the occurrence of thermodynamic phase transitions. We find that the phase transition potential energy of the \phi^4 model does in general not coincide with the potential energy of any of the stationary points of V. This disproves earlier, allegedly rigorous, claims in the literature on necessary conditions for the existence of phase transitions. Moreover, we find evidence that the indices of stationary points scale extensively with the system size, and therefore the index density can be used to characterize features of the energy landscape in the infinite-system limit. We conclude that the finite-system stationary points provide one possible mechanism of how a phase transition can arise, but not the only one.


title: Halo models in modified gravity theories with self-accelerated expansion

abstract: We investigate the structure of halos in the sDGP (self-accelerating branch of the Dvali-Gavadadze-Porrati braneworld gravity) model and the galileon modified gravity model on the basis of the static and spherically symmetric solutions of the collisionless Boltzmann equation, which reduce to the singular isothermal sphere model and the King model in the limit of Newtonian gravity. The common feature of these halos is that the density of a halo in the outer region is larger (smaller) in the sDGP (galileon) model, respectively, in comparison with Newtonian gravity. This comes from the suppression (enhancement) of the effective gravity at large distance in the sDGP (galileon) model, respectively. However, the difference between these modified gravity models and Newtonian gravity only appears outside the halo due to the Vainshtein mechanism, which makes it difficult to distinguish between them. We also discuss the case in which the halo density profile is fixed independently of the gravity model for comparison between our results and previous work.


title: Heavy meson interquark potential

abstract: The resolution of Dyson-Schwinger equations leads to the freezing of the QCD running coupling (effective charge) in the infrared, which is best understood as a dynamical generation of a gluon mass function, giving rise to a momentum dependence which is free from infrared divergences. We calculate the interquark potential for heavy mesons by assuming that it is given by a massive One Gluon Exchange potential and compare with phenomenologyical fits inspired by lattice QCD. We apply these potential forms to the description of quarkonia and conclude that, even though some aspects of the confinement mechanism are absent in the Dyson Schwinger formalism, the results for the spectrum are surprisingly accurate. We discuss explanations for this outcome.


title: A theorem proving framework for the formal verification of Web Services Composition

abstract: We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.


title: Specification and Verification of Context-dependent Services

abstract: Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.


title: Product Lines for Service Oriented Applications - PL for SOA

abstract: PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling techniques for the specification and verification of formal notations and languages for service computing with inclinations of variability. Through these cutting-edge technologies, increased levels of flexibility and adaptivity can be achieved. This will involve developing semantics of variability over behavioural models of services. Such tools will assist organizations to plan, optimize and control the quality of software service provision, both at design and at run time by making it possible to develop flexible and cost-effective software systems that support high levels of reuse. We tackle this challenge from two levels. We use feature modeling from product line engineering and, from a services point of view, the orchestration language Orc. We introduce the Smart Grid as the service product line to apply the techniques to.


title: Relation between Wind and Wind Currents on the Synoptic Scale with Account of Wave Conditions

abstract: A version of model is proposed, which is aimed for getting parameters of the atmospheric layer and upper water layer with account of the wind-wave state. The dynamics of the atmospheric boundary layer is realized in version of papers [1, 2], and the dynamics of the upper layer is realized in the framework of Ekman layers in the atmosphere and the sea [3]. In the latter case, the Kitaigorodskii [4, 5] approach was used for describing the dynamics of the air-water interface. The key parameters of the atmospheric layer and upper water layer (the friction velocity and the speed of drift currents) are calculated for typical wind-wave situations. Satisfactory quantitative agreement between calculated and traditionally observed values is shown.


title: Flops and mutations for crepant resolutions of polyhedral singularities

abstract: Let $G$ be a polyhedral group $G\subset SO(3)$ of types $\mathbb{Z}/n\mathbb{Z}$, $D_{2n}$ and $\mathbb{T}$. We prove that there exists a one-to-one correspondence between flops of $G$-Hilb$\mathbb{C}^3$ and mutations of the McKay quiver with potential which do not mutate the trivial vertex. This correspondence provides two equivalent methods to construct every projective crepant resolution for the singularities $\mathbb{C}^3/G$, which are constructed as moduli spaces $\mathcal{M}_C$ of quivers with potential for some chamber $C$ in the space $\Theta$ of stability conditions. In addition, we study the relation between the exceptional locus in $\mathcal{M}_C$ with the corresponding quiver $Q_C$, and we describe explicitly the part of the chamber structure in $\Theta$ where every such resolution can be found.