title: Observation of Efimov Resonances in a Mixture with Extreme Mass Imbalance

abstract: We observe two consecutive heteronuclear Efimov resonances in an ultracold Li-Cs mixture by measuring three-body loss coefficients as a function of magnetic field near a Feshbach resonance. The first resonance is detected at a scattering length of $a_-^{(1)}=-320(10)~a_0$ corresponding to $\sim 7 $ ($\sim 3$) times the Li-Cs (Cs-Cs) van der Waals range. The second resonance appears at $5.8(1.0) a_-^{(1)}$ close to the unitarity-limited regime at the sample temperature of 450 nK. Indication of a third resonance is found in the atom loss spectra. The scaling of the resonance positions is close to the universal scaling value of 4.9 predicted for zero temperature. Deviations from universality might be caused by finite-range and temperature effects, as well as magnetic field dependent Cs-Cs interactions.

categories: cond-mat.quant-gas nucl-th physics.atom-ph quant-ph


title: Effectiveness of Demailly's strong openness conjecture and related problems

abstract: In this article, stimulated by the effectiveness in Berndtsson's solution of the openness conjecture and continuing our solution of Demailly's strong openness conjecture, we discuss conditions to guarantee the effectiveness of the conjecture and establish such an effectiveness result. We explicitly point out a lower semicontinuity property of plurisubharmonic functions with a multiplier, which is implicitly contained in our paper arXiv:1401.7158. We also obtain optimal effectiveness of the conjectures of Demailly-Koll\'{a}r and Jonsson-Mustat\u{a} respectively.


title: Updating RDFS ABoxes and TBoxes in SPARQL

abstract: Updates in RDF stores have recently been standardised in the SPARQL 1.1 Update specification. However, computing answers entailed by ontologies in triple stores is usually treated orthogonal to updates. Even the W3C's recent SPARQL 1.1 Update language and SPARQL 1.1 Entailment Regimes specifications explicitly exclude a standard behaviour how SPARQL endpoints should treat entailment regimes other than simple entailment in the context of updates. In this paper, we take a first step to close this gap. We define a fragment of SPARQL basic graph patterns corresponding to (the RDFS fragment of) DL-Lite and the corresponding SPARQL update language, dealing with updates both of ABox and of TBox statements. We discuss possible semantics along with potential strategies for implementing them. We treat both, (i) materialised RDF stores, which store all entailed triples explicitly, and (ii) reduced RDF Stores, that is, redundancy-free RDF stores that do not store any RDF triples (corresponding to DL-Lite ABox statements) entailed by others already.


title: A semiparametric two-sample hypothesis testing problem for random dot product graphs

abstract: Two-sample hypothesis testing for random graphs arises naturally in neuroscience, social networks, and machine learning. In this paper, we consider a semiparametric problem of two-sample hypothesis testing for a class of latent position random graphs. We formulate a notion of consistency in this context and propose a valid test for the hypothesis that two finite-dimensional random dot product graphs on a common vertex set have the same generating latent positions or have generating latent positions that are scaled or diagonal transformations of one another. Our test statistic is a function of a spectral decomposition of the adjacency matrix for each graph and our test procedure is consistent across a broad range of alternatives. We apply our test procedure to real biological data: in a test-retest data set of neural connectome graphs, we are able to distinguish between scans from different subjects; and in the {\em C.elegans} connectome, we are able to distinguish between chemical and electrical networks. The latter example is a concrete demonstration that our test can have power even for small sample sizes. We conclude by discussing the relationship between our test procedure and generalized likelihood ratio tests.


title: Spectral Domain of Large Nonsymmetric Correlated Wishart Matrices

abstract: We study {the} complex eigenvalues of the Wishart model defined for nonsymmetric correlation matrices. The model is defined for two statistically equivalent but different Gaussian real matrices, as $\mathsf{C}=\mathsf{AB}^{t}/T$, where $\mathsf{B}^{t}$ is the transpose of $\mathsf{B}$ and both matrices $\mathsf{A}$ and $\mathsf{B}$ are of dimension $N\times T$. We consider {\it actual} correlations between the matrices so that on the ensemble average $\mathsf{C}$ does not vanish. We derive a loop equation for the spectral density of $\mathsf{C}$ in {the} large $N$ and $T$ limit where the ratio $N/T$ is finite. The actual correlations changes the complex eigenvalues of $\mathsf{C}$, and hence their domain from the results known for the vanishing $\mathsf{C}$ or for the uncorrelated $\mathsf{A}$ and $\mathsf{B}$. Using the loop equation we derive {a} result for the contour describing the domain of {the} bulk of the eigenvalues of $\mathsf{C}$. If the nonvanishing-correlation matrix is diagonal with the same element $c\ne0$, the contour is no longer a circle centered at origin but a shifted ellipse. In this case, the loop equation is analytically solvable and we explicitly derive {a} result for the spectral density. For more general cases, our analytical result implies that the contour depends on its symmetric and anti-symmetric parts if the nonvanishing-correlation matrix is nonsymmetric. On the other hand, if it is symmetric then the contour depends only on the spectrum of the correlation matrix. We also provide numerics to justify our analytics.


title: Perturbation of the metric around a spherical body from a nonminimal coupling between matter and curvature

abstract: In this work, the effects of a nonminimally coupled model of gravity on a perturbed Minkowski metric are presented. The action functional of the model involves two functions $f^1(R)$ and $f^2(R)$ of the Ricci scalar curvature $R$. Based upon a Taylor expansion around $R = 0$ for both functions $f^1(R)$ and $f^2(R)$, we find that the metric around a spherical object is a perturbation of the weak-field Schwarzschild metric: the time perturbation is shown to be a Newtonian plus Yukawa term, which can be constrained using the available experimental results. We conclude that the Starobinsky model for inflation complemented with a generalized preheating mechanism is not experimentally constrained by observations. The geodetic precession effects of the model are also shown to be of no relevance for the constraints.


title: A renormalisation group method. III. Perturbative analysis

abstract: This paper is the third in a series devoted to the development of a rigorous renormalisation group method for lattice field theories involving boson fields, fermion fields, or both. In this paper, we motivate and present a general approach towards second-order perturbative renormalisation, and apply it to a specific supersymmetric field theory which represents the continuous-time weakly self-avoiding walk on $\mathbb{Z}^d$. Our focus is on the critical dimension $d=4$. The results include the derivation of the perturbative flow of the coupling constants, with accompanying estimates on the coefficients in the flow. These are essential results for subsequent application to the 4-dimensional weakly self-avoiding walk, including a proof of existence of logarithmic corrections to their critical scaling. With minor modifications, our results also apply to the 4-dimensional $n$-component $|\varphi|^4$ spin model.


title: A renormalisation group method. II. Approximation by local polynomials

abstract: This paper is the second in a series devoted to the development of a rigorous renormalisation group method for lattice field theories involving boson fields, fermion fields, or both. The method is set within a normed algebra $\mathcal{N}$ of functionals of the fields. In this paper, we develop a general method---localisation---to approximate an element of $\mathcal{N}$ by a local polynomial in the fields. From the point of view of the renormalisation group, the construction of the local polynomial corresponding to $F$ in $\mathcal{N}$ amounts to the extraction of the relevant and marginal parts of $F$. We prove estimates relating $F$ and its corresponding local polynomial, in terms of the $T_{\phi}$ semi-norm introduced in part I of the series.


title: A new approach to improve ill-conditioned parabolic optimal control problem via time domain decomposition

abstract: In this paper we present a new steepest-descent type algorithm for convex optimization problems. Our algorithm pieces the unknown into sub-blocs of unknowns and considers a partial optimization over each sub-bloc. In quadratic optimization, our method involves Newton technique to compute the step-lengths for the sub-blocs resulting descent directions. Our optimization method is fully parallel and easily implementable, we first presents it in a general linear algebra setting, then we highlight its applicability to a parabolic optimal control problem, where we consider the blocs of unknowns with respect to the time dependency of the control variable. The parallel tasks, in the last problem, turn "on" the control during a specific time-window and turn it "off" elsewhere. We show that our algorithm significantly improves the computational time compared with recognized methods. Convergence analysis of the new optimal control algorithm is provided for an arbitrary choice of partition. Numerical experiments are presented to illustrate the efficiency and the rapid convergence of the method.


title: A renormalisation group method. IV. Stability analysis

abstract: This paper is the fourth in a series devoted to the development of a rigorous renormalisation group method for lattice field theories involving boson fields, fermion fields, or both. The third paper in the series presents a perturbative analysis of a supersymmetric field theory which represents the continuous-time weakly self-avoiding walk on $\mathbb{Z}^d$. We now present an analysis of the relevant interaction functional of the supersymmetric field theory, which permits a nonperturbative analysis to be carried out in the critical dimension $d = 4$. The results in this paper include: proof of stability of the interaction, estimates which enable control of Gaussian expectations involving both boson and fermion fields, estimates which bound the errors in the perturbative analysis, and a crucial contraction estimate to handle irrelevant directions in the flow of the renormalisation group. These results are essential for the analysis of the general renormalisation group step in the fifth paper in the series.


title: A renormalisation group method. V. A single renormalisation group step

abstract: This paper is the fifth in a series devoted to the development of a rigorous renormalisation group method applicable to lattice field theories containing boson and/or fermion fields, and comprises the core of the method. In the renormalisation group method, increasingly large scales are studied in a progressive manner, with an interaction parametrised by a field polynomial which evolves with the scale under the renormalisation group map. In our context, the progressive analysis is performed via a finite-range covariance decomposition. Perturbative calculations are used to track the flow of the coupling constants of the evolving polynomial, but on their own perturbative calculations are insufficient to control error terms and to obtain mathematically rigorous results. In this paper, we define an additional non-perturbative coordinate, which together with the flow of coupling constants defines the complete evolution of the renormalisation group map. We specify conditions under which the non-perturbative coordinate is contractive under a single renormalisation group step. Our framework is essentially combinatorial, but its implementation relies on analytic results developed earlier in the series of papers. The results of this paper are applied elsewhere to analyse the critical behaviour of the 4-dimensional continuous-time weakly self-avoiding walk and of the 4-dimensional $n$-component $|\varphi|^4$ model. In particular, the existence of a logarithmic correction to mean-field scaling for the susceptibility can be proved for both models, together with other facts about critical exponents and critical behaviour.


