title: Iterative energy-based projection on a normal data manifold for anomaly localization

abstract: Autoencoder reconstructions are widely used for the task of unsupervised anomaly localization. Indeed, an autoencoder trained on normal data is expected to only be able to reconstruct normal features of the data, allowing the segmentation of anomalous pixels in an image via a simple comparison between the image and its autoencoder reconstruction. In practice however, local defects added to a normal image can deteriorate the whole reconstruction, making this segmentation challenging. To tackle the issue, we propose in this paper a new approach for projecting anomalous data on a autoencoder-learned normal data manifold, by using gradient descent on an energy derived from the autoencoder's loss function. This energy can be augmented with regularization terms that model priors on what constitutes the user-defined optimal projection. By iteratively updating the input of the autoencoder, we bypass the loss of high-frequency information caused by the autoencoder bottleneck. This allows to produce images of higher quality than classic reconstructions. Our method achieves state-of-the-art results on various anomaly localization datasets. It also shows promising results at an inpainting task on the CelebA dataset.


title: Real-Time Object Detection and Recognition on Low-Compute Humanoid Robots using Deep Learning

abstract: We envision that in the near future, humanoid robots would share home space and assist us in our daily and routine activities through object manipulations. One of the fundamental technologies that need to be developed for robots is to enable them to detect objects and recognize them for effective manipulations and take real-time decisions involving those objects. In this paper, we describe a novel architecture that enables multiple low-compute NAO robots to perform real-time detection, recognition and localization of objects in its camera view and take programmable actions based on the detected objects. The proposed algorithm for object detection and localization is an empirical modification of YOLOv3, based on indoor experiments in multiple scenarios, with a smaller weight size and lesser computational requirements. Quantization of the weights and re-adjusting filter sizes and layer arrangements for convolutions improved the inference time for low-resolution images from the robot s camera feed. YOLOv3 was chosen after a comparative study of bounding box algorithms was performed with an objective to choose one that strikes the perfect balance among information retention, low inference time and high accuracy for real-time object detection and localization. The architecture also comprises of an effective end-to-end pipeline to feed the real-time frames from the camera feed to the neural net and use its results for guiding the robot with customizable actions corresponding to the detected class labels.


title: Universal Semantic Segmentation for Fisheye Urban Driving Images

abstract: Semantic segmentation is a critical method in the field of autonomous driving. When performing semantic image segmentation, a wider field of view (FoV) helps to obtain more information about the surrounding environment, making automatic driving safer and more reliable, which could be offered by fisheye cameras. However, large public fisheye datasets are not available, and the fisheye images captured by the fisheye camera with large FoV comes with large distortion, so commonly-used semantic segmentation model cannot be directly utilized. In this paper, a seven degrees of freedom (DoF) augmentation method is proposed to transform rectilinear image to fisheye image in a more comprehensive way. In the training process, rectilinear images are transformed into fisheye images in seven DoF, which simulates the fisheye images taken by cameras of different positions, orientations and focal lengths. The result shows that training with the seven-DoF augmentation can improve the model's accuracy and robustness against different distorted fisheye data. This seven-DoF augmentation provides a universal semantic segmentation solution for fisheye cameras in different autonomous driving applications. Also, we provide specific parameter settings of the augmentation for autonomous driving. At last, we tested our universal semantic segmentation model on real fisheye images and obtained satisfactory results. The code and configurations are released at https://github.com/Yaozhuwa/FisheyeSeg.


title: Localizing Interpretable Multi-scale informative Patches Derived from Media Classification Task

abstract: Deep convolutional neural networks (CNN) always depend on wider receptive field (RF) and more complex non-linearity to achieve state-of-the-art performance, while suffering the increased difficult to interpret how relevant patches contribute the final prediction. In this paper, we construct an interpretable AnchorNet equipped with our carefully designed RFs and linearly spatial aggregation to provide patch-wise interpretability of the input media meanwhile localizing multi-scale informative patches only supervised on media-level labels without any extra bounding box annotations. Visualization of localized informative image and text patches show the superior multi-scale localization capability of AnchorNet. We further use localized patches for downstream classification tasks across widely applied networks. Experimental results demonstrate that replacing the original inputs with their patches for classification can get a clear inference acceleration with only tiny performance degradation, which proves that localized patches can indeed retain the most semantics and evidences of the original inputs.


title: Human Creativity and Consciousness: Unintended Consequences of the Brain's Extraordinary Energy Efficiency?

abstract: It is proposed that both human creativity and human consciousness are (unintended) consequences of the human brain's extraordinary energy efficiency. The topics of creativity and consciousness are treated separately, though have a common sub-structure. It is argued that creativity arises from a synergy between two cognitive modes of the human brain (which broadly coincide with Kahneman's Systems 1 and 2). In the first, available energy is spread across a relatively large network of neurons. As such, the amount of energy per active neuron is so small that the operation of such neurons is susceptible to thermal (ultimately quantum decoherent) noise. In the second, available energy is focussed on a small enough subset of neurons to guarantee a deterministic operation. An illustration of how this synergy can lead to creativity with implications for computing in silicon are discussed. Starting with a discussion of the concept of free will, the notion of consciousness is defined in terms of an awareness of what are perceived to be nearby counterfactual worlds in state space. It is argued that such awareness arises from an interplay between our memories on the one hand, and quantum physical mechanisms (where, unlike in classical physics, nearby counterfactual worlds play an indispensable dynamical role) in the ion channels of neural networks. As with the brain's susceptibility to noise, it is argued that in situations where quantum physics plays a role in the brain, it does so for reasons of energy efficiency. As an illustration of this definition of consciousness, a novel proposal is outlined as to why quantum entanglement appears so counter-intuitive.


title: ExoSim: the Exoplanet Observation Simulator

abstract: A new generation of exoplanet research beckons and with it the need for simulation tools that accurately predict signal and noise in transit spectroscopy observations. We developed ExoSim: an end-to-end simulator that models noise and systematics in a dynamical simulation. ExoSim improves on previous simulators in the complexity of its simulation, versatility of use and its ability to be generically applied to different instruments. It performs a dynamical simulation that can capture temporal effects, such as correlated noise and systematics on the light curve. It has also been extensively validated, including against real results from the Hubble WFC3 instrument. We find ExoSim is accurate to within 5% in most comparisons. ExoSim can interact with other models which simulate specific time-dependent processes. A dedicated star spot simulator allows ExoSim to produce simulated observations that include spot and facula contamination. ExoSim has been used extensively in the Phase A and B design studies of the ARIEL mission, and has many potential applications in the field of transit spectroscopy.


title: Convolutional Hierarchical Attention Network for Query-Focused Video Summarization

abstract: Previous approaches for video summarization mainly concentrate on finding the most diverse and representative visual contents as video summary without considering the user's preference. This paper addresses the task of query-focused video summarization, which takes user's query and a long video as inputs and aims to generate a query-focused video summary. In this paper, we consider the task as a problem of computing similarity between video shots and query. To this end, we propose a method, named Convolutional Hierarchical Attention Network (CHAN), which consists of two parts: feature encoding network and query-relevance computing module. In the encoding network, we employ a convolutional network with local self-attention mechanism and query-aware global attention mechanism to learns visual information of each shot. The encoded features will be sent to query-relevance computing module to generate queryfocused video summary. Extensive experiments on the benchmark dataset demonstrate the competitive performance and show the effectiveness of our approach.


title: Efficient Scene Text Detection with Textual Attention Tower

abstract: Scene text detection has received attention for years and achieved an impressive performance across various benchmarks. In this work, we propose an efficient and accurate approach to detect multioriented text in scene images. The proposed feature fusion mechanism allows us to use a shallower network to reduce the computational complexity. A self-attention mechanism is adopted to suppress false positive detections. Experiments on public benchmarks including ICDAR 2013, ICDAR 2015 and MSRA-TD500 show that our proposed approach can achieve better or comparable performances with fewer parameters and less computational cost.


title: Dynamic Error-bounded Lossy Compression (EBLC) to Reduce the Bandwidth Requirement for Real-time Vision-based Pedestrian Safety Applications

abstract: As camera quality improves and their deployment moves to areas with limited bandwidth, communication bottlenecks can impair real-time constraints of an ITS application, such as video-based real-time pedestrian detection. Video compression reduces the bandwidth requirement to transmit the video but degrades the video quality. As the quality level of the video decreases, it results in the corresponding decreases in the accuracy of the vision-based pedestrian detection model. Furthermore, environmental conditions (e.g., rain and darkness) alter the compression ratio and can make maintaining a high pedestrian detection accuracy more difficult. The objective of this study is to develop a real-time error-bounded lossy compression (EBLC) strategy to dynamically change the video compression level depending on different environmental conditions in order to maintain a high pedestrian detection accuracy. We conduct a case study to show the efficacy of our dynamic EBLC strategy for real-time vision-based pedestrian detection under adverse environmental conditions. Our strategy selects the error tolerances dynamically for lossy compression that can maintain a high detection accuracy across a representative set of environmental conditions. Analyses reveal that our strategy increases pedestrian detection accuracy up to 14% and reduces the communication bandwidth up to 14x for adverse environmental conditions compared to the same conditions but without our dynamic EBLC strategy. Our dynamic EBLC strategy is independent of detection models and environmental conditions allowing other detection models and environmental conditions to be easily incorporated in our strategy.


title: Reproducing Fresnel-Arago historical experiment: a visual illustration of the main concepts of physical optics

