title: One Detector to Rule Them All: Towards a General Deepfake Attack Detection Framework

abstract: Deep learning-based video manipulation methods have become widely accessible to the masses. With little to no effort, people can quickly learn how to generate deepfake (DF) videos. While deep learning-based detection methods have been proposed to identify specific types of DFs, their performance suffers for other types of deepfake methods, including real-world deepfakes, on which they are not sufficiently trained. In other words, most of the proposed deep learning-based detection methods lack transferability and generalizability. Beyond detecting a single type of DF from benchmark deepfake datasets, we focus on developing a generalized approach to detect multiple types of DFs, including deepfakes from unknown generation methods such as DeepFake-in-the-Wild (DFW) videos. To better cope with unknown and unseen deepfakes, we introduce a Convolutional LSTM-based Residual Network (CLRNet), which adopts a unique model training strategy and explores spatial as well as the temporal information in deepfakes. Through extensive experiments, we show that existing defense methods are not ready for real-world deployment. Whereas our defense method (CLRNet) achieves far better generalization when detecting various benchmark deepfake methods (97.57% on average). Furthermore, we evaluate our approach with a high-quality DeepFake-in-the-Wild dataset, collected from the Internet containing numerous videos and having more than 150,000 frames. Our CLRNet model demonstrated that it generalizes well against high-quality DFW videos by achieving 93.86% detection accuracy, outperforming existing state-of-the-art defense methods by a considerable margin.


title: lr-Multisemigroups and Modal Convolution Algebras

abstract: We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr-multisemigroups introduced in this article generalises Schweizer and Sklar's function systems and object-free categories to a setting isomorphic to algebras of ternary relations as used in boolean algebras with operators and in substructural logics. Our results provide a generic construction recipe for weighted modal quantales from such multisemigroups. This is illustrated by many examples, ranging from modal algebras of weighted relations as used in fuzzy mathematics, category quantales in the tradition of category algebras or group rings, incidence algebras over partial orders, discrete and continuous weighted path algebras, weighted languages of pomsets with interfaces, and weighted languages associated with presimplicial and precubical sets. We also discuss how these results can be combined with previous ones for concurrent quantales and generalised to a setting that supports reasoning with stochastic matrices or probabilistic predicate transformers.


title: Stabilization of Stackelberg Game-Based Control Systems

abstract: In this paper, we are concerned with the stabilizatbility of Stackelberg game-based systems. In particular, two players are involved in the system where one is the follower to minimize the related cost function and the other is the leader to stabilize the system. The main contribution is to derive the necessary and sufficient condition for the stabilization of the game-based system. The key technique is to explicitly solve the forward and backward difference equations (FBDEs) based on the maximum principle and give the optimal feedback gain matrix of the leader by using the matrix maximum principle.


title: Coulomb effects in the decays $\Upsilon (4S) \rightarrow B\bar B$

abstract: A simple exactly solvable model is proposed for describing the decays $\Upsilon (4S) \rightarrow B^0\bar B^0$ and $\Upsilon (4S) \rightarrow B^+B^-$. Our predictions agree with available experimental data. Using this model, we analyze the Coulomb effects in the spectra of these decays. It is shown that the frequently used assumption of factorization of Coulomb effects is not fulfilled. The Coulomb interaction leads to the difference in the positions and heights of the peaks corresponding to the charged and neutral modes. As a result, the ratio of probability of $\Upsilon (4S)\rightarrow B^+B^-$ decay and $\Upsilon (4S) \rightarrow B^0\bar B^0$ decay is a nontrivial function of energy.


title: Stochastic Mutual Information Gradient Estimation for Dimensionality Reduction Networks

abstract: Feature ranking and selection is a widely used approach in various applications of supervised dimensionality reduction in discriminative machine learning. Nevertheless there exists significant evidence on feature ranking and selection algorithms based on any criterion leading to potentially sub-optimal solutions for class separability. In that regard, we introduce emerging information theoretic feature transformation protocols as an end-to-end neural network training approach. We present a dimensionality reduction network (MMINet) training procedure based on the stochastic estimate of the mutual information gradient. The network projects high-dimensional features onto an output feature space where lower dimensional representations of features carry maximum mutual information with their associated class labels. Furthermore, we formulate the training objective to be estimated non-parametrically with no distributional assumptions. We experimentally evaluate our method with applications to high-dimensional biological data sets, and relate it to conventional feature selection algorithms to form a special case of our approach.


title: Deep Insights of Deepfake Technology : A Review

abstract: Under the aegis of computer vision and deep learning technology, a new emerging techniques has introduced that anyone can make highly realistic but fake videos, images even can manipulates the voices. This technology is widely known as Deepfake Technology. Although it seems interesting techniques to make fake videos or image of something or some individuals but it could spread as misinformation via internet. Deepfake contents could be dangerous for individuals as well as for our communities, organizations, countries religions etc. As Deepfake content creation involve a high level expertise with combination of several algorithms of deep learning, it seems almost real and genuine and difficult to differentiate. In this paper, a wide range of articles have been examined to understand Deepfake technology more extensively. We have examined several articles to find some insights such as what is Deepfake, who are responsible for this, is there any benefits of Deepfake and what are the challenges of this technology. We have also examined several creation and detection techniques. Our study revealed that although Deepfake is a threat to our societies, proper measures and strict regulations could prevent this.


title: Generalized Kings and Single-Elimination Winners in Random Tournaments

abstract: Tournaments can be used to model a variety of practical scenarios including sports competitions and elections. A natural notion of strength of alternatives in a tournament is a generalized king: an alternative is said to be a $k$-king if it can reach every other alternative in the tournament via a directed path of length at most $k$. In this paper, we provide an almost complete characterization of the probability threshold such that all, a large number, or a small number of alternatives are $k$-kings with high probability in two random models. We show that, perhaps surprisingly, all changes in the threshold occur in the range of constant $k$, with the biggest change being between $k=2$ and $k=3$. In addition, we establish an asymptotically tight bound on the probability threshold for which all alternatives are likely able to win a single-elimination tournament under some bracket.


title: Feature Disentanglement in generating three-dimensional structure from two-dimensional slice with sliceGAN

abstract: Deep generative models are known to be able to model arbitrary probability distributions. Among these, a recent deep generative model, dubbed sliceGAN, proposed a new way of using the generative adversarial network (GAN) to capture the micro-structural characteristics of a two-dimensional (2D) slice and generate three-dimensional (3D) volumes with similar properties. While 3D micrographs are largely beneficial in simulating diverse material behavior, they are often much harder to obtain than their 2D counterparts. Hence, sliceGAN opens up many interesting directions of research by learning the representative distribution from 2D slices, and transferring the learned knowledge to generate arbitrary 3D volumes. However, one limitation of sliceGAN is that latent space steering is not possible. Hence, we combine sliceGAN with AdaIN to endow the model with the ability to disentangle the features and control the synthesis.


title: Lane Graph Estimation for Scene Understanding in Urban Driving

abstract: Lane-level scene annotations provide invaluable data in autonomous vehicles for trajectory planning in complex environments such as urban areas and cities. However, obtaining such data is time-consuming and expensive since lane annotations have to be annotated manually by humans and are as such hard to scale to large areas. In this work, we propose a novel approach for lane geometry estimation from bird's-eye-view images. We formulate the problem of lane shape and lane connections estimation as a graph estimation problem where lane anchor points are graph nodes and lane segments are graph edges. We train a graph estimation model on multimodal bird's-eye-view data processed from the popular NuScenes dataset and its map expansion pack. We furthermore estimate the direction of the lane connection for each lane segment with a separate model which results in a directed lane graph. We illustrate the performance of our LaneGraphNet model on the challenging NuScenes dataset and provide extensive qualitative and quantitative evaluation. Our model shows promising performance for most evaluated urban scenes and can serve as a step towards automated generation of HD lane annotations for autonomous driving.


title: High-accuracy time discretization of stochastic fractional diffusion equation

abstract: A high-accuracy time discretization is discussed to numerically solve the nonlinear fractional diffusion equation forced by a space-time white noise. The main purpose of this paper is to improve the temporal convergence rate by modifying the semi-implicit Euler scheme. The solution of the equation is only H\"older continuous in time, which is disadvantageous to improve the temporal convergence rate. Firstly, the system is transformed into an equivalent form having better regularity than the original one in time. But the regularity of nonlinear term remains unchanged. Then, combining Lagrange mean value theorem and independent increments of Brownian motion leads to a higher accuracy discretization of nonlinear term which ensures the implementation of the proposed time discretization scheme without loss of convergence rate. Our scheme can improve the convergence rate from ${\min\{\frac{\gamma}{2\alpha},\frac{1}{2}\}}$ to ${\min\{\frac{\gamma}{\alpha},1\}}$ in the sense of mean-squared $L^2$-norm. The theoretical error estimates are confirmed by extensive numerical experiments.


title: Skew-product dynamical systems for crossed product $C^*$-algebras and their ergodic properties

abstract: Starting from a discrete $C^*$-dynamical system $(\mathfrak{A}, \theta, \omega_o)$, we define and study most of the main ergodic properties of the crossed product $C^*$-dynamical system $(\mathfrak{A}\rtimes_\alpha\mathbb{Z}, \Phi_{\theta, u},\om_o\circ E)$, $E:\mathfrak{A}\rtimes_\alpha\mathbb{Z}\rightarrow\ga$ being the canonical conditional expectation of $\mathfrak{A}\rtimes_\alpha\mathbb{Z}$ onto $\mathfrak{A}$, provided $\a\in\aut(\ga)$ commute with the $*$-automorphism $\th$ up tu a unitary $u\in\ga$. Here, $\Phi_{\theta, u}\in\aut(\mathfrak{A}\rtimes_\alpha\mathbb{Z})$ can be considered as the fully noncommutative generalisation of the celebrated skew-product defined by H. Anzai for the product of two tori in the classical case.


