title: Speech recognition for medical conversations

abstract: In this work we explored building automatic speech recognition models for transcribing doctor patient conversation. We collected a large scale dataset of clinical conversations ($14,000$ hr), designed the task to represent the real word scenario, and explored several alignment approaches to iteratively improve data quality. We explored both CTC and LAS systems for building speech recognition models. The LAS was more resilient to noisy data and CTC required more data clean up. A detailed analysis is provided for understanding the performance for clinical tasks. Our analysis showed the speech recognition models performed well on important medical utterances, while errors occurred in causal conversations. Overall we believe the resulting models can provide reasonable quality in practice.


title: Onset of a modulational instability in trapped dipolar Bose-Einstein condensates

abstract: We explore the phase diagram of a finite-sized dysprosium dipolar Bose-Einstein condensate in a cylindrical harmonic trap. We monitor the final state after the scattering length is lowered from the repulsive BEC regime to the quantum droplet regime. Either an adiabatic transformation between a BEC and a quantum droplet is obtained or, above a critical trap aspect ratio $\lambda_{\rm c}=1.87(14)$, a modulational instability results in the formation of multiple droplets. This is in full agreement with the predicted structure of the phase diagram with a crossover region below $\lambda_{\rm c}$ and a multistable region above. Our results provide the missing piece connecting the previously explored regimes resulting in a single or multiple dipolar quantum droplets.


title: Quantum droplet of one-dimensional bosons with a three-body attraction

abstract: Ultracold atoms offer valuable opportunities where interparticle interactions can be controlled at will. In particular, by extinguishing the two-body interaction, one can realize unique systems governed by the three-body interaction, which is otherwise hidden behind the two-body interaction. Here we study one-dimensional bosons with a weak three-body attraction and show that they form few-body bound states as well as a many-body droplet stabilized by the quantum mechanical effect. Their binding energies relative to that of three bosons are all universal and the ground-state energy of the dilute droplet is found to grow exponentially as $E_N/E_3\to\exp(8N^2/\sqrt3\pi)$ with increasing particle number $N\gg1$. The realization of our system with coupled two-component bosons in an optical lattice is also discussed.


title: Backscatter Communications for the Internet of Things: A Stochastic Geometry Approach

abstract: Motivated by the recent advances in the Internet of Things (IoT) and in Wireless Power Transfer (WPT), we study a network architecture that consists of power beacons (PBs) and passive backscatter nodes (BNs). The PBs transmit a sinusoidal continuous wave (CW) and the BNs reflect back a portion of this signal while harvesting the remaining part. A BN harvests energy from multiple nearby PBs and modulates its information bits on the composite CW through backscatter modulation. The analysis poses real challenges due to the double fading channel, and its dependence on the PPPs of both the BNs and PBs. However, with the help of stochastic geometry, we derive the coverage probability and the capacity of the network in tractable and easily computable expressions, which depend on different system parameters. We observe that the coverage probability decreases with an increase in the density of the BNs, while the capacity of the network improves. We further compare the performance of this network with a regular powered network in which the BNs have a reliable power source and show that for a very high density of the PBs, the coverage probability of the former network approaches that of the regular powered network.


title: Software Distribution Transparency and Auditability

abstract: A large user base relies on software updates provided through package managers. This provides a unique lever for improving the security of the software update process. We propose a transparency system for software updates and implement it for a widely deployed Linux package manager, namely APT. Our system is capable of detecting targeted backdoors without producing overhead for maintainers. In addition, in our system, the availability of source code is ensured, the binding between source and binary code is verified using reproducible builds, and the maintainer responsible for distributing a specific package can be identified. We describe a novel "hidden version" attack against current software transparency systems and propose as well as integrate a suitable defense. To address equivocation attacks by the transparency log server, we introduce tree root cross logging, where the log's Merkle tree root is submitted into a separately operated log server. This significantly relaxes the inter-operator cooperation requirements compared to other systems. Our implementation is evaluated by replaying over 3000 updates of the Debian operating system over the course of two years, demonstrating its viability and identifying numerous irregularities.


title: Information and Arbitrage: Applications of Quantum Groups in Mathematical Finance

abstract: The relationship between expectation and price is commonly established with two principles: no-arbitrage, which asserts that both maps are positive; and equivalence, which asserts that the maps share the same null events. Constructed from the Arrow-Debreu securities, classical and quantum models of economics are then distinguished by their respective use of classical and quantum logic, following the program of von Neumann. In this essay, the operations and axioms of quantum groups are discovered in the minimal preconditions of stochastic and functional calculus, making this the natural domain for the axiomatic development of mathematical finance. Quantum economics emerges from the twin pillars of the Gelfand-Naimark-Segal construction, implementing the principle of no-arbitrage, and the Radon-Nikodym theorem, implementing the principle of equivalence. Exploiting quantum group duality, a holographic principle that exchanges the roles of state and observable creates two distinct economic models from the same set of elementary valuations. Advocating on the grounds that this contains and extends classical economics, noncommutativity is presented as a modelling resource, with novel applications in the pricing of options and other derivative securities.


title: Vision-and-Language Navigation: Interpreting visually-grounded navigation instructions in real environments

abstract: A robot that can carry out a natural-language instruction has been a dream since before the Jetsons cartoon series imagined a life of leisure mediated by a fleet of attentive robot helpers. It is a dream that remains stubbornly distant. However, recent advances in vision and language methods have made incredible progress in closely related areas. This is significant because a robot interpreting a natural-language navigation instruction on the basis of what it sees is carrying out a vision and language process that is similar to Visual Question Answering. Both tasks can be interpreted as visually grounded sequence-to-sequence translation problems, and many of the same methods are applicable. To enable and encourage the application of vision and language methods to the problem of interpreting visually-grounded navigation instructions, we present the Matterport3D Simulator -- a large-scale reinforcement learning environment based on real imagery. Using this simulator, which can in future support a range of embodied vision and language tasks, we provide the first benchmark dataset for visually-grounded natural language navigation in real buildings -- the Room-to-Room (R2R) dataset.


title: On Poincar\'e series of half-integral weight

abstract: We use Poincar\'e series of $ K $-finite matrix coefficients of genuine integrable representations of the metaplectic cover of $ \mathrm{SL}_2(\mathbb R) $ to construct a spanning set for the space of cusp forms $ S_m(\Gamma,\chi) $, where $ \Gamma $ is a discrete subgroup of finite covolume in the metaplectic cover of $ \mathrm{SL}_2(\mathbb R) $, $ \chi $ is a character of $ \Gamma $ of finite order, and $ m\in\frac52+\mathbb Z_{\geq0} $. We give a result on the non-vanishing of the constructed cusp forms and compute their Petersson inner product with any $ f\in S_m(\Gamma,\chi) $. Using this last result, we construct a Poincar\'e series $ \Delta_{\Gamma,k,m,\xi,\chi}\in S_m(\Gamma,\chi) $ that corresponds, in the sense of the Riesz representation theorem, to the linear functional $ f\mapsto f^{(k)}(\xi) $ on $ S_m(\Gamma,\chi) $, where $ \xi\in\mathbb C_{\Im(z)>0} $ and $ k\in\mathbb Z_{\geq0} $. Under some additional conditions on $ \Gamma $ and $ \chi $, we provide the Fourier expansion of cusp forms $ \Delta_{\Gamma,k,m,\xi,\chi} $ and their expansion in a series of classical Poincar\'e series.


title: Interacting dark energy in the dark $SU(2)_R$ model

abstract: We explore the cosmological implications of the interactions among the dark particles in the dark $SU(2)_R$ model. It turns out that the relevant interaction is between dark energy and dark matter, through a decay process. With respect to the standard $\Lambda$CDM model, it changes only the background equations. We note that the observational aspects of the model are dominated by degeneracies between the parameters that describe the process. Thus, only the usual $\Lambda$CDM parameters, such as the Hubble expansion rate and the dark energy density parameter (interpreted as the combination of the densities of the dark energy doublet) could be constrained by observations at this moment.


title: Evidence of the QCD tricritical endpoint existence at NICA-FAIR energies

abstract: We present a summary of possible signals of the chiral symmetry restoration and deconfinement phase transitions which may be, respectively, probed at the center of mass collision energies at 4.3-4.9 GeV and above 8.7-9.2 GeV. It is argued that these signals may evidence for an existence of the tricritical endpoint of QCD phase diagram at the collision energy around 8.7-9.2 GeV. The equation of state of hadronic matter with the restored chiral symmetry is discussed and the number of bosonic and fermionic degrees of freedom is found.


title: Datko-Pazy conditions for nonuniform exponential stability

abstract: For linear cocycles over both maps and flows, we obtain Datko-Pazy type of conditions under which all Lyapunov exponents of a given cocycle are negative. Furthermore, by combining our results with the results on subadditive ergodic optimisation, we also present new criteria for uniform exponential stability of linear cocycles.


title: Quantum Query Algorithms are Completely Bounded Forms

