title: Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study

abstract: It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common measures of testing adequacy may not address this diversity. Explicit situation coverage has been proposed as a solution, but there has been little empirical study of its effectiveness. In this paper, we describe an implementation of situation coverage for testing a simple simulated autonomous road vehicle, and evaluate its ability to find seeded faults compared to a random test generation approach. In our experiments, the performance of the two methods is similar, with situation coverage having a very slight advantage. We conclude that situation coverage probably does not have a significant benefit over random generation for the type of simple, research-grade AR software used here. It will likely be valuable when applied to more complex and mature software.


title: Simple iterative method for generating targeted universal adversarial perturbations

abstract: Deep neural networks (DNNs) are vulnerable to adversarial attacks. In particular, a single perturbation known as the universal adversarial perturbation (UAP) can foil most classification tasks conducted by DNNs. Thus, different methods for generating UAPs are required to fully evaluate the vulnerability of DNNs. A realistic evaluation would be with cases that consider targeted attacks; wherein the generated UAP causes DNN to classify an input into a specific class. However, the development of UAPs for targeted attacks has largely fallen behind that of UAPs for non-targeted attacks. Therefore, we propose a simple iterative method to generate UAPs for targeted attacks. Our method combines the simple iterative method for generating non-targeted UAPs and the fast gradient sign method for generating a targeted adversarial perturbation for an input. We applied the proposed method to state-of-the-art DNN models for image classification and proved the existence of almost imperceptible UAPs for targeted attacks; further, we demonstrated that such UAPs are easily generatable.


title: Angular momentum radiation from current-carrying molecular junctions

abstract: We consider the radiation of angular momentum (AM) from current-carrying molecular junctions. Using the nonequilibrium Green's function method, we derive a convenient formula for the AM radiation and apply it to a prototypical benzene molecule junction. We discuss the selection rules for inelastic transitions between the molecular angular momentum eigenstates due to a 6-fold rotational symmetry. Our study provides important insights into the generation of light with AM from DC-biased molecular junctions.


title: The TAZRP speed process