title: Information recovery from evaporating black holes

abstract: We show that the apparent horizon and the region near $r=0$ of an evaporating charged, rotating black hole are timelike. It then follows that for black holes in nature, which invariably have some rotation, have a channel, via which classical or quantum information can escape to the outside, while the black hole shrinks in size. We discuss implications for the information loss problem.


title: Can we aggregate human intelligence? an approach for human centric aggregation using ordered weighted averaging operators

abstract: The primary objective of this paper is to present an approach for recommender systems that can assimilate ranking to the voters or rankers so that recommendation can be made by giving priority to experts suggestion over usual recommendation. To accomplish this, we have incorporated the concept of human-centric aggregation via Ordered Weighted Aggregation (OWA). Here, we are advocating ranked recommendation where rankers are assigned weights according to their place in the ranking. Further, the recommendation process which is presented here for the recommendation of books to university students exploits linguistic data summaries and Ordered Weighted Aggregation (OWA) technique. In the suggested approach, the weights are assigned in a way that it associates higher weights to best ranked university. The approach has been evaluated over eight different parameters. The superiority of the proposed approach is evident from the evaluation results. We claim that proposed scheme saves storage spaces required in traditional recommender systems as well as it does not need users prior preferences and hence produce a solution for cold start problem. This envisaged that the proposed scheme can be very useful in decision making problems, especially for recommender systems. In addition, it emphasizes on how human-centric aggregation can be useful in recommendation researches, and also it gives a new direction about how various human specific tasks can be numerically aggregated.


title: A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions

abstract: This paper addresses the problem of proposing a model of norms and a framework for automatically computing their violation or fulfilment. The proposed T-NORM model can be used to express abstract norms able to regulate classes of actions that should or should not be performed in a temporal interval. We show how the model can be used to formalize obligations and prohibitions and for inhibiting them by introducing permissions and exemptions. The basic building blocks for norm specification consists of rules with suitably nested components. The activation condition, the regulated actions, and the temporal constrains of norms are specified using the W3C Web Ontology Language (OWL 2). Thanks to this choice, it is possible to use OWL reasoning for computing the effects that the logical implication between actions has on norms fulfilment or violation. The operational semantics of the T-NORM model is specified by providing an unambiguous procedure for translating every norm and every exception into production rules.


title: Designing Games for Enabling Co-creation with Social Agents

abstract: Digital tools have long been used for supporting children's creativity. Digital games that allow children to create artifacts and express themselves in a playful environment serve as efficient Creativity Support Tools (or CSTs). Creativity is also scaffolded by social interactions with others in their environment. In our work, we explore the use of game-based interactions with a social agent to scaffold children's creative expression as game players. We designed three collaborative games and play-tested with 146 5-10 year old children played with the social robot Jibo, which affords three different kinds of creativity: verbal creativity, figural creativity and divergent thinking during creative problem solving. In this paper, we reflect on game mechanic practices that we incorporated to design for stimulating creativity in children. These strategies may be valuable to game designers and HCI researchers designing games and social agents for supporting children's creativity.


title: One-shot learning for acoustic identification of bird species in non-stationary environments

abstract: This work introduces the one-shot learning paradigm in the computational bioacoustics domain. Even though, most of the related literature assumes availability of data characterizing the entire class dictionary of the problem at hand, that is rarely true as a habitat's species composition is only known up to a certain extent. Thus, the problem needs to be addressed by methodologies able to cope with non-stationarity. To this end, we propose a framework able to detect changes in the class dictionary and incorporate new classes on the fly. We design an one-shot learning architecture composed of a Siamese Neural Network operating in the logMel spectrogram space. We extensively examine the proposed approach on two datasets of various bird species using suitable figures of merit. Interestingly, such a learning scheme exhibits state of the art performance, while taking into account extreme non-stationarity cases.


title: Adversarial Example Detection for DNN Models: A Review and Experimental Comparison

abstract: Deep learning (DL) has shown great success in many human-related tasks, which has led to its adoption in many computer vision based applications, such as security surveillance systems, autonomous vehicles and healthcare. Such safety-critical applications have to draw their path to success deployment once they have the capability to overcome safety-critical challenges. Among these challenges are the defense against or/and the detection of the adversarial examples (AEs). Adversaries can carefully craft small, often imperceptible, noise called perturbations to be added to the clean image to generate the AE. The aim of AE is to fool the DL model which makes it a potential risk for DL applications. Many test-time evasion attacks and countermeasures,i.e., defense or detection methods, are proposed in the literature. Moreover, few reviews and surveys were published and theoretically showed the taxonomy of the threats and the countermeasure methods with little focus in AE detection methods. In this paper, we focus on image classification task and attempt to provide a survey for detection methods of test-time evasion attacks on neural network classifiers. A detailed discussion for such methods is provided with experimental results for eight state-of-the-art detectors under different scenarios on four datasets. We also provide potential challenges and future perspectives for this research direction.


title: Credibility in Second-Price Auctions: An Experimental Test

abstract: We provide the first direct test of how the credibility of an auction format affects bidding behavior and final outcomes. To do so, we conduct a series of laboratory experiments where the role of the seller is played by a human subject who receives the revenue from the auction and who (depending on the treatment) has agency to determine the outcome of the auction. Contrary to theoretical predictions, we find that the non-credible second-price auction fails to converge to the first-price auction. We provide a behavioral explanation for our results based on sellers' aversion to rule-breaking, which is confirmed by an additional experiment.


title: iOI: an Iterative Orbital Interaction Approach for Solving the Self-Consistent Field Problem

abstract: An iterative orbital interaction (iOI) approach is proposed to solve, in a bottom-up fashion, the self-consistent field problem in quantum chemistry. While it belongs grossly to the family of fragment-based quantum chemical methods, iOI is distinctive in that (1) it divides and conquers not only the energy but also the wave function, and that (2) the subsystems sizes are automatically determined by successively merging neighboring small subsystems until they are just enough for converging the wave function to a given accuracy. Orthonormal occupied and virtual localized molecular orbitals are obtained in a natural manner, which can be used for all post-SCF purposes.


title: On the Boolean dimension of a graph and other related parameters

abstract: We present the Boolean dimension of a graph, we relate it with the notions of inner, geometric and symplectic dimensions, and with the rank and minrank of a graph. We obtain an exact formula for the Boolean dimension of a tree in terms of a certain star decomposition. We relate the Boolean dimension with the inversion index of a tournament.


title: Bright synchrotron radiation from relativistic self-trapping of a short laser pulse in near-critical density plasma

abstract: In a dense gas plasma a short laser pulse propagates in relativistic self-trapping mode, which enables effective conversion of laser energy to the accelerated electrons. This regime sustains effective loading which maximizes the total charge of the accelerating electrons, that provides a large amount of betatron radiation. The 3D particle-in-cell simulations demonstrate how such regime triggers X-ray generation with 0.1-1 MeV photon energies, low divergence, and high brightness. It is shown that a 135 TW laser can be used to produce $3\times 10^{10}$ photons of $>10$ keV energy and a 1.2 PW laser makes it possible generating about $10^{12}$ photons in the same energy range. The laser-to-gammas energy conversion efficiency is up to $10^{-4}$ for the high-energy photons, $\sim 100$ keV, while the conversion efficiency to the entire keV-range x-rays is estimated to be a few tenths of a percent.


title: A structural operational semantics for interactions with a look at loops

abstract: Message Sequence Charts & Sequence Diagrams are graphical models that represent the behavior of distributed and concurrent systems via the scheduling of discrete and local emission and reception events. We propose an Interaction Language (IL) to formalize such models, defined as a term algebra which includes strict and weak sequencing, alternative and parallel composition and four kinds of loops. This IL is equipped with a denotational-style semantics associating a set of traces (sequences of observed events) to each interaction. We then define a structural operational semantics in the style of process algebras and formally prove the equivalence of both semantics.


title: Density functional simulations of pressurized Mg-Zn and Al-Zn alloys

abstract: The Mg-Zn and Al-Zn binary alloys have been investigated theoretically under static isotropic pressure. The stable phases of these binaries on both initially hexagonal-close-packed (HCP) and face-centered-cubic (FCC) lattices have been determined by utilizing an iterative approach that uses a configurational cluster expansion method, Monte Carlo search algorithm, and density functional theory (DFT) calculations. Based on 64-atom models, it is shown that the most stable phases of the Mg-Zn binary alloy under ambient condition are $\rm MgZn_3$, $\rm Mg_{19}Zn_{45}$, $\rm MgZn$, and $\rm Mg_{34}Zn_{30}$ for the HCP, and $\rm MgZn_3$ and $\rm MgZn$ for the FCC lattice, whereas the Al-Zn binary is energetically unfavorable throughout the entire composition range for both the HCP and FCC lattices under all conditions. By applying an isotropic pressure in the HCP lattice, $\rm Mg_{19}Zn_{45}$ turns into an unstable phase at P$\approx$$10$~GPa, a new stable phase $\rm Mg_{3}Zn$ appears at P$\gtrsim$$20$~GPa, and $\rm Mg_{34}Zn_{30}$ becomes unstable for P$\gtrsim$$30$~GPa. For FCC lattice, the $\rm Mg_{3}Zn$ phase weakly touches the convex hull at P$\gtrsim$$20$~GPa while the other stable phases remain intact up to $\approx$$120$~GPa. Furthermore, making use of the obtained DFT results, bulk modulus has been computed for several compositions up to pressure values of the order of $\approx$$120$~GPa. The findings suggest that one can switch between $\rm Mg$-rich and $\rm Zn$-rich early-stage clusters simply by applying external pressure. $\rm Zn$-rich alloys and precipitates are more favorable in terms of stiffness and stability against external deformation.


title: Better than the Best: Gradient-based Improper Reinforcement Learning for Network Scheduling

