title: Dynamics and statistics in the operator algebra of quantum mechanics

abstract: Physics explains the laws of motion that govern the time evolution of observable properties and the dynamical response of systems to various interactions. However, quantum theory separates the observable part of physics from the unobservable time evolution by introducing mathematical objects that are only loosely connected to the actual physics by statistical concepts and cannot be explained by any conventional sets of events. Here, I examine the relation between statistics and dynamics in quantum theory and point out that the Hilbert space formalism can be understood as a theory of ergodic randomization, where the deterministic laws of motion define probabilities according to a randomization of the dynamics that occurs in the processes of state preparation and measurement.


title: Magnetic-field- and pressure-induced quantum phase transition in CsFeCl$_3$ proved via magnetization measurement

abstract: We have performed magnetization measurements of the gapped quantum magnet CsFeCl$_3$ at temperatures ($T$) down to 0.5\,K at ambient pressure and down to 1.8\,K at hydrostatic pressures ($P$) of up to 1.5\,GPa. The lower-field ($H$) phase boundary of the field-induced ordered phase at ambient pressure is found to follow the power-law behavior expressed by the formula $H_{\rm N}(T)$\,$-$\,$H_{\rm c}$\,$\propto$\,$T_{\rm N}^{\phi}$. The application of pressure extends the phase boundary to both a lower field and higher temperature. Above the critical pressure $P_{\rm c}$\,$\sim$\,0.9\,GPa, the transition field $H_{\rm N}$ associated with the excitation gap becomes zero, and a signature of the magnetic phase transition is found in the $T$-dependence of magnetization in a very low applied field. This suggests that CsFeCl$_3$ exhibits a pressure-induced magnetic phase transition at $P_{\rm c}$.


title: OpenSalicon: An Open Source Implementation of the Salicon Saliency Model

abstract: In this technical report, we present our publicly downloadable implementation of the SALICON saliency model. At the time of this writing, SALICON is one of the top performing saliency models on the MIT 300 fixation prediction dataset which evaluates how well an algorithm is able to predict where humans would look in a given image. Recently, numerous models have achieved state-of-the-art performance on this benchmark, but none of the top 5 performing models (including SALICON) are available for download. To address this issue, we have created a publicly downloadable implementation of the SALICON model. It is our hope that our model will engender further research in visual attention modeling by providing a baseline for comparison of other algorithms and a platform for extending this implementation. The model we provide supports both training and testing, enabling researchers to quickly fine-tune the model on their own dataset. We also provide a pre-trained model and code for those users who only need to generate saliency maps for images without training their own model.


title: It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity

abstract: Mixed-criticality systems combine real-time components of different levels of criticality, i.e. severity of failure, on the same processor, in order to obtain good resource utilisation. They must guarantee deadlines of highly-critical tasks at the expense of lower-criticality ones in the case of overload. Present operating systems provide inadequate support for this kind of system, which is of growing importance in avionics and other verticals. We present an approach that provides the required asymmetric integrity and its implementation in the high-assurance seL4 microkernel.


title: Nearest-Neighbor Searching Under Uncertainty II

abstract: Nearest-neighbor search, which returns the nearest neighbor of a query point in a set of points, is an important and widely studied problem in many fields, and it has wide range of applications. In many of them, such as sensor databases, location-based services, face recognition, and mobile data, the location of data is imprecise. We therefore study nearest-neighbor queries in a probabilistic framework in which the location of each input point is specified as a probability distribution function. We present efficient algorithms for - computing all points that are nearest neighbors of a query point with nonzero probability; and - estimating the probability of a point being the nearest neighbor of a query point, either exactly or within a specified additive error.


title: Identifying Outliers using Influence Function of Multiple Kernel Canonical Correlation Analysis

abstract: Imaging genetic research has essentially focused on discovering unique and co-association effects, but typically ignoring to identify outliers or atypical objects in genetic as well as non-genetics variables. Identifying significant outliers is an essential and challenging issue for imaging genetics and multiple sources data analysis. Therefore, we need to examine for transcription errors of identified outliers. First, we address the influence function (IF) of kernel mean element, kernel covariance operator, kernel cross-covariance operator, kernel canonical correlation analysis (kernel CCA) and multiple kernel CCA. Second, we propose an IF of multiple kernel CCA, which can be applied for more than two datasets. Third, we propose a visualization method to detect influential observations of multiple sources of data based on the IF of kernel CCA and multiple kernel CCA. Finally, the proposed methods are capable of analyzing outliers of subjects usually found in biomedical applications, in which the number of dimension is large. To examine the outliers, we use the stem-and-leaf display. Experiments on both synthesized and imaging genetics data (e.g., SNP, fMRI, and DNA methylation) demonstrate that the proposed visualization can be applied effectively.


title: Beyond Quantum interference and Optical pumping: invoking a Closed-loop phase

abstract: Atomic coherence effects arising from coherent light-atom interaction are conventionally known to be governed by quantum interference and optical pumping mechanisms. However, anisotropic nonlinear response driven by optical field involves another fundamental effect arising from closed-loop multiphoton transitions. This closed-loop phase dictates the tensorial structure of the nonlinear susceptibility as it governs the principal coordinate system in determining, whether the light field will either compete or cooperate with the external magnetic field stimulus. Such a treatment provides deeper understanding of all magneto-optical anisotropic response. The magneto-optical response in all atomic systems is classified using closed-loop phase. The role of quantum interference in obtaining electromagnetically induced transparency or electromagnetically induced absorption in multi-level systems is identified.


title: Hanke-Raus heuristic rule for variational regularization in Banach spaces

abstract: We generalize the heuristic parameter choice rule of Hanke-Raus for quadratic regularization to general variational regularization for solving linear as well as nonlinear ill-posed inverse problems in Banach spaces. Under source conditions formulated as variational inequalities, we obtain a posteriori error estimates in term of Bregman distance. By imposing certain conditions on the random noise, we establish four convergence results; one relies on the source conditions and the other three do not depend on any source conditions. Numerical results are presented to illustrate the performance.


title: Synthesis and different Optical properties of Gd2O3 doped sodium zinc tellurite glasses

abstract: Optical properties of a series of Gd2O3 doped sodium zinc tellurite [xGd2O3-(0.8-x) TeO2-0.1Na2O-0.1ZnO] glasses prepared by conventional melt quenching method have been studied. UV-Vis spectrophotometer was used in the integrating sphere mode at room temperature to study the effect of Gd2O3 doping on the optical band gap, refractive index, dielectric constant and susceptibility within the wavelength range from 230-800 nm. Density is measured using Archimedes principle for the calculation of molar volume, molar refraction, polarizability and metallization criterion of the glasses.


title: Hardness of the Pricing Problem for Chains in Barter Exchanges

abstract: Kidney exchange is a barter market where patients trade willing but medically incompatible donors. These trades occur via cycles, where each patient-donor pair both gives and receives a kidney, and via chains, which begin with an altruistic donor who does not require a kidney in return. For logistical reasons, the maximum length of a cycle is typically limited to a small constant, while chains can be much longer. Given a compatibility graph of patient-donor pairs, altruists, and feasible potential transplants between them, finding even a maximum-cardinality set of vertex-disjoint cycles and chains is NP-hard. There has been much work on developing provably optimal solvers that are efficient in practice. One of the leading techniques has been branch and price, where column generation is used to incrementally bring cycles and chains into the optimization model on an as-needed basis. In particular, only positive-price columns need to be brought into the model. We prove that finding a positive-price chain is NP-complete. This shows incorrectness of two leading branch-and-price solvers that suggested polynomial-time chain pricing algorithms.


title: Gene-Gene association for Imaging Genetics Data using Robust Kernel Canonical Correlation Analysis

abstract: In genome-wide interaction studies, to detect gene-gene interactions, most methods are divided into two folds: single nucleotide polymorphisms (SNP) based and gene-based methods. Basically, the methods based on the gene are more effective than the methods based on a single SNP. Recent years, while the kernel canonical correlation analysis (Classical kernel CCA) based U statistic (KCCU) has proposed to detect the nonlinear relationship between genes. To estimate the variance in KCCU, they have used resampling based methods which are highly computationally intensive. In addition, classical kernel CCA is not robust to contaminated data. We, therefore, first discuss robust kernel mean element, the robust kernel covariance, and cross-covariance operators. Second, we propose a method based on influence function to estimate the variance of the KCCU. Third, we propose a nonparametric robust KCCU method based on robust kernel CCA, which is designed for contaminated data and less sensitive to noise than classical kernel CCA. Finally, we investigate the proposed methods to synthesized data and imaging genetic data set. Based on gene ontology and pathway analysis, the synthesized and genetics analysis demonstrate that the proposed robust method shows the superior performance of the state-of-the-art methods.


title: Contextual Bandits with Latent Confounders: An NMF Approach

abstract: Motivated by online recommendation and advertising systems, we consider a causal model for stochastic contextual bandits with a latent low-dimensional confounder. In our model, there are $L$ observed contexts and $K$ arms of the bandit. The observed context influences the reward obtained through a latent confounder variable with cardinality $m$ ($m \ll L,K$). The arm choice and the latent confounder causally determines the reward while the observed context is correlated with the confounder. Under this model, the $L \times K$ mean reward matrix $\mathbf{U}$ (for each context in $[L]$ and each arm in $[K]$) factorizes into non-negative factors $\mathbf{A}$ ($L \times m$) and $\mathbf{W}$ ($m \times K$). This insight enables us to propose an $\epsilon$-greedy NMF-Bandit algorithm that designs a sequence of interventions (selecting specific arms), that achieves a balance between learning this low-dimensional structure and selecting the best arm to minimize regret. Our algorithm achieves a regret of $\mathcal{O}\left(L\mathrm{poly}(m, \log K) \log T \right)$ at time $T$, as compared to $\mathcal{O}(LK\log T)$ for conventional contextual bandits, assuming a constant gap between the best arm and the rest for each context. These guarantees are obtained under mild sufficiency conditions on the factors that are weaker versions of the well-known Statistical RIP condition. We further propose a class of generative models that satisfy our sufficient conditions, and derive a lower bound of $\mathcal{O}\left(Km\log T\right)$. These are the first regret guarantees for online matrix completion with bandit feedback, when the rank is greater than one. We further compare the performance of our algorithm with the state of the art, on synthetic and real world data-sets.


