title: ViSE: Vision-Based 3D Online Shape Estimation of Continuously Deformable Robots

abstract: The precise control of soft and continuum robots requires knowledge of their shape. The shape of these robots has, in contrast to classical rigid robots, infinite degrees of freedom. To partially reconstruct the shape, proprioceptive techniques use built-in sensors resulting in inaccurate results and increased fabrication complexity. Exteroceptive methods so far rely on placing reflective markers on all tracked components and triangulating their position using multiple motion-tracking cameras. Tracking systems are expensive and infeasible for deformable robots interacting with the environment due to marker occlusion and damage. Here, we present a regression approach for 3D shape estimation using a convolutional neural network. The proposed approach takes advantage of data-driven supervised learning and is capable of real-time marker-less shape estimation during inference. Two images of a robotic system are taken simultaneously at 25 Hz from two different perspectives, and are fed to the network, which returns for each pair the parameterized shape. The proposed approach outperforms marker-less state-of-the-art methods by a maximum of 4.4% in estimation accuracy while at the same time being more robust and requiring no prior knowledge of the shape. The approach can be easily implemented due to only requiring two color cameras without depth and not needing an explicit calibration of the extrinsic parameters. Evaluations on two types of soft robotic arms and a soft robotic fish demonstrate our method's accuracy and versatility on highly deformable systems in real-time. The robust performance of the approach against different scene modifications (camera alignment and brightness) suggests its generalizability to a wider range of experimental setups, which will benefit downstream tasks such as robotic grasping and manipulation.


title: Distributed State Estimation for Linear Time-invariant Systems with Aperiodic Sampled Measurement

abstract: This paper deals with the state estimation of linear time-invariant systems using distributed observers with local sampled-data measurement and aperiodic communication. Each observer agent perceives partial information of the system to be observed but does not satisfy the observability condition. Consequently, distributed observers are designed to exponentially estimate the state of the system to be observed by time-varying sampling and asynchronous communication. Additionally, explicit upper bounds on allowable sampling periods for convergent estimation errors are given. Finally, a numerical example is provided to demonstrate the validity of the theoretical results


title: A seismic tsunami in the Irish annals, recorded at Iona in October 720

abstract: A historical record of a seismic tsunami is identified in the Irish annals for October 720 (all dates herein CE). It is contained in the earliest stratum of the annals, which survives in the form of a handful of iterated scribal copies of the foundational text of the tradition. This was compiled by the contemporary observation of noteworthy events for the years c. 563-740 at the monastery of Iona in the Scottish Hebrides. The 720 event is close outside the 2$\sigma$ radiocarbon terminus ante quem date ranges for tsunami deposits identified at Dury Voe (530-660) and Basta Voe (430-650) in the Shetland Isles, and is identified as a candidate progenitor. The possibility of the existence of associated tsunami deposits in Scotland or on the north coast of Ireland is highlighted.


title: Variational Quantum Kernels with Task-Specific Quantum Metric Learning

abstract: Quantum kernel methods, i.e., kernel methods with quantum kernels, offer distinct advantages as a hybrid quantum-classical approach to quantum machine learning (QML), including applicability to Noisy Intermediate-Scale Quantum (NISQ) devices and usage for solving all types of machine learning problems. Kernel methods rely on the notion of similarity between points in a higher (possibly infinite) dimensional feature space. For machine learning, the notion of similarity assumes that points close in the feature space should be close in the machine learning task space. In this paper, we discuss the use of variational quantum kernels with task-specific quantum metric learning to generate optimal quantum embeddings (a.k.a. quantum feature encodings) that are specific to machine learning tasks. Such task-specific optimal quantum embeddings, implicitly supporting feature selection, are valuable not only to quantum kernel methods in improving the latter's performance, but they can also be valuable to non-kernel QML methods based on parameterized quantum circuits (PQCs) as pretrained embeddings and for transfer learning. This further demonstrates the quantum utility, and quantum advantage (with classically-intractable quantum embeddings), of quantum kernel methods.


title: A kinetic approach to consensus-based segmentation of biomedical images

abstract: In this work, we apply a kinetic version of a bounded confidence consensus model to biomedical segmentation problems. In the presented approach, time-dependent information on the microscopic state of each particle/pixel includes its space position and a feature representing a static characteristic of the system, i.e. the gray level of each pixel. From the introduced microscopic model we derive a kinetic formulation of the model. The large time behavior of the system is then computed with the aid of a surrogate Fokker-Planck approach that can be obtained in the quasi-invariant scaling. We exploit the computational efficiency of direct simulation Monte Carlo methods for the obtained Boltzmann-type description of the problem for parameter identification tasks. Based on a suitable loss function measuring the distance between the ground truth segmentation mask and the evaluated mask, we minimize the introduced segmentation metric for a relevant set of 2D gray-scale images. Applications to biomedical segmentation concentrate on different imaging research contexts.


title: Automatic Creativity Measurement in Scratch Programs Across Modalities

abstract: Promoting creativity is considered an important goal of education, but creativity is notoriously hard to measure.In this paper, we make the journey fromdefining a formal measure of creativity that is efficientlycomputable to applying the measure in a practical domain. The measure is general and relies on coretheoretical concepts in creativity theory, namely fluency, flexibility, and originality, integratingwith prior cognitive science literature. We adapted the general measure for projects in the popular visual programming language Scratch.We designed a machine learning model for predicting the creativity of Scratch projects, trained and evaluated on human expert creativity assessments in an extensive user study. Our results show that opinions about creativity in Scratch varied widely across experts. The automatic creativity assessment aligned with the assessment of the human experts more than the experts agreed with each other. This is a first step in providing computational models for measuring creativity that can be applied to educational technologies, and to scale up the benefit of creativity education in schools.


title: FIXED: Frustratingly Easy Domain Generalization with Mixup

abstract: Domain generalization (DG) aims to learn a generalizable model from multiple training domains such that it can perform well on unseen target domains. A popular strategy is to augment training data to benefit generalization through methods such as Mixup~\cite{zhang2018mixup}. While the vanilla Mixup can be directly applied, theoretical and empirical investigations uncover several shortcomings that limit its performance. Firstly, Mixup cannot effectively identify the domain and class information that can be used for learning invariant representations. Secondly, Mixup may introduce synthetic noisy data points via random interpolation, which lowers its discrimination capability. Based on the analysis, we propose a simple yet effective enhancement for Mixup-based DG, namely domain-invariant Feature mIXup (FIX). It learns domain-invariant representations for Mixup. To further enhance discrimination, we leverage existing techniques to enlarge margins among classes to further propose the domain-invariant Feature MIXup with Enhanced Discrimination (FIXED) approach. We present theoretical insights about guarantees on its effectiveness. Extensive experiments on seven public datasets across two modalities including image classification (Digits-DG, PACS, Office-Home) and time series (DSADS, PAMAP2, UCI-HAR, and USC-HAD) demonstrate that our approach significantly outperforms nine state-of-the-art related methods, beating the best performing baseline by 6.5\% on average in terms of test accuracy. Code is available at: https://github.com/jindongwang/transferlearning/tree/master/code/deep/fixed.


title: Automatic Number Plate Recognition (ANPR) with YOLOv3-CNN

abstract: We present a YOLOv3-CNN pipeline for detecting vehicles, segregation of number plates, and local storage of final recognized characters. Vehicle identification is performed under various image correction schemes to determine the effect of environmental factors (angle of perception, luminosity, motion-blurring, and multi-line custom font etc.). A YOLOv3 object detection model was trained to identify vehicles from a dataset of traffic images. A second YOLOv3 layer was trained to identify number plates from vehicle images. Based upon correction schemes, individual characters were segregated and verified against real-time data to calculate accuracy of this approach. While characters under direct view were recognized accurately, some numberplates affected by environmental factors had reduced levels of accuracy. We summarize the results under various environmental factors against real-time data and produce an overall accuracy of the pipeline model.


title: Multimodal Optical Techniques in Pre-Clinical Evaluation of Oral Cancer: Fluorescence Imaging and Spectroscopic Devices

abstract: Objective: Survival rate of oral squamous cell carcinoma (OSCC) patients is very poor and can be improved using highly sensitive, specific and accurate techniques. Autofluorescence and fluorescence techniques are very sensitive and useful in cancer screening. Furthermore, fluorescence spectroscopy is directly linked with molecular levels of human tissue and can be used as quantitative tool for cancer detection. Materials and Methods: Here, we report development of multi-modal autofluorescence and fluorescence imaging and spectroscopic (MAF-IS) smartphone-based systems for fast and real time oral cancer screening. Fluorescence-autofluorescence images and spectroscopic datasets shows significant change in oral cancer and normal tissue in terms of fluorescence-intensity, spectral-shape, and red-shift respectively. Results: In this study, total 68 samples (33 cancerous and 35 normal) of 18 OSCC patients and 13 patients of precancerous tissues (dysplasia and fibrosis) are screened. Main remarkable finding of the study is presence of three peaks viz ~636 nm, ~680 nm and ~705 nm with decrease in intensity around 450 nm ~ 520 nm in OSCC in case of autofluorescence. Another finding is red shift in fluorescence spectroscopy of OSCC, dysplasia and fibrosis from normal which is 6.59+-4.54 nm, 3+-4.78 nm and 1.5+-0.5 nm respectively and can be used as cancer marker in real-time screening. Finally, support vector machine (SVM) based classifier is applied for classification of OSCC tissue from normal tissue. The average sensitivity, specificity and accuracy are found as 88.89% ,100 %, and 95%, respectively. Conclusion: Autofluorescence and fluorescence-based imaging and spectroscopy is used for pre-clinical screening of different oral lesions.


title: Biologically-Inspired Continual Learning of Human Motion Sequences

