title: Snowdrift game induces pattern formation in systems of self-propelled particles

abstract: Evolutionary games between species are known to lead to intriguing spatio-temporal patterns in systems of diffusing agent. However, the role of inter-species interactions is hardly studied when agents are (self-)propelled, as is the case in many biological systems. Here, we combine aspects from active-matter and evolutionary game theory and study a system of two species whose individuals are (self-)propelled and interact through a snowdrift game. We derive hydrodynamic equations for the density and velocity fields of both species from which we identify parameter regimes in which one or both species form macroscopic orientational order as well as regimes of propagating wave patterns. Interestingly, we find simultaneous wave patterns in both species that result from the interplay between alignment and snowdrift interactions - a feedback mechanism that we call game-induced pattern formation. We test these results in agent-based simulations and confirm the different regimes of order and spatio-temporal patterns as well as game-induced pattern formation.


title: Analyzing multidimensional movement interaction with generalized cross-wavelet transform

abstract: Humans can synchronize with musical events whilst coordinating their movements with others. Interpersonal entrainment phenomena, such as dance, involve multiple body parts and movement directions. Along with being multidimensional, dance movement interaction is plurifrequential, since it can occur at different frequencies simultaneously. Moreover, it is prone to nonstationarity, due to, for instance, displacements around the dance floor. Various methodological approaches have been adopted to study entrainment, but only spectrogram-based techniques allow for an integral analysis thereof. This article proposes an alternative approach based upon the cross-wavelet transform, a technique for nonstationary and plurifrequential analysis of univariate interaction. The presented approach generalizes the cross-wavelet transform to multidimensional signals. It allows to identify, for different frequencies of movement, interaction estimates of interaction and leader-follower dynamics across body parts and movement directions. Further, the generalized cross-wavelet transform can be used to quantify the frequency-wise contribution of individual body parts and movement directions to overall synchrony. The article provides a thorough mathematical description of the method and includes proofs of its invariance under translation, rotation, and reflection. Finally, its properties and performance are illustrated via examples using simulated data and behavioral data collected through a mirror game task and a free dance movement task.


title: Nice group structure on the elementary orbit space of unimodular rows

abstract: (1) If $R$ is an affine algebra of dimension $d\geq 4$ over $\overline{\mathbb{F}}_{p}$ with $p>3$, then the group structure on ${\rm Um}_d(R)/{\rm E}_d(R)$ is nice. (2) If $R$ is a commutative noetherian ring of dimension $d\geq 2$ such that ${\rm E}_{d+1}(R)$ acts transitively on ${\rm Um}_{d+1}(R),$ then the group structure on ${\rm Um}_{d+1}(R[X])/{\rm E}_{d+1}(R[X])$ is nice.


title: Model-predictive control and reinforcement learning in multi-energy system case studies

abstract: Model-predictive-control (MPC) offers an optimal control technique to establish and ensure that the total operation cost of multi-energy systems remains at a minimum while fulfilling all system constraints. However, this method presumes an adequate model of the underlying system dynamics, which is prone to modelling errors and is not necessarily adaptive. This has an associated initial and ongoing project-specific engineering cost. In this paper, we present an on- and off-policy multi-objective reinforcement learning (RL) approach, that does not assume a model a priori, benchmarking this against a linear MPC (LMPC - to reflect current practice, though non-linear MPC performs better) - both derived from the general optimal control problem, highlighting their differences and similarities. In a simple multi-energy system (MES) configuration case study, we show that a twin delayed deep deterministic policy gradient (TD3) RL agent offers potential to match and outperform the perfect foresight LMPC benchmark (101.5%). This while the realistic LMPC, i.e. imperfect predictions, only achieves 98%. While in a more complex MES system configuration, the RL agent's performance is generally lower (94.6%), yet still better than the realistic LMPC (88.9%). In both case studies, the RL agents outperformed the realistic LMPC after a training period of 2 years using quarterly interactions with the environment. We conclude that reinforcement learning is a viable optimal control technique for multi-energy systems given adequate constraint handling and pre-training, to avoid unsafe interactions and long training periods, as is proposed in fundamental future work.


title: Differential Galois Theory and Integration

abstract: In this paper, we present methods to simplify reducible linear differential systems before solving. Classical integrals appear naturally as solutions of such systems. We will illustrate the methods developed in a previous paper on several examples to reduce the differential system. This will give information on potential algebraic relations between integrals.


title: Characterization of the periodic and antiperiodic spectra of non-self-adjoint Dirac operators

abstract: The necessary and sufficient conditions are given for a sequence of complex numbers to be the periodic (or antiperiodic) spectrum of non-self-adjoint Dirac operator.


title: $\pi$ and Arc-Length

abstract: We use the classical definitions (i) $\pi$ is the ratio of area to the square of the radius of a circle; (ii) $\pi$ is the ratio of circumference to the diameter of a circle, to prove $\pi$'s existence within the purview of Euclidean geometry. Next we show that the "arc-length" (Definition 1) is deducible from Euclidean geometry. Then we prove the Non-Euclidean-Axioms(NEA) of Archimedes (Corollary 4 and 5) and that the arc-length integral converges to the arc-length. We justify why `Euclidean Metric' (Definition 5) is a correct metric for arc-length; derive expressions for area, circumference of a circle and finally prove the equivalence of definitions (i) and (ii).


title: Does enhanced shape bias improve neural network robustness to common corruptions?

abstract: Convolutional neural networks (CNNs) learn to extract representations of complex features, such as object shapes and textures to solve image recognition tasks. Recent work indicates that CNNs trained on ImageNet are biased towards features that encode textures and that these alone are sufficient to generalize to unseen test data from the same distribution as the training data but often fail to generalize to out-of-distribution data. It has been shown that augmenting the training data with different image styles decreases this texture bias in favor of increased shape bias while at the same time improving robustness to common corruptions, such as noise and blur. Commonly, this is interpreted as shape bias increasing corruption robustness. However, this relationship is only hypothesized. We perform a systematic study of different ways of composing inputs based on natural images, explicit edge information, and stylization. While stylization is essential for achieving high corruption robustness, we do not find a clear correlation between shape bias and robustness. We conclude that the data augmentation caused by style-variation accounts for the improved corruption robustness and increased shape bias is only a byproduct.


title: Tactile Perception based on Injected Vibration in Soft Sensor

abstract: Tactile perception using vibration sensation helps robots recognize their environment's physical properties and perform complex tasks. A sliding motion is applied to target objects to generate tactile vibration data. However, situations exist where such a sliding motion is infeasible due to geometrical constraints in the environment or an object's fragility which cannot resist friction forces. This paper explores a novel approach to achieve vibration-based tactile perception without a sliding motion. To this end, our key idea is injecting a mechanical vibration into a soft tactile sensor system and measuring the propagated vibration inside it by a sensor. Soft tactile sensors are deformed by the contact state, and the touched objects' shape or texture should change the characteristics of the vibration propagation. Therefore, the propagated-vibration data are expected to contain useful information for recognizing touched environments. We developed a prototype system for a proof-of-concept: a mechanical vibration is applied to a biomimetic (soft and vibration-based) tactile sensor from a small, mounted piezoelectric actuator. As a verification experiment, we performed two classification tasks for sandpaper's grit size and a slit's gap widths using our approach and compared their accuracies with that of using sliding motions. Our approach resulted in 70% accuracy for the grit size classification and 99% accuracy for the gap width classification. These results are comparable to or better than the comparison methods with a sliding motion.


title: B-PROP: Bootstrapped Pre-training with Representative Words Prediction for Ad-hoc Retrieval

abstract: Pre-training and fine-tuning have achieved remarkable success in many downstream natural language processing (NLP) tasks. Recently, pre-training methods tailored for information retrieval (IR) have also been explored, and the latest success is the PROP method which has reached new SOTA on a variety of ad-hoc retrieval benchmarks. The basic idea of PROP is to construct the \textit{representative words prediction} (ROP) task for pre-training inspired by the query likelihood model. Despite its exciting performance, the effectiveness of PROP might be bounded by the classical unigram language model adopted in the ROP task construction process. To tackle this problem, we propose a bootstrapped pre-training method (namely B-PROP) based on BERT for ad-hoc retrieval. The key idea is to use the powerful contextual language model BERT to replace the classical unigram language model for the ROP task construction, and re-train BERT itself towards the tailored objective for IR. Specifically, we introduce a novel contrastive method, inspired by the divergence-from-randomness idea, to leverage BERT's self-attention mechanism to sample representative words from the document. By further fine-tuning on downstream ad-hoc retrieval tasks, our method achieves significant improvements over baselines without pre-training or with other pre-training methods, and further pushes forward the SOTA on a variety of ad-hoc retrieval tasks.


title: Identifying Helpful Sentences in Product Reviews

abstract: In recent years online shopping has gained momentum and became an important venue for customers wishing to save time and simplify their shopping process. A key advantage of shopping online is the ability to read what other customers are saying about products of interest. In this work, we aim to maintain this advantage in situations where extreme brevity is needed, for example, when shopping by voice. We suggest a novel task of extracting a single representative helpful sentence from a set of reviews for a given product. The selected sentence should meet two conditions: first, it should be helpful for a purchase decision and second, the opinion it expresses should be supported by multiple reviewers. This task is closely related to the task of Multi Document Summarization in the product reviews domain but differs in its objective and its level of conciseness. We collect a dataset in English of sentence helpfulness scores via crowd-sourcing and demonstrate its reliability despite the inherent subjectivity involved. Next, we describe a complete model that extracts representative helpful sentences with positive and negative sentiment towards the product and demonstrate that it outperforms several baselines.


title: What is Wrong with One-Class Anomaly Detection?