abstract: We consider the problem of scheduling in constrained queueing networks with a view to minimizing packet delay. Modern communication systems are becoming increasingly complex, and are required to handle multiple types of traffic with widely varying characteristics such as arrival rates and service times. This, coupled with the need for rapid network deployment, render a bottom up approach of first characterizing the traffic and then devising an appropriate scheduling protocol infeasible. In contrast, we formulate a top down approach to scheduling where, given an unknown network and a set of scheduling policies, we use a policy gradient based reinforcement learning algorithm that produces a scheduler that performs better than the available atomic policies. We derive convergence results and analyze finite time performance of the algorithm. Simulation results show that the algorithm performs well even when the arrival rates are nonstationary and can stabilize the system even when the constituent policies are unstable.


title: Autoregressive Hidden Markov Models with partial knowledge on latent space applied to aero-engines prognostics

abstract: [This paper was initially published in PHME conference in 2016, selected for further publication in International Journal of Prognostics and Health Management.] This paper describes an Autoregressive Partially-hidden Markov model (ARPHMM) for fault detection and prognostics of equipments based on sensors' data. It is a particular dynamic Bayesian network that allows to represent the dynamics of a system by means of a Hidden Markov Model (HMM) and an autoregressive (AR) process. The Markov chain assumes that the system is switching back and forth between internal states while the AR process ensures a temporal coherence on sensor measurements. A sound learning procedure of standard ARHMM based on maximum likelihood allows to iteratively estimate all parameters simultaneously. This paper suggests a modification of the learning procedure considering that one may have prior knowledge about the structure which becomes partially hidden. The integration of the prior is based on the Theory of Weighted Distributions which is compatible with the Expectation-Maximization algorithm in the sense that the convergence properties are still satisfied. We show how to apply this model to estimate the remaining useful life based on health indicators. The autoregressive parameters can indeed be used for prediction while the latent structure can be used to get information about the degradation level. The interest of the proposed method for prognostics and health assessment is demonstrated on CMAPSS datasets.


title: Detecting Deletions and Insertions in Concatenated Strings with Optimal Redundancy

abstract: We study codes that can detect the exact number of deletions and insertions in concatenated binary strings. We construct optimal codes for the case of detecting up to $\del$ deletions. We prove the optimality of these codes by deriving a converse result which shows that the redundancy of our codes is asymptotically optimal in $\del$ among all families of deletion detecting codes, and particularly optimal among all block-by-block decodable codes. For the case of insertions, we construct codes that can detect up to $2$ insertions in each concatenated binary string.


title: Measurement-Induced Collective Vibrational Quantum Coherence under Spontaneous Raman Scattering in a Liquid

abstract: Spontaneous vibrational Raman scattering is a ubiquitous form of light-matter interaction whose description necessitates quantization of the electromagnetic field. It is usually considered as an incoherent process because the scattered field lacks any predictable phase relationship with the incoming field. When probing an ensemble of molecules, the question therefore arises: What quantum state should be used to describe the molecular ensemble following spontaneous Stokes scattering? We experimentally address this question by measuring time-resolved Stokes--anti-Stokes two-photon coincidences on a molecular liquid consisting of several sub-ensembles with slightly different vibrational frequencies. When spontaneously scattered Stokes photons and subsequent anti-Stokes photons are detected into a single spatiotemporal mode, the observed dynamics is inconsistent with a statistical mixture of individually excited molecules. Instead, we show that the data are reproduced if Stokes--anti-Stokes correlations are mediated by a collective vibrational quantum, i.e. a coherent superposition of all molecules interacting with light. Our results demonstrate that the degree of coherence in the vibrational state of the liquid is not an intrinsic property of the material system, but rather depends on the optical excitation and detection geometry.


title: Integrated spiral waveguide amplifiers on erbium-doped thin-film lithium niobate

abstract: Integrated optical amplifiers and light sources are of great significance for photonic integrated circuits (PICs) and have attracted many research interests. Doping rare-earth ions in materials as a solution to realize efficient optical amplifiers and lasing has been investigated a lot. We investigate the erbium-doped lithium niobate on insulator (LNOI). Here, spiral waveguide amplifiers were fabricated on a 1-mol\% erbium-doped LNOI by CMOS-compatible technique. We demonstrated a maximum internal net gain of 8.3 dB at 1530 nm indicating a net gain per unit length of 15.6 dB/cm with a compact spiral waveguide of 5.3 mm length and $ \sim $0.06 mm$ ^{2} $ footprint. The erbium-doped integrated lithium niobate spiral waveguide amplifiers would pave the way in the PICs of the lithium niobate platform, especially in achieving efficient integration of active and passive devices on a lithium niobate thin film, which will make full use of its excellent physical properties such as remarkable photoacoustic, electro-optic, and piezoelectric characteristics.


title: Child-Robot Interaction Studies During COVID-19 Pandemic

abstract: The coronavirus disease (COVID-19) pandemic affected our lives deeply, just like everyone else, the children also suffered from the restrictions due to COVID-19 affecting their education and social interactions with others, being restricted from play areas and schools for a long time. Although social robots provide a promising solution to support children in their education, healthcare and social interaction with others, the precautions due to COVID-19 also introduced new constraints in the social robotics research. In this paper, we will discuss the benefits and challenges encountered in child-robot interaction due to COVID-19 based on two user studies. The first study involves children with hearing disabilities, and Pepper humanoid robot to support their audiometry tests. The second study includes the child-sized humanoid robot Kaspar and interaction games with children with autism spectrum disorder (ASD).


title: Lecture Notes on Voting Theory

abstract: These lecture notes have been developed for the course Computational Social Choice of the Artificial Intelligence MSc programme at the University of Groningen. They cover mathematical and algorithmic aspects of voting theory.


title: Global Vision of Precision Measurements

abstract: I summarize recent developments in electroweak precision physics and global fits. Expectations for future measurements, both at lower energies and the energy frontier, are also discussed.


title: Entropy and Topology of Regular Black Holes

abstract: We calculate the entropy of spherically symmetric regular black holes by the path integral and Noether-charge method. Both methods provide an evidence that the entropy of regular black holes should be proportional to quarter of area, and there is no violation of entropy/area law at all.


title: Dynamics of coupled modified Rossler oscillators: the role of nonisochronicity parameter

abstract: The amplitude-dependent frequency of the oscillations, termed \emph{nonisochronicity}, is one of the essential characteristics of nonlinear oscillators. In this paper, the dynamics of the Rossler oscillator in the presence of nonisochronicity is examined. In particular, we explore the appearance of a new fixed point and the emergence of a coexisting limit-cycle and quasiperiodic attractors. We also describe the sequence of bifurcations leading to synchronized, desynchronized attractors and oscillation death states in the coupled Rossler oscillators as a function of the strength of nonisochronicity and coupling parameters. Further, we characterize the multistability of the coexisting attractors by plotting the basins of attraction. Our results open up the possibilities of understanding the emergence of coexisting attractors, and into a qualitative change of the collective states in coupled nonlinear oscillators in the presence of nonisochronicity.


title: Generative Adversarial Networks via a Composite Annealing of Noise and Diffusion

abstract: Generative adversarial network (GAN) is a framework for generating fake data using a set of real examples. However, GAN is unstable in the training stage. In order to stabilize GANs, the noise injection has been used to enlarge the overlap of the real and fake distributions at the cost of increasing variance. The diffusion (or smoothing) may reduce the intrinsic underlying dimensionality of data but it suppresses the capability of GANs to learn high-frequency information in the training procedure. Based on these observations, we propose a data representation for the GAN training, called noisy scale-space (NSS), that recursively applies the smoothing with a balanced noise to data in order to replace the high-frequency information by random data, leading to a coarse-to-fine training of GANs. We experiment with NSS using DCGAN and StyleGAN2 based on benchmark datasets in which the NSS-based GANs outperforms the state-of-the-arts in most cases.


title: Broadband study of BL Lac during flare of 2020: Spectral evolution and emergence of HBL component

abstract: BL Lacertae (BL Lac) is categorized as TeV blazar and considered as a possible source of astrophysical neutrinos. In 2020, the brightest X-ray flare ever detected from it. A detailed study can answer many puzzling questions related to multiband emissions and fast-flux variability often seen in this kind of source. We have performed the temporal and spectral analysis of the brightest flare. The variability is characterized by the fractional variability amplitude and the variability time. We found that the source has crossed all its previous limits of flux and reached the maximum ever seen from it in optical and X-rays. It is highly variable in X-rays with fractional variability above 100$\%$ (1.8397$\pm$0.0181) and the fastest variability time of 11.28 hours within a day. The broadband light curves correlation with X-ray suggest a time lag of one day. A broadband SED modeling is pursued to understand the possible physical mechanisms responsible for broadband emission. Modeling requires two emission regions located at two different sites to explain the low and high flux states. A significant spectral change is observed in the optical-UV and X-ray spectrum during the high state, which eventually leads to shifts in the location of the synchrotron peak towards higher energy, suggesting an emergence of a new HBL component.


title: Three-dimensionally Enlarged Photoelectrodes by a Protogenetic Inclusion of Vertically Aligned Carbon Nanotubes into CH3NH3PbBr3 Single Crystals

abstract: We demonstrate that single crystals of methylammonium lead bromide (MAPbBr3) could be grown directly on vertically aligned carbon nanotube (VACNT) forests. The fast-growing MAPbBr3 single crystals engulfed the protogenetic inclusions in the form of individual CNTs, thus resulting in a three-dimensionally enlarged photosensitive interface. Photodetector devices were obtained, detecting low light intensities (~20 nW) from UV range to 550 nm. Moreover, a photocurrent was recorded at zero external bias voltage which points to the plausible formation of a p-n junction resulting from interpenetration of MAPbBr3 single crystals into the VACNT forest. This reveals that vertically aligned CNTs can be used as electrodes in operationally stable perovskite-based optoelectronic devices and can serve as a versatile platform for future selective electrode development.