abstract: This work proposes a model for continual learning on tasks involving temporal sequences, specifically, human motions. It improves on a recently proposed brain-inspired replay model (BI-R) by building a biologically-inspired conditional temporal variational autoencoder (BI-CTVAE), which instantiates a latent mixture-of-Gaussians for class representation. We investigate a novel continual-learning-to-generate (CL2Gen) scenario where the model generates motion sequences of different classes. The generative accuracy of the model is tested over a set of tasks. The final classification accuracy of BI-CTVAE on a human motion dataset after sequentially learning all action classes is 78%, which is 63% higher than using no-replay, and only 5.4% lower than a state-of-the-art offline trained GRU model.


title: MuMIC -- Multimodal Embedding for Multi-label Image Classification with Tempered Sigmoid

abstract: Multi-label image classification is a foundational topic in various domains. Multimodal learning approaches have recently achieved outstanding results in image representation and single-label image classification. For instance, Contrastive Language-Image Pretraining (CLIP) demonstrates impressive image-text representation learning abilities and is robust to natural distribution shifts. This success inspires us to leverage multimodal learning for multi-label classification tasks, and benefit from contrastively learnt pretrained models. We propose the Multimodal Multi-label Image Classification (MuMIC) framework, which utilizes a hardness-aware tempered sigmoid based Binary Cross Entropy loss function, thus enables the optimization on multi-label objectives and transfer learning on CLIP. MuMIC is capable of providing high classification performance, handling real-world noisy data, supporting zero-shot predictions, and producing domain-specific image embeddings. In this study, a total of 120 image classes are defined, and more than 140K positive annotations are collected on approximately 60K Booking.com images. The final MuMIC model is deployed on Booking.com Content Intelligence Platform, and it outperforms other state-of-the-art models with 85.6% GAP@10 and 83.8% GAP on all 120 classes, as well as a 90.1% macro mAP score across 32 majority classes. We summarize the modeling choices which are extensively tested through ablation studies. To the best of our knowledge, we are the first to adapt contrastively learnt multimodal pretraining for real-world multi-label image classification problems, and the innovation can be transferred to other domains.


title: Plausibility Verification For 3D Object Detectors Using Energy-Based Optimization

abstract: Environmental perception obtained via object detectors have no predictable safety layer encoded into their model schema, which creates the question of trustworthiness about the system's prediction. As can be seen from recent adversarial attacks, most of the current object detection networks are vulnerable to input tampering, which in the real world could compromise the safety of autonomous vehicles. The problem would be amplified even more when uncertainty errors could not propagate into the submodules, if these are not a part of the end-to-end system design. To address these concerns, a parallel module which verifies the predictions of the object proposals coming out of Deep Neural Networks are required. This work aims to verify 3D object proposals from MonoRUn model by proposing a plausibility framework that leverages cross sensor streams to reduce false positives. The verification metric being proposed uses prior knowledge in the form of four different energy functions, each utilizing a certain prior to output an energy value leading to a plausibility justification for the hypothesis under consideration. We also employ a novel two-step schema to improve the optimization of the composite energy function representing the energy model.


title: Generating Clear Images From Images With Distortions Caused by Adverse Weather Using Generative Adversarial Networks

abstract: We presented a method for improving computer vision tasks on images affected by adverse weather conditions, including distortions caused by adherent raindrops. Overcoming the challenge of applying computer vision to images affected by adverse weather conditions is essential for autonomous vehicles utilizing RGB cameras. For this purpose, we trained an appropriate generative adversarial network and showed that it was effective at removing the effect of the distortions, in the context of image reconstruction and computer vision tasks. We showed that object recognition, a vital task for autonomous driving vehicles, is completely impaired by the distortions and occlusions caused by adherent raindrops and that performance can be restored by our de-raining model. The approach described in this paper could be applied to all adverse weather conditions.


title: Improved Prediction of Beta-Amyloid and Tau Burden Using Hippocampal Surface Multivariate Morphometry Statistics and Sparse Coding

abstract: Background: Beta-amyloid (A$\beta$) plaques and tau protein tangles in the brain are the defining 'A' and 'T' hallmarks of Alzheimer's disease (AD), and together with structural atrophy detectable on brain magnetic resonance imaging (MRI) scans as one of the neurodegenerative ('N') biomarkers comprise the ''ATN framework'' of AD. Current methods to detect A$\beta$/tau pathology include cerebrospinal fluid (CSF; invasive), positron emission tomography (PET; costly and not widely available), and blood-based biomarkers (BBBM; promising but mainly still in development). Objective: To develop a non-invasive and widely available structural MRI-based framework to quantitatively predict the amyloid and tau measurements. Methods: With MRI-based hippocampal multivariate morphometry statistics (MMS) features, we apply our Patch Analysis-based Surface Correntropy-induced Sparse coding and max-pooling (PASCS-MP) method combined with the ridge regression model to individual amyloid/tau measure prediction. Results: We evaluate our framework on amyloid PET/MRI and tau PET/MRI datasets from the Alzheimer's Disease Neuroimaging Initiative (ADNI). Each subject has one pair consisting of a PET image and MRI scan, collected at about the same time. Experimental results suggest that amyloid/tau measurements predicted with our PASCP-MP representations are closer to the real values than the measures derived from other approaches, such as hippocampal surface area, volume, and shape morphometry features based on spherical harmonics (SPHARM). Conclusion: The MMS-based PASCP-MP is an efficient tool that can bridge hippocampal atrophy with amyloid and tau pathology and thus help assess disease burden, progression, and treatment effects.


title: Okapi: Generalising Better by Making Statistical Matches Match

abstract: We propose Okapi, a simple, efficient, and general method for robust semi-supervised learning based on online statistical matching. Our method uses a nearest-neighbours-based matching procedure to generate cross-domain views for a consistency loss, while eliminating statistical outliers. In order to perform the online matching in a runtime- and memory-efficient way, we draw upon the self-supervised literature and combine a memory bank with a slow-moving momentum encoder. The consistency loss is applied within the feature space, rather than on the predictive distribution, making the method agnostic to both the modality and the task in question. We experiment on the WILDS 2.0 datasets Sagawa et al., which significantly expands the range of modalities, applications, and shifts available for studying and benchmarking real-world unsupervised adaptation. Contrary to Sagawa et al., we show that it is in fact possible to leverage additional unlabelled data to improve upon empirical risk minimisation (ERM) results with the right method. Our method outperforms the baseline methods in terms of out-of-distribution (OOD) generalisation on the iWildCam (a multi-class classification task) and PovertyMap (a regression task) image datasets as well as the CivilComments (a binary classification task) text dataset. Furthermore, from a qualitative perspective, we show the matches obtained from the learned encoder are strongly semantically related. Code for our paper is publicly available at https://github.com/wearepal/okapi/.


title: SimuShips -- A High Resolution Simulation Dataset for Ship Detection with Precise Annotations

abstract: Obstacle detection is a fundamental capability of an autonomous maritime surface vessel (AMSV). State-of-the-art obstacle detection algorithms are based on convolutional neural networks (CNNs). While CNNs provide higher detection accuracy and fast detection speed, they require enormous amounts of data for their training. In particular, the availability of domain-specific datasets is a challenge for obstacle detection. The difficulty in conducting onsite experiments limits the collection of maritime datasets. Owing to the logistic cost of conducting on-site operations, simulation tools provide a safe and cost-efficient alternative for data collection. In this work, we introduce SimuShips, a publicly available simulation-based dataset for maritime environments. Our dataset consists of 9471 high-resolution (1920x1080) images which include a wide range of obstacle types, atmospheric and illumination conditions along with occlusion, scale and visible proportion variations. We provide annotations in the form of bounding boxes. In addition, we conduct experiments with YOLOv5 to test the viability of simulation data. Our experiments indicate that the combination of real and simulated images improves the recall for all classes by 2.9%.


title: Polarized consensus-based dynamics for optimization and sampling

abstract: In this paper we propose polarized consensus-based dynamics in order to make consensus-based optimization (CBO) and sampling (CBS) applicable for objective functions with several global minima or distributions with many modes, respectively. For this, we ``polarize'' the dynamics with a localizing kernel and the resulting model can be viewed as a bounded confidence model for opinion formation in the presence of common objective. Instead of being attracted to a common weighted mean as in the original consensus-based methods, which prevents the detection of more than one minimum or mode, in our method every particle is attracted to a weighted mean which gives more weight to nearby particles. We prove that in the mean-field regime the polarized CBS dynamics are unbiased for Gaussian targets. We also prove that in the zero temperature limit and for sufficiently well-behaved strongly convex objectives the solution of the Fokker--Planck equation converges in the Wasserstein-2 distance to a Dirac measure at the minimizer. Finally, we propose a computationally more efficient generalization which works with a predefined number of clusters and improves upon our polarized baseline method for high-dimensional optimization.


title: RecD: Deduplication for End-to-End Deep Learning Recommendation Model Training Infrastructure

abstract: We present RecD (Recommendation Deduplication), a suite of end-to-end infrastructure optimizations across the Deep Learning Recommendation Model (DLRM) training pipeline. RecD addresses immense storage, preprocessing, and training overheads caused by feature duplication inherent in industry-scale DLRM training datasets. Feature duplication arises because DLRM datasets are generated from interactions. While each user session can generate multiple training samples, many features' values do not change across these samples. We demonstrate how RecD exploits this property, end-to-end, across a deployed training pipeline. RecD optimizes data generation pipelines to decrease dataset storage and preprocessing resource demands and to maximize duplication within a training batch. RecD introduces a new tensor format, InverseKeyedJaggedTensors (IKJTs), to deduplicate feature values in each batch. We show how DLRM model architectures can leverage IKJTs to drastically increase training throughput. RecD improves the training and preprocessing throughput and storage efficiency by up to 2.48x, 1.79x, and 3.71x, respectively, in an industry-scale DLRM training system.


title: New methods to achieve meson, muon and gamma light sources through asymmetric electron positron collisions