abstract: From a safety perspective, a machine learning method embedded in real-world applications is required to distinguish irregular situations. For this reason, there has been a growing interest in the anomaly detection (AD) task. Since we cannot observe abnormal samples for most of the cases, recent AD methods attempt to formulate it as a task of classifying whether the sample is normal or not. However, they potentially fail when the given normal samples are inherited from diverse semantic labels. To tackle this problem, we introduce a latent class-condition-based AD scenario. In addition, we propose a confidence-based self-labeling AD framework tailored to our proposed scenario. Since our method leverages the hidden class information, it successfully avoids generating the undesirable loose decision region that one-class methods suffer. Our proposed framework outperforms the recent one-class AD methods in the latent multi-class scenarios.


title: Linking nearby stellar streams to more distant halo overdensities

abstract: It has been recently shown that the halo near the Sun contains several kinematic substructures associated to past accretion events. For the more distant halo, there is evidence of large-scale density variations -- in the form of stellar clouds or overdensities. We study the link between the local halo kinematic groups and three of these stellar clouds: the Hercules-Aquila cloud, the Virgo Overdensity, and the Eridanus-Phoenix overdensity. We perform orbital integrations in a standard Milky Way potential of a local halo sample extracted from Gaia eDR3, with the goal of predicting the location of the merger debris elsewhere in the Galaxy. We specifically focus on the regions occupied by the three stellar clouds and compare their kinematic and distance distributions with those predicted from the orbits of the nearby debris. We find that the local halo substructures have families of orbits that tend to pile up in the regions where the stellar clouds have been found. The distances and velocities of the cloud's member stars are in good agreement with those predicted from the orbit integrations, particularly for Gaia-Enceladus stars. This is the dominant contributor of all three overdensities, with a minor part stemming from the Helmi streams and to an even smaller extent from Sequoia. The orbital integrations predict no asymmetries in the sky distribution of halo stars, and they pinpoint where additional debris associated with the local halo substructures may be located.


title: Optimality of the triangular lattice for Lennard-Jones type lattice energies: a computer-assisted method