title: Asymptotics of time-varying processes in continuous-time using locally stationary approximations

abstract: We introduce a general theory on stationary approximations for locally stationary continuous-time processes. Based on the stationary approximation, we use $\theta$-weak dependence to establish laws of large numbers and central limit type results under different observation schemes. Hereditary properties for a large class of finite and infinite memory transformations show the flexibility of the developed theory. Sufficient conditions for the existence of stationary approximations for time-varying L\'evy-driven state space models are derived and compared to existing results. We conclude with comprehensive results on the asymptotic behavior of the first and second order localized sample moments of time-varying L\'evy-driven state space models.


title: Bayesian Inference of a Dependent Competing Risk Data

abstract: Analysis of competing risks data plays an important role in the lifetime data analysis. Recently Feizjavadian and Hashemi (Computational Statistics and Data Analysis, vol. 82, 19-34, 2015) provided a classical inference of a competing risks data set using four-parameter Marshall-Olkin bivariate Weibull distribution when the failure of an unit at a particular time point can happen due to more than one cause. The aim of this paper is to provide the Bayesian analysis of the same model based on a very flexible Gamma-Dirichlet prior on the scale parameters. It is observed that the Bayesian inference has certain advantages over the classical inference in this case. We provide the Bayes estimates of the unknown parameters and the associated highest posterior density credible intervals based on Gibbs sampling technique. We further consider the Bayesian inference of the model parameters assuming partially ordered Gamma-Dirichlet prior on the scale parameters when one cause is more severe than the other cause. We have extended the results for different censoring schemes also.


title: Light-Emitting Electrochemical Cells of Single Crystal Hybrid Halide Perovskite with Vertically Aligned Carbon Nanotubes Contacts

abstract: Based on the reported ion migration under electric field in hybrid lead halide perovskites we have developed a bright, light emitting electrochemical cell with CH3NH3PbBr3 single crystals directly grown on vertically aligned carbon nanotube (VACNT) forests as contact electrodes. Under the applied electric field, charged ions in the crystal drift and accumulate in the vicinity of the electrodes, resulting in an in operando formed p-i-n heterojunction. The decreased interface energy barrier and the strong charge injection due to the CNT tip enhanced electric field, result in a bright green light emission up to 1800 cd/m2 at room temperature (average = 60 cd/m2). Beyond the light emission, this original device architecture points to the possibility of implementing vertically aligned CNTs as electrodes in operationally-stable perovskite-based optoelectronic devices.


title: Ultrasensitive 3D Aerosol-Jet-Printed Perovskite X-Ray Photodetector

abstract: X-ray photon detection is important for a wide range of applications. The highest demand, however, comes from medical imaging, which requires cost-effective, high-resolution detectors operating at low photon flux, therefore stimulating the search for novel materials and new approaches. Recently, hybrid halide perovskite CH3NH3PbI3 (MAPbI3) has attracted considerable attention due to its advantageous optoelectronic properties and low fabrication costs. The presence of heavy atoms, providing a high scattering cross-section for photons, makes this material a perfect candidate for X-ray detection. Despite the already-successful demonstrations of efficiency in detection, its integration into standard microelectronics fabrication processes is still pending. Here, we demonstrate a promising method for building X-ray detector units by 3D aerosol jet printing with a record sensitivity of 2.2 x 108 {\mu}C Gyair-1cm-2 when detecting 8 keV photons at dose-rates below 1 Gy/s (detection limit 0.12 Gy/s), a four-fold improvement on the best-in-class devices. An introduction of MAPbI3-based detection into medical imaging would significantly reduce health hazards related to the strongly ionizing X-rays photons.


title: On the Adversarial Robustness of Quantized Neural Networks

abstract: Reducing the size of neural network models is a critical step in moving AI from a cloud-centric to an edge-centric (i.e. on-device) compute paradigm. This shift from cloud to edge is motivated by a number of factors including reduced latency, improved security, and higher flexibility of AI algorithms across several application domains (e.g. transportation, healthcare, defense, etc.). However, it is currently unclear how model compression techniques may affect the robustness of AI algorithms against adversarial attacks. This paper explores the effect of quantization, one of the most common compression techniques, on the adversarial robustness of neural networks. Specifically, we investigate and model the accuracy of quantized neural networks on adversarially-perturbed images. Results indicate that for simple gradient-based attacks, quantization can either improve or degrade adversarial robustness depending on the attack strength.


title: Phase and amplitude synchronisation in power-grid frequency fluctuations in the Nordic Grid

abstract: Monitoring and modelling the power grid frequency is key to ensuring stability in the electrical power system. Many tools exist to investigate the detailed deterministic dynamics and especially the bulk behaviour of the frequency. However, far less attention has been paid to its stochastic properties, and there is a need for a cohesive framework that couples both short-time scale fluctuations and bulk behaviour. Moreover, commonly assumed uncorrelated stochastic noise is predominantly employed in modelling in energy systems. In this publication, we examine the stochastic properties of six synchronous power-grid frequency recording with high-temporal resolution of the Nordic Grid from September 2013, focusing on the increments of the frequency recordings. We show that these increments follow non-Gaussian statistics and display spatial and temporal correlations. Furthermore, we report two different physical synchronisation phenomena: a very short timescale phase synchronisation ($<2\,$s) followed by a slightly larger timescale amplitude synchronisation ($2\,$s-$5\,$s). Overall, these results provide guidance on how to model fluctuations in power systems.

categories: physics.soc-ph cs.SY eess.SY nlin.AO physics.data-an


title: The kinetics and its turnover of Hawking-Page phase transition under the black hole evaporation

abstract: The thermodynamics and the kinetics of Hawking-Page phase transition were studied previously based on the free energy landscape. The AdS black hole can evaporate if imposing the absorbing boundary conditions at infinity. We suggest that the kinetics of Hawking-Page phase transition should be governed by the reaction-diffusion equation, where the Hawking evaporation plays the role of the reaction on the background of the free energy landscape. By calculating the mean first passage time from the large black hole phase to the thermal gas phase, we show that the phase transition can occur more easily under the Hawking radiation. In particular, a kinetic turnover is observed when increasing the ensemble temperature or the frictions. This kinetic turnover can be viewed as the dynamical phase transition to identify the time scale where Hawking evaporation process is comparable to Hawking-Page phase transition.


title: Application of Deep Convolutional Neural Networks for automated and rapid identification and characterization of thin cracks in SHCCs

abstract: Previous research has showcased that the characterization of surface cracks is one of the key steps towards understanding the durability of strain hardening cementitious composites (SHCCs). Under laboratory conditions, surface crack statistics can be obtained from images of specimen surfaces through manual inspection or image processing techniques. Since these techniques require optimal lighting conditions, proper surface treatment, and prior (manual) selection of the correct region for proper inference, they are strenuous and time-consuming. Through this work, we explored and tailored deep convolutional networks (DCCNs) for the rapid characterization of cracks in SHCC from various kinds of photographs. The results from the controlled study suggest that the inference ability of the tailored DCCN (TDCNN) is quite good, resilient against epistemic uncertainty, and tunable for completely independent but adverse observations. From the crack pattern computed using TDCCN, average crack width (ACW) and crack density (CD) can be calculated to facilitate durability design and conditional assessment in a practical environment.


title: Normalization of regressor excitation as a part of dynamic regressor extension and mixing procedure

abstract: The method of excitation normalization of the regressor, which is used in the estimation loop to solve the plant identification problem, is proposed. It is based on the dynamic regressor extension and mixing procedure. Its application allows to obtain the same upper bound of the parameter identification error for the scalar regressors with different excitation level, using a constant value of the adaptation rate for all of them. This fact is a significant advantage from the practical point of view. Comparison of the developed method with the known one of the regressor amplitude normalization is conducted. It is shown that the classical approach does not have the above-stated property. To validate the theoretical conclusions made, the results of the comparative mathematical modeling of three loops are presented: 1) the classical gradient one, 2) the one with the normalization of the regressor amplitude, 3) the proposed one with the normalization of the regressor excitation.


title: Time minimization problem on the group of motions of a plane with admissible control in a half-disk

abstract: We study a time minimization problem on the group of motions of a plane with admissible control in a half-disk. The considered control system describes a model of a car that can move forward on a plane and turn in place. Optimal trajectories of this system are used in image processing for the detection of salient lines. In particular, such trajectories are used in the analysis of medical images when searching for blood vessels in photos of the human retina. The problem is of interest in geometric control theory as a model example in which the set of admissible controls contains zero at the boundary. We prove complete controllability and the existence of optimal trajectories. By analyzing the Hamiltonian system of Pontryagin maximum principle we derive explicit formulas for extremal controls and trajectories. The optimality of extremals is partially investigated. The structure of optimal synthesis is described.


title: Matrix completion based on Gaussian parameterized belief propagation

abstract: We develop a message-passing algorithm for noisy matrix completion problems based on matrix factorization. The algorithm is derived by approximating message distributions of belief propagation with Gaussian distributions that share the same first and second moments. We also derive a memory-friendly version of the proposed algorithm by applying a perturbation treatment commonly used in the literature of approximate message passing. In addition, a damping technique, which is demonstrated to be crucial for optimal performance, is introduced without computational strain, and the relationship to the message-passing version of alternating least squares, a method reported to be optimal in certain settings, is discussed. Experiments on synthetic datasets show that while the proposed algorithm quantitatively exhibits almost the same performance under settings where the earlier algorithm is optimal, it is advantageous when the observed datasets are corrupted by non-Gaussian noise. Experiments on real-world datasets also emphasize the performance differences between the two algorithms.


title: JAS-GAN: Generative Adversarial Network Based Joint Atrium and Scar Segmentations on Unbalanced Atrial Targets

