title: A Self-Supervised Gait Encoding Approach with Locality-Awareness for 3D Skeleton Based Person Re-Identification

abstract: Person re-identification (Re-ID) via gait features within 3D skeleton sequences is a newly-emerging topic with several advantages. Existing solutions either rely on hand-crafted descriptors or supervised gait representation learning. This paper proposes a self-supervised gait encoding approach that can leverage unlabeled skeleton data to learn gait representations for person Re-ID. Specifically, we first create self-supervision by learning to reconstruct unlabeled skeleton sequences reversely, which involves richer high-level semantics to obtain better gait representations. Other pretext tasks are also explored to further improve self-supervised learning. Second, inspired by the fact that motion's continuity endows adjacent skeletons in one skeleton sequence and temporally consecutive skeleton sequences with higher correlations (referred as locality in 3D skeleton data), we propose a locality-aware attention mechanism and a locality-aware contrastive learning scheme, which aim to preserve locality-awareness on intra-sequence level and inter-sequence level respectively during self-supervised learning. Last, with context vectors learned by our locality-aware attention mechanism and contrastive learning scheme, a novel feature named Constrastive Attention-based Gait Encodings (CAGEs) is designed to represent gait effectively. Empirical evaluations show that our approach significantly outperforms skeleton-based counterparts by 15-40% Rank-1 accuracy, and it even achieves superior performance to numerous multi-modal methods with extra RGB or depth information. Our codes are available at https://github.com/Kali-Hac/Locality-Awareness-SGE.


title: Subcritical branching processes in random environment with immigration: survival of a single family

abstract: We consider a subcritical branching process in an i.i.d. random environment, in which one immigrant arrives at each generation. We consider the event $% \mathcal{A}_{i}(n)$ that all individuals alive at time $n$ are offspring of the immigrant which joined the population at time $i$ and investigate the asymptotic probability of this extreme event when $n\to\infty$ and $i$ is either fixed, or the difference $n-i$ is fixed, or $\min(i,n-i)\to\infty.$ To deduce the desired asymptotics we establish some limit theorems for random walks conditioned to be nonnegative or negative.


title: kk2018 at SemEval-2020 Task 9: Adversarial Training for Code-Mixing Sentiment Classification

abstract: Code switching is a linguistic phenomenon that may occur within a multilingual setting where speakers share more than one language. With the increasing communication between groups with different languages, this phenomenon is more and more popular. However, there are little research and data in this area, especially in code-mixing sentiment classification. In this work, the domain transfer learning from state-of-the-art uni-language model ERNIE is tested on the code-mixing dataset, and surprisingly, a strong baseline is achieved. Furthermore, the adversarial training with a multi-lingual model is used to achieve 1st place of SemEval-2020 Task 9 Hindi-English sentiment classification competition.


title: Unveiling the role of carbon defects in the exceptional narrowing of m-ZrO2 bandgap for enhanced photoelectrochemical water splitting performance

abstract: The development of efficient photoelectrodes via defect engineering of wide-band gap metal oxides has been the prime focus for many years. Specifically, the effect of carbon defects in wide-band gap metal oxides on their performance in photoelectrochemical (PEC) applications raised numerous controversies and still elusive. Herein, the effect of various carbon defects in m-ZrO2 was investigated using the density functional theory to probe the thermodynamic, electronic, and optical properties of the defective structures against pristine m-ZrO2. The defect formation energies revealed that elevating the temperature promotes and facilitates the formation of carbon defects. Moreover, the binding energies confirmed the stability of all studied complex carbon defects. Furthermore, the band edge positions against the redox potentials of water species revealed that all the studied defective structures can serve as photoanodes for water splitting. Additionally, CO3c (carbon atom substituted O3c site) was the only defective structure that exhibited slight straddling of the redox potentials of water. Importantly, all investigated defective structures enhanced light absorption with different optical activities. Finally, CO3cVO3c (carbon atom substituted O3c associated with O3c vacancy) defective m-ZrO2 enjoyed low direct band gap (1.9 eV), low defect formation energy, low exciton binding energy, high mobility of charge carriers, fast charge transfer, and low recombination rate. Concurrently, its optical properties were exceptional in terms of high absorption, low reflectivity and improved static dielectric constant. Hence, the study recommends CO3cVO3c defective m-ZrO2 as the leading candidate to serve as a photoanode for PEC applications.


title: Space efficient merging of de Bruijn graphs and Wheeler graphs

abstract: The merging of succinct data structures is a well established technique for the space efficient construction of large succinct indexes. In the first part of the paper we propose a new algorithm for merging succinct representations of de Bruijn graphs. Our algorithm has the same asymptotic cost of the state of the art algorithm for the same problem but it uses less than half of its working space. A novel important feature of our algorithm, not found in any of the existing tools, is that it can compute the Variable Order succinct representation of the union graph within the same asymptotic time/space bounds. In the second part of the paper we consider the more general problem of merging succinct representations of Wheeler graphs, a recently introduced graph family which includes as special cases de Bruijn graphs and many other known succinct indexes based on the BWT or one of its variants. We show that Wheeler graphs merging is in general a much more difficult problem, and we provide a space efficient algorithm for the slightly simplified problem of determining whether the union graph has an ordering that satisfies the Wheeler conditions.


title: On Another Two Cryptographic Identities In Universal Osborn Loops

abstract: In this study, by establishing an identity for universal Osborn loops, two other identities(of degrees 4 and 6) are deduced from it and they are recognized and recommended for cryptography in a similar spirit in which the cross inverse property(of degree 2) has been used by Keedwell following the fact that it was observed that universal Osborn loops that do not have the 3-power associative property or weaker forms of; inverse property, power associativity and diassociativity to mention a few, will have cycles(even long ones). These identities are found to be cryptographic in nature for universal Osborn loops and thereby called cryptographic identities. They were also found applicable to security patterns, arrangements and networks which the CIP may not be applicable to.


title: Efficient Importance Sampling for the Left Tail of Positive Gaussian Quadratic Forms

abstract: Estimating the left tail of quadratic forms in Gaussian random vectors is of major practical importance in many applications. In this letter, we propose an efficient importance sampling estimator that is endowed with the bounded relative error property. This property significantly reduces the number of simulation runs required by the proposed estimator compared to naive Monte Carlo (MC), especially when the probability of interest is very small. Selected simulation results are presented to illustrate the efficiency of our estimator compared to naive MC as well as some of the well-known approximations.


title: An Efficient Approach for Reviewing Security-Related Aspects in Agile Requirements Specifications of Web Applications

abstract: Defects in requirements specifications can have severe consequences during the software development lifecycle. Some of them may result in poor product quality and/or time and budget overruns due to incorrect or missing quality characteristics, such as security. This characteristic requires special attention in web applications because they have become a target for manipulating sensible data. Several concerns make security difficult to deal with. For instance, security requirements are often misunderstood and improperly specified due to lack of security expertise and emphasis on security during early stages of software development. This often leads to unspecified or ill-defined security-related aspects. These concerns become even more challenging in agile contexts, where lightweight documentation is typically produced. To tackle this problem, we designed an approach for reviewing security-related aspects in agile requirements specifications of web applications. Our proposal considers user stories and security specifications as inputs and relates those user stories to security properties via Natural Language Processing. Based on the related security properties, our approach identifies high-level security requirements from the Open Web Application Security Project (OWASP) to be verified, and generates a reading technique to support reviewers in detecting defects. We evaluate our approach via three experiment trials conducted with 56 novice software engineers, measuring effectiveness, efficiency, usefulness, and ease of use. We compare our approach against using: (1) the OWASP high-level security requirements, and (2) a perspective-based approach as proposed in contemporary state of the art. The results strengthen our confidence that using our approach has a positive impact (with large effect size) on the performance of inspectors in terms of effectiveness and efficiency.


title: Proximity full-text searches of frequently occurring words with a response time guarantee

abstract: Full-text search engines are important tools for information retrieval. In a proximity full-text search, a document is relevant if it contains query terms near each other, especially if the query terms are frequently occurring words. For each word in the text, we use additional indexes to store information about nearby words at distances from the given word of less than or equal to MaxDistance, which is a parameter. A search algorithm for the case when the query consists of high-frequently used words is discussed. In addition, we present results of experiments with different values of MaxDistance to evaluate the search speed dependence on the value of MaxDistance. These results show that the average time of the query execution with our indexes is 94.7-45.9 times (depending on the value of MaxDistance) less than that with standard inverted files when queries that contain high-frequently occurring words are evaluated. This is a pre-print of a contribution published in Pinelas S., Kim A., Vlasov V. (eds) Mathematical Analysis With Applications. CONCORD-90 2018. Springer Proceedings in Mathematics & Statistics, vol 318, published by Springer, Cham. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-42176-2_37


title: Heat transfer enhancement in Rayleigh-B\'enard convection using a single passive barrier

abstract: In this numerical study on Rayleigh-B\'enard convection we seek to improve the heat transfer by passive means. To this end we introduce a single tilted conductive barrier centered in an aspect ratio one cell, breaking the symmetry of the geometry and to channel the ascending hot and descending cold plumes. We study the global and local heat transfer and the flow organization for Rayleigh numbers $10^5 \leq Ra \leq 10^9$ for a fixed Prandtl number of $Pr=4.3$. We find that the global heat transfer can be enhanced up to $18\%$, and locally around $800\%$. The averaged Reynolds number is always decreased when a barrier is introduced, even for those cases where the global heat transfer is increased. We map the entire parameter space spanned by the orientation and the size of a single barrier for $Ra=10^8$.


title: Energy Expenditure Estimation Through Daily Activity Recognition Using a Smart-phone

