title: Dynamic PageRank using Evolving Teleportation

abstract: The importance of nodes in a network constantly fluctuates based on changes in the network structure as well as changes in external interest. We propose an evolving teleportation adaptation of the PageRank method to capture how changes in external interest influence the importance of a node. This framework seamlessly generalizes PageRank because the importance of a node will converge to the PageRank values if the external influence stops changing. We demonstrate the effectiveness of the evolving teleportation on the Wikipedia graph and the Twitter social network. The external interest is given by the number of hourly visitors to each page and the number of monthly tweets for each user.

categories: cs.SI cs.IR math.DS physics.soc-ph stat.ML


title: Graphene-Graphite Quilts for Thermal Management of High-Power GaN Transistors

abstract: Self-heating is a severe problem for high-power GaN electronic and optoelectronic devices. Various thermal management solutions, e.g. flip-chip bonding or composite substrates have been attempted. However, temperature rise still limits applications of the nitride-based technology. Here we demonstrate that thermal management of GaN transistors can be substantially improved via introduction of the alternative heat-escaping channels implemented with few-layer graphene - an excellent heat conductor. We have transferred few-layer graphene to AlGaN/GaN heterostructure field-effect transistors on SiC substrates to form the "graphene-graphite quilts" - lateral heat spreaders, which remove heat from the channel regions. Using the micro-Raman spectroscopy for in-situ monitoring we have shown that temperature can be lowered by as much as ~ 20oC in such devices operating at ~13-W/mm power density. The simulations suggest that the efficiency of the "graphene quilts" can be made even higher in GaN devices on thermally resistive sapphire substrates and in the designs with the closely located heat sinks. Our results open a novel application niche for few-layer graphene in high-power electronics.


title: A morphological study of cluster dynamics between critical points

abstract: We study the geometric properties of a system initially in equilibrium at a critical point that is suddenly quenched to another critical point and subsequently evolves towards the new equilibrium state. We focus on the bidimensional Ising model and we use numerical methods to characterize the morphological and statistical properties of spin and Fortuin-Kasteleyn clusters during the critical evolution. The analysis of the dynamics of an out of equilibrium interface is also performed. We show that the small scale properties, smaller than the target critical growing length $\xi(t) \sim t^{1/z}$ with $z$ the dynamic exponent, are characterized by equilibrium at the working critical point, while the large scale properties, larger than the critical growing length, are those of the initial critical point. These features are similar to what was found for sub-critical quenches. We argue that quenches between critical points could be amenable to a more detailed analytical description.


title: Short timescale variations of the H{\alpha} double-peaked profile of the nucleus of NGC 1097

abstract: The broad (FWHM ~ 10,000 km/s) double-peaked H{\alpha} profile from the LINER/Seyfert 1 nucleus of NGC 1097 was discovered in 1991, and monitored for the following 11 years. The profile showed variations attributed to the rotation of gas in a non-axisymmetric Keplerian accretion disk, ionized by a varying radiatively inefficient accretion flow (RIAF) located in the inner parts of the disk. We present and model 11 new spectroscopic observations of the double-peaked profile taken between 2010 March and 2011 March. This series of observations was motivated by the finding that in 2010 March the flux in the double-peaked line was again strong, becoming, in 2010 December, even stronger than in the observations of a decade ago. We also discovered shorter timescale variations than in the previous observations: (1) the first, of ~7 days, is interpreted as due to "reverberation" of the variation of the ionizing source luminosity, and the timescale of 7 days as the light crossing time between the source and the accretion disk; this new timescale and its interpretation provides a distance between the emitting gas and the supermassive black hole and as such introduces a new constraint on its mass; (2) the second, of approximately 5 months, was attributed to the rotation of a spiral arm in the disk, which was found to occur on the dynamical timescale. We use two accretion disk models to fit theoretical profiles to the new data, both having non-axisymmetric emissivities produced by the presence of an one-armed spiral. Our modeling constrains the rotation period for the spiral to be approximately 18 months. This work supports our previous conclusion that the broad double-peaked Balmer emission lines in NGC 1097, and probably also in other low-luminosity active nuclei, originate from an accretion disk ionized by a central RIAF.


title: A Programmer-Centric Approach to Program Verification in ATS

abstract: Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. While there is already a vast body of work on software testing and verification, the task to ensure that an implementation indeed meets its specification is still undeniably of great difficulty. ATS is a programming language equipped with a highly expressive type system that allows the programmer to specify and implement and then verify within the language itself that an implementation meets its specification. In this paper, we present largely through examples a programmer-centric style of program verification that puts emphasis on requesting the programmer to explain in a literate fashion why his or her code works. This is a solid step in the pursuit of software construction that is verifiably correct according to specification.


title: Global Fluctuations for Linear Statistics of \beta-Jacobi Ensembles

abstract: We study the global fluctuations for linear statistics of the form $\sum_{i=1}^n f(\lambda_i)$ as $n \rightarrow \infty$, for $C^1$ functions $f$, and $\lambda_1, ..., \lambda_n$ being the eigenvalues of a (general) $\beta$-Jacobi ensemble, for which tridiagonal models were given by Killip and Nenciu as well as Edelman and Sutton. The fluctuation from the mean ($\sum_{i=1}^n f(\lambda_i) - \Exp \sum_{i=1}^n f(\lambda_i)$) is given asymptotically by a Gaussian process. We compute the covariance matrix for the process and show that it is diagonalized by a shifted Chebyshev polynomial basis; in addition, we analyze the deviation from the predicted mean for polynomial test functions, and we obtain a law of large numbers.


title: Complete type IIA superstring action on IIA plane wave background

abstract: We construct the type IIA Green-Schwarz superstring action on a ten-dimensional IIA plane wave background with 24 supersymmetries keeping the full 32 fermionic coordinates. Starting from the symmetry superalgebra for the maximally supersymmetric eleven dimensional plane wave background, we obtain the eleven dimensional superfields. The Kaluza-Klein reduction leads to the ten dimensional superfields for the IIA plane wave background, from which the type IIA superstring action is constructed. We show that the superstring action reduces correctly to the previously known light-cone gauge fixed action upon imposing the light-cone $\kappa$-symmetry fixing condition.


title: Charge density dependent nongeminate recombination in organic bulk heterojunction solar cells