abstract: In [AAV] Amir, Angel and Valk{\'o} studied a multi-type version of the totally asymmetric simple exclusion process (TASEP) and introduced the TASEP speed process, which allowed them to answer delicate questions about the joint distribution of the speed of several second-class particles in the TASEP rarefaction fan. In this paper we introduce the analogue of the TASEP speed process for the totally asymmetric zero-range process (TAZRP), and use it to obtain new results on the joint distribution of the speed of several second-class particles in the TAZRP with a reservoir. There is a close link from the speed process to questions about stationary distributions of multi-type versions of the TAZRP; for example we are able to give a precise description of the contents of a single site in equilibrium for a multi-type TAZRP with continuous labels.


title: Single View Distortion Correction using Semantic Guidance

abstract: Most distortion correction methods focus on simple forms of distortion, such as radial or linear distortions. These works undistort images either based on measurements in the presence of a calibration grid, or use multiple views to find point correspondences and predict distortion parameters. When possible distortions are more complex, e.g. in the case of a camera being placed behind a refractive surface such as glass, the standard method is to use a calibration grid. Considering a high variety of distortions, it is nonviable to conduct these measurements. In this work, we present a single view distortion correction method which is capable of undistorting images containing arbitrarily complex distortions by exploiting recent advancements in differentiable image sampling and in the usage of semantic information to augment various tasks. The results of this work show that our model is able to estimate and correct highly complex distortions, and that incorporating semantic information mitigates the process of image undistortion.


title: Lagrangian approach to global well-posedness of the viscous surface wave equations without surface tension

abstract: In this paper, we revisit the global well-posedness of the classical viscous surface waves in the absence of surface tension effect with the reference domain being the horizontal infinite slab, for which the first complete proof was given in Guo-Tice (2013, Analysis and PDE) via a hybrid of Eulerian and Lagrangian schemes. The fluid dynamics are governed by the gravity-driven incompressible Navier-Stokes equations. Even though Lagrangian formulation is most natural to study free boundary value problems for incompressible flows, few mathematical works for global existence are based on such an approach in the absence of surface tension effect, due to breakdown of Beale's transformation. We develop a mathematical approach to establish global well-posedness based on the Lagrangian framework by analyzing suitable "good unknowns" associated with the problem, which requires no nonlinear compatibility conditions on the initial data.


title: The CAT(0) geometry of convex domains with the Kobayashi metrics

abstract: Let $(\Omega,K_{\Omega})$ be a convex domain in $\mathbb C^d$ with the Kobayashi metric $K_{\Omega}$. In this paper we prove that $m$-convexity is a necessary condition for $(\Omega, K_{\Omega})$ to be CAT(0) if $d=2$. Moreover, when $\Omega \subset \mathbb{C}^d, \: d\geq3$, we obtain a similar result with the further smoothness assumption on its boundary.


title: gamma Cas stars: Normal Be stars with disks impacted by the wind of a helium-star companion?

abstract: $\gamma$ Cas stars are a $\sim$1% minority among classical Be stars with hard but only moderately strong continuous thermal X-ray flux and mostly very early-B spectral type. The X-ray flux has been suggested to originate from matter accelerated via magnetic disk-star interaction, by a rapidly rotating neutron star (NS) companion via the propeller effect, or by accretion onto a white dwarf (WD) companion. In view of the growing number of identified $\gamma$ Cas stars and the only imperfect matches between these suggestions and the observations, alternative models should be pursued. Two of the three best-observed $\gamma$ Cas stars, $\gamma$ Cas itself and $\pi$ Aqr, have a low-mass companion with low optical flux; interferometry of BZ Cru is inconclusive. Binary-evolution models are examined for their ability to produce such systems. The OB+He-star stage of post-mass transfer binaries, which is otherwise observationally unaccounted, can potentially reproduce many observed properties of $\gamma$ Cas stars. The interaction of the fast wind of helium stars with the disk and/or with the wind of Be stars may give rise to the production of hard X-rays. While not modelling this process, it is shown that the energy budget is favourable, and that the wind velocities may lead to hard X-rays as observed in $\gamma$ Cas stars. Furthermore, their observed number appears to be consistent with the evolutionary models. Within the Be+He-star binary model, the Be stars in $\gamma$ Cas stars are conventional classical Be stars. They are encompassed by O-star+Wolf-Rayet systems towards higher mass, where no stable Be decretion disks exist, and by Be+sdO systems at lower mass where the sdO winds may be too weak to cause the $\gamma$ Cas phenomenon. In decreasing order of the helium-star mass, the descendants could be Be+black-hole, Be+NS or Be+WD binaries.


title: Improved algorithm for neuronal ensemble inference by Monte Carlo method

abstract: Neuronal ensemble inference is one of the significant problems in the study of biological neural networks. Various methods have been proposed for ensemble inference from their activity data taken experimentally. Here we focus on Bayesian inference approach for ensembles with generative model, which was proposed in recent work. However, this method requires large computational cost, and the result sometimes gets stuck in bad local maximum solution of Bayesian inference. In this work, we give improved Bayesian inference algorithm for these problems. We modify ensemble generation rule in Markov chain Monte Carlo method, and introduce the idea of simulated annealing for hyperparameter control. We also compare the performance of ensemble inference between our algorithm and the original one.


title: On finite temperature Casimir effect for Dirac lattices

abstract: We consider polarizable sheets modeled by a lattice of delta function potentials. The Casimir interaction of two such lattices is calculated at nonzero temperature. The heat kernel expansion for periodic singular background is discussed in relation with the high temperature asymptote of the free energy.


title: Graph Iso/Auto-morphism: A Divide-&-Conquer Approach

abstract: The graph isomorphism is to determine whether two graphs are isomorphic. A closely related problem is automorphism detection, where an isomorphism between two graphs is a bijection between their vertex sets that preserves adjacency, and an automorphism is an isomorphism from a graph to itself. Applications of graph isomorphism/automorphism include database indexing, network simplification, network anonymization. By graph automorphism, we deal with symmetric subgraph matching (SSM), which is to find all subgraphs that are symmetric to a given subgraph in G. An application of SSM is to identify multiple seed sets that have the same influence power as a seed set found by influence maximization in a social network. To test two graphs for isomorphism, canonical labeling has been studied to relabel a graph in such a way that isomorphic graphs are identical after relabeling. Efficient canonical labeling algorithms have been designed by individualization-refinement. They enumerate all permutations using a search tree, and select the minimum as the canonical labeling, which prunes candidates during enumeration. Despite high performance in benchmark graphs, these algorithms face difficulties in handling massive graphs. In this paper, we design a new efficient canonical labeling algorithm DviCL. Different from previous algorithms, we take a divide-&-conquer approach to partition G. By partitioning G, an AutoTree is constructed, which preserves symmetric structures and the automorphism group of G. The canonical labeling for a tree node can be obtained by the canonical labeling of its child nodes, and the canonical labeling for the root is the one for G. Such AutoTree can also be effectively used to answer the automorphism group, symmetric subgraphs. We conducted extensive performance studies using 22 large graphs, and confirmed that DviCL is much more efficient and robust than the state-of-the-art.


title: Characterization of ionization injection in gas mixtures irradiated by sub-petawatt class laser pulses

abstract: Effects of ionization injection in low and high Z gas mixtures for the laser wake field acceleration of electrons are analyzed with the use of balance equations and particle-in-cell simulations via test probe particle trajectories in realistic plasma fields and direct simulations of charge loading during the ionization process. It is shown that electrons appearing at the maximum of laser pulse field after optical ionization are trapped in the first bucket of the laser pulse wake. Electrons, which are produced by optical field ionization at the front of laser pulse, propagate backwards; some of them are trapped in the second bucket, third bucket and so on. The efficiency of ionization injection is not high, several pC/mm/bucket. This injection becomes competitive with wave breaking injection at lower plasma density and over a rather narrow range of laser pulse intensity.


title: On Linear Forms in Jacobi theta-constants

abstract: Elsner, Luca and Tachiya \cite{luca} proved that the values of the Jacobi-theta constants $\theta_3(m\tau)$ and $\theta_3(n\tau)$ are algebraically independent over ${\Q}$ for distinct integers $m,n$ under some conditions on $\tau$. On the other hand, in 2018 Elsner and Tachiya \cite{elsner} also proved that three values $\theta_3(m\tau),\theta_3(n\tau)$ and $\theta_3(\ell \tau)$ are algebraically dependent over ${\Q}$. In this article we prove the non-vanishing of linear forms in $\theta_3(m\tau)$, $\theta_3(n\tau)$ and $\theta_3(\ell \tau)$ under various conditions on $m,n,\ell$, and $\tau$. Among other things we prove that for odd and distinct positive integers $m,n>3$ the three numbers $\theta_3(\tau)$, $\theta_3(m\tau)$ and $\theta_3(n \tau)$ are linearly independent over $\overline{\mathbb{Q}}$ when $\tau$ is an algebraic number of some degree greater or equal to 3. In some sense this fills the gap between the above-mentioned former results on theta constants. A theorem on the linear independence over $\mathbb{C(\tau)}$ of the functions $\theta_3(a_1 \tau),\ldots,\theta_3(a_m \tau)$ for distinct positive integers $a_1, \ldots a_m$ is also established.


title: ANN-assisted CoSaMP Algorithm for Linear Electromagnetic Imaging of Spatially Sparse Domains

abstract: Greedy pursuit algorithms (GPAs) are widely used to reconstruct sparse signals. Even though many electromagnetic (EM) inverse scattering problems are solved on sparse investigation domains, GPAs have rarely been used for this purpose. This is because (i) they require a priori knowledge of the sparsity level in the investigation domain, which is often not available in EM imaging applications, and (ii) the EM scattering matrix does not satisfy the restricted isometric property. In this work, these challenges are respectively addressed by (i) using an artificial neural network (ANN) to estimate the sparsity level, and (ii) adding a Tikhonov regularization term to the diagonal elements of the scattering matrix. These enhancements permit the compressive sampling matching pursuit (CoSaMP) algorithm to be efficiently used to solve the two-dimensional EM inverse scattering problem, which is linearized using the Born approximation, on spatially sparse investigation domains. Numerical results, which demonstrate the efficiency and applicability of the proposed ANN-enhanced CoSaMP algorithm, are provided.


title: Likelihood Assignment for Out-of-Distribution Inputs in Deep Generative Models is Sensitive to Prior Distribution Choice

abstract: Recent work has shown that deep generative models assign higher likelihood to out-of-distribution inputs than to training data. We show that a factor underlying this phenomenon is a mismatch between the nature of the prior distribution and that of the data distribution, a problem found in widely used deep generative models such as VAEs and Glow. While a typical choice for a prior distribution is a standard Gaussian distribution, properties of distributions of real data sets may not be consistent with a unimodal prior distribution. This paper focuses on the relationship between the choice of a prior distribution and the likelihoods assigned to out-of-distribution inputs. We propose the use of a mixture distribution as a prior to make likelihoods assigned by deep generative models sensitive to out-of-distribution inputs. Furthermore, we explain the theoretical advantages of adopting a mixture distribution as the prior, and we present experimental results to support our claims. Finally, we demonstrate that a mixture prior lowers the out-of-distribution likelihood with respect to two pairs of real image data sets: Fashion-MNIST vs. MNIST and CIFAR10 vs. SVHN.


title: Improving PHY-Security of UAV-Enabled Transmission with Wireless Energy Harvesting: Robust Trajectory Design and Communications Resource Allocation

abstract: In this paper, we consider an unmanned aerial vehicle (UAV) assisted communications system, including two cooperative UAVs, a wireless-powered ground destination node leveraging simultaneous wireless information and power transfer (SWIPT) technique, and a terrestrial passive eavesdropper. One UAV delivers confidential information to destination and the other sends jamming signals to against eavesdropping and assist destination with energy harvesting. Assuming UAVs have partial information about eavesdropper's location, we propose two transmission schemes: friendly UAV jamming (FUJ) and Gaussian jamming transmission (GJT) for the cases when jamming signals are known and unknown a priori at destination, respectively. Then, we formulate an average secrecy rate maximization problem to jointly optimize the transmission power and trajectory of UAVs, and the power splitting ratio of destination. Being non-convex and hence difficult to solve the formulated problem, we propose a computationally efficient iterative algorithm based on block coordinate descent and successive convex approximation to obtain a suboptimal solution. Finally, numerical results are provided to substantiate the effectiveness of our proposed multiple-UAV schemes, compared to other existing benchmarks. Specifically, we find that the FUJ demonstrates significant secrecy performance improvement in terms of the optimal instantaneous and average secrecy rate compared to the GJT and the conventional single-UAV counterpart.


title: A Novel Content Caching and Delivery Scheme for Millimeter Wave Device-to-Device Communications

abstract: A novel content caching strategy is proposed for a cache enabled device-to-device (D2D) network where the user devices are allowed to communicate using millimeter wave (mmWave) D2D links (> 6 GHz) as well as conventional sub 6 GHz cellular links. The proposed content placement strategy maximizes the successful content delivery probability of a line of sight D2D link. Furthermore, a heuristic algorithm is proposed for efficient content delivery. The overall scheme improves the successful traffic offloading gain of the network compared to conventional cache-hit maximizing content placement and delivery strategies. Significant energy efficiency improvements can also be achieved in ultra-dense networks.


title: On quantization in background scalar fields

abstract: We consider (0+1) and (1+1) dimensional Yukawa theory in various scalar field backgrounds, which are solving classical equations of motion: $\ddot{\phi}_{cl} = 0$ or $\Box \phi_{cl} = 0$, correspondingly. The (0+1)--dimensional theory we solve exactly. In (1+1)--dimensions we consider background fields of the form $\phi_{cl} = E\, t$ and $\phi_{cl} = E\, x$, which are inspired by the constant electric field. Here $E$ is a constant. We study the backreaction problem by various methods, including the dynamics of a coherent state. We also calculate loop corrections to the correlation functions in the theory using the Schwinger--Keldysh diagrammatic technique.


title: Safe Coverage of Compact Domains For Second Order Dynamical Systems

abstract: Autonomous systems operating in close proximity with each other to cover a specified area has many potential applications, but to achieve effective coordination, two key challenges need to be addressed: coordination and safety. For coordination, we propose a locally asymptotically stable distributed coverage controller for compact domains in the plane and homogeneous vehicles modeled with second order dynamics with bounded input forces. This control policy is based on artificial potentials designed to enforce desired vehicle-domain and inter-vehicle separations, and can be applied to arbitrary compact domains including non-convex ones. We prove, using Lyapunov theory, that certain coverage configurations are locally asymptotically stable. For safety, we utilize Hamilton-Jacobi (HJ) reachability theory to guarantee pairwise collision avoidance. Rather than computing numerical solutions of the associated HJ partial differential equation as is typically done, we derive an analytical solution for our second-order vehicle model. This provides an exact, global solution rather than an approximate, local one within some computational domain. In addition to considerably reducing collision count, the collision avoidance controller also reduces oscillatory behaviour of vehicles, helping the system reach steady state faster. We demonstrate our approach in three representative simulations involving a square domain, triangle domain, and a non-convex moving domain.


title: Density perturbation in an interacting holographic dark energy model

abstract: The present work deals with the evolution of the density contrasts for a cosmological model where along with the standard cold dark matter (CDM), the present Universe also contains holographic dark energy (HDE). The characteristic infra-red (IR) cut-off is taken as the future event horizon. The HDE is allowed to interact with the CDM. The equations for the density contrasts are integrated numerically. It is found that irrespective of the presence of an interaction, the matter perturbation has growing modes. The HDE is also found to have growth of perturbation, so very much like the CDM, thus can also cluster. The interesting point to note is that the density contrast corresponding to HDE has a peak at recent past and is decaying at the present epoch. Another feature is that IR cut-off as the event horizon does not naturally produce accelerated expansion of the Universe in the presence of an interaction.


title: RaDMaX online: a web-based program for the determination of strain and damage profiles in irradiated crystals using X-ray diffraction

abstract: RaDMaX online is a major update to the previously published RaDMaX (Radiation Damage in Materials analysed with X-ray diffraction) software [Souilah, Boulle & Debelle, J. Appl. Cryst. (2016) 49, 311-316]. This program features a user friendly interface that allows to retrieve strain and disorder depth-profiles in irradiated crystals from the simulation of X-ray diffraction data recorded in symmetrical $\theta/2\theta$ mode. As compared to its predecessor, RaDMaX online has been entirely rewritten in order to be able to run within a simple web browser, therefore avoiding the necessity to install any programming environment on the users' computers. The RaDMaX online web-application is written in Python and developed within a Jupyter notebook implementing graphical widgets and interactive plots. RaDMaX online is free and open source (CeCILL license) and can be accessed on the internet at: https://aboulle.github.io/RaDMaX-online/.


title: Extensive photometry of the intermediate polar V1033 Cas (IGR J00234+6141)

abstract: To measure the spin period of the white dwarf in V1033 Cas with high precision, we performed extensive photometry. Observations were obtained over 34 nights in 2017. The total duration of the observations was 143 h. We found that the spin period of the white dwarf is equal to 563.11633+/-0.00010 s. Using this period, we derived the oscillation ephemeris with a long validity of 100 years. The spin oscillation semi-amplitude was stable and was equal to 95.5+/-1.3 mmag. This is a very large semi-amplitude of the spin oscillation among intermediate polars, which have similar and lesser spin periods. This large semi-amplitude suggests that the system is noticeably inclined. The spin pulse profile was sinusoidal with high accuracy. This may mean that the spin oscillation is produced by a single accretion curtain whereas the second accretion curtain may be obscured by the accretion disc. Despite the large amount of our observations, we did not detect sidebands. The semi-amplitudes of the undetected sideband oscillations do not exceed 10 mmag. The absence of sideband oscillations seems puzzling. We detected the orbital variability of V1033 Cas with a period of 4.0243+/-0.0028 h and with a semi-amplitude of 55+/-4 mmag. The orbital variability semi-amplitude seems large and also suggests that the system is noticeably inclined. Using our oscillation ephemeris and the times of spin pulse maximum obtained in the past, we found that the spin period is very stable. dP/dt is most probably less than -4 X 10^(-12). This contradicts the assumption that the white dwarf in V1033 Cas is not spinning at equilibrium. Our spin period and our oscillation ephemeris can be used for further investigations of the stability of the spin period in V1033 Cas.


title: Random walks on hypergraphs

abstract: In the last twenty years network science has proven its strength in modelling many real-world interacting systems as generic agents, the nodes, connected by pairwise edges. Yet, in many relevant cases, interactions are not pairwise but involve larger sets of nodes, at a time. These systems are thus better described in the framework of hypergraphs, whose hyperedges effectively account for multi-body interactions. We hereby propose a new class of random walks defined on such higher-order structures, and grounded on a microscopic physical model where multi-body proximity is associated to highly probable exchanges among agents belonging to the same hyperedge. We provide an analytical characterisation of the process, deriving a general solution for the stationary distribution of the walkers. The dynamics is ultimately driven by a generalised random walk Laplace operator that reduces to the standard random walk Laplacian when all the hyperedges have size 2 and are thus meant to describe pairwise couplings. We illustrate our results on synthetic models for which we have a full control of the high-order structures, and real-world networks where higher-order interactions are at play. As a first application of the method, we compare the behaviour of random walkers on hypergraphs to that of traditional random walkers on the corresponding projected networks, drawing interesting conclusions on node rankings in collaboration networks. As a second application, we show how information derived from the random walk on hypergraphs can be successfully used for classification tasks involving objects with several features, each one represented by a hyperedge. Taken together, our work contributes to unveiling the effect of higher-order interactions on diffusive processes in higher-order networks, shading light on mechanisms at the hearth of biased information spreading in complex networked systems.


title: One Step Degeneration of Trigonal Curves and Mixing of Solitons and Quasi-Periodic Solutions of the KP Equation

abstract: We consider certain degenerations of trigonal curves and hyperelliptic curves, which we call one step degeneration. We compute the limits of corresponding quasi-periodic solutions using the Sato Grassmannian. The mixing of solitons and quasi-periodic solutions is clearly visible in the obtained solutions.


title: Scalable and Reliable Multi-Dimensional Aggregation of Sensor Data Streams

abstract: Ever-increasing amounts of data and requirements to process them in real time lead to more and more analytics platforms and software systems being designed according to the concept of stream processing. A common area of application is the processing of continuous data streams from sensors, for example, IoT devices or performance monitoring tools. In addition to analyzing pure sensor data, analyses of data for groups of sensors often need to be performed as well. Therefore, data streams of the individual sensors have to be continuously aggregated to a data stream for a group. Motivated by a real-world application scenario, we propose that such a stream aggregation approach has to allow for aggregating sensors in hierarchical groups, support multiple such hierarchies in parallel, provide reconfiguration at runtime, and preserve the scalability and reliability qualities induced by applying stream processing techniques. We propose a stream processing architecture fulfilling these requirements, which can be integrated into existing big data architectures. We present a pilot implementation of such an extended architecture and show how it is used in industry. Furthermore, in experimental evaluations we show that our solution scales linearly with the amount of sensors and provides adequate reliability in the case of faults.


title: Comparison of counterstreaming suprathermal electron signatures of ICMEs with and without magnetic cloud: are all ICMEs flux ropes?

abstract: Magnetic clouds (MCs), as large-scale interplanetary magnetic flux ropes, are usually still connected to the sun at both ends near 1 AU. Many researchers believe that all non-MC interplanetary coronal mass ejections (ICMEs) also have magnetic flux rope structures, which are inconspicuous because the observing spacecraft crosses the flanks of the rope structures. If so, the field lines of non-MC ICMEs should also be usually connected to the Sun on both ends. Then we want to know whether the field lines of most non-MC ICMEs are still connected to the sun at both ends or not. This study examined the counterstreaming suprathermal electron (CSE) signatures of 266 ICMEs observed by the \emph{Advanced Composition Explorer} (\emph{ACE}) spacecraft from 1998 to 2008 and compared the CSE signatures of MCs and non-MC ICMEs. Results show that only 10 of the 101 MC events ($9.9\%$ ) and 75 of the 171 non-MC events ($43.9\%$) have no CSEs. Moreover, 21 of the non-MC ICMEs have high CSE percentages (more than $70\%$) and show relatively stable magnetic field components with slight rotations, which are in line with the expectations that spacecraft passes through the flank of magnetic flux ropes. So the 21 events may be magnetic flux ropes but the \emph{ACE} spacecraft passes through their flanks of magnetic flux ropes. Considering that most other non-MC events have disordered magnetic fields, we suggest that some non-MC ICMEs inherently have disordered magnetic fields, namely have no magnetic flux rope structures.


title: Longitudinal dependence of open heavy flavor $R_\text{AA}$ in relativistic heavy-ion collisions

abstract: Heavy flavor probes are sensitive to the properties of the quark gluon plasma (QGP) produced in relativistic heavy-ion collisions. A huge amount of effort has been devoted to studying different aspects of the heavy-ion collisions using heavy flavor particles. In this work, we study the dynamics of heavy quark transport in the QGP medium using the rapidity dependence of heavy flavor observables. We calculate the nuclear modification of $\text{B}$ and $\text{D}$ meson spectra as well as spectra of leptons from heavy flavor decays in the rapidity range $[-4.0,4.0]$. We use an implementation of the improved Langevin equation with gluon radiation on top of a (3+1)-dimensional relativistic viscous hydrodynamical background for several collision setups. We find that the rapidity dependence of the heavy quark modification is determined by the interplay between the smaller size of the medium, which affects the path length of the heavy quarks, and the softer heavy quark initial production spectrum. We compare our results with available experimental data and present predictions for open heavy flavor meson $R_\text{AA}$ at finite rapidity.


title: An Energy Efficient D2D Model with Guaranteed Quality of Service for Cloud Radio Access Networks

abstract: This paper proposes a spectrum selection scheme and a transmit power minimization scheme for a device-to-device (D2D) network cross-laid with a cloud radio access network (CRAN). The D2D communications are allowed as an overlay to the CRAN as well as in the unlicensed industrial, scientific and medical radio (ISM) band. A link distance based scheme is proposed and closed-form approximations are derived for the link distance thresholds to select the operating band of the D2D users. Furthermore, analytical expressions are derived to calculate the minimum required transmit power to achieve a guaranteed level of quality of service in each operating band. The results demonstrate that the proposed scheme achieves nearly 50% power saving compared to a monolithic (purely overlay or purely ISM band) D2D network.


title: Anomalies and Bose symmetry

abstract: We point out a feature of the triangle diagram for three chiral currents which is perhaps not widely appreciated: Bose symmetry is not manifest and suffers from a momentum-routing ambiguity. Imposing Bose symmetry fixes the ambiguity and leads to the famous Adler - Bell - Jackiw anomaly.


title: Dynamic Evolution of a Transient Supersonic Trailing Jet Induced by a Strong Incident Shock Wave

abstract: The dynamic evolution of a highly underexpanded transient supersonic jet at the exit of a pulse detonation engine is investigated via high-resolution time-resolved schlieren and numerical simulations. Experimental evidence is provided for the presence of a second triple shock configuration along with a shocklet between the reflected shock and the slipstream, which has no analogue in a steady-state underexpanded jet. A pseudo-steady model is developed, which allows for the determination of the post-shock flow condition for a transient propagating oblique shock. This model is applied to the numerical simulations to reveal the mechanism leading to the formation of the second triple point. Accordingly, the formation of the triple point is initiated by the transient motion of the reflected shock, which is induced by the convection of the vortex ring. While the vortex ring embedded shock move essentially as a translating strong oblique shock, the reflected shock is rotating towards its steady state position. This results in a pressure discontinuity that must be resolved by the formation of a shocklet.


title: A3GAN: An Attribute-aware Attentive Generative Adversarial Network for Face Aging

abstract: Face aging, which aims at aesthetically rendering a given face to predict its future appearance, has received significant research attention in recent years. Although great progress has been achieved with the success of Generative Adversarial Networks (GANs) in synthesizing realistic images, most existing GAN-based face aging methods have two main problems: 1) unnatural changes of high-level semantic information (e.g. facial attributes) due to the insufficient utilization of prior knowledge of input faces, and 2) distortions of low-level image content including ghosting artifacts and modifications in age-irrelevant regions. In this paper, we introduce A3GAN, an Attribute-Aware Attentive face aging model to address the above issues. Facial attribute vectors are regarded as the conditional information and embedded into both the generator and discriminator, encouraging synthesized faces to be faithful to attributes of corresponding inputs. To improve the visual fidelity of generation results, we leverage the attention mechanism to restrict modifications to age-related areas and preserve image details. Moreover, the wavelet packet transform is employed to capture textural features at multiple scales in the frequency space. Extensive experimental results demonstrate the effectiveness of our model in synthesizing photorealistic aged face images and achieving state-of-the-art performance on popular face aging datasets.