abstract: We prove a characterization of $t$-query quantum algorithms in terms of the unit ball of a space of degree-$2t$ polynomials. Based on this, we obtain a refined notion of approximate polynomial degree that equals the quantum query complexity, answering a question of Aaronson et al. (CCC'16). Our proof is based on a fundamental result of Christensen and Sinclair (J. Funct. Anal., 1987) that generalizes the well-known Stinespring representation for quantum channels to multilinear forms. Using our characterization, we show that many polynomials of degree four are far from those coming from two-query quantum algorithms. We also give a simple and short proof of one of the results of Aaronson et al. showing an equivalence between one-query quantum algorithms and bounded quadratic polynomials. Revision note: A mistake was found in the proof of the second result on degree-4 polynomials far from 2-query quantum algorithms. An explanation of the issue, a corrected proof and stronger examples are presented in work of Escudero Guti\'errez and the second author.


title: Observation of Coulomb gap in the quantum spin Hall candidate single-layer 1T'-WTe$_2$

abstract: The two-dimensional topological insulators (2DTI) host a full gap in the bulk band, induced by spin-orbit coupling (SOC) effect, together with the topologically protected gapless edge states. However, the SOC-induced gap is usually small, and it is challenging to suppress the bulk conductance and thus to realize the quantum spin Hall (QSH) effect. In this study, we find a novel mechanism to effectively suppress the bulk conductance. By using the quasiparticle interference (QPI) technique with scanning tunneling spectroscopy (STS), we demonstrate that the QSH candidate single-layer 1T'-WTe$_2$ has a semi-metal bulk band structure with no full SOC-induced gap. Surprisingly, in this two-dimensional system, we find the electron interactions open a Coulomb gap which is always pinned at the Fermi energy (E$_F$). The opening of the Coulomb gap can efficiently diminish the bulk state at the E$_F$ and is in favor of the observation of the quantized conduction of topological edge states.


title: Non-exchangeable random partition models for microclustering

abstract: Many popular random partition models, such as the Chinese restaurant process and its two-parameter extension, fall in the class of exchangeable random partitions, and have found wide applicability in model-based clustering, population genetics, ecology or network analysis. While the exchangeability assumption is sensible in many cases, it has some strong implications. In particular, Kingman's representation theorem implies that the size of the clusters necessarily grows linearly with the sample size; this feature may be undesirable for some applications, as recently pointed out by Miller et al. (2015). We present here a flexible class of non-exchangeable random partition models which are able to generate partitions whose cluster sizes grow sublinearly with the sample size, and where the growth rate is controlled by one parameter. Along with this result, we provide the asymptotic behaviour of the number of clusters of a given size, and show that the model can exhibit a power-law behavior, controlled by another parameter. The construction is based on completely random measures and a Poisson embedding of the random partition, and inference is performed using a Sequential Monte Carlo algorithm. Additionally, we show how the model can also be directly used to generate sparse multigraphs with power-law degree distributions and degree sequences with sublinear growth. Finally, experiments on real datasets emphasize the usefulness of the approach compared to a two-parameter Chinese restaurant process.


title: When Fourth Moments Are Enough

abstract: This note concerns a somewhat innocent question motivated by an observation concerning the use of Chebyshev bounds on sample estimates of $p$ in the binomial distribution with parameters $n,p$. Namely, what moment order produces the best Chebyshev estimate of $p$? If $S_n(p)$ has a binomial distribution with parameters $n,p$, there it is readily observed that ${\rm argmax}_{0\le p\le 1}{\mathbb E}S_n^2(p) = {\rm argmax}_{0\le p\le 1}np(1-p) = \frac12,$ and ${\mathbb E}S_n^2(\frac12) = \frac{n}{4}$. Rabi Bhattacharya observed that while the second moment Chebyshev sample size for a $95\%$ confidence estimate within $\pm 5$ percentage points is $n = 2000$, the fourth moment yields the substantially reduced polling requirement of $n = 775$. Why stop at fourth moment? Is the argmax achieved at $p = \frac12$ for higher order moments and, if so, does it help, and compute $\mathbb{E}S_n^{2m}(\frac12)$? As captured by the title of this note, answers to these questions lead to a simple rule of thumb for best choice of moments in terms of an effective sample size for Chebyshev concentration inequalities.


title: Learning Steerable Filters for Rotation Equivariant CNNs

abstract: In many machine learning tasks it is desirable that a model's prediction transforms in an equivariant way under transformations of its input. Convolutional neural networks (CNNs) implement translational equivariance by construction; for other transformations, however, they are compelled to learn the proper mapping. In this work, we develop Steerable Filter CNNs (SFCNNs) which achieve joint equivariance under translations and rotations by design. The proposed architecture employs steerable filters to efficiently compute orientation dependent responses for many orientations without suffering interpolation artifacts from filter rotation. We utilize group convolutions which guarantee an equivariant mapping. In addition, we generalize He's weight initialization scheme to filters which are defined as a linear combination of a system of atomic filters. Numerical experiments show a substantial enhancement of the sample complexity with a growing number of sampled filter orientations and confirm that the network generalizes learned patterns over orientations. The proposed approach achieves state-of-the-art on the rotated MNIST benchmark and on the ISBI 2012 2D EM segmentation challenge.


title: Cosmological dynamics of mimetic gravity

abstract: We present a detailed investigation of the dynamical behavior of mimetic gravity with a general potential for the mimetic scalar field. Performing a phase-space and stability analysis, we show that the scenario at hand can successfully describe the thermal history of the universe, namely the successive sequence of radiation, matter, and dark-energy eras. Additionally, at late times the universe can either approach a de Sitter solution, or a scaling accelerated attractor where the dark-matter and dark-energy density parameters are of the same order, thus offering an alleviation of the cosmic coincidence problem. Applying our general analysis to various specific potential choices, including the power-law and the exponential ones, we show that mimetic gravity can be brought into good agreement with the observed behavior of the universe. Moreover, with an inverse square potential we find that mimetic gravity offers an appealing unified cosmological scenario where both dark energy and dark matter are characterized by a single scalar field, and where the cosmic coincidence problem is alleviated.


title: Do altmetrics correlate with the quality of papers? A large-scale empirical study based on F1000Prime data

abstract: In this study, we address the question whether (and to what extent, respectively) altmetrics are related to the scientific quality of papers (as measured by peer assessments). Only a few studies have previously investigated the relationship between altmetrics and assessments by peers. In the first step, we analyse the underlying dimensions of measurement for traditional metrics (citation counts) and altmetrics - by using principal component analysis (PCA) and factor analysis (FA). In the second step, we test the relationship between the dimensions and quality of papers (as measured by the post-publication peer-review system of F1000Prime assessments) - using regression analysis. The results of the PCA and FA show that altmetrics operate along different dimensions, whereas Mendeley counts are related to citation counts, and tweets form a separate dimension. The results of the regression analysis indicate that citation-based metrics and readership counts are significantly more related to quality, than tweets. This result on the one hand questions the use of Twitter counts for research evaluation purposes and on the other hand indicates potential use of Mendeley reader counts.


title: A phase field approach to trabecular bone remodeling

abstract: We introduce a continuous modeling approach which combines elastic responds of the trabecular bone structure, the concentration of signaling molecules within the bone and a mechanism how this concentration at the bone surface is used for local bone formation and resorption. In an abstract setting bone can be considered as a shape changing structure. For similar problems in materials science phase field approximations have been established as an efficient computational tool. We adapt such an approach for trabecular bone remodeling. It allows for a smooth representation of the trabecular bone structure and drastically reduces computational costs if compared with traditional micro finite element approaches. We demonstrate the advantage of the approach within a minimal model. We quantitatively compare the results with established micro finite element approaches on simple geometries and consider the bone morphology within a bone segment obtained from $\mu$CT data of a sheep vertebra with realistic parameters.


title: 2-locl derivations on some C*-algebras

abstract: In this paper, we introduce the concept of trace-open projections in the second dual A** of a C*-algebra A, and we show that if there is a faithful normal semi-finite trace T on A**, and 1 is a T-open projection, then each 2-local derivation D from A to A** is an inner derivartion. We also show that this theorem hold for approximately 2-local derivations when A** is finite as a von neumann algebra.


title: A survey of eight hot Jupiters in secondary eclipse using WIRCam at CFHT

abstract: We present near infrared high-precision photometry for eight transiting hot Jupiters observed during their predicted secondary eclipses. Our observations were carried out using the staring mode of the WIRCam instrument on the Canada-France-Hawaii Telescope (CFHT). We present the observing strategies and data reduction methods which delivered time series photometry with statistical photometric precisionas low as 0.11%. We performed a Bayesian analysis to model the eclipse parameters and systematics simultaneously. The measured planet-to-star flux ratios allowed us to constrain the thermal emission from the day side of these hot Jupiters, as we derived the planet brightness temperatures. Our results combined with previously observed eclipses reveal an excess in the brightness temperatures relative to the blackbody prediction for the equilibrium temperatures of the planets for a wide range of heat redistribution factors. We find a trend that this excess appears to be larger for planets with lower equilibrium temperatures. This may imply some additional sources of radiation, such as reflected light from the host star and/or thermal emission from residual internal heat from the formation of the planet.


title: Bitmap Filter: Speeding up Exact Set Similarity Joins with Bitwise Operations

abstract: The Exact Set Similarity Join problem aims to find all similar sets between two collections of sets, with respect to a threshold and a similarity function such as overlap, Jaccard, dice or cosine. The naive approach verifies all pairs of sets and it is often considered impractical due the high number of combinations. So, Exact Set Similarity Join algorithms are usually based on the Filter-Verification Framework, that applies a series of filters to reduce the number of verified pairs. This paper presents a new filtering technique called Bitmap Filter, which is able to accelerate state-of-the-art algorithms for the exact Set Similarity Join problem. The Bitmap Filter uses hash functions to create bitmaps of fixed b bits, representing characteristics of the sets. Then, it applies bitwise operations (such as xor and population count) on the bitmaps in order to infer a similarity upper bound for each pair of sets. If the upper bound is below a given similarity threshold, the pair of sets is pruned. The Bitmap Filter benefits from the fact that bitwise operations are efficiently implemented by many modern general-purpose processors and it was easily applied to four state-of-the-art algorithms implemented in CPU: AllPairs, PPJoin, AdaptJoin and GroupJoin. Furthermore, we propose a Graphic Processor Unit (GPU) algorithm based on the naive approach but using the Bitmap Filter to speedup the computation. The experiments considered 9 collections containing from 100 thousands up to 10 million sets and the joins were made using Jaccard thresholds from 0.50 to 0.95. The Bitmap Filter was able to improve 90% of the experiments in CPU, with speedups of up to 4.50x and 1.43x on average. Using the GPU algorithm, the experiments were able to speedup the original CPU algorithms by up to 577x using an Nvidia Geforce GTX 980 Ti.


title: Conic stability of polynomials

abstract: We introduce and study the notion of conic stability of multivariate complex polynomials in $\mathbb{C}[z_1,\ldots, z_n]$, which naturally generalizes the stability of multivariate polynomials. In particular, we generalize Borcea's and Br\"and\'en's multivariate version of the Hermite-Kakeya-Obreschkoff Theorem to the conic stability and provide a characterization in terms of a directional Wronskian. And we generalize a major criterion for stability of determinantal polynomials to stability with respect to the positive semidefinite cone.


title: Models of gravitational lens candidates from Space Warps CFHTLS

abstract: We report modelling follow-up of recently-discovered gravitational-lens candidates in the Canada France Hawaii Telescope Legacy Survey. Lens modelling was done by a small group of specially-interested volunteers from the SpaceWarps citizen-science community who originally found the candidate lenses. Models are categorised according to seven diagnostics indicating (a) the image morphology and how clear or indistinct it is, (b) whether the mass map and synthetic lensed image appear to be plausible, and (c) how the lens-model mass compares with the stellar mass and the abundance-matched halo mass. The lensing masses range from ~10^11 Msun to >10^13 Msun. Preliminary estimates of the stellar masses show a smaller spread in stellar mass (except for two lenses): a factor of a few below or above ~10^11 Msun. Therefore, we expect the stellar-to-total mass fraction to decline sharply as lensing mass increases. The most massive system with a convincing model is J1434+522 (SW05). The two low-mass outliers are J0206-095 (SW19) and J2217+015 (SW42); if these two are indeed lenses, they probe an interesting regime of very low star-formation efficiency. Some improvements to the modelling software (SpaghettiLens), and discussion of strategies regarding scaling to future surveys with more and frequent discoveries, are included.


title: Dispersion theoretic calculation of the $H\rightarrow Z+\gamma$ amplitude

abstract: We have calculated the $W$-loop contribution to the amplitude of the decay $H\rightarrow Z+\gamma$ in two different methods: 1) in the $R_\xi$-gauge using dimensional regularization (DimReg), and 2) in the unitary gauge through the dispersion method. Using the dispersion method we have followed two approaches: i) without subtraction and ii) with subtraction, the subtraction constant being determined adopting the Goldstone boson equivalence theorem (GBET) at the limit $M_W\to 0$. The results of the calculations in $R_\xi$-gauge with DimReg and the dispersion method with the GBET completely coincide, which shows that DimReg is compatible with the dispersion method obeying the GBET.


