title: On the Economics of Offline Password Cracking

abstract: We develop an economic model of an offline password cracker which allows us to make quantitative predictions about the fraction of accounts that a rational password attacker would crack in the event of an authentication server breach. We apply our economic model to analyze recent massive password breaches at Yahoo!, Dropbox, LastPass and AshleyMadison. All four organizations were using key-stretching to protect user passwords. In fact, LastPass' use of PBKDF2-SHA256 with $10^5$ hash iterations exceeds 2017 NIST minimum recommendation by an order of magnitude. Nevertheless, our analysis paints a bleak picture: the adopted key-stretching levels provide insufficient protection for user passwords. In particular, we present strong evidence that most user passwords follow a Zipf's law distribution, and characterize the behavior of a rational attacker when user passwords are selected from a Zipf's law distribution. We show that there is a finite threshold which depends on the Zipf's law parameters that characterizes the behavior of a rational attacker -- if the value of a cracked password (normalized by the cost of computing the password hash function) exceeds this threshold then the adversary's optimal strategy is always to continue attacking until each user password has been cracked. In all cases (Yahoo!, Dropbox, LastPass and AshleyMadison) we find that the value of a cracked password almost certainly exceeds this threshold meaning that a rational attacker would crack all passwords that are selected from the Zipf's law distribution (i.e., most user passwords). This prediction holds even if we incorporate an aggressive model of diminishing returns for the attacker (e.g., the total value of $500$ million cracked passwords is less than $100$ times the total value of $5$ million passwords). See paper for full abstract.


title: Orbital-enhanced Warping Effect in P\textsubscript{x},P\textsubscript{y}-derived Rashba Spin Splitting of Monatomic Bismuth Surface Alloy Surface Alloy

abstract: Spin-split Rashba bands have been exploited to efficiently control the spin degree of freedom of moving electrons, which possesses a great potential in frontier applications of designing spintronic devices and processing spin-based information. Given that intrinsic breaking of inversion symmetry and sizeable spin-orbit interaction, two-dimensional (2D) surface alloys formed by heavy metal elements exhibit a pronounced Rashba-type spin splitting of the surface states. Here, we have revealed the essential role of atomic orbital symmetry in the hexagonally warped Rashba spin-split surface state of $\sqrt{3}\times\sqrt{3} R30^{\circ}$ BiCu$_{2}$ monatomic alloy by scanning tunneling spectroscopy (STS) and density functional theory (DFT). From $\mathrm{d}I/\mathrm{d}U$ spectra and calculated band structures, three hole-like Rashba-split bands hybridized from distinct orbital symmetries have been identified in the unoccupied energy region. Because of the hexagonally deformed Fermi surface, quasi-particle interference (QPI) mappings have resolved scattering channels opened from interband transitions of \textit{p$_{x},$p$_{y}$}($m_{j}=1/2$) band. In contrast to the \textit{s,p$_{z}$}-derived band, the hexagonal warping predominately is accompanied by substantial out-of-plane spin polarization $S_{z}$ up to 24\% in the dispersion of \textit{p$_{x}$,p$_{y}$}($m_{j}=1/2$) band with an in-plane orbital symmetry.


title: Folding Simulation of Rigid Origami with Lagrange Multiplier Method

abstract: Origami crease patterns are folding paths that transform flat sheets into spatial objects. Origami patterns with a single degree of freedom (DOF) have creases that fold simultaneously. More often, several substeps are required to sequentially fold origami of multiple DOFs, and at each substep some creases fold and the rest remain fixed. In this study, we combine the loop closure constraint with Lagrange multiplier method to account for the sequential folding of rigid origami of multiple DOFs, by controlling the rotation of different sets of creases during successive substeps. This strategy is also applicable to model origami-inspired devices, where creases may be equipped with rotational springs and the folding process involves elastic energy. Several examples are presented to verify the proposed algorithms in tracing the sequential folding process as well as searching the equilibrium configurations of origami with rotational springs.


title: Learning for Dose Allocation in Adaptive Clinical Trials with Safety Constraints

abstract: Phase I dose-finding trials are increasingly challenging as the relationship between efficacy and toxicity of new compounds (or combination of them) becomes more complex. Despite this, most commonly used methods in practice focus on identifying a Maximum Tolerated Dose (MTD) by learning only from toxicity events. We present a novel adaptive clinical trial methodology, called Safe Efficacy Exploration Dose Allocation (SEEDA), that aims at maximizing the cumulative efficacies while satisfying the toxicity safety constraint with high probability. We evaluate performance objectives that have operational meanings in practical clinical trials, including cumulative efficacy, recommendation/allocation success probabilities, toxicity violation probability, and sample efficiency. An extended SEEDA-Plateau algorithm that is tailored for the increase-then-plateau efficacy behavior of molecularly targeted agents (MTA) is also presented. Through numerical experiments using both synthetic and real-world datasets, we show that SEEDA outperforms state-of-the-art clinical trial designs by finding the optimal dose with higher success rate and fewer patients.


title: Stochastic Geometry-Based Modeling and Analysis of Beam Management in 5G

abstract: Beam management is central in the operation of dense 5G cellular networks. Focusing the energy radiated to mobile terminals (MTs) by increasing the number of beams per cell increases signal power and decreases interference, and has hence the potential to bring major improvements on area spectral efficiency (ASE). This benefit, however, comes with unavoidable overheads that increase with the number of beams and the MT speed. This paper proposes a first system-level stochastic geometry model encompassing major aspects of the beam management problem: frequencies, antennas, and propagation; physical layer, wireless links, and coding; network geometry, interference, and resource sharing; sensing, signaling, and mobility management. This model leads to a simple analytical expression for the effective ASE that the typical user gets in this context. This in turn allows one to find, for a wide variety of 5G network scenarios including millimeter wave (mmWave) and sub-6 GHz, the number of beams per cell that offers the best global trade-off between these benefits and costs. We finally provide numerical results that discuss the effects of different systemic trade-offs and performances of mmWave and sub-6 GHz 5G deployments.


title: Online Page Migration with ML Advice

abstract: We consider online algorithms for the {\em page migration problem} that use predictions, potentially imperfect, to improve their performance. The best known online algorithms for this problem, due to Westbrook'94 and Bienkowski et al'17, have competitive ratios strictly bounded away from 1. In contrast, we show that if the algorithm is given a prediction of the input sequence, then it can achieve a competitive ratio that tends to $1$ as the prediction error rate tends to $0$. Specifically, the competitive ratio is equal to $1+O(q)$, where $q$ is the prediction error rate. We also design a ``fallback option'' that ensures that the competitive ratio of the algorithm for {\em any} input sequence is at most $O(1/q)$. Our result adds to the recent body of work that uses machine learning to improve the performance of ``classic'' algorithms.


title: From Time Asymmetry to Quantum Entanglement: The Humean Unification

abstract: Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state in a way that adds no significant complexity to the best system and solves the "supervenient-kind problem" facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike.


title: High Tissue Contrast MRI Synthesis Using Multi-Stage Attention-GAN for Glioma Segmentation

abstract: Magnetic resonance imaging (MRI) provides varying tissue contrast images of internal organs based on a strong magnetic field. Despite the non-invasive advantage of MRI in frequent imaging, the low contrast MR images in the target area make tissue segmentation a challenging problem. This paper demonstrates the potential benefits of image-to-image translation techniques to generate synthetic high tissue contrast (HTC) images. Notably, we adopt a new cycle generative adversarial network (CycleGAN) with an attention mechanism to increase the contrast within underlying tissues. The attention block, as well as training on HTC images, guides our model to converge on certain tissues. To increase the resolution of HTC images, we employ multi-stage architecture to focus on one particular tissue as a foreground and filter out the irrelevant background in each stage. This multi-stage structure also alleviates the common artifacts of the synthetic images by decreasing the gap between source and target domains. We show the application of our method for synthesizing HTC images on brain MR scans, including glioma tumor. We also employ HTC MR images in both the end-to-end and two-stage segmentation structure to confirm the effectiveness of these images. The experiments over three competitive segmentation baselines on BraTS 2018 dataset indicate that incorporating the synthetic HTC images in the multi-modal segmentation framework improves the average Dice scores 0.8%, 0.6%, and 0.5% on the whole tumor, tumor core, and enhancing tumor, respectively, while eliminating one real MRI sequence from the segmentation procedure.


title: Multi-split Optimized Bagging Ensemble Model Selection for Multi-class Educational Data Mining

abstract: Predicting students' academic performance has been a research area of interest in recent years with many institutions focusing on improving the students' performance and the education quality. The analysis and prediction of students' performance can be achieved using various data mining techniques. Moreover, such techniques allow instructors to determine possible factors that may affect the students' final marks. To that end, this work analyzes two different undergraduate datasets at two different universities. Furthermore, this work aims to predict the students' performance at two stages of course delivery (20% and 50% respectively). This analysis allows for properly choosing the appropriate machine learning algorithms to use as well as optimize the algorithms' parameters. Furthermore, this work adopts a systematic multi-split approach based on Gini index and p-value. This is done by optimizing a suitable bagging ensemble learner that is built from any combination of six potential base machine learning algorithms. It is shown through experimental results that the posited bagging ensemble models achieve high accuracy for the target group for both datasets.


title: Stealing Deep Reinforcement Learning Models for Fun and Profit

abstract: This paper presents the first model extraction attack against Deep Reinforcement Learning (DRL), which enables an external adversary to precisely recover a black-box DRL model only from its interaction with the environment. Model extraction attacks against supervised Deep Learning models have been widely studied. However, those techniques cannot be applied to the reinforcement learning scenario due to DRL models' high complexity, stochasticity and limited observable information. We propose a novel methodology to overcome the above challenges. The key insight of our approach is that the process of DRL model extraction is equivalent to imitation learning, a well-established solution to learn sequential decision-making policies. Based on this observation, our methodology first builds a classifier to reveal the training algorithm family of the targeted black-box DRL model only based on its predicted actions, and then leverages state-of-the-art imitation learning techniques to replicate the model from the identified algorithm family. Experimental results indicate that our methodology can effectively recover the DRL models with high fidelity and accuracy. We also demonstrate two use cases to show that our model extraction attack can (1) significantly improve the success rate of adversarial attacks, and (2) steal DRL models stealthily even they are protected by DNN watermarks. These pose a severe threat to the intellectual property and privacy protection of DRL applications.