abstract: Automated and accurate segmentations of left atrium (LA) and atrial scars from late gadolinium-enhanced cardiac magnetic resonance (LGE CMR) images are in high demand for quantifying atrial scars. The previous quantification of atrial scars relies on a two-phase segmentation for LA and atrial scars due to their large volume difference (unbalanced atrial targets). In this paper, we propose an inter-cascade generative adversarial network, namely JAS-GAN, to segment the unbalanced atrial targets from LGE CMR images automatically and accurately in an end-to-end way. Firstly, JAS-GAN investigates an adaptive attention cascade to automatically correlate the segmentation tasks of the unbalanced atrial targets. The adaptive attention cascade mainly models the inclusion relationship of the two unbalanced atrial targets, where the estimated LA acts as the attention map to adaptively focus on the small atrial scars roughly. Then, an adversarial regularization is applied to the segmentation tasks of the unbalanced atrial targets for making a consistent optimization. It mainly forces the estimated joint distribution of LA and atrial scars to match the real ones. We evaluated the performance of our JAS-GAN on a 3D LGE CMR dataset with 192 scans. Compared with the state-of-the-art methods, our proposed approach yielded better segmentation performance (Average Dice Similarity Coefficient (DSC) values of 0.946 and 0.821 for LA and atrial scars, respectively), which indicated the effectiveness of our proposed approach for segmenting unbalanced atrial targets.


title: From Veltman's conditions to Finite Unification

abstract: First we review Veltman's suggestion to attack the naturalness problem in the Standard model by requiring absence of quadratic divergences and the resulting mass formula. Then we emphasise the influence of Veltman's suggestion in strengthening the belief that supersymmetry is the natural playground for solving the problem of quadratic divergences. Going further, we recall few sporadic suggestions concerning the cancellation of the logarithmic divergences too, which in the framework of supersymmetry has led to the construction of all-loop Finite Theories with the use of the idea of reduction of couplings. Eventually, we concentrate on a specific Finite Unified Theory and its successful predictions for the top and Higgs mass, among others, and the prospects of its final justification in future collider searches.


title: Inversion-free feedforward hysteresis control using Preisach operator

abstract: We introduce a new inversion-free feedforward hysteresis control using the Preisach model. The feedforward scheme has a high-gain integral loop structure with Preisach hysteresis operator in negative feedback. This allows obtaining a dynamic quantity which corresponds to the inverse hysteresis output, as the loop error tends towards zero for a sufficiently high feedback gain. By analyzing the loop sensitivity function with hysteresis that acts as a state-varying phase lag, we demonstrate the achievable bandwidth and accuracy of the proposed control method. Remarkable fact is that the control bandwidth is theoretically infinite, provided the Preisach operator in feedback can be implemented in a way to ensure the $\mathcal{C}^0$ continuous hysteresis output. Numerical control examples with the Preisach hysteresis model in differential form are presented.


title: Equivariant triangulations of tori of compact Lie groups and hyperbolic extension to non-crystallographic Coxeter groups

abstract: Given a simple connected compact Lie group $K$ and a maximal torus $T$ of $K$, the Weyl group $W=N_K(T)/T$ naturally acts on $T$. First, we use the combinatorics of the (extended) affine Weyl group to provide an explicit $W$-equivariant triangulation of $T$. We describe the associated $W$-dg-ring. For a non-crystallographic Coxeter group, using compact hyperbolic extensions rather than affine ones, we construct a compact $W$-manifold $\mathbf{T}(W)$, which is an analogue of a torus for $W$. We exhibit a $W$-equivariant triangulation of $\mathbf{T}(W)$ and compute the associated $W$-dg-ring. Also, we derive its homology representation.


title: An application of discrete-time SEIR model to the COVID-19 spread

abstract: The Susceptible-Exposed-Infectious-Recovered (SEIR) model is applied in several countries to ascertain the spread of the coronavirus disease 2019 (COVID-19). We consider discrete-time SEIR epidemic model in a closed system which does not account for births or deaths, total population size under consideration is constant. This dynamical system generated by a non-linear evolution operator depending on four parameters. Under some conditions on parameters we reduce the evolution operator to a quadratic stochastic operator (QSO) which maps 3-dimensional simplex to itself. We show that the QSO has uncountable set of fixed points (all laying on the boundary of the simplex). It is shown that all trajectories of the dynamical system (generated by the QSO) of the SEIR model are convergent (i.e. the QSO is regular). Moreover, we discuss the efficiency of the model for Uzbekistan.


title: MRCBert: A Machine Reading ComprehensionApproach for Unsupervised Summarization

abstract: When making an online purchase, it becomes important for the customer to read the product reviews carefully and make a decision based on that. However, reviews can be lengthy, may contain repeated, or sometimes irrelevant information that does not help in decision making. In this paper, we introduce MRCBert, a novel unsupervised method to generate summaries from product reviews. We leverage Machine Reading Comprehension, i.e. MRC, approach to extract relevant opinions and generate both rating-wise and aspect-wise summaries from reviews. Through MRCBert we show that we can obtain reasonable performance using existing models and transfer learning, which can be useful for learning under limited or low resource scenarios. We demonstrated our results on reviews of a product from the Electronics category in the Amazon Reviews dataset. Our approach is unsupervised as it does not require any domain-specific dataset, such as the product review dataset, for training or fine-tuning. Instead, we have used SQuAD v1.1 dataset only to fine-tune BERT for the MRC task. Since MRCBert does not require a task-specific dataset, it can be easily adapted and used in other domains.


title: Simultaneous super-resolution and motion artifact removal in diffusion-weighted MRI using unsupervised deep learning

abstract: Diffusion-weighted MRI is nowadays performed routinely due to its prognostic ability, yet the quality of the scans are often unsatisfactory which can subsequently hamper the clinical utility. To overcome the limitations, here we propose a fully unsupervised quality enhancement scheme, which boosts the resolution and removes the motion artifact simultaneously. This process is done by first training the network using optimal transport driven cycleGAN with stochastic degradation block which learns to remove aliasing artifacts and enhance the resolution, then using the trained network in the test stage by utilizing bootstrap subsampling and aggregation for motion artifact suppression. We further show that we can control the trade-off between the amount of artifact correction and resolution by controlling the bootstrap subsampling ratio at the inference stage. To the best of our knowledge, the proposed method is the first to tackle super-resolution and motion artifact correction simultaneously in the context of MRI using unsupervised learning. We demonstrate the efficiency of our method by applying it to both quantitative evaluation using simulation study, and to in vivo diffusion-weighted MR scans, which shows that our method is superior to the current state-of-the-art methods. The proposed method is flexible in that it can be applied to various quality enhancement schemes in other types of MR scans, and also directly to the quality enhancement of apparent diffusion coefficient maps.


title: Enhancing Fine-Grained Classification for Low Resolution Images

abstract: Low resolution fine-grained classification has widespread applicability for applications where data is captured at a distance such as surveillance and mobile photography. While fine-grained classification with high resolution images has received significant attention, limited attention has been given to low resolution images. These images suffer from the inherent challenge of limited information content and the absence of fine details useful for sub-category classification. This results in low inter-class variations across samples of visually similar classes. In order to address these challenges, this research proposes a novel attribute-assisted loss, which utilizes ancillary information to learn discriminative features for classification. The proposed loss function enables a model to learn class-specific discriminative features, while incorporating attribute-level separability. Evaluation is performed on multiple datasets with different models, for four resolutions varying from 32x32 to 224x224. Different experiments demonstrate the efficacy of the proposed attributeassisted loss for low resolution fine-grained classification.


title: Phase Space Formulation of Quantum Mechanics as an Hidden Variables Theory

abstract: An hidden variable (hv) theory is a theory that allows globally dispersion free ensembles. We demonstrate that the Phase Space formulation of Quantum Mechanics (QM) is an hv theory with the position q, and momentum p as the hv. Comparing the Phase space and Hilbert space formulations of QM we identify the assumption that led von Neumann to the Hilbert space formulation of QM which, in turn, precludes global dispersion free ensembles within the theory. The assumption, dubbed I, is: "If a physical quantity $\mathbf{A}$ has an operator $\hat{A}$ then $f(\mathbf{A})$ has the operator $f(\hat{A})$". This assumption does not hold within the Phase Space formulation of QM. The hv interpretation of the Phase space formulation provides novel insight into the interrelation between dispersion and non commutativity of position and momentum (operators) within the Hilbert space formulation of QM and mitigates the criticism against von Neumann's no hidden variable theorem by, virtually, the consensus.


title: FedProto: Federated Prototype Learning across Heterogeneous Clients

abstract: Heterogeneity across clients in federated learning (FL) usually hinders the optimization convergence and generalization performance when the aggregation of clients' knowledge occurs in the gradient space. For example, clients may differ in terms of data distribution, network latency, input/output space, and/or model architecture, which can easily lead to the misalignment of their local gradients. To improve the tolerance to heterogeneity, we propose a novel federated prototype learning (FedProto) framework in which the clients and server communicate the abstract class prototypes instead of the gradients. FedProto aggregates the local prototypes collected from different clients, and then sends the global prototypes back to all clients to regularize the training of local models. The training on each client aims to minimize the classification error on the local data while keeping the resulting local prototypes sufficiently close to the corresponding global ones. Moreover, we provide a theoretical analysis to the convergence rate of FedProto under non-convex objectives. In experiments, we propose a benchmark setting tailored for heterogeneous FL, with FedProto outperforming several recent FL approaches on multiple datasets.


title: l1-Norm Minimization with Regula Falsi Type Root Finding Methods

abstract: Sparse level-set formulations allow practitioners to find the minimum 1-norm solution subject to likelihood constraints. Prior art requires this constraint to be convex. In this letter, we develop an efficient approach for nonconvex likelihoods, using Regula Falsi root-finding techniques to solve the level-set formulation. Regula Falsi methods are simple, derivative-free, and efficient, and the approach provably extends level-set methods to the broader class of nonconvex inverse problems. Practical performance is illustrated using l1-regularized Student's t inversion, which is a nonconvex approach used to develop outlier-robust formulations.


