title: Consensus-Before-Talk: Distributed Dynamic Spectrum Access via Distributed Spectrum Ledger Technology

abstract: This paper proposes Consensus-Before-Talk (CBT), a spectrum etiquette architecture leveraged by distributed ledger technology (DLT). In CBT, secondary users' spectrum access requests reach a consensus in a distributed way, thereby enabling collision-free distributed dynamic spectrum access. To achieve this consensus, the secondary users need to pay for the extra request exchanging delays. Incorporating the consensus delay, the end-to-end latency under CBT is investigated. Both the latency analysis and numerical evaluation validate that the proposed CBT achieves the lower end-to-end latency particularly under severe secondary user traffic, compared to the Listen-Before-Talk (LBT) benchmark scheme.


title: Dr. Tux: A Question Answering System for Ubuntu users

abstract: Various forums and question answering (Q&A) sites are available online that allow Ubuntu users to find results similar to their queries. However, searching for a result is often time consuming as it requires the user to find a specific problem instance relevant to his/her query from a large set of questions. In this paper, we present an automated question answering system for Ubuntu users called Dr. Tux that is designed to answer user's queries by selecting the most similar question from an online database. The prototype was implemented in Python and uses NLTK and CoreNLP tools for Natural Language Processing. The data for the prototype was taken from the AskUbuntu website which contains about 150k questions. The results obtained from the manual evaluation of the prototype were promising while also presenting some interesting opportunities for improvement.


title: The $K\bar{K}^*$ interaction in the unitary coupled-channel approximation

abstract: The $K\bar{K}^*$ interaction Lagrangian is constructed when the $SU(3)$ hidden gauge symmetry is taken into account, and then the $K\bar{K}^*$ potential is obtained. In the low energy region, the $K\bar{K}^*$ potential mainly comes from the contribution of the $t-$channel interaction by exchanging $\rho$,$\omega$ and $\varphi$ mesons, respectively. The $K\bar{K}^*$ amplitude is investigated by solving the Bethe-Salpeter equation in the unitary coupled-channel approximation, where the loop function of the vector and pseudoscalar mesons are evaluated in the dimensional regularization scheme, and the contribution of the longitudinal part of the intermediate vector meson propagator is included in the calculation. Finally, it is found that a resonance state of $K\bar{K}^*$ is generated in the isospin $I=0$ sector, which might correspond to the $f_1(1420)$ particle in the review of the particle data group(PDG). Moreover, in the isospin $I=1$ sector, a pole of the $K\bar{K}^*$ amplitude is detected at $1425-i316$MeV on the complex plane of the total energy in the center of mass system, which is higher than the $K\bar{K}^*$ threshold. Thus this pole might be a resonance state of $K\bar{K}^*$ although no counterpart has been found in the PDG review.


title: Mass spectra of heavy mesons with instanton effects

abstract: We investigate the mass spectra of ordinary heavy mesons, based on a nonrelativistic potential approach. The heavy-light quark potential contains the Coulomb-type potential arising from one-gluon exchange, the confining potential, and the instanton-induced nonperturbative local heavy-light quark potential. All parameters are theoretically constrained and fixed. We carefully examine the effects from the instanton vacuum. Within the present form of the local potential from the instanton vacuum, we conclude that the instanton effects are rather marginal on the charmed mesons.


title: Embedded Pilot-Aided Channel Estimation for OTFS in Delay-Doppler Channels

abstract: Orthogonal time frequency space (OTFS) modulation was shown to provide significant error performance advantages over orthogonal frequency division multiplexing (OFDM) in delay--Doppler channels. In order to detect OTFS modulated data, the channel impulse response needs to be known at the receiver. In this paper, we propose embedded pilot-aided channel estimation schemes for OTFS. In each OTFS frame, we arrange pilot, guard, and data symbols in the delay--Doppler plane to suitably avoid interference between pilot and data symbols at the receiver. We develop such symbol arrangements for OTFS over multipath channels with integer and fractional Doppler shifts, respectively. At the receiver, channel estimation is performed based on a threshold method and the estimated channel information is used for data detection via a message passing (MP) algorithm. Thanks to our specific embedded symbol arrangements, both channel estimation and data detection are performed within the same OTFS frame with a minimum overhead. We compare by simulations the error performance of OTFS using the proposed channel estimation and OTFS with ideally known channel information and observe only a marginal performance loss. We also demonstrate that the proposed channel estimation in OTFS significantly outperforms OFDM with known channel information. Finally, we present extensions of the proposed schemes to MIMO and multi-user uplink/downlink.


title: Data-dependent Learning of Symmetric/Antisymmetric Relations for Knowledge Base Completion

abstract: Embedding-based methods for knowledge base completion (KBC) learn representations of entities and relations in a vector space, along with the scoring function to estimate the likelihood of relations between entities. The learnable class of scoring functions is designed to be expressive enough to cover a variety of real-world relations, but this expressive comes at the cost of an increased number of parameters. In particular, parameters in these methods are superfluous for relations that are either symmetric or antisymmetric. To mitigate this problem, we propose a new L1 regularizer for Complex Embeddings, which is one of the state-of-the-art embedding-based methods for KBC. This regularizer promotes symmetry or antisymmetry of the scoring function on a relation-by-relation basis, in accordance with the observed data. Our empirical evaluation shows that the proposed method outperforms the original Complex Embeddings and other baseline methods on the FB15k dataset.


title: Electron dynamics method using a locally projected group diabatic Fock matrix for molecules and aggregates

abstract: We propose a method using reduced size of Hilbert space to describe an electron dynamics in molecule and aggregate based on our previous theoretical scheme [ T. Yonehara and T. Nakajima, J. Chem. Phys. \textbf{147}, 074110 (2017) ]. The real-time time-dependent density functional theory is combined with newly introduced projected group diabatic Fock matrix. First, this projection method is applied to a test donor--acceptor dimer, namely, a naphthalene--tetracyanoethylene with and without initial local excitations and light fields. Secondly, we calculate an absorption spectrum of five-unit-polythiophene monomer. The importance of feedback of instantaneous density to Fock matrix is also clarified. In all cases, half of the orbitals were safely reduced without loss of accuracy in descriptions of properties. The present scheme provides one possible way to investigate and analyze a complex excited electron dynamics in molecular aggregates within a moderate computational cost.


title: A short exposition of S. Parsa's theorems on intrinsic linking and non-realizability

abstract: We present a short exposition of the following results by S. Parsa. Let $L$ be a graph such that the join $L*\{1,2,3\}$ (i.e. the union of three cones over $L$ along their common bases) piecewise linearly (PL) embeds into $\mathbb R^4$. Then $L$ admits a PL embedding into $\mathbb R^3$ such that any two disjoint cycles have zero linking number. There is $C$ such that every 2-dimensional simplicial complex having $n$ vertices and embeddable into $\mathbb R^4$ contains less than $Cn^{8/3}$ simplices of dimension 2. We also present the analogue of the second result for intrinsic linking.


title: New solitary wave and Multiple soliton solutions of (3 + 1)-dimensional KdV type equation by using Lie symmetry approach

abstract: Solitary waves are localized gravity waves that preserve their consistency and henceforth their visibility through properties of nonlinear hydrodynamics. Solitary waves have finite amplitude and spread with constant speed and constant shape. In this paper, we have used Lie group of transformation method to solve (3 + 1)-dimensional KdV type equation. We have obtained the infinitesimal generators, commutator table of Lie algebra for the KdV type equation. We have achieved a number of exact solutions of KdV type equation in the explicit form through similarity reduction. All the reported results are expressed in analytic (closed form) and figured out graphically through their evolution solution profiles. We characterized the physical explanation of the obtained solutions with the free choice of the particular parameters by plotting some 3D and 2D illustrations. The geometrical analysis explains that the nature of solutions is travelling wave, kink wave, single solitons, doubly solitons and curve-shaped multisolitons.


title: The hyperbolic Ernst equation in a triangular domain

abstract: The collision of two plane gravitational waves in Einstein's theory of relativity can be described mathematically by a Goursat problem for the hyperbolic Ernst equation in a triangular domain. We use the integrable structure of the Ernst equation to present the solution of this problem via the solution of a Riemann--Hilbert problem. The formulation of the Riemann--Hilbert problem involves only the prescribed boundary data, thus the solution is as effective as the solution of a pure initial value problem via the inverse scattering transform. Our results are valid also for boundary data whose derivatives are unbounded at the triangle's corners---this level of generality is crucial for the application to colliding gravitational waves. Remarkably, for data with a singular behavior of the form relevant for gravitational waves, it turns out that the singular integral operator underlying the Riemann--Hilbert formalism can be explicitly inverted at the boundary. In this way, we are able to show exactly how the behavior of the given data at the origin transfers into a singular behavior of the solution near the boundary.


title: Parameter-wise co-clustering for high-dimensional data

abstract: In recent years, data dimensionality has increasingly become a concern, leading to many parameter and dimension reduction techniques being proposed in the literature. A parameter-wise co-clustering model, for data modelled via continuous random variables, is presented. The proposed model, although allowing more flexibility, still maintains the very high degree of parsimony achieved by traditional co-clustering. A stochastic expectation-maximization (SEM) algorithm along with a Gibbs sampler is used for parameter estimation and an integrated complete log-likelihood criterion is used for model selection. Simulated and real datasets are used for illustration and comparison with traditional co-clustering.


title: Surface Termination Dependent Quasiparticle Scattering Interference and Magneto-transport Study on ZrSiS