abstract: Many concepts of physical optics can be visually illustrated on a relatively simple optical setup in a table-top format, not requiring any very specific equipment. Diffraction, interferences, speckle, image formation, Fourier optics, strioscopy are among the many themes to be shown using the demonstration system described here. This short letter describes how to reproduce the setup and prepare the samples. It also gives a brief description of the experiments that can be performed to illustrate the main concepts of physical optics (except coherence). Its content should be of interest to the teachers and students at high school and early years of university.


title: A joint precoding framework for wideband reconfigurable intelligent surface-aided cell-free network

abstract: Thanks to the strong ability against the inter-cell interference, cell-free network is considered as a promising technique to improve network capacity. However, further capacity improvement requires to deploy more base stations (BSs) with high cost and power consumption. To address this issue, inspired by the recently developed reconfigurable intelligent surface (RIS) technique, we propose the concept of RIS-aided cell-free network to improve the capacity with low cost and power consumption. The key idea is to replace some of the required BSs by low-cost and energy-efficient RISs. Then, in a wideband RIS-aided cell-free network, we formulate the problem of joint precoding design at BSs and RISs to maximize the network capacity. Due to the non-convexity and high complexity of the formulated problem, we develop an alternating optimization framework to solve this challenging problem. In particular, we decouple this problem via fractional programming, and solve the subproblems alternatively. Note that most of the scenarios considered in existing works are special cases of the general scenario studied in this paper, and the proposed joint precoding framework can serve as a general solution to maximize the capacity in most existing RIS-aided scenarios. Finally, simulation results demonstrate that, compared with the conventional cell-free network, the network capacity under the proposed scheme can be improved significantly.

categories: eess.SP cs.IT cs.PF cs.SY eess.SY math.IT


title: Induced fermionic current in AdS spacetime in the presence of a cosmic string and a compactified dimension

abstract: In this paper, we consider a massive charged fermionic quantum field and investigate the current densities induced by a magnetic flux running along the core of an idealized cosmic string in the background geometry of a 5-dimensional anti-de Sitter spacetime, assuming that an extra dimension is compactified. Along the compact dimension quasi-periodicity condition is imposed on the field with a general phase. Moreover, we admit the presence of a magnetic flux enclosed by the compactified axis. The latter gives rise to Ahanorov-Bohm-like effect on the vacuum expectation value of the currents. In this setup, only azimuthal and axial current densities take place. The former presents two contributions, with the first one due to the cosmic string in a 5-dimensional AdS spacetime without compact dimension, and the second one being induced by the compactification itself. The latter is an odd function of the magnetic flux along the cosmic string and an even function of the magnetic flux enclosed by the compactified axis with period equal to the quantum flux. As to the induced axial current, it is an even function of the magnetic flux along the string's core and an odd function of the magnetic flux enclosed by the compactification perimeter. For untwisted and twisted field along compact dimension, the axial current vanishes. The massless field case is presented as well as some asymptotic limits for the parameters of the model.


title: Black Box Explanation by Learning Image Exemplars in the Latent Feature Space

abstract: We present an approach to explain the decisions of black box models for image classification. While using the black box to label images, our explanation method exploits the latent feature space learned through an adversarial autoencoder. The proposed method first generates exemplar images in the latent feature space and learns a decision tree classifier. Then, it selects and decodes exemplars respecting local decision rules. Finally, it visualizes them in a manner that shows to the user how the exemplars can be modified to either stay within their class, or to become counter-factuals by "morphing" into another class. Since we focus on black box decision systems for image classification, the explanation obtained from the exemplars also provides a saliency map highlighting the areas of the image that contribute to its classification, and areas of the image that push it into another class. We present the results of an experimental evaluation on three datasets and two black box models. Besides providing the most useful and interpretable explanations, we show that the proposed method outperforms existing explainers in terms of fidelity, relevance, coherence, and stability.


title: Unbiased Filtering of a Class of Partially Observed Diffusions

abstract: In this article we consider a Monte Carlo-based method to filter partially observed diffusions observed at regular and discrete times. Given access only to Euler discretizations of the diffusion process, we present a new procedure which can return online estimates of the filtering distribution with no discretization bias and finite variance. Our approach is based upon a novel double application of the randomization methods of Rhee & Glynn (2015) along with the multilevel particle filter (MLPF) approach of Jasra et al (2017). A numerical comparison of our new approach with the MLPF, on a single processor, shows that similar errors are possible for a mild increase in computational cost. However, the new method scales strongly to arbitrarily many processors.


title: Sources of E, D, B, H in electro- and magnetostatics: critical comments

abstract: A critical analysis of teaching approaches to the issue of sources of electrostatic and magnetostatic fields is carried out. Incorrect statements are discussed and their reasons are indicated, in particular, the ambiguity of terminology and going beyond formulas applicability. Unified approach to the study of electromagnetic static field sources based on the Helmholtz theorem is recommended.


title: DFKI Cabin Simulator: A Test Platform for Visual In-Cabin Monitoring Functions

abstract: We present a test platform for visual in-cabin scene analysis and occupant monitoring functions. The test platform is based on a driving simulator developed at the DFKI, consisting of a realistic in-cabin mock-up and a wide-angle projection system for a realistic driving experience. The platform has been equipped with a wide-angle 2D/3D camera system monitoring the entire interior of the vehicle mock-up of the simulator. It is also supplemented with a ground truth reference sensor system that allows to track and record the occupant's body movements synchronously with the 2D and 3D video streams of the camera. Thus, the resulting test platform will serve as a basis to validate numerous in-cabin monitoring functions, which are important for the realization of novel human-vehicle interfaces, advanced driver assistant systems, and automated driving. Among the considered functions are occupant presence detection, size and 3D-pose estimation and driver intention recognition. In addition, our platform will be the basis for the creation of large-scale in-cabin benchmark datasets.


title: An Overview of Two Age Synthesis and Estimation Techniques

abstract: Age estimation is a technique for predicting human ages from digital facial images, which analyzes a person's face image and estimates his/her age based on the year measure. Nowadays, intelligent age estimation and age synthesis have become particularly prevalent research topics in computer vision and face verification systems. Age synthesis is defined to render a facial image aesthetically with rejuvenating and natural aging effects on the person's face. Age estimation is defined to label a facial image automatically with the age group (year range) or the exact age (year) of the person's face. In this case study, we overview the existing models, popular techniques, system performances, and technical challenges related to the facial image-based age synthesis and estimation topics. The main goal of this review is to provide an easy understanding and promising future directions with systematic discussions.


title: Weighted Average Precision: Adversarial Example Detection in the Visual Perception of Autonomous Vehicles

abstract: Recent works have shown that neural networks are vulnerable to carefully crafted adversarial examples (AE). By adding small perturbations to input images, AEs are able to make the victim model predicts incorrect outputs. Several research work in adversarial machine learning started to focus on the detection of AEs in autonomous driving. However, the existing studies either use preliminary assumption on outputs of detections or ignore the tracking system in the perception pipeline. In this paper, we firstly propose a novel distance metric for practical autonomous driving object detection outputs. Then, we bridge the gap between the current AE detection research and the real-world autonomous systems by providing a temporal detection algorithm, which takes the impact of tracking system into consideration. We perform evaluation on Berkeley Deep Drive (BDD) and CityScapes datasets to show how our approach outperforms existing single-frame-mAP based AE detections by increasing 17.76% accuracy of performance.


title: An Empirical Study of Person Re-Identification with Attributes

abstract: Person re-identification aims to identify a person from an image collection, given one image of that person as the query. There is, however, a plethora of real-life scenarios where we may not have a priori library of query images and therefore must rely on information from other modalities. In this paper, an attribute-based approach is proposed where the person of interest (POI) is described by a set of visual attributes, which are used to perform the search. We compare multiple algorithms and analyze how the quality of attributes impacts the performance. While prior work mostly relies on high precision attributes annotated by experts, we conduct a human-subject study and reveal that certain visual attributes could not be consistently described by human observers, making them less reliable in real applications. A key conclusion is that the performance achieved by non-expert attributes, instead of expert-annotated ones, is a more faithful indicator of the status quo of attribute-based approaches for person re-identification.


title: Covariant Spin Kinetic Theory I: Collisionless Limit

abstract: We develop a covariant kinetic theory for massive fermions in curved spacetime and external electromagnetic field based on quantum field theory. We derive four coupled semi-classical kinetic equations accurate at $O(\hbar)$, which describe the transports of particle number and spin degrees of freedom. The relation with the chiral kinetic theory is discussed. As an application, we study the spin polarization in the presence of finite Riemann curvature and electromagnetic field in both local and global equilibrium states.


title: Unsupervised Discovery of Interpretable Directions in the GAN Latent Space

abstract: The latent spaces of GAN models often have semantically meaningful directions. Moving in these directions corresponds to human-interpretable image transformations, such as zooming or recoloring, enabling a more controllable generation process. However, the discovery of such directions is currently performed in a supervised manner, requiring human labels, pretrained models, or some form of self-supervision. These requirements severely restrict a range of directions existing approaches can discover. In this paper, we introduce an unsupervised method to identify interpretable directions in the latent space of a pretrained GAN model. By a simple model-agnostic procedure, we find directions corresponding to sensible semantic manipulations without any form of (self-)supervision. Furthermore, we reveal several non-trivial findings, which would be difficult to obtain by existing methods, e.g., a direction corresponding to background removal. As an immediate practical benefit of our work, we show how to exploit this finding to achieve competitive performance for weakly-supervised saliency detection.


title: Compositional ADAM: An Adaptive Compositional Solver