title: Families of spectral triples and foliations of space(time)

abstract: We study a noncommutative analogue of a spacetime foliated by spacelike hypersurfaces, in both Riemannian and Lorentzian signatures. First, in the classical commutative case, we show that the canonical Dirac operator on the total spacetime can be reconstructed from the family of Dirac operators on the hypersurfaces. Second, in the noncommutative case, the same construction continues to make sense for an abstract family of spectral triples. In the case of Riemannian signature, we prove that the construction yields in fact a spectral triple, which we call a product spectral triple. In the case of Lorentzian signature, we correspondingly obtain a 'Lorentzian spectral triple', which can also be viewed as the 'reverse Wick rotation' of a product spectral triple. This construction of 'Lorentzian spectral triples' fits well into the Krein space approach to noncommutative Lorentzian geometry.


title: Optimization-Based Autonomous Racing of 1:43 Scale RC Cars

abstract: This paper describes autonomous racing of RC race cars based on mathematical optimization. Using a dynamical model of the vehicle, control inputs are computed by receding horizon based controllers, where the objective is to maximize progress on the track subject to the requirement of staying on the track and avoiding opponents. Two different control formulations are presented. The first controller employs a two-level structure, consisting of a path planner and a nonlinear model predictive controller (NMPC) for tracking. The second controller combines both tasks in one nonlinear optimization problem (NLP) following the ideas of contouring control. Linear time varying models obtained by linearization are used to build local approximations of the control NLPs in the form of convex quadratic programs (QPs) at each sampling time. The resulting QPs have a typical MPC structure and can be solved in the range of milliseconds by recent structure exploiting solvers, which is key to the real-time feasibility of the overall control scheme. Obstacle avoidance is incorporated by means of a high-level corridor planner based on dynamic programming, which generates convex constraints for the controllers according to the current position of opponents and the track layout. The control performance is investigated experimentally using 1:43 scale RC race cars, driven at speeds of more than 3 m/s and in operating regions with saturated rear tire forces (drifting). The algorithms run at 50 Hz sampling rate on embedded computing platforms, demonstrating the real-time feasibility and high performance of optimization-based approaches for autonomous racing.


title: Cathode signal in a TPC directional detector: implementation and validation measuring the drift velocity

abstract: Low-pressure gaseous TPCs are well suited detectors to correlate the directions of nuclear recoils to the galactic Dark Matter (DM) halo. Indeed, in addition to providing a measure of the energy deposition due to the elastic scattering of a DM particle on a nucleus in the target gas, they allow for the reconstruction of the track of the recoiling nucleus. In order to exclude the background events originating from radioactive decays on the surfaces of the detector materials within the drift volume, efforts are ongoing to precisely localize the track nuclear recoil in the drift volume along the axis perpendicular to the cathode plane. We report here the implementation of the measure of the signal induced on the cathode by the motion of the primary electrons toward the anode in a MIMAC chamber. As a validation, we performed an independent measurement of the drift velocity of the electrons in the considered gas mixture, correlating in time the cathode signal with the measure of the arrival times of the electrons on the anode.


title: Zero-shot Learning via Shared-Reconstruction-Graph Pursuit

abstract: Zero-shot learning (ZSL) aims to recognize objects from novel unseen classes without any training data. Recently, structure-transfer based methods are proposed to implement ZSL by transferring structural knowledge from the semantic embedding space to image feature space to classify testing images. However, we observe that such a knowledge transfer framework may suffer from the problem of the geometric inconsistency between the data in the training and testing spaces. We call this problem as the space shift problem. In this paper, we propose a novel graph based method to alleviate this space shift problem. Specifically, a Shared Reconstruction Graph (SRG) is pursued to capture the common structure of data in the two spaces. With the learned SRG, each unseen class prototype (cluster center) in the image feature space can be synthesized by the linear combination of other class prototypes, so that testing instances can be classified based on the distance to these synthesized prototypes. The SRG bridges the image feature space and semantic embedding space. By applying spectral clustering on the learned SRG, many meaningful clusters can be discovered, which interprets ZSL performance on the datasets. Our method can be easily extended to the generalized zero-shot learning setting. Experiments on three popular datasets show that our method outperforms other methods on all datasets. Even with a small number of training samples, our method can achieve the state-of-the-art performance.


title: Numerical solution of a non-linear conservation law applicable to the interior dynamics of partially molten planets

abstract: The energy balance of a partially molten rocky planet can be expressed as a non-linear diffusion equation using mixing length theory to quantify heat transport by both convection and mixing of the melt and solid phases. In this formulation the effective or eddy diffusivity depends on the entropy gradient, $\partial S/\partial r$, as well as entropy. First we present a simplified model with semi-analytical solutions, highlighting the large dynamic range of $\partial S/\partial r$, around 12 orders of magnitude, for physically-relevant parameters. It also elucidates the thermal structure of a magma ocean during the earliest stage of crystal formation. This motivates the development of a simple, stable numerical scheme able to capture the large dynamic range of $\partial S/\partial r$ and provide a flexible and robust method for time-integrating the energy equation. We then consider a full model including energy fluxes associated with convection, mixing, gravitational separation, and conduction that all depend on the thermophysical properties of the melt and solid phases. This model is discretised and evolved by applying the finite volume method (FVM), allowing for extended precision calculations and using $\partial S/\partial r$ as the solution variable. The FVM is well-suited to this problem since it is naturally energy conserving, flexible, and intuitive to incorporate arbitrary non-linear fluxes that rely on lookup data. Special attention is given to the numerically challenging scenario in which crystals first form in the centre of a magma ocean. Our computational framework is immediately applicable to modelling high melt fraction phenomena in Earth and planetary science research. Furthermore, it provides a template for solving similar non-linear diffusion equations arising in other disciplines, particularly for non-linear functional forms of the diffusion coefficient.


title: Solution of network localization problem with noisy distances and its convergence

abstract: The network localization problem with convex and non-convex distance constraints may be modeled as a nonlinear optimization problem. The existing localization techniques are mainly based on convex optimization. In those techniques, the non-convex distance constraints are either ignored or relaxed into convex constraints for using the convex optimization methods like SDP, least square approximation, etc.. We propose a method to solve the nonlinear non-convex network localization problem with noisy distance measurements without any modification of constraints in the general model. We use the nonlinear Lagrangian technique for non-convex optimization to convert the problem to a root finding problem of a single variable continuous function. This problem is then solved using an iterative method. However, in each step of the iteration the computation of the functional value involves a finite mini-max problem (FMX). We use smoothing gradient method to fix the FMX problem. We also prove that the solution obtained from the proposed iterative method converges to the actual solution of the general localization problem. The proposed method obtains the solutions with a desired label of accuracy in real time.


title: Ultraslow long-living plasmons with electromagnetically induced transparency

abstract: We analytically examine propagation of surface plasmon polaritons (SPPs) at a thin metallic film between glass substrate and electromagnetically-induced-transparency (EIT) medium. High-precision and high-resolution in frequency domain provided by EIT paves the way towards plasmonic group velocities reduction even by $4$ orders of magnitude and corresponding lifetime enhancement of SPPs up to microseconds.


title: A Novel Convolutional Neural Network for Image Steganalysis with Shared Normalization

abstract: Deep learning based image steganalysis has attracted increasing attentions in recent years. Several Convolutional Neural Network (CNN) models have been proposed and achieved state-of-the-art performances on detecting steganography. In this paper, we explore an important technique in deep learning, the batch normalization, for the task of image steganalysis. Different from natural image classification, steganalysis is to discriminate cover images and stego images which are the result of adding weak stego signals into covers. This characteristic makes a cover image is more statistically similar to its stego than other cover images, requiring steganalytic methods to use paired learning to extract effective features for image steganalysis. Our theoretical analysis shows that a CNN model with multiple normalization layers is hard to be generalized to new data in the test set when it is well trained with paired learning. To hand this difficulty, we propose a novel normalization technique called Shared Normalization (SN) in this paper. Unlike the batch normalization layer utilizing the mini-batch mean and standard deviation to normalize each input batch, SN shares same statistics for all training and test batches. Based on the proposed SN layer, we further propose a novel neural network model for image steganalysis. Extensive experiments demonstrate that the proposed network with SN layers is stable and can detect the state of the art steganography with better performances than previous methods.