abstract: Dirac nodal line semimetals represent a new state of quantum matters in which the electronic bands touch to form a closed loop with linear dispersion. Here, we report a combined study on ZrSiS by density functional theory calculation, scanning tunneling microscope (STM) and magneto-transport measurements. Our STM measurements reveal the spectroscopic signatures of a diamond-shaped Dirac bulk band and a surface band on two types of cleaved surfaces as well as a spin polarized surface band at ${\bar{\Gamma}}$ at E~0.6eV on S-surface, consistent with our band calculation. Furthermore, we find the surface termination does not affect the surface spectral weight from the Dirac bulk bands but greatly affect the surface bands due to the change in the surface orbital composition. From our magneto-transport measurements, the primary Shubnikov de-Haas frequency is identified to stem from the hole-type quasi-two-dimensional Fermi surface between {\Gamma} and X. The extracted non-orbital magnetoresistance (MR) contribution D($\theta$, H) yields a nearly H-linear dependence, which is attributed to the intrinsic MR in ZrSiS. Our results demonstrate the unique Dirac line nodes phase and the dominating role of Zr-d orbital on the electronic structure in ZrSiS and the related compounds.


title: Inequalities of Riesz-Sobolev type for compact connected Abelian groups

abstract: A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the group $\mathbb{R}/\mathbb{Z}$, a continuous deformation of sets is developed, under which an appropriately scaled Riesz-Sobolev functional is shown to be nondecreasing.


title: Validity of non-Hermitian fluctuation theorem in open Quantum system with unbroken PT- symmetry

abstract: In a recent paper, Deffner and Saxena (2015 Phys. Rev. Lett. 114 150601) showed that quantum Jarzynski equality generalizes to PT- symmetric quantum mechanics with unbroken symmetry. later Zeng and Yong (2017 Journal of Phys. Commun. 1 031001) extended this work to Crook's fluctuation theorem. In another recent paper, Andrew Smith et al 2018 discusses non-equilibrium work relation in open quantum system. In this paper, we will discuss the validity of non-Hermitian fluctuation theorem in open quantum system, in a region of unbroken PT- symmetry.


title: Optimal conditions for Bell test using spontaneous parametric down-conversion sources

abstract: We theoretically and experimentally investigate the optimal conditions for the Bell experiment using spontaneous parametric down conversion (SPDC) sources. In theory, we show that relatively large average photon number (typically $\sim$0.5) is desirable to observe the maximum violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. In experiment, we perform the Bell experiment without postselection using polarization entangled photon pairs at 1550 nm telecommunication wavelength generated from SPDC sources. While the violation of the CHSH inequality is not directly observed due to the overall detection efficiencies of our system, the experimental values agree well with those obtained by the theory with experimental imperfections. Furthermore, in the range of the small average photon numbers ($\leq0.1$), we propose and demonstrate a method to estimate the ideal CHSH value intrinsically contained in the tested state from the lossy experimental data without assuming the input quantum state.


title: Protostellar classification using supervised machine learning algorithms

abstract: Classification of young stellar objects (YSOs) into different evolutionary stages helps us to understand the formation process of new stars and planetary systems. Such classification has traditionally been based on spectral energy distributions (SEDs). An alternative approach is provided by supervised machine learning algorithms. We attempt to classify a sample of Orion YSOs into different classes, where each source has already been classified using multiwavelength SED analysis. We used 8 different learning algorithms to classify the target YSOs, namely a decision tree, random forest, gradient boosting machine (GBM), logistic regression, na\"ive Bayes classifier, $k$-nearest neighbour classifier, support vector machine, and neural network. The classifiers were trained and tested by using a 10-fold cross-validation procedure. As the learning features, we employed ten continuum flux densities spanning from the near-IR to submm. With a classification accuracy of 82% (with respect to the SED-based classes), a GBM algorithm was found to exhibit the best performance. The lowest accuracy of 47% was obtained with a na\"ive Bayes classifier. Our analysis suggests that the inclusion of the 3.6 $\mu$m and 24 $\mu$m flux densities is useful to maximise the YSO classification accuracy. Although machine learning has the potential to provide a rapid and fairly reliable way to classify YSOs, an SED analysis is still needed to derive the physical properties of the sources, and to create the labelled training data. The classification accuracies can be improved with respect to the present results by using larger data sets, more detailed missing value imputation, and advanced ensemble methods. Overall, the application of machine learning is expected to be very useful in the era of big astronomical data, for example to quickly assemble interesting target source samples for follow-up studies.


title: Environmental effects on the electrical characteristics of back-gated WSe2 field effect transistors

abstract: We study the effect of polymer coating, pressure and temperature on the electrical characteristics of monolayer WSe2 back-gated transistors with quasi-ohmic Ni/Au contacts. We find that the removal of a layer of poly(methyl methacrylate) or decreasing the pressure change the device conductivity from p to n-type. We study the current-voltage characteristics as a function of the temperature and measure a gate-tunable Schottky barrier at the contacts with a height of 60 meV in flat-band condition. We report and discuss a change in the mobility and the subthreshold slope observed with increasing temperature. Finally, we estimate the trap density at the WSe2/SiO2 interface and study the spectral photoresponse of the device, achieving a responsivity of 0.5 AW^-1 at 700 nm wavelength and 0.37 mWcm^-2 optical power.


title: Optimal uniform approximation of L\'evy processes on Banach spaces with finite variation processes