abstract: We propose methods to produce energetic meson beams such as charged and neutral Kaons, which are boosted to be collimated and with relatively long life time. The first type of methods is based on asymmetric electron positron collisions with a center of mass energy of, e.g., 1020 MeV, and Kaons can be produced at a rate of $10^{4-5}/s$. The electron and positron beams are either asymmetric in energy, e.g., 10 GeV electron beam with 26 MeV positron beam, or asymmetric in space, e.g., 10 GeV electron and positron beams collisions separated with a angle around 0.05 radius. Such proposals should be able to be achieved with a reasonable budget. The other type of method is relying on TeV positron on target experiment, where Kaon beams can be achieved at around $10^{7}$ per bunch crossing. Such Kaon beams are clean with small contamination, and can have great physics potential on, e.g., hyperon searches through Kaon nuclei collision, Kaon rare decay measurement, and Kaon proton or Kaon lepton collisions. The same technique with very asymmetric electron positron collisions can also be extended to other final states such as pions and tau leptons.


title: Reproducibility in medical image radiomic studies: contribution of dynamic histogram binning

abstract: The de facto standard of dynamic histogram binning for radiomic feature extraction leads to an elevated sensitivity to fluctuations in annotated regions. This may impact the majority of radiomic studies published recently and contribute to issues regarding poor reproducibility of radiomic-based machine learning that has led to significant efforts for data harmonization; however, we believe the issues highlighted here are comparatively neglected, but often remedied by choosing static binning. The field of radiomics has improved through the development of community standards and open-source libraries such as PyRadiomics. But differences in image acquisition, systematic differences between observers' annotations, and preprocessing steps still pose challenges. These can change the distribution of voxels altering extracted features and can be exacerbated with dynamic binning.


title: A simulator-based autoencoder for focal plane wavefront sensing

abstract: Instrumental aberrations strongly limit high-contrast imaging of exoplanets, especially when they produce quasistatic speckles in the science images. With the help of recent advances in deep learning, we have developed in previous works an approach that applies convolutional neural networks (CNN) to estimate pupil-plane phase aberrations from point spread functions (PSF). In this work we take a step further by incorporating into the deep learning architecture the physical simulation of the optical propagation occurring inside the instrument. This is achieved with an autoencoder architecture, which uses a differentiable optical simulator as the decoder. Because this unsupervised learning approach reconstructs the PSFs, knowing the true phase is not needed to train the models, making it particularly promising for on-sky applications. We show that the performance of our method is almost identical to a standard CNN approach, and that the models are sufficiently stable in terms of training and robustness. We notably illustrate how we can benefit from the simulator-based autoencoder architecture by quickly fine-tuning the models on a single test image, achieving much better performance when the PSFs contain more noise and aberrations. These early results are very promising and future steps have been identified to apply the method on real data.


title: Vision-based navigation and obstacle avoidance via deep reinforcement learning

abstract: Development of navigation algorithms is essential for the successful deployment of robots in rapidly changing hazardous environments for which prior knowledge of configuration is often limited or unavailable. Use of traditional path-planning algorithms, which are based on localization and require detailed obstacle maps with goal locations, is not possible. In this regard, vision-based algorithms hold great promise, as visual information can be readily acquired by a robot's onboard sensors and provides a much richer source of information from which deep neural networks can extract complex patterns. Deep reinforcement learning has been used to achieve vision-based robot navigation. However, the efficacy of these algorithms in environments with dynamic obstacles and high variation in the configuration space has not been thoroughly investigated. In this paper, we employ a deep Dyna-Q learning algorithm for room evacuation and obstacle avoidance in partially observable environments based on low-resolution raw image data from an onboard camera. We explore the performance of a robotic agent in environments containing no obstacles, convex obstacles, and concave obstacles, both static and dynamic. Obstacles and the exit are initialized in random positions at the start of each episode of reinforcement learning. Overall, we show that our algorithm and training approach can generalize learning for collision-free evacuation of environments with complex obstacle configurations. It is evident that the agent can navigate to a goal location while avoiding multiple static and dynamic obstacles, and can escape from a concave obstacle while searching for and navigating to the exit.


title: Deep Learning for Time Series Anomaly Detection: A Survey

abstract: Time series anomaly detection has applications in a wide range of research fields and applications, including manufacturing and healthcare. The presence of anomalies can indicate novel or unexpected events, such as production faults, system defects, or heart fluttering, and is therefore of particular interest. The large size and complex patterns of time series have led researchers to develop specialised deep learning models for detecting anomalous patterns. This survey focuses on providing structured and comprehensive state-of-the-art time series anomaly detection models through the use of deep learning. It providing a taxonomy based on the factors that divide anomaly detection models into different categories. Aside from describing the basic anomaly detection technique for each category, the advantages and limitations are also discussed. Furthermore, this study includes examples of deep anomaly detection in time series across various application domains in recent years. It finally summarises open issues in research and challenges faced while adopting deep anomaly detection models.


title: Two-atom-thin topological crystalline insulators lacking out of plane inversion symmetry

abstract: A two-dimensional topological crystalline insulator (TCI) with a single unit cell (u.c.) thickness is demonstrated here. To that end, one first shows that tetragonal ($C_4$ in-plane) symmetry is not a necessary condition for the creation of zero-energy metallic surface states on TCI slabs of finite-thicknesses, because zero-energy states persist even as all the in-plane rotational symmetries--furnishing topological protection--are completely removed. In other words, zero-energy levels on the model are not due to (nor are they protected by) topology. Furthermore, effective twofold energy degeneracies taking place at few discrete $k-$points away from zero energy in the bulk Hamiltonian--that are topologically protected--persist at the u.c.~thickness limit. The chiral nature of the bulk TCI Hamiltonian permits creating a $2\times 2$ square Hamiltonian, whose topological properties remarkably hold invariant at both the bulk and at the single u.c.~thickness limits. The identical topological characterization for bulk and u.c.-thick phases is further guaranteed by a calculation involving Pfaffians. This way, a two-atom-thick TCI is deployed hereby, in a demonstration of a topological phase that holds both in the bulk, and in two dimensions.


title: A theory of quantum differential equation solvers: limitations and fast-forwarding

abstract: We study the limitations and fast-forwarding of quantum algorithms for linear ordinary differential equation (ODE) systems with a particular focus on non-quantum dynamics, where the coefficient matrix in the ODE is not anti-Hermitian or the ODE is inhomogeneous. On the one hand, for generic homogeneous linear ODEs, by proving worst-case lower bounds, we show that quantum algorithms suffer from computational overheads due to two types of ``non-quantumness'': real part gap and non-normality of the coefficient matrix. We then show that homogeneous ODEs in the absence of both types of ``non-quantumness'' are equivalent to quantum dynamics, and reach the conclusion that quantum algorithms for quantum dynamics work best. We generalize our results to the inhomogeneous case and find that existing generic quantum ODE solvers cannot be substantially improved. To obtain these lower bounds, we propose a general framework for proving lower bounds on quantum algorithms that are amplifiers, meaning that they amplify the difference between a pair of input quantum states. On the other hand, we show how to fast-forward quantum algorithms for solving special classes of ODEs which leads to improved efficiency. More specifically, we obtain quadratic improvements in the evolution time $T$ for inhomogeneous ODEs with a negative semi-definite coefficient matrix, and exponential improvements in both $T$ and the spectral norm of the coefficient matrix for inhomogeneous ODEs with efficiently implementable eigensystems, including various spatially discretized linear evolutionary partial differential equations. We give fast-forwarding algorithms that are conceptually different from existing ones in the sense that they neither require time discretization nor solving high-dimensional linear systems.


title: Automating Dislocation Characterization in 3D Dark Field X-ray Microscopy

abstract: Mechanical properties in crystals are strongly correlated to the arrangement of 1D line defects, termed dislocations. Recently, Dark field X-ray Microscopy (DFXM) has emerged as a new tool to image and interpret dislocations within crystals using multidimensional scans. However, the methods required to reconstruct meaningful dislocation information from high-dimensional DFXM scans are still nascent and require significant manual oversight (i.e. \textit{supervision}). In this work, we present a new relatively unsupervised method that extracts dislocation-specific information (features) from a 3D dataset ($x$, $y$, $\phi$) using Gram-Schmidt orthogonalization to represent the large dataset as an array of 3-component feature vectors for each position, corresponding to the weak-beam conditions and the strong-beam condition. This method offers key opportunities to significantly reduce dataset size while preserving only the crystallographic information that is important for data reconstruction.


title: Cosmological tensions in the birthplace of the heliocentric model

abstract: The theme of tensions in cosmology has become increasingly important in the cosmological community, proving capable of attracting new generations of scientists who want to be there and contribute to the next paradigm shift.


title: QuerySnout: Automating the Discovery of Attribute Inference Attacks against Query-Based Systems

abstract: Although query-based systems (QBS) have become one of the main solutions to share data anonymously, building QBSes that robustly protect the privacy of individuals contributing to the dataset is a hard problem. Theoretical solutions relying on differential privacy guarantees are difficult to implement correctly with reasonable accuracy, while ad-hoc solutions might contain unknown vulnerabilities. Evaluating the privacy provided by QBSes must thus be done by evaluating the accuracy of a wide range of privacy attacks. However, existing attacks require time and expertise to develop, need to be manually tailored to the specific systems attacked, and are limited in scope. In this paper, we develop QuerySnout (QS), the first method to automatically discover vulnerabilities in QBSes. QS takes as input a target record and the QBS as a black box, analyzes its behavior on one or more datasets, and outputs a multiset of queries together with a rule to combine answers to them in order to reveal the sensitive attribute of the target record. QS uses evolutionary search techniques based on a novel mutation operator to find a multiset of queries susceptible to lead to an attack, and a machine learning classifier to infer the sensitive attribute from answers to the queries selected. We showcase the versatility of QS by applying it to two attack scenarios, three real-world datasets, and a variety of protection mechanisms. We show the attacks found by QS to consistently equate or outperform, sometimes by a large margin, the best attacks from the literature. We finally show how QS can be extended to QBSes that require a budget, and apply QS to a simple QBS based on the Laplace mechanism. Taken together, our results show how powerful and accurate attacks against QBSes can already be found by an automated system, allowing for highly complex QBSes to be automatically tested "at the pressing of a button".


title: Needle in a Bayes Stack: a Hierarchical Bayesian Method for Constraining the Neutron Star Equation of State with an Ensemble of Binary Neutron Star Post-merger Remnants