title: Performance of In-band Transmission of System Information in Massive MIMO Systems

abstract: We consider transmission of system information in massive MIMO. This information needs to be reliably delivered to inactive users in the cell without any channel state information at the base station. Downlink transmission entails the use of downlink pilots and a special type of precoding that aims to reduce the dimension of the downlink channel and the pilot overhead, which would otherwise scale with the number of base station antennas. We consider a scenario in which the base station transmits over a small number of coherence intervals, providing little time/frequency diversity. The system information is transmitted with orthogonal space-time block codes to increase reliability and performance is measured using outage rates. Several different codes are compared, both for spatially correlated and uncorrelated channels and for varying amount of time/frequency diversity. We show that a massive MIMO base station can outperform a single-antenna base station in all considered scenarios.


title: Properties of Phase Space Wavefunctions and Eigenvalue Equation of Momentum Dispersion Operator

abstract: This paper is a continuation of our previous works about coordinate, momentum, dispersion operators and phase space representation of quantum mechanics. It concerns a study on the properties of wavefunctions in the phase space representation and the momentum dispersion operator, its representations and eigenvalue equation. After the recall of some results from our previous papers, we give most of the main properties of the phase space wavefunctions and consider some examples of them. Then we establish the eigenvalue equation for the differential operator corresponding to the momentum dispersion operator in the phase space representation. It is shown in particular that any phase space wavefunction is solution of this equation.


title: The impact of $S$-wave thresholds $D_{s1}\bar{D}_{s}+c.c.$ and $D_{s0}\bar{D}^*_{s}+c.c.$ on vector charmonium spectrum

abstract: By investigating the very closely lied $D_{s1}\bar{D}_{s}+c.c.$ and $D_{s0}\bar{D}^*_{s}+c.c.$ thresholds at about 4.43 GeV we propose that the $\psi(4415)$ and $\psi(4160)$ can be mixing states between the dynamic generated states of the strong $S$-wave $D_{s1}\bar{D}_{s}+c.c.$ and $D_{s0}\bar{D}^*_{s}+c.c.$ interactions and the quark model states $\psi(4S)$ and $\psi(2D)$. We investigate the $J/\psi K\bar{K}$ final states and invariant mass spectrum of $J/\psi K$ to demonstrate that nontrivial lineshapes can arise from such a mechanism. This process, which goes through triangle loop transitions, is located in the vicinity of the so-called "triangle singularity (TS)" kinematics. As a result, it provides a special mechanism for the production of exotic states $Z_{cs}$, which is the strange partner of $Z_c(3900)$, but with flavor contents of $c\bar{c}q\bar{s}$ (or $c\bar{c}s\bar{q}$) with $q$ denoting $u/d$ quarks. The lineshapes of the $e^+e^-\to J/\psi K\bar{K}$ cross sections and $J/\psi K \ (J/\psi \bar{K})$ spectrum are sensitive to the dynamically generated state, and we demonstrate that a pole structure can be easily distinguished from open threshold CUSP effects if an exotic state is created. A precise measurement of the cross section lineshapes can test such a mixing mechanism and provide navel information for the exotic partners of the $Z_c(3900)$ in the charmonium spectrum.


title: Cooperative Games with Bounded Dependency Degree

abstract: Cooperative games provide a framework to study cooperation among self-interested agents. They offer a number of solution concepts describing how the outcome of the cooperation should be shared among the players. Unfortunately, computational problems associated with many of these solution concepts tend to be intractable---NP-hard or worse. In this paper, we incorporate complexity measures recently proposed by Feige and Izsak (2013), called dependency degree and supermodular degree, into the complexity analysis of cooperative games. We show that many computational problems for cooperative games become tractable for games whose dependency degree or supermodular degree are bounded. In particular, we prove that simple games admit efficient algorithms for various solution concepts when the supermodular degree is small; further, we show that computing the Shapley value is always in FPT with respect to the dependency degree. Finally, we note that, while determining the dependency among players is computationally hard, there are efficient algorithms for special classes of games.


title: Derived Born cross sections of $e^+e^-$ annihilation into open charm mesons from CLEO-c measurements

abstract: The exclusive Born cross sections of the production of $D^0$, $D^+$ and $D_s^+$ mesons in $e^+e^-$ annihilation at 13 energy points between 3.970 and 4.260 GeV are obtained by applying corrections for initial state radiation and vacuum polarization to the observed cross sections measured by CLEO-c experiment. Both the statistical and the systematic uncertainties for the obtained Born cross sections are properly estimated.


title: Detection of Tooth caries in Bitewing Radiographs using Deep Learning

abstract: We develop a Computer Aided Diagnosis (CAD) system, which enhances the performance of dentists in detecting wide range of dental caries. The CAD System achieves this by acting as a second opinion for the dentists with way higher sensitivity on the task of detecting cavities than the dentists themselves. We develop annotated dataset of more than 3000 bitewing radiographs and utilize it for developing a system for automated diagnosis of dental caries. Our system consists of a deep fully convolutional neural network (FCNN) consisting 100+ layers, which is trained to mark caries on bitewing radiographs. We have compared the performance of our proposed system with three certified dentists for marking dental caries. We exceed the average performance of the dentists in both recall (sensitivity) and F1-Score (agreement with truth) by a very large margin. Working example of our system is shown in Figure 1.


title: Optical trapping of electrons in graphene

abstract: We propose an experimentally friendly scheme for trapping quasi- relativistic elec- trons in graphene by an electromagnetic beam with circular polarization and spatially inhomogeneous profile with an intensity dip. The trapping is achieved due to the ef- fect of bandgap opening outside the trapping region. The proposed mechanism allows for non- invasive electron confinement in graphene without any need of the chemical patterning of the sample or the application of metallic gates.


title: Search for $\text{H} \to \text{b}\bar{\text{b}}$ in association with a single top quark at CMS

abstract: A search for the production of a Higgs boson in association with a single top quark (tH) is performed using the decay $\text{H} \to \text{b}\bar{\text{b}}$. This Higgs boson production mode is sensitive to the coupling modifiers of the Higgs boson to top quarks ($\kappa_{\text{t}}$) and to weak gauge bosons ($\kappa_{\text{V}}$) and thus can be used to lift the degeneracy regarding the sign of the top quark Yukawa coupling. The 2015 pp collisions data at a center-of-mass energy of 13 TeV are analyzed. Boosted decision trees are used to reconstruct and classify the events. Upper limits on the tH production cross section are determined at 51 different points in the $\kappa_{\text{t}} - \kappa_{\text{V}}$ plane.


title: Formation of the first star clusters and massive star binaries by fragmentation of filamentary primordial gas clouds

abstract: We perform a set of cosmological simulations of early structure formation with incorporating baryonic streaming motions. We present a case where a significantly elongated gas cloud with $\sim\!10^4\,$solar masses (${\rm M_\odot}$) is formed in a pre-galactic ($\sim\!10^7\,{\rm M_\odot}$) dark halo. The gas streaming into the halo compresses and heats the massive filamentary cloud to a temperature of $\sim\!10,000\,$Kelvin. The gas cloud cools rapidly by atomic hydrogen cooling, and then by molecular hydrogen cooling down to $\sim\!400\,$Kelvin. The rapid decrease of the temperature and hence of the Jeans mass triggers fragmentation of the filament to yield multiple gas clumps with a few hundred solar masses. We estimate the mass of the primordial star formed in each fragment by adopting an analytic model based on a large set of radiation hydrodynamics simulations of protostellar evolution. The resulting stellar masses are in the range of $\sim\!50$-$120\,{\rm M_\odot}$. The massive stars gravitationally attract each other and form a compact star cluster. We follow the dynamics of the star cluster using a hybrid $N$-body simulation. We show that massive star binaries are formed in a few million years through multi-body interactions at the cluster center. The eventual formation of the remnant black holes will leave a massive black hole binary, which can be a progenitor of strong gravitational wave sources similar to those recently detected by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO).


title: A Note on Helffer-Sj\"ostrand Representation for a Ginzburg-Landau Process

abstract: In this work, we explore a link between an unbounded spin system given by a system of stochastic differential equations and a random walk. This allows us to study the decay of the (co)variance of functions with respect to time. We extend here the previous work of T. Bodineau and G. Graham to a more general class of graph and potential.


title: What makes magnetic skyrmions different from magnetic bubbles ?

abstract: A large enough piece of ferromagnet is usually not magnetized uniformly, but develops a magnetization texture. In thin films these textures can be doubly-periodic. Such are the well known magnetic bubble domains and the recently observed "skyrmion" magnetization textures in MnSi. In this paper we develop a theory of periodic magnetization textures, based on complex calculus to answer the question -- is there a difference between those two textures even if they seem to carry the same topological winding number (or topological charge) ? We find that such difference exists, facilitated by a different role played by the magnetization vector's in-plane phase. We separate classical-like and quantum-like features of magnetization textures and highlight the role of magnetic anisotropy in favouring either of these cases.


title: Lifshitz tails for Schr\"odinger operators with random breather potential

abstract: We prove a Lifshitz tail bound on the integrated density of states of random breather Schr\"odinger operators. The potential is composed of translated single site potentials. The single site potential is an indicator function of set $tA$ where $t$ is from the unit interval and $A$ is a measurable set contained in the unit cell. The challenges of this model are: Since $A$ is not assumed to be star-shaped the dependence of the potential on the parameter $t$ is not monotone. It is also non-linear and not differentiable.


title: Cascaded Pyramid Network for Multi-Person Pose Estimation