abstract: For a general c\`adl\`ag L\'evy process on a separable Banach space $V$ we estimate values of $\inf_{Y\in{\cal A}_X} \mathbb{E}\left\{ \psi\left( \Vert X - Y \Vert_\infty\right) + \mathrm{TV}(Y[0,T]) \right\}$, where ${\cal A}_X$ is the family of processes on $V$ adapted to the natural filtration of $X$, $\psi$ has polynomial growth and TV$(Y[0,T])$ denotes the total variation of the process $Y$ on the interval $[0,T]$. Next, we apply obtained estimates in three specific cases: a Brownian motion with drift on $\mathbb{R}$, a standard Brownian motion on $\mathbb{R}^d$ and a symmetric $\alpha$-stable process ($\alpha\in(1,2)$) on $\mathbb{R}$.


title: NavigationNet: A Large-scale Interactive Indoor Navigation Dataset

abstract: Indoor navigation aims at performing navigation within buildings. In scenes like home and factory, most intelligent mobile devices require an functionality of routing to guide itself precisely through indoor scenes to complete various tasks in order to serve human. In most scenarios, we expected an intelligent device capable of navigating itself in unseen environment. Although several solutions have been proposed to deal with this issue, they usually require pre-installed beacons or a map pre-built with SLAM, which means that they are not capable of working in novel environments. To address this, we proposed NavigationNet, a computer vision dataset and benchmark to allow the utilization of deep reinforcement learning on scene-understanding-based indoor navigation. We also proposed and formalized several typical indoor routing problems that are suitable for deep reinforcement learning.


title: Molecular dynamics simulations reveal the role of ceramicine B as novel PPAR{\gamma} partial agonist against type 2 diabetes

abstract: Peroxisome proliferator-activated receptors gamma (PPAR{\gamma}) are ligand-activated controllers of various metabolic actions and insulin sensitivity. PPAR{\gamma} is thus considered as an important target to treat type 2 diabetes. Available PPAR{\gamma} drugs (full agonists) have robust insulin-sensitizing properties but are accompanied by severe side effects leading to complicated health problems. Here, we have used molecular docking and a molecular dynamics simulation study to find a novel PPAR{\gamma} ligand from a natural product. Our study suggests that the inhibition of ceramicine B in the PPAR{\gamma} ligand-binding domain (LBD) could act as a partial agonist and block cdk5-mediated phosphorylation. This result may provide an opportunity for the development of new anti-diabetic drugs by targeting PPAR{\gamma} while avoiding the side effects associated with full agonists.


title: Ranked Schr\"oder Trees

abstract: In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schr\"oder tree model is not adapted to take into account the chronology between the branching nodes. In particular, it does not answer the question: how many different phylogenetic stories lead to the creation of n species and what is the average time to get there? In this paper, we enrich this model in two distinct ways in order to obtain two ranked tree models for phylogenetics, i.e. models coding chronology. For that purpose, we first develop a model of (strongly) increasing Schr\"oder trees, symbolically described in the classical context of increasing labeling. Then we introduce a generalization for the labeling with some unusual order constraint in Analytic Combinatorics (namely the weakly increasing trees). Although these models are direct extensions of the Schr\"oder tree model, it appears that they are also in one-to-one correspondence with several classical combinatorial objects. Through the paper, we present these links, exhibit some parameters in typical large trees and conclude the studies with efficient uniform samplers.


title: Detectability of biosignatures in anoxic atmospheres with the James Webb Space Telescope: A TRAPPIST-1e case study

abstract: The James Webb Space Telescope (JWST) may be capable of finding biogenic gases in the atmospheres of habitable exoplanets around low mass stars. Considerable attention has been given to the detectability of biogenic oxygen, which could be found using an ozone proxy, but ozone detection with JWST will be extremely challenging, even for the most favorable targets. Here, we investigate the detectability of biosignatures in anoxic atmospheres analogous to those that likely existed on the early Earth. Arguably, such anoxic biosignatures could be more prevalent than oxygen biosignatures if life exists elsewhere. Specifically, we simulate JWST retrievals of TRAPPIST-1e to determine whether the methane plus carbon dioxide disequilibrium biosignature pair is detectable in transit transmission. We find that ~10 transits using the Near InfraRed Spectrograph (NIRSpec) prism instrument may be sufficient to detect carbon dioxide and constrain methane abundances sufficiently well to rule out known, non-biological CH$_{4}$ production scenarios to ~90% confidence. Furthermore, it might be possible to put an upper limit on carbon monoxide abundances that would help rule out non-biological methane-production scenarios, assuming the surface biosphere would efficiently drawdown atmospheric CO. Our results are relatively insensitive to high altitude clouds and instrument noise floor assumptions, although stellar heterogeneity and variability may present challenges.


title: Fusion++: Volumetric Object-Level SLAM

abstract: We propose an online object-level SLAM system which builds a persistent and accurate 3D graph map of arbitrary reconstructed objects. As an RGB-D camera browses a cluttered indoor scene, Mask-RCNN instance segmentations are used to initialise compact per-object Truncated Signed Distance Function (TSDF) reconstructions with object size-dependent resolutions and a novel 3D foreground mask. Reconstructed objects are stored in an optimisable 6DoF pose graph which is our only persistent map representation. Objects are incrementally refined via depth fusion, and are used for tracking, relocalisation and loop closure detection. Loop closures cause adjustments in the relative pose estimates of object instances, but no intra-object warping. Each object also carries semantic information which is refined over time and an existence probability to account for spurious instance predictions. We demonstrate our approach on a hand-held RGB-D sequence from a cluttered office scene with a large number and variety of object instances, highlighting how the system closes loops and makes good use of existing objects on repeated loops. We quantitatively evaluate the trajectory error of our system against a baseline approach on the RGB-D SLAM benchmark, and qualitatively compare reconstruction quality of discovered objects on the YCB video dataset. Performance evaluation shows our approach is highly memory efficient and runs online at 4-8Hz (excluding relocalisation) despite not being optimised at the software level.


title: Resonance spin transfer torque in ferromagnetic/normal/ferromagnetic spin-valve structure of topological insulators

abstract: We theoretically study the spin current and spin-transfer torque generation in a conventional spin- valve hybrid structure of type ferromagnetic/normal metal/ferromagnetic (FM/NM/FM) made of the topological insulator (TI), in which a gate voltage is attached to the normal layer. We demonstrate the penetration of the spin-transfer torque into the right ferromagnetic layer and show that, unlike graphene spin-valve junction, the spin-transfer torque in TI is very sensitive to the chemical potential of the NM region. As an important result, by changing the chemical potential of the NM spacer and magnetization directions, one can control all components of the STT. Interestingly, both the resonance spin current and the resonance spin-transfer torque appear for energies determined from a resonance equation. By increasing the chemical potential of the NM spacer, the amplitude of the STTs decreases while at large chemical potentials of $\mu_N$ there are intervals of chemical potential in which both the spin current and the spin-transfer torque become zero. These findings could open new perspectives for applications in spin-transfer torque magnetic random access memory (STT-MRAM) devices based on TI.


title: SYK/AdS duality with Yang-Baxter deformations

abstract: In this paper, based on the notion of SYK/AdS duality we explore the effects of Yang-Baxter (YB) deformations on the SYK spectrum at strong coupling. In the first part of our analysis, we explore the consequences of YB deformations through the Kaluza-Klein (KK) reduction on $ (AdS_2)_{\eta}\times (S^1)/Z_2 $. It turns out that the YB effects (on the SYK spectrum) starts showing off at \textit{quadratic} order in $ 1/J $ expansion. For the rest of the analysis, we provide an interpretation for the YB deformations in terms of bi-local/collective field excitations of the SYK model. Using large $ N $ techniques, we evaluate the effective action upto quadratic order in the fluctuations and estimate $ 1/J^2 $ corrections to the correlation function at strong coupling.


title: Stochastic Collocation with Non-Gaussian Correlated Parameters via a New Quadrature Rule

abstract: This paper generalizes stochastic collocation methods to handle correlated non-Gaussian random parameters. The key challenge is to perform a multivariate numerical integration in a correlated parameter space when computing the coefficient of each basis function via a projection step. We propose an optimization model and a block coordinate descent solver to compute the required quadrature samples. Our method is verified with a CMOS ring oscillator and an optical ring resonator, showing 3000x speedup over Monte Carlo.


title: Measure-valued solutions for the equations of polyconvex adiabatic thermoelasticity

abstract: For the system of polyconvex adiabatic thermoelasticity, we define a notion of dissipative measure-valued solution, which can be considered as the limit of a viscosity approximation. We embed the system into a symmetrizable hyperbolic one in order to derive the relative entropy. However, we base our analysis in the original variables, instead of the symmetric ones (in which the entropy is convex) and we prove measure- valued weak versus strong uniqueness using the averaged relative entropy inequality.


title: Antenna Array Based Positional Modulation with a Two-Ray Multi-Path Model

abstract: Traditional directional modulation (DM) designs are based on the assumption that there is no multi-path effect between transmitters and receivers. One problem with these designs is that the resultant systems will be vulnerable to eavesdroppers which are aligned with or very close to the desired directions, as the received modulation pattern at these positions is similar to the given one. To solve the problem, a two-ray multi-path model is studied for positional modulation and the coefficients design problem for a given array geometry and a location-optimised antenna array is solved, where the multi-path effect is exploited to generate a given modulation pattern at desired positions, with scrambled values at positions around them.


title: Lepton masses and mixing in a two-Higgs-doublet model

abstract: Within the framework of the two-Higgs Doublet Model (2HDM), we attempt to find some discrete, non-abelian flavour symmetry which could provide an explanation for the masses and mixing matrix elements of leptons. Unlike the Standard Model, currently there is no need for the flavour symmetry to be broken. With the GAP program we investigate all finite subgroups of the U3 group up to the order of 1025. Up to such an order there is no group for which it is possible to select free model parameters in order to match the masses of charged leptons, masses of neutrinos, and the Pontecorvo-Maki-Nakagawa-Sakata mixing matrix elements in a satisfactory manner.


title: Motivic Gau{\ss}-Bonnet formulas

abstract: The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck-Witt ring of the base field. Previous work of the first author and recent work of D\'eglise-Jin-Khan establishes a "Gau\ss-Bonnet formula" relating this Euler characteristic to pushforwards of Euler classes in motivic cohomology theories. In this paper, we apply this formula to SL-oriented motivic cohomology theories to obtain explicit characterizations of this Euler characteristic. The main new input is a unicity result for pushforward maps in SL-oriented theories, identifying these maps concretely in examples of interest.


title: Does Compton/Schwarzschild duality in higher dimensions exclude TeV quantum gravity?

abstract: In three spatial dimensions, the Compton wavelength $(R_C \propto M^{-1}$) and Schwarzschild radius $(R_S \propto M$) are dual under the transformation $M \rightarrow M_{P}^2/M$, where $M_{P}$ is the Planck mass. This suggests that there could be a fundamental link -- termed the Black Hole Uncertainty Principle or Compton-Schwarzschild correspondence -- between elementary particles with $M < M_{P}$ and black holes in the $M > M_{P}$ regime. In the presence of $n$ extra dimensions, compactified on some scale $R_E$ exceeding the Planck length $R_P$, one expects $R_S \propto M^{1/(1+n)}$ for $R_P < R < R_E$, which breaks this duality. However, it may be restored in some circumstances because the {\it effective} Compton wavelength of a particle depends on the form of the $(3+n)$-dimensional wavefunction. If this is spherically symmetric, then one still has $R_C \propto M^{-1}$, as in the $3$-dimensional case. The effective Planck length is then increased and the Planck mass reduced, allowing the possibility of TeV quantum gravity and black hole production at the LHC. However, if the wave function of a particle is asymmetric and has a scale $R_E$ in the extra dimensions, then $R_C \propto M^{-1/(1+n)}$, so that the duality between $R_C$ and $R_S$ is preserved. In this case, the effective Planck length is increased even more but the Planck mass is unchanged, so that TeV quantum gravity is precluded and black holes cannot be generated in collider experiments. Nevertheless, the extra dimensions could still have consequences for the detectability of black hole evaporations and the enhancement of pair-production at accelerators on scales below $R_E$. Though phenomenologically general for higher-dimensional theories, our results are shown to be consistent with string theory via the minimum positional uncertainty derived from $D$-particle scattering amplitudes.


title: Circulant matrices and Galois-Togliatti systems

abstract: The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems.


title: Screened Strong Coupling of Excitons in Multilayer WS2 with Collective Plasmonic Resonances

abstract: We demonstrate the strong coupling of direct transition excitons in tungsten disulfide (WS2) with collective plasmonic resonances at room temperature. We use open plasmonic cavities formed by periodic arrays of metallic nanoparticles. We show clear anti-crossings with monolayer, bilayer and thicker multilayer WS2 on top of the nanoparticle array. The Rabi energy of such hybrid system varies from 50 to 110 meV from monolayer to sixteen layers, while it does not scale with the square root of the number of layers as expected for collective strong coupling. We prove that out-of-plane coupling components can be disregarded since the normal field is screened due to the high refractive index contrast of the dielectric layers. Even though the in-plane dipole moments of the excitons decrease beyond monolayers, the strong in-plane field distributed in the flake can still enhance the coupling strength with multilayers. However, the screened out-of-plane field leads to the saturation of the Rabi energy. The achieved coherent coupling of TMD multilayers with open cavities could be exploited for manipulating the dynamics and transport of excitons in 2D semiconductors and developing ultrafast valley/spintronic devices.


title: Holographic control of information and dynamical topology change for composite open quantum systems

abstract: We investigate how the compositeness of a quantum system influences the characteristic time of equilibration. We study the dynamics of open composite quantum systems strongly coupled to the environment after a quantum perturbation accompanied by non-equilibrium heating. We use a holographic description of the evolution of entanglement entropy. The non-smooth character of the evolution with holographic entanglement is a general feature of composite systems, which demonstrate a dynamical change of topology in the bulk space and a jump-like velocity change of entanglement entropy propagation. Moreover, the number of jumps depends on the system configuration and especially on the number of composite parts. The evolution of the mutual information of two composite systems inherits these jumps. We present a detailed study of the mutual information for two subsystems with one of them being bipartite. We have found 5 qualitatively different types of behavior of the mutual information dynamics and indicated the corresponding ranges of system parameters.


title: Signatures of nodeless multiband superconductivity and particle-hole crossover in the vortex cores of FeTe$_{0.55}$Se$_{0.45}$

abstract: Scanning tunneling experiments on single crystals of superconducting FeTe$_{0.55}$Se$_{0.45}$ have recently provided evidence for discrete energy levels inside vortices. Although predicted long ago, such levels are seldom resolved due to extrinsic (temperature, instrumentation) and intrinsic (quasiparticle scattering) limitations. We study a microscopic multiband model with parameters appropriate for FeTe$_{0.55}$Se$_{0.45}$. We confirm the existence of well-separated bound states and show that the chemical disorder due to random occupation of the chalcogen site does not affect significantly the vortex-core electronic structure. We further analyze the vortex bound states by projecting the local density of states on angular-momentum eigenstates. A rather complex pattern of bound states emerges from the multiband and mixed electron-hole nature of the normal-state carriers. The character of the vortex states changes from hole-like with negative angular momentum at low energy to electron-like with positive angular momentum at higher energy within the superconducting gap. We show that disorder in the arrangement of vortices most likely explains the differences found experimentally when comparing different vortices.


title: Mean density inversions for red giants and red clump stars

abstract: Since the CoRoT and Kepler missions, the availability of high quality seismic spectra for red giants has made them the standard clocks and rulers for Galactic Archeology. With the expected excellent data from the TESS and PLATO missions, red giants will again play a key role in Galactic studies and stellar physics, thanks to the precise masses and radii determined by asteroseismology. The determination of these quantities is often based on so-called scaling laws, which have been used extensively for main-sequence stars. We show how the SOLA inversion technique can provide robust determinations of the mean density of red giants within 1 per cent of the real value, using only radial oscillations. Combined with radii determinations from Gaia of around 2 per cent precision, this approach provides robust, less model-dependent masses with an error lower than 10 per cent. It will improve age determinations, helping to accurately dissect the Galactic structure and history. We present results on artificial data of standard models, models including an extended atmosphere from averaged 3D simulations and non-adiabatic frequency calculations to test surface effects, and on eclipsing binaries. We show that the inversions provide very robust mean density estimates, using at best seismic information. However, we also show that a distinction between red-giant branch and red-clump stars is required to determine a reliable estimate of the mean density. The stability of the inversion enables an implementation in automated pipelines, making it suitable for large samples of stars.


title: MADARi: A Web Interface for Joint Arabic Morphological Annotation and Spelling Correction

abstract: In this paper, we introduce MADARi, a joint morphological annotation and spelling correction system for texts in Standard and Dialectal Arabic. The MADARi framework provides intuitive interfaces for annotating text and managing the annotation process of a large number of sizable documents. Morphological annotation includes indicating, for a word, in context, its baseword, clitics, part-of-speech, lemma, gloss, and dialect identification. MADARi has a suite of utilities to help with annotator productivity. For example, annotators are provided with pre-computed analyses to assist them in their task and reduce the amount of work needed to complete it. MADARi also allows annotators to query a morphological analyzer for a list of possible analyses in multiple dialects or look up previously submitted analyses. The MADARi management interface enables a lead annotator to easily manage and organize the whole annotation process remotely and concurrently. We describe the motivation, design and implementation of this interface; and we present details from a user study working with this system.


title: Saliency Detection via Bidirectional Absorbing Markov Chain

abstract: Traditional saliency detection via Markov chain only considers boundaries nodes. However, in addition to boundaries cues, background prior and foreground prior cues play a complementary role to enhance saliency detection. In this paper, we propose an absorbing Markov chain based saliency detection method considering both boundary information and foreground prior cues. The proposed approach combines both boundaries and foreground prior cues through bidirectional Markov chain. Specifically, the image is first segmented into superpixels and four boundaries nodes (duplicated as virtual nodes) are selected. Subsequently, the absorption time upon transition node's random walk to the absorbing state is calculated to obtain foreground possibility. Simultaneously, foreground prior as the virtual absorbing nodes is used to calculate the absorption time and obtain the background possibility. Finally, two obtained results are fused to obtain the combined saliency map using cost function for further optimization at multi-scale. Experimental results demonstrate the outperformance of our proposed model on 4 benchmark datasets as compared to 17 state-of-the-art methods.


title: Primeness and dynamics of some classes of entire functions

abstract: In this paper we investigate the primeness of a class of entire functions and discuss the dynamics of a periodic member f of this class with respect to a transcendental entire function g that permutes with f. In particular we show that the Julia sets of f and g are identical.


title: A Novel Deep Neural Network Architecture for Mars Visual Navigation

abstract: In this paper, emerging deep learning techniques are leveraged to deal with Mars visual navigation problem. Specifically, to achieve precise landing and autonomous navigation, a novel deep neural network architecture with double branches and non-recurrent structure is designed, which can represent both global and local deep features of Martian environment images effectively. By employing this architecture, Mars rover can determine the optimal navigation policy to the target point directly from original Martian environment images. Moreover, compared with the existing state-of-the-art algorithm, the training time is reduced by 45.8%. Finally, experiment results demonstrate that the proposed deep neural network architecture achieves better performance and faster convergence than the existing ones and generalizes well to unknown environment.


title: Noiseprint: a CNN-based camera model fingerprint

abstract: Forensic analyses of digital images rely heavily on the traces of in-camera and out-camera processes left on the acquired images. Such traces represent a sort of camera fingerprint. If one is able to recover them, by suppressing the high-level scene content and other disturbances, a number of forensic tasks can be easily accomplished. A notable example is the PRNU pattern, which can be regarded as a device fingerprint, and has received great attention in multimedia forensics. In this paper we propose a method to extract a camera model fingerprint, called noiseprint, where the scene content is largely suppressed and model-related artifacts are enhanced. This is obtained by means of a Siamese network, which is trained with pairs of image patches coming from the same (label +1) or different (label -1) cameras. Although noiseprints can be used for a large variety of forensic tasks, here we focus on image forgery localization. Experiments on several datasets widespread in the forensic community show noiseprint-based methods to provide state-of-the-art performance.


title: New Perspective On The Unruh Effect

abstract: In this work, based on the worldline path integral representation of the vacuum energy in spacetime with a Lorentzian metric, we provide a new but complementary interpretation of the Unruh effect. We perform the quantization of the massless free scalar field in Rindler space specifying initial and final conditions. After quantization, the final outcome for the vacuum energy is interpreted as world line path integrals. In this picture we find that the Unruh radiation is made of real particles as well as real antiparticles. The prediction regarding the presence of antiparticles in the radiation might open new lines for experimental detection of the effect. We present a thought experiment which offers a clear picture and supports the new interpretation.


title: The Ultra-Fast Outflow of WKK 4438: Suzaku and NuSTAR X-ray Spectral Analysis

abstract: Previous X-ray spectral analysis has revealed an increasing number of AGNs with high accretion rates where an outflow with a mildly relativistic velocity originates from the inner accretion disk. Here we report the detection of a new ultra-fast outflow (UFO) with a velocity of $v_{\rm out}=0.319^{+0.005}_{-0.008}c$ in addition to a relativistic disk reflection component in a poorly studied NLS1 WKK~4438, based on archival \nustar and \suzaku observations. The spectra of both \suzaku and \nustar observations show an Fe~\textsc{xxvi} absorption feature and the \suzaku data also show evidence for an Ar~\textsc{xviii} with the same blueshift. A super-solar argon abundance ($Z^{\prime}_{\rm Ar}>6Z_{\odot}$) and a slight iron over-abundance ($Z^{\prime}_{\rm Fe}=2.6^{+1.9}_{-2.0}Z_{\odot}$) are found in our spectral modelling. Based on Monte-Carlo simulations, the detection of the UFO is estimated to be around at 3$\sigma$ significance. The fast wind most likely arises from a radius of $\geq20r_g$ away from the central black hole. The disk is accreting at a high Eddington ratio ($L_{\rm bol}=0.4-0.7L_{\rm Edd}$). The mass outflow rate of the UFO is comparable with the disk mass inflow rate ($\dot M_{\rm out}>30\%\dot M_{\rm in}$), assuming a maximum covering factor. The kinetic power of the wind might not be high enough to have influence in AGN feedback ($\dot E_{\rm wind}/L_{\rm bol}\approx 3-5\%$) due to a relatively small column density ($12^{+9}_{-4}\times10^{22}$~cm$^{-2}$). However note that both the inferred velocity and the column density could be lower limits owing to the low viewing angle ($i=23^{+3}_{-2}$$^{\circ}$).


title: A global assessment of tourism and recreation conservation threats to prioritise interventions

abstract: We are increasingly using nature for tourism and recreation, an economic sector now generating more than 10% of the global GDP and 10% of global total employment. This growth though has come at a cost and we now have 5930 species for which tourism and recreation are conservation threats. For the first time we use global social media data to estimate where people go to experience nature and determine how this tourism and recreation pressure overlap with the distribution of threatened species. The more people seek interactions with nature in an area, the larger the number of species threatened by those interactions is. Clear crisis areas emerge where many species sensitive to tourism are exposed to high tourism pressures and those are mainly coastal marine regions. Our current tourism management approaches are not achieving biodiversity conservation. The global increase in nature tourism and recreation is set to continue and we need a global consistent response to mitigate its biodiversity impact. Like with other extractive industries, we must prioritise our efforts to diverge tourism away from crisis areas.


title: Tree-based Particle Smoothing Algorithms in a Hidden Markov Model

abstract: We provide a new strategy built on the divide-and-conquer approach by Lindsten et al. (2017) to investigate the smoothing problem in a hidden Markov model. We employ this approach to decompose a hidden Markov model into sub-models with intermediate target distributions based on an auxiliary tree structure and produce independent samples from the sub-models at the leaf nodes towards the original model of interest at the root. We review the target distribution in the sub-models suggested by Lindsten et al. and propose two new classes of target distributions, which are the estimates of the (joint) filtering distributions and the (joint) smoothing distributions. The first proposed type is straightforwardly constructible by running a filtering algorithm in advance. The algorithm using the second type of target distributions has an advantage of roughly retaining the marginals of all random variables invariant at all levels of the tree at the cost of approximating the marginal smoothing distributions in advance. We further propose the constructions of these target distributions using pre-generated Monte Carlo samples. We show empirically the algorithms with the proposed intermediate target distributions give stable and comparable results as the conventional smoothing methods in a linear Gaussian model and a non-linear model.


title: On the emergence of large and complex memory effects in nonequilibrium fluids

abstract: Control of cooling and heating processes is essential in many industrial and biological processes. In fact, the time evolution of an observable quantity may differ according to the previous history of the system. For example, a system that is being subject to cooling and then, at a given time $t_{w}$ for which the instantaneous temperature is $T(t_w)=T_{\mathrm{st}}$, is suddenly put in contact with a temperature source at $T_{\mathrm{st}}$ may continue cooling down temporarily or, on the contrary, undergo a temperature rebound. According to current knowledge, there can be only one "spurious" and small peak/low. However, our results prove that, under certain conditions, more than one extremum may appear. Specifically, we have observed regions with two extrema and a critical point with three extrema. We have also detected cases where extraordinarily large extrema are observed, as large as the order of magnitude of the stationary value of the variable of interest. We show this by studying the thermal evolution of a low density set of macroscopic particles that do not preserve kinetic energy upon collision, i.e., a granular gas. We describe the mechanism that signals in this system the emergence of these complex and large memory effects, and explain why similar observations can be expected in a variety of systems.


title: How do Convolutional Neural Networks Learn Design?

abstract: In this paper, we aim to understand the design principles in book cover images which are carefully crafted by experts. Book covers are designed in a unique way, specific to genres which convey important information to their readers. By using Convolutional Neural Networks (CNN) to predict book genres from cover images, visual cues which distinguish genres can be highlighted and analyzed. In order to understand these visual clues contributing towards the decision of a genre, we present the application of Layer-wise Relevance Propagation (LRP) on the book cover image classification results. We use LRP to explain the pixel-wise contributions of book cover design and highlight the design elements contributing towards particular genres. In addition, with the use of state-of-the-art object and text detection methods, insights about genre-specific book cover designs are discovered.


title: Formal Analysis of an E-Health Protocol

abstract: Given the sensitive nature of health data, security and privacy in e-health systems is of prime importance. It is crucial that an e-health system must ensure that users remain private - even if they are bribed or coerced to reveal themselves, or others: a pharmaceutical company could, for example, bribe a pharmacist to reveal information which breaks a doctor's privacy. In this paper, we first identify and formalise several new but important privacy properties on enforcing doctor privacy. Then we analyse the security and privacy of a complicated and practical e-health protocol (DLV08). Our analysis uncovers ambiguities in the protocol, and shows to what extent these new privacy properties as well as other security properties (such as secrecy and authentication) and privacy properties (such as anonymity and untraceability) are satisfied by the protocol. Finally, we address the found ambiguities which result in both security and privacy flaws, and propose suggestions for fixing them.


title: NNLO PDFs for the LHC

abstract: We consider some trends, achievements and a series of remaining problems in the precision determination of parton distribution functions. For the description of the scaling violations of the deep-inelastic scattering data, forming the key ingredients to all PDF fits, a solid theoretical framework is of importance. It is provided by the fixed flavor number scheme in describing the heavy-quark contributions which is found in good agreement with the present experimental data in a very wide range of momentum transfers. In this framework also a consistent determination of the heavy-quark masses is possible at high precision. The emerging Drell-Yan data measured at hadron colliders start to play a crucial role in disentangling the quark species, particularly at small and large values of $x$. These new inputs demonstrate a good overall consistency with the earlier constraints on the PDFs coming from fixed-target experiments. No dramatic change is observed in the PDFs in case of a consistent account of the higher-order QCD corrections and when leaving enough flexibility in the PDF shape parameterization.}


title: Deep Convolutional Neural Network with Mixup for Environmental Sound Classification

abstract: Environmental sound classification (ESC) is an important and challenging problem. In contrast to speech, sound events have noise-like nature and may be produced by a wide variety of sources. In this paper, we propose to use a novel deep convolutional neural network for ESC tasks. Our network architecture uses stacked convolutional and pooling layers to extract high-level feature representations from spectrogram-like features. Furthermore, we apply mixup to ESC tasks and explore its impacts on classification performance and feature distribution. Experiments were conducted on UrbanSound8K, ESC-50 and ESC-10 datasets. Our experimental results demonstrated that our ESC system has achieved the state-of-the-art performance (83.7%) on UrbanSound8K and competitive performance on ESC-50 and ESC-10.


title: StreamChain: Rethinking Blockchain for Datacenters

abstract: Permissioned blockchains promise secure decentralized data management in business-to-business use-cases. In contrast to Bitcoin and similar public blockchains which rely on Proof-of-Work for consensus and are deployed on thousands of geo-distributed nodes, business-to-business use-cases (such as supply chain management and banking) require significantly fewer nodes, cheaper consensus, and are often deployed in datacenter-like environments with fast networking. However, permissioned blockchains often follow the architectural thinkining behind their WAN-oriented public relatives, which results in end-to-end latencies several orders of magnitude higher than necessary. In this work, we propose StreamChain, a permissioned blockchain design that eliminates blocks in favor of processing transactions in a streaming fashion. This results in a drastically lower latency without reducing throughput or forfeiting reliability and security guarantees. To demonstrate the wide applicability of our design, we prototype StreamChain based on the Hyperledger Fabric, and show that it delivers latency two orders of magnitude lower than Fabric, while sustaining similar throughput. This performance makes StreamChain a potential alternative to traditional databases and, thanks to its streaming paradigm, enables further research around reducing latency through relying on modern hardware in datacenters.


title: Longest increasing path within the critical strip

abstract: A Poisson point process of unit intensity is placed in the square $[0,n]^2$. An increasing path is a curve connecting $(0,0)$ with $(n,n)$ which is non-decreasing in each coordinate. Its length is the number of points of the Poisson process which it passes through. Baik, Deift and Johansson proved that the maximal length of an increasing path has expectation $2n-n^{1/3}(c_1+o(1))$, variance $n^{2/3}(c_2+o(1))$ and that it converges to the Tracy-Widom distribution after suitable scaling. Johansson further showed that all maximal paths have a displacement of $n^{\frac23+o(1)}$ from the diagonal with probability tending to one as $n\to \infty$. Here we prove that the maximal length of an increasing path restricted to lie within a strip of width $n^{\gamma}, \gamma<\frac23$, around the diagonal has expectation $2n-n^{1-\gamma+o(1)}$, variance $n^{1 - \frac{\gamma}{2}+o(1)}$ and that it converges to the Gaussian distribution after suitable scaling.


title: Airy and Painlev\'e asymptotics for the mKdV equation

abstract: We consider the higher order asymptotics for the mKdV equation in the Painlev\'e sector. We first show that the solution admits a uniform expansion to all orders in powers of $t^{-1/3}$ with coefficients that are smooth functions of $x(3t)^{-1/3}$. We then consider the special case when the reflection coefficient vanishes at the origin. In this case, the leading coefficient which satisfies the Painlev\'e II equation vanishes. We show that the leading asymptotics is instead described by the derivative of the Airy function. We are also able to express the subleading term explicitly in terms of the Airy function.


title: Improving the results of string kernels in sentiment analysis and Arabic dialect identification by adapting them to your test set

abstract: Recently, string kernels have obtained state-of-the-art results in various text classification tasks such as Arabic dialect identification or native language identification. In this paper, we apply two simple yet effective transductive learning approaches to further improve the results of string kernels. The first approach is based on interpreting the pairwise string kernel similarities between samples in the training set and samples in the test set as features. Our second approach is a simple self-training method based on two learning iterations. In the first iteration, a classifier is trained on the training set and tested on the test set, as usual. In the second iteration, a number of test samples (to which the classifier associated higher confidence scores) are added to the training set for another round of training. However, the ground-truth labels of the added test samples are not necessary. Instead, we use the labels predicted by the classifier in the first training iteration. By adapting string kernels to the test set, we report significantly better accuracy rates in English polarity classification and Arabic dialect identification.


title: How many labeled license plates are needed?

abstract: Training a good deep learning model often requires a lot of annotated data. As a large amount of labeled data is typically difficult to collect and even more difficult to annotate, data augmentation and data generation are widely used in the process of training deep neural networks. However, there is no clear common understanding on how much labeled data is needed to get satisfactory performance. In this paper, we try to address such a question using vehicle license plate character recognition as an example application. We apply computer graphic scripts and Generative Adversarial Networks to generate and augment a large number of annotated, synthesized license plate images with realistic colors, fonts, and character composition from a small number of real, manually labeled license plate images. Generated and augmented data are mixed and used as training data for the license plate recognition network modified from DenseNet. The experimental results show that the model trained from the generated mixed training data has good generalization ability, and the proposed approach achieves a new state-of-the-art accuracy on Dataset-1 and AOLP, even with a very limited number of original real license plates. In addition, the accuracy improvement caused by data generation becomes more significant when the number of labeled images is reduced. Data augmentation also plays a more significant role when the number of labeled images is increased.


title: The Gauss--skizze decomposition is a Goresky-MacPherson stratification

abstract: We consider a new stratification of the space of configurations of $n$ marked points on the complex plane. Recall that this space can be differently interpreted as the space $^{\rm D}{\rm Pol}_{n}$ of degree $n>1$ complex, monic polynomials with distinct roots, the sum of which is 0. A stratum $A_{\sigma}$ is the set of polynomials having $P^{-1}(\mathbb{R}\cup\imath\mathbb{R})$ in the same isotopy class, relative to their asymptotic directions. We show that this stratification is a Goresky--MacPherson stratification and that from thickening strata a good cover in the sense of \v{C}ech can be constructed, allowing an explicit computation of the cohomology groups of this space.


title: Nano-oscillator-based classification with a machine learning-compatible architecture

abstract: Pattern classification architectures leveraging the physics of coupled nano-oscillators have been demonstrated as promising alternative computing approaches, but lack effective learning algorithms. In this work, we propose a nano-oscillator based classification architecture where the natural frequencies of the oscillators are learned linear combinations of the inputs, and define an offline learning algorithm based on gradient back-propagation. Our results show significant classification improvements over a related approach with online learning. We also compare our architecture with a standard neural network on a simple machine learning case, which suggests that our approach is economical in terms of numbers of adjustable parameters. The introduced architecture is also compatible with existing nano-technologies: the architecture does not require changes in the coupling between nano-oscillators, and it is tolerant to oscillator phase noise.


title: A Brief Survey and an Application of Semantic Image Segmentation for Autonomous Driving

abstract: Deep learning is a fast-growing machine learning approach to perceive and understand large amounts of data. In this paper, general information about the deep learning approach which is attracted much attention in the field of machine learning is given in recent years and an application about semantic image segmentation is carried out in order to help autonomous driving of autonomous vehicles. This application is implemented with Fully Convolutional Network (FCN) architectures obtained by modifying the Convolutional Neural Network (CNN) architectures based on deep learning. Experimental studies for the application are utilized 4 different FCN architectures named FCN-AlexNet,FCN-8s, FCN-16s and FCN-32s. For the experimental studies, FCNs are first trained separately and validation accuracies of these trained network models on the used dataset is compared. In addition, image segmentation inferences are visualized to take account of how precisely FCN architectures can segment objects.


title: Unsupervised Hypergraph Feature Selection via a Novel Point-Weighting Framework and Low-Rank Representation

abstract: Feature selection methods are widely used in order to solve the 'curse of dimensionality' problem. Many proposed feature selection frameworks, treat all data points equally; neglecting their different representation power and importance. In this paper, we propose an unsupervised hypergraph feature selection method via a novel point-weighting framework and low-rank representation that captures the importance of different data points. We introduce a novel soft hypergraph with low complexity to model data. Then, we formulate the feature selection as an optimization problem to preserve local relationships and also global structure of data. Our approach for global structure preservation helps the framework overcome the problem of unavailability of data labels in unsupervised learning. The proposed feature selection method treats with different data points based on their importance in defining data structure and representation power. Moreover, since the robustness of feature selection methods against noise and outlier is of great importance, we adopt low-rank representation in our model. Also, we provide an efficient algorithm to solve the proposed optimization problem. The computational cost of the proposed algorithm is lower than many state-of-the-art methods which is of high importance in feature selection tasks. We conducted comprehensive experiments with various evaluation methods on different benchmark data sets. These experiments indicate significant improvement, compared with state-of-the-art feature selection methods.


title: Collective Mode Interferences in Light--Matter Interactions

abstract: We present a theoretical and experimental analysis of transient optical properties of a dense cold atomic gas. After the rapid extinction of a weak coherent driving field (mean photon number $\sim 1.5$), a transient `flash' is observed. Surprisingly the decay of the `flash' is faster than the decay of the fastest superradiant mode of the system. We show that this `faster than superradiance decay' is expected due to the interference between collective eigenmodes that exhibit a range of frequency shifts away from the bare atomic transition. Experimental results confirm that the initial decay rate of the superradiant flash increases with optical depth, in agreement with the numerical simulations for the experimental conditions.


title: Multiplayer bandits without observing collision information

abstract: We study multiplayer stochastic multi-armed bandit problems in which the players cannot communicate and if two or more players pull the same arm, a collision occurs and the involved players receive zero reward. We consider two feedback models: a model in which the players can observe whether a collision has occurred and a more difficult setup when no collision information is available. We give the first theoretical guarantees for the second model: an algorithm with a logarithmic regret, and an algorithm with a square-root regret type that does not depend on the gaps between the means. For the first model, we give the first square-root regret bounds that do not depend on the gaps. Building on these ideas, we also give an algorithm for reaching approximate Nash equilibria quickly in stochastic anti-coordination games.


title: Parameter estimation for Gaussian processes with application to the model with two independent fractional Brownian motions

abstract: The purpose of the article is twofold. Firstly, we review some recent results on the maximum likelihood estimation in the regression model of the form $X_t = \theta G(t) + B_t$, where $B$ is a Gaussian process, $G(t)$ is a known function, and $\theta$ is an unknown drift parameter. The estimation techniques for the cases of discrete-time and continuous-time observations are presented. As examples, models with fractional Brownian motion, mixed fractional Brownian motion, and sub-fractional Brownian motion are considered. Secondly, we study in detail the model with two independent fractional Brownian motions and apply the general results mentioned above to this model.


title: Field-theoretic approach to the universality of branching processes

abstract: Branching processes are widely used to model phenomena from networks to neuronal avalanching. In a large class of continuous-time branching processes, we study the temporal scaling of the moments of the instant population size, the survival probability, expected avalanche duration, the so-called avalanche shape, the $n$-point correlation function and the probability density function of the total avalanche size. Previous studies have shown universality in certain observables of branching processes using probabilistic arguments, however, a comprehensive description is lacking. We derive the field theory that describes the process and demonstrate how to use it to calculate the relevant observables and their scaling to leading order in time, revealing the universality of the moments of the population size. Our results explain why the first and second moment of the offspring distribution are sufficient to fully characterise the process in the vicinity of criticality, regardless of the underlying offspring distribution. This finding implies that branching processes are universal. We illustrate our analytical results with computer simulations.


title: The Complexity of $(\Delta + 1)$Coloring inCongested Clique, Massively Parallel Computation,and Centralized Local Computation

abstract: We present new randomized algorithms that improve the complexity of the classic $(\Delta+1)$-coloring problem, and its generalization $(\Delta+1)$-list-coloring, in three well-studied models of distributed, parallel, and centralized computation: Distributed Congested Clique: We present an $O(1)$-round randomized algorithm for $(\Delta+1)$-list coloring in the congested clique model of distributed computing. This settles the asymptotic complexity of this problem. It moreover improves upon the $O(\log^\ast \Delta)$-round randomized algorithms of Parter and Su [DISC'18] and $O((\log\log \Delta)\cdot \log^\ast \Delta)$-round randomized algorithm of Parter [ICALP'18]. Massively Parallel Computation: We present a $(\Delta+1)$-list coloring algorithm with round complexity $O(\sqrt{\log\log n})$ in the Massively Parallel Computation (MPC) model with strongly sublinear memory per machine. This algorithm uses a memory of $O(n^{\alpha})$ per machine, for any desirable constant $\alpha>0$, and a total memory of $\widetilde{O}(m)$, where $m$ is the size of the graph. Notably, this is the first coloring algorithm with sublogarithmic round complexity, in the sublinear memory regime of MPC. For the quasilinear memory regime of MPC, an $O(1)$-round algorithm was given very recently by Assadi et al. [SODA'19]. Centralized Local Computation: We show that $(\Delta+1)$-list coloring can be solved with $\Delta^{O(1)} \cdot O(\log n)$ query complexity, in the centralized local computation model. The previous state-of-the-art for $(\Delta+1)$-list coloring in the centralized local computation model are based on simulation of known LOCAL algorithms.


title: K-stability, Futaki invariants and cscK metrics on orbifold resolutions

abstract: In this paper we compute the Futaki invariant of adiabatic Kaehler classes on resolutions of Kaehler orbifolds with isolated singularities. Combined with previous existence results of extremal metrics by Arezzo-Lena-Mazzieri, this gives a number of new existence and non-existence results for cscK metrics.


title: Spectral gap property for random dynamics on the real line and multifractal analysis of generalised Takagi functions

abstract: We consider the random iteration of finitely many expanding $\mathcal{C}^{1+\epsilon}$ diffeomorphisms on the real line without a common fixed point. We derive the spectral gap property of the associated transition operator acting on H\"older spaces. As an application we introduce generalised Takagi functions on the real line and we perform a complete multifractal analysis of the pointwise H\"older exponents of these functions.


title: A central limit theorem for random closed geodesics: proof of the Chas-Li-Maskit conjecture

abstract: We prove a central limit theorem for the length of closed geodesics in any compact orientable hyperbolic surface. In the special case of a hyperbolic pair of pants, this settles a conjecture of Chas-Li-Maskit.


title: Gumbel Central Limit Theorem for Max-Min and Min-Max

abstract: The Max-Min and Min-Max of matrices arise prevalently in science and engineering. However, in many real-world situations the computation of the Max-Min and Min-Max is challenging as matrices are large and full information about their entries is lacking. Here we take a statistical-physics approach and establish limit-laws -- akin to the Central Limit Theorem -- for the Max-Min and Min-Max of large random matrices. The limit-laws intertwine random-matrix theory and extreme-value theory, couple the matrix-dimensions geometrically, and assert that Gumbel statistics emerge irrespective of the matrix-entries' distribution. Due to their generality and universality, as well as their practicality, these novel results are expected to have a host of applications in the physical sciences and beyond.


title: Efficiently Processing Workflow Provenance Queries on SPARK

abstract: In this paper, we investigate how we can leverage Spark platform for efficiently processing provenance queries on large volumes of workflow provenance data. We focus on processing provenance queries at attribute-value level which is the finest granularity available. We propose a novel weakly connected component based framework which is carefully engineered to quickly determine a minimal volume of data containing the entire lineage of the queried attribute-value. This minimal volume of data is then processed to figure out the provenance of the queried attribute-value. The proposed framework computes weakly connected components on the workflow provenance graph and further partitions the large components as a collection of weakly connected sets. The framework exploits the workflow dependency graph to effectively partition the large components into a collection of weakly connected sets. We study the effectiveness of the proposed framework through experiments on a provenance trace obtained from a real-life unstructured text curation workflow. On provenance graphs containing upto 500M nodes and edges, we show that the proposed framework answers provenance queries in real-time and easily outperforms the naive approaches.


title: A Gutzwiller trace formula for stationary space-times

abstract: We give a relativistic generalization of the Gutzwiller-Duistermaat-Guillemin trace formula for the wave group of a compact Riemannian manifold to globally hyperbolic stationary space-times with compact Cauchy hypersurfaces. We introduce several (essentially equivalent) notions of trace of self-adjoint operators on the null-space $\ker \Box$ of the wave operator and define $U(t)$ to be translation by the flow $e^{t Z}$ of the timelike Killing vector field $Z$ on $\Box$. The spectrum of $Z$ on $\ker \Box$ is discrete and the singularities of $\rm{Tr}\;e^{t Z} |_{\ker \Box}$ occur at periods of periodic orbits of $\exp t Z$ on the symplectic manifold of null geodesics. The trace formula gives a Weyl law for the eigenvalues of $Z$ on $\ker \Box$.


title: Analysis of adversarial attacks against CNN-based image forgery detectors

abstract: With the ubiquitous diffusion of social networks, images are becoming a dominant and powerful communication channel. Not surprisingly, they are also increasingly subject to manipulations aimed at distorting information and spreading fake news. In recent years, the scientific community has devoted major efforts to contrast this menace, and many image forgery detectors have been proposed. Currently, due to the success of deep learning in many multimedia processing tasks, there is high interest towards CNN-based detectors, and early results are already very promising. Recent studies in computer vision, however, have shown CNNs to be highly vulnerable to adversarial attacks, small perturbations of the input data which drive the network towards erroneous classification. In this paper we analyze the vulnerability of CNN-based image forensics methods to adversarial attacks, considering several detectors and several types of attack, and testing performance on a wide range of common manipulations, both easily and hardly detectable.


title: Photocatalytic activity, optical and ferroelectric properties of Bi0.8Nd0.2FeO3 nanoparticles synthesized by sol-gel and hydrothermal methods

abstract: In this study, the effects of synthesis method and dopant Neodymium ion on the ferroelectric properties and photocatalytic activity of bismuth ferrite were studied. BiFeO3 (BFO) and Bi0.8Nd0.2FeO3 (BNFO) nanoparticles were prepared through a facile sol-gel combustion (SG) and hydrothermal (HT) methods. The as-prepared products were characterized by X-ray powder diffraction (XRD), Furrier transform infrared spectroscopy (FTIR) and transmission electron microscope (TEM) images. Both nanophotocatalysts have similar crystal structures, but the SG products have semi-spherical morphology. On the other hand, HT samples have rod-like morphology. TEM results indicated that the morphology of products was not affected by the doping process. The thermal, optical and magnetic properties of nanoparticles were investigated by thermogravitometry and differential thermal analysis (TG/DTA), UV-vis spectroscopy, and vibrating sample magnetometer (VSM). The ferroelectric properties of BNFO nanoparticles were improved compared to the undoped bismuth ferrite. The photocatalytic activity of as-synthesized nanoparticles was also evaluated by the degradation of methyl orange (MO) under visible light irradiation. The photocatalytic activity of nanoparticles prepared via sol-gel method exhibited a higher photocatalytic activity compared to powders obtained by hydrothermal method. Also substitution of Nd into the BFO structure increased the photocatalytic activity of products.


title: You are what you eat: A social media study of food identity

abstract: Food preferences not only originate from a person's dietary habits, but also reflect personal values and consumer awareness. This study addresses `food identity' or the relationship between food preferences and personal attributes based on the concept of `food left-wing' (e.g., vegetarians) and `food right-wing' (e.g., fast-food lovers) by analyzing social data using information entropy and networks. The results show that food identity extends beyond the domain of food: The food left-wing has a strong interest in socio-environmental issues, while the food right-wing has a higher interest in large-scale shopping malls and politically conservative issues. Furthermore, the social interactions of food left-wing and right-wing factions show segregated structures, indicating different information consumption patterns. These findings suggest that food identity may be applicable as a proxy for personal attributes and offer insights into potential buying patterns.


title: Driven tabu search: a quantum inherent optimisation

abstract: Quantum computers are different from binary digital electronic computers based on transistors. Common digital computing encodes the data into binary digits (bits), each of which is always in one of two definite states (0 or 1), quantum computation uses quantum bits (qubits). A circuit-based qubit quantum computer exists and is available for experiments via cloud, the IBM quantum experience project. We implemented a Quantum Tabu Search in order to obtain a quantum combinatorial optimisation, suggesting that an entanglement-metaheuristic can display optimal solutions and accelerate the optimisation process by using entangled states. We show by building optimal coupling maps that the distribution of our results gave similar shape as shown previous results in an existing teleport circuit. Our research aims to find which graph of coupling better matches a quantum circuit.


title: Dehn surgery on the minimally twisted seven-chain link

abstract: We classify all the exceptional Dehn surgeries on the minimally twisted chain links with six and seven components.


title: An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization

abstract: Finding the minimum of a multivariate real polynomial is a well-known hard problem with various applications. We present a polynomial time algorithm to approximate such lower bounds via sums of nonnegative circuit polynomials (SONC). As a main result, we carry out the first large-scale comparison of SONC, using this algorithm and different geometric programming (GP) solvers, with the classical sums of squares (SOS) approach, using several of the most common semidefinite programming (SDP) solvers. SONC yields bounds competitive to SOS in several cases, but using significantly less time and memory. In particular, SONC/GP can handle much larger problem instances than SOS/SDP.


title: Churn Intent Detection in Multilingual Chatbot Conversations and Social Media

abstract: We propose a new method to detect when users express the intent to leave a service, also known as churn. While previous work focuses solely on social media, we show that this intent can be detected in chatbot conversations. As companies increasingly rely on chatbots they need an overview of potentially churny users. To this end, we crowdsource and publish a dataset of churn intent expressions in chatbot interactions in German and English. We show that classifiers trained on social media data can detect the same intent in the context of chatbots. We introduce a classification architecture that outperforms existing work on churn intent detection in social media. Moreover, we show that, using bilingual word embeddings, a system trained on combined English and German data outperforms monolingual approaches. As the only existing dataset is in English, we crowdsource and publish a novel dataset of German tweets. We thus underline the universal aspect of the problem, as examples of churn intent in English help us identify churn in German tweets and chatbot conversations.


title: A Tutorial on Modular Ontology Modeling with Ontology Design Patterns: The Cooking Recipes Ontology

abstract: We provide a detailed example for modular ontology modeling based on ontology design patterns.


title: Finding a Zipf distribution and cascading propagation metric in utility line outage data

abstract: Observed transmission line outage data is grouped into successive generations of events. The empirical distribution of the number of generations in the cascades follows a Zipf distribution that implies the increasing propagation as cascades progress. The slope of the Zipf distribution gives a System Event Propagation Slope Index (SEPSI). This new metric quantifies the cascade propagation, varies as expected, and determines the probabilities of small, medium, and large cascades.


title: Interferometric Observations of Cyanopolyynes toward the G28.28-0.36 High-Mass Star-Forming Region

abstract: We have carried out interferometric observations of cyanopolyynes, HC$_{3}$N, HC$_{5}$N, and HC$_{7}$N, in the 36 GHz band toward the G28.28$-$0.36 high-mass star-forming region using the Karl G. Jansky Very Large Array (VLA) Ka-band receiver. The spatial distributions of HC$_{3}$N and HC$_{5}$N are obtained. HC$_{5}$N emission is coincident with a 450 $\mu$m dust continuum emission and this clump with a diameter of $\sim 0.2$ pc is located at the east position from the 6.7 GHz methanol maser by $\sim 0.15$ pc. HC$_{7}$N is tentatively detected toward the clump. The HC$_{3}$N : HC$_{5}$N : HC$_{7}$N column density ratios are estimated at 1.0 : $\sim 0.3$ : $\sim 0.2$ at an HC$_{7}$N peak position. We discuss possible natures of the 450 $\mu$m continuum clump associated with the cyanopolyynes. The 450 $\mu$m continuum clump seems to contain deeply embedded low- or intermediate-mass protostellar cores, and the most possible formation mechanism of the cyanopolyynes is the warm carbon chain chemistry (WCCC) mechanism. In addition, HC$_{3}$N and compact HC$_{5}$N emission is detected at the edge of the 4.5 $\mu$m emission, which possibly implies that such emission is the shock origin.


title: On the viability of Planck scale cosmology with quartessence

abstract: In this paper, using a qualitative theory of dynamical systems, we study the stability of a unified dark matter-dark energy framework known as quartessence Chaplygin model (QCM) with three different equation-of-states within ultraviolet (UV) deformed Friedmann-Robertson-Walker (FRW) cosmologies without Big-Bang singularity. The UV deformation is inspired by the non-commutative (NC) Snyder spacetime approach in which by keeping the transformation groups and rotational symmetry there is a dimensionless, Planck scale characteristic parameter $\mu_0$ with dual implications dependent on its sign that addresses the required invariant cutoffs for length and momentum in nature, in a separate manner. Our stability analysis is done in the $(H,\rho)$ phase space at a finite domain concerning the hyperbolic critical points. According to our analysis, due to constraints imposed on the signs of $\mu_0$ from the phenomenological parameters involved in quartessence models $(\Omega_m^*, c_s^2, \rho_*)$, for an expanding and accelerating late universe, all three QCMs can be stable in the vicinity of the critical points. The requirement of stability for these quartessence models in case of admission of a minimum invariant length, can yield a flat as well as non-flat expanding and accelerating universe in which Big-Bang singularity is absent. This feedback also phenomenologically credits to braneworld-like framework versus loop quantum cosmology-like one as two possible scenarios which can be NC Snyder spacetime generators (correspond to $\mu_0<0$ and $\mu_0>0$, respectively). As a result, our analysis show that between quartessence models with Chaplygin gas equation-of-states and accelerating FRW backgrounds occupied by a minimum invariant length, there is a possibility of viability.


title: Meta-Learning for Low-Resource Neural Machine Translation

abstract: In this paper, we propose to extend the recently introduced model-agnostic meta-learning algorithm (MAML) for low-resource neural machine translation (NMT). We frame low-resource translation as a meta-learning problem, and we learn to adapt to low-resource languages based on multilingual high-resource language tasks. We use the universal lexical representation~\citep{gu2018universal} to overcome the input-output mismatch across different languages. We evaluate the proposed meta-learning strategy using eighteen European languages (Bg, Cs, Da, De, El, Es, Et, Fr, Hu, It, Lt, Nl, Pl, Pt, Sk, Sl, Sv and Ru) as source tasks and five diverse languages (Ro, Lv, Fi, Tr and Ko) as target tasks. We show that the proposed approach significantly outperforms the multilingual, transfer learning based approach~\citep{zoph2016transfer} and enables us to train a competitive NMT system with only a fraction of training examples. For instance, the proposed approach can achieve as high as 22.04 BLEU on Romanian-English WMT'16 by seeing only 16,000 translated words (~600 parallel sentences).


title: Paraphrases as Foreign Languages in Multilingual Neural Machine Translation

abstract: Paraphrases, the rewordings of the same semantic meaning, are useful for improving generalization and translation. However, prior works only explore paraphrases at the word or phrase level, not at the sentence or corpus level. Unlike previous works that only explore paraphrases at the word or phrase level, we use different translations of the whole training data that are consistent in structure as paraphrases at the corpus level. We train on parallel paraphrases in multiple languages from various sources. We treat paraphrases as foreign languages, tag source sentences with paraphrase labels, and train on parallel paraphrases in the style of multilingual Neural Machine Translation (NMT). Our multi-paraphrase NMT that trains only on two languages outperforms the multilingual baselines. Adding paraphrases improves the rare word translation and increases entropy and diversity in lexical choice. Adding the source paraphrases boosts performance better than adding the target ones. Combining both the source and the target paraphrases lifts performance further; combining paraphrases with multilingual data helps but has mixed performance. We achieve a BLEU score of 57.2 for French-to-English translation using 24 corpus-level paraphrases of the Bible, which outperforms the multilingual baselines and is +34.7 above the single-source single-target NMT baseline.


title: The correlation of synthetic UV color vs Mg II index along the solar cycle

abstract: Modeling of planets' climate and habitability requires as fundamental input the UV emission of the hosting star. \citet{lovric2017} employed SORCE/SOLSTICE solar observations to introduce a UV color index which is a descriptor of the UV radiation that modulates the photochemistry of planets atmospheres. After correcting the SOLSTICE data for residual instrumental effects that produced asymmetric signals during different phases of the cycles analyzed, the authors found that the UV color index is linearly correlated with the Mg II index.In this paper we employ an irradiance reconstruction technique to synthetize the UV color and Mg II index with the purpose of investigating whether the correction applied by \citet{lovric2017} to SORCE/SOLSTICE data might have compensated for solar variations, and to investigate the physical mechanisms that produce such a strong correlation between the UV color index and the solar activity. Reconstructed indices reproduce very well the observations and present the same strong linear dependence. Moreover our reconstruction, which extends back to 1989, shows that the UV color - Mg II index relation can be described by the same linear relation for almost three cycles, thus ruling out an overcompensation of SORCE/SOLTICE data in the analysis of \citet{lovric2017}. We suggest that the strong correlation between the indices results from the fact that most of the Far- and Middle- UV radiation originates in the chromosphere, where atmosphere models of quiet and magnetic features present similar temperature and density gradients.


title: Causes of Effects via a Bayesian Model Selection Procedure

abstract: In causal inference, and specifically in the \textit{Causes of Effects} problem, one is interested in how to use statistical evidence to understand causation in an individual case, and so how to assess the so-called {\em probability of causation} (PC). The answer relies on the potential responses, which can incorporate information about what would have happened to the outcome as we had observed a different value of the exposure. However, even given the best possible statistical evidence for the association between exposure and outcome, we can typically only provide bounds for the PC. Dawid et al. (2016) highlighted some fundamental conditions, namely, exogeneity, comparability, and sufficiency, required to obtain such bounds, based on experimental data. The aim of the present paper is to provide methods to find, in specific cases, the best subsample of the reference dataset to satisfy such requirements. To this end, we introduce a new variable, expressing the desire to be exposed or not, and we set the question up as a model selection problem. The best model will be selected using the marginal probability of the responses and a suitable prior proposal over the model space. An application in the educational field is presented.


title: Inductive Learning of Answer Set Programs from Noisy Examples

abstract: In recent years, non-monotonic Inductive Logic Programming has received growing interest. Specifically, several new learning frameworks and algorithms have been introduced for learning under the answer set semantics, allowing the learning of common-sense knowledge involving defaults and exceptions, which are essential aspects of human reasoning. In this paper, we present a noise-tolerant generalisation of the learning from answer sets framework. We evaluate our ILASP3 system, both on synthetic and on real datasets, represented in the new framework. In particular, we show that on many of the datasets ILASP3 achieves a higher accuracy than other ILP systems that have previously been applied to the datasets, including a recently proposed differentiable learning framework.


title: Efficient improvement of frequency-domain Kalman filter

abstract: The frequency-domain Kalman filter (FKF) has been utilized in many audio signal processing applications due to its fast convergence speed and robustness. However, the performance of the FKF in under-modeling situations has not been investigated. This paper presents an analysis of the steady-state behavior of the commonly used diagonalized FKF and reveals that it suffers from a biased solution in under-modeling scenarios. Two efficient improvements of the FKF are proposed, both having the benefits of the guaranteed optimal steady-state behavior at the cost of a very limited increase of the computational burden. The convergence behavior of the proposed algorithms is also compared analytically. Computer simulations are conducted to validate the improved performance of the proposed methods.


title: Privacy in Internet of Things: from Principles to Technologies

abstract: Ubiquitous deployment of low-cost smart devices and widespread use of high-speed wireless networks have led to the rapid development of the Internet of Things (IoT). IoT embraces countless physical objects that have not been involved in the traditional Internet and enables their interaction and cooperation to provide a wide range of IoT applications. Many services in the IoT may require a comprehensive understanding and analysis of data collected through a large number of physical devices that challenges both personal information privacy and the development of IoT. Information privacy in IoT is a broad and complex concept as its understanding and perception differ among individuals and its enforcement requires efforts from both legislation as well as technologies. In this paper, we review the state-of-the-art principles of privacy laws, the architectures for IoT and the representative privacy enhancing technologies (PETs). We analyze how legal principles can be supported through a careful implementation of privacy enhancing technologies (PETs) at various layers of a layered IoT architecture model to meet the privacy requirements of the individuals interacting with IoT systems. We demonstrate how privacy legislation maps to privacy principles which in turn drives the design of necessary privacy enhancing technologies to be employed in the IoT architecture stack.


title: Guiding Deep Learning System Testing using Surprise Adequacy

abstract: Deep Learning (DL) systems are rapidly being adopted in safety and security critical domains, urgently calling for ways to test their correctness and robustness. Testing of DL systems has traditionally relied on manual collection and labelling of data. Recently, a number of coverage criteria based on neuron activation values have been proposed. These criteria essentially count the number of neurons whose activation during the execution of a DL system satisfied certain properties, such as being above predefined thresholds. However, existing coverage criteria are not sufficiently fine grained to capture subtle behaviours exhibited by DL systems. Moreover, evaluations have focused on showing correlation between adversarial examples and proposed criteria rather than evaluating and guiding their use for actual testing of DL systems. We propose a novel test adequacy criterion for testing of DL systems, called Surprise Adequacy for Deep Learning Systems (SADL), which is based on the behaviour of DL systems with respect to their training data. We measure the surprise of an input as the difference in DL system's behaviour between the input and the training data (i.e., what was learnt during training), and subsequently develop this as an adequacy criterion: a good test input should be sufficiently but not overtly surprising compared to training data. Empirical evaluation using a range of DL systems from simple image classifiers to autonomous driving car platforms shows that systematic sampling of inputs based on their surprise can improve classification accuracy of DL systems against adversarial examples by up to 77.5% via retraining.


title: Semi-continuous g-frames in Hilbert spaces

abstract: In this paper, we introduce the concept of semi-continuous $g$-frames in Hilbert spaces. We first construct an example of semi-continuous $g$-frames using the Fourier transform of the Heisenberg group and study the structure of such frames. Then, as an application we provide some fundamental identities and inequalities for semi-continuous $g$-frames. Finally, we present a classical perturbation result and prove that semi-continuous $g$-frames are stable under small perturbations.


title: Gauge dependence of the one-loop divergences in $6D$, ${\cal N} = (1,0)$ abelian theory

abstract: We study the gauge dependence of the one-loop effective action for the abelian $6D$, ${\cal N}=(1,0)$ supersymmetric gauge theory formulated in harmonic superspace. We introduce the superfield $\xi$-gauge, construct the corresponding gauge superfield propagator, and calculate the one-loop two-and three-point Green functions with two external hypermultiplet legs. We demonstrate that in the general $\xi$-gauge the two-point Green function of the hypermultiplet is divergent, as opposed to the Feynman gauge $\xi =1$. The three-point Green function with two external hypermultiplet legs and one leg of the gauge superfield is also divergent. We verified that the Green functions considered satisfy the Ward identity formulated in ${\cal N}=(1,0)$ harmonic superspace and that their gauge dependence vanishes on shell. Using the result for the two- and three-point Green functions and arguments based on the gauge invariance, we present the complete divergent part of the one-loop effective action in the general $\xi$-gauge.


title: Deep Emotion: A Computational Model of Emotion Using Deep Neural Networks

abstract: Emotions are very important for human intelligence. For example, emotions are closely related to the appraisal of the internal bodily state and external stimuli. This helps us to respond quickly to the environment. Another important perspective in human intelligence is the role of emotions in decision-making. Moreover, the social aspect of emotions is also very important. Therefore, if the mechanism of emotions were elucidated, we could advance toward the essential understanding of our natural intelligence. In this study, a model of emotions is proposed to elucidate the mechanism of emotions through the computational model. Furthermore, from the viewpoint of partner robots, the model of emotions may help us to build robots that can have empathy for humans. To understand and sympathize with people's feelings, the robots need to have their own emotions. This may allow robots to be accepted in human society. The proposed model is implemented using deep neural networks consisting of three modules, which interact with each other. Simulation results reveal that the proposed model exhibits reasonable behavior as the basic mechanism of emotion.