title: Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques

abstract: Formal methods and testing are two important approaches that assist in the development of high quality software. For long time these approaches have been seen as competitors and there was very little interaction between the two communities. In recent years a new consensus has developed in which they are seen as more complementary. In this report we present an approach based on the ASD(Analytical Software Design) suite by Verum and the Microsoft Spec Explorer Model Based Testing(MBT) tool. ASD is a model-based design approach that can produce verified software components that can be combined into complete systems. However, ASD cannot verify existing components, nor complex component interactions involving data transfers. We have developed a tool that allows us to convert ASD models to Spec Explorer, allowing us to do more complete verification of software systems using dynamic testing at little additional cost and effort. We demonstrate this by applying our approach to an industrial-size case study.


title: Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing

abstract: One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications. A disparity has traditionally been perceived between the language spoken by customers who specify the system and the language required to construct models of that system. The dynamic nature of the specifications for commercial systems further aggravates this problem in that models would need to be rechecked after every specification change. In this paper, we propose an approach for converting specifications written in the commonly-used quasi-natural language Gherkin into models for use with a model-based testing tool. We have instantiated this approach using QuickCheck and demonstrate its applicability via a case study on the eHealth system, the national health portal for Maltese residents.


title: Coverage Criteria for Model-Based Testing using Property Patterns

abstract: We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an automaton. We propose new automata coverage criteria that are tailored to the property automata we consider. These criteria are based on the coverage of a relevant subset of the transitions related to the original property, aiming at producing test cases that illustrate the dynamics of the system described in the property. In addition, we propose to produce test cases that can ensure the robustness of the system w.r.t. the property, by mutating the property automaton, in order to try to provoke events that would be forbidden by the property. This approach has been implemented into a large tool set and it has been experimented on realistic case studies, in the context of industrial research projects.


title: Spinal Test Suites for Software Product Lines

abstract: A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line.


title: Generating Complete and Finite Test Suite for ioco: Is It Possible?

abstract: Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called ioco-relation. However, generating tests for ioco is usually hindered by the problem of conflicts between inputs and outputs. Moreover, the generation is mainly based on nondeterministic methods, which may deliver complete test suites but require an unbounded number of executions. In this paper, we investigate whether it is possible to construct a finite test suite which is complete in a predefined fault domain for the classical ioco relation even in the presence of input/output conflicts. We demonstrate that it is possible under certain assumptions about the specification and implementation, by proposing a method for complete test generation, based on a traditional method developed for FSM.


title: Topological Effects in Chiral Symmetric Driven Systems

abstract: Recent years have seen a strong interest in topological effects within periodically driven systems. In this work, we explore topological effects in two closely related 2-dimensional driven systems described by Floquet operators possessing chiral symmetry (CS). Our numerical and analytical results suggest the following. Firstly, the CS is associated with the existence of the anomalous counter-propagating (ACP) modes reported recently. Specifically, we show that a particular form of CS protects the ACP modes occurring at quasienergies of $\pm \pi$. We also find that these modes are only present along selected boundaries, suggesting that they are a weak topological effect. Secondly, we find that CS can give rise to protected $0$ and $\pi$ quasienergy modes, and that the number of these modes may increase without bound as we tune up certain system parameters. Like the ACP modes, these $0$ and $\pi$ modes also appear only along selected boundaries and thus appear to be a weak topological effect. To our knowledge, this work represents the first detailed study of weak topological effects in periodically driven systems. Our findings add to the still-growing knowledge on driven topological systems.


title: A $P$-Adic Spectral Triple

abstract: We construct a spectral triple for the C$^*$-algebra of continuous functions on the space of $p$-adic integers by using a rooted tree obtained from coarse-grained approximation of the space, and the forward derivative on the tree. Additionally, we verify that our spectral triple satisfies the properties of a compact spectral metric space, and we show that the metric on the space of $p$-adic integers induced by the spectral triple is equivalent to the usual $p$-adic metric.


title: Proceedings Second Workshop on Synthesis

abstract: Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together researchers interested in synthesis to present both ongoing and mature work on all aspects of automated synthesis and its applications. The second iteration of SYNT took place in Saint Petersburg, Russia, and was co-located with the 25th International Conference on Computer Aided Verification. The workshop included eleven presentations covering the full scope of the emerging synthesis community, as well as a discussion lead by Swen Jacobs on the organization of two new synthesis competitions focusing on reactive synthesis and syntax-guided functional synthesis respectively.


title: Accelerating MCMC via Parallel Predictive Prefetching

abstract: We present a general framework for accelerating a large class of widely used Markov chain Monte Carlo (MCMC) algorithms. Our approach exploits fast, iterative approximations to the target density to speculatively evaluate many potential future steps of the chain in parallel. The approach can accelerate computation of the target distribution of a Bayesian inference problem, without compromising exactness, by exploiting subsets of data. It takes advantage of whatever parallel resources are available, but produces results exactly equivalent to standard serial execution. In the initial burn-in phase of chain evaluation, it achieves speedup over serial evaluation that is close to linear in the number of available cores.


title: Modeling the Infrared Interstellar Extinction

abstract: How dust scatters and absorbs starlight in the interstellar medium (ISM) contains important clues about the size and composition of interstellar dust. While the ultraviolet (UV) and visible interstellar extinction is well studied and can be closely fitted in terms of various dust mixtures (e.g., the silicategraphite mixture), the infrared (IR) extinction is not well understood, particularly, the mid-IR extinction in the 3-8 micron wavelength range is rather flat (or "gray") and is inconsistent with the standard Mathis, Rumpl, & Nordsieck (MRN) silicate-graphite dust model. We attempt to reproduce the flat IR extinction by exploring various dust sizes and species, including amorphous silicate, graphite, amorphous carbon and iron. We find that the flat IR extinction is best explained in terms of micrometer-sized amorphous carbon dust which consumes ~ 60 carbon atoms per million hydrogen atoms (i.e., C/H ~ 60 ppm). To account for the observed UV/visible and near-IR extinction, the silicate-graphite model requires Si/H ~ 34 ppm and C/H ~ 292 ppm. We conclude that the extinction from the UV to the mid-IR could be closely reproduced by a mixture of submicrometer-sized amorphous silicate dust, submicrometer-sized graphitic dust, and micrometer-sized amorphous carbon dust, at the expense of excess C available in the ISM (i.e., this model requires a solid-phase C abundance of C/H ~ 352 ppm, considerably exceeding what could be available in the ISM).


title: Systematic Ensemble Learning for Regression

abstract: The motivation of this work is to improve the performance of standard stacking approaches or ensembles, which are composed of simple, heterogeneous base models, through the integration of the generation and selection stages for regression problems. We propose two extensions to the standard stacking approach. In the first extension we combine a set of standard stacking approaches into an ensemble of ensembles using a two-step ensemble learning in the regression setting. The second extension consists of two parts. In the initial part a diversity mechanism is injected into the original training data set, systematically generating different training subsets or partitions, and corresponding ensembles of ensembles. In the final part after measuring the quality of the different partitions or ensembles, a max-min rule-based selection algorithm is used to select the most appropriate ensemble/partition on which to make the final prediction. We show, based on experiments over a broad range of data sets, that the second extension performs better than the best of the standard stacking approaches, and is as good as the oracle of databases, which has the best base model selected by cross-validation for each data set. In addition to that, the second extension performs better than two state-of-the-art ensemble methods for regression, and it is as good as a third state-of-the-art ensemble method.


title: Critical two-point function of the 4-dimensional weakly self-avoiding walk

abstract: We prove $|x|^{-2}$ decay of the critical two-point function for the continuous-time weakly self-avoiding walk on $\mathbb{Z}^d$, in the upper critical dimension $d=4$. This is a statement that the critical exponent $\eta$ exists and is equal to zero. Results of this nature have been proved previously for dimensions $d \geq 5$ using the lace expansion, but the lace expansion does not apply when $d=4$. The proof is based on a rigorous renormalisation group analysis of an exact representation of the continuous-time weakly self-avoiding walk as a supersymmetric field theory. Much of the analysis applies more widely and has been carried out in a previous paper, where an asymptotic formula for the susceptibility is obtained. Here, we show how observables can be incorporated into the analysis to obtain a pointwise asymptotic formula for the critical two-point function. This involves perturbative calculations similar to those familiar in the physics literature, but with error terms controlled rigorously.


title: A Note on the Quantile Formulation

abstract: Many investment models in discrete or continuous-time settings boil down to maximizing an objective of the quantile function of the decision variable. This quantile optimization problem is known as the quantile formulation of the original investment problem. Under certain monotonicity assumptions, several schemes to solve such quantile optimization problems have been proposed in the literature. In this paper, we propose a change-of-variable and relaxation method to solve the quantile optimization problems without using the calculus of variations or making any monotonicity assumptions. The method is demonstrated through a portfolio choice problem under rank-dependent utility theory (RDUT). We show that this problem is equivalent to a classical Merton's portfolio choice problem under expected utility theory with the same utility function but a different pricing kernel explicitly determined by the given pricing kernel and probability weighting function. With this result, the feasibility, well-posedness, attainability and uniqueness issues for the portfolio choice problem under RDUT are solved. It is also shown that solving functional optimization problems may reduce to solving probabilistic optimization problems. The method is applicable to general models with law-invariant preference measures including portfolio choice models under cumulative prospect theory (CPT) or RDUT, Yaari's dual model, Lopes' SP/A model, and optimal stopping models under CPT or RDUT.


title: Mapping of strained graphene into one-dimensional Hamiltonians: quasicrystals and modulated crystals