abstract: It is well-known that any Lennard-Jones type potential energy must have a periodic ground state given by a triangular lattice in dimension 2. In this paper, we describe a computer-assisted method that rigorously shows such global minimality result among $2$-dimensional lattices once the exponents of the potential have been fixed. The method is applied to the widely used classical $(12,6)$ Lennard-Jones potential, which is the main result of this work. Furthermore, a new bound on the inverse density (i.e. the co-volume) for which the triangular lattice is minimal is derived, improving those found in [L. B\'etermin and P. Zhang, \textit{Commun. Contemp. Math.}, 17 (2015), 1450049] and [L. B\'etermin, \textit{SIAM J. Math. Anal.}, 48 (2016), 3236--3269]. The same results are also shown to hold for other exponents as additional examples and a new conjecture implying the global optimality of a triangular lattice for any parameters is stated.


title: Analytical results for the superflow of spin-orbit-coupled Bose-Einstein condensates in optical lattices

abstract: In this paper, we show that for sufficiently strong atomic interactions, there exist analytical solutions of current-carrying nonlinear Bloch states at the Brillouin zone edge to the model of spin-orbit-coupled Bose-Einstein condensates (BECs) with symmetric spin interaction loaded into optical lattices. These simple but generic exact solutions provide an analytical demonstration of some intriguing properties which have neither an analog in the regular BEC lattice systems nor in the uniform spin-orbit-coupled BEC systems. It is an analytical example for understanding the superfluid and other related properties of the spin-orbit-coupled BEC lattice systems.


title: Resonant Hamiltonian systems and weakly nonlinear dynamics in AdS spacetimes

abstract: Weakly nonlinear dynamics in anti-de Sitter (AdS) spacetimes is reviewed, keeping an eye on the AdS instability conjecture and focusing on the resonant approximation that accurately captures in a simplified form the long-term evolution of small initial data. Topics covered include turbulent and regular motion, dynamical recurrences analogous to the Fermi-Pasta-Ulam phenomena in oscillator chains, and relations between AdS dynamics and nonrelativistic nonlinear Schrodinger equations in harmonic potentials. Special mention is given to the way the classical dynamics of weakly nonlinear strongly resonant systems is illuminated by perturbative considerations within the corresponding quantum theories, in particular, in relation to quantum chaos theory.


title: CoDR: Computation and Data Reuse Aware CNN Accelerator

abstract: Computation and Data Reuse is critical for the resource-limited Convolutional Neural Network (CNN) accelerators. This paper presents Universal Computation Reuse to exploit weight sparsity, repetition, and similarity simultaneously in a convolutional layer. Moreover, CoDR decreases the cost of weight memory access by proposing a customized Run-Length Encoding scheme and the number of memory accesses to the intermediate results by introducing an input and output stationary dataflow. Compared to two recent compressed CNN accelerators with the same area of 2.85 mm^2, CoDR decreases SRAM access by 5.08x and 7.99x, and consumes 3.76x and 6.84x less energy.


title: Deep Learning based Efficient Symbol-Level Precoding Design for MU-MISO Systems

abstract: The recently emerged symbol-level precoding (SLP) technique has been regarded as a promising solution in multi-user wireless communication systems, since it can convert harmful multi-user interference (MUI) into beneficial signals for enhancing system performance. However, the tremendous computational complexity of conventional symbol-level precoding designs severely hinders the practical implementations. In order to tackle this difficulty, we propose a novel deep learning (DL) based approach to efficiently design the symbol-level precoders. Particularly, in this correspondence, we consider a multi-user multi-input single-output (MU-MISO) downlink system. An efficient precoding neural network (EPNN) is introduced to optimize the symbol-level precoders for maximizing the minimum quality-of-service (QoS) of all users under the power constraint. Simulation results demonstrate that the proposed EPNN based SLP design can dramatically reduce the computing time at the price of slight performance loss compared with the conventional convex optimization based SLP design.


title: Numerical study of transverse position monitor and compensation for x-ray polarization diagnosis

abstract: Diagnosing free electron laser (FEL) polarization is critical for polarization-modulated research such as x-ray free electron laser (XFEL) diffraction imaging and probing material magnetism. In an electron time-of-flight (eTOF)\ polarimeter, the flight time and angular distribution of photoelectrons were designed based on x-ray polarimetry for on-site diagnosis. However, the transverse position of x-ray FEL pulses introduces error into the measured photoelectron angular distribution. This work thus proposes a method to monitor the transverse position using an eTOF polarimeter and explains how to compensate for the error due to transverse position. A comprehensive numerical model is developed to demonstrate the feasibility of the compensation method, and the results reveal that a spatial resolution of 20 \(\mu\)m and a polarity improved by 0.5\% is possible with fully polarized FEL pulses. The impact of FEL\ pulses and a method to calibrate their linearity is also discussed.


title: Leveraging Public-Private Blockchain Interoperability for Closed Consortium Interfacing

abstract: With the increasing adoption of private blockchain platforms, consortia operating in various sectors such as trade, finance, logistics, etc., are becoming common. Despite having the benefits of a completely decentralized architecture which supports transparency and distributed control, existing private blockchains limit the data, assets, and processes within its closed boundary, which restricts secure and verifiable service provisioning to the end-consumers. Thus, platforms such as e-commerce with multiple sellers or cloud federation with a collection of cloud service providers cannot be decentralized with the existing blockchain platforms. This paper proposes a decentralized gateway architecture interfacing private blockchain with end-users by leveraging the unique combination of public and private blockchain platforms through interoperation. Through the use case of decentralized cloud federations, we have demonstrated the viability of the solution. Our testbed implementation with Ethereum and Hyperledger Fabric, with three service providers, shows that such consortium can operate within an acceptable response latency while scaling up to 64 parallel requests per second for cloud infrastructure provisioning. Further analysis over the Mininet emulation platform indicates that the platform can scale well with minimal impact over the latency as the number of participating service providers increases.


title: The pulsar gamma-ray emission from the high-resolution dissipative magnetospheres

abstract: The pulsar light curves and energy spectra are explored in dissipative pulsar magnetospheres with the Aristotelian electrodynamics (AE), where particle acceleration is fully balanced with radiation reaction. The AE magnetospheres with non-zero pair multiplicity are computed by a pseudo-spectral method in the co-moving frame. The dissipative region near the current sheet outside the LC is accurately captured by the high-resolution simulation. The pulsar light curves and spectra are computed by the test particle trajectory method including the influence of both the consistent accelerating electric field and radiation reaction. Our results can generally reproduce the double-peak light curves and the GeV cut-off energy spectra in agreement with the Fermi observations for the pair multiplicity $\kappa\gtrsim1$.


title: Robust Online Algorithms for Dynamic Choosing Problems

abstract: Semi-online algorithms that are allowed to perform a bounded amount of repacking achieve guaranteed good worst-case behaviour in a more realistic setting. Most of the previous works focused on minimization problems that aim to minimize some costs. In this work, we study maximization problems that aim to maximize their profit. We mostly focus on a class of problems that we call choosing problems, where a maximum profit subset of a set objects has to be maintained. Many known problems, such as Knapsack, MaximumIndependentSet and variations of these, are part of this class. We present a framework for choosing problems that allows us to transfer offline $\alpha$-approximation algorithms into $(\alpha-epsilon)$-competitive semi-online algorithms with amortized migration $O(1/\epsilon)$. Moreover we complement these positive results with lower bounds that show that our results are tight in the sense that no amortized migration of $o(1/\epsilon)$ is possible.


title: SE-SSD: Self-Ensembling Single-Stage Object Detector From Point Cloud

abstract: We present Self-Ensembling Single-Stage object Detector (SE-SSD) for accurate and efficient 3D object detection in outdoor point clouds. Our key focus is on exploiting both soft and hard targets with our formulated constraints to jointly optimize the model, without introducing extra computation in the inference. Specifically, SE-SSD contains a pair of teacher and student SSDs, in which we design an effective IoU-based matching strategy to filter soft targets from the teacher and formulate a consistency loss to align student predictions with them. Also, to maximize the distilled knowledge for ensembling the teacher, we design a new augmentation scheme to produce shape-aware augmented samples to train the student, aiming to encourage it to infer complete object shapes. Lastly, to better exploit hard targets, we design an ODIoU loss to supervise the student with constraints on the predicted box centers and orientations. Our SE-SSD attains top performance compared with all prior published works. Also, it attains top precisions for car detection in the KITTI benchmark (ranked 1st and 2nd on the BEV and 3D leaderboards, respectively) with an ultra-high inference speed. The code is available at https://github.com/Vegeta2020/SE-SSD.


title: CTNet: Context-based Tandem Network for Semantic Segmentation

abstract: Contextual information has been shown to be powerful for semantic segmentation. This work proposes a novel Context-based Tandem Network (CTNet) by interactively exploring the spatial contextual information and the channel contextual information, which can discover the semantic context for semantic segmentation. Specifically, the Spatial Contextual Module (SCM) is leveraged to uncover the spatial contextual dependency between pixels by exploring the correlation between pixels and categories. Meanwhile, the Channel Contextual Module (CCM) is introduced to learn the semantic features including the semantic feature maps and class-specific features by modeling the long-term semantic dependence between channels. The learned semantic features are utilized as the prior knowledge to guide the learning of SCM, which can make SCM obtain more accurate long-range spatial dependency. Finally, to further improve the performance of the learned representations for semantic segmentation, the results of the two context modules are adaptively integrated to achieve better results. Extensive experiments are conducted on three widely-used datasets, i.e., PASCAL-Context, ADE20K and PASCAL VOC2012. The results demonstrate the superior performance of the proposed CTNet by comparison with several state-of-the-art methods.


title: DeepHunter: A Graph Neural Network Based Approach for Robust Cyber Threat Hunting

abstract: Cyber Threat hunting is a proactive search for known attack behaviors in the organizational information system. It is an important component to mitigate advanced persistent threats (APTs). However, the attack behaviors recorded in provenance data may not be completely consistent with the known attack behaviors. In this paper, we propose DeepHunter, a graph neural network (GNN) based graph pattern matching approach that can match provenance data against known attack behaviors in a robust way. Specifically, we design a graph neural network architecture with two novel networks: attribute embedding networks that could incorporate Indicators of Compromise (IOCs) information, and graph embedding networks that could capture the relationships between IOCs. To evaluate DeepHunter, we choose five real and synthetic APT attack scenarios. Results show that DeepHunter can hunt all attack behaviors, and the accuracy and robustness of DeepHunter outperform the state-of-the-art method, Poirot.


title: Visual Navigation with Spatial Attention

abstract: This work focuses on object goal visual navigation, aiming at finding the location of an object from a given class, where in each step the agent is provided with an egocentric RGB image of the scene. We propose to learn the agent's policy using a reinforcement learning algorithm. Our key contribution is a novel attention probability model for visual navigation tasks. This attention encodes semantic information about observed objects, as well as spatial information about their place. This combination of the "what" and the "where" allows the agent to navigate toward the sought-after object effectively. The attention model is shown to improve the agent's policy and to achieve state-of-the-art results on commonly-used datasets.


title: Measuring the Ripeness of Fruit with Hyperspectral Imaging and Deep Learning

abstract: We present a system to measure the ripeness of fruit with a hyperspectral camera and a suitable deep neural network architecture. This architecture did outperform competitive baseline models on the prediction of the ripeness state of fruit. For this, we recorded a data set of ripening avocados and kiwis, which we make public. We also describe the process of data collection in a manner that the adaption for other fruit is easy. The trained network is validated empirically, and we investigate the trained features. Furthermore, a technique is introduced to visualize the ripening process.


title: Inference of Common Multidimensional Equally-Distributed Attributes

abstract: Given two relations containing multiple measurements - possibly with uncertainties - our objective is to find which sets of attributes from the first have a corresponding set on the second, using exclusively a sample of the data. This approach could be used even when the associated metadata is damaged, missing or incomplete, or when the volume is too big for exact methods. This problem is similar to the search of Inclusion Dependencies (IND), a type of rule over two relations asserting that for a set of attributes X from the first, every combination of values appears on a set Y from the second. Existing IND can be found exploiting the existence of a partial order relation called specialization. However, this relation is based on set theory, requiring the values to be directly comparable. Statistical tests are an intuitive possible replacement, but it has not been studied how would they affect the underlying assumptions. In this paper we formally review the effect that a statistical approach has over the inference rules applied to IND discovery. Our results confirm the intuitive thought that statistical tests can be used, but not in a directly equivalent manner. We provide a workable alternative based on a "hierarchy of null hypotheses", allowing for the automatic discovery of multi-dimensional equally distributed sets of attributes.


title: Addressing the Vulnerability of NMT in Input Perturbations

abstract: Neural Machine Translation (NMT) has achieved significant breakthrough in performance but is known to suffer vulnerability to input perturbations. As real input noise is difficult to predict during training, robustness is a big issue for system deployment. In this paper, we improve the robustness of NMT models by reducing the effect of noisy words through a Context-Enhanced Reconstruction (CER) approach. CER trains the model to resist noise in two steps: (1) perturbation step that breaks the naturalness of input sequence with made-up words; (2) reconstruction step that defends the noise propagation by generating better and more robust contextual representation. Experimental results on Chinese-English (ZH-EN) and French-English (FR-EN) translation tasks demonstrate robustness improvement on both news and social media text. Further fine-tuning experiments on social media text show our approach can converge at a higher position and provide a better adaptation.


title: Exceptional Point and Cross-Relaxation Effect in a Hybrid Quantum System

abstract: Exceptional points (EPs) are exotic degeneracies of non-Hermitian systems, where the eigenvalues and the corresponding eigenvectors simultaneously coalesce in parameter space, and these degeneracies are sensitive to tiny perturbations on the system. Here we report an experimental observation of the EP in a hybrid quantum system consisting of dense nitrogen (P1) centers in diamond coupled to a coplanar-waveguide resonator. These P1 centers can be divided into three subensembles of spins, and cross relaxation occurs among them. As a new method to demonstrate this EP, we pump a given spin subensemble with a drive field to tune the magnon-photon coupling in a wide range. We observe the EP in the middle spin subensemble coupled to the resonator mode, irrespective of which spin subensemble is actually driven. This robustness of the EP against pumping reveals the key role of the cross relaxation in P1 centers. It offers a novel way to convincingly prove the existence of the cross-relaxation effect via the EP.


title: Screening methods for linear errors-in-variables models in high dimensions

abstract: Microarray studies, in order to identify genes associated with an outcome of interest, usually produce noisy measurements for a large number of gene expression features from a small number of subjects. One common approach to analyzing such high-dimensional data is to use linear errors-in-variables models; however, current methods for fitting such models are computationally expensive. In this paper, we present two efficient screening procedures, namely corrected penalized marginal screening and corrected sure independence screening, to reduce the number of variables for final model building. Both screening procedures are based on fitting corrected marginal regression models relating the outcome to each contaminated covariate separately, which can be computed efficiently even with a large number of features. Under mild conditions, we show that these procedures achieve screening consistency and reduce the number of features considerably, even when the number of covariates grows exponentially with the sample size. Additionally, if the true covariates are weakly correlated, corrected penalized marginal screening can achieve full variable selection consistency. Through simulation studies and an analysis of gene expression data for bone mineral density of Norwegian women, we demonstrate that the two new screening procedures make estimation of linear errors-in-variables models computationally scalable in high dimensional settings, and improve finite sample estimation and selection performance compared with estimators that do not employ a screening stage.


title: Fast Stochastic Bregman Gradient Methods: Sharp Analysis and Variance Reduction

abstract: We study the problem of minimizing a relatively-smooth convex function using stochastic Bregman gradient methods. We first prove the convergence of Bregman Stochastic Gradient Descent (BSGD) to a region that depends on the noise (magnitude of the gradients) at the optimum. In particular, BSGD with a constant step-size converges to the exact minimizer when this noise is zero (\emph{interpolation} setting, in which the data is fit perfectly). Otherwise, when the objective has a finite sum structure, we show that variance reduction can be used to counter the effect of noise. In particular, fast convergence to the exact minimizer can be obtained under additional regularity assumptions on the Bregman reference function. We illustrate the effectiveness of our approach on two key applications of relative smoothness: tomographic reconstruction with Poisson noise and statistical preconditioning for distributed optimization.


title: Optimal control problems with sparsity for phase field tumor growth models involving variational inequalities

abstract: This paper treats a distributed optimal control problem for a tumor growth model of Cahn-Hilliard type including chemotaxis. The evolution of the tumor fraction is governed by a variational inequality corresponding to a double obstacle nonlinearity occurring in the associated potential. In addition, the control and state variables are nonlinearly coupled and, furthermore, the cost functional contains a nondifferentiable term like the $L^1$-norm in order to include sparsity effects which is of utmost relevance, especially time sparsity, in the context of cancer therapies as applying a control to the system reflects in exposing the patient to an intensive medical treatment. To cope with the difficulties originating from the variational inequality in the state system, we employ the so-called "deep quench approximation" in which the convex part of the double obstacle potential is approximated by logarithmic functions. For such functions, first-order necessary conditions of optimality can be established by invoking recent results. We use these results to derive corresponding optimality conditions also for the double obstacle case, by deducing a variational inequality in terms of the associated adjoint state variables. The resulting variational inequality can be exploited to also obtain sparsity results for the optimal controls.


title: A simple vision-based navigation and control strategy for autonomous drone racing

abstract: In this paper, we present a control system that allows a drone to fly autonomously through a series of gates marked with ArUco tags. A simple and low-cost DJI Tello EDU quad-rotor platform was used. Based on the API provided by the manufacturer, we have created a Python application that enables the communication with the drone over WiFi, realises drone positioning based on visual feedback, and generates control. Two control strategies were proposed, compared, and critically analysed. In addition, the accuracy of the positioning method used was measured. The application was evaluated on a laptop computer (about 40 fps) and a Nvidia Jetson TX2 embedded GPU platform (about 25 fps). We provide the developed code on GitHub.


title: On link deletion and point deletion in games on graphs

abstract: We discuss link and point deletion operators on graph games and provide a comparative logic-algorithmic study of the same. In particular, we focus on a popular notion of invariance in transition systems, namely, bisimulation, between the respective games on graphs. We present both logical and algorithmic analyses of the concepts so as to provide a more formal analysis of the natural connection between these two operators.


title: High throughput optimization of hard and tough TiN/Ni nanocomposite coatings by reactive magnetron sputter deposition

abstract: A combinatorial thin-film synthesis approach combined with a high throughput analysis methodology was successfully applied to synthesize TiN/Ni coatings with optimum mechanical properties. The synthesis approach consists of the deposition of TiN/Ni coatings with the Ni content ranging from around 0 to 20 at.%. by reactive magnetron sputtering with a well-defined composition gradient, so that almost all possible compositions are produced in one single coating under identical conditions, removing uncertainties from processing conditions. The analysis methodology continuously screened the microstructure, residual stresses, hardness and fracture toughness of TiN/Ni coatings. The results show that a nanocomposite microstructure of equiaxed nanograins of crystalline {\delta}-TiN embedded in a Ni rich amorphous phase is formed in the composition window between 8 and 12 Ni at.%. This microstructure offers a superior combination of hardness and toughness and a simultaneous reduction of residual stresses with respect to TiN coatings grown in the same conditions. Higher Ni contents are however detrimental because they compromise the integrity of the coatings.


title: Controllable finite ultra-narrow quality-factor peak in a perturbed Dirac-cone band structure of a photonic crystal slab

abstract: We show that by using a perturbed photonic Dirac-cone, one can realize ultra-narrow and finite Q-factor peak in the wavevector space, with both the peak value and the width separately tunable. We also discuss a lower bound in the minimal viable width given a peak Q-value while maintaining sufficient Q differentiation among modes. The strong angular and frequency Q-selection finds applications in optical devices where strong angle- and frequency-selection is needed.


title: A Result on Convergence of Double Sequences of Measurable Functions

abstract: We investigate a result on convergence of double sequences of numbers and how it extends to measurable functions.


title: Microshift: An Efficient Image Compression Algorithm for Hardware

abstract: In this paper, we propose an image compression algorithm called Microshift. We employ an algorithm hardware co-design methodology, yielding a hardware-friendly compression approach with low power consumption. In our method, the image is first micro-shifted, then the sub-quantized values are further compressed. Two methods, the FAST and MRF model, are proposed to recover the bit-depth by exploiting the spatial correlation of natural images. Both methods can decompress images progressively. Our compression algorithm compresses images to 1.25 bits per pixel on average with PSNR of 33.16 dB, outperforming other on-chip compression algorithms. Then, we propose a hardware architecture and implement the algorithm on an FPGA and ASIC. The results on the VLSI design further validate the low hardware complexity and high power efficiency, showing our method is promising, particularly for low-power wireless vision sensor networks.


title: Using a rank-based design in estimating prevalence of breast cancer

abstract: It is highly important for governments and health organizations to monitor the prevalence of breast cancer as a leading source of cancer-related death among women. However, the accurate diagnosis of this disease is expensive, especially in developing countries. This article concerns a cost-efficient method for estimating prevalence of breast cancer, when diagnosis is based on a comprehensive biopsy procedure. Multistage ranked set sampling (MSRSS) is utilized to develop a proportion estimator. This design employs some visually assessed cytological covariates, which are pertinent to determination of breast cancer, so as to provide the experimenter with a more informative sample. Theoretical properties of the proposed estimator are explored. Evidence from numerical studies is reported. The developed procedure can be substantially more efficient than its competitor in simple random sampling (SRS). In some situations, the proportion estimation in MSRSS needs around 76% fewer observations than that in SRS, given a precision level. Thus, using MSRSS may lead to a considerable reduction in cost with respect to SRS. In many medical studies, e.g. diagnosing breast cancer based on a full biopsy procedure, exact quantification is difficult (costly and/or time-consuming), but the potential sample units can be ranked fairly accurately without actual measurements. In this setup, multistage ranked set sampling is an appropriate design for developing cost-efficient statistical methods.


title: Superconductivity in ThMo2Si2C with Mo2C Square Net

abstract: We report the superconductivity of a new quaternary compound ThMo$_2$Si$_2$C, synthesized with the arc-melting technique. The compound crystallizes in a tetragonal CeCr$_2$Si$_2$C-type structure with cell parameters of $a$ = 4.2296 \r{A}and $c$ = 5.3571 \r{A}. An interlayer Si-Si covalent bonding is suggested by the atomic distance. The electrical resistivity and magnetic susceptibility measurements indicate a Pauli-paramagnetic metal with dominant electron-electron scattering in the normal-state. Bulk superconductivity at 2.2 K is demonstrated with a dimensionless specific-heat jump of ${\Delta}C/\gamma_{\rm n}T$ = 0.98. The superconducting parameters of the critical magnetic fields, coherence length, penetration depth, and superconducting energy gap are given.


title: Impact of Multi-connectivity on Channel Capacity and Outage Probability in Wireless Networks

abstract: Multi-connectivity facilitates higher throughput, shorter delay, and lower outage probability for a user in a wireless network. Considering these promises, a rationale policy for a network operator would be to implement multi-connectivity for all of its users. In this paper, we investigate whether the promises of multi-connectivity also hold in such a setting where all users of a network are connected through multiple links. In particular, we consider a network where every user connects to its k closest base stations. Using a framework of stochastic geometry and probability theory, we obtain analytic expressions for per-user throughput and outage probability of $k$-connectivity networks under several failure models. In contrast to the conclusions of previous research, our analysis shows that per-user throughput decreases with increasing k. However, multi-connected networks are more resilient against failures than single connected networks as reflected with lower outage probability and lead to higher fairness among the users. Consequently, we conclude that rather than implementing multi-connectivity for all users, a network operator should consider it for its users who would benefit from additional links the most, e.g., cell edge users.


title: Periodic bouncing of a plasmonic bubble in a binary liquid by competing solutal and thermal Marangoni forces

abstract: The physicochemical hydrodynamics of bubbles and droplets out of equilibrium, in particular with phase transitions, displays surprisingly rich and often counterintuitive phenomena. Here we experimentally and theoretically study the nucleation and early evolution of plasmonic bubbles in a binary liquid consisting of water and ethanol. Remarkably, the submillimeter plasmonic bubble is found to be periodically attracted to and repelled from the nanoparticle-decorated substrate, with frequencies of around a few kHz. We identify the competition between solutal and thermal Marangoni forces as origin of the periodic bouncing. The former arises due to the selective vaporization of ethanol at the substrate's side of the bubble, leading to a solutal Marangoni flow towards the hot substrate, which pushes the bubble away. The latter arises due to the temperature gradient across the bubble, leading to a thermal Marangoni flow away from the substrate which sucks the bubble towards it. We study the dependence of the frequency of the bouncing phenomenon from the control parameters of the system, namely the ethanol fraction and the laser power for the plasmonic heating. Our findings can be generalized to boiling and electrolytically or catalytically generated bubbles in multicomponent liquids.


title: Isolation of the Cuspidal Spectrum: the Function Field Case

abstract: Isolating cuspidal automorphic representations from the whole automorphic spectrum is a basic problem in the trace formula approach. For example, matrix coefficients of supercupidal representations can be used as test functions for this, which kills the continuous spectrum, but also a large class of cuspidal automorphic representations. For the case of number fields, multipliers of the Schwartz algebra is used in the recent work [3] to isolate all cuspidal spectrum which provide enough test functions and suitable for the comparison of orbital integrals. These multipliers are then applied to the proof of the Gan-Gross-Prasad conjecture for unitary groups [3,2]. In this article, we prove similar result on isolating the cuspidal spectrum in [3] for the function field case.


abstract: We consider the Bochner-Riesz means for the Hermite and special Hermite expansions and study their $L^p$ boundedness with the sharp summability index in a local setting. In two dimensions we establish the boundedness on the optimal range of $p$ and extend the previously known range in higher dimensions. Furthermore, we prove a new lower bound on the $L^p$ summability index for the Hermite Bochner-Riesz means in $\mathbb R^d$, $d\ge 2.$ This invalidates the conventional conjecture which was expected to be true.


title: WASSA@IITK at WASSA 2021: Multi-task Learning and Transformer Finetuning for Emotion Classification and Empathy Prediction

abstract: This paper describes our contribution to the WASSA 2021 shared task on Empathy Prediction and Emotion Classification. The broad goal of this task was to model an empathy score, a distress score and the overall level of emotion of an essay written in response to a newspaper article associated with harm to someone. We have used the ELECTRA model abundantly and also advanced deep learning approaches like multi-task learning. Additionally, we also leveraged standard machine learning techniques like ensembling. Our system achieves a Pearson Correlation Coefficient of 0.533 on sub-task I and a macro F1 score of 0.5528 on sub-task II. We ranked 1st in Emotion Classification sub-task and 3rd in Empathy Prediction sub-task


title: Passive, Transparent, and Selective TLS Decryption for Network Security Monitoring

abstract: Internet traffic is increasingly encrypted. While this protects the confidentiality and integrity of communication, it prevents network monitoring systems (NMS) and intrusion detection systems (IDSs) from effectively analyzing the now encrypted payloads. Therefore, many enterprise networks have deployed man-in-the-middle (MitM) proxies that intercept TLS connections at the network border to examine packet payloads and thus retain some visibility. However, recent studies have shown that TLS interception often reduces connection security and potentially introduces additional attack vectors to the network. In this paper, we present a cooperative approach in which end-hosts as cryptographic endpoints selectively provide TLS key material to NMS for decryption. This enables endpoints to control who can decrypt which content and lets users retain privacy for chosen connections. We implement a prototype based on the Zeek NMS that is able to receive key material from hosts, decrypt TLS connections and perform analyzes on the cleartext. The patch is freely available and we plan to upstream our changes to Zeek once they are mature enough. In our evaluation, we discuss how our approach conceptually requires significantly less computational resources compared to the commonly deployed MitM proxies. Our experimental results indicate, that TLS decryption increases a runtime overhead of about 2.5 times of the original runtime on cleartext. Additionally, we show that the latency for transmitting keys between hosts and the NMS can be effectively addressed by buffering traffic at the NMS for at least 40ms, allowing successful decryption of 99.99% of all observed TLS connections.


title: Detector-Free Weakly Supervised Grounding by Separation

abstract: Nowadays, there is an abundance of data involving images and surrounding free-form text weakly corresponding to those images. Weakly Supervised phrase-Grounding (WSG) deals with the task of using this data to learn to localize (or to ground) arbitrary text phrases in images without any additional annotations. However, most recent SotA methods for WSG assume the existence of a pre-trained object detector, relying on it to produce the ROIs for localization. In this work, we focus on the task of Detector-Free WSG (DF-WSG) to solve WSG without relying on a pre-trained detector. We directly learn everything from the images and associated free-form text pairs, thus potentially gaining an advantage on the categories unsupported by the detector. The key idea behind our proposed Grounding by Separation (GbS) method is synthesizing `text to image-regions' associations by random alpha-blending of arbitrary image pairs and using the corresponding texts of the pair as conditions to recover the alpha map from the blended image via a segmentation network. At test time, this allows using the query phrase as a condition for a non-blended query image, thus interpreting the test image as a composition of a region corresponding to the phrase and the complement region. Using this approach we demonstrate a significant accuracy improvement, of up to $8.5\%$ over previous DF-WSG SotA, for a range of benchmarks including Flickr30K, Visual Genome, and ReferIt, as well as a significant complementary improvement (above $7\%$) over the detector-based approaches for WSG.


title: A novel three-stage training strategy for long-tailed classification

abstract: The long-tailed distribution datasets poses great challenges for deep learning based classification models on how to handle the class imbalance problem. Existing solutions usually involve class-balacing strategies or transfer learing from head- to tail-classes or use two-stages learning strategy to re-train the classifier. However, the existing methods are difficult to solve the low quality problem when images are obtained by SAR. To address this problem, we establish a novel three-stages training strategy, which has excellent results for processing SAR image datasets with long-tailed distribution. Specifically, we divide training procedure into three stages. The first stage is to use all kinds of images for rough-training, so as to get the rough-training model with rich content. The second stage is to make the rough model learn the feature expression by using the residual dataset with the class 0 removed. The third stage is to fine tune the model using class-balanced datasets with all 10 classes (including the overall model fine tuning and classifier re-optimization). Through this new training strategy, we only use the information of SAR image dataset and the network model with very small parameters to achieve the top 1 accuracy of 22.34 in development phase.


title: Modeling the Broadband Emission of 3C 454.3

abstract: The results of a long-term multiwavelength study of the powerful flat spectrum radio quasar 3C 454.3 using {\it Fermi}-LAT and Swift XRT/UVOT data are reported. In the $\gamma$-ray band, {\it Fermi}-LAT observations show several major flares when the source flux was $>10^{-5}\:{\rm photon\:cm^{-2}\:s^{-1}}$; the peak $\gamma$-ray flux above $141.6$ MeV, $(9.22\pm1.96)\times10^{-5}\:{\rm photon\:cm^{-2}\:s^{-1}}$ observed on MJD 55519.33, corresponds to $2.15\times10^{50}\:{\rm erg\:s^{-1}}$ isotropic $\gamma$-ray luminosity. The analysis of Swift XRT and UVOT data revealed a flux increase, although with smaller amplitudes, also in the X-ray and optical/UV bands. The X-ray emission of 3C 454.3 is with a hard spectral index of $\Gamma_{\rm X}=1.16-1.75$, and the flux in the flaring states increased up to $(1.80\pm0.18)\times10^{-10}{\rm erg\:cm^{-2}\: s^{-1}}$. Through combining the analyzed data, it was possible to assemble 362 high-quality and quasi-simultaneous spectral energy distributions of 3C 454.3 in 2008-2018 which all were modeled within a one-zone leptonic scenario assuming the emission region is within the broad line region, involving synchrotron, synchrotron self-Compton and external Compton mechanisms. Such an extensive modeling is the key for constraining the underlying emission mechanisms in the 3C 454.3 jet and allows to derive the physical parameters of the jet and investigate their evolution in time. The modeling suggests that during the flares, along with the variation of emitting electron parameters, the Doppler boosting factor increased substantially implying that the emission in these periods has most likely originated in a faster moving region.


title: Identification of fake stereo audio

abstract: Channel is one of the important criterions for digital audio quality. General-ly, stereo audio two channels can provide better perceptual quality than mono audio. To seek illegal commercial benefit, one might convert mono audio to stereo one with fake quality. Identifying of stereo faking audio is still a less-investigated audio forensic issue. In this paper, a stereo faking corpus is first present, which is created by Haas Effect technique. Then the effect of stereo faking on Mel Frequency Cepstral Coefficients (MFCC) is analyzed to find the difference between the real and faked stereo audio. Fi-nally, an effective algorithm for identifying stereo faking audio is proposed, in which 80-dimensional MFCC features and Support Vector Machine (SVM) classifier are adopted. The experimental results on three datasets with five different cut-off frequencies show that the proposed algorithm can ef-fectively detect stereo faking audio and achieve a good robustness.


title: Frustratingly Easy Edit-based Linguistic Steganography with a Masked Language Model

abstract: With advances in neural language models, the focus of linguistic steganography has shifted from edit-based approaches to generation-based ones. While the latter's payload capacity is impressive, generating genuine-looking texts remains challenging. In this paper, we revisit edit-based linguistic steganography, with the idea that a masked language model offers an off-the-shelf solution. The proposed method eliminates painstaking rule construction and has a high payload capacity for an edit-based model. It is also shown to be more secure against automatic detection than a generation-based method while offering better control of the security/payload capacity trade-off.


title: Numerical solution of internal-wave systems in the intermediate long wave and the Benjamin-Ono regimes

abstract: The paper is concerned with the numerical approximation of the Intermediate Long Wave and Benjamin-Ono systems, that serve as models for the propagation of interfacial internal waves in a two-layer fluid system in particular physical regimes. The paper focuses on two issues of approximation. First, the spectral Fourier-Galerkin method is used to discretize in space the corresponding periodic initial-value problems, and the error of the semidiscretizations is analyzed. The second issue concerns the numerical generation of solitary-wave solutions of the systems. We use acceleration techniques to improve the computation of the approximate solitary waves and check their performance with numerical examples.


title: WiFiMod: Transformer-based Indoor Human Mobility Modeling using Passive Sensing

abstract: Modeling human mobility has a wide range of applications from urban planning to simulations of disease spread. It is well known that humans spend 80% of their time indoors but modeling indoor human mobility is challenging due to three main reasons: (i) the absence of easily acquirable, reliable, low-cost indoor mobility datasets, (ii) high prediction space in modeling the frequent indoor mobility, and (iii) multi-scalar periodicity and correlations in mobility. To deal with all these challenges, we propose WiFiMod, a Transformer-based, data-driven approach that models indoor human mobility at multiple spatial scales using WiFi system logs. WiFiMod takes as input enterprise WiFi system logs to extract human mobility trajectories from smartphone digital traces. Next, for each extracted trajectory, we identify the mobility features at multiple spatial scales, macro, and micro, to design a multi-modal embedding Transformer that predicts user mobility for several hours to an entire day across multiple spatial granularities. Multi-modal embedding captures the mobility periodicity and correlations across various scales while Transformers capture long-term mobility dependencies boosting model prediction performance. This approach significantly reduces the prediction space by first predicting macro mobility, then modeling indoor scale mobility, micro-mobility, conditioned on the estimated macro mobility distribution, thereby using the topological constraint of the macro-scale. Experimental results show that WiFiMod achieves a prediction accuracy of at least 10% points higher than the current state-of-art models. Additionally, we present 3 real-world applications of WiFiMod - (i) predict high-density hot pockets for policy-making decisions for COVID19 or ILI, (ii) generate a realistic simulation of indoor mobility, (iii) design personal assistants.


title: Probing possible effects of circumgalactic media on the metal content of galaxies through the mass-metallicity relationship

abstract: The circumgalactic medium (CGM) connects the gas between the interstellar medium (ISM) and the intergalactic medium, which plays an important role in galaxy evolution. We use the stellar mass-metallicity relationship to investigate whether sharing the CGM will affect the distribution of metals in galaxy pairs. The optical emission lines from the Sloan Digital Sky Survey Data Release (SDSS DR7) are used to measure the gas-phase metallicity. We find that there is no significant difference in the distribution of the metallicity difference between two members in star forming-star forming pairs ($\rm \Delta log(O/H)_{diff}$), metallicity offset from the best-fitted stellar mass-metallicity relationship of galaxies in pairs ($\rm \Delta log(O/H)_{MS}$), as compared to "fake" pairs. By looking at $\rm \Delta log(O/H)_{diff}$ and $\rm \Delta log(O/H)_{MS}$ as a function of the star formation rate (SFR), specific star formation rate (sSFR), and stellar mass ratio, no difference is seen between galaxies in pairs and control galaxies. From our results, the share of the CGM may not play an important role in shaping the evolution of metal contents of galaxies.


title: An Initial Algebra Theorem Without Iteration

abstract: The Initial Algebra Theorem by Trnkov\'a et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact shows that, equivalently, the (transfinite) initial-algebra chain stops. We give a constructive proof of the Initial Algebra Theorem that avoids transfinite iteration of the functor. For a given pre-fixed point $A$ of the functor, it uses Pataraia's theorem to obtain the least fixed point of a monotone function on the partial order formed by all subobjects of $A$. Thanks to properties of recursive coalgebras, this least fixed point yields an initial algebra. We obtain new results on fixed points and initial algebras in categories enriched over directed-complete partial orders, again without iteration. Using transfinite iteration we equivalently obtain convergence of the initial-algebra chain as an equivalent condition, overall yielding a streamlined version of the original proof.


title: Sparse Sliced Inverse Regression via Cholesky Matrix Penalization

abstract: We introduce a new sparse sliced inverse regression estimator called Cholesky matrix penalization and its adaptive version for achieving sparsity in estimating the dimensions of the central subspace. The new estimators use the Cholesky decomposition of the covariance matrix of the covariates and include a regularization term in the objective function to achieve sparsity in a computationally efficient manner. We establish the theoretical values of the tuning parameters that achieve estimation and variable selection consistency for the central subspace. Furthermore, we propose a new projection information criterion to select the tuning parameter for our proposed estimators and prove that the new criterion facilitates selection consistency. The Cholesky matrix penalization estimator inherits the strength of the Matrix Lasso and the Lasso sliced inverse regression estimator; it has superior performance in numerical studies and can be adapted to other sufficient dimension methods in the literature.


title: Deep learning with transfer functions: new applications in system identification

abstract: This paper presents a linear dynamical operator described in terms of a rational transfer function, endowed with a well-defined and efficient back-propagation behavior for automatic derivatives computation. The operator enables end-to-end training of structured networks containing linear transfer functions and other differentiable units {by} exploiting standard deep learning software. Two relevant applications of the operator in system identification are presented. The first one consists in the integration of {prediction error methods} in deep learning. The dynamical operator is included as {the} last layer of a neural network in order to obtain the optimal one-step-ahead prediction error. The second one considers identification of general block-oriented models from quantized data. These block-oriented models are constructed by combining linear dynamical operators with static nonlinearities described as standard feed-forward neural networks. A custom loss function corresponding to the log-likelihood of quantized output observations is defined. For gradient-based optimization, the derivatives of the log-likelihood are computed by applying the back-propagation algorithm through the whole network. Two system identification benchmarks are used to show the effectiveness of the proposed methodologies.


title: Abstractly constructed prime spectra

abstract: The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract complete lattice $L$ equipped with binary multiplication with $xy\leqslant x\wedge y$ for all $x,y\in L$. In fact when no further conditions on $L$ are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of $L$; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately.


title: SelfReg: Self-supervised Contrastive Regularization for Domain Generalization

abstract: In general, an experimental environment for deep learning assumes that the training and the test dataset are sampled from the same distribution. However, in real-world situations, a difference in the distribution between two datasets, domain shift, may occur, which becomes a major factor impeding the generalization performance of the model. The research field to solve this problem is called domain generalization, and it alleviates the domain shift problem by extracting domain-invariant features explicitly or implicitly. In recent studies, contrastive learning-based domain generalization approaches have been proposed and achieved high performance. These approaches require sampling of the negative data pair. However, the performance of contrastive learning fundamentally depends on quality and quantity of negative data pairs. To address this issue, we propose a new regularization method for domain generalization based on contrastive learning, self-supervised contrastive regularization (SelfReg). The proposed approach use only positive data pairs, thus it resolves various problems caused by negative pair sampling. Moreover, we propose a class-specific domain perturbation layer (CDPL), which makes it possible to effectively apply mixup augmentation even when only positive data pairs are used. The experimental results show that the techniques incorporated by SelfReg contributed to the performance in a compatible manner. In the recent benchmark, DomainBed, the proposed method shows comparable performance to the conventional state-of-the-art alternatives. Codes are available at https://github.com/dnap512/SelfReg.


title: Dynamical phase diagram of a one dimensional Bose gas in a box with a tunable weak-link: from Bose-Josephson oscillations to shock waves

abstract: We study the dynamics of one-dimensional bosons trapped in a box potential, in the presence of a barrier creating a tunable weak-link, thus realizing a one dimensional Bose Josephson junction. By varying the initial population imbalance and the barrier height we evidence different dynamical regimes. In particular we show that at large barriers a two mode model captures accurately the dynamics, while for low barriers the dynamics involves dispersive shock waves and solitons. We study a quench protocol that can be readily implemented in experiments and show that self-trapping resonances can occur. This phenomenon can be understood qualitatively within the two-mode model.


title: How to identify exoplanet surfaces using atmospheric trace species in hydrogen-dominated atmospheres

abstract: Sub-Neptunes (Rp~1.25-4 REarth) remain the most commonly detected exoplanets to date. However, it remains difficult for observations to tell whether these intermediate-sized exoplanets have surfaces and where their surfaces are located. Here we propose that the abundances of trace species in the visible atmospheres of these sub-Neptunes can be used as proxies for determining the existence of surfaces and approximate surface conditions. As an example, we used a state-of-the-art photochemical model to simulate the atmospheric evolution of K2-18b and investigate its final steady-state composition with surfaces located at different pressures levels (Psurf). We find the surface location has a significant impact on the atmospheric abundances of trace species, making them deviate significantly from their thermochemical equilibrium and "no-surface" conditions. This result arises primarily because the pressure-temperature conditions at the surface determine whether photochemically-produced species can be recycled back to their favored thermochemical-equilibrium forms and transported back to the upper atmosphere. For an assumed H2-rich atmosphere for K2-18b, we identify seven chemical species that are most sensitive to the existence of surfaces: ammonia (NH3), methane (CH4), hydrogen cyanide (HCN), acetylene (C2H2), ethane (C2H6), carbon monoxide (CO), and carbon dioxide (CO2). The ratio between the observed and the no-surface abundances of these species, can help distinguish the existence of a shallow surface (Psurf < 10 bar), an intermediate surface (10 bar < Psurf < 100 bar), and a deep surface (Psurf > 100 bar). This framework can be applied together with future observations to other sub-Neptunes of interest.


title: Fluid-beam interaction: Capturing the effect of embedded slender bodies on global fluid flow and vice versa

abstract: This work addresses research questions arising from the application of geometrically exact beam theory in the context of fluid-structure interaction (FSI). Geometrically exact beam theory has proven to be a computationally efficient way to model the behavior of slender structures while leading to rather well-posed problem descriptions. In particular, we propose a mixed-dimensional embedded finite element approach for the coupling of one-dimensional geometrically exact beam equations to a three-dimensional background fluid mesh, referred to as fluid-beam interaction (FBI) in analogy to the well-established notion of FSI. Here, the fluid is described by the incompressible isothermal Navier-Stokes equations for Newtonian fluids. In particular, we present algorithmic aspects regarding the solution of the resulting one-way coupling schemes and, through selected numerical examples, analyze their spatial convergence behavior as well as their suitability not only as stand-alone methods but also for an extension to a full two-way coupling scheme.


title: Quasistatic rheology of soft cellular systems using Cellular Potts Model

abstract: Soft cellular systems, such as foams or biological tissues, exhibit highly complex rheological properties, even in the quasistatic regime, that numerical modeling can help to apprehend. We present a numerical implementation of quasistatic strain within the widely used cellular Potts model. The accuracy of the method is tested by simulating the quasistatic strain 2D dry foams, both ordered and disordered. The implementation of quasistatic strain in CPM allows the investigation of sophisticated interplays between stress-strain relationship and structural changes that take place in cellular systems.


title: Extensions of Jacobson's lemma for generalized inverses in a ring

abstract: Let $R$ be an associative ring with unit $1$, and $a, b, c\in R$ satisfy $a(ba)^{2}=abaca=acaba=(ac)^{2}a$, this paper proves that $1-ac$ has generalized Drazin inverse (Drazin inverse, pseudo Drazin inverse, respectively) if and only if $1-ba$ has generalized Drazin inverse (Drazin inverse, pseudo Drazin inverse, respectively). In particular, we obtain new common spectral properties for $ac$ and $ba$ in Banach algebras. As applications, new extension of Jacobson's lemma for B-Fredholm elements and generalized Fredholm elements in rings is established.


title: Distributed Online Aggregative Optimization for Dynamic Multi-robot Coordination

abstract: This paper focuses on an online version of the emerging distributed constrained aggregative optimization framework, which is particularly suited for applications arising in cooperative robotics. Agents in a network want to minimize the sum of local cost functions, each one depending both on a local optimization variable, subject to a local constraint, and on an aggregated version of all the variables (e.g., the mean). We focus on a challenging online scenario in which the cost, the aggregation functions and the constraints can all change over time, thus enlarging the class of captured applications. Inspired by an existing scheme, we propose a distributed algorithm with constant step size, named Projected Aggregative Tracking, to solve the online optimization problem. We prove that the dynamic regret is bounded by a constant term and a term related to time variations. Moreover, in the static case (i.e., with constant cost and constraints), the solution estimates are proved to converge with a linear rate to the optimal solution. Finally, numerical examples show the efficacy of the proposed approach on a robotic surveillance scenario.


title: Twisted Whittaker category on affine flags and the category of representations of the mixed quantum group

abstract: We prove the twisted Whittaker category on the affine flag variety and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category O is equivalent to the category of twisted Whittaker D-modules on affine flags in the generic case.


title: Geometry-induced rectification for an active object

abstract: Study on a rectified current induced by active particles has received a great attention due to its possible application to a microscopic motor in biological environments. Insertion of an {\em asymmetric} passive object amid many active particles has been regarded as an essential ingredient for generating such a rectified motion. Here, we report that the reverse situation is also possible, where the motion of an active object can be rectified by its geometric asymmetry amid many passive particles. This may describe an unidirectional motion of polar biological agents with asymmetric shape. We also find a weak but less diffusive rectified motion in a {\em passive} mode without energy pump-in. This "moving by dissipation" mechanism could be used as a design principle for developing more reliable microscopic motors.


title: A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking

abstract: We define a new method for taking advantage of net reductions in combination with a SMT-based model checker. Our approach consists in transforming a reachability problem about some Petri net, into the verification of an updated reachability property on a reduced version of this net. This method relies on a new state space abstraction based on systems of constraints, called polyhedral abstraction. We prove the correctness of this method using a new notion of equivalence between nets. We provide a complete framework to define and check the correctness of equivalence judgements; prove that this relation is a congruence; and give examples of basic equivalence relations that derive from structural reductions. Our approach has been implemented in a tool, named SMPT, that provides two main procedures: Bounded Model Checking (BMC) and Property Directed Reachability (PDR). Each procedure has been adapted in order to use reductions and to work with arbitrary Petri nets. We tested SMPT on a large collection of queries used in the Model Checking Contest. Our experimental results show that our approach works well, even when we only have a moderate amount of reductions.


title: Reifenberg flatness for almost-minimizers of the perimeter under minimal assumptions

abstract: The aim of this note is to prove that almost-minimizers of the perimeter are Reifenberg flat, for a very weak notion of minimality. The main observation is that smallness of the excess at some scale implies smallness of the excess at all smaller scales.


title: Adversarial Training for Deep Learning-based Intrusion Detection Systems

abstract: Nowadays, Deep Neural Networks (DNNs) report state-of-the-art results in many machine learning areas, including intrusion detection. Nevertheless, recent studies in computer vision have shown that DNNs can be vulnerable to adversarial attacks that are capable of deceiving them into misclassification by injecting specially crafted data. In security-critical areas, such attacks can cause serious damage; therefore, in this paper, we examine the effect of adversarial attacks on deep learning-based intrusion detection. In addition, we investigate the effectiveness of adversarial training as a defense against such attacks. Experimental results show that with sufficient distortion, adversarial examples are able to mislead the detector and that the use of adversarial training can improve the robustness of intrusion detection.


title: Neural Network Model for Structure Factor of Polymer Systems

abstract: As an important physical quantity to understand the internal structure of polymer chains, the structure factor is being studied both in theory and experiment. Theoretically, the structure factor of Gaussian chains have been solved analytically, but for wormlike chains, numerical approaches are often used, such as Monte Carlo (MC) simulations, solving modified diffusion equation (MDE), etc. In those works, the structure factor needs to be calculated differently for different regions of the wave vector and chain rigidity, and some calculation processes are resource consuming. In this work, by training a deep neural network (NN), we obtained an efficient model to calculate the structure factor of polymer chains, without considering different regions of wavenumber and chain rigidity. Furthermore, based on the trained neural network model, we predicted the contour and Kuhn length of some polymer chains by using scattering experimental data, and we found our model can get pretty reasonable predictions. This work provides a method to obtain structure factor for polymer chains, which is as good as previous, and with a more computationally efficient. Also, it provides a potential way for the experimental researchers to measure the contour and Kuhn length of polymer chains.


title: Review and Recent Developments on the Perfectly Matched Layer (PML) Method for the Numerical Modeling and Simulation of Elastic Wave Propagation in Unbounded Domains

abstract: This review article revisits and outlines the perfectly matched layer (PML) method and its various formulations developed over the past 25 years for the numerical modeling and simulation of wave propagation in unbounded media. Based on the concept of complex coordinate stretching, an efficient mixed displacement-strain unsplit-field PML formulation for second-order (displacementbased) linear elastodynamic equations is then proposed for simulating the propagation and absorption of elastic waves in unbounded (infinite or semi-infinite) domains. Both time-harmonic (frequency-domain) and time-dependent (timedomain) PML formulations are derived for two-and three-dimensional linear elastodynamic problems. Through the introduction of only a few additional variables governed by low-order auxiliary differential equations, the resulting mixed timedomain PML formulation is second-order in time, thereby allowing the use of standard time integration schemes commonly employed in computational structural dynamics and thus facilitating the incorporation into existing displacementbased finite element codes. For computational efficiency, the proposed timedomain PML formulation is implemented using a hybrid approach that couples a mixed (displacement-strain) formulation for the PML region with a classical (displacement-based) formulation for the physical domain of interest, using a standard Galerkin finite element method (FEM) for spatial discretization and a Newmark time scheme coupled with a finite difference (Crank-Nicolson) time scheme for time sampling. Numerical experiments show the performances of the PML method in terms of accuracy, efficiency and stability for two-dimensional linear elastodynamic problems in single-and multi-layer isotropic homogeneous elastic media.


title: Forecasting The JSE Top 40 Using Long Short-Term Memory Networks

abstract: As a result of the greater availability of big data, as well as the decreasing costs and increasing power of modern computing, the use of artificial neural networks for financial time series forecasting is once again a major topic of discussion and research in the financial world. Despite this academic focus, there are still contrasting opinions and bodies of literature on which artificial neural networks perform the best and whether or not they outperform the forecasting capabilities of conventional time series models. This paper uses a long-short term memory network to perform financial time series forecasting on the return data of the JSE Top 40 index. Furthermore, the forecasting performance of the long-short term memory network is compared to the forecasting performance of a seasonal autoregressive integrated moving average model. This paper evaluates the varying approaches presented in the existing literature and ultimately, compares the results to that existing literature. The paper concludes that the long short-term memory network outperforms the seasonal autoregressive integrated moving average model when forecasting intraday directional movements as well as when forecasting the index close price.


title: Permutation-Invariant Variational Autoencoder for Graph-Level Representation Learning

abstract: Recently, there has been great success in applying deep neural networks on graph structured data. Most work, however, focuses on either node- or graph-level supervised learning, such as node, link or graph classification or node-level unsupervised learning (e.g. node clustering). Despite its wide range of possible applications, graph-level unsupervised learning has not received much attention yet. This might be mainly attributed to the high representation complexity of graphs, which can be represented by n! equivalent adjacency matrices, where n is the number of nodes. In this work we address this issue by proposing a permutation-invariant variational autoencoder for graph structured data. Our proposed model indirectly learns to match the node ordering of input and output graph, without imposing a particular node ordering or performing expensive graph matching. We demonstrate the effectiveness of our proposed model on various graph reconstruction and generation tasks and evaluate the expressive power of extracted representations for downstream graph-level classification and regression.


title: Towards GW Calculations on Thousands of Atoms

abstract: The GW approximation of many-body perturbation theory is an accurate method for computing electron addition and removal energies of molecules and solids. In a canonical implementation, however, its computational cost is $O(N^4)$ in the system size N, which prohibits its application to many systems of interest. We present a full-frequency GW algorithm in a Gaussian type basis, whose computational cost scales with $N^2$ to $N^3$. The implementation is optimized for massively parallel execution on state-of-the-art supercomputers and is suitable for nanostructures and molecules in the gas, liquid or condensed phase, using either pseudopotentials or all electrons. We validate the accuracy of the algorithm on the GW100 molecular test set, finding mean absolute deviations of 35 meV for ionization potentials and 27 meV for electron affinities. Furthermore, we study the length-dependence of quasiparticle energies in armchair graphene nanoribbons of up to 1734 atoms in size, and compute the local density of states across a nanoscale heterojunction.


title: A Learning-Based Approach for Estimating Inertial Properties of Unknown Objects from Encoder Discrepancies

abstract: Many robots utilize commercial force/torque sensors to identify inertial properties of unknown objects. However, such sensors can be difficult to apply to small-sized robots due to their weight, size, and cost. In this paper, we propose a learning-based approach for estimating the mass and center of mass (COM) of unknown objects without using force/torque sensors at the end-effector or on the joints. In our method, a robot arm carries an unknown object as it moves through multiple discrete configurations. Measurements are collected when the robot reaches each discrete configuration and stops. A neural network is designed to estimate joint torques from encoder discrepancies. Given multiple samples, we derive the closed-form relation between joint torques and the object's inertial properties. Based on the derivation, the mass and COM of object are identified by weighted least squares. In order to improve the accuracy of inferred inertial properties, an attention model is designed to generate weights of joints, which indicate the relative importance for each joint. Our framework requires only encoder measurements without using any force/torque sensors, but still maintains accurate estimation capability. The proposed approach has been demonstrated on a 4 degree of freedom (DOF) robot arm.


title: Multiscale deep context modeling for lossless point cloud geometry compression

abstract: We propose a practical deep generative approach for lossless point cloud geometry compression, called MSVoxelDNN, and show that it significantly reduces the rate compared to the MPEG G-PCC codec. Our previous work based on autoregressive models (VoxelDNN) has a fast training phase, however, inference is slow as the occupancy probabilities are predicted sequentially, voxel by voxel. In this work, we employ a multiscale architecture which models voxel occupancy in coarse-to-fine order. At each scale, MSVoxelDNN divides voxels into eight conditionally independent groups, thus requiring a single network evaluation per group instead of one per voxel. We evaluate the performance of MSVoxelDNN on a set of point clouds from Microsoft Voxelized Upper Bodies (MVUB) and MPEG, showing that the current method speeds up encoding/decoding times significantly compared to the previous VoxelDNN, while having average rate saving over G-PCC of 17.5%. The implementation is available at https://github.com/Weafre/MSVoxelDNN.


title: Conjugacy of transitive SFTs minus periodic points

abstract: It is a question of Hochman whether any two one-dimensional topologically mixing subshifts of finite type (SFTs) with the same entropy are topologically conjugate when their periodic points are removed. We give a negative answer, in fact we prove the stronger result that there is a canonical correspondence between topological conjugacies of transitive SFTs and topological conjugacies between the systems obtained by removing the periodic points.


title: On unknotting tunnel systems of satellite chain links

abstract: We prove that the tunnel number of a satellite chain link with a number of components higher than or equal to twice the bridge number of the companion is as small as possible among links with the same number of components. We prove this result to be sharp for satellite chain links over a 2-bridge knot.


title: A resolution of singularities of Drinfeld compactification with an Iwahori structure

abstract: This paper considers a tiny modification of Justin Campbell's construction of the Kontsevich compactification in arXiv:1606.01518 [math.AG]. We construct a resolution of singularities of Drinfeld compactification with an Iwahori structure and use it to prove the universally local acyclity of !-extension D-module on the Drinfeld compactification with an Iwahori structure.


title: Calibrating an adaptive Farmer-Joshi agent-based model for financial markets

abstract: We replicate the contested calibration of the Farmer and Joshi agent based model of financial markets using a genetic algorithm and a Nelder-Mead with threshold accepting algorithm following Fabretti. The novelty of the Farmer-Joshi model is that the dynamics are driven by trade entry and exit thresholds alone. We recover the known claim that some important stylized facts observed in financial markets cannot be easily found under calibration -- in particular those relating to the auto-correlations in the absolute values of the price fluctuations, and sufficient kurtosis. However, rather than concerns relating to the calibration method, what is novel here is that we extended the Farmer-Joshi model to include agent adaptation using an Brock and Hommes approach to strategy fitness based on trading strategy profitability. We call this an adaptive Farmer-Joshi model: the model allows trading agents to switch between strategies by favouring strategies that have been more profitable over some period of time determined by a free-parameter fixing the profit monitoring time-horizon. In the adaptive model we are able to calibrate and recover additional stylized facts, despite apparent degeneracy's. This is achieved by combining the interactions of trade entry levels with trade strategy switching. We use this to argue that for low-frequency trading across days, as calibrated to daily sampled data, feed-backs can be accounted for by strategy die-out based on intermediate term profitability; we find that the average trade monitoring horizon is approximately two to three months (or 40 to 60 days) of trading.


title: RoFormer: Enhanced Transformer with Rotary Position Embedding

abstract: Position encoding recently has shown effective in the transformer architecture. It enables valuable supervision for dependency modeling between elements at different positions of the sequence. In this paper, we first investigate various methods to integrate positional information into the learning process of transformer-based language models. Then, we propose a novel method named Rotary Position Embedding(RoPE) to effectively leverage the positional information. Specifically, the proposed RoPE encodes the absolute position with a rotation matrix and meanwhile incorporates the explicit relative position dependency in self-attention formulation. Notably, RoPE enables valuable properties, including the flexibility of sequence length, decaying inter-token dependency with increasing relative distances, and the capability of equipping the linear self-attention with relative position encoding. Finally, we evaluate the enhanced transformer with rotary position embedding, also called RoFormer, on various long text classification benchmark datasets. Our experiments show that it consistently overcomes its alternatives. Furthermore, we provide a theoretical analysis to explain some experimental results. RoFormer is already integrated into Huggingface: \url{https://huggingface.co/docs/transformers/model_doc/roformer}.


title: Detection of an energetic flare from the M5V secondary star in the Polar MQ Dra

abstract: MQ Dra is a strongly magnetic Cataclysmic Variable whose white dwarf accretes material from its secondary star through a stellar wind at a low rate. TESS observations were made of MQ Dra in four sectors in Cycle 2 and show a short duration, high energy flare (~10^35 erg) which has a profile characteristic of a flare from the M5V secondary star. This is one of the few occasions where an energetic flare has been seen from a Polar. We find no evidence that the flare caused a change in the light curve following the event and consider whether a coronal mass ejection was associated with the flare. We compare the frequency of energetic flares from the secondary star in MQ Dra with M dwarf stars and discuss the overall flare rate of stars with rotation periods shorter than 0.2 d and how such fast rotators can generate magnetic fields with low differential rotation rates.


title: Distill on the Go: Online knowledge distillation in self-supervised learning

abstract: Self-supervised learning solves pretext prediction tasks that do not require annotations to learn feature representations. For vision tasks, pretext tasks such as predicting rotation, solving jigsaw are solely created from the input data. Yet, predicting this known information helps in learning representations useful for downstream tasks. However, recent works have shown that wider and deeper models benefit more from self-supervised learning than smaller models. To address the issue of self-supervised pre-training of smaller models, we propose Distill-on-the-Go (DoGo), a self-supervised learning paradigm using single-stage online knowledge distillation to improve the representation quality of the smaller models. We employ deep mutual learning strategy in which two models collaboratively learn from each other to improve one another. Specifically, each model is trained using self-supervised learning along with distillation that aligns each model's softmax probabilities of similarity scores with that of the peer model. We conduct extensive experiments on multiple benchmark datasets, learning objectives, and architectures to demonstrate the potential of our proposed method. Our results show significant performance gain in the presence of noisy and limited labels and generalization to out-of-distribution data.


title: Going to Lorentz when fractional Sobolev, Gagliardo and Nirenberg estimates fail

abstract: In the cases where there is no Sobolev-type or Gagliardo-Nirenberg-type fractional estimate involving $\lvert u\rvert_{W^{s,p}}$, we establish alternative estimates where the strong $L^p$ norms are replaced by Lorentz norms.


title: A deep $XMM-Newton$ observation of the X-Persei-like binary system CXOU J225355.1+624336

abstract: We report on the follow-up $XMM-Newton$ observation of the persistent X-ray pulsar CXOU J225355.1+624336, discovered with the CATS@BAR project on archival $Chandra$ data. The source was detected at $f_{\rm X}$(0.5-10 keV) = 3.4$\times 10^{-12}$ erg cm$^{-2}$ s$^{-1}$, a flux level which is fully consistent with the previous observations performed with $ROSAT$, $Swift$, and $Chandra$. The measured pulse period $P$ = 46.753(3) s, compared with the previous measurements, implies a constant spin down at an average rate $\dot P = 5.3\times 10^{-10}$ s s$^{-1}$. The pulse profile is energy dependent, showing three peaks at low energy and a less structured profile above about 3.5 keV. The pulsed fraction slightly increases with energy. We described the time-averaged EPIC spectrum with four different emission models: a partially covered power law, a cut-off power law, and a power law with an additional thermal component (either a black body or a collisionally ionized gas). In all cases we obtained equally good fits, so it was not possible to prefer or reject any emission model on the statistical basis. However, we disfavour the presence of the thermal components, since their modeled X-ray flux, resulting from a region larger than the neutron star surface, would largely dominate the X-ray emission from the pulsar. The phase-resolved spectral analysis showed that a simple flux variation cannot explain the source variability and proved that it is characterized by a spectral variability along the pulse phase. The results of the $XMM-Newton$ observation confirmed that CXOU J225355.1+624336 is a BeXB with a low-luminosity ($L_{\rm X} \sim 10^{34-35}$ erg s$^{-1}$), a limited variability, and a constant spin down. Therefore, they reinforce the source classification as a persistent BeXB.


title: Accelerating Surgical Robotics Research: A Review of 10 Years With the da Vinci Research Kit

abstract: Robotic-assisted surgery is now well-established in clinical practice and has become the gold standard clinical treatment option for several clinical indications. The field of robotic-assisted surgery is expected to grow substantially in the next decade with a range of new robotic devices emerging to address unmet clinical needs across different specialities. A vibrant surgical robotics research community is pivotal for conceptualizing such new systems as well as for developing and training the engineers and scientists to translate them into practice. The da Vinci Research Kit (dVRK), an academic and industry collaborative effort to re-purpose decommissioned da Vinci surgical systems (Intuitive Surgical Inc, CA, USA) as a research platform for surgical robotics research, has been a key initiative for addressing a barrier to entry for new research groups in surgical robotics. In this paper, we present an extensive review of the publications that have been facilitated by the dVRK over the past decade. We classify research efforts into different categories and outline some of the major challenges and needs for the robotics community to maintain this initiative and build upon it.


title: Asymptotic behaviors for Blackstock's model of thermoviscous flow

abstract: We study a fundamental model in nonlinear acoustics, precisely, the general Blackstock's model (that is, without Becker's assumption) in the whole space $\mathbb{R}^n$. This model describes nonlinear acoustics in perfect gases under the irrotational flow. By means of the Fourier analysis we will derive $L^2$ estimates for the solution of the linear homogeneous problem and its derivatives. Then, we will apply these estimates to study three different topics: the optimality of the decay estimates in the case $n\geqslant 5$ and the optimal growth rate for the $L^2$-norm of the solution for $n=3,4$; the singular limit problem in determining the first- and second-order profiles for the solution of the linear Blackstock's model with respect to the small thermal diffusivity; the proof of the existence of global (in time) small data Sobolev solutions with suitable regularity for a nonlinear Blackstock's model.