title: Space Telescope and Optical Reverberation Mapping Project. IX. Velocity-Delay Maps for Broad Emission Lines in NGC 5548

abstract: We report velocity-delay maps for prominent broad emission lines, Ly_alpha, CIV, HeII and H_beta, in the spectrum of NGC5548. The emission-line responses inhabit the interior of a virial envelope. The velocity-delay maps reveal stratified ionization structure. The HeII response inside 5-10 light-days has a broad single-peaked velocity profile. The Ly_alpha, CIV, and H_beta responses peak inside 10 light-days, extend outside 20 light-days, and exhibit a velocity profile with two peaks separated by 5000 km/s in the 10 to 20 light-day delay range. The velocity-delay maps show that the M-shaped lag vs velocity structure found in previous cross-correlation analysis is the signature of a Keplerian disk with a well-defined outer edge at R=20 light-days. The outer wings of the M arise from the virial envelope, and the U-shaped interior of the M is the lower half of an ellipse in the velocity-delay plane. The far-side response is weaker than that from the near side, so that we see clearly the lower half, but only faintly the upper half, of the velocity--delay ellipse. The delay tau=(R/c)(1-sin(i))=5 light-days at line center is from the near edge of the inclined ring, giving the inclination i=45 deg. A black hole mass of M=7x10^7 Msun is consistent with the velocity-delay structure. A barber-pole pattern with stripes moving from red to blue across the CIV and possibly Ly_alpha line profiles suggests the presence of azimuthal structure rotating around the far side of the broad-line region and may be the signature of precession or orbital motion of structures in the inner disk. Further HST observations of NGC 5548 over a multi-year timespan but with a cadence of perhaps 10 days rather than 1 day could help to clarify the nature of this new AGN phenomenon.


title: The Fractional Porous Medium Equation on the hyperbolic space

abstract: We consider the nonlinear degenerate parabolic equation of porous medium type, whose diffusion is driven by the (spectral) fractional Laplacian on the hyperbolic space. We provide existence results for solutions, in an appropriate weak sense, for data belonging either to the usual $L^p$ spaces or to larger (weighted) spaces determined either in terms of a ground state of $\Delta_{\mathbb{H}^n}$, or of the (fractional) Green's function. For such solutions, we also prove different kind of smoothing effects, in the form of quantitative $L^1-L^\infty$ estimates. To the best of our knowledge, this seems the first time in which the fractional porous medium equation has been treated on non-compact, geometrically non-trivial examples.


title: 3D dynamic hand gestures recognition using the Leap Motion sensor and convolutional neural networks

abstract: Defining methods for the automatic understanding of gestures is of paramount importance in many application contexts and in Virtual Reality applications for creating more natural and easy-to-use human-computer interaction methods. In this paper, we present a method for the recognition of a set of non-static gestures acquired through the Leap Motion sensor. The acquired gesture information is converted in color images, where the variation of hand joint positions during the gesture are projected on a plane and temporal information is represented with color intensity of the projected points. The classification of the gestures is performed using a deep Convolutional Neural Network (CNN). A modified version of the popular ResNet-50 architecture is adopted, obtained by removing the last fully connected layer and adding a new layer with as many neurons as the considered gesture classes. The method has been successfully applied to the existing reference dataset and preliminary tests have already been performed for the real-time recognition of dynamic gestures performed by users.


title: The Hasse Norm Principle in Global Function Fields

abstract: Let $L$ be a finite extension of $\mathbb{F}_q(t)$. We calculate the proportion of polynomials of degree $d$ in $\mathbb{F}_q[t]$ that are everywhere locally norms from $L/\mathbb{F}_q(t)$ which fail to be global norms from $L/\mathbb{F}_q(t)$.


title: Online Joint Bid/Daily Budget Optimization of Internet Advertising Campaigns

abstract: Pay-per-click advertising includes various formats (\emph{e.g.}, search, contextual, social) with a total investment of more than 200 billion USD per year worldwide. An advertiser is given a daily budget to allocate over several, even thousands, campaigns, mainly distinguishing for the ad, target, or channel. Furthermore, publishers choose the ads to display and how to allocate them employing auctioning mechanisms, in which every day the advertisers set for each campaign a bid corresponding to the maximum amount of money per click they are willing to pay and the fraction of the daily budget to invest. In this paper, we study the problem of automating the online joint bid/daily budget optimization of pay-per-click advertising campaigns over multiple channels. We formulate our problem as a combinatorial semi-bandit problem, which requires solving a special case of the Multiple-Choice Knapsack problem every day. Furthermore, for every campaign, we capture the dependency of the number of clicks on the bid and daily budget by Gaussian Processes, thus requiring mild assumptions on the regularity of these functions. We design four algorithms and show that they suffer from a regret that is upper bounded with high probability as O(sqrt{T}), where T is the time horizon of the learning process. We experimentally evaluate our algorithms with synthetic settings generated from real data from Yahoo!, and we present the results of the adoption of our algorithms in a real-world application with a daily average spent of 1,000 Euros for more than one year.


title: On decomposable and reducible integer matrices

abstract: We propose necessary and sufficient conditions for an integer matrix to be decomposable in terms of its Hermite normal form. Specifically, to each integer matrix of maximal row rank without columns of zeros, we associate a symmetric whole matrix whose reducibility can be determined by elementary Linear Algebra, and which completely determines the decomposibility of the first one.


title: Are observed H i filaments turbulent illusions or density structures? Velocity caustics, facts and fakes

abstract: Context. The interstellar medium is affected by turbulence and observed H i structures in channel maps are shaped by turbulent motions. It is taken for granted by a few theoreticians that observed H i structures do not represent real density enhancement but velocity caustics, caused by velocity crowding. This interpretation was questioned and objections by Clark et al. led to violent debates. Aims. To settle the discussion we verify theoretical key parameters by using Effelsberg Bonn H i Survey (EBHIS) observations. Methods. We apply unsharp masking to determine filamentary H i structures at high spatial frequencies. In addition we use Gaussian parameters to distinguish the cold neutral medium (CNM) from observed H i column densities. We compare power spectra and spatial distributions of dust and H i column densities, distinguishing CNM and multiphase column densities at various velocity widths. Results. Observations contradict the Velocity Channel Analysis (VCA) postulate that the spectral index should steepen with the width of the velocity window. We rather find that the thin slice spectral index depends strongly on the H i phase composition. Multiphase power spectra are steeper for regions with cold gas. VCA denies such H i phase dependencies on the power distribution. Separating the CNM we find that the power spectra are significantly flatter than those for the multiphase H i composite. We observe excess CNM power for small scale structures originating from cold dust bearing filaments that are embedded in the CNM. Spectral indices for narrow channel widths depend on the Doppler temperature of the H i gas. In presence of enhanced small scale H i structure the far infrared emission from dust is also enhanced. Conclusions. Small scale cold filamentary H i structures are predominantly caused by density enhancements due to phase transitions rather than by velocity caustics.


title: Rethinking Zero-shot Video Classification: End-to-end Training for Realistic Applications

abstract: Trained on large datasets, deep learning (DL) can accurately classify videos into hundreds of diverse classes. However, video data is expensive to annotate. Zero-shot learning (ZSL) proposes one solution to this problem. ZSL trains a model once, and generalizes to new tasks whose classes are not present in the training dataset. We propose the first end-to-end algorithm for ZSL in video classification. Our training procedure builds on insights from recent video classification literature and uses a trainable 3D CNN to learn the visual features. This is in contrast to previous video ZSL methods, which use pretrained feature extractors. We also extend the current benchmarking paradigm: Previous techniques aim to make the test task unknown at training time but fall short of this goal. We encourage domain shift across training and test data and disallow tailoring a ZSL model to a specific test dataset. We outperform the state-of-the-art by a wide margin. Our code, evaluation procedure and model weights are available at github.com/bbrattoli/ZeroShotVideoClassification.


title: Implicit Functions in Feature Space for 3D Shape Reconstruction and Completion

abstract: While many works focus on 3D reconstruction from images, in this paper, we focus on 3D shape reconstruction and completion from a variety of 3D inputs, which are deficient in some respect: low and high resolution voxels, sparse and dense point clouds, complete or incomplete. Processing of such 3D inputs is an increasingly important problem as they are the output of 3D scanners, which are becoming more accessible, and are the intermediate output of 3D computer vision algorithms. Recently, learned implicit functions have shown great promise as they produce continuous reconstructions. However, we identified two limitations in reconstruction from 3D inputs: 1) details present in the input data are not retained, and 2) poor reconstruction of articulated humans. To solve this, we propose Implicit Feature Networks (IF-Nets), which deliver continuous outputs, can handle multiple topologies, and complete shapes for missing or sparse input data retaining the nice properties of recent learned implicit functions, but critically they can also retain detail when it is present in the input data, and can reconstruct articulated humans. Our work differs from prior work in two crucial aspects. First, instead of using a single vector to encode a 3D shape, we extract a learnable 3-dimensional multi-scale tensor of deep features, which is aligned with the original Euclidean space embedding the shape. Second, instead of classifying x-y-z point coordinates directly, we classify deep features extracted from the tensor at a continuous query point. We show that this forces our model to make decisions based on global and local shape structure, as opposed to point coordinates, which are arbitrary under Euclidean transformations. Experiments demonstrate that IF-Nets clearly outperform prior work in 3D object reconstruction in ShapeNet, and obtain significantly more accurate 3D human reconstructions.


title: Follow-up imaging observations of comet 2I/Borisov