title: The structure of the minimum size supertail of a subspace partition

abstract: Let $V=V(n,q)$ denote the vector space of dimension $n$ over the finite field with $q$ elements. A subspace partition ${\mathcal P}$ of $V$ is a collection of nontrivial subspaces of $V$ such that each nonzero vector of $V$ is in exactly one subspace of ${\mathcal P}$. For any integer $d$, the $d$-supertail of ${\mathcal P}$ is the set of subspaces in ${\mathcal P}$ of dimension less than $d$, and it is denoted by $ST$. Let $\sigma_q(n,t)$ denote the minimum number of subspaces in any subspace partition of $V$ in which the largest subspace has dimension $t$. It was shown by Heden et al. that $|ST|\geq \sigma_q(d,t)$, where $t$ is the largest dimension of a subspace in $ST$. In this paper, we show that if $|ST|=\sigma_q(d,t)$, then the union of all the subspaces in $ST$ constitutes a subspace under certain conditions.


title: Scaling limits of discrete holomorphic functions

abstract: One of the most natural and challenging issues in discrete complex analysis is to prove the convergence of discrete holomorphic functions to their continuous counterparts. This article is to solve the open problem in the general setting. To this end we introduce new concepts of discrete surface measure and discrete outer normal vector and establish the discrete Cauchy-Pompeiu integral formula, \begin{eqnarray*} f(\zeta)=\displaystyle{\int_{\partial B^h}} \mathcal{K}^h(z,\zeta) f(z)dS^h(z)+\displaystyle{\int_{B^h}} E^h(\zeta-z) \partial_{\bar z}^h f (z)dV^h(z),\end{eqnarray*} which results in the uniform convergence of the scaling limits of discrete holomorphic functions up to second order derivatives in the standard square lattices.


title: Decentralized Control of Three-Dimensional Mobile Robotic Sensor Networks

abstract: Decentralized control of mobile robotic sensor networks is a fundamental problem in robotics that has attracted intensive research in recent decades. Most of the existing works dealt with two-dimensional spaces. This report is concerned with the problem of decentralized self-deployment of mobile robotic sensor networks in three-dimensional environments. The first part of the report investigates the problem of complete sensing coverage in three-dimensional spaces. We propose a decentralized random algorithm to drive mobile robotic sensors on the vertices of a truncated octahedral grid for complete sensing coverage of a bounded 3D area. In the second part, we present a distributed random algorithm for search in bounded three-dimensional environments. Third, we study the problem of locating static and mobile targets in a bounded 3D space by a network of mobile robotic sensors. We introduce a novel decentralized bio-inspired random search algorithm for finding static and mobile objects in 3D areas. This algorithm combines the Levy flight random search mechanism with a 3D covering grid. This report studies the problem of 3D formation building in 3D spaces by a network of mobile robotic sensors. Decentralized consensus-based control law for the multi-robot system which results in forming a given geometric configuration from any initial positions in 3D environments is proposed. Convergence of the mobile robotic sensors to the given configurations are shown by extensive simulations. Moreover, a mathematically rigorous proof of convergence of the proposed algorithms to the given configurations are given.


title: Exponential sum approximations for $t^{-\beta}$

abstract: Given $\beta>0$ and $\delta>0$, the function $t^{-\beta}$ may be approximated for $t$ in a compact interval $[\delta,T]$ by a sum of terms of the form $we^{-at}$, with parameters $w>0$ and $a>0$. One such an approximation, studied by Beylkin and Monz\'on, is obtained by applying the trapezoidal rule to an integral representation of $t^{-\beta}$, after which Prony's method is applied to reduce the number of terms in the sum with essentially no loss of accuracy. We review this method, and then describe a similar approach based on an alternative integral representation. The main difference is that the new approach achieves much better results before the application of Prony's method; after applying Prony's method the performance of both is much the same.


title: Caching Placement in Stochastic Wireless Caching Helper Networks: Channel Selection Diversity via Caching

abstract: Content delivery success in wireless caching helper networks depends mainly on cache-based channel selection diversity and network interference. For given channel fading and network geometry, both channel selection diversity and network interference dynamically vary according to what and how the caching helpers cache at their finite storage space. We study probabilistic content placement (or caching placement) to desirably control cache-based channel selection diversity and network interference in a stochastic wireless caching helper network, with sophisticated considerations of wireless fading channels, interactions among multiple users such as interference and loads at caching helpers, and arbitrary memory size. Using stochastic geometry, we derive optimal caching probabilities in closed form to maximize the average success probability of content delivery and propose an efficient algorithm to find the solution in a noise-limited network. In an interference-limited network, based on a lower bound of the average success probability of content delivery, we find near-optimal caching probabilities in closed form to control the channel selection diversity and the network interference. We numerically verify that the proposed content placement is superior to other comparable content placement strategies.


title: Periodicity Properties of the Colored Jones Polynomial

abstract: The "color" in the colored Jones polynomial is an integer parameter. In this paper, a periodic pattern of the values of the colored Jones polynomial at the second and the third roots of unity is found. If we substitute -1 to the colored Jones polynomial, the value is alternately 1 or the determinant of the given link. When it comes to substituting the primitive third root of unity, another periodic pattern appears.


title: Large-area and high-quality 2D transition metal telluride

abstract: Atomically thin transitional metal ditellurides like WTe2 and MoTe2 have triggered tremendous research interests because of their intrinsic nontrivial band structure. They are also predicted to be 2D topological insulators and type-II Weyl semimetals. However, most of the studies on ditelluride atomic layers so far rely on the low-yield and time-consuming mechanical exfoliation method. Direct synthesis of large-scale monolayer ditellurides has not yet been achieved. Here, using the chemical vapor deposition (CVD) method, we demonstrate controlled synthesis of high-quality and atom-thin tellurides with lateral size over 300 {\mu}m. We found that the as-grown WTe2 maintains two different stacking sequences in the bilayer, where the atomic structure of the stacking boundary is revealed by scanning transmission electron microscope (STEM). The low-temperature transport measurements revealed a novel semimetal-to-insulator transition in WTe2 layers and an enhanced superconductivity in few-layer MoTe2. This work paves the way to the synthesis of atom-thin tellurides and also quantum spin Hall devices.


title: On the Capacity of an Elemental Two-Way Two-Tier Network

abstract: A basic setup of a two-tier network, where two mobile users exchange messages with a multi-antenna macrocell basestation, is studied from a rate perspective subject to beamforming and power constraints. The communication is facilitated by two femtocell basestations which act as relays as there is no direct link between the macrocell basestation and the mobile users. We propose a scheme based on physical-layer network coding and compute-and-forward combined with a novel approach that solves the problem of beamformer design and power allocation. We also show that the optimal beamformers are always a convex combination of the channels between the macro- and femtocell basestations. We then establish the cut-set bound of the setup to show that the presented scheme almost achieves the capacity of the setup numerically.


title: Self-Paced Learning: an Implicit Regularization Perspective

abstract: Self-paced learning (SPL) mimics the cognitive mechanism of humans and animals that gradually learns from easy to hard samples. One key issue in SPL is to obtain better weighting strategy that is determined by minimizer function. Existing methods usually pursue this by artificially designing the explicit form of SPL regularizer. In this paper, we focus on the minimizer function, and study a group of new regularizer, named self-paced implicit regularizer that is deduced from robust loss function. Based on the convex conjugacy theory, the minimizer function for self-paced implicit regularizer can be directly learned from the latent loss function, while the analytic form of the regularizer can be even known. A general framework (named SPL-IR) for SPL is developed accordingly. We demonstrate that the learning procedure of SPL-IR is associated with latent robust loss functions, thus can provide some theoretical inspirations for its working mechanism. We further analyze the relation between SPL-IR and half-quadratic optimization. Finally, we implement SPL-IR to both supervised and unsupervised tasks, and experimental results corroborate our ideas and demonstrate the correctness and effectiveness of implicit regularizers.


title: Stability and the Morse boundary

abstract: Stable subgroups and the Morse boundary are two systematic approaches to collect and study the hyperbolic aspects of finitely generated groups. In this paper we unify and generalize these strategies by viewing any geodesic metric space as a countable union of stable subspaces: we show that every stable subgroup is a quasi--convex subset of a set in this collection and that the Morse boundary is recovered as the direct limit of the usual Gromov boundaries of these hyperbolic subspaces. We use this approach, together with results of Leininger--Schleimer, to deduce that there is no purely geometric obstruction to the existence of a non-virtually--free convex cocompact subgroup of a mapping class group. In addition, we define two new quasi--isometry invariant notions of dimension: the stable dimension, which measures the maximal asymptotic dimension of a stable subset; and the Morse capacity dimension, which naturally generalises Buyalo's capacity dimension for boundaries of hyperbolic spaces. We prove that every stable subset of a right--angled Artin group is quasi--isometric to a tree; and that the stable dimension of a mapping class group is bounded from above by a multiple of the complexity of the surface. In the case of relatively hyperbolic groups we show that finite stable dimension is inherited from peripheral subgroups. Finally, we show that all classical small cancellation groups and certain Gromov monster groups have stable dimension at most 2.


title: A building block for hardware belief networks

abstract: Belief networks represent a powerful approach to problems involving probabilistic inference, but much of the work in this area is software based utilizing standard deterministic hardware based on the transistor which provides the gain and directionality needed to interconnect billions of them into useful networks. This paper proposes a transistor like device that could provide an analogous building block for probabilistic networks. We present two proof-of-concept examples of belief networks, one reciprocal and one non-reciprocal, implemented using the proposed device which is simulated using experimentally benchmarked models.