abstract: The electronic properties of graphene under any arbitrary uniaxial strain field are obtained by an exact mapping of the corresponding tight-binding Hamiltonian into an effective one-dimensional modulated chain. For a periodic modulation, the system displays a rich behavior, including quasicrystals and modulated crystals with a complex spectrum, gaps at the Fermi energy and interesting localization properties. These features are explained by the incommensurate or commensurate nature of the potential, which leads to a dense filling of the reciprocal space in the former case. Thus, the usual perturbation theory approach breaks down in some cases, as is proved by analyzing a special momentum that uncouples the model into dimers.


title: The Zero-Mass Limit Problem for a Relativistic Spinless Particle in an Electromagnetic Field

abstract: It is shown that mass-parameter-dependent solutions of the imaginary-time magnetic relativitstic Schr\"odinger equations converge as functionals of L\'evy processes represented by stochastic integrals of stationary Poisson point processes if mass-parameter goes to zero.


title: Extended Formulations for Sparsity Matroids

abstract: We show the existence of a polynomial-size extended formulation for the base polytope of a $(k,\ell)$-sparsity matroid. For an undirected graph $G=(V,E)$, the size of the formulation is $O(|V||E|)$ when $k \geq \ell$ and $O(|V|^2 |E|)$ when $k \leq \ell$. To this end, we employ the technique developed by Faenza et al. recently that uses a randomized communication protocol.


title: Parametric Analytical Preconditioning and its Applications to the Reduced Collocation Methods

abstract: In this paper, we extend the recently developed reduced collocation method \cite{ChenGottlieb} to the nonlinear case, and propose two analytical preconditioning strategies. One is parameter independent and easy to implement, the other one has the traditional affinity with respect to the parameters which allows for efficient implementation through an offline-online decomposition. Overall, the preconditioning improves the quality of the error estimation uniformly on the parameter domain, and speeds up the convergence of the reduced solution to the truth approximation.


title: Bias Correction in Species Distribution Models: Pooling Survey and Collection Data for Multiple Species

abstract: Presence-only records may provide data on the distributions of rare species, but commonly suffer from large, unknown biases due to their typically haphazard collection schemes. Presence-absence or count data collected in systematic, planned surveys are more reliable but typically less abundant. We proposed a probabilistic model to allow for joint analysis of presence-only and survey data to exploit their complementary strengths. Our method pools presence-only and presence-absence data for many species and maximizes a joint likelihood, simultaneously estimating and adjusting for the sampling bias affecting the presence-only data. By assuming that the sampling bias is the same for all species, we can borrow strength across species to efficiently estimate the bias and improve our inference from presence-only data. We evaluate our model's performance on data for 36 eucalypt species in southeastern Australia. We find that presence-only records exhibit a strong sampling bias toward the coast and toward Sydney, the largest city. Our data-pooling technique substantially improves the out-of-sample predictive performance of our model when the amount of available presence-absence data for a given species is scarce. If we have only presence-only data and no presence-absence data for a given species, but both types of data for several other species that suffer from the same spatial sampling bias, then our method can obtain an unbiased estimate of the first species' geographic range.


title: Elementary Particles and the Causet Approach to Discrete Quantum Gravity

abstract: In a previous paper, the author introduced a covariant causet ($c$-causet) approach to discrete quantum gravity. A $c$-causet is a finite partially ordered set that is invariant under labeling. The invariant labeling of a $c$-causet $x$ enables us to uniquely specify $x$ by a sequence $\brac{s_j(x)}$, $j=0,1,2,\ldots$, of positive integers called a shell sequence of $x$. A $c$-causet $x$ describes the microscopic structure of a possible universe at a particular time step. In general, $x$ represents one of many universes in a multiverse and $x$ grows by a single element at each time step. Since early stages of a universe were probably composed of elementary particles, we propose that elementary particles can be described by simple $c$-causets. Although we do not have a rigorous theory for such a description, we present our guess as to how it might appear. The shell sequence can be applied to find theoretical masses of particles and these seem to approximately agree with known masses. We point out that the causal order provides a unification of the strong and weak forces for elementary particles and also determines the geometry of $c$-causets which describes gravity. Moreover, it appears that some particles correspond to dark matter-energy.


title: WAFOM on abelian groups for quasi-Monte Carlo point sets