abstract: In this paper, we present C-ADAM, the first adaptive solver for compositional problems involving a non-linear functional nesting of expected values. We proof that C-ADAM converges to a stationary point in $\mathcal{O}(\delta^{-2.25})$ with $\delta$ being a precision parameter. Moreover, we demonstrate the importance of our results by bridging, for the first time, model-agnostic meta-learning (MAML) and compositional optimisation showing fastest known rates for deep network adaptation to-date. Finally, we validate our findings in a set of experiments from portfolio optimisation and meta-learning. Our results manifest significant sample complexity reductions compared to both standard and compositional solvers.


title: Millions of Perrin pseudoprimes including a few giants

abstract: The calculation of many and large Perrin pseudoprimes is a challenge. This is mainly due to their rarity. Perrin pseudoprimes are one of the rarest known pseudoprimes. In order to calculate many such large numbers, one needs not only a fast algorithm but also an idea how most of them are structured to minimize the amount of numbers one have to test. We present a quick algorithm for testing Perrin pseudoprimes and develop some ideas on how Perrin pseudoprimes might be structured. This leads to some conjectures that still need to be proved. We think that we have found well over 90% of all 20-digit Perrin pseudoprimes. Overall, we have been able to calculate over 9 million Perrin pseudoprimes with our method, including some very large ones. The largest number found has 3101 digits. This seems to be a breakthrough, compared to the previously known just over 100,000 Perrin pseudoprimes, of which the largest have 20 digits. In addition, we propose two new sequences that do not provide any pseudoprimes up to $10^9$ at all.


title: Distributed Learning with Dependent Samples

abstract: This paper focuses on learning rate analysis of distributed kernel ridge regression for strong mixing sequences. Using a recently developed integral operator approach and a classical covariance inequality for Banach-valued strong mixing sequences, we succeed in deriving optimal learning rate for distributed kernel ridge regression. As a byproduct, we also deduce a sufficient condition for the mixing property to guarantee the optimal learning rates for kernel ridge regression. Our results extend the applicable range of distributed learning from i.i.d. samples to non-i.i.d. sequences.


title: A gradient descent perspective on Sinkhorn

abstract: We present a new perspective on the popular Sinkhorn algorithm, showing that it can be seen as a Bregman gradient descent (mirror descent) of a relative entropy (Kullback-Leibler divergence). This viewpoint implies a new sublinear convergence rate with a robust constant.


title: Back-reaction in strong field QED: a toy model

abstract: As a toy model for QED in strong background fields, we consider the impact of back-reaction and loop effects on scattering processes in quantum optics. We show that neglecting back-reaction misses qualitative and quantitative features of strong-field physics. We are able to study an analogue of the Narozhny-Ritus conjecture on the scaling of higher loop diagrams with intensity: we prove that there is no corresponding behaviour in our model. Implications for QED are identified and discussed.


title: Reconstructing the Optical Parameters of a Layered Medium with Optical Coherence Elastography

abstract: In this work we consider the inverse problem of reconstructing the optical properties of a layered medium from an elastography measurement where optical coherence tomography is used as the imaging method. We hereby model the sample as a linear dielectric medium so that the imaging parameter is given by its electric susceptibility, which is a frequency- and depth-dependent parameter. Additionally to the layered structure (assumed to be valid at least in the small illuminated region), we allow for small scatterers which we consider to be randomly distributed, a situation which seems more realistic compared to purely homogeneous layers. We then show that a unique reconstruction of the susceptibility of the medium (after averaging over the small scatterers) can be achieved from optical coherence tomography measurements for different compression states of the medium.


title: Music2Dance: DanceNet for Music-driven Dance Generation

abstract: Synthesize human motions from music, i.e., music to dance, is appealing and attracts lots of research interests in recent years. It is challenging due to not only the requirement of realistic and complex human motions for dance, but more importantly, the synthesized motions should be consistent with the style, rhythm and melody of the music. In this paper, we propose a novel autoregressive generative model, DanceNet, to take the style, rhythm and melody of music as the control signals to generate 3D dance motions with high realism and diversity. To boost the performance of our proposed model, we capture several synchronized music-dance pairs by professional dancers, and build a high-quality music-dance pair dataset. Experiments have demonstrated that the proposed method can achieve the state-of-the-art results.


title: Extensional proofs in a propositional logic modulo isomorphisms

abstract: System I is a proof language for a fragment of propositional logic where isomorphic propositions, such as $A\wedge B$ and $B\wedge A$, or $A\Rightarrow(B\wedge C)$ and $(A\Rightarrow B)\wedge(A\Rightarrow C)$ are made equal. System I enjoys the strong normalization property. This is sufficient to prove the existence of empty types, but not to prove the introduction property (every closed term in normal form is an introduction). Moreover, a severe restriction had to be made on the types of the variables in order to obtain the existence of empty types. We show here that adding $\eta$-expansion rules to System I permits to drop this restriction, and yields a strongly normalizing calculus which enjoys the full introduction property.


title: Learning Numerical Observers using Unsupervised Domain Adaptation

abstract: Medical imaging systems are commonly assessed by use of objective image quality measures. Supervised deep learning methods have been investigated to implement numerical observers for task-based image quality assessment. However, labeling large amounts of experimental data to train deep neural networks is tedious, expensive, and prone to subjective errors. Computer-simulated image data can potentially be employed to circumvent these issues; however, it is often difficult to computationally model complicated anatomical structures, noise sources, and the response of real world imaging systems. Hence, simulated image data will generally possess physical and statistical differences from the experimental image data they seek to emulate. Within the context of machine learning, these differences between the sets of two images is referred to as domain shift. In this study, we propose and investigate the use of an adversarial domain adaptation method to mitigate the deleterious effects of domain shift between simulated and experimental image data for deep learning-based numerical observers (DL-NOs) that are trained on simulated images but applied to experimental ones. In the proposed method, a DL-NO will initially be trained on computer-simulated image data and subsequently adapted for use with experimental image data, without the need for any labeled experimental images. As a proof of concept, a binary signal detection task is considered. The success of this strategy as a function of the degree of domain shift present between the simulated and experimental image data is investigated.


title: On the effect of symmetry requirement for rendezvous on the complete graph

abstract: We consider a classic rendezvous game where two players try to meet each other on a set of $n$ locations. In each round, every player visits one of the locations and the game finishes when the players meet at the same location. The goal is to devise strategies for both players that minimize the expected waiting time till the rendezvous. In the asymmetric case, when the strategies of the players may differ, it is known that the optimum expected waiting time of $\frac{n+1}{2}$ is achieved by the wait-for-mommy pair of strategies, where one of the players stays at one location for $n$ rounds, while the other player searches through all the $n$ locations in a random order. However, if we insist that the players are symmetric --- they are expected to follow the same strategy --- then the best known strategy, proposed by Anderson and Weber, achieves an asymptotic expected waiting time of $0.829 n$. We show that the symmetry requirement indeed implies that the expected waiting time needs to be asymptotically larger than in the asymmetric case. Precisely, we prove that for every $n\geqslant 2$, if the players need to employ the same strategy, then the expected waiting time is at least $\frac{n+1}{2}+\varepsilon n$, where $\varepsilon=2^{-36}$.


title: Portable probe design for photoacoustic imaging in vivo

abstract: A low-cost adjustable illumination scheme for hand-held photoacoustic imaging probe is presented, manufactured and tested in this paper. Compared with traditional photoacoustic probe design, it has the following advantages: (1) Different excitation modes can be selected as needed. By tuning control parameters, it can achieve bright-field, dark-field, and hybrid field light illumination schemes. (2) The spot-adjustable unit (SAU) specifically designed for beam expansion, together with a water tank for transmitting ultrasonic waves, enable the device to break through the constraints of the transfer medium and is more widely used. The beam-expansion experiment is conducted to verify the function of SAU. After that, we built a PAT system based on our newly designed apparatus. Phantom and in vivo experimental results show different performance in different illumination schemes


title: Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products

abstract: We study the design of stochastic local search methods to prove unsatisfiability of a constraint satisfaction problem (CSP). For a binary CSP, such methods have been designed using the microstructure of the CSP. Here, we develop a method to decompose the microstructure into graph tensors. We show how to use the tensor decomposition to compute a proof of unsatisfiability efficiently and in parallel. We also offer substantial empirical evidence that our approach improves the praxis. For instance, one decomposition yields proofs of unsatisfiability in half the time without sacrificing the quality. Another decomposition is twenty times faster and effective three-tenths of the times compared to the prior method. Our method is applicable to arbitrary CSPs using the well known dual and hidden variable transformations from an arbitrary CSP to a binary CSP.


title: Geometric Formulation for Discrete Points and its Applications

abstract: We introduce a novel formulation for geometry on discrete points. It is based on a universal differential calculus, which gives a geometric description of a discrete set by the algebra of functions. We expand this mathematical framework so that it is consistent with differential geometry, and works on spectral graph theory and random walks. Consequently, our formulation comprehensively demonstrates many discrete frameworks in probability theory, physics, applied harmonic analysis, and machine learning. Our approach would suggest the existence of an intrinsic theory and a unified picture of those discrete frameworks.


title: A note on strong summability of two-dimensional Walsh-Fourier series

abstract: In this paper we investigate strong summability of the two-dimensional Walsh-Fourier series obtained in Weisz \cite{We} (see Theorem W) and prove sharpness of this result.


title: Some new resuts on strong convergence of Fej\'er means with respect to Vilenkin systems

abstract: In this paper we discuss and prove some new strong convergence theorems for partial sums and Fej\'er means with respect to the Vilenkin system.