abstract: Binary neutron star (BNS) post-merger gravitational-wave emission can occur in the aftermath of a BNS merger -- provided the system avoids prompt collapse to a black hole -- as a quasistable hypermassive remnant experiences quadrupolar oscillations and non-axisymmetric deformations. The post-merger gravitational-wave spectrum possesses a characteristic peak frequency that has been shown to be dependent on the binary chirp mass and the neutron star equation of state (EoS), rendering post-merger gravitational waves a powerful tool for constraining neutron star composition. Unfortunately, the BNS post-merger signal is emitted at high ($\gtrsim 1.5$ kHz) frequencies, where ground-based gravitational wave detectors suffer from reduced sensitivity. It is therefore unlikely that post-merger signals will be detected with sufficient signal-to-noise ratio (SNR) until the advent of next-generation detectors. However, by employing empirical relations derived from numerical relativity simulations, we can combine information across an ensemble of BNS mergers, allowing us to obtain EoS constraints with many low-SNR signals. We present a hierarchical Bayesian method for deriving constraints on $R_{1.6}$, the radius of a 1.6$\mathrm{M_{\odot}}$ neutron star, through an ensemble analysis of binary neutron star mergers. We apply this method to simulations of the next two LIGO-Virgo-KAGRA observing runs, O4 and O5, as well as an extended 4-year run at A+ sensitivity, demonstrating the potential of our approach to yield EoS information from the post-merger signal with current-generation detectors. The A+ 4-year scenario is predicted to improve the constraint on $R_{1.6}$ from the currently available multimessenger-based 95\% credible interval (C.I.) uncertainty of $R_{1.6}=12.07^{+0.98}_{-0.77}$ km to $R_{1.6}=11.91^{+0.80}_{-0.56}$ km, a 22% reduction of the 95% C.I. width.


title: A Graph-Based Approach to Generate Energy-Optimal Robot Trajectories in Polygonal Environments

abstract: As robotic systems continue to address emerging issues in areas such as logistics, mobility, manufacturing, and disaster response, it is increasingly important to rapidly generate safe and energy-efficient trajectories. In this article, we present a new approach to plan energy-optimal trajectories through cluttered environments containing polygonal obstacles. In particular, we develop a method to quickly generate optimal trajectories for a double-integrator system, and we show that optimal path planning reduces to an integer program. To find an efficient solution, we present a distance-informed prefix search to efficiently generate optimal trajectories for a large class of environments. We demonstrate that our approach, while matching the performance of RRT* and Probabilistic Road Maps in terms of path length, outperforms both in terms of energy cost and computational time by up to an order of magnitude. We also demonstrate that our approach yields implementable trajectories in an experiment with a Crazyflie quadrotor.


title: A new algorithm for p-adic continued fractions