title: An integrability criterion for a projective limit of Banach distributions

abstract: We give an integrability criterion for a projective limit of Banach distributions on a Fr\'echet manifold which is a projective limit of Banach manifolds. This leads to a result of integrability of projective limit of involutive bundles on a projective sequence of Banach manifolds. This can be seen as a version of Frobenius Theorem in Fr\'echet setting. As consequence, we obtain a version of the third Lie theorem for a Fr\'echet-Lie group which is a submersive projective limit of Banach Lie groups. We also give an application to a sequence of prolongations of a Banach Lie algebroid.


title: Online and Adaptive Parking Availability Mapping: An Uncertainty-Aware Active Sensing Approach for Connected Vehicles

abstract: Research on connected vehicles represents a continuously evolving technological domain, fostered by the emerging Internet of Things (IoT) paradigm and the recent advances in intelligent transportation systems. Nowadays, vehicles are platforms capable of generating, receiving and automatically act based on large amount of data. In the context of assisted driving, connected vehicle technology provides real-time information about the surrounding traffic conditions. Such information is expected to improve drivers' quality of life, for example, by adopting decision making strategies according to the current parking availability status. In this context, we propose an online and adaptive scheme for parking availability mapping. Specifically, we adopt an information-seeking active sensing approach to select the incoming data, thus preserving the onboard storage and processing resources; then, we estimate the parking availability through Gaussian Process Regression. We compare the proposed algorithm with several baselines, which attain inferior performance in terms of mapping convergence speed and adaptivity capabilities; moreover, the proposed approach comes at the cost of a very small computational demand.


title: Extension of tetration to real and complex heights

abstract: The continuous tetrational function ${^x}r=\tau(r,x)$, the unique solution of equation $\tau(r,x)=r^{\tau(r,x-1)}$ and its differential equation $\tau'(r,x) =q \tau(r,x) \tau'(r,x-1)$, is given explicitly as ${^x}r=\exp_{r}^{\lfloor x \rfloor+1}[\{x\}]_q$, where $x$ is a real variable called height, $r$ is a real constant called base, $\{x\}=x-\lfloor x \rfloor$ is the sawtooth function, $\lfloor x \rfloor$ is the floor function of $x$, and $[\{x\}]_q=(q^{\{x\}}-1)/(q-1)$ is a q-analog of $\{x\}$ with $q=\ln r$, respectively. Though ${^x}r$ is continuous at every point in the real $r-x$ plane, extensions to complex heights and bases have limited domains. The base $r$ can be extended to the complex plane if and only if $x\in \mathbb{Z}$. On the other hand, the height $x$ can be extended to the complex plane at $\Re(x)\notin \mathbb{Z}$. Therefore $r$ and $x$ in ${^x}r$ cannot be complex values simultaneously. Tetrational laws are derived based on the explicit formula of ${^x}r$.


title: Multi-view Clustering with Deep Matrix Factorization and Global Graph Refinement

abstract: Multi-view clustering is an important yet challenging task in machine learning and data mining community. One popular strategy for multi-view clustering is matrix factorization which could explore useful feature representations at lower-dimensional space and therefore alleviate dimension curse. However, there are two major drawbacks in the existing work: i) most matrix factorization methods are limited to shadow depth, which leads to the inability to fully discover the rich hidden information of original data. Few deep matrix factorization methods provide a basis for the selection of the new representation's dimensions of different layers. ii) the majority of current approaches only concentrate on the view-shared information and ignore the specific local features in different views. To tackle the above issues, we propose a novel Multi-View Clustering method with Deep semi-NMF and Global Graph Refinement (MVC-DMF-GGR) in this paper. Firstly, we capture new representation matrices for each view by hierarchical decomposition, then learn a common graph by approximating a combination of graphs which are reconstructed from these new representations to refine the new representations in return. An alternate algorithm with proved convergence is then developed to solve the optimization problem and the results on six multi-view benchmarks demonstrate the effectiveness and superiority of our proposed algorithm.


title: A Master Key Backdoor for Universal Impersonation Attack against DNN-based Face Verification

abstract: We introduce a new attack against face verification systems based on Deep Neural Networks (DNN). The attack relies on the introduction into the network of a hidden backdoor, whose activation at test time induces a verification error allowing the attacker to impersonate any user. The new attack, named Master Key backdoor attack, operates by interfering with the training phase, so to instruct the DNN to always output a positive verification answer when the face of the attacker is presented at its input. With respect to existing attacks, the new backdoor attack offers much more flexibility, since the attacker does not need to know the identity of the victim beforehand. In this way, he can deploy a Universal Impersonation attack in an open-set framework, allowing him to impersonate any enrolled users, even those that were not yet enrolled in the system when the attack was conceived. We present a practical implementation of the attack targeting a Siamese-DNN face verification system, and show its effectiveness when the system is trained on VGGFace2 dataset and tested on LFW and YTF datasets. According to our experiments, the Master Key backdoor attack provides a high attack success rate even when the ratio of poisoned training data is as small as 0.01, thus raising a new alarm regarding the use of DNN-based face verification systems in security-critical applications.


title: Incorporating Transformer and LSTM to Kalman Filter with EM algorithm for state estimation

abstract: Kalman Filter requires the true parameters of the model and solves optimal state estimation recursively. Expectation Maximization (EM) algorithm is applicable for estimating the parameters of the model that are not available before Kalman filtering, which is EM-KF algorithm. To improve the preciseness of EM-KF algorithm, the author presents a state estimation method by combining the Long-Short Term Memory network (LSTM), Transformer and EM-KF algorithm in the framework of Encoder-Decoder in Sequence to Sequence (seq2seq). Simulation on a linear mobile robot model demonstrates that the new method is more accurate. Source code of this paper is available at https://github.com/zshicode/Deep-Learning-Based-State-Estimation.


title: Interacting electron spins in $\kappa$-(BEDT-TTF)$_2$Cu[N(CN)$_2$]I investigated by ESR spectroscopy

abstract: We performed angular and temperature-dependent electron-spin-resonance measurements in the quasi-two-dimensional organic conductor $\kappa$-(BEDT-TTF)$_2$Cu[N(CN)$_2$]I. The interlayer spin-diffusion is much weaker compared to the Cl- and Br-analogues, which are antiferromagnetic insulator and paramagnetic metal, respectively; $\kappa$-(BEDT-TTF)$_2$Cu[N(CN)$_2$]I behaves insulating when cooled below $T$ = 200 K. A spin gap ($\Delta\approx$ 18 K) opens at low temperatures leading to a spin-singlet state. Due to intrinsic disorder a substantial number of spins ($\sim$ 1 $\%$) remains unpaired. We observe additional signals below $T$ = 4 K with a pronounced anisotropy indicating the presence of local magnetic moments coupled to some fraction of those unpaired spins.


title: On the continuum limit for a model of binary waveguide arrays

abstract: In this paper we prove the convergence of solutions to discrete models for binary waveguide arrays toward those of their formal continuum limit, for which we also show the existence of localized standing waves. This work rigorously justifies formal arguments and numerical simulations present in the Physics literature.


title: Scalar-tensor mixed polarization search of gravitational waves

abstract: An additional scalar degree of freedom for a gravitational wave is often predicted in theories of gravity beyond general relativity and can be used for a model-agnostic test of gravity. In this letter, we report the direct search for the scalar-tensor mixed polarization modes of gravitational waves from compact binaries in a strong regime of gravity by analyzing the data of GW170814 and GW170817, which are the merger events of binary black holes and binary neutron stars, respectively. Consequently, we obtain the constraints on the ratio of scalar-mode amplitude to tensor-mode amplitude: $\lesssim 0.20$ for GW170814 and $\lesssim 0.068$ for GW170817, which are the tightest constraints on the scalar amplitude in a strong regime of gravity before merger.


title: Perfect Forests in Graphs and Their Extensions

abstract: Let $G$ be a graph on $n$ vertices. For $i\in \{0,1\}$ and a connected graph $G$, a spanning forest $F$ of $G$ is called an $i$-perfect forest if every tree in $F$ is an induced subgraph of $G$ and exactly $i$ vertices of $F$ have even degree (including zero). A $i$-perfect forest of $G$ is proper if it has no vertices of degree zero. Scott (2001) showed that every connected graph with even number of vertices contains a (proper) 0-perfect forest. We prove that one can find a 0-perfect forest with minimum number of edges in polynomial time, but it is NP-hard to obtain a 0-perfect forest with maximum number of edges. Moreover, we show that to decide whether $G$ has a 0-perfect forest with at least $|V(G)|/2+k$ edges, where $k$ is the parameter, is W[1]-hard. We also prove that for a prescribed edge $e$ of $G,$ it is NP-hard to obtain a 0-perfect forest containing $e,$ but one can decide if there existsa 0-perfect forest not containing $e$ in polynomial time. It is easy to see that every graph with odd number of vertices has a 1-perfect forest. It is not the case for proper 1-perfect forests. We give a characterization of when a connected graph has a proper 1-perfect forest.


title: Fast approximation of Lyapunov exponents: Beyond the locally constant case

abstract: We study the problem of estimating the maximal Lyapunov exponent of dominated cocycles. In particular we are concerned with cocycles over Gibbs states on shifts of finite type for which both the function defining the cocycle and the potential defining the Gibbs state may depend on infinitely many coordinates but are still very regular. We show that when the $n$th variation of both the cocycle and the potential is $O(e^{-cn^{2}})$ for some $c>h_{\text{top}}$ then using periodic points of period less then $n$ the Lyapunov exponent can be approximated to an accuracy $O(n^{-kn})$ for some explicit $k>0$.


title: COVID-Net CXR-S: Deep Convolutional Neural Network for Severity Assessment of COVID-19 Cases from Chest X-ray Images