title: An efficient algorithm for numerical homogenization of fluid filled porous solids: part-I

abstract: The concept of representative volume element or RVE is invoked to develop an algorithm for numerical homogenization of fluid filled porous solids. RVE based methods decouple analysis of a composite material into analyses at the local and global levels. The local level analysis models the microstructural details to determine effective properties by applying boundary conditions to the RVE and solving the resultant boundary value problem. The composite structure is then replaced by an equivalent homogeneous material having the calculated effective properties. We combine the features of two techniques: one is the definition of a displacement field for the fluid phase to allow for a definition of a continuous displacement field across the microstructure and the other is the $FE^2$ numerical homogenization that couples the macroscale with the RVE scale via gauss points.


title: Two universal laws for plastic flows and the consistent thermodynamic dislocation theory

abstract: This paper verifies two laws for plastic flows of face-centered cubic crystals that deform at constant strain rates and fixed ambient temperatures. The first law relates steady-state flow stress to ambient temperature and strain rate. The second law requires an increase of configurational entropy towards a maximum reached in the steady state. The large scale least squares analysis is provided which allows the physics-based parameters of thermodynamic dislocation theory to be identified in accordance with these laws.


title: Improving the Evaluation of Generative Models with Fuzzy Logic

abstract: Objective and interpretable metrics to evaluate current artificial intelligent systems are of great importance, not only to analyze the current state of such systems but also to objectively measure progress in the future. In this work, we focus on the evaluation of image generation tasks. We propose a novel approach, called Fuzzy Topology Impact (FTI), that determines both the quality and diversity of an image set using topology representations combined with fuzzy logic. When compared to current evaluation methods, FTI shows better and more stable performance on multiple experiments evaluating the sensitivity to noise, mode dropping and mode inventing.


title: Deriving Emotions and Sentiments from Visual Content: A Disaster Analysis Use Case

abstract: Sentiment analysis aims to extract and express a person's perception, opinions and emotions towards an entity, object, product and a service, enabling businesses to obtain feedback from the consumers. The increasing popularity of the social networks and users' tendency towards sharing their feelings, expressions and opinions in text, visual and audio content has opened new opportunities and challenges in sentiment analysis. While sentiment analysis of text streams has been widely explored in the literature, sentiment analysis of images and videos is relatively new. This article introduces visual sentiment analysis and contrasts it with textual sentiment analysis with emphasis on the opportunities and challenges in this nascent research area. We also propose a deep visual sentiment analyzer for disaster-related images as a use-case, covering different aspects of visual sentiment analysis starting from data collection, annotation, model selection, implementation and evaluations. We believe such rigorous analysis will provide a baseline for future research in the domain.


title: Machine Learning Based Channel Modeling for Vehicular Visible Light Communication

abstract: Optical Wireless Communication (OWC) propagation channel characterization plays a key role on the design and performance analysis of Vehicular Visible Light Communication (VVLC) systems. Current OWC channel models based on deterministic and stochastic methods, fail to address mobility induced ambient light, optical turbulence and road reflection effects on channel characterization. Therefore, alternative machine learning (ML) based schemes, considering ambient light, optical turbulence, road reflection effects in addition to intervehicular distance and geometry, are proposed to obtain accurate VVLC channel loss and channel frequency response (CFR). This work demonstrates synthesis of ML based VVLC channel model frameworks through multi layer perceptron feed-forward neural network (MLP), radial basis function neural network (RBF-NN) and Random Forest ensemble learning algorithms. Predictor and response variables, collected through practical road measurements, are employed to train and validate proposed models for various conditions. Additionally, the importance of different predictor variables on channel loss and CFR is assessed, normalized importance of features for measured VVLC channel is introduced. We show that RBF-NN, Random Forest and MLP based models yield more accurate channel loss estimations with 3.53 dB, 3.81 dB, 3.95 dB root mean square error (RMSE), respectively, when compared to fitting curve based VVLC channel model with 7 dB RMSE. Moreover, RBF-NN and MLP models are demonstrated to predict VVLC CFR with respect to distance, ambient light and receiver inclination angle predictor variables with 3.78 dB and 3.60 dB RMSE respectively.


title: Constitutive modeling of the tension-compression behavior of gradient structured materials

abstract: Gradient structured (GS) metals processed by severe plastic deformation techniques can be designed to achieve simultaneously high strength and high ductility. Significant kinematic hardening is key to their excellent strain hardening capacity which results in a favorable strength-ductility combination. Unfortunately, no constitutive model has been established to simulate and analyze the characteristic kinematic hardening behavior of GS metal to understand the relationship between their microstructure and macroscopic response. In this work, we developed a deformation-mechanismbased strain gradient plasticity model considering the plasticity heterogeneities from the grain to the sample scale. A back stress model, which accounts for the dependency of dislocation pile-ups on grain size, is established to describe the cyclic deformation properties of GS materials. The established model unified the geometrically necessary dislocations accommodating internal plasticity heterogeneities, the resulting back stress and reversible dislocations during reverse loading into a strain gradient plasticity framework, without introducing excessive numbers of independent material parameters. A finite element implementation of the model quantitatively predicts the uniaxial tensile and tensile-compressive responses of a GS copper bar as well as of a reference sample with homogeneous grain size. It is found that GS copper exhibits enhanced kinematic hardening which results mainly from fine grains in the GS layer and contributes to the considerable ductility of the GS material. The model allows to investigate the mechanical response and optimize the properties of materials with various types of spatially heterogeneous grain microstructures.


title: Towards Deep Machine Reasoning: a Prototype-based Deep Neural Network with Decision Tree Inference

abstract: In this paper we introduce the DMR -- a prototype-based method and network architecture for deep learning which is using a decision tree (DT)-based inference and synthetic data to balance the classes. It builds upon the recently introduced xDNN method addressing more complex multi-class problems, specifically when classes are highly imbalanced. DMR moves away from a direct decision based on all classes towards a layered DT of pair-wise class comparisons. In addition, it forces the prototypes to be balanced between classes regardless of possible class imbalances of the training data. It has two novel mechanisms, namely i) using a DT to determine the winning class label, and ii) balancing the classes by synthesizing data around the prototypes determined from the available training data. As a result, we improved significantly the performance of the resulting fully explainable DNN as evidenced by the best reported result on the well know benchmark problem Caltech-101 surpassing our own recently published "world record". Furthermore, we also achieved another "world record" for another very hard benchmark problem, namely Caltech-256 as well as surpassed the results of other approaches on Faces-1999 problem. In summary, we propose a new approach specifically advantageous for imbalanced multi-class problems that achieved two world records on well known hard benchmark problems and the best result on another problem in terms of accuracy. Moreover, DMR offers full explainability, does not require GPUs and can continue to learn from new data by adding new prototypes preserving the previous ones but not requiring full retraining.


title: On the representation and the uniform polynomial approximation of polyanalytic functions of Gevrey type on the unit disk

abstract: In this paper we define Gevrey polyanalytic classes of order N on the unit disk D and we obtain for these classes a characteristic expansion into N-analytic polynomials on suitable neighborhoods of D. As an application of our main theorem, we perform for the Gevrey polyanalytic classes of order N on the unit disk D, an analogue to E. M. Dyn'kin's theorem. We also derive, for these classes, their characteristic degree of the best uniform approximation on D by N-analytic polynomials.


title: Existence and Continuation of Solutions of Hilfer-Katugampola-Type Fractional Differential Equations

abstract: This article contains a new discussion for the generalized fractional Cauchy-type problem involving Hilfer-Katugampola-type fractional derivative. We study an existence and continuation of its solution. Firstly, we establish a new theorems of local existence. Then, we deduce a continuation theorems for a general fractional differential equations. By applying continuation theorems deduced in this article, we present several global existence results. Moreover, the examples are given to illustrate our main results.


title: Investigating the Importance of Shape Features, Color Constancy, Color Spaces and Similarity Measures in Open-Ended 3D Object Recognition

abstract: Despite the recent success of state-of-the-art 3D object recognition approaches, service robots are frequently failed to recognize many objects in real human-centric environments. For these robots, object recognition is a challenging task due to the high demand for accurate and real-time response under changing and unpredictable environmental conditions. Most of the recent approaches use either the shape information only and ignore the role of color information or vice versa. Furthermore, they mainly utilize the $L_n$ Minkowski family functions to measure the similarity of two object views, while there are various distance measures that are applicable to compare two object views. In this paper, we explore the importance of shape information, color constancy, color spaces, and various similarity measures in open-ended 3D object recognition. Towards this goal, we extensively evaluate the performance of object recognition approaches in three different configurations, including \textit{color-only}, \textit{shape-only}, and \textit{ combinations of color and shape}, in both offline and online settings. Experimental results concerning scalability, memory usage, and object recognition performance show that all of the \textit{combinations of color and shape} yields significant improvements over the \textit{shape-only} and \textit{color-only} approaches. The underlying reason is that color information is an important feature to distinguish objects that have very similar geometric properties with different colors and vice versa. Moreover, by combining color and shape information, we demonstrate that the robot can learn new object categories from very few training examples in a real-world setting.


title: Photonic tensor cores for machine learning