title: A Dynamic Reliability-Aware Service Placement for Network Function Virtualization (NFV)

abstract: Network softwarization is one of the major paradigm shifts in the next generation of networks. It enables programmable and flexible management and deployment of the network. Network function virtualization (NFV) is referred to the deployment of software functions running on commodity servers instead of traditional hardware-based middle-boxes. It is an example of network softwarization. In NFV, a service is defined as a chain of software functions named service chain function (SFC). The process of allocating the resources of servers to the services, called service placement, is the most challenging mission in NFV. Dynamic nature of the service arrivals and departures as well as meeting the service level agreement make the service placement problem even more challenging. In this paper, we propose a model for dynamic reliability-aware service placement based on the simultaneous allocation of the main and backup servers. Then, we formulate the dynamic reliability-aware service placement as an infinite horizon Markov decision process (MDP), which aims to minimize the placement cost and maximize the number of admitted services. In the proposed MDP, the number of active services in the network is considered to be the state of the system, and the state of the idle resources is estimated based on it. Also, the number of possible admitted services is considered as the action of the presented MDP. To evaluate each possible action in the proposed MDP, we use a sub-optimal method based on the Viterbi algorithm named Viterbi-based Reliable Static Service Placement (VRSSP) algorithm. We determine the optimal policy based on value iteration method using an algorithm named VRSSP-based Value Iteration (VVI) algorithm. Eventually, through the extensive simulations, the superiority of the proposed model for dynamic reliability-aware service placement compared to the static solutions is inferred.


