title: Analysing Soccer Games with Clustering and Conceptors

abstract: We present a new approach for identifying situations and behaviours, which we call "moves", from soccer games in the 2D simulation league. Being able to identify key situations and behaviours are useful capabilities for analysing soccer matches, anticipating opponent behaviours to aid selection of appropriate tactics, and also as a prerequisite for automatic learning of behaviours and policies. To support a wide set of strategies, our goal is to identify situations from data, in an unsupervised way without making use of pre-defined soccer specific concepts such as "pass" or "dribble". The recurrent neural networks we use in our approach act as a high-dimensional projection of the recent history of a situation on the field. Similar situations, i.e., with similar histories, are found by clustering of network states. The same networks are also used to learn so-called conceptors, that are lower-dimensional manifolds that describe trajectories through a high-dimensional state space that enable situation-specific predictions from the same neural network. With the proposed approach, we can segment games into sequences of situations that are learnt in an unsupervised way, and learn conceptors that are useful for the prediction of the near future of the respective situation.


title: The distinguishing number and the distinguishing index of line and graphoidal graphs

abstract: The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a collection $\psi$ of (not necessarily open) paths in $G$ such that every path in $\psi$ has at least two vertices, every vertex of $G$ is an internal vertex of at most one path in $\psi$ and every edge of $G$ is in exactly one path in $\psi$. Let $\Omega(G,\psi)$ denote the intersection graph of $\psi$. A graph $H$ is called a graphoidal graph, if there exists a graph $G$ and a graphoidal cover $\psi$ of $G$ such that $H\cong \Omega (G, \psi)$. In this paper, we study the distinguishing number and the distinguishing index of the line graph and the graphoidal graph of a simple connected graph $G$.


title: Behavior of the squeezing function near h-extendible boundary points

abstract: It is shown that if the squeezing function tends to one at an h-extendible boundary point of a $\mathcal C^\infty$-smooth, bounded pseudoconvex domain, then the point is strictly pseudoconvex.


title: Applying Deep Bidirectional LSTM and Mixture Density Network for Basketball Trajectory Prediction

abstract: Data analytics helps basketball teams to create tactics. However, manual data collection and analytics are costly and ineffective. Therefore, we applied a deep bidirectional long short-term memory (BLSTM) and mixture density network (MDN) approach. This model is not only capable of predicting a basketball trajectory based on real data, but it also can generate new trajectory samples. It is an excellent application to help coaches and players decide when and where to shoot. Its structure is particularly suitable for dealing with time series problems. BLSTM receives forward and backward information at the same time, while stacking multiple BLSTMs further increases the learning ability of the model. Combined with BLSTMs, MDN is used to generate a multi-modal distribution of outputs. Thus, the proposed model can, in principle, represent arbitrary conditional probability distributions of output variables. We tested our model with two experiments on three-pointer datasets from NBA SportVu data. In the hit-or-miss classification experiment, the proposed model outperformed other models in terms of the convergence speed and accuracy. In the trajectory generation experiment, eight model-generated trajectories at a given time closely matched real trajectories.


title: Exploring the dark matter inelastic frontier with 79.6 days of PandaX-II data

abstract: We report here the results of searching for inelastic scattering of dark matter (initial and final state dark matter particles differ by a small mass splitting) with nucleon with the first 79.6-day of PandaX-II data (Run 9). We set the upper limits for the spin independent WIMP-nucleon scattering cross section up to a mass splitting of 300 keV/c$^2$ at two benchmark dark matter masses of 1 and 10 TeV/c$^2$.


title: Ensemble Of Deep Neural Networks For Acoustic Scene Classification

abstract: Deep neural networks (DNNs) have recently achieved great success in a multitude of classification tasks. Ensembles of DNNs have been shown to improve the performance. In this paper, we explore the recent state-of-the-art DNNs used for image classification. We modified these DNNs and applied them to the task of acoustic scene classification. We conducted a number of experiments on the TUT Acoustic Scenes 2017 dataset to empirically compare these methods. Finally, we show that the best model improves the baseline score for DCASE-2017 Task 1 by 3.1% in the test set and by 10% in the development set.


title: Visual Forecasting by Imitating Dynamics in Natural Sequences

abstract: We introduce a general framework for visual forecasting, which directly imitates visual sequences without additional supervision. As a result, our model can be applied at several semantic levels and does not require any domain knowledge or handcrafted features. We achieve this by formulating visual forecasting as an inverse reinforcement learning (IRL) problem, and directly imitate the dynamics in natural sequences from their raw pixel values. The key challenge is the high-dimensional and continuous state-action space that prohibits the application of previous IRL algorithms. We address this computational bottleneck by extending recent progress in model-free imitation with trainable deep feature representations, which (1) bypasses the exhaustive state-action pair visits in dynamic programming by using a dual formulation and (2) avoids explicit state sampling at gradient computation using a deep feature reparametrization. This allows us to apply IRL at scale and directly imitate the dynamics in high-dimensional continuous visual sequences from the raw pixel values. We evaluate our approach at three different level-of-abstraction, from low level pixels to higher level semantics: future frame generation, action anticipation, visual story forecasting. At all levels, our approach outperforms existing methods.


title: High Voltage Insulator Surface Evaluation Using Image Processing

abstract: High voltage insulators are widely deployed in power systems to isolate the live- and dead-part of overhead lines as well as to support the power line conductors mechanically. Permanent, secure and safe operation of power transmission lines require that the high voltage insulators are inspected and monitor, regularly. Severe environment conditions will influence insulator surface and change creepage distance. Consequently, power utilities and transmission companies face significant problem in operation due to insulator damage or contamination. In this study, a new technique is developed for real-time inspection of insulator and estimating the snow, ice and water over the insulator surface which can be a potential risk of operation breakdown. To examine the proposed system, practical experiment is conducted using ceramic insulator for capturing the images with snow, ice and wet surface conditions. Gabor and Standard deviation filters are utilized for image feature extraction. The best achieved recognition accuracy rate was 87% using statistical approach the Standard deviation.


title: Exoplanets: Possible Biosignatures

abstract: The ancestor philosophers' dream of thousands of new worlds is finally realised: about 3500 extrasolar planets have been discovered in the neighborhood of our Sun. Most of them are very different from those we used to know in our Solar System. Others orbit their parent star inside the belt known as Habitable Zone where a rocky planet with the appropriate climate could have the availability of liquid water on its surface. Those planets, in HZ or not, will be the object of observation that will be performed by new space-/ground-based instrumentation. Space missions, such as JWST and the very recently proposed ARIEL (ESA M-Class Mission), or ground based instruments (SPHERE@VLT, GPI@GEMINI and EPICS@ELT) have been proposed and built to measure the atmospheric transmission, reflection and emission spectra over a wide wavelength range. Most of exoplanets have local counterparts in the Solar System planets that are available for comparative studies, but there are also interesting outsider cases like super Earths. In our own system, proto-planet evolution was flanked by an active prebiotic chemistry that brought about the emergency of life on the Earth. The search for life signatures requires the knowledge of planet atmospheres, main objective of future exoplanetary space explorations. As, for now, we have only one example of life in the universe, we are bound to study terrestrial organisms to assess possibilities of life on other planets and guide our search for possible extinct or extant life on other planetary bodies. The planet atmosphere characteristics and possible biosignatures will be inferred by studying such composite spectrum in order to identify the emission/absorption lines/bands from atmospheric molecules as water, carbon monoxide, methane, ammonia etc.


title: Lusternik-Schnirelmann category of the configuration space of complex projective space

abstract: The Lusternik-Schnirelmann category $cat(X)$ is a homotopy invariant which is a numerical bound on the number of critical points of a smooth function on a manifold. Another similar invariant is the topological complexity $TC(X)$ (a la Farber) which has interesting applications in Robotics, specifically, in the robot motion planning problem. In this paper we calculate the Lusternik-Schnirelmann category and as a consequence we calculate the topological complexity of the two-point ordered configuration space of $\mathbb{CP}^n$ for every $n\geq 1$.


title: Real Time Prediction of Drive by Download Attacks on Twitter

abstract: The popularity of Twitter for information discovery, coupled with the automatic shortening of URLs to save space, given the 140 character limit, provides cyber criminals with an opportunity to obfuscate the URL of a malicious Web page within a tweet. Once the URL is obfuscated the cyber criminal can lure a user to click on it with enticing text and images before carrying out a cyber attack using a malicious Web server. This is known as a drive-by- download. In a drive-by-download a user's computer system is infected while interacting with the malicious endpoint, often without them being made aware, the attack has taken place. An attacker can gain control of the system by exploiting unpatched system vulnerabilities and this form of attack currently represents one of the most common methods employed. In this paper, we build a machine learning model using machine activity data and tweet meta data to move beyond post-execution classification of such URLs as malicious, to predict a URL will be malicious with 99.2% F-measure (using 10-fold cross validation) and 83.98% (using an unseen test set) at 1 second into the interaction with the URL. Thus providing a basis from which to kill the connection to the server before an attack has completed and proactively blocking and preventing an attack, rather than reacting and repairing at a later date.


title: A posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems

abstract: We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time stepping scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in $L_{\infty}(I;L_2(\Omega))$- and $L_{2}(I;H^{1}(\Omega))$-type norms when $I$ is the temporal and $\Omega$ the spatial domain for the PDE. We base our methodology for the analysis on a novel space-time reconstruction approach. Our approach is flexible as it works for any type of elliptic error estimator and leaves their choice of up to the user. It also allows exhibits mesh-change estimators in a clear an concise way. We also show how our approach allows the derivation of such bounds in the $H^1(I;H^{-1}(\Omega))$ norm.


title: Holographic vector mesons in a dilaton background