title: Hardware Implementation of Spiking Neural Networks Using Time-To-First-Spike Encoding

abstract: Hardware-based spiking neural networks (SNNs) are regarded as promising candidates for the cognitive computing system due to low power consumption and highly parallel operation. In this work, we train the SNN in which the firing time carries information using temporal backpropagation. The temporally encoded SNN with 512 hidden neurons showed an accuracy of 96.90% for the MNIST test set. Furthermore, the effect of the device variation on the accuracy in temporally encoded SNN is investigated and compared with that of the rate-encoded network. In a hardware configuration of our SNN, NOR-type analog memory having an asymmetric floating gate is used as a synaptic device. In addition, we propose a neuron circuit including a refractory period generator for temporally encoded SNN. The performance of the 2-layer neural network consisting of synapses and proposed neurons is evaluated through circuit simulation using SPICE. The network with 128 hidden neurons showed an accuracy of 94.9%, a 0.1% reduction compared to that of the system simulation of the MNIST dataset. Finally, the latency and power consumption of each block constituting the temporal network is analyzed and compared with those of the rate-encoded network depending on the total time step. Assuming that the total time step number of the network is 256, the temporal network consumes 15.12 times lower power than the rate-encoded network and can make decisions 5.68 times faster.


title: Reduced model for female endocrine dynamics: Validation and functional variations

abstract: A normally functioning menstrual cycle requires significant crosstalk between hormones originating in ovarian and brain tissues. Reproductive hormone dysregulation may cause abnormal function and sometimes infertility. The inherent complexity in this endocrine system is a challenge to identifying mechanisms of cycle disruption, particularly given the large number of unknown parameters in existing mathematical models. We develop a new endocrine model to limit model complexity and use simulated distributions of unknown parameters for model analysis. By employing a comprehensive model evaluation, we identify a collection of mechanisms that differentiate normal and abnormal phenotypes. We also discover an intermediate phenotype--displaying relatively normal hormone levels and cycle dynamics--that is grouped statistically with the irregular phenotype. Results provide insight into how clinical symptoms associated with ovulatory disruption may not be detected through hormone measurements alone.


title: Pair invariant mass to isolate background in the search for the chiral magnetic effect in Au+Au collisions at $\sqrt{s_{_{\rm NN}}}$= 200 GeV

abstract: Quark interactions with topological gluon configurations can induce local chirality imbalance and parity violation in quantum chromodynamics, which can lead to the chiral magnetic effect (CME) -- an electric charge separation along the strong magnetic field in relativistic heavy-ion collisions. The CME-sensitive azimuthal correlator observable ($\Delta\gamma$) is contaminated by background arising, in part, from resonance decays coupled with elliptic anisotropy ($v_{2}$). We report here differential measurements of the correlator as a function of the pair invariant mass ($m_{\rm inv}$) in 20-50\% centrality Au+Au collisions at $\sqrt{s_{_{\rm NN}}}$= 200 GeV by the STAR experiment at RHIC. Strong resonance background contributions to $\Delta\gamma$ are observed. At large $m_{\rm inv}$ where this background is significantly reduced, the $\Delta\gamma$ value is found to be significantly smaller. An event-shape-engineering technique is deployed to determine the $v_{2}$ background shape as a function of $m_{\rm inv}$. We extract a $v_2$-independent and $m_{\rm inv}$-averaged signal $\Delta\gamma_{\rm sig}$ = (0.03 $\pm$ 0.06 $\pm$ 0.08) $\times10^{-4}$, or $(2\pm4\pm5)\%$ of the inclusive $\Delta\gamma(m_{\rm inv}>0.4$ GeV/$c^2$)$ =(1.58 \pm 0.02 \pm 0.02) \times10^{-4}$, within pion $p_{T}$ = 0.2 - 0.8~\gevc and averaged over pseudorapidity ranges of $-1 < \eta < -0.05$ and $0.05 < \eta < 1$. This represents an upper limit of $0.23\times10^{-4}$, or $15\%$ of the inclusive result, at $95\%$ confidence level for the $m_{\rm inv}$-integrated CME contribution.


title: The Entropic Dynamics of Quantum Scalar Fields Coupled to Gravity

abstract: Entropic dynamics (ED) is a general framework for constructing indeterministic dynamical models based on entropic methods. ED has been used to derive or reconstruct both non-relativistic quantum mechanics and quantum field theory in curved space-time. Here we propose a model for a quantum scalar field propagating in a dynamical space-time. The approach rests on a few key ingredients: (1) Rather than modelling the dynamics of the fields, ED models the dynamics of their probabilities. (2) In accordance with the standard entropic methods of inference the dynamics is dictated by information encoded in constraints. (3) The choice of the physically relevant constraints is dictated by principles of symmetry and invariance. The first such principle imposes the preservation of a symplectic structure which leads to a Hamiltonian formalism with its attendant Poisson brackets and action principle. The second symmetry principle is foliation invariance, which following earlier work by Hojman, Kuchar, and Teitelboim, is implemented as a requirement of path independence. The result is a hybrid ED model that approaches quantum field theory in one limit and classical general relativity in another, but is not fully described by either. A particularly significant prediction of this ED model is that the coupling of quantum fields to gravity implies violations of the quantum superposition principle.


title: Ultralight DM bosons with an Axion-like potential: scale-dependent constraints revisited

abstract: A scalar field $\phi$ endowed with a trigonometric potential has been proposed to play the role of Dark Matter. A deep study of the cosmological evolution of linear perturbations, and its comparison to the Cold Dark Matter (CDM) and Fuzzy Dark Matter (FDM) cases (scalar field with quadratic potential), reveals an enhancement in the amplitude of the mass power spectrum for large wave numbers due to the non-linearity of the axion-like potential. For the first time, we study the scale-dependence on physical quantities such as the growth factor $D_k$, the velocity growth factor $f_k$, and $f_k \sigma_8$. We found that for $z<10$, all these quantities recover the CDM evolution, whereas for high redshift there is a clear distinction between each model (FDM case, and axion-like potential) depending on the wavenumber $k$ and on the decay parameter of the axion-like potential as well. A semi-analytical Halo Mass Function is also revisited, finding a suppression of the number of low mass halos, as in the FDM case, but with a small increment in the amplitude of the variance and halo mass function due to the non-linearity of the axion-like potential. Finally, we present constraints on the axion mass and the axion decay parameter by using data of the Planck Collaboration 2018 and Lyman-$\alpha$ forest.


title: Coverage probability in wireless networks with determinantal scheduling

abstract: We propose a new class of algorithms for randomly scheduling network transmissions. The idea is to use (discrete) determinantal point processes (subsets) to randomly assign medium access to various {\em repulsive} subsets of potential transmitters. This approach can be seen as a natural extension of (spatial) Aloha, which schedules transmissions independently. Under a general path loss model and Rayleigh fading, we show that, similarly to Aloha, they are also subject to elegant analysis of the coverage probabilities and transmission attempts (also known as local delay). This is mainly due to the explicit, determinantal form of the conditional (Palm) distribution and closed-form expressions for the Laplace functional of determinantal processes. Interestingly, the derived performance characteristics of the network are amenable to various optimizations of the scheduling parameters, which are determinantal kernels, allowing the use of techniques developed for statistical learning with determinantal processes. Well-established sampling algorithms for determinantal processes can be used to cope with implementation issues, which is is beyond the scope of this paper, but it creates paths for further research.


title: The astrophysical odds of GW151216

abstract: The gravitational-wave candidate GW151216 is a proposed binary black hole event from the first observing run of the Advanced LIGO detectors. Not identified as a bona fide signal by the LIGO--Virgo collaboration, there is disagreement as to its authenticity, which is quantified by $p_\text{astro}$, the probability that the event is astrophysical in origin. Previous estimates of $p_\text{astro}$ from different groups range from 0.18 to 0.71, making it unclear whether this event should be included in population analyses, which typically require $p_\text{astro}>0.5$. Whether GW151216 is an astrophysical signal or not has implications for the population properties of stellar-mass black holes and hence the evolution of massive stars. Using the astrophysical odds, a Bayesian method which uses the signal coherence between detectors and a parameterised model of non-astrophysical detector noise, we find that $p_\text{astro}=0.03$, suggesting that GW151216 is unlikely to be a genuine signal. We also analyse GW150914 (the first gravitational-wave detection) and GW151012 (initially considered to be an ambiguous detection) and find $p_\text{astro}$ values of 1 and 0.997 respectively. We argue that the astrophysical odds presented here improve upon traditional methods for distinguishing signals from noise.


title: Separating Controller Design from Closed-Loop Design: A New Perspective on System-Level Controller Synthesis

abstract: We show that given a desired closed-loop response for a system, there exists an affine subspace of controllers that achieve this response. By leveraging the existence of this subspace, we are able to separate controller design from closed-loop design by first synthesizing the desired closed-loop response and then synthesizing a controller that achieves the desired response. This is a useful extension to the recently introduced System Level Synthesis framework, in which the controller and closed-loop response are jointly synthesized and we cannot enforce controller-specific constraints without subjecting the closed-loop map to the same constraints. We demonstrate the importance of separating controller design from closed-loop design with an example in which communication delay and locality constraints cause standard SLS to be infeasible. Using our new two-step procedure, we are able to synthesize a controller that obeys the constraints while only incurring a 3% increase in LQR cost compared to the optimal LQR controller.