title: Detecting regime transitions of the nocturnal and Polar near-surface temperature inversion

abstract: Many natural systems undergo critical transitions, i.e. sudden shifts from one dynamical regime to another. In the climate system, the atmospheric boundary layer can experience sudden transitions between fully turbulent states and quiescent, quasi-laminar states. Such rapid transitions are observed in Polar regions or at night when the atmospheric boundary layer is stably stratified, and they have important consequences in the strength of mixing with the higher levels of the atmosphere. To analyze the stable boundary layer, many approaches rely on the identification of regimes that are commonly denoted as weakly and very stable regimes. Detecting transitions between the regimes is crucial for modeling purposes. In this work a combination of methods from dynamical systems and statistical modeling is applied to study these regime transitions and to develop an early-warning signal that can be applied to non-stationary field data. The presented metric aims at detecting nearing transitions by statistically quantifying the deviation from the dynamics expected when the system is close to a stable equilibrium. An idealized stochastic model of near-surface inversions is used to evaluate the potential of the metric as an indicator of regime transitions. In this stochastic system, small-scale perturbations can be amplified due to the nonlinearity, resulting in transitions between two possible equilibria of the temperature inversion. The simulations show such noise-induced regime transitions, successfully identified by the indicator. The indicator is further applied to time series data from nocturnal and Polar meteorological measurements.


title: Mass matrix parametrization for pseudo-Dirac neutrinos

abstract: An overview of pseudo-Dirac neutrino framework is given starting from general spinor phenomenology. The framework is then tested by simulation of oscillations for T2K experiment parameters. Two possible derivations of oscillation parameters are indicated to have the same result.


title: Magnetoplasmonic properties of perpendicularly magnetized $[$Co/Pt$]_{N}$ nanodots

abstract: We demonstrate a ten-fold resonant enhancement of magneto-optical effects in perpendicularly magnetized $[$Co/Pt$]_{N}$ nanodots mediated by the excitation of optimized plasmon modes. Two magnetoplasmonic systems are considered; square arrays of $[$Co/Pt$]_{N}$ nanodots on glass and identical arrays on a Au/SiO2 bilayer. On glass, the optical and magneto-optical spectra of the nanodot arrays are dominated by the excitation of a surface lattice resonance (SLR), whereas on Au/SiO${}_{2}$, a narrow surface plasmon polariton (SPP) resonance tailors the spectra further. Both the SLR and SPP modes are magneto-optically active leading to an enhancement of the Kerr angle. We detail the dependence of optical and magneto-optical spectra on the number of Co/Pt bilayer repetitions, the nanodot diameter, and the array period, offering design rules on how to maximize and spectrally tune the magneto-optical response of perpendicularly magnetized $[$Co/Pt$]_{N}$ nanodots.


title: Role of the $\Lambda(1600)$ in the $K^-p \to \Lambda \pi^0\pi^0$ reaction

abstract: Role of the $\Lambda(1600)$ is studied in the $K^- p \to \Lambda \pi^0 \pi^0$ reaction by using the effective Lagrangian approach near the threshold. We perform a calculation for the total and differential cross sections by considering the contributions from the $\Lambda(1600)$ and $\Lambda(1670)$ intermediate resonances decaying into $\pi^0 \Sigma^{*0}(1385)$ with $\Sigma^{*0}(1385)$ decaying into $\pi^0 \Lambda$. Besides, the non-resonance process from $u$-channel nucleon pole is also taken into account. With our model parameters, the current experimental data on the total cross sections of the $K^- p \to \Lambda \pi^0 \pi^0$ reaction can be well reproduced. It is shown that we really need the contribution from the $\Lambda(1600)$ with spin-parity $J^P = 1/2^+$, and that these measurements can be used to determine some of the properties of the $\Lambda(1600)$ resonance. Furthermore, we also plot the $\pi^0 \Lambda$ invariant mass distributions which could be tested by the future experimental measurements.


title: LIBRE: Learning Interpretable Boolean Rule Ensembles

abstract: We present a novel method - LIBRE - to learn an interpretable classifier, which materializes as a set of Boolean rules. LIBRE uses an ensemble of bottom-up weak learners operating on a random subset of features, which allows for the learning of rules that generalize well on unseen data even in imbalanced settings. Weak learners are combined with a simple union so that the final ensemble is also interpretable. Experimental results indicate that LIBRE efficiently strikes the right balance between prediction accuracy, which is competitive with black box methods, and interpretability, which is often superior to alternative methods from the literature.


title: Ultracold collisions in the Yb-Li mixture system

abstract: We report our experimental results on the collisional physics between non-S-state atoms (ytterbium (Yb), effectively a two-electron system, in the metastable ${}^3\mathrm{P}_2$ state) and S-state atoms (lithium (Li), an alkali metal, in the ground state). At low magnetic fields, by measuring inelastic interspecies collisional losses in the double quantum degenerate mixture we reveal the strong dependence of the inelastic losses on the internal spin states of both species and suppressed losses in stretched state configurations. Increasing the magnetic field up to 800 G we further investigate the magnetic field dependence of the collisional interactions. There, smoothly increasing inelastic losses are observed towards higher fields. The combined knowledge of both the magnetic field and the spin state dependence of the collisional losses of this prototypical mixture system of non-S-state and S-state atoms provides a significant step forward towards controllable impurity physics realized in the Yb-Li ultracold system.


title: Quantum Phase Transitions of the Distorted Diamond Spin Chain

abstract: The frustrated quantum spin system on the distorted diamond chain lattice suitable for the alumoklyuchevskite is investigated using the numerical diagonalization of finite-size clusters and the level spectroscopy analysis. It is found that this model exhibits three quantum phases; the ferrimagnetic phase, the spin gap one, and the gapless Tomonaga-Luttinger liquid depending on the exchange coupling parameters. The ground state phase diagram is presented.


title: Controllability of the Voter Model: an information theoretic approach

abstract: We address the link between the controllability or observability of a stochastic complex system and concepts of information theory. We show that the most influential degrees of freedom can be detected without acting on the system, by measuring the time-delayed multi-information. Numerical and analytical results support this claim, which is developed in the case of a simple stochastic model on a graph, the so-called voter model. The importance of the noise when controlling the system is demonstrated, leading to the concept of control length. The link with classical control theory is given, as well as the interpretation of controllability in terms of the capacity of a communication canal.


title: The Markup Language for Designing Gaze Controlled Applications

abstract: The Gaze Interaction Markup Language (GIML) is presented, which is new language for designing the gaze-controlled application and psychological experiments (also by non-programmers).


title: Longitudinal analysis of fetal MRI in patients with prenatal spina bifida repair

abstract: Open spina bifida (SB) is one of the most common congenital defects and can lead to impaired brain development. Emerging fetal surgery methods have shown considerable success in the treatment of patients with this severe anomaly. Afterwards, alterations in the brain development of these fetuses have been observed. Currently no longitudinal studies exist to show the effect of fetal surgery on brain development. In this work, we present a fetal MRI neuro-imaging analysis pipeline for fetuses with SB, including automated fetal ventricle segmentation and deformation-based morphometry, and demonstrate its applicability with an analysis of ventricle enlargement in fetuses with SB. Using a robust super-resolution algorithm, we reconstructed fetal brains at both pre-operative and post-operative time points and trained a U-Net CNN in order to automatically segment the ventricles. We investigated the change of ventricle shape post-operatively, and the impacts of lesion size, type, and GA at operation on the change in ventricle shape. No impact was found, except for moderately larger ventriculomegaly progression in myeloschisis patients. Prenatal ventricle volume growth was also investigated. Our method allows for the quantification of longitudinal morphological changes to fully quantify the impact of prenatal SB repair and could be applied to predict postnatal outcomes.


title: Fine-grained Qualitative Spatial Reasoning about Point Positions

abstract: The ability to persist in the spacial environment is, not only in the robotic context, an essential feature. Positional knowledge is one of the most important aspects of space and a number of methods to represent these information have been developed in the in the research area of spatial cognition. The basic qualitative spatial representation and reasoning techniques are presented in this thesis and several calculi are briefly reviewed. Features and applications of qualitative calculi are summarized. A new calculus for representing and reasoning about qualitative spatial orientation and distances is being designed. It supports an arbitrary level of granularity over ternary relations of points. Ways of improving the complexity of the composition are shown and an implementation of the calculus demonstrates its capabilities. Existing qualitative spatial calculi of positional information are compared to the new approach and possibilities for future research are outlined.


title: Topological crystalline insulator state with type-II Dirac fermions in transition metal dipnictides

abstract: The interplay between topology and crystalline symmetries in materials can lead to a variety of topological crystalline insulator (TCI) states. Despite significant effort towards their experimental realization, so far only Pb$_{1-x}$Sn$_x$Te has been confirmed as a mirror-symmetry protected TCI. Here, based on first-principles calculations combined with a symmetry analysis, we identify a rotational-symmetry protected TCI state in the transition-metal dipnictide RX$_2$ family, where R = Ta or Nb and X = P, As, or Sb. Taking TaAs$_2$ as an exemplar system, we show that its low-energy band structure consists of two types of bulk nodal lines in the absence of spin-orbit coupling (SOC) effects. Turning on the SOC opens a continuous bandgap in the energy spectrum and drives the system into a $C_2T$-symmetry-protected TCI state. On the (010) surface, we show the presence of rotational-symmetry-protected nontrivial Dirac cone states within a local bulk energy gap of $\sim$ 300 meV. Interestingly, the Dirac cones have tilted energy dispersion, realizing a type-II Dirac fermion state in a topological crystalline insulator. Our results thus indicate that the TaAs$_2$ materials family provides an ideal setting for exploring the unique physics associated with type-II Dirac fermions in rotational-symmetry-protected TCIs.


title: Optimal Sequential Tests for Detection of Changes under Finite measure space for Finite Sequences of Networks