abstract: With an ongoing trend in computing hardware towards increased heterogeneity, domain-specific co-processors are emerging as alternatives to centralized paradigms. The tensor core unit (TPU) has shown to outperform graphic process units by almost 3-orders of magnitude enabled by higher signal throughout and energy efficiency. In this context, photons bear a number of synergistic physical properties while phase-change materials allow for local nonvolatile mnemonic functionality in these emerging distributed non van-Neumann architectures. While several photonic neural network designs have been explored, a photonic TPU to perform matrix vector multiplication and summation is yet outstanding. Here we introduced an integrated photonics-based TPU by strategically utilizing a) photonic parallelism via wavelength division multiplexing, b) high 2 Peta-operations-per second throughputs enabled by 10s of picosecond-short delays from optoelectronics and compact photonic integrated circuitry, and c) zero power-consuming novel photonic multi-state memories based on phase-change materials featuring vanishing losses in the amorphous state. Combining these physical synergies of material, function, and system, we show that the performance of this 8-bit photonic TPU can be 2-3 orders higher compared to an electrical TPU whilst featuring similar chip areas. This work shows that photonic specialized processors have the potential to augment electronic systems and may perform exceptionally well in network-edge devices in the looming 5G networks and beyond.


title: Deep Feature Fusion for Mitosis Counting

abstract: Each woman living in the United States has about 1 in 8 chance of developing invasive breast cancer. The mitotic cell count is one of the most common tests to assess the aggressiveness or grade of breast cancer. In this prognosis, histopathology images must be examined by a pathologist using high-resolution microscopes to count the cells. Unfortunately, this can be an exhaustive task with poor reproducibility, especially for non-experts. Deep learning networks have recently been adapted to medical applications which are able to automatically localize these regions of interest. However, these region-based networks lack the ability to take advantage of the segmentation features produced by a full image CNN which are often used as a sole method of detection. Therefore, the proposed method leverages Faster RCNN for object detection while fusing segmentation features generated by a UNet with RGB image features to achieve an F-score of 0.508 on the MITOS-ATYPIA 2014 mitosis counting challenge dataset, outperforming state-of-the-art methods.


title: Phase Diversity Electro-optic Sampling: A new approach to single-shot terahertz waveform recording

abstract: THz spectroscopy is an emerging tool for detection of microorganisms and harmful compounds in the food industry, the study of proteins in biomedicine and the development of electron-beam X-ray sources for molecular imaging and lithography. Recording of THz electric field evolution in single-shot is crucially needed in terahertz spectroscopy of irreversible processes in such applications as well as for data communication in the THz portion of the spectrum where there is an abundance of untapped bandwidth. However, achieving sub-picosecond resolution over a long time window has been an open problem for electro-optic sampling -- the standard technique for recording terahertz waveforms. We introduce a new conceptual framework for this open problem that is inspired by time-stretch theory. The novel framework unveils a solution to this 20 year-old problem leading to a dramatic enhancement of the achievable temporal resolution. We validate this new technology in two applications. First, we present single shot recordings of long free-propagating terahertz transients with record time resolution. Second, we present recordings of ultra-short relativistic electron bunches at the European X-ray Free Electron Laser. These results show that electric signals may be now recorded with terahertz bandwidth over arbitrarily long windows, thus enabling the realization of "single-shot terahertz oscilloscopes" and single-shot time-domain spectroscopy systems with an arbitrary time-bandwidth product.


title: An exponential Diophantine equation related to the difference of powers of two Fibonacci numbers

abstract: In this paper, we prove that there is no x>=4 such that the difference of x-th powers of two consecutive Fibonacci numbers greater than 0 is a Lucas number.


title: Taming identical particles for discerning the genuine non-locality

abstract: This work provides a comprehensive approach to analyze the entanglement between subsystems generated by identical particles, based on the symmetric/exterior algebra (SEA) and microcausality. Our method amends the no-labeling approach (NLA) to quantify any type of identical particles' entanglement, especially fermions with the parity superselection rule. We can analyze the non-local properties of identical particles' states in a fundamentally equivalent way to those for non-identical particles, which is achieved by the factorizability of the total Hilbert space of identical particles. This formal correspondence between identical and non-identical particle systems turns out to be useful for quantifying the non-locality generated by identical particles, such as the maximal CHSH inequality violation and the GHJW theorem of identical particles.


title: Fully-hierarchical fine-grained prosody modeling for interpretable speech synthesis

abstract: This paper proposes a hierarchical, fine-grained and interpretable latent variable model for prosody based on the Tacotron 2 text-to-speech model. It achieves multi-resolution modeling of prosody by conditioning finer level representations on coarser level ones. Additionally, it imposes hierarchical conditioning across all latent dimensions using a conditional variational auto-encoder (VAE) with an auto-regressive structure. Evaluation of reconstruction performance illustrates that the new structure does not degrade the model while allowing better interpretability. Interpretations of prosody attributes are provided together with the comparison between word-level and phone-level prosody representations. Moreover, both qualitative and quantitative evaluations are used to demonstrate the improvement in the disentanglement of the latent dimensions.


title: Deep Learning for Classifying Food Waste

abstract: One third of food produced in the world for human consumption -- approximately 1.3 billion tons -- is lost or wasted every year. By classifying food waste of individual consumers and raising awareness of the measures, avoidable food waste can be significantly reduced. In this research, we use deep learning to classify food waste in half a million images captured by cameras installed on top of food waste bins. We specifically designed a deep neural network that classifies food waste for every time food waste is thrown in the waste bins. Our method presents how deep learning networks can be tailored to best learn from available training data.


title: Bouncing Models in an Extended Gravity Theory

abstract: Some bouncing models are investigated in the framework of an extended theory of gravity. The extended gravity model is a simple extension of the General Relativity where an additional matter geometry coupling is introduced to account for the late time cosmic speed up phenomena. The dynamics of the models are discussed in the background of a flat FRW universe. Some viable models are reconstructed for specifically assumed bouncing scale factors. The behavior of the models are found to be decided mostly by the parameters of the respective models. The extended gravity based minimal matter-geometry coupling parameter has a role to remove the omega singularity occurring at the bouncing epoch. It is noted that the constructed models violate the energy conditions, however, in some cases this violation leads to the evolution of the models in phantom phase. The stability of the models are analyzed under linear homogeneous perturbations and it is found that, near the bounce, the models show instability but the perturbations decay out smoothly to provide stable models at late times.


title: Generating diverse and natural text-to-speech samples using a quantized fine-grained VAE and auto-regressive prosody prior

abstract: Recent neural text-to-speech (TTS) models with fine-grained latent features enable precise control of the prosody of synthesized speech. Such models typically incorporate a fine-grained variational autoencoder (VAE) structure, extracting latent features at each input token (e.g., phonemes). However, generating samples with the standard VAE prior often results in unnatural and discontinuous speech, with dramatic prosodic variation between tokens. This paper proposes a sequential prior in a discrete latent space which can generate more naturally sounding samples. This is accomplished by discretizing the latent features using vector quantization (VQ), and separately training an autoregressive (AR) prior model over the result. We evaluate the approach using listening tests, objective metrics of automatic speech recognition (ASR) performance, and measurements of prosody attributes. Experimental results show that the proposed model significantly improves the naturalness in random sample generation. Furthermore, initial experiments demonstrate that randomly sampling from the proposed model can be used as data augmentation to improve the ASR performance.


title: An Object-Oriented Library for Heat Transfer Modelling and Simulation in Open Cell Foams

abstract: Metallic open cell foams have multiple applications in industry, e. g. as catalyst supports in chemical processes. Their regular or heterogeneous microscopic structure determines the macroscopic thermodynamic and chemical properties. We present an object-oriented python library that generates state space models for simulation and control from the microscopic foam data, which can be imported from the image processing tool iMorph. The foam topology and the 3D geometric data are the basis for discrete modeling of the balance laws using the cell method. While the material structure imposes a primal chain complex to define discrete thermodynamic driving forces, the internal energy balance is evaluated on a second chain complex, which is constructed by topological duality. The heat exchange between the solid and the fluid phase is described based on the available surface data. We illustrate in detail the construction of the dual chain complexes, and we show how the structured discrete model directly maps to the software objects of the python code. As a test case, we present simulation results for a foam with a Kelvin cell structure, and compare them to a surrogate finite element model with homogeneous parameters.


title: Complex beam mapping and Fourier optics analysis of a wide field Microwave Kinetic Inductance Detector camera

abstract: For astronomical instruments, accurate knowledge of the optical pointing and coupling are essential to characterize the alignment and performance of (sub-)systems prior to integration and deployment. Ideally, this requires the phase response of the optical system, which for direct (phase insensitive) detectors was not previously accessible. Here we show development of the phase sensitive complex beam pattern technique using a dual optical source heterodyne technique for a large field of view Microwave Kinetic Inductance Detector camera at 350 GHz. We show here how you can analyze the measured data with Fourier optics, which allows integration into a telescope model to calculate the on sky beam pattern and telescope aperture efficiency prior to deployment at a telescope.


title: Combinatorial solutions to generalized electrorheological kernel aggregation

abstract: For this paper, we studied the time evolution of a system of coagulating particles under a generalized electrorheological (ER) kernel with real power, $K\left(i,j\right) = \left( \frac{1}{i}+\frac{1}{j} \right)^\alpha$, and monodisperse initial conditions. We used a combinatorial framework in which time and cluster sizes were discrete and the binary aggregation governed the time evolution of the system. We modified a previously-known solution for the constant kernel to cover the generalized ER kernel and used it in the framework to obtain the exact expression for the cluster size distribution (the average number of particles of a given size) and the standard deviation. Our theoretical solution is validated by a comparison to numerically simulated results for several values of $\alpha$ and to the experimental data of coagulating polystyrene particles. Theoretical predictions were accurate for any time of the aggregation process and for a wide range of $\alpha$.

categories: cond-mat.stat-mech cond-mat.mtrl-sci math-ph math.MP