title: Unique SRB measures and transitivity for Anosov diffeomorphisms

abstract: We prove that every $C^2$ Anosov diffeomorphism in a compact and connected Riemannian manifold has a unique SRB and physical probability measure, whose basin of attraction covers Lebesgue almost every point in the manifold. Then, we use structural stability of Anosov diffeomorphisms to deduce that all $C^1$ Anosov diffeomorphisms on compact and connected Riemannian manifolds are transitive.


title: The centralizer of $C^r$-generic diffeomorphisms at hyperbolic basic sets is trivial

abstract: In the late nineties, Smale proposed a list of problems for the next century and, among these, it was conjectured that for every $r\ge 1$ a $C^r$-generic diffeomorphism has trivial centralizer. Our contribution here is to prove the triviality of $C^r$-centralizers on hyperbolic basic sets. In particular, $C^r$-generic transitive Anosov diffeomorphisms have a trivial $C^1$-centralizer. These results follow from a more general criterium for expansive homeomorphisms with the gluing orbit property. We also construct a linear Anosov diffeomorphism on $\mathbb T^3$ with discrete, non-trivial centralizer and with elements that are not roots. Finally, we prove that all elements in the centralizer of an Anosov diffeomorphism preserve some of its maximal entropy measures, and use this to characterize the centralizer of linear Anosov diffeomorphisms on tori.


title: A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

abstract: Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods, which now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.


title: Constructions of Good Entanglement-Assisted Quantum Error Correcting Codes

abstract: Entanglement-assisted quantum error correcting codes (EAQECCs) are a simple and fundamental class of codes. They allow for the construction of quantum codes from classical codes by relaxing the duality condition and using pre-shared entanglement between the sender and receiver. However, in general it is not easy to determine the number of shared pairs required to construct an EAQECC. In this paper, we show that this number is related to the hull of the classical code. Using this fact, we give methods to construct EAQECCs requiring desirable amount of entanglement. This leads to design families of EAQECCs with good error performance. Moreover, we construct maximal entanglement EAQECCs from LCD codes. Finally, we prove the existence of asymptotically good EAQECCs in the odd characteristic case.


title: Aggregating quantum repeaters for the quantum internet

abstract: The quantum internet holds promise for performing quantum communication, such as quantum teleportation and quantum key distribution, freely between any parties all over the globe. For such a quantum internet protocol, a general fundamental upper bound on the performance has been derived [K. Azuma, A. Mizutani, and H.-K. Lo, arXiv:1601.02933]. Here we consider its converse problem. In particular, we present a protocol constructible from any given quantum network, which is based on running quantum repeater schemes in parallel over the network. The performance of this protocol and the upper bound restrict the quantum capacity and the private capacity over the network from both sides. The optimality of the protocol is related to fundamental problems such as additivity questions for quantum channels and questions on the existence of a gap between quantum and private capacities.


title: Efficiently Bounding Optimal Solutions after Small Data Modification in Large-Scale Empirical Risk Minimization

abstract: We study large-scale classification problems in changing environments where a small part of the dataset is modified, and the effect of the data modification must be quickly incorporated into the classifier. When the entire dataset is large, even if the amount of the data modification is fairly small, the computational cost of re-training the classifier would be prohibitively large. In this paper, we propose a novel method for efficiently incorporating such a data modification effect into the classifier without actually re-training it. The proposed method provides bounds on the unknown optimal classifier with the cost only proportional to the size of the data modification. We demonstrate through numerical experiments that the proposed method provides sufficiently tight bounds with negligible computational costs, especially when a small part of the dataset is modified in a large-scale classification problem.


title: Recovering Architectural Variability of a Family of Product Variants

abstract: A Software Product Line (SPL) aims at applying a pre-planned systematic reuse of large-grained software artifacts to increase the software productivity and reduce the development cost. The idea of SPL is to analyze the business domain of a family of products to identify the common and the variable parts between the products. However, it is common for companies to develop, in an ad-hoc manner (e.g. clone and own), a set of products that share common functionalities and differ in terms of others. Thus, many recent research contributions are proposed to re-engineer existing product variants to a SPL. Nevertheless, these contributions are mostly focused on managing the variability at the requirement level. Very few contributions address the variability at the architectural level despite its major importance. Starting from this observation, we propose, in this paper, an approach to reverse engineer the architecture of a set of product variants. Our goal is to identify the variability and dependencies among architectural-element variants at the architectural level. Our work relies on Formal Concept Analysis (FCA) to analyze the variability. To validate the proposed approach, we experimented on two families of open-source product variants; Mobile Media and Health Watcher. The results show that our approach is able to identify the architectural variability and the dependencies.


title: Non covered vertices in Fibonacci cubes by a maximum set of disjoint hypercubes

abstract: The Fibonacci cube of dimension n, denoted as $\Gamma$ n , is the subgraph of n-cube Q n induced by vertices with no consecutive 1's. In this short note we prove that asymptotically all vertices of $\Gamma$ n are covered by a maximum set of disjoint subgraphs isomorphic to Q k , answering an open problem proposed in [2].


title: Strict $\omega$-categories are monadic over polygraphs

abstract: We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs.


title: On the Host Galaxy of GRB 150101B and the Associated Active Galactic Nucleus

abstract: We present a multi-wavelength analysis of the host galaxy of short-duration gamma-ray burst (GRB) 150101B. Follow-up optical and X-ray observations suggested that the host galaxy, 2MASX J12320498-1056010, likely harbors a low-luminosity active galactic nuclei (AGN). Our modeling of the spectral energy distribution (SED) has confirmed the nature of the AGN, making it the first reported GRB host that contains an AGN. We have also found the host galaxy is a massive elliptical galaxy with stellar population of $\sim 5.7\ Gyr$, one of the oldest among the short-duration GRB hosts. Our analysis suggests that the host galaxy can be classified as an X-ray bright, optically normal galaxy (XBONG), and the central AGN is likely dominated by a radiatively inefficient accretion flow (RIAF). Our work explores interesting connection that may exist between GRB and AGN activities of the host galaxy, which can help understand the host environment of the GRB events and the roles of AGN feedback.


title: Combined effects of Sr substitution and pressure on the ground states in CaFe$_2$As$_2$

abstract: We present a detailed study of the combined effects of Sr substitution and hydrostatic pressure on the ground-state properties of CaFe$_2$As$_2$. Measurements of the electrical resistance and magnetic susceptibility, both at ambient and finite pressure $P$ $\leq$ 2$\,$GPa, were performed on Ca$_{1-x}$Sr$_x$Fe$_2$As$_2$ single crystals grown out of Sn flux. We find that upon Sr substitution the ranges of stability of both the structural-magnetic transition and the transition into the non-magnetic collapsed tetragonal phase are shifted to higher pressure levels with the latter moving at a higher rate. This suggests the possibility of separating the two phase lines, which intersect already at elevated temperatures for $x$ = 0 and low Sr concentration levels. For $x$ = 0.177 we find strong evidence that both phases remain separated down to lowest temperature and that a zero-resistance state emerges in this intermediate pressure window. This observation indicates that Sr-substitution combined with hydrostatic pressure provides another route for stabilizing superconductivity in CaFe$_2$As$_2$. Our results are consistent with the notion that (i) preserving the fluctuations associated with the structural-magnetic transition to low temperatures is vital for superconductivity to form in this material and that (ii) the non-magnetic collapsed tetragonal phase is detrimental for superconductivity.


title: Model selection consistency from the perspective of generalization ability and VC theory with an application to Lasso

abstract: Model selection is difficult to analyse yet theoretically and empirically important, especially for high-dimensional data analysis. Recently the least absolute shrinkage and selection operator (Lasso) has been applied in the statistical and econometric literature. Consis- tency of Lasso has been established under various conditions, some of which are difficult to verify in practice. In this paper, we study model selection from the perspective of generalization ability, under the framework of structural risk minimization (SRM) and Vapnik-Chervonenkis (VC) theory. The approach emphasizes the balance between the in-sample and out-of-sample fit, which can be achieved by using cross-validation to select a penalty on model complexity. We show that an exact relationship exists between the generalization ability of a model and model selection consistency. By implementing SRM and the VC inequality, we show that Lasso is L2-consistent for model selection under assumptions similar to those imposed on OLS. Furthermore, we derive a probabilistic bound for the distance between the penalized extremum estimator and the extremum estimator without penalty, which is dominated by overfitting. We also propose a new measurement of overfitting, GR2, based on generalization ability, that converges to zero if model selection is consistent. Using simulations, we demonstrate that the proposed CV-Lasso algorithm performs well in terms of model selection and overfitting control.


title: Nuclear spin warm-up in bulk n-GaAs

abstract: We show that the spin-lattice relaxation in n-type insulating GaAs is dramatically accelerated at low magnetic fields. The origin of this effect, that cannot be explained in terms of well-known diffusion-limited hyperfine relaxation, is found in the quadrupole relaxation, induced by fluctuating donor charges. Therefore, quadrupole relaxation, that governs low field nuclear spin relaxation in semiconductor quantum dots, but was so far supposed to be harmless to bulk nuclei spins in the absence of optical pumping can be studied and harnessed in much simpler model environment of n-GaAs bulk crystal.


title: Derivatives and inverse of a linear-nonlinear multi-layer spatial vision model

abstract: Linear-nonlinear transforms are interesting in vision science because they are key in modeling a number of perceptual experiences such as color, motion or spatial texture. Here we first show that a number of issues in vision may be addressed through an analytic expression of the Jacobian of these linear-nonlinear transforms. The particular model analyzed afterwards (an extension of [Malo & Simoncelli SPIE 2015]) is illustrative because it consists of a cascade of standard linear-nonlinear modules. Each module roughly corresponds to a known psychophysical mechanism: (1) linear spectral integration and nonlinear brightness-from-luminance computation, (2) linear pooling of local brightness and nonlinear normalization for local contrast computation, (3) linear frequency selectivity and nonlinear normalization for spatial contrast masking, and (4) linear wavelet-like decomposition and nonlinear normalization for frequency-dependent masking. Beyond being the appropriate technical report with the missing details in [Malo & Simoncelli SPIE 2015], the interest of the presented analytic results and numerical methods transcend the particular model because of the ubiquity of the linear-nonlinear structure. Part of this material was presented at MODVIS 2016 (see slides of the conference talk in the appendix at the end of this document).