abstract: Apparent recombination orders exceeding the value of two expected for bimolecular recombination have been reported for organic solar cells in various publications. Two prominent explanations are bimolecular losses with a carrier concentration dependent prefactor due to a trapping limited mobility, and protection of trapped charge carriers from recombination by a donor--acceptor phase separation until reemission from these deep states. In order to clarify which mechanism is dominant we performed temperature and illumination dependent charge extraction measurements under open circuit as well as short circuit conditions at poly(3-hexylthiophene-2,5-diyl):[6,6]-phenyl-C$_{61}$butyric acid methyl ester (P3HT:PC$_{61}$BM) and PTB7:PC$_{71}$BM (Poly[[4,8-bis[(2-ethylhexyl)oxy]benzo[1,2-b:4,5-b']dithiophene-2,6-diyl][3-fluoro-2-[(2-ethylhexyl)carbonyl]thieno[3,4-b]thiophenediyl]]) solar cells in combination with current--voltage characteristics. We show that the charge carrier density $n$ dependence of the mobility $\mu$ and the recombination prefactor are different for PC$_{61}$BM at temperatures below 300K and PTB7:PC$_{71}$BM at room temperature. Therefore, in addition to $\mu(n)$ a detrapping limited recombination in systems with at least partial donor--acceptor phase separation is required to explain the high recombination orders.


title: Search for violation of Lorentz invariance in top quark pair production and decay

abstract: Using data collected with the D0 detector at the Fermilab Tevatron Collider, corresponding to 5.3 fb$^{-1}$ of integrated luminosity, we search for violation of Lorentz invariance by examining the \ttbar production cross section in lepton+jets final states. We quantify this violation using the standard-model extension framework, which predicts a dependence of the \ttbar production cross section on sidereal time as the orientation of the detector changes with the rotation of the Earth. Within this framework, we measure components of the matrices $(c_Q)_{\mu\nu 33}$ and $(c_U)_{\mu\nu 33}$ containing coefficients used to parametrize violation of Lorentz invariance in the top quark sector. Within uncertainties, these coefficients are found to be consistent with zero.


title: Kapellasite: a kagome quantum spin liquid

abstract: Magnetic susceptibility, NMR, muSR, and inelastic neutron scattering measurements show that kapellasite, Cu3Zn(OH)6Cl2, a geometrically frustrated spin-1/2 kagome antiferromagnet polymorphous with the herbertsmithite mineral, is a gapless spin liquid with frustrated interactions showing unusual dynamic short-range correlations of non-coplanar cuboc2 type which persist down to 20 mK. The Hamiltonian is determined from a fit of a high-temperature series expansion to thermodynamical data. The experimental data are compared to theoretical calculations using the Schwinger-boson approach.


title: General Relativistic Simulations of Magnetized Plasmas around Merging Supermassive Black Holes

abstract: Coalescing supermassive black hole binaries are produced by the mergers of galaxies and are the most powerful sources of gravitational waves accessible to space-based gravitational observatories. Some such mergers may occur in the presence of matter and magnetic fields and hence generate an electromagnetic counterpart. In this Letter, we present the first general relativistic simulations of magnetized plasma around merging supermassive black holes using the general relativistic magnetohydrodynamic code Whisky. By considering different magnetic field strengths, going from non-magnetically dominated to magnetically dominated regimes, we explore how magnetic fields affect the dynamics of the plasma and the possible emission of electromagnetic signals. In particular we observe a total amplification of the magnetic field of ~2 orders of magnitude which is driven by the accretion onto the binary and that leads to much stronger electromagnetic signals, more than a factor of 10^4 larger than comparable calculations done in the force-free regime where such amplifications are not possible.


title: Topological thermoelectric effects in spin-orbit coupled electron and hole doped semiconductors

abstract: We compute the intrinsic contributions to the Berry-phase mediated anomalous Hall and Nernst effects in electron- and hole-doped semiconductors in the presence of an in-plane magnetic field as well as Rashba and Dresselhaus spin orbit couplings. For both systems we find that the regime of chemical potential which supports the topological superconducting state in the presence of superconducting proximity effect can be characterized by plateaus in the topological Hall and Nernst coefficients flanked by well-defined peaks marking the emergence of the topological regime. The plateaus arise from a clear momentum space separation between the region where the Berry curvature is peaked (at the `near-band-degeneracy' points) and the region where the single (or odd number of) Fermi surface lies in the Brillouin zone. The plateau for the Nernst coefficient is at vanishing magnitudes surrounded by two peaks of opposite signs as a function of the chemical potential. These results could be useful for experimentally deducing the chemical potential regime suitable for realizing topological states in the presence of proximity effect.


title: Controlling light-with-light without nonlinearity

abstract: According to Huygens' superposition principle, light beams traveling in a linear medium will pass though one another without mutual disturbance. Indeed, it is widely held that controlling light signals with light requires intense laser fields to facilitate beam interactions in nonlinear media, where the superposition principle can be broken. We demonstrate here that two coherent beams of light of arbitrarily low intensity can interact on a metamaterial layer of nanoscale thickness in such a way that one beam modulates the intensity of the other. We show that the interference of beams can eliminate the plasmonic Joule losses of light energy in the metamaterial or, in contrast, can lead to almost total absorbtion of light. Applications of this phenomenon may lie in ultrafast all-optical pulse-recovery devices, coherence filters and THz-bandwidth light-by-light modulators.


title: Corrigendum: Sampling regular graphs and a peer-to-peer network

abstract: In [Combinatorics, Probability and Computing 16 (2007), 557 - 593, Theorem 1] we proved a polynomial-time bound on the mixing rate of the switch chain for sampling d-regular graphs. This corrigendum corrects a technical error in the proof. In order to fix the error, we must multiply the bound on the mixing time by a factor of d^8 .


title: AMS Observations of Light Cosmic Ray Isotopes and Implications for their Production in the Galaxy

abstract: Observations of light isotopes in cosmic rays provide information on their origin and propagation in the Galaxy. Using the data collected by AMS-01 in the STS- 91 space mission, we compare the measurements on 1H, 2H, 3He and 4He with calculations for interstellar propagation and solar modulation. These data are described well by a diffusive-reacceleration model with parameters that match the B/C ratio data. Close comparisons are made within the astrophysical con- straints provided by the B/C data and within the nuclear uncertainties arising from the production cross sections. Astrophysical uncertainties are expected to be dramatically reduced by future data, but nuclear uncertainties may rep- resent a serious limitation of the model predictions. A diagnostic test for the reliability of the models is given by ratios such as 2H/3He, 6Li/7Li or 10B/11B.


title: Low dimensional Singular Riemannian Foliations in spheres

abstract: Singular Riemannian Foliations are particular types of foliations on Riemannian manifolds, in which leaves locally stay at a constant distance from each other. Singular Riemannian Foliations in round spheres play a special role, since they provide "infinitesimal information" about general Singular Riemannian Foliations. In this paper we show that Singular Riemannian Foliations in spheres, of dimension at most 3, are orbits of an isometric group action.


title: De Giorgi type results for elliptic systems

abstract: We consider the following elliptic system \Delta u =\nabla H (u) \ \ \text{in}\ \ \mathbf{R}^N, where $u:\mathbf{R}^N\to \mathbf{R}^m$ and $H\in C^2(\mathbf{R}^m)$, and prove, under various conditions on the nonlinearity $H$ that, at least in low dimensions, a solution $u=(u_i)_{i=1}^m$ is necessarily one-dimensional whenever each one of its components $u_i$ is monotone in one direction. Just like in the proofs of the classical De Giorgi's conjecture in dimension 2 (Ghoussoub-Gui) and in dimension 3 (Ambrosio-Cabr\'{e}), the key step is a Liouville theorem for linear systems. We also give an extension of a geometric Poincar\'{e} inequality to systems and use it to establish De Giorgi type results for stable solutions as well as additional rigidity properties stating that the gradients of the various components of the solutions must be parallel. We introduce and exploit the concept of {\it an orientable system}, which seems to be key for dealing with systems of three or more equations. For such systems, the notion of a stable solution in a variational sense coincide with the pointwise (or spectral) concept of stability.


title: A Class of Eccentric Binaries with Dynamic Tidal Distortions Discovered with Kepler

abstract: We have discovered a class of eccentric binary systems within the Kepler data archive that have dynamic tidal distortions and tidally-induced pulsations. Each has a uniquely shaped light curve that is characterized by periodic brightening or variability at time scales of 4-20 days, frequently accompanied by shorter period oscillations. We can explain the dominant features of the entire class with orbitally-varying tidal forces that occur in close, eccentric binary systems. The large variety of light curve shapes arises from viewing systems at different angles. This hypothesis is supported by spectroscopic radial velocity measurements for five systems, each showing evidence of being in an eccentric binary system. Prior to the discovery of these 17 new systems, only four stars, where KOI-54 is the best example, were known to have evidence of these dynamic tides and tidally-induced oscillations. We perform preliminary fits to the light curves and radial velocity data, present the overall properties of this class and discuss the work required to accurately model these systems.


title: High frequency permeability of magnonic metamaterials with magnetic inclusions of complex shape

abstract: We present a method of calculation of the effective magnetic permeability of magnonic metamaterials containing periodically arranged magnetic inclusions of arbitrary shapes. The spectrum of spin wave modes confined in the inclusions is fully taken into account. Within the scope of the proposed method, we compare two approaches. The first approach is based on a simple semi-analytical theory that uses the numerically calculated susceptibility tensor of an isolated inclusion as input data. Within the second approach, micromagnetic packages with periodic boundary conditions (PBC) are used to calculate the susceptibility of a single 2D periodic array of such inclusions, with the whole 3D metamaterial consisting of a stack of such arrays. To calculate the susceptibility tensor of an isolated inclusion, we have implemented and compared two different methods: (a) a micromagnetic method, in which we have employed three different micromagnetic packages: the finite element package NMAG and the two finite differences packages OOMMF and MicroMagus; and (b) the modified dynamical matrix method. To illustrate the methodology, we have calculated the effective permeability of a metamaterial consisting of a stack of hexagonal arrays of magnetic nanodisks in a non-magnetic matrix. The range of geometrical parameters for which such a metamaterial is characterized by the negative permeability has been identified. The critical comparison of the different micromagnetic packages and the dynamical matrix method (based on the calculation of the susceptibility tensor of an isolated inclusion) has demonstrated that their results agree to within 3 %.


title: Collective charge fluctuations and Casimir interactions for quasi one-dimensional metals

abstract: We investigate the Casimir interaction between two parallel metallic cylinders and between a metallic cylinder and plate. The material properties of the metallic objects are implemented by the plasma, Drude and perfect metal model dielectric functions. We calculate the Casimir interaction numerically at all separation distances and analytically at large separations. The large-distance asymptotic interaction between one plasma cylinder parallel to another plasma cylinder or plate does not depend on the material properties, but for a Drude cylinder it depends on the dc conductivity $\sigma$. At intermediate separations, for plasma cylinders the asymptotic interaction depends on the plasma wave length $\lambda_{\rm p}$ while for Drude cylinders the Casimir interaction can become independent of the material properties. We confirm the analytical results by the numerics and show that at short separations, the numerical results approach the proximity force approximation.


title: Interplay of spin-orbit coupling and Zeeman splitting in the absorption lineshape of 2D fermions

abstract: We suggest that electron spin resonance (ESR) experiment can be used as a probe of spinon excitations of hypothetical spin-liquid state of frustrated antiferromagnet in the presence of asymmetric Dzyaloshinskii-Moriya (DM) interaction. We describe assumptions under which the ESR response is reduced to the response of 2D electron gas with Rashba spin-orbit coupling. Unlike previous treatments, the spin-orbit coupling, \Delta_{SO}, is not assumed small compared to the Zeeman splitting, \Delta_Z. We demonstrate that ESR response diverges at the edges of the absorption spectrum for ac magnetic field perpendicular to the static field. At the compensation point, \Delta_{SO}\approx \Delta_Z, the broad absorption spectrum exhibits features that evolve with temperature, T, even when T is comparable to the Fermi energy.


title: Robustness of Complex Networks with Implications for Consensus and Contagion

abstract: We study a graph-theoretic property known as robustness, which plays a key role in certain classes of dynamics on networks (such as resilient consensus, contagion and bootstrap percolation). This property is stronger than other graph properties such as connectivity and minimum degree in that one can construct graphs with high connectivity and minimum degree but low robustness. However, we show that the notions of connectivity and robustness coincide on common random graph models for complex networks (Erdos-Renyi, geometric random, and preferential attachment graphs). More specifically, the properties share the same threshold function in the Erdos-Renyi model, and have the same values in one-dimensional geometric graphs and preferential attachment networks. This indicates that a variety of purely local diffusion dynamics will be effective at spreading information in such networks. Although graphs generated according to the above constructions are inherently robust, we also show that it is coNP-complete to determine whether any given graph is robust to a specified extent.


title: Hadwiger's Theorem for Definable Functions

abstract: Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable real-valued functions on n-dimensional Euclidean space. This generalizes intrinsic volumes to (dual pairs) of non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.


title: The Hall Effect in Superconducting Films

abstract: Near the superconducting phase transition, fluctuations significantly modify the electronic transport properties. Here we study the fluctuation corrections to the Hall conductivity in disordered films, extending previous derivations to a broader range of temperatures and magnetic fields, including the vicinity of the magnetic field induced quantum critical point. In the process, we found a new contribution to the Hall conductivity that was not considered before. Recently, our theory has been used to fit measurements of the Hall resistance in amorphous TaN films.


title: Diffusion of Real-Time Information in Social-Physical Networks

abstract: We study the diffusion behavior of real-time information. Typically, real-time information is valuable only for a limited time duration, and hence needs to be delivered before its "deadline." Therefore, real-time information is much easier to spread among a group of people with frequent interactions than between isolated individuals. With this insight, we consider a social network which consists of many cliques and information can spread quickly within a clique. Furthermore, information can also be shared through online social networks, such as Facebook, twitter, Youtube, etc. We characterize the diffusion of real-time information by studying the phase transition behaviors. Capitalizing on the theory of inhomogeneous random networks, we show that the social network has a critical threshold above which information epidemics are very likely to happen. We also theoretically quantify the fractional size of individuals that finally receive the message. Finally, the numerical results indicate that under certain conditions, the large size cliques in a social network could greatly facilitate the diffusion of real-time information.


title: Conservation Laws of Random Matrix Theory

abstract: This paper presents an overview of the derivation and significance of recently derived conservation laws for the matrix moments of Hermitean random matrices with dominant exponential weights that may be either even or odd. This is based on a detailed asymptotic analysis of the partition function for these unitary ensembles and their scaling limits. As a particular application we derive closed form expressions for the coefficients of the genus expansion for the associated free energy in a particular class of dominant even weights. These coefficients are generating functions for enumerating g-maps, related to graphical combinatorics on Riemann surfaces. This generalizes and resolves a 30+ year old conjecture in the physics literature related to quantum gravity.


title: Age and Mass for 920 LMC Clusters Derived from 100 Million Monte Carlo Simulations

abstract: We present new age and mass estimates for 920 stellar clusters in the Large Magellanic Cloud (LMC) based on previously published broad-band photometry and the stellar cluster analysis package, MASSCLEANage. Expressed in the generic fitting formula, d^{2}N/dM dt ~ M^{\alpha} t^{\beta}, the distribution of observed clusters is described by \alpha = -1.5 to -1.6 and \beta = -2.1 to -2.2. For 288 of these clusters, ages have recently been determined based on stellar photometric color-magnitude diagrams, allowing us to gauge the confidence of our ages. The results look very promising, opening up the possibility that this sample of 920 clusters, with reliable and consistent age, mass and photometric measures, might be used to constrain important characteristics about the stellar cluster population in the LMC. We also investigate a traditional age determination method that uses a \chi^2 minimization routine to fit observed cluster colors to standard infinite mass limit simple stellar population models. This reveals serious defects in the derived cluster age distribution using this method. The traditional \chi^2 minimization method, due to the variation of U,B,V,R colors, will always produce an overdensity of younger and older clusters, with an underdensity of clusters in the log(age/yr)=[7.0,7.5] range. Finally, we present a unique simulation aimed at illustrating and constraining the fading limit in observed cluster distributions that includes the complex effects of stochastic variations in the observed properties of stellar clusters.


title: Conformal structures of static vacuum data

abstract: In the Cauchy problem for asymptotically flat vacuum data the solution-jets along the cylinder at space-like infinity develop in general logarithmic singularities at the critical sets at which the cylinder touches future/past null infinity. The tendency of these singularities to spread along the null generators of null infinity obstructs the development of a smooth conformal structure at null infinity. For the solution-jets arising from time reflection symmetric data to extend smoothly to the critical sets it is necessary that the Cotton tensor of the initial three-metric h satisfies a certain conformally invariant condition (*) at space-like infinity, it is sufficient that h be asymptotically static at space-like infinity. The purpose of this article is to characterize the gap between these conditions. We show that with the class of metrics which satisfy condition (*) on the Cotton tensor and a certain non-degeneracy requirement is associated a one-form $\kappa$ with conformally invariant differential $d\kappa$. We provide two criteria: If $h$ is real analytic, $\kappa$ is closed, and one of it integrals satisfies a certain equation then h is conformal to static data near space-like infinity. If h is smooth, $\kappa$ is asymptotically closed, and one of it integrals satisfies a certain equation asymptotically then h is asymptotically conformal to static data at space-like infinity.


title: Richardson Varieties Have Kawamata Log Terminal Singularities

abstract: Let $X^v_w$ be a Richardson variety in the full flag variety $X$ associated to a symmetrizable Kac-Moody group $G$. Recall that $X^v_w$ is the intersection of the finite dimensional Schubert variety $X_w$ with the finite codimensional opposite Schubert variety $X^v$. We give an explicit $\bQ$-divisor $\Delta$ on $X^v_w$ and prove that the pair $(X^v_w, \Delta)$ has Kawamata log terminal singularities. In fact, $-K_{X^v_w} - \Delta$ is ample, which additionally proves that $(X^v_w, \Delta)$ is log Fano. We first give a proof of our result in the finite case (i.e., in the case when $G$ is a finite dimensional semisimple group) by a careful analysis of an explicit resolution of singularities of $X^v_w$ (similar to the BSDH resolution of the Schubert varieties). In the general Kac-Moody case, in the absence of an explicit resolution of $X^v_w$ as above, we give a proof that relies on the Frobenius splitting methods. In particular, we use Mathieu's result asserting that the Richardson varieties are Frobenius split, and combine it with a result of N. Hara and K.-I. Watanabe relating Frobenius splittings with log canonical singularities.


title: List Decoding Algorithm based on Voting in Groebner Bases for General One-Point AG Codes

abstract: We generalize the unique decoding algorithm for one-point AG codes over the Miura-Kamiya Cab curves proposed by Lee, Bras-Amor\'os and O'Sullivan (2012) to general one-point AG codes, without any assumption. We also extend their unique decoding algorithm to list decoding, modify it so that it can be used with the Feng-Rao improved code construction, prove equality between its error correcting capability and half the minimum distance lower bound by Andersen and Geil (2008) that has not been done in the original proposal except for one-point Hermitian codes, remove the unnecessary computational steps so that it can run faster, and analyze its computational complexity in terms of multiplications and divisions in the finite field. As a unique decoding algorithm, the proposed one is empirically and theoretically as fast as the BMS algorithm for one-point Hermitian codes. As a list decoding algorithm, extensive experiments suggest that it can be much faster for many moderate size/usual inputs than the algorithm by Beelen and Brander (2010). It should be noted that as a list decoding algorithm the proposed method seems to have exponential worst-case computational complexity while the previous proposals (Beelen and Brander, 2010; Guruswami and Sudan, 1999) have polynomial ones, and that the proposed method is expected to be slower than the previous proposals for very large/special inputs.


title: Optimal control for non-Markovian open quantum systems

abstract: An efficient optimal-control theory based on the Krotov method is introduced for a non-Markovian open quantum system with a time-nonlocal master equation in which the control parameter and the bath correlation function are correlated. This optimal-control method is developed via a quantum dissipation formulation that transforms the time-nonlocal master equation to a set of coupled linear time-local equations of motion in an extended auxiliary Liouville space. As an illustration, the optimal-control method is applied to find the control sequences for high-fidelity Z gates and identity gates of a qubit embedded in a non-Markovian bath. Z gates and identity gates with errors less than 10^{-5} for a wide range of bath decoherence parameters can be achieved for the non-Markovian open qubit system with control over only the {\sigma}z term. The control-dissipation correlation and the memory effect of the bath are crucial in achieving the high-fidelity gates.


title: Generalization of the Lee-O'Sullivan List Decoding for One-Point AG Codes

abstract: We generalize the list decoding algorithm for Hermitian codes proposed by Lee and O'Sullivan based on Gr\"obner bases to general one-point AG codes, under an assumption weaker than one used by Beelen and Brander. Our generalization enables us to apply the fast algorithm to compute a Gr\"obner basis of a module proposed by Lee and O'Sullivan, which was not possible in another generalization by Lax.


title: Spectral dimensionality reduction for HMMs

abstract: Hidden Markov Models (HMMs) can be accurately approximated using co-occurrence frequencies of pairs and triples of observations by using a fast spectral method in contrast to the usual slow methods like EM or Gibbs sampling. We provide a new spectral method which significantly reduces the number of model parameters that need to be estimated, and generates a sample complexity that does not depend on the size of the observation vocabulary. We present an elementary proof giving bounds on the relative accuracy of probability estimates from our model. (Correlaries show our bounds can be weakened to provide either L1 bounds or KL bounds which provide easier direct comparisons to previous work.) Our theorem uses conditions that are checkable from the data, instead of putting conditions on the unobservable Markov transition matrix.


title: Power Control in Multi-Layer Cellular Networks

abstract: We investigate the possible performance gains of power control in multi-layer cellular systems where microcells and picocells are distributed within macrocells. Although multilayers in cellular networks help increase system capacity and coverage, and can reduce total energy consumption; they cause interference, reducing the performance of the network. Therefore, downlink transmit power levels of multi-layer hierarchical cellular networks need to be controlled in order to fully exploit their benefits. In this work, we present an analytical derivation to determine optimum power levels for two-layer cellular networks and generalize our solution to multi-layer cellular networks. We also simulate our results in a typical multi-layer network setup and observe significant power savings compared to single-layer cellular networks.


title: Experimental Upconversion of Images

abstract: We experimentally demonstrate the up-conversion of light carrying an image from the infrared spectrum to the visible spectrum using four-wave mixing via a ladder-type configuration in an atomic vapor. The results we obtained show the high correlation between the input image and the up-converted image. We also discuss the possible influences of experimental parameters on the resolution. Our work might be useful for research in astrophysics, night-vision technology, and chemical sensing.


title: The zeta function of a finite category

abstract: We define the zeta function of a finite category. And we propose a conjecture which states the relationship between the Euler characteristic of finite categories and the zeta function of finite categories. This conjecture is verified when categories are finite groupoids, finite acyclic categories, categories with 2-objects and finite categories satisfying certain condition.


title: Accretion Outbursts in Circumplanetary Disks

abstract: We describe a model for the long term evolution of a circumplanetary disk that is fed mass from a circumstellar disk and contains regions of low turbulence (dead zones). We show that such disks can be subject to accretion driven outbursts, analogous to outbursts previously modeled in the context of circumstellar disks to explain FU Ori phenomena. Circumplanetary disks around a proto-Jupiter can undergo outbursts for infall accretion rates onto the disks in the range ~10^{-9} to 10^{-7} M_sun/yr, typical of accretion rates in the T Tauri phase. During outbursts, the accretion rate and disk luminosity increases by several orders of magnitude. Most of the planet mass growth during planetary gas accretion may occur via disk outbursts involving gas that is considerably hotter than predicted by steady state models. For low infall accretion rates less than ~10^{-10} M_sun/yr that occur in late stages of disk accretion, disk outbursts are unlikely to occur, even if dead zones are present. Such conditions are favorable for the formation of icy satellites.


title: $B \to a_1(1260) a_1(1260)$ and $b_1(1235) b_1(1235)$ decays in the perturbative QCD approach

abstract: In this work, we study six tree-dominated $B \to a_1(1260) a_1(1260)$ and $b_1(1235) b_1(1235)$ decays in the perturbative QCD(pQCD) approach, where $a_1$($b_1$) is a $^3P_1$($^1P_1$) axial-vector meson. Based on the perturbative calculations and phenomenological analysis, we find that: (a) the CP-averaged branching ratio of $B^0 \to a_1^+ a_1^-$ decay in the pQCD approach is $54.7 \times 10^{-6}$, which agrees well with the current data and the predictions given in the QCD factorization approach within errors; (b) the numerical results for the decay rates of other five channels are found to be in the order of $10^{-6} \sim 10^{-5}$, which could be accessed at B factories and Large Hadron Collider(LHC) experiments; (c) other physical observables such as polarization fractions and direct CP-violating asymmetries are also investigated with the pQCD approach in the present work and the predictions can be confronted with the relevant experiments in the near future; (d) the different phenomenologies shown between $B \to a_1 a_1$ and $B \to b_1 b_1$ decays are expected to be tested by the ongoing LHC and forthcoming Super-B experiments, which could shed light on the typical QCD dynamics involved in these decay modes, as well as in $^3P_1$ meson $a_1$ and $^1P_1$ meson $b_1$.


title: Tree Transducers, Machine Translation, and Cross-Language Divergences

abstract: Tree transducers are formal automata that transform trees into other trees. Many varieties of tree transducers have been explored in the automata theory literature, and more recently, in the machine translation literature. In this paper I review T and xT transducers, situate them among related formalisms, and show how they can be used to implement rules for machine translation systems that cover all of the cross-language structural divergences described in Bonnie Dorr's influential article on the topic. I also present an implementation of xT transduction, suitable and convenient for experimenting with translation rules.


title: Analytic, Non-Perturbative, Gauge-invariant QCD: Nucleon Scattering and Binding Potentials

abstract: Removal of the quenched approximation in the mechanism which produced an analytic estimate of quark-binding potentials, along with a reasonable conjecture of the color structure of the nucleon formed by such a binding potential, is shown to generate an effective, nucleon scattering and binding potential. The mass-scale factor on the order of the pion mass, previously introduced to define transverse imprecision of quark coordinates, is again used, while the strength of the potential is proportional to the square of a renormalized QCD coupling constant. The potential so derived does not include corrections due to spin, angular momentum, nucleon structure, and electroweak interactions; rather, it is qualitative in nature, showing how Nuclear Physics can arise from fundamental QCD.


title: Observation of flat band for terahertz spoof plasmon in metallic kagom\'e lattice

abstract: We study the dispersion relation of a metamaterial composed of metallic disks and bars arranged to have kagome symmetry and find that a plasmonic flat band is formed by the topological nature of the kagome lattice. To confirm the flat-band formation, we fabricate the metamaterial and make transmission measurements in the terahertz regime. Two bands formed by transmission minima that depend on the polarization of the incident terahertz beams are observed. One of the bands corresponds to the flat band, as confirmed by the fact that the resonant frequency is almost independent of the incident angle.


title: Inclusive Hadron Productions in pA Collisions

abstract: We calculate inclusive hadron productions in pA collisions in the small-x saturation formalism at one-loop order. The differential cross section is written into a factorization form in the coordinate space at the next-to-leading order, while the naive form of the convolution in the transverse momentum space does not hold. The rapidity divergence with small-x dipole gluon distribution of the nucleus is factorized into the energy evolution of the dipole gluon distribution function, which is known as the Balitsky-Kovchegov equation. Furthermore, the collinear divergences associated with the incoming parton distribution of the nucleon and the outgoing fragmentation function of the final state hadron are factorized into the splittings of the associated parton distribution and fragmentation functions, which allows us to reproduce the well-known DGLAP equation. The hard coefficient function, which is finite and free of divergence of any kind, is evaluated at one-loop order.


title: Why FARIMA Models are Brittle

abstract: The FARIMA models, which have long-range-dependence (LRD), are widely used in many areas. Through deriving a precise characterisation of the spectrum, autocovariance function, and variance time function, we show that this family is very atypical among LRD processes, being extremely close to the fractional Gaussian noise in a precise sense. Furthermore, we show that this closeness property is not robust to additive noise. We argue that the use of FARIMA, and more generally fractionally differenced time series, should be reassessed in some contexts, in particular when convergence rate under rescaling is important and noise is expected.


title: How the Unruh effect affects transition between classical and quantum decoherences

abstract: We investigate how the Unruh effect affects the transition between classical and quantum decoherences for a general class of initial states and find that: $(i)$ The quantum decoherence exists while $\lambda t\leq\lambda \widetilde{t}$ (the transition time) and the classical one can also affect the system's evolution while $\lambda t\geq\lambda\widetilde{t}$ for both the bit and phase-bit flips, which are different from the cases in inertial frame; $(ii)$ The classical correlations will be different constants corresponding to different Unruh temperature and the quantum decoherence still dominates the evolution of system as $\lambda t\geq\lambda\widetilde{t}$ for the phase flip; And $(iii)$ as the Unruh temperature increases, the $\lambda\widetilde{t}$, compared with that in inertial frame, will be bigger for phase flip but smaller for bit flip. However, the $\lambda\widetilde{t}$ does not change no matter what the Unruh effect is for phase-bit flip.


title: Interplay between the magnetic and electric degrees-of-freedom in multiferroic Co3TeO6

abstract: Neutron diffraction, magnetic susceptibility, specific heat, and dielectric constant measurements of single crystal Co3TeO6 have been measured to study the interplay between the ferroelectricity and magnetic order. Long range incommensurate magnetic order develops below TM1=26 K, which is followed by three additional zero-field phase transitions at TM2=19.5 K, TM3=18 K, and TM4=16 K where the incommensurate order changes and commensurate order develops. In magnetic fields up to 14 T we find that the magnetic intensities and incommensurate wave vector are dramatically altered as ferroelectricity develops, with a fifth abrupt transition around 10 T. The overall behavior characterizes Co3TeO6 as a type-II multiferroic.


title: Some Results on incidence coloring, star arboricity and domination number

abstract: Two inequalities bridging the three isolated graph invariants, incidence chromatic number, star arboricity and domination number, were established. Consequently, we deduced an upper bound and a lower bound of the incidence chromatic number for all graphs. Using these bounds, we further reduced the upper bound of the incidence chromatic number of planar graphs and showed that cubic graphs with orders not divisible by four are not 4-incidence colorable. The incidence chromatic numbers of Cartesian product, join and union of graphs were also determined.


title: Heat transport of quasi-one-dimensional Ising-like antiferromagnet BaCo_2V_2O_8 in the longitudinal and transverse fields

abstract: The very-low-temperature thermal conductivity (\kappa) is studied for BaCo_2V_2O_8, a quasi-one-dimensional Ising-like antiferromagnet exhibiting an unusual magnetic-field-induced order-to-disorder transition. The nearly isotropic transport in the longitudinal field indicates that the magnetic excitations scatter phonons rather than conduct heat. The field dependence of \kappa shows a sudden drop at \sim 4 T, where the system unndergoes the transition from the N\'eel order to the incommensurate state. Another dip at lower field of \sim 3 T indicates an unknown magnetic transition, which is likely due to the spin-flop transition. Moreover, the \kappa(H) in the transverse field shows a very deep valley-like feature, which moves slightly to higher field and becomes sharper upon lowering the temperature. This indicates a magnetic transition induced by the transverse field, which however is not predicted by the present theories for this low-dimensional spin system.


title: Incidence coloring of Regular graphs and Complement graphs

abstract: Using a relation between domination number and incidence chromatic number, we obtain necessary and sufficient conditions for $r$-regular graphs to be $(r+1)$-incidence colorable. Also, we determine the optimal Nordhaus-Gaddum inequality for the incidence chromatic number.


title: Global Behavior Of Finite Energy Solutions To The $d$-Dimensional Focusing Nonlinear Schr\"odinger Equation

abstract: We study the global behavior of finite energy solutions to the $d$-dimensional focusing nonlinear Schr\"odinger equation (NLS), $i \partial_t u+\Delta u+ |u|^{p-1}u=0, $ with initial data $u_0\in H^1,\; x \in R^n$. The nonlinearity power $p$ and the dimension $d$ are such that the scaling index $s=\frac{d}2-\frac2{p-1}$ is between 0 and 1, thus, the NLS is mass-supercritical $(s>0)$ and energy-subcritical $(s<1).$ For solutions with $\ME[u_0]<1$ ($\ME[u_0]$ stands for an invariant and conserved quantity in terms of the mass and energy of $u_0$), a sharp threshold for scattering and blowup is given. Namely, if the renormalized gradient $\g_u$ of a solution $u$ to NLS is initially less than 1, i.e., $\g_u(0)<1,$ then the solution exists globally in time and scatters in $H^1$ (approaches some linear Schr\"odinger evolution as $t\to\pm\infty$); if the renormalized gradient $\g_u(0)>1,$ then the solution exhibits a blowup behavior, that is, either a finite time blowup occurs, or there is a divergence of $H^1$ norm in infinite time. This work generalizes the results for the 3d cubic NLS obtained in a series of papers by Holmer-Roudenko and Duyckaerts-Holmer-Roudenko with the key ingredients, the concentration compactness and localized variance, developed in the context of the energy-critical NLS and Nonlinear Wave equations by Kenig and Merle.


title: Upper Beurling Density of Systems formed by Translates of finite Sets of Elements in $L^p(\R^d)$

abstract: In this paper, we prove that if a finite disjoint union of translates $\bigcup_{k=1}^n\{f_k(x-\gamma)\}_{\gamma\in\Gamma_k}$ in $L^p(\R^d)$ $(1<p<\infty)$ is a $p'$-Bessel sequence for some $1<p'<\infty$, then the disjoint union $\Gamma=\bigcup_{k=1}^n\Gamma_k$ has finite upper Beurling density, and that if $\bigcup_{k=1}^n\{f_k(x-\gamma)\}_{\gamma\in\Gamma_k}$ is a $(C_q)$-system with $1/p+1/q=1$, then $\Gamma$ has infinite upper Beurling density. Thus, no finite disjoint union of translates in $L^p(\R^d)$ can form a $p'$-Bessel $(C_q)$-system for any $1< p'<\infty$. Furthermore, by using techniques from the geometry of Banach spaces, we obtain that, for $1<p\le2$, no finite disjoint union of translates in $L^p(\R^d)$ can form an unconditional basis.


title: Acceleration and vacuum temperature

abstract: The quantum fluctuations of an "accelerated" vacuum state, that is vacuum fluctuations in the presence of a constant electromagnetic field, can be described by the temperature $\TEH$. Considering $\TEH$ for the gyromagnetic factor $g=1$ we show that $\TEH(g=1)=\THU$, where $\THU$ is the Unruh temperature experienced by an accelerated observer. We conjecture that both particle production and nonlinear field effects inherent in the Unruh accelerated observer case are described by the case $g=1$ QED of strong fields. We present rates of particle production for $g=0,1,2$ and show that the case $g=1$ is experimentally distinguishable from $g=0,2$. Therefore, either accelerated observers are distinguishable from accelerated vacuum or there is unexpected modification of the theoretical framework.


title: Quantum-correlating power of local quantum channels

abstract: Quantum correlation can be created by local operations from a classically correlated state. We define quantum-correlating power (QCP) of a local quantum channel as the maximum amount of quantum correlation that can be created by the channel. The quantum correlation that we discuss in this article is defined on the left part of the bipartite state. We prove that for any local channel, the optimal input state, which corresponds to the maximum quantum correlation in the output state, must be a classical-classical state. Further, the single-qubit channels with maximum QCP can be found in the class of rank-1 channels which take their optimal input states to rank-2 quantum-classical states. The analytic expression for QCP of single-qubit amplitude damping channel is obtained. Super-activation property of QCP, i.e., two zero-QCP channels can consist a positive-QCP channel, is discussed for single-qubit phase damping channels.


title: Path-valued branching processes and nonlocal branching superprocesses

abstract: A family of continuous-state branching processes with immigration are constructed as the solution flow of a stochastic equation system driven by time-space noises. The family can be regarded as an inhomogeneous increasing path-valued branching process with immigration. Two nonlocal branching immigration superprocesses can be defined from the flow. We identify explicitly the branching and immigration mechanisms of those processes. The results provide new perspectives into the tree-valued Markov processes of Aldous and Pitman [Ann. Inst. Henri Poincar\'{e} Probab. Stat. 34 (1998) 637-686] and Abraham and Delmas [Ann. Probab. 40 (2012) 1167-1211].


title: Computing a logarithm of a unitary matrix with general spectrum

abstract: We analyze an algorithm for computing a skew-Hermitian logarithm of a unitary matrix. This algorithm is very easy to implement using standard software and it works well even for unitary matrices with no spectral conditions assumed. Certain examples, with many eigenvalues near -1, lead to very non-Hermitian output for other basic methods of calculating matrix logarithms. Altering the output of these algorithms to force an Hermitian output creates accuracy issues which are avoided in the considered algorithm. A modification is introduced to deal properly with the $J$-skew symmetric unitary matrices. Applications to numerical studies of topological insulators in two symmetry classes are discussed.


title: The FO^2 alternation hierarchy is decidable

abstract: We consider the two-variable fragment FO^2[<] of first-order logic over finite words. Numerous characterizations of this class are known. Th\'erien and Wilke have shown that it is decidable whether a given regular language is definable in FO^2[<]. From a practical point of view, as shown by Weis, FO^2[<] is interesting since its satisfiability problem is in NP. Restricting the number of quantifier alternations yields an infinite hierarchy inside the class of FO^2[<]-definable languages. We show that each level of this hierarchy is decidable. For this purpose, we relate each level of the hierarchy with a decidable variety of finite monoids. Our result implies that there are many different ways of climbing up the FO^2[<]-quantifier alternation hierarchy: deterministic and co-deterministic products, Mal'cev products with definite and reverse definite semigroups, iterated block products with J-trivial monoids, and some inductively defined omega-term identities. A combinatorial tool in the process of ascension is that of condensed rankers, a refinement of the rankers of Weis and Immerman and the turtle programs of Schwentick, Th\'erien, and Vollmer.


title: Refined Holographic Entanglement Entropy for the AdS Solitons and AdS black Holes

abstract: We consider the refinement of the holographic entanglement entropy for the holographic dual theories to the AdS solitons and AdS black holes, including the corrected ones by the Gauss-Bonnet term. The refinement is obtained by extracting the UV-independent piece of the holographic entanglement entropy, the so-called renormalized entanglement entropy which is independent of the choices of UV cutoff. Our main results are (i) the renormalized entanglement entropies of the AdS$_{d+1}$ soliton for $d=4,5$ are neither monotonically decreasing along the RG flow nor positive definite, especially around the deconfinement/confinement phase transition; (ii) there is no topological entanglement entropy for AdS$_5$ soliton even with Gauss-Bonnet correction; (iii) for the AdS black holes, the renormalized entanglement entropy obeys an expected volume law at IR regime, and the transition between UV and IR regimes is a smooth crossover even with Gauss-Bonnet correction; (iv) based on AdS/MERA conjecture, we postulate that the IR fixed-point state for the non-extremal AdS soliton is a trivial product state.


title: Finite element modelling of shock-induced damages on ceramic hip prostheses

abstract: The aim of this work was to simulate the behaviour of hip prostheses under mechanical shocks. When hip joint is replaced by prosthesis, during the swing phase of the leg, a microseparation between the prosthetic head and the cup could occur. Two different sizes of femoral heads were studied: 28 and 32 mm diameter, made, respectively, in alumina and zirconia. The shock-induced stress was determined numerically using finite element analysis (FEA), Abaqus software. The influence of inclination, force, material, and microseparation was studied. In addition, an algorithm was developed from a probabilistic model, Todinov's approach, to predict lifetime of head and cup. Simulations showed maximum tensile stresses were reached on the cup's surfaces near to rim. The worst case was the cup-head mounted at 30^{\circ}. All simulations and tests showed bulk zirconia had a greater resistance to shocks than bulk alumina. The probability of failure could be bigger than 0.9 when a porosity greater than 0.7% vol. is present in the material. Simulating results showed good agreement with experimental results. The tests and simulations are promising for predicting the lifetime of ceramic prostheses.


title: Shock machine for the mechanical behaviour of hip prostheses: a description of performance capabilities

abstract: The aim of this study was to describe the behaviour of a shock machine designed for testing hip prostheses. A microseparation between head and cup occurs inducing a shock of several times the body weight, leading to fracture of ceramic femoral components. Femoral heads and cups of diameter 32 mm manufactured from alumina were tested in dry and wet conditions. Implants were subjected to shocks with a load profile of 9 kN load at 2 Hz and various microseparations. Position is monitored and force is measured with two acquisition systems. The working range and the device capabilities were investigated. Only cups tested in dry conditions failed. Observations by scanning electron microscopy revealed intergranular and transgranular fractures. Two wear stripes were observed on the heads. Three-dimensional roughness of wear stripes was measured. Since experimental results are in good agreement with retrieved femoral heads, the shocks machine reproduces the in vivo degradations.


title: Fine asymptotics of profiles and relaxation to equilibrium for growth-fragmentation equations with variable drift rates

abstract: We are concerned with the long-time behavior of the growth-fragmentation equation. We prove fine estimates on the principal eigenfunctions of the growth-fragmentation operator, giving their first-order behavior close to 0 and $+\infty$. Using these estimates we prove a spectral gap result by following the technique in [Caceres, Canizo, Mischler 2011, JMPA], which implies that solutions decay to the equilibrium exponentially fast. The growth and fragmentation coefficients we consider are quite general, essentially only assumed to behave asymptotically like power laws.


title: A Logical Framework for Set Theories

abstract: Axiomatic set theory is almost universally accepted as the basic theory which provides the foundations of mathematics, and in which the whole of present day mathematics can be developed. As such, it is the most natural framework for Mathematical Knowledge Management. However, in order to be used for this task it is necessary to overcome serious gaps that exist between the "official" formulations of set theory (as given e.g. by formal set theory ZF) and actual mathematical practice. In this work we present a new unified framework for formalizations of axiomatic set theories of different strength, from rudimentary set theory to full ZF. It allows the use of set terms, but provides a static check of their validity.


title: Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

abstract: We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic includes primitive constructors of least and greatest fixed points of predicate transformers, but contrary to the common approach, we do not restrict ourselves to positive operators to ensure monotonicity, instead we use the Mendler-style, motivated here by the concept of monotonization of an arbitrary operator on a complete lattice. We prove an adequacy theorem with respect to a realizability semantics based on saturated sets and saturated-valued functions and as a consequence we obtain the strong normalization property for the proof-term reduction, an important feature which is absent in previous related work.


title: On Graph Refutation for Relational Inclusions

abstract: We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty extension. This sound and complete calculus is conceptually simpler and easier to use than the usual ones.


title: A Formalization of the Theorem of Existence of First-Order Most General Unifiers

abstract: This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.


title: Classical and quantum satisfiability

abstract: We present the linear algebraic definition of QSAT and propose a direct logical characterization of such a definition. We then prove that this logical version of QSAT is not an extension of classical satisfiability problem (SAT). This shows that QSAT does not allow a direct comparison between the complexity classes NP and QMA, for which SAT and QSAT are respectively complete.


title: D3-D5 Holography with Flux

abstract: It is shown that the Berezinski-Kosterlitz-Thouless phase transition that has been found in D3-D5 brane systems with nonzero magnetic field and charge density can also be found by tuning an extra-dimensional magnetic flux. We find numerical solutions for the probe D5-brane embedding and discuss properties of the solutions. We also demonstrate that the nontrivial embeddings include those which can be regarded as spontaneously breaking chiral symmetry.


title: Gas density profile in dark matter halo in chameleon cosmology

abstract: We investigate the gas density, temperature, and pressure profiles in a dark matter halo under the influence of the chameleon force. We solve the hydrostatic equilibrium equation for the gas coupled with the chameleon field in an analytic manner, using an approximate solution for the chameleon field equation with the source term, with a generalized Navarro-Frenk-White universal density profile. We find that the gas distribution becomes compact because a larger pressure gradient is necessary due to the additional chameleon force. By confronting the theoretical prediction with the data of the temperature profile of the Hydra A cluster according to Suzaku x-ray observations out to the virial radius, we demonstrate that a useful constraint on a model parameter can be obtained depending on the value of the coupling constant. For example, the upper bound of the background value of chameleon field, $\phi_\infty<10^{-4}\mpl$, is obtained in the case $\beta=1$, where $\beta$ is the coupling constant between the chameleon field and the matter, and $\mpl$ is the Planck mass. However, the error of the present data is not so small that we obtain a useful constraint in the case $\beta=1/\sqrt{6}$, which corresponds to an $f(R)$ model.


title: Intersecting Quantum Gravity with Noncommutative Geometry - a Review

abstract: We review applications of noncommutative geometry in canonical quantum gravity. First, we show that the framework of loop quantum gravity includes natural noncommutative structures which have, hitherto, not been explored. Next, we present the construction of a spectral triple over an algebra of holonomy loops. The spectral triple, which encodes the kinematics of quantum gravity, gives rise to a natural class of semiclassical states which entail emerging fermionic degrees of freedom. In the particular semiclassical approximation where all gravitational degrees of freedom are turned off, a free fermionic quantum field theory emerges. We end the paper with an extended outlook section.


title: Near-brane SU(6) origin Higgs in Scherk-Schwarz breaking of five-dimensional SU(6) GUT

abstract: The symmetry breaking of five-dimensional SU(6) GUT is realized by Scherk-Schwarz mechanisms through trivial and pseudo nontrivial orbifold S1/Z2 breakings to produce dimensional deconstruction 5D SU(6) \rightarrow4D SU(6). The latter also induces near-brane weakly-coupled SU(6) Baby Higgs to further break the symmetry into SU(3)C \otimes SU(3)H \otimes U(1)C. The model successfully provides a scenario of the origin of (Little) Higgs from GUT scale, produces the (intermediate and light) Higgs boson with the most preferred range and establishes coupling unification and compactification scale correctly.


title: Impact of edge-removal on the centrality betweenness of the best spreaders

abstract: The control of epidemic spreading is essential to avoid potential fatal consequences and also, to lessen unforeseen socio-economic impact. The need for effective control is exemplified during the severe acute respiratory syndrome (SARS) in 2003, which has inflicted near to a thousand deaths as well as bankruptcies of airlines and related businesses. In this article, we examine the efficacy of control strategies on the propagation of infectious diseases based on removing connections within real world airline network with the associated economic and social costs taken into account through defining appropriate quantitative measures. We uncover the surprising results that removing less busy connections can be far more effective in hindering the spread of the disease than removing the more popular connections. Since disconnecting the less popular routes tend to incur less socio-economic cost, our finding suggests the possibility of trading minimal reduction in connectivity of an important hub with efficiencies in epidemic control. In particular, we demonstrate the performance of various local epidemic control strategies, and show how our approach can predict their cost effectiveness through the spreading control characteristics.


title: Full vectorial analysis of polarization effects in optical nanowires

abstract: We develop a full theoretical analysis of the nonlinear interactions of the two polarizations of a waveguide by means of a vectorial model of pulse propagation which applies to high index subwavelength waveguides. In such waveguides there is an anisotropy in the nonlinear behavior of the two polarizations that originates entirely from the waveguide structure, and leads to switching properties. We determine the stability properties of the steady state solutions by means of a Lagrangian formulation. We find all static solutions of the nonlinear system, including those that are periodic with respect to the optical fiber length as well as nonperiodic soliton solutions, and analyze these solutions by means of a Hamiltonian formulation. We discuss in particular the switching solutions which lie near the unstable steady states, since they lead to self-polarization flipping which can in principle be employed to construct fast optical switches and optical logic gates.


title: A finite dimensional approach to the strong Novikov conjecture

abstract: The aim of this paper is to introduce an approach to the (strong) Novikov conjecture based on continuous families of finite dimensional representations: this is partly inspired by ideas of Lusztig using the Atiyah-Singer families index theorem, and partly by Carlsson's deformation $K$--theory. Using this approach, we give new proofs of the strong Novikov conjecture in several interesting cases, including crystallographic groups and surface groups. The method presented here is relatively accessible compared with other proofs of the Novikov conjecture, and also yields some information about the $K$--theory and cohomology of representation spaces.


title: Uniform Local Amenability

abstract: The main results of this paper show that various coarse (`large scale') geometric properties are closely related. In particular, we show that property A implies the operator norm localisation property, and thus that norms of operators associated to a very large class of metric spaces can be effectively estimated. The main tool is a new property called uniform local amenability. This property is easy to negate, which we use to study some `bad' spaces. We also generalise and reprove a theorem of Nowak relating amenability and asymptotic dimension in the quantitative setting.


title: Fuzzy spaces from tensor models, cyclicity condition, and n-ary algebras

abstract: The rank-three tensor models, which have a rank-three tensor as their only dynamical variable, may be interpreted as models of dynamical fuzzy spaces. In this interpretation, the generalized Hermiticity condition on the rank-three tensor leads to a cyclic property of the algebra of functions on fuzzy spaces. The fuzzy spaces with the cyclic property are shown to have various physically interesting characteristics. (i) Although the function algebras of the kind are nonassociative in general, various properties analogous to quantum mechanics hold on the fuzzy spaces. (ii) The symmetry of the rank-three tensor models can be shown to be represented systematically by n-ary transformations on the fuzzy spaces. The transformations contain, for instance, diffeomorphism on fuzzy spaces. (iii) There exists a systematic procedure of truncating the function algebras of the kind, and it can be used to consider subspaces, compactifications, lattice theories, and coarsegraining procedures of fuzzy spaces in physical applications.


title: Fast Purcell-enhanced single photon source in 1,550-nm telecom band from a resonant quantum dot-cavity coupling

abstract: High-bit-rate nanocavity-based single photon sources in the 1,550-nm telecom band are challenges facing the development of fibre-based long-haul quantum communication networks. Here we report a very fast single photon source in the 1,550-nm telecom band, which is achieved by a large Purcell enhancement that results from the coupling of a single InAs quantum dot and an InP photonic crystal nanocavity. At a resonance, the spontaneous emission rate was enhanced by a factor of 5 resulting a record fast emission lifetime of 0.2 ns at 1,550 nm. We also demonstrate that this emission exhibits an enhanced anti-bunching dip. This is the first realization of nanocavity-enhanced single photon emitters in the 1,550-nm telecom band. This coupled quantum dot cavity system in the telecom band thus provides a bright high-bit-rate non-classical single photon source that offers appealing novel opportunities for the development of a long-haul quantum telecommunication system via optical fibres.


title: Automorphisms and opposition in twin buildings

abstract: We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least 3 maps every residue of one fixed type to an opposite. The main ingredient of the proof is a lemma that states that every duality of a thick finite projective plane admits an absolute point, i.e., a point mapped onto an incident line. Our results also hold for all finite irreducible spherical buildings of rank at least 3, and as a consequence we deduce that every involution of a thick irreducible finite spherical building of rank at least 3 has a fixed residue.


title: Causality violation in plane wave spacetimes

abstract: It is widely held that plane wave spacetimes are causally well behaved which means that they are free from causal pathologies such as closed timelike curves or closed null geodesics. In this paper, we show that one can get closed null geodesics in a plane wave metric by analytically solving the geodesic equations.


title: Linear Responses in Time-dependent Hartree-Fock-Bogoliubov Method with Gogny Interaction

abstract: A numerical method to integrate the time-dependent Hartree-Fock Bogoliubov (TDHFB) equations with Gogny interaction is proposed. The feasibility of the TDHFB code is illustrated by the conservation of the energy, particle numbers, and center-of-mass in the small amplitude vibrations of oxygen 20. The TDHFB code is applied to the isoscalar quadrupole and/or isovector dipole vibrations in the linear (small amplitude) region in oxygen isotopes (masses A = 18,20,22 and 24), titanium isotopes (A = 44,50,52 and 54), neon isotope (A = 26), and magnesium isotopes (A = 24 and 34). The isoscalar quadrupole and isovector dipole strength functions are calculated from the expectation values of the isoscalar quadrupole and isovector dipole moments.


title: Spin Hall Angle Quantification from Spin Pumping and Microwave Photoresistance

abstract: We present a method to quantify the spin Hall angle (SHA) with spin pumping and microwave photoresistance measurements. With this method, we separate the inverse spin Hall effect (ISHE) from other unwanted effects for permalloy/Pt bilayers using out-of-plane microwave excitation. Through microwave photoresistance measurements, the in- and out-of-plane precessing angles of the magnetization are determined and enabled for the exact determination of the injected pure spin current. This method is demonstrated with an almost perfect Lorentz line-shape for the obtained ISHE signal and the frequency independent SHA value as predicted by theory. By varying the Pt thickness, the SHA and spin-diffusion length of Pt is quantified as 0.012 (0.001) and 8.3 (0.9) nm, respectively.


title: Multifunctional L10-Mn1.5Ga films with ultrahigh coercivity, giant perpendicular magnetocrystalline anisotropy and large magnetic energy product

abstract: We present the fascinating magnetic properties in homogenous noble-metal-free and rare-earth-free L10-Mn1.5Ga epitaxial films on GaAs (001), including ultrahigh perpendicular coercivity remarkably tunable from 8.1 to 42.8 kOe, giant perpendicular magnetocrystalline anisotropy with a maximum of 22.9 Merg/cc, easily controllable magnetization from 27.3 to 270.5 emu/cc, excellent squareness exceeding 0.94 and large magnetic energy product up to 2.6 MGOe. These magnificent room-temperature magnetic characteristics make our L10-Mn1.5Ga films multifunctional as outstanding and cost-effective alternative for not only perpendicular magnetic recording bits with areal density over 30 Tb inch-2 and thermal stability over 60 years, but variety of novel devices with high magnetic-noise immunity and thermal stability like spin-torque MRAMs and oscillators pillars below 5 nm in dimension, and giant magnetoresistance sensors able to measure high fileds up to 42 kOe . Moreover, this kind of materials can also be expected as permanent magnets for replacing the expensive rare-earth magnets widely used today.


title: On Distance Function among Finite Set of Points

abstract: In practical purposes for some geometrical problems in computer science we have as information the coordinates of some finite points in surface instead of the whole body of a surface. The problem arised here is: "How to define a distance function in a finite space?" as we will show the appropriate function for this purpose is not a metric function. Here we try to define this distance function in order to apply it in further proposes, specially in the field setting of transportation theory and vehicle routing problem. More precisely in this paper we consider VRP problem for two dimensional manifolds in R3.


title: Statistical Mechanics of Dictionary Learning

abstract: Finding a basis matrix (dictionary) by which objective signals are represented sparsely is of major relevance in various scientific and technological fields. We consider a problem to learn a dictionary from a set of training signals. We employ techniques of statistical mechanics of disordered systems to evaluate the size of the training set necessary to typically succeed in the dictionary learning. The results indicate that the necessary size is much smaller than previously estimated, which theoretically supports and/or encourages the use of dictionary learning in practical situations.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT cs.LG math.IT


title: Nut-charged black holes in matter-coupled N=2, D=4 gauged supergravity

abstract: Using the results of arXiv:0804.0009, where all timelike supersymmetric backgrounds of N=2, D=4 matter-coupled supergravity with Fayet-Iliopoulos gauging were classified, we construct genuine nut-charged BPS black holes in AdS_4 with nonconstant moduli. The calculations are exemplified for the SU(1,1)/U(1) model with prepotential F=-iX^0X^1. The resulting supersymmetric black holes have a hyperbolic horizon and carry two electric, two magnetic and one nut charge, which are however not all independent, but are given in terms of three free parameters. We find that turning on a nut charge lifts the flat directions in the effective black hole potential, such that the horizon values of the scalars are completely fixed by the charges. We also oxidize the solutions to eleven dimensions, and find that they generalize the geometry found in hep-th/0105250 corresponding to membranes wrapping holomorphic curves in a Calabi-Yau five-fold. Finally, a class of nut-charged Nernst branes is constructed as well, but these have curvature singularities at the horizon.


title: Classical Limit of the Three-Point Function from Integrability

abstract: We give analytic expression for the three-point function of three large classical non-BPS operators N=4 Super-Yang-Mills theory at weak coupling. We restrict ourselves to operators belonging to an su(2) sector of the theory. In order to carry out the calculation we derive, by unveiling a hidden factorization property, the thermodynamical limit of Slavnov's determinant.


title: Dependence of the structural and physical properties of Tl1-yFe2-z(Se1-xSx)2 with isovalent substitution of Se by S: decrease of TNeel with S content

abstract: The effect of selenium substitution by sulfur or tellurium in the Tl1-yFe2-zSe2 antiferromagnet was studied by x-ray and electron diffraction, magnetization and transport measurements. Tl0.8Fe1.5(Se1-xXx)2 (nominal composition) solid solutions were synthesized in the full x range (0<x<1) for X=S and up to x=0.5 for X=Te, using the sealed tube technique. No superconductivity was found down to 4.2K in the case of sulfur despite the fact that the optimal crystallographic parameters, determined by Rietveld refinements, are reached in the series (i.e. the Fe-(Se,S) interplane height and (Se,S)-Fe-(Se,S) angle for which the critical superconducting transition T$_{c}$ is usually maximal in pnictides). Quasi full Tl site (y=0.05) compared to significant alkaline deficiency (y=0.2-0.3) in analogous A1-yFe2-zSe2 (A = K, Rb, Cs), and the resulting differences in iron valency, density of states and doping, are suggested to explain this absence of superconductivity. Compounds substituted with tellurium, at least up to x=0.25, show superconducting transitions but probably due to tetragonal Fe(Se,Te) impurity phase. Transmission electron microscopy confirmed the existence of ordered iron vacancies network in the samples from the Tl$_{0.8}$Fe$_{1.5}$(Se$_{1-x}$S$_{x}$)$_{2}$ series in the form of the tetragonal $\sqrt{5}$ a $\times \sqrt{5}$ a $\times$ c superstructure (\textit{I4/m}) (mixed with the orthorhombic $\sqrt{2}$ a $\times 2\sqrt{2}$ a $\times$ c form (\textit{Ibam}) if the iron vacancies level is increased). The N\'{e}el temperature (T$_{N}$) indicating the onset of antiferromagnetism order in the $\sqrt{5}$ a $\times \sqrt{5}$ a $\times$ c supercell decreases from 450K in the selenide (x=0) to 330K in the sulfide (x=1). We finally demonstrate a direct linear relationship between $T_{N\acute{e}el}$ and the Fe-(Se,S) bond length (or Fe-(Se,S) height).


title: Thermally- and mechanically-driven quantum turbulence in helium II

abstract: Quantum turbulence can be generated in superfluid helium either thermally (by applying a heat flux, as in thermal counterflow) or mechanically (by stirring the liquid). By modelling the superfluid vortex lines as reconnecting space curves with fixed circulation, and the driving normal fluid as a uniform flow (for thermal counterflow) and a synthetic turbulent flow (for mechanically-driven turbulence), we determine the difference between thermally-driven and mechanically-driven quantum turbulence. We find that in mechanically-driven turbulence the energy is concentrated at the large scales, the spectrum obeys Kolmogorov scaling, vortex lines have large curvature, and the presence of coherent vortex structures induces vortex reconnections at small angles. On the contrary, in thermally-driven turbulence the energy is concentrated at the mesoscales, the curvature is smaller, the vorticity field is featureless and reconnections occur at larger angles. Our results suggest a method to experimentally infer the presence of superfluid vortex bundles.


title: Existence and stability of solitons for fully discrete approximations of the nonlinear Schr\"odinger equation

abstract: In this paper we study the long time behavior of a discrete approximation in time and space of the cubic nonlinear Schr\"odinger equation on the real line. More precisely, we consider a symplectic time splitting integrator applied to a discrete nonlinear Schr\"odinger equation with additional Dirichlet boundary conditions on a large interval. We give conditions ensuring the existence of a numerical soliton which is close in energy norm to the continuous soliton. Such result is valid under a CFL condition between the time and space stepsizes. Furthermore we prove that if the initial datum is symmetric and close to the continuous soliton, then the associated numerical solution remains close to the orbit of the continuous soliton for very long times.


title: Leptonic and Digamma decay Properties of S-wave quarkonia states

abstract: Based on Martin like potential, the S-wave masses of quarkonia have been reviewed. Resultant wave functions at zero inter quark separation are employed to compute the hyperfine splitting of the nS states and the leptonic and digamma decay widths of $n{^3S_1}$ and $n{^1S_0}$ states of quarkonia respectively. Analysis on the level differences of S-wave excited states of quantum mechanical bound systems show a systematic behaviour as n-increases. In view of such systematic behaviour expected for quarkonia, we observe that Y(4263) and X(4630) $1^{--}$ states are closer to the 4S and 6S states while $\psi(4415)$ and Z(4430) are closer to the 5S state of $c\bar{c}$ systems. Similarly we find $\Upsilon (10865)$ is not fit to be the 5S state of $b\bar{b}$ system. while $Y_b (10880)$ observed by Belle or (10996) observed by Babar fit to be the 6S state of bottonia. Our predicted leptonic width, 0.242 keV of $\Upsilon (10579, 4S)$ is in good agreement with the experimental value of 0.272 $\pm$ 0.029 keV. We predict the leptonic widths of the pure 5S and 6S states of upsilon states as 0.191 keV and 0.157 keV respectively. In the case of charmonia, we predict the leptonic widths of the 4S, 5S and 6S states as 0.654 keV, 0.489 keV and 0.387 keV respectively.


title: Perturbational Treatment of the Gravitational Potential Effect on Binary Black Hole Evolution

abstract: Binary black hole (BBH) systems are usually located in the gravitational potential well formed by a massive black hole (BH), which is mostly located in the center of a galaxy. In most existing studies, the BBH systems are treated as isolated systems, while the effect of the background is ignored. The validity of the approximation is based on the belief that the background gravitational field from other sources is extremely weak compared with the strong gravitational field produced by the BBH itself during the evolution, and can be neglected in gravitational wave detection. However, it is still interesting to check how valid this approximation is. In this work, instead of simulating the three-BH problem with a fully relativistic treatment, we use a perturbational scheme to investigate the effect of the background gravitational potential on the evolution of a BBH, especially on the waveform of its gravitational radiation. Four scenarios are considered including the head-on collision and the inspiral-to-merger process of a BBH which is either freefalling towards or circularly orbiting around a third large BH. The head-on collision and the circular inspiral are two limits of all possible configurations. The existence of the background gravitational potential changes the arrival time of the gravitational wavefront of a BH, prolongs the wavelength, and increases the gravitational radiation energy. And most interestingly, the background gravitational potential induces the higher-order modes of the gravitational wave of a BBH. These interesting phenomena can be explained by the gravitational redshift effect and the change of eccentricity of a BBH's orbit from the background gravitational potential.


title: An analysis of inhomogeneous signature-based Gr\"obner basis computations

abstract: In this paper we give an insight into the behaviour of signature-based Gr\"obner basis algorithms, like F5, G2V or SB, for inhomogeneous input. On the one hand, it seems that the restriction to sig-safe reductions puts a penalty on the performance. The lost connection between polynomial degree and signature degree can disallow lots of reductions and can lead to an overhead in the computations. On the other hand, the way critical pairs are sorted and corresponding s-polynomials are handled in signature-based algorithms is a very efficient one, strongly connected to sorting w.r.t. the well-known sugar degree of polynomials.


title: 4pi Models of CMEs and ICMEs

abstract: Coronal mass ejections (CMEs), which dynamically connect the solar surface to the far reaches of interplanetary space, represent a major anifestation of solar activity. They are not only of principal interest but also play a pivotal role in the context of space weather predictions. The steady improvement of both numerical methods and computational resources during recent years has allowed for the creation of increasingly realistic models of interplanetary CMEs (ICMEs), which can now be compared to high-quality observational data from various space-bound missions. This review discusses existing models of CMEs, characterizing them by scientific aim and scope, CME initiation method, and physical effects included, thereby stressing the importance of fully 3-D ('4pi') spatial coverage.


title: Classification of symmetric periodic trajectories in ellipsoidal billiards

abstract: We classify nonsingular symmetric periodic trajectories (SPTs) of billiards inside ellipsoids of R^{n+1} without any symmetry of revolution. SPTs are defined as periodic trajectories passing through some symmetry set. We prove that there are exactly 2^{2n}(2^{n+1}-1) classes of such trajectories. We have implemented an algorithm to find minimal SPTs of each of the 12 classes in the 2D case (R^2) and each of the 112 classes in the 3D case (R^3). They have periods 3, 4 or 6 in the 2D case; and 4, 5, 6, 8 or 10 in the 3D case. We display a selection of 3D minimal SPTs. Some of them have properties that cannot take place in the 2D case.


title: Physical Parameters of Some Close Binaries: ET Boo, V1123 Tau, V1191 Cyg, V1073 Cyg and V357 Peg

abstract: With the aim of providing new and up-to-date absolute parameters of some close binary systems, new BVR CCD photometry was carried out at the Ankara University Observatory (AUG) for five eclipsing binaries, ET Boo, V1123 Tau, V1191 Cyg, V1073 Cyg and V357 Peg between April, 2007 and October, 2008. In this paper, we present the orbital solutions for these systems obtained by simultaneous light and radial velocity curve analyses. Extensive orbital solution and absolute parameters for ET Boo system were given for the first time through this study. According to the analyses, ET Boo is a detached binary while the parameters of four remaining systems are consistent with the nature of contact binaries. The evolutionary status of the components of these systems are also discussed by referring to their absolute parameters found in this study.


title: Direct Observation of Interband Spin-Orbit Coupling in a Two-Dimensional Electron System

abstract: We report the direct observation of interband spin-orbit (SO) coupling in a two-dimensional (2D) surface electron system, in addition to the anticipated Rashba spin splitting. Using angle-resolved photoemission experiments and first-principles calculations on Bi/Ag/Au heterostructures we show that the effect strongly modifies the dispersion as well as the orbital and spin character of the 2D electronic states, thus giving rise to considerable deviations from the Rashba model. The strength of the interband SO coupling is tuned by the thickness of the thin film structures.


title: Minimal Length Scale Scenarios for Quantum Gravity

abstract: We review the question of whether the fundamental laws of nature limit our ability to probe arbitrarily short distances. First, we examine what insights can be gained from thought experiments for probes of shortest distances, and summarize what can be learned from different approaches to a theory of quantum gravity. Then we discuss some models that have been developed to implement a minimal length scale in quantum mechanics and quantum field theory. These models have entered the literature as the generalized uncertainty principle or the modified dispersion relation, and have allowed the study of the effects of a minimal length scale in quantum mechanics, quantum electrodynamics, thermodynamics, black-hole physics and cosmology. Finally, we touch upon the question of ways to circumvent the manifestation of a minimal length scale in short-distance physics.


title: Causality of the Brane Universe - OPERA and ICARUS

abstract: The apparent violation of causality in the brane Universe can be avoided by taking the bulk spacetime modelled by a 5-dimensional Kaluza theory with factorizable ansatz for the 5-dimensional metric whose components do not depend on the fifth coordinate and with $G_{55}$ not a constant. The geodesic in the bulk does not correspond to a free particle. The Kaluza scalar makes it non-inertial. The implication on the neutrino experiment is that there is no superluminal propagation even after invoking sterile neutrinos.


title: Search for supersymmetry in pp collisions at sqrt(s) = 7 TeV in final states with missing transverse momentum and b-jets with the ATLAS detector

abstract: The results of a search for supersymmetry in events with large missing transverse momentum and heavy flavour jets using an integrated luminosity corresponding to 2.05 fb^-1 of pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the Large Hadron Collider are reported. No significant excess is observed with respect to the prediction for Standard Model processes. Results are interpreted in a variety of R-parity conserving models in which scalar bottoms and tops are the only scalar quarks to appear in the gluino decay cascade, and in an SO(10) model framework. Gluino masses up to 600-900 GeV are excluded, depending on the model considered.


title: Opening of the superconducting gap in the hole pockets of Ba(Fe(1-x)Co(x))2As2 as seen via Angle-Resolved PhotoElectron Spectroscopy

abstract: We present an Angle-Resolved PhotoElectron Spectroscopy study of the changes in the electronic structure of electron doped Ba(Fe(1-x)Co(x))2As2 across the superconducting phase transition. By changing the polarization of the incoming light, we were able to observe the opening of the gap for the inner hole pocket alpha, and to compare its behavior with the outer hole-like band beta. Measurements along high symmetry directions show that the behavior of beta is consistent with an isotropic gap opening, while slight anisotropies are detected for the inner band alpha. The implications of these results for the s+/- symmetry of the superconducting order parameter are discussed, in relation to the nature of the different iron orbitals contributing to the electronic structure of this multiband system.


title: Current status of turbulent dynamo theory: From large-scale to small-scale dynamos

abstract: Several recent advances in turbulent dynamo theory are reviewed. High resolution simulations of small-scale and large-scale dynamo action in periodic domains are compared with each other and contrasted with similar results at low magnetic Prandtl numbers. It is argued that all the different cases show similarities at intermediate length scales. On the other hand, in the presence of helicity of the turbulence, power develops on large scales, which is not present in non-helical small-scale turbulent dynamos. At small length scales, differences occur in connection with the dissipation cutoff scales associated with the respective value of the magnetic Prandtl number. These differences are found to be independent of whether or not there is large-scale dynamo action. However, large-scale dynamos in homogeneous systems are shown to suffer from resistive slow-down even at intermediate length scales. The results from simulations are connected to mean field theory and its applications. Recent work on helicity fluxes to alleviate large-scale dynamo quenching, shear dynamos, nonlocal effects and magnetic structures from strong density stratification are highlighted. Several insights which arise from analytic considerations of small-scale dynamos are discussed.


title: Search for high-amplitude Delta Scuti and RR Lyrae stars in Sloan Digital Sky Survey Stripe 82 using principal component analysis

abstract: We propose a robust principal component analysis (PCA) framework for the exploitation of multi-band photometric measurements in large surveys. Period search results are improved using the time series of the first principal component due to its optimized signal-to-noise ratio.The presence of correlated excess variations in the multivariate time series enables the detection of weaker variability. Furthermore, the direction of the largest variance differs for certain types of variable stars. This can be used as an efficient attribute for classification. The application of the method to a subsample of Sloan Digital Sky Survey Stripe 82 data yielded 132 high-amplitude Delta Scuti variables. We found also 129 new RR Lyrae variables, complementary to the catalogue of Sesar et al., 2010, extending the halo area mapped by Stripe 82 RR Lyrae stars towards the Galactic bulge. The sample comprises also 25 multiperiodic or Blazhko RR Lyrae stars.


title: Renormalized two-body low-energy scattering

abstract: For a class of long-range potentials, including ultra-strong perturbations of the attractive Coulomb potential in dimension $d\geq3$, we introduce a stationary scattering theory for Schr\"odinger operators which is regular at zero energy. In particular it is well defined at this energy, and we use it to establish a characterization there of the set of generalized eigenfunctions in an appropriately adapted Besov space generalizing parts of \cite{DS3}. Principal tools include global solutions to the eikonal equation and strong radiation condition bounds.


title: Torsion group schemes as iterative differential Galois groups

abstract: We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups of L over certain ID-subfields. For an explicit example, we even give a construction of (a family of) such iterative derivations.


title: Stellar substructures in the solar neighbourhood. I. Kinematic group 3 in the Geneva-Copenhagen survey

abstract: Galactic Archeology is a powerful tool for investigating the formation and evolution of the Milky Way. We use this technique to study kinematic groups of F- and G-stars in the solar neighbourhood. From correlations between orbital parameters, three new coherent groups of stars were recently identified and suggested to correspond to remnants of disrupted satellites. We determine detailed elemental abundances in stars belonging to one of these groups and compare their chemical composition with Galactic disc stars. The aim is to look for possible chemical signatures that might give information about the history of this kinematic group of stars. High-resolution spectra were obtained with the FIES spectrograph at the Nordic Optical Telescope, La Palma, and analysed with a differential model atmosphere method. Comparison stars were observed and analysed with the same method. The average value of [Fe/H] for the 20 stars investigated in this study is -0.69 +- 0.05 dex. Elemental abundances of oxygen and alpha-elements are overabundant in comparison with Galactic thin-disc dwarfs and thin-disc chemical evolution models. This abundance pattern has similar characteristics as the Galactic thick-disc. The homogeneous chemical composition together with the kinematic properties and ages of stars in the investigated Group 3 of the Geneva-Copenhagen survey provides evidence of their common origin and possible relation to an ancient merging event. The similar chemical composition of stars in the investigated group and the thick-disc stars might suggest that their formation histories are linked.


title: Nuclear Transparency in the lightest nuclear interactions

abstract: Some experimental results on nuclear transparency effect in pC- and dC-interaction at 4.2 A GeV/c (JINR Dubna) are presented. The "half angle" ({\theta}1/2) technique was used and the particles with emission angle greater and less than {\theta}1/2 are considered separately. The results of the experimental study have been compared with the simulation data coming from the Dubna Cascade model. The values of average multiplicity, average momentum, and average transverse momentum of charged pions and protons are analyzed as a function of the number of identified protons in an event. We observed some behaviors for the data which could be considered as some nuclear transparency effects. The lasts have been divided into three main groups depending on their probable behavior: leading effect; cascade effect; medium effect.


title: On the number of cyclic subgroups of a finite abelian group

abstract: We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative properties of related counting functions for finite Abelian groups are immediate consequences of these formulae.