abstract: Follow-up imaging observations of the first detected interstellar comet 2I/Borisov are presented, which were carried out with the Schmidt-Teleskop-Kamera at the University Observatory Jena in 11 observing epochs in October and November 2019. The orbital solution of the comet, derived from the obtained astrometric measurements, confirms its highly eccentric ($e=3.3570 \pm 0.0006$) and inclined ($i=44.0524 \pm 0.0004\,^\circ$) orbit, that proves the interstellar origin of the comet. According to our best-fitting orbital solution, comet 2I/Borisov reaches its perihelion on 2019 Dec 8 ($q=2.0066$ au) and its closest encounter with Earth on 2019 Dec 28 ($\Delta_{\text{min}}=1.9368$ au). The distance corrected brightness of the nucleus of the comet clearly exhibits a linear correlation with its phase angle. The slope of this correlation indicates the activity of the comet, which is also detected in deep imaging data, taken in 5 observing epochs, showing the coma and the tail of the comet. During our observing campaign the coma of comet 2I/Borisov exhibits on average a diameter of $(4.57\pm0.38) \cdot 10^4$ km, and the length of the tail of the comet measures $(1.52\pm0.12) \cdot 10^5$ km, assuming an anti-solar orientation.


title: Synchronizing the simplest classical system and then quantizing it

abstract: I propose a discrete synchronization model of finite d-level systems and discuss what happens once superposition of states is allowed. The model exhibits various asymptotic behaviors that depend on the initial state. In particular, two antagonistic phenomena can occur: a quantum-to-classical transition and entanglement generation. Next, I generalize this model and show that it is possible to phase-lock a periodic dynamics of a single qubit to a periodic dynamics of a qudit stimulus.


title: Heat flux sensing by anomalous Nernst effect in Fe-Al thin films on a flexible substrate

abstract: We performed a numerical analysis of the material parameters required for realizing a heat flux sensor exploiting the anomalous Nernst effect (ANE). The results showed the importance of high thermopower of ANE ($S_{\text{ANE}}$) and small saturation magnetization. This motivated us to investigate the effect of Al substitution of Fe on ANE and found $S_{\text{ANE}} =$ 3.4 $\mu$V/K in Fe$_{81}$Al$_{19}$ because of the dominant intrinsic mechanism. Using this material, we made a prototype ANE-based heat flux sensor on a thin flexible polyimide sheet and demonstrated accurate sensing with it. This study gives important information for enhancing sensor sensitivity.


title: Disentangling Physical Dynamics from Unknown Factors for Unsupervised Video Prediction

abstract: Leveraging physical knowledge described by partial differential equations (PDEs) is an appealing way to improve unsupervised video prediction methods. Since physics is too restrictive for describing the full visual content of generic videos, we introduce PhyDNet, a two-branch deep architecture, which explicitly disentangles PDE dynamics from unknown complementary information. A second contribution is to propose a new recurrent physical cell (PhyCell), inspired from data assimilation techniques, for performing PDE-constrained prediction in latent space. Extensive experiments conducted on four various datasets show the ability of PhyDNet to outperform state-of-the-art methods. Ablation studies also highlight the important gain brought out by both disentanglement and PDE-constrained prediction. Finally, we show that PhyDNet presents interesting features for dealing with missing data and long-term forecasting.


title: Differentiable Causal Backdoor Discovery

abstract: Discovering the causal effect of a decision is critical to nearly all forms of decision-making. In particular, it is a key quantity in drug development, in crafting government policy, and when implementing a real-world machine learning system. Given only observational data, confounders often obscure the true causal effect. Luckily, in some cases, it is possible to recover the causal effect by using certain observed variables to adjust for the effects of confounders. However, without access to the true causal model, finding this adjustment requires brute-force search. In this work, we present an algorithm that exploits auxiliary variables, similar to instruments, in order to find an appropriate adjustment by a gradient-based optimization method. We demonstrate that it outperforms practical alternatives in estimating the true causal effect, without knowledge of the full causal graph.


title: Inductively Coupled Plasma at Atmospheric Pressure, a Challenge for Miniature Devices

abstract: Plasma jets belong to the category remote plasma. This means that the discharge conditions and the chemical effect on samples can be tuned separately, this being a big advantage compared to standard low-pressure reactors. The inductive coupling brings the advantage of a pure and dense plasma. The microwave excitation allows furthermore miniaturization and generation of low temperature plasmas. The present paper shows the state of the art of the research on such sources, demonstrating their work up to atmospheric pressure.


title: Robust High-Transparency Haptic Exploration for Dexterous Telemanipulation

abstract: Robotic teleoperation will allow us to perform complex manipulation tasks in dangerous or remote environments, such as needed for planetary exploration or nuclear decommissioning. This work proposes a novel telemanipulation architecture using a passive Fractal Impedance Controller (FIC), which does not depend upon an active viscous component for stability guarantees. Compared to a traditional impedance controller in ideal conditions (no delays and maximum communication bandwidth), our proposed method yields higher transparency in interaction and demonstrates superior dexterity and capability in our telemanipulation test scenarios. We also validate its performance with extreme delays up to 1 s and communication bandwidths as low as 10 Hz. All results validate a consistent stability when using the proposed controller in challenging conditions, regardless of operator expertise.


title: Thermodynamic advancement in the causally inseparable occurrence of thermal maps

abstract: Quantum mechanics allows the occurrence of events without having any definite causal order. Here, it is shown that the application of two different thermal channels in the causally inseparable order can enhance the potential to extract work, in contrast to any of their definite (separable) order of compositions. This enhancement is also possible even without assigning any thermodynamic resource value to the controlling qubit. Further, we provide the first non-trivial example of causal enhancement with non-unital pin maps, for which it is still not clear how to obtain a superposition of path structure (under definite causal order). Hence, it may be a potential candidate to accentuate the difference between superposition of time and superposition of path.


title: Linear-Model-inspired Neural Network for Electromagnetic Inverse Scattering

abstract: Electromagnetic inverse scattering problems (ISPs) aim to retrieve permittivities of dielectric scatterers from the scattering measurement. It is often highly nonlinear, caus-ing the problem to be very difficult to solve. To alleviate the issue, this letter exploits a linear model-based network (LMN) learning strategy, which benefits from both model complexity and data learning. By introducing a linear model for ISPs, a new model with network-driven regular-izer is proposed. For attaining efficient end-to-end learning, the network architecture and hyper-parameter estimation are presented. Experimental results validate its superiority to some state-of-the-arts.


title: Bio-mimetic Adaptive Force/Position Control Using Fractal Impedance

abstract: The ability of animals to interact with complex dynamics is unmatched in robots. Especially important to the interaction performances is the online adaptation of body dynamics, which can be modeled as an impedance behaviour. However, the variable impedance controller still possesses a challenge in the current control frameworks due to the difficulties of retaining stability when adapting the controller gains. The fractal impedance controller has been recently proposed to solve this issue. However, it still has limitations such as sudden jumps in force when it starts to converge to the desired position and the lack of a force feedback loop. In this manuscript, two improvements are made to the control framework to solve these limitations. The force discontinuity has been addressed introducing a modulation of the impedance via a virtual antagonist that modulates the output force. The force tracking has been modeled after the parallel force/position controller architecture. In contrast to traditional methods, the fractal impedance controller enables the implementation of a search algorithm on the force feedback to adapt its behaviour on the external environment instead of on relying on \textit{a priori} knowledge of the external dynamics. Preliminary simulation results presented in this paper show the feasibility of the proposed approach, and it allows to evaluate the trade-off that needs to be made when relying on the proposed controller for interaction. In conclusion, the proposed method mimics the behaviour of an agonist/antagonist system adapting to unknown external dynamics, and it may find application in computational neuroscience, haptics, and interaction control.


title: Electrical Double Layer Capacitance of Curved Graphite Electrodes

abstract: To improve the understanding of the relation between electrode curvature and energy storage mechanisms, a systematic investigation of the correlation between convex and concave electrode surfaces and the differential capacitance of an electrochemical double layer capacitor using molecular dynamics simulations is presented. Each electrode consists of three layers of curved graphene sheets with a convex and concave surface to which the constant potential method was applied. The differential capacitance shows a fluctuating behavior with respect to the curvature radius of the convex and concave areas of the electrode. The reasons identified for this are differences in the geometric arrangement and solvation of the adsorbed ions as well as a steric hindrance prohibiting further charge accumulation. Because the total differential capacitance is calculated as a weighted average of contributions from concave and convex surfaces, the influence of individual curvatures on the total capacitance is significantly reduced for the total electrode surface.


title: Scattering for the mass-critical nonlinear Klein-Gordon equations in three and higher dimensions

abstract: In this paper we consider the real-valued mass-critical nonlinear Klein-Gordon equations in three and higher dimensions. We prove the dichotomy between scattering and blow-up below the ground state energy in the focusing case, and the energy scattering in the defocusing case. We use the concentration-compactness/rigidity method as R. Killip, B. Stovall, and M. Visan [Trans. Amer. Math. Soc. 364 (2012)]. The main new novelty is to approximate the large scale (low-frequency) profile by the solution of the mass-critical nonlinear Schr\"odinger equation when the nonlinearity is not algebraic.


title: Riemannian Newton optimization methods for the symmetric tensor approximation problem

abstract: The Symmetric Tensor Approximation problem (STA) consists of approximating a symmetric tensor or a homogeneous polynomial by a linear combination of symmetric rank-1 tensors or powers of linear forms of low symmetric rank. We present two new Riemannian Newton-type methods for low rank approximation of symmetric tensor with complex coefficients.The first method uses the parametrization of the set of tensors of rank at most $r$ by weights and unit vectors.Exploiting the properties of the apolar product on homogeneous polynomials combined with efficient tools from complex optimization, we provide an explicit and tractable formulation of the Riemannian gradient and Hessian, leading to Newton iterations with local quadratic convergence. We prove that under some regularity conditions on non-defective tensors in the neighborhood of the initial point, the Newton iteration (completed with a trust-region scheme) is converging to a local minimum.The second method is a Riemannian Gauss--Newton method on the Cartesian product of Veronese manifolds. An explicit orthonormal basis of the tangent space of this Riemannian manifold is described. We deduce the Riemannian gradient and the Gauss--Newton approximation of the Riemannian Hessian. We present a new retraction operator on the Veronese manifold.We analyze the numerical behavior of these methods, with an initial point provided by Simultaneous Matrix Diagonalisation (SMD).Numerical experiments show the good numerical behavior of the two methods in different cases and in comparison with existing state-of-the-art methods.