title: On CSI-free Multi-Antenna Schemes for Massive RF Wireless Energy Transfer

abstract: Wireless Energy Transfer (WET) is emerging as a potential green enabler for massive Internet of Things (IoT). Herein, we analyze Channel State Information (CSI)-free multi-antenna strategies for powering wirelessly a large set of single-antenna IoT devices. The CSI-free schemes are AA-SS (AA-IS), where all antennas transmit the same (independent) signal(s), and SA, where just one antenna transmits at a time such that all antennas are utilized during the coherence block. We characterize the distribution of the provided energy under correlated Rician fading for each scheme and find out that while AA-IS and SA cannot take advantage of the multiple antennas to improve the average provided energy, its dispersion can be significantly reduced. Meanwhile, AA-SS provides the greatest average energy, but also the greatest energy dispersion, and the gains depend critically on the mean phase shifts between the antenna elements. We find that consecutive antennas must be $\pi$ phase-shifted for optimum average energy performance under AA-SS. Our numerical results evidenced that correlation is beneficial under AA-SS, while a greater line of sight (LOS) and/or number of antennas is not always beneficial under such scheme. Meanwhile, both AA-IS and SA schemes benefit from small correlation, large LOS and/or large number of antennas.


title: Adversarial Data Encryption

abstract: In the big data era, many organizations face the dilemma of data sharing. Regular data sharing is often necessary for human-centered discussion and communication, especially in medical scenarios. However, unprotected data sharing may also lead to data leakage. Inspired by adversarial attack, we propose a method for data encryption, so that for human beings the encrypted data look identical to the original version, but for machine learning methods they are misleading. To show the effectiveness of our method, we collaborate with the Beijing Tiantan Hospital, which has a world leading neurological center. We invite $3$ doctors to manually inspect our encryption method based on real world medical images. The results show that the encrypted images can be used for diagnosis by the doctors, but not by machine learning methods.


title: The Deep Learning Compiler: A Comprehensive Survey

abstract: The difficulty of deploying various deep learning (DL) models on diverse DL hardware has boosted the research and development of DL compilers in the community. Several DL compilers have been proposed from both industry and academia such as Tensorflow XLA and TVM. Similarly, the DL compilers take the DL models described in different DL frameworks as input, and then generate optimized codes for diverse DL hardware as output. However, none of the existing survey has analyzed the unique design architecture of the DL compilers comprehensively. In this paper, we perform a comprehensive survey of existing DL compilers by dissecting the commonly adopted design in details, with emphasis on the DL oriented multi-level IRs, and frontend/backend optimizations. Specifically, we provide a comprehensive comparison among existing DL compilers from various aspects. In addition, we present detailed analysis on the design of multi-level IRs and illustrate the commonly adopted optimization techniques. Finally, several insights are highlighted as the potential research directions of DL compiler. This is the first survey paper focusing on the design architecture of DL compilers, which we hope can pave the road for future research towards DL compiler.


title: Unboxing MAC Protocol Design Optimization Using Deep Learning

abstract: Evolving amendments of 802.11 standards feature a large set of physical and MAC layer control parameters to support the increasing communication objectives spanning application requirements and network dynamics. The significant growth and penetration of various devices come along with a tremendous increase in the number of applications supporting various domains and services which will impose a never-before-seen burden on wireless networks. The challenge however, is that each scenario requires a different wireless protocol functionality and parameter setting to optimally determine how to tune these functionalities and parameters to adapt to varying network scenarios. The traditional trial-error approach of manual tuning of parameters is not just becoming difficult to repeat but also sub-optimal for different networking scenarios. In this paper, we describe how we can leverage a deep reinforcement learning framework to be trained to learn the relation between different parameters in the physical and MAC layer and show that how our learning-based approach could help us in getting insights about protocol design optimization task.


title: Measurement of resistance coefficients of pendulum motion with balls of various sizes

abstract: In order to obtain the damping and resistance coefficients of a pendulum, we constructed an optical system containing a photogate for measuring the speed of the pendulum at the lowest point of motion. The photogate consisted of a photoresistor, a laser, a mechanical body, and a pendulum ball. A 3D printer was used to produce the mechanical body and pendulum balls of various sizes. Furthermore, we used Arduino to automate measurement of the speed at the lowest point of motion and increase the precision. We found that the resistance coefficient was proportional to the size of the balls, regardless of the ball mass, in agreement with the drag equation for a small Reynolds number.


title: CONVINCE: Collaborative Cross-Camera Video Analytics at the Edge

abstract: Today, video cameras are deployed in dense for monitoring physical places e.g., city, industrial, or agricultural sites. In the current systems, each camera node sends its feed to a cloud server individually. However, this approach suffers from several hurdles including higher computation cost, large bandwidth requirement for analyzing the enormous data, and privacy concerns. In dense deployment, video nodes typically demonstrate a significant spatio-temporal correlation. To overcome these obstacles in current approaches, this paper introduces CONVINCE, a new approach to look at the network cameras as a collective entity that enables collaborative video analytics pipeline among cameras. CONVINCE aims at 1) reducing the computation cost and bandwidth requirements by leveraging spatio-temporal correlations among cameras in eliminating redundant frames intelligently, and ii) improving vision algorithms' accuracy by enabling collaborative knowledge sharing among relevant cameras. Our results demonstrate that CONVINCE achieves an object identification accuracy of $\sim$91\%, by transmitting only about $\sim$25\% of all the recorded frames.


title: Probing $\kappa(R,T)$ cosmology via empirical approach

abstract: In this paper, a stable flat cosmological model has been constructed and the evolution of dark energy has been investigated in the framework of the recently suggested $\kappa(R,T)$ gravity. The empirical approach we adopt in the current work reveals some interesting cosmological features consistent with observations and the standard $\Lambda$CDM model. The evolution of cosmic pressure shows a positive-to-negative transition corresponding to the cosmic deceleration-acceleration transition, both the deceleration parameter and the cosmic pressure have the positive-to-negative sign flipping. While this behavior can provide explanation for the deceleration-acceleration transition, the reason behind this positive-negative transition itself is still missing.


title: A counterexample to an optimistic guess about \'etale local systems

abstract: In p-adic Hodge theory, it is known that if a Galois representation is de Rham, then it becomes semistable after extension of the base field. Liu and Zhu asked whether a corresponding result holds in the relative setting: given an \'etale local system on a quasi-compact rigid analytic variety (for example, a projective scheme) over a p-adic field, does it become semistable after a finite extension of the base field? We give a counterexample.


title: New Solutions To The Bianchi VIII Wheeler DeWitt Equation And Leading Order Solutions For $\Lambda$ $\ne$ 0 And A Primordial Magnetic Field

abstract: New non trivial solutions to the Lorentzian-signature symmetry reduced Bianchi VIII Wheeler DeWitt equation for Hartle Hawking ordering parameters $ \pm 2\sqrt{33} $ are obtained using an Euclidean-signature semi classical method. Using the aforementioned method we define 'excited' states for the Bianchi VIII wave function and construct leading order 'excited' states which appear to be a hybrid of scattering and bound states. Also six new solutions for the $\Lambda \ne 0$ Bianchi VIII Euclidean-signature Hamilton Jacobi equation are presented which can be used to construct semi-classical states corresponding to the Lorentzian signature symmetry reduced Wheeler DeWitt equation. In addition, new solutions to the Euclidean-signature Hamilton Jacobi equation for the Bianchi VIII models are found when $\Lambda \ne 0$ and an aligned primordial magnetic field is present. Furthermore, we find eight new complex solutions to the Euclidean-signature Hamilton Jacobi equation for the case when matter is not present, which can be used to construct additional semi-classical states. We also study the leading order wave functions which result from our aforementioned solutions when they are restricted to the $\beta+$ axis. Prior to presenting these results we explain the Euclidean-signature semi classical method and discuss how to solve the resultant equations this method generates when it is applied to the Lorentzian-signature symmetry reduced Bianchi VIII Wheeler DeWitt equation. The Euclidean-signature semi-classical method used here is applicable to other field theories as well. The work presented throughout this paper further shows the power Eulclidean-signature semi classical methods possess for solving problems in quantum cosmology and solving Lorentzian signature problems in general.


title: An initial investigation on optimizing tandem speaker verification and countermeasure systems using reinforcement learning

abstract: The spoofing countermeasure (CM) systems in automatic speaker verification (ASV) are not typically used in isolation of each other. These systems can be combined, for example, into a cascaded system where CM produces first a decision whether the input is synthetic or bona fide speech. In case the CM decides it is a bona fide sample, then the ASV system will consider it for speaker verification. End users of the system are not interested in the performance of the individual sub-modules, but instead are interested in the performance of the combined system. Such combination can be evaluated with tandem detection cost function (t-DCF) measure, yet the individual components are trained separately from each other using their own performance metrics. In this work we study training the ASV and CM components together for a better t-DCF measure by using reinforcement learning. We demonstrate that such training procedure indeed is able to improve the performance of the combined system, and does so with more reliable results than with the standard supervised learning techniques we compare against.


title: A Speaker Verification Backend for Improved Calibration Performance across Varying Conditions