abstract: This paper considers the change-point problem for finite sequences of networks. To avoid the difficulty of computing the normalization coefficient, such as in Exponential random graphical models (ERGMs) and Markov networks, we construct a finite measure space with measure ratio statistics. A new performance measure of detection delay is proposed to detect the changes in distribution of the network. And an optimal sequential test is proposed under the performance measure. The good performance of the optimal sequential test is illustrated numerically on ERGMs and Erdos-R\'{e}nyi network sequences.


title: Idealised simulations of the deep atmosphere of hot jupiters: Deep, hot, adiabats as a robust solution to the radius inflation problem

abstract: Context: The anomalously large radii of hot Jupiters has long been a mystery. However, by combining both theoretical arguments and 2D models, a recent study has suggested that the vertical advection of potential temperature leads to an adiabatic temperature profile in the deep atmosphere hotter than the profile obtained with standard 1D models. Aims: In order to confirm the viability of that scenario, we extend this investigation to three dimensional, time-dependent, models. Methods: We use a 3D GCM, DYNAMICO to perform a series of calculations designed to explore the formation and structure of the driving atmospheric circulations, and detail how it responds to changes in both upper and deep atmospheric forcing. Results: In agreement with the previous, 2D, study, we find that a hot adiabat is the natural outcome of the long-term evolution of the deep atmosphere. Integration times of order $1500$ years are needed for that adiabat to emerge from an isothermal atmosphere, explaining why it has not been found in previous hot Jupiter studies. Models initialised from a hotter deep atmosphere tend to evolve faster toward the same final state. We also find that the deep adiabat is stable against low-levels of deep heating and cooling, as long as the Newtonian cooling time-scale is longer than $\sim 3000$ years at $200$ bar. Conclusions: We conclude that the steady-state vertical advection of potential temperature by deep atmospheric circulations constitutes a robust mechanism to explain hot Jupiter inflated radii. We suggest that future studies of hot Jupiters are evolved for a longer time than currently done, and, when possible, include models initialised with a hot deep adiabat. We stress that this mechanism stems from the advection of entropy by irradiation induced mass flows and does not require (finely tuned) dissipative process, in contrast with most previously suggested scenarios.


title: Color Dressed Unitarity and Recursion for Yang-Mills Two-Loop All-Plus Amplitudes

abstract: We present a direct computation of the full color two-loop five-point all-plus Yang-Mills amplitude using four dimensional unitarity and recursion. We present the $SU(N_c)$ amplitudes in compact analytic forms. Our results match the explicit expressions previously computed but do not require full two-loop integral methods.


title: Generalized almost statistical convergence

abstract: The objective of this paper is to introduce the notion of generalized almost statistical (briefly, GAS) convergence of bounded real sequences, which generalizes the notion of almost convergence as well as statistical convergence of bounded real sequences. As a special kind of Banach limit functional, we also introduce the concept of Banach statistical limit functional and the notion of GAS convergence mainly depends on the existence of Banach statistical limit functional. We prove the existence of Banach statistical limit functional. Then we have shown the existence of a GAS convergent sequence, which is neither statistical convergent nor almost convergent. Also, some topological properties of the space of all GAS convergent sequences are investigated.


title: Suppressed charge recombination in hematite photoanode via protonation and annealing

abstract: Hematite as promising photoanode for solar water splitting suffers from severe bulk and surface charge recombination. This work describes that a protonation-annealing treatment can effectively suppress both bulk and surface charge recombination in hematite. Protons/electrons are electrochemically incorporated into hematite under 0.2 VRHE followed by annealing at 120 oC. The photocurrent density increases from ~0.9 mA cm-2 to 1.8 mA cm-2 at 1.23 VRHE under 1 sun, and further to 2.7 mA cm-2 after loading cobalt phosphate, stabilizing at round 2.4 mA cm-2. A cathodic shift of the onset potential of photocurrent is also observed. H2O2 oxidation, impedance spectroscopy and Mott-Schottky measurements show that the protonation suppresses bulk recombination and enhances donor density, but introducing more surface recombination. The annealing reduces surface recombination, while preserving relatively high bulk charge separation efficiency. Different from previous reports on the electrochemically reduced hematite, this work demonstrates that the performance improvement should be ascribed to the proton incorporation instead of the formation of Fe3O4 or metal Fe. This facile treatment by protonation and annealing could be applied in other semiconductors to promote the development of high performing photoelectrodes.


title: Yttrium Tantalum Oxynitride Multiphases as Photoanodes for Water Oxidation

abstract: Perovskite yttrium tantalum oxynitride is theoretically proposed as a promising semiconductor for solar water splitting because of the predicted bandgap and energy positions of band edges. In experiment, however, we show here that depending on processing parameters, yttrium tantalum oxynitrides exist in multiphases, including the desired perovskite YTaON2, defect fluorite YTa(O,N,o)4, and N-doped YTaO4. These multiphases have bandgaps ranging between 2.13 and 2.31 eV, all responsive to visible light. The N-doped YTaO4, perovskite main phase, and fluorite main phase derived from crystalline fergusonite oxide precursors exhibit interesting photoelectrochemical performances for water oxidation, while the defect fluorite derived from low crystallized scheelite-type oxide precursors show negligible activity. Preliminarily measurements show that loading IrOx cocatalyst on N-doped YTaO4 significantly improves its photoelectrochemical performance encouraging further studies to optimize this new material for solar fuel production.


title: On the invariance of certain vanishing subspaces of Morrey spaces with respect to some classical operators

abstract: We consider subspaces of Morrey spaces defined in terms of various vanishing properties of functions. Such subspaces were recently used to describe the closure of $C_0^\infty(\mathbb{R}^n)$ in Morrey norm. We show that these subspaces are invariant with respect to some classical operators of harmonic analysis, such as the Hardy-Littlewood maximal operator, singular type operators and Hardy operators. We also show that the vanishing properties defining those subspaces are preserved under the action of Riesz potential operators and fractional maximal operators.


title: An approximate solution for the power utility optimization under predictable returns

abstract: This work derives an approximate analytical single period solution of the portfolio choice problem for the power utility function. It is possible to do so if we consider that the asset returns follow a multivariate normal distribution. It is shown in the literature that the log-normal distribution seems to be a good proxy of the normal distribution in case if the standard deviation of the last one is way smaller than its mean. So we can use this property because this happens to be true for gross portfolio returns. In addition, we present a different solution method that relies on the machine learning algorithm called Gradient Descent. It is a powerful tool to solve a wide range of problems, and it was possible to implement this approach to portfolio selection. Besides, the paper provides a simulation study, where we compare the derived results with the well-known solution, which uses a Taylor series expansion of the utility function.


title: A meshfree formulation for large deformation analysis of flexoelectric structures accounting for the surface effects

abstract: In this work, we present a compactly supported radial basis function (CSRBF) based meshfree method to analyse geometrically nonlinear flexoelectric nanostructures considering surface effects. Flexoelectricity is the polarization of dielectric materials due to the gradient of strain, which is different from piezoelectricity in which polarization is dependent linearly on strain. The surface effects gain prominence as the size of the structure tends to nanoscale and so their consideration is inevitable when flexoelectric nanostructures are analysed. First, the proposed meshfree formulation is validated and the influence of nonlinear strain terms on the energy conversion ability of flexoelectric beams made of a non-piezoelectric material like cubic Strontium Titanate is studied. Subsequently, the meshfree formulation for nonlinear flexoelectricity is extended to include nonlinear surface effects. It is determined that the surface effects can have notable influence on the output flexoelectric voltage of nano-sized cantilever structures in the nonlinear regime.

categories: physics.comp-ph cs.CE cs.NA cs.SY eess.SY math.NA


title: A complete update of $\varepsilon'/\varepsilon$ in the Standard Model

abstract: The recent release of improved lattice data has revived again the interest on precise theoretical calculations of the direct CP-violation ratio $\varepsilon'/\varepsilon$. We present a complete update of the Standard Model prediction [1,2], including a new re-analysis of isospin-breaking corrections which are of vital importance in the theoretical determination of this observable. The Standard Model prediction, $\mathrm{Re} (\epsilon'/\epsilon) = (14\pm 5)\cdot 10^{-4}$, turns out to be in good agreement with the experimental measurement.


title: A Common Parametrization for Finite Mode Gaussian States, their Symmetries and associated Contractions with some Applications

abstract: Let $\Gamma(\mathcal{H})$ be the boson Fock space over a finite dimensional Hilbert space $\mathcal{H}$. It is shown that every gaussian symmetry admits a Klauder-Bargmann integral representation in terms of coherent states. Furthermore, gaussian symmetries, gaussian states and second quantization contractions, all of these operators belong to a weakly closed, selfadjoint semigroup $\mathcal{E}_2(\mathcal{H})$ of bounded operators in $\Gamma(\mathcal{H})$. This yields, a new parametrization of gaussian states, which is a very fruitful alternative to the customary parametrization by position-momentum mean vectors and covariance matrices. This leads to a rich harvest of corollaries: (i) every gaussian state $\rho$ admits a factorization $\rho = Z_{1}^{\dagger}Z_{1}$, where $Z_{1}$ is an element of $\mathcal{E}_2(\mathcal{H})$ and has the form $Z_{1} = \sqrt{c}\Gamma(\sqrt{\Lambda})\exp{\sum_{r=1}^{n} \lambda_ra_r+\sum_{r,s=1}^{n} \alpha_{rs}a_{r}a_{s}}$ on the dense linear manifold generated by all exponential vectors, $\Lambda$ being a positive operator in $\mathcal{H}$, $a_{r}, 1\leq r \leq n$ are the annihilation operators corresponding to the $n$ different modes in $\Gamma(\mathcal{H})$, $\lambda_r\in \mathbb{C}$ and $[\alpha_{rs}]$ is a symmetric matrix in $M_n(\mathbb{C})$; (ii) an explicit particle basis expansion of an arbitrary mean zero pure gaussian state vector along with a density matrix formula for a general gaussian state in terms of its $\mathcal{E}_2(\mathcal{H})$-parameters; (iii) an easy test for the entanglement of pure gaussian states and a class of examples of pure $n$-mode gaussian states which are completely entangled; (iv) tomography of an unknown gaussian state in $\Gamma(\mathbb{C}^n)$ by the estimation of its $\mathcal{E}_2(\mathbb{C}^n)$-parameters using $O(n^2)$ measurements with a finite number of outcomes.