abstract: The world is still struggling in controlling and containing the spread of the COVID-19 pandemic caused by the SARS-CoV-2 virus. The medical conditions associated with SARS-CoV-2 infections have resulted in a surge in the number of patients at clinics and hospitals, leading to a significantly increased strain on healthcare resources. As such, an important part of managing and handling patients with SARS-CoV-2 infections within the clinical workflow is severity assessment, which is often conducted with the use of chest x-ray (CXR) images. In this work, we introduce COVID-Net CXR-S, a convolutional neural network for predicting the airspace severity of a SARS-CoV-2 positive patient based on a CXR image of the patient's chest. More specifically, we leveraged transfer learning to transfer representational knowledge gained from over 16,000 CXR images from a multinational cohort of over 15,000 patient cases into a custom network architecture for severity assessment. Experimental results with a multi-national patient cohort curated by the Radiological Society of North America (RSNA) RICORD initiative showed that the proposed COVID-Net CXR-S has potential to be a powerful tool for computer-aided severity assessment of CXR images of COVID-19 positive patients. Furthermore, radiologist validation on select cases by two board-certified radiologists with over 10 and 19 years of experience, respectively, showed consistency between radiologist interpretation and critical factors leveraged by COVID-Net CXR-S for severity assessment. While not a production-ready solution, the ultimate goal for the open source release of COVID-Net CXR-S is to act as a catalyst for clinical scientists, machine learning researchers, as well as citizen scientists to develop innovative new clinical decision support solutions for helping clinicians around the world manage the continuing pandemic.


title: Wilson loop correlators in $\mathcal{N}=2$ superconformal quivers

abstract: We complete the program of 2012.15792 about perturbative approaches for $\mathcal{N}=2$ superconformal quiver theories in four dimensions. We consider several classes of observables in presence of Wilson loops, and we evaluate them with the help of supersymmetric localization. We compute Wilson loop vacuum expectation values, correlators of multiple coincident Wilson loops and one-point functions of chiral operators in presence of them acting as superconformal defects. We extend this analysis to the most general case considering chiral operators and multiple Wilson loops scattered in all the possible ways among the vector multiplets of the quiver. Finally, we identify twisted and untwisted observables which probe the orbifold of $AdS_5\times S^5$ with the aim of testing possible holographic perspectives of quiver theories in $\mathcal{N}=2$.


title: The Charging Performance of Su-Schrieffer-Heeger Quantum Battery

abstract: The Su-Schrieffer-Heeger (SSH) model has recently received considerable attention in condensed matter because it describes a typical one-dimensional system with topological edge states. Here, we investigate SSH-based charging protocols of quantum batteries (QB) with N quantum cells. This SSH QB hopping interaction induced ground state splitting makes the different effects of the dimerize parameter to the QB in the different quantum phase region. In the non-splitting region, the dimerize parameter has little influence on the QB. Whereas the fully-splitting region, the dimerize parameter has a significantly quantum advantage to the energy and ergotropy in the ground state fully splitting region, which leads the dimerize spin couples will have larger occupations than other spins. Although we have enhanced energy and ergotropy by the dimerize parameter, QB's capacity will decrease.


title: Doubly resonant photonic crystal cavities for efficient second-harmonic generation in III-V semiconductors

abstract: Second-order nonlinear effects, such as second-harmonic generation, can be strongly enhanced in nanofabricated photonic materials when both fundamental and harmonic frequencies are spatially and temporally confined. Practically designing low-volume and doubly resonant nanoresonators in conventional semiconductor compounds is challenging owing to their intrinsic refractive index dispersion. In this work we review a recently developed strategy to design doubly resonant nanocavities with low mode volume and large quality factor by localized defects in a photonic crystal structure. We build on this approach by applying an evolutionary optimisation algorithm in connection with Maxwell equations solvers, showing that the proposed design recipe can be applied to any material platform. We explicitly calculate the second-harmonic generation efficiency for doubly resonant photonic crystal cavity designs in typical III-V semiconductor materials, such as GaN and AlGaAs, targeting a fundamental harmonic at telecom wavelengths, and fully accounting for the tensor nature of the respective nonlinear susceptibilities. These results may stimulate the realisation of small footprint photonic nanostructures in leading semiconductor material platforms to achieve unprecedented nonlinear efficiencies.


title: It's not what you said, it's how you said it: discriminative perception of speech as a multichannel communication system

abstract: People convey information extremely effectively through spoken interaction using multiple channels of information transmission: the lexical channel of what is said, and the non-lexical channel of how it is said. We propose studying human perception of spoken communication as a means to better understand how information is encoded across these channels, focusing on the question 'What characteristics of communicative context affect listener's expectations of speech?'. To investigate this, we present a novel behavioural task testing whether listeners can discriminate between the true utterance in a dialogue and utterances sampled from other contexts with the same lexical content. We characterize how perception - and subsequent discriminative capability - is affected by different degrees of additional contextual information across both the lexical and non-lexical channel of speech. Results demonstrate that people can effectively discriminate between different prosodic realisations, that non-lexical context is informative, and that this channel provides more salient information than the lexical channel, highlighting the importance of the non-lexical channel in spoken interaction.


title: DeepMultiCap: Performance Capture of Multiple Characters Using Sparse Multiview Cameras

abstract: We propose DeepMultiCap, a novel method for multi-person performance capture using sparse multi-view cameras. Our method can capture time varying surface details without the need of using pre-scanned template models. To tackle with the serious occlusion challenge for close interacting scenes, we combine a recently proposed pixel-aligned implicit function with parametric model for robust reconstruction of the invisible surface areas. An effective attention-aware module is designed to obtain the fine-grained geometry details from multi-view images, where high-fidelity results can be generated. In addition to the spatial attention method, for video inputs, we further propose a novel temporal fusion method to alleviate the noise and temporal inconsistencies for moving character reconstruction. For quantitative evaluation, we contribute a high quality multi-person dataset, MultiHuman, which consists of 150 static scenes with different levels of occlusions and ground truth 3D human models. Experimental results demonstrate the state-of-the-art performance of our method and the well generalization to real multiview video data, which outperforms the prior works by a large margin.


title: One-pass Stochastic Gradient Descent in Overparametrized Two-layer Neural Networks

abstract: There has been a recent surge of interest in understanding the convergence of gradient descent (GD) and stochastic gradient descent (SGD) in overparameterized neural networks. Most previous works assume that the training data is provided a priori in a batch, while less attention has been paid to the important setting where the training data arrives in a stream. In this paper, we study the streaming data setup and show that with overparamterization and random initialization, the prediction error of two-layer neural networks under one-pass SGD converges in expectation. The convergence rate depends on the eigen-decomposition of the integral operator associated with the so-called neural tangent kernel (NTK). A key step of our analysis is to show a random kernel function converges to the NTK with high probability using the VC dimension and McDiarmid's inequality.


title: Direct generation of two-pair frequency entanglement via dual periodic poling in lithium niobate waveguides

abstract: In this paper, we address the generation of a two-pair frequency entangled state using type-0 spontaneous parametric down-conversion process in a dual periodically poled lithium niobate waveguide. We show that, by suitable domain engineering with two periods of quasi-phase matching grating, it is possible to achieve a frequency entangled state with two different pairs of frequencies. Numerical simulations show that the output state can be maximally entangled. We also perform numerical simulations to address other interesting and useful entangled states which can be generated with the help of our scheme. The proposed scheme can help create efficient photonic setups required for quantum communication systems and can have various applications considering the increasing interests of energy-time entanglement in quantum information regime.


title: Electric trapping and circuit cooling of charged nanorotors

abstract: The motion of charged particles can be interfaced with electric circuitry via the current induced in nearby pick-up electrodes. Here we show how the rotational and translational dynamics of levitated objects with arbitrary charge distributions can be coupled to a circuit and how the latter acts back on the particle motion. The ensuing cooling rates in series and parallel RLC circuits are determined, demonstrating that quadrupole ion traps are well suited for implementing all-electric cooling. We derive the effective macromotion potential for general trap geometries and demonstrate numerically how consecutive rotational and translational resistive cooling of a microscale particle can be achieved in linear Paul traps.


title: Achievable Resolution Limits for the Noisy Adaptive 20 Questions Problem

abstract: We study the achievable performance of adaptive query procedures for the noisy 20 questions problem with measurement-dependent noise over a unit cube of finite dimension. The performance criterion that we consider is the minimal resolution, defined as the $L_\infty$ norm between the estimated and the true values of the random location vector of a target, given a finite number of queries constrained by an excess-resolution probability. Specifically, we derive the achievable resolution of an adaptive query procedure based on the variable length feedback code by Polyanskiy \emph{et al.} (TIT 2011). Furthermore, we verify our theoretical results with numerical simulations and compare the performance of our considered adaptive query procedure with that of certain state-of-the-art algorithms, such as the sorted posterior matching algorithm by Chiu and Javadi (ITW 2016). In particular, we demonstrate that the termination strategy adopted in our adaptive query procedure can significantly enhance the asymptotic performance of adaptive query procedures, especially at moderate to large excess-resolution probability constraints.


title: Data-driven discovery of Green's functions with human-understandable deep learning

abstract: There is an opportunity for deep learning to revolutionize science and technology by revealing its findings in a human interpretable manner. To do this, we develop a novel data-driven approach for creating a human-machine partnership to accelerate scientific discovery. By collecting physical system responses under excitations drawn from a Gaussian process, we train rational neural networks to learn Green's functions of hidden linear partial differential equations. These functions reveal human-understandable properties and features, such as linear conservation laws and symmetries, along with shock and singularity locations, boundary effects, and dominant modes. We illustrate the technique on several examples and capture a range of physics, including advection-diffusion, viscous shocks, and Stokes flow in a lid-driven cavity.


title: Combating small molecule aggregation with machine learning