title: The advection-dominated accretion flow for the anti-correlation between the X-ray photon index and the X-ray luminosity in neutron star low-mass X-ray binaries

abstract: Observationally, an anti-correlation between the X-ray photon index $\Gamma$ (obtained by fitting the X-ray spectrum between 0.5 and 10 keV with a single power law) and the X-ray luminosity $L_{\rm 0.5-10keV}$, is found in neutron star low-mass X-ray binaries (NS-LMXBs) in the range of $L_{\rm 0.5-10keV}\sim 10^{34}-10^{36}\ \rm erg\ s^{-1}$. In this paper, we explain the observed anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$ within the framework of the self-similar solution of the advection-dominated accretion flow (ADAF) around a weakly magnetized NS. The ADAF model intrinsically predicts an anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$. In the ADAF model, there is a key parameter, $f_{\rm th}$, which describes the fraction of the ADAF energy released at the surface of the NS as thermal emission to be scattered in the ADAF. We test the effect of $f_{\rm th}$ on the anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$. It is found that the value of $f_{\rm th}$ can significantly affect the anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$. Specifically, the anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$ becomes flatter with decreasing $f_{\rm th}$ as taking $f_{\rm th}=0.1, 0.03, 0.01, 0.005$, $0.003$ and $0$ respectively. By comparing with a sample of non-pulsating NS-LMXBs with well measured $\Gamma$ and $L_{\rm 0.5-10keV}$, we find that indeed only a small value of $0.003\lesssim f_{\rm th}\lesssim 0.1$ is needed to match the observed anti-correlation between $\Gamma$ and $L_{\rm 0.5-10keV}$. Finally, we argue that the small value of $f_{\rm th}\lesssim 0.1$ derived in this paper further confirms our previous conclusion that the radiative efficiency of NSs with an ADAF accretion may not be as high as $\epsilon \sim {\dot M GM\over R_{*}}/{\dot M c^2}\sim 0.2$.


title: A Survey of Cybersecurity of Digital Manufacturing

abstract: The Industry 4.0 concept promotes a digital manufacturing (DM) paradigm that can enhance quality and productivity, that reduces inventory and the lead-time for delivering custom, batch-of-one products based on achieving convergence of Additive, Subtractive, and Hybrid manufacturing machines, Automation and Robotic Systems, Sensors, Computing, and Communication Networks, Artificial Intelligence, and Big Data. A DM system consists of embedded electronics, sensors, actuators, control software, and inter-connectivity to enable the machines and the components within them to exchange data with other machines, components therein, the plant operators, the inventory managers, and customers. This paper presents the cybersecurity risks in the emerging DM context, assesses the impact on manufacturing, and identifies approaches to secure DM.


title: Learning Navigation Costs from Demonstration with Semantic Observations

abstract: This paper focuses on inverse reinforcement learning (IRL) for autonomous robot navigation using semantic observations. The objective is to infer a cost function that explains demonstrated behavior while relying only on the expert's observations and state-control trajectory. We develop a map encoder, which infers semantic class probabilities from the observation sequence, and a cost encoder, defined as deep neural network over the semantic features. Since the expert cost is not directly observable, the representation parameters can only be optimized by differentiating the error between demonstrated controls and a control policy computed from the cost estimate. The error is optimized using a closed-form subgradient computed only over a subset of promising states via a motion planning algorithm. We show that our approach learns to follow traffic rules in the autonomous driving CARLA simulator by relying on semantic observations of cars, sidewalks and road lanes.


title: Neural Physicist: Learning Physical Dynamics from Image Sequences

abstract: We present a novel architecture named Neural Physicist (NeurPhy) to learn physical dynamics directly from image sequences using deep neural networks. For any physical system, given the global system parameters, the time evolution of states is governed by the underlying physical laws. How to learn meaningful system representations in an end-to-end way and estimate accurate state transition dynamics facilitating long-term prediction have been long-standing challenges. In this paper, by leveraging recent progresses in representation learning and state space models (SSMs), we propose NeurPhy, which uses variational auto-encoder (VAE) to extract underlying Markovian dynamic state at each time step, neural process (NP) to extract the global system parameters, and a non-linear non-recurrent stochastic state space model to learn the physical dynamic transition. We apply NeurPhy to two physical experimental environments, i.e., damped pendulum and planetary orbits motion, and achieve promising results. Our model can not only extract the physically meaningful state representations, but also learn the state transition dynamics enabling long-term predictions for unseen image sequences. Furthermore, from the manifold dimension of the latent state space, we can easily identify the degree of freedom (DoF) of the underlying physical systems.


title: Particle collisions near static spherically symmetric black holes

abstract: It has been shown by Ba\~{n}ados, Silk and West (BSW) that the center of mass energy (E_cm) of test particles starting from rest at infinity and colliding near the horizon of a Schwarzschild black hole is always finite. In this communication, we extent the BSW scenario and study two particles with different energies colliding near the horizon of a static spherically symmetric black hole. Surprisingly, we find that even for the static spherically symmetric (i.e., Schwarzschild like) black holes it is possible to obtain an arbitrarily high E cm from the two test particles colliding near the horizon of a black hole, if one fine-tunes the parameters of geodesic motion.


title: Thermalisation in a Bose-Hubbard dimer with modulated tunneling

abstract: The periodically modulated Bose-Hubbard dimer model offers an experimentally realizable and highly tunable platform for observing the scrambling of quantum information and the apparent thermalisation of isolated, interacting quantum many-body systems. In this work we apply fidelity out-of-time-order correlators to establish connections between thermalisation in Floquet system, the exponential growth of FOTOCs as quantified by a non-zero quantum Lyapunov exponent, and the underlying classical transition from regular to chaotic dynamics in the dimer. Moreover, we demonstrate that a non-zero quantum Lyapunov exponent can also be inferred from measures quantifying the delocalisation of the Floquet modes of the system such as the Shannon entropy, which approaches unity if the system thermalises to the periodic Gibbs ensemble prediction.


title: Novel utilization of a paper-level classification system for the evaluation of journal impact: An update of the CAS Journal Ranking

abstract: Since its first release in 2004, the CAS Journal Ranking, a ranking system of journals based on a citation impact indicator, has been widely used both in selecting journals when submitting manuscripts and conducting research evaluation in China This paper introduces an upgraded version of the CAS Journal Ranking released in 2020 and the corresponding improvements. We will discuss the following improvements: (1) the CWTS paper-level classification system, a fine-grained classification system, utilized for field normalization, (2) the Field Normalized Citation Success Index (FNCSI), an indicator which is robust against not only extremely highly cited publications, but also wrongly assigned document types, and (3) document type difference. In addition, this paper will present part of the ranking results and an interpretation of the features of the FNCSI indicator.


title: Policy-focused Agent-based Modeling using RL Behavioral Models

abstract: Agent-based Models (ABMs) are valuable tools for policy analysis. ABMs help analysts explore the emergent consequences of policy interventions in multi-agent decision-making settings. But the validity of inferences drawn from ABM explorations depends on the quality of the ABM agents' behavioral models. Standard specifications of agent behavioral models rely either on heuristic decision-making rules or on regressions trained on past data. Both prior specification modes have limitations. This paper examines the value of reinforcement learning (RL) models as adaptive, high-performing, and behaviorally-valid models of agent decision-making in ABMs. We test the hypothesis that RL agents are effective as utility-maximizing agents in policy ABMs. We also address the problem of adapting RL algorithms to handle multi-agency in games by adapting and extending methods from recent literature. We evaluate the performance of such RL-based ABM agents via experiments on two policy-relevant ABMs: a minority game ABM, and an ABM of Influenza Transmission. We run some analytic experiments on our AI-equipped ABMs e.g. explorations of the effects of behavioral heterogeneity in a population and the emergence of synchronization in a population. The experiments show that RL behavioral models are effective at producing reward-seeking or reward-maximizing behaviors in ABM agents. Furthermore, RL behavioral models can learn to outperform the default adaptive behavioral models in the two ABMs examined.


title: Single Image Deraining via Scale-space Invariant Attention Neural Network

abstract: Image enhancement from degradation of rainy artifacts plays a critical role in outdoor visual computing systems. In this paper, we tackle the notion of scale that deals with visual changes in appearance of rain steaks with respect to the camera. Specifically, we revisit multi-scale representation by scale-space theory, and propose to represent the multi-scale correlation in convolutional feature domain, which is more compact and robust than that in pixel domain. Moreover, to improve the modeling ability of the network, we do not treat the extracted multi-scale features equally, but design a novel scale-space invariant attention mechanism to help the network focus on parts of the features. In this way, we summarize the most activated presence of feature maps as the salient features. Extensive experiments results on synthetic and real rainy scenes demonstrate the superior performance of our scheme over the state-of-the-arts.


title: A Sobolev space theory for the time-fractional stochastic partial differential equations driven by Levy processes

abstract: We present an $L_{p}$-theory ($p\geq 2$) for time-fractional stochastic partial differential equations driven by L\'evy processes of the type $$ \partial^{\alpha}_{t}u=\sum_{i,j=1}^d a^{ij}u_{x^{i}x^{j}} +f+\sum_{k=1}^{\infty}\partial^{\beta}_{t}\int_{0}^{t} (\sum_{i=1}^d\mu^{ik} u_{x^i} +g^k) dZ^k_{s} $$ given with nonzero intial data. Here $\partial^{\alpha}_t$ and $\partial^{\beta}_t$ are the Caputo fractional derivatives, $\alpha\in (0,2), \beta\in (0,\alpha+1/p)$, and $\{Z^k_t:k=1,2,\cdots\}$ is a sequence of independent L\'evy processes. The coefficients are random functions depending on $(t,x)$. We prove the uniqueness and existence results in Sobolev spaces, and obtain the maximal regularity of the solution.


title: Constrained episodic reinforcement learning in concave-convex and knapsack settings

