title: Selected topics on parton distribution functions

abstract: We report recent studies on structure functions of the nucleon and nuclei. First, clustering effects are investigated in the structure function F_2 of Be-9 for explaining an unusual nuclear correction found in a JLab experiment. We propose that high densities created by formation of clustering structure like 2*alpha+neutron in Be-9 is the origin of the unexpected JLab result by using the antisymmetrized molecular dynamics (AMD). There is an approved proposal at JLab to investigate the structure functions of light nuclei including the cluster structure, so that much details will become clear in a few years. Second, tensor-polarized quark and antiquark distributions are obtained by analyzing HERMES measurements on the structure function b_1 for the deuteron. The result suggests a finite tensor polarization for antiquark distributions, which is an interesting topic for further theoretical and experimental investigations. An experimental proposal exists at JLab for measuring b_1 of the deuteron as a new tensor-structure study in 2010's. Furthermore, the antiquark tensor polarization could be measured by polarized deuteron Drell-Yan processes at hadron facilities such as J-PARC and GSI-FAIR. Third, the recent CDF dijet anomaly is investigated within the standard model by considering possible modifications of the strange-quark distribution. We find that the shape of a dijet-mass spectrum changes depending on the strange-quark distribution. It indicates that the CDF excess could be partially explained as a PDF effect, particularly by the strangeness in the nucleon, within the standard model if the excess at m_{jj}~140 GeV is not a sharp peak.


title: Nuclear mass predictions with radial basis function approach

abstract: With the help of radial basis function (RBF) and the Garvey-Kelson relation, the accuracy and predictive power of some global nuclear mass models are significantly improved. The rms deviation between predictions from four models and 2149 known masses falls to about 200 keV. The AME95-03 and AME03-Border tests show that the RBF approach is a very useful tool for further improving the reliability of mass models. Simultaneously, the differences from different model predictions for unknown masses are remarkably reduced and the isospin symmetry is better represented when the RBF extrapolation is combined.


title: A local version of Bando's theorem on the real-analyticity of solutions to the Ricci flow

abstract: It is a theorem of S. Bando that if $g(t)$ is a solution to the Ricci flow on a compact manifold $M$, then $(M, g(t))$ is real-analytic for each $t >0$. In this note, we extend his result to smooth solutions on open domains $U\subset M$.


title: Toric complete intersection codes

abstract: In this paper we give lower bounds for the minimum distance of evaluation codes constructed from complete intersections in toric varieties. This generalizes the results of Gold-Little-Schenck and Ballico-Fontanari who considered evaluation codes on complete intersections in the projective space.


title: Modular-type functions attached to mirror quintic Calabi-Yau varieties

abstract: In this article we study a differential algebra of modular-type functions attached to the periods of a one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths around seventies on the existence of automorphic functions for the moduli of polarized Hodge structures.


title: Thin Film Growth and Device Fabrication of Iron-Based Superconductors

abstract: Iron-based superconductors have received much attention as a new family of high-temperature superconductors owing to their unique properties and distinct differences from cuprates and conventional superconductors. This paper reviews progress in thin film research on iron-based superconductors since their discovery for each of five material systems with an emphasis on growth, physical properties, device fabrication, and relevant bulk material properties.


title: Microscopic approach to large-amplitude deformation dynamics with local QRPA inertial masses

abstract: We have developed a new method for determining microscopically the fivedimensional quadrupole collective Hamiltonian, on the basis of the adiabatic self-consistent collective coordinate method. This method consists of the constrained Hartree-Fock-Bogoliubov (HFB) equation and the local QRPA (LQRPA) equations, which are an extension of the usual QRPA (quasiparticle random phase approximation) to non-HFB-equilibrium points, on top of the CHFB states. One of the advantages of our method is that the inertial functions calculated with this method contain the contributions of the time-odd components of the mean field, which are ignored in the widely-used cranking formula. We illustrate usefulness of our method by applying to oblate-prolate shape coexistence in 72Kr and shape phase transition in neutron-rich Cr isotopes around N=40.


title: The Effect of Protein Length on the Ploidy Level and Environmental Tolerance of Organisms

abstract: This paper summarizes previous work linking protein aggregation to the heterozygosity of organisms. It also cites the literature showing a correlation between species' morphological complexity and the lengths of their proteins. These two findings are combined to form a theory that may potentially explain the ploidy levels of organisms. Organisms can employ heterozygosity to inhibit protein aggregation. Hence, complex organisms tend to be diploid because they tend to synthesize long, aggregation-prone proteins. On the other hand, simple organisms tend to be haploid because they synthesize short proteins that are less prone to aggregation. The theory may also explain ecological trends associated with organisms of different ploidy level. Two mathematical models are also developed that may explain: 1) how protein aggregation results in truncation selection that maintains numerous polymorphisms in natural populations, and 2) the relationship between protein turnover, metabolic efficiency, and heterosis.


title: Phase diagrams and critical behavior of the quantum spin-1/2 XXZ model on diamond-type hierarchical lattices

abstract: In this paper, the phase diagrams and the critical behavior of the spin-1/2 anisotropic XXZ ferromagnetic model (the anisotropic parameter {\Delta}\in(-\infty,1]) on two kinds of diamond-type hierarchical (DH) lattices with fractal dimensions d_{f}=2.58 and 3, respectively, are studied via the real-space renormalization group method. It is found that in the isotropic Heisenberg limit ({\Delta}=0), there exist finite temperature phase transitions for the two kinds of DH lattices above. The systems are also investigated in the range of -\infty<{\Delta}<0 and it is found that they exhibit XY-like fixed points. Meanwhile, the critical exponents of the above two systems are also calculated. The results show that for the lattice with d_{f}=2.58, the value of the Ising critical exponent {\nu}_{I} is the same as that of classical Ising model and the isotropic Heisenberg critical exponent {\nu}_{H} is a finite value, and for the lattice with d_{f}=3, the values of {\nu}_{I} and {\nu}_{H} agree well with those obtained on the simple cubic lattice. We also discuss the quantum fluctuation at all temperatures and find the fluctuation of XY-like model is stronger than the anistropic Heisenberg model at the low-temperature region. By analyzing the fluctuation, we conclude that there will be remarkable effect of neglecting terms on the final results of the XY-like model. However, we can obtain approximate result at bigger temperatures and give qualitatively correct picture of the phase diagram.


title: Study of pygmy dipole resonance with a new time-dependent mean field theory

abstract: We carry out a systematic investigation on the low-energy electric dipole strength, which is often called pygmy dipole resonances (PDR), using the canonical-basis time-dependent Hartree-Fock-Bogoliubov (Cb-TDHFB) method. The Cb-TDHFB is a new method which is derived from TDHFB with an approximation analogous to the BCS theory that the pair potential is assumed to be diagonal in the time-dependent canonical basis. We apply the method to linear-response calculation for even-even nuclei. We report the neutron-number dependence of PDR in light (A < 70) and heavy isotopes (A > 100) around N = 82.