abstract: This paper presents a 3-step system that estimates the real-time energy expenditure of an individual in a non-intrusive way. First, using the user's smart-phone's sensors, we build a Decision Tree model to recognize his physical activity (\textit{running}, \textit{standing}, ...). Then, we use the detected physical activity, the time and the user's speed to infer his daily activity (\textit{watching TV}, \textit{going to the bathroom}, ...) through the use of a reinforcement learning environment, the Partially Observable Markov Decision Process framework. Once the daily activities are recognized, we translate this information into energy expenditure using the compendium of physical activities. By successfully detecting 8 physical activities at 90\%, we reached an overall accuracy of 80\% in recognizing 17 different daily activities. This result leads us to estimate the energy expenditure of the user with a mean error of 26\% of the expected estimation.


title: Statistical analysis of edges and bredges in configuration model networks

abstract: A bredge (bridge-edge) is an edge whose deletion would split the network component on which it resides into two components. Bredges are vulnerable links that play an important role in network collapse processes, which may result from node or link failures, attacks or epidemics. Therefore, the abundance and properties of bredges affect the resilience of the network. We present analytical results for the statistical properties of bredges in configuration model networks. Using a generating function approach based on the cavity method, we calculate the probability $\hat P(e\in{\rm B})$ that a random edge e in a configuration model network with degree distribution P(k) is a bredge (B). We also calculate the joint degree distribution $\hat P(k,k'|{\rm B})$ of the end-nodes of a random bredge. We examine the distinct properties of bredges on the giant component (GC) and on the finite tree components (FC) of the network. On the finite components all the edges are bredges and there are no degree-degree correlations. We calculate the probability $\hat P(e\in{\rm B}|{\rm GC})$ that a random edge on the giant component is a bredge. We also calculate the joint degree distribution $\hat P(k,k'|{\rm B},{\rm GC})$ of the end-nodes of bredges and the joint degree distribution $\hat P(k,k'|{\rm NB},{\rm GC})$ of the end-nodes of non-bredge (NB) edges on the giant component. Surprisingly, it is found that the degrees k and k' of the end-nodes of bredges are correlated, while the degrees of the end-nodes of NB edges are uncorrelated. We thus conclude that all the degree-degree correlations on the giant component are concentrated on the bredges. We calculate the covariance of end-nodes of bredges and show it is negative, namely bredges tend to connect high degree nodes to low degree nodes. The implications of the results are discussed in the context of common attack scenarios and dismantling processes.


title: Rain rendering for evaluating and improving robustness to bad weather

abstract: Rain fills the atmosphere with water particles, which breaks the common assumption that light travels unaltered from the scene to the camera. While it is well-known that rain affects computer vision algorithms, quantifying its impact is difficult. In this context, we present a rain rendering pipeline that enables the systematic evaluation of common computer vision algorithms to controlled amounts of rain. We present three different ways to add synthetic rain to existing images datasets: completely physic-based; completely data-driven; and a combination of both. The physic-based rain augmentation combines a physical particle simulator and accurate rain photometric modeling. We validate our rendering methods with a user study, demonstrating our rain is judged as much as 73% more realistic than the state-of-theart. Using our generated rain-augmented KITTI, Cityscapes, and nuScenes datasets, we conduct a thorough evaluation of object detection, semantic segmentation, and depth estimation algorithms and show that their performance decreases in degraded weather, on the order of 15% for object detection, 60% for semantic segmentation, and 6-fold increase in depth estimation error. Finetuning on our augmented synthetic data results in improvements of 21% on object detection, 37% on semantic segmentation, and 8% on depth estimation.


title: Discrete Fourier transforms, quantum $6j$-symbols and deeply truncated tetrahedra

abstract: The asymptotic behavior of quantum $6j$-symbols is closely related to the volume of truncated hyperideal tetrahedra\,\cite{C}, and plays a central role in understanding the asymptotics of the Turaev-Viro invariants of $3$-manifolds. In this paper, we propose a conjecture relating the asymptotics of the discrete Fourier transforms of quantum $6j$-symbols on one hand, and the volume of deeply truncated tetrahedra of various types on the other. As supporting evidence, we prove the conjecture in the case that the dihedral angles are sufficiently small, and provide numerical calculations in the case that the dihedral angles are relatively big. A key observation is a relationship between quantum $6j$-symbols and the co-volume function of deeply truncated tetrahedra, which is of interest in its own right. More ambitiously, we extend the conjecture to the discrete Fourier transforms of the Yokota invariants of planar graphs and volume of deeply truncated polyhedra, and provide supporting evidence.


title: A Hausdorff Operator on Lebesgue Space With Commuting Perturbation Matrices Is a Non-Riesz Operator

abstract: We consider a generalization of Hausdorff operators on Lebesgue spaces and under natural conditions prove that such an operator is not a Riesz operator provided it is non-zero. In particular, it cannot be represented as a sum of a quasinilpotent and compact operators.


title: Laser Wake Field Collider

abstract: Recently NAano-Plasmonic, Laser Inertial Fusion Experiments (NAPLIFE) were proposed, as an improved way to achieve laser driven fusion. The improvement is the combination of two basic research discoveries: (i) The possibility of detonations on space-time hyper-surfaces with time-like normal (i.e. simultaneous detonation in a whole volume) and (ii) to increase this volume to the whole target, by regulating the laser light absorption using nano-shells or nano-rods as antennas. These principles can be realized in an in-line, one dimensional configuration, in the simplest way with two opposing laser beams as in particle colliders. Such, opposing laser beam experiments were also performed recently. Here we study the consequences of the Laser Wake Field Acceleration (LWFA) if we experience it in a colliding laser beam set up. These studies can be applied to laser driven fusion, but also to other rapid phase transition, combustion, or ignition studies in other materials.


title: Finding Diverse Trees, Paths, and More

abstract: Mathematical modeling is a standard approach to solve many real-world problems and {\em diversity} of solutions is an important issue, emerging in applying solutions obtained from mathematical models to real-world problems. Many studies have been devoted to finding diverse solutions. Baste et al. (Algorithms 2019, IJCAI 2020) recently initiated the study of computing diverse solutions of combinatorial problems from the perspective of fixed-parameter tractability. They considered problems of finding $r$ solutions that maximize some diversity measures (the minimum or sum of the pairwise Hamming distances among them) and gave some fixed-parameter tractable algorithms for the diverse version of several well-known problems, such as {\sc Vertex Cover}, {\sc Feedback Vertex Set}, {\sc $d$-Hitting Set}, and problems on bounded-treewidth graphs. In this work, we investigate the (fixed-parameter) tractability of problems of finding diverse spanning trees, paths, and several subgraphs. In particular, we show that, given a graph $G$ and an integer $r$, the problem of computing $r$ spanning trees of $G$ maximizing the sum of the pairwise Hamming distances among them can be solved in polynomial time. To the best of the authors' knowledge, this is the first polynomial-time solvable case for finding diverse solutions of unbounded size.


title: $E_8$-singularity, invariant theory and modular forms

abstract: As an algebraic surface, the equation of $E_8$-singularity $x^5+y^3+z^2=0$ can be obtained from a quotient $C_Y/\text{SL}(2, 13)$ over the modular curve $X(13)$, where $Y \subset \mathbb{CP}^5$ is a complete intersection curve given by a system of $\text{SL}(2, 13)$-invariant polynomials and $C_Y$ is a cone over $Y$. It is different from the Kleinian singularity $\mathbb{C}^2/\Gamma$, where $\Gamma$ is the binary icosahedral group. This gives a negative answer to Arnol'd and Brieskorn's questions about the mysterious relation between the icosahedron and $E_8$, i.e., the $E_8$-singularity is not necessarily the Kleinian icosahedral singularity. In particular, the equation of $E_8$-singularity possesses infinitely many kinds of distinct modular parametrizations, and there are infinitely many kinds of distinct constructions of the $E_8$-singularity. They form a variation of the $E_8$-singularity structure over the modular curve $X(13)$, for which we give its algebraic version, geometric version, $j$-function version and the version of Poincar\'{e} homology $3$-sphere as well as its higher dimensional lifting, i.e., Milnor's exotic $7$-sphere. Moreover, there are variations of $Q_{18}$ and $E_{20}$-singularity structures over $X(13)$. Thus, three different algebraic surfaces, the equations of $E_8$, $Q_{18}$ and $E_{20}$-singularities can be realized from the same quotients $C_Y/\text{SL}(2, 13)$ over the modular curve $X(13)$ and have the same modular parametrizations.


title: Synthetic multi-focus optical-resolution photoacoustic microscope for large volumetric imaging

abstract: Photoacoustic microscopy is becoming an important tool for the biomedical research. It has been widely used in biological researches, such as structural imaging of vasculature, brain structural and functional imaging, and tumor detection. The conventional optical-resolution photoacoustic microscopy (OR- PAM) employs focused gaussian beam to achieve high lateral resolution by a microscope objective with high numerical apertures. Since the focused gaussian beam only has narrow depth range in focus, little detail in depth direction can be revealed. Here, we developed a synthetic multi-focus optical-resolution photoacoustic microscope using multi-scale weighted gradient-based fusion. Based on the saliency of the image structure, a gradient-based multi-focus image fusion method is used, and a multi-scale method is used to determine the gradient weights. We pay special attention to a dual-scale scheme, which effectively solves the fusion problem caused by anisotropic blur and registration error. First, the structure-based large-scale focus measurement method is used to reduce the effect of anisotropic blur and registration error on the detection of the focus area, and then the gradient weights near the edge wave are used by applying the small-scale focus measure. Simulation was performed to test the performance of our method, different focused images were used to verify the feasibility of the method. Performance of our method was analyzed by calculating Entropy, Mean Square Error (MSE) and Edge strength. The result of simulation shown that this method can extend the depth of field of PAM two times without the sacrifice of lateral resolution. And the in vivo imaging of the zebra fish further demonstrates the feasibility of our method.


title: Quantization of K\"ahler manifolds

abstract: This is a survey on our recent works which reveal new relationships among deformation quantization, geometric quantization, Berezin-Toeplitz quantization and BV quantization on K\"ahler manifolds.


title: Experimental wavelength-multiplexed entanglement-based quantum cryptography

abstract: In state-of-the-art quantum key distribution (QKD) systems, the main limiting factor in increasing the key generation rate is the timing resolution in detecting photons. Here, we present and experimentally demonstrate a strategy to overcome this limitation, also for high-loss and long-distance implementations. We exploit the intrinsic wavelength correlations of entangled photons using wavelength multiplexing to generate a quantum secure key from polarization entanglement. The presented approach can be integrated into both fiber- and satellite-based quantum-communication schemes, without any changes to most types of entanglement sources. This technique features a huge scaling potential allowing to increase the secure key rate by several orders of magnitude as compared to non-multiplexed schemes.


title: Toward Speech Separation in The Pre-Cocktail Party Problem with TasTas

abstract: In this note, we propose to use TasTas \cite{shi2020speech} for the end-to-end approach to monaural speech separation in the pre-cocktail party problem. Our experiments on the public WSJ0-5mix data corpus results in 10.41dB SDR improvement. If online voice data remixing augmentation \cite{zeghidour2020wavesplit} is adopted in training, an 11.14dB SDR improvement can be achieved. We have open-sourced our re-implementation of the DPRNN-TasNet in https://github.com/ShiZiqiang/dual-path-RNNs-DPRNNs-based-speech-separation, and our TasTas is realized based on this implementation of DPRNN-TasNet, it is believed that the results in this paper can be reproduced with ease.


title: Deep Cyclic Generative Adversarial Residual Convolutional Networks for Real Image Super-Resolution

abstract: Recent deep learning based single image super-resolution (SISR) methods mostly train their models in a clean data domain where the low-resolution (LR) and the high-resolution (HR) images come from noise-free settings (same domain) due to the bicubic down-sampling assumption. However, such degradation process is not available in real-world settings. We consider a deep cyclic network structure to maintain the domain consistency between the LR and HR data distributions, which is inspired by the recent success of CycleGAN in the image-to-image translation applications. We propose the Super-Resolution Residual Cyclic Generative Adversarial Network (SRResCycGAN) by training with a generative adversarial network (GAN) framework for the LR to HR domain translation in an end-to-end manner. We demonstrate our proposed approach in the quantitative and qualitative experiments that generalize well to the real image super-resolution and it is easy to deploy for the mobile/embedded devices. In addition, our SR results on the AIM 2020 Real Image SR Challenge datasets demonstrate that the proposed SR approach achieves comparable results as the other state-of-art methods.


title: Compressed Sensing with 1D Total Variation: Breaking Sample Complexity Barriers via Non-Uniform Recovery (iTWIST'20)

abstract: This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a condition is especially prohibitive for high-dimensional problems, where $s$ is much smaller than $n$. However, previous empirical findings seem to indicate that the latter sampling rate does not reflect the typical behavior of total variation minimization. Indeed, this work provides a rigorous analysis that breaks the $\sqrt{s n}$-bottleneck for a large class of natural signals. The main result shows that non-uniform recovery succeeds with high probability for $m \gtrsim s \cdot \text{PolyLog}(n)$ measurements if the jump discontinuities of the signal vector are sufficiently well separated. In particular, this guarantee allows for signals arising from a discretization of piecewise constant functions defined on an interval. The present paper serves as a short summary of the main results in our recent work [arxiv:2001.09952].


title: Simple is Better! Lightweight Data Augmentation for Low Resource Slot Filling and Intent Classification

abstract: Neural-based models have achieved outstanding performance on slot filling and intent classification, when fairly large in-domain training data are available. However, as new domains are frequently added, creating sizeable data is expensive. We show that lightweight augmentation, a set of augmentation methods involving word span and sentence level operations, alleviates data scarcity problems. Our experiments on limited data settings show that lightweight augmentation yields significant performance improvement on slot filling on the ATIS and SNIPS datasets, and achieves competitive performance with respect to more complex, state-of-the-art, augmentation approaches. Furthermore, lightweight augmentation is also beneficial when combined with pre-trained LM-based models, as it improves BERT-based joint intent and slot filling models.


title: Convolutional Neural Networks for Automatic Detection of Artifacts from Independent Components Represented in Scalp Topographies of EEG Signals

abstract: Electroencephalography (EEG) measures the electrical brain activity in real-time by using sensors placed on the scalp. Artifacts, due to eye movements and blink, muscular/cardiac activity and generic electrical disturbances, have to be recognized and eliminated to allow a correct interpretation of the useful brain signals (UBS) of EEG. Independent Component Analysis (ICA) is effective to split the signal into independent components (ICs) whose re-projections on 2D scalp topographies (images), also called topoplots, allow to recognize/separate artifacts and by UBS. Until now, IC topoplot analysis, a gold standard in EEG, has been carried on visually by human experts and, hence, not usable in automatic, fast-response EEG. We present a completely automatic and effective framework for EEG artifact recognition by IC topoplots, based on 2D Convolutional Neural Networks (CNNs), capable to divide topoplots in 4 classes: 3 types of artifacts and UBS. The framework setup is described and results are presented, discussed and compared with those obtained by other competitive strategies. Experiments, carried on public EEG datasets, have shown an overall accuracy of above 98%, employing 1.4 sec on a standard PC to classify 32 topoplots, that is to drive an EEG system of 32 sensors. Though not real-time, the proposed framework is efficient enough to be used in fast-response EEG-based Brain-Computer Interfaces (BCI) and faster than other automatic methods based on ICs.


title: Inertial Effects on Kinetics of Motility-Induced Phase Separation

abstract: Motility-induced phase separation (MIPS) is of great importance and has been extensively researched in overdamped systems, nevertheless, what impacts inertia will bring on kinetics of MIPS is lack of investigation. Here, we find that, not only the phase transition changes from continuous to discontinuous, but also the formation of clusters exhibits a nucleation-like process without any coarsening regime, different from spinodal decomposition in the overdamped case. This remarkable kinetics stems from a competition between activity-induced accumulation of particles and inertia-induced suppression of clustering process. More interestingly, the discontinuity of MIPS still exists even when the ratio of particle mass to the friction coefficient reduces to be very small such as 0.0001. Our findings emphasize the importance of inertia in kinetics of MIPS, and may open a new perspective on understanding the nature of MIPS in active systems.


title: Efficient Quantification of Profile Matching Risk in Social Networks

abstract: Anonymous data sharing has been becoming more challenging in today's interconnected digital world, especially for individuals that have both anonymous and identified online activities. The most prominent example of such data sharing platforms today are online social networks (OSNs). Many individuals have multiple profiles in different OSNs, including anonymous and identified ones (depending on the nature of the OSN). Here, the privacy threat is profile matching: if an attacker links anonymous profiles of individuals to their real identities, it can obtain privacy-sensitive information which may have serious consequences, such as discrimination or blackmailing. Therefore, it is very important to quantify and show to the OSN users the extent of this privacy risk. Existing attempts to model profile matching in OSNs are inadequate and computationally inefficient for real-time risk quantification. Thus, in this work, we develop algorithms to efficiently model and quantify profile matching attacks in OSNs as a step towards real-time privacy risk quantification. For this, we model the profile matching problem using a graph and develop a belief propagation (BP)-based algorithm to solve this problem in a significantly more efficient and accurate way compared to the state-of-the-art. We evaluate the proposed framework on three real-life datasets (including data from four different social networks) and show how users' profiles in different OSNs can be matched efficiently and with high probability. We show that the proposed model generation has linear complexity in terms of number of user pairs, which is significantly more efficient than the state-of-the-art (which has cubic complexity). Furthermore, it provides comparable accuracy, precision, and recall compared to state-of-the-art.


title: Accelerating sequential Monte Carlo with surrogate likelihoods

abstract: Delayed-acceptance is a technique for reducing computational effort for Bayesian models with expensive likelihoods. Using a delayed-acceptance kernel for Markov chain Monte Carlo can reduce the number of expensive likelihoods evaluations required to approximate a posterior expectation. Delayed-acceptance uses a surrogate, or approximate, likelihood to avoid evaluation of the expensive likelihood when possible. Within the sequential Monte Carlo framework, we utilise the history of the sampler to adaptively tune the surrogate likelihood to yield better approximations of the expensive likelihood, and use a surrogate first annealing schedule to further increase computational efficiency. Moreover, we propose a framework for optimising computation time whilst avoiding particle degeneracy, which encapsulates existing strategies in the literature. Overall, we develop a novel algorithm for computationally efficient SMC with expensive likelihood functions. The method is applied to static Bayesian models, which we demonstrate on toy and real examples, code for which is available at https://github.com/bonStats/smcdar.


title: Access to mass rapid transit in OECD urban areas

abstract: As mitigating car traffic in cities has become paramount to abate climate change effects, fostering public transport in cities appears ever-more appealing. A key ingredient in that purpose is easy access to mass rapid transit (MRT) systems. So far, we have however few empirical estimates of the coverage of MRT in urban areas, computed as the share of people living in MRT catchment areas, say for instance within walking distance. In this work, we clarify a universal definition of such a metrics, the "People Near Transit (PNT)", and present measures of this quantity for 85 urban areas in OECD countries, the largest dataset of such a quantity so far. By suggesting a standardized protocol, we make our dataset sound and expandable to other countries and cities in the world, which grounds our work into solid basis for multiple reuses in transport, environmental or economic studies.


title: The BCS Energy Gap at Low Density

abstract: We show that the energy gap for the BCS gap equation is $ \Xi = \mu \left( 8 e^{-2} + o(1)\right) \exp\left( \frac{\pi}{2\sqrt{\mu} a}\right) $ in the low density limit $\mu \to 0$. Together with the similar result for the critical temperature [arXiv:0803.3324] this shows that, in the low density limit, the ratio of the energy gap and critical temperature is a universal constant independent of the interaction potential $V$. The results hold for a class of potentials with negative scattering length $a$ and no bound states.


title: The Hadwiger theorem on convex functions, I

abstract: A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the classical intrinsic volumes. For their definition, singular Hessian valuations are introduced.


title: Improving Crime Count Forecasts Using Twitter and Taxi Data

abstract: Crime prediction is crucial to criminal justice decision makers and efforts to prevent crime. The paper evaluates the explanatory and predictive value of human activity patterns derived from taxi trip, Twitter and Foursquare data. Analysis of a six-month period of crime data for New York City shows that these data sources improve predictive accuracy for property crime by 19% compared to using only demographic data. This effect is strongest when the novel features are used together, yielding new insights into crime prediction. Notably and in line with social disorganization theory, the novel features cannot improve predictions for violent crimes.


title: Construction of Cauchy data for the dynamical formation of apparent horizons and the Penrose Inequality

abstract: Based on scale critical initial data, we construct smooth asymptotically flat Cauchy initial data for the Einstein vacuum system that does not contain Marginally Outer Trapped Surfaces (MOTS) but whose future evolution contains a trapped region, which itself is bounded by an apparent horizon (a smooth hypersurface foliated by MOTS). Although the long time behaviour of these solutions is unknown, a statement of Kerr Stability would yield a dynamical, scale critical, non-spherically symmetric class of vacuum examples for the conjectures of Weak Cosmic Censorship and Final State. Owing to estimates obtained for the ADM mass of the data and the area of the MOTS foliating the apparent horizon, this construction yields a dynamical setting in which to test the conjectured spacetime Penrose Inequality. We show that the inequality holds in an open region in the future of the initial data, which itself can be controlled by the parameters of the initial data.


title: Comparison of camera-based and 3D LiDAR-based loop closures across weather conditions

abstract: Loop closure based on camera images provides excellent results on benchmarking datasets, but might struggle in real-world adverse weather conditions like direct sun, rain, fog, or just darkness at night. In automotive applications, the sensory setups include 3D LiDARs that provide information complementary to cameras. The presented article focuses on the evaluation of camera-based, LiDAR-based, and joint camera-LiDAR-based loop closures applying a similar processing pipeline consisting of a neural network under varying weather conditions using the newly available USyd dataset. The experiments performed on the same trajectories in diverse weather conditions over 50 weeks prove that a 16-line 3D LiDAR can be used to supplement image-based loop closure to increase loop closure performance. This proves that there is a need for more research into loop closures performed with multi-sensory setups.


title: ERNIE at SemEval-2020 Task 10: Learning Word Emphasis Selection by Pre-trained Language Model

abstract: This paper describes the system designed by ERNIE Team which achieved the first place in SemEval-2020 Task 10: Emphasis Selection For Written Text in Visual Media. Given a sentence, we are asked to find out the most important words as the suggestion for automated design. We leverage the unsupervised pre-training model and finetune these models on our task. After our investigation, we found that the following models achieved an excellent performance in this task: ERNIE 2.0, XLM-ROBERTA, ROBERTA and ALBERT. We combine a pointwise regression loss and a pairwise ranking loss which is more close to the final M atchm metric to finetune our models. And we also find that additional feature engineering and data augmentation can help improve the performance. Our best model achieves the highest score of 0.823 and ranks first for all kinds of metrics


title: A GPU Parallel Algorithm for Computing Morse-Smale Complexes

abstract: The Morse-Smale complex is a well studied topological structure that represents the gradient flow behavior between critical points of a scalar function. It supports multi-scale topological analysis and visualization of feature-rich scientific data. Several parallel algorithms have been proposed towards the fast computation of the 3D Morse-Smale complex. Its computation continues to pose significant algorithmic challenges. In particular, the non-trivial structure of the connections between the saddle critical points are not amenable to parallel computation. This paper describes a fine grained parallel algorithm for computing the Morse-Smale complex and a GPU implementation gMSC. The algorithm first determines the saddle-saddle reachability via a transformation into a sequence of vector operations, and next computes the paths between saddles by transforming it into a sequence of matrix operations. Computational experiments show that the method achieves up to 8.6x speedup over pyms3d and 6x speedup over TTK, the current shared memory implementations. The paper also presents a comprehensive experimental analysis of different steps of the algorithm and reports on their contribution towards runtime performance. Finally, it introduces a CPU based data parallel algorithm for simplifying the Morse-Smale complex via iterative critical point pair cancellation.


title: Winning Strategy for the Multiplayer and Multialliance Zeckendorf Games

abstract: Edouard Zeckendorf proved that every positive integer $n$ can be uniquely written \cite{Ze} as the sum of non-adjacent Fibonacci numbers, known as the Zeckendorf decomposition. Based on Zeckendorf's decomposition, we have the Zeckendorf game for multiple players. We show that when the Zeckendorf game has at least $3$ players, none of the players have a winning strategy for $n\geq 5$. Then we extend the multi-player game to the multi-alliance game, finding some interesting situations in which no alliance has a winning strategy. This includes the two-alliance game, and some cases in which one alliance always has a winning strategy. %We examine what alliances, or combinations of players, can win, and what size they have to be in order to do so. We also find necessary structural constraints on what alliances our method of proof can show to be winning. Furthermore, we find some alliance structures which must have winning strategies. %We also extend the Generalized Zeckendorf game from $2$-players to multiple players. We find that when the game has $3$ players, player $2$ never has a winning strategy for any significantly large $n$. We also find that when the game has at least $4$ players, no player has a winning strategy for any significantly large $n$.


title: Bayesian parameter estimation using Gaussian states and measurements

abstract: Bayesian analysis is a framework for parameter estimation that applies even in uncertainty regimes where the commonly used local (frequentist) analysis based on the Cram\'er-Rao bound is not well defined. In particular, it applies when no initial information about the parameter value is available, e.g., when few measurements are performed. Here, we consider three paradigmatic estimation schemes in continuous-variable quantum metrology (estimation of displacements, phases, and squeezing strengths) and analyse them from the Bayesian perspective. For each of these scenarios, we investigate the precision achievable with single-mode Gaussian states under homodyne and heterodyne detection. This allows us to identify Bayesian estimation strategies that combine good performance with the potential for straightforward experimental realization in terms of Gaussian states and measurements. Our results provide practical solutions for reaching uncertainties where local estimation techniques apply, thus bridging the gap to regimes where asymptotically optimal strategies can be employed.


title: Spin-Orbit Torques in Transition Metal Dichalcogenide/Ferromagnet Heterostructures

abstract: In recent years, there has been a growing interest in spin-orbit torques (SOTs) for manipulating the magnetization in nonvolatile magnetic memory devices. SOTs rely on the spin-orbit coupling of a nonmagnetic material coupled to a ferromagnetic layer to convert an applied charge current into a torque on the magnetization of the ferromagnet (FM). Transition metal dichalcogenides (TMDs) are promising candidates for generating these torques with both high charge-to-spin conversion ratios, and symmetries and directions which are efficient for magnetization manipulation. Moreover, TMDs offer a wide range of attractive properties, such as large spin-orbit coupling, high crystalline quality and diverse crystalline symmetries. Although numerous studies were published on SOTs using TMD/FM heterostructures, we lack clear understanding of the observed SOT symmetries, directions, and strengths. In order to shine some light on the differences and similarities among the works in literature, in this mini-review we compare the results for various TMD/FM devices, highlighting the experimental techniques used to fabricate the devices and to quantify the SOTs, discussing their potential effect on the interface quality and resulting SOTs. This enables us to both identify the impact of particular fabrication steps on the observed SOT symmetries and directions, and give suggestions for their underlying microscopic mechanisms. Furthermore, we highlight recent progress of the theoretical work on SOTs using TMD heterostructures and propose future research directions.


title: The Three Extreme Value Distributions: An Introductory Review

abstract: The statistical distribution of the largest value drawn from a sample of a given size has only three possible shapes: it is either a Weibull, a Fr\'echet or a Gumbel extreme value distributions. I describe in this short review how to relate the statistical distribution followed by the numbers in the sample to the associate extreme value distribution followed by the largest value within the sample. Nothing I present here is new. However, from experience, I have found that a simple and compact guide on this matter written for the physics community is missing.


title: Spatial Bayesian Hierarchical Modelling with Integrated Nested Laplace Approximation

abstract: We consider latent Gaussian fields for modelling spatial dependence in the context of both spatial point patterns and areal data, providing two different applications. The inhomogeneous Log-Gaussian Cox Process model is specified to describe a seismic sequence occurred in Greece, resorting to the Stochastic Partial Differential Equations. The Besag-York-Mollie model is fitted for disease mapping of the Covid-19 infection in the North of Italy. These models both belong to the class of Bayesian hierarchical models with latent Gaussian fields whose posterior is not available in closed form. Therefore, the inference is performed with the Integrated Nested Laplace Approximation, which provides accurate and relatively fast analytical approximations to the posterior quantities of interest.


title: Bending of Light and Inhomogeneous Picard-Fuchs Equation

abstract: Bending of light rays by gravitational sources is one of the first evidences of the general relativity. When the gravitational souce is a stationary massive object such as a black hole, the bending angle has an integral representation, from which various series expansions in terms of the parameters of orbit and the background spacetime has been derived. However, it is not clear that it has any analytic expansion. In this paper, we show that such an analytic expansion can be obtained for the case of a Schwarzschild black hole by solving an inhomogeneous Picard-Fuchs equation, which has been applied to compute effective superpotentials on D-branes in the Calabi-Yau manifolds. From the analytic expression of the bending angle, both weak and strong deflection expansions are explicitly obtained. We show that the result can be obtained by the direct integration approach. We also discuss how the charge of the gravitational source affects the bending angle and show that a similar analytic expression can be obtained for the extremal Reissner-Nordstroem spacetime.


title: Dual-constrained Deep Semi-Supervised Coupled Factorization Network with Enriched Prior

abstract: Nonnegative matrix factorization is usually powerful for learning the "shallow" parts-based representation, but it clearly fails to discover deep hierarchical information within both the basis and representation spaces. In this paper, we technically propose a new enriched prior based Dual-constrained Deep Semi-Supervised Coupled Factorization Network, called DS2CF-Net, for learning the hierarchical coupled representations. To ex-tract hidden deep features, DS2CF-Net is modeled as a deep-structure and geometrical structure-constrained neural network. Specifically, DS2CF-Net designs a deep coupled factorization architecture using multi-layers of linear transformations, which coupled updates the bases and new representations in each layer. To improve the discriminating ability of learned deep representations and deep coefficients, our network clearly considers enriching the supervised prior by the joint deep coefficients-regularized label prediction, and incorporates enriched prior information as additional label and structure constraints. The label constraint can enable the samples of the same label to have the same coordinate in the new feature space, while the structure constraint forces the coefficient matrices in each layer to be block-diagonal so that the enhanced prior using the self-expressive label propagation are more accurate. Our network also integrates the adaptive dual-graph learning to retain the local manifold structures of both the data manifold and feature manifold by minimizing the reconstruction errors in each layer. Extensive experiments on several real databases demonstrate that our DS2CF-Net can obtain state-of-the-art performance for representation learning and clustering.


title: Latency and Throughput Optimization in Modern Networks: A Comprehensive Survey

abstract: Modern applications are highly sensitive to communication delays and throughput. This paper surveys major attempts on reducing latency and increasing the throughput. These methods are surveyed on different networks and surroundings such as wired networks, wireless networks, application layer transport control, Remote Direct Memory Access, and machine learning based transport control.


title: Local Composite Quantile Regression for Regression Discontinuity

abstract: We introduce the local composite quantile regression (LCQR) to causal inference in regression discontinuity (RD) designs. Kai et al. (2010) study the efficiency property of LCQR, while we show that its nice boundary performance translates to accurate estimation of treatment effects in RD under a variety of data generating processes. Moreover, we propose a bias-corrected and standard error-adjusted t-test for inference, which leads to confidence intervals with good coverage probabilities. A bandwidth selector is also discussed. For illustration, we conduct a simulation study and revisit a classic example from Lee (2008). A companion R package rdcqr is developed.


title: Hierarchical Message-Passing Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have become a prominent approach to machine learning with graphs and have been increasingly applied in a multitude of domains. Nevertheless, since most existing GNN models are based on flat message-passing mechanisms, two limitations need to be tackled: (i) they are costly in encoding long-range information spanning the graph structure; (ii) they are failing to encode features in the high-order neighbourhood in the graphs as they only perform information aggregation across the observed edges in the original graph. To deal with these two issues, we propose a novel Hierarchical Message-passing Graph Neural Networks framework. The key idea is generating a hierarchical structure that re-organises all nodes in a flat graph into multi-level super graphs, along with innovative intra- and inter-level propagation manners. The derived hierarchy creates shortcuts connecting far-away nodes so that informative long-range interactions can be efficiently accessed via message passing and incorporates meso- and macro-level semantics into the learned node representations. We present the first model to implement this framework, termed Hierarchical Community-aware Graph Neural Network (HC-GNN), with the assistance of a hierarchical community detection algorithm. The theoretical analysis illustrates HC-GNN's remarkable capacity in capturing long-range information without introducing heavy additional computation complexity. Empirical experiments conducted on 9 datasets under transductive, inductive, and few-shot settings exhibit that HC-GNN can outperform state-of-the-art GNN models in network analysis tasks, including node classification, link prediction, and community detection. Moreover, the model analysis further demonstrates HC-GNN's robustness facing graph sparsity and the flexibility in incorporating different GNN encoders.


title: Optimized Geometric Quantum Computation with mesoscopic ensemble of Rydberg Atoms

abstract: We propose a nonadiabatic non-Abelian geometric quantum operation scheme to realize universal quantum computation with mesoscopic Rydberg atoms. A single control atom entangles a mesoscopic ensemble of target atoms through long-range interactions between Rydberg states. We demonstrate theoretically that both the single qubit and two-qubit quantum gates can achieve high fidelities around or above 99.9% in ideal situations. Besides, to address the experimental issue of Rabi frequency fluctuation (Rabi error) in Rydberg atom and ensemble, we apply the dynamical-invariant-based zero systematic-error sensitivity (ZSS) optimal control theory to the proposed scheme. Our numerical simulations show that the average fidelity could be 99.98% for single ensemble qubit gate and 99.94% for two-qubit gate even when the Rabi frequency of the gate laser acquires 10% fluctuations. We also find that the optimized scheme can also reduce errors caused by higher-order perturbation terms in deriving the Hamiltonian of the ensemble atoms. To address the experimental issue of decoherence error between the ground state and Rydberg levels in Rydberg ensemble, we introduce a dispersive coupling regime between Rydberg and ground levels, based on which the Rydberg state is adiabatically discarded. The numerical simulation demonstrate that the quantum gate is enhanced. By combining strong Rydberg atom interactions, nonadiabatic geometric quantum computation, dynamical invariant and optimal control theory together, our scheme shows a new route to construct fast and robust quantum gates with mesoscopic atomic ensembles. Our study contributes to the ongoing effort in developing quantum information processing with Rydberg atoms trapped in optical lattices or tweezer arrays.


title: Sales Policies for a Virtual Assistant

abstract: We study the implications of selling through a voice-based virtual assistant (VA). The seller has a set of products available and the VA decides which product to offer and at what price, seeking to maximize its revenue, consumer- or total-surplus. The consumer is impatient and rational, seeking to maximize her expected utility given the information available to her. The VA selects products based on the consumer's request and other information available to it and then presents them sequentially. Once a product is presented and priced, the consumer evaluates it and decides whether to make a purchase. The consumer's valuation of each product comprises a pre-evaluation value, which is common knowledge, and a post-evaluation component which is private to the consumer. We solve for the equilibria and develop efficient algorithms for implementing the solution. We examine the effects of information asymmetry on the outcomes and study how incentive misalignment depends on the distribution of private valuations. We find that monotone rankings are optimal in the cases of a highly patient or impatient consumer and provide a good approximation for other levels of patience. The relationship between products' expected valuations and prices depends on the consumer's patience level and is monotone increasing (decreasing) when the consumer is highly impatient (patient). Also, the seller's share of total surplus decreases in the amount of private information. We compare the VA to a traditional web-based interface, where multiple products are presented simultaneously on each page. We find that within a page, the higher-value products are priced lower than the lower-value products when the private valuations are exponentially distributed. Finally, the web-based interface generally achieves higher profits for the seller than a VA due to the greater commitment power inherent in its presentation.


title: Chiral Symmetry in Dirac Equation and its Effects on Neutrino Masses and Dark Matter

abstract: Chiral symmetry is included into the Dirac equation using the irreducible representations of the Poincar\'e group. The symmetry introduces the chiral angle that specifies the chiral basis. It is shown that the correct identification of these basis allows explaining small masses of neutrinos and predicting a new candidate for Dark Matter massive particle.


title: DDPG-based Resource Management for MEC/UAV-Assisted Vehicular Networks

abstract: In this paper, we investigate joint vehicle association and multi-dimensional resource management in a vehicular network assisted by multi-access edge computing (MEC) and unmanned aerial vehicle (UAV). To efficiently manage the available spectrum, computing, and caching resources for the MEC-mounted base station and UAVs, a resource optimization problem is formulated and carried out at a central controller. Considering the overlong solving time of the formulated problem and the sensitive delay requirements of vehicular applications, we transform the optimization problem using reinforcement learning and then design a deep deterministic policy gradient (DDPG)-based solution. Through training the DDPG-based resource management model offline, optimal vehicle association and resource allocation decisions can be obtained rapidly. Simulation results demonstrate that the DDPG-based resource management scheme can converge within 200 episodes and achieve higher delay/quality-of-service satisfaction ratios than the random scheme.


title: Prediction-Coherent LSTM-based Recurrent Neural Network for Safer Glucose Predictions in Diabetic People

abstract: In the context of time-series forecasting, we propose a LSTM-based recurrent neural network architecture and loss function that enhance the stability of the predictions. In particular, the loss function penalizes the model, not only on the prediction error (mean-squared error), but also on the predicted variation error. We apply this idea to the prediction of future glucose values in diabetes, which is a delicate task as unstable predictions can leave the patient in doubt and make him/her take the wrong action, threatening his/her life. The study is conducted on type 1 and type 2 diabetic people, with a focus on predictions made 30-minutes ahead of time. First, we confirm the superiority, in the context of glucose prediction, of the LSTM model by comparing it to other state-of-the-art models (Extreme Learning Machine, Gaussian Process regressor, Support Vector Regressor). Then, we show the importance of making stable predictions by smoothing the predictions made by the models, resulting in an overall improvement of the clinical acceptability of the models at the cost in a slight loss in prediction accuracy. Finally, we show that the proposed approach, outperforms all baseline results. More precisely, it trades a loss of 4.3\% in the prediction accuracy for an improvement of the clinical acceptability of 27.1\%. When compared to the moving average post-processing method, we show that the trade-off is more efficient with our approach.


title: Exact Solutions of (deformed) Jackiw-Teitelboim Gravity

abstract: It is well known that Jackiw-Teitelboim (JT) gravity posses the simplest theory on 2-dimensional gravity. The model has been fruitfully studied in recent years. In the present work, we investigate exact solutions for both JT and deformed JT gravity recently proposed in the literature. We revisit exact Euclidean solutions for Jackiw-Teitelboim gravity using all the non-zero components of the dilatonic equations of motion using proper integral transformation over Euclidean time coordinate. More precisely, we study exact solutions for hyperbolic coverage, cusp geometry and another compact sector of the AdS$_2$ spacetime manifold.


title: The Dixmier-Douady class and an abelian extension of the homeomorphism group

abstract: Let $X$ be a connected topological space and $c \in \mathrm{H}^2(X;\mathbb{Z})$ a non-zero cohomology class. A $\mathrm{Homeo}(X,c)$-bundle is a fiber bundle with fiber $X$ whose structure group reduces to the group $\mathrm{Homeo}(X,c)$ of $c$-preserving homeomorphisms of $X$. If $\mathrm{H}^1(X;\mathbb{Z}) = 0$, then a characteristic class for $\mathrm{Homeo}(X,c)$-bundles called the Dixmier-Douady class is defined via the Serre spectral sequence. We show a relation between the universal Dixmier-Douady class for foliated $\mathrm{Homeo}(X,c)$-bundles and the gauge group extension of $\mathrm{Homeo}(X,c)$. Moreover, under some assumptions, we construct a central $S^1$-extension and a group two-cocycle on $\mathrm{Homeo}(X,c)$ corresponding to the Dixmier-Douady class.


title: On a Theorem of J. Shallit Concerning Fibonacci Partitions

abstract: In this note I prove a~claim on determinants of some special tridiagonal matrices. Together with my result about Fibonacci partitions (arXiv:math/0307150), this claim allows one to prove one (slightly strengthened) Shallit's result about such partitions.


title: Modeling and Analysis of Dynamic Charging for EVs: A Stochastic Geometry Approach

abstract: With the increasing demand for greener and more energy efficient transportation solutions, electric vehicles (EVs) have emerged to be the future of transportation across the globe. However, currently, one of the biggest bottlenecks of EVs is the battery. Small batteries limit the EVs driving range, while big batteries are expensive and not environmentally friendly. One potential solution to this challenge is the deployment of charging roads, i.e., dynamic wireless charging systems installed under the roads that enable EVs to be charged while driving. In this paper, we use tools from stochastic geometry to establish a framework that enables evaluating the performance of charging roads deployment in metropolitan cities. We first present the course of actions that a driver should take when driving from a random source to a random destination in order to maximize dynamic charging during the trip. Next, we analyze the distribution of the distance to the nearest charging road. This distribution is vital for studying multiple performance metrics such as the trip efficiency, which we define as the fraction of the total trip spent on charging roads. Next, we derive the probability that a given trip passes through at least one charging road. The derived probability distributions can be used to assist urban planners and policy makers in designing the deployment plans of dynamic wireless charging systems. In addition, they can also be used by drivers and automobile manufacturers in choosing the best driving routes given the road conditions and level of energy of EV battery.


title: Highly Accurate CNN Inference Using Approximate Activation Functions over Homomorphic Encryption

abstract: In the big data era, cloud-based machine learning as a service (MLaaS) has attracted considerable attention. However, when handling sensitive data, such as financial and medical data, a privacy issue emerges, because the cloud server can access clients' raw data. A common method of handling sensitive data in the cloud uses homomorphic encryption, which allows computation over encrypted data without decryption. Previous research usually adopted a low-degree polynomial mapping function, such as the square function, for data classification. However, this technique results in low classification accuracy. In this study, we seek to improve the classification accuracy for inference processing in a convolutional neural network (CNN) while using homomorphic encryption. We adopt an activation function that approximates Google's Swish activation function while using a fourth-order polynomial. We also adopt batch normalization to normalize the inputs for the Swish function to fit the input range to minimize the error. We implemented CNN inference labeling over homomorphic encryption using the Microsoft's Simple Encrypted Arithmetic Library for the Cheon-Kim-Kim-Song (CKKS) scheme. The experimental evaluations confirmed classification accuracies of 99.22% and 80.48% for MNIST and CIFAR-10, respectively, which entails 0.04% and 4.11% improvements, respectively, over previous methods.


title: Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective

abstract: Deep Learning algorithms have achieved the state-of-the-art performance for Image Classification and have been used even in security-critical applications, such as biometric recognition systems and self-driving cars. However, recent works have shown those algorithms, which can even surpass the human capabilities, are vulnerable to adversarial examples. In Computer Vision, adversarial examples are images containing subtle perturbations generated by malicious optimization algorithms in order to fool classifiers. As an attempt to mitigate these vulnerabilities, numerous countermeasures have been constantly proposed in literature. Nevertheless, devising an efficient defense mechanism has proven to be a difficult task, since many approaches have already shown to be ineffective to adaptive attackers. Thus, this self-containing paper aims to provide all readerships with a review of the latest research progress on Adversarial Machine Learning in Image Classification, however with a defender's perspective. Here, novel taxonomies for categorizing adversarial attacks and defenses are introduced and discussions about the existence of adversarial examples are provided. Further, in contrast to exisiting surveys, it is also given relevant guidance that should be taken into consideration by researchers when devising and evaluating defenses. Finally, based on the reviewed literature, it is discussed some promising paths for future research.


title: Semi-permeability of graphene nanodrums in sucrose solution

abstract: Semi-permeable membranes are important elements in water purification and energy generation applications, for which the atomic thickness and strength of graphene can enhance efficiency and permeation rate while maintaining good selectivity. Here, we show that an osmotic pressure difference forms across a suspended graphene membrane as a response to a sucrose concentration difference, providing evidence for its semi-permeability. This osmotic pressure difference is detected via the deflection of the graphene membrane that is measured by atomic force microscopy. Using this technique, the time dependence of this deflection allows us to measure the water permeation rate of a single 3.4 $\mu$m diameter graphene membrane. Its value is close to the expected value of a single nanopore in graphene. The method thus allows one to experimentally study the semi-permeability of graphene membranes at the microscale when the leakage rate is miniscule. It can therefore find use in the development of graphene membranes for filtration, and can enable sensors that measure the concentration and composition of solutions.


title: Large-scale Neural Solvers for Partial Differential Equations

abstract: Solving partial differential equations (PDE) is an indispensable part of many branches of science as many processes can be modelled in terms of PDEs. However, recent numerical solvers require manual discretization of the underlying equation as well as sophisticated, tailored code for distributed computing. Scanning the parameters of the underlying model significantly increases the runtime as the simulations have to be cold-started for each parameter configuration. Machine Learning based surrogate models denote promising ways for learning complex relationship among input, parameter and solution. However, recent generative neural networks require lots of training data, i.e. full simulation runs making them costly. In contrast, we examine the applicability of continuous, mesh-free neural solvers for partial differential equations, physics-informed neural networks (PINNs) solely requiring initial/boundary values and validation points for training but no simulation data. The induced curse of dimensionality is approached by learning a domain decomposition that steers the number of neurons per unit volume and significantly improves runtime. Distributed training on large-scale cluster systems also promises great utilization of large quantities of GPUs which we assess by a comprehensive evaluation study. Finally, we discuss the accuracy of GatedPINN with respect to analytical solutions -- as well as state-of-the-art numerical solvers, such as spectral solvers.


title: Combinatorial Ricci flows and the hyperbolization of a class of compact 3-manifolds

abstract: We prove that for a compact 3-manifold M with boundary admitting an ideal triangulation T with valence at least 10 at all edges, there exists a unique complete hyperbolic metric with totally geodesic boundary, so that T is isotopic to a geometric decomposition of M. Our approach is to use a variant of the combinatorial Ricci flow introduced by Luo [Luo05] for pseudo 3-manifolds. In this case, we prove that the extended Ricci flow converges to the hyperbolic metric exponentially fast.


title: Enhancing the Interpretability of Deep Models in Heathcare Through Attention: Application to Glucose Forecasting for Diabetic People

abstract: The adoption of deep learning in healthcare is hindered by their "black box" nature. In this paper, we explore the RETAIN architecture for the task of glusose forecasting for diabetic people. By using a two-level attention mechanism, the recurrent-neural-network-based RETAIN model is interpretable. We evaluate the RETAIN model on the type-2 IDIAB and the type-1 OhioT1DM datasets by comparing its statistical and clinical performances against two deep models and three models based on decision trees. We show that the RETAIN model offers a very good compromise between accuracy and interpretability, being almost as accurate as the LSTM and FCN models while remaining interpretable. We show the usefulness of its interpretable nature by analyzing the contribution of each variable to the final prediction. It revealed that signal values older than one hour are not used by the RETAIN model for the 30-minutes ahead of time prediction of glucose. Also, we show how the RETAIN model changes its behavior upon the arrival of an event such as carbohydrate intakes or insulin infusions. In particular, it showed that the patient's state before the event is particularily important for the prediction. Overall the RETAIN model, thanks to its interpretability, seems to be a very promissing model for regression or classification tasks in healthcare.


title: Online Planning in Uncertain and Dynamic Environment in the Presence of Multiple Mobile Vehicles

abstract: We investigate the autonomous navigation of a mobile robot in the presence of other moving vehicles under time-varying uncertain environmental disturbances. We first predict the future state distributions of other vehicles to account for their uncertain behaviors affected by the time-varying disturbances. We then construct a dynamic-obstacle-aware reachable space that contains states with high probabilities to be reached by the robot, within which the optimal policy is searched. Since, in general, the dynamics of both the vehicle and the environmental disturbances are nonlinear, we utilize a nonlinear Gaussian filter -- the unscented transform -- to approximate the future state distributions. Finally, the forward reachable space computation and backward policy search are iterated until convergence. Extensive simulation evaluations have revealed significant advantages of this proposed method in terms of computation time, decision accuracy, and planning reliability.


title: An SU(2) gauge principle for the Cosmic Microwave Background: Perspectives on the Dark Sector of the Cosmological Model

abstract: We review consequences for the radiation and dark sectors of the cosmological model arising from the postulate that the Cosmic Microwave Background (CMB) is governed by an SU(2) rather than a U(1) gauge principle. We also speculate on the possibility of actively assisted structure formation due to the de-percolation of lump-like configurations of condensed ultralight axions with a Peccei-Quinn scale comparable to the Planck mass. The chiral-anomaly induced potential of the axion condensate receives contributions from SU(2)/SU(3) Yang-Mills factors of hierarchically separated scales which act in a screened (reduced) way in confining phases.


title: Incompatible coordinate algebra representations as the origin of particle generations

abstract: The success of the Higgs mechanism in the standard model has led to the speculation that the standard model gauge group might arise through an analogous breaking of a yet more unified group. Such `grand unified theories' have the advantage of unifying both the gauge structure and fermion representations of the standard model. Unfortunately, the theories that most elegantly unify the fermions, without predicting extra unobserved fermion states, do not explain the existence of the three fermion generations. They also typically predict a proliferation of bosonic states, which lead to so-far unobserved processes like proton decay. In this paper we introduce an alternative explanation for why one might only observe a subgroup of a larger `unified' group in nature. The approach we introduce gives rise naturally to a generation structure without the appearance of unwanted fermion states, and is cleaner in the sense that it avoids the usual proliferation of unobserved bosonic states and resulting unobserved processes.


title: A polynomial-time algorithm for spanning tree modulus

abstract: We introduce a polynomial-time algorithm for spanning tree modulus based on Cunningham's algorithm for graph vulnerability. The algorithm exploits an interesting connection between spanning tree modulus and critical edge sets from the vulnerability problem. This paper describes the new algorithm, describes a practical means for implementing it using integer arithmetic, and presents some examples and computational time scaling tests.


title: Lorentz violation with an invariant minimum speed as foundation of the Gravitational Bose Einstein Condensate of a Dark Energy Star

abstract: We aim to search for the connection between the spacetime with an invariant minimum speed so-called Symmetrical Special Relativity (SSR) with Lorentz violation and the Gravitational Bose Einstein Condensate (GBEC) as the central core of a star of gravitational vacuum (gravastar), where one normally introduces a cosmological constant for representing an anti-gravity. This usual model of gravastar with an equation of state (EOS) for vacuum energy inside the core will be generalized for many modes of vacuum (dark energy star) in order to circumvent the embarrassment generated by the horizon singularity as the final stage of a gravitational collapse. In the place of the problem of a singularity of an event horizon, we introduce a phase transition between gravity and anti-gravity before reaching the Schwarzschild (divergent) radius $R_S$ for a given coexistence radius $R_{coexistence}$ slightly larger than $R_S$ and slightly smaller than the core radius $R_{core}$ of GBEC, where the metric of the repulsive sector (core of GBEC) would diverge for $r=R_{core}$, so that for such a given radius of phase coexistence $R_S<R_{coexistence} <R_{core}$, both divergences at $R_S$ of Schwarzschild metric and at $R_{core}$ of the repulsive core are eliminated, thus preventing the formation of the event horizon. So the causal structure of SSR helps us to elucidate such puzzle of singularity of event horizon by also providing a quantum interpretation for GBEC and thus by explaining the origin of a strong anisotropy due to the minimum speed that leads to the phase transition gravity/anti-gravity during the collapse of the star. Furthermore, due to the absence of an event horizon of black hole (BH) where any signal cannot propagate, the new collapsed structure presents a signal propagation in its region of coexistence of phases where the coexistence metric does not diverge.


title: Deriving the Schwarzschild solution from a local Newtonian limit

abstract: The Schwarzschild metric is derived in a manner that does not require familiarity with the formalism of differential geometry beyond the ability to interpret a general spacetime metric. As such, the derivation is suitable for an undergraduate course on general relativity. The derivation uses infalling coordinates that are particularly well adapted to the situation, as well as Einstein's equation in the simple form introduced by Baez and Bunn. That version of the vacuum Einstein equations corresponds to requiring a particular local Newtonian limit: that, to first order, the deformation of a "test ball" of freely falling, initially-at-rest test particles is governed by the tidal forces of Newtonian gravity.


title: Encapsulation of fragrances and oils by core-shell structures from silica nanoparticles, surfactant and polymer: Effect of particle size

abstract: Oils and fragrances can be encapsulated by using composite shells of silica nanoparticles, polymer and surfactant (potassium oleate). The template for the creation of the core-shell structure is a particle stabilized (Pickering) emulsion. The surfactant adsorbs on the nanoparticles and leads to their reversible hydrophobization and adsorption on the oil-water interface. The outer layer of the self-assembled shell represents a layer from crosslinked polymer. The procedure of encapsulation is simple and includes single homogenization by ultrasound of the formulation that contains all ingredients together. The produced capsules have mean radius in the range between 2 and 11 microns. By order of magnitude and trend, the capsule size follows the law of limited coalescence with respect to the dependence on nanoparticle size and concentration. The composite structure of the shells leads also to dependence on the concentrations of added polymer and surfactant. The produced microcapsules are stable when rinsed with pure water of pH in the range 3 - 10. However, if dispersed in water of pH > 11, the microcapsules are destabilized and release their cargo, i.e., they are pH-responsive. Various fragrances and oils, such as limonene, citronellol, benzyl acetate, and sunflower seed oil were encapsulated. The developed methodology could find applications in any field, in which reversible encapsulation of oily substances is needed.


title: On the Battery Consumption of Mobile Browsers

abstract: Mobile web browsing has recently surpassed desktop browsing both in term of popularity and traffic. Following its desktop counterpart, the mobile browsers ecosystem has been growing from few browsers (Chrome, Firefox, and Safari) to a plethora of browsers, each with unique characteristics (battery friendly, privacy preserving, lightweight, etc.). In this paper, we introduce a browser benchmarking pipeline for Android browsers encompassing automation, in-depth experimentation, and result analysis. We tested 15 Android browsers, using Cappuccino a novel testing suite we built for third party Android applications. We perform a battery-centric analysis of such browsers and show that: 1) popular browsers tend also to consume the most, 2) adblocking produces significant battery savings (between 20 and 40% depending on the browser), and 3) dark mode offers an extra 10% battery savings on AMOLED screens. We exploit this observation to build AttentionDim, a screen dimming mechanism driven by browser events. Via integration with the Brave browser and 10 volunteers, we show potential battery savings up to 30%, on both devices with AMOLED and LCD screens.