title: Tunable two-dimensional electron gas at the surface of thermoelectric material In$_4$Se$_3$

abstract: We report the discovery of two-dimensional electron gas (2DEG) at the surface of thermoelectric material In$_4$Se$_3$ by angle-resolved photoemission spectroscopy. The observed 2DEG exhibits a nearly isotropic band dispersion with a considerably small effective mass of m* = 0.16 m_0, and its carrier density shows a significant temperature dependence, leading to unconventional metal-semiconductor transition at the surface. The observed wide-range thermal tunability of 2DEG in In$_4$Se$_3$ gives rise to additional degrees of freedom to better control the surface carriers of semiconductors.


title: Experimental observation and computational analysis of striations in electronegative capacitively coupled radio-frequency plasmas

abstract: Self-organized spatial structures in the light emission from the ion-ion capacitive RF plasma of a strongly electronegative gas (CF4) are observed experimentally for the first time. Their formation is analyzed and understood based on particle-based kinetic simulations. These "striations" are found to be generated by the resonance between the driving radio-frequency and the eigenfrequency of the ion-ion plasma (derived from an analytical model) that establishes a modulation of the electric field, the ion densities, as well as the energy gain and loss processes of electrons in the plasma. The growth of the instability is followed by the numerical simulations.


title: Causes of Irregular Energy Density in $f(R,T)$ Gravity

abstract: We investigate irregularity factors for a self-gravitating spherical star evolving in the presence of imperfect fluid. We explore the gravitational field equations and the dynamical equations with the systematic construction in $f(R,T)$ gravity, where $T$ is the trace of the energy-momentum tensor. Furthermore, we analyze two well-known differential equations (which occupy principal importance in the exploration of causes of energy density inhomogeneities) with the help of the Weyl tensor and the conservation laws. The irregularity factors for a spherical star are examined for particular cases of dust, isotropic and anisotropic fluids in dissipative and non-dissipative regimes in the framework of $f(R,T)$ gravity. It is found that as the complexity in the matter with the anisotropic stresses increases, the inhomogeneity factor has more correspondences to one of the structure scalars.


title: Observation of non-classical correlations in sequential measurements of photon polarization

abstract: A sequential measurement of two non-commuting quantum observables results in a joint probability distribution for all output combinations that can be explained in terms of an initial joint quasi-probability of the non-commuting observables, modified by the resolution errors and back-action of the initial measurement. Here, we show that the error statistics of a sequential measurement of photon polarization performed at different measurement strengths can be described consistently by an imaginary correlation between the statistics of resolution and back-action. The experimental setup was designed to realize variable strength measurements with well-controlled imaginary correlation between the statistical errors caused by the initial measurement of diagonal polarizations, followed by a precise measurement of the horizontal/vertical polarization. We perform the experimental characterization of an elliptically polarized input state and show that the same complex joint probability distribution is obtained at any measurement strength.


title: A naive procedure for computing angular spheroidal functions

abstract: An algorithm for computing eigenvalues and eigenfunctions of the angular spheroidal wave equation, based on a known but scarcely used method, is developed. By requiring the regularity of the wave function, represented by its series expansion, the eigenvalues appear as the zeros of a one variable function easily computable. The iterative extended Newton method is suggested as especially suitable for determining those zeros. The computation of the eigenfunctions is then immediate. The usefulness of the method, applicable also in the case of complex values of the "prolateness" parameter, is illustrated by comparing its results with those of procedures used by other authors.


title: Worldline approach for numerical computation of electromagnetic Casimir energies. I. Scalar field coupled to magnetodielectric media

abstract: We present a worldline method for the calculation of Casimir energies for scalar fields coupled to magnetodielectric media. The scalar model we consider may be applied in arbitrary geometries, and it corresponds exactly to one polarization of the electromagnetic field in planar layered media. Starting from the field theory for electromagnetism, we work with the two decoupled polarizations in planar media and develop worldline path integrals, which represent the two polarizations separately, for computing both Casimir and Casimir-Polder potentials. We then show analytically that the path integrals for the transverse-electric (TE) polarization coupled to a dielectric medium converge to the proper solutions in certain special cases, including the Casimir-Polder potential of an atom near a planar interface, and the Casimir energy due to two planar interfaces. We also evaluate the path integrals numerically via Monte-Carlo path-averaging for these cases, studying the convergence and performance of the resulting computational techniques. While these scalar methods are only exact in particular geometries, they may serve as an approximation for Casimir energies for the vector electromagnetic field in other geometries.


title: Mapping and Localization from Planar Markers

abstract: Squared planar markers are a popular tool for fast, accurate and robust camera localization, but its use is frequently limited to a single marker, or at most, to a small set of them for which their relative pose is known beforehand. Mapping and localization from a large set of planar markers is yet a scarcely treated problem in favour of keypoint-based approaches. However, while keypoint detectors are not robust to rapid motion, large changes in viewpoint, or significant changes in appearance, fiducial markers can be robustly detected under a wider range of conditions. This paper proposes a novel method to simultaneously solve the problems of mapping and localization from a set of squared planar markers. First, a quiver of pairwise relative marker poses is created, from which an initial pose graph is obtained. The pose graph may contain small pairwise pose errors, that when propagated, leads to large errors. Thus, we distribute the rotational and translational error along the basis cycles of the graph so as to obtain a corrected pose graph. Finally, we perform a global pose optimization by minimizing the reprojection errors of the planar markers in all observed frames. The experiments conducted show that our method performs better than Structure from Motion and visual SLAM techniques.


title: Equidistribution of curves in homogeneous spaces and Dirichlet's approximation theorem for matrices

abstract: In this paper, we study an analytic curve $\varphi: I=[a,b]\rightarrow \mathrm{M}(m\times n, \mathbb{R})$ in the space of $m$ by $n$ real matrices, and show that if $\varphi$ satisfies certain geometric condition, then for almost every point on the curve, the Diophantine approximation given by Dirichlet's Theorem can not be improved. To do this, we embed the curve into some homogeneous space $G/\Gamma$, and prove that under the action of some expanding diagonal subgroup $A= \{a(t): t \in \mathbb{R}\}$, the translates of the curve tend to be equidistributed in $G/\Gamma$, as $t \rightarrow +\infty$.


title: Using almetrics for contextualised mapping of societal impact: From hits to networks

abstract: In this article, we develop a method that uses altmetric data to analyse researchers' interactions, as a way of mapping the contexts of potential societal impact. In the face of an increasing policy demand for quantitative methodologies to assess societal impact, social media data (altmetrics) has been presented as a potential method to capture broader forms of impact. However, current altmetric indicators were extrapolated from traditional citation approaches and are seen as problematic for assessing societal impact. In contrast, established qualitative methodologies for societal impact assessment are based on interaction approaches. These argue that assessment should focus on mapping the contexts in which engagement among researchers and stakeholders take place, as a means to understand the pathways to societal impact. Following these approaches, we propose to shift the use of altmetric data towards network analysis of researchers and stakeholders. We carry out two case studies, analysing researchers' networks with Twitter data. The comparison illustrates the potential of Twitter networks to capture disparate degrees of policy engagement. We propose that this mapping method can be used as an input within broader methodologies in case studies of societal impact assessment.


title: Thermal expansion and magneto-volume studies of the itinerant helical magnet MnSi

abstract: Thermal expansion and forced magnetostriction of MnSi were measured as a function of temperature down to 5 K and magnetic field to 3 T. The small length (volume) discontinuity at the magnetic phase transition in MnSi decreases with application of magnetic field to a value $\Delta L/L \sim 10^{-7}$, and then suddenly the discontinuity seemingly jumps to zero. Thermal expansivity peaks strongly deteriorate with magnetic fields. No specific features identifying a tricritical point were observed. We propose that the Frenkel concept of heterophase fluctuations may be relevant in the current case. Therefore, we suggest that the magnetic phase transition in MnSi always remains first order at any temperature and magnetic field, but the transition is progressively smoothed by heterophase fluctuations. These results question the applicability of a model of a fluctuation-induced first order phase transition for MnSi. Probably a model of coupling of an order parameter with other degrees of freedom is more appropriate.


title: Tracing scientific mobility of Early Career Researchers in Spain and The Netherlands through their publications

abstract: International scientific mobility is acknowledged to be a key mechanism for the diffusion of knowledge, particularly tacit or 'sticky' knowledge that cannot be transferred without geographical proximity and personal contact, for the incorporation of young researchers into elite transnational scientific networks, and for accessing additional resources or infrastructures that are essential to the research process but located in other places. The inadequacy and lack of appropriate data to assess the phenomenon of researcher mobility has been repeatedly pointed out by scholars and policy makers. This paper presents an exploratory analysis of different typologies of researchers according to their traceable mobility using scientific publications covered in the Web of Science (WoS). We compare two populations of researchers, of the same 'scientific age', based in Spain and The Netherlands. We observe differences in the degree of mobility of Spain and Netherlands based researchers. Factors associated with the different institutional conditions characterizing the two national systems need to be taken into account. First, the Spanish and Dutch university and research systems are different in many ways. Second, there may be very different institutional incentives for mobility in the two systems. More sophisticated bibliometric analyses and comparisons with different 'generations' of researchers, possibly combined with qualitative investigation, will be required to better understand the role and function of national institutional context in both research mobility and research careers.


title: Fibrations and log-symplectic structures