abstract: We propose an algorithm for tabular episodic reinforcement learning with constraints. We provide a modular analysis with strong theoretical guarantees for settings with concave rewards and convex constraints, and for settings with hard constraints (knapsacks). Most of the previous work in constrained reinforcement learning is limited to linear constraints, and the remaining work focuses on either the feasibility question or settings with a single episode. Our experiments demonstrate that the proposed algorithm significantly outperforms these approaches in existing constrained episodic environments.


title: Chaotic particle motion around a homogeneous circular ring

abstract: We consider test particle motion in a gravitational field generated by a homogeneous circular ring placed in $n$-dimensional Euclidean space. We observe that there exist no stable stationary orbits in $n=6, 7, \ldots, 10$ but exist in $n=3, 4, 5$ and clarify the regions in which they appear. In $n=3$, we show that the separation of variables of the Hamilton-Jacobi equation does not occur though we find no signs of chaos for stable bound orbits. Since the system is integrable in $n=4$, no chaos appears. In $n=5$, we find some chaotic stable bound orbits. Therefore, this system is nonintegrable at least in $n=5$ and suggests that the timelike geodesic system in the corresponding black ring spacetimes is nonintegrable.


title: Constructive Observer Design for Visual Simultaneous Localisation and Mapping

abstract: Visual Simultaneous Localisation and Mapping (VSLAM) is a well-known problem in robotics with a large range of applications. This paper presents a novel approach to VSLAM by lifting the observer design to a novel Lie group on which the system output is equivariant. The perspective gained from this analysis facilitates the design of a non-linear observer with almost semi-globally asymptotically stable error dynamics. Simulations are provided to illustrate the behaviour of the proposed observer and experiments on data gathered using a fixed-wing UAV flying outdoors demonstrate its performance.


title: Learning to Satisfy Unknown Constraints in Iterative MPC

abstract: We propose a control design method for linear time-invariant systems that iteratively learns to satisfy unknown polyhedral state constraints. At each iteration of a repetitive task, the method constructs an estimate of the unknown environment constraints using collected closed-loop trajectory data. This estimated constraint set is improved iteratively upon collection of additional data. An MPC controller is then designed to robustly satisfy the estimated constraint set. This paper presents the details of the proposed approach, and provides robust and probabilistic guarantees of constraint satisfaction as a function of the number of executed task iterations. We demonstrate the safety of the proposed framework and explore the safety vs. performance trade-off in a detailed numerical example.


title: Static and stationary dark fluid universes: A gravitoelectromagnetic perspective

abstract: We introduce a physical characterization of the static and stationary perfect fluid solutions of the Einstein field equations with a single or 2-component perfect fluid sources, according to their gravitoelectric and gravitomagnetic fields. The absence or presence of either or both of these fields could restrict the equations of state of the underlying perfect fluid sources. As the representative of each family of solutions, we consider those spaces that include the cosmological term as a dark fluid source with the equation of state $p=-\rho = constant$.


title: Comparison of different methods of nitrogen-vacancy layer formation in diamond for widefield quantum microscopy

abstract: Thin layers of near-surface nitrogen-vacancy (NV) defects in diamond substrates are the workhorse of NV-based widefield magnetic microscopy, which has applications in physics, geology and biology. Several methods exist to create such NV layers, which generally involve incorporating nitrogen atoms (N) and vacancies (V) into the diamond through growth and/or irradiation. While there have been detailed studies of individual methods, a direct side-by-side experimental comparison of the resulting magnetic sensitivities is still missing. Here we characterise, at room and cryogenic temperatures, $\approx100$ nm thick NV layers fabricated via three different methods: 1) low-energy carbon irradiation of N-rich high-pressure high-temperature (HPHT) diamond, 2) carbon irradiation of $\delta$-doped chemical vapour deposition (CVD) diamond, 3) low-energy N$^+$ or CN$^-$ implantation into N-free CVD diamond. Despite significant variability within each method, we find that the best HPHT samples yield similar magnetic sensitivities (within a factor 2 on average) to our $\delta$-doped samples, of $<2$~$\mu$T Hz$^{-1/2}$ for DC magnetic fields and $<100$~nT Hz$^{-1/2}$ for AC fields (for a $400$~nm~$\times~400$~nm pixel), while the N$^+$ and CN$^-$ implanted samples exhibit an inferior sensitivity by a factor 2-5, at both room and low temperature. We also examine the crystal lattice strain caused by the respective methods and discuss the implications this has for widefield NV imaging. The pros and cons of each method, and potential future improvements, are discussed. This study highlights that low-energy irradiation of HPHT diamond, despite its relative simplicity and low cost, is a competitive method to create thin NV layers for widefield magnetic imaging.


title: Towards More Practical Adversarial Attacks on Graph Neural Networks

abstract: We study the black-box attacks on graph neural networks (GNNs) under a novel and realistic constraint: attackers have access to only a subset of nodes in the network, and they can only attack a small number of them. A node selection step is essential under this setup. We demonstrate that the structural inductive biases of GNN models can be an effective source for this type of attacks. Specifically, by exploiting the connection between the backward propagation of GNNs and random walks, we show that the common gradient-based white-box attacks can be generalized to the black-box setting via the connection between the gradient and an importance score similar to PageRank. In practice, we find attacks based on this importance score indeed increase the classification loss by a large margin, but they fail to significantly increase the mis-classification rate. Our theoretical and empirical analyses suggest that there is a discrepancy between the loss and mis-classification rate, as the latter presents a diminishing-return pattern when the number of attacked nodes increases. Therefore, we propose a greedy procedure to correct the importance score that takes into account of the diminishing-return pattern. Experimental results show that the proposed procedure can significantly increase the mis-classification rate of common GNNs on real-world data without access to model parameters nor predictions.


title: On complicial homotopy monoids

abstract: For a Kan complex with a vertex, we have the notion of its simplicial homotopy groups. In this paper, for a weak complicial set in the sense of Verity with a vertex, we construct monoids which are a generalization of simplicial homotopy groups.


title: Spatial Firewalls: Quarantining Malware Epidemics in Large Scale Massive Wireless Networks

abstract: Billions of wireless devices are foreseen to participate in big data aggregation and smart automation in order to interface the cyber and physical worlds. Such large-scale ultra-dense wireless connectivity is vulnerable to malicious software (malware) epidemics. Malware worms can exploit multi-hop wireless connectivity to stealthily diffuse throughout the wireless network without being noticed to security servers at the core network. Compromised devices can then be used by adversaries to remotely launch cyber attacks that cause large-scale critical physical damage and threaten public safety. This article overviews the types, threats, and propagation models for malware epidemics in large-scale wireless networks (LSWN). Then, the article proposes a novel and cost efficient countermeasure against malware epidemics in LSWN, denoted as spatial firewalls. It is shown that equipping a strategically selected small portion (i.e., less than 10\%) of the devices with state-of-the-art security mechanisms is sufficient to create spatially secured zones that quarantine malware epidemics. Quarantined infected devices are then cured by on-demand localized software patching. To this end, several firewall deployment strategies are discussed and compared.


title: Assessing Practitioner Beliefs about Software Engineering

abstract: Software engineering is a highly dynamic discipline. Hence, as times change, so too might our beliefs about core processes in this field. This paper checks some five beliefs that originated in the past decades that comment on the relationships between (i) developer productivity; (ii) software quality and (iii) years of developer experience. Using data collected from 1,356 developers in the period 1995 to 2006, we found support for only one of the five beliefs titled "Quality entails productivity". We found no clear support for four other beliefs based on programming languages and software developers. However, from the sporadic evidence of the four other beliefs we learned that a narrow scope could delude practitioners in misinterpreting certain effects to hold in their day to day work. Lastly, through an aggregated view of assessing the five beliefs, we find programming languages act as a confounding factor for developer productivity and software quality. Thus the overall message of this work is that it is both important and possible to revisit old beliefs in SE. Researchers and practitioners should routinely retest old beliefs.


title: ProcData: An R Package for Process Data Analysis

abstract: Process data refer to data recorded in the log files of computer-based items. These data, represented as timestamped action sequences, keep track of respondents' response processes of solving the items. Process data analysis aims at enhancing educational assessment accuracy and serving other assessment purposes by utilizing the rich information contained in response processes. The R package ProcData presented in this article is designed to provide tools for processing, describing, and analyzing process data. We define an S3 class "proc" for organizing process data and extend generic methods summary and print for class "proc". Two feature extraction methods for process data are implemented in the package for compressing information in the irregular response processes into regular numeric vectors. ProcData also provides functions for fitting and making predictions from a neural-network-based sequence model. These functions call relevant functions in package keras for constructing and training neural networks. In addition, several response process generators and a real dataset of response processes of the climate control item in the 2012 Programme for International Student Assessment are included in the package.


title: Visualize Geometric Series

abstract: We review some "proofs without words" for the formula for geometric series and find a common theme lurking behind them. We also answer negatively the question raised by Edgar on the existence of other proofs similar to Mabry's and his.


title: The Galactic LMXB Population and the Galactic Centre Region

abstract: Seventeen years of hard X-ray observations with the instruments of the INTEGRAL observatory, with a focus on the Milky Way and in particular on the Galactic Centre region, have provided a unique database for exploration of the Galactic population of low-mass X-ray binaries (LMXBs). Our understanding of the diverse energetic phenomena associated with accretion of matter onto neutron stars and black holes has greatly improved. We review the large variety of INTEGRAL based results related to LMXBs. In particular, we discuss the spatial distribution of LMXBs over the Galaxy and their X-ray luminosity function as well as various physical phenomena associated with Atoll and Z sources, bursters, symbiotic X-ray binaries, ultracompact X-ray binaries and persistent black hole LMXBs. We also present an up-to-date catalogue of confirmed LMXBs detected by INTEGRAL, which comprises 166 objects. Last but not least, the long-term monitoring of the Galactic Centre with INTEGRAL has shed light on the activity of Sgr A* in the recent past, confirming previous indications that our supermassive black hole experienced a major accretion episode just ~100 years ago. This exciting topic is covered in this review too.