abstract: The topic of multi-person pose estimation has been largely improved recently, especially with the development of convolutional neural network. However, there still exist a lot of challenging cases, such as occluded keypoints, invisible keypoints and complex background, which cannot be well addressed. In this paper, we present a novel network structure called Cascaded Pyramid Network (CPN) which targets to relieve the problem from these "hard" keypoints. More specifically, our algorithm includes two stages: GlobalNet and RefineNet. GlobalNet is a feature pyramid network which can successfully localize the "simple" keypoints like eyes and hands but may fail to precisely recognize the occluded or invisible keypoints. Our RefineNet tries explicitly handling the "hard" keypoints by integrating all levels of feature representations from the GlobalNet together with an online hard keypoint mining loss. In general, to address the multi-person pose estimation problem, a top-down pipeline is adopted to first generate a set of human bounding boxes based on a detector, followed by our CPN for keypoint localization in each human bounding box. Based on the proposed algorithm, we achieve state-of-art results on the COCO keypoint benchmark, with average precision at 73.0 on the COCO test-dev dataset and 72.1 on the COCO test-challenge dataset, which is a 19% relative improvement compared with 60.5 from the COCO 2016 keypoint challenge.Code (https://github.com/chenyilun95/tf-cpn.git) and the detection results are publicly available for further research.


title: Proof Complexity Meets Algebra

abstract: We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of pp-interpretability, homomorphic equivalence and addition of constants to a core preserve the proof complexity of the CSP. As a result, for those proof systems, the classes of constraint languages for which small unsatisfiability certificates exist can be characterised algebraically. We illustrate our results by a gap theorem saying that a constraint language either has resolution refutations of constant width, or does not have bounded-depth Frege refutations of subexponential size. The former holds exactly for the widely studied class of constraint languages of bounded width. This class is also known to coincide with the class of languages with refutations of sublinear degree in Sums-of-Squares and Polynomial Calculus over the real-field, for which we provide alternative proofs. We then ask for the existence of a natural proof system with good behaviour with respect to reductions and simultaneously small size refutations beyond bounded width. We give an example of such a proof system by showing that bounded-degree Lov\'asz-Schrijver satisfies both requirements. Finally, building on the known lower bounds, we demonstrate the applicability of the method of reducibilities and construct new explicit hard instances of the graph 3-coloring problem for all studied proof systems.


title: Related family-based attribute reduction of covering information systems when varying attribute sets

abstract: In practical situations, there are many dynamic covering information systems with variations of attributes, but there are few studies on related family-based attribute reduction of dynamic covering information systems. In this paper, we first investigate updated mechanisms of constructing attribute reducts for consistent and inconsistent covering information systems when varying attribute sets by using related families. Then we employ examples to illustrate how to compute attribute reducts of dynamic covering information systems with variations of attribute sets. Finally, the experimental results illustrates that the related family-based methods are effective to perform attribute reduction of dynamic covering information systems when attribute sets are varying with time.


title: On the phonon dispersion relation of single-crystalline $\beta$--FeSe

abstract: We report on the phonon spectrum probed at the $\beta$--FeSe(001) surface by means of high-resolution electron energy-loss spectroscopy (HREELS). Single crystals of $\beta$--FeSe are cleaved under ultra-high vacuum conditions and are subsequently measured below and above the nematic transition temperature. In total we observe five phonon modes and a phonon cutoff energy of about 40 meV. We identify the origin of each phonon mode based on the selection rules of HREELS and by comparing the experimental results to the ones of \emph{ab initio} density functional calculations. The most prominent phonon modes $A_{1g}$, $B_{1g}$, and $A_{2u}$ appear at energies of about $20.5$ and $25.6$ and $40$ meV, respectively. These phonon modes disperse rather weakly while changing the momentum from zero up to the zone boundary, indicating that they are mainly of optical nature. A comparison between our results and the results of \emph{ab initio} calculations indicates that there must be a mutual interplay between magnetism and lattice dynamics in this compound, similar to the other Fe-based superconductors. Finally, we comment on the role of temperature on the phonon modes probed at the $\bar{\Gamma}$--point. It is observed that both the $B_{1g}$ and $A_{2u}$ phonon modes undergo a downward shift while increasing the temperature from 15 to 300 K. In the case of the $A_{2u}$ mode this shift is about 1.5 meV.


title: Bath-induced correlations in an infinite-dimensional Hilbert space

abstract: Quantum correlations between two free spinless dissipative distinguishable particles (interacting with a thermal bath) are studied analytically using the quantum master equation and tools of quantum information. Bath-induced coherence and correlations in an infinite-dimensional Hilbert space are shown. We show that for temperature T > 0 the time-evolution of the reduced density matrix cannot be written as the direct product of two independent particles. We have found a time-scale that characterizes the time when the bath-induced coherence is maximum before being wiped out by dissipation (purity, relative entropy, spatial dispersion, and mirror correlations are studied). The Wigner function associated to the Wannier lattice (where the dissipative quantum walks move) is studied as an indirect measure of the induced correlations among particles. We have supported the quantum character of the correlations by analyzing the geometric quantum discord.


title: On DNA Codes using the Ring Z4 + wZ4

abstract: In this work, we study the DNA codes from the ring R = Z4 + wZ4, where w^2 = 2+2w with 16 elements. We establish a one to one correspondence between the elements of the ring R and all the DNA codewords of length 2 by defining a distance-preserving Gau map phi. Using this map, we give several new classes of the DNA codes which satisfies reverse and reverse complement constraints. Some of the constructed DNA codes are optimal.


title: PRT (Personal Rapid Transit) network simulation

abstract: Transportation problems of large urban conurbations inspire search for new transportation systems, that meet high environmental standards, are relatively cheap and user friendly. The latter element also includes the needs of disabled and elderly people. This article concerns a new transportation system PRT - Personal Rapid Transit. In this article the attention is focused on the analysis of the efficiency of the PRT transport network. The simulator of vehicle movement in PRT network as well as algorithms for traffic management and control will be presented. The proposal of its physical implementation will be also included.


title: Researchers in an Entropy Wonderland: A Review of the Entropy Concept

abstract: Entropy concept was introduced by Clausius 160 years ago, and has been continually enriched, developed and interpreted by the researchers in many different scientific disciplines ever since. Thermodynamics and other scientific disciplines face several simple but crucial questions concerning the entropy concept. Thus, it is frequently possible to notice a misuse of entropy. Sometimes unbelievable confusion in the literature is summarized by von Neumann's sentence: "No one knows what entropy really is." Four major questions stand before thermodynamics. (1) How many kinds of entropy are there? (2) What is the physical meaning of entropy? (3) Is entropy a subjective or an objective property? (4) Is entropy in any way related to information? This paper attempts to describe the roots, the conceptual history of this important concept and to describe the path of its development and application in different scientific disciplines. Through this we attempt to give some possible answers to the questions mentioned above.


title: Economic Complexity Unfolded: Interpretable Model for the Productive Structure of Economies

abstract: Economic complexity reflects the amount of knowledge that is embedded in the productive structure of an economy. It resides on the premise of hidden capabilities - fundamental endowments underlying the productive structure. In general, measuring the capabilities behind economic complexity directly is difficult, and indirect measures have been suggested which exploit the fact that the presence of the capabilities is expressed in a country's mix of products. We complement these studies by introducing a probabilistic framework which leverages Bayesian non-parametric techniques to extract the dominant features behind the comparative advantage in exported products. Based on economic evidence and trade data, we place a restricted Indian Buffet Process on the distribution of countries' capability endowment, appealing to a culinary metaphor to model the process of capability acquisition. The approach comes with a unique level of interpretability, as it produces a concise and economically plausible description of the instantiated capabilities.


title: Data Fusion on Motion and Magnetic Sensors embedded on Mobile Devices for the Identification of Activities of Daily Living

abstract: Several types of sensors have been available in off-the-shelf mobile devices, including motion, magnetic, vision, acoustic, and location sensors. This paper focuses on the fusion of the data acquired from motion and magnetic sensors, i.e., accelerometer, gyroscope and magnetometer sensors, for the recognition of Activities of Daily Living (ADL) using pattern recognition techniques. The system developed in this study includes data acquisition, data processing, data fusion, and artificial intelligence methods. Artificial Neural Networks (ANN) are included in artificial intelligence methods, which are used in this study for the recognition of ADL. The purpose of this study is the creation of a new method using ANN for the identification of ADL, comparing three types of ANN, in order to achieve results with a reliable accuracy. The best accuracy was obtained with Deep Learning, which, after the application of the L2 regularization and normalization techniques on the sensors data, reports an accuracy of 89.51%.


title: Bayesian Active Edge Evaluation on Expensive Graphs

abstract: Robots operate in environments with varying implicit structure. For instance, a helicopter flying over terrain encounters a very different arrangement of obstacles than a robotic arm manipulating objects on a cluttered table top. State-of-the-art motion planning systems do not exploit this structure, thereby expending valuable planning effort searching for implausible solutions. We are interested in planning algorithms that actively infer the underlying structure of the valid configuration space during planning in order to find solutions with minimal effort. Consider the problem of evaluating edges on a graph to quickly discover collision-free paths. Evaluating edges is expensive, both for robots with complex geometries like robot arms, and for robots with limited onboard computation like UAVs. Until now, this challenge has been addressed via laziness i.e. deferring edge evaluation until absolutely necessary, with the hope that edges turn out to be valid. However, all edges are not alike in value - some have a lot of potentially good paths flowing through them, and some others encode the likelihood of neighbouring edges being valid. This leads to our key insight - instead of passive laziness, we can actively choose edges that reduce the uncertainty about the validity of paths. We show that this is equivalent to the Bayesian active learning paradigm of decision region determination (DRD). However, the DRD problem is not only combinatorially hard, but also requires explicit enumeration of all possible worlds. We propose a novel framework that combines two DRD algorithms, DIRECT and BISECT, to overcome both issues. We show that our approach outperforms several state-of-the-art algorithms on a spectrum of planning problems for mobile robots, manipulators and autonomous helicopters.


title: Oscillations in multiparticle production processes

abstract: We discuss two examples of oscillations apparently hidden in some experimental results for high energy multiparticle production processes: (i) - the log-periodic oscillatory pattern decorating the power-like Tsallis distributions of transverse momenta, (ii) - the oscillations of the modified combinants obtained from the measured multiplicity distributions. We show that in both cases these phenomena can provide new insight into the dynamics of these processes.


title: Host galaxy identification for binary black hole mergers with long baseline gravitational wave detectors

abstract: The detection of three black hole binary coalescence events by Advanced LIGO allows the science benefits of future detectors to be evaluated. In this paper we report the science benefits of one or two 8km arm length detectors based on the doubling of key parameters in an advanced LIGO type detector, combined with realisable enhancements. It is shown that the total detection rate for sources similar to those already detected, would increase to $\sim$ 10$^{3}$--10$^{5}$ per year. Within 0.4Gpc we find that around 10 of these events would be localizable to within $\sim 10^{-1}$ deg$^2$. This is sufficient to make unique associations or to rule out a direct association with the brightest galaxies in optical surveys (at r-band magnitudes of 17 or above) or for deeper limits (down to r-band magnitudes of 20) yield statistically significant associations. The combination of angular resolution and event rate would benefit precision testing of formation models, cosmic evolution and cosmological studies.


title: Robust Decentralized Secondary Frequency Control in Power Systems: Merits and Trade-Offs

abstract: Frequency restoration in power systems is conventionally performed by broadcasting a centralized signal to local controllers. As a result of the energy transition, technological advances, and the scientific interest in distributed control and optimization methods, a plethora of distributed frequency control strategies have been proposed recently that rely on communication amongst local controllers. In this paper we propose a fully decentralized leaky integral controller for frequency restoration that is derived from a classic lag element. We study steady-state, asymptotic optimality, nominal stability, input-to-state stability, noise rejection, transient performance, and robustness properties of this controller in closed loop with a nonlinear and multivariable power system model. We demonstrate that the leaky integral controller can strike an acceptable trade-off between performance and robustness as well as between asymptotic disturbance rejection and transient convergence rate by tuning its DC gain and time constant. We compare our findings to conventional decentralized integral control and distributed-averaging-based integral control in theory and simulations.


title: An extendible model with a rigid elementary extension

abstract: A countable structure is said to be extendible if it has the same Scott sentence as some uncountable structure. Rigid structures are not extendible. We give an example of an extendible model with a rigid elementary extension.


title: On the coplanar eccentric non restricted co-orbital dynamics

abstract: We study the phase space of eccentric coplanar co-orbitals in the non-restricted case. Departing from the quasi-circular case, we describe the evolution of the phase space as the eccentricities increase. We find that over a given value of the eccentricity, around $0.5$ for equal mass co-orbitals, important topological changes occur in the phase space. These changes lead to the emergence of new co-orbital configurations and open a continuous path between the previously distinct trojan domains near the $L_4$ and $L_5$ eccentric Lagrangian equilibria. These topological changes are shown to be linked with the reconnection of families of quasi-periodic orbits of non-maximal dimension.


title: Asymptotic Analysis for Spectral Risk Measures Parameterized by Confidence Level

abstract: We study the asymptotic behavior of the difference $\Delta \rho ^{X, Y}_\alpha := \rho _\alpha (X + Y) - \rho _\alpha (X)$ as $\alpha \rightarrow 1$, where $\rho_\alpha $ is a risk measure equipped with a confidence level parameter $0 < \alpha < 1$, and where $X$ and $Y$ are non-negative random variables whose tail probability functions are regularly varying. The case where $\rho _\alpha $ is the value-at-risk (VaR) at $\alpha $, is treated in Kato (2017). This paper investigates the case where $\rho _\alpha $ is a spectral risk measure that converges to the worst-case risk measure as $\alpha \rightarrow 1$. We give the asymptotic behavior of the difference between the marginal risk contribution and the Euler contribution of $Y$ to the portfolio $X + Y$. Similarly to Kato (2017), our results depend primarily on the relative magnitudes of the thicknesses of the tails of $X$ and $Y$. We also conducted a numerical experiment, finding that when the tail of $X$ is sufficiently thicker than that of $Y$, $\Delta \rho ^{X, Y}_\alpha $ does not increase monotonically with $\alpha$ and takes a maximum at a confidence level strictly less than $1$.


title: High-speed fluorescent thermal imaging of quench propagation in high temperature superconductor tapes

abstract: Fluorescent Microthermographic Imaging, a method using rare-earth fluorescent coatings with temperature-dependent light emission, was used for quench investigation in high temperature superconductors (HTS). A fluorophore was embedded in a polymer matrix and used as a coating on top of an HTS tape, while being excited with UV light and recorded with a high-speed camera. Simultaneously, the tape was pulsed with high amplitude, short duration DC current, and brought to quench with the help of a localized defect. The joule heating during a quench influences the fluorescent light intensity emitted from the coating, and by recording the local variations in this intensity over time, the heating of the tape can be visualized and the developed temperatures can be calculated. In this paper, the fluorophore Europium tris[3-(trifluoromethylhydroxymethylene)- (+)-camphorate] (EuTFC) provided sufficient temperature sensitivity and a usable temperature range from 77 K to 260 K. With the help of high-speed recordings, the normal zone development was imaged in a 20 \mu m copper stabilized HTS tape held in a liquid nitrogen bath, and using a calibration curve, the temperatures reached during the quench have been calculated.


title: Expansion into a many-dimensional rational series for scalar power functions of vector arguments

abstract: For a function of a type $ \left| \mathbf{r}_1{+}\ldots {+}\mathbf{r}_{_N} \right|^{-\nu} \in \mathbb{R} $ from the many-dimensional vectors $ \mathbf{r}_s $ in Euclidean space, the successive algebraic approach is the derivation of the expansion in the form $ {\sim}\sum\limits_{s}\frac{r_1^s}{r_{_{N}}^s}\ldots \frac{r_{_{N-1}}^s}{r_{_{N}}^s}, \,\, (r_k{<}r_{_{N}}) $, and also for certain orthogonal functions $ H_{\lambda_s}(\mathbf{r}_s) $ as $ {\sim}\sum\limits_{\lambda_k} H_{\lambda_1}(\mathbf{r}_1)\ldots H_{\lambda_{_{N}}}(\mathbf{r}_{_{N}}) $. The coefficient angular functions are found and determined in both cases.


title: Proximal Planar Shape Signatures. Homology Nerves and Descriptive Proximity

abstract: This article introduces planar shape signatures derived from homology nerves, which are intersecting 1-cycles in a collection of homology groups endowed with a proximal relator (set of nearness relations) that includes a descriptive proximity. A 1-cycle is a closed, connected path with a zero boundary in a simplicial complex covering a finite, bounded planar shape. The signature of a shape sh A (denoted by sig(sh A)) is a feature vector that describes sh A. A signature sig(sh A) is derived from the geometry, homology nerves, Betti number, and descriptive CW topology on the shape sh A. Several main results are given, namely, (a) every finite, bounded planar shape has a signature derived from the homology group on the shape, (b) a homology group equipped with a proximal relator defines a descriptive Leader uniform topology and (c) a description of a homology nerve and union of the descriptions of the 1-cycles in the nerve have same homotopy type.


title: On the Ulam-Hyers-Rassias stability for nonlinear fractional differential equations using the $\psi$-Hilfer operator

abstract: We study the existence and uniqueness of solution of a nonlinear Cauchy problem involving the $\psi$-Hilfer fractional derivative. In addition, we discuss the Ulam-Hyers and Ulam-Hyers-Rassias stabilities of its solutions. A few examples are presented in order to illustrate the possible applications of our main results.


title: Hypo-q-Norms on a Cartesian Product of Normed Linear Spaces

abstract: In this paper we introduce the hypo-q-norms on a Cartesian product of normed linear spaces. A representation of these norms in terms of bounded linear functionals of norm less than one, the equivalence with the q-norms on a Cartesian product and some reverse inequalities obtained via the scalar Shisha-Mond, Birnacki et al. and other Gruss type inequalities are also given.


title: FusionNet: Fusing via Fully-Aware Attention with Application to Machine Comprehension

abstract: This paper introduces a new neural structure called FusionNet, which extends existing attention approaches from three perspectives. First, it puts forward a novel concept of "history of word" to characterize attention information from the lowest word-level embedding up to the highest semantic-level representation. Second, it introduces an improved attention scoring function that better utilizes the "history of word" concept. Third, it proposes a fully-aware multi-level attention mechanism to capture the complete information in one text (such as a question) and exploit it in its counterpart (such as context or passage) layer by layer. We apply FusionNet to the Stanford Question Answering Dataset (SQuAD) and it achieves the first position for both single and ensemble model on the official SQuAD leaderboard at the time of writing (Oct. 4th, 2017). Meanwhile, we verify the generalization of FusionNet with two adversarial SQuAD datasets and it sets up the new state-of-the-art on both datasets: on AddSent, FusionNet increases the best F1 metric from 46.6% to 51.4%; on AddOneSent, FusionNet boosts the best F1 metric from 56.0% to 60.7%.


title: Two-Dimensional Hyperferroelectric Metals: a Different Route to Ferromagnetic-Ferroelectric Multiferroics

abstract: Recently, two-dimensional (2D) multiferroics have attracted numerous attention due to their fascinating properties and promising applications. Although the ferroelectric (FE)-ferroelastic and ferromagnetic (FM)-ferroelastic multiferroics have been observed/predicted in 2D systems, 2D ferromagnetic-ferroelectric (FM-FE) multiferroics remain to be discovered since FM insulators are very rare. Here, we proposed for the first time the concept of 2D hyperferroelectric metals, with which the insulating prerequisite for the FM-FE multiferroic is no longer required in 2D systems. We validate the concept of 2D hyperferroelectric metals and 2D metallic FM-FE multiferroics by performing first-principle calculations on 2D CrN and CrB2 systems. The 2D buckled monolayer CrN is found to be a hyperferroelectic metal with the FM ground state, i.e., a 2D FM-FE multiferroic. With the global optimization approach, we find the 2D CrB2 system has an antiferromagnetic (AFM)/planar ground state and a FM/FE metastable state, suggesting that it can be used to realize electric field control of magnetism. Our analysis demonstrates that the spin-phonon coupling and metal-metal interaction are two new mechanisms for stabilizing the out-of-plane electric polarization in 2D systems. Our work not only extends the concept of FE to metallic systems, but also paves a new way to search the long-sought high temperature FM-FE multiferroics.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.comp-ph


title: Solving M-theory with the Conformal Bootstrap

abstract: We use the conformal bootstrap to perform a precision study of 3d maximally supersymmetric ($\mathcal{N}=8$) SCFTs that describe the IR physics on $N$ coincident M2-branes placed either in flat space or at a $\C^4/\Z_2$ singularity. First, using the explicit Lagrangians of ABJ(M) \cite{Aharony:2008ug,Aharony:2008gk} and recent supersymmetric localization results, we calculate certain half and quarter-BPS OPE coefficients, both exactly at small $N$, and approximately in a large $N$ expansion that we perform to all orders in $1/N$. Comparing these values with the numerical bootstrap bounds leads us to conjecture that some of these theories obey an OPE coefficient minimization principle. We then use this conjecture as well as the extremal functional method to reconstruct the first few low-lying scaling dimensions and OPE coefficients for both protected and unprotected multiplets that appear in the OPE of two stress tensor multiplets for all values of $N$. We also calculate the half and quarter-BPS operator OPE coefficients in the $SU(2)_k \times SU(2)_{-k}$ BLG theory for all values of the Chern-Simons coupling $k$, and show that generically they do not obey the same OPE coefficient minimization principle.


title: A novel way to determine the scale of inflation

abstract: We show that in the Feebly Interacting Massive Particle (FIMP) model of Dark Matter (DM), one may express the inflationary energy scale $H_*$ as a function of three otherwise unrelated quantities, the DM isocurvature perturbation amplitude, its mass and its self-coupling constant, independently of the tensor-to-scalar ratio. The FIMP model assumes that there exists a real scalar particle that alone constitutes the DM content of the Universe and couples to the Standard Model via a Higgs portal. We consider carefully the various astrophysical, cosmological and model constraints, accounting also for variations in inflationary dynamics and the reheating history, to derive a robust estimate for $H_*$ that is confined to a relatively narrow range. We point out that, within the context of the FIMP DM model, one may thus determine $H_*$ reliably even in the absence of observable tensor perturbations.


title: Design of Sampling Set for Bandlimited Graph Signal Estimation

abstract: It is of particular interest to reconstruct or estimate bandlimited graph signals, which are smoothly varying signals defined over graphs, from partial noisy measurements. However, choosing an optimal subset of nodes to sample is NP-hard. We formularize the problem as the experimental design of a linear regression model if we allow multiple measurements on a single node. By relaxing it to a convex optimization problem, we get the proportion of sample for each node given the budget of total sample size. Then, we use a probabilistic quantization to get the number of each node to be sampled. Moreover, we analyze how the sample size influences whether our object function is well-defined by perturbation analysis. Finally, we demonstrate the performance of the proposed approach through various numerical experiments.


title: On the patchiness of the individual pulse spectra at the very low radio frequencies

abstract: We have used sensitive LOw Frequency ARray (LOFAR) observations of PSR B0809+74 at 15--62 MHz to study the anomalously intensive pulses, first reported by Ulyanov et al. (2006) at 18--30MHz. Similarly to Ulyanov et al., we found that the spectra of strong pulses consist of distinct bright patches. Moreover, these spectral patches were spotted to drift upwards in frequency over the course of several pulse sequences. We established that this drift is not pulsar-intrinsic, but is caused by the broadband ~20 second-long enhancements of recorded signal, which influenced the dispersed tracks of several pulses at once. We speculate on the cause of such enhancements (i.e. propagation or telescope-related) and the ramifications they bring to the single-pulse studies at the very low radio frequencies. Depending on the origin, the phenomenon may also affect the analysis of highly dispersed single pulses at higher radio frequencies, e.g. Fast Radio Bursts.


title: Observation-based symmetry breaking measures

abstract: Symmetry is one of the most general and useful concepts in physics. A theory or a system that has a symmetry is fundamentally constrained by it. The same constraints do not apply when the symmetry is broken. The quantitative determination of "how much a system breaks a symmetry" allows to reach beyond this binary situation and is a necessary step towards the quantitative connection between symmetry breaking and its effects. We introduce measures of symmetry breaking for a system interacting with external fields (particles). They can be computed from measurements of the system-mediated coupling strengths between subspaces of incoming and outgoing fields (particles) that transform in a definite way under the symmetry. The generality of these symmetry breaking measures and their tight connection to experimental measurements make them applicable to a very wide range of physics, like quantification of phase transitions, constraints in dynamical evolution, and the search for hidden symmetries.


title: Thermodynamic Design and Fouling of Membrane Distillation Systems

abstract: As water shortages intensify globally under the stresses of increasing demand, aquifer depletion, and climate change, the market for efficient desalination technologies has grown rapidly to fill the void. One such developing technology, membrane distillation (MD), has experienced keen academic interest and an increase in start-up businesses in the past decade. MD has expanded into a niche of small scale thermal desalination using solar and waste heat resources, due to its fouling resistance, scalability, and acceptable efficiency. Recent studies indicate that MD could attain the efficiencies of state-of-the-art mature thermal desalination technologies, although additional engineering and scientific challenges must first be overcome. The aim of this research is to better understand and provide solutions for two major challenge areas for MD: efficiency and membrane fouling. Studies on improving MD efficiency included examining the effects of tilt angle on MD performance using numerical simulations paired with experiments, devising a novel MD system design for with superhydrophobic surfaces to improved efficiencies, and an entropy-generation comparison of MD to other desalination technologies. For fouling studies in MD, a review of MD fouling was undertaken to synthesize conclusions from the literature and to explore gaps in the literature. This review lead to studies of the effect of filtration and bulk nucleation on MD fouling, a study on heterogeneous nucleation of inorganic salts with a fouling regime map to avoid nucleation, and fouling prevention via induced air-layers.


title: Global $SU(2)_L \otimes$BRST symmetry and its LSS theorem: Ward-Takahashi identities governing Green's functions, on-shell T-Matrix elements, and $V_{eff}$, in the scalar-sector of certain spontaneously broken non-Abelian gauge theories

abstract: This work is dedicated to the memory of Raymond Stora (1930-2015). $SU(2)_L$ is the simplest spontaneous symmetry breaking (SSB) non-Abelian gauge theory: a complex scalar doublet $\phi=\frac{1}{\sqrt{2}}\begin{bmatrix}H+i\pi_3-\pi_2 +i\pi_1\end{bmatrix}\equiv\frac{1}{\sqrt{2}}\tilde{H}e^{2i\tilde{t}\cdot\tilde{\vec{\pi}}/<H>}\begin{bmatrix}10\end{bmatrix}$ and a vector $\vec{W}^\mu$. In Landau gauge, $\vec{W}^\mu$ is transverse, $\vec{\tilde{\pi}}$ are massless derivatively coupled Nambu-Goldstone bosons (NGB). A global shift symmetry enforces $m^{2}_{\tilde{\pi}}=0$. We observe that on-shell T-matrix elements of physical states $\vec{W}^\mu$,$\phi$ are independent of global $SU(2)_{L}$ transformations, and the associated global current is exactly conserved for amplitudes of physical states. We identify two towers of "1-soft-pion" global Ward-Takahashi Identities (WTI), which govern the $\phi$-sector, and represent a new global symmetry, $SU(2)_L\otimes$BRST, a symmetry not of the Lagrangian but of the physical states. The first gives relations among 1-$\phi$-I (but one $W^{\mu},B^{\mu}$ reducible) off-shell Green's functions, the second governs on-shell T-matrix elements, replacing the Adler self-consistency conditions. These WTI constrain the all-loop-orders scalar-sector effective Lagrangian and guarantee IR finiteness of the theory. These on-shell WTI include a Lee-Stora-Symanzik (LSS) theorem, which enforces the condition $m_{\pi}^2=0$ (far stronger than $m_{\tilde{\pi}}^2=0$) and causes all relevant-operator contributions to the effective Lagrangian to vanish exactly. The global $SU(2)_L$ and the BRST transformations commute in $R_\xi$ gauges. With the on-shell T-matrix constraints, the physics therefore has more symmetry than does its BRST invariant Lagrangian. We also show that the statements made above hold for the electroweak sector of the Standard Model bosons.


title: Exhibiting the ALICE experiment

abstract: Among the many outreach and communication tools available in our digital era, traditional tools such as exhibitions still hold an important place. The ALICE collaboration is setting up a new exhibition at the experiment's site, as part of the ALICE Visitor Centre. Its goal is to communicate to visitors the physics and the tools and methods used by ALICE. It combines modern technology such as video mapping with real detector items, aiming to fascinate the visitors and give them an immersive experience of a high energy physics experiment. The development process, the messages to be delivered and the choices for the contents and the way of exhibiting them are discussed; and the final design and present status of the project are presented.


title: Four-point function in general kinematics through geometrical splitting and reduction

abstract: It is shown how the geometrical splitting of N-point Feynman diagrams can be used to simplify the parametric integrals and reduce the number of variables in the occurring functions. As an example, a calculation of the dimensionally-regulated one-loop four-point function in general kinematics is presented.


title: Okounkov bodies associated to abundant divisors and Iitaka fibrations

abstract: The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations.


title: A convergent kinetic equation for gravitational and Coulomb systems

abstract: It is well known that due to its divergence at large impact parameters, the Boltzmann collision integral in the kinetic equation for 3D systems of particles interacting through a $1/r$ potential must be replaced by a Balescu-Lenard-like collision term. However, the latter diverges at small impact parameters. This comes from the fact that only weak interactions are considered while strong collisions between close particles are neglected in its derivation. We show that a solution to this dilemma exists in the framework of the BBGKY formulation of statistical mechanics. It is based on a separate treatment of the contribution of the strong interactions from that of the weak interactions. The strong interaction part leads to a new term that involves a fractional Laplacian operator in velocity space while the weak interaction component yields the Balescu-Lenard collision term with an explained lower cut-off at the Landau length. For spatially uniform initial conditions, the fractional Laplacian contribution leads to a long-tailed velocity distribution as long as the spatial inhomogeneity remains small. We present results from molecular dynamics simulations confirming the existence of such long tails.


title: Convergent Block Coordinate Descent for Training Tikhonov Regularized Deep Neural Networks

abstract: By lifting the ReLU function into a higher dimensional space, we develop a smooth multi-convex formulation for training feed-forward deep neural networks (DNNs). This allows us to develop a block coordinate descent (BCD) training algorithm consisting of a sequence of numerically well-behaved convex optimizations. Using ideas from proximal point methods in convex analysis, we prove that this BCD algorithm will converge globally to a stationary point with R-linear convergence rate of order one. In experiments with the MNIST database, DNNs trained with this BCD algorithm consistently yielded better test-set error rates than identical DNN architectures trained via all the stochastic gradient descent (SGD) variants in the Caffe toolbox.


title: Magnetic trapping and coherent control of laser-cooled molecules

abstract: We demonstrate coherent microwave control of the rotational, hyperfine and Zeeman states of ultracold CaF molecules, and the magnetic trapping of these molecules in a single, selectable quantum state. We trap about $5\times 10^{3}$ molecules for 2 s at a temperature of 65(11) $\mu$K and a density of $1.2 \times 10^{5}$ cm$^{-3}$. We measure the state-specific loss rate due to collisions with background helium.


title: Evaluating Robustness of Neural Networks with Mixed Integer Programming

abstract: Neural networks have demonstrated considerable success on a wide variety of real-world problems. However, networks trained only to optimize for training accuracy can often be fooled by adversarial examples - slightly perturbed inputs that are misclassified with high confidence. Verification of networks enables us to gauge their vulnerability to such adversarial examples. We formulate verification of piecewise-linear neural networks as a mixed integer program. On a representative task of finding minimum adversarial distortions, our verifier is two to three orders of magnitude quicker than the state-of-the-art. We achieve this computational speedup via tight formulations for non-linearities, as well as a novel presolve algorithm that makes full use of all information available. The computational speedup allows us to verify properties on convolutional networks with an order of magnitude more ReLUs than networks previously verified by any complete verifier. In particular, we determine for the first time the exact adversarial accuracy of an MNIST classifier to perturbations with bounded $l_\infty$ norm $\epsilon=0.1$: for this classifier, we find an adversarial example for 4.38% of samples, and a certificate of robustness (to perturbations with bounded norm) for the remainder. Across all robust training procedures and network architectures considered, we are able to certify more samples than the state-of-the-art and find more adversarial examples than a strong first-order attack.


title: Joint Structural Break Detection and Parameter Estimation in High-Dimensional Non-Stationary VAR Models

abstract: Assuming stationarity is unrealistic in many time series applications. A more realistic alternative is to allow for piecewise stationarity, where the model is allowed to change at given time points. We propose a three-stage procedure for consistent estimation of both structural change points and parameters of high-dimensional piecewise vector autoregressive (VAR) models. In the first step, we reformulate the change point detection problem as a high-dimensional variable selection one, and propose a penalized least square estimator using a total variation penalty. We show that the proposed penalized estimation method over-estimates the number of change points. We then propose a backward selection criterion in conjunction with a penalized least square estimator to tackle this issue. In the last step of our procedure, we estimate the VAR parameters in each of the segments. We prove that the proposed procedure consistently detects the number of change points and their locations. We also show that the procedure consistently estimates the VAR parameters. The performance of the method is illustrated through several simulation scenarios and real data examples.


title: Lattices and Their Consistent Quantification

abstract: This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure. Symmetries, such as associativity, constrain consistent quantification and lead to a constraint equation known as the sum rule. Distributivity in distributive lattices also constrains consistent quantification and leads to a product rule. The sum and product rules, which are familiar from, but not unique to, probability theory, arise from the fact that logical statements form a distributive (Boolean) lattice, which exhibits the requisite symmetries.


title: Approximately Stable Matchings with Budget Constraints

abstract: This paper considers two-sided matching with budget constraints where one side (firm or hospital) can make monetary transfers (offer wages) to the other (worker or doctor). In a standard model, while multiple doctors can be matched to a single hospital, a hospital has a maximum quota: the number of doctors assigned to a hospital cannot exceed a certain limit. In our model, a hospital instead has a fixed budget: the total amount of wages allocated by each hospital to doctors is constrained. With budget constraints, stable matchings may fail to exist and checking for the existence is hard. To deal with the nonexistence of stable matchings, we extend the "matching with contracts" model of Hatfield and Milgrom, so that it handles approximately stable matchings where each of the hospitals' utilities after deviation can increase by factor up to a certain amount. We then propose two novel mechanisms that efficiently return such a stable matching that exactly satisfies the budget constraints. In particular, by sacrificing strategy-proofness, our first mechanism achieves the best possible bound. Furthermore, we find a special case such that a simple mechanism is strategy-proof for doctors, keeping the best possible bound of the general case.


title: On multi-dimensional hypocoercive BGK models

abstract: We study hypocoercivity for a class of linearized BGK models for continuous phase spaces. We develop methods for constructing entropy functionals that enable us to prove exponential relaxation to equilibrium with explicit and physically meaningful rates. In fact, we not only estimate the exponential rate, but also the second time scale governing the time one must wait before one begins to see the exponential relaxation in the L1 distance. This waiting time phenomenon, with a long plateau before the exponential decay "kicks in" when starting from initial data that is well-concentrated in phase space, is familiar from work of Aldous and Diaconis on Markov chains, but is new in our continuous phase space setting. Our strategies are based on the entropy and spectral methods, and we introduce a new "index of hypocoercivity" that is relevant to models of our type involving jump processes and not only diffusion. At the heart of our method is a decomposition technique that allows us to adapt Lyapunov's direct method to our continuous phase space setting in order to construct our entropy functionals. These are used to obtain precise information on linearized BGK models. Finally, we also prove local asymptotic stability of a nonlinear BGK model.


title: Community detection with spiking neural networks for neuromorphic hardware

abstract: We present results related to the performance of an algorithm for community detection which incorporates event-driven computation. We define a mapping which takes a graph G to a system of spiking neurons. Using a fully connected spiking neuron system, with both inhibitory and excitatory synaptic connections, the firing patterns of neurons within the same community can be distinguished from firing patterns of neurons in different communities. On a random graph with 128 vertices and known community structure we show that by using binary decoding and a Hamming-distance based metric, individual communities can be identified from spike train similarities. Using bipolar decoding and finite rate thresholding, we verify that inhibitory connections prevent the spread of spiking patterns.


title: Performance Evaluation of SDN-Controlled Green Mobile Fronthaul Using a Federation of Experimental Network

abstract: When evolved NodeB (eNB) flexible functional split is implemented in Virtualized Radio Access Network (V-RAN) 5G systems, fronthaul connectivity between the virtualized network functions (VNFs) must be seamlessly guaranteed. This study proposes the utilization of Software Defined Networking (SDN) to control the mobile fronthaul. In particular, this study investigates the ability of the SDN-based control of reconfiguring the fronthaul to maintain VNF connectivity when cell and optical access turn into sleep mode (off mode) for energy efficiency purposes. The evaluation of the proposed scheme is performed by federating two remote experimental testbeds. Results show that, upon cell and optical access turning on and off, the fronthaul reconfiguration time is limited to few tens of milliseconds.


title: Higher-dimensional kinematical Lie algebras via deformation theory

abstract: We classify kinematical Lie algebras in dimension $D \geq 4$. This is approached via the classification of deformations of the relevant static kinematical Lie algebra. We also classify the deformations of the universal central extension of the static kinematical Lie algebra in dimension $D\geq 4$. In addition we determine which of these Lie algebras admit an invariant inner product.


title: Classification with Costly Features using Deep Reinforcement Learning

abstract: We study a classification problem where each feature can be acquired for a cost and the goal is to optimize a trade-off between the expected classification error and the feature cost. We revisit a former approach that has framed the problem as a sequential decision-making problem and solved it by Q-learning with a linear approximation, where individual actions are either requests for feature values or terminate the episode by providing a classification decision. On a set of eight problems, we demonstrate that by replacing the linear approximation with neural networks the approach becomes comparable to the state-of-the-art algorithms developed specifically for this problem. The approach is flexible, as it can be improved with any new reinforcement learning enhancement, it allows inclusion of pre-trained high-performance classifier, and unlike prior art, its performance is robust across all evaluated datasets.


title: A simple model for explaining muon-related anomalies and dark matter

abstract: We propose a model to explain several muon-related experimental anomalies and the abundance of dark matter. We introduce an vector-like exotic lepton that form an iso-doublet and three right-handed Majorana fermions as an iso-singlet. A real/complex scalar field is added as a dark matter candidate. We impose a global $U(1)_ \mu$ symmetry under which fields associated with the SM muon are charged. To stabilize the dark matter, we impose a $Z_2$ (or $Z_3$) symmetry under which the exotic lepton doublet and the real (or complex) scalar field are charged. We find that the model can simultaneously explain the muon anomalous magnetic dipole moment and the dark matter relic density in no conflict with any lepton flavor-violating/conserving observables, with some details depending upon whether the scalar field is real or complex. Besides, we extend the framework to the quark sector in a way similar to the lepton sector, and find that the recent anomalies associated with the $b \to s \mu^+ \mu^-$ transition can also be accommodated while satisfying constraints such as the $B_{s(d)} \to \mu^+ \mu^-$ decays and neutral meson mixings.