title: CudaChain: A Practical GPU-accelerated 2D Convex Hull Algorithm

abstract: This paper presents a practical GPU-accelerated convex hull algorithm and a novel Sorting-based Preprocessing Approach (SPA) for planar point sets. The proposed algorithm consists of two stages: (1) two rounds of preprocessing performed on the GPU and (2) the finalization of calculating the expected convex hull on the CPU. We first discard the interior points that locate inside a quadrilateral formed by four extreme points, and then distribute the remaining points into several (typically four) sub regions. For each subset of points, we first sort them in parallel, then perform the second round of discarding using SPA, and finally form a simple chain for the current remaining points. A simple polygon can be easily generated by directly connecting all the chains in sub regions. We at last obtain the expected convex hull of the input points by calculating the convex hull of the simple polygon. We use the library Thrust to realize the parallel sorting, reduction, and partitioning for better efficiency and simplicity. Experimental results show that our algorithm achieves 5x ~ 6x speedups over the Qhull implementation for 20M points. Thus, this algorithm is competitive in practical applications for its simplicity and satisfied efficiency.


title: Long-term TeV Observations of the Gamma-ray Binary HESS J0632+057 with VERITAS

abstract: The gamma-ray binary HESS J0632+057 has been observed at very-high energies for almost ten years by all major systems of imaging atmospheric Cherenkov telescopes. We present new observations taken by the VERITAS observatory and an updated analysis of the previously published observations. HESS J0632+057 has been detected by VERITAS with a total significance $>20\sigma$ at energies above 350 GeV in about 200 hours of observations. The exposure covers now almost the entire orbital period of 315 days including the flux enhancements at phases $\approx$0.35 and, for the first time, detected with VERITAS, at phases $\approx$0.75. The results are discussed along with simultaneous observations by the X-ray satellite {\em Swift} XRT.


title: Viscoelastic Multicomponent Fluids in confined Flow-Focusing Devices

abstract: The effects of elasticity on the break-up of liquid threads in microfluidic cross-junctions is investigated using numerical simulations based on the "lattice Boltzmann models" (LBM). Working at small Capillary numbers, we investigate the effects of non-Newtonian phases in the transition from droplet formation at the cross-junction (DCJ) and droplet formation downstream of the cross-junction (DC) (Liu & Zhang, ${\it Phys. Fluids.}$ ${\bf 23}$, 082101 (2011)). Viscoelasticity is found to influence the break-up point of the threads, which moves closer to the cross-junction and stabilizes. This is attributed to an increase of the polymer feedback stress forming in the corner flows, where the side channels of the device meet the main channel.


title: Experimental demonstration of ions induced electric field in perovskite solar cells

abstract: The anomalous hysteresis is reported in photo current density-voltage (J-V) curves of perovskite solar cells. The origins responsible for hysteresis are primarily attributed to ferroelectricity, trapping/de-trapping, and ions migration. Meanwhile, a switchable photovoltaic effect is disclosed in lateral structure perovskite solar cells, where a p-i-n structure is formed after poling the device with a reverse bias. Considering the normal sandwiched structure of perovskite solar cells, i.e. the intrinsic perovskite layer is situated in an electric field built by p-type (Spiro-OMeTAD) and n-type (TiO2) layers, the poling process also works in such devices. The migration of ions will induce a new electric field with opposite direction as inherent built-in electric field. As a consequence, less collection of photogenerated carriers is predicted due to the built-in electric field is partially screened. Here, the ions induced electric field is experimentally demonstrated by exploring the external quantum efficiency (EQE) spectra under various forward voltage biases. The anomalous hysteresis observed on J-V curves is explained based on the insight of ions migrations under bias voltage. The external applied voltage presents significant influence on the stability of solar cells. Meanwhile, a novel phenomenon of negative capacitance is initially detected at low frequency, which is ascribed to the position reversal of negatively and positively charged ions under forward bias.


title: On definable Skolem functions in weakly o-minimal non-valuational structures

abstract: We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures.


title: Exploring properties of high-density matter through remnants of neutron-star mergers

abstract: Remnants of neutron-star mergers are essentially massive, hot, differentially rotating neutron stars, which are initially strongly oscillating. They represent a unique probe for high-density matter because the oscillations are detectable via gravitational-wave measurements and are strongly dependent on the equation of state. The impact of the equation of state is apparent in the frequency of the dominant oscillation mode of the remnant. For a fixed total binary mass a tight relation between the dominant postmerger frequency and the radii of nonrotating neutron stars exists. Inferring observationally the dominant postmerger frequency thus determines neutron star radii with high accuracy of the order of a few hundred meters. By considering symmetric and asymmetric binaries of the same chirp mass, we show that the knowledge of the binary mass ratio is not critical for this kind of radius measurements. We summarize different possibilities to deduce the maximum mass of nonrotating neutron stars. We clarify the nature of the three most prominent features of the postmerger gravitational-wave spectrum and argue that the merger remnant can be considered to be a single, isolated, self-gravitating object that can be described by concepts of asteroseismology. The understanding of the different mechanisms shaping the gravitational-wave signal yields a physically motivated analytic model of the gravitational-wave emission, which may form the basis for template-based gravitational-wave data analysis. We explore the observational consequences of a scenario of two families of compact stars including hadronic and quark stars. We find that this scenario leaves a distinctive imprint on the postmerger gravitational-wave signal. In particular, a strong discontinuity in the dominant postmerger frequency as function of the total mass will be a strong indication for two families of compact stars. (abridged)


title: A quaternion-based model for optimal control of the SkySails airborne wind energy system

abstract: Airborne wind energy systems are capable of extracting energy from higher wind speeds at higher altitudes. The configuration considered in this paper is based on a tethered kite flown in a pumping orbit. This pumping cycle generates energy by winching out at high tether forces and driving a generator while flying figures-of-eight, or lemniscates, as crosswind pattern. Then, the tether is reeled in while keeping the kite at a neutral position, thus leaving a net amount of generated energy. In order to achieve an economic operation, optimization of pumping cycles is of great interest. In this paper, first the principles of airborne wind energy will be briefly revisited. The first contribution is a singularity-free model for the tethered kite dynamics in quaternion representation, where the model is derived from first principles. The second contribution is an optimal control formulation and numerical results for complete pumping cycles. Based on the developed model, the setup of the optimal control problem (OCP) is described in detail along with its numerical solution based on the direct multiple shooting method in the CasADi optimization environment. Optimization results for a pumping cycle consisting of six lemniscates show that the approach is capable to find an optimal orbit in a few minutes of computation time. For this optimal orbit, the power output is increased by a factor of two compared to a sophisticated initial guess for the considered test scenario.


title: Bayesian Hypothesis Testing for Block Sparse Signal Recovery

abstract: This letter presents a novel Block Bayesian Hypothesis Testing Algorithm (Block-BHTA) for reconstructing block sparse signals with unknown block structures. The Block-BHTA comprises the detection and recovery of the supports, and the estimation of the amplitudes of the block sparse signal. The support detection and recovery is performed using a Bayesian hypothesis testing. Then, based on the detected and reconstructed supports, the nonzero amplitudes are estimated by linear MMSE. The effectiveness of Block-BHTA is demonstrated by numerical experiments.


title: Finite-time blow-up of a non-local stochastic parabolic problem

abstract: The main aim of the current work is the study of the conditions under which (finite-time) blow-up of a non-local stochastic parabolic problem occurs. We first establish the existence and uniqueness of the local-in-time weak solution for such problem. The first part of the manuscript deals with the investigation of the conditions which guarantee the occurrence of noise-induced blow-up. In the second part we first prove the $C^{1}$-spatial regularity of the solution. Then, based on this regularity result, and using a strong positivity result we derive, for first in the literature of SPDEs, a Hopf's type boundary value point lemma. The preceding results together with Kaplan's eigenfunction method are then employed to provide a (non-local) drift term induced blow-up result. In the last part of the paper, we present a method which provides an upper bound of the probability of (non-local) drift term induced blow-up.


title: Skolem Functions for Factored Formulas

abstract: Given a propositional formula F(x,y), a Skolem function for x is a function \Psi(y), such that substituting \Psi(y) for x in F gives a formula semantically equivalent to \exists F. Automatically generating Skolem functions is of significant interest in several applications including certified QBF solving, finding strategies of players in games, synthesising circuits and bit-vector programs from specifications, disjunctive decomposition of sequential circuits etc. In many such applications, F is given as a conjunction of factors, each of which depends on a small subset of variables. Existing algorithms for Skolem function generation ignore any such factored form and treat F as a monolithic function. This presents scalability hurdles in medium to large problem instances. In this paper, we argue that exploiting the factored form of F can give significant performance improvements in practice when computing Skolem functions. We present a new CEGAR style algorithm for generating Skolem functions from factored propositional formulas. In contrast to earlier work, our algorithm neither requires a proof of QBF satisfiability nor uses composition of monolithic conjunctions of factors. We show experimentally that our algorithm generates smaller Skolem functions and outperforms state-of-the-art approaches on several large benchmarks.


title: Indecomposable summands of Foulkes modules

abstract: In this paper we study the modular structure of the permutation module $H^{(2^n)}$ of the symmetric group $S_{2n}$ acting on set partitions of a set of size $2n$ into $n$ sets each of size $2$, defined over a field of odd characteristic $p$. In particular we characterize the vertices of the indecomposable summands of $H^{(2^n)}$ and fully describe all of its indecomposable summands that lie in blocks of $p$-weight at most two. When $2n < 3p$ we show that there is a unique summand of $H^{(2^n)}$ in the principal block of $S_{2n}$ and that this summand exhibits many of the extensions between simple modules in its block.


title: RNA thermodynamic structural entropy