title: Trade-off analysis of disruption-tolerant networking protocols

abstract: The objective of this analysis was to simulate the performance of three different ad-hoc protocols for disruption-tolerant networking (DTN) - i.e. the transfer of information through a network of nodes in contexts prone to signal interruption/signal degradation - and to perform a trade-off analysis that will yield a recommendation of the best course of action (COA) for a user of a space-based network to employ. This is important for space-based networks in particular since transmitting information over long distances - e.g. from directly from the initial node to the destination node - will result in the terminal signal being relatively weak, which is problematic in a high noise (disruption-prone) environment since it will likely result in packet degradation or loss unless signal power is increased to compensate. Given that changing signal power for each transmission is impractical when one's network is located in space, optimization of the signal route is the best means of ensuring the transmitted signal reaches its destination rapidly and with maximum fidelity. The recommended COA, as determined at the end of the analysis, is one that optimizes performance in a fashion that minimizes error during transmission and transmission time to the greatest extent possible. This analysis takes into consideration the relative value of transmission time and transmission error for a user of space-based communication systems (for instance, a scientific mission - the most likely type of user for a space-based relay network - would prioritize data integrity much higher than transmission time since even though a longer transmission time equals greater cost, a lower level of data integrity could result in the mission's scientific objective being compromised) and provides a recommendation accordingly.