title: Ces\`aro Summability of Fourier Orthogonal Expansions on the Cylinder

abstract: A result concerning the Ces\`aro summability of the Fourier orthogonal expansion of a function on the cylinder, where the orthogonal basis consists of orthogonal polynomials, in the $L^p$ norms is presented. An upper bound for critical index $\delta$ is obtained.


title: Relativistic ideal Bose gas in Harmonic traps

abstract: Using semiclassical approximation method, Bose-Einstein condensation (BEC) of a relativistic ideal boson gas (RIBG) with and without antibosons in three-dimensional (3-D) harmonic traps is investigated. The BEC transition temperature T_{c} and the Helmholtz free energy at T_{c} are calculated. The effect of the rest mass of the boson on the properties of the system is also studied. We find that T_{c} of RIBG is higher than that of the nonrelativistic approximation. The RIBG with antibosons is also investigated and it is found that the Helmholtz free energy of the system with antibosons at T_{c} is lower than that of the system without antibosons. It implies that the system with antibosons is more stable.


title: A Search for Millisecond Pulsars in Fermi LAT-Detected Globular Clusters

abstract: We have searched for millisecond pulsars (MSPs) in two globular clusters detected by the Fermi Large Area Telescope. These clusters contained no known MSPs prior to their detections in gamma rays. The discovery of gamma ray emission from many MSPs and the prevalence of MSPs in globular clusters points to a population of MSPs as the likely source of the detected GeV emission, directing our search for new cluster MSPs. We observed NGC 6652 and NGC 6388 at 2 GHz with the Green Bank Ultimate Pulsar Processing Instrument pulsar backend at the Green Bank Telescope using the coherent dedispersion mode. We have discovered one MSP in the gamma ray error circle of NGC 6652. This pulsar is interesting because, while positionally coincident with the GC, it has a much lower dispersion measure than expected from the NE2001 galactic free electron density model. It is unclear whether the MSP is a foreground pulsar or a cluster member, and whether the pulsar, cluster, or both, is responsible for the gamma ray emission. Timing the MSP will give the pulsar position and a solid identification of the pulsar as a cluster member if it is within a few core radii of the cluster center, as well as the opportunity to search for gamma ray pulsations and determine the origin of the GeV emission.


title: Structural quantum criticality and superconductivity in iron-based superconductor Ba(Fe1-xCox)2As2

abstract: We investigated the elastic properties of the iron-based superconductor Ba(Fe1-xCox)2As2 with eight Co concentrations. The elastic constant C66 shows large elastic softening associated with the structural phase transition. The C66 was analyzed base on localized and itinerant pictures of Fe-3d electrons, which shows the strong electron-lattice coupling and a possible mass enhancement in this system. The results resemble those of unconventional superconductors, where the properties of the system are governed by the quantum fluctuations associated with the zero-temperature critical point of the long-range order; namely, the quantum critical point (QCP). In this system, the inverse of C66 behaves just like the magnetic susceptibility in the magnetic QCP systems. While the QCPs of these existing superconductors are all ascribed to antiferromagnetism, our systematic studies on the canonical iron-based superconductor Ba(Fe1-xCox)2As2 have revealed that there is a signature of "structural quantum criticality" in this material, which is so far without precedent. The elastic constant anomaly is suggested to concern with the emergence of superconductivity. These results highlight the strong electron-lattice coupling and effect of the band in this system, thus challenging the prevailing scenarios that focus on the role of the iron 3d-orbitals.


title: GeV Gamma-ray Emission from the Binary PSR B1259-63/SS2883 During the 2010 Periastron Passage

abstract: PSR B1259-63/SS2883 is a binary system which consists of a 48-ms radio pulsar and a massive star in a highly eccentric orbit with a period of about 3.4 years. Non-pulsed and non-thermal emissions from this binary have been reported in the radio, X-ray and TeV gamma-ray energy ranges. Light curves in the radio and X-ray bands showed characteristic double-peaked features which can be attibuted to the interactions of the pulsar wind and the Be disk during the crossings by the pulsar. The TeV light curves around periastron differ between 2004 and 2007 observations, and the feature is not conclusive. We report a detection of GeV gamma-ray emission around the periastron passage in December 2010 with Fermi-LAT.


title: Platform Dependent Verification: On Engineering Verification Tools for 21st Century

abstract: The paper overviews recent developments in platform-dependent explicit-state LTL model checking.


title: Variations on Multi-Core Nested Depth-First Search

abstract: Recently, two new parallel algorithms for on-the-fly model checking of LTL properties were presented at the same conference: Automated Technology for Verification and Analysis, 2011. Both approaches extend Swarmed NDFS, which runs several sequential NDFS instances in parallel. While parallel random search already speeds up detection of bugs, the workers must share some global information in order to speed up full verification of correct models. The two algorithms differ considerably in the global information shared between workers, and in the way they synchronize. Here, we provide a thorough experimental comparison between the two algorithms, by measuring the runtime of their implementations on a multi-core machine. Both algorithms were implemented in the same framework of the model checker LTSmin, using similar optimizations, and have been subjected to the full BEEM model database. Because both algorithms have complementary advantages, we constructed an algorithm that combines both ideas. This combination clearly has an improved speedup. We also compare the results with the alternative parallel algorithm for accepting cycle detection OWCTY-MAP. Finally, we study a simple statistical model for input models that do contain accepting cycles. The goal is to distinguish the speedup due to parallel random search from the speedup that can be attributed to clever work sharing schemes.


title: Distributed Parametric and Statistical Model Checking

abstract: Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.


title: Lazy Decomposition for Distributed Decision Procedures

abstract: The increasing popularity of automated tools for software and hardware verification puts ever increasing demands on the underlying decision procedures. This paper presents a framework for distributed decision procedures (for first-order problems) based on Craig interpolation. Formulas are distributed in a lazy fashion, i.e., without the use of costly decomposition algorithms. Potential models which are shown to be incorrect are reconciled through the use of Craig interpolants. Experimental results on challenging propositional satisfiability problems indicate that our method is able to outperform traditional solving techniques even without the use of additional resources.


title: PKind: A parallel k-induction based model checker

abstract: PKind is a novel parallel k-induction-based model checker of invariant properties for finite- or infinite-state Lustre programs. Its architecture, which is strictly message-based, is designed to minimize synchronization delays and easily accommodate the incorporation of incremental invariant generators to enhance basic k-induction. We describe PKind's functionality and main features, and present experimental evidence that PKind significantly speeds up the verification of safety properties and, due to incremental invariant generation, also considerably increases the number of provable ones.


title: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

abstract: CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when run in parallel setting.


title: Distributed MAP in the SpinJa Model Checker

abstract: Spin in Java (SpinJa) is an explicit state model checker for the Promela modelling language also used by the SPIN model checker. Designed to be extensible and reusable, the implementation of SpinJa follows a layered approach in which each new layer extends the functionality of the previous one. While SpinJa has preliminary support for shared-memory model checking, it did not yet support distributed-memory model checking. This tool paper presents a distributed implementation of a maximal accepting predecessors (MAP) search algorithm on top of SpinJa.


title: The HIVE Tool for Informed Swarm State Space Exploration

abstract: Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces. In case bugs are absent, however, scalability of the parallelisation is completely lost. In recent work, we proposed a mechanism to inform the workers which parts of the state space to explore. This mechanism is compatible with any action-based formalism, where a state space can be represented by a labelled transition system. With this extension, each worker can be strictly bounded to explore only a small fraction of the state space at a time. In this paper, we present the HIVE tool together with two search algorithms which were added to the LTSmin tool suite to both perform a preprocessing step, and execute a bounded worker search. The new tool is used to coordinate informed swarm explorations, and the two new LTSmin algorithms are employed for preprocessing a model and performing the individual searches.


title: Outlier Detection for DNA Fragment Assembly

abstract: Given $n$ length-$\ell$ strings $S =\{s_1, ..., s_n\}$ over a constant size alphabet $\Sigma$ together with parameters $d$ and $k$, the objective in the {\em Consensus String with Outliers} problem is to find a subset $S^*$ of $S$ of size $n-k$ and a string $s$ such that $\sum_{s_i \in S^*} d(s_i, s) \leq d$. Here $d(x, y)$ denotes the Hamming distance between the two strings $x$ and $y$. We prove 1. a variant of {\em Consensus String with Outliers} where the number of outliers $k$ is fixed and the objective is to minimize the total distance $\sum_{s_i \in S^*} d(s_i, s)$ admits a simple PTAS. (ii) Under the natural assumption that the number of outliers $k$ is small, the PTAS for the distance minimization version of {\em Consensus String with Outliers} performs well. In particular, as long as $k\leq cn$ for a fixed constant $c < 1$, the algorithm provides a $(1+\epsilon)$-approximate solution in time $f(1/\epsilon)(n\ell)^{O(1)}$ and thus, is an EPTAS. 2. In order to improve the PTAS for {\em Consensus String with Outliers} to an EPTAS, the assumption that $k$ is small is necessary. Specifically, when $k$ is allowed to be arbitrary the {\em Consensus String with Outliers} problem does not admit an EPTAS unless FPT=W[1]. This hardness result holds even for binary alphabets. 3. The decision version of {\em Consensus String with Outliers} is fixed parameter tractable when parameterized by $\frac{d}{n-k}$. and thus, also when parameterized by just $d$. To the best of our knowledge, {\em Consensus String with Outliers} is the first problem that admits a PTAS, and is fixed parameter tractable when parameterized by the value of the objective function but does not admit an EPTAS under plausible complexity assumptions.


title: $\rho$ meson decay width from 2+1 flavor lattice QCD

abstract: We perform a lattice QCD study of the $\rho$ meson decay from the $N_f=2+1$ full QCD configurations generated with a renormalization group improved gauge action and a non-perturbatively $O(a)$-improved Wilson fermion action. The resonance parameters, the effective $\rho\to\pi\pi$ coupling constant and the resonance mass, are estimated from the $P$-wave scattering phase shift for the isospin I=1 two-pion system. The finite size formulas are employed to calculate the phase shift from the energy on the lattice. Our calculations are carried out at two quark masses, $m_\pi=410\,{\rm MeV}$ ($m_\pi/m_\rho=0.46$) and $m_\pi=300\,{\rm MeV}$ ($m_\pi/m_\rho=0.35$), on a $32^3\times 64$ ($La=2.9\,{\rm fm}$) lattice at the lattice spacing $a=0.091\,{\rm fm}$. We compare our results at these two quark masses with those given in the previous works using $N_f=2$ full QCD configurations and the experiment.


title: GeV-TeV Blazar Population Studies

abstract: The synergy between the Fermi-LAT and ground-based Cherenkov telescope arrays gives us the opportunity for the first time to characterize the high energy emission (100 MeV - 10 TeV) from more than 30 blazars. In this study we performed a Fermi-LAT spectral analysis for all TeV-detected blazars and combined it with archival TeV spectra. Our results for low synchrotron-peaked BL Lacs (LBL) show hints of absorption features in the GeV band that could be interpreted as internal opacity at the source. We note that simple or broken power laws cannot describe all the observed GeV-TeV spectra and more complex spectral shapes seem required.


title: Fast reconstruction of phylogenetic trees using locality-sensitive hashing

abstract: We present the first sub-quadratic time algorithm that with high probability correctly reconstructs phylogenetic trees for short sequences generated by a Markov model of evolution. Due to rapid expansion in sequence databases, such very fast algorithms are becoming necessary. Other fast heuristics have been developed for building trees from very large alignments (Price et al, and Brown et al), but they lack theoretical performance guarantees. Our new algorithm runs in $O(n^{1+\gamma(g)}\log^2n)$ time, where $\gamma$ is an increasing function of an upper bound on the branch lengths in the phylogeny, the upper bound $g$ must be below$1/2-\sqrt{1/8} \approx 0.15$, and $\gamma(g)<1$ for all $g$. For phylogenies with very short branches, the running time of our algorithm is close to linear. For example, if all branch lengths correspond to a mutation probability of less than 0.02, the running time of our algorithm is roughly $O(n^{1.2}\log^2n)$. Via a prototype and a sequence of large-scale experiments, we show that many large phylogenies can be reconstructed fast, without compromising reconstruction accuracy.


title: An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks

abstract: Wireless sensor networks (WSNs) have recently attracted a lot of interest in the research community due their wide range of applications. Unfortunately, these networks are vulnerable to numerous security threats that can adversely affect their proper functioning. This problem is more critical if the network is deployed for some mission-critical applications such as in a tactical battlefield. Random failure of nodes and intentional compromise of nodes by an insider attack in a WSN pose particularly difficult challenges to security engineers as these attacks cannot be defended by traditional cryptography-based mechanisms. In this paper, a security solution is proposed for detecting compromised and faulty nodes in a WSN. The mechanism also isolates a compromised node from the network so that it cannot participate in any network activity. The proposed mechanism is based on misbehavior classification, behaviour monitoring and trust management. It involves minimum computation and communication overhead and is ideally suited for a resource-constrained, high-integrity WSN.


title: Stacey crossed products associated to Exel systems

abstract: There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we show that every Exel crossed product is isomorphic to a Stacey crossed product, though by a different endomorphism of a different C*-algebra. We apply this result to a variety of Exel systems, including those associated to shifts on the path spaces of directed graphs.


title: A Distributed Intrusion Detection System Using Cooperating Agents

abstract: The current intrusion detection systems have a number of problems that limit their configurability, scalability and efficiency. There have been some propositions about distributed architectures based on multiple independent agents working collectively for intrusion detection. However, these distributed intrusion detection systems are not fully distributed as most of them centrally analyze data collected from distributed nodes which may lead to a single point of failure. In this paper, a distributed intrusion detection architecture is presented that is based on autonomous and cooperating agents without any centralized analysis components. The agents cooperate by using a hierarchical communication of interests and data, and the analysis of intrusion data is made by the agents at the lowest level of the hierarchy. This architecture provides significant advantages in scalability, flexibility, extensibility, fault tolerance, and resistance to compromise. A proof-of-concept prototype is developed and experiments have been conducted on it. The results show the effectiveness of the system in detecting intrusive activities.


title: On the violation of Thurston-Bennequin inequality for a certain non-convex hypersurface

abstract: We show that any open subset of a contact manifold of dimension greater than three contains a certain non-convex hypersurface violating the Thurston-Bennequin inequality.


title: A note on the integral equation for the Wilson loop in N = 2 D=4 superconformal Yang-Mills theory

abstract: We propose an alternative method to study the saddle point equation in the strong coupling limit for the Wilson loop in $\mathcal{N}=2$ D=4 super Yang-Mills with an SU(N) gauge group and 2N hypermultiplets. This method is based on an approximation of the integral equation kernel which allows to solve the simplified problem exactly. To determine the accuracy of this approximation, we compare our results to those obtained recently by Passerini and Zarembo. Although less precise, this simpler approach provides an explicit expression for the density of eigenvalues that is used to derive the planar free energy.


title: A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks

abstract: In multi-hop mobile ad hoc networks (MANETs),mobile nodes cooperate with each other without using any infrastructure such as access points or base stations. Security remains a major challenge for these networks due to their features of open medium, dynamically changing topologies, reliance on cooperative algorithms, absence of centralized monitoring points, and lack of clear lines of defense. Among the various attacks to which MANETs are vulnerable, malicious packet dropping attack is very common where a malicious node can partially degrade or completely disrupt communication in the network by consistently dropping packets. In this paper, a mechanism for detection of packet dropping attack is presented based on cooperative participation of the nodes in a MANET. The redundancy of routing information in an ad hoc network is utilized to make the scheme robust so that it works effectively even in presence of transient network partitioning and Byzantine failure of nodes. The proposed scheme is fully cooperative and thus more secure as the vulnerabilities of any election algorithm used for choosing a subset of nodes for cooperation are absent. Simulation results show the effectiveness of the protocol.


title: A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks

abstract: Protecting the network layer from malicious attacks is an important and challenging security issue in mobile ad hoc networks (MANETs). In this paper, a security mechanism is proposed to defend against a cooperative gray hole attack on the well known AODV routing protocol in MANETs. A gray hole is a node that selectively drops and forwards data packets after it advertises itself as having the shortest path to the destination node in response to a route request message from a source node. The proposed mechanism does not apply any cryptographic primitives on the routing messages. Instead, it protects the network by detecting and reacting to malicious activities of any node. Simulation results show that the scheme has a significantly high detection rate with moderate network traffic overhead.


title: A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks

abstract: A mobile ad hoc network (MANET) is a collection of autonomous nodes that communicate with each other by forming a multi-hop radio network and maintaining connections in a decentralized manner. Security remains a major challenge for these networks due to their features of open medium, dynamically changing topologies, reliance on cooperative algorithms,absence of centralized monitoring points, and lack of clear lines of defense. Most of the routing protocols for MANETs are thus vulnerable to various types of attacks. Ad hoc on-demand distance vector routing (AODV) is a very popular routing algorithm. However, it is vulnerable to the well-known black hole attack, where a malicious node falsely advertises good paths to a destination node during the route discovery process. This attack becomes more sever when a group of malicious nodes cooperate each other. In this paper, a defense mechanism is presented against a coordinated attack by multiple black hole nodes in a MANET. The simulation carried out on the proposed scheme has produced results that demonstrate the effectiveness of the mechanism in detection of the attack while maintaining a reasonable level of throughput in the network.


title: Influence of Alcohol Smell and Imagination on the Condition of the Human Organism and Subjective Human Experience

abstract: In this study, alcohol smell and imagination of alcohol has been shown to change the condition of a human organism.In this study, alcohol smell has been shown to change the condition of a human organism. Based on the test results, the presence of alcohol was observed upon breathing out, but was rarely observed in spits and much rarer in urines. This effect is most evident shortly after an olfactory perception of alcohol and continues for 60 min for some test persons. The test persons also noted the appearance of a subjective feeling of alcohol intoxication. However, the condition developed when the alcohol smell perception differed from the classical alcohol intoxication, i.e., the test subjects only have a few intoxication symptoms, and not one person would have all of them.


title: An analytical performance comparison of exchanged traded funds with index funds: 2002-2010

abstract: Exchange Traded Funds (ETFs) have been gaining increasing popularity in the investment community as is evidenced by the high growth both in the number of ETFs and their net assets since 2000. As ETFs are in nature similar to index mutual funds, in this paper we examined if this growing demand for ETFs can be explained through their outperformance as compared to index mutual funds. We considered the population of all ETFs with inception dates prior to 2002 and then for each ETF found all the passive index mutual funds that had the same investment style as the selected ETF and had inception date prior to 2002. Within each investment style we matched every ETF with all the passive index funds in that investment style and compared the performances of the matched pairs in terms of Sharp Ratios and risk adjusted buy and hold total returns for the period 2002-2010. We then applied the Wilcoxon signed rank test to examine if ETFs had better performances than index mutual funds during the sample period. Out of the 230 paired matches of all the styles, ETFs outperformed index mutual funds in 134 of the times in terms of Sharpe Ratio, however, the test of the hypothesis showed no statistically significant difference between ETFs and index funds performances in terms of Sharpe ratio. Out of the 230 paired matches of all the styles, ETFs outperformed index mutual funds in 125 of the times in terms of risk adjusted buy and hold total return, however, the test of hypothesis showed no statistically significant difference between ETFs and index funds performances in terms of risk adjusted buy and hold total return. These findings indicate there is statistically no significant difference between ETFs and passive index mutual funds performances at the fund level and investors' choice between the two is related to product characteristics and tax advantages.


title: Classification and nondegeneracy of $SU(n+1)$ Toda system with singular sources

abstract: We consider the following Toda system \Delta u_i + \D \sum_{j = 1}^n a_{ij}e^{u_j} = 4\pi\gamma_{i}\delta_{0} \text{in}\mathbb R^2, \int_{\mathbb R^2}e^{u_i} dx < \infty, \forall 1\leq i \leq n, where $\gamma_{i} > -1$, $\delta_0$ is Dirac measure at 0, and the coefficients $a_{ij}$ form the standard tri-diagonal Cartan matrix. In this paper, (i) we completely classify the solutions and obtain the quantization result: $$\sum_{j=1}^n a_{ij}\int_{\R^2}e^{u_j} dx = 4\pi (2+\gamma_i+\gamma_{n+1-i}), \;\;\forall\; 1\leq i \leq n.$$ This generalizes the classification result by Jost and Wang for $\gamma_i=0$, $\forall \;1\leq i\leq n$. (ii) We prove that if $\gamma_i+\gamma_{i+1}+...+\gamma_j \notin \mathbb Z$ for all $1\leq i\leq j\leq n$, then any solution $u_i$ is \textit{radially symmetric} w.r.t. 0. (iii) We prove that the linearized equation at any solution is \textit{non-degenerate}. These are fundamental results in order to understand the bubbling behavior of the Toda system.


title: Parity-violating photon circular polarization in $nd\rightarrow$ $^3H\gamma$ with effective field theory at thermal energy

abstract: We study the parity-violating effects in $nd\rightarrow$ $^3H\gamma$ process using pionless effective field theory (EFT($//!/!/!/pi$)) at thermal energy. For the weak $NN$ interaction the parity-violating Lagrangian contains five independent low-energy coupling constants (LECs). One can fix the coupling constants by comparison of the calculated observables with a sufficient number of experimental data. So, we need five observables to obtain LECs. One of the five parity-violating observables is the photon circular polarization ($P_\gamma$) in $nd\rightarrow$ $^3H\gamma$ process. We calculate $P_\gamma$ at the leading order in terms of LECs. We compare our results with the previous $P_\gamma$ calculation based on the model of Desplanques, Donoghue, and Holstein.


title: On Distribution of Zeros of Some Quazipolynoms

abstract: In this paper we investigate distribution of zeros for only quasipolynom and obtain exactly lower-bound for their modulus.


title: Classification of the stable solution to biharmonic problems in large dimensions

abstract: We give a new bound on the exponent for the nonexistence of stable solutions to the biharmonic problem $$\Delta^2u=u^p,\quad u>0 in \mathbb{R}^n $$ where $p>1, n \geq 20$.


title: Blow-up instability in the vortex sate of type II superconductors

abstract: A theoretical study of small thermal and electromagnetic perturbations in type-II superconductors is studied in the flux creep regime with a power-law voltage-current characteristics. The space-time evolution of temperature and electric field was calculated using the heat diffusion equation, coupled with Maxwell's equations and material law, assuming that heat diffusion is small that the magnetic diffusion. An explicit blow-up-like solution is obtained, which describes the time and space evolution of the electromagnetic field and temperature due to flux jump instabilities.


title: Dirac field in topologically massive gravity

abstract: We consider a Dirac field coupled minimally to the Mielke-Baekler model of gravity and investigate cosmological solutions in three dimensions. We arrive at a family of solutions which exists even in the limit of vanishing cosmological constant.


title: Global GRMHD Simulations of Black Hole Accretion Flows: a Convergence Study

abstract: Global, general relativistic magnetohydrodynamic (GRMHD) simulations of nonradiative, magnetized disks are widely used to model accreting black holes. We have performed a convergence study of GRMHD models computed with HARM3D. The models span a factor of 4 in linear resolution, from 96x96x64 to 384x384x256. We consider three diagnostics of convergence: (1) dimensionless shell-averaged quantities such as plasma \beta; (2) the azimuthal correlation length of fluid variables; and (3) synthetic spectra of the source including synchrotron emission, absorption, and Compton scattering. Shell-averaged temperature is, except for the lowest resolution run, nearly independent of resolution; shell-averaged plasma \beta\ decreases steadily with resolution but shows signs of convergence. The azimuthal correlation lengths of density, internal energy, and temperature decrease steadily with resolution but show signs of convergence. In contrast, the azimuthal correlation length of magnetic field decreases nearly linearly with grid size. We argue by analogy with local models, however, that convergence should be achieved with another factor of 2 in resolution. Synthetic spectra are, except for the lowest resolution run, nearly independent of resolution. The convergence behavior is consistent with that of higher physical resolution local model (shearing box) calculations and with the recent nonrelativistic global convergence studies of Hawley et al. (2011).


title: Dynamics of the magnetic flux penetration into type II superconductors

abstract: The magnetic flux penetration into the half-space superconductor sample is studied in the flux flow regime in parallel geometry assuming that an external magnetic field increasing with time in accordance with the power law. Assuming that the flux flow resistivity as a power-law function of the magnetic field induction we found an exact analytical solution for the nonlinear local magnetic flux diffusion equation. The obtained solution describes space-time distribution of the magnetic induction in the sample.


title: Measurements of the mass and width of the eta_c using psi' -> gamma eta_c

abstract: The mass and width of the lowest lying S-wave spin singlet charmonium state, the eta_c, are measured using a data sample of 1.06x10^8 psi' decays collected with the BESIII detector at the BEPCII storage ring. We use a model that incorporates interference between the signal reaction, psi' -> gamma eta_c, and a non-resonant radiative background to successfully describe the line shape of the eta_c. We measure the eta_c mass to be 2984.3 +- 0.6 +- 0.6 MeV/c^2 and the total width to be 32.0 +- 1.2 +- 1.0 MeV, where the first errors are statistical and the second are systematic.


title: Graphene on incommensurate substrates: trigonal warping and emerging Dirac cone replicas with halved group velocity

abstract: The adhesion of graphene on slightly lattice-mismatched surfaces, for instance of hexagonal boron nitride (hBN) or Ir(111), gives rise to a complex landscape of sublattice symmetry-breaking potentials for the Dirac fermions. Whereas a gap at the Dirac point opens for perfectly lattice-matched graphene on hBN, we show that the small lattice incommensurability prevents the opening of this gap and rather leads to a renormalized Dirac dispersion with a trigonal warping. This warping breaks the effective time reversal symmetry in a single valley. On top of this a new set of massless Dirac fermions is generated, which are characterized by a group velocity that is half the one of pristine graphene.


title: On Lorentzian causality with continuous metrics

abstract: We present a systematic study of causality theory on Lorentzian manifolds with continuous metrics. Examples are given which show that some standard facts in smooth Lorentzian geometry, such as light-cones being hypersurfaces, are wrong when metrics which are merely continuous are considered. We show that existence of time functions remains true on domains of dependence with continuous metrics, and that $C^{0,1}$ differentiability of the metric suffices for many key results of the smooth causality theory.


title: On the flux jumps in the flux creep regime of type - II superconductors

abstract: A theoretical study of dynamics of small thermal and electromagnetic perturbations in type-II superconductors in the flux creep regime with a nonlinear current-voltage characteristics is performed. For this purpose, the space-time evolution of temperature and electric field was calculated using the heat diffusion equation, coupled with Maxwell's equations and material law, assuming that the applied magnetic field is directed parallel to the surface of the sample. A threshold field $B_j$ for the occurrence of thermomagnetic instability has been found assuming that the heat flux diffusion is considerable faster than the magnetic flux diffusion in superconductor. The obtained stability criterion for the thermomagnetic flux jumps demonstrates the extremely high sensitivity of the threshold field on the values of the critical current density and external magnetic field sweep rate.


title: Revisiting symmetries of lattice fermions via spin-flavor representation

abstract: Employing the spin-flavor representation, we investigate the structures of the doubler-mixing symmetries and the mechanisms of their spontaneous breakdown in four types of lattice fermion formulation. We first revisit the $U(4)\timesU(4)A$ symmetries of the naive fermion with the vanishing bare mass m, and re-express them in terms of the spin-flavor representation. We apply the same method to the Wilson fermion, which possesses only the U(1) vector symmetry for general values of m. For a special value of m, however, there emerges an additional U(1) symmetry to be broken by pion condensation. We also explore two types of minimally doubled fermion, and discover a similar kind of symmetry enhancement and its spontaneous breakdown.


title: On a uniform estimate for the quaternionic Calabi problem

abstract: We establish a C^0 a priori bound on the solutions of the quaternionic Calabi-Yau equation (of Monge-Ampere type) on compact HKT manifolds with a locally flat hypercomplex structure. As an intermediate step, we prove a quaternionic version of the Gauduchon theorem.


title: Water Movement in Vascular Plants: A Primer

abstract: The origin of land plants was one of the most important events in evolutionary history of earth in terms of its broad impact on metazoan life and the biotic environment. Because vascular tissues enabled land plants to meet the challenges of terrestrial life, it is important to understand the mechanistic basis of water transport through these tissues from soil to the canopy of trees, in some cases almost 100 meters high. The answers to these questions involve not only the biology of plant vasculature, but also the physical properties of water that enable such transport. Although early researchers proposed the hypothesis of cohesion-tension of water as the likely mechanism for sap ascent, the exact mechanism of transport continues to be a hotly debated topic in the field of plant physiology. This debate continues to be enriched with several sophisticated studies on plants of various morphologies growing in diverse habitats. Although a wealth of evidence has upheld the cohesion-tension theory as being fundamentally correct, several important details about how plants deal with vascular stress remain unknown. Here, we review the recent literature on this topic with the aim of highlighting how a multi-disciplinary perspective has contributed to our understanding of the cohesion-tension theory of sap ascent in plants.


title: Making the long code shorter, with applications to the Unique Games Conjecture

abstract: The long code is a central tool in hardness of approximation, especially in questions related to the unique games conjecture. We construct a new code that is exponentially more efficient, but can still be used in many of these applications. Using the new code we obtain exponential improvements over several known results, including the following: 1. For any eps > 0, we show the existence of an n vertex graph G where every set of o(n) vertices has expansion 1 - eps, but G's adjacency matrix has more than exp(log^delta n) eigenvalues larger than 1 - eps, where delta depends only on eps. This answers an open question of Arora, Barak and Steurer (FOCS 2010) who asked whether one can improve over the noise graph on the Boolean hypercube that has poly(log n) such eigenvalues. 2. A gadget that reduces unique games instances with linear constraints modulo K into instances with alphabet k with a blowup of K^polylog(K), improving over the previously known gadget with blowup of 2^K. 3. An n variable integrality gap for Unique Games that that survives exp(poly(log log n)) rounds of the SDP + Sherali Adams hierarchy, improving on the previously known bound of poly(log log n). We show a connection between the local testability of linear codes and small set expansion in certain related Cayley graphs, and use this connection to derandomize the noise graph on the Boolean hypercube.


title: A Graph Invariant and 2-factorizations of a graph

abstract: A spanning subgraph of a graph G is called a [0,2]-factor of G, if for . is a union of some disjoint cycles, paths and isolate vertices, that span the graph G. It is easy to get a [0,2]-factor of G and there would be many of [0,2]-factors for a G.A characteristic number for a [0,2]-factor, which reflect the number of the paths and isolate vertices in it,is defineted. The [0,2]-factor of G is called maximum if its characteristic number is minimum, and is called characteristic number of G.It to be proved that characteristic number of graph is a graph invariant and a polynomial time algorithm for computing a maximum [0,2]-factor of a graph G has been given in this paper. A [0,2]-factor is Called a 2-factor, if its characteristic number is zero. That is, a 2-factor is a set of some disjoint cycles, that span G.We propose a A polynomial time algorism for computing 2-factor from a [0,2]-factor,which can be got easily. A HAMILTON Cycle is a 2-factor, therefore a necessary condition of a HAMILTON Graph is that, the graph have a 2-factor or the characteristic number of the graph is zero. The algorism, given in this paper, make it possible to examine the condition in polynomial time.


title: Renormalization and small-world model of fractal quantum repeater networks

abstract: Quantum networks provide access to exchange of quantum information. The primary task of quantum networks is to distribute entanglement between remote nodes. Although quantum repeater protocol enables long distance entanglement distribution, it has been restricted to one-dimensional linear network. Here we develop a general framework that allows application of quantum repeater protocol to arbitrary quantum repeater networks with fractal structure. Entanglement distribution across such networks is mapped to renormalization. Furthermore, we demonstrate that logarithmical times of recursive such renormalization transformations can trigger fractal to small-world transition, where a scalable quantum small-world network is achieved. Our result provides new insight into quantum repeater theory towards realistic construction of large-scale quantum networks.


title: Transition between linear and exponential propagation in Fisher-KPP type reaction-diffusion equations

abstract: We study the Fisher-KPP equation with a fractional laplacian of order {\alpha} \in (0, 1). We know that the stable state invades the unstable one at constant speed for {\alpha} = 1, and at an exponential in time velocity for {\alpha} \in (0, 1). The transition between these two different speeds is examined in this paper. We prove that during a time of the order - ln(1 - {\alpha}), the propagation is linear and then it is exponential.


title: Decay of rho and a1 mesons on the lattice using distillation

abstract: We extract the P-wave pi-pi phase shift for five values of pion relative momenta, which gives information on the rho resonance. The Breit-Wigner formula describes the pi-pi phase shift dependence nicely and we extract m(rho)=792(7)(8) MeV and the coupling g_{\rho\pi\pi}=5.13(20) at our mpi=266 MeV. We extract the P-wave scattering length a_{l=1}^{\pi\pi}=0.082(10)(3) fm^3 from the state with the lowest pion relative momenta. We also determine the S-wave rho-pi phase shift for two values of relative momenta, which provides parameters of the lowest axial resonance a1(1260). Using the Breit-Wigner fit we extract m(a1)=1.44(4) GeV and the coupling g_{a_1\rho\pi}=1.1(3) GeV. From the lowest state we also extract the rho-pi scattering length a_{l=0}^{\rho\pi}=0.23(12) fm for our mpi. The simulation is performed using one Nf=2 ensemble of gauge configurations with clover-improved Wilson quarks. The phase shifts are determined from the lowest two energy-levels, which are obtained by the variational analysis with a number of quark-antiquark and meson-meson interpolators. The correlation functions are calculated using the distillation method with the Laplacian Heaviside (LapH) smearing of quarks.


title: Nondiffusive suprathermal ion transport in simple magnetized toroidal plasmas

abstract: We investigate suprathermal ion dynamics in simple magnetized toroidal plasmas in the pres- ence of electrostatic turbulence driven by the ideal interchange instability. Turbulent fields from fluid simulations are used in the non-relativistic equation of ion motion to compute suprathermal tracer ion trajectories. Suprathermal ion dispersion starts with a brief ballistic phase, during which particles do not interact with the plasma, followed by a turbulence interaction phase. In this one simple system, we observe the entire spectrum of suprathermal ion dynamics, from subdiffusion to superdiffusion, depending on beam energy and turbulence amplitude. We estimate the duration of the ballistic phase and identify basic mechanisms during the interaction phase that determine the character of suprathermal ion dispersion upon the beam energy and turbulence fluctuation amplitude.


title: Single-layer behavior and slow carrier density dynamic of twisted graphene bilayer

abstract: We report scanning tunneling microscopy (STM) and spectroscopy (STS) of twisted graphene bilayer on SiC substrate. For twist angle ~ 4.5o the Dirac point ED is located about 0.40 eV below the Fermi level EF due to the electron doping at the graphene/SiC interface. We observed an unexpected result that the local Dirac point around a nanoscaled defect shifts towards the Fermi energy during the STS measurements (with a time scale about 100 seconds). This behavior was attributed to the decoupling between the twisted graphene and the substrate during the measurements, which lowers the carrier density of graphene simultaneously.


title: The moduli space of Hessian quartic surfaces and automorphic forms

abstract: We shall show the existence of 15 automorphic forms of weight 8 on the moduli space of marked Hessian quartic surfaces of cubic surfaces. These automorphic forms can be interpreted in terms of the coefficients of the Sylvester form of a general cubic surface.


title: Maxwell viscoelastic dynamics of the DNA in the THz range

abstract: The attenuation of phonon modes of the DNA is due to the exchange of water molecules adsorbed by a molecule of DNA and the bulk solvent. Using Maxwell's mechanism of relaxation and a simple lattice model of the DNA, we show that the attenuation tends to a constant value for phonon frequencies larger than the inverse residence time of water molecules. We come to the conclusion that in the THz range the attenuation could be small enough to allow the propagation of the phonon modes.


title: Sufficient Conditions on the Existence of Switching Observers for Nonlinear Time-Varying Systems

abstract: We derive sufficient conditions for the solvability of the observer design problem for a wide class of nonlinear time-varying systems, including those having triangular structure. We establish that, under weaker assumptions than those imposed in the existing works in the literature, it is possible to construct a switching sequence of time-varying noncausal dynamics, exhibiting the state determination of our system.


title: On fermionic representation of the framed topological vertex

abstract: The Gromov-Witten invariants of \mathbb{C}^3 with branes is encoded in the topological vertex which has a very complicated combinatorial expression. A simple formula for the topological vertex was proposed by Aganagic et al in the fermionic picture. We will propose a similar formula for the framed topological vertex and prove it in the case when there are one or two branes.


title: Modeling item--item similarities for personalized recommendations on Yahoo! front page

abstract: We consider the problem of algorithmically recommending items to users on a Yahoo! front page module. Our approach is based on a novel multilevel hierarchical model that we refer to as a User Profile Model with Graphical Lasso (UPG). The UPG provides a personalized recommendation to users by simultaneously incorporating both user covariates and historical user interactions with items in a model based way. In fact, we build a per-item regression model based on a rich set of user covariates and estimate individual user affinity to items by introducing a latent random vector for each user. The vector random effects are assumed to be drawn from a prior with a precision matrix that measures residual partial associations among items. To ensure better estimates of a precision matrix in high-dimensions, the matrix elements are constrained through a Lasso penalty. Our model is fitted through a penalized-quasi likelihood procedure coupled with a scalable EM algorithm. We employ several computational strategies like multi-threading, conjugate gradients and heavily exploit problem structure to scale our computations in the E-step. For the M-step we take recourse to a scalable variant of the Graphical Lasso algorithm for covariance selection. Through extensive experiments on a new data set obtained from Yahoo! front page and a benchmark data set from a movie recommender application, we show that our UPG model significantly improves performance compared to several state-of-the-art methods in the literature, especially those based on a bilinear random effects model (BIRE). In particular, we show that the gains of UPG are significant compared to BIRE when the number of users is large and the number of items to select from is small. For large item sets and relatively small user sets the results of UPG and BIRE are comparable. The UPG leads to faster model building and produces outputs which are interpretable.


title: Chiral interpolation in a finite volume

abstract: A simulation of lattice QCD at (or even below) the physical pion mass is feasible on a small lattice size of \sim 2 fm. The results are, however, subject to large finite volume effects. In order to precisely understand the chiral behavior in a finite volume, we develop a new computational scheme to interpolate the conventional epsilon and p regimes within chiral perturbation theory. In this new scheme, we calculate the two-point function in the pseudoscalar channel, which is described by a set of Bessel functions in an infra-red finite way as in the epsilon regime, while chiral logarithmic effects are kept manifest as in the p regime. The new ChPT formula is compared to our 2+1- flavor lattice QCD data near the physical up and down quark mass, mud \sim 3 MeV on an L \sim 1.8 fm lattice. We extract the pion mass = 99(4) MeV, from which we attempt a chiral "interpolation" of the observables to the physical point.


title: Stable black hole solutions with non-Abelian fields

abstract: We construct finite mass, asymptotically flat black hole solutions in d=4 Einstein-Yang-Mills theory augmented with higher order curvature terms of the gauge field. They possess non-Abelian hair in addition to Coulomb electric charge, and, below some non-zero critical temperature, they are thermodynamically preferred over the Reissner-Nordstrom solution. Our results indicate the existence of hairy non-Abelian black holes which are stable under linear, spherically symmetric perturbations.


title: Special curves of 4d galilean space

abstract: Special curves and their characterizations are one of the main area of mathematicians and physicians. As a special curve we will mainly focus on Mannheim curve which has the following relation: k1={\beta}(k1^2+k2^) where k1 and k2 are curvature and torsion, respectively. In the present paper we define Mannheim curves for 4-dimensional Galilean space and investigate some characterization of it.


title: Quantum Monte Carlo study of the transverse-field quantum Ising model on infinite-dimensional structures

abstract: In a number of classical statistical-physical models, there exists a characteristic dimensionality called the upper critical dimension above which one observes the mean-field critical behavior. Instead of constructing high-dimensional lattices, however, one can also consider infinite-dimensional structures, and the question is whether this mean-field character extends to quantum-mechanical cases as well. We therefore investigate the transverse-field quantum Ising model on the globally coupled network and the Watts-Strogatz small-world network by means of quantum Monte Carlo simulations and the finite-size scaling analysis. We confirm that both the structures exhibit critical behavior consistent with the mean-field description. In particular, we show that the existing cumulant method has a difficulty in estimating the correct dynamic critical exponent and suggest that an order parameter based on the quantum-mechanical expectation value can be a practically useful numerical observable to determine critical behavior when there is no well-defined dimensionality.


title: Some Characterizations for Curves by the Help Of Spherical Representations in the Galilean and Pseudo-Galilean Space

abstract: In this paper, we focus on some characterizations for curves in the Galilean and Pseudo-Galilean space.


title: Inclusion of Unambiguous RE#s is NP-Hard

abstract: We show that testing inclusion between languages represented by regular expressions with numerical occurrence indicators (RE#s) is NP-hard, even if the expressions satisfy the requirement of "unambiguity", which is required for XML Schema content model expressions.


title: Spectral and phase space analysis of the linearized non-cutoff Kac collision operator

abstract: The non-cutoff Kac operator is a kinetic model for the non-cutoff radially symmetric Boltzmann operator. For Maxwellian molecules, the linearization of the non-cutoff Kac operator around a Maxwellian distribution is shown to be a function of the harmonic oscillator, to be diagonal in the Hermite basis and to be essentially a fractional power of the harmonic oscillator. This linearized operator is a pseudodifferential operator, and we provide a complete asymptotic expansion for its symbol in a class enjoying a nice symbolic calculus. Related results for the linearized non-cutoff radially symmetric Boltzmann operator are also proven.


title: Some Properties of Mannheim Curves in Galilean and Pseudo - Galilean space

abstract: The aim of this work is to study the Mannheim curves in 3-dimensional Galilean and Pseudo - Galilean space. We obtain the characterizations between the curvatures and torsions of the Mannheim partner curves.


title: Critical condition of the water-retention model

abstract: We study how much water can be retained without leaking through boundaries when each unit square of a two-dimensional lattice is randomly assigned a block of unit bottom area but with different heights from zero to $n-1$. As more blocks are put into the system, there exists a phase transition beyond which the system retains a macroscopic volume of water. We locate the critical points and verify that the criticality belongs to the two-dimensional percolation universality class. If the height distribution can be approximated as continuous for large $n$, the system is always close to a critical point and the fraction of the area below the resulting water level is given by the percolation threshold. This provides a universal upper bound of areas that can be covered by water in a random landscape.


title: Development and Performance of spark-resistant Micromegas Detectors

abstract: The Muon ATLAS MicroMegas Activity (MAMMA) focuses on the development and testing of large-area muon detectors based on the bulk-Micromegas technology. These detectors are candidates for the upgrade of the ATLAS Muon System in view of the luminosity upgrade of Large Hadron Collider at CERN (sLHC). They will combine trigger and precision measurement capability in a single device. A novel protection scheme using resistive strips above the readout electrode has been developed. The response and sparking properties of resistive Micromegas detectors were successfully tested in a mixed (neutron and gamma) high radiation field, in a X-ray test facility, in hadron beams, and in the ATLAS cavern. Finally, we introduced a 2-dimensional readout structure in the resistive Micromegas and studied the detector response with X-rays.


title: A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network

abstract: Supply Chain operation is an integrated business process starting from primary supplier to end user and the process produce products, services and information. A successful chain will explore technology, lean operations, and quality management by adding value for customers and stakeholders. It is a strategic alliance among the partnering enterprises without geographical boundary. Every chain has its own unique set of market demands and operating challenges. Retailing is one such service domain of Supply Chain vulnerable to bullwhip effects. Demand uncertainty is one of the root causes of Bullwhip effects. This paper calls for modeling of a demand driven multi-tier stochastic Retail Chain to work against the Bullwhip effect. The proposed model of the operational chain will ensure significant return of share to the retailer through the sophisticated transaction management, real-time inventory management and the ability to track all inventory movements.


title: Steps on Rutile TiO2(110): Active Sites for Water and Methanol Dissociation

abstract: We present a detailed investigation of the structure and activity of extended defects namely monoatomic steps on (1x1)-TiO2(110). Specifically, the two most stable <001> and <1-11> step edges are considered. Employing an automated genetic algorithm that samples a large number of candidates for each step edge, more stable, reconstructed structures were found for the <1-11> step edge, while the bulk truncated structures were recovered for the <001> step edge. We demonstrate how oxygen vacancies along these defects have lower formation energies than on flat terraces and how water and methanol molecules adsorb dissociatively on reduced <1-11> step edges. Our findings are in agreement with earlier experimental results and indicate an important contribution from step edges to the reactivity of the TiO2(110) surface.


title: Ion-matter interaction: the three dimensional version of the thermal spike model. Application to nanoparticle irradiation with swift heavy ions

abstract: In the framework of swift heavy ion - matter interaction, the thermal spike has proved its worth since nearly two decades. This paper deals with the necessary refinement of the computation due to the kind of materials involved i.e. nanomaterials such as multilayered systems or composite films constitued of nanocylinders or nanospheres embedded in matrix. The three dimensional computation of the thermal spike model is applied for the first time in layers containing spherical nanoparticles embedded in a silica matrix. The temperature profile calculated at each point (x,y,z) of the target for times up to $10^{-10}$s allows a possible explanation of the particle shape change under irradiation with swift heavy ions having an energy of several MeV/u.m.a. The comparison made with the former 2D version of the code applied to cylindrical gold nanoparticles confirms the validity of the present 3D version.


title: Fermi-LAT spectral analysis of Fermi, Planck, Swift and radio selected samples of AGN

abstract: Blazars are jet-dominated extragalactic objects characterized by the emission of strongly variable non-thermal radiation across the entire electromagnetic spectrum. Therefore, the study of blazars (and in general of radio loud AGN) through the use of multi-frequency simultaneous data is essential in order to understand the physical processes that take place in these objects. With Planck, Fermi and Swift simultaneously on orbit, complemented with other space and ground-based observatories, it is possible to assemble high-quality multi-frequency simultaneous broad-band spectra of large and statistically well-defined samples of radio-loud AGN. In particular, four samples of sources have been selected. The first three samples are flux limited in the high energy part of the electromagnetic spectrum: the soft X-ray (0.1-2 keV) sample includes 43 sources from the Rosat All Sky Survey Bright Source Catalog, the hard X-ray (15-150 keV) sample includes 34 sources from the Swift-BAT 54 months source catalog and the gamma-ray sample includes 50 sources from the Fermi-LAT 3 months Bright AGN Source List. The fourth sample is radio flux limited, including 104 bright northern and equatorial radio-loud AGN (most of which have been monitored at Metsahovi Radio Observatory for many years) with average radio flux density at 37 GHz greater than 1 Jy. We present the methods applied and the results of the analysis performed using Fermi-LAT data for all sources in the four different samples of AGN.


title: Equivariant local index

abstract: This is an expository article on the equivariant local index developed by Fujita, Furuta, and the author in arXiv:1008.5007.


title: Approximate Stochastic Subgradient Estimation Training for Support Vector Machines

abstract: Subgradient algorithms for training support vector machines have been quite successful for solving large-scale and online learning problems. However, they have been restricted to linear kernels and strongly convex formulations. This paper describes efficient subgradient approaches without such limitations. Our approaches make use of randomized low-dimensional approximations to nonlinear kernels, and minimization of a reduced primal formulation using an algorithm based on robust stochastic approximation, which do not require strong convexity. Experiments illustrate that our approaches produce solutions of comparable prediction accuracy with the solutions acquired from existing SVM solvers, but often in much shorter time. We also suggest efficient prediction schemes that depend only on the dimension of kernel approximation, not on the number of support vectors.


title: A closed-form approximation for the median of the beta distribution

abstract: A simple closed-form approximation for the median of the beta distribution Beta(a, b) is introduced: (a-1/3)/(a+b-2/3) for (a,b) both larger than 1 has a relative error of less than 4%, rapidly decreasing to zero as both shape parameters increase.


title: Pancake Flipping is Hard

abstract: Pancake Flipping is the problem of sorting a stack of pancakes of different sizes (that is, a permutation), when the only allowed operation is to insert a spatula anywhere in the stack and to flip the pancakes above it (that is, to perform a prefix reversal). In the burnt variant, one side of each pancake is marked as burnt, and it is required to finish with all pancakes having the burnt side down. Computing the optimal scenario for any stack of pancakes and determining the worst-case stack for any stack size have been challenges over more than three decades. Beyond being an intriguing combinatorial problem in itself, it also yields applications, e.g. in parallel computing and computational biology. In this paper, we show that the Pancake Flipping problem, in its original (unburnt) variant, is NP-hard, thus answering the long-standing question of its computational complexity.


title: Drop impact on superheated surfaces

abstract: At impact of a liquid droplet on a smooth surface heated above the liquid's boiling point, the droplet either immediately boils when it contacts the surfaces (``contact boiling''), or without any surface contact forms a Leidenfrost vapor layer towards the hot surface and bounces back (``gentle film boiling''), or both forms the Leidenfrost layer and ejects tiny droplets upward (``spraying film boiling''). We experimentally determine conditions under which impact behaviors in each regime can be realized. We show that the dimensionless maximum spreading $\gamma$ of impacting droplets on the heated surfaces in both gentle and spraying film boiling regimes shows a universal scaling with the Weber number $\We$ ($\gamma\sim\We^{2/5}$) -- regardless of surface temperature and of liquid properties -- which is much steeper than for the impact on non-heated (hydrophilic or hydrophobic) surfaces ($\gamma\sim\We^{1/4}$). We also intereferometrically measure the vapor thickness under the droplet.


title: The Kelvin-Helmholtz instability in weakly ionised plasmas II: multifluid effects in molecular clouds

abstract: We present a study of the Kelvin-Helmholtz instability in a weakly ionised, multifluid MHD plasma with parameters matching those of a typical molecular cloud. The instability is capable of transforming well-ordered flows into disordered flows. As a result, it may be able to convert the energy found in, for example, bowshocks from stellar jets into the turbulent energy found in molecular clouds. As these clouds are weakly ionised, the ideal magnetohydrodynamic approximation does not apply at scales of around a tenth of a parsec or less. This paper extends the work of Jones & Downes (2011) on the evolution of the Kelvin-Helmholtz instability in the presence of multifluid magnetohydrodynamic effects. These effects of ambipolar diffusion and the Hall effect are here studied together under physical parameters applicable to molecular clouds. We restrict our attention to the case of a single shear layer with a transonic, but super-Alfvenic, velocity jump and the computational domain is chosen to match the wavelength of the linearly fastest growing mode of the instability. We find that while the introduction of multifluid effects does not affect the linear growth rates of the instability, the non-linear behaviour undergoes considerable change. The magnetic field is decoupled from the bulk flow as a result of the ambipolar diffusion, which leads to a significant difference in the evolution of the field. The Hall effect would be expected to lead to a noticeable re-orientation of the magnetic field lines perpendicular to the plane. However, the results reveal that the combination with ambipolar diffusion leads to a surprisingly effective suppression of this effect.


title: Slow-light enhanced optical forces between longitudinally shifted photonic-crystal nanowire waveguides

abstract: We reveal that slow-light enhanced optical forces between side-coupled photonic-crystal nanowire waveguides can be flexibly controlled by introducing a relative longitudinal shift. We predict that close to the photonic band-edge, where the group velocity is reduced, the transverse force can be tuned from repulse to attractive, and the force is suppressed for a particular shift value. Additionally the shift leads to symmetry breaking that can facilitate longitudinal forces acting on the waveguides, in contrast to unshifted structures where such forces vanish.


title: No apparent accretion mode changes detected in Cen X-3

abstract: The presence of two distinct spectral states has previously been reported for Cen X-3 on the basis of RXTE/ASM observations. Triggered by this result, we investigated the spectral properties of the source using the larger amount of X-ray data now available with the aim to clarify and interpret the reported behavior. To check the reported results we used the same data set and followed the same analysis procedures as in the work reporting the two spectral states. Additionally, we repeated the analysis using the enlarged data sample including the newest RXTE/ASM observations as well as the data from the MAXI monitor and from the INTEGRAL/JEM-X and ISGRI instruments. We could not confirm the reported presence of the two spectral states in Cen X-3 either in


title: The Milky Way stellar populations in CFHTLS fields

abstract: We investigate the characteristics of the thick disk in the Canada - France - Hawaii - Telescope Legacy Survey (CFHTLS) fields, complemented at bright magnitudes with Sloan Digital Sky Survey (SDSS) data. The ([Fe/H], Z) distributions are derived in the W1 and W3 fields, and compared with simulated maps produced using the Besan\c{c}on model. It is shown that the thick disk, represented in star-count models by a distinct component, is not an adequate description of the observed ([Fe/H], Z) distributions in these fields.


title: A first catalogue of automatically selected UV-excess sources from the UVEX survey

abstract: We present the first catalogue of point-source UV-excess sources selected from the UVEX survey. UVEX images the Northern Galactic Plane in the U, g, r and HeI5875 bands in the Galactic latitude range -5deg<b<+5deg. Through an automated algorithm, which works on a field-to-field basis, we select blue UV-excess sources in 211 square degrees from the (U-g) vs. (g-r) colour-colour diagram and the g vs. (U-g) and g vs. (g-r) colour-magnitude diagrams. The UV-excess catalogue covers the magnituderange 14<g<22.5, contains 2170 sources and consists of a mix of white dwarfs, post-common-envelope objects, interacting binaries, quasars and AGN. Two other samples of outliers were found during the selection: i) a 'subdwarf' sample, consisting of no less than 9872 candidate metal-poor stars or lightly reddened main-sequence stars, and ii) a 'purple' sample consisting of 803 objects, most likely a mix of reddened late M-giants, T Tauri stars, planetary nebulae, symbiotic stars and carbon stars. Cross-matching the selected UV-excess catalogue with other catalogues aids with the first classification of the different populations and shows that more than 99% of our selected sources are unidentified sources.


title: Elastic scattering at 7 TeV and high energy cross section for cosmic ray studies

abstract: The recent measurements of the elastic cross section by the TOTEM Collaboration together with the first estimations of the inelastic cross sections by other LHC detectors are used to test the simplest version of the geometrical model of the proton-proton scattering. We show that the description found for lower energy data, with the modest adjustment of the model parameter extrapolation, could be, in principle, used to describe the LHC measurement and to predict the cross sections in very high energy cosmic ray domain. However, the shape of the first elastic dip in the elastic differential scattering cross section suggests that ratio of the real to the imaginary part of the elastic amplitude is falling rather fast and the analysis of the elastic cross section fraction suggests that the geometrical picture of the proton-proton collision should be modified considerably when entering the ultra high-energy domain.


title: The possible extremal Betti numbers of a homogeneous ideal

abstract: We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field.


title: Scattering phase of quantum dots: Emergence of universal behavior

abstract: We investigate scattering through chaotic ballistic quantum dots in the Coulomb blockade regime. Focusing on the scattering phase, we show that large universal sequences emerge in the short wavelength limit, where phase lapses of $\pi$ systematically occur between two consecutive resonances. Our results are corroborated by numerics and are in qualitative agreement with existing experiments.


title: Combinatorial Bounds on Nonnegative Rank and Extended Formulations

abstract: An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes. The main known lower bounds on the minimum sizes of extended formulations for fixed polytope P (Yannakakis 1991) are closely related to the concept of nondeterministic communication complexity. We study the relative power and limitations of the bounds on several examples.


title: A Numerical Study of the Superconducting Proximity Effect in Topological Surface States

abstract: We study the superconducting proximity effect induced in the surface states of the 3-d topological insulator Bi$_2$Se$_3$ by a singlet, s-wave superconductor deposited on its surface. To this effect, the $\mathbf{k}\cdot\mathbf{p}$-Hamiltonian of Bi$_2$Se$_3$ and the BCS-Hamiltonian are mapped onto tight-binding chains which we couple through a transfer-Hamiltonian at the interface. We then employ the Recursive Green's Function technique to obtain the local spectral function and infer the dispersion of the interface-states from it. In agreement with earlier microscopic studies of this problem, we find that the Fu-Kane model is a reasonable approximation at energies $\epsilon\ll \Delta_{\rm SC}$. However, for energies close to the SC bulk gap, the Fu-Kane model is expected to break down. Indeed, our numerical calculations show strong modifications of the interface-state dispersion for $\epsilon \gtrsim \Delta_{\rm SC} $. We find that the proximity effect can be strong enough to induce a gap in the surface state that is comparable to the superconducting gap. An analysis of the spatial profile of the states shows that their weight shifts towards the SC as the coupling strength increases. We conclude that an intermediate coupling is ideal for realising the Fu-Kane scenario.


title: Nonparametric inference for fractional diffusion

abstract: A non-parametric diffusion model with an additive fractional Brownian motion noise is considered in this work. The drift is a non-parametric function that will be estimated by two methods. On one hand, we propose a locally linear estimator based on the local approximation of the drift by a linear function. On the other hand, a Nadaraya-Watson kernel type estimator is studied. In both cases, some non-asymptotic results are proposed by means of deviation probability bound. The consistency property of the estimators are obtained under a one sided dissipative Lipschitz condition on the drift that insures the ergodic property for the stochastic differential equation. Our estimators are first constructed under continuous observations. The drift function is then estimated with discrete time observations that is of the most importance for practical applications.


title: Constraints on neutron-star theories from nearby neutron star observations

abstract: We try to constrain the nuclear Equation-of-State (EoS) and supernova ejecta models by observations of young neutron stars in our galactic neighbourhood. There are seven thermally emitting isolated neutron stars known from X-ray and optical observations, the so-called Magnificent Seven, which are young (few Myrs), nearby (few hundred pc), and radio-quiet with blackbody-like X-ray spectra, so that - by observing their surface - we can determine their luminosity, distance, and temperature, hence, their radius. We also see the possibility to determine their current neutron star masses and the masses of their progenitor stars by studying their origin. It is even feasible to find the neutron star which was born in the supernova, from which those Fe60 atoms were ejected, which were recently found in the Earth crust.


title: Heat exchanges in coarsening systems

abstract: This paper is a contribution to the understanding of the thermal properties of aging systems where statistically independent degrees of freedom with largely separated timescales are expected to coexist. Focusing on the prototypical case of quenched ferromagnets, where fast and slow modes can be respectively associated to fluctuations in the bulk of the coarsening domains and to their interfaces, we perform a set of numerical experiments specifically designed to compute the heat exchanges between different degrees of freedom. Our studies promote a scenario with fast modes acting as an equilibrium reservoir to which interfaces may release heat through a mechanism that allows fast and slow degrees to maintain their statistical properties independent.


title: B and bottomonium spectroscopy from lattice NRQCD with charm in the sea

abstract: We give results for B, Bs, Bc and bottomonium spectroscopy using NRQCD heavy quarks and HISQ valence and sea quarks. Five MILC ensembles of gluon configurations with three values of the lattice spacing and m(light)/m(strange) values down to 0.1 are used that include 2+1+1 flavours of sea quark. Systematic errors in the NRQCD action are improved through the radiative correction of the coefficients of terms at v^4. Improved results for S-wave and P-wave bottomonium states are discussed as well as a prediction for the full D-wave spectrum. Preliminary results for the ground state B meson masses are also presented.


title: Companion bases for cluster-tilted algebras

abstract: Motivated by work of Barot, Geiss and Zelevinsky, we study a collection of Z-bases (which we call companion bases) of the integral root lattice of a root system of simply-laced Dynkin type. Each companion basis is associated with the quiver of a cluster-tilted algebra of the corresponding type. In type A, we establish that the dimension vectors of the finitely generated indecomposable modules over a cluster-tilted algebra may be obtained, up to sign, by expanding the positive roots in terms of any companion basis for the quiver of that algebra. This generalises part of Gabriel's Theorem. Also, we describe the relationship between different companion bases for the same quiver and show how to mutate a companion basis for a quiver to produce a companion basis for a mutation of that quiver.


title: Symmetry restoration for odd-mass nuclei with a Skyrme energy density functional

abstract: In these proceedings, we report first results for particle-number and angular-momentum projection of self-consistently blocked triaxial one-quasiparticle HFB states for the description of odd-A nuclei in the context of regularized multi-reference energy density functionals, using the entire model space of occupied single-particle states. The SIII parameterization of the Skyrme energy functional and a volume-type pairing interaction are used.


title: Riding the wake of a merging galaxy cluster

abstract: Using WHT OASIS integral field unit observations, we report the discovery of a thin plume of ionised gas extending from the brightest cluster galaxy in Abell 2146 to the sub-cluster X-ray cool core which is offset from the BCG by ~37 kpc. The plume is greater than 15 kpc long and less than 3 kpc wide. This plume is unique in that the cluster it is situated in is currently undergoing a major galaxy cluster merger. The brightest cluster galaxy is unusually located behind the X-ray shock front and in the wake of the ram pressure stripped X-ray cool core and evidence for recent disruption to the BCG is observed. We examine the gas and stellar morphology, the gas kinematics of the BCG and their relation to the X-ray gas. We propose that a causal link between the ionised gas plume and the offset X-ray cool core provides the simplest explanation for the formation of the plume. An interaction or merger between the BCG and another cluster galaxy is probably the cause of the offset.


title: On identifying the neutron star that was born in the supernova that placed 60Fe onto the Earth

abstract: Recently, 60Fe was found in the Earth crust formed in a nearby recent supernova (SN). If the distance to the SN and mass of the progenitor of that SN was known, then one could constrain SN models. Knowing the positions, proper motions, and distances of dozens of young nearby neutron stars, we can determine their past flight paths and possible kinematic origin. Once the birth place of a neutron star in a SN is found, we would have determined the distance of the SN and the mass of the SN progenitor star.


title: Spectroscopy and Regge trajectories of heavy quarkonia and B_c mesons

abstract: The mass spectra of charmonia, bottomonia and B_c mesons are calculated in the framework of the QCD-motivated relativistic quark model based on the quasipotential approach. The dynamics of heavy quarks and antiquarks is treated fully relativistically without application of the nonrelativistic v^2/c^2 expansion. The known one-loop radiative corrections to the heavy quark potential are taken into account perturbatively. The heavy quarkonium masses are calculated up to rather high orbital and radial excitations (L=5, n_r=5). On this basis the Regge trajectories are constructed both in the total angular momentum J and radial quantum number n_r. It is found that the daughter trajectories are almost linear and parallel, while parent trajectories exhibit some nonlinearity in the low mass region. Such nonlinearity is most pronounced for bottomonia and is only marginal for charmonia. The obtained results are compared with the available experimental data, and a possible interpretation of the new charmonium-like states above open charm production threshold is discussed.


title: Two-loop R-parity violating Renormalisation Group Equations for non-standard soft supersymmetry breaking in the context of the MSSM

abstract: We present the two-loop $\beta$-functions for non-standard soft supersymmetry-breaking couplings including non-standard R-parity violating soft terms in the Minimal Supersymmetric Standard Model


title: Observational signatures of the coronal kink instability with thermal conduction

abstract: It is known from numerical simulations that thermal conduction along magnetic field lines plays an important role in the evolution of the kink instability in coronal loops. This study presents the observational signatures of the kink instability in long coronal loops when parallel thermal conduction is included. The 3D nonlinear magnetohydrodynamic equations are solved numerically to simulate the evolution of a coronal loop that is initially in an unstable equilibrium. The loop has length 80 Mm, width 8 Mm and an initial maximum twist of Phi = 11.5 pi, where Phi is a function of the radius. The initial loop parameters are obtained from a highly twisted loop observed in the TRACE 171 A waveband. Synthetic observables are generated from the data. These observables include spatial and temporal averaging to account for the resolution and exposure times of TRACE images. Parallel thermal conduction reduces the maximum local temperature by up to an order of magnitude. This means that different spectral lines are formed and different internal loop structures are visible with or without the inclusion of thermal conduction. However, the response functions sample a broad range of temperatures. The result is that the inclusion of parallel thermal conductivity does not have as large an impact on observational signatures as the order of magnitude reduction in the maximum temperature would suggest; the net effect is a blurring of internal features of the loop structure.


title: The emergent nature of time and the complex numbers in quantum cosmology

abstract: The nature of time in quantum mechanics is closely related to the use of a complex, rather than say real, Hilbert space. This becomes particularly clear when considering quantum field theory in time dependent backgrounds, such as in cosmology, when the notion of positive frequency ceases to be well defined. In spacetimes lacking time orientation, i.e without the possibility of defining an arrow of time, one is forced to abandon complex quantum mechanics. One also has to face this problem in quantum cosmology. I use this to argue that this suggests that, at a fundamental level, quantum mechanics may be really real with not one, but a multitude of complex structures. I relate these ideas to other suggestions that in quantum gravity time evolution may not be unitary, possibly implemented by a super-scattering matrix, and the status of CPT.


title: Constraints on the Equation-of-State of neutron stars from nearby neutron star observations

abstract: We try to constrain the Equation-of-State (EoS) of supra-nuclear-density matter in neutron stars (NSs) by observations of nearby NSs. There are seven thermally emitting NSs known from X-ray and optical observations, the so-called Magnificent Seven (M7), which are young (up to few Myrs), nearby (within a few hundred pc), and radio-quiet with blackbody-like X-ray spectra, so that we can observe their surfaces. As bright X-ray sources, we can determine their rotational (pulse) period and their period derivative from X-ray timing. From XMM and/or Chandra X-ray spectra, we can determine their temperature. With precise astrometric observations using the Hubble Space Telescope, we can determine their parallax (i.e. distance) and optical flux. From flux, distance, and temperature, one can derive the emitting area - with assumptions about the atmosphere and/or temperature distribution on the surface. This was recently done by us for the two brightest M7 NSs RXJ1856 and RXJ0720. Then, from identifying absorption lines in X-ray spectra, one can also try to determine gravitational redshift. Also, from rotational phase-resolved spectroscopy, we have for the first time determined the compactness (mass/radius) of the M7 NS RBS1223. If also applied to RXJ1856, radius (from luminosity and temperature) and compactness (from X-ray data) will yield the mass and radius - for the first time for an isolated single neutron star. We will present our observations and recent results.


title: Duality Invariant Actions and Generalised Geometry

abstract: We construct the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation at lowest order and appropriate to spacetime dimensions four to seven. This leads to a non-linear realisation of the duality groups and introduces fields that depend on a generalised space which possess a generalised vielbein. We focus on the part of the generalised space on which the duality groups alone act and construct an invariant action.


title: Lebesgue-Type inequalities for quasi-greedy bases

abstract: We show that for quasi-greedy bases in real Banach spaces the error of the thresholding greedy algorithm of order N is bounded by the best N-term error of approximation times a constant which depends on the democracy functions and the quasi-greedy constant of the basis.


title: Water emission from the chemically rich outflow L1157

abstract: In the framework of the Herschel-WISH key program, several ortho-H2O and para-H2O emission lines, in the frequency range from 500 to 1700 GHz, were observed with the HIFI instrument in two bow-shock regions (B2 and R) of the L1157 cloud. The primary aim is to analyse water emission lines as a diagnostic of the physical conditions in the blue (B2) and red-shifted (R) lobes to compare the excitation conditions. A total of 5 ortho- and para-H216O plus one o-H218O transitions were observed in B2 and R with a wide range of excitation energies (27 K<=Eu<=215 K). The H2O spectra, observed in the two shocked regions, show that the H2O profiles are markedly different in the two regions. In particular, at the bow-shock R, we observed broad (~30 km s-1 with respect to the ambient velocity) red-shifted wings where lines at different excitation peak at different red-shifted velocities. The B2 spectra are associated with a narrower velocity range (~6 km s-1), peaking at the systemic velocity. The excitation analysis suggests, for B2, low values of column density NH2O <=5{\times}1013 cm-2, a density range of 105 <=nH2 <=107 cm-3, and warm temperatures (>=300 K). The presence of the broad red-shifted wings and multiple peaks in the spectra of the R region, prompted the modelling of two components. High velocities are associated with relatively low temperatures (~100K),NH2O{\simeq}5{\times}1012-5{\times}1013 cm-2 and densities nH2{\simeq}106-108 cm-3.Lower velocities are associated with higher excitation conditions with Tkin>=300 K, very dense gas (nH2 ~108 cm-3) and low column density (NH2O<5{\times}1013 cm-2).


title: Proof theory of weak compactness

abstract: We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.


title: Leading Nucleon Form Factors in Single Gauge Boson Exchange Approximation

abstract: We provide a complete calculation of all leading nucleon form factors at large momentum transfer and in single gauge boson exchange approximation. In order to evaluate the required nucleon transition probability matrix elements, we combine QCD perturbation theory with an expansion in nucleon distribution amplitudes. Using leading twist nucleon distribution amplitudes only, one obtains the desired nucleon form factors. The obtained results are consistent with experimental data when we use third order polynomials for the distribution amplitudes and non-perturbative models for the coefficients. Finally, we compare our results for the Dirac form factor of the proton with previous results based on the QCD factorization theorem, where a discrepancy about the correct symmetry factor is still under discussion. We examine the calculations and propose an explanation.


title: Higher derivative type II string effective actions, automorphic forms and E11

abstract: By dimensionally reducing the ten-dimensional higher derivative type IIA string theory effective action we place constraints on the automorphic forms that appear in the effective action in lower dimensions. We propose a number of properties of such automorphic forms and consider the prospects that E11 can play a role in the formulation of the higher derivative string theory effective action.


title: Strain enhanced electron cooling in a degenerately doped semiconductor

abstract: Enhanced electron cooling is demonstrated in a strained-silicon/superconductor tunnel junction refrigerator of volume 40 um^3. The electron temperature is reduced from 300 mK to 174 mK, with the enhancement over an unstrained silicon control (300 mK to 258 mK) being attributed to the smaller electron-phonon coupling in the strained case. Modeling and the resulting predictions of silicon-based cooler performance are presented. Further reductions in the minimum temperature are expected if the junction sub-gap leakage and tunnel resistance can be reduced. However, if only tunnel resistance is reduced, Joule heating is predicted to dominate.


title: Kernel diff-hash

abstract: This paper presents a kernel formulation of the recently introduced diff-hash algorithm for the construction of similarity-sensitive hash functions. Our kernel diff-hash algorithm that shows superior performance on the problem of image feature descriptor matching.


title: Stability analysis and observational constraints in scalar tensor theory

abstract: We study FRW cosmology for scalar tensor theory where two scalar functions nonminimally coupled to the geometry and matter Lagrangian. In a framework to study stability and attractor solutions of the model in the phase space, we simultaneously solve the dynamical system and best fit the stability and model parameters with the observational data. The approach imposes restrictions on the model constraints while providing information about the universe dynamics. The model predict current accelerating universe, with a phantom crossing in near future.