abstract: In a recent work, we presented a discriminative backend for speaker verification that achieved good out-of-the-box calibration performance on most tested conditions containing varying levels of mismatch to the training conditions. This backend mimics the standard PLDA-based backend process used in most current speaker verification systems, including the calibration stage. All parameters of the backend are jointly trained to optimize the binary cross-entropy for the speaker verification task. Calibration robustness is achieved by making the parameters of the calibration stage a function of vectors representing the conditions of the signal, which are extracted using a model trained to predict condition labels. In this work, we propose a simplified version of this backend where the vectors used to compute the calibration parameters are estimated within the backend, without the need for a condition prediction model. We show that this simplified method provides similar performance to the previously proposed method while being simpler to implement, and having less requirements on the training data. Further, we provide an analysis of different aspects of the method including the effect of initialization, the nature of the vectors used to compute the calibration parameters, and the effect that the random seed and the number of training epochs has on performance. We also compare the proposed method with the trial-based calibration (TBC) method that, to our knowledge, was the state-of-the-art for achieving good calibration across varying conditions. We show that the proposed method outperforms TBC while also being several orders of magnitude faster to run, comparable to the standard PLDA baseline.


title: Construction of potential functions associated with a given energy spectrum

abstract: Using a formulation of quantum mechanics based on orthogonal polynomials in the energy and physical parameters, we present a method that gives the class of potential functions for exactly solvable problems corresponding to a given energy spectrum. In this work, we study the class of problems with a mix of continuous and discrete energy spectrum that are associated with the continuous dual Hahn polynomial. These include the one-dimensional logarithmic potential and the three-dimensional Coulomb plus linear potential.


title: Axion Mie Theory of Electron Energy Loss Spectroscopy in Topological Insulators

abstract: Electronic topological states of matter exhibit novel types of responses to electromagnetic fields. The response of strong topological insulators, for instance, is characterized by a so-called axion term in the electromagnetic Lagrangian which is ultimately due to the presence of topological surface states. Here we develop the axion Mie theory for the electromagnetic response of spherical particles including arbitrary sources of fields, i.e., charge and current distributions. We derive an axion induced mixing of transverse magnetic and transverse electric modes which are experimentally detectable through small induced rotations of the field vectors. Our results extend upon previous analyses of the problem. Our main focus is on the experimentally relevant problem of electron energy loss spectroscopy in topological insulators, a technique that has so far not yet been used to detect the axion electromagnetic response in these materials.


title: Engineering and Experimentally Benchmarking a Container-based Edge Computing System

abstract: While edge computing is envisioned to superbly serve latency sensitive applications, the implementation-based studies benchmarking its performance are few and far between. To address this gap, we engineer a modular edge cloud computing system architecture that is built on latest advances in containerization techniques, including Kafka, for data streaming, Docker, as application platform, and Firebase Cloud, as realtime database system. We benchmark the performance of the system in terms of scalability, resource utilization and latency by comparing three scenarios: cloud-only, edge-only and combined edge-cloud. The measurements show that edge-only solution outperforms other scenarios only when deployed with data located at one edge only, i.e., without edge computing wide data synchronization. In case of applications requiring data synchronization through the cloud, edge-cloud scales around a factor 10 times better than cloud-only, until certain number of concurrent users in the system, and above this point, cloud-only scales better. In terms of resource utilization, we observe that whereas the mean utilization increases linearly with the number of user requests, the maximum values for the memory and the network I/O heavily increase when with an increasing amount of data.


title: Delay Mitigation in Air Traffic Flow Management

abstract: To mitigate ATFM delay, different approaches have been proposed so far which can be categorized into strategic and tactical domains. The strategical techniques mainly concern airport slot allocation and for the tactical domain, the ATFM function has several solutions available that range from the ground and air holding to rerouting actions, which have not gained significant efficiency in ATFM delay mitigation due to the fact that delays become apparent only on the tactical level when the strategic flight plan has been filled already. To tackle and address this problem there is a need for an algorithm that can synchronize strategical and tactical schedules. To fill this gap, in this paper the concept of fair buffer scheduling is proposed which can potentially contribute to strategical and tactical operations synchronization that would result in ATFM delay mitigation by increasing the system's robustness. The objective is to obtain an optimum fair and efficient buffer choice that mitigates ATFM delay and increases the stakeholders' welfare. Each appropriate and efficient approach requires a comprehensive understanding of the strategical buffer scheduling. This study presents a delay cost and flight buffer model that could be used for generating optimal buffer times to be considered as the initial population for the optimization problem to investigate the viability of employing fairness measures to obtain schedules with different trade-offs between cost, delay, and fairness.


title: Automatic image-based identification and biomass estimation of invertebrates

abstract: Understanding how biological communities respond to environmental changes is a key challenge in ecology and ecosystem management. The apparent decline of insect populations necessitates more biomonitoring but the time-consuming sorting and identification of taxa pose strong limitations on how many insect samples can be processed. In turn, this affects the scale of efforts to map invertebrate diversity altogether. Given recent advances in computer vision, we propose to replace the standard manual approach of human expert-based sorting and identification with an automatic image-based technology. We describe a robot-enabled image-based identification machine, which can automate the process of invertebrate identification, biomass estimation and sample sorting. We use the imaging device to generate a comprehensive image database of terrestrial arthropod species. We use this database to test the classification accuracy i.e. how well the species identity of a specimen can be predicted from images taken by the machine. We also test sensitivity of the classification accuracy to the camera settings (aperture and exposure time) in order to move forward with the best possible image quality. We use state-of-the-art Resnet-50 and InceptionV3 CNNs for the classification task. The results for the initial dataset are very promising ($\overline{ACC}=0.980$). The system is general and can easily be used for other groups of invertebrates as well. As such, our results pave the way for generating more data on spatial and temporal variation in invertebrate abundance, diversity and biomass.


title: Vocoder-free End-to-End Voice Conversion with Transformer Network

abstract: Mel-frequency filter bank (MFB) based approaches have the advantage of learning speech compared to raw spectrum since MFB has less feature size. However, speech generator with MFB approaches require additional vocoder that needs a huge amount of computation expense for training process. The additional pre/post processing such as MFB and vocoder is not essential to convert real human speech to others. It is possible to only use the raw spectrum along with the phase to generate different style of voices with clear pronunciation. In this regard, we propose a fast and effective approach to convert realistic voices using raw spectrum in a parallel manner. Our transformer-based model architecture which does not have any CNN or RNN layers has shown the advantage of learning fast and solved the limitation of sequential computation of conventional RNN. In this paper, we introduce a vocoder-free end-to-end voice conversion method using transformer network. The presented conversion model can also be used in speaker adaptation for speech recognition. Our approach can convert the source voice to a target voice without using MFB and vocoder. We can get an adapted MFB for speech recognition by multiplying the converted magnitude with phase. We perform our voice conversion experiments on TIDIGITS dataset using the metrics such as naturalness, similarity, and clarity with mean opinion score, respectively.


title: Level Three Synthetic Fingerprint Generation

abstract: Today's legal restrictions that protect the privacy of biometric data are hampering fingerprint recognition researches. For instance, all high-resolution fingerprint databases ceased to be publicly available. To address this problem, we present a novel hybrid approach to synthesize realistic, high-resolution fingerprints. First, we improved Anguli, a handcrafted fingerprint generator, to obtain dynamic ridge maps with sweat pores and scratches. Then, we trained a CycleGAN to transform these maps into realistic fingerprints. Unlike other CNN-based works, we can generate several images for the same identity. We used our approach to create a synthetic database with 7400 images in an attempt to propel further studies in this field without raising legal issues. We included sweat pore annotations in 740 images to encourage research developments in pore detection. In our experiments, we employed two fingerprint matching approaches to confirm that real and synthetic databases have similar performance. We conducted a human perception analysis where sixty volunteers could hardly differ between real and synthesized fingerprints. Given that we also favorably compare our results with the most advanced works in the literature, our experimentation suggests that our approach is the new state-of-the-art.


title: WibsonTree: Efficiently Preserving Seller's Privacy in a Decentralized Data Marketplace

abstract: We present a cryptographic primitive called WibsonTree designed to preserve users' privacy by allowing them to demonstrate predicates on their personal attributes, without revealing the values of those attributes. We suppose that there are three types of agents --buyers, sellers and notaries-- who interact in a decentralized privacy-preserving data marketplace (dPDM) such as the Wibson marketplace. We introduce the WibsonTree protocol as an efficient cryptographic primitive that enables the exchange of private information while preserving the seller's privacy. Using our primitive, a data seller can efficiently prove that he/she belongs to the target audience of a buyer's data request, without revealing any additional information.


title: Efficient ECM factorization in parallel with the Lyness map

abstract: The Lyness map is a birational map in the plane which provides one of the simplest discrete analogues of a Hamiltonian system with one degree of freedom, having a conserved quantity and an invariant symplectic form. As an example of a symmetric Quispel-Roberts-Thompson (QRT) map, each generic orbit of the Lyness map lies on a curve of genus one, and corresponds to a sequence of points on an elliptic curve which is one of the fibres in a pencil of biquadratic curves in the plane. Here we present a version of the elliptic curve method (ECM) for integer factorization, which is based on iteration of the Lyness map with a particular choice of initial data. More precisely, we give an algorithm for scalar multiplication of a point on an elliptic curve, which is represented by one of the curves in the Lyness pencil. In order to avoid field inversion, and require only field multiplication (${\bf M}$), squaring (${\bf S}$) and addition, projective coordinates in $\mathbb{P}^1 \times \mathbb{P}^1$ are used. Neglecting multiplication by curve constants (assumed small), each addition of the chosen point uses $2{\bf M}$, while each doubling step requires $15{\bf M}$. We further show that the doubling step can be implemented efficiently in parallel with four processors, dropping the effective cost to $4{\bf M}$. Our scalar multiplication algorithm should require, on average, roughly twice as many multiplications per bit as the fastest state of the art methods using twisted Edwards curves with small constants, but it can be applied to any elliptic curve over $\mathbb{Q}$, whereas twisted Edwards curves (equivalent to Montgomery curves) correspond to only a subset of all elliptic curves. Hence, if implemented in parallel, our method may have potential advantages for integer factorization or elliptic curve cryptography.