title: Contribution of third generation quarks to two-loop helicity amplitudes for W boson pair production in gluon fusion

abstract: We compute the contribution of third generation quarks ($t,\ b$) to the two-loop amplitude for on-shell $W$ boson pair production in gluon fusion $gg \to WW$. We present plots for the amplitude across partonic phase space as well as reference values for two kinematic points. The master integrals are efficiently evaluated by numerically solving a system of ordinary differential equations.


title: Fast and Reliable WiFi Fingerprint Collection for Indoor Localization

abstract: Fingerprinting is a popular indoor localization technique since it can utilize existing infrastructures (e.g., access points). However, its site survey process is a labor-intensive and time-consuming task, which limits the application of such systems in practice. In this paper, motivated by the availability of advanced sensing capabilities in smartphones, we propose a fast and reliable fingerprint collection method to reduce the time and labor required for site survey. The proposed method uses a landmark graph-based method to automatically associate the collected fingerprints, which does not require active user participation. We will show that besides fast fingerprint data collection, the proposed method results in accurate location estimate compared to the state-of-the-art methods. Experimental results show that the proposed method is an order of magnitude faster than the manual fingerprint collection method, and using the radio map generated by our method achieves a much better accuracy compared to the existing methods.


title: Free Fall of a Quantum Many-Body System