title: Cosmological implications of the KOTO excess

abstract: The KOTO experiment has reported an excess of $K_L\to\pi^0\nu\bar\nu$ events above the Standard Model prediction, in tension with the Grossman-Nir (GN) bound. The GN bound heavily constrains new physics interpretations of an excess in this channel, but another possibility is that the observed events originate from a different process entirely: a decay of the form $K_L\to\pi^0X$, where $X$ denotes one or more new invisible species. We introduce a class of models to study this scenario with two light scalars playing the role of $X$, and we examine the possibility that the lighter of the two new states may also account for cosmological dark matter (DM). We show that this species can be produced thermally in the presence of additional interactions apart from those needed to account for the KOTO excess. Conversely, in the minimal version of the model, DM must be produced nonthermally. In this case, avoiding overproduction imposes constraints on the structure of the low-energy theory. Moreover, this requirement carries significant implications for the scale of reheating in the early Universe, generically preferring a low but observationally permitted reheating temperature of O(10 MeV). We discuss astrophysical and terrestrial signatures that will allow further tests of this paradigm in the coming years.


title: Self-Distillation as Instance-Specific Label Smoothing

abstract: It has been recently demonstrated that multi-generational self-distillation can improve generalization. Despite this intriguing observation, reasons for the enhancement remain poorly understood. In this paper, we first demonstrate experimentally that the improved performance of multi-generational self-distillation is in part associated with the increasing diversity in teacher predictions. With this in mind, we offer a new interpretation for teacher-student training as amortized MAP estimation, such that teacher predictions enable instance-specific regularization. Our framework allows us to theoretically relate self-distillation to label smoothing, a commonly used technique that regularizes predictive uncertainty, and suggests the importance of predictive diversity in addition to predictive uncertainty. We present experimental results using multiple datasets and neural network architectures that, overall, demonstrate the utility of predictive diversity. Finally, we propose a novel instance-specific label smoothing technique that promotes predictive diversity without the need for a separately trained teacher model. We provide an empirical evaluation of the proposed method, which, we find, often outperforms classical label smoothing.


title: Deeply Shared Filter Bases for Parameter-Efficient Convolutional Neural Networks

abstract: Modern convolutional neural networks (CNNs) have massive identical convolution blocks, and, hence, recursive sharing of parameters across these blocks has been proposed to reduce the amount of parameters. However, naive sharing of parameters poses many challenges such as limited representational power and the vanishing/exploding gradients problem of recursively shared parameters. In this paper, we present a recursive convolution block design and training method, in which a recursively shareable part, or a filter basis, is separated and learned while effectively avoiding the vanishing/exploding gradients problem during training. We show that the unwieldy vanishing/exploding gradients problem can be controlled by enforcing the elements of the filter basis orthonormal, and empirically demonstrate that the proposed orthogonality regularization improves the flow of gradients during training. Experimental results on image classification and object detection show that our approach, unlike previous parameter-sharing approaches, does not trade performance to save parameters and consistently outperforms overparameterized counterpart networks. This superior performance demonstrates that the proposed recursive convolution block design and the orthogonality regularization not only prevent performance degradation, but also consistently improve the representation capability while a significant amount of parameters are recursively shared.


title: Learning-to-Rank with Partitioned Preference: Fast Estimation for the Plackett-Luce Model

abstract: We investigate the Plackett-Luce (PL) model based listwise learning-to-rank (LTR) on data with partitioned preference, where a set of items are sliced into ordered and disjoint partitions, but the ranking of items within a partition is unknown. Given $N$ items with $M$ partitions, calculating the likelihood of data with partitioned preference under the PL model has a time complexity of $O(N+S!)$, where $S$ is the maximum size of the top $M-1$ partitions. This computational challenge restrains most existing PL-based listwise LTR methods to a special case of partitioned preference, top-$K$ ranking, where the exact order of the top $K$ items is known. In this paper, we exploit a random utility model formulation of the PL model, and propose an efficient numerical integration approach for calculating the likelihood and its gradients with a time complexity $O(N+S^3)$. We demonstrate that the proposed method outperforms well-known LTR baselines and remains scalable through both simulation experiments and applications to real-world eXtreme Multi-Label classification tasks.


title: Engineering topological phase transition and Aharonov-Bohm caging in a flux-staggered lattice

abstract: A tight binding network of diamond shaped unit cells trapping a staggered magnetic flux distribution is shown to exhibit a topological phase transition under a controlled variation of the flux trapped in a cell. A simple real space decimation technique maps a binary flux staggered network into an equivalent Su-Shrieffer-Heeger (SSH) model. In this way, dealing with a subspace of the full degrees of freedom, we show that a topological phase transition can be initiated by tuning the applied magnetic field that eventually simulates an engineering of the numerical values of the overlap integrals in the paradigmatic SSH model. Thus one can use an external agent, rather than monitoring the intrinsic property of a lattice to control the topological properties. This is advantageous from an experimental point of view. We also provide an in-depth description and analysis of the topologically protected edge states, and discuss how, by tuning the flux from outside one can enhance the spatial extent of the Aharonov-Bohm caging of single particle states for any arbitrary period of staggering. This feature can be useful for the study of transport of quantum information. Our results are exact.


title: On generalized Davis-Wielandt radius inequalities of semi-Hilbertian space operators

abstract: Let $A$ be a positive (semidefinite) operator on a complex Hilbert space $\mathcal{H}$ and let $\mathbb{A}=\left(\begin{array}{cc} A & O O & A \end{array}\right).$ We obtain upper and lower bounds for the $A$-Davis-Wielandt radius of semi-Hilbertian space operators, which generalize and improve on the existing ones. We also obtain upper bounds for the $\mathbb{A}$-Davis-Wielandt radius of $2 \times 2$ operator matrices. Finally, we determine the exact value for the $\mathbb{A}$-Davis-Wielandt radius of two operator matrices $\left(\begin{array}{cc} I & X\\ 0 & 0 \end{array}\right)$ and $\left(\begin{array}{cc} 0 & X\\ 0 & 0 \end{array}\right)$, where $X $ is a semi-Hilbertian space operator.


title: Conformal invariance from scale invariance in non-linear sigma models

abstract: There exists a certain argument that in even dimensions, scale invariant quantum field theories are conformal invariant. We may try to extend the argument in $2n + \epsilon$ dimensions, but the naive extension has a small loophole, which indeed shows an obstruction in non-linear sigma models in $2+\epsilon$ dimensions. Even though it could have failed due to the loophole, we show that scale invariance does imply conformal invariance of non-linear sigma models in $2+\epsilon$ dimension from the seminal work by Perelman on the Ricci flow.


title: C-SL: Contrastive Sound Localization with Inertial-Acoustic Sensors

abstract: Human brain employs perceptual information about the head and eye movements to update the spatial relationship between the individual and the surrounding environment. Based on this cognitive process known as spatial updating, we introduce contrastive sound localization (C-SL) with mobile inertial-acoustic sensor arrays of arbitrary geometry. C-SL uses unlabeled multi-channel audio recordings and inertial measurement unit (IMU) readings collected during free rotational movements of the array to learn mappings from acoustical measurements to an array-centered direction-of-arrival (DOA) in a self-supervised manner. Contrary to conventional DOA estimation methods that require the knowledge of either the array geometry or source locations in the calibration stage, C-SL is agnostic to both, and can be trained on data collected in minimally constrained settings. To achieve this capability, our proposed method utilizes a customized contrastive loss measuring the spatial contrast between source locations predicted for disjoint segments of the input to jointly update estimated DOAs and the acoustic-spatial mapping in linear time. We provide quantitative and qualitative evaluations of C-SL comparing its performance with baseline DOA estimation methods in a wide range of conditions. We believe the relaxed calibration process offered by C-SL paves the way toward truly personalized augmented hearing applications.


title: Optoelectronic device simulations based on macroscopic Maxwell-Bloch equations

abstract: Due to their intuitiveness, flexibility and relative numerical efficiency, the macroscopic Maxwell-Bloch (MB) equations are a widely used semiclassical and semi-phenomenological model to describe optical propagation and coherent light-matter interaction in media consisting of discrete-level quantum systems. This review focuses on the application of this model to advanced optoelectronic devices, such as quantum cascade and quantum dot lasers. The Bloch equations are here treated as a density matrix model for driven quantum systems with two or multiple discrete energy levels, where dissipation is included by Lindblad terms. Furthermore, the one-dimensional MB equations for semiconductor waveguide structures and optical fibers are rigorously derived. Special analytical solutions and suitable numerical methods are presented. Due to the importance of the MB equations in computational electrodynamics, an emphasis is placed on the comparison of different numerical schemes, both with and without the rotating wave approximation. The implementation of additional effects which can become relevant in semiconductor structures, such as spatial hole burning, inhomogeneous broadening and local-field corrections, is discussed. Finally, links to microscopic models and suitable extensions of the Lindblad formalism are briefly addressed.


title: High-order mass- and energy-conserving SAV-Gauss collocation finite element methods for the nonlinear Schr\"odinger equation

abstract: A family of arbitrarily high-order fully discrete space-time finite element methods are proposed for the nonlinear Schr\"odinger equation based on the scalar auxiliary variable formulation, which consists of a Gauss collocation temporal discretization and the finite element spatial discretization. The proposed methods are proved to be well-posed and conserving both mass and energy at the discrete level. An error bound of the form $O(h^p+\tau^{k+1})$ in the $L^\infty(0,T;H^1)$-norm is established, where $h$ and $\tau$ denote the spatial and temporal mesh sizes, respectively, and $(p,k)$ is the degree of the space-time finite elements. Numerical experiments are provided to validate the theoretical results on the convergence rates and conservation properties. The effectiveness of the proposed methods in preserving the shape of a soliton wave is also demonstrated by numerical results.