abstract: Log-symplectic structures are Poisson structures $\pi$ on $X^{2n}$ for which $\bigwedge^n \pi$ vanishes transversally. By viewing them as symplectic forms in a Lie algebroid, the $b$-tangent bundle, we use symplectic techniques to obtain existence results for log-symplectic structures on total spaces of fibration-like maps. More precisely, we introduce the notion of a $b$-hyperfibration and show that they give rise to log-symplectic structures. Moreover, we link log-symplectic structures to achiral Lefschetz fibrations and folded-symplectic structures.


title: CaMKII activation supports reward-based neural network optimization through Hamiltonian sampling

abstract: Synaptic plasticity is implemented and controlled through over thousand different types of molecules in the postsynaptic density and presynaptic boutons that assume a staggering array of different states through phosporylation and other mechanisms. One of the most prominent molecule in the postsynaptic density is CaMKII, that is described in molecular biology as a "memory molecule" that can integrate through auto-phosporylation Ca-influx signals on a relatively large time scale of dozens of seconds. The functional impact of this memory mechanism is largely unknown. We show that the experimental data on the specific role of CaMKII activation in dopamine-gated spine consolidation suggest a general functional role in speeding up reward-guided search for network configurations that maximize reward expectation. Our theoretical analysis shows that stochastic search could in principle even attain optimal network configurations by emulating one of the most well-known nonlinear optimization methods, simulated annealing. But this optimization is usually impeded by slowness of stochastic search at a given temperature. We propose that CaMKII contributes a momentum term that substantially speeds up this search. In particular, it allows the network to overcome saddle points of the fitness function. The resulting improved stochastic policy search can be understood on a more abstract level as Hamiltonian sampling, which is known to be one of the most efficient stochastic search methods.


title: Onset of anomalous diffusion from local motion rules

abstract: Anomalous diffusion processes, in particular superdiffusive ones, are known to be efficient strategies for searching and navigation by animals and also in human mobility. One way to create such regimes are L\'evy flights, where the walkers are allowed to perform jumps, the "flights", that can eventually be very long as their length distribution is asymptotically power-law distributed. In our work, we present a model in which walkers are allowed to perform, on a 1D lattice, "cascades" of $n$ unitary steps instead of one jump of a randomly generated length, as in the L\'evy case, where $n$ is drawn from a cascade distribution $p_n$. We show that this local mechanism may give rise to superdiffusion or normal diffusion when $p_n$ is distributed as a power law. We also introduce waiting times that are power-law distributed as well and therefore the probability distribution scaling is steered by the two PDF's power-law exponents. As a perspective, our approach may engender a possible generalization of anomalous diffusion in context where distances are difficult to define, as in the case of complex networks, and also provide an interesting model for diffusion in temporal networks.


title: Thermal Relic Dark Matter Beyond the Unitarity Limit

abstract: We discuss a simple model of thermal relic dark matter whose mass can be much larger than the so-called unitarity limit on the mass of point-like particle dark matter. The model consists of new strong dynamics with one flavor of fermions in the fundamental representation which is much heavier than the dynamical scale of the new strong dynamics. Dark matter is identified with the lightest baryonic hadron of the new dynamics. The baryonic hadrons annihilate into the mesonic hadrons of the new strong dynamics when they have large radii. Resultantly, thermal relic dark matter with a mass in the PeV range is possible.


title: The Mathematical Intelligencer flunks the Olympics

abstract: The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev's claims concerning his purported Infinity computer. We compare his grossone system with the classical Levi-Civita fields and with the hyperreal framework of A. Robinson, and analyze the related algorithmic issues inevitably arising in any genuine computer implementation. We show that Sergeyev's grossone system is unnecessary and vague, and that whatever consistent subsystem could be salvaged is subsumed entirely within a stronger and clearer system (IST). Lou Kauffman, who published an article on a grossone, places it squarely outside the historical panorama of ideas dealing with infinity and infinitesimals.


title: An Alternating Qubit Protocol and Its Correctness Checking

abstract: In this paper, a quantum version of classical alternating bit protocol is proposed. This protocol provides a reliable method to transmit the secret quantum data via a noisy quantum channel while the entanglement between particles is not broken. Our protocol is based on quantum teleportation and superdense coding. By assuming that the participants can distinguish the alternating qubit from other messages and also the assumption that data can be resent unlimited times, an abstraction of this protocol can be derived. Using the quantum process algebra \textit{full} $qACP$, we show that the proposed protocol is correct, so the desired external behaviour of the protocol is guaranteed.


title: Are there two types of pulsars?

abstract: In order to investigate the importance of dissipation in the pulsar magnetosphere we decided to combine Force-Free with Aristotelian Electrodynamics. We obtain solutions that are ideal (non-dissipative) everywhere except in an equatorial current sheet where Poynting flux from both hemispheres converges and is dissipated into particle acceleration and radiation. We find significant dissipative losses (up to about 50% of the pulsar spindown luminosity), similar to what is found in global PIC simulations in which particles are provided only on the stellar surface. We conclude that there might indeed exist two types of pulsars, strongly dissipative ones with particle injection only from the stellar surface, and ideal (weakly dissipative) ones with particle injection in the outer magnetosphere and in particular at the Y-point.


title: A review of quantum collision dynamics in Debye plasmas

abstract: Hot, dense plasmas exhibit screened Coulomb interactions, resulting from the collective effects of correlated many-particle interactions. In the lowest particle correlation order (pair-wise correlations), the interaction between charged plasma particles reduces to the Debye-H\"uckel (Yukawa-type) potential, characterized by the Debye screening length D. Due to the importance of Coulomb interaction screening in dense laboratory and astrophysical plasmas, hundreds of theoretical investigations have been carried out in the past few decades on the plasma screening effects on the electronic structure of atoms and their collision processes employing the Debye-H\"uckel screening model. The present article aims at providing a comprehensive review of the recent studies in atomic physics in Debye plasmas. Specifically, the work on atomic electronic structure, photon excitation and ionization, electron/positron impact excitation and ionization, and excitation, ionization and charge transfer of ion-atom/ion collisions will be reviewed.


title: A fixed contact angle condition for varifolds

abstract: We define a generalized fixed contact angle condition for $n$-varifold and establish a boundary monotonicity formula. The results are natural generalizations of those for the Neumann boundary condition considered by Gr\"uter-Jost.


title: Substitutional 4d and 5d Impurities in Graphene

abstract: We describe the structural and electronic properties of graphene doped with substitutional impurities of 4d and 5d transition metals. The binding energy and distances for 4d and 5d metals in graphene show similar trends for the later groups in the periodic table, which is also well-known characteristic of 3d elements. However, along earlier groups the 4d impurities in graphene show very similar binding energies, distances and magnetic moments to 5d ones, which can be related to the influence of the 4d and 5d lanthanide contraction. Surprisingly, within the manganese group, the total magnetic moment of 3$\mu_{B}$ for manganese is reduced to 1$\mu_{B}$ for technetium and rhenium. We find that with compared with 3d elements, the larger size of the 4d and 5d elements causes a high degree hybridization with the neighbouring carbon atoms, reducing spin splitting in the d levels. It seems that the magnetic adjustment of graphene could be significantly different is 4d or 5d impurities are used instead of 3d impurities.


title: Multiview Rectification of Folded Documents

abstract: Digitally unwrapping images of paper sheets is crucial for accurate document scanning and text recognition. This paper presents a method for automatically rectifying curved or folded paper sheets from a few images captured from multiple viewpoints. Prior methods either need expensive 3D scanners or model deformable surfaces using over-simplified parametric representations. In contrast, our method uses regular images and is based on general developable surface models that can represent a wide variety of paper deformations. Our main contribution is a new robust rectification method based on ridge-aware 3D reconstruction of a paper sheet and unwrapping the reconstructed surface using properties of developable surfaces via $\ell_1$ conformal mapping. We present results on several examples including book pages, folded letters and shopping receipts.


title: Purcell-enhanced single-photon emission from nitrogen-vacancy centers coupled to a tunable microcavity

abstract: Optical microcavities are a powerful tool to enhance spontaneous emission of individual quantum emitters. However, the broad emission spectra encountered in the solid state at room temperature limit the influence of a cavity, and call for ultra-small mode volume. We demonstrate Purcell-enhanced single photon emission from nitrogen-vacancy (NV) centers in nanodiamonds coupled to a tunable fiber-based microcavity with a mode volume down to $1.0\,\lambda^{3}$. We record cavity-enhanced fluorescence images and study several single emitters with one cavity. The Purcell effect is evidenced by enhanced fluorescence collection, as well as tunable fluorescence lifetime modification, and we infer an effective Purcell factor of up to 2.0. With numerical simulations, we furthermore show that a novel regime for light confinement can be achieved, where a Fabry-Perot mode is combined with additional mode confinement by the nanocrystal itself. In this regime, effective Purcell factors of up to 11 for NV centers and 63 for silicon vacancy centers are feasible, holding promise for bright single photon sources and efficient spin readout under ambient conditions.


title: Testing dark energy models with $H(z)$ data

abstract: $Om(z)$ is a diagnostic approach to distinguish dark energy models. However, there are few articles to discuss what is the distinguishing criterion. In this paper, firstly we smooth the latest observational $H(z)$ data using a model-independent method -- Gaussian processes, and then reconstruct the $Om(z)$ and its fist order derivative $\mathcal{L}^{(1)}_m$. Such reconstructions not only could be the distinguishing criteria, but also could be used to estimate the authenticity of models. We choose some popular models to study, such as $\Lambda$CDM, generalized Chaplygin gas (GCG) model, Chevallier-Polarski-Linder (CPL) parametrization and Jassal-Bagla-Padmanabhan (JBP) parametrization. We plot the trajectories of $Om(z)$ and $\mathcal{L}^{(1)}_m$ with $1 \sigma$ confidence level of these models, and compare them to the reconstruction from $H(z)$ data set. The result indicates that the $H(z)$ data does not favor the CPL and JBP models at $1 \sigma$ confidence level. Strangely, in high redshift range, the reconstructed $\mathcal{L}^{(1)}_m$ has a tendency of deviation from theoretical value, which demonstrates these models are disagreeable with high redshift $H(z)$ data. This result supports the conclusions of Sahni et al. \citep{sahni2014model} and Ding et al. \citep{ding2015there} that the $\Lambda$CDM may not be the best description of our universe.