abstract: The quantum version of the free fall problem is a topic often skipped in undergraduate quantum mechanics courses because its discussion usually requires wavepackets built on the Airy functions -- a difficult computation. Here, on the contrary, we show that the problem can be nicely simplified both for a single particle and for general many-body systems by making use of a gauge transformation that corresponds to a change of reference frame from the laboratory frame to the one comoving with the falling system. Using this approach, the quantum mechanics problem of a particle in an external gravitational potential reduces to a much simpler one where there is no longer any gravitational potential in the Schr\"{o}dinger equation. It is instructive to see that the same procedure can be used for many-body systems subjected to an external gravitational potential and a two-body interparticle potential that is a function of the distance between the particles. This topic provides a helpful and pedagogical example of a quantum many-body system whose dynamics can be analytically described in simple terms.


title: Sharpness of the Phase Transition for the Corrupted Compass Model on Transitive Graphs

abstract: In the corrupted compass model on a vertex-transitive graph, a neighbouring edge of every vertex is chosen uniformly at random and opened. Additionally, with probability $p$, independently for every vertex, every neighbouring edge is opened. We study the size of open clusters in this model. Hirsch et al. have shown that for small $p$ all open clusters are finite almost surely, while for large $p$, depending on the underlying graph, there exists an infinite open cluster almost surely. We show that the corresponding phase transition is sharp, i.e., in the subcritical regime, all open clusters are exponentially small. Furthermore we prove a mean-field lower bound in the supercritical regime. The proof uses the by now well established method using the OSSS inequality. A second goal of this note is to showcase this method in an uncomplicated setting.