title: Detection of Makeup Presentation Attacks based on Deep Face Representations

abstract: Facial cosmetics have the ability to substantially alter the facial appearance, which can negatively affect the decisions of a face recognition. In addition, it was recently shown that the application of makeup can be abused to launch so-called makeup presentation attacks. In such attacks, the attacker might apply heavy makeup in order to achieve the facial appearance of a target subject for the purpose of impersonation. In this work, we assess the vulnerability of a COTS face recognition system to makeup presentation attacks employing the publicly available Makeup Induced Face Spoofing (MIFS) database. It is shown that makeup presentation attacks might seriously impact the security of the face recognition system. Further, we propose an attack detection scheme which distinguishes makeup presentation attacks from genuine authentication attempts by analysing differences in deep face representations obtained from potential makeup presentation attacks and corresponding target face images. The proposed detection system employs a machine learning-based classifier, which is trained with synthetically generated makeup presentation attacks utilizing a generative adversarial network for facial makeup transfer in conjunction with image warping. Experimental evaluations conducted using the MIFS database reveal a detection equal error rate of 0.7% for the task of separating genuine authentication attempts from makeup presentation attacks.


title: Artificial Intelligence (AI)-Centric Management of Resources in Modern Distributed Computing Systems

abstract: Contemporary Distributed Computing Systems (DCS) such as Cloud Data Centres are large scale, complex, heterogeneous, and distributed across multiple networks and geographical boundaries. On the other hand, the Internet of Things (IoT)-driven applications are producing a huge amount of data that requires real-time processing and fast response. Managing these resources efficiently to provide reliable services to end-users or applications is a challenging task. The existing Resource Management Systems (RMS) rely on either static or heuristic solutions inadequate for such composite and dynamic systems. The advent of Artificial Intelligence (AI) due to data availability and processing capabilities manifested into possibilities of exploring data-driven solutions in RMS tasks that are adaptive, accurate, and efficient. In this regard, this paper aims to draw the motivations and necessities for data-driven solutions in resource management. It identifies the challenges associated with it and outlines the potential future research directions detailing where and how to apply the data-driven techniques in the different RMS tasks. Finally, it provides a conceptual data-driven RMS model for DCS and presents the two real-time use cases (GPU frequency scaling and data centre resource management from Google Cloud and Microsoft Azure) demonstrating AI-centric approaches' feasibility.


title: Stable Prediction via Leveraging Seed Variable

abstract: In this paper, we focus on the problem of stable prediction across unknown test data, where the test distribution is agnostic and might be totally different from the training one. In such a case, previous machine learning methods might exploit subtly spurious correlations in training data induced by non-causal variables for prediction. Those spurious correlations are changeable across data, leading to instability of prediction across data. By assuming the relationships between causal variables and response variable are invariant across data, to address this problem, we propose a conditional independence test based algorithm to separate those causal variables with a seed variable as priori, and adopt them for stable prediction. By assuming the independence between causal and non-causal variables, we show, both theoretically and with empirical experiments, that our algorithm can precisely separate causal and non-causal variables for stable prediction across test data. Extensive experiments on both synthetic and real-world datasets demonstrate that our algorithm outperforms state-of-the-art methods for stable prediction.


title: SEKD: Self-Evolving Keypoint Detection and Description

abstract: Researchers have attempted utilizing deep neural network (DNN) to learn novel local features from images inspired by its recent successes on a variety of vision tasks. However, existing DNN-based algorithms have not achieved such remarkable progress that could be partly attributed to insufficient utilization of the interactive characters between local feature detector and descriptor. To alleviate these difficulties, we emphasize two desired properties, i.e., repeatability and reliability, to simultaneously summarize the inherent and interactive characters of local feature detector and descriptor. Guided by these properties, a self-supervised framework, namely self-evolving keypoint detection and description (SEKD), is proposed to learn an advanced local feature model from unlabeled natural images. Additionally, to have performance guarantees, novel training strategies have also been dedicatedly designed to minimize the gap between the learned feature and its properties. We benchmark the proposed method on homography estimation, relative pose estimation, and structure-from-motion tasks. Extensive experimental results demonstrate that the proposed method outperforms popular hand-crafted and DNN-based methods by remarkable margins. Ablation studies also verify the effectiveness of each critical training strategy. We will release our code along with the trained model publicly.


title: Differentiable Expected Hypervolume Improvement for Parallel Multi-Objective Bayesian Optimization

abstract: In many real-world scenarios, decision makers seek to efficiently optimize multiple competing objectives in a sample-efficient fashion. Multi-objective Bayesian optimization (BO) is a common approach, but many of the best-performing acquisition functions do not have known analytic gradients and suffer from high computational overhead. We leverage recent advances in programming models and hardware acceleration for multi-objective BO using Expected Hypervolume Improvement (EHVI)---an algorithm notorious for its high computational complexity. We derive a novel formulation of q-Expected Hypervolume Improvement (qEHVI), an acquisition function that extends EHVI to the parallel, constrained evaluation setting. qEHVI is an exact computation of the joint EHVI of q new candidate points (up to Monte-Carlo (MC) integration error). Whereas previous EHVI formulations rely on gradient-free acquisition optimization or approximated gradients, we compute exact gradients of the MC estimator via auto-differentiation, thereby enabling efficient and effective optimization using first-order and quasi-second-order methods. Our empirical evaluation demonstrates that qEHVI is computationally tractable in many practical scenarios and outperforms state-of-the-art multi-objective BO algorithms at a fraction of their wall time.


title: Electrocaloric response in Lanthanum-modified lead zirconate titanate ceramics

abstract: Recent findings of a large electrocaloric (EC) effect in polymeric and inorganic ferroelectric materials open a potential possibility of development of solid-state cooling or heating devices of new generation with better energy efficiency that may be less harmful for the environment. We investigate by using direct measurements, the temperature and electric field dependence of the electrocaloric response in Pb1-xLax(ZryTi1-y)1-x/4O3 bulk ceramics (PLZT) with x=0.06 and 0.12. Here, the properties of the EC response were probed in a part of the PLZT composition phase diagram with low y=0.40 composition, in which the EC effect was not previously studied. Measurement results show the existence of the sizeable EC response in 12/40/60 PLZT sample with the EC temperature change ({\Delta}TEC) of 2.92 K at 430 K and 80 kV/cm. This value exceeds previously obtained {\Delta}TEC values in relaxor ferroelectric x/65/35 PLZT compositions and rivaling the best EC response in lead magnesium niobate-lead titanate ceramics. The electrocaloric responsivity ({\Delta}T/{\Delta}E) value of 0.41x10-6 Km/V determined at a lower electric field of 20 kV/cm and 410 K is comparable to those observed in other perovskite ferroelectrics.


title: Learning to Count up to Symmetry

abstract: In this paper we develop the theory of how to count, in thin concurrent games, the configurations of a strategy witnessing that it reaches a certain configuration of the game. This plays a central role in many recent developments in concurrent games, whenever one aims to relate concurrent strategies with weighted relational models. The difficulty, of course, is symmetry: in the presence of symmetry many configurations of the strategy are, morally, different instances of the same, only differing on the inessential choice of copy indices. How do we know which ones to count? The purpose of the paper is to clarify that, uncovering many strange phenomena and fascinating pathological examples along the way. To illustrate the results, we show that a collapse operation to a simple weighted relational model simply counting witnesses is preserved under composition, provided the strategies involved do not deadlock.


title: Modelling the second wave of COVID-19 infections in France and Italy via a Stochastic SEIR model

abstract: COVID-19 has forced quarantine measures in several countries across the world. These measures have proven to be effective in significantly reducing the prevalence of the virus. To date, no effective treatment or vaccine is available. In the effort of preserving both public health as well as the economical and social textures, France and Italy governments have partially released lockdown measures. Here we extrapolate the long-term behavior of the epidemics in both countries using a Susceptible-Exposed-Infected-Recovered (SEIR) model where parameters are stochastically perturbed to handle the uncertainty in the estimates of COVID-19 prevalence. Our results suggest that uncertainties in both parameters and initial conditions rapidly propagate in the model and can result in different outcomes of the epidemics leading or not to a second wave of infections. Using actual knowledge, asymptotic estimates of COVID-19 prevalence can fluctuate of order of ten millions units in both countries.


title: Learning to Stop While Learning to Predict

abstract: There is a recent surge of interest in designing deep architectures based on the update steps in traditional algorithms, or learning neural networks to improve and replace traditional algorithms. While traditional algorithms have certain stopping criteria for outputting results at different iterations, many algorithm-inspired deep models are restricted to a ``fixed-depth'' for all inputs. Similar to algorithms, the optimal depth of a deep architecture may be different for different input instances, either to avoid ``over-thinking'', or because we want to compute less for operations converged already. In this paper, we tackle this varying depth problem using a steerable architecture, where a feed-forward deep model and a variational stopping policy are learned together to sequentially determine the optimal number of layers for each input instance. Training such architecture is very challenging. We provide a variational Bayes perspective and design a novel and effective training procedure which decomposes the task into an oracle model learning stage and an imitation stage. Experimentally, we show that the learned deep model along with the stopping policy improves the performances on a diverse set of tasks, including learning sparse recovery, few-shot meta learning, and computer vision tasks.


title: Hydrodynamics of core-collapse supernovae and their progenitors

abstract: Multi-dimensional fluid flow plays a paramount role in the explosions of massive stars as core-collapse supernovae. In recent years, three-dimensional (3D) simulations of these phenomena have matured significantly. Considerable progress has been made towards identifying the ingredients for shock revival by the neutrino-driven mechanism, and successful explosions have already been obtained in a number of self-consistent 3D models. These advances also bring new challenges, however. Prompted by a need for increased physical realism and meaningful model validation, supernova theory is now moving towards a more integrated view that connects multi-dimensional phenomena in the late convective burning stages prior to collapse, the explosion engine, and mixing instabilities in the supernova envelope. Here we review our current understanding of multi-D fluid flow in core-collapse supernovae and their progenitors. We start by outlining specific challenges faced by hydrodynamic simulations of core-collapse supernovae and of the late convective burning stages. We then discuss recent advances and open questions in theory and simulations.