abstract: Conformational entropy for atomic-level, three dimensional biomolecules is known experimentally to play an important role in protein-ligand discrimination, yet reliable computation of entropy remains a difficult problem. Here we describe the first two accurate and efficient algorithms to compute the conformational entropy for RNA secondary structures, with respect to the Turner energy model, where free energy parameters are determined from UV aborption experiments. An algorithm to compute the derivational entropy for RNA secondary structures had previously been introduced, using stochastic context free grammars (SCFGs). However, the numerical value of derivational entropy depends heavily on the chosen context free grammar and on the training set used to estimate rule probabilities. Using data from the Rfam database, we determine that both of our thermodynamic methods, which agree in numerical value, are substantially faster than the SCFG method. Thermodynamic structural entropy is much smaller than derivational entropy, and the correlation between length-normalized thermodynamic entropy and derivational entropy is moderately weak to poor. In applications, we plot the structural entropy as a function of temperature for known thermoswitches, determine that the correlation between hammerhead ribozyme cleavage activity and total free energy is improved by including an additional free energy term arising from conformational entropy, and plot the structural entropy of windows of the HIV-1 genome. Our software RNAentropy can compute structural entropy for any user-specified temperature, and supports both the Turner'99 and Turner'04 energy parameters. It follows that RNAentropy is state-of-the-art software to compute RNA secondary structure conformational entropy. The software is available at http://bioinformatics.bc.edu/clotelab/RNAentropy.


title: HFVS: An Arbitrary High Order Flux Vector Splitting Method

abstract: In this paper, a new scheme of arbitrary high order accuracy in both space and time is proposed to solve hyperbolic conservative laws. Based on the idea of flux vector splitting(FVS) scheme, we split all the space and time derivatives in the Taylor expansion of the numerical flux into two parts: one part with positive eigenvalues, another part with negative eigenvalues. According to a Lax-Wendroff procedure, all the time derivatives are then replaced by space derivatives. And the space derivatives is calculated by WENO reconstruction polynomial. One of the most important advantages of this new scheme is easy to implement.In addition, it should be pointed out, the procedure of calculating the space and time derivatives in numerical flux can be used as a building block to extend the current first order schemes to very high order accuracy in both space and time. Numerous numerical tests for linear and nonlinear hyperbolic conservative laws demonstrate that new scheme is robust and can be high order accuracy in both space and time.


title: Braided $\mathbb{Z}_q$-extensions of pointed fusion categories

abstract: We classify braided $\mathbb{Z}_q$-extensions of pointed fusion categories, where $q$ is a prime number. As an application, we classify modular categories of Frobenius-Perron dimension $q^3$.


title: Evaluating the quality of survey and administrative data with generalized multitrait-multimethod models

abstract: Administrative register data are increasingly important in statistics, but, like other types of data, may contain measurement errors. To prevent such errors from invalidating analyses of scientific interest, it is therefore essential to estimate the extent of measurement errors in administrative data. Currently, however, most approaches to evaluate such errors involve either prohibitively expensive audits or comparison with a survey that is assumed perfect. We introduce the "generalized multitrait-multimethod" (GMTMM) model, which can be seen as a general framework for evaluating the quality of administrative and survey data simultaneously. This framework allows both survey and register to contain random and systematic measurement errors. Moreover, it accommodates common features of administrative data such as discreteness, nonlinearity, and nonnormality, improving similar existing models. The use of the GMTMM model is demonstrated by application to linked survey-register data from the German Federal Employment Agency on income from and duration of employment, and a simulation study evaluates the estimates obtained. KEY WORDS: Measurement error, Latent Variable Models, Official statistics, Register data, Reliability


title: Empirical AUC for evaluating probabilistic forecasts

abstract: Scoring functions are used to evaluate and compare partially probabilistic forecasts. We investigate the use of rank-sum functions such as empirical Area Under the Curve (AUC), a widely-used measure of classification performance, as a scoring function for the prediction of probabilities of a set of binary outcomes. It is shown that the AUC is not generally a proper scoring function, that is, under certain circumstances it is possible to improve on the expected AUC by modifying the quoted probabilities from their true values. However with some restrictions, or with certain modifications, it can be made proper.


title: Separation with restricted families of sets

abstract: Given a finite $n$-element set $X$, a family of subsets ${\mathcal F}\subset 2^X$ is said to separate $X$ if any two elements of $X$ are separated by at least one member of $\mathcal F$. It is shown that if $|\mathcal F|>2^{n-1}$, then one can select $\lceil\log n\rceil+1$ members of $\mathcal F$ that separate $X$. If $|\mathcal F|\ge \alpha 2^n$ for some $0<\alpha<1/2$, then $\log n+O(\log\frac1{\alpha}\log\log\frac1{\alpha})$ members of $\mathcal F$ are always sufficient to separate all pairs of elements of $X$ that are separated by some member of $\mathcal F$. This result is generalized to simultaneous separation in several sets. Analogous questions on separation by families of bounded Vapnik-Chervonenkis dimension and separation of point sets in ${\mathbb{R}}^d$ by convex sets are also considered.


title: Simulations of GRB detections with the ECLAIRs telescope onboard the future SVOM mission

abstract: The soft gamma-ray telescope ECLAIRs with its Scientific Trigger Unit is in charge of detecting Gamma-Ray Bursts (GRBs) on-board the future SVOM satellite. Using the "scientific software model" (SSM), we study the efficiency of both implemented trigger algorithms, the Count-Rate Trigger for time-scales below 20s and the Image Trigger for larger ones. The SMM provides a simulation of ECLAIRs with photon projection through the coded-mask onto the detection plane. We developed an input GRB database for the SSM based on GRBs light curves detected by the Fermi GBM instrument. We extrapolated the GRB spectra into the ECLAIRs band (4-120 keV) and projected them onto the detection plane, superimposed with cosmic extragalactic background photons (CXB). Several simulations were performed by varying the GRB properties (fluxes and positions in the field of view). We present first results of this study in this paper.


title: Brudno's theorem for Z^d (or Z^d_+) subshifts

abstract: We generalize Brudno's theorem of $1$-dimensional shift dynamical system to $\mathbb{Z}^d$ (or $\mathbb{Z}_+^d$) subshifts. That is to say, in $\mathbb{Z}^d$ (or $\mathbb{Z}^d_+$) subshift, the Kolmogorov-Sinai entropy is equivalent to the Kolmogorov complexity density almost everywhere for an ergodic shift-invariant measure.


title: Regularity theory for $2$-dimensional almost minimal currents I: Lipschitz approximation

abstract: We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.


title: Towards Neural Network-based Reasoning

abstract: We propose Neural Reasoner, a framework for neural network-based reasoning over natural language sentences. Given a question, Neural Reasoner can infer over multiple supporting facts and find an answer to the question in specific forms. Neural Reasoner has 1) a specific interaction-pooling mechanism, allowing it to examine multiple facts, and 2) a deep architecture, allowing it to model the complicated logical relations in reasoning tasks. Assuming no particular structure exists in the question and facts, Neural Reasoner is able to accommodate different types of reasoning and different forms of language expressions. Despite the model complexity, Neural Reasoner can still be trained effectively in an end-to-end manner. Our empirical studies show that Neural Reasoner can outperform existing neural reasoning systems with remarkable margins on two difficult artificial tasks (Positional Reasoning and Path Finding) proposed in [8]. For example, it improves the accuracy on Path Finding(10K) from 33.4% [6] to over 98%.


title: Regularity theory for $2$-dimensional almost minimal currents II: branched center manifold

abstract: We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.


title: Regularity theory for $2$-dimensional almost minimal currents III: blowup

abstract: We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.


title: A method to compute the General Neron Desingularization in the frame of one dimensional local domains

abstract: An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in \textsc{Singular}. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional Cohen-Macaulay local rings.


title: Ambipolar Black Phosphorus MOSFETs with Record n-Channel Transconductance

abstract: Ambipolar black phosphorus MOSFETs with record n-channel extrinsic transconductance are reported. The devices consist of multi-layer black phosphorus aligned to a local back-gate electrode with 10-nm-thick HfO2 gate dielectric. Before passivation, devices with 0.3-um gate length behaved as p-MOSFETs with peak extrinsic transconductance, gm, of 282 uS/um at VDS = -2 V. After passivation, the same devices displayed ambipolar behavior, and when tested as n-MOSFETs, had peak gm = 66 uS/um at VDS = +2 V, and similar devices on the same wafer had gm as high as 80 uS/um. These results are an important step toward realization of high-performance black phosphorus complementary logic circuits.


title: Very accurate approximations for the elliptic integrals of the second kind in terms of Stolarsky means

abstract: For $a,b>0$ with $a\neq b$, the Stolarsky means are defined by% \begin{equation*} S_{p,q}\left(a,b\right) =\left({\dfrac{q(a^{p}-b^{p})}{p(a^{q}-b^{q})}}% \right) ^{1/(p-q)}\text{if}pq\left(p-q\right) \neq 0 \end{equation*}% and $S_{p,q}\left(a,b\right) $ is defined as its limits at $p=0$ or $q=0$ or $p=q$ if $pq\left(p-q\right) =0$. The complete elliptic integrals of the second kind $E$ is defined on $\left(0,1\right) $ by% \begin{equation*} E\left(r\right) =\int_{0}^{\pi /2}\sqrt{1-r^{2}\sin ^{2}t}dt. \end{equation*}% We prove that the functions% \begin{equation*} F\left(r\right) =\frac{1-\left(2/\pi \right) E\left(r\right)}{% 1-S_{11/4,7/4}\left(1,r^{\prime}\right)}\text{and}G\left(r\right) =% \frac{1-\left(2/\pi \right) E\left(r\right)}{1-S_{5/2,2}\left(1,r^{\prime}\right)} \end{equation*}% are strictly decreasing and increasing on $\left(0,1\right) $, respectively, where $r^{\prime}=\sqrt{1-r^{2}}$. These yield some very accurate approximations for the complete elliptic integrals of the second kind, which greatly improve some known results.


title: Gaussian Mixture Reduction Using Reverse Kullback-Leibler Divergence