title: Structure of passive states and its implication in charging quantum batteries

abstract: In this article, in addition to the characterization of geometrical state spaces for the passive states, an operational approach has been introduced to distinguish them on their charging capabilities of a quantum battery. Unlike the thermal states, the structural instability of passive states assures the existence of a natural number $n$, for which $n+1$-copies of the state can charge a quantum battery while $n$-copies cannot. This phenomenon can be presented in a $n$-copy resource-theoretic approach, for which the free states are unable to charge the battery in $n$-copies. Here we have exhibited the single copy scenario explicitly. We also show that general ordering of the passive states on the basis of their charging capabilities is not possible and even the macroscopic entities (viz. energy and entropy) are unable to order them precisely. Interestingly, for some of the passive states, the majorization criterion gives sufficient order to the charging and discharging capabilities. However, the charging capacity for the set of thermal states (for which charging is possible), is directly proportional to their temperature.


title: Entropy Dynamics of Phonon Quantum States Generated by Optical Excitation of a Two-Level System

abstract: In quantum physics, two prototypical model systems stand out due to their wide range of applications. These are the two-level system (TLS) and the harmonic oscillator. The former is often an ideal model for confined charge or spin systems and the latter for lattice vibrations, i.e., phonons. Here, we couple these two systems, which leads to numerous fascinating physical phenomena. Practically, we consider different optical excitations and decay scenarios of a TLS, focusing on the generated dynamics of a single phonon mode that couples to the TLS. Special emphasis is placed on the entropy of the different parts of the system, predominantly the phonons. While, without any decay, the entire system is always in a pure state, resulting in a vanishing entropy, the complex interplay between the single parts results in non-vanishing respective entanglement entropies and non-trivial dynamics of them. Taking a decay of the TLS into account leads to a non-vanishing entropy of the full system and additional aspects in its dynamics. We demonstrate that all aspects of the entropy's behavior can be traced back to the purity of the states and are illustrated by phonon Wigner functions in phase space.


title: Seshat: A tool for managing and verifying annotation campaigns of audio data

abstract: We introduce Seshat, a new, simple and open-source software to efficiently manage annotations of speech corpora. The Seshat software allows users to easily customise and manage annotations of large audio corpora while ensuring compliance with the formatting and naming conventions of the annotated output files. In addition, it includes procedures for checking the content of annotations following specific rules that can be implemented in personalised parsers. Finally, we propose a double-annotation mode, for which Seshat computes automatically an associated inter-annotator agreement with the $\gamma$ measure taking into account the categorisation and segmentation discrepancies.


title: XGPT: Cross-modal Generative Pre-Training for Image Captioning

abstract: While many BERT-based cross-modal pre-trained models produce excellent results on downstream understanding tasks like image-text retrieval and VQA, they cannot be applied to generation tasks directly. In this paper, we propose XGPT, a new method of Cross-modal Generative Pre-Training for Image Captioning that is designed to pre-train text-to-image caption generators through three novel generation tasks, including Image-conditioned Masked Language Modeling (IMLM), Image-conditioned Denoising Autoencoding (IDA), and Text-conditioned Image Feature Generation (TIFG). As a result, the pre-trained XGPT can be fine-tuned without any task-specific architecture modifications to create state-of-the-art models for image captioning. Experiments show that XGPT obtains new state-of-the-art results on the benchmark datasets, including COCO Captions and Flickr30k Captions. We also use XGPT to generate new image captions as data augmentation for the image retrieval task and achieve significant improvement on all recall metrics.


title: Anytime Inference with Distilled Hierarchical Neural Ensembles

abstract: Inference in deep neural networks can be computationally expensive, and networks capable of anytime inference are important in mscenarios where the amount of compute or quantity of input data varies over time. In such networks the inference process can interrupted to provide a result faster, or continued to obtain a more accurate result. We propose Hierarchical Neural Ensembles (HNE), a novel framework to embed an ensemble of multiple networks in a hierarchical tree structure, sharing intermediate layers. In HNE we control the complexity of inference on-the-fly by evaluating more or less models in the ensemble. Our second contribution is a novel hierarchical distillation method to boost the prediction accuracy of small ensembles. This approach leverages the nested structure of our ensembles, to optimally allocate accuracy and diversity across the individual models. Our experiments show that, compared to previous anytime inference models, HNE provides state-of-the-art accuracy-computate trade-offs on the CIFAR-10/100 and ImageNet datasets.


title: Pattern Similarity-based Machine Learning Methods for Mid-term Load Forecasting: A Comparative Study

abstract: Pattern similarity-based methods are widely used in classification and regression problems. Repeated, similar-shaped cycles observed in seasonal time series encourage to apply these methods for forecasting. In this paper we use the pattern similarity-based methods for forecasting monthly electricity demand expressing annual seasonality. An integral part of the models is the time series representation using patterns of time series sequences. Pattern representation ensures the input and output data unification through trend filtering and variance equalization. Consequently, pattern representation simplifies the forecasting problem and allows us to use models based on pattern similarity. We consider four such models: nearest neighbor model, fuzzy neighborhood model, kernel regression model and general regression neural network. A regression function is constructed by aggregation output patterns with weights dependent on the similarity between input patterns. The advantages of the proposed models are: clear principle of operation, small number of parameters to adjust, fast optimization procedure, good generalization ability, working on the newest data without retraining, robustness to missing input variables, and generating a vector as an output. In the experimental part of the work the proposed models were used to forecasting the monthly demand for 35 European countries. The model performances were compared with the performances of the classical models such as ARIMA and exponential smoothing as well as state-of-the-art models such as multilayer perceptron, neuro-fuzzy system and long short-term memory model. The results show high performance of the proposed models which outperform the comparative models in accuracy, simplicity and ease of optimization.


title: NGC 3894: a young radio galaxy seen by Fermi-LAT

abstract: Context. According to radiative models, radio galaxies may produce gamma-ray emission from the first stages of their evolution. However, very few such galaxies have been detected by the Fermi Large Area Telescope (LAT) so far. Aims. NGC 3894 is a nearby (z = 0.0108) object that belongs to the class of compact symmetric objects (CSOs, i.e., the most compact and youngest radio galaxies), which is associated with a gamma-ray counterpart in the Fourth Fermi-LAT source catalog. Here we present a study of the source in the gamma-ray and radio bands aimed at investigating its high-energy emission and assess its young nature. Methods. We analyzed 10.8 years of Fermi-LAT data between 100 MeV and 300 GeV and determined the spectral and variability characteristics of the source. Multi-epoch very long baseline array (VLBA) observations between 5 and 15 GHz over a period of 35 years were used to study the radio morphology of NGC 3894 and its evolution. Results. NGC 3894 is detected in gamma-rays with a significance >9 sigma over the full period, and no significant variability has been observed in the gamma-ray flux on a yearly time-scale. The spectrum is modeled with a flat power law ($\Gamma$ = 2.0$\pm$0.1) and a flux on the order of 2.2 $\times$ 10$^{-9}$ ph cm$^{-2}$ s$^{-1}$. For the first time, the VLBA data allow us to constrain with high precision the apparent velocity of the jet and counter-jet side to be $\beta_{\mathrm{app,NW}}$ = 0.132$\pm$0.004 and $\beta_{\mathrm{app,SE}}$ = 0.065$\pm$0.003, respectively. Conclusions. Fermi-LAT and VLBA results favor the youth scenario for the inner structure of this object, with an estimated dynamical age of 59$\pm$5 years. The estimated range of viewing angle (10{\deg} < $\theta$ < 21{\deg}) does not exclude a possible jet-like origin of the gamma-ray emission.


title: Improvement on the crossing number of crossing-critical graphs

abstract: The crossing number of a graph $G$ is the minimum number of edge crossings over all drawings of $G$ in the plane. A graph $G$ is $k$-crossing-critical if its crossing number is at least $k$, but if we remove any edge of $G$, its crossing number drops below $k$. There are examples of $k$-crossing-critical graphs that do not have drawings with exactly $k$ crossings. Richter and Thomassen proved in 1993 that if $G$ is $k$-crossing-critical, then its crossing number is at most $2.5k+16$. We improve this bound to $2k+6\sqrt{k}+44$.


title: Multi-Task Learning with Auxiliary Speaker Identification for Conversational Emotion Recognition

abstract: Conversational emotion recognition (CER) has attracted increasing interests in the natural language processing (NLP) community. Different from the vanilla emotion recognition, effective speaker-sensitive utterance representation is one major challenge for CER. In this paper, we exploit speaker identification (SI) as an auxiliary task to enhance the utterance representation in conversations. By this method, we can learn better speaker-aware contextual representations from the additional SI corpus. Experiments on two benchmark datasets demonstrate that the proposed architecture is highly effective for CER, obtaining new state-of-the-art results on two datasets.


title: End-to-End Fast Training of Communication Links Without a Channel Model via Online Meta-Learning