title: Parked Cars are Excellent Roadside Units

abstract: A comprehensive implementation of the envisioned traffic safety and efficiency applications of the IEEE 802.11p and WAVE standards assume the premise of the use of DSRC technology both as on-board units (OBUs) and as Roadside Units (RSUs). The high cost associated with RSUs, however, has so far prevented massive deployment of RSUs. Finding alternative solutions to this longstanding problem is therefore very important. In this paper, we propose a self-organizing network approach to using parked cars in urban areas as RSUs. This self-organizing network approach enables parked cars to create coverage maps based on received signal strength and make important decisions, such as if and when a parked car should serve as an RSU. Our results show the feasibility and cost-effectiveness of the proposed approach, which is able to provide excellent coverage using only a small fraction of the cars parked in a city.


title: Inscription of 3D waveguides in diamond using an ultrafast laser

abstract: Three dimensional waveguides within the bulk of diamond are manufactured using ultrafast laser fabrication. High intensities within the focal volume of the laser cause breakdown of the diamond into a graphitic phase leading to a stress induced refractive index change in neighboring regions. Type II waveguiding is thus enabled between two adjacent graphitic tracks, but supporting just a single polarization state. We show that adaptive aberration correction during the laser processing allows the controlled fabrication of more complex structures beneath the surface of the diamond which can be used for 3D waveguide splitters and Type III waveguides which support both polarizations.


title: Compact multiplication operators on nest algebras

abstract: Let N be a nest on a Hilbert space H and AlgN the corresponding nest algebra. We obtain a characterization of the compact and weakly compact multiplication operators defined on nest algebras. This characterization leads to a description of the closed ideal generated by the compact elements of AlgN . We also show that there is no non-zero weakly compact multiplication operator on AlgN / (AlgN $\cap$ K(H)).


title: Classification of extinction profiles for a one-dimensional diffusive hamilton-jacobi equation with critical absorption

abstract: A classification of the behavior of the solutions $f(\cdot,a)$ to the ordinary differential equation $(|f'|^{p-2} f')' + f - |f'|^{p-1} = 0$ in $(0,\infty)$ with initial condition $f(0,a)=a$ and $f'(0,a)=0$ is provided, according to the value of the parameter $a>0$, the exponent $p$ ranging in $(1,2)$. There is a threshold value $a_*$ which separates different behaviors of $f(\cdot,a)$: if $a>a_*$ then $f(\cdot,a)$ vanishes at least once in $(0,\infty)$ and takes negative values while $f(\cdot,a)$ is positive in $(0,\infty)$ and decays algebraically to zero as $r\to\infty$ if $a\in (0,a_*)$. At the threshold value, $f(\cdot,a_*)$ is also positive in $(0,\infty)$ but decays exponentially fast to zero as $r\to\infty$. The proof of these results relies on a transformation to a first-order ordinary differential equation and a monotonicity property with respect to $a>0$. This classification is one step in the description of the dynamics near the extinction time of a diffusive Hamilton-Jacobi equation with critical gradient absorption and fast diffusion.


title: Solvable Chaotic Synchronization -A New Interpretation of Common Noise-induced Synchronization with Conditional Lyapunov Exponents-

abstract: We show the first solvable chaotic synchronization model of unidirectionally coupled dynamical systems. We establish a new interpretation of the conditional Lyapunov exponent that characterizes chaotic synchronization completely. Moreover, we newly show how the conditional Lyapunov exponent relates to common noise-induced synchronization phenomena by the new interpretation.


title: Singular Hermitian metrics and positivity of direct images of pluricanonical bundles

abstract: This is an expository article. In the first part we recall the definition and a few results concerning singular Hermitian metrics on torsion-free coherent sheaves. They offer the perfect platform for the study of properties of direct images of twisted pluricanonical bundles which we will survey in the second part.


title: Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets

abstract: We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, we show that the expected reward of a complete execution of the PWN is independent of the scheduler. Extending previous work on reduction of non-probabilistic workflow nets, we present reduction rules that preserve the expected reward. The rules lead to a polynomial-time algorithm in the size of the PWN (not of the Markov decision process) for the computation of the expected reward. In contrast, since the Markov decision process of PWN can be exponentially larger than the PWN itself, all algorithms based on constructing the Markov decision process require exponential time. We report on a sample implementation and its performance on a collection of benchmarks.


title: Large time monotonicity of solutions of reaction-diffusion equations in R^N

abstract: In this paper, we consider nonnegative solutions of spatially heterogeneous Fisher-KPP type reaction-diffusion equations in the whole space. Under some assumptions on the initial conditions, including in particular the case of compactly supported initial conditions, we show that, above any arbitrary positive value, the solution is increasing in time at large times. Furthermore, in the one-dimensional case, we prove that, if the equation is homogeneous outside a bounded interval and the reaction is linear around the zero state, then the solution is time-increasing in the whole line at large times. The question of the monotonicity in time is motivated by a medical imagery issue.


title: The formation conditions of enstatite chondrites: Insights from trace element geochemistry of olivine-bearing chondrules in Sahara 97096 (EH3)

abstract: We report in situ LA-ICP-MS trace element analyses of silicate phases in olivine-bearing chondrules in the Sahara 97096 (EH3) enstatite chondrite. Most olivine and enstatite present rare earth element (REE) patterns comparable to their counterparts in type I chondrules in ordinary chondrites. They thus likely share a similar igneous origin, likely under similar redox conditions. The mesostasis however frequently shows negative Eu and/or Yb (and more rarely Sm) anomalies, evidently out of equilibrium with olivine and enstatite. We suggest that this reflects crystallization of oldhamite during a sulfidation event, already inferred by others, during which the mesostasis was molten, where the complementary positive Eu and Yb anomalies exhibited by oldhamite would have possibly arisen due to a divalent state of these elements. Much of this igneous oldhamite would have been expelled from the chondrules, presumably by inertial acceleration or surface tension effects, and would have contributed to the high abundance of opaque nodules found outside them in EH chondrites. In two chondrules, olivine and enstatite exhibit negatively sloped REE patterns, which may be an extreme manifestation of a general phenomenon (possibly linked to near-liquidus partitioning) underlying the overabundance of light REE observed in most chondrule silicates relative to equilibrium predictions. The silicate phases in one of these two chondrules show complementary Eu, Yb and Sm anomalies providing direct evidence for the postulated occurrence of the divalent state for these elements at some stage in the formation reservoir of enstatite chondrites. Our work supports the idea that the peculiarities of enstatite chondrites may not require a condensation sequence at high C/O ratios as has long been believed.


title: Enhanced optical squeezing from a degenerate parametric amplifier via time-delayed coherent feedback

abstract: A particularly simple setup is introduced to study the influence of time-delayed coherent feedback on the optical squeezing properties of the degenerate parametric amplifier (DPA). The possibility for significantly enhanced squeezing is demonstrated both on resonance and in sidebands, at a reduced pump power compared to the case without feedback. We study a broad range of operating parameters and their influence on the characteristic squeezing of the system. A classical analysis of the system dynamics reveals the connection between the feedback-modified landscape of stability and enhanced squeezing.


title: Exact partition functions for the $\Omega$-deformed $\mathcal N=2^{*}$ $SU(2)$ gauge theory

abstract: We study the low energy effective action of the $\Omega$-deformed $\mathcal N =2^{*}$ $SU(2) $ gauge theory. It depends on the deformation parameters $\epsilon_{1},\epsilon_{2}$, the scalar field expectation value $a$, and the hypermultiplet mass $m$. We explore the plane $(\frac{m}{\epsilon_{1}}, \frac{\epsilon_{2}}{\epsilon_{1}})$ looking for special features in the multi-instanton contributions to the prepotential, motivated by what happens in the Nekrasov-Shatashvili limit $\epsilon_{2}\to 0$. We propose a simple condition on the structure of poles of the $k$-instanton prepotential and show that it is admissible at a finite set of points in the above plane. At these special points, the prepotential has poles at fixed positions independent on the instanton number. Besides and remarkably, both the instanton partition function and the full prepotential, including the perturbative contribution, may be given in closed form as functions of the scalar expectation value $a$ and the modular parameter $q$ appearing in special combinations of Eisenstein series and Dedekind $\eta$ function. As a byproduct, the modular anomaly equation can be tested at all orders at these points. We discuss these special features from the point of view of the AGT correspondence and provide explicit toroidal 1-blocks in non-trivial closed form. The full list of solutions with 1, 2, 3, and 4 poles is determined and described in details.


title: Cosmology and Fundamental Physics with the Euclid Satellite

abstract: Euclid is a European Space Agency medium class mission selected for launch in 2020 within the Cosmic Vision 2015 2025 program. The main goal of Euclid is to understand the origin of the accelerated expansion of the universe. Euclid will explore the expansion history of the universe and the evolution of cosmic structures by measuring shapes and redshifts of galaxies as well as the distribution of clusters of galaxies over a large fraction of the sky. Although the main driver for Euclid is the nature of dark energy, Euclid science covers a vast range of topics, from cosmology to galaxy evolution to planetary research. In this review we focus on cosmology and fundamental physics, with a strong emphasis on science beyond the current standard models. We discuss five broad topics: dark energy and modified gravity, dark matter, initial conditions, basic assumptions and questions of methodology in the data analysis. This review has been planned and carried out within Euclid's Theory Working Group and is meant to provide a guide to the scientific themes that will underlie the activity of the group during the preparation of the Euclid mission.


title: The formation of well-defined crystalline structures by UV laser irradiation of amorphous silicon films