title: Reliable Detection for Spatial Modulation Systems

abstract: Spatial modulation (SM) is a promising multiple-input multiple-output system used to increase spectral efficiency. The maximum likelihood (ML) decoder jointly detects the transmitted SM symbol, which is of high complexity. In this paper, a novel reliable sphere decoder (RSD) algorithm based on tree-search is proposed for the SM system. The basic idea of the proposed RSD algorithm is to reduce the size of the tree-search, and then, a smart searching method inside the reduced tree-search is performed to find the solution. The proposed RSD algorithm provides a significant reduction in decoding complexity compared to the ML decoder and existent decoders as well. Moreover, the RSD algorithm provides a flexible trade-off between the bit error rate (BER) performance and decoding complexity, so as to be reliable for a wide range of practical hardware implementations. The BER performance and decoding complexity analysis for the RSD algorithm are studied, and Monte Carlo simulations are then provided to demonstrate the findings.


title: Photoluminescence at the ground state level anticrossing of the nitrogen-vacancy center in diamond

abstract: The nitrogen-vacancy center (NV center) in diamond at magnetic fields corresponding to the ground state level anticrossing (GSLAC) region gives rise to rich photoluminescence (PL) signals due to the vanishing energy gap between the electron spin states, which enables to have an effect on the NV center's luminescence for a broad variety of environmental couplings. In this article we report on the GSLAC photoluminescence signature of NV ensembles in different spin environments at various external fields. We investigate the effects of transverse electric and magnetic fields, P1 centers, NV centers, and the $^{13}$C nuclear spins, each of which gives rise to a unique PL signature at the GSLAC. The comprehensive analysis of the couplings and related optical signal at the GSLAC provides a solid ground for advancing various microwave-free applications at the GSLAC, including but not limited to magnetometry, spectroscopy, dynamic nuclear polarization (DNP), and nuclear magnetic resonance (NMR) detection. We demonstrate that not only the most abundant $^{14}$NV center but the $^{15}$NV can also be utilized in such applications and that nuclear spins coupled to P1 centers can be polarized directly by the NV center at the GSLAC, through a giant effective nuclear $g$-factor arising from the NV center-P1 center-nuclear spin coupling. We report on new alternative for measuring defect concentration in the vicinity of NV centers and on the optical signatures of interacting, mutually aligned NV centers.


title: Geodesic Congruences and a Collapsing Stellar Distribution in f (T ) Theories

abstract: Teleparallel Gravity (TG) describes gravitation as a torsional- rather than curvature-based effect. As in curvature-based constructions of gravity, several different formulations can be proposed, one of which is the Teleparallel equivalent of General Relativity (TEGR) which is dynamically equivalent to GR. In this work, we explore the evolution of a spatially homogeneous collapsing stellar body in the context of two important modifications to TEGR, namely f (T) gravity which is the TG analogue of f (R) gravity, and a nonminimal coupling with a scalar field which has become popular in TG for its effects in cosmology. We explore the role of geodesic deviation to study the congruence of nearby particles in lieu of the Raychaudhuri equation. We find f (T) models that satisfy the null energy condition and describe interesting collapse profiles. In the case of a nonminimally coupled scalar field, we also find potential collapse models with intriguing scalar field evolution profiles.


title: Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling

abstract: In this work we define a unified mathematical framework to deepen our understanding of the role of stochastic gradient (SG) noise on the behavior of Markov chain Monte Carlo sampling (SGMCMC) algorithms. Our formulation unlocks the design of a novel, practical approach to posterior sampling, which makes the SG noise isotropic using a fixed learning rate that we determine analytically, and that requires weaker assumptions than existing algorithms. In contrast, the common traits of existing \sgmcmc algorithms is to approximate the isotropy condition either by drowning the gradients in additive noise (annealing the learning rate) or by making restrictive assumptions on the \sg noise covariance and the geometry of the loss landscape. Extensive experimental validations indicate that our proposal is competitive with the state-of-the-art on \sgmcmc, while being much more practical to use.


title: Long-distance free-space measurement-device-independent quantum key distribution

abstract: Measurement-device-independent quantum key distribution (MDI-QKD), based on two-photon interference, is immune to all attacks against the detection system and allows a QKD network with untrusted relays. Since the MDI-QKD protocol was proposed, fibre-based implementations have been rapidly developed towards longer distance, higher key rates, and network verification. However, owing to the effect of atmospheric turbulence, MDI-QKD over free-space channel remains experimentally challenging. Here, by developing the robust adaptive optics system, high precision time synchronization and frequency locking between independent photon sources located far apart, we realised the first free-space MDI-QKD over a 19.2-km urban atmospheric channel, which well exceeds the effective atmospheric thickness. Our experiment takes the first step towards satellite-based MDI-QKD. Moreover, the technology developed here opens the way to quantum experiments in free space involving long-distance interference of independent single photons.


title: Enterprise Systems Lifecycle-wide Innovation Readiness

abstract: Enterprise Systems have been touted as a key driver of delivering benefits through innovation in corporate Information Systems. The advent of such systems expects to deliver best practices that improve organizational performance. Yet, most Enterprise System installations struggle to see lifecycle-wide value of it. Considering that Enterprise Systems deliver lifecycle-wide innovation; we observe organizational readiness for lifecycle-wide Enterprise Systems innovation. The A VICTORY apriori model compares contributions of eight constructs for organizational readiness for continuous Enterprise Systems innovation. The model is tested responses of both client and implementation partner. Results indicate that six of the eight constructs of readiness make significant contributions to organizational readiness for Enterprise Systems innovation.


title: Optical System Design of Bionic Compound Eye with Broad Field of View

abstract: In nature, many common insects have compound eyes composed of many small eyes arranged on a curved retina. This kind of vision systems have many advantages, such as small size, large FOV (field of view) and high sensitivity, which have attracted extensive attention and research from world-wide researchers. It has good application prospects in military strikes and mechanical vision. In this paper, a new type of miniature compound eye system with large FOV is designed, which contains a micro-lens array and a relay system. Hexagonal micro-lens array are spliced seamlessly as a curved shell in the designed compound eye system. The intermediate curved image formed by the curved array is converted to a planar image by introducing a relay system. After combination and optimization of the micro-lens array and the relay system, the MTF values at 89.3lp/mm for each FOV within 120.5{\deg} are greater than 0.3, and the corresponding RMS spot radii less than the radius of the Airy disk, which proves the good imaging quality for the compound eye. The clear aperture of a single micro lens is 250{\mu}m with FOV 6{\deg}. After tolerance analysis, the results show the image quality still holds good enough performance and meets the requirements of the additive manufacturing process.


title: PNL: Efficient Long-Range Dependencies Extraction with Pyramid Non-Local Module for Action Recognition

abstract: Long-range spatiotemporal dependencies capturing plays an essential role in improving video features for action recognition. The non-local block inspired by the non-local means is designed to address this challenge and have shown excellent performance. However, the non-local block brings significant increase in computation cost to the original network. It also lacks the ability to model regional correlation in videos. To address the above limitations, we propose Pyramid Non-Local (PNL) module, which extends the non-local block by incorporating regional correlation at multiple scales through a pyramid structured module. This extension upscales the effectiveness of non-local operation by attending to the interaction between different regions. Empirical results prove the effectiveness and efficiency of our PNL module, which achieves state-of-the-art performance of 83.09% on the Mini-Kinetics dataset, with decreased computation cost compared to the non-local block.


title: A mechanistic framework for a priori pharmacokinetic predictions of orally inhaled drugs

abstract: The fate of orally inhaled drugs is determined by pulmonary pharmacokinetic (PK) processes such as particle deposition, pulmonary drug dissolution, and mucociliary clearance. Although each single process has been systematically investigated, a quantitative understanding on their interaction remains limited and hence identifying optimal drug and formulation characteristics for orally inhaled drugs is still challenging. To investigate this complex interplay, the pulmonary processes can be integrated into mathematical models. However, existing modeling attempts considerably simplify these processes or are not systematically evaluated against (clinical) data. In this work, we developed a mathematical framework based on physiologically-structured population equations to integrate all relevant pulmonary processes mechanistically. A tailored numerical resolution strategy was chosen and the mechanistic model was evaluated systematically against different clinical datasets. Without any parameter estimation based on individual study data, the developed model simultaneously predicted (1) lung retention profiles of inhaled insoluble particles, (2) particle size-dependent PK of inhaled monodisperse particles, (3) PK differences between inhaled fluticasone propionate and budesonide, and (4) PK differences between healthy volunteers and asthmatic patients. Finally, to identify the most impactful optimization criteria for orally inhaled drugs, we investigated the impact of input parameters on both pulmonary and systemic exposure. Solubility of the inhaled drug did not have any relevant impact on local and systemic PK. Instead, pulmonary dissolution rate, particle size, tissue affinity, and systemic clearance were impactful potential optimization parameters. In the future, the developed prediction framework should be considered a powerful tool to identify optimal drug and formulation characteristics.


title: Distinct Kondo Screening Behaviors in Heavy Fermion Filled Skutterudites with 4f1 and 4f2 Configurations