abstract: When a channel model is not available, the end-to-end training of encoder and decoder on a fading noisy channel generally requires the repeated use of the channel and of a feedback link. An important limitation of the approach is that training should be generally carried out from scratch for each new channel. To cope with this problem, prior works considered joint training over multiple channels with the aim of finding a single pair of encoder and decoder that works well on a class of channels. In this paper, we propose to obviate the limitations of joint training via meta-learning. The proposed approach is based on a meta-training phase in which the online gradient-based meta-learning of the decoder is coupled with the joint training of the encoder via the transmission of pilots and the use of a feedback link. Accounting for channel variations during the meta-training phase, this work demonstrates the advantages of meta-learning in terms of number of pilots as compared to conventional methods when the feedback link is only available for meta-training and not at run time.


title: Global homogenization of a dilute suspension of spheres: Suspension rheology

abstract: A new method for rheologically homogenizing a dilute suspension composed of freely-suspended spherical particles dispersed in a Newtonian fluid is presented: The ensemble-averaged velocity and stress fields obtained for the neutrally-buoyant sphere suspension are compared with the respective velocity and stress fields obtained for a hypothetical homogeneous Newtonian fluid continuum possessing a spatially {\em non-uniform} viscosity for the same specified boundaries and ambient flow. The method is global in nature; that is, wall effects and spatial dependence of both the ambient flow and the particle number density are encountered, thereby confirming known classical results up to $O(c^{2})$ terms ($c$ = volume concentration of spheres) for the suspension viscosity which have previously been obtained by assuming {\em a priori} that the suspension is both unbounded and statistically homogeneous.


title: Motif based high-throughput structure prediction of superconducting monolayer titanium boride

abstract: Two-dimensional boron structures, due to the diversity of properties, attract great attention because of their potential applications in nanoelectronic devices. A series of \ce{TiB_x} ($4\leq x \leq 11$) monolayers are efficiently constructed through our motif based method and theoretically investigated through high-throughput first-principles calculations. The configurations are generated based on motifs of boron triangular/quadrilateral fragments and multicoordinate titanium-centered boron molecular wheels. Besides priviously reported \ce{TiB4} which was discovered by global search method, we predict that high symmetry monolayers \ce{TiB7} (Cmmm) and \ce{TiB9} (P31m) which are octa-coordinate and nona-coordinate titanium boride are thermodynamic stable. The \ce{TiB7} monolayer is a BCS superconductor with the transition temperature $T_c$ up to 8K. The motif based approach is proved to be efficient in searching stable structures with a prior knowledge so that the potentially stable transition metal monolayers can be quickly constructed by using basic cluster motifs. As an efficient way of discovering materials, the method is easily extended to predict other type of materials which have common characteristic pattern in the structure.


title: Long-lasting Molecular Orientation Induced by a Single Terahertz Pulse

abstract: Control of molecular rotations by laser fields is an active area of research focusing on the alignment/orientation of otherwise isotropic molecular samples. Oriented molecules are useful in many applications, such as molecular orbital tomography, femtosecond imaging of molecular structure, dynamics and chemical reaction control. In this work, we present a novel, previously unreported phenomenon appearing in thermal ensembles of non-linear polar molecules excited by a single THz pulse. We find that the induced orientation lasts long after the excitation pulse is over. In the case of symmetric-top molecules, the ensemble averaged orientation remains indefinitely constant after the pulse, whereas in the case of asymmetric-top molecules the orientation persists for a long time after the end of the pulse. We discuss the underlying mechanism, study its non-monotonous temperature dependence, and show that there exists an optimal temperature for the maximal residual orientation. The persistent orientation implies long lasting macroscopic dipole moment, which may be probed by second (or higher order) harmonic generation.


title: Modeling and Selection of Interdependent Software Requirements using Fuzzy Graphs

abstract: Software requirement selection is to find an optimal set of requirements that gives the highest value for a release of software while keeping the cost within the budget. However, value-related dependencies among software requirements may impact the value of an optimal set. Moreover, value-related dependencies can be of varying strengths. Hence, it is important to consider both the existence and the strengths of value-related dependencies during a requirement selection. The existing selection models however, either assume that software requirements are independent or they ignore strengths of requirement dependencies. This paper presents a cost-value optimization model that considers the impacts of value-related requirement dependencies on the value of selected requirements (optimal set). We have exploited algebraic structure of fuzzy graphs for modeling value-related requirement dependencies and their strengths. Validity and practicality of the work are verified through carrying out several simulations and studying a real world software project.


title: An algebraic characterization of $k$--colorability

abstract: We characterize $k$--colorability of a simplicial graph via the intrinsic algebraic structure of the associated right-angled Artin group. As a consequence, we show that a certain problem about the existence of homomorphisms from right-angled Artin groups to products of free groups is NP--complete.


title: Performance recovery of long CsI(Tl) scintillator crystals with APD-based readout

abstract: CALIFA is the high efficiency and energy resolution calorimeter for the R3B experiment at FAIR, intended for detecting high energy light charged particles and gamma rays in scattering experiments, and is being commissioned during the Phase-0 experiments at FAIR, between 2018 and 2020. It surrounds the reaction target in a segmented configuration with 2432 detection units made of long CsI(Tl) finger-shaped scintillator crystals. CALIFA has a 10 year intended operational lifetime as the R3B calorimeter, necessitating measures to be taken to ensure enduring performance. In this paper we present a systematic study of two groups of 6 different detection units of the CALIFA detector after more than four years of operation. The energy resolution and light output yield are evaluated under different conditions. Tests cover the aging of the first detector units assembled and investigates recovery procedures for degraded detection units. A possible reason for the observed degradation is given, pointing to the crystal-APD coupling.


title: Disentangling Atmospheric Compositions of K2-18 b with Next Generation Facilities

abstract: Recent analysis of the planet K2-18b has shown the presence of water vapour in its atmosphere. While the H2O detection is significant, the Hubble Space Telescope (HST) WFC3 spectrum suggests three possible solutions of very different nature which can equally match the data. The three solutions are a primary cloudy atmosphere with traces of water vapour (cloudy sub-Neptune), a secondary atmosphere with a substantial amount (up to 50% Volume Mixing Ratio) of H2O (icy/water world) and/or an undetectable gas such as N2 (super-Earth). Additionally, the atmospheric pressure and the possible presence of a liquid/solid surface cannot be investigated with currently available observations. In this paper we used the best fit parameters from Tsiaras et al. (2019) to build James Webb Space Telescope (JWST) and Ariel simulations of the three scenarios. We have investigated 18 retrieval cases, which encompass the three scenarios and different observational strategies with the two observatories. Retrieval results show that twenty combined transits should be enough for the Ariel mission to disentangle the three scenarios, while JWST would require only two transits if combining NIRISS and NIRSpec data. This makes K2-18b an ideal target for atmospheric follow-ups by both facilities and highlights the capabilities of the next generation of space-based infrared observatories to provide a complete picture of low mass planets.


title: On linear stability of KAM tori via the Craig-Wayne-Bourgain method

abstract: In this paper, we prove the Melnikov's persistency theorem by combining the traditional Kolmogorov-Arnold-Moser (KAM) technique and the Craig-Wayne-Bourgain (CWB) method. The aim of this paper is twofold. One is to establish the linear stability of the perturbed invariant tori by using the CWB method without the second Melnikov condition. The other one is to illustrate the CWB method in detail and make the CWB method more accessible.


title: Dynamical Sampling: a view from control theory

abstract: In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the discrete-time and continuous-time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous-time dynamical system and a discrete-time dynamical system itself.


title: Will Scale-free Popularity Develop Scale-free Geo-social Networks?

abstract: Empirical results show that spatial factors such as distance, population density and communication range affect our social activities, also reflected by the development of ties in social networks. This motivates the need for social network models that take these spatial factors into account. Therefore, in this paper we propose a gravity-low-based geo-social network model, where connections develop according to the popularity of the individuals, but are constrained through their geographic distance and the surrounding population density. Specifically, we consider a power-law distributed popularity, and random node positions governed by a Poisson point process. We evaluate the characteristics of the emerging networks, considering the degree distribution, the average degree of neighbors and the local clustering coefficient. These local metrics reflect the robustness of the network, the information dissemination speed and the communication locality. We show that unless the communication range is strictly limited, the emerging networks are scale-free, with a rank exponent affected by the spatial factors. Even the average neighbor degree and the local clustering coefficient show tendencies known in non-geographic scale-free networks, at least when considering individuals with low popularity. At high-popularity values, however, the spatial constraints lead to popularity-independent average neighbor degrees and clustering coefficients.


title: An efficient four-way coupled lattice Boltzmann - discrete element method for fully resolved simulations of particle-laden flows

abstract: A four-way coupling scheme for the direct numerical simulation of particle-laden flows is developed and analyzed. It employs a novel adaptive multi-relaxation time lattice Boltzmann method to simulate the fluid phase efficiently. The momentum exchange method is used to couple the fluid and the particulate phase. The particle interactions in normal and tangential direction are accounted for by a discrete element method using linear contact forces. All parameters of the scheme are studied and evaluated in detail and precise guidelines for their choice are developed. The development is based on several carefully selected calibration and validation tests of increasing physical complexity. It is found that a well-calibrated lubrication model is crucial to obtain the correct trajectories of a sphere colliding with a plane wall in a viscous fluid. For adequately resolving the collision dynamics it is found that the collision time must be stretched appropriately. The complete set of tests establishes a validation pipeline that can be universally applied to other fluid-particle coupling schemes providing a systematic methodology that can guide future developments.


title: A Cubical Language for Bishop Sets