abstract: In this paper, we study quasi-Monte Carlo (QMC) rules for numerical integration. J. Dick proved a Koksma-Hlawka type inequality for $\alpha$-smooth integrands and gave an explicit construction of QMC rules achieving the optimal rate of convergence in that function class. From this inequality, Matsumoto et al. introduced Walsh figure of merit (WAFOM) $\mathrm{WAFOM}(P)$ for an $\mathbb{F}_2$-digital net $P$ as a quickly computable quality criterion for $P$ as a QMC point set. The key ingredient for obtaining WAFOM is the Dick weight, a generalization of the Hamming weight and the Niederreiter-Rosenbloom-Tsfasman (NRT) weight. We extend the notions of the Dick weight and WAFOM for digital nets over a general finite abelian group $G$, and show that this version of WAFOM satisfies Koksma-Hlawka type inequality when $G$ is cyclic. We give a MacWilliams-type identity on the weight enumerator polynomials for the Dick weight, by which we can compute the minimum Dick weight as well as WAFOM. We give a lower bound of WAFOM of order $N^{-C'_G(\log N)/s}$ and an upper bound of lowest WAFOM of order $N^{-C_G(\log N)/s}$ for given $(G,N,s)$ if $(\log N)/s$ is sufficiently large, where $N$ is the cardinality of the point set $P$, $P$ is a quadrature rule in $[0,1)^s$, and $C'_G$ and $C_G$ are constants depending only on the cardinality of $G$. These bounds generalize the bounds given by Yoshiki and others given for $G=\mathbb{F}_2$.


title: Impulsive cylindrical gravitational wave: one possible radiative form emitted from cosmic strings and corresponding electromagnetic response

abstract: The cosmic strings(CSs) may be one important source of gravitational waves(GWs), and it has been intensively studied due to its special properties such as the cylindrical symmetry. The CSs would generate not only usual continuous GW, but also impulsive GW that brings more concentrated energy and consists of different GW components broadly covering low-, intermediate- and high-frequency bands simultaneously. These features might underlie interesting electromagnetic(EM) response to these GWs generated by the CSs. In this paper, with novel results and effects, we firstly calculate the analytical solutions of perturbed EM fields caused by interaction between impulsive cylindrical GWs (would be one of possible forms emitted from CSs) and background celestial high magnetic fields or widespread cosmological background magnetic fields, by using rigorous Einstein - Rosen metric. Results show: perturbed EM fields are also in the impulsive form accordant to the GW pulse, and asymptotic behaviors of the perturbed EM fields are fully consistent with the asymptotic behaviors of the energy density, energy flux density and Riemann curvature tensor of corresponding impulsive cylindrical GWs. The analytical solutions naturally give rise to the accumulation effect which is proportional to the term of distance^1/2, and based on it, we for the first time predict potentially observable effects in region of the Earth caused by the EM response to GWs from the CSs.


title: Casimir interaction between spheres in $\boldsymbol{(D+1)}$-dimensional Minkowski spacetime

abstract: We consider the Casimir interaction between two spheres in $(D+1)$-dimensional Minkowski spacetime due to the vacuum fluctuations of scalar fields. We consider combinations of Dirichlet and Neumann boundary conditions. The TGTG formula of the Casimir interaction energy is derived. The computations of the T matrices of the two spheres are straightforward. To compute the two G matrices, known as translation matrices, which relate the hyper-spherical waves in two spherical coordinate frames differ by a translation, we generalize the operator approach employed in [IEEE Trans. Antennas Propag. \textbf{36}, 1078 (1988)]. The result is expressed in terms of an integral over Gegenbauer polynomials. Using our expression for the Casimir interaction energy, we derive the large separation and small separation asymptotic expansions of the Casimir interaction energy. In the large separation regime, we find that the Casimir interaction energy is of order $L^{-2D+3}$, $L^{-2D+1}$ and $L^{-2D-1}$ respectively for Dirichlet-Dirichlet, Dirichlet-Neumann and Neumann-Neumann boundary conditions, where $L$ is the center-to-center distance of the two spheres. In the small separation regime, we confirm that the leading term of the Casimir interaction agrees with the proximity force approximation, which is of order $d^{-\frac{D+1}{2}}$, where $d$ is the distance between the two spheres. Another main result of this work is the analytic computations of the next-to-leading order term in the small separation asymptotic expansion. This term is computed using careful order analysis as well as perturbation method. We find that when $D$ is large, the ratio of the next-to-leading order term to the leading order term is linear in $D$, indicating a larger correction at higher dimensions.


title: Superradiant instability of the charged scalar field in stringy black hole mirror system

abstract: It has been shown that the mass of the scalar field in the charged stringy black hole is never able to generate a potential well outside the event horizon to trap the superradiant modes. This is to say that the charged stringy black hole is stable against the massive charged scalar perturbation. In this paper we will study the superradiant instability of the massless scalar field in the background of charged stringy black hole due to a mirror-like boundary condition. The analytical expression of the unstable superradiant modes is derived by using the asymptotic matching method. It is also pointed out that the black hole mirror system becomes extremely unstable for a large charge $q$ of scalar field and the small mirror radius $r_m$.


title: Detection of vibronic bands of C$_3$ in a translucent cloud towards HD 169454

abstract: We report the detection of eight vibronic bands of C$_3$, seven of which have been hitherto unobserved in astrophysical objects, in the translucent cloud towards HD~169454. Four of these bands are also found towards two additional objects: HD~73882 and HD~154368. Very high signal-to-noise ratio ($\sim$1000 and higher) and high resolving power ($R=80,000$) UVES-VLT spectra (Paranal, Chile) allow for detecting novel spectral features of C$_3$, even revealing weak perturbed features in the strongest bands. The work presented here provides the most complete spectroscopic survey of the so far largest carbon chain detected in translucent interstellar clouds. High-quality laboratory spectra of C$_3$ are measured using cavity ring-down absorption spectroscopy in a supersonically expanding hydrocarbon plasma, to support the analysis of the identified bands towards HD~169454. A column density of N(C$_3$) = $(6.6 \pm 0.2) \times 10^{12}$ cm$^{-2}$ is inferred and the excitation of the molecule exhibits two temperature components; $T_{exc}= 22 \pm 1$ K for the low-$J$ states and $T_{exc}= 187 \pm 25$ K for the high-$J$ tail. The rotational excitation of C$_3$ is reasonably well explained by models involving a mechanism including inelastic collisions, formation and destruction of the molecule, and radiative pumping in the far-infrared. These models yield gas kinetic temperatures comparable to those found for $T_{exc}$. The assignment of spectral features in the UV-blue range 3793-4054 \AA\ may be of relevance for future studies aiming at unravelling spectra to identify interstellar molecules associated with the diffuse interstellar bands (DIBs).


title: Smooth approximation of stochastic differential equations

abstract: Consider an It\^{o} process $X$ satisfying the stochastic differential equation $dX=a(X)\,dt+b(X)\,dW$ where $a,b$ are smooth and $W$ is a multidimensional Brownian motion. Suppose that $W_n$ has smooth sample paths and that $W_n$ converges weakly to $W$. A central question in stochastic analysis is to understand the limiting behavior of solutions $X_n$ to the ordinary differential equation $dX_n=a(X_n)\,dt+b(X_n)\,dW_n$. The classical Wong--Zakai theorem gives sufficient conditions under which $X_n$ converges weakly to $X$ provided that the stochastic integral $\int b(X)\,dW$ is given the Stratonovich interpretation. The sufficient conditions are automatic in one dimension, but in higher dimensions the correct interpretation of $\int b(X)\,dW$ depends sensitively on how the smooth approximation $W_n$ is chosen. In applications, a natural class of smooth approximations arise by setting $W_n(t)=n^{-1/2}\int_0^{nt}v\circ\phi_s\,ds$ where $\phi_t$ is a flow (generated, e.g., by an ordinary differential equation) and $v$ is a mean zero observable. Under mild conditions on $\phi_t$, we give a definitive answer to the interpretation question for the stochastic integral $\int b(X)\,dW$. Our theory applies to Anosov or Axiom A flows $\phi_t$, as well as to a large class of nonuniformly hyperbolic flows (including the one defined by the well-known Lorenz equations) and our main results do not require any mixing assumptions on $\phi_t$. The methods used in this paper are a combination of rough path theory and smooth ergodic theory.


title: Refined Parameters of Chelyabinsk and Tunguska Meteoroids and their Explosion Modes

abstract: This paper describes application of mathematical model that establishes relationship between parameters of celestial bodies motion in the spheres of activity of the Sun and the Earth with mass-energy characteristics of these objects and their explosion modes during destruction in the Earth atmosphere, that in turn are linked with phenomena observed on underlying surface. This model was used to calculate the characteristics of objects that caused the Chelyabinsk and Tunguska explosions with using of its trajectory parameters described in recent scientific publications (late 2013 - early 2014). It turned out that the size of Chelyabinsk meteoroid was equal to 180 - 185 meters, and its mass was close to 1.8 megatons. Energy of its explosion was equal to 57 megatons of TNT, size of Tunguska meteoroid was equal to 105 m, mass - 0.35 megatons, while energy of explosion was about of 14.5 megatons of TNT. Due to the common origin of these two celestial bodies their average density was equal - about of 570 kg/m^3.


title: Skyrmion-skyrmion and skyrmion-edge repulsions in skyrmion-based racetrack memory

abstract: Magnetic skyrmions are promising for building next-generation magnetic memories and spintronic devices due to their stability, small size and the extremely low currents needed to move them. In particular, skyrmion-based racetrack memory is attractive for information technology, where skyrmions are used to store information as data bits instead of traditional domain walls. Here we numerically demonstrate the impacts of skyrmion-skyrmion and skyrmion-edge repulsions on the feasibility of skyrmion-based racetrack memory. The reliable and practicable spacing between consecutive skyrmionic bits on the racetrack as well as the ability to adjust it are investigated. Clogging of skyrmionic bits is found at the end of the racetrack, leading to the reduction of skyrmion size. Further, we demonstrate an effective and simple method to avoid the clogging of skyrmionic bits, which ensures the elimination of skyrmionic bits beyond the reading element. Our results give guidance for the design and development of future skyrmion-based racetrack memory.


title: Spin-2 $N\Omega$ Dibaryon from Lattice QCD

abstract: We investigate properties of the $N$(nucleon)-$\Omega$(Omega) interaction in lattice QCD to seek for possible dibaryon states in the strangeness $-3$ channel. We calculate the $N\Omega$ potential through the equal-time Nambu-Bethe-Salpeter wave function in 2+1 flavor lattice QCD with the renormalization group improved Iwasaki gauge action and the nonperturbatively $\mathcal{O}(a)$ improved Wilson quark action at the lattice spacing $a\simeq 0.12$ fm on a (1.9 fm)$^{3}\times$ 3.8 fm lattice. The $ud$ and $s$ quark masses in our study correspond to $m_{\pi}= 875(1)$ MeV and $m_{K}= 916(1)$ MeV. At these parameter values, the central potential in the S-wave with the spin 2 shows attractions at all distances.By solving the Schr\"{o}dinger equation with this potential, we find one bound state whose binding energy is $18.9(5.0)(^{+12.1}_{-1.8})$ MeV, where the first error is the statistical one, while the second represents the systematic error.


title: Distinguishing niche and neutral processes: issues in variation partitioning statistical methods and further perspectives

abstract: Variance partitioning methods, which are built upon multivariate statistics, have been widely applied in different taxa and habitats in community ecology. Here, I performed a literature review on the development and application of the methods, and then discussed the limitation of available methods and the difficulties involved in sampling schemes. The central goal of the work is then to propose some potential practical methods that might help to overcome different issues of traditional least-square-based regression modeling. A variety of regression models has been considered for comparison. In initial simulations, I identified that generalized additive model (GAM) has the highest accuracy to predict variation components. Therefore, I argued that other advanced regression techniques, including the GAM and related models, could be utilized in variation partitioning for better quantifying the aggregation scenarios of species distribution.


title: The Role of a Market Maker in Networked Cournot Competition

abstract: We study the role of a market maker (or market operator) in a transmission constrained electricity market. We model the market as a one-shot networked Cournot competition where generators supply quantity bids and load serving entities provide downward sloping inverse demand functions. This mimics the operation of a spot market in a deregulated market structure. In this paper, we focus on possible mechanisms employed by the market maker to balance demand and supply. In particular, we consider three candidate objective functions that the market maker optimizes - social welfare, residual social welfare, and consumer surplus. We characterize the existence of Generalized Nash Equilibrium (GNE) in this setting and demonstrate that market outcomes at equilibrium can be very different under the candidate objective functions.


title: Transient acceleration in $f(T)$ gravity

abstract: Recently a $f(T)$ gravity based on the modification of the teleparallel gravity was proposed to explain the accelerated expansion of the universe without the need of dark energy. We use observational data from Type Ia Supernovae, Baryon Acoustic Oscillations, and Cosmic Microwave Background to constrain this $f(T)$ theory and reconstruct the effective equation of state and the deceleration parameter. We obtain the best-fit values of parameters and find an interesting result that the $f(T)$ theory considered here allows for the accelerated Hubble expansion to be a transient effect.


title: iPTF13bvn: The First Evidence of a Binary Progenitor for a Type Ib Supernova

abstract: The recent detection in archival HST images of an object at the the location of supernova (SN) iPTF13bvn may represent the first direct evidence of the progenitor of a Type Ib SN. The object's photometry was found to be compatible with a Wolf-Rayet pre-SN star mass of ~11 Msun. However, based on hydrodynamical models we show that the progenitor had a pre-SN mass of ~3.5 Msun and that it could not be larger than ~8 Msun. We propose an interacting binary system as the SN progenitor and perform evolutionary calculations that are able to self-consistently explain the light-curve shape, the absence of hydrogen, and the pre-SN photometry. We further discuss the range of allowed binary systems and predict that the remaining companion is a luminous O-type star of significantly lower flux in the optical than the pre-SN object. A future detection of such star may be possible and would provide the first robust identification of a progenitor system for a Type Ib SN.


title: Proposal for a running coupling JIMWLK equation

abstract: In the CGC framework the initial stages of a heavy ion collision at high energy are described as "glasma" field configurations. The initial condition for these evolving fields depends, in the CGC effective theory, on a probability distribution for color charges. The energy dependence of this distribution can be calculated from the JIMWLK renormalization group equation. We discuss recent work on a practical implementation of the running coupling constant in the Langevin method of solving the JIMWLK equation.


title: Impacts of Rotation on Three-dimensional Hydrodynamics of Core-collapse Supernovae

abstract: We perform a series of simplified numerical experiments to explore how rotation impacts on the three-dimensional (3D) hydrodynamics of core-collapse supernovae. For the sake of our systematic study, we employ a light-bulb scheme to trigger explosions and a three-flavor neutrino leakage scheme to treat deleptonization effects and neutrino losses from proto-neutron star interior. Using a 15 solar mass progenitor, we compute thirty models in 3D with a wide variety of initial angular momentum and light-bulb neutrino luminosity. We find that the rotation can help onset of neutrino-driven explosions for the models in which the initial angular momentum is matched to that obtained in recent stellar evolutionary calculations (0.3-3 rad/s at the center). For the models with larger initial angular momentum, the shock surface deforms to be more oblate due to larger centrifugal force. This makes not only a gain region more concentrated around the equatorial plane, but also the mass in the gain region bigger. As a result, buoyant bubbles tend to be coherently formed and rise in the equatorial region, which pushes the revived shock ever larger radii until a global explosion is triggered. We find that these are the main reasons that the preferred direction of explosion in 3D rotating models is often perpendicular to the spin axis, which is in sharp contrast to the polar explosions around the axis that was obtained in previous 2D simulations.


title: Instruction-set Selection for Multi-application based ASIP Design: An Instruction-level Study

abstract: Efficiency in embedded systems is paramount to achieve high performance while consuming less area and power. Processors in embedded systems have to be designed carefully to achieve such design constraints. Application Specific Instruction set Processors (ASIPs) exploit the nature of applications to design an optimal instruction set. Despite being not general to execute any application, ASIPs are highly preferred in the embedded systems industry where the devices are produced to satisfy a certain type of application domain/s (either intra-domain or inter-domain). Typically, ASIPs are designed from a base-processor and functionalities are added for applications. This paper studies the multi-application ASIPs and their instruction sets, extensively analysing the instructions for inter-domain and intra-domain designs. Metrics analysed are the reusable instructions and the extra cost to add a certain application. A wide range of applications from various application benchmarks (MiBench, MediaBench and SPEC2006) and domains are analysed for two different architectures (ARM-Thumb and PISA). Our study shows that the intra-domain applications contain larger number of common instructions, whereas the inter-domain applications have very less common instructions, regardless of the architecture (and therefore the ISA).


title: A Mining Method to Create Knowledge Map by Analysing the Data Resource

abstract: The fundamental step in measuring the robustness of a system is the synthesis of the so called Process Map.This is generally based on the user raw data material.Process Maps are of fundamental importance towards the understanding of the nature of a system in that they indicate which variables are causally related and which are particularly important.This paper represent the system Map or business structure map to understand business criteria studying the various aspects of the company.The business structure map or knowledge map or Process map are used to increase the growth of the company by giving some useful measures according to the business criteria.This paper also deals with the different company strategy to reduce the risk factors.Process Map is helpful for building such knowledge successfully.Making decisions from such map in a highly complex situation requires more knowledge and resources.


title: Constant time encryption as a countermeasure against remote cache timing attacks

abstract: Rijndael was standardized in 2001 by National Institute of Standard and Technology as the Advanced Encryption Standard (AES). AES is still being used to encrypt financial, military and even government confidential data. In 2005, Bernstein illustrated a remote cache timing attack on AES using the client-server architecture and therefore proved a side channel in its software implementation. Over the years, a number of countermeasures have been proposed against cache timing attacks both using hardware and software. Although the software based countermeasures are flexible and easy to deploy, most of such countermeasures are vulnerable to statistical analysis. In this paper, we propose a novel software based countermeasure against cache timing attacks, known as constant time encryption, which we believe is secure against statistical analysis. The countermeasure we proposed performs rescheduling of instructions such that the encryption rounds will consume constant time independent of the cache hits and misses. Through experiments, we prove that our countermeasure is secure against Bernstein's cache timing attack.


title: Accelerating string matching for bio-computing applications on multi-core CPUs

abstract: Huge amount of data in the form of strings are being handled in bio-computing applications and searching algorithms are quite frequently used in them. Many methods utilizing on both software and hardware are being proposed to accelerate processing of such data. The typical hardware-based acceleration techniques either require special hardware such as general purpose graphics processing units (GPGPUs) or need building a new hardware such as an FPGA based design. On the other hard, software-based acceleration techniques are easier since they only require some changes in the software code or the software architecture. Typical software-based techniques make use of computers connected over a network, also known as a network grid to accelerate the processing. In this paper, we test the hypothesis that multi-core architectures should provide better performance in this kind of computation, but still it would depend on the algorithm selected as well as the programming model being utilized. We present the acceleration of a string-searching algorithm on a multi-core CPU via a POSIX thread based implementation. Our implementation on an 8-core processor (that supports 16-threads) resulted in 9x throughput improvement compared to a single thread implementation.


title: Improving the throughput of the AES algorithm with multicore processors

abstract: AES, Advanced Encryption Standard, can be considered the most widely used modern symmetric key encryption standard. To encrypt/decrypt a file using the AES algorithm, the file must undergo a set of complex computational steps. Therefore a software implementation of AES algorithm would be slow and consume large amount of time to complete. The immense increase of both stored and transferred data in the recent years had made this problem even more daunting when the need to encrypt/decrypt such data arises. As a solution to this problem, in this paper, we present an extensive study of enhancing the throughput of AES encryption algorithm by utilizing the state of the art multicore architectures. We take a sequential program that implements the AES algorithm and convert the same to run on multicore architectures with minimum effort. We implement two different parallel programmes, one with the fork system call in Linux and the other with the pthreads, the POSIX standard for threads. Later, we ran both the versions of the parallel programs on different multicore architectures and compared and analysed the throughputs between the implementations and among different architectures. The pthreads implementation outperformed in all the experiments we conducted and the best throughput obtained is around 7Gbps on a 32-core processor (the largest number of cores we had) with the pthreads implementation.


title: Tile optimization for area in FPGA based hardware acceleration of peptide identification

abstract: Advances in life sciences over the last few decades have lead to the generation of a huge amount of biological data. Computing research has become a vital part in driving biological discovery where analysis and categorization of biological data are involved. String matching algorithms can be applied for protein/gene sequence matching and with the phenomenal increase in the size of string databases to be analyzed, software implementations of these algorithms seems to have hit a hard limit and hardware acceleration is increasingly being sought. Several hardware platforms such as Field Programmable Gate Arrays (FPGA), Graphics Processing Units (GPU) and Chip Multi Processors (CMP) are being explored as hardware platforms. In this paper, we give a comprehensive overview of the literature on hardware acceleration of string matching algorithms, we take an FPGA hardware exploration and expedite the design time by a design automation technique. Further, our design automation is also optimized for better hardware utilization through optimizing the number of peptides that can be represented in an FPGA tile. The results indicate significant improvements in design time and hardware utilization which are reported in this paper.


title: Countermeasures against Bernstein's remote cache timing attack

abstract: Cache timing attack is a type of side channel attack where the leaking timing information due to the cache behaviour of a crypto system is used by an attacker to break the system. Advanced Encryption Standard (AES) was considered a secure encryption standard until 2005 when Daniel Bernstein claimed that the software implementation of AES is vulnerable to cache timing attack. Bernstein demonstrated a remote cache timing attack on a software implementation of AES. The original AES implementation can methodically be altered to prevent the cache timing attack by hiding the natural cache-timing pattern during the encryption while preserving its semantics. The alternations while preventing the attack should not make the implementation very slow. In this paper, we report outcomes of our experiments on designing and implementing a number of possible countermeasures.


title: Laser frequency offset locking via tripod-type electromagnetically induced transparency

abstract: We have demonstrated the laser frequency offset locking via the Rb tripod-type double dark resonances electromagnetically induced transparency (EIT) system. The influence of coupling fields power and detuning on the tripod-type EIT profile is detailed studied. In a wide coupling fields detuning range, the narrower EIT dip has an ultranarrow linewidth of 590 KHz, which is about one order narrower than the natural linewidth of Rb. Without the additional frequency stabilization of the coupling lasers, we achieve the relative frequency fluctuation of 60 KHz in a long time of ~2000s, which is narrower than the short-time linewidth of each individual laser.


title: Heterogeneous processor pipeline for a product cipher application

abstract: Processing data received as a stream is a task commonly performed by modern embedded devices, in a wide range of applications such as multimedia (encoding/decoding/ playing media), networking (switching and routing), digital security, scientific data processing, etc. Such processing normally tends to be calculation intensive and therefore requiring significant processing power. Therefore, hardware acceleration methods to increase the performance of such applications constitute an important area of study. In this paper, we present an evaluation of one such method to process streaming data, namely multi-processor pipeline architecture. The hardware is based on a Multiple-Processor System on Chip (MPSoC), using a data encryption algorithm as a case study. The algorithm is partitioned on a coarse grained level and mapped on to an MPSoC with five processor cores in a pipeline, using specifically configured Xtensa LX3 cores. The system is then selectively optimized by strengthening and pruning the resources of each processor core. The optimized system is evaluated and compared against an optimal single-processor System on Chip (SoC) for the same application. The multiple-processor pipeline system for data encryption algorithms used was observed to provide significant speed ups, up to 4.45 times that of the single-processor system, which is close to the ideal speed up from a five-stage pipeline.


title: Does a strong particle accelerator arise very close to the light cylinder in a pulsar magnetosphere?

abstract: We examine if an efficient particle acceleration takes place by a magnetic-field-aligned electric field near the light cylinder in a rotating neutron star magnetosphere. Constructing the electric current density with the actual motion of collision-less plasmas, we express the rotationally induced, Goldreich-Julian charge density as a function of position. It is demonstrated that the 'light cylinder gap', which emits very high energy photons via curvature process by virtue of a strong magnetic-field-aligned electric field very close to the light cylinder, will not arise in an actual pulsar magnetosphere.


title: $TMF_0(3)$ Characteristic classes for String bundles

abstract: We compute the completed $TMF_0(3)$ cohomology of the 7-connective cover $BString$ of $BO$. We use cubical structures on line bundles over elliptic curves to construct an explicit class which together with the Pontryagin classes freely generates the cohomology ring.


title: D-Dbar Mixing in the Standard Model and Beyond from Nf=2 Twisted Mass QCD

abstract: We present the first unquenched lattice QCD results for the bag parameters controlling the short distance contribution to D meson oscillations in the Standard Model and beyond. We have used the gauge configurations produced by the European Twisted Mass Collaboration with Nf = 2 dynamical quarks, at four lattice spacings and light meson masses in the range 280-500 MeV. Renormalization is carried out non-perturbatively with the RI-MOM method. The bag-parameter results have been used to constrain New Physics effects in D-Dbar mixing, to put a lower bound to the generic New Physics scale and to constrain off-diagonal squark mass terms for TeV-scale Supersymmetry.


title: Did Gamma Ray Burst Induce Cambrian Explosion?

abstract: One longstanding mystery in bio-evolution since Darwin's time is the origin of the Cambrian explosion that happened around 540 million years ago (Mya), where an extremely rapid increase of species occurred. Here we suggest that a nearby GRB event ~500 parsecs away, which should occur about once per 5 Gy, might have triggered the Cambrian explosion. Due to a relatively lower cross section and the conservation of photon number in Compton scattering, a substantial fraction of the GRB photons can reach the sea level and would induce DNA mutations in organisms protected by a shallow layer of water or soil, thus expediting the bio-diversification. This possibility of inducing genetic mutations is unique among all candidate sources for major incidents in the history of bio-evolution. A possible evidence would be the anomalous abundance of certain nuclear isotopes with long half-lives transmuted by the GRB photons in geological records from the Cambrian period. Our notion also imposes constraints on the evolution of exoplanet organisms and the migration of panspermia.


title: Characteristic Kernels and Infinitely Divisible Distributions

abstract: We connect shift-invariant characteristic kernels to infinitely divisible distributions on $\mathbb{R}^{d}$. Characteristic kernels play an important role in machine learning applications with their kernel means to distinguish any two probability measures. The contribution of this paper is two-fold. First, we show, using the L\'evy-Khintchine formula, that any shift-invariant kernel given by a bounded, continuous and symmetric probability density function (pdf) of an infinitely divisible distribution on $\mathbb{R}^d$ is characteristic. We also present some closure property of such characteristic kernels under addition, pointwise product, and convolution. Second, in developing various kernel mean algorithms, it is fundamental to compute the following values: (i) kernel mean values $m_P(x)$, $x \in \mathcal{X}$, and (ii) kernel mean RKHS inner products ${\left\langle m_P, m_Q \right\rangle_{\mathcal{H}}}$, for probability measures $P, Q$. If $P, Q$, and kernel $k$ are Gaussians, then computation (i) and (ii) results in Gaussian pdfs that is tractable. We generalize this Gaussian combination to more general cases in the class of infinitely divisible distributions. We then introduce a {\it conjugate} kernel and {\it convolution trick}, so that the above (i) and (ii) have the same pdf form, expecting tractable computation at least in some cases. As specific instances, we explore $\alpha$-stable distributions and a rich class of generalized hyperbolic distributions, where the Laplace, Cauchy and Student-t distributions are included.


title: Broadening of $\rho (\to e^+e^-)$ meson produced coherently in the photonuclear reaction

abstract: The $e^+e^-$ invariant mass distribution spectra are calculated to estimate the hadron parameters of the $\rho$ meson produced coherently in the photonuclear reaction. The elementary reaction occurring in the nucleus is considered to proceed as $ \gamma N \to \rho^0 N ; ~ \rho^0 \to e^+e^- $. We describe the elementary $\rho$ meson photoproduction by the experimentally determined reaction amplitude $ f_{ \gamma N \to \rho^0 N } $. The $\rho$ meson propagator is presented by the eikonal form, and the $\rho$ meson nucleus optical potential $V_{O\rho}$ appearing in it is estimated using the "$t\varrho$" approximation. The $\rho$ meson nucleon scattering amplitude $ f_{ \rho N } $ extracted from the measurements is used to generate this potential. The calculated $e^+e^-$ invariant mass distribution spectra are compared with those measured at Jefferson Laboratory. The calculated results for the transparency ratio are also presented.


title: Scattering of massless Dirac fermions in circular p-n junctions with and without magnetic field

abstract: In the absence of a magnetic field, scattered wavefunction inside a circular p-n junction in graphene exhibits an interference pattern with high intensity maximum located around the caustics. We investigate the wavefunctions in the presence of a uniform magnetic field outside the circular region to show how the loci of the high intensity region changes by forming Landau level structure outside the circular region and a central high intensity region inside the circular p-n junction due to the strong reflection of massless Dirac fermions by the outside magnetic field. We conclude by suggesting experimental ways to detect such change of pattern due to the effect of the magnetic field.


title: Fermions tunnelling with quantum gravity correction

abstract: Quantum gravity correction is truly important to study tunnelling process of black hole. Base on the generalized uncertainty principle, we investigate the influence of quantum gravity and the result tell us that the quantum gravity correction accelerates the evaporation of black hole. Using corrected Dirac equation in curved spacetime and Hamilton-Jacobi method, we address the tunnelling of fermions in a 4-dimensional Schwarzschild spacetime. After solving the equation of motion of the spin 1/2 field, we obtain the corrected Hawking temperature. It turns out that the correction depends not only on the mass of black hole but aslo on the mass of emitted fermions. In our calculation, the quantum gravity correction accelerates the increasing of Hawking temperature during the radiation explicitly. This correction leads to the increasing of the evaporation of black hole.


title: Data Generators for Learning Systems Based on RBF Networks

abstract: There are plenty of problems where the data available is scarce and expensive. We propose a generator of semi-artificial data with similar properties to the original data which enables development and testing of different data mining algorithms and optimization of their parameters. The generated data allow a large scale experimentation and simulations without danger of overfitting. The proposed generator is based on RBF networks, which learn sets of Gaussian kernels. These Gaussian kernels can be used in a generative mode to generate new data from the same distributions. To assess quality of the generated data we evaluated the statistical properties of the generated data, structural similarity and predictive similarity using supervised and unsupervised learning techniques. To determine usability of the proposed generator we conducted a large scale evaluation using 51 UCI data sets. The results show a considerable similarity between the original and generated data and indicate that the method can be useful in several development and simulation scenarios. We analyze possible improvements in classification performance by adding different amounts of generated data to the training set, performance on high dimensional data sets, and conditions when the proposed approach is successful.


title: A New Method for PSF correction using the Ellipticity of Re-smeared Artificial Images in Weak Gravitational Lensing Shear Analysis

abstract: We propose a new method for Point Spread Function (PSF) correction in weak gravitational lensing shear analysis using an artificial image with the same ellipticity as the lensed image. This avoids the systematic error associated with the approximation in PSF correction used in previous approaches. We test the new method with simulated objects which have Gaussian or Cersic profiles smeared by a Gaussian PSF, and confirm that there is no systematic error.


title: Collinear parton splitting in early thermalization and chemical equilibration

abstract: Early local equilibration of a hot medium created in high-energy heavy ion collisions has been one of the long standing issues in hadron physics. The glasma model predicts that the medium initially has a large amount of high-momentum gluons but few quarks. We develop a phenomenological model based on collinear splitting and recombination of quarks and gluons for a simplified description of thermalization and chemical equilibration. We find that both could be achieved in a short time but chemical equilibration is slower than thermalization.


title: Performance Evaluation of Raster Based Shape Vectors in Object Recognition

abstract: Object recognition is still an impediment in the field of computer vision and multimedia retrieval.Defining an object model is a critical task. Shape information of an object play a critical role in the process of object recognition. Extraction of boundary information of an object from the multimedia data and classifying this information with associated objects is the primary step towards object recognition. Rasters play an important role while computing object boundary. The trade-off lies with the dimensionality of the object versus computational cost while achieving maximum efficiency. In this treatise an attempt is made to evaluate the performance of circular and spiral raster models in terms of average retrieval efficiency and computational cost.


title: Rokhlin actions of finite groups on UHF-absorbing C*-algebras

abstract: This paper serves as a source of examples of Rokhlin actions or locally representable actions of finite groups on C*-algebras satisfying a certain UHF-absorption condition. We show that given any finite group $G$ and a separable, unital C*-algebra $A$ that absorbs $M_{|G|^\infty}$ tensorially, one can lift any group homomorphism $G\to\operatorname{Aut}(A)/{\approx_u}$ to an honest Rokhlin action $\gamma$ of $G$ on $A$. Unitality may be dropped in favour of stable rank one or being stable. If $A$ belongs to a certain class of C*-algebras that is classifiable by a suitable invariant (e.g. $K$-theory), then in fact every $G$-action on the invariant lifts to a Rokhlin action of $G$ on $A$. For the crossed product C*-algebra $A\rtimes_\gamma G$ of a Rokhlin action on a UHF-absorbing C*-algebra, an inductive limit decomposition is obtained in terms of $A$ and $\gamma$. If $G$ is assumed to be abelian, then the dual action $\hat{\gamma}$ is locally representable in a very strong sense. We then show how some well-known constructions of finite group actions with certain predescribed properties can be recovered and extended by the main results of this paper, when paired with known classification theorems. Among these is Blackadar's famous construction of symmetries on the CAR algebra whose fixed point algebras have non-trivial $K_1$-groups. Lastly, we use the results of this paper to reduce the UCT problem for separable, nuclear C*-algebras to a question about certain finite group actions on $\mathcal{O}_2$.


title: On lengths, areas and Lipschitz continuity of polyharmonic mappings

abstract: In this paper, we continue our investigation of polyharmonic mappings in the complex plane. First, we establish two Landau type theorems. We also show a three circles type theorem and an area version of the Schwarz lemma. Finally, we study Lipschitz continuity of polyharmonic mappings with respect to the distance ratio metric.


title: Correlation, entropy, and information transfer in black hole radiation

abstract: Since the discovery of Hawking radiation, its consistency with quantum theory has been widely questioned. In the widely described picture, irrespective of what initial state a black hole starts with before collapsing, it eventually evolves into a thermal state of Hawking radiations after the black hole is exhausted. This scenario violates the principle of unitarity as required for quantum mechanics and leads to the acclaimed "information loss paradox". This paradox has become an obstacle or a reversed touchstone for any possible theory to unify the gravity and quantum mechanics. Based on the results from Hawking radiation as tunneling, we recently show that Hawking radiations can carry off all information about the collapsed matter in a black hole. After discovering the existence of information-carrying correlation, we show in great detail that entropy is conserved for Hawking radiation based on standard probability theory and statistics. We claim that information previously considered lost remains hidden inside Hawking radiation. More specifically, it is encoded into correlations between Hawking radiations. Our study thus establishes harmony between Harking radiation and the unitarity of quantum mechanics, which establishes the basis for a significant milestone towards resolving the long-standing information loss paradox. The paper provides a brief review of the exciting development on Hawking raidation. In addition to summarize our own work on this subject, we compare and address other related studies.


title: HRank: A Path based Ranking Framework in Heterogeneous Information Network

abstract: Recently, there is a surge of interests on heterogeneous information network analysis. As a newly emerging network model, heterogeneous information networks have many unique features (e.g., complex structure and rich semantics) and a number of interesting data mining tasks have been exploited in this kind of networks, such as similarity measure, clustering, and classification. Although evaluating the importance of objects has been well studied in homogeneous networks, it is not yet exploited in heterogeneous networks. In this paper, we study the ranking problem in heterogeneous networks and propose the HRank framework to evaluate the importance of multiple types of objects and meta paths. Since the importance of objects depends upon the meta paths in heterogeneous networks, HRank develops a path based random walk process. Moreover, a constrained meta path is proposed to subtly capture the rich semantics in heterogeneous networks. Furthermore, HRank can simultaneously determine the importance of objects and meta paths through applying the tensor analysis. Extensive experiments on three real datasets show that HRank can effectively evaluate the importance of objects and paths together. Moreover, the constrained meta path shows its potential on mining subtle semantics by obtaining more accurate ranking results.


title: Starbursts triggered by inter-galactic tides and interstellar compressive turbulence

abstract: Using parsec-resolution simulations of a typical galaxy merger, we study the triggering of starbursts by connecting the (inter-)galactic dynamics to the structure of the interstellar medium. The gravitational encounter between two galaxies enhances tidal compression over large volumes, which increases and modifies the turbulence, in particular its compressive mode with respect to the solenoidal one. This generates an excess of dense gas leading to intense star formation activity. Along the interaction, the compressive turbulence modifies the efficiency of gas-to-star conversion which, in the Schmidt-Kennicutt diagram, drives the galaxies from the sequence of discs to that of starbursts.


title: On the Outage Probability of the Full-Duplex Interference-Limited Relay Channel

abstract: In this paper, we study the performance, in terms of the asymptotic error probability, of a user which communicates with a destination with the aid of a full-duplex in-band relay. We consider that the network is interference-limited, and interfering users are distributed as a Poisson point process. In this case, the asymptotic error probability is upper bounded by the outage probability (OP). We investigate the outage behavior for well-known cooperative schemes, namely, decode-and-forward (DF) and compress-and-forward (CF) considering fading and path loss. For DF we determine the exact OP and develop upper bounds which are tight in typical operating conditions. Also, we find the correlation coefficient between source and relay signals which minimizes the OP when the density of interferers is small. For CF, the achievable rates are determined by the spatial correlation of the interferences, and a straightforward analysis isn't possible. To handle this issue, we show the rate with correlated noises is at most one bit worse than with uncorrelated noises, and thus find an upper bound on the performance of CF. These results are useful to evaluate the performance and to optimize relaying schemes in the context of full-duplex wireless networks.


title: First-principle prediction of Martensitic transformation and magnetic properties of Heusler-type Pt2-xMn1+xGa alloys

abstract: The electronic structure, magnetism and phase stability of Pt2-xMn1+xGa(x=0, 0.25, 0.5, 0.75, 1) alloys are studied by first-principle calculations. The calculations reveal that a potential magnetic martensitic transformation can be expected in all the series. In addition, a large magnetic-field-induced strain is likely to appear in Pt2-xMn1+xGa(x=0, 0.25, 0.75, 1) alloys. The electronic structure calculations indicate that the tetragonal phase is stabilized upon the distortion because of the pseudogap formation at the Fermi Level. The magnetic structure is also investigated and the total magnetic moment of the tetragonal phase is a little larger than that of the cubic austenite phase in all the series.


title: Volume and homology growth of aspherical manifolds

abstract: We provide upper bounds on the size of the homology of a closed aspherical Riemannian manifold that only depend on the systole and the volume of balls. Further, we show that linear growth of mod p Betti numbers or exponential growth of torsion homology imply that a closed aspherical manifold is "large".


title: Projective Oscillator Representations of sl(n+1) and sp(2m+2)

abstract: The n-dimensional projective group gives rise to a one-parameter family of inhomogeneous first-order differential operator representations of sl(n+1). By partially swapping differential operators and multiplication operators, we obtain more general differential operator representations of sl(n+1). Letting these differential operators act on the corresponding polynomial algebra and the space of exponential-polynomial functions, we construct new multi-parameter families of explicit infinite-dimensional irreducible representations for s(n+1) and sp(2m+2) when n=2m+1. Our results can be viewed as extensions of Howe's oscillator construction of infinite-dimensional multiplicity-free irreducible representations for sl(n).


title: Learning detectors quickly using structured covariance matrices

abstract: Computer vision is increasingly becoming interested in the rapid estimation of object detectors. Canonical hard negative mining strategies are slow as they require multiple passes of the large negative training set. Recent work has demonstrated that if the distribution of negative examples is assumed to be stationary, then Linear Discriminant Analysis (LDA) can learn comparable detectors without ever revisiting the negative set. Even with this insight, however, the time to learn a single object detector can still be on the order of tens of seconds on a modern desktop computer. This paper proposes to leverage the resulting structured covariance matrix to obtain detectors with identical performance in orders of magnitude less time and memory. We elucidate an important connection to the correlation filter literature, demonstrating that these can also be trained without ever revisiting the negative set.


title: Exploiting Delay Correlation for Multi-Antenna-Assisted High Speed Train Communications

abstract: In High Speed Train Communications (HSTC), the most challenging issue is coping with the extremely fast fading channel. Compared with its static counterpart, channel estimation on the move consumes excessive energy and spectrum to achieve similar performance. To address this issue, we exploit the delay correlation inherent in the linear spatial-temporal structure of multi-antenna array, based on which the rapid fading channel may be approximated by a virtual slow-fading channel. Subsequently, error probability and spectral efficiency are re-examined for this staticized channel. In particular, we formulate the quantitative tradeoff between the two metrics of interest, by adjusting the pilot percentage in each frame. Numerical results verify the good performance of the proposed scheme and elucidate the tradeoff.


title: BICEP2, the curvature perturbation and supersymmetry

abstract: The tensor fraction $r\simeq 0.16$ found by BICEP2 corresponds to a Hubble parameter $H\simeq 1.0\times 10^{14}\GeV$ during inflation. This has two implications for the (single-field) slow-roll inflation hypothesis. First, the inflaton perturbation must account for much more than $10\%$ of the curvature perturbation $\zeta$, which barring fine-tuning means that it accounts for practically all of it. It follows that a curvaton-like mechanism for generating $\zeta$ requires an alternative to slow roll such as k-inflation. Second, accepting slow-roll inflation, the excursion of the inflaton field is at least of order Planck scale. As a result, the flatness of the inflaton presumably requires a shift symmetry. I point out that if such is the case, the resulting potential is likely to have at least approximately the quadratic form suggested in 1983 by Linde, which is known to be compatible with the observed $r$ as well as the observed spectral index $\ns$. The shift symmetry does not require supersymmetry. Also, the big $H$ may rule out a GUT by restoring the symmetry and producing fatal cosmic strings. The absence of a GUT would correspond to the absence of superpartners for the Standard Model particles, which indeed have yet to be found at the LHC. It therefore seems quite possible that the quantum field theory chosen by Nature is not supersymmetric.


title: Higher Order BLG Supersymmetry Transformations from 10-Dimensional Super Yang Mills

abstract: We study a Simple Route for constructing the higher order Bagger-Lambert-Gustavsson theory - both supersymmetry transformations and Lagrangian - starting from knowledge of only the $10$-dimensional Super Yang Mills Fermion Supersymmetry transformation. We are able to uniquely determine the four-derivative order corrected supersymmetry transformations, to lowest non-trivial order in Fermions, for the most general three-algebra theory. For the special case of Euclidean three-algbera, we reproduce the result presented in arXiv:$1207.1208$, with significantly less labour. In addition, we apply our method to calculate the quadratic fermion terms in the higher order BLG fermion supersymmetry transformation.


title: Heavy traffic and heavy tails for the maximum of a random walk

abstract: Consider a family of random walks $S_n^{(a)}=X_1^{(a)}+\cdots+X_n^{(a)}$ with negative drift $\mathbf E X_1^{(a)}=-a<0$ and finite variance $\mbox{var}(X_1^{(a)})=\sigma^2<\infty$.Let $M^{(a)}=\max_{n\ge 0} S_n^{(a)}$ be the maximums of the random walks. The exponential asymptotics $\mathbf P(aM^{(a)}>x)\sim e^{-2x/\sigma^2}$, as $a\to 0$, were found by Kingman and are known as heavy traffic approximation in the queueing theory. For subexponential random variables the large deviation asymptotics for $\mathbf P(M^{(a)}>x)\sim \frac{1}{a}\overline F^I(x)$ hold for fixed $a$ as $x\to\infty$. In this paper we present asymptotics for $\mathbf P(M^{(a)}>x)$, which hold uniformly on the whole positive axis, as $a\to 0$. Thus, these uniform asymptotics include both the regime of normal and large deviations. We identify the regions where exponential or subexponential asymptotics hold. Our approach is based on construction of corresponding super/sub - martingales to obtain sharp upper and lower bounds.


title: Imaginaries and definable types in algebraically closed valued fields

abstract: The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from \cite{hhmcrelle}, \cite{hhm} and \cite{HL}, regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The latter is given a new proof, based on definable types rather than invariant types, and on the notion of {\em generic reparametrization}. I also try to bring out the relation to the geometry of \cite{HL} - stably dominated definable types as the model theoretic incarnation of a Berkovich point.


title: Using strong intense lasers to probe sterile neutrinos

abstract: A linearly polarized laser beam acquires its circular polarization by interacting with a neutrino beam for the reason that the gauge-couplings of left-handed neutrinos are parity-violated. Based on this phenomena, we study the oscillations of active and sterile neutrinos in short baseline neutrino experiments. Using the total fluxes of active and sterile neutrinos in the $3+1$ framework, we show that the rate of generating circular polarization oscillates as a function of the distance $L$ neutrinos propagating from the source to the detector. By measuring such oscillation, one can possibly determine the mixing amplitudes of active and sterile neutrinos and their squared-mass difference.


title: Thermal formation of carbynes

abstract: We simulate the formation of $sp$ carbon chains (carbynes) by thermal decomposition of $sp^2$ carbon heated by a hot discharge plasma, by means of tight-binding molecular dynamics. We obtain and analyze the total quantity of carbynes and their length distribution as a function of temperature and density.


title: Discrete alloy-type models: Regularity of distributions and recent results

abstract: We consider discrete random Schr\"odinger operators on $\ell^2 (\mathbb{Z}^d)$ with a potential of discrete alloy-type structure. That is, the potential at lattice site $x \in \mathbb{Z}^d$ is given by a linear combination of independent identically distributed random variables, possibly with sign-changing coefficients. In a first part we show that the discrete alloy-type model is not uniformly $\tau$-H\"older continuous, a frequently used condition in the literature of Anderson-type models with general random potentials. In a second part we review recent results on regularity properties of spectral data and localization properties for the discrete alloy-type model.


title: Generalized scale-invariant solutions to the two-dimensional stationary Navier-Stokes equations

abstract: New explicit solutions to the incompressible Navier-Stokes equations in $\mathbb{R}^{2}\setminus\left\{ \boldsymbol{0}\right\}$ are determined, which generalize the scale-invariant solutions found by Hamel. These new solutions are invariant under a particular combination of the scaling and rotational symmetries. They are the only solutions invariant under this new symmetry in the same way as the Hamel solutions are the only scale-invariant solutions. While the Hamel solutions are parameterized by a discrete parameter $n$, the flux $\Phi$ and an angle $\theta_{0}$, the new solutions generalize the Hamel solutions by introducing an additional parameter $a$ which produces a rotation. The new solutions decay like $\left|\boldsymbol{x}\right|^{-1}$ as the Hamel solutions, and exhibit spiral behavior. The new variety of asymptotes induced by the existence of these solutions further emphasizes the difficulties faced when trying to establish the asymptotic behavior of the Navier-Stokes equations in a two-dimensional exterior domain or in the whole plane.


title: The Leopoldt and Iwasawa Conjectures for CM fields

abstract: This is a two - part paper, in which we prove the following fact: let K be a CM field and L/K be a CM Z_p-extension. Then the Iwasawa mu-invariant of L vanishes. For the case when L is the cyclotomic Z_p extension, this is the Iwasawa conjecture stating that mu = 0 - a fact which had been proven for abelian fields by Ferrero and Washington. If L is not cyclotomic, than the Leopoldt conjecture fails for K. In this case we show that there is some auxiliar CM Z_p-extension for which mu does not vanish. This is a contradiction, showing that the Leopoldt conjecture must hold for CM fields. Concerning the ideas of the proof, they use class field theory and a concept of stability of Lambda modules under deformation by Thaine shifts, which is developed explicitly in the papers. This combined paper makes obsolete earlier versions and attempts to prove parts of this result, which are found on this arxiv.


title: Magnetization scaling in the paramagnetic phase of Mn1-xFexSi solid solutions

abstract: The magnetization field and temperature dependences in the paramagnetic phase of Mn1-xFexSi solid solutions with x<0.3 are investigated in the range B<5 T and T<60 K. It is found that field dependences of the magnetization M(B,T=const) exhibit scaling behavior of the form B\partial M/\partial B-M=F(B/(T-Ts)), where Ts denotes an empirically determined temperature of the transition into the magnetic phase with fluctuation driven short-range magnetic order and F(\c{hi}) is a universal scaling function for given composition. The scaling relation allowed concluding that the magnetization in the paramagnetic phase of Mn1-xFexSi is represented by the sum of two terms. The first term is saturated by the scaling variable \c{hi}=B/(T-Ts), whereas the second is linearly dependent on the magnetic field. A simple analytical formula describing the magnetization is derived and applied to estimates of the parameters characterizing localized magnetic moments in the studied system. The obtained data may be qualitatively interpreted assuming magnetic inhomogeneity of the paramagnetic phase on the nanoscale.


title: Maximal incompatibility of locally classical behavior and global causal order in multi-party scenarios

abstract: Quantum theory in a global space-time gives rise to non-local correlations, which cannot be explained causally in a satisfactory way; this motivates the study of theories with reduced global assumptions. Oreshkov, Costa, and Brukner (2012) proposed a framework in which quantum theory is valid locally but where, at the same time, no global space-time, i.e., predefined causal order, is assumed beyond the absence of logical paradoxes. It was shown for the two-party case, however, that a global causal order always emerges in the classical limit. Quite naturally, it has been conjectured that the same also holds in the multi-party setting. We show that counter to this belief, classical correlations locally compatible with classical probability theory exist that allow for deterministic signaling between three or more parties incompatible with any predefined causal order.


title: Proof Techniques in Quasi-Monte Carlo Theory

abstract: In this survey paper we discuss some tools and methods which are of use in quasi-Monte Carlo (QMC) theory. We group them in chapters on Numerical Analysis, Harmonic Analysis, Algebra and Number Theory, and Probability Theory. We do not provide a comprehensive survey of all tools, but focus on a few of them, including reproducing and covariance kernels, Littlewood-Paley theory, Riesz products, Minkowski's fundamental theorem, exponential sums, diophantine approximation, Hoeffding's inequality and empirical processes, as well as other tools. We illustrate the use of these methods in QMC using examples.


title: Emotion Analysis Platform on Chinese Microblog

abstract: Weibo, as the largest social media service in China, has billions of messages generated every day. The huge number of messages contain rich sentimental information. In order to analyze the emotional changes in accordance with time and space, this paper presents an Emotion Analysis Platform (EAP), which explores the emotional distribution of each province, so that can monitor the global pulse of each province in China. The massive data of Weibo and the real-time requirements make the building of EAP challenging. In order to solve the above problems, emoticons, emotion lexicon and emotion-shifting rules are adopted in EAP to analyze the emotion of each tweet. In order to verify the effectiveness of the platform, case study on the Sichuan earthquake is done, and the analysis result of the platform accords with the fact. In order to analyze from quantity, we manually annotate a test set and conduct experiment on it. The experimental results show that the macro-Precision of EAP reaches 80% and the EAP works effectively.


title: Systematic investigation of low-lying dipole modes using the canonical-basis time-dependent Hartree-Fock-Bogoliubov theory

abstract: Systematic investigations of the electric dipole (E1) modes of excitation are performed using the canonical-basis time-dependent Hartree-Fock-Bogoliubov (Cb-TDHFB) theory. The Cb-TDHFB is able to describe dynamical pairing correlations in excited states of nuclear systems. We apply the method to the real-time calculation of linear response in even-even nuclei with Skyrme functionals. Effects of shell structure, neutron skin, deformation, and neutron chemical potential (separation energy) are studied in a systematic way. This reveals a number of characteristic features of the low-energy E1 modes. We also find a universal behavior in the low-energy E1 modes for heavy neutron-rich isotopes, which suggests the emergence of decoupled E1 peaks beyond N = 82.


title: Long-range superharmonic Josephson current and spin-triplet pairing correlations in a junction with ferromagnetic bilayers

abstract: The long-range spin-triplet supercurrent transport is an interesting phenomenon in the superconductor/ferromagnet ($S/F$) heterostructure containing noncollinear magnetic domains. Here we study the long-range superharmonic Josephson current in asymmetric $S/F_1/F_2/S$ junctions. It is demonstrated that this current is induced by spin-triplet pairs $\mid\uparrow\uparrow\rangle-$$\mid\downarrow\downarrow\rangle$ or $\mid\uparrow\uparrow\rangle+$$\mid\downarrow\downarrow\rangle$ in the thick $F_1$ layer. The magnetic rotation of the particularly thin $F_2$ layer will not only modulate the amplitude of the superharmonic current but also realise the conversion between $\mid\uparrow\uparrow\rangle-$$\mid\downarrow\downarrow\rangle$ and $\mid\uparrow\uparrow\rangle+$$\mid\downarrow\downarrow\rangle$. Moreover, the critical current shows an oscillatory dependence on thickness and exchange field in the $F_2$ layer. These effect can be used for engineering cryoelectronic devices manipulating the superharmonic current. In contrast, the critical current declines monotonically with increasing exchange field of the $F_1$ layer, and if the $F_1$ layer is converted into half-metal, the long-range supercurrent is prohibited but $\mid\uparrow\uparrow\rangle$ still exists within the entire $F_1$ region. This phenomenon contradicts the conventional wisdom and indicates the occurrence of spin and charge separation in present junction, which could lead to useful spintronics devices.


title: Oseledec multiplicative ergodic theorem for laminations

abstract: Given a n-dimensional lamination endowed with a Riemannian metric, we introduce the notion of a multiplicative cocycle of rank d, where n and d are arbitrary positive integers. The holonomy cocycle of a foliation and its exterior powers as well as its tensor powers provide examples of multiplicative cocycles. Next, we define the Lyapunov exponents of such a cocycle with respect to a harmonic probability measure directed by the lamination. We also prove an Oseledec multiplicative ergodic theorem in this context. This theorem implies the existence of an Oseledec decomposition almost everywhere which is holonomy invariant. Moreover, in the case of differentiable cocycles, we establish effective integral estimates for the Lyapunov exponents. These results find applications in the geometric and dynamical theory of laminations. They are also applicable to (not necessarily closed) laminations with singularities. Interesting holonomy properties of a generic leaf of a foliation are obtained. The main ingredients of our method are the theory of Brownian motion, the analysis of the heat diffusions on Riemannian manifolds, the ergodic theory in discrete dynamics and a geometric study of laminations.