abstract: Biological screens are plagued by false positive hits resulting from aggregation. Thus, methods to triage small colloidally aggregating molecules (SCAMs) are in high demand. Herein, we disclose a bespoke machine-learning tool to confidently and intelligibly flag such entities. Our data demonstrate an unprecedented utility of machine learning for predicting SCAMs, achieving 80% of correct predictions in a challenging out-of-sample validation. The tool outperformed a panel of expert chemists, who correctly predicted 61 +/- 7% of the same test molecules in a Turing-like test. Further, the computational routine provided insight into molecular features governing aggregation that had remained hidden to expert intuition. Leveraging our tool, we quantify that up to 15-20% of ligands in publicly available chemogenomic databases have the high potential to aggregate at typical screening concentrations, imposing caution in systems biology and drug design programs. Our approach provides a means to augment human intuition, mitigate attrition and a pathway to accelerate future molecular medicine.


title: Lite-FPN for Keypoint-based Monocular 3D Object Detection

abstract: 3D object detection with a single image is an essential and challenging task for autonomous driving. Recently, keypoint-based monocular 3D object detection has made tremendous progress and achieved great speed-accuracy trade-off. However, there still exists a huge gap with LIDAR-based methods in terms of accuracy. To improve their performance without sacrificing efficiency, we propose a sort of lightweight feature pyramid network called Lite-FPN to achieve multi-scale feature fusion in an effective and efficient way, which can boost the multi-scale detection capability of keypoint-based detectors. Besides, the misalignment between classification score and localization precision is further relieved by introducing a novel regression loss named attention loss. With the proposed loss, predictions with high confidence but poor localization are treated with more attention during the training phase. Comparative experiments based on several state-of-the-art keypoint-based detectors on the KITTI dataset show that our proposed methods manage to achieve significant improvements in both accuracy and frame rate. The code and pretrained models will be released at \url{https://github.com/yanglei18/Lite-FPN}.


title: Anisotropy and Current Control of Magnetization in SrRuO$_3$ SrTiO$_3$ Heterostructures for Spin-Memristors

abstract: Spintronics-based nonvolatile components in neuromorphic circuits offer the possibility of realizing novel functionalities at low power. Current-controlled electrical switching of magnetization is actively researched in this context. Complex oxide heterostructures with perpendicular magnetic anisotropy (PMA), consisting of SrRuO$_3$ (SRO) grown on SrTiO$_3$ (STO) are strong material contenders. Utilizing the crystal orientation, magnetic anisotropy in such simple heterostructures can be tuned to either exhibit a perfect or slightly tilted PMA. Here, we investigate current-induced magnetization modulation in such tailored ferromagnetic layers with a material with strong spin-orbit coupling (Pt), exploiting the spin Hall effect. We find significant differences in the magnetic anisotropy between the SRO/STO heterostructures, as manifested in the first and second harmonic magnetoresistance measurements. Current-induced magnetization switching can be realized with spin-orbit torques, but for systems with perfect PMA this switching is probabilistic as a result of the high symmetry. Slight tilting of the PMA can break this symmetry and allow the realization of deterministic switching. Control over the magnetic anisotropy of our heterostructures therefore provides control over the manner of switching. Based on our findings, we propose a three-terminal spintronic memristor, with a magnetic tunnel junction design, that shows several resistive states controlled by electric charge. Non-volatile states can be written through SOT by applying an in-plane current, and read out as a tunnel current by applying a small out-of-plane current. Depending on the anisotropy of the SRO layer, the writing mechanism is either deterministic or probabilistic allowing for different functionalities to emerge. We envisage that the probabilistic MTJs could be used as synapses while the deterministic devices can emulate neurons


title: Light-switchable deposits from evaporating drops containing motile microalgae

abstract: Deposits from evaporating drops have shown to take a variety of shapes, depending on the physicochemical properties of both solute and solvent. Classically, the evaporation of drops of colloidal suspensions leads to the so-called coffee ring effect, caused by radially outward flows. Here we investigate deposits from evaporating drops containing living motile microalgae (Chlamydomonas reinhardtii), which are capable of resisting these flows. We show that utilizing their light-sensitivity allows to control the final pattern: adjusting the wavelength and incident angle of the light source enables to force the formation, completely suppress and even direct the spatial structure of algal coffee rings.


title: Local Euler obstructions for determinantal varieties

abstract: The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaffney--Grulha--Ruas, for skew-symmetric matrices by Promtapan and Rim\'anyi, and for all cases by Zhang.


title: Benchmarking as Empirical Standard in Software Engineering Research

abstract: In empirical software engineering, benchmarks can be used for comparing different methods, techniques and tools. However, the recent ACM SIGSOFT Empirical Standards for Software Engineering Research do not include an explicit checklist for benchmarking. In this paper, we discuss benchmarks for software performance and scalability evaluation as example research areas in software engineering, relate benchmarks to some other empirical research methods, and discuss the requirements on benchmarks that may constitute the basis for a checklist of a benchmarking standard for empirical software engineering research.


title: Blind microscopy image denoising with a deep residual and multiscale encoder/decoder network

abstract: In computer-aided diagnosis (CAD) focused on microscopy, denoising improves the quality of image analysis. In general, the accuracy of this process may depend both on the experience of the microscopist and on the equipment sensitivity and specificity. A medical image could be corrupted by both intrinsic noise, due to the device limitations, and, by extrinsic signal perturbations during image acquisition. Nowadays, CAD deep learning applications pre-process images with image denoising models to reinforce learning and prediction. In this work, an innovative and lightweight deep multiscale convolutional encoder-decoder neural network is proposed. Specifically, the encoder uses deterministic mapping to map features into a hidden representation. Then, the latent representation is rebuilt to generate the reconstructed denoised image. Residual learning strategies are used to improve and accelerate the training process using skip connections in bridging across convolutional and deconvolutional layers. The proposed model reaches on average 38.38 of PSNR and 0.98 of SSIM on a test set of 57458 images overcoming state-of-the-art models in the same application domain


title: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)

abstract: Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the observation. In signature-based ABox abduction, the hypothesis is further required to use only names from a given set. This form of abduction has applications such as diagnosis, KB repair, or explaining missing entailments. It is possible that hypotheses for a given observation only exist if we admit the use of fresh individuals and/or complex concepts built from the given signature, something most approaches for ABox abduction so far do not support or only support with restrictions. In this paper, we investigate the computational complexity of this form of abduction -- allowing either fresh individuals, complex concepts, or both -- for various description logics, and give size bounds on the hypotheses if they exist.


title: Photon Conversion and Interaction on Chip

abstract: The conversion and interaction between quantum signals at a single-photon level are essential for scalable quantum photonic information technology. Using a fully-optimized, periodically-poled lithium niobate microring, we demonstrate ultra-efficient sum-frequency generation on chip. The external quantum efficiency reaches $(65\pm3)\%$ with only $(104\pm4)$ $\mu$W pump power, improving the state-of-the-art by over one order of magnitude. At the peak conversion, $3\times10^{-5}$ noise photon is created during the cavity lifetime, which meets the requirement of quantum applications using single-photon pulses. Using pump and signal in single-photon coherent states, we directly measure the conversion probability produced by a single pump photon to be $10^{-5}$ -- breaking the record by 100 times -- and the photon-photon coupling strength to be 9.1 MHz. Our results mark a new milestone toward quantum nonlinear optics at the ultimate single photon limit, creating new background in highly integrated photonics and quantum optical computing.


title: Fractional calculus of tempered distributions. A new approach

abstract: In the present article, a new method for the evaluation of fractional derivatives of arbitrary real order is proposed. Numerous but inequivalent formulations have been given in the past. Some of them exhibit unsatisfactory properties such as e.g. the absence of a semigroup property. It is shown that the proposed definition is free from such drawbacks. In order to achieve such a generalization one has to work in the context of tempered distributions (generalized functions) where the concept works nicely. The last part of the article shows the possibility of defining fractional derivatives of periodic functions (Fourier series).


title: Multi-view Clustering via Deep Matrix Factorization and Partition Alignment

abstract: Multi-view clustering (MVC) has been extensively studied to collect multiple source information in recent years. One typical type of MVC methods is based on matrix factorization to effectively perform dimension reduction and clustering. However, the existing approaches can be further improved with following considerations: i) The current one-layer matrix factorization framework cannot fully exploit the useful data representations. ii) Most algorithms only focus on the shared information while ignore the view-specific structure leading to suboptimal solutions. iii) The partition level information has not been utilized in existing work. To solve the above issues, we propose a novel multi-view clustering algorithm via deep matrix decomposition and partition alignment. To be specific, the partition representations of each view are obtained through deep matrix decomposition, and then are jointly utilized with the optimal partition representation for fusing multi-view information. Finally, an alternating optimization algorithm is developed to solve the optimization problem with proven convergence. The comprehensive experimental results conducted on six benchmark multi-view datasets clearly demonstrates the effectiveness of the proposed algorithm against the SOTA methods.


title: A Perceptual Distortion Reduction Framework: Towards Generating Adversarial Examples with High Perceptual Quality and Attack Success Rate

abstract: Most of the adversarial attack methods suffer from large perceptual distortions such as visible artifacts, when the attack strength is relatively high. These perceptual distortions contain a certain portion which contributes less to the attack success rate. This portion of distortions, which is induced by unnecessary modifications and lack of proper perceptual distortion constraint, is the target of the proposed framework. In this paper, we propose a perceptual distortion reduction framework to tackle this problem from two perspectives. Firstly, we propose a perceptual distortion constraint and add it into the objective function to jointly optimize the perceptual distortions and attack success rate. Secondly, we propose an adaptive penalty factor $\lambda$ to balance the discrepancies between different samples. Since SGD and Momentum-SGD cannot optimize our complex non-convex problem, we exploit Adam in optimization. Extensive experiments have verified the superiority of our proposed framework.