abstract: Filled-skutterudite heavy fermion (HF) compounds host rich ground states depending on the f electron configurations. CeOs4Sb12 (COS) with Ce 4f1, and PrOs4Sb12 (POS) with Pr 4f2 configurations show distinct properties of Kondo insulating and HF superconductivity, respectivity. We unveiled the underlying microscopic origin by angle-resolved photoemission spectroscopy studies. Their eV-scale band structure matches well, representing the common characters of conduction electrons in ROs4Sb12 systems (R = rare earth). However, f electrons interact differently with conduction electrons in them. Strong hybridization between conduction electrons and f electrons is observed in COS with band dependent hybridization gaps, and the development of Kondo insulating state is directly revealed. Although the ground state of POS is a singlet, finite but incoherent hybridization exists due to Kondo scattering with the thermally excited triplet crystalline electric field (CEF) state. Our results help to understand the intriguing properties in COS and POS, and provide a clean demonstration of the microscopic differences in HF systems with 4f1 and 4f2 configurations.


title: Meta-Learning Bandit Policies by Gradient Ascent

abstract: Most bandit policies are designed to either minimize regret in any problem instance, making very few assumptions about the underlying environment, or in a Bayesian sense, assuming a prior distribution over environment parameters. The former are often too conservative in practical settings, while the latter require assumptions that are hard to verify in practice. We study bandit problems that fall between these two extremes, where the learning agent has access to sampled bandit instances from an unknown prior distribution $\mathcal{P}$ and aims to achieve high reward on average over the bandit instances drawn from $\mathcal{P}$. This setting is of a particular importance because it lays foundations for meta-learning of bandit policies and reflects more realistic assumptions in many practical domains. We propose the use of parameterized bandit policies that are differentiable and can be optimized using policy gradients. This provides a broadly applicable framework that is easy to implement. We derive reward gradients that reflect the structure of bandit problems and policies, for both non-contextual and contextual settings, and propose a number of interesting policies that are both differentiable and have low regret. Our algorithmic and theoretical contributions are supported by extensive experiments that show the importance of baseline subtraction, learned biases, and the practicality of our approach on a range problems.


title: Towards an Intrinsic Definition of Robustness for a Classifier

abstract: The robustness of classifiers has become a question of paramount importance in the past few years. Indeed, it has been shown that state-of-the-art deep learning architectures can easily be fooled with imperceptible changes to their inputs. Therefore, finding good measures of robustness of a trained classifier is a key issue in the field. In this paper, we point out that averaging the radius of robustness of samples in a validation set is a statistically weak measure. We propose instead to weight the importance of samples depending on their difficulty. We motivate the proposed score by a theoretical case study using logistic regression, where we show that the proposed score is independent of the choice of the samples it is evaluated upon. We also empirically demonstrate the ability of the proposed score to measure robustness of classifiers with little dependence on the choice of samples in more complex settings, including deep convolutional neural networks and real datasets.


title: MLModelCI: An Automatic Cloud Platform for Efficient MLaaS

abstract: MLModelCI provides multimedia researchers and developers with a one-stop platform for efficient machine learning (ML) services. The system leverages DevOps techniques to optimize, test, and manage models. It also containerizes and deploys these optimized and validated models as cloud services (MLaaS). In its essence, MLModelCI serves as a housekeeper to help users publish models. The models are first automatically converted to optimized formats for production purpose and then profiled under different settings (e.g., batch size and hardware). The profiling information can be used as guidelines for balancing the trade-off between performance and cost of MLaaS. Finally, the system dockerizes the models for ease of deployment to cloud environments. A key feature of MLModelCI is the implementation of a controller, which allows elastic evaluation which only utilizes idle workers while maintaining online service quality. Our system bridges the gap between current ML training and serving systems and thus free developers from manual and tedious work often associated with service deployment. We release the platform as an open-source project on GitHub under Apache 2.0 license, with the aim that it will facilitate and streamline more large-scale ML applications and research projects.


title: GAP++: Learning to generate target-conditioned adversarial examples

abstract: Adversarial examples are perturbed inputs which can cause a serious threat for machine learning models. Finding these perturbations is such a hard task that we can only use the iterative methods to traverse. For computational efficiency, recent works use adversarial generative networks to model the distribution of both the universal or image-dependent perturbations directly. However, these methods generate perturbations only rely on input images. In this work, we propose a more general-purpose framework which infers target-conditioned perturbations dependent on both input image and target label. Different from previous single-target attack models, our model can conduct target-conditioned attacks by learning the relations of attack target and the semantics in image. Using extensive experiments on the datasets of MNIST and CIFAR10, we show that our method achieves superior performance with single target attack models and obtains high fooling rates with small perturbation norms.


title: Fluctuations superconductivity and giant negative magnetoresistance in a gate voltage tuned 2D electron liquid with strong spin-orbit impurity scattering

abstract: We present a quantitative theory of the gate-voltage tuned superconductor-to-insulator transition (SIT) observed experimentally in the 2D electron liquid created in the (111) interface between crystalline SrTiO_3 and LaAlO_3 . Considering two fundamental opposing effects of Cooper-pair fluctuations; the critical conductivity enhancement, known as para-conductivity, and its suppression associated with the loss of unpaired electrons due to Cooper-pairs formation, we employ the standard thermal fluctuations theory, modified to include quantum fluctuations within a novel phenomenological approach. Relying on the quantitative agreement found between our theory and a large body of experimental sheet-resistance data, we conclude that spin-orbit scatterings, via significant enhancement of the interaction between fluctuations, strongly enhance the sheet resistance peak at high fields, and reveal anomalous metallic behavior at low fields, due to mixing of relatively heavy electron bands with a light electron band near a Lifshitz point.


title: Lattice-Free and Point-Free: Vickers Duality for Subbases of Stably Locally Compact Spaces

abstract: Inspired by classic work of Wallman and more recent work of Jung-Kegelmann-Moshier and Vickers, we show how to encode general subbases of stably locally compact spaces via certain entailment relations. We further build this up to a categorical duality encompassing the classic Priestley-Stone duality and its various extensions to stably locally compact spaces by Shirota, De Vries, Hofmann-Lawson (in the stable case), Jung-S\"underhauf, Hansoul-Poussart, Bezhanishvili-Jansana, van Gool and Bice-Starling.


title: Regular sets in Cayley graphs

abstract: In a graph $\Gamma$ with vertex set $V$, a subset $C$ of $V$ is called an $(a,b)$-perfect set if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$, where $a$ and $b$ are nonnegative integers. In the literature $(0,1)$-perfect sets are known as perfect codes and $(1,1)$-perfect sets are known as total perfect codes. In this paper we prove that, for any finite group $G$, if a non-trivial normal subgroup $H$ of $G$ is a perfect code in some Cayley graph of $G$, then it is also an $(a,b)$-perfect set in some Cayley graph of $G$ for any pair of integers $a$ and $b$ with $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $\gcd(2,|H|-1)$ divides $a$. A similar result involving total perfect codes is also proved in the paper.


title: A note on dense bipartite induced subgraphs

abstract: This exposition contains a short and streamlined proof of the recent result of Kwan, Letzter, Sudakov and Tran that every triangle-free graph with minimum degree $d$ contains an induced bipartite subgraph with average degree $\Omega(\ln d/\ln\ln d)$.


title: ROSbag-based Multimodal Affective Dataset for Emotional and Cognitive States

abstract: This paper introduces a new ROSbag-based multimodal affective dataset for emotional and cognitive states generated using Robot Operating System (ROS). We utilized images and sounds from the International Affective Pictures System (IAPS) and the International Affective Digitized Sounds (IADS) to stimulate targeted emotions (happiness, sadness, anger, fear, surprise, disgust, and neutral), and a dual N-back game to stimulate different levels of cognitive workload. 30 human subjects participated in the user study; their physiological data was collected using the latest commercial wearable sensors, behavioral data was collected using hardware devices such as cameras, and subjective assessments were carried out through questionnaires. All data was stored in single ROSbag files rather than in conventional Comma-separated values (CSV) files. This not only ensures synchronization of signals and videos in a data set, but also allows researchers to easily analyze and verify their algorithms by connecting directly to this dataset through ROS. The generated affective dataset consists of 1,602 ROSbag files, and size of the dataset is about 787GB. The dataset is made publicly available. We expect that our dataset can be great resource for many researchers in the fields of affective computing, HCI, and HRI.


title: The Curious Case of Convex Neural Networks

abstract: In this paper, we investigate a constrained formulation of neural networks where the output is a convex function of the input. We show that the convexity constraints can be enforced on both fully connected and convolutional layers, making them applicable to most architectures. The convexity constraints include restricting the weights (for all but the first layer) to be non-negative and using a non-decreasing convex activation function. Albeit simple, these constraints have profound implications on the generalization abilities of the network. We draw three valuable insights: (a) Input Output Convex Neural Networks (IOC-NNs) self regularize and reduce the problem of overfitting; (b) Although heavily constrained, they outperform the base multi layer perceptrons and achieve similar performance as compared to base convolutional architectures and (c) IOC-NNs show robustness to noise in train labels. We demonstrate the efficacy of the proposed idea using thorough experiments and ablation studies on standard image classification datasets with three different neural network architectures.


title: Optimal-Time Queries on BWT-runs Compressed Indexes

abstract: Indexing highly repetitive strings (i.e., strings with many repetitions) for fast queries has become a central research topic in string processing, because it has a wide variety of applications in bioinformatics and natural language processing. Although a substantial number of indexes for highly repetitive strings have been proposed thus far, developing compressed indexes that support various queries remains a challenge. The run-length Burrows-Wheeler transform (RLBWT) is a lossless data compression by a reversible permutation of an input string and run-length encoding, and it has received interest for indexing highly repetitive strings. LF and $\phi^{-1}$ are two key functions for building indexes on RLBWT, and the best previous result computes LF and $\phi^{-1}$ in $O(\log \log n)$ time with $O(r)$ words of space for the string length $n$ and the number $r$ of runs in RLBWT. In this paper, we improve LF and $\phi^{-1}$ so that they can be computed in a constant time with $O(r)$ words of space. Subsequently, we present OptBWTR (optimal-time queries on BWT-runs compressed indexes), the first string index that supports various queries including locate, count, extract queries in optimal time and $O(r)$ words of space.