abstract: We propose a greedy mixture reduction algorithm which is capable of pruning mixture components as well as merging them based on the Kullback-Leibler divergence (KLD). The algorithm is distinct from the well-known Runnalls' KLD based method since it is not restricted to merging operations. The capability of pruning (in addition to merging) gives the algorithm the ability of preserving the peaks of the original mixture during the reduction. Analytical approximations are derived to circumvent the computational intractability of the KLD which results in a computationally efficient method. The proposed algorithm is compared with Runnalls' and Williams' methods in two numerical examples, using both simulated and real world data. The results indicate that the performance and computational complexity of the proposed approach make it an efficient alternative to existing mixture reduction methods.


title: Approximation Algorithm for Minimum Weight $(k,m)$-CDS Problem in Unit Disk Graph

abstract: In a wireless sensor network, the virtual backbone plays an important role. Due to accidental damage or energy depletion, it is desirable that the virtual backbone is fault-tolerant. A fault-tolerant virtual backbone can be modeled as a $k$-connected $m$-fold dominating set ($(k,m)$-CDS for short). In this paper, we present a constant approximation algorithm for the minimum weight $(k,m)$-CDS problem in unit disk graphs under the assumption that $k$ and $m$ are two fixed constants with $m\geq k$. Prior to this work, constant approximation algorithms are known for $k=1$ with weight and $2\leq k\leq 3$ without weight. Our result is the first constant approximation algorithm for the $(k,m)$-CDS problem with general $k,m$ and with weight. The performance ratio is $(\alpha+2.5k\rho)$ for $k\geq 3$ and $(\alpha+2.5\rho)$ for $k=2$, where $\alpha$ is the performance ratio for the minimum weight $m$-fold dominating set problem and $\rho$ is the performance ratio for the subset $k$-connected subgraph problem (both problems are known to have constant performance ratios.)


title: Recollision induced superradiance of ionized nitrogen molecules

abstract: We propose a new mechanism to explain the origin of optical gain in the transitions between excited and ground state of the ionized nitrogen molecule following irradiation of neutral nitrogen molecules with an intense ultra short laser pulse. An efficient transfer of population to the excited state is achieved via field-induced multiple recollisions. We show that the proposed excitation mechanism must lead to a super-radiant emission, a feature that we confirm experimentally.


title: Resonant-state-expansion Born approximation for waveguides with dispersion

abstract: The resonant-state expansion (RSE) Born approximation, a rigorous perturbative method developed for electrodynamic and quantum mechanical open systems, is further developed to treat waveguides with a Sellmeier dispersion. For media that can be described by these types of dispersion over the relevant frequency range, such as optical glass, I show that the perturbed RSE problem can be solved by diagonalizing a second-order eigenvalue problem. In the case of a single resonance at zero frequency, this is simplified to a generalized eigenvalue problem. Results are presented using analytically solvable planar waveguides and parameters of borosilicate BK7 glass, for a perturbation in the waveguide width. The efficiency of using either an exact dispersion over all frequencies or an approximate dispersion over a narrow frequency range is compared. I included a derivation of the RSE Born approximation for waveguides to make use of the resonances calculated by the RSE, an RSE extension of the well-known Born approximation.


title: Dynamics of dark energy in collapsing halo of dark matter

abstract: We investigate the non-linear evolution of spherical density and velocity perturbations of dark matter and dark energy in the expanding Universe. For that we have used the conservation and Einstein equations to describe the evolution of gravitationally coupled inhomogeneities of dark matter, dark energy and radiation from linear stage in the early Universe to the non-linear one at the current epoch. The simple method of the numerical integration of the system of non-linear differential equations for evolution of the central part of halo is proposed. The results are presented for halo of cluster ($k=2$ Mpc$^{-1}$) and supercluster scales ($k=0.2$ Mpc$^{-1}$) and show that quintessential scalar field dark energy with small value of effective speed of sound $c_s<0.1$ can give noticeable impact on the formation of large scale structures in the expanding Universe.


title: Mollification of $\mathcal{D}$-solutions to Fully Nonlinear PDE Systems

abstract: In a recent paper (arXiv:1501.06164) the author has introduced a new theory of generalised solutions which applies to fully nonlinear PDE systems of any order and allows the interpretation of merely measurable maps as solutions. This approach is duality-free and builds on the probabilistic representation of limits of difference quotients via Young measures over certain compactifications of the "state space". Herein we establish a systematic regularisation scheme of this notion of solution which, by analogy, is the counterpart of the usual mollification by convolution of weak solutions and of the mollification by sup/inf convolutions of viscosity solutions.


title: Piecewise linear manifolds: Einstein metrics and Ricci flows

abstract: This article provides an attempt to extend concepts from the theory of Riemannian manifolds to piecewise linear spaces. In particular we propose an analogue of the Ricci tensor, which we give the name of an Einstein vector field. On a given set of piecewise linear spaces we define and discuss (normalized) Ricci flows. Piecewise linear Einstein metrics are defined and examples are provided. Criteria for flows to approach Einstein metrics are formulated. Second variations of the total scalar curvature at a specific Einstein space are calculated.


title: Mass-Radius Relation of Strongly Magnetized White Dwarfs: Dependence on Field Geometry, GR effects and Electrostatic Corrections to the EOS

abstract: Recent literature has seen an ongoing discussion on the limiting mass of strongly magnetized white dwarfs, since such objects may prove to be a source of over-luminous type-Ia supernovae. In an earlier paper, we have presented the mass-radius relation of white dwarfs with a strong poloidal magnetic field in Newtonian gravity. The inclusion of effects such as general relativistic gravity and many-body corrections to the equation of state can alter the mass-radius relation and the maximum mass. In this work we estimate the extent to which these effects may modify the earlier results. We find that the general relativistic effects tend to reduce the maximum mass by about 2% and many-body corrections by another additional $\sim$2%, for an assumed carbon composition. We also explore field geometries that are purely toroidal or a mixture of poloidal and toroidal and find that the limiting mass of such equilibrium configurations can be substantially higher than in the case of a purely poloidal field.


title: Compensated Convexity, Multiscale Medial Axis Maps and Sharp Regularity of the Squared Distance Function

abstract: We introduce a new stable mathematical model for locating and measuring the medial axis of geometric objects, called the quadratic multiscale medial axis map of scale $\lambda$, and prove a sharp regularity result for the squared-distance function to any closed non-empty subset $K$ of $\mathbb{R}^n$. Our results exploit properties of the function $C^l_{\lambda}(dist^2(\cdot;\, K))$ obtained by applying the quadratic lower compensated convex transform of parameter $\lambda$ to $dist^2(\cdot;\, K)$, the Euclidean squared-distance function to $K$. Using an estimate for the tight approximation of $dist^2(\cdot;\, K)$ by $C^l_{\lambda}(dist^2(\cdot;\, K))$, we prove $C^{1,1}$-regularity of $dist^2(\cdot;\, K)$ outside a neighbourhood of the closure of the medial axis $M_K$ of $K$, and give an asymptotic formula for $C^l_{\lambda}(dist^2(\cdot;\, K))$ in terms of the scaled squared distance to $K$ and to the convex hull of the set of points that realize the minimum distance to $K$. The multiscale medial axis map, $M_{\lambda}(\cdot;\, K)$, is a family of non-negative functions whose limit as $\lambda \to \infty$ exists and is called the multiscale medial axis landscape map, $M_{\infty}(\cdot;\, K)$. We show $M_{\infty}(\cdot;\, K)$ is strictly positive on the medial axis $M_K$ and zero elsewhere. We give conditions to ensure $M_{\lambda}(\cdot;\, K)$ keeps a constant height along parts of $M_K$ generated by two-point subsets with the height dependent on the distance between the generating points, so giving a hierarchy between different parts of $M_K$ that enables subsets of $M_K$ to be selected by thresholding. Given a compact subset $K$ of $\mathbb{R}^n$, while it is well known that $M_K$ is not Hausdorff stable, we prove $M_{\lambda}(\cdot;\, K)$ is stable under Hausdorff distance, and deduce implications for localization of the stable parts of $M_K$. Examples are included.


title: Observation of tunable bandgap and anisotropic Dirac semimetal state in black phosphorus

abstract: Black phosphorus consists of stacked layers of phosphorene, a two-dimensional semiconductor with promising device characteristics. We report the realization of a widely tunable bandgap in few-layer black phosphorus doped with potassium using an in-situ surface doping technique. Through band-structure measurements and calculations, we demonstrate that a vertical electric field from dopants modulates the bandgap owing to the giant Stark effect and tunes the material from a moderate-gap semiconductor to a band-inverted semimetal. At the critical field of this band inversion, the material becomes a Dirac semimetal with anisotropic dispersion, linear in armchair and quadratic in zigzag directions. The tunable band structure of black phosphorus may allow great flexibility in design and optimization of electronic and optoelectronic devices.


title: Sets with few differences in abelian groups

abstract: Let $(G, +)$ be an abelian group. In 2004, Eliahou and Kervaire found an explicit formula for the smallest possible cardinality of the sumset $A+A$, where $A \subseteq G$ has fixed cardinality $r$. We consider instead the smallest possible cardinality of the difference set $A-A$, which is always greater than or equal to the smallest possible cardinality of $A+A$ and can be strictly greater. We conjecture a formula for this quantity and prove the conjecture in the case that $G$ is a cyclic group or a vector space over a finite field. This resolves a conjecture of Bajnok and Matzke on signed sumsets.


title: Exploiting Social Trust Assisted Reciprocity (STAR) towards Utility-Optimal Socially-aware Crowdsensing

abstract: Mobile crowdsensing takes advantage of pervasive mobile devices to collect and process data for a variety of applications (e.g., traffic monitoring, spectrum sensing). In this study, a socially-aware crowdsensing system is advocated, in which a cloud-based platform incentivizes mobile users to participate in sensing tasks} by leveraging social trust among users, upon receiving sensing requests. For this system, social trust assisted reciprocity (STAR) - a synergistic marriage of social trust and reciprocity, is exploited to design an incentive mechanism that stimulates users' participation. Given the social trust structure among users, the efficacy of STAR for satisfying users' sensing requests is thoroughly investigated. Specifically, it is first shown that all requests can be satisfied if and only if sufficient social credit can be "transferred" from users who request more sensing service than they can provide to users who can provide more than they request. Then utility maximization for sensing services under STAR is investigated, and it is shown that it boils down to maximizing the utility of a circulation flow in the combined social graph and request graph. Accordingly, an algorithm that iteratively cancels a cycle of positive weight in the residual graph is developed, which computes the optimal solution efficiently, for both cases of divisible and indivisible sensing service. Extensive simulation results corroborate that STAR can significantly outperform the mechanisms using social trust only or reciprocity only.