abstract: We present XTT, a version of Cartesian cubical type theory specialized for Bishop sets \`a la Coquand, in which every type enjoys a definitional version of the uniqueness of identity proofs. Using cubical notions, XTT reconstructs many of the ideas underlying Observational Type Theory, a version of intensional type theory that supports function extensionality. We prove the canonicity property of XTT (that every closed boolean is definitionally equal to a constant) using Artin gluing.


title: Contention Window Optimization in IEEE 802.11ax Networks with Deep Reinforcement Learning

abstract: The proper setting of contention window (CW) values has a significant impact on the efficiency of Wi-Fi networks. Unfortunately, the standard method used by 802.11 networks is not scalable enough to maintain stable throughput for an increasing number of stations, yet it remains the default method of channel access for 802.11ax single-user transmissions. Therefore, we propose a new method of CW control, which leverages deep reinforcement learning (DRL) principles to learn the correct settings under different network conditions. Our method, called centralized contention window optimization with DRL (CCOD), supports two trainable control algorithms: deep Q-network (DQN) and deep deterministic policy gradient (DDPG). We demonstrate through simulations that it offers efficiency close to optimal (even in dynamic topologies) while keeping computational cost low.


title: The long $n$-exact sequence theorem in $n$-abelian categories

abstract: In this note, we show that the long $n$-exact sequence theorem holds in any $n$-abelian category. As an application, the $n$-abelian version of Wakamatsu's Lemma is given.


title: Factoring Middle Binomial Coefficients

abstract: The article describes prime intervals into the prime factorization of the middle binomial coefficient. Prime factors and prime powers are distributed in layers. Each layer consists of non-repeated prime numbers which are chosen (not calculated) from the noncrossing prime intervals. Repeated factors are formed when primes are duplicated among different layers.


title: A method for eternally dominating strong grids

abstract: In the eternal domination game, an attacker attacks a vertex at each turn and a team of guards must move a guard to the attacked vertex to defend it. The guards may only move to adjacent vertices and no more than one guard may occupy a vertex. The goal is to determine the eternal domination number of a graph which is the minimum number of guards required to defend the graph against an infinite sequence of attacks. In this paper, we continue the study of the eternal domination game on strong grids. Cartesian grids have been vastly studied with tight bounds for small grids such as $2\times n$, $3\times n$, $4\times n$, and $5\times n$ grids, and recently it was proven in [Lamprou et al., CIAC 2017, 393-404] that the eternal domination number of these grids in general is within $O(m+n)$ of their domination number which lower bounds the eternal domination number. Recently, Finbow et al. proved that the eternal domination number of strong grids is upper bounded by $\frac{mn}{6}+O(m+n)$. We adapt the techniques of [Lamprou et al., CIAC 2017, 393-404] to prove that the eternal domination number of strong grids is upper bounded by $\frac{mn}{7}+O(m+n)$. While this does not improve upon a recently announced bound of $\lceil\frac{m}{3}\rceil \lceil\frac{n}{3}\rceil+O(m\sqrt{n})$ [Mc Inerney, Nisse, P\'erennes, CIAC 2019] in the general case, we show that our bound is an improvement in the case where the smaller of the two dimensions is at most $6179$.


title: Robust tightly coupled pose estimation based on monocular vision, inertia, and wheel speed

abstract: The visual SLAM method is widely used for self-localization and mapping in complex environments. Visual-inertia SLAM, which combines a camera with IMU, can significantly improve the robustness and enable scale weak-visibility, whereas monocular visual SLAM is scale-invisible. For ground mobile robots, the introduction of a wheel speed sensor can solve the scale weak-visible problem and improve the robustness under abnormal conditions. In this thesis, a multi-sensor fusion SLAM algorithm using monocular vision, inertia, and wheel speed measurements is proposed. The sensor measurements are combined in a tightly coupled manner, and a nonlinear optimization method is used to maximize the posterior probability to solve the optimal state estimation. Loop detection and back-end optimization are added to help reduce or even eliminate the cumulative error of the estimated poses, thus ensuring global consistency of the trajectory and map. The wheel odometer pre-integration algorithm, which combines the chassis speed and IMU angular speed, can avoid repeated integration caused by linearization point changes during iterative optimization; state initialization based on the wheel odometer and IMU enables a quick and reliable calculation of the initial state values required by the state estimator in both stationary and moving states. Comparative experiments were carried out in room-scale scenes, building scale scenes, and visual loss scenarios. The results showed that the proposed algorithm has high accuracy, 2.2 m of cumulative error after moving 812 m (0.28%, loopback optimization disabled), strong robustness, and effective localization capability even in the event of sensor loss such as visual loss. The accuracy and robustness of the proposed method are superior to those of monocular visual inertia SLAM and traditional wheel odometers.


title: A Permutation-Equivariant Neural Network Architecture For Auction Design

abstract: Designing an incentive compatible auction that maximizes expected revenue is a central problem in Auction Design. Theoretical approaches to the problem have hit some limits in the past decades and analytical solutions are known for only a few simple settings. Computational approaches to the problem through the use of LPs have their own set of limitations. Building on the success of deep learning, a new approach was recently proposed by Duetting et al. (2019) in which the auction is modeled by a feed-forward neural network and the design problem is framed as a learning problem. The neural architectures used in that work are general purpose and do not take advantage of any of the symmetries the problem could present, such as permutation equivariance. In this work, we consider auction design problems that have permutation-equivariant symmetry and construct a neural architecture that is capable of perfectly recovering the permutation-equivariant optimal mechanism, which we show is not possible with the previous architecture. We demonstrate that permutation-equivariant architectures are not only capable of recovering previous results, they also have better generalization properties.


title: 2.5-Connectivity: Unique Components, Critical Graphs, and Applications

abstract: If a biconnected graph stays connected after the removal of an arbitrary vertex and an arbitrary edge, then it is called 2.5-connected. We prove that every biconnected graph has a canonical decomposition into 2.5-connected components. These components are arranged in a tree-structure. We also discuss the connection between 2.5-connected components and triconnected components and use this to present a linear-time algorithm which computes the 2.5-connected components of a graph. We show that every critical 2.5-connected graph other than K4 can be obtained from critical 2.5-connected graphs of smaller order using simple graph operations. Furthermore, we demonstrate applications of 2.5-connected components in the context of cycle decompositions and cycle packings.


title: Stability of Weyl semimetals with quasiperiodic disorder

abstract: Weyl semimetals are phases of matter with excitations effectively described by massless Dirac fermions. Their critical nature makes unclear the persistence of such phase in presence of disorder. We present a theorem ensuring the stability of the semimetallic phase in presence of weak quasiperiodic disorder. The proof relies on the subtle interplay of the relativistic Quantum Field Theory description combined with number theoretical properties used in KAM theory.


title: A $p$-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

abstract: We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$-adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$, universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$-adic integration.


title: Decision Problems for Propositional Non-associative Linear Logic and Extensions

abstract: In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$, for short). In this paper, we establish the decidability and undecidability results for various extensions of $\mathbf{NACILL}$. Regarding the decidability results, we show that the deducibility problems for several extensions of $\mathbf{NACILL}$ with the rule of left-weakening are decidable. Regarding the undecidability results, we show that the provability problems for all the extensions of non-associative non-commutative classical linear logic by the rules of contraction and exchange are undecidable.


title: Fault detection and isolation for linear structured systems

abstract: This paper deals with the fault detection and isolation (FDI) problem for linear structured systems in which the system matrices are given by zero/nonzero/arbitrary pattern matrices. In this paper, we follow a geometric approach to verify solvability of the FDI problem for such systems. To do so, we first develop a necessary and sufficient condition under which the FDI problem for a given particular linear time-invariant system is solvable. Next, we establish a necessary condition for solvability of the FDI problem for linear structured systems. In addition, we develop a sufficient algebraic condition for solvability of the FDI problem in terms of a rank test on an associated pattern matrix. To illustrate that this condition is not necessary, we provide a counterexample in which the FDI problem is solvable while the condition is not satisfied. Finally, we develop a graph-theoretic condition for the full rank property of a given pattern matrix, which leads to a graph-theoretic condition for solvability of the FDI problem.


title: Chemical reaction network decompositions and realizations of S-systems

abstract: This paper presents novel decomposition classes of chemical reaction networks (CRNs) derived from S-system kinetics. Based on the network decomposition theory initiated by Feinberg in 1987, we introduce the concept of incidence independent decompositions and develop the theory of $\mathscr{C}$- and $\mathscr{C}^*$- decompositions which partition the set of complexes and the set of nonzero complexes respectively, including their structure theorems in terms of linkage classes. Analogous to Feinberg's independent decomposition, we demonstrate the important relationship between sets of complex balance equilibria for an incidence independent decomposition of weakly reversible subnetworks for any kinetics. We show that the $\mathscr{C}^*$-decompositions are also incidence independent. We also introduce in this paper a new realization for an S-system that is analyzed using a newly defined class of species coverable CRNs. This led to the extension of the deficiency formula and characterization of fundamental decompositions of species decomposable reaction networks.


title: Towards Novel Insights in Lattice Field Theory with Explainable Machine Learning

abstract: Machine learning has the potential to aid our understanding of phase structures in lattice quantum field theories through the statistical analysis of Monte Carlo samples. Available algorithms, in particular those based on deep learning, often demonstrate remarkable performance in the search for previously unidentified features, but tend to lack transparency if applied naively. To address these shortcomings, we propose representation learning in combination with interpretability methods as a framework for the identification of observables. More specifically, we investigate action parameter regression as a pretext task while using layer-wise relevance propagation (LRP) to identify the most important observables depending on the location in the phase diagram. The approach is put to work in the context of a scalar Yukawa model in (2+1)d. First, we investigate a multilayer perceptron to determine an importance hierarchy of several predefined, standard observables. The method is then applied directly to the raw field configurations using a convolutional network, demonstrating the ability to reconstruct all order parameters from the learned filter weights. Based on our results, we argue that due to its broad applicability, attribution methods such as LRP could prove a useful and versatile tool in our search for new physical insights. In the case of the Yukawa model, it facilitates the construction of an observable that characterises the symmetric phase.


title: Moving plane method for varifolds and applications

abstract: In this paper, we introduce a version of the moving plane method that applies to potentially quite singular hypersurfaces, generalizing the classical moving plane method for smooth hypersurfaces. Loosely speaking, our version for varifolds shows that smoothness and symmetry at infinity (respectively at the boundary) can be promoted to smoothness and symmetry in the interior. The key feature, in contrast with the classical formulation of the moving plane principle, is that smoothness is a conclusion rather than an assumption. We implement our moving plane method in the setting of compact varifolds with smooth boundary and in the setting of complete varifolds. A key ingredient is a Hopf lemma for stationary and CMC-varifolds. Our Hopf lemma provides a new tool to establish smoothness of varifolds, and works in arbitrary dimensions and without any stability assumptions. As applications of our new moving plane method, we prove varifold uniqueness results for the catenoid, spherical caps, and Delaunay surfaces that are inspired by classical uniqueness results by Schoen, Alexandrov, Meeks and Korevaar-Kusner-Solomon. We also prove a varifold version of Alexandrov's Theorem for compact CMC-varifolds in hyperbolic space.


title: The "fundamental theorem" for the algebraic $K$-theory of strongly $\mathbb{Z}$-graded rings

abstract: The "fundamental theorem" for algebraic $K$-theory expresses the $K$-groups of a Laurent polynomial ring $L[t,t^{-1}]$ as a direct sum of two copies of the $K$-groups of $L$ (with a degree shift in one copy), and certain "nil" groups of $L$. It is shown here that a modified version of this result generalises to strongly $\mathbb{Z}$-graded rings; rather than the algebraic $K$-groups of $L$, the splitting involves groups related to the shift actions on the category of $L$-modules coming from the graded structure. (These action are trivial in the classical case). The nil groups are identified with the reduced $K$-theory of homotopy nilpotent twisted endomorphisms, and analogues of Mayer-Vietoris and localisation sequences are established.


title: Enhanced ion-cavity coupling through cavity cooling in the strong coupling regime

abstract: Incorporating optical cavities in ion traps is becoming increasingly important in the development of photonic quantum networks. However, the presence of the cavity can hamper efficient laser cooling of ions because of geometric constraints that the cavity imposes and an unfavourable Purcell effect that can modify the cooling dynamics substantially. On the other hand the coupling of the ion to the cavity can also be exploited to provide a mechanism to efficiently cool the ion. In this paper we demonstrate experimentally how cavity cooling can be implemented to improve the localisation of the ion and thus its coupling to the cavity. By using cavity cooling we obtain an enhanced ion-cavity coupling of $2\pi \times (16.7\pm 0.1)$ MHz, compared with $2\pi \times (15.2\pm 0.1)$ MHz when using only Doppler cooling.


title: Planetary Felsic Crust Formation at Shallow Depth

abstract: Current theories suggest that on Earth and, possibly, on other terrestrial planets early in their history, the first continental crust may has been produced by direct melting of hydrated peridotite. However, the conditions, mechanisms and necessary ingredients of such production remain elusive. To fill this gap, we have conducted experiments of serpentinite melting in the presence of variable proportions of basaltic melt, at typical conditions of the shallow lithosphere and asthenosphere. These experiments revealed formation of silica-rich liquids, which are similar to tonalite-trondhjemite-granodiorite magmas (TTG) identified in modern terrestrial oceanic mantle settings. Our results suggest a new mechanism of aqueous fluid-assisted partial melting of peridotite that may have operated on the early Earth and Mars just after the solidification of an ultramafic-mafic magma ocean, leading to the formation of the first embryos of continental crust. The proposed mechanism of the continental crust formation may have been predominant before the onset of plate tectonics.


title: Improving Uyghur ASR systems with decoders using morpheme-based language models

abstract: Uyghur is a minority language, and its resources for Automatic Speech Recognition (ASR) research are always insufficient. THUYG-20 is currently the only open-sourced dataset of Uyghur speeches. State-of-the-art results of its clean and noiseless speech test task haven't been updated since the first release, which shows a big gap in the development of ASR between mainstream languages and Uyghur. In this paper, we try to bridge the gap by ultimately optimizing the ASR systems, and by developing a morpheme-based decoder, MLDG-Decoder (Morpheme Lattice Dynamically Generating Decoder for Uyghur DNN-HMM systems), which has long been missing. We have open-sourced the decoder. The MLDG-Decoder employs an algorithm, named as "on-the-fly composition with FEBABOS", to allow the back-off states and transitions to play the role of a relay station in on-the-fly composition. The algorithm empowers the dynamically generated graph to constrain the morpheme sequences in the lattices as effectively as the static and fully composed graph does when a 4-Gram morpheme-based Language Model (LM) is used. We have trained deeper and wider neural network acoustic models, and experimented with three kinds of decoding schemes. The experimental results show that the decoding based on the static and fully composed graph reduces state-of-the-art Word Error Rate (WER) on the clean and noiseless speech test task in THUYG-20 to 14.24%. The MLDG-Decoder reduces the WER to 14.54% while keeping the memory consumption reasonable. Based on the open-sourced MLDG-Decoder, readers can easily reproduce the experimental results in this paper.


title: Ordering kinetics in q-state random-bond clock model: Role of Vortices and Interfaces

abstract: In this article, we present a Monte Carlo study of phase transition and coarsening dynamics in the non-conserved two-dimensional random-bond $q$-state clock model (RBCM) deriving from a pure clock model [Phys. Rev. E 98, 032109 (2018)]. Akin to the pure clock model, RBCM also passes through two different phases when quenched from a disordered initial configuration representing at infinite temperature. Our investigation of the equilibrium phase transition affirms that both upper ($T_c^1$) and lower ($T_c^2$) phase transition temperatures decrease with bond randomness strength $\epsilon$. Effect of $\epsilon$ on the non-equilibrium coarsening dynamics is investigated following independent rapid quenches in the quasi-long range ordered (QLRO, $T_c^2 < T < T_c^1$) regime and long-range ordered (LRO, $T<T_c^2$) regime at temperature $T$. We report that the dynamical scaling of the correlation function and structure factor are independent of $\epsilon$ and the presence of quenched disorder slows down domain coarsening. Coarsening dynamics in both LRO and QLRO regimes are further characterized by power-law growth with disorder-dependent exponents within our simulation time scales. The growth exponents in the LRO regime decreases from 0.5 in the pure case to 0.22 in the maximum disordered case, whereas the corresponding change in the QLRO regime happens from 0.45 to 0.38. We further explored the coarsening dynamics in the bond-diluted clock model and in both the models, the effect of the disorder is more significant for the quench in the LRO regime compared to the QLRO regime.


title: Photometric Redshifts for the Hyper Suprime-Cam Subaru Strategic Program Data Release 2

abstract: We present a description of the second data release for the photometric redshift (photo-$z$) of the Subaru Strategic Program for the Hyper-Suprime Cam survey. Our photo-$z$ products for the entire area in the Data Release 2 are publicly available, and both our point estimate catalog products and full PDFs can be retrieved from the data release site, \url{https://hsc-release.mtk.nao.ac.jp/}.


title: Some properties related to the Cantor-Bendixson derivative on a Polish space

abstract: We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the Cantor-Bendixson characteristic of every compact countable subset of the aforementioned space. In addition, for any uncountable Polish space, for every countable ordinal number and for all nonzero natural number, we show the existence of a compact countable subset of this space such that its Cantor-Bendixson characteristic equals the previous pair of numbers. Finally, for each Polish space, we determine the cardinality of the partition, up to homeomorphisms, of the set of all compact countable subsets of the aforesaid space.


title: Two Routes to Scalable Credit Assignment without Weight Symmetry

abstract: The neural plausibility of backpropagation has long been disputed, primarily for its use of non-local weight transport $-$ the biologically dubious requirement that one neuron instantaneously measure the synaptic weights of another. Until recently, attempts to create local learning rules that avoid weight transport have typically failed in the large-scale learning scenarios where backpropagation shines, e.g. ImageNet categorization with deep convolutional networks. Here, we investigate a recently proposed local learning rule that yields competitive performance with backpropagation and find that it is highly sensitive to metaparameter choices, requiring laborious tuning that does not transfer across network architecture. Our analysis indicates the underlying mathematical reason for this instability, allowing us to identify a more robust local learning rule that better transfers without metaparameter tuning. Nonetheless, we find a performance and stability gap between this local rule and backpropagation that widens with increasing model depth. We then investigate several non-local learning rules that relax the need for instantaneous weight transport into a more biologically-plausible "weight estimation" process, showing that these rules match state-of-the-art performance on deep networks and operate effectively in the presence of noisy updates. Taken together, our results suggest two routes towards the discovery of neural implementations for credit assignment without weight symmetry: further improvement of local rules so that they perform consistently across architectures and the identification of biological implementations for non-local learning mechanisms.


title: Towards quantum simulation of Sachdev-Ye-Kitaev model

abstract: We study a simplified version of the Sachdev-Ye-Kitaev (SYK) model with real interactions by exact diagonalization. Instead of satisfying a continuous Gaussian distribution, the interaction strengths are assumed to be chosen from discrete values with a finite separation. A quantum phase transition from a chaotic state to an integrable state is observed by increasing the discrete separation. Below the critical value, the discrete model can well reproduce various physical quantities of the original SYK model, including the volume law of the ground-state entanglement, level distribution, thermodynamic entropy, and out-of-time-order correlation (OTOC) functions. For systems of size up to $N=20$, we find that the transition point increases with system size, indicating that a relatively weak randomness of interaction can stabilize the chaotic phase. Our findings significantly relax the stringent conditions for the realization of SYK model, and can reduce the complexity of various experimental proposals down to realistic ranges.


title: Graph Representation Learning for Merchant Incentive Optimization in Mobile Payment Marketing

abstract: Mobile payment such as Alipay has been widely used in our daily lives. To further promote the mobile payment activities, it is important to run marketing campaigns under a limited budget by providing incentives such as coupons, commissions to merchants. As a result, incentive optimization is the key to maximizing the commercial objective of the marketing campaign. With the analyses of online experiments, we found that the transaction network can subtly describe the similarity of merchants' responses to different incentives, which is of great use in the incentive optimization problem. In this paper, we present a graph representation learning method atop of transaction networks for merchant incentive optimization in mobile payment marketing. With limited samples collected from online experiments, our end-to-end method first learns merchant representations based on an attributed transaction networks, then effectively models the correlations between the commercial objectives each merchant may achieve and the incentives under varying treatments. Thus we are able to model the sensitivity to incentive for each merchant, and spend the most budgets on those merchants that show strong sensitivities in the marketing campaign. Extensive offline and online experimental results at Alipay demonstrate the effectiveness of our proposed approach.


title: Diffusion of antibiotics through a biofilm in the presence of diffusion and absorption barriers

abstract: We propose a model of antibiotic diffusion through a bacterial biofilm when diffusion and/or absorption barriers develop in the biofilm. The idea of this model is: We deduce details of the diffusion process in a medium in which direct experimental study is difficult, based on probing diffusion in external regions. Since a biofilm has a gel-like consistency, we suppose that subdiffusion of particles in the biofilm may occur. To describe this process we use a fractional subdiffusion-absorption equation with an adjustable anomalous diffusion exponent. The boundary conditions at the boundaries of the biofilm are derived by means of a particle random walk model on a discrete lattice leading to an expression involving a fractional time derivative. We show that the temporal evolution of the total amount of substance that has diffused through the biofilm explicitly depends on whether there is antibiotic absorption in the biofilm. This fact is used to experimentally check for antibiotic absorption in the biofilm and if the biofilm parameters change over time. We propose a four-stage model of antibiotic diffusion in biofilm based on the mentioned above physical characteristics. The biological interpretation of the stages, in particular their relation with the bacterial defence mechanisms, is discussed. Theoretical results are compared with empirical results of ciprofloxacin diffusion through Pseudomonas aeruginosa biofilm, and ciprofloxacin and gentamicin diffusion through Proteus mirabilis biofilm.


title: Evolutionary Image Transition and Painting Using Random Walks

abstract: We present a study demonstrating how random walk algorithms can be used for evolutionary image transition. We design different mutation operators based on uniform and biased random walks and study how their combination with a baseline mutation operator can lead to interesting image transition processes in terms of visual effects and artistic features. Using feature-based analysis we investigate the evolutionary image transition behaviour with respect to different features and evaluate the images constructed during the image transition process. Afterwards, we investigate how modifications of our biased random walk approaches can be used for evolutionary image painting. We introduce an evolutionary image painting approach whose underlying biased random walk can be controlled by a parameter influencing the bias of the random walk and thereby creating different artistic painting effects.


title: SoK: A Survey of Open-Source Threat Emulators

abstract: Threat emulators are tools or sets of scripts that emulate cyber attacks or malicious behavior. They can be used to create and launch single procedure attacks and multi-step attacks; the resulting attacks may be known or unknown cyber attacks. The motivation for using threat emulators varies and includes the need to perform automated security audits in organizations or reduce the size of red teams in order to lower pen testing costs; or the desire to create baseline tests for security tools under development or supply pen testers with another tool in their arsenal. In this paper, we review and compare various open-source threat emulators. We focus on tactics and techniques from the MITRE ATT&CK Enterprise matrix and determine whether they can be performed and tested with the emulators. We develop a comprehensive methodology for our qualitative and quantitative comparison of threat emulators with respect to general features, such as prerequisites, attack definition, cleanup, and more. Finally, we discuss the circumstances in which one threat emulator is preferred over another. This survey can help security teams, security developers, and product deployment teams examine their network environment or products with the most suitable threat emulator. Using the guidelines provided, a team can select the threat emulator that best meets their needs without evaluating all of them.


title: Amateur Drones Detection: A machine learning approach utilizing the acoustic signals in the presence of strong interference

abstract: Owing to small size, sensing capabilities and autonomous nature, the Unmanned Air Vehicles (UAVs) have enormous applications in various areas, e.g., remote sensing, navigation, archaeology, journalism, environmental science, and agriculture. However, the unmonitored deployment of UAVs called the amateur drones (AmDr) can lead to serious security threats and risk to human life and infrastructure. Therefore, timely detection of the AmDr is essential for the protection and security of sensitive organizations, human life and other vital infrastructure. AmDrs can be detected using different techniques based on sound, video, thermal, and radio frequencies. However, the performance of these techniques is limited in sever atmospheric conditions. In this paper, we propose an efficient unsupervise machine learning approach of independent component analysis (ICA) to detect various acoustic signals i.e., sounds of bird, airplanes, thunderstorm, rain, wind and the UAVs in practical scenario. After unmixing the signals, the features like Mel Frequency Cepstral Coefficients (MFCC), the power spectral density (PSD) and the Root Mean Square Value (RMS) of the PSD are extracted by using ICA. The PSD and the RMS of PSD signals are extracted by first passing the signals from octave band filter banks. Based on the above features the signals are classified using Support Vector Machines (SVM) and K Nearest Neighbor (KNN) to detect the presence or absence of AmDr. Unique feature of the proposed technique is the detection of a single or multiple AmDrs at a time in the presence of multiple acoustic interfering signals. The proposed technique is verified through extensive simulations and it is observed that the RMS values of PSD with KNN performs better than the MFCC with KNN and SVM.


title: Semi-Bloch periodic functions, semi-anti-periodic functions and applications

abstract: In this paper, we introduce the notions of semi-Bloch periodic functions and semi-anti-periodic functions. Stepanov semi-Bloch periodic functions and Stepanov semi-anti-periodic functions are considered, as well. We analyze the invariance of introduced classes under the actions of convolution products and briefly explain how one can use the obtained results in the qualitative analysis of solutions of abstract inhomogeneous integro-differential equations.


title: Excess Semiannual Variation in Historic Temperature Records

abstract: The annual temperature cycle of the earth closely follows the annual cycle of solar flux. At temperate latitudes, both driving and response cycles are well described by a strong annual sinusoidal component and a non-vanishing semiannual component. A new analysis of historical weather station records in the United States determines persistent annual and semiannual variation with high precision. Historical annual temperature ranges are consistent with prior studies. Semiannual temperature cycles were much stronger than expected based on the semiannual solar driving. Instead, these cycles were consistent with multiplicative effects of two annual cycles. Our methods provide a quantitative window into the climate's nonlinear response to solar driving, which is of potential value in testing climate models.


title: Asymptotic reliability analysis of the system with N working elements and repairing device

abstract: This paper deals with system with $n$ identical elements and one repairing device. While one element working other ones stay in reserve. The distribution of element working and repairing times are supposed to be exponential. Here we obtain the asymptotic distribution of the system lifetime under conditions of its high reliability.


title: Malliavin Differentiability of the Generalized Heston Model

abstract: It is well known that Malliavin calculus can be applied to a stochastic differential equation with Lipschitz continuous coefficients in order to clarify the existence and the smoothness of the solution. In this paper, we apply Malliavin calculus to the CEV-type Heston model whose diffusion coefficient is non-Lipschitz continuous and prove the Malliavin differentiability of the model.


title: Filter theory of IL-algebras

abstract: In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It has been shown that quotient algebra corresponding to IL-algebra is formed with the help of filters also an IL-algebra.


title: Evidence-based explanation to promote fairness in AI systems

abstract: As Artificial Intelligence (AI) technology gets more intertwined with every system, people are using AI to make decisions on their everyday activities. In simple contexts, such as Netflix recommendations, or in more complex context like in judicial scenarios, AI is part of people's decisions. People make decisions and usually, they need to explain their decision to others or in some matter. It is particularly critical in contexts where human expertise is central to decision-making. In order to explain their decisions with AI support, people need to understand how AI is part of that decision. When considering the aspect of fairness, the role that AI has on a decision-making process becomes even more sensitive since it affects the fairness and the responsibility of those people making the ultimate decision. We have been exploring an evidence-based explanation design approach to 'tell the story of a decision'. In this position paper, we discuss our approach for AI systems using fairness sensitive cases in the literature.


title: On the rate of convergence of image classifiers based on convolutional neural networks

abstract: Image classifiers based on convolutional neural networks are defined, and the rate of convergence of the misclassification risk of the estimates towards the optimal misclassification risk is analyzed. Under suitable assumptions on the smoothness and structure of the aposteriori probability a rate of convergence is shown which is independent of the dimension of the image. This proves that in image classification it is possible to circumvent the curse of dimensionality by convolutional neural networks.


title: Fast Gunrock Subgraph Matching (GSM) on GPUs

abstract: In this paper, we propose a GPU-efficient subgraph isomorphism algorithm using the Gunrock graph analytic framework, GSM (Gunrock Subgraph Matching), to compute graph matching on GPUs. In contrast to previous approaches on the CPU which are based on depth-first traversal, GSM is BFS-based: possible matches are explored simultaneously in a breadth-first strategy. The advantage of using BFS-based traversal is that we can leverage the massively parallel processing capabilities of the GPU. The disadvantage is the generation of more intermediate results. We propose several optimization techniques to cope with the problem. Our implementation follows a filtering-and-verification strategy. While most previous work on GPUs requires one-/two-step joining, we use one-step verification to decide the candidates in current frontier of nodes. Our implementation has a speedup up to 4x over previous GPU state-of-the-art implementation.


title: Solving the octic by iteration in six dimensions

abstract: Extends previous work on a quintic-solving algorithm to equations of the eighth-degree.


title: Positioning in groups: The roles of expertise and being in charge

abstract: Inchargeness is associated with one's authority in driving the activity in collaboration. We study how inchargeness changes within a collaborative group when its members have differing expertise. We present a case study of a group of three students working in an upper division undergraduate physics laboratory. One of them has less on-task expertise than her peers due to missing a day, which reduces her relative inchargeness across two storylines: "catching up" and "moving forward".


title: Admissible orders on fuzzy numbers

abstract: From the more than two hundred partial orders for fuzzy numbers proposed in the literature, only a few are total. In this paper, we introduce the notion of admissible order for fuzzy numbers equipped with a partial order, i.e. a total order which refines the partial order. In particular, it is given special attention to the partial order proposed by Klir and Yuan in 1995. Moreover, we propose a method to construct admissible orders on fuzzy numbers in terms of linear orders defined for intervals considering a strictly increasing upper dense sequence, proving that this order is admissible for a given partial order. Finally, we use admissible orders to ranking the path costs in fuzzy weighted graphs.


title: Voice Separation with an Unknown Number of Multiple Speakers

abstract: We present a new method for separating a mixed audio sequence, in which multiple voices speak simultaneously. The new method employs gated neural networks that are trained to separate the voices at multiple processing steps, while maintaining the speaker in each output channel fixed. A different model is trained for every number of possible speakers, and the model with the largest number of speakers is employed to select the actual number of speakers in a given sample. Our method greatly outperforms the current state of the art, which, as we show, is not competitive for more than two speakers.


title: Irrationality Exponents For Even Zeta Constants

abstract: Let $k\geq 1$ be a small fixed integer. The rational approximations $\left |p/q-\pi^{k} \right |>1/q^{\mu(\pi^k)}$ of the irrational number $\pi^{k}$ are bounded away from zero. A general result for the irrationality exponent $\mu(\pi^k)$ will be proved here. The irrationality exponents for the even parameters $2k$ correspond to those for the even zeta constants $\zeta(2k)$. The specific results and numerical data for a few cases $k=2$ and $k=3$ are also presented and explained.


title: Design and performance analysis of channel estimators under pilot spoofing attacks in multiple-antenna systems

abstract: In multiple antenna systems employing time-division duplexing, spatial precoder design at the base station (BS) leverages channel state information acquired through uplink pilot transmission, under the assumption of channel reciprocity. Malicious eavesdroppers can start pilot spoofing attacks to alter such design, so as to improve their eavesdropping performance in downlink. The aim of this paper is to study the effects of pilot spoofing attacks on uplink channel estimation, by assuming that the BS knows the angle of arrivals (AoAs) of the legitimate channels. Specifically, after assessing the performance of the simple least squares estimator (LSE), we consider more sophisticated estimators, such as the maximum likelihood estimator (MLE) and different versions of the minimum mean square error estimator (MMSEE), involving different degrees of a priori information about the pilot spoofing attacks. Theoretical analysis and numerical simulations are used to compare the performance of such estimators. In particular, we analytically demonstrate that the spoofing effects in the high signal-to-noise regime can be completely suppressed, under certain conditions involving the AoAs of the legitimate and spoofing channels. Moreover, we show that even an imperfect knowledge of the AoAs and of the average transmission power of the spoofing signals allows the MLE and MMSEE to achieve significant performance gains over the LSE.


title: Separable MSE-based design of two-way multiple-relay cooperative MIMO 5G networks

abstract: While the combination of multi-antenna and relaying techniques has been extensively studied for Long Term Evolution Advanced (LTE-A) and Internet of Things (IoT) applications, it is expected to still play an important role in 5th Generation (5G) networks. However, the expected benefits of these technologies cannot be achieved without a proper system design. In this paper, we consider the problem of jointly optimizing terminal precoders/decoders and relay forwarding matrices on the basis of the sum mean square error (MSE) criterion in multiple-input multiple-output (MIMO) two-way relay systems, where two multi-antenna nodes mutually exchange information via multi-antenna amplify-and-forward relays. This problem is nonconvex and a local optimal solution is typically found by using iterative algorithms based on alternating optimization. We show how the constrained minimization of the sum-MSE can be relaxed to obtain two separated subproblems which, under mild conditions, admit a closed-form solution. Compared to iterative approaches, the proposed design is more suited to be integrated in 5G networks, since it is computationally more convenient and its performance exhibits a better scaling in the number of relays.


title: Optical and magnetic excitations in the underscreened quasi-quartet Kondo lattice

abstract: The underscreened Kondo lattice consisting of a single twofold degenerate conduction band and a CEF split 4f-electron quasi-quartet has non-conventional quasiparticle dispersions obtained from the constrained mean-field theory. An additional genuinely heavy band is found in the main hybridization band gap of the upper and lower hybridzed bands whose heavy effective mass is controlled by the CEF splitting. Its presence should profoundly influence the dynamical optical and magnetic response functions. In the former, the onset of the optical conductivity is not the main hybridisation energy but the much lower Kondo energy scale which appears in the direct transitions to the additional heavy band. The dynamical magnetic response is also strongly modified by the in-gap heavy band which can lead to unconventional resonant excitations that may be interpreted as coherent CEF-Kondo lattice magnetic exciton bands. Their instability at low temperature signifies the onset of induced excitonic magnetism in the underscreened Kondo lattice.


title: A Note on Solving Discretely-Constrained Nash-Cournot Games via Complementarity

abstract: Discretely-constrained Nash-Cournot games have attracted attention as they arise in various competitive energy production settings in which players must make one or more discrete decisions. Gabriel et al. ["Solving discretely-constrained Nash-Cournot games with an application to power markets." Networks and Spatial Economics 13(3), 2013] claim that the set of equilibria to a discretely-constrained Nash-Cournot game coincides with the set of solutions to a corresponding discretely-constrained mixed complementarity problem. We show that this claim is false.


title: Direct unconstrained variable-metric localization of one-electron orbitals

abstract: Spatially localized one-electron orbitals, orthogonal and nonorthogonal, are widely used in electronic structure theory to describe chemical bonding and speed up calculations. In order to avoid linear dependencies of localized orbitals, the existing localization methods either constrain orbital transformations to be unitary, that is, metric preserving, or, in the case of variable-metric methods, fix the centers of nonorthogonal localized orbitals. Here, we developed a different approach to orbital localization, in which these constraints are replaced with a single restriction that specifies the maximum allowed deviation from the orthogonality for the final set of localized orbitals. This reformulation, which can be viewed as a generalization of existing localization methods, enables one to choose the desired balance between the orthogonality and locality of the orbitals. Furthermore, the approach is conceptually and practically simple as it obviates the necessity in unitary transformations and allows to determine optimal positions of the centers of nonorthogonal orbitals in a unconstrained and straightforward minimization procedure. It is demonstrated to produce well-localized orthogonal and nonorthogonal orbitals with the Berghold and Pipek-Mezey localization functions for a variety of molecules and periodic materials including large systems with non-trivial bonding.


title: FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints

abstract: The integration of artificial intelligence capabilities into modern software systems is increasingly being simplified through the use of cloud-based machine learning services and representational state transfer architecture design. However, insufficient information regarding underlying model provenance and the lack of control over model evolution serve as an impediment to the more widespread adoption of these services in many operational environments which have strict security requirements. Furthermore, tools such as TensorFlow Serving allow models to be deployed as RESTful endpoints, but require error-prone transformations for PyTorch models as these dynamic computational graphs. This is in contrast to the static computational graphs of TensorFlow. To enable rapid deployments of PyTorch models without intermediate transformations we have developed FlexServe, a simple library to deploy multi-model ensembles with flexible batching.


title: First Principles Calculation of Topological Invariants of non-Hermitian Photonic Crystals

abstract: The Chern topological numbers of a material platform are usually written in terms of the Berry curvature, which depends on the normal modes of the system. Here, we use a gauge invariant Green's function method to determine from first principles the topological invariants of photonic crystals. The proposed formalism does not require the calculation of the photonic band-structure, and can be easily implemented using the operators obtained with a standard plane-wave expansion. Furthermore, it is shown that the theory can be readily applied to the classification of topological phases of non-Hermitian photonic crystals with lossy or gainy materials, e.g., parity-time symmetric photonic crystals.


title: On the Effectiveness of Virtual Reality-based Training for Robotic Setup

abstract: Virtual Reality (VR) is rapidly increasing in popularity as a teaching tool. It allows for the creation of a highly immersive, three-dimensional virtual environment intended to simulate real-life environments. With more robots saturating the industry - from manufacturing to healthcare, there is a need to train end-users on how to set up, operate, tear down, and troubleshoot the robot. Even though VR has become widely used in training surgeons on the psychomotor skills associated with operating the robot, little research has been done to see how the benefits of VR could translate to teaching the bedside staff, tasked with supporting the robot during the full end-to-end surgical procedure. We trained 30 participants on how to set up a robotic arm in an environment mimicking clinical setup. We divided these participants equally into 3 groups with one group trained with paper-based instructions, one with video-based instructions and one with VR-based instructions. We then compared and contrasted these three different training methods. VR and paper-based were highly favored training mediums over video-based. VR-trained participants achieved slightly higher fidelity of individual robotic joint angles, suggesting better comprehension of the spatial awareness skills necessary to achieve desired arm positioning. In addition, VR resulted in higher reproducibility of setup fidelity and more consistency in user confidence levels as compared to paper and video-based training.