title: Wireless Networks with Cache-Enabled and Backhaul-Limited Aerial Base Stations

abstract: Use of aerial base stations (ABSs) is a promising approach to enhance the agility and flexibility of future wireless networks. ABSs can improve the coverage and/or capacity of a network by moving supply towards demand. Deploying ABSs in a network presents several challenges such as finding an efficient 3D-placement of ABSs that takes network objectives into account. Another challenge is the limited wireless backhaul capacity of ABSs and consequently, potentially higher latency incurred. Content caching is proposed to alleviate the backhaul congestion and decrease the latency. We consider a limited backhaul capacity for ABSs due to varying position-dependent path loss values and define two groups of users (delay-tolerant and delay-sensitive) with different data rate requirements. We study the problem of jointly determining backhaul-aware 3D placement for ABSs, user-BS associations and corresponding bandwidth allocations while minimizing total downlink transmit power. Proposed iterative algorithm applies a decomposition method. First, the 3D locations of ABSs are found using semi-definite relaxation and coordinate descent methods, and then user-BS associations and bandwidth allocations are optimized. The simulation results demonstrate the effectiveness of the proposed algorithm and provide insights about the impact of traffic distribution and content caching on transmit power and backhaul usage of ABSs.


title: Connectedness matters: Construction and exact random sampling of connected graphs