title: Safe Interactive Model-Based Learning

abstract: Control applications present hard operational constraints. A violation of these can result in unsafe behavior. This paper introduces Safe Interactive Model Based Learning (SiMBL), a framework to refine an existing controller and a system model while operating on the real environment. SiMBL is composed of the following trainable components: a Lyapunov function, which determines a safe set; a safe control policy; and a Bayesian RNN forward model. A min-max control framework, based on alternate minimisation and backpropagation through the forward model, is used for the offline computation of the controller and the safe set. Safety is formally verified a-posteriori with a probabilistic method that utilizes the Noise Contrastive Priors (NPC) idea to build a Bayesian RNN forward model with an additive state uncertainty estimate which is large outside the training data distribution. Iterative refinement of the model and the safe set is achieved thanks to a novel loss that conditions the uncertainty estimates of the new model to be close to the current one. The learned safe set and model can also be used for safe exploration, i.e., to collect data within the safe invariant set, for which a simple one-step MPC is proposed. The single components are tested on the simulation of an inverted pendulum with limited torque and stability region, showing that iteratively adding more data can improve the model, the controller and the size of the safe region.


title: Multi-Label Learning with Deep Forest

abstract: In multi-label learning, each instance is associated with multiple labels and the crucial task is how to leverage label correlations in building models. Deep neural network methods usually jointly embed the feature and label information into a latent space to exploit label correlations. However, the success of these methods highly depends on the precise choice of model depth. Deep forest is a recent deep learning framework based on tree model ensembles, which does not rely on backpropagation. We consider the advantages of deep forest models are very appropriate for solving multi-label problems. Therefore we design the Multi-Label Deep Forest (MLDF) method with two mechanisms: measure-aware feature reuse and measure-aware layer growth. The measure-aware feature reuse mechanism reuses the good representation in the previous layer guided by confidence. The measure-aware layer growth mechanism ensures MLDF gradually increase the model complexity by performance measure. MLDF handles two challenging problems at the same time: one is restricting the model complexity to ease the overfitting issue; another is optimizing the performance measure on user's demand since there are many different measures in the multi-label evaluation. Experiments show that our proposal not only beats the compared methods over six measures on benchmark datasets but also enjoys label correlation discovery and other desired properties in multi-label learning.


title: Phase transition at high supersymmetry breaking scale in string theory

abstract: When supersymmetry is spontaneously broken at tree level, the spectrum of the heterotic string compactified on orbifolds of tori contains an infinite number of potentially tachyonic modes. We show that this implies instabilities of Minkowski spacetime, when the scale of supersymmetry breaking is of the order of the string scale. We derive the phase space structure of vacua in the case where the tachyonic spectrum contains a mode with trivial momenta and winding numbers along the internal directions not involved in the supersymmetry breaking.


title: A citizen science exploration of the X-ray transient sky using the EXTraS science gateway

abstract: Modern soft X-ray observatories can yield unique insights into time domain astrophysics, and a huge amount of information is stored - and largely unexploited - in data archives. Like a treasure-hunt, the EXTraS project harvested the hitherto unexplored temporal domain information buried in the serendipitous data collected by the European Photon Imaging Camera instrument onboard the XMM- Newton satellite in 20 years of observations. The result is a vast catalogue, describing the temporal behaviour of hundreds of thousands of X-ray sources. But the catalogue is just a starting point because it has to be, in its turn, further analysed. During the project an education activity has been defined and run in several workshops for high school students in Italy, Germany and UK. The final goal is to engage the students, and in perspective citizen scientists, to go through the whole validation process: they look into the data and try to discover new sources, or to characterize already known sources. This paper describes how the EXTraS science gateway is used to accomplish these tasks and highlights the first discovery, a flaring X-ray source in the globular cluster NGC 6540.


title: A science gateway for Exploring the X-ray Transient and variable sky using EGI Federated Cloud

abstract: Modern soft X-ray observatories can yield unique insights into time domain astrophysics, and a huge amount of information is stored - and largely unexploited - in data archives. Like a treasure-hunt, the EXTraS project harvested the hitherto unexplored temporal domain information buried in the serendipitous data collected by the European Photon Imaging Camera instrument onboard the ESA XMM-Newton, in 16 years of observations. All results have been released to the scientific community, together with new software analysis tools. This paper presents the architecture of the EXTraS science gateway, that has the goal to provide the software to the scientific community through a Web based portal using the EGI Federated Cloud infrastructure. The main focus is on the light software architecture of the portal and on the technological insights for an effective use of the EGI ecosystem.


title: On the Maximum Number of Non-Confusable Strings Evolving Under Short Tandem Duplications

abstract: The set of all $ q $-ary strings that do not contain repeated substrings of length $ \leqslant\! 3 $ (i.e., that do not contain substrings of the form $ a a $, $ a b a b $, and $ a b c a b c $) constitutes a code correcting an arbitrary number of tandem-duplication mutations of length $ \leqslant\! 3 $. In other words, any two such strings are non-confusable in the sense that they cannot produce the same string while evolving under tandem duplications of length $ \leqslant\! 3 $. We demonstrate that this code is asymptotically optimal in terms of rate, meaning that it represents the largest set of non-confusable strings up to subexponential factors. This result settles the zero-error capacity problem for the last remaining case of tandem-duplication channels satisfying the "root-uniqueness" property.


title: A low noise and low power cryogenic amplifier for single photoelectron sensitivity with large arrays of SiPMs

abstract: This paper presents a low noise amplifier for large arrays of silicon photomultipliers (SiPMs) operated in cryogenic environments, especially liquid argon (87 K) and liquid nitrogen (77 K). The goal is for one amplifier to read out a total photosensitive surface of tens of cm$^2$ while retaining the capability to resolve single photoelectron signals. Due to the large capacitance of SiPMs, typically a few nF per cm$^2$, the main contributor to noise is the series (voltage) component. A silicon-germanium heterojunction bipolar transistor (HBT) was selected as the input device of the cryogenic amplifier, followed by a fully differential operational amplifier, operated in an unconventional feedback configuration. The input referred voltage noise of the circuit at 77 K is just below 0.4 nV/$\surd$Hz white (above 100 kHz) and 1 nV/$\surd$Hz at 10 kHz. The value of the base spreading resistance of the HBT at 77 K was determined from noise measurements at different bias currents. Power consumption of the full circuit is about 2.5 mW. The design gives the flexibility to optimally compensate the feedback loop for different values of the input capacitance, and obtain a gain-bandwidth product in the GHz range. The signal-to-noise ratio obtained in reading out SiPMs is discussed for the case of a 300 kHz low pass filter and compared with the upper limit that would derive from applying optimum filtering algorithms.


title: Some $L^1$-$L^1$ estimates for solutions to visco-elastic damped $\sigma$-evolution models

abstract: This note is to conclude $L^1-L^1$ estimates for solutions to the following Cauchy problem for visco-elastic damped $\sigma$-evolution models: \begin{equation} \begin{cases} u_{tt}+ (-\Delta)^\sigma u+ (-\Delta)^\sigma u_t = 0, &\quad x\in \mathbb{R}^n,\, t \ge 0, \\ u(0,x)= u_0(x),\quad u_t(0,x)=u_1(x), &\quad x\in \mathbb{R}^n, \label{pt1.1} \end{cases} \end{equation} where $\sigma> 1$, in all space dimensions $n\ge 1$.


title: Akaike's Bayesian information criterion (ABIC) or not ABIC for geophysical inversion

abstract: Akaike's Bayesian information criterion (ABIC) has been widely used in geophysical inversion and beyond. However, little has been done to investigate its statistical aspects. We present an alternative derivation of the marginal distribution of measurements, whose maximization directly leads to the invention of ABIC by Akaike. We show that ABIC is to statistically estimate the variance of measurements and the prior variance by maximizing the marginal distribution of measurements. The determination of the regularization parameter on the basis of ABIC is actually equivalent to estimating the relative weighting factor between the variance of measurements and the prior variance for geophysical inverse problems. We show that if the noise level of measurements is unknown, ABIC tends to produce a substantially biased estimate of the variance of measurements. In particular, since the prior mean is generally unknown but arbitrarily treated as zero in geophysical inversion, ABIC does not produce a reasonable estimate for the prior variance either.


title: Feedback Linearization based on Gaussian Processes with event-triggered Online Learning

abstract: Combining control engineering with nonparametric modeling techniques from machine learning allows to control systems without analytic description using data-driven models. Most existing approaches separate learning, i.e. the system identification based on a fixed dataset, and control, i.e. the execution of the model-based control law. This separation makes the performance highly sensitive to the initial selection of training data and possibly requires very large datasets. This article proposes a learning feedback linearizing control law using online closed-loop identification. The employed Gaussian process model updates its training data only if the model uncertainty becomes too large. This event-triggered online learning ensures high data efficiency and thereby reduces the computational complexity, which is a major barrier for using Gaussian processes under real-time constraints. We propose safe forgetting strategies of data points to adhere to budget constraint and to further increase data-efficiency. We show asymptotic stability for the tracking error under the proposed event-triggering law and illustrate the effective identification and control in simulation.


title: Colloidal trains

abstract: Single and double paramagnetic colloidal particles are placed above a magnetic square pattern and are driven with an external magnetic field precessing around a high symmetry direction of the pattern. The external magnetic field and that of the pattern confine the colloids into lanes parallel to a lattice vector of the pattern. The precession of the external field causes traveling minima of the magnetic potential along the direction of the lanes. At sufficiently high frequencies of modulation only the doublets respond to the external field and move in direction of the traveling minima along the lanes, while the single colloids cannot follow and remain static. We show how the doublets can induce a coordinated motion of the single colloids building colloidal trains made of a chain of several single colloids transported by doublets.


title: Reconciling Event Structures with Modern Multiprocessors