abstract: Continued fractions in the field of $p$--adic numbers have been recently studied by several authors. It is known that the real continued fraction of a positive quadratic irrational is eventually periodic (Lagrange's Theorem). It is still not known if a $p$--adic continued fraction algorithm exists that shares a similar property. In this paper we modify and improve one of Browkin's algorithms. This algorithm is considered one of the best at the present time. Our new algorithm shows better properties of periodicity. We show for the square root of integers that if our algorithm produces a periodic expansion, then this periodic expansion will have pre-period one. It appears experimentally that our algorithm produces more periodic continued fractions for quadratic irrationals than Browkin's algorithm. Hence, it is closer to an algorithm to which an analogue of Lagrange's Theorem would apply.


title: Saturn's atmospheric response to the large influx of ring material inferred from Cassini INMS measurements

abstract: During the Grand Finale stage of the Cassini mission, organic-rich ring material was discovered to be flowing into Saturn's equatorial upper atmosphere at a surprisingly large rate. Through a series of photochemical models, we have examined the consequences of this ring material on the chemistry of Saturn's neutral and ionized atmosphere. We find that if a substantial fraction of this material enters the atmosphere as vapor or becomes vaporized as the solid ring particles ablate upon atmospheric entry, then the ring-derived vapor would strongly affect the composition of Saturn's ionosphere and neutral stratosphere. Our surveys of Cassini infrared and ultraviolet remote-sensing data from the final few years of the mission, however, reveal none of these predicted chemical consequences. We therefore conclude that either (1) the inferred ring influx represents an anomalous, transient situation that was triggered by some recent dynamical event in the ring system that occurred a few months to a few tens of years before the 2017 end of the Cassini mission, or (2) a large fraction of the incoming material must have been entering the atmosphere as small dust particles less than ~100 nm in radius, rather than as vapor or as large particles that are likely to ablate. Future observations or upper limits for stratospheric neutral species such as HC$_3$N, HCN, and CO$_2$ at infrared wavelengths could shed light on the origin, timing, magnitude, and nature of a possible vapor-rich ring-inflow event.


title: High-Throughput DFT-Based Discovery of Next Generation Two-Dimensional (2D) Superconductors

abstract: High-throughput density functional theory (DFT) calculations allow for a systematic search for conventional superconductors. With the recent interest in two-dimensional (2D) superconductors, we used a high-throughput workflow to screen over 1,000 2D materials in the JARVIS-DFT database and performed electron-phonon coupling calculations, using the McMillan-Allen-Dynes formula to calculate the superconducting transition temperature ($T_c$) for 165 of them. Of these 165 materials, we identify 34 dynamically stable structures with transition temperatures above 5 K, including materials such as W$_2$N$_3$, NbO$_2$, ZrBrO, TiClO, NaSn$_2$S$_4$, Mg$_2$B$_4$C$_2$ and the previously unreported Mg$_2$B$_4$N$_2$ ($T_c$ = 21.8 K). Finally, we performed experiments to determine the $T_c$ of selected layered superconductors (2H-NbSe$_2$, 2H-NbS$_2$, ZrSiS, FeSe) and discuss the measured results within the context of our DFT results. We aim that the outcome of this workflow can guide future computational and experimental studies of new and emerging 2D superconductors by providing a roadmap of high-throughput DFT data.


title: Concavity property of minimal $L^2$ integrals with Lebesgue measurable gain VI: fibrations over products of open Riemann surfaces

abstract: In this article, we present characterizations of the concavity property of minimal $L^2$ integrals degenerating to linearity in the case of fibrations over products of open Riemann surfaces. As applications, we obtain characterizations of the holding of equality in optimal jets $L^2$ extension problem from fibers over products of analytic subsets to fibrations over products of open Riemann surfaces, which implies characterizations of the equality parts of Suita conjecture and extended Suita conjecture for fibrations over products of open Riemann surfaces.


title: Power Efficient Video Super-Resolution on Mobile NPUs with Deep Learning, Mobile AI & AIM 2022 challenge: Report

abstract: Video super-resolution is one of the most popular tasks on mobile devices, being widely used for an automatic improvement of low-bitrate and low-resolution video streams. While numerous solutions have been proposed for this problem, they are usually quite computationally demanding, demonstrating low FPS rates and power efficiency on mobile devices. In this Mobile AI challenge, we address this problem and propose the participants to design an end-to-end real-time video super-resolution solution for mobile NPUs optimized for low energy consumption. The participants were provided with the REDS training dataset containing video sequences for a 4X video upscaling task. The runtime and power efficiency of all models was evaluated on the powerful MediaTek Dimensity 9000 platform with a dedicated AI processing unit capable of accelerating floating-point and quantized neural networks. All proposed solutions are fully compatible with the above NPU, demonstrating an up to 500 FPS rate and 0.2 [Watt / 30 FPS] power consumption. A detailed description of all models developed in the challenge is provided in this paper.


title: Single-Fingered Reconfigurable Robotic Gripper With a Folding Mechanism for Narrow Working Spaces

abstract: This letter proposes a novel single-fingered reconfigurable robotic gripper for grasping objects in narrow working spaces. The finger of the developed gripper realizes two configurations, namely, the insertion and grasping modes, using only a single motor. In the insertion mode, the finger assumes a thin shape such that it can insert its tip into a narrow space. The grasping mode of the finger is activated through a folding mechanism. Mode switching can be achieved in two ways: switching the mode actively by a motor, or combining passive rotation of the fingertip through contact with the support surface and active motorized construction of the claw. The latter approach is effective when it is unclear how much finger insertion is required for a specific task. The structure provides a simple control scheme. The performance of the proposed robotic gripper design and control methodology was experimentally evaluated. The minimum width of the insertion space required to grasp an object is 4 mm (1 mm, when using a strategy).


title: Examining the Rotation Period Distribution of the 40 Myr Tucana-Horologium Association with TESS

abstract: The Tucana-Horologium Association (Tuc-Hor) is a 40 Myr old moving group in the southern sky. In this work, we measure the rotation periods of 313 Tuc-Hor objects with TESS light curves derived from TESS full frame images and membership lists driven by Gaia EDR3 kinematics and known youth indicators. We recover a period for 81.4% of the sample and report 255 rotaion periods for Tuc-Hor objects. From these objects we identify 11 candidate binaries based on multiple periodic signals or outlier Gaia DR2 and EDR3 re-normalised unit weight error (RUWE) values. We also identify three new complex rotators (rapidly rotating M dwarf objects with intricate light curve morphology) within our sample. Along with the six previously known complex rotators that belong to Tuc-Hor, we compare their light curve morphology between TESS Cycle 1 and Cycle 3 and find they change substantially. Furthermore, we provide context for the entire Tuc-Hor rotation sample by describing the rotation period distributions alongside other youth indicators such as H{\alpha} and Li equivalent width, as well as near ultra-violet and X ray flux. We find that measuring rotation periods with TESS to be a fast and effective means to confirm members in young moving groups.


title: Complexity of solving a system of difference constraints with variables restricted to a finite set

abstract: Fishburn developed an algorithm to solve a system of $m$ difference constraints whose $n$ unknowns must take values from a set with $k$ real numbers [Solving a system of difference constraints with variables restricted to a finite set, Inform Process Lett 82 (3) (2002) 143--144]. We provide an implementation of Fishburn's algorithm that runs in $O(n+km)$ time.


title: Dynamical sheaves

abstract: In the present work we define and study the classifying (or "quotient") site $[X/\Sigma]$ for any small site $X$ with (countable) coproducts endowed with an action of a (countable) semigroup $\Sigma$. A simple case (the most relevant to our applications) is the case $\Sigma=\mathbb{N}$, on which, therefore we concentrate. Our main result consists in establishing an equivalence of the corresponding T\`opos with the category of sheaves on $X$ with ``$\Sigma-$action''. We prove also that there is a spectral sequence computing sheaf cohomology in $[X/\mathbb{N}]$ and we deduce some topological properties of this site, such as its fundamental group. We finally apply the above formalism in Holomorphic Dynamics, giving a T\`opos-theoretic interpretation of Epstein's work on the Fatou-Shishikura Inequality and Infinitesimal Thurston's Rigidity.


title: Shielding a charged black hole

abstract: We describe a shielding mechanism for a charged black hole immersed in a background involving charged matter fields, solely arising from the Einstein-Maxwell field equations. In particular, we consider a charged generalization of the Einstein cluster, that is a charged black hole surrounded by an effective fluid model for a partially charged dust cloud. We show that the shielding mechanism, arising thereof, is generic and appears in a different parametrization of the problem as well. In this process, we provide the most general electrovacuum solution in a spacetime region devoid of charges, but in the presence of a static and spherically symmetric charge distribution elsewhere. Side by side, we also introduce a convenient parametrization, providing the global solution of the Einstein-Maxwell's field equations in the presence of a charged black hole within the environment of charged fluid. We also comment on the nature of the photon sphere, shadow radius and the eikonal quasi-normal modes in the Einstein-Maxwell cluster.


title: Stabilizing Machine Learning Prediction of Dynamics: Noise and Noise-inspired Regularization

abstract: Recent work has shown that machine learning (ML) models can be trained to accurately forecast the dynamics of unknown chaotic dynamical systems. Short-term predictions of the state evolution and long-term predictions of the statistical patterns of the dynamics (``climate'') can be produced by employing a feedback loop, whereby the model is trained to predict forward one time step, then the model output is used as input for multiple time steps. In the absence of mitigating techniques, however, this technique can result in artificially rapid error growth. In this article, we systematically examine the technique of adding noise to the ML model input during training to promote stability and improve prediction accuracy. Furthermore, we introduce Linearized Multi-Noise Training (LMNT), a regularization technique that deterministically approximates the effect of many small, independent noise realizations added to the model input during training. Our case study uses reservoir computing, a machine-learning method using recurrent neural networks, to predict the spatiotemporal chaotic Kuramoto-Sivashinsky equation. We find that reservoir computers trained with noise or with LMNT produce climate predictions that appear to be indefinitely stable and have a climate very similar to the true system, while reservoir computers trained without regularization are unstable. Compared with other regularization techniques that yield stability in some cases, we find that both short-term and climate predictions from reservoir computers trained with noise or with LMNT are substantially more accurate. Finally, we show that the deterministic aspect of our LMNT regularization facilitates fast hyperparameter tuning when compared to training with noise.


title: Sensing and Control of Friction Mode for Contact Area Variable Surfaces (Friction-variable Surface Structure)

abstract: Robotic hands with soft surfaces can perform stable grasping, but the high friction of the soft surfaces makes it difficult to release objects, or to perform operations that require sliding. To solve this issue, we previously developed a contact area variable surface (CAVS), whose friction changed according to the load. However, only our fundamental results were previously presented, with detailed analyses not provided. In this study, we first investigated the CAVS friction anisotropy, and demonstrated that the longitudinal direction exhibited a larger ratio of friction change. Next, we proposed a sensible CAVS, capable of providing a variable-friction mechanism, and tested its sensing and control systems in operations requiring switching between sliding and stable-grasping modes. Friction sensing was performed using an embedded camera, and we developed a gripper using the sensible CAVS, considering the CAVS friction anisotropy. In CAVS, the low-friction mode corresponds to a small grasping force, while the high-friction mode corresponds to a greater grasping force. Therefore, by controlling only the friction mode, the gripper mode can be set to either the sliding or stable-grasping mode. Based on this feature, a methodology for controlling the contact mode was constructed. We demonstrated a manipulation involving sliding and stable grasping, and thus verified the efficacy of the developed sensible CAVS.


title: Unified fluid-model theory of $\mathbf{E}\times\mathbf{B}$ instabilities in low-ionized collisional plasmas with arbitrarily magnetized multi-species ions

abstract: This paper develops a unified linear theory of local cross-field plasma instabilities, such as the Farley-Buneman, electron thermal, and ion thermal instabilities, in collisional plasmas with fully or partially unmagnetized multi-species ions. Collisional lasma instabilities in low-ionized, highly dissipative, weakly magnetized plasmas play an important role in the lower Earth's ionosphere and may be of importance in other planet ionospheres, star atmospheres, cometary tails, molecular clouds, accretion disks, etc. In the solar chromosphere, macroscopic effects of collisional plasma instabilities may contribute into significant heating -- an effect originally suggested from spectroscopic observations and relevant modeling. Based on a simplified 5-moment multi-fluid model, the theoretical analysis produces the general linear dispersion relation for the combined Thermal-Farley-Buneman Instability (TFBI). Important limiting cases are analyzed in detail. The analysis demonstrates acceptable applicability of this model for the rocesses under study. Fluid-model simulations usually require much less computer resources than do more accurate kinetic simulations, so that the apparent success of this approach to the linear theory of collisional plasma instabilities makes it possible to investigate the TFBI (along with its possible macroscopic effects) using global fluid codes originally developed for large-scale modeling of the solar and planetary atmospheres.


title: On primordial universe in anti-de Sitter landscape

abstract: How the spacetime evolved non-perturbatively in a landscape with multiple anti-de Sitter (AdS) vacua, which is theoretically well-motivated, has always been a matter of concern. As a step towards this issue, we perform (3+1)D numerical relativity simulations for the inhomogeneous universe in an AdS landscape, and find that large inhomogeneity of scalar field can develop into not only sphere-like bubbles, but also novel tube-like structures. It is observed that the bubble or tube wall (across the potential barrier) likely inflates as a quasi-dS space, while the different regions separated by the walls are in different AdS vacua and will collapse towards singularity.


title: Certified Numerical Real Root Isolation of Zero-dimensional Multivariate Real Nonlinear Systems

abstract: Using the local geometrical properties of a given zero-dimensional square multivariate nonlinear system inside a box, we provide a simple but effective and new criterion for the uniqueness and the existence of a real simple zero of the system inside the box. Based on the result, we design an algorithm based on subdivision and interval arithmetics to isolate all the real zeros of a general real nonlinear system inside a given box. Our method is complete for systems with only finite isolated simple real zeros inside a box. A termination precision is given for general zero-dimensional systems. Multiple zeros of the system are output in bounded boxes. A variety of benchmarks show the effectivity and efficiency of our implementation (in C++). It works for polynomial systems with Bezout bound more than 100 million. It also works for non-polynomial nonlinear systems. We also discuss the limitations of our method.


title: Detecting Elevated Air Pollution Levels by Monitoring Web Search Queries: Deep Learning-Based Time Series Forecasting

abstract: Real-time air pollution monitoring is a valuable tool for public health and environmental surveillance. In recent years, there has been a dramatic increase in air pollution forecasting and monitoring research using artificial neural networks (ANNs). Most of the prior work relied on modeling pollutant concentrations collected from ground-based monitors and meteorological data for long-term forecasting of outdoor ozone, oxides of nitrogen, and PM2.5. Given that traditional, highly sophisticated air quality monitors are expensive and are not universally available, these models cannot adequately serve those not living near pollutant monitoring sites. Furthermore, because prior models were built on physical measurement data collected from sensors, they may not be suitable for predicting public health effects experienced from pollution exposure. This study aims to develop and validate models to nowcast the observed pollution levels using Web search data, which is publicly available in near real-time from major search engines. We developed novel machine learning-based models using both traditional supervised classification methods and state-of-the-art deep learning methods to detect elevated air pollution levels at the US city level, by using generally available meteorological data and aggregate Web-based search volume data derived from Google Trends. We validated the performance of these methods by predicting three critical air pollutants (ozone (O3), nitrogen dioxide (NO2), and fine particulate matter (PM2.5)), across ten major U.S. metropolitan statistical areas (MSAs) in 2017 and 2018.


title: Finitely presented left orderable monsters

abstract: A left orderable monster is a finitely generated left orderable group all of whose fixpoint-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval $I$ and open interval $J$, there is a group element that sends $I$ into $J$. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty$. The construction itself is elementary, and these groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty}$) left orderable monsters.


title: Generative Adversarial Networks for Weakly Supervised Generation and Evaluation of Brain Tumor Segmentations on MR Images

abstract: Segmentation of regions of interest (ROIs) for identifying abnormalities is a leading problem in medical imaging. Using machine learning for this problem generally requires manually annotated ground-truth segmentations, demanding extensive time and resources from radiologists. This work presents a weakly supervised approach that utilizes binary image-level labels, which are much simpler to acquire, to effectively segment anomalies in 2D magnetic resonance images without ground truth annotations. We train a generative adversarial network (GAN) that converts cancerous images to healthy variants, which are used along with localization seeds as priors to generate improved weakly supervised segmentations. The non-cancerous variants can also be used to evaluate the segmentations in a weakly supervised fashion, which allows for the most effective segmentations to be identified and then applied to downstream clinical classification tasks. On the Multimodal Brain Tumor Segmentation (BraTS) 2020 dataset, our proposed method generates and identifies segmentations that achieve test Dice coefficients of 83.91%. Using these segmentations for pathology classification results with a test AUC of 93.32% which is comparable to the test AUC of 95.80% achieved when using true segmentations.


title: Waves in planetary dynamos

abstract: This Special Topic focuses on magnetohydrodynamic (MHD) processes in deep interiors of planets, in which their fluid dynamos are in operation. The dynamo-generated, global, magnetic fields provide a background for our solar-terrestrial environment. Probing the processes within the dynamos is a significant theoretical and computational challenge and any window into interior dynamics greatly increases our understanding. Such a window is provided by exploring rapid dynamics, particularly MHD waves about the dynamo-defined basic state. This field is the subject of current attention as geophysical observations and numerical modellings advance. We give here particular attention to torsional Alfv\'{e}n waves/oscillations and magnetic Rossby waves, which may be regarded as typical axisymmetric and nonaxisymmetric modes, respectively, amongst a wide variety of wave classes of the rapidly-rotating MHD fluids. The excitation of those waves is being evidenced for the geodynamo, whilst also being suggested for Jupiter. We shall overview their dynamics, summarise our current understanding, and give open questions for future perspectives.


title: Quantum circuits for discrete-time quantum walks with position-dependent coin operator

abstract: The aim of this paper is to build quantum circuits that implement discrete-time quantum walks having an arbitrary position-dependent coin operator. The position of the walker is encoded in base 2: with $n$ wires, each corresponding to one qubit, we encode $2^n$ position states. The data necessary to define an arbitrary position-dependent coin operator is therefore exponential in $n$. We first propose a circuit implementing the position-dependent coin operator, that is naive, in the sense that it has exponential depth and implements sequentially all appropriate position-dependent coin operators. We then propose a circuit that "transfers" all the depth into ancillae, yielding a final depth that is linear in $n$ at the cost of an exponential number of ancillae. The main idea of this linear-depth circuit is to implement in parallel all coin operators at the different positions. Finally, we extend the result of Ref. [2] from position-dependent unitaries which are diagonal in the position basis to position-dependent $2 \times 2$-block-diagonal unitaries: indeed, we show that for a position dependence of the coin operator (the block-diagonal unitary) which is smooth enough, one can find an efficient quantum-circuit implementation approximating the coin operator up to an error $\epsilon$ (in terms of the spectral norm), the depth and size of which scale as $O(1/\epsilon)$. A typical application of the efficient implementation would be the quantum simulation of a relativistic spin-1/2 particle on a lattice, coupled to a smooth external gauge field; notice that recently, quantum spatial-search schemes have been developed which use gauge fields as the oracle, to mark the vertex to be found [3, 4]. A typical application of the linear-depth circuit would be when there is spatial noise on the coin operator (and hence a non-smooth dependence in the position).


title: GAPartNet: Cross-Category Domain-Generalizable Object Perception and Manipulation via Generalizable and Actionable Parts

abstract: For years, researchers have been devoted to generalizable object perception and manipulation, where cross-category generalizability is highly desired yet underexplored. In this work, we propose to learn such cross-category skills via Generalizable and Actionable Parts (GAParts). By identifying and defining 9 GAPart classes (lids, handles, etc.) in 27 object categories, we construct a large-scale part-centric interactive dataset, GAPartNet, where we provide rich, part-level annotations (semantics, poses) for 8,489 part instances on 1,166 objects. Based on GAPartNet, we investigate three cross-category tasks: part segmentation, part pose estimation, and part-based object manipulation. Given the significant domain gaps between seen and unseen object categories, we propose a robust 3D segmentation method from the perspective of domain generalization by integrating adversarial learning techniques. Our method outperforms all existing methods by a large margin, no matter on seen or unseen categories. Furthermore, with part segmentation and pose estimation results, we leverage the GAPart pose definition to design part-based manipulation heuristics that can generalize well to unseen object categories in both the simulator and the real world. Our dataset, code, and demos are available on our project page.


title: BERT-Based Combination of Convolutional and Recurrent Neural Network for Indonesian Sentiment Analysis

abstract: Sentiment analysis is the computational study of opinions and emotions ex-pressed in text. Deep learning is a model that is currently producing state-of-the-art in various application domains, including sentiment analysis. Many researchers are using a hybrid approach that combines different deep learning models and has been shown to improve model performance. In sentiment analysis, input in text data is first converted into a numerical representation. The standard method used to obtain a text representation is the fine-tuned embedding method. However, this method does not pay attention to each word's context in the sentence. Therefore, the Bidirectional Encoder Representation from Transformer (BERT) model is used to obtain text representations based on the context and position of words in sentences. This research extends the previous hybrid deep learning using BERT representation for Indonesian sentiment analysis. Our simulation shows that the BERT representation improves the accuracies of all hybrid architectures. The BERT-based LSTM-CNN also reaches slightly better accuracies than other BERT-based hybrid architectures.


title: Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials

abstract: Suppose we are given an $n$-dimensional order-3 symmetric tensor $T \in (\mathbb{R}^n)^{\otimes 3}$ that is the sum of $r$ random rank-1 terms. The problem of recovering the rank-1 components is possible in principle when $r \lesssim n^2$ but polynomial-time algorithms are only known in the regime $r \ll n^{3/2}$. Similar "statistical-computational gaps" occur in many high-dimensional inference tasks, and in recent years there has been a flurry of work on explaining the apparent computational hardness in these problems by proving lower bounds against restricted (yet powerful) models of computation such as statistical queries (SQ), sum-of-squares (SoS), and low-degree polynomials (LDP). However, no such prior work exists for tensor decomposition, largely because its hardness does not appear to be explained by a "planted versus null" testing problem. We consider a model for random order-3 tensor decomposition where one component is slightly larger in norm than the rest (to break symmetry), and the components are drawn uniformly from the hypercube. We resolve the computational complexity in the LDP model: $O(\log n)$-degree polynomial functions of the tensor entries can accurately estimate the largest component when $r \ll n^{3/2}$ but fail to do so when $r \gg n^{3/2}$. This provides rigorous evidence suggesting that the best known algorithms for tensor decomposition cannot be improved, at least by known approaches. A natural extension of the result holds for tensors of any fixed order $k \ge 3$, in which case the LDP threshold is $r \sim n^{k/2}$.


title: AGN quenching in simulated dwarf galaxies

abstract: We examine the quenching characteristics of $328$ isolated dwarf galaxies $\left(10^{8} < M_{\rm star}/M_\odot < 10^{10} \right)$ within the \Rom{} cosmological hydrodynamic simulation. Using mock observation methods, we identify isolated dwarf galaxies with quenched star formation and make direct comparisons to the quenched fraction in the NASA Sloan Atlas (NSA). Similar to other cosmological simulations, we find a population of quenched, isolated dwarf galaxies below $M_{\rm star} < 10^{9} M_\odot$ not detected within the NSA. We find that the presence of massive black holes (MBHs) in \Rom{} is largely responsible for the quenched, isolated dwarfs, while isolated dwarfs without an MBH are consistent with quiescent fractions observed in the field. Quenching occurs between $z=0.5-1$, during which the available supply of star-forming gas is heated or evacuated by MBH feedback. Mergers or interactions seem to play little to no role in triggering the MBH feedback. At low stellar masses, $M_{\rm star} \lesssim 10^{9.3} M_\odot$, quenching proceeds across several Gyr as the MBH slowly heats up gas in the central regions. At higher stellar masses, $M_{\rm star} \gtrsim 10^{9.3} M_\odot$, quenching occurs rapidly within $1$ Gyr, with the MBH evacuating gas from the central few kpc of the galaxy and driving it to the outskirts of the halo. Our results indicate the possibility of substantial star formation suppression via MBH feedback within dwarf galaxies in the field. On the other hand, the apparent over-quenching of dwarf galaxies due to MBH suggests higher resolution and/or better modeling is required for MBHs in dwarfs, and quenched fractions offer the opportunity to constrain current models.


title: PhotoFourier: A Photonic Joint Transform Correlator-Based Neural Network Accelerator

abstract: The last few years have seen a lot of work to address the challenge of low-latency and high-throughput convolutional neural network inference. Integrated photonics has the potential to dramatically accelerate neural networks because of its low-latency nature. Combined with the concept of Joint Transform Correlator (JTC), the computationally expensive convolution functions can be computed instantaneously (time of flight of light) with almost no cost. This 'free' convolution computation provides the theoretical basis of the proposed PhotoFourier JTC-based CNN accelerator. PhotoFourier addresses a myriad of challenges posed by on-chip photonic computing in the Fourier domain including 1D lenses and high-cost optoelectronic conversions. The proposed PhotoFourier accelerator achieves more than 28X better energy-delay product compared to state-of-art photonic neural network accelerators.


title: Sliding induced multiple polarization states in two-dimensional ferroelectrics

abstract: When the atomic layers in a non-centrosymmetric van der Waals structure slide against each other, the interfacial charge transfer results in a reversal of the structures spontaneous polarization. This phenomenon is known as sliding ferroelectricity and it is markedly different from conventional ferroelectric switching mechanisms relying on ion displacement. Here, we present layer dependence as a new dimension to control sliding ferroelectricity. By fabricating 3R MoS2 of various thicknesses into dual-gate field-effect transistors, we obtain anomalous intermediate polarization states in multilayer 3R MoS2. Using results from ab initio density functional theory calculations, we propose a generalized model to describe the ferroelectric switching process in multilayer 3R MoS2 and to explain the formation of these intermediate polarization states. This work reveals the critical roles that layer number and interlayer dipole coupling play in sliding ferroelectricity and presents a new strategy for the design of novel sliding ferroelectric devices.


title: Network Security Roadmap

abstract: Users may already have some perception of provided security based on experience with earlier generations. To maintain the stability and coherent integration of 5G services, it is imperative that security and privacy features prevalent in earlier generations are also present in 5G. However, it is not sufficient just to provide the same security features as in the legacy systems due to the new threat model introduced by the integration of new technologies like SDN, virtualization and SBA. 5G systems are expected to be more service-oriented. This suggests there will be an additional emphasis on security and privacy requirements that spawn from the new dimension of service-oriented security architecture.


title: Borsuk-Ulam property for graphs

abstract: For finite connected graphs $\Gamma$ and $G$, with $\Gamma$ admitting a free involution $\tau$, we characterize the based homotopy classes $\alpha\in[\Gamma,G]$ for which the Borsuk-Ulam property holds in the sense of Gon\c{c}alves, Guaschi and Casteluber-Laass, i.e., the homotopy classes $\alpha$ so that each of its representatives $f\in\alpha$ satisfies $f(x) = f(\tau\cdot x)$ for some $x\in\Gamma$. This is attained through a graph-braid-group perspective aided by the use of discrete Morse theory.


title: Exceptional theta functions and arithmeticity of modular forms on $G_2$

abstract: Quaternionic modular forms on the split exceptional group $G_2 = G_2^s$ were defined by Gan-Gross-Savin. A remarkable property of these automorphic functions is that they have a robust notion of Fourier expansion and Fourier coefficients, similar to the classical holomorphic modular forms on Shimura varieties. In this paper we prove that in even weight $\ell$ at least $6$, there is a basis of the space of cuspidal modular forms of weight $\ell$ such that all the Fourier coefficients of elements of this basis are in the cyclotomic extension of $\mathbf{Q}$. Our main tool for proving this is to develop a notion of "exceptional theta functions" on $G_2$.


title: Directed Isoperimetric Theorems for Boolean Functions on the Hypergrid and an $\widetilde{O}(n\sqrt{d})$ Monotonicity Tester

abstract: The problem of testing monotonicity for Boolean functions on the hypergrid, $f:[n]^d \to \{0,1\}$ is a classic topic in property testing. When $n=2$, the domain is the hypercube. For the hypercube case, a breakthrough result of Khot-Minzer-Safra (FOCS 2015) gave a non-adaptive, one-sided tester making $\widetilde{O}(\varepsilon^{-2}\sqrt{d})$ queries. Up to polylog $d$ and $\varepsilon$ factors, this bound matches the $\widetilde{\Omega}(\sqrt{d})$-query non-adaptive lower bound (Chen-De-Servedio-Tan (STOC 2015), Chen-Waingarten-Xie (STOC 2017)). For any $n > 2$, the optimal non-adaptive complexity was unknown. A previous result of the authors achieves a $\widetilde{O}(d^{5/6})$-query upper bound (SODA 2020), quite far from the $\sqrt{d}$ bound for the hypercube. In this paper, we resolve the non-adaptive complexity of monotonicity testing for all constant $n$, up to $\text{poly}(\varepsilon^{-1}\log d)$ factors. Specifically, we give a non-adaptive, one-sided monotonicity tester making $\widetilde{O}(\varepsilon^{-2}n\sqrt{d})$ queries. From a technical standpoint, we prove new directed isoperimetric theorems over the hypergrid $[n]^d$. These results generalize the celebrated directed Talagrand inequalities that were only known for the hypercube.


title: Poincare series and miraculous duality

abstract: In the setting of global geometric Langlands, we show that miraculous duality on the stack of principal bundles on a curve intertwines the functor of Poincare series with the dual functor to Whittaker coefficients. We construct, for arbitrary parabolic subgroups, Jacquet functors controlling constant terms of Poincare series and Whittaker coefficients of Eisenstein series in local terms.


title: Detection of $\delta$ Scuti pulsators in the eclipsing binaries observed by TESS

abstract: Based on 2-minute cadence TESS data from sectors 1-50, we report the results of the systematic extraction of $\delta$ Scuti-type pulsations in the 6431 eclipsing binaries with orbital periods shorter than 13 days. A total number of 242 pulsators were found in those systems, including 143 new discoveries. We examined their pulsation properties based on the H-R diagram and the relationships between the dominant pulsation period $P_{\rm dom}$, orbital period $P_{\rm orb}$, and effective temperature $T_{\rm eff}$. As a consequence, 216 targets are likely $\delta$ Scuti stars (123 new), 11 likely $\gamma$ Doradus-$\delta$ Scuti hybrid stars (8 new), 5 likely $\beta$ Cephei stars (4 new), 4 likely $\delta$ Scuti-$\gamma$ Doradus hybrid stars (3 new), 3 likely Maia stars (3 new), 2 likely pulsating red giants (1 new), and a new unclassified star. As for the 6 new $\delta$ Scuti pulsators in eclipsing binaries with $P_{\rm orb}$ $<$ 0.65 days, we found that 3 of them significantly exceed the upper limits of the $P_{\rm dom}$/$P_{\rm orb}$ ratio. This may indicate that $P_{\rm dom}$ and $P_{\rm orb}$ are uncorrelated for them. Finally, we statistically analyzed the dominant pulsation periods of the 216 $\delta$ Scuti stars in eclipsing binaries. Those stars concentrate around 225 $\mu$Hz and the proportion of stars in the high-frequency region is significantly higher than that of single stars, which could be ascribed to the mass transfer process.


title: FormLM: Recommending Creation Ideas for Online Forms by Modelling Semantic and Structural Information

abstract: Online forms are widely used to collect data from human and have a multi-billion market. Many software products provide online services for creating semi-structured forms where questions and descriptions are organized by pre-defined structures. However, the design and creation process of forms is still tedious and requires expert knowledge. To assist form designers, in this work we present FormLM to model online forms (by enhancing pre-trained language model with form structural information) and recommend form creation ideas (including question / options recommendations and block type suggestion). For model training and evaluation, we collect the first public online form dataset with 62K online forms. Experiment results show that FormLM significantly outperforms general-purpose language models on all tasks, with an improvement by 4.71 on Question Recommendation and 10.6 on Block Type Suggestion in terms of ROUGE-1 and Macro-F1, respectively.


title: Chiral coupling between a ferromagnetic magnon and a superconducting qubit

abstract: Chiral coupling at the single-quantum level promises to be a remarkable potential for quantum information processing. Here we propose to achieve a chiral interaction between a magnon mode in a ferromagnetic sphere and a superconducting qubit mediated by a one-dimensional coupled-cavity array. When the qubit is coupled to two lattice sites of the array and each one is encoded with a tunable phase, we can acquire a directional qubit-magnon interaction via the quantum interference effect. This work opens up a new route to construct chiral devices, which are expected to become a building block in quantum magnonic networks.


title: Deep Learning Methods for Software Requirement Classification: A Performance Study on the PURE dataset

abstract: Requirement engineering (RE) is the first and the most important step in software production and development. The RE is aimed to specify software requirements. One of the tasks in RE is the categorization of software requirements as functional and non-functional requirements. The functional requirements (FR) show the responsibilities of the system while non-functional requirements represent the quality factors of software. Discrimination between FR and NFR is a challenging task. Nowadays Deep Learning (DL) has entered all fields of engineering and has increased accuracy and reduced time in their implementation process. In this paper, we use deep learning for the classification of software requirements. Five prominent DL algorithms are trained for classifying requirements. Also, two voting classification algorithms are utilized for creating ensemble classifiers based on five DL methods. The PURE, a repository of Software Requirement Specification (SRS) documents, is selected for our experiments. We created a dataset from PURE which contains 4661 requirements where 2617 requirements are functional and the remaining are non-functional. Our methods are applied to the dataset and their performance analysis is reported. The results show that the performance of deep learning models is satisfactory and the voting mechanisms provide better results.


title: On the characterization of some non-abelian simple groups using codegree set

abstract: Let $G$ be a finite group and $\chi\in \irr(G)$. The codegree of $\chi$ is defined as $\cod(\chi)=\frac{|G:\ker(\chi)|}{\chi(1)}$ and $\cod(G)=\{\cod(\chi) \ |\ \chi\in \irr(G)\}$ is called the set of codegrees of $G$. In this paper, we show that the set of codegrees of $\Sy_4(4), \U_4(2)$, $\Sy_4(q)\ (q \geq 4)$, $\U_4(3)$, ${}^2\F_4(2)'$, $\J_3$, $\G_2(3)$, $\A_9$, $\J_2$, $\PSL(4,3)$, $\McL$, $\Sy_4(5)$, $\G_2(4)$, $\HS$, $\ON$ and $\M_{24}$ determines the group up to isomorphism.


title: The Friendship Paradox and Social Network Participation

abstract: The friendship paradox implies that a person will, on average, have fewer friends than their friends do. Prior work has shown how the friendship paradox can lead to perception biases regarding behaviors that correlate with the number of friends: for example, people tend to perceive their friends as being more socially engaged than they are. Here, we investigate the consequences of this type of social comparison in the conceptual setting of content creation ("sharing") in an online social network. Suppose people compare the amount of feedback that their content receives to the amount of feedback that their friends' content receives, and suppose they modify their sharing behavior as a result of that comparison. How does that impact overall sharing on the social network over time? We run simulations over model-generated synthetic networks, assuming initially uniform sharing and feedback rates. Thus, people's initial modifications of their sharing behavior in response to social comparisons are entirely driven by the friendship paradox. These modifications induce inhomogeneities in sharing rates that can further alter perception biases. If people's responses to social comparisons are monotonic (i.e., the larger the disparity, the larger the modification in sharing behavior), our simulations suggest that overall sharing in the network gradually declines. Meanwhile, convex responses can sustain or grow overall sharing in the network. We focus entirely on synthetic graphs in the present work and have not yet extended our simulations to real-world network topologies. Nevertheless, we do discuss practical implications, such as how interventions can be tailored to sustain long-term sharing, even in the presence of adverse social-comparison effects.


title: Combating Health Misinformation in Social Media: Characterization, Detection, Intervention, and Open Issues

abstract: Social media has been one of the main information consumption sources for the public, allowing people to seek and spread information more quickly and easily. However, the rise of various social media platforms also enables the proliferation of online misinformation. In particular, misinformation in the health domain has significant impacts on our society such as the COVID-19 infodemic. Therefore, health misinformation in social media has become an emerging research direction that attracts increasing attention from researchers of different disciplines. Compared to misinformation in other domains, the key differences of health misinformation include the potential of causing actual harm to humans' bodies and even lives, the hardness to identify for normal people, and the deep connection with medical science. In addition, health misinformation on social media has distinct characteristics from conventional channels such as television on multiple dimensions including the generation, dissemination, and consumption paradigms. Because of the uniqueness and importance of combating health misinformation in social media, we conduct this survey to further facilitate interdisciplinary research on this problem. In this survey, we present a comprehensive review of existing research about online health misinformation in different disciplines. Furthermore, we also systematically organize the related literature from three perspectives: characterization, detection, and intervention. Lastly, we conduct a deep discussion on the pressing open issues of combating health misinformation in social media and provide future directions for multidisciplinary researchers.


abstract: Contrastive learning (CL) benefits the training of sequential recommendation models with informative self-supervision signals. Existing solutions apply general sequential data augmentation strategies to generate positive pairs and encourage their representations to be invariant. However, due to the inherent properties of user behavior sequences, some augmentation strategies, such as item substitution, can lead to changes in user intent. Learning indiscriminately invariant representations for all augmentation strategies might be suboptimal. Therefore, we propose Equivariant Contrastive Learning for Sequential Recommendation (ECL-SR), which endows SR models with great discriminative power, making the learned user behavior representations sensitive to invasive augmentations (e.g., item substitution) and insensitive to mild augmentations (e.g., featurelevel dropout masking). In detail, we use the conditional discriminator to capture differences in behavior due to item substitution, which encourages the user behavior encoder to be equivariant to invasive augmentations. Comprehensive experiments on four benchmark datasets show that the proposed ECL-SR framework achieves competitive performance compared to state-of-the-art SR models. The source code is available at https://github.com/Tokkiu/ECL.


title: Optimal consumption-investment with coupled constraints on consumption and investment strategies in a regime switching market with random coefficients

abstract: This paper studies finite-time optimal consumption-investment problems with power, logarithmic and exponential utilities, in a regime switching market with random coefficients, subject to coupled constraints on the consumption and investment strategies. We provide explicit optimal consumption-investment strategies and optimal values for the problems in terms of the solutions to some diagonally quadratic backward stochastic differential equation (BSDE) systems and linear BSDE systems with unbound coefficients. Some of these BSDEs are new in the literature and solving them is one of the main theoretical contributions of this paper. We accomplish the latter by applying the truncation, approximation technique to get some a priori uniformly lower and upper bounds for their solutions.


title: Moffatt eddies in electrohydrodynamic flows: numerical simulations and analyses

abstract: We study numerically a sequence of eddies in two-dimensional electrohydrodynamic (EHD) flows of a dielectric liquid, driven by an electric potential difference between a hyperbolic blade electrode and a flat plate electrode (or the blade-plate configuration). The electrically-driven flow impinges on the plate to generate vortices, which resemble Moffatt eddies (Moffatt, $\textit{J. Fluid Mech.}$ vol. 18, 1-18, 1964). Such a phenomenon in EHD was first reported in the experimental work of Perri $\textit{et al., J. Fluid Mech.}$ vol. 900, A12, 2020. We conduct direct numerical simulations of the EHD flow with three Moffatt-type eddies in a large computational domain at moderate electric Rayleigh numbers ($ T $, quantifying the strength of the electric field). The ratios of size and intensity of the adjacent eddies are examined and they can be compared favourably to the theoretical prediction of Moffatt; interestingly, the quantitative comparison is remarkably accurate for the two eddies in the farfield. Our investigation also shows that a larger $T$ strengthens the vortex intensity, and a stronger charge diffusion effect enlarges the vortex size. A sufficiently large $T$ can further result in an oscillating flow, consistent with the experimental observation. In addition, a global stability analysis of the steady blade-plate EHD flow is conducted. The global mode is detailedly characterised at different values of $T$. When $T$ is large, the confinement effect of the geometry in the center region may lead to an increased oscillation frequency. This work contributes to the quantitative characterisation of the Moffatt-type eddies in electrohydrodynamic flows.


title: Streaming Euclidean Max-Cut: Dimension vs Data Reduction

abstract: Max-Cut is a fundamental problem that has been studied extensively in various settings. We design an algorithm for Euclidean Max-Cut, where the input is a set of points in $\mathbb{R}^d$, in the model of dynamic geometric streams, where the input $X\subseteq [\Delta]^d$ is presented as a sequence of point insertions and deletions. Previously, Frahling and Sohler [STOC 2005] designed a $(1+\epsilon)$-approximation algorithm for the low-dimensional regime, i.e., it uses space $\exp(d)$. To tackle this problem in the high-dimensional regime, which is of growing interest, one must improve the dependence on the dimension $d$, ideally to space complexity $\mathrm{poly}(\epsilon^{-1} d \log\Delta)$. Lammersen, Sidiropoulos, and Sohler [WADS 2009] proved that Euclidean Max-Cut admits dimension reduction with target dimension $d' = \mathrm{poly}(\epsilon^{-1})$. Combining this with the aforementioned algorithm that uses space $\exp(d')$, they obtain an algorithm whose overall space complexity is indeed polynomial in $d$, but unfortunately exponential in $\epsilon^{-1}$. We devise an alternative approach of \emph{data reduction}, based on importance sampling, and achieve space bound $\mathrm{poly}(\epsilon^{-1} d \log\Delta)$, which is exponentially better (in $\epsilon$) than the dimension-reduction approach. To implement this scheme in the streaming model, we employ a randomly-shifted quadtree to construct a tree embedding. While this is a well-known method, a key feature of our algorithm is that the embedding's distortion $O(d\log\Delta)$ affects only the space complexity, and the approximation ratio remains $1+\epsilon$.


title: Artificial Neural Network Solver for Time-Dependent Fokker-Planck Equations

abstract: Stochastic differential equations play an important role in various applications when modeling systems that have either random perturbations or chaotic dynamics at faster time scales. The time evolution of the probability distribution of a stochastic differential equation is described by the Fokker-Planck equation, which is a second order parabolic partial differential equation. Previous work combined artificial neural network and Monte Carlo data to solve stationary Fokker-Planck equations. This paper extends this approach to time dependent Fokker-Planck equations. The focus is on the investigation of algorithms for training a neural network that has multi-scale loss functions. Additionally, a new approach for collocation point sampling is proposed. A few 1D and 2D numerical examples are demonstrated.


title: Harmonizing output imbalance for defect segmentation on extremely-imbalanced photovoltaic module cells images

abstract: The continuous development of the photovoltaic (PV) industry has raised high requirements for the quality of monocrystalline of PV module cells. When learning to segment defect regions in PV module cell images, Tiny Hidden Cracks (THC) lead to extremely-imbalanced samples. The ratio of defect pixels to normal pixels can be as low as 1:2000. This extreme imbalance makes it difficult to segment the THC of PV module cells, which is also a challenge for semantic segmentation. To address the problem of segmenting defects on extremely-imbalanced THC data, the paper makes contributions from three aspects: (1) it proposes an explicit measure for output imbalance; (2) it generalizes a distribution-based loss that can handle different types of output imbalances; and (3) it introduces a compound loss with our adaptive hyperparameter selection algorithm that can keep the consistency of training and inference for harmonizing the output imbalance on extremelyimbalanced input data. The proposed method is evaluated on four widely-used deep learning architectures and four datasets with varying degrees of input imbalance. The experimental results show that the proposed method outperforms existing methods.


title: Learning Cross-view Geo-localization Embeddings via Dynamic Weighted Decorrelation Regularization

abstract: Cross-view geo-localization aims to spot images of the same location shot from two platforms, e.g., the drone platform and the satellite platform. Existing methods usually focus on optimizing the distance between one embedding with others in the feature space, while neglecting the redundancy of the embedding itself. In this paper, we argue that the low redundancy is also of importance, which motivates the model to mine more diverse patterns. To verify this point, we introduce a simple yet effective regularization, i.e., Dynamic Weighted Decorrelation Regularization (DWDR), to explicitly encourage networks to learn independent embedding channels. As the name implies, DWDR regresses the embedding correlation coefficient matrix to a sparse matrix, i.e., the identity matrix, with dynamic weights. The dynamic weights are applied to focus on still correlated channels during training. Besides, we propose a cross-view symmetric sampling strategy, which keeps the example balance between different platforms. Albeit simple, the proposed method has achieved competitive results on three large-scale benchmarks, i.e., University-1652, CVUSA and CVACT. Moreover, under the harsh circumstance, e.g., the extremely short feature of 64 dimensions, the proposed method surpasses the baseline model by a clear margin.


title: Coordinating CAV Swarms at Intersections with a Deep Learning Model

abstract: Connected and automated vehicles (CAVs) are viewed as a special kind of robots that have the potential to significantly improve the safety and efficiency of traffic. In contrast to many swarm robotics studies that are demonstrated in labs by employing a small number of robots, CAV studies aims to achieve cooperative driving of unceasing robot swarm flows. However, how to get the optimal passing order of such robot swarm flows even for a signal-free intersection is an NP-hard problem (specifically, enumerating based algorithm takes days to find the optimal solution to a 20-CAV scenario). Here, we introduce a novel cooperative driving algorithm (AlphaOrder) that combines offline deep learning and online tree searching to find a near-optimal passing order in real-time. AlphaOrder builds a pointer network model from solved scenarios and generates near-optimal passing orders instantaneously for new scenarios. Furthermore, our approach provides a general approach to managing preemptive resource sharing between swarm robotics (e.g., scheduling multiple automated guided vehicles (AGVs) and unmanned aerial vehicles (UAVs) at conflicting areas


title: On the structure of relatively biexact group von Neumann algebras

abstract: Using computations in the bidual of $\mathbb{B}(L^2M)$ we develop a new technique at the von Neumann algebra level to upgrade relative proper proximality to full proper proximality. This is used to structurally classify subalgebras of $L\Gamma$ where $\Gamma$ is an infinite group that is biexact relative to a finite family of subgroups $\{\Lambda_i\}_{i\in I}$ such that each $\Lambda_i$ is almost malnormal in $\Gamma$. This generalizes the result of \cite{DKEP21} which classifies subalgebras of von Neumann algebras of biexact groups. By developing a combination with techniques from Popa's deformation-rigidity theory we obtain a new structural absorption theorem for free products and a generalized Kurosh type theorem in the setting of properly proximal von Neumann algebras.