title: Characterization and Representation of Weighted Core Inverse of Matrices

abstract: In this paper, we introduce new representation and characterization of the weighted core inverse of matrices. Several properties of these inverses and their interconnections with other generalized inverses are also explored. Through one-sided core and dual-core inverses, we have shown the existence of a generalized weighted Moore-Penrose inverse of matrices. Further, by applying a new representation and using the properties of the weighted core inverse of a matrix, we discuss some new results related to the reverse order law for these inverses.


title: A 5deg x 5deg deep HI survey of the M81 group: II. HI distribution and kinematics of IC 2574 and HIJASS J1021+68

abstract: We analyse the eastern region of a $5^\circ\times5^\circ$ deep HI survey of the M81 group containing the dwarf galaxy IC 2574 and the HI complex HIJASS J1021+68, located between the dwarf and the M81 system. The data show that IC 2574 has an extended HI envelope that connects to HIJASS J1021+68 in the form of a collection of small clouds, but no evident connection has been found between IC 2574 and the central members of the M81 group. We argue, based on the morphology of the clouds forming HIJASS J1021+68 and its velocity distribution, that the complex is not a dark galaxy as previously suggested, but is instead a complex of clouds either stripped from, or falling onto the primordial HI envelope of IC 2574. We also use the deep HI observations to map the extended HI envelope around IC 2574 and, using a 3D tilted-ring model, we derive the rotation curve of the galaxy to a larger extent than has been done before. Combining the obtained rotation curve to higher resolution curves from the literature, we constrain the galaxy's dark matter halo parameters.


title: The Genius Conjectures (via Bell Polynomials)

abstract: We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.


title: Optimal Control of Time-Dependent Heat and Electromagnetic Energy Transfer in Selfdriven Coolers

abstract: The complex time-dependent heat and electromagnetic energy transfer in a new type of cooling system is analyzed. The system consists of a cold body, a Peltier element and an electric circuit containing an inductor with controllable inductance. This system allows cooling a body below the ambient temperature without using an external reservoir of mechanical work. The complex energy transfer in the new system is controllable. The minimum temperature reached by a cooled body depends on its mass. There is however a minimum minimorum temperature, for a specified mass of the cooled body. The minimum temperature of the cooled body decreases by increasing the thermal conductance of the Peltier element. Thermal damped oscillations may arise under special circumstances. This implies a very small difference between the initial temperatures of the cold and cooled body, respectively, and a specific range of variation for the conductance of the Peltier element.


title: Edge colouring Game on Trees with maximum degree $\Delta=4$

abstract: Consider the following game. We are given a tree $T$ and two players (say) Alice and Bob who alternately colour an edge of a tree (using one of $k$ colours). If all edges of the tree get coloured, then Alice wins else Bob wins. Game chromatic index of trees of is the smallest index $k$ for which there is a winning strategy for Alice. If the maximum degree of a node in tree is $\Delta$, Erdos et.al.[6], show that the game chromatic index is at least $\Delta+1$. The bound is known to be tight for all values of $\Delta\neq 4$. In this paper we show that for $\Delta=4$, even if Bob is allowed to skip a move, Alice can always choose an edge to colour and win the game for $k=\Delta+1$. Thus the game chromatic index of trees of maximum degree $4$ is also $5$. Hence, game chromatic index of trees of maximum degree $\Delta$ is $\Delta+1$ for all $\Delta\geq 2$. Moreover,the tree can be preprocessed to allow Alice to pick the next edge to colour in $O(1)$ time. A result of independent interest is a linear time algorithm for on-line edge-deletion problem on trees.


title: Corrected score methods for estimating Bayesian networks with error-prone nodes

abstract: Motivated by inferring cellular signaling networks using noisy flow cytometry data, we develop procedures to draw inference for Bayesian networks based on error-prone data. Two methods for inferring causal relationships between nodes in a network are proposed based on penalized estimation methods that account for measurement error and encourage sparsity. We discuss consistency of the proposed network estimators and develop an approach for selecting the tuning parameter in the penalized estimation methods. Empirical studies are carried out to compare the proposed methods and a naive method that ignores measurement error with applications to synthetic data and to single cell flow cytometry data.


title: Molecular gas and star formation activity in LIRGs in clusters at intermediate redshifts

abstract: We investigate the role of dense Mpc-scale environments in processing molecular gas of cluster galaxies as they fall into the cluster cores. We consider $\sim20$ luminous infrared galaxies (LIRGs) in intermediate-$z$ clusters, from the Hershel Lensing Survey and the Local Cluster Substructure Survey. They include MACS J0717.5+3745 at $z=0.546$ and Abell 697, 963, 1763, and 2219 at $z=0.2-0.3$. We have performed far infrared to ultraviolet spectral energy distribution modeling of the LIRGs, which span cluster-centric distances within $r/r_{200}\simeq0.2-1.6$. We have observed the LIRGs in CO(1$\rightarrow$0) or CO(2$\rightarrow$1) with the Plateau de Bure interferometer and its successor NOEMA, as part of five observational programs carried out between 2012 and 2017. We have compared the molecular gas to stellar mass ratio $M(H_2)/M_\star$, star formation rate (SFR), and depletion time ($\tau_{\rm dep}$) of the LIRGs with those of a compilation of cluster and field star forming galaxies. The targeted LIRGs have SFR, $M(H_2)/M_\star$, and $\tau_{\rm dep}$ that are consistent with those of both main sequence (MS) field galaxies and star forming galaxies from the comparison sample. However we find that the depletion time, normalized to the MS value, increases with increasing $r/r_{200}$, with a significance of $2.8\sigma$, which is ultimately due to a deficit of cluster core LIRGs with $\tau_{\rm dep}\gtrsim\tau_{\rm dep,MS}$. We suggest that a rapid exhaustion of the molecular gas reservoirs occurs in the cluster LIRGs and is effective in suppressing their star formation. This mechanism may explain the exponential decrease of the fraction of cluster LIRGs with cosmic time. The compression of the gas in LIRGs, possibly induced by intra-cluster medium shocks, may be responsible for the short depletion timescales, observed in a large fraction of cluster core LIRGs.


title: Macroscopic approach to N-qudit systems

abstract: We develop a general scheme for an analysis of macroscopic qudit systems: a) introduce a set of collective observables, which characterizes the macroscopic properties of qudits in an optimal way; b) construct projected $\tilde{Q}$-functions for $N$ qudit systems, containing full macroscopic information; c) propose a collective tomographic protocol both for a general and symmetric $N$-qudit states. The example of $N$-qutrit is analyzed in details and compared to $N$-qubit case


title: Unsupervised Adaptive Neural Network Regularization for Accelerated Radial Cine MRI

abstract: In this work, we propose an iterative reconstruction scheme (ALONE - Adaptive Learning Of NEtworks) for 2D radial cine MRI based on ground truth-free unsupervised learning of shallow convolutional neural networks. The network is trained to approximate patches of the current estimate of the solution during the reconstruction. By imposing a shallow network topology and constraining the $L_2$-norm of the learned filters, the network's representation power is limited in order not to be able to recover noise. Therefore, the network can be interpreted to perform a low dimensional approximation of the patches for stabilizing the inversion process. We compare the proposed reconstruction scheme to two ground truth-free reconstruction methods, namely a well known Total Variation (TV) minimization and an unsupervised adaptive Dictionary Learning (DIC) method. The proposed method outperforms both methods with respect to all reported quantitative measures. Further, in contrast to DIC, where the sparse approximation of the patches involves the solution of a complex optimization problem, ALONE only requires a forward pass of all patches through the shallow network and therefore significantly accelerates the reconstruction.


title: First attempts to model the dynamics of the Coronavirus outbreak 2020

abstract: Since the end of 2019 an outbreak of a new strain of coronavirus, called 2019--nCoV, is reported from China and later other parts of the world. Since January 21, WHO reports daily data on confirmed cases and deaths from both China and other countries. In this work we present some discrete and continuous models to discribe the disease dynamics in China and estimate the needed epidemiological parameters. Good agreement with the current dynamics has be found for both a discrete transmission model and a slightly modified SIR-model.


title: Ground states for the nonlinear Schr\"odinger equation under a general trapping potential

abstract: The classical Schr\"odinger equation with a harmonic trap potential $V(x)=|x|^2$, describing the quantum harmonic oscillator, has been studied quite extensively in the last twenty years. Its ground states are bell-shaped and unique, among localized positive solutions. In addition, they have been shown to be non-degenerate and (strongly) orbitally stable. All of these results, produced over the course of many publications and multiple authors, rely on ODE methods specifically designed for the Laplacian and the power function potential. In this article, we provide a wide generalization of these results. More specifically, we assume sub-Laplacian fractional dispersion and a very general form of the trapping potential $V$, with the driving linear operator in the form $H=(-\Delta)^s+V, 0<s\leq 1$. We show that the normalized waves of such semi-linear fractional Schr\"odinger equation exist, they are bell-shaped, provided that the non-linearity is of the form $|u|^{p-1} u, p<1+\frac{4 s}{n}$. In addition, we show that such waves are non-degenerate, and strongly orbitally stable. Most of these results are new even in the classical case $H=-\Delta+V$, where $V$ is a general trapping potential considered herein.