abstract: This study provides a new insight into the processes which occur when thin film hydrogenated amorphous silicon is subjected to UV laser irradiation in the presence of oxygen. It achieves this by observing the effects of subjecting the films to progressively increasing laser radiation doses. This reveals that an array of nuclei is first created, leading to the formation of a well-defined crystalline network, consistent with the structure of silicon oxide. Further irradiation results in the formation of cone-like structures on the crystalline network, due to silicon-oxygen bond breakage and migration of the resultant silicon-rich material. Eventually the cone-like structures become the dominant features, but remain interconnected by nanowire remnants of the original crystalline structure.


title: On the Troll-Trust Model for Edge Sign Prediction in Social Networks

abstract: In the problem of edge sign prediction, we are given a directed graph (representing a social network), and our task is to predict the binary labels of the edges (i.e., the positive or negative nature of the social relationships). Many successful heuristics for this problem are based on the troll-trust features, estimating at each node the fraction of outgoing and incoming positive/negative edges. We show that these heuristics can be understood, and rigorously analyzed, as approximators to the Bayes optimal classifier for a simple probabilistic model of the edge labels. We then show that the maximum likelihood estimator for this model approximately corresponds to the predictions of a Label Propagation algorithm run on a transformed version of the original social graph. Extensive experiments on a number of real-world datasets show that this algorithm is competitive against state-of-the-art classifiers in terms of both accuracy and scalability. Finally, we show that troll-trust features can also be used to derive online learning algorithms which have theoretical guarantees even when edges are adversarially labeled.


title: The classification of 3-dimensional noetherian cubic Calabi-Yau algebras

abstract: It is known that every 3-dimensional noetherian Calabi-Yau algebra generated in degree 1 is isomorphic to a Jacobian algebra of a superpotential. Recently, S. P. Smith and the first author classified all superpotentials whose Jacobian algebras are 3-dimensional noetherian quadratic Calabi-Yau algebras. The main result of this paper is to classify all superpotentials whose Jacobian algebras are 3-dimensional noetherian cubic Calabi-Yau algebras. As an application, we show that if $S$ is a 3-dimensional noetherian cubic Calabi-Yau algebra and $\sigma$ is a graded algebra automorphism of $S$, then the homological determinant of $\sigma$ can be calculated by the formula $\operatorname{hdet} \sigma=(\operatorname{det} \sigma)^2$ with one exception.


title: The Most Bound Halo Particle-Galaxy Correspondence Model: Comparison between Models with Different Merger Timescales

abstract: We develop a galaxy assignment scheme that populates dark matter halos with galaxies by tracing the most bound member particles (MBPs) of simulated halos. Several merger-timescale models based on analytic calculations and numerical simulations are adopted as the survival time of mock satellite galaxies. We build mock galaxy samples from halo merger data of the Horizon Run 4 $N$-body simulation from $z = 12-0$. We compare group properties and two-point correlation functions (2pCFs) of mock galaxies with those of volume-limited SDSS galaxies, with $r$-band absolute magnitudes of $\mathcal{M}_r - 5 \log h < -21$ and $-20$ at $z=0$. It is found that the MBP-galaxy correspondence scheme reproduces the observed population of SDSS galaxies in massive galaxy groups ($M > 10^{14} h^{-1} M_{\odot}$) and the small-scale 2pCF ($r_{\rm p} < 10 h^{-1} {\rm Mpc}$) quite well for the majority of the merger timescale models adopted. The new scheme outperforms the previous subhalo-galaxy correspondence scheme by more than $2\sigma$.


title: A Survey on Learning to Hash

abstract: Nearest neighbor search is a problem of finding the data points from the database such that the distances from them to the query point are the smallest. Learning to hash is one of the major solutions to this problem and has been widely studied recently. In this paper, we present a comprehensive survey of the learning to hash algorithms, categorize them according to the manners of preserving the similarities into: pairwise similarity preserving, multiwise similarity preserving, implicit similarity preserving, as well as quantization, and discuss their relations. We separate quantization from pairwise similarity preserving as the objective function is very different though quantization, as we show, can be derived from preserving the pairwise similarities. In addition, we present the evaluation protocols, and the general performance analysis, and point out that the quantization algorithms perform superiorly in terms of search accuracy, search time cost, and space cost. Finally, we introduce a few emerging topics.


title: The Internal Polya Inequality for $\mathbb{C}$-convex Domains in $\mathbb{C}^n$

abstract: Let $K\subset \mathbb{C}$ be a polynomially convex compact set, $f$ be a function analytic in a domain $\overline{\mathbb{C}}\smallsetminus K$ with Taylor expansion $f\left( z\right) =\sum_{k=0}^{\infty }\frac{a_{k}}{z^{k+1}} $ at $\infty $, and $H_{s}\left( f\right) :=\det \left( a_{k+l}\right) _{k,l=0}^{s}$ related Hankel determinants. The classical Polya theorem \cite% {P} says that \[ \limsup_{s\rightarrow \infty }\left\vert H_{s}\left( f\right) \right\vert ^{1/s^{2}}\leq d\left( K\right) , \]% where $d\left( K\right) $ is the transfinite diameter of $K$. The main result of this paper is multivariate internal analogs of Polya's inequality for $\mathbb{C}$-convex (=strictly linearly convex) domains $D\subset \mathbb{C}^{n}$ and weighted Hankel-type determinants, constructed from the Taylor coefficients of a function $f\in A\left( D\right) $ at a given point $% a\in D$; therewith the weights are generated by $s$-indicatrices of the sequence of analytic functionals biorthogonal to the system of monomials in $% \mathbb{C}^{n}$. It is proved by the reduction to the outer multivariate analog of Polya's inequality (Zakharyuta, Math. USSR Sbornik, \textbf{25 }% (1975)) and is based on the characterization of the strict linear convexity in terms of $s$-indicatrices (S. Znamenskii, Siberian Math. J. \textbf{26 } (1985)).


title: Robust Principal Component Analysis in Hilbert spaces

abstract: We propose a stable version of Principal Component Analysis (PCA) in the general framework of a separable Hilbert space. It consists in interpreting the projection on the first eigenvectors as a step function applied to the spectrum of the covariance operator and in replacing it with a smooth cut-off of the eigenvalues. We study the problem from a statistical point of view, so that we assume that we do not have direct access to the covariance operator but we have to estimate it from an i.i.d. sample. We provide some results on the quality of the approximation of our spectral cut-off in terms of the quality of the approximation of the eigenvalues of the covariance operator.


title: Strongly correlated Fermi superfluid near an orbital Feshbach resonance: Stability, equation of state and Leggett mode

abstract: We theoretically study the superfluid phase of a strongly correlated $^{173}$Yb Fermi gas near its orbital Feshbach resonance, by developing a quantitative pair-fluctuation theory within a two-band model. We examine the density excitation spectrum of the system and determine a stability phase diagram. We find that the $^{173}$Yb Fermi gas is intrinsically metastable and has a peculiar equation of state, due to the small but positive singlet scattering length. The massive Leggett mode, arising from the fluctuation of the relative phase of two order parameters, is severely damped. We discuss the parameter space where an undamped Leggett mode may exist.


title: Neural Network Translation Models for Grammatical Error Correction

abstract: Phrase-based statistical machine translation (SMT) systems have previously been used for the task of grammatical error correction (GEC) to achieve state-of-the-art accuracy. The superiority of SMT systems comes from their ability to learn text transformations from erroneous to corrected text, without explicitly modeling error types. However, phrase-based SMT systems suffer from limitations of discrete word representation, linear mapping, and lack of global context. In this paper, we address these limitations by using two different yet complementary neural network models, namely a neural network global lexicon model and a neural network joint model. These neural networks can generalize better by using continuous space representation of words and learn non-linear mappings. Moreover, they can leverage contextual information from the source sentence more effectively. By adding these two components, we achieve statistically significant improvement in accuracy for grammatical error correction over a state-of-the-art GEC system.


title: The Development of Elementary Quantum Theory from 1900 to 1927

abstract: Planck's introduction of the quantum of action in 1900 was followed by 25 years of trial and error in quest of the understanding of the quantum world; different ideas and directions had to be pursued until the path leading to the elementary quantum theory was discovered. Radical changes away from traditional perceptions about natural phenomena were necessary, the entire system of basic concepts in classical physics had to be abandoned and replaced by a new mode of thought. Continuity and determinism of classical laws were no longer applicable on the quantum scale, where dynamical behaviour proceeds by discontinuous and statistical quantum transitions. Albert Einstein laid the essential foundations for the new concept; Max Born made the decisive step further leading to the breakthrough in 1925. The development of the ideas, which eventually resulted in the elementary quantum theory in 1925/26, will be described, relying on original publications and letters written during that period in time by the major contributors. The fundamental laws of Quantum Theory derived by Max Born and Pascual Jordan may mathematically be represented in many different ways, and particular emphasis is given to the distinction between physical content and mathematical representation.


title: A Survey of Anticipatory Mobile Networking: Context-Based Classification, Prediction Methodologies, and Optimization Techniques

abstract: A growing trend for information technology is to not just react to changes, but anticipate them as much as possible. This paradigm made modern solutions, such as recommendation systems, a ubiquitous presence in today's digital transactions. Anticipatory networking extends the idea to communication technologies by studying patterns and periodicity in human behavior and network dynamics to optimize network performance. This survey collects and analyzes recent papers leveraging context information to forecast the evolution of network conditions and, in turn, to improve network performance. In particular, we identify the main prediction and optimization tools adopted in this body of work and link them with objectives and constraints of the typical applications and scenarios. Finally, we consider open challenges and research directions to make anticipatory networking part of next generation networks.


title: Reheating the Standard Model from a hidden sector

abstract: We consider a scenario where the inflaton decays to a hidden sector thermally decoupled from the visible Standard Model sector. A tiny portal coupling between the hidden and the visible sectors later heats the visible sector so that the Standard Model degrees of freedom come to dominate the energy density of the Universe before Big Bang Nucleosynthesis. We find that this scenario is viable, although obtaining the correct dark matter abundance and retaining successful Big Bang Nucleosynthesis is not obvious. We also show that the isocurvature perturbations constituted by a primordial Higgs condensate are not problematic for the viability of the scenario.