abstract: We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non-trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge-switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale-free example, as well as on degree sequences of connected real-world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.


title: Development of Adaptive Frame Reservation Scheme and Naive Persistent State Co-Located Coexistence Controller

abstract: Future broadband networks need to provide high capacity at low cost with increased revenue through enhanced services. WiMAX came up as one of the leading technologies, however, the 2.3 GHz and 2.5 GHz frequency bands allocated create two serious coexistence issues with the adjacent 2.4 GHz ISM band. First problem is to address radio interfaces that are located on two independent platforms and still possess the potential for mutual interference owing to close proximity to each other. The Adaptive Frame Reservation Scheme presented here extends the CTS frame reservation signaling defined in 802.11 specifications to a demand based and adaptive scheme. Second issue is to address the coexistence problem in multi-radio platforms where two or more radios are co-located, creating an even worse interference scenario. This can be managed by hardware signaling that can be made available between radio interfaces through OS control. The development of a smart Co-located Coexistence Controller is explored which continuously receives transmission, reception and sleep requests from attached interfaces and in return grant permissions.


title: A near-infrared study of the obscured 3C129 galaxy cluster

abstract: We present a catalogue of 261 new infrared selected members of the 3C129 galaxy cluster. The cluster, located at $z \approx$ 0.02, forms part of the Perseus-Pisces filament and is obscured at optical wavelengths due to its location in the zone of avoidance. We identified these galaxies using the $J-$ and $K-$band imaging data provided by the UKIDSS Galactic Plane Survey within an area with a radius of $1.1^{\circ}$ centred on the X-ray emission of the cluster at $\ell, b \approx 160.52^{\circ}, 0.27^{\circ}$. A total of 26 of the identified galaxy members have known redshifts 24 of which are from our 2016 Westerbork HI survey and two are from optical spectroscopy. An analysis of the galaxy density at the core of the 3C129 cluster shows it to be less dense than the Coma and Norma clusters, but comparable to the galaxy density in the core of the Perseus cluster. From an assessment of the spatial and velocity distributions of the 3C129 cluster galaxies that have redshifts, we derived a velocity of $cz = 5227 \pm 171$ km/s and $\sigma = 1097 \pm 252$ km/s for the main cluster, with a substructure in the cluster outskirts at $cz = 6923 \pm 71$ km/s with $\sigma = 422 \pm 100$ km/s. The presence of this substructure is consistent with previous claims based on the X-ray analysis that the cluster is not yet virialised and may have undergone a recent merger.