abstract: Weakestmo is a recently proposed memory consistency model that uses event structures to resolve the infamous "out-of-thin-air" problem. Although it has been shown to have important benefits over other memory models, its established compilation schemes are suboptimal in that they add more fences than necessary. In this paper, we prove the correctness in Coq of the intended compilation schemes for Weakestmo to a range of hardware memory models (x86, POWER, ARMv7, ARMv8, RISC-V). Our proof is the first that establishes correctness of compilation of an event-structure-based model that forbids "thin-air" behaviors, as well as the first mechanized compilation proof of a weak memory model supporting sequentially consistent accesses to such a range of hardware platforms. Our compilation proof goes via the recent Intermediate Memory Model (IMM), which we suitably extend with sequentially consistent accesses.


title: Quantum cascade laser-pumped terahertz molecular lasers: frequency noise and phase-locking using a 1560nm frequency comb

abstract: The recent demonstration of a terahertz (THz) molecular gas laser pumped by a mid-infrared quantum cascade laser (QCL) has opened up new perspectives for this family of sources, traditionally relying on CO2-laser pumping. A so far open question concerning QCL-pumped THz molecular lasers (MLs) is related to their spectral purity. Indeed, assessing their frequency/phase noise is crucial for a number of applications potentially exploiting these sources as local oscillators. Here this question is addressed by reporting the measurement of the frequency noise power spectral density (PSD) of a THz ML pumped by a 10.3{\mu}m-wavelength QCL, and emitting 1mW at 1.1THz in continuous wave. This is achieved by beating the ML frequency with the 1080th harmonic of the repetition rate of a 1560nm frequency comb. We find a frequency noise PSD < 10Hz2/Hz (-95dBc/Hz) at 100kHz from the carrier. To demonstrate the effect of the stability of the pump laser on the spectral purity of the THz emission we also measure the frequency noise PSD of a CO2-laser-pumped 2.5THz ML, reaching 0.1Hz2/Hz (-105dBc/Hz) at 40kHz from the carrier, limited by the frequency noise of the frequency comb harmonic. Finally, we show that it is possible to actively phase-lock the QCL-pumped molecular laser to the frequency comb repetition rate harmonic by controlling the QCL current, demonstrating a sub-Hz linewidth.


title: Putting Privacy into Perspective -- Comparing Technical, Legal, and Users' View of Data Sensitivity

abstract: Web 2.0, social media, cloud computing, and IoT easily connect people around the globe, overcoming time and space barriers, and offering manifold benefits. However, the technological advances and increased user participation generate novel challenges for protecting users' privacy. From the user perspective, data disclosure depends, in part, on the perceived sensitivity of that data, and thus on a risk assessment of data disclosure. But in light of the new technological opportunities to process and combine data, it is questionable whether users are able to adequately evaluate the risks of data disclosures. As mediating authority, data protection laws try to protect user data, granting enhanced protection to 'special categories' of data. In this publication, the legal, technological, and user perspectives on data sensitivity are presented and compared. From a technological perspective, all data can be referred to as 'potentially sensitive.' The legal and user perspective on data sensitivity deviate as some data types are granted special protection by the law but are not perceived as very sensitive by the users, and vice versa. Merging the three perspectives, the implications for informational self-determination are discussed.


title: Quantum Counterpart of Classical Equipartition of Energy

abstract: It is shown that the recently proposed quantum analogue of classical energy equipartition theorem for two paradigmatic, exactly solved models (i.e., a free Brownian particle and a dissipative harmonic oscillator) also holds true for all quantum systems which are composed of an arbitrary number of non-interacting or interacting particles, subjected to any confining potentials and coupled to thermostat with arbitrary coupling strength.


title: New results on the prefix membership problem for one-relator groups

abstract: In this paper we prove several results regarding decidability of the membership problem for certain submonoids in amalgamated free products and HNN extensions of groups. These general results are then applied to solve the prefix membership problem for a number of classes of one-relator groups which are low in the Magnus-Moldavanski\u{\i} hierarchy. Since the prefix membership problem for one-relator groups is intimately related to the word problem for one-relator special inverse monoids in the $E$-unitary case (as discovered in 2001 by Ivanov, Margolis and Meakin), these results yield solutions of the word problem for several new classes of one-relator special inverse monoids. In establishing these results, we introduce a new theory of conservative factorisations of words which provides a link between the prefix membership problem of a one-relator group and the group of units of the corresponding one-relator special inverse monoid. Finally, we exhibit the first example of a one-relator group, defined by a reduced relator word, that has an undecidable prefix membership problem.


title: On the motive of O'Grady's ten-dimensional hyper-K\"ahler varieties

abstract: We investigate how the motive of hyper-K\"ahler varieties is controlled by weight-2 (or surface-like) motives via tensor operations. In the first part, we study the Voevodsky motive of singular moduli spaces of semistable sheaves on K3 and abelian surfaces as well as the Chow motive of their crepant resolutions, when they exist. We show that these motives are in the tensor subcategory generated by the motive of the surface, provided that a crepant resolution exists. This extends a recent result of B\"ulles to the O'Grady-10 situation. In the non-commutative setting, similar results are proved for the Chow motive of moduli spaces of stable objects of the K3 category of a cubic fourfold. As a consequence, we provide abundant examples of hyper-K\"ahler varieties of O'Grady-10 deformation type satisfying the standard conjectures. In the second part, we study the Andr\'{e} motive of projective hyper-K\"ahler varieties. We attach to any such variety its defect group, an algebraic group which acts on the cohomology and measures the difference between the full motive and its weight-2 part. When the second Betti number is not 3, we show that the defect group is a natural complement of the Mumford--Tate group inside the motivic Galois group, and that it is deformation invariant. We prove the triviality of this group for all known examples of projective hyper-K\"ahler varieties, so that in each case the full motive is controlled by its weight-2 part. As applications, we show that for any variety motivated by a product of known hyper-K\"ahler varieties, all Hodge and Tate classes are motivated, the motivated Mumford--Tate conjecture holds, and the Andr\'e motive is abelian. This last point completes a recent work of Soldatenkov and provides a different proof for some of his results.


title: Independent and automatic evaluation of acoustic-to-articulatory inversion models

abstract: Reconstruction of articulatory trajectories from the acoustic speech signal has been proposed for improving speech recognition and text-to-speech synthesis. However, to be useful in these settings, articulatory reconstruction must be speaker independent. Furthermore, as most research focuses on single, small datasets with few speakers, robust articulatory reconstrucion could profit from combining datasets. Standard evaluation measures such as root mean square error and Pearson correlation are inappropriate for evaluating the speaker-independence of models or the usefulness of combining datasets. We present a new evaluation for articulatory reconstruction which is independent of the articulatory data set used for training: the phone discrimination ABX task. We use the ABX measure to evaluate a Bi-LSTM based model trained on 3 datasets (14 speakers), and show that it gives information complementary to the standard measures, and enables us to evaluate the effects of dataset merging, as well as the speaker independence of the model.


title: Nanoparticulate Metal Oxide Top Electrode Interface Modification Improves the Thermal Stability of Inverted Perovskite Photovoltaics

abstract: Solution processed {\gamma}-Fe2O3 nanoparticles via the solvothermal colloidal synthesis in conjunction with ligand-exchange method are used for interface modification of the top electrode in inverted perovskite solar cells. In comparison to more conventional top electrodes such as PC(70)BM/Al and PC(70)BM/AZO/Al, we show that incorporation of a {\gamma}-Fe2O3 provides an alternative solution processed top electrode (PC(70)BM/{\gamma}-Fe2O3/Al) that not only results in comparable power conversion efficiencies but also improved thermal stability of inverted perovskite photovoltaics. The origin of improved stability of inverted perovskite solar cells incorporating PC(70)BM/ {\gamma}-Fe2O3/Al under accelerated heat lifetime conditions is attributed to the acidic surface nature of {\gamma}-Fe2O3 and reduced charge trapped density within PC(70)BM/ {\gamma}-Fe2O3/Al top electrode interfaces.


title: Real forms of embeddings of maximal reductive subalgebras of the complex simple Lie algebras of rank up to 8

abstract: We give tables of noncompact real forms of maximal reductive subalgebras of complex simple Lie algebras of rank up to 8. These were obtained by computational methods that we briefly describe. We also discuss applications in theoretical physics of these embeddings.


title: Physics with Far Detectors at Future Lepton Colliders

abstract: At the Large Hadron Collider (LHC), several far detectors such as FASER and MATHUSLA have been proposed to target the long-lived particles (LLPs) featured with displaced vertices. Naturally one question arises as to the feasibility of installing similar far detectors at future lepton colliders like the CEPC and FCC-ee. Because of the different kinematics of final state particles and the freedom to locate both the experiment hall and the detectors, the future lepton collider with an additional far detector may play a unique role in searching for LLPs. In this study, we consider various locations and designs of far detectors at future $e^- e^+$ colliders and investigate their potentials for discovering LLPs in the physics scenarios including exotic Higgs decays, heavy neutral leptons, and the lightest neutralinos. Our analyses show that the kinematical distinctions between the lepton and hadron colliders render the optimal positions of far detectors lying at the direction perpendicular to the collider beams at future $e^- e^+$ colliders, in contrast to the LHC where a boost in the forward direction can be exploited. We also find that when searching for LLPs, such new experiments with far detectors at future lepton colliders may extend and complement the sensitivity reaches of the experiments at the future lepton colliders with usual near detectors, and the present and future experiments at the LHC. In particular, we find that, for the theory models considered in this study, a MATHUSLA-sized far detector would give a modest improvement compared to the case with a near detector only at future lepton colliders.


title: Learning Models over Relational Data: A Brief Tutorial

abstract: This tutorial overviews the state of the art in learning models over relational databases and makes the case for a first-principles approach that exploits recent developments in database research. The input to learning classification and regression models is a training dataset defined by feature extraction queries over relational databases. The mainstream approach to learning over relational data is to materialize the training dataset, export it out of the database, and then learn over it using a statistical package. This approach can be expensive as it requires the materialization of the training dataset. An alternative approach is to cast the machine learning problem as a database problem by transforming the data-intensive component of the learning task into a batch of aggregates over the feature extraction query and by computing this batch directly over the input database. The tutorial highlights a variety of techniques developed by the database theory and systems communities to improve the performance of the learning task. They rely on structural properties of the relational data and of the feature extraction query, including algebraic (semi-ring), combinatorial (hypertree width), statistical (sampling), or geometric (distance) structure. They also rely on factorized computation, code specialization, query compilation, and parallelization.