title: Covariant energy density functionals: the assessment of global performance across the nuclear landscape

abstract: The assessment of the global performance of the state-of-the-art covariant energy density functionals and related theoretical uncertainties in the description of ground state observables has recently been performed. Based on these results, the correlations between global description of binding energies and nuclear matter properties of covariant energy density functionals have been studied in this contribution.


title: A duality for (n+1)-valued MV-algebras

abstract: MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Lukasiewicz propositional calculus. In this paper we give a categorical equivalence between the varieties of (n+1)-valued MV-algebras and the classes of Boolean algebras endowed with a certain family of filters. Another similar categorical equivalence is given by A. Di Nola and A. Lettieri. Also, we point out the relations between this categorical equivalence and the duality established by R. Cignoli, which can be derived from results obtained by P. Niederkorn on natural dualities for varieties of MV-algebras.


title: Helical mode interactions and spectral transfer processes in magnetohydrodynamic turbulence

abstract: Spectral transfer processes in magnetohydrodynamic (MHD) turbulence are investigated analytically by decomposition of the velocity and magnetic fields in Fourier space into helical modes. Steady solutions of the dynamical system which governs the evolution of the helical modes are determined, and a stability analysis of these solutions is carried out. The interpretation of the analysis is that unstable solutions lead to energy transfer between the interacting modes while stable solutions do not. From this, a dependence of possible interscale energy and helicity transfers on the helicities of the interacting modes is derived. As expected from the inverse cascade of magnetic helicity in 3D MHD turbulence, mode interactions with like helicities lead to transfer of energy and magnetic helicity to smaller wavenumbers. However, some interactions of modes with unlike helicities also contribute to an inverse energy transfer. As such, an inverse energy cascade for nonhelical magnetic fields is shown to be possible. Furthermore, it is found that high values of the cross-helicity may have an asymmetric effect on forward and reverse transfer of energy, where forward transfer is more quenched in regions of high cross-helicity than reverse transfer. This conforms with recent observations of solar wind turbulence. For specific helical interactions the relation to dynamo action is established.


title: Around the set-theoretical consistency of d-tameness of Metric Abstract Elementary Classes

abstract: In this paper, we prove that if $\kappa$ is a almost strongly compact cardinal, then any MAEC with L\"owenheim-Skolem number below $\kappa$ is $<\kappa$-d-tame.


title: Search for Nucleon and Dinucleon Decays with an Invisible Particle and a Charged Lepton in the Final State at the Super-Kamiokande Experiment

abstract: Search results for nucleon decays $p \rightarrow e^+X$, $p \rightarrow \mu^+X$, $n \rightarrow \nu\gamma$ (where $X$ is an invisible, massless particle) as well as dinucleon decays $np \rightarrow e^+\nu$, $np \rightarrow \mu^+\nu$ and $np \rightarrow \tau^+\nu$ in the Super-Kamiokande experiment are presented. Using single-ring data from an exposure of 273.4 kton $\cdot$ years, a search for these decays yields a result consistent with no signal. Accordingly, lower limits on the partial lifetimes of $\tau_{p \rightarrow e^+X} > 7.9 \times 10^{32}$ years, $\tau_{p \rightarrow \mu^+X} > 4.1 \times 10^{32}$ years, $\tau_{n \rightarrow \nu\gamma} > 5.5 \times 10^{32}$ years, $\tau_{np \rightarrow e^+\nu} > 2.6 \times 10^{32}$ years, $\tau_{np \rightarrow \mu^+\nu} > 2.2 \times 10^{32}$ years and $\tau_{np \rightarrow \tau^+\nu} > 2.9 \times 10^{31}$ years at a $90 \% $ confidence level are obtained. Some of these searches are novel.


title: Generalizing Bagarello's operator approach to solve a class of partial differential equations

abstract: The non-commutative strategy developed by Bagarello (see Int. Jour. of Theoretical Physics, 43, issue 12 (2004), p. 2371 - 2394) for the analysis of systems of ordinary differential equations (ODEs) is extended to a class of partial differential equations (PDEs), namely evolution equations and Navier-Stokes equations. Systems of PDEs are solved using an unbounded self-adjoint, densely defined, Hamiltonian operator and a recursion relation which provides a multiple commutator and a power series solution. Numerous examples are given in this work.


title: A note on the Erd\"os-Faber-Lov\'asz Conjecture: quasigroups and complete digraphs

abstract: A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$. A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $\chi'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$. The well-known Erd\"os-Faber-Lov\'asz Conjecture states that any decomposition $[K_n,P]$ satisfies $\chi'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.


title: An argument against the realistic interpretation of the wave function

abstract: Testable predictions of quantum mechanics are invariant under time reversal. But the change of the quantum state in time is not so, neither in the collapse nor in the no-collapse interpretations of the theory. This fact challenges the realistic interpretation of the quantum state. On the other hand, this fact follows easily if we interpret the quantum state as a mere calculation device, bookkeeping past real quantum events. The same conclusion follows from the analysis of the meaning of the wave function in the semiclassical regime.


title: Cohomology of $SL_2$ and related structures

abstract: Let $SL_2$ be the rank one simple algebraic group defined over an algebraically closed field $k$ of characteristic $p>0$. The paper presents a new method for computing the dimension of the cohomology spaces $\text{H}^n(SL_2,V(m))$ for Weyl $SL_2$-modules $V(m)$. We provide a closed formula for $\text{dim}\text{H}^n(SL_2,V(m))$ when $n\le 2p-3$ and show that this dimension is bounded by the $(n+1)$-th Fibonacci number. This formula is then used to compute $\text{dim}\text{H}^n(SL_2, V(m))$ for $n=1, 2,$ or $3$. For $n>2p-3$, an exponential bound, only depending on $n$, is obtained for $\text{dim}\text{H}^n(SL_2,V(m))$. Analogous results are also established for the extension spaces $\text{Ext}^n_{SL_2}(V(m_2),V(m_1))$ between Weyl modules $V(m_1)$ and $V(m_2)$. In particular, we determine the degree three extensions for all Weyl modules of $SL_2$. As a byproduct, our results and techniques give explicit upper bounds for the dimensions of the cohomology of the Specht modules of symmetric groups, the cohomology of simple modules of $SL_2$, and the finite group of Lie type $SL_2(p^s)$.


title: Localization errors in solving stochastic partial differential equations in the whole space

abstract: Cauchy problems with SPDEs on the whole space are localized to Cauchy problems on a ball of radius $R$. This localization reduces various kinds of spatial approximation schemes to finite dimensional problems. The error is shown to be exponentially small. As an application, a numerical scheme is presented which combines the localization and the space and time discretisation, and thus is fully implementable.


title: Polarization-induced Zener Tunnel Diodes in GaN/InGaN/GaN Heterojunctions

abstract: By the insertion of thin InGaN layers into Nitrogen-polar GaN p-n junctions, polarization-induced Zener tunnel junctions are studied. The reverse-bias interband Zener tunneling current is found to be weakly temperature dependent, as opposed to the strongly temperature-dependent forward bias current. This indicates tunneling as the primary reverse-bias current transport mechanism. The Indium composition in the InGaN layer is systematically varied to demonstrate the increase in the interband tunneling current. Comparing the experimentally measured tunneling currents to a model helps identify the specific challenges in potentially taking such junctions towards nitride-based polarization-induced tunneling field-effect transistors.


title: A framework for adaptive real-time applications: the declarative real-time OSGi component model

abstract: Nowadays, more and more applications require OSGi to have some form of real-time support, which is currently very limited. The resulting closed-system solutions lack of a standard management scheme which forbids standard, system-wide policies for real-time system's deployment, adaptation, and reconfiguration. In order to tackle this problem, this paper proposes a declarative real-time component model. In this model, the distinguishing real-time contract of each component is declaratively described, and a general component real-time management interface is designed. They are used to maintain an accurate view of existing real-time components' promised contracts. A real-time component runtime service is designed to control the whole lifecycle of the components. By using global information and general control interface, it can adjust the system continue to operate without impairing the deployed components' real-time contracts in the face of run-time changes. This system allows itself to be easily extended with other constraint resolving policies to fit different context. The prototype has been tested into a simulated control system. The result shows this framework can provide good real time performance while still provides real-time component dynamicity support as well. To the best of our knowledge, this is the first comprehensive solution providing explicit real-time support from design to execution in OSGi framework.


title: Optimal Algorithms and Lower Bounds for Testing Closeness of Structured Distributions

abstract: We give a general unified method that can be used for $L_1$ {\em closeness testing} of a wide range of univariate structured distribution families. More specifically, we design a sample optimal and computationally efficient algorithm for testing the equivalence of two unknown (potentially arbitrary) univariate distributions under the $\mathcal{A}_k$-distance metric: Given sample access to distributions with density functions $p, q: I \to \mathbb{R}$, we want to distinguish between the cases that $p=q$ and $\|p-q\|_{\mathcal{A}_k} \ge \epsilon$ with probability at least $2/3$. We show that for any $k \ge 2, \epsilon>0$, the {\em optimal} sample complexity of the $\mathcal{A}_k$-closeness testing problem is $\Theta(\max\{ k^{4/5}/\epsilon^{6/5}, k^{1/2}/\epsilon^2 \})$. This is the first $o(k)$ sample algorithm for this problem, and yields new, simple $L_1$ closeness testers, in most cases with optimal sample complexity, for broad classes of structured distributions.


title: A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals

abstract: We consider the following dichotomy for $\Sigma^0_2$ finitary relations $R$ on analytic subsets of the generalized Baire space for $\kappa$: either all $R$-independent sets are of size at most $\kappa$, or there is a $\kappa$-perfect $R$-independent set. This dichotomy is the uncountable version of a result found in (W. Kubi\'s, Proc. Amer. Math. Soc. 131 (2003), no 2.:619--623) and in (S. Shelah, Fund. Math. 159 (1999), no. 1:1--50). We prove that the above statement holds assuming $\Diamond_\kappa$ and the set theoretical hypothesis $I^-(\kappa)$, which is the modification of the hypothesis $I(\kappa)$ suitable for limit cardinals. When $\kappa$ is inaccessible, or when $R$ is a closed binary relation, the assumption $\Diamond_\kappa$ is not needed. We obtain as a corollary the uncountable version of a result by G. S\'agi and the first author (Log. J. IGPL 20 (2012), no. 6:1064--1082) about the $\kappa$-sized models of a $\Sigma^1_1(L_{\kappa^+\kappa})$-sentence when considered up to isomorphism, or elementary embeddability, by elements of a $K_\kappa$ subset of ${}^\kappa\kappa$. The role of elementary embeddings can be replaced by a more general notion that also includes embeddings, as well as the maps preserving $L_{\lambda\mu}$ for $\omega\leq\mu\leq\lambda\leq\kappa$ and the finite variable fragments of these logics.


title: Description of Galois unipotent extensions

abstract: Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.


title: Explorations in Statistics Research: An Approach to Expose Undergraduates to Authentic Data Analysis

abstract: The Explorations in Statistics Research workshop is a one-week NSF-funded summer program that introduces undergraduate students to current research problems in applied statistics. The goal of the workshop is to expose students to exciting, modern applied statistical research and practice, with the ultimate aim of interesting them in seeking more training in statistics at the undergraduate and graduate levels. The program is explicitly designed to engage students in the connections between authentic domain problems and the statistical ideas and approaches needed to address these problems, which is an important aspect of statistical thinking that is difficult to teach and sometimes lacking in our methodological courses and programs. Over the past nine years, we ran the workshop six times and a similar program in the sciences two times. We describe the program, summarize feedback from participants, and identify the key features to its success. We abstract these features and provide a set of recommendations for how faculty can incorporate important elements into their regular courses.


title: Proportional Fair Traffic Splitting and Aggregation in Heterogeneous Wireless Networks

abstract: Traffic load balancing and resource allocation is set to play a crucial role in leveraging the dense and increasingly heterogeneous deployment of multi-radio wireless networks. Traffic aggregation across different access points (APs)/radio access technologies (RATs) has become an important feature of recently introduced cellular standards on LTE dual connectivity and LTE-WLAN aggregation (LWA). Low complexity traffic splitting solutions for scenarios where the APs are not necessarily collocated are of great interest for operators. In this paper, we consider a scenario, where traffic for each user may be split across macrocell and an LTE or WiFi small cells connected by non-ideal backhaul links, and develop a closed form solution for optimal aggregation accounting for the backhaul delay. The optimal solution lends itself to a "water-filling" based interpretation, where the fraction of user's traffic sent over macrocell is proportional to ratio of user's peak capacity on that macrocell and its throughput on the small cell. Using comprehensive system level simulations, the developed optimal solution is shown to provide substantial edge and median throughput gain over algorithms representative of current 3GPP-WLAN interworking solutions. The achievable performance benefits hold promise for operators expecting to introduce aggregation solutions with their existing WLAN deployments.


title: Relational Quantum Cosmology

abstract: The application of quantum theory to cosmology raises a number of conceptual questions, such as the role of the quantum-mechanical notion of "observer" or the absence of a time variable in the Wheeler-DeWitt equation. I point out that a relational formulation of quantum mechanics, and more in general the observation that evolution is always relational, provides a coherent solution to this tangle of problems.


title: The $m$-$z$ relation for Type Ia supernovae: safety in numbers or safely without worry?

abstract: The $m$-$z$ relation for Type Ia supernovae is compatible with the cosmological concordance model if one assumes that the Universe is homogeneous, at least with respect to light propagation. This could be due to the density along each line of sight being equal to the overall cosmological density, or to `safety in numbers', with variation in the density along all lines of sight averaging out if the sample is large enough. Statistical correlations (or lack thereof) between redshifts, residuals (differences between the observed distance moduli and those calculated from the best-fitting cosmological model), and observational uncertainties suggest that the former scenario is the better description, so that one can use the traditional formula for the luminosity distance safely without worry.


title: Decoupling conflicts for configurable resolution in an open replication system

abstract: Replikativ is a replication middleware supporting a new kind of confluent replicated datatype resembling a distributed version control system. It retains the order of write operations at the trade-off of reduced availability with after-the- fact conflict resolution. The system allows to develop applications with distributed state in a similar fashion as native applications with exclusive local state, while transparently exposing the necessary compromises in terms of the CAP theorem. In this paper, we give a specification of the replicated datatype and discuss its usage in the replikativ middleware. Experiments with the implementation show the feasibility of the concept as a foundation for replication as a service (RaaS).


title: Generic forms of low Chow rank

abstract: The least number of products of linear forms that may be added together to obtain a given form is the Chow rank of this form. The Chow rank of a generic form corresponds to the smallest s for which the sth secant variety of the Chow variety fills the ambient space. We show that, except for certain known exceptions, this secant variety has the expected dimension for low values of s.


title: Infinitude of $k$-Lehmer numbers which are not Carmichael

abstract: In this paper, we prove that there are infinitely many $n$ for which $rad(\varphi(n))|n-1$ but $n$ is not a Carmichael number. Additionally, we prove that for any $k\geq 3$, there exist infinitely many $n$ such that $\varphi(n)|(n-1)^k$ but $\varphi(n)\nmid (n-1)^{k-1}$. The constructs that we consider here are generalizations of Carmichael and Lehmer numbers, respectively, that were first formulated by Grau and Oller-Marc\'en.


title: From quark drops to quark stars: some aspects of the role of quark matter in compact stars

abstract: We review some recent results about the mechanism of deconfinement of hadronic matter into quark matter in cold neutron stars and protoneutron stars. We discuss the role of finite size effects and the relevance of temperature and density fluctuations on the nucleation process. We also examine the importance of surface effects for mixed phases in hybrid stars. A small drop of quark matter nucleated at the core of a compact star may grow if the conversion is sufficiently exothermic. In such a case, it may trigger the burning of the stellar core and even the whole star if quark matter is absolutely stable. We explore the physical processes that occur inside the flame and analyze the hydrodynamic evolution of the combustion front. In the last part of this review, we focus on hybrid stars using the Nambu-Jona-Lasinio (NJL) model with scalar, vector and 't Hooft interactions, paying particular attention to a generalized non-standard procedure for the choice of the 'bag constant'. We also describe the non-radial oscillation modes of hadronic, hybrid and strange stars with maximum masses above $2 M_{\odot}$ and show that the frequency of the $p_1$ and $g$ fluid modes contains key information about the internal composition of compact objects.


title: VERITAS long-term (2006-2014) observations of the BL Lac object 1ES 0806+524

abstract: The discovery of the high-frequency-peaked BL Lac object 1ES 0806+524 (z=0.138) as a source of very-high-energy (VHE, E>100 GeV) gamma-ray photons was announced in 2008 by the VERITAS Collaboration, at a level of 1.8% of the Crab Nebula flux above 300 GeV. Since then, VERITAS has continued observing the source over multiple seasons, significantly improving the significance of the detection. We report the results of the analysis of the 2006-2014 VERITAS data, corresponding to a total exposure of about 70 hours. We present the new, average VHE spectrum of the source, together with the multi-year light-curve constraining long-term VHE variability.


title: MultiView Diffusion Maps

abstract: In this paper, we address the challenging task of achieving multi-view dimensionality reduction. The goal is to effectively use the availability of multiple views for extracting a coherent low-dimensional representation of the data. The proposed method exploits the intrinsic relation within each view, as well as the mutual relations between views. The multi-view dimensionality reduction is achieved by defining a cross-view model in which an implied random walk process is restrained to hop between objects in the different views. The method is robust to scaling and insensitive to small structural changes in the data. We define new diffusion distances and analyze the spectra of the proposed kernel. We show that the proposed framework is useful for various machine learning applications such as clustering, classification, and manifold learning. Finally, by fusing multi-sensor seismic data we present a method for automatic identification of seismic events.


title: VERITAS detection of gamma-ray flaring activity from the BL Lac object 1ES 1727+502 during bright moonlight observations

abstract: During May 2013, a gamma-ray flare from the BL Lac object 1ES 1727+502 (z=0.055) has been detected with the VERITAS Cherenkov telescopes. This detection represents the first evidence of very-high-energy (E>100 GeV) variability from this blazar and has been achieved using a reduced-high-voltage configuration which allows observations under bright moonlight. The integral flux is about five times higher than the archival VHE flux measured by MAGIC. The detection triggered additional VERITAS observations during standard dark-time and multiwavelength observations from infrared to X-rays with the FLWO 48" telescope and the Swift satellite. The results from this campaign are presented and used to produce the first spectral energy distribution of this object during gamma-ray flaring activity. The spectral energy distribution is then fit with a standard synchrotron-self-Compton model, placing constraints on the properties of the emitting region in the blazar.


title: Symanzik improvement of the gradient flow in lattice gauge theories

abstract: We apply the Symanzik improvement programme to the 4+1-dimensional local re-formulation of the gradient flow in pure $SU(N)$ lattice gauge theories. We show that the classical nature of the flow equation allows to eliminate all cutoff effects at $\mathcal O(a^2)$ which originate either from the discretized gradient flow equation or from the gradient flow observable. All the remaining $\mathcal O(a^2)$ effects can be understood in terms of local counterterms at the zero flow time boundary. We classify these counterterms and provide a complete set as required for on-shell improvement. Compared to the 4-dimensional pure gauge theory only a single additional counterterm is required, which corresponds to a modified initial condition for the flow equation. A consistency test in perturbation theory is passed and allows to determine all counterterm coefficients to lowest non-trivial order in the coupling.


title: A Practical O(R\log\log n+n) time Algorithm for Computing the Longest Common Subsequence

abstract: In this paper, we revisit the much studied LCS problem for two given sequences. Based on the algorithm of Iliopoulos and Rahman for solving the LCS problem, we have suggested 3 new improved algorithms. We first reformulate the problem in a very succinct form. The problem LCS is abstracted to an abstract data type DS on an ordered positive integer set with a special operation Update(S,x). For the two input sequences X and Y of equal length n, the first improved algorithm uses a van Emde Boas tree for DS and its time and space complexities are O(R\log\log n+n) and O(R), where R is the number of matched pairs of the two input sequences. The second algorithm uses a balanced binary search tree for DS and its time and space complexities are O(R\log L+n) and O(R), where L is the length of the longest common subsequence of X and Y. The third algorithm uses an ordered vector for DS and its time and space complexities are O(nL) and O(R).


title: Bohnenblust-Hille inequalities for Lorentz spaces via interpolation

abstract: We prove that the Lorentz sequence space $\ell_{\frac{2m}{m+1},1}$ is, in a~precise sense, optimal among all symmetric Banach sequence spaces satisfying a Bohnenblust-Hille type inequality for $m$-linear forms or $m$-homogeneous polynomials on $\mathbb{C}^n$. Motivated by this result we develop methods for dealing with subtle Bohnenblust-Hille type inequalities in the setting of Lorentz spaces. Based on an interpolation approach and the Blei-Fournier inequalities involving mixed type spaces, we prove multilinear and polynomial Bohnenblust-Hille type inequalities in Lorentz spaces with subpolynomial and subexponential constants. Improving a remarkable result of Balasubramanian-Calado-Queff\'elec, we show an application to the theory of Dirichlet series.


title: New Parities and Coverings over Free Knots

abstract: In the present paper, we develop the parity theory invented in \cite{ManSb}; we construct new parities for two-component (virtual and free) links. New parities significantly depend on geometrical properties of diagrams; in particular, they are mutation-sensitive. New parities can be used practically in all problems, where parities were previously applied.


title: $L^p$-norms and Mahler's measure of polynomials on the $n$-dimensional torus

abstract: We prove Nikol'skii type inequalities which for polynomials on the $n$-dimensional torus $\mathbb{T}^n$ relate the $L^p$-with the $L^q$-norm (with respect to the normalized Lebesgue measure and $0 <p <q < \infty$). Among other things we show that $C=\sqrt{q/p}$ is the best constant such that $\|P\|_{L^q}\leq C^{\text{deg}(P)} \|P\|_{L^p}$ for all homogeneous polynomials $P$ on $\mathbb{T}^n$. We also prove an exact inequality between the $L^p$-norm of a polynomial $P$ on $\mathbb{T}^n$ and its Mahler measure $M(P)$, which is the geometric mean of $|P|$ with respect to the normalized Lebesgue measure on $\mathbb{T}^n$. Using extrapolation we transfer this estimate into a Khintchine-Kahane type inequality, which, for polynomials on $\mathbb{T}^n$, relates a certain exponential Orlicz norm and Mahler's measure. Applications are given, including some interpolation estimates.


title: On a hyperspace of compact subsets which is homeomorphic to a non-separable Hilbert space

abstract: Let $X$ be a metrizable space and ${\rm Comp}(X)$ be the hyperspace consisting of non-empty compact subsets of $X$ endowed with the Vietoris topology. In this paper, we give a necessary and sufficient condition on $X$ for ${\rm Comp}(X)$ to be homeomorphic to a non-separable Hilbert space. Moreover, we consider the topological structure of pair $({\rm Comp}(\overline{X}),{\rm Fin}(X))$ of hyperspaces of $X$ and its completion $\overline{X}$, where ${\rm Fin}(X)$ is the hyperspace of non-empty finite sets in $X$.


title: Adiabaticity in open quantum systems

abstract: We provide a rigorous generalization of the quantum adiabatic theorem for open systems described by a Markovian master equation with time-dependent Liouvillian $\mathcal{L}(t)$. We focus on the finite system case relevant for adiabatic quantum computing and quantum annealing. Adiabaticity is defined in terms of closeness to the instantaneous steady state. While the general result is conceptually similar to the closed system case, there are important differences. Namely, a system initialized in the zero-eigenvalue eigenspace of $\mathcal{L}(t)$ will remain in this eigenspace with a deviation that is inversely proportional to the total evolution time $T$. In the case of a finite number of level crossings the scaling becomes $T^{-\eta}$ with an exponent $\eta$ that we relate to the rate of the gap closing. For master equations that describe relaxation to thermal equilibrium, we show that the evolution time $T$ should be long compared to the corresponding minimum inverse gap squared of $\mathcal{L}(t)$. Our results are illustrated with several examples.


title: Structured Interactive Music Scores

abstract: Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.


title: Long-term optical flux and colour variability in quasars

abstract: We have used optical V and R band observations from the Massive Compact Halo Object (MACHO) project on a sample of 59 quasars behind the Magellanic clouds to study their long term optical flux and colour variations. These quasars lying in the redshift range of 0.2 < z < 2.8 and having apparent V band magnitudes between 16.6 and 20.1 mag have observations ranging from 49 to 1353 epochs spanning over 7.5 years with frequency of sampling between 2 to 10 days. All the quasars show variability during the observing period. The normalized excess variance (Fvar) in V and R bands are in the range 0.2% < Fvar < 1.6% and 0.1% < Fvar < 1.5%. In a large fraction of the sources, Fvar is larger in the V-band compared to the R-band. From the z-transformed discrete cross correlation function analysis, we find that there is no lag between the V and R-band variations. Adopting the Markov Chain Monte Carlo (MCMC) approach, and properly taking into account the correlation between the errors in colours and magnitudes, it is found that majority of the sources show a bluer when brighter trend, while a minor fraction of quasars show the opposite behaviour. This is similar to the results obtained from other two independent algorithms namely the weighted linear least squares fit (FITEXY) and the bivariate correlated errors and intrinsic scatter regression (BCES). However, the ordinary least squares (OLS) fit normally used in the colour variability studies of quasars, indicates that all the quasars studied here show a bluer when brighter trend. It is therefore very clear that OLS algorithm cannot be used for the study of colour variability in quasars.


title: Extreme Dependence Models

abstract: Extreme values of real phenomena are events that occur with low frequency, but can have a large impact on real life. These are, in many practical problems, high-dimensional by nature (e.g. Tawn, 1990; Coles and Tawn, 1991). To study these events is of fundamental importance. For this purpose, probabilistic models and statistical methods are in high demand. There are several approaches to modelling multivariate extremes as described in Falk et al. (2011), linked to some extent. We describe an approach for deriving multivariate extreme value models and we illustrate the main features of some flexible extremal dependence models. We compare them by showing their utility with a real data application, in particular analyzing the extremal dependence among several pollutants recorded in the city of Leeds, UK.


title: Role of hydration and intramolecular interactions in the helix-coil transition and helix-helix assembly in a deca-alanine peptide

abstract: For a model deca-alanine peptide the cavity (ideal hydrophobic) contribution to hydration favors the helix state in the coil-to-helix transition and the paired helix bundle in the assembly of two helices. The energetic contributions of attractive protein-solvent interactions are separated into a short-range part arising from interactions with solvent in the first hydration shell and the remaining long-range part. In the helix-coil transition, short-range attractive protein-solvent interactions outweigh hydrophobic hydration and favor the unfolded coil states. Analysis of enthalpic effects shows that it is the favorable hydration of the peptide backbone that favors the unfolded state. Protein intramolecular interactions favor the helix state and are decisive in folding. In the pairing of two helices, the cavity contribution outweighs short-range attractive protein-water interactions. However, long-range, protein-solvent attractive interactions can either enhance or reverse this trend depending on the mutual orientation of the helices. In helix-helix assembly, change in enthalpy arising from change in attractive protein-solvent interactions favors disassembly. In helix pairing as well, favorable protein intramolecular interactions are found to be as important as hydration effects.


title: Cluster Algebras and Semi-invariant Rings II. Projections

abstract: Let ${\rm SI}_\beta(Q)$ be the semi-invariant ring of $\beta$-dimensional representations of a quiver $Q$. Suppose that $(Q,\beta)$ projects to another quiver with dimension vector $(Q',\beta')$ through an exceptional representation $E$. We show that if ${\rm SI}_\beta(Q)$ is the upper cluster algebra associated to an ice quiver $\Delta$, then ${\rm SI}_{\beta'}(Q')$ is the upper cluster algebra associated to $\Delta'$, where $\Delta'$ is obtained from $\Delta$ through simple operations depending on $E$. We also study the relation of their basis using the quiver with potential model.


title: Correlation Energy for Elementary Bosons: Physics of the Singularity

abstract: We propose a compact perturbative approach that reveals the physical origin of the singularity occurring in the density dependence of correlation energy: like fermions, elementary bosons have a singular correlation energy which comes from the accumulation, through Feynman "bubble" diagrams, of the same non-zero momentum transfer excitations from the free particle ground state, that is, the Fermi sea for fermions and the Bose-Einstein condensate for bosons. This understanding paves the way toward deriving the correlation energy of composite bosons like atomic dimers and semiconductor excitons, by suggesting Shiva diagrams that have similarity with Feynman "bubble" diagrams, the previous elementary boson approaches, which hide this physics, being difficult to do so.


title: Necessary and Sufficient Conditions and a Provably Efficient Algorithm for Separable Topic Discovery

abstract: We develop necessary and sufficient conditions and a novel provably consistent and efficient algorithm for discovering topics (latent factors) from observations (documents) that are realized from a probabilistic mixture of shared latent factors that have certain properties. Our focus is on the class of topic models in which each shared latent factor contains a novel word that is unique to that factor, a property that has come to be known as separability. Our algorithm is based on the key insight that the novel words correspond to the extreme points of the convex hull formed by the row-vectors of a suitably normalized word co-occurrence matrix. We leverage this geometric insight to establish polynomial computation and sample complexity bounds based on a few isotropic random projections of the rows of the normalized word co-occurrence matrix. Our proposed random-projections-based algorithm is naturally amenable to an efficient distributed implementation and is attractive for modern web-scale distributed data mining applications.


title: Some Torsional Local Models of Heterotic Strings

abstract: We construct solutions to the Strominger system on a class of noncompact Calabi-Yau 3-folds. These spaces include $\mathbb{C}^3$ and resolved conifold $\mathcal{O}(-1,-1)$ as special examples.


title: Dual-Based Approximation Algorithms for Cut-Based Network Connectivity Problems

abstract: We consider a variety of NP-Complete network connectivity problems. We introduce a novel dual-based approach to approximating network design problems with cut-based linear programming relaxations. This approach gives a $3/2$-approximation to Minimum 2-Edge-Connected Spanning Subgraph that is equivalent to a previously proposed algorithm. One well-studied branch of network design models ad hoc networks where each node can either operate at high or low power. If we allow unidirectional links, we can formalize this into the problem Dual Power Assignment (DPA). Our dual-based approach gives a $3/2$-approximation to DPA, improving the previous best approximation known of $11/7\approx 1.57$. Another standard network design problem is Minimum Strongly Connected Spanning Subgraph (MSCS). We propose a new problem generalizing MSCS and DPA called Star Strong Connectivity (SSC). Then we show that our dual-based approach achieves a 1.6-approximation ratio on SSC. As a consequence of our dual-based approximations, we prove new upper bounds on the integrality gaps of these problems.


title: Extended Hartree-Fock study of the single-particle potential: the nuclear symmetry energy, nucleon effective mass, and folding model of the nucleon optical potential

abstract: The nucleon mean-field potential has been thoroughly investigated in an extended Hartree-Fock (HF) calculation of nuclear matter (NM) using the CDM3Y3 and CDM3Y6 density dependent versions of the M3Y interaction. The single-particle (s/p) energies of nucleons in NM are determined according to the Hugenholtz-van Hove theorem, which gives rise naturally to a rearrangement term (RT) of the s/p potential at the Fermi momentum. Using the RT obtained exactly at the different NM densities and neutron-proton asymmetries, a consistent method is suggested to take into account effectively the momentum dependence of the RT of the s/p potential within the standard HF scheme. To obtain a realistic momentum dependence of the nucleon optical potential (OP), the high-momentum part of the s/p potential was accurately readjusted to reproduce the observed energy dependence of the nucleon OP over a wide range of energies. The impact of the RT and momentum dependence of the s/p potential on the density dependence of the nuclear symmetry energy and nucleon effective mass has been studied in details. The high-momentum tail of the s/p potential was found to have a sizable effect on the slope of the symmetry energy and the neutron-proton effective mass splitting at supranuclear densities of the NM. Based on a local density approximation, the folding model of the nucleon OP of finite nuclei has been extended to take into account consistently the RT and momentum dependence of the nucleon OP in the same mean-field manner, and successfully applied to study the elastic neutron scattering on the lead target at the energies around the Fermi energy.


title: Geometry of Area Without Length

abstract: To define a free string by the Nambu-Goto action, all we need is the notion of area, and mathematically the area can be defined directly in the absence of a metric. Motivated by the possibility that string theory admits backgrounds where the notion of length is not well defined but a definition of area is given, we study space-time geometries based on the generalization of metric to area metric. In analogy with Riemannian geometry, we define the analogues of connections, curvatures and Einstein tensor. We propose a formulation generalizing Einstein's theory that will be useful if at a certain stage or a certain scale the metric is ill-defined and the space-time is better characterized by the notion of area. Static spherical solutions are found for the generalized Einstein equation in vacuum, including the Schwarzschild solution as a special case.


title: Divergences in maximal supersymmetric Yang-Mills theories in diverse dimensions

abstract: The main aim of this paper is to study the scattering amplitudes in gauge field theories with maximal supersymmetry in dimensions D=6,8 and 10. We perform a systematic study of the leading ultraviolet divergences using the spinor helicity and on-shell momentum superspace framework. In D=6 the first divergences start at 3 loops and we calculate them up to 5 loops, in D=8,10 the first divergences start at 1 loop and we calculate them up to 4 loops. The leading divergences in a given order are the polynomials of Mandelstam variables. To be on the safe side, we check our analytical calculations by numerical ones applying the alpha-representation and the dedicated routines. Then we derive an analog of the RG equations for the leading pole that allows us to get the recursive relations and construct the generating procedure to obtain the polynomials at any order of (perturbation theory) PT. At last, we make an attempt to sum the PT series and derive the differential equation for the infinite sum. This equation possesses a fixed point which might be stable or unstable depending on the kinematics. Some consequences of these fixed points are discussed.


title: Robust sparse Gaussian graphical modeling

abstract: Gaussian graphical modeling has been widely used to explore various network structures, such as gene regulatory networks and social networks. We often use a penalized maximum likelihood approach with the $L_1$ penalty for learning a high-dimensional graphical model. However, the penalized maximum likelihood procedure is sensitive to outliers. To overcome this problem, we introduce a robust estimation procedure based on the $\gamma$-divergence. The proposed method has a redescending property, which is known as a desirable property in robust statistics. The parameter estimation procedure is constructed using the Majorize-Minimization algorithm, which guarantees that the objective function monotonically decreases at each iteration. Extensive simulation studies showed that our procedure performed much better than the existing methods, in particular, when the contamination ratio was large. Two real data analyses were carried out to illustrate the usefulness of our proposed procedure.


title: Learning to detect an oddball target

abstract: We consider the problem of detecting an odd process among a group of Poisson point processes, all having the same rate except the odd process. The actual rates of the odd and non-odd processes are unknown to the decision maker. We consider a time-slotted sequential detection scenario where, at the beginning of each slot, the decision maker can choose which process to observe during that time slot. We are interested in policies that satisfy a given constraint on the probability of false detection. We propose a generalised likelihood ratio based sequential policy which, via suitable thresholding, can be made to satisfy the given constraint on the probability of false detection. Further, we show that the proposed policy is asymptotically optimal in terms of the conditional expected stopping time among all policies that satisfy the constraint on the probability of false detection. The asymptotic is as the probability of false detection is driven to zero. We apply our results to a particular visual search experiment studied recently by neuroscientists. Our model suggests a neuronal dissimilarity index for the visual search task. The neuronal dissimilarity index, when applied to visual search data from the particular experiment, correlates strongly with the behavioural data. However, the new dissimilarity index performs worse than some previously proposed neuronal dissimilarity indices. We explain why this may be attributed to the experiment conditons.


title: A Dichotomy Theorem for Circular Colouring Reconfiguration

abstract: The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.


title: Conglomerability and Finitely Additive Representations

abstract: We prove results concerning the representation of a given distribution by means of a given random quantity. The existence of a solution to this problem is related to the notion of conglomerability, originally introduced by Dubins to study finitely additive conditional probability. We show that this property has many interesting applications in probability as well as in analysis.


title: Asteroid thermophysical modeling

abstract: The field of asteroid thermophysical modeling has experienced an extraordinary growth in the last ten years, as new thermal infrared data became available for hundreds of thousands of asteroids. The infrared emission of asteroids depends on the body's size, shape, albedo, thermal inertia, roughness and rotational properties. These parameters can therefore be derived by thermophysical modeling of infrared data. Thermophysical modeling led to asteroid size estimates that were confirmed at the few-percent level by later spacecraft visits. We discuss how instrumentation advances now allow mid-infrared interferometric observations as well as high-accuracy spectro-photometry, posing their own set of thermal-modeling challenges.We present major breakthroughs achieved in studies of the thermal inertia, a sensitive indicator for the nature of asteroids soils, allowing us, for instance, to determine the grain size of asteroidal regoliths. Thermal inertia also governs non-gravitational effects on asteroid orbits, requiring thermophysical modeling for precise asteroid dynamical studies. The radiative heating of asteroids, meteoroids, and comets from the Sun also governs the thermal stress in surface material; only recently has it been recognized as a significant weathering process. Asteroid space missions with thermal infrared instruments are currently undergoing study at all major space agencies. This will require a high level of sophistication of thermophysical models in order to analyze high-quality spacecraft data.


title: Self-Assembly of Asymmetrically Interacting ABC Star Triblock Copolymer Melts

abstract: The phase behavior of asymmetrically interacting ABC star triblock copolymer melts is investigated by the self-consistent field theory (SCFT). Motivated by the experimental systems, in this study, we focus on the systems in which the Flory-Huggins interaction parameters satisfy $\chi_{AC}>\chi_{BC}\approx \chi_{AB}$. Using various initialization strategies, a large number of periodic structures have been obtained in our calculations. A fourth-order pseudospectral algorithm combined with Anderson mixing method is used to compute the free energy of candidate structures carefully. The stability has been detailedly analyzed by splitting the free energy into internal and entropic parts. A complete and complex triangular phase diagram is presented for a model with $\chi_{AC}>\chi_{BC}= \chi_{AB}$ in which fifteen ordered phases, including two-, and three-dimensional structures, have been predicted to be stable from the SCFT calculations. Generally speaking, with the asymmetrical interactions, the hierarchical structures tend to be formed near the B-rich corner of the triangular phase diagram. This work broadens the previous theoretical results from equal interaction systems to unequal interaction systems. The predicted phase behavior is in good agreement with experimental observations and previous theoretical results.


title: Non-hyperbolic closed geodesics on positively curved Finsler spheres

abstract: In this paper, we prove that for every Finsler $n$-dimensional sphere $(S^n,F), n\ge 3$ with reversibility $\lambda$ and flag curvature $K$ satisfying $\left(\frac{\lambda}{1+\lambda}\right)^2<K\le 1$, there exist at least three distinct closed geodesics and at least two of them are elliptic if the number of prime closed geodesics is finite. When $n\ge 6$, these three distinct closed geodesics are non-hyperbolic.


title: Scalar field as a time variable during gravitational evolution

abstract: Using a scalar field as an intrinsic 'clock' while investigating the dynamics of gravitational systems has been successfully pursued in various researches on the border between classical and quantum gravity. The objective of our research was to check explicitly whether the scalar field can serve as a time variable during dynamical evolution of the matter-geometry system, especially in regions of high curvature, which are essential from the perspective of quantum gravity. For this purpose, we analyzed a gravitational collapse of a self-interacting scalar field within the framework of general relativity. The obtained results indicated that the hypersurfaces of constant scalar field are spacelike in dynamical regions nearby the singularities formed during the investigated process. The scalar field values change monotonically in the areas, in which the constancy hypersurfaces are spacelike.


title: Filtered moment graph sheaves

abstract: We introduce the notion of (co-)filtered sheaves on quotients of moment graphs by a group action. We then introduce a (co-)filtered version of the canonical sheaves of Braden and MacPherson and show that their global sections are the indecomposable projective objects in a suitably defined exact category.


title: A joint model for authors characteristics and collaboration pattern in bibliometric networks: a Bayesian approach

abstract: Demographic and behavioral characteristics of journal authors are important indicators of homophily in co-authorship networks. In the presence of correlations between adjacent nodes (assortative mixing), combining the estimation of the individual characteristics and the network structure results in a well-fitting model, which is capable to provide a deep understanding of the linkage between individual and social properties. This paper aims to propose a novel probabilistic model for the joint distribution of nodal properties (authors' demographic and behavioral characteristics) and network structure (co-authorship connections), based on the nodal similarity effect. A Bayesian approach is used to estimate the model parameters, providing insights about the probabilistic properties of the observed data set. After a detailed analysis of the proposed statistical methodology, we illustrate our approach with an empirical analysis of co-authorship of 1007 journal articles indexed in the ISI Web of Science database in the field of neuroscience between 2009 and 2013.


title: Learning Sampling Distributions for Efficient Object Detection

abstract: Object detection is an important task in computer vision and learning systems. Multistage particle windows (MPW), proposed by Gualdi et al., is an algorithm of fast and accurate object detection. By sampling particle windows from a proposal distribution (PD), MPW avoids exhaustively scanning the image. Despite its success, it is unknown how to determine the number of stages and the number of particle windows in each stage. Moreover, it has to generate too many particle windows in the initialization step and it redraws unnecessary too many particle windows around object-like regions. In this paper, we attempt to solve the problems of MPW. An important fact we used is that there is large probability for a randomly generated particle window not to contain the object because the object is a sparse event relevant to the huge number of candidate windows. Therefore, we design the proposal distribution so as to efficiently reject the huge number of non-object windows. Specifically, we propose the concepts of rejection, acceptance, and ambiguity windows and regions. This contrasts to MPW which utilizes only on region of support. The PD of MPW is acceptance-oriented whereas the PD of our method (called iPW) is rejection-oriented. Experimental results on human and face detection demonstrate the efficiency and effectiveness of the iPW algorithm. The source code is publicly accessible.


title: Electrotunable friction with ionic liquid lubricants: how important is the molecular structure of the ions?

abstract: Using non-equilibrium molecular dynamics simulations and a coarse grained model of ionic liquids, we have investigated the impact that the shape and the intramolecular charge distribution of the ions have on the electrotuneable friction with ionic-liquid nanoscale films. We show that the electric-field induces significant structural changes in the film, leading to dramatic modifications of the friction force. Comparison of the present work with previous studies using different models of ionic liquids indicate that the phenomenology presented here applies to a wide range of ionic liquids. In particular, the electric-field-induced shift of the slippage plane from the solid-liquid interface to the interior of the film and the non-monotonic variation of the friction force are common features of ionic lubricants under strong confinement. We also demonstrate that the molecular structure of the ions plays an important role in determining the electrostriction and electroswelling of the confined film, hence showing the importance of ion-specific effects in electrotuneable friction.


title: Some Cosmological Solutions of a Nonlocal Modified Gravity

abstract: We consider nonlocal modification of the Einstein theory of gravity in framework of the pseudo-Riemannian geometry. The nonlocal term has the form $\mathcal{H}(R) \mathcal{F}(\Box)\mathcal {G}(R)$, where $\mathcal{H}$ and $\mathcal{G}$ are differentiable functions of the scalar curvature $R,$ and $ \mathcal{F}(\Box)= \displaystyle \sum_{n =0}^{\infty} f_{n}\Box^{n}$ is an analytic function of the d'Alambert operator $\Box .$ Using calculus of variations of the action functional, we derived the corresponding equations of motion. The variation of action is induced by variation of the gravitational field, which is the metric tensor $g_{\mu\nu}$. Cosmological solutions are found for the case when the Ricci scalar $R$ is constant.


title: Quantum dynamics of a two-state system induced by a chirped zero-area pulse

abstract: It is well known that area pulses make Rabi oscillation and chirped pulses in the adiabatic interaction regime induce complete population inversion of a two-state system. Here we show that chirped zero-area pulses could engineer an interplay between the adiabatic evolution and Rabi-like oscillations. In a proof-of-principle experiment utilizing spectral chirping of femtosecond laser pulses with a resonant spectral hole, we demonstrate that the chirped zero-area pulses could induce, for example, complete population inversion and return of the cold rubidium atom two-state system. Experimental result agrees well with the theoretically considered overall dynamics, which could be approximately modeled to a Ramsey-like three-pulse interaction, where the $x$- and $z$- rotations are respectively driven by the hole and the main pulse.


title: KMS-like Properties of Local Equilibrium States in Quantum Field Theory

abstract: A new condition, called "Local KMS Condition", characterizing states of a quantum field to which one can ascribe, at a given spacetime point, a temperature, is introduced in this article. It will be shown that the Local KMS Condition (LKMS condition) is equivalent to the Local Thermal Equilibrium (LTE) condition, proposed previously by Buchholz, Ojima and Roos, for states of the quantized scalar Klein-Gordon field that fulfill the analytic microlocal spectrum condition. Therefore, known examples of states fulfilling the LTE condition provide examples of states obeying the LKMS condition with a temperature distribution varying in space and time. The results extend to the generalized cases of mixed-temperature LKMS and LTE states. The LKMS condition therefore provides a promising generalization of the KMS condition, which characterizes global thermal equilibrium states with respect to an inertial time evolution, to states which are globally out of equilibrium but still possess a local temperature distribution.


title: Visualizing the evolution from the Mott insulator to a charge ordered insulator in lightly doped cuprates

abstract: A central question in the high temperature cuprate superconductors is the fate of the parent Mott insulator upon charge doping. Here we use scanning tunneling microscopy to investigate the local electronic structure of lightly doped cuprate in the antiferromagnetic insulating regime. We show that the doped charge induces a spectral weight transfer from the high energy Hubbard bands to the low energy in-gap states. With increasing doping, a V-shaped density of state suppression occurs at the Fermi level, which is accompanied by the emergence of checkerboard charge order. The new STM perspective revealed here is the cuprates first become a charge ordered insulator upon doping. Subsequently, with further doping, Fermi surface and high temperature superconductivity grow out of it.


title: Pushing the limits, episode 2: K2 observations of extragalactic RR Lyrae stars in the dwarf galaxy Leo IV

abstract: We present the first observations of extragalactic pulsating stars in the K2 ecliptic survey of the Kepler space telescope. Variability of all three RR Lyrae stars in the dwarf spheroidal galaxy Leo IV were successfully detected, at a brightness of Kp~21.5 mag, from data collected during Campaign 1. We identified one modulated star and another likely Blazhko candidate with periods of 29.8+-0.9 d and more than 80 d, respectively. EPIC 210282473 represents the first star beyond the Magellanic Clouds for which the Blazhko period and cycle-to-cycle variations in the modulation were unambiguously measured.The photometric [Fe/H] indices of the stars agree with earlier results that Leo IV is a very metal-poor galaxy. Two out of three stars blend with brighter background galaxies in the K2 frames. We demonstrate that image subtraction can be reliably used to extract photometry from faint confused sources that will be crucial not only for the K2 mission but for future space photometric missions as well.


title: Multivariate trend-cycle extraction with the Hodrick-Prescott filter

abstract: The Hodrick-Prescott filter represents one of the most popular method for trend-cycle extraction in macroeconomic time series. In this paper we provide a multivariate generalization of the Hodrick-Prescott filter, based on the seemingly unrelated time series approach. We first derive closed-form expressions linking the signal-noise matrix ratio to the parameters of the VARMA representation of the model. We then show that the parameters can be estimated using a recently introduced method, called "Moment Estimation Through Aggregation (META)". This method replaces the traditional multivariate likelihood estimation with a procedure that requires estimating univariate processes only. This makes the estimation simpler, faster and better-behaved numerically. We prove that our estimation method is consistent and asymptotically normal distributed for the proposed framework. Finally, we present an empirical application focusing on the industrial production of several European countries.


title: Th\'eor\`eme de de Smit et Lenstra, d\'emonstration \'el\'ementaire

abstract: We give an elementary and constructive proof for a theorem of de Smit et Lenstra.


title: Emergence of coexisting percolating clusters in networks

abstract: It is commonly assumed in percolation theories that at most one percolating cluster can exist in a network. We introduce sausage-like networks (SLNs), an ensemble of synthetic modular networks in which more than one percolating cluster can appear. We show that coexisting percolating clusters (CPCs) emerge in such networks due to limited mixing, i.e., a small number of interlinks between pairs of modules. We develop an approach called modular message passing (MMP) to describe and verify these observations. We demonstrate that the appearance of CPCs is an important source of inaccuracy in the previously introduced percolation theories, such as the message passing (MP) approach. Moreover, we show that the MMP theory improves significantly over the predictions of MP for percolation on synthetic networks with limited mixing and also on several real-world networks. These findings have important implications for understanding the robustness of networks and in quantifying epidemic outbreaks in the susceptible-infected-recovered (SIR) model of disease spread.