abstract: Within a holographic framework, we consider vector mesons riding on a gravity-dilaton background. The latter one is determined directly from a Schr\"odinger equivalent potential which delivers a proper $\rho$ meson Regge trajectory. The mapping on the dilaton potential yields a thermodynamic phase structure with a first-order transition.


title: Convergence of series of strongly integrable random variables

abstract: We investigate the convergence of series of random variables with second exponential moments. We give sufficient conditions for the convergence of these series with respect to an exponential Orlicz norm and almost surely. Applying this result to $d$-subgaussian series, we examine the asymptotic behavior of weighted series of subgaussian random variables in a unified setting. \end{abstract


title: A Lichnerowicz estimate for the spectral gap of the sub-Laplacian

abstract: For a second order operator on a compact manifold satisfying the strong H\"ormander condition, we give a bound for the spectral gap analogous to the Lichnerowicz estimate for the Laplacian of a Riemannian manifold. We consider a wide class of such operators which includes horizontal lifts of the Laplacian on Riemannian submersions with minimal leaves.


title: Common change point estimation in panel data from the least squares and maximum likelihood viewpoints

abstract: We establish the convergence rates and asymptotic distributions of the common break change-point estimators, obtained by least squares and maximum likelihood in panel data models and compare their asymptotic variances. Our model assumptions accommodate a variety of commonly encountered probability distributions and, in particular, models of particular interest in econometrics beyond the commonly analyzed Gaussian model, including the zero-inflated Poisson model for count data, and the probit and tobit models. We also provide novel results for time dependent data in the signal-plus-noise model, with emphasis on a wide array of noise processes, including Gaussian process, MA$(\infty)$ and $m$-dependent processes. The obtained results show that maximum likelihood estimation requires a stronger signal-to-noise model identifiability condition compared to its least squares counterpart. Finally, since there are three different asymptotic regimes that depend on the behavior of the norm difference of the model parameters before and after the change point, which cannot be realistically assumed to be known, we develop a novel data driven adaptive procedure that provides valid confidence intervals for the common break, without requiring a priori knowledge of the asymptotic regime the problem falls in.


title: Superconductivity in pressurized CeRhGe3 and related non-centrosymmetric compounds

abstract: We report the discovery of superconductivity in pressurized CeRhGe3, until now the only remaining non-superconducting member of the isostructural family of non-centrosymmetric heavy-fermion compounds CeTX3 (T = Co, Rh, Ir and X = Si, Ge). Superconductivity appears in CeRhGe3 at a pressure of 19.6 GPa and the transition temperature Tc reaches a maximum value of 1.3 K at 21.5 GPa. This finding provides an opportunity to establish systematic correlations between superconductivity and materials properties within this family. Though ambient-pressure unit-cell volumes and critical pressures for superconductivity vary substantially across the series, all family members reach a maximum Tcmax at a common critical cell volume Vcrit, and Tcmax at Vcrit increases with increasing spin-orbit coupling strength of the d-electrons. These correlations show that substantial Kondo hybridization and spin-orbit coupling favor superconductivity in this family, the latter reflecting the role of broken centro-symmetry.


title: Software for doing computations in graded Lie algebras

abstract: We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.


title: Quasi-Eheresmann-Dedecker Universes

abstract: We introduce the notion of quasi-Ehresmann-Dedecker universes in quasi-set theory in order to get a framework to develop a categorical version of quasi-set theory, so characterizing the category Qset in a similar way as the category Set is obtained from (say) ZFC plus universes. The Ehresmann-Dedecker universes generalize the usual Sonner-Grothendieck universes and are more adequate for dealing with Urelemente, which is the case of quasi-set theory. This paper is just a sketch where the main ideas are presented.


title: A Data and Model-Parallel, Distributed and Scalable Framework for Training of Deep Networks in Apache Spark

abstract: Training deep networks is expensive and time-consuming with the training period increasing with data size and growth in model parameters. In this paper, we provide a framework for distributed training of deep networks over a cluster of CPUs in Apache Spark. The framework implements both Data Parallelism and Model Parallelism making it suitable to use for deep networks which require huge training data and model parameters which are too big to fit into the memory of a single machine. It can be scaled easily over a cluster of cheap commodity hardware to attain significant speedup and obtain better results making it quite economical as compared to farm of GPUs and supercomputers. We have proposed a new algorithm for training of deep networks for the case when the network is partitioned across the machines (Model Parallelism) along with detailed cost analysis and proof of convergence of the same. We have developed implementations for Fully-Connected Feedforward Networks, Convolutional Neural Networks, Recurrent Neural Networks and Long Short-Term Memory architectures. We present the results of extensive simulations demonstrating the speedup and accuracy obtained by our framework for different sizes of the data and model parameters with variation in the number of worker cores/partitions; thereby showing that our proposed framework can achieve significant speedup (upto 11X for CNN) and is also quite scalable.


title: Non-Hermitian Topological Theory of Finite-Lifetime Quasiparticles: Prediction of Bulk Fermi Arc Due to Exceptional Point

abstract: We introduce a topological theory to study quasiparticles in interacting and/or disordered many-body systems, which have a finite lifetime due to inelastic and/or elastic scattering. The one-body quasiparticle Hamiltonian includes both the Bloch Hamiltonian of band theory and the self-energy due to interactions, which is non-Hermitian when quasiparticle lifetime is finite. We study the topology of non-Hermitian quasiparticle Hamiltonians in momentum space, whose energy spectrum is complex. The interplay of band structure and quasiparticle lifetime is found to have remarkable consequences in zero- and small-gap systems. In particular, we predict the existence of topological exceptional point and bulk Fermi arc in Dirac materials with two distinct quasiparticle lifetimes.


title: Singular limit of the porous medium equation with a drift

abstract: We study the "stiff pressure limit" of a nonlinear drift-diffusion equation, where the density is constrained to stay below the maximal value one. The challenge lies in the presence of a drift and the consequent lack of monotonicity in time. In the limit a Hele-Shaw-type free boundary problem emerges, which describes the evolution of the congested zone where density equals one. We discuss pointwise convergence of the densities as well as the $BV$ regularity of the limiting free boundary.


title: Structuring of fluid adlayers upon ongoing unimolecular adsorption

abstract: Fluids with spatial density variations of single or mixed molecules play a key role in biophysics, soft matter and materials science. The fluid structures usually form via spinodal decomposition or nucleation following an instantaneous destabilisation of the initially disordered fluid. However, in practice an instantaneous quench is often not viable, and the rate of destabilisation may be gradual rather than instantaneous. In this work we show that the commonly used phenomenological descriptions of fluid structuring are inadequate under these conditions. We come to that conclusion in the context of surface catalysis, where we employ kinetic Monte Carlo simulations to describe the unimolecular adsorption of gaseous molecules onto a metal surface. The adsorbates diffuse at the surface and, as a consequence of lateral interactions and due to an ongoing increase of the surface coverage, phase separate into coexisting low- and high-density regions. The typical size of these regions turns out to depend much more strongly on the rate of adsorption than predicted from recently reported phenomenological models. We discuss how this finding contributes to the fundamental understanding of the crossover from liquid-liquid to liquid-solid demixing of solution-cast polymer blends.


title: NIZKCTF: A Non-Interactive Zero-Knowledge Capture the Flag Platform

abstract: Capture the Flag (CTF) competitions are increasingly important for the Brazilian cybersecurity community as education and professional tools. Unfortunately, CTF platforms may suffer from security issues, giving an unfair advantage to competitors. To mitigate this, we propose NIZKCTF, the first open-audit CTF platform based on non-interactive zero-knowledge proofs.


title: Spanning Simplicial Complexes of Uni-Cyclic Multigraphs

abstract: A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $\Delta_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(\Delta_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $\Delta_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $\Delta_s(\mathcal{U}_{n,m}^r)$.


title: Passive control of viscous flow via elastic snap-through

abstract: We demonstrate the passive control of viscous flow in a channel by using an elastic arch embedded in the flow. Depending on the fluid flux, the arch may `snap' between two states --- constricting and unconstricting --- that differ in hydraulic conductivity by up to an order of magnitude. We use a combination of experiments at a macroscopic scale and theory to study the constricting and unconstricting states, and determine the critical flux required to transition between them. We show that such a device may be precisely tuned for use in a range of applications, and in particular has potential as a passive microfluidic fuse to prevent excessive fluxes in rigid-walled channels.


title: Unbounded product-form Petri nets

abstract: Computing steady-state distributions in infinite-state stochastic systems is in general a very dificult task. Product-form Petri nets are those Petri nets for which the steady-state distribution can be described as a natural product corresponding, up to a normalising constant, to an exponentiation of the markings. However, even though some classes of nets are known to have a product-form distribution, computing the normalising constant can be hard. The class of (closed) {\Pi}3-nets has been proposed in an earlier work, for which it is shown that one can compute the steady-state distribution efficiently. However these nets are bounded. In this paper, we generalise queuing Markovian networks and closed {\Pi}3-nets to obtain the class of open {\Pi}3-nets, that generate infinite-state systems. We show interesting properties of these nets: (1) we prove that liveness can be decided in polynomial time, and that reachability in live {\Pi}3-nets can be decided in polynomial time; (2) we show that we can decide ergodicity of such nets in polynomial time as well; (3) we provide a pseudo-polynomial time algorithm to compute the normalising constant.


title: A criterion to generate carpet Julia sets

abstract: It was known that the Sierpi\'{n}ski carpets can appear as the Julia sets in the families of some rational maps. In this article we present a criterion that guarantees the existence of the carpet Julia sets in some rational maps having exactly one fixed (super-) attracting or parabolic basin. We show that this criterion can be applied to some well known rational maps, such as McMullen maps and Morosawa-Pilgrim family. Moreover, we give also some special examples whose Julia sets are Sierpi\'{n}ski carpets.


title: Dependences in Strategy Logic

abstract: Strategy Logic (SL) is a very expressive logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and express properties of the resulting plays. Such a powerful framework has two drawbacks: first, model checking SL has non-elementary complexity; second, the exact semantics of SL is rather intricate, and may not correspond to what is expected. In this paper, we focus on strategy dependences in SL, by tracking how existentially-quantified strategies in a formula may (or may not) depend on other strategies selected in the formula. We study different kinds of dependences, refining the approach of [Mogavero et al., Reasoning about strategies: On the model-checking problem, 2014], and prove that they give rise to different satisfaction relations. In the setting where strategies may only depend on what they have observed, we identify a large fragment of SL for which we prove model checking can be performed in 2EXPTIME.


title: Convergence of HX Preconditioner for Maxwell's Equations with Jump Coefficients (i): Various Extensions of The Regular Helmholtz Decomposition

abstract: This paper is the first one of two serial articles, whose goal is to prove convergence of HX Preconditioner (proposed by Hiptmair and Xu 2007) for Maxwell's equations with jump coefficients. In this paper we establish various extensions of the regular Helmholtz decomposition for edge finite element functions defined in three dimensional domains. The functions defined by the regular Helmholtz decompositions can preserve the zero tangential complement on faces and edges of polyhedral domains and some non-Lipchitz domains, and possess stability estimates with only a $logarithm$ factor. These regular Helmholtz decompositions will be used to prove convergence of the HX preconditioner for Maxwell's equations with jump coefficients in another paper (Hu 2017).


title: Image2song: Song Retrieval via Bridging Image Content and Lyric Words

abstract: Image is usually taken for expressing some kinds of emotions or purposes, such as love, celebrating Christmas. There is another better way that combines the image and relevant song to amplify the expression, which has drawn much attention in the social network recently. Hence, the automatic selection of songs should be expected. In this paper, we propose to retrieve semantic relevant songs just by an image query, which is named as the image2song problem. Motivated by the requirements of establishing correlation in semantic/content, we build a semantic-based song retrieval framework, which learns the correlation between image content and lyric words. This model uses a convolutional neural network to generate rich tags from image regions, a recurrent neural network to model lyric, and then establishes correlation via a multi-layer perceptron. To reduce the content gap between image and lyric, we propose to make the lyric modeling focus on the main image content via a tag attention. We collect a dataset from the social-sharing multimodal data to study the proposed problem, which consists of (image, music clip, lyric) triplets. We demonstrate that our proposed model shows noticeable results in the image2song retrieval task and provides suitable songs. Besides, the song2image task is also performed.


title: Laser Streaming: Turning a Laser Beam into a Flow of Liquid

abstract: Transforming a laser beam into a mass flow has been a challenge both scientifically and technologically. Here we report the discovery of a new optofluidics principle and demonstrate the generation of a steady-state water flow by a pulsed laser beam through a glass window. In order to generate a flow or stream in the same path as the refracted laser beam in pure water from an arbitrary spot on the window, we first fill a glass cuvette with an aqueous solution of Au nanoparticles. A flow will emerge from the focused laser spot on the window after the laser is turned on for a few to tens of minutes, the flow remains after the colloidal solution is completely replaced by pure water. Microscopically, this transformation is made possible by an underlying plasmonic nanoparticle-decorated cavity which is self-fabricated on the glass by nanoparticle-assisted laser etching and exhibits size and shape uniquely tailored to the incident beam profile. Hydrophone signals indicate that the flow is driven via acoustic streaming by a long-lasting ultrasound wave that is resonantly generated by the laser and the cavity through the photoacoustic effect. The principle of this light-driven flow via ultrasound, i.e. photoacoustic streaming by coupling photoacoustics to acoustic streaming, is general and can be applied to any liquids, opening up new research and applications in optofluidics as well as traditional photoacoustics and acoustic streaming.


title: Convergence of HX Preconditioner for Maxwell's Equations with Jump Coefficients (ii): The Main Results

abstract: This paper is the second one of two serial articles, whose goal is to prove convergence of HX Preconditioner (proposed by Hiptmair and Xu, 2007) for Maxwell's equations with jump coefficients. In this paper, based on the auxiliary results developed in the first paper (Hu, 2017), we establish a new regular Helmholtz decomposition for edge finite element functions in three dimensions, which is nearly stable with respect to a weight function. By using this Helmholtz decomposition, we give an analysis of the convergence of the HX preconditioner for the case with strongly discontinuous coefficients. We show that the HX preconditioner possesses fast convergence, which not only is nearly optimal with respect to the finite element mesh size but also is independent of the jumps in the coefficients across the interface between two neighboring subdomains.


title: HD66051, an eclipsing binary hosting a highly peculiar, HgMn-related star

abstract: HD66051 is an eclipsing system with an orbital period of about 4.75 d that exhibits out-of-eclipse variability with the same period. New multicolour photometric observations confirm the longevity of the secondary variations, which we interpret as a signature of surface inhomogeneities on one of the components. Using archival and newly acquired high-resolution spectra, we have performed a detailed abundance analysis. The primary component is a slowly rotating late B-type star ($T_{\rm eff} = 12500\pm200$ K; $\log g = 4.0$, $v\sin i = 27\pm2$ km s$^{-1}$) with a highly peculiar composition reminiscent of the singular HgMn-related star HD 65949, which seems to be its closest analogue. Some light elements as He, C, Mg, Al are depleted, while Si and P are enhanced. Except for Ni, all the iron-group elements, as well as most of the heavy elements, and in particular the REE elements, are overabundant. The secondary component was estimated to be a slowly rotating A-type star ($T_{\rm eff} \sim 8000$ K; $\log g = 4.0$, $v\sin i \sim 18$ km s$^{-1}$). The unique configuration of HD\,66051 opens up intriguing possibilities for future research, which might eventually and significantly contribute to the understanding of such diverse phenomena as atmospheric structure, mass transfer, magnetic fields, photometric variability and the origin of chemical anomalies observed in HgMn stars and related objects.


title: Practical Distance Functions for Path-Planning in Planar Domains

abstract: Path planning is an important problem in robotics. One way to plan a path between two points $x,y$ within a (not necessarily simply-connected) planar domain $\Omega$, is to define a non-negative distance function $d(x,y)$ on $\Omega\times\Omega$ such that following the (descending) gradient of this distance function traces such a path. This presents two equally important challenges: A mathematical challenge -- to define $d$ such that $d(x,y)$ has a single minimum for any fixed $y$ (and this is when $x=y$), since a local minimum is in effect a "dead end", A computational challenge -- to define $d$ such that it may be computed efficiently. In this paper, given a description of $\Omega$, we show how to assign coordinates to each point of $\Omega$ and define a family of distance functions between points using these coordinates, such that both the mathematical and the computational challenges are met. This is done using the concepts of \emph{harmonic measure} and \emph{$f$-divergences}. In practice, path planning is done on a discrete network defined on a finite set of \emph{sites} sampled from $\Omega$, so any method that works well on the continuous domain must be adapted so that it still works well on the discrete domain. Given a set of sites sampled from $\Omega$, we show how to define a network connecting these sites such that a \emph{greedy routing} algorithm (which is the discrete equivalent of continuous gradient descent) based on the distance function mentioned above is guaranteed to generate a path in the network between any two such sites. In many cases, this network is close to a (desirable) planar graph, especially if the set of sites is dense.


title: Tail and moment estimates for a class of random chaoses of order two

abstract: We derive two-sided bounds for moments and tails of random quadratic forms (random chaoses of order $2$), generated by independent symmetric random variables such that $\lVert X \rVert_{2p} \leq \alpha \lVert X \rVert_p$ for any $p\geq 1$ and some $\alpha\geq 1$. Estimates are deterministic and exact up to some multiplicative constants which depend only on $\alpha$.


title: The CLaC Discourse Parser at CoNLL-2015

abstract: This paper describes our submission (kosseim15) to the CoNLL-2015 shared task on shallow discourse parsing. We used the UIMA framework to develop our parser and used ClearTK to add machine learning functionality to the UIMA framework. Overall, our parser achieves a result of 17.3 F1 on the identification of discourse relations on the blind CoNLL-2015 test set, ranking in sixth place.


title: Martingale representation on enlarged filtrations: the role of the accessible jump times

abstract: We consider a filtration $\mathbb{G}$ obtained as enlargement of a filtration $\mathbb{F}$ by a filtration $\mathbb{H}$. We assume that all $\mathbb{F}$-local martingales are represented by a martingale $M$ and all $\mathbb{H}$-local martingales are represented by a martingale $N$. $M$ and $N$ are not necessarily quasi-left continuous processes and their jump times may overlap. We first analyze the contribution of the accessible jump times of $M$ and $N$ to the Jacod's dimension of the space of the $\mathcal{H}^1(\mathbb{G})$-martingales. Then we prove a new martingale representation theorem on $\mathbb{G}$.


title: Decomposition of mean-field Gibbs distributions into product measures

abstract: We show that under a low complexity condition on the gradient of a Hamiltonian, Gibbs distributions on the Boolean hypercube are approximate mixtures of product measures whose probability vectors are critical points of an associated mean-field functional. This extends a previous work by the first author. As an application, we demonstrate how this framework helps characterize both Ising models satisfying a mean-field condition and the conditional distributions which arise in the emerging theory of nonlinear large deviations, both in the dense case and in the polynomially-sparse case.


title: 3D magneto-hydrodynamic models of non-thermal photon emission in the binary system $\gamma^2$ Velorum

abstract: Recent reports claiming association of the massive star binary system $\gamma^2 $Velorum (WR 11) with a high-energy $\gamma$-ray source observed by \textit{Fermi}-LAT contrast the so-far exclusive role of $\eta$ Carinae as the hitherto only detected $\gamma$-ray emitter in the source class of particle-accelerating colliding-wind binary (CWB) systems. We offer support to this claim of association by providing dedicated model predictions for the nonthermal photon emission spectrum of $\gamma^2$ Velorum. We use three-dimensional magneto-hydrodynamic modeling (MHD) to investigate the structure and conditions of the wind-collision region (WCR) of $\gamma^2$ Velorum including the important effect of radiative braking in the stellar winds. A transport equation is then solved throughout the computational domain to study the propagation of relativistic electrons and protons. The resulting distributions of particles are subsequently used to compute nonthermal photon emission components. In agreement with observation in X-ray spectroscopy, our simulations yield a large shock-cone opening angle. We find the nonthermal $\gamma$-ray emission of $\gamma^2$ Velorum to be of hadronic origin owing to the strong radiation fields in the binary system which inhibit the acceleration of electrons to energies sufficiently high for efficient inverse Compton radiation. We also discuss the strong dependence of a hadronic $\gamma$-ray component on the energy-dependent diffusion used in the simulations. Of two mass-loss rates for the WR star found in literature, only the higher one is able to accommodate the observed $\gamma$-ray spectrum with reasonable values for important simulation parameters such as the injection ratio of high-energy particles within the WCR.


title: Integral geometry of exceptional spheres

abstract: The algebras of valuations on $S^6$ and $S^7$ invariant under the actions of $\mathrm G_2$ and $\mathrm{Spin}(7)$ are shown to be isomorphic to the algebra of translation-invariant valuations on the tangent space at a point invariant under the action of the isotropy group. This is in analogy with the cases of real and complex space forms, suggesting the possibility that the same phenomenon holds in all Riemannian isotropic spaces. Based on the description of the algebras the full array of kinematic formulas for invariant valuations and curvature measures in $S^6$ and $S^7$ is computed. A key technical point is an extension of the classical theorems of Klain and Schneider on simple valuations.


title: Extensions of interpolation between the arithmetic-geometric mean inequality for matrices

abstract: In this paper, we present some extensions of interpolation between the arithmetic-geometric means inequality. Among other inequalities, it is shown that if $A, B, X$ are $n\times n$ matrices, then \begin{align*} \|AXB^*\|^2\leq\|f_1(A^*A)Xg_1(B^*B)\|\,\|f_2(A^*A)Xg_2(B^*B)\|, \end{align*} where $f_1,f_2,g_1,g_2$ are non-negative continues functions such that $f_1(t)f_2(t)=t$ and $g_1(t)g_2(t)=t\,\,(t\geq0)$. We also obtain the inequality \begin{align*} \left|\left|\left|AB^*\right|\right|\right|^2\nonumber&\leq \left|\left|\left|p(A^*A)^{\frac{m}{p}}+ (1-p)(B^*B)^{\frac{s}{1-p}}\right|\right|\right|\,\left|\left|\left|(1-p)(A^*A)^{\frac{n}{1-p}}+ p(B^*B)^{\frac{t}{p}}\right|\right|\right|, \end{align*} in which $m,n,s,t$ are real numbers such that $m+n=s+t=1$, $|||\cdot|||$ is an arbitrary unitarily invariant norm and $p\in[0,1]$.


title: Heat kernel estimates for time fractional equations

abstract: In this paper, we establish existence and uniqueness of weak solutions to general time fractional equations and give their probabilistic representations. We then derive sharp two-sided estimates for fundamental solutions of a family of time fractional equations in metric measure spaces.


title: A plurality problem with three colors and query size three

abstract: The Plurality problem - introduced by Aigner \cite{A2004} - has many variants. In this article we deal with the following version: suppose we are given $n$ balls, each of them colored by one of three colors. A \textit{plurality ball} is one such that its color class is strictly larger than any other color class. Questioner wants to find a plurality ball as soon as possible or state there is no, by asking triplets (or $k$-sets, in general), while Adversary partition the triplets into color classes as an answer for the queries and wants to postpone the possibility of determining a plurality ball (or stating there is no). We denote by $A_p(n,3)$ the largest number of queries needed to ask if both play optimally (and Questioner asks triplets). We provide an almost precise result in case of even $n$ by proving that for $n \ge 4$ even we have $$\frac{3}{4}n-2 \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2},$$ and for $n \ge 3$ odd we have $$\frac{3}{4}n-O(\log n) \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2}.$$ We also prove some bounds on the number of queries needed to ask for larger $k$.


title: Gradual partial-collapse theory for ideal nondemolition measurements of qubits in circuit QED

abstract: The conventional method of qubit measurements in circuit QED is employing the dispersive regime of qubit-cavity coupling, which results in an approximated scheme of quantum nondemolition (QND) readout. This scheme becomes problematic in the case of strong coupling and/or strong measurement drive, owing to the so-called Purcell effect. A recent proposal by virtue of longitudinal coupling suggests a new scheme to realize fast, high-fidelity, and {\it ideal QND} readout of qubit state. The aim of the present work is twofold: (i) In parallel to what has been done in the past years for the dispersive readout, we carry out the gradual partial-collapse theory for this recent scheme, in terms of both the quantum trajectory equation and quantum Bayesian approaches. The partial-collapse weak measurement theory is useful for such as the measurement-based feedback control and other quantum applications. (ii) In the physical aspect, we construct the joint qubit-plus-cavity entangled state under continuous measurement and present a comprehensive analysis for the quantum efficiency,qubit-state purity, and signal-to-noise ratio in the output currents. The combination of the joint state and the quantum Bayesian rule provides a generalized scheme of cavity reset associated with the longitudinal coupling, which can restore the qubit to a quantum pure state from entanglement with the cavity states, and thus benefits the successive partial-collapse measurements after qubit rotations.


title: A Brief Survey of Deep Reinforcement Learning

abstract: Deep reinforcement learning is poised to revolutionise the field of AI and represents a step towards building autonomous systems with a higher level understanding of the visual world. Currently, deep learning is enabling reinforcement learning to scale to problems that were previously intractable, such as learning to play video games directly from pixels. Deep reinforcement learning algorithms are also applied to robotics, allowing control policies for robots to be learned directly from camera inputs in the real world. In this survey, we begin with an introduction to the general field of reinforcement learning, then progress to the main streams of value-based and policy-based methods. Our survey will cover central algorithms in deep reinforcement learning, including the deep $Q$-network, trust region policy optimisation, and asynchronous advantage actor-critic. In parallel, we highlight the unique advantages of deep neural networks, focusing on visual understanding via reinforcement learning. To conclude, we describe several current areas of research within the field.


title: Power Allocation for Adaptive OFDM Index Modulation in Cooperative Networks

abstract: In this paper, we propose a power allocation strategy for the adaptive orthogonal frequency-division multiplexing (OFDM) index modulation (IM) in cooperative networks. The allocation strategy is based on the Karush-Kuhn-Tucker (KKT) conditions, and aims at maximizing the average network capacity according to the instantaneous channel state information (CSI). As the transmit power at source and relay is constrained separately, we can thus formulate an optimization problem by allocating power to active subcarriers. Compared to the conventional uniform power allocation strategy, the proposed dynamic strategy can lead to a higher average network capacity, especially in the low signal-to-noise ratio (SNR) region. The analysis is also verified by numerical results produced by Monte Carlo simulations. By applying the proposed power allocation strategy, the efficiency of adaptive OFDM IM can be enhanced in practice, which paves the way for its implementation in the future, especially for cell-edge communications.


title: Outage Performance Analysis of Multicarrier Relay Selection for Cooperative Networks

abstract: In this paper, we analyze the outage performance of two multicarrier relay selection schemes, i.e. bulk and per-subcarrier selections, for two-hop orthogonal frequency-division multiplexing (OFDM) systems. To provide a comprehensive analysis, three forwarding protocols: decode-and-forward (DF), fixed-gain (FG) amplify-and-forward (AF) and variable-gain (VG) AF relay systems are considered. We obtain closed-form approximations for the outage probability and closed-form expressions for the asymptotic outage probability in the high signal-to-noise ratio (SNR) region for all cases. Our analysis is verified by Monte Carlo simulations, and provides an analytical framework for multicarrier systems with relay selection.


title: Sim4CV: A Photo-Realistic Simulator for Computer Vision Applications

abstract: We present a photo-realistic training and evaluation simulator (Sim4CV) with extensive applications across various fields of computer vision. Built on top of the Unreal Engine, the simulator integrates full featured physics based cars, unmanned aerial vehicles (UAVs), and animated human actors in diverse urban and suburban 3D environments. We demonstrate the versatility of the simulator with two case studies: autonomous UAV-based tracking of moving objects and autonomous driving using supervised learning. The simulator fully integrates both several state-of-the-art tracking algorithms with a benchmark evaluation tool and a deep neural network (DNN) architecture for training vehicles to drive autonomously. It generates synthetic photo-realistic datasets with automatic ground truth annotations to easily extend existing real-world datasets and provides extensive synthetic data variety through its ability to reconfigure synthetic worlds on the fly using an automatic world generation tool. The supplementary video can be viewed a https://youtu.be/SqAxzsQ7qUU


title: The Spatial Outage Capacity of Wireless Networks

abstract: We address a fundamental question in wireless networks that, surprisingly, has not been studied before: what is the maximum density of concurrently active links that satisfy a certain outage constraint? We call this quantity the spatial outage capacity (SOC), give a rigorous definition, and analyze it for Poisson bipolar networks with ALOHA. Specifically, we provide exact analytical and approximate expressions for the density of links satisfying an outage constraint and give simple upper and lower bounds on the SOC. In the high-reliability regime where the target outage probability is close to zero, we obtain an exact closed-form expression of the SOC, which reveals the interesting and perhaps counter-intuitive result that all transmitters need to be always active to achieve the SOC, i.e., the transmit probability needs to be set to 1 to achieve the SOC.


title: Chern Rank of Complex Bundle

abstract: We introduce notions of {\it upper chernrank} and {\it even cup length} of a finite connected CW-complex and prove that {\it upper chernrank} is a homotopy invariant. It turns out that determination of {\it upper chernrank} of a space $X$ sometimes helps to detect whether a generator of the top cohomology group can be realized as Euler class for some real (orientable) vector bundle over $X$ or not. For a closed connected $d$-dimensional complex manifold we obtain an upper bound of its even cup length. For a finite connected even dimensional CW-complex with its {\it upper chernrank} equal to its dimension, we provide a method of computing its even cup length. Finally, we compute {\it upper chernrank} of many interesting spaces.


title: Agent-based computing from multi-agent systems to agent-based Models: a visual survey

abstract: Agent-Based Computing is a diverse research domain concerned with the building of intelligent software based on the concept of "agents". In this paper, we use Scientometric analysis to analyze all sub-domains of agent-based computing. Our data consists of 1,064 journal articles indexed in the ISI web of knowledge published during a twenty year period: 1990-2010. These were retrieved using a topic search with various keywords commonly used in sub-domains of agent-based computing. In our proposed approach, we have employed a combination of two applications for analysis, namely Network Workbench and CiteSpace - wherein Network Workbench allowed for the analysis of complex network aspects of the domain, detailed visualization-based analysis of the bibliographic data was performed using CiteSpace. Our results include the identification of the largest cluster based on keywords, the timeline of publication of index terms, the core journals and key subject categories. We also identify the core authors, top countries of origin of the manuscripts along with core research institutes. Finally, our results have interestingly revealed the strong presence of agent-based computing in a number of non-computing related scientific domains including Life Sciences, Ecological Sciences and Social Sciences.


title: What Drives the International Development Agenda? An NLP Analysis of the United Nations General Debate 1970-2016

abstract: There is surprisingly little known about agenda setting for international development in the United Nations (UN) despite it having a significant influence on the process and outcomes of development efforts. This paper addresses this shortcoming using a novel approach that applies natural language processing techniques to countries' annual statements in the UN General Debate. Every year UN member states deliver statements during the General Debate on their governments' perspective on major issues in world politics. These speeches provide invaluable information on state preferences on a wide range of issues, including international development, but have largely been overlooked in the study of global politics. This paper identifies the main international development topics that states raise in these speeches between 1970 and 2016, and examine the country-specific drivers of international development rhetoric.


title: Ab Initio Approach to Second-order Resonant Raman Scattering Including Exciton-Phonon Interaction

abstract: Raman spectra obtained by the inelastic scattering of light by crystalline solids contain contributions from first-order vibrational processes (e.g. the emission or absorption of one phonon, a quantum of vibration) as well as higher-order processes with at least two phonons being involved. At second order, coupling with the entire phonon spectrum induces a response that may strongly depend on the excitation energy, and reflects complex processes more difficult to interpret. In particular, excitons (i.e. bound electron-hole pairs) may enhance the absorption and emission of light, and couple strongly with phonons in resonance conditions. We design and implement a first-principles methodology to compute second-order Raman scattering, incorporating dielectric responses and phonon eigenstates obtained from density-functional theory and many-body theory. We demonstrate our approach for the case of silicon, relating frequency-dependent relative Raman intensities, that are in excellent agreement with experiment, to different vibrations and regions of the Brillouin zone. We show that exciton-phonon coupling, computed from first principles, indeed strongly affect the spectrum in resonance conditions. The ability to analyze second-order Raman spectra thus provides direct insight into this interaction.


title: A novel agent-based simulation framework for sensing in complex adaptive environments

abstract: In this paper we present a novel Formal Agent-Based Simulation framework (FABS). FABS uses formal specification as a means of clear description of wireless sensor networks (WSN) sensing a Complex Adaptive Environment. This specification model is then used to develop an agent-based model of both the wireless sensor network as well as the environment. As proof of concept, we demonstrate the application of FABS to a boids model of self-organized flocking of animals monitored by a random deployment of proximity sensors.


title: Percolation Thresholds in Hyperbolic Lattices

abstract: We use invasion percolation to compute numerical values for bond and site percolation thresholds $p_c$ (existence of an infinite cluster) and $p_u$ (uniqueness of the infinite cluster) of tesselations $\{P,Q\}$ of the hyperbolic plane, where $Q$ faces meet at each vertex and each face is a $P$-gon. Our values are accurate to six or seven decimal places, allowing us to explore their functional dependency on $P$ and $Q$ and to numerically compute critical exponents. We also prove rigorous upper and lower bounds for $p_c$ and $p_u$ that can be used to find the scaling of both thresholds as a function of $P$ and $Q$.


title: Normal hyperplane sections of normal schemes in mixed characteristic

abstract: The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the proof of this result, we prove the Bertini theorem for normal schemes of some type. We apply the main result to prove a result on the restriction map of divisor class groups of Grothendieck-Lefschetz type in mixed characteristic.


title: Event-Radar: Real-time Local Event Detection System for Geo-Tagged Tweet Streams

abstract: The local event detection is to use posting messages with geotags on social networks to reveal the related ongoing events and their locations. Recent studies have demonstrated that the geo-tagged tweet stream serves as an unprecedentedly valuable source for local event detection. Nevertheless, how to effectively extract local events from large geo-tagged tweet streams in real time remains challenging. A robust and efficient cloud-based real-time local event detection software system would benefit various aspects in the real-life society, from shopping recommendation for customer service providers to disaster alarming for emergency departments. We use the preliminary research GeoBurst as a starting point, which proposed a novel method to detect local events. GeoBurst+ leverages a novel cross-modal authority measure to identify several pivots in the query window. Such pivots reveal different geo-topical activities and naturally attract related tweets to form candidate events. It further summarises the continuous stream and compares the candidates against the historical summaries to pinpoint truly interesting local events. We mainly implement a website demonstration system Event-Radar with an improved algorithm to show the real-time local events online for public interests. Better still, as the query window shifts, our method can update the event list with little time cost, thus achieving continuous monitoring of the stream.


title: Regularized Estimation and Testing for High-Dimensional Multi-Block Vector-Autoregressive Models

abstract: Dynamical systems comprising of multiple components that can be partitioned into distinct blocks originate in many scientific areas. A pertinent example is the interactions between financial assets and selected macroeconomic indicators, which has been studied at aggregate level---e.g. a stock index and an employment index---extensively in the macroeconomics literature. A key shortcoming of this approach is that it ignores potential influences from other related components (e.g. Gross Domestic Product) that may exert influence on the system's dynamics and structure and thus produces incorrect results. To mitigate this issue, we consider a multi-block linear dynamical system with Granger-causal ordering between blocks, wherein the blocks' temporal dynamics are described by vector autoregressive processes and are influenced by blocks higher in the system hierarchy. We derive the maximum likelihood estimator for the posited model for Gaussian data in the high-dimensional setting based on appropriate regularization schemes for the parameters of the block components. To optimize the underlying non-convex likelihood function, we develop an iterative algorithm with convergence guarantees. We establish theoretical properties of the maximum likelihood estimates, leveraging the decomposability of the regularizers and a careful analysis of the iterates. Finally, we develop testing procedures for the null hypothesis of whether a block "Granger-causes" another block of variables. The performance of the model and the testing procedures are evaluated on synthetic data, and illustrated on a data set involving log-returns of the US S&P100 component stocks and key macroeconomic variables for the 2001--16 period.


title: Flattening the inflaton potential beyond minimal gravity

abstract: We review the status of the Starobinsky-like models for inflation beyond minimal gravity and discuss the unitarity problem due to the presence of a large non-minimal gravity coupling. We show that the induced gravity models allow for a self-consistent description of inflation and discuss the implications of the inflaton couplings to the Higgs field in the Standard Model.


title: Virtual immersions and minimal hypersurfaces in compact symmetric spaces

abstract: We show that closed, immersed, minimal hypersurfaces in a compact symmetric space satisfy a lower bound on the index plus nullity, which depends linearly on their first Betti number. Moreover, if either the minimal hypersurface satisfies a certain genericity condition, or if the ambient space is a product of two CROSSes, we improve this to a lower bound on the index alone, which is affine in the first Betti number. To prove these, we introduce a generalization of isometric immersions in Euclidean space. Compact symmetric spaces admit (and in fact are characterized by) such a structure with skew-symmetric second fundamental form.


title: Fluctuations of electromagnetic fields in heavy ion collisions

abstract: We perform quantum calculations of fluctuations of the electromagnetic fields in $AA$ collisions at RHIC and LHC energies. We find that in the quantum picture the field fluctuations are much smaller than predictions of the classical Monte-Carlo simulation with the Woods-Saxon nuclear density.


title: Normal--mode splitting in a weakly coupled optomechanical system

abstract: Normal--mode splitting is the most evident signature of strong coupling between two interacting subsystems. It occurs when two subsystems exchange energy between themselves faster than they dissipate it to the environment. Here we experimentally show that a weakly coupled optomechanical system at room temperature can manifest normal--mode splitting when the pump field fluctuations are anti-squashed by a phase-sensitive feedback loop operating close to its instability threshold. Under these conditions the optical cavity exhibits an effectively reduced decay rate, so that the system is effectively promoted to the strong coupling regime.


title: Teaching UAVs to Race: End-to-End Regression of Agile Controls in Simulation

abstract: Automating the navigation of unmanned aerial vehicles (UAVs) in diverse scenarios has gained much attention in recent years. However, teaching UAVs to fly in challenging environments remains an unsolved problem, mainly due to the lack of training data. In this paper, we train a deep neural network to predict UAV controls from raw image data for the task of autonomous UAV racing in a photo-realistic simulation. Training is done through imitation learning with data augmentation to allow for the correction of navigation mistakes. Extensive experiments demonstrate that our trained network (when sufficient data augmentation is used) outperforms state-of-the-art methods and flies more consistently than many human pilots. Additionally, we show that our optimized network architecture can run in real-time on embedded hardware, allowing for efficient on-board processing critical for real-world deployment. From a broader perspective, our results underline the importance of extensive data augmentation techniques to improve robustness in end-to-end learning setups.


title: Carrier-mediated optomechanical forces in semiconductor nanomembranes with coupled quantum wells

abstract: In the majority of optomechanical experiments, the interaction between light and mechanical motion is mediated by radiation pressure, which arises from momentum transfer of reflecting photons. This is an inherently weak interaction, and optically generated carriers in semiconductors have been predicted to be the mediator of different and potentially much stronger forces. Here we demonstrate optomechanical forces induced by electron-hole pairs in coupled quantum wells embedded into a free-free nanomembrane. We identify contributions from the deformation-potential and piezoelectric coupling and observe optically driven motion about three orders of magnitude larger than expected from radiation pressure. The amplitude and phase of the driven oscillations are controlled by an applied electric field, which tunes the carrier lifetime to match the mechanical period. Our work opens perspectives for not only enhancing the optomechanical interaction in a range of experiments, but also for interfacing mechanical objects with complex macroscopic quantum objects, such as excitonic condensates.


title: Current induced multi-mode propagating spin waves in a spin transfer torque nano-contact with strong perpendicular magnetic anisotropy

abstract: Current induced spin wave excitations in spin transfer torque nano-contacts are known as a promising way to generate exchange-dominated spin waves at the nano-scale. It has been shown that when these systems are magnetized in the film plane, broken spatial symmetry of the field around the nano-contact induced by the Oersted field opens the possibility for spin wave mode co-existence including a non-linear self-localized spin-wave bullet and a propagating mode. By means of micromagnetic simulations, here we show that in systems with strong perpendicular magnetic anisotropy (PMA) in the free layer, two propagating spin wave modes with different frequency and spatial distribution can be excited simultaneously. Our results indicate that in-plane magnetized spin transfer nano-contacts in PMA materials do not host a solitonic self-localized spin-wave bullet, which is different from previous studies for systems with in plane magnetic anisotropy. This feature renders them interesting for nano-scale magnonic waveguides and crystals since magnon transport can be configured by tuning the applied current.


title: LTE PHY Layer Vulnerability Analysis and Testing Using Open-Source SDR Tools

abstract: This paper provides a methodology to study the PHY layer vulnerability of wireless protocols in hostile radio environments. Our approach is based on testing the vulnerabilities of a system by analyzing the individual subsystems. By targeting an individual subsystem or a combination of subsystems at a time, we can infer the weakest part and revise it to improve the overall system performance. We apply our methodology to 4G LTE downlink by considering each control channel as a subsystem. We also develop open-source software enabling research and education using software-defined radios. We present experimental results with open-source LTE systems and shows how the different subsystems behave under targeted interference. The analysis for the LTE downlink shows that the synchronization signals (PSS/SSS) are very resilient to interference, whereas the downlink pilots or Cell-Specific Reference signals (CRS) are the most susceptible to a synchronized protocol-aware interferer. We also analyze the severity of control channel attacks for different LTE configurations. Our methodology and tools allow rapid evaluation of the PHY layer reliability in harsh signaling environments, which is an asset to improve current standards and develop new robust wireless protocols.


title: An efficient distribution method for nonlinear two-phase flow in highly heterogeneous multidimensional stochastic porous media

abstract: In the context of stochastic two-phase flow in porous media, we introduce a novel and efficient method to estimate the probability distribution of the wetting saturation field under uncertain rock properties in highly heterogeneous porous systems, where streamline patterns are dominated by permeability heterogeneity, and for slow displacement processes (viscosity ratio close to unity). Our method, referred to as the frozen streamline distribution method (FROST), is based on a physical understanding of the stochastic problem. Indeed, we identify key random fields that guide the wetting saturation variability, namely fluid particle times of flight and injection times. By comparing saturation statistics against full-physics Monte Carlo simulations, we illustrate how this simple, yet accurate FROST method performs under the preliminary approximation of frozen streamlines. Further, we inspect the performance of an accelerated FROST variant that relies on a simplification about injection time statistics. Finally, we introduce how quantiles of saturation can be efficiently computed within the FROST framework, hence leading to robust uncertainty assessment.


title: Analysis of Solar Energy Aggregation under Various Billing Mechanisms

abstract: Ongoing reductions in the cost of solar photovoltaic (PV) systems are driving their increased installations by residential households. Various incentive programs such as feed-in tariff, net metering, net purchase and sale that allow the prosumers to sell their generated electricity to the grid are also powering this trend. In this paper, we investigate sharing of PV systems among a community of households, who can also benefit further by pooling their production. Using cooperative game theory, we find conditions under which such sharing decreases their net total cost. We also develop allocation rules such that the joint net electricity consumption cost is allocated to the participants. These cost allocations are based on the cost causation principle. The allocations also satisfy the standalone cost principle and promote PV solar aggregation. We also perform a comparative analytical study on the benefit of sharing under the mechanisms favorable for sharing, namely net metering, and net purchase and sale. The results are illustrated in a case study using real consumption data from a residential community in Austin, Texas.


title: Precise effective masses from density functional perturbation theory

abstract: The knowledge of effective masses is a key ingredient to analyze numerous properties of semiconductors, like carrier mobilities, (magneto-)transport properties, or band extrema characteristics yielding carrier densities and density of states. Currently, these masses are usually calculated using finite-difference estimation of density functional theory (DFT) electronic band curvatures. However, finite differences require an additional convergence study and are prone to numerical noise. Moreover, the concept of effective mass breaks down at degenerate band extrema. We assess the former limitation by developing a method that allows to obtain the Hessian of DFT bands directly, using density functional perturbation theory (DFPT). Then, we solve the latter issue by adapting the concept of `transport equivalent effective mass' to the $\vec{k} \cdot \hat{\vec{p}}$ framework. The numerical noise inherent to finite-difference methods is thus eliminated, along with the associated convergence study. The resulting method is therefore more general, more robust and simpler to use, which makes it especially appropriate for high-throughput computing. After validating the developed techniques, we apply them to the study of silicon, graphane, and arsenic. The formalism is implemented into the ABINIT software and supports the norm-conserving pseudopotential approach, the projector augmented-wave method, and the inclusion of spin-orbit coupling. The derived expressions also apply to the ultrasoft pseudopotential method.


title: Arabic Multi-Dialect Segmentation: bi-LSTM-CRF vs. SVM

abstract: Arabic word segmentation is essential for a variety of NLP applications such as machine translation and information retrieval. Segmentation entails breaking words into their constituent stems, affixes and clitics. In this paper, we compare two approaches for segmenting four major Arabic dialects using only several thousand training examples for each dialect. The two approaches involve posing the problem as a ranking problem, where an SVM ranker picks the best segmentation, and as a sequence labeling problem, where a bi-LSTM RNN coupled with CRF determines where best to segment words. We are able to achieve solid segmentation results for all dialects using rather limited training data. We also show that employing Modern Standard Arabic data for domain adaptation and assuming context independence improve overall results.


title: The performance and limitations of FPGA-based digital servos for atomic, molecular, and optical physics experiments

abstract: In this work we address the advantages, limitations, and technical subtleties of employing FPGA-based digital servos for high-bandwidth feedback control of lasers in atomic, molecular, and optical (AMO) physics experiments. Specifically, we provide the results of benchmark performance tests in experimental setups including noise, bandwidth, and dynamic range for two digital servos built with low and mid-range priced FPGA development platforms. The digital servo results are compared to results obtained from a commercially available state-of-the-art analog servo using the same plant for control (intensity stabilization). The digital servos have feedback bandwidths of 2.5 MHz, limited by the total signal latency, and we demonstrate improvements beyond the transfer function offered by the analog servo including a three pole filter and a two pole filter with phase compensation to suppress resonances. We also discuss limitations of our FPGA-servo implementation and general considerations when designing and using digital servos.


title: Dimensional Regularization of Renyi's Statistical Mechanics

abstract: We show that typical Renyi's statistical mechanics' quantifiers exhibit poles. We are referring to the partition function ${\cal Z}$ and the mean energy $<{\cal U}>$. Renyi's entropy is characterized by a real parameter $\alpha$. The poles emerge in a numerable set of rational numbers belonging to the $\alpha-$line. Physical effects of these poles are studied by appeal to dimensional regularization, as usual. Interesting effects are found, as for instance, gravitational ones.


title: An Improved Multi-Output Gaussian Process RNN with Real-Time Validation for Early Sepsis Detection

abstract: Sepsis is a poorly understood and potentially life-threatening complication that can occur as a result of infection. Early detection and treatment improves patient outcomes, and as such it poses an important challenge in medicine. In this work, we develop a flexible classifier that leverages streaming lab results, vitals, and medications to predict sepsis before it occurs. We model patient clinical time series with multi-output Gaussian processes, maintaining uncertainty about the physiological state of a patient while also imputing missing values. The mean function takes into account the effects of medications administered on the trajectories of the physiological variables. Latent function values from the Gaussian process are then fed into a deep recurrent neural network to classify patient encounters as septic or not, and the overall model is trained end-to-end using back-propagation. We train and validate our model on a large dataset of 18 months of heterogeneous inpatient stays from the Duke University Health System, and develop a new "real-time" validation scheme for simulating the performance of our model as it will actually be used. Our proposed method substantially outperforms clinical baselines, and improves on a previous related model for detecting sepsis. Our model's predictions will be displayed in a real-time analytics dashboard to be used by a sepsis rapid response team to help detect and improve treatment of sepsis.


title: Identifying down and up-regulated chromosome regions using RNA-Seq data

abstract: The number of studies dealing with RNA-Seq data analysis has experienced a fast increase in the past years making this type of gene expression a strong competitor to the DNA microarrays. This paper proposes a Bayesian model to detect down and up-regulated chromosome regions using RNA-Seq data. The methodology is based on a recent work developed to detect up-regulated regions in the context of microarray data. A hidden Markov model is developed by considering a mixture of Gaussian distributions with ordered means in a way that first and last mixture components are supposed to accommodate the under and overexpressed genes, respectively. The model is flexible enough to efficiently deal with the highly irregular spaced configuration of the data by assuming a hierarchical Markov dependence structure. The analysis of four cancer data sets (breast, lung, ovarian and uterus) is presented. Results indicate that the proposed model is selective in determining the regulation status, robust with respect to prior specifications and provides tools for a global or local search of under and overexpressed chromosome regions.


title: A Cointuitionistic Adjoint Logic

abstract: One leading question with respect to Bi-intuitionistic logic (BINT) is, what does BINT look like across the three arcs -- logic, typed $\lambda$-calculi, and category theory -- of the Curry-Howard-Lambek correspondence? Categorically, BINT can be seen as a mixing of two worlds: the first being intuitionistic logic (IL), which is modeled by a cartesian closed category, and the second being the dual to intuitionistic logic called cointuitionistic logic (coIL), which is modeled by a cocartesian coclosed category. Crolard showed that combining these two categories into the same category results in it degenerating to a poset. However, this degeneration does not occur when both logics are linear. We propose that IL and coIL need to be separated, and then mixed in a controlled way using the modalities from linear logic. This separation can be ultimately achieved by an adjoint formalization of bi-intuitionistic logic. This formalization consists of three worlds instead of two: the first is intuitionistic logic, the second is linear bi-intuitionistic (Bi-ILL), and the third is cointuitionistic logic. They are then related via two adjunctions. The adjunction between IL and ILL is known as a Linear/Non-linear model (LNL model) of ILL, and is due to Benton. However, the dual to LNL models which would amount to the adjunction between coILL and coIL has yet to appear in the literature. In this paper we fill this gap by studying the dual to LNL models which we call dual LNL models. We show that dual LNL models correspond to dual linear categories, the dual to Bierman's linear categories proposed by Bellin. Then we give the definition of bi-LNL models by combining our model with LNL models to obtain a new model of bi-intuitionistic logic. Finally, we give a corresponding sequent calculus, natural deduction, and term assignment for dual LNL models.


title: Computer-aided diagnosis of lung nodule using gradient tree boosting and Bayesian optimization

abstract: We aimed to evaluate computer-aided diagnosis (CADx) system for lung nodule classification focusing on (i) usefulness of gradient tree boosting (XGBoost) and (ii) effectiveness of parameter optimization using Bayesian optimization (Tree Parzen Estimator, TPE) and random search. 99 lung nodules (62 lung cancers and 37 benign lung nodules) were included from public databases of CT images. A variant of local binary pattern was used for calculating feature vectors. Support vector machine (SVM) or XGBoost was trained using the feature vectors and their labels. TPE or random search was used for parameter optimization of SVM and XGBoost. Leave-one-out cross-validation was used for optimizing and evaluating the performance of our CADx system. Performance was evaluated using area under the curve (AUC) of receiver operating characteristic analysis. AUC was calculated 10 times, and its average was obtained. The best averaged AUC of SVM and XGBoost were 0.850 and 0.896, respectively; both were obtained using TPE. XGBoost was generally superior to SVM. Optimal parameters for achieving high AUC were obtained with fewer numbers of trials when using TPE, compared with random search. In conclusion, XGBoost was better than SVM for classifying lung nodules. TPE was more efficient than random search for parameter optimization.


title: Phase Evolution of the Crab Pulsar between Radio and X-ray

abstract: We study the X-ray phases of the Crab pulsar utilizing the 11-year observations from the Rossi X-ray Timing Explorer, 6-year radio observations from the Nanshan Telescope, and the ephemeris from Jodrell Bank Observatory. It is found that the X-ray phases in different energy bands and the radio phases from Nanshan Telescope show similar behaviors, including long-time evolution and short-time variations. Such strong correlations between the X-ray and radio phases imply that the radio and X-ray timing noises are both generated from the pulsar spin that cannot be well described by the the monthly ephemeris from the Jodrell Bank observatory. When using the Nanshan phases as references to study the X-ray timing noise, it has a significantly smaller variation amplitude and shows no long-time evolution, with a change rate of $(-1.1\pm1.1)\times10^{-7}$ periods per day. These results show that the distance of the X-ray and radio emission regions on the Crab pulsar has no detectable secular change, and it is unlikely that timing-noises resulted from any unique physical processes in the radio or X-ray emitting regions. The similar behaviors of the X-ray and radio timing noises also imply that the variation of the interstellar medium is not the origin of the Crab pulsar's timing noises, which is consistent with the results obtained from the multi-frequency radio observations of PSR B1540-06.


title: Circular Dichroism of Single Particles

abstract: Circular dichroism (CD), induced by chirality, is an important tool for manipulating light or for characterizing morphology of molecules, proteins, crystals and nano-structures. CD is manifested over a wide size-range, from molecules to crystals or large nanostructures. Being a weak phenomenon (small fraction of absorption), CD is routinely measured on macroscopic amount of matter in solution, crystals, or arrays of fabricated meta-particles. These measurements mask the sensitivity of CD to small structural variation in nano-objects. Recently, several groups reported on chiroptical effects in individual nanoscale objects: Some, using near-field microscopy, where the tip-object interaction requires consideration. Some, using dark field scattering on large objects, and others by monitoring the fluorescence of individual chiral molecules. Here, we report on the direct observation of CD in individual nano-objects by far field extinction microscopy. CD measurements of both chiral shaped nanostructures (Gammadions) and nanocrystals (HgS) with chiral lattice structure are reported.


title: Linearized modified gravity theories with a cosmological term: advance of perihelion and deflection of light

abstract: Two different ways of generalizing Einstein's general theory of relativity with a cosmological constant to Brans-Dicke type scalar-tensor theories are investigated in the linearized field approximation. In the first case a cosmological constant term is coupled to a scalar field linearly whereas in the second case an arbitrary potential plays the role of a variable cosmological term. We see that the former configuration leads to a massless scalar field whereas the latter leads to a massive scalar field. General solutions of these linearized field equations for both cases are obtained corresponding to a static point mass. Geodesics of these solutions are also presented and solar system effects such as the advance of the perihelion, deflection of light rays and gravitational redshift were discussed. In general relativity cosmological constant has no role on these phenomena. We see that for the Brans-Dicke theory the cosmological constant has also no effect on these phenomena. This is because solar system observations require very large values of the Brans-Dicke parameter and the correction terms to these phenomena becomes identical to GR for these large values of this parameter. This result is also observed for the theory with arbitrary potential if the mass of the scalar field is very light. For a very heavy scalar field, however, there is no such limit on the value of this parameter and there are ranges of this parameter where these contributions may become relevant in these scales. Galactic and intergalactic dynamics is also discussed for these theories at the latter part of the paper with similar conclusions.


title: The Inverse Eigenvalue Problem for Entanglement Witnesses

abstract: We consider the inverse eigenvalue problem for entanglement witnesses, which asks for a characterization of their possible spectra (or equivalently, of the possible spectra resulting from positive linear maps of matrices). We completely solve this problem in the two-qubit case and we derive a large family of new necessary conditions on the spectra in arbitrary dimensions. We also establish a natural duality relationship with the set of absolutely separable states, and we completely characterize witnesses (i.e., separating hyperplanes) of that set when one of the local dimensions is 2.


title: Group twin coloring of graphs

abstract: For a given graph $G$, the least integer $k\geq 2$ such that for every Abelian group $\mathcal{G}$ of order $k$ there exists a proper edge labeling $f:E(G)\rightarrow \mathcal{G}$ so that $\sum_{x\in N(u)}f(xu)\neq \sum_{x\in N(v)}f(xv)$ for each edge $uv\in E(G)$ is called the \textit{group twin chromatic index} of $G$ and denoted by $\chi'_g(G)$. This graph invariant is related to a few well-known problems in the field of neighbor distinguishing graph colorings. We conjecture that $\chi'_g(G)\leq \Delta(G)+3$ for all graphs without isolated edges, where $\Delta(G)$ is the maximum degree of $G$, and provide an infinite family of connected graph (trees) for which the equality holds. We prove that this conjecture is valid for all trees, and then apply this result as the base case for proving a general upper bound for all graphs $G$ without isolated edges: $\chi'_g(G)\leq 2(\Delta(G)+{\rm col}(G))-5$, where ${\rm col}(G)$ denotes the coloring number of $G$. This improves the best known upper bound known previously only for the case of cyclic groups $\mathbb{Z}_k$.


title: An FPT algorithm for planar multicuts with sources and sinks on the outer face

abstract: Given a list of k source-sink pairs in an edge-weighted graph G, the minimum multicut problem consists in selecting a set of edges of minimum total weight in G, such that removing these edges leaves no path from each source to its corresponding sink. To the best of our knowledge, no non-trivial FPT result for special cases of this problem, which is APX-hard in general graphs for any fixed k>2, is known with respect to k only. When the graph G is planar, this problem is known to be polynomial-time solvable if k=O(1), but cannot be FPT with respect to k under the Exponential Time Hypothesis. In this paper, we show that, if G is planar and in addition all sources and sinks lie on the outer face, then this problem does admit an FPT algorithm when parameterized by k (although it remains APX-hard when k is part of the input, even in stars). To do this, we provide a new characterization of optimal solutions in this case, and then use it to design a "divide-and-conquer" approach: namely, some edges that are part of any such solution actually define an optimal solution for a polynomial-time solvable multiterminal variant of the problem on some of the sources and sinks (which can be identified thanks to a reduced enumeration phase). Removing these edges from the graph cuts it into several smaller instances, which can then be solved recursively.


title: Abstract Interpretation of Stateful Networks

abstract: Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates the task of network verification. Previous work showed that the problem is undecidable in general and EXPSPACE-complete when abstracting away the order of packet arrival. We describe a new algorithm for conservatively checking isolation properties of stateful networks. The asymptotic complexity of the algorithm is polynomial in the size of the network, albeit being exponential in the maximal number of queries of the local state that a middlebox can do, which is often small. Our algorithm is sound, i.e., it can never miss a violation of safety but may fail to verify some properties. The algorithm performs on-the fly abstract interpretation by (1) abstracting away the order of packet processing and the number of times each packet arrives, (2) abstracting away correlations between states of different middleboxes and channel contents, and (3) representing middlebox states by their effect on each packet separately, rather than taking into account the entire state space. We show that the abstractions do not lose precision when middleboxes may reset in any state. This is encouraging since many real middleboxes reset, e.g., after some session timeout is reached or due to hardware failure.


title: Designing for Pragmatists and Fundamentalists: Privacy Concerns and Attitudes on the Internet of Things

abstract: Internet of Things (IoT) systems have aroused enthusiasm and concerns. Enthusiasm comes from their utilities in people daily life, and concerns may be associated with privacy issues. By using two IoT systems as case-studies, we examine users' privacy beliefs, concerns and attitudes. We focus on four major dimensions: the collection of personal data, the inference of new information, the exchange of information to third parties, and the risk-utility trade-off posed by the features of the system. Altogether, 113 Brazilian individuals answered a survey about such dimensions. Although their perceptions seem to be dependent on the context, there are recurrent patterns. Our results suggest that IoT users can be classified into unconcerned, fundamentalists and pragmatists. Most of them exhibit a pragmatist profile and believe in privacy as a right guaranteed by law. One of the most privacy concerning aspect is the exchange of personal information to third parties. Individuals' perceived risk is negatively correlated with their perceived utility in the features of the system. We discuss practical implications of these results and suggest heuristics to cope with privacy concerns when designing IoT systems.


title: Quantum probe hyperpolarisation of molecular nuclear spins

abstract: The hyperpolarisation of nuclear spins within target molecules is a critical and complex challenge in magnetic resonance imaging (MRI) and nuclear magnetic resonance (NMR) spectroscopy. Hyperpolarisation offers enormous gains in signal and spatial resolution which may ultimately lead to the development of molecular MRI and NMR. At present, techniques used to polarise nuclear spins generally require low temperatures and/or high magnetic fields, radio-frequency control fields, or the introduction of catalysts or free-radical mediators. The emergence of room temperature solid-state spin qubits has opened exciting new pathways to circumvent these requirements to achieve direct nuclear spin hyperpolarisation using quantum control. Employing a novel cross-relaxation induced polarisation (CRIP) protocol using a single nitrogen-vacancy (NV) centre in diamond, we demonstrate the first external nuclear spin hyperpolarisation achieved by a quantum probe, in this case of $^1$H molecular spins in poly(methyl methacrylate). In doing so, we show that a single qubit is capable of increasing the thermal polarisation of $\sim 10^6$ nuclear spins by six orders of magnitude, equivalent to an applied magnetic field of $10^5$\,T. The technique can also be tuned to multiple spin species, which we demonstrate using both \C{13} and $^1$H nuclear spin ensembles. Our results are analysed and interpreted via a detailed theoretical treatment, which is also used to describe how the system can be scaled up to a universal quantum hyperpolarisation platform for the production of macroscopic quantities of contrast agents at high polarisation levels for clinical applications. These results represent a new paradigm for nuclear spin hyperpolarisation for molecular imaging and spectroscopy, and beyond into areas such as materials science and quantum information processing.


title: Electricity Theft Detection using Machine Learning

abstract: Non-technical losses (NTL) in electric power grids arise through electricity theft, broken electric meters or billing errors. They can harm the power supplier as well as the whole economy of a country through losses of up to 40% of the total power distribution. For NTL detection, researchers use artificial intelligence to analyse data. This work is about improving the extraction of more meaningful features from a data set. With these features, the prediction quality will increase.


title: Designing virus-resistant, high-performance networks: a game-formation approach

abstract: Designing an optimal network topology while balancing multiple, possibly conflicting objectives like cost, performance, and resiliency to viruses is a challenging endeavor, let alone in the case of decentralized network formation. We therefore propose a game-formation technique where each player aims to minimize its cost in installing links, the probability of being infected by a virus and the sum of hopcounts on its shortest paths to all other nodes. In this article, we (1) determine the Nash Equilibria and the Price of Anarchy for our novel network formation game, (2) demonstrate that the Price of Anarchy (PoA) is usually low, which suggests that (near-)optimal topologies can be formed in a decentralized way, and (3) give suggestions for practitioners for those cases where the PoA is high and some centralized control/incentives are advisable.


title: Direct Generation and Detection of Correlated Photons with 3.2 um Wavelength Spacing

abstract: Quantum correlated, highly non-degenerate photons can be used to synthesize disparate quantum nodes and link quantum processing over incompatible wavelengths, thereby constructing heterogeneous quantum systems for otherwise unattainable superior performance. Existing techniques for correlated photons have been concentrated in the visible and near-IR domains, with the photon pairs residing within one octave. Here, we demonstrate direct generation and detection of high-purity photon pairs at room temperature that are four octaves apart, one at 780 nm to match the rubidium D2 line, and the other at 3950 nm that falls in a transparent, low-scattering optical window for free space applications. The pairs are created via spontaneous parametric downconversion in a lithium niobate waveguide with specially designed geometry and periodic poling. The 780 nm photons are measured with a silicon avalanche photodiode, and the 3950 nm photons are measured with an upconversion photon detector using a similar waveguide, which attains 34% internal conversion efficiency. Quantum correlation measurement yields a high coincidence-to-accidental ratio of 54, which indicates the strong correlation with the extremely non-degenerate photon pairs. Our system bridges existing quantum technology to the challenging mid-IR regime, where unprecedented applications are expected in metrology, sensing, communications, medical diagnostics, and so on.


title: St 2-22 - another symbiotic star with high-velocity bipolar jets

abstract: We report finding high-velocity components in the H{\alpha} emission wings of St 2-22 spectra, obtained in 2005. This discovery have encouraged us to start the present study, aiming to show that this little studied object is a jet producing symbiotic system. We used high-resolution optical and low-resolution near infrared spectra, as well as available optical and infrared photometry, to evaluate some of the physical parameters of the St 2-22 components and the characteristics of the jets. The evaluated parameters of the components confirmed that St 2-22 is a S-type symbiotic star. Our results demonstrate that an unnoticed outburst of St 2-22, similar to those in classical symbiotics, occurred in the first half of 2005. During the outburst, collimated, bipolar jets were ejected by the hot component of St 2-22 with an average velocity of about 1700 km/s.


title: On the $C^k$-embedding of Lorentzian manifolds in Ricci-flat spaces

abstract: In this paper we investigate the problem of non-analytic embeddings of Lorentzian manifolds in Ricci-flat semi-Riemannian spaces. In order to do this, we first review some relevant results in the area, and then motivate both the mathematical and physical interest in this problem. We show that any $n$-dimensional compact Lorentzian manifold $(M^{n},g)$, with $g$ in the Sobolev space $H_{s+3}$, $s>\frac{n}{2}$, admits an isometric embedding in an $(2n+2)$-dimensional Ricci-flat semi-Riemannian manifold. The sharpest result available for this type of embeddings, in the general setting, comes as a corollary of Greene's remarkable embedding theorems [R. Greene, Mem. Am. Math. Soc. 97, 1 (1970)], which guarantee the embedding of a compact $n$-dimensional semi-Riemannian manifold into an $n(n+5)$-dimensional semi-Euclidean space, thereby guaranteeing the embedding into a Ricci-flat space with the same dimension. The theorem presented here improves this corollary in $n^{2}+3n-2$ codimensions by replacing the Riemann-flat condition with the Ricci-flat one from the beginning. Finally, we will present a corollary of this theorem, which shows that a compact strip in an $n$-dimensional globally hyperbolic space-time can be embedded in a $(2n+2)$-dimensional Ricci-flat semi-Riemannian manifold.


title: On the Bott index of unitary matrices on a finite torus

abstract: This article reviews the foundations of the theory of the Bott index of a pair of unitary matrices in the context of condensed matter theory, as developed by Hastings and Loring in J. Math. Phys. (51), 015214, (2010) and Annals of Physics 326 (2011) 1699-1759, providing a novel proof of the equality with the Chern number. The Bott index is defined for a pair of unitary matrices, then extended to a pair of invertible matrices and homotopic invariance of the index is proven. An insulator defined on a lattice on a 2-torus, that is a rectangular lattice with periodic boundary conditions, is considered and a pair of quasi-unitary matrices associated to this physical system are introduced. It is shown that their Bott index is well defined and the connection with the transverse conductance, the Chern number, is established proving the equality of the two quantities.

categories: cond-mat.mes-hall cond-mat.quant-gas math-ph math.MP


title: Quillen equivalent models for the derived category of flats and the resolution property

abstract: We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flats is equivalent to the derived category of very flats. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.