title: On the assessment of an optimized method to determine the number of turns and the air gap length in ferrite-core low-frequency-current biased inductors

abstract: This paper presents a first assessment of a design method aiming at the minimization of the number of turns $N$ and the air gap length $g$ in ferrite-core based low-frequency-current biased AC filter inductors. Several design cases are carried on a specific model of Power Module (PM) core, made of distinct ferrite materials and having different kinds of air gap arrangements The correspondingly obtained design results are firstly compared with the classic approach by linearization of the magnetic curve to calculate $N$ and the use of a fringing factor to determine $g$. Next, a refined design approach of specifying the inductance roll-off at the peak current and its potential limitations are discussed with respect to our design method. Finally, the behaviour of inductors operated beyond their design specifications is analyzed.


title: Role of an additional interfacial spin-transfer torque for current-driven skyrmion dynamics in chiral magnetic layers

abstract: Skyrmions can be driven by spin-orbit torques as a result of the spin Hall effect. Here we model an additional contribution in ultra-thin multilayers, arising from the spin accumulation at heavy metal / ferromagnetic interfaces and observe the effects on a large range of skyrmion diameters. The combination of the interfacial spin-transfer torque and the spin-orbit torque results in skyrmion motion which helps to explain the observation of small skyrmion Hall angles for skyrmion diameters less than 100 nm. We show that this additional term has a significant effect on the skyrmion dynamics and leads to rapidly decreasing skyrmion Hall angles for small skyrmion diameters, as well as a skyrmion Hall angle versus skyrmion velocity dependence nearly independent of the surface roughness characteristics. Also, the effect of various disordered energy landscapes, in the form of surface roughness, on the skyrmion Hall angle and velocity is shown to be largely drive-dependent. Our results show good agreement with those found in experiments thus concluding that the interfacial spin-transfer torque should be included in micromagnetics simulations for the reproduction of experimental results.


title: Topological Gaps in Quasi-Periodic Spin Chains: A Numerical and K-Theoretic Analysis

abstract: Topological phases supported by quasi-periodic spin-chain models and their bulk-boundary principles are investigated by numerical and K-theoretic methods. We show that, for both the un-correlated and correlated phases, the operator algebras that generate the Hamiltonians are non-commutative tori, hence the quasi-periodic chains display physics akin to the quantum Hall effect in two and higher dimensions. The robust topological edge modes are found to be strongly shaped by the interaction and, generically, they have hybrid edge-localized and chain-delocalized structures. Our findings lay the foundations for topological spin pumping using the phason of a quasi-periodic pattern as an adiabatic parameter, where selectively chosen quantized bits of magnetization can be transferred from one edge of the chain to the other.


title: Data-driven Optimized Control of the COVID-19 Epidemics

abstract: Optimizing the impact on the economy of control strategies aiming at containing the spread of COVID-19 is a critical challenge. We use daily new case counts of COVID-19 patients reported by local health administrations from different Metropolitan Statistical Areas (MSAs) within the US to parametrize a model that well describes the propagation of the disease in each area. We then introduce a time-varying control input that represents the level of social distancing imposed on the population of a given area and solve an optimal control problem with the goal of minimizing the impact of social distancing on the economy in the presence of relevant constraints, such as a desired level of suppression for the epidemics at a terminal time. We find that with the exception of the initial time and of the final time, the optimal control input is well approximated by a constant, specific to each area, which contrasts with the implemented system of reopening `in phases'. For all the areas considered, this optimal level corresponds to stricter social distancing than the level estimated from data. Proper selection of the time period for application of the control action optimally is important: depending on the particular MSA this period should be either short or long or intermediate. We also consider the case that the transmissibility increases in time (due e.g. to increasingly colder weather), for which we find that the optimal control solution yields progressively stricter measures of social distancing. {We finally compute the optimal control solution for a model modified to incorporate the effects of vaccinations on the population and we see that depending on a number of factors, social distancing measures could be optimally reduced during the period over which vaccines are administered to the population.


title: Snowmass 2021 Letter of Interest: The GRAMS Project: MeV Gamma-Ray Observations and Antimatter-Based Dark Matter Searches

abstract: The Gamma-Ray and AntiMatter Survey (GRAMS) project is a proposed next-generation balloon/satellite mission targeting both MeV gamma-ray observations and antimatter-based dark matter searches. A cost-effective, large-scale Liquid Argon Time Projection Chamber (LArTPC) detector technology will allow GRAMS to have a significantly improved sensitivity to MeV gamma rays while extensively probing dark matter parameter space via antimatter measurements.