title: Smarter Features, Simpler Learning?

abstract: Earlier work on machine learning for automated reasoning mostly relied on simple, syntactic features combined with sophisticated learning techniques. Using ideas adopted in the software verification community, we propose the investigation of more complex, structural features to learn from. These may be exploited to either learn beneficial strategies for tools, or build a portfolio solver that chooses the most suitable tool for a given problem. We present some ideas for features of term rewrite systems and theorem proving problems.


title: Physical Properties of the star-forming clusters in NGC 6334

abstract: We have studied the high-mass star-forming complex NGC 6334 with ALMA in the continuum emission at a frequency of 87.6 GHz, achieving a spatial resolution of 1300 au. Detecting 142 compact sources distributed over the whole observed area, we then used machine learning algorithms to group the compact cores in different clusters. A total of four main clusters were identified: NGC 6334-E, NGC 6334-I, NGC 6334-I(N) and NGC 6334-I(NW). The typical separations between cluster members (4000-12000 au) together with the core masses (0.2-100 $M_{\odot}$) are in agreement with turbulent fragmentation at scales of 0.1 pc. We find that the CMFs (core mass functions) show an excess of massive cores compared to the IMF. Typical uncertainties in temperature or unresolved multiplicity may mimic the observed excess of massive cores. Evidence of mass segregation in NGC 6334-I and NGC 6334-I(N), with the most massive cores located closer to the center, was found. Correlations between the physical properties of the clusters and their evolutionary stage were searched for, and found to show a larger separation between cores in the more evolved clusters, favouring the role of gas expulsion and stellar ejection over time. From these results, we suggest that NGC 6334-I(N) was primordially segregated, while NGC 6334-I may have become mass-segregated over time due to dynamical effects. Finally, the lack of massive cores in the most evolved cluster suggests that the gas reservoir may be already exhausted, while the less evolved clusters still have access to a larger gas mass reservoir. In general, the fragmentation in NGC 6334 at large scales (about 1 pc) is governed by turbulent pressure, while at smaller scales (a few hundred au), thermal pressure regulates the fragmentation process.


title: Multiplicative Chow-K\"unneth decompositions and varieties of cohomological K3 type

abstract: Given a smooth projective variety, a Chow-K\"unneth decomposition is called multiplicative if it is compatible with the intersection product. Following works of Beauville and Voisin, Shen and Vial conjectured that hyper-K\"ahler varieties admit a multiplicative Chow-K\"unneth decomposition. In this paper, based on the mysterious link between Fano varieties with cohomology of K3 type and hyper-K\"ahler varieties, we ask whether Fano varieties with cohomology of K3 type also admit a multiplicative Chow-K\"unneth decomposition, and provide evidence by establishing their existence for cubic fourfolds and K\"uchle fourfolds of type c7. The main input in the cubic hypersurface case is the Franchetta property for the square of the Fano variety of lines; this was established in our earlier work in the fourfold case and is generalized here to arbitrary dimension. On the other end of the spectrum, we also give evidence that varieties with ample canonical class and with cohomology of K3 type might admit a multiplicative Chow-K\"unneth decomposition, by establishing this for two families of Todorov surfaces.


title: Valley to charge current conversion in graphene grain boundaries

abstract: The conduction properties of a grain boundary junction with Fermi velocity mismatch are analyzed. We provide a generalization of the Dirac Hamiltonian model taking into account the Fermi velocity gradient at the interface. General boundary conditions for the scattering problem are derived within the framework of the matching matrix method. We show that the scattering properties of the interface, as predicted by the theory, strongly depend on the boundary conditions used. We demonstrate that when the valley degeneracy is broken a charge current is established at the grain boundary interface. These findings provide the working principle of a valley to charge current converter, which is relevant for the emergent field of valleytronics.


title: Thermoelectrically cooled THz quantum cascade laser operating up to 210 K

abstract: We present a \MF{terahertz} quantum cascade laser operating on a thermoelectric cooler up to a record-high temperature of 210.5 K. The active region design is based on only two quantum wells and achieves high temperature operation thanks to a systematic optimization by means of a nonequilibrium Green's function model. Laser spectra were measured with a room temperature detector, making the whole setup cryogenic free. At low temperatures ($\sim 40 K), a maximum output power of 200 mW was measured.


title: GET: Global envelopes in R

abstract: This work describes the R package GET that implements global envelopes for a general set of $d$-dimensional vectors $T$ in various applications. A $100(1-\alpha)$% global envelope is a band bounded by two vectors such that the probability that $T$ falls outside this envelope in any of the $d$ points is equal to $\alpha$. The term 'global' means that this probability is controlled simultaneously for all the $d$ elements of the vectors. The global envelopes can be employed for central regions of functional or multivariate data, for graphical Monte Carlo and permutation tests where the test statistic is multivariate or functional, and for global confidence and prediction bands. Intrinsic graphical interpretation property is introduced for global envelopes. The global envelopes included in the GET package have this property, which particularly helps to interpret test results, by providing a graphical interpretation that shows the reasons of rejection of the tested hypothesis. Examples of different uses of global envelopes and their implementation in the GET package are presented, including global envelopes for single and several one- or two-dimensional functions, Monte Carlo goodness-of-fit tests for simple and composite hypotheses, comparison of distributions, functional analysis of variance, functional linear model, and confidence bands in polynomial regression.


title: Achieving high figure-of-merit in Nb-doped Na$_{0.74}$CoO$_{2}$ compound at high temperature region

abstract: We report the thermoelectric (TE) properties of Na$_{0.74}$Co$_{0.95}$Nb$_{0.05}$O$_{2}$ in the temperature range $300-1200$ K, as a potential candidate for p-type thermoelectric material. The experimental values of Seebeck coefficient (S) are $ \sim $ $82-121$ $ \mu $V/K measured in the temperature range $300-620$ K. The positive values of S in the entire temperature range indicates p-type behaviour of the compound. At 300 K the experimental value of thermal conductivity ($ \kappa $) is $ \sim $ 1.88 W/m-K that increases up to $ \sim $ 420 K, then decreases till 620 K with corresponding value $ \sim $ 1.86 W/m-K. To understand the experimentally observed transport properties, we have calculated S and $\rho$ of this compound. Then, based on theoretical understanding, we have estimated \textit{figure-of-merit} (ZT) up to 1200 K by using calculated S and $\rho$ values with extrapolated experimental $\kappa$. The value of ZT is found to be $\sim$ 0.03 at 300 K, whereas, the highest value is observed as $\sim$ 1.7 at 1200 K. Finally, we have calculated the efficiency ($\eta$) by keeping the cold end temperature (T$_{c}$) fixed at 500 K and varying hot end temperature (T$_{h}$) from 500 to 1200 K, respectively. The maximum value of $\eta$ is found to be $\sim$ 8 %, when T$_{c}$ and T$_{h}$ are fixed at 500 and 1200 K, respectively. This result suggests that Na$_{0.74}$Co$_{0.95}$Nb$_{0.05}$O$_{2}$ compound can be used as a p-leg for making high temperature TE generator (TEG).


title: Weighted Parsing for Grammar-Based Language Models over Multioperator Monoids

abstract: We develop a general framework for weighted parsing which is built on top of grammar-based language models and employs multioperator monoids as weight algebras. It generalizes previous work in that area (semiring parsing, weighted deductive parsing) and also covers applications outside the classical scope of parsing, e.g., algebraic dynamic programming. We show an algorithm for weighted parsing and, for a large class of weighted grammar-based language models, we prove formally that it terminates and is correct.


title: Lie algebras arising from Nichols algebras of diagonal type

abstract: Let ${\mathcal B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type with braiding matrix $\mathfrak{q}$, let $\mathcal{L}_{\mathfrak{q}}$ be the corresponding Lusztig algebra as in arXiv:1501.04518 and let $\operatorname{Fr}_{\mathfrak{q}}: \mathcal{L}_{\mathfrak{q}} \to U(\mathfrak{n}^{\mathfrak{q}})$ be the corresponding quantum Frobenius map as in arXiv:1603.09387. We prove that the finite-dimensional Lie algebra $\mathfrak{n}^{\mathfrak{q}}$ is either 0 or else the positive part of a semisimple Lie algebra $\mathfrak{g}^{\mathfrak{q}}$ which is determined for each $\mathfrak{q}$ in the list of arXiv:math/0605795.


title: Learning To Characterize Adversarial Subspaces

abstract: Deep Neural Networks (DNNs) are known to be vulnerable to the maliciously generated adversarial examples. To detect these adversarial examples, previous methods use artificially designed metrics to characterize the properties of \textit{adversarial subspaces} where adversarial examples lie. However, we find these methods are not working in practical attack detection scenarios. Because the artificially defined features are lack of robustness and show limitation in discriminative power to detect strong attacks. To solve this problem, we propose a novel adversarial detection method which identifies adversaries by adaptively learning reasonable metrics to characterize adversarial subspaces. As auxiliary context information, \textit{k} nearest neighbors are used to represent the surrounded subspace of the detected sample. We propose an innovative model called Neighbor Context Encoder (NCE) to learn from \textit{k} neighbors context and infer if the detected sample is normal or adversarial. We conduct thorough experiment on CIFAR-10, CIFAR-100 and ImageNet dataset. The results demonstrate that our approach surpasses all existing methods under three settings: \textit{attack-aware black-box detection}, \textit{attack-unaware black-box detection} and \textit{white-box detection}.


title: Good action on a finite group

abstract: Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every $B$-invariant subgroup $H$ of $G.$ This definition allows us to prove a new noncoprime Hall-Higman type theorem. If $A$ is a nilpotent group acting on the finite solvable group $G$ with $C_G(A)=1$, a long standing conjecture states that $h(G)\leq \ell(A)$ where $h(G)$ is the Fitting height of $G$ and $\ell(A)$ is the number of primes dividing the order of $A$ counted with multiplicities. As an application of our result we prove the main theorem of this paper which states that the above conjecture is true if $A$ and $G$ have odd order, the action of $A$ on $G$ is good and some other fairly general conditions are satisfied.