title: Not dead, just resting: The practical value of per publication citation indicators

abstract: In the final analysis citation-based indicators are inferior to effective peer review and even peer review is flawed. It is impossible to accurately measure the value or impact of scientific research and a key task of scientometricians should be to produce figures for policy makers and others that are as informative as it is practical to make them and to ensure that users are fully aware of their limitations. Although the Abramo and D'Angelo (2016) suggestions make a lot of theoretical sense and so are a goal that is worth aiming for, it is unrealistic in practice to advocate their universal use in the contexts discussed above. This is because the indicators would still have flaws in addition to the generic limitations of citation-based indicators and would still be inadequate for replacing peer review. Thus, the expense of the data gathering does not always justify the value in practice of the extra accuracy. In the longer term, the restructuring of education needed in order to get the homogeneity necessary for genuinely comparable statistics would be too expensive and probably damaging to the research mission, in addition to being out of proportion to the likely value of any citation-based indicator.


title: Discovery of hard phase lags in the pulsed emission of GRO J1744-28

abstract: We report on the discovery and energy dependence of hard phase lags in the 2.14 Hz pulsed profiles of GRO J1744-28. We used data from XMM-Newton and NuSTAR. We were able to well constrain the lag spectrum with respect to the softest (0.3--2.3 keV) band: the delay shows increasing lag values reaching a maximum delay of $\sim$ 12 ms, between 6 and 6.4 keV. After this maximum, the value of the hard lag drops to 7 ms, followed by a recovery to a plateau at 9 ms for energies above 8 keV. NuSTAR data confirm this trend up to 30 keV, but the measurements are statistically poorer, and therefore, less constraining. The lag-energy pattern up to the discontinuity is well described by a logarithmic function. Assuming this is due to a Compton reverberation mechanism, we derive a size for the Compton cloud $R_{\rm{cc}}$ $\sim$ 120 $R_{\rm g}$, consistent with previous estimates on the magnetospheric radius. In this scenario, the sharp discontinuity at $\sim$ 6.5 keV appears difficult to interpret and suggests the possible influence of the reflected component in this energy range. We therefore propose the possible coexistence of both Compton and disk reverberation to explain the scale of the lags and its energy dependence.


title: Self-stabilizing Reconfiguration

abstract: Current reconfiguration techniques are based on starting the system in a consistent configuration, in which all participating entities are in their initial state. Starting from that state, the system must preserve consistency as long as a predefined churn rate of processors joins and leaves is not violated, and unbounded storage is available. Many working systems cannot control this churn rate and do not have access to unbounded storage. System designers that neglect the outcome of violating the above assumptions may doom the system to exhibit illegal behaviors. We present the first automatically recovering reconfiguration scheme that recovers from transient faults, such as temporal violations of the above assumptions. Our self-stabilizing solutions regain safety automatically by assuming temporal access to reliable failure detectors. Once safety is re-established, the failure detector reliability is no longer needed. Still, liveness is conditioned by the failure detector's unreliable signals. We show that our self-stabilizing reconfiguration techniques can serve as the basis for the implementation of several dynamic services over message passing systems. Examples include self-stabilizing reconfigurable virtual synchrony, which, in turn, can be used for implementing a self-stabilizing reconfigurable state-machine replication and self-stabilizing reconfigurable emulation of shared memory.


title: Trust-free verification of steering: why you can't cheat a quantum referee

abstract: It was believed until recently that the verification of quantum entanglement and quantum steering, between two parties, required trust in at least one of the parties and their devices, in contrast to the verification of Bell nonseparability. It has since been shown that this is not the case: the need for trust, in verifying two parties share a given quantum correlation resource, can be replaced by quantum refereeing, in which the referee sends quantum signals rather than classical signals to untrusted parties. The existence of such quantum-refereed games is discussed, with particular emphasis on how they make it impossible for the parties to cheat. The example of a particular quantum-refereed steering game is used to show explicitly how measurement-device independence is achieved via `quantum programming' of untrusted measurement devices; how cheating is prevented by the steered party being unable to distinguish sufficiently well between two sets of nonorthogonal signal states; and that cheating remains impossible when one-way communication is allowed from the steered party to the unsteered party. This game has been recently implemented experimentally, and is of particular interest both in accounting for any imperfections in the referee's preparation of signal states, and in suggesting the future possibility of secure two-sided quantum key distribution with Bell-local states.


title: Collective transport of charges in charge density wave systems based on traveling soliton lattices

abstract: Solitons are peculiar excitations that appear in a wide range of nonlinear systems such as in fluids or optics. We show here that the collective transport of charges observed in charge density wave (CDW) systems can be explained by using a similar theory based on a traveling soliton lattice. Coherent x-ray diffraction experiment performed in the sliding state of a CDW material reveals peculiar diffraction patterns in good agreement with this assumption. Therefore, the collective transport of charges in CDW systems may be due to a nonlinear interaction leading to a self-localized excitation, carrying charges without deformation through the sample, on top of the CDW ground state. This single theory explains why charges remain spatially correlated over very long distances and reconciles the main features of sliding CDW systems, either observed by transport measurements or diffraction.


title: High-precision broad-band linear polarimetry of early-type binaries I. Discovery of variable, phase-locked polarization in HD 48099

abstract: We investigate the structure of the O-type binary system HD 48099 by measuring linear polarization that arises due to light scattering process. Linear polarization measurements of HD 48099 in the B, V and R passbands with the high-precision Dipol-2 polarimeter have been carried out. The data have been obtained with the 60 cm KVA (Observatory Roque de los Muchachos, La Palma, Spain) and T60 (Haleakala, Hawaii, USA) remotely controlled telescopes during 31 observing nights. Polarimetry in the optical wavelengths has been complemented by observations in the X-rays with the SWIFT space observatory. Optical polarimetry revealed small intrinsic polarization in HD 48099 with 0.1% peak to peak variation over the orbital period of 3.08 days. The variability pattern is typical for binary systems, showing strong second harmonic of the orbital period. We apply our model code for the electron scattering in the circumstellar matter to put constraints on the system geometry. A good model fit is obtained for scattering of light on a cloud produced by the colliding stellar winds. The geometry of the cloud, with a broad distribution of scattering particles away from the orbital plane, helps in constraining the (low) orbital inclination. We derive from the polarization data the inclination i = 17 deg +/- 2deg and the longitude of the ascending node Omega = 82 deg +/- 1 deg of the binary orbit. The available X-ray data provide additional evidence for the existence of the colliding stellar winds in the system. Another possible source of the polarized light could be scattering from the stellar photospheres. The models with circumstellar envelopes, or matter confined to the orbital plane, do not provide good constraints on the low inclination, better than i < 27 deg, as is already suggested by the absence of eclipses.


title: Matroid Filtrations and Computational Persistent Homology

abstract: This technical report introduces a novel approach to efficient computation in homological algebra over fields, with particular emphasis on computing the persistent homology of a filtered topological cell complex. The algorithms here presented rely on a novel relationship between discrete Morse theory, matroid theory, and classical matrix factorizations. We provide background, detail the algorithms, and benchmark the software implementation in the Eirene package.


title: A Fast Order-Based Approach for Core Maintenance

abstract: Graphs have been widely used in many applications such as social networks, collaboration networks, and biological networks. One important graph analytics is to explore cohesive subgraphs in a large graph. Among several cohesive subgraphs studied, k-core is one that can be computed in linear time for a static graph. Since graphs are evolving in real applications, in this paper, we study core maintenance which is to reduce the computational cost to compute k-cores for a graph when graphs are updated from time to time dynamically. We identify drawbacks of the existing efficient algorithm, which needs a large search space to find the vertices that need to be updated, and has high overhead to maintain the index built, when a graph is updated. We propose a new order-based approach to maintain an order, called k-order, among vertices, while a graph is updated. Our new algorithm can significantly outperform the state-of-the-art algorithm up to 3 orders of magnitude for the 11 large real graphs tested. We report our findings in this paper.


title: Coulomb dissociation of $^{20,21}$N

abstract: Neutron-rich light nuclei and their reactions play an important role for the creation of chemical elements. Here, data from a Coulomb dissociation experiment on $^{20,21}$N are reported. Relativistic $^{20,21}$N ions impinged on a lead target and the Coulomb dissociation cross section was determined in a kinematically complete experiment. Using the detailed balance theorem, the $^{19}\mathrm{N}(\mathrm{n},\gamma)^{20}\mathrm{N}$ and $^{20}\mathrm{N}(\mathrm{n},\gamma)^{21}\mathrm{N}$ excitation functions and thermonuclear reaction rates have been determined. The $^{19}\mathrm{N}(\mathrm{n},\gamma)^{20}\mathrm{N}$ rate is up to a factor of 5 higher at $T<1$\,GK with respect to previous theoretical calculations, leading to a 10\,\% decrease in the predicted fluorine abundance.


title: OWL: a Reliable Online Watcher for LTE Control Channel Measurements

abstract: Reliable network measurements are a fundamental component of networking research as they enable network analysis, system debugging, performance evaluation and optimization. In particular, decoding the LTE control channel would give access to the full base station traffic at a 1 ms granularity, thus allowing for traffic profiling and accurate measurements. Although a few open-source implementations of LTE are available, they do not provide tools to reliably decoding the LTE control channel and, thus, accessing the scheduling information. In this paper, we present OWL, an Online Watcher for LTE that is able to decode all the resource blocks in more than 99% of the system frames, significantly outperforming existing non-commercial prior decoders. Compared to previous attempts, OWL grounds the decoding procedure on information obtained from the LTE random access mechanism. This makes it possible to run our software on inexpensive hardware coupled with almost any software defined radio capable of sampling the LTE signal with sufficient accuracy.