title: Journey to the center of stars: the realm of low Prandtl number fluid dynamics

abstract: The dynamics of fluids deep in stellar interiors is a subject that bears many similarities with geophysical fluid dynamics, with one crucial difference: the Prandtl number. The ratio of the kinematic viscosity to the thermal diffusivity is usually of order unity or more on Earth, but is always much smaller than one in stars. As a result, viscosity remains negligible on scales that are thermally diffusive, which opens the door to a whole new region of parameter space, namely the turbulent low P\'eclet number regime (where the P\'eclet number is the product of the Prandtl number and the Reynolds number). In this review, I focus on three instabilities that are well known in geophysical fluid dynamics, and have an important role to play in stellar evolution, namely convection, stratified shear instabilities, and double-diffusive convection. I present what is known of their behavior at low Prandtl number, highlighting the differences with their moderate and high Prandtl number counterparts.


title: The Complete Affine Automorphism Group of Polar Codes

abstract: Recently, a permutation-based successive cancellation (PSC) decoding framework for polar codes attaches much attention. It decodes several permuted codewords with independent successive cancellation (SC) decoders. Its latency thus can be reduced to that of SC decoding. However, the PSC framework is ineffective for permutations falling into the lower-triangular affine (LTA) automorphism group, as they are invariant under SC decoding. As such, a larger block lower-triangular affine (BLTA) group that contains SC-variant permutations was discovered for decreasing polar codes. But it was unknown whether BLTA equals the complete automorphism group. In this paper, we prove that BLTA equals the complete automorphisms of decreasing polar codes that can be formulated as affine trasformations.


title: Which Parts Determine the Impression of the Font?

abstract: Various fonts give different impressions, such as legible, rough, and comic-text.This paper aims to analyze the correlation between the local shapes, or parts, and the impression of fonts. By focusing on local shapes instead of the whole letter shape, we can realize letter-shape independent and more general analysis. The analysis is performed by newly combining SIFT and DeepSets, to extract an arbitrary number of essential parts from a particular font and aggregate them to infer the font impressions by nonlinear regression. Our qualitative and quantitative analyses prove that (1)fonts with similar parts have similar impressions, (2)many impressions, such as legible and rough, largely depend on specific parts, (3)several impressions are very irrelevant to parts.


title: Understanding Internet of Things Malware by Analyzing Endpoints in their Static Artifacts

abstract: The lack of security measures among the Internet of Things (IoT) devices and their persistent online connection gives adversaries a prime opportunity to target them or even abuse them as intermediary targets in larger attacks such as distributed denial-of-service (DDoS) campaigns. In this paper, we analyze IoT malware and focus on the endpoints reachable on the public Internet, that play an essential part in the IoT malware ecosystem. Namely, we analyze endpoints acting as dropzones and their targets to gain insights into the underlying dynamics in this ecosystem, such as the affinity between the dropzones and their target IP addresses, and the different patterns among endpoints. Towards this goal, we reverse-engineer 2,423 IoT malware samples and extract strings from them to obtain IP addresses. We further gather information about these endpoints from public Internet-wide scanners, such as Shodan and Censys. For the masked IP addresses, we examine the Classless Inter-Domain Routing (CIDR) networks accumulating to more than 100 million (78.2% of total active public IPv4 addresses) endpoints. Our investigation from four different perspectives provides profound insights into the role of endpoints in IoT malware attacks, which deepens our understanding of IoT malware ecosystems and can assist future defenses.


title: On the Reliability and Concurrent Unicast Transmission Node Control of 5G NR-V2X Networks

abstract: In vehicle-to-everything (V2X) communications, reliability is one of the most important performance metrics in safety-critical applications such as advanced driving, remote driving, and vehicle platooning. In this paper, the link reliability of unicast concurrent transmission in mode 1 (centralized mode) of 5G New Radio based V2X (NR-V2X) is analyzed. The closed-form expression of link reliability for concurrent unicast transmission is firstly derived for a highway scenario under a given interference distance distribution. On this basis, according to the macroscopic configuration of the system, a method to control the number of concurrent transmission nodes is proposed, including the communication range, message packet size, and the number of lanes, etc. The results indicate that the proposed method can maximize the system load on the premise of satisfying the link reliability requirements.


title: Resonant binding of dielectric particles to metal surface without plasmonics

abstract: High index dielectric spherical particle supports the high-$Q$ resonant Mie modes that results in a regular series of sharp resonances in the radiation pressure. A presence of perfectly conducting metal surface transforms the Mie modes into the extremely high-$Q$ magnetic bonding or electric anti-bonding modes for close approaching of the sphere to the surface. We show that the electromagnetic plane wave with normal incidence results in repulsive or attractive resonant optical forces relative to metal for excitation of the electric bonding or magnetic anti-bonding resonant modes respectively. A magnitude of resonant optical forces reaches order of one nano Newton of magnitude for micron size of silicon particles and power of light $1mW/\mu m^2$ that exceeds the gravitational force by four orders. However what is the most remarkable there are steady positions for the sphere between pulling and pushing forces that gives rise to resonant binding of the sphere by metal surface. A frequency of mechanical oscillations of particle around the equilibrium positions reaches a magnitude of order MHz.


title: Amnesty Policy and Elite Persistence in the Postbellum South: Evidence from a Regression Discontinuity Design

abstract: This paper investigates the impact of Reconstruction-era amnesty policy on the officeholding and wealth of elites in the postbellum South. Amnesty policy restricted the political and economic rights of Southern elites for nearly three years during Reconstruction. I estimate the effect of being excluded from amnesty on elites' future wealth and political power using a regression discontinuity design that compares individuals just above and below a wealth threshold that determined exclusion from amnesty. Results on a sample of Reconstruction convention delegates show that exclusion from amnesty significantly decreased the likelihood of ex-post officeholding. I find no evidence that exclusion impacted later census wealth for Reconstruction delegates or for a larger sample of known slaveholders who lived in the South in 1860. These findings are in line with previous studies evidencing both changes to the identity of the political elite, and the continuity of economic mobility among the planter elite across the Civil War and Reconstruction.


title: ShellCore: Automating Malicious IoT Software Detection by Using Shell Commands Representation

abstract: The Linux shell is a command-line interpreter that provides users with a command interface to the operating system, allowing them to perform a variety of functions. Although very useful in building capabilities at the edge, the Linux shell can be exploited, giving adversaries a prime opportunity to use them for malicious activities. With access to IoT devices, malware authors can abuse the Linux shell of those devices to propagate infections and launch large-scale attacks, e.g., DDoS. In this work, we provide a first look at shell commands used in Linux-based IoT malware towards detection. We analyze malicious shell commands found in IoT malware and build a neural network-based model, ShellCore, to detect malicious shell commands. Namely, we collected a large dataset of shell commands, including malicious commands extracted from 2,891 IoT malware samples and benign commands collected from real-world network traffic analysis and volunteered data from Linux users. Using conventional machine and deep learning-based approaches trained with term- and character-level features, ShellCore is shown to achieve an accuracy of more than 99% in detecting malicious shell commands and files (i.e., binaries).


title: Adversarial Attacks are Reversible with Natural Supervision

abstract: We find that images contain intrinsic structure that enables the reversal of many adversarial attacks. Attack vectors cause not only image classifiers to fail, but also collaterally disrupt incidental structure in the image. We demonstrate that modifying the attacked image to restore the natural structure will reverse many types of attacks, providing a defense. Experiments demonstrate significantly improved robustness for several state-of-the-art models across the CIFAR-10, CIFAR-100, SVHN, and ImageNet datasets. Our results show that our defense is still effective even if the attacker is aware of the defense mechanism. Since our defense is deployed during inference instead of training, it is compatible with pre-trained networks as well as most other defenses. Our results suggest deep networks are vulnerable to adversarial examples partly because their representations do not enforce the natural structure of images.


title: Enhanced Thermoelectric Performance of Polycrystalline Si0.8Ge0.2 Alloys through the Addition of Nanoscale Porosity

abstract: Engineering materials to include nanoscale porosity or other nanoscale structures has become a well-established strategy for enhancing the thermoelectric performance of dielectrics. However, the approach is only considered beneficial for materials where the intrinsic phonon mean-free path is much longer than that of the charge carriers. As such, the approach would not be expected to provide significant performance gains in polycrystalline semiconducting alloys, such as SixGe1-x, where mass disorder and grains provide strong phonon scattering. In this manuscript, we demonstrate that the addition of nanoscale porosity to even ultrafine-grained Si0.8Ge0.2 may be worthwhile. The semiclassical Boltzmann transport equation was used to model electrical and phonon transport in polycrystalline Si0.8Ge0.2 containing prismatic pores perpendicular to the transport current. The models are free of tuning parameters and were validated against experimental data. The models reveal that a combination of pores and grain boundaries suppresses phonon conductivity to a magnitude comparable with the electronic thermal conductivity. In this regime, ZT can be further enhanced by reducing carrier concentration to the electrical and electronic thermal conductivity and simultaneously increasing thermopower. Although increases in ZT are modest, the optimal carrier concentration is significantly lowered, meaning semiconductors need not be so strongly supersaturated with dopants.


title: Active multi-fidelity Bayesian online changepoint detection

abstract: Online algorithms for detecting changepoints, or abrupt shifts in the behavior of a time series, are often deployed with limited resources, e.g., to edge computing settings such as mobile phones or industrial sensors. In these scenarios it may be beneficial to trade the cost of collecting an environmental measurement against the quality or "fidelity" of this measurement and how the measurement affects changepoint estimation. For instance, one might decide between inertial measurements or GPS to determine changepoints for motion. A Bayesian approach to changepoint detection is particularly appealing because we can represent our posterior uncertainty about changepoints and make active, cost-sensitive decisions about data fidelity to reduce this posterior uncertainty. Moreover, the total cost could be dramatically lowered through active fidelity switching, while remaining robust to changes in data distribution. We propose a multi-fidelity approach that makes cost-sensitive decisions about which data fidelity to collect based on maximizing information gain with respect to changepoints. We evaluate this framework on synthetic, video, and audio data and show that this information-based approach results in accurate predictions while reducing total cost.


title: SD-VEC: Software-Defined Vehicular Edge Computing with Ultra-Low Latency

abstract: New paradigm shifts and 6G technological revolution in vehicular services have emerged toward unmanned driving, automated transportation, and self-driving vehicles. As the technology for autonomous vehicles becomes mature, real challenges come from reliable, safe, real-time connected transportation operations to achieve ubiquitous and prompt information exchanges with massive connected and autonomous vehicles. This article aims at introducing novel wireless distributed architectures that embed the edge computing capability inside software-defined vehicular networking infrastructure. Such edge networks consist of open-loop grant-free communications and computing-based control frameworks, which enable dynamic eco-routing with ultra-low latency and mobile data-driven orchestration. Thus, this work advances the frontiers of machine learning potentials and next-generation mobile system realization in vehicular networking applications.


title: Large eddy simulation of a supersonic lifted hydrogen flame with perfectly stirred reactor model

abstract: Large Eddy Simulation with a Perfectly Stirred Reactor model (LES-PSR) is developed to simulate supersonic combustion with high-enthalpy flow conditions. The PSR model considers the viscous heating and compressibility effects on the thermo-chemical state, through correcting the chemical source term for progress variable and incorporating absolute enthalpy as the control variable for the look-up table. It is firstly validated by using a priori analysis of the viscous heating and compressibility effects. Then an auto-igniting hydrogen flame stabilized in supersonic vitiated co-flowing jet is simulated with LES-PSR method. The results show that the shock wave structure, overall flame characteristics, flame-shock interaction and lift-off height are accurately captured. Good agreements of the velocity and mixture fraction statistics with the experimental data are observed. The results also show that the LES-PSR model can predict the mean temperature and mole fractions of major species quite well in both flame induction and stabilization zones. However, there are some under-predictions of temperature RMS by about 100-150 K, which may be due to the chemical non-equilibrium in the H2/O2-enriched combustion product of the co-flowing jet. The scatter plots of two probe locations respectively from induction and flame zones show that the respective flame structures in mixture fraction space are captured well. However, the flucturations of the temperature and species mole fractions are under-predicted in the flame zone. The shock-induced auto-igniting spots are captured by the PSR model. These spots are highly unsteady and play an important role in flame stabilization. It is also shown that the intense reactions are initiated at mixture fractions around the stoichiometry or fuel-lean values, corresponding to local elevated pressure (1.5-2.0 atm) due to shock compression.


title: On the evolution of fuel droplet evaporation zone and its interaction with the flame front in ignition of spray flames

abstract: Evolution of fuel droplet evaporation zone and its interaction with the propagating flame front are studied in this work. A general theory is developed to describe the evolutions of flame propagation speed, flame temperature, droplet evaporation onset and completion locations in ignition and propagation of spherical flames. The influences of liquid droplet mass loading, heat exchange coefficient (or evaporation rate) and Lewis number on spherical spray flame ignition are studied. Two flame regimes are considered, i.e., heterogeneous and homogeneous flames, based on the mixture condition near the flame front. The results indicate that the spray flame trajectories are considerably affected by the ignition energy addition. The critical condition for successful ignition for the fuel-rich mixture is coincidence of inner and outer flame balls from igniting kernel and propagating flame. The flame balls always exist in homogeneous mixtures, indicating that ignition failure and critical successful events occur only in purely gaseous mixture. The fuel droplets have limited effects on minimum ignition energy, which however increases monotonically with the Lewis number. Moreover, flame kernel originates from heterogeneous mixtures due to the initially dispersed droplets near the spark. The evaporative heat loss in the burned and unburned zones of homogeneous and heterogeneous spray flames is also evaluated, and the results show that for the failed flame kernels, evaporative heat loss behind and before the flame front first increases and then decreases. The evaporative heat loss before the flame front generally increases, although non-monotonicity exists, when the flame is successfully ignited and propagate outwardly. For heterogeneous flames, the ratio of the heat loss from the burned zone to the total one decreases as the flame expands.


title: Assessment of Isoprene as a Possible Biosignature Gas in Exoplanets with Anoxic Atmospheres

abstract: Research for possible biosignature gases on habitable exoplanet atmosphere is accelerating. We add isoprene, C5H8, to the roster of biosignature gases. We found that formation of isoprene geochemical formation is highly thermodynamically disfavored and has no known abiotic false positives. The isoprene production rate on Earth rivals that of methane (~ 500 Tg yr-1). On Earth, isoprene is rapidly destroyed by oxygen-containing radicals, but its production is ubiquitous to a diverse array of evolutionarily distant organisms, from bacteria to plants and animals-few, if any at all, volatile secondary metabolite has a larger evolutionary reach. While non-photochemical sinks of isoprene may exist, the destruction of isoprene in an anoxic atmosphere is mainly driven by photochemistry. Motivated by the concept that isoprene might accumulate in anoxic environments, we model the photochemistry and spectroscopic detection of isoprene in habitable temperature, rocky exoplanet anoxic atmospheres with a variety of atmosphere compositions under different host star UV fluxes. Limited by an assumed 10 ppm instrument noise floor, habitable atmosphere characterization using JWST is only achievable with transit signal similar or larger than that for a super-Earth sized exoplanet transiting an M dwarf star with an H2-dominated atmosphere. Unfortunately, isoprene cannot accumulate to detectable abundance without entering a run-away phase, which occurs at a very high production rate, ~ 100 times Earth's production rate. In this run-away scenario isoprene will accumulate to > 100 ppm and its spectral features are detectable with ~ 20 JWST transits. One caveat is that some spectral features are hard to be distinguished from that of methane. Despite these challenges, isoprene is worth adding to the menu of potential biosignature gases.


title: Thermal Fault Detection and Localization Framework for Large Format Batteries

abstract: Safety against thermal failures is crucial in battery systems. Real-time thermal diagnostics can be a key enabler of such safer batteries. Thermal fault diagnostics in large format pouch or prismatic cells pose additional challenges compared to cylindrical cells. These challenges arise from the fact that the temperature distribution in large format cells is at least two-dimensional in nature (along length and breadth) while such distribution can be reasonably approximated in one dimension (along radial direction) in cylindrical cells. This difference makes the placement of temperature sensor(s) non-trivial and the design of detection algorithm challenging. In this work, we address these issues by proposing a framework that (i) optimizes the sensor locations to improve detectability and isolability of thermal faults, and (ii) designs a filtering scheme for fault detection and localization based on a two-dimensional thermal model. The proposed framework is illustrated by experimental and simulation studies on a commercial battery cell.


title: Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution

abstract: Spatial-temporal reasoning is a challenging task in Artificial Intelligence (AI) due to its demanding but unique nature: a theoretic requirement on representing and reasoning based on spatial-temporal knowledge in mind, and an applied requirement on a high-level cognitive system capable of navigating and acting in space and time. Recent works have focused on an abstract reasoning task of this kind -- Raven's Progressive Matrices (RPM). Despite the encouraging progress on RPM that achieves human-level performance in terms of accuracy, modern approaches have neither a treatment of human-like reasoning on generalization, nor a potential to generate answers. To fill in this gap, we propose a neuro-symbolic Probabilistic Abduction and Execution (PrAE) learner; central to the PrAE learner is the process of probabilistic abduction and execution on a probabilistic scene representation, akin to the mental manipulation of objects. Specifically, we disentangle perception and reasoning from a monolithic model. The neural visual perception frontend predicts objects' attributes, later aggregated by a scene inference engine to produce a probabilistic scene representation. In the symbolic logical reasoning backend, the PrAE learner uses the representation to abduce the hidden rules. An answer is predicted by executing the rules on the probabilistic representation. The entire system is trained end-to-end in an analysis-by-synthesis manner without any visual attribute annotations. Extensive experiments demonstrate that the PrAE learner improves cross-configuration generalization and is capable of rendering an answer, in contrast to prior works that merely make a categorical choice from candidates.


title: Congestion-aware Multi-agent Trajectory Prediction for Collision Avoidance

abstract: Predicting agents' future trajectories plays a crucial role in modern AI systems, yet it is challenging due to intricate interactions exhibited in multi-agent systems, especially when it comes to collision avoidance. To address this challenge, we propose to learn congestion patterns as contextual cues explicitly and devise a novel "Sense--Learn--Reason--Predict" framework by exploiting advantages of three different doctrines of thought, which yields the following desirable benefits: (i) Representing congestion as contextual cues via latent factors subsumes the concept of social force commonly used in physics-based approaches and implicitly encodes the distance as a cost, similar to the way a planning-based method models the environment. (ii) By decomposing the learning phases into two stages, a "student" can learn contextual cues from a "teacher" while generating collision-free trajectories. To make the framework computationally tractable, we formulate it as an optimization problem and derive an upper bound by leveraging the variational parametrization. In experiments, we demonstrate that the proposed model is able to generate collision-free trajectory predictions in a synthetic dataset designed for collision avoidance evaluation and remains competitive on the commonly used NGSIM US-101 highway dataset.


title: ACRE: Abstract Causal REasoning Beyond Covariation

abstract: Causal induction, i.e., identifying unobservable mechanisms that lead to the observable relations among variables, has played a pivotal role in modern scientific discovery, especially in scenarios with only sparse and limited data. Humans, even young toddlers, can induce causal relationships surprisingly well in various settings despite its notorious difficulty. However, in contrast to the commonplace trait of human cognition is the lack of a diagnostic benchmark to measure causal induction for modern Artificial Intelligence (AI) systems. Therefore, in this work, we introduce the Abstract Causal REasoning (ACRE) dataset for systematic evaluation of current vision systems in causal induction. Motivated by the stream of research on causal discovery in Blicket experiments, we query a visual reasoning system with the following four types of questions in either an independent scenario or an interventional scenario: direct, indirect, screening-off, and backward-blocking, intentionally going beyond the simple strategy of inducing causal relationships by covariation. By analyzing visual reasoning architectures on this testbed, we notice that pure neural models tend towards an associative strategy under their chance-level performance, whereas neuro-symbolic combinations struggle in backward-blocking reasoning. These deficiencies call for future research in models with a more comprehensive capability of causal induction.


title: On the Convergence of NEAR-DGD for Nonconvex Optimization with Second Order Guarantees

abstract: We consider the setting where the nodes of an undirected, connected network collaborate to solve a shared objective modeled as the sum of smooth functions. We assume that each summand is privately known by a unique node. NEAR-DGD is a distributed first order method which permits adjusting the amount of communication between nodes relative to the amount of computation performed locally in order to balance convergence accuracy and total application cost. In this work, we generalize the convergence properties of a variant of NEAR-DGD from the strongly convex to the nonconvex case. Under mild assumptions, we show convergence to minimizers of a custom Lyapunov function. Moreover, we demonstrate that the gap between those minimizers and the second order stationary solutions of the original problem can become arbitrarily small depending on the choice of algorithm parameters. Finally, we accompany our theoretical analysis with a numerical experiment to evaluate the empirical performance of NEAR-DGD in the nonconvex setting.


title: Radiative lepton mass and muon $g-2$ with suppressed lepton flavor and CP violations

abstract: The recent experimental status, including the confirmation of the muon $g-2$ anomaly at Fermilab, indicates a Beyond Standard Model (BSM) satisfying the following properties: 1) it enhances the $g-2$ 2) suppresses flavor violations, such as $\mu \to e \gamma$, 3) suppresses CP violations, such as the electron electric dipole moment (EDM). In this letter, I show that if the masses of heavy leptons are generated radiatively, the eigenbasis of the mass matrix and higher dimensional photon operators can be automatically aligned. As a result, the muon $g-2$ is enhanced but the EDM of the electron and $\mu \to e \gamma$ rate are suppressed. Phenomenology and applications of the mechanism to the B-physics anomalies are argued.


title: Socio-Technical Grounded Theory for Software Engineering

abstract: Grounded Theory (GT), a sociological research method designed to study social phenomena, is increasingly being used to investigate the human and social aspects of software engineering (SE). However, being written by and for sociologists, GT is often challenging for a majority of SE researchers to understand and apply. Additionally, SE researchers attempting ad hoc adaptations of traditional GT guidelines for modern socio-technical (ST) contexts often struggle in the absence of clear and relevant guidelines to do so, resulting in poor quality studies. To overcome these research community challenges and leverage modern research opportunities, this paper presents Socio-Technical Grounded Theory (STGT) designed to ease application and achieve quality outcomes. It defines what exactly is meant by an ST research context and presents the STGT guidelines that expand GT's philosophical foundations, provide increased clarity and flexibility in its methodological steps and procedures, define possible scope and contexts of application, encourage frequent reporting of a variety of interim, preliminary, and mature outcomes, and introduce nuanced evaluation guidelines for different outcomes. It is hoped that the SE research community and related ST disciplines such as computer science, data science, artificial intelligence, information systems, human computer/robot/AI interaction, human-centered emerging technologies (and increasingly other disciplines being transformed by rapid digitalisation and AI-based augmentation), will benefit from applying STGT to conduct quality research studies and systematically produce rich findings and mature theories with confidence.


title: Subspace-based compressive sensing algorithm for raypath separation in a shallow-water waveguide

abstract: Compressive sensing (CS) has been applied to estimate the direction of arrival (DOA) in underwater acoustics. However, the key problem needed to be resolved in a {multipath} propagation environment is to suppress the interferences between the raypaths. Thus, in this paper, {a subspace-based compressive sensing algorithm that formulates the statistic information of the signal subspace in a CS framework is proposed.} The experiment results show that (1) the proposed algorithm enables the separation of raypaths that arrive closely at the {receiver} array and (2) the existing algorithms fail, especially in a low signal-to-noise ratio (SNR) environment.


title: Fuzzy linear systems and core-EP inverses

abstract: The main purpose of this paper is to provide a solution of the consistent fuzzy linear system and a generalized solution of the inconsistent fuzzy linear system involving the core-EP inverse of an associated matrix. Before this can be achieved, it is necessary to study the block structure of the core-EP inverse. Finally, results are illustrated with some numerical examples.


title: FRITL: A Hybrid Method for Causal Discovery in the Presence of Latent Confounders

abstract: We consider the problem of estimating a particular type of linear non-Gaussian model. Without resorting to the overcomplete Independent Component Analysis (ICA), we show that under some mild assumptions, the model is uniquely identified by a hybrid method. Our method leverages the advantages of constraint-based methods and independent noise-based methods to handle both confounded and unconfounded situations. The first step of our method uses the FCI procedure, which allows confounders and is able to produce asymptotically correct results. The results, unfortunately, usually determine very few unconfounded direct causal relations, because whenever it is possible to have a confounder, it will indicate it. The second step of our procedure finds the unconfounded causal edges between observed variables among only those adjacent pairs informed by the FCI results. By making use of the so-called Triad condition, the third step is able to find confounders and their causal relations with other variables. Afterward, we apply ICA on a notably smaller set of graphs to identify remaining causal relationships if needed. Extensive experiments on simulated data and real-world data validate the correctness and effectiveness of the proposed method.


title: On the number of representations of integers as differences between Piatetski-Shapiro numbers

abstract: For $\alpha>1$, set $\beta=1/(\alpha-1)$. We show that, for every $1<\alpha<(\sqrt{21}+4)/5\approx1.717$, the number of pairs $(m,n)$ of positive integers with $d=\lfloor{n^\alpha}\rfloor - \lfloor{m^\alpha}\rfloor$ is equal to $\beta\alpha^{-\beta}\zeta(\beta)d^{\beta-1} + o(d^{\beta-1})$ as $d\to\infty$, where $\zeta$ denotes the Riemann zeta function. We use this result to derive an asymptotic formula for the number of triplets $(l,m,n)$ of positive integers such that $l<x$ and $\lfloor{l^\alpha}\rfloor + \lfloor{m^\alpha}\rfloor = \lfloor{n^\alpha}\rfloor$. Furthermore, we prove that the additive energy of the sequence $(\lfloor{n^\alpha}\rfloor)_{n=1}^N$, i.e., the number of quadruples $(n_1,n_2,n_3,n_4)$ of positive integers with $\lfloor{n_1^\alpha}\rfloor+\lfloor{n_2^\alpha}\rfloor=\lfloor{n_3^\alpha}\rfloor+\lfloor{n_4^\alpha}\rfloor$ and $n_1,n_2,n_3,n_4\le N$, is equal to $O_\alpha(N^{4-\alpha})$ when $1<\alpha\le4/3$.


title: New Characterizations of $S$-coherent rings

abstract: In this paper, we introduce and study the class $S$-$\mathcal{F}$-ML of $S$-Mittag-Leffler modules with respect to all flat modules. We show that a ring $R$ is $S$-coherent if and only if $S$-$\mathcal{F}$-ML is closed under submodules. As an application, we obtain the $S$-version of Chase Theorem: a ring $R$ is $S$-coherent if and only if any direct product of $R$ is $S$-flat if and only if any direct product of flat $R$-modules is $S$-flat. Consequently, we provide an answer to the open question proposed by D. Bennis and M. El Hajoui [3].


title: A gauge-symmetrization method for energy-momentum tensors in high-order electromagnetic field theories

abstract: For electromagnetic field theories, canonical energy-momentum conservation laws can be derived from the underpinning spacetime translation symmetry according to the Noether procedure. However, the canonical Energy-Momentum Tensors (EMTs) are neither symmetric nor gauge-symmetric (gauge invariant). The Belinfante-Rosenfeld (BR) method is a well-known procedure to symmetrize the EMTs, which also renders them gauge symmetric for first-order field theories. High-order electromagnetic field theories appear in the study of gyrokinetic systems for magnetized plasmas and the Podolsky system for the radiation reaction of classical charged particles. For these high-order field theories, gauge-symmetric EMTs are not necessarily symmetric and vice versa. In the present study, we develop a new gauge-symmetrization method for EMTs in high-order electromagnetic field theories. The Noether procedure is carried out using the Faraday tensor F, instead of the 4-potential A, to derive a canonical EMT T_N. We show that the gauge-dependent part of T_N can be removed using the displacement-potential tensor \mathcal{F}=\mathcal{D}*A/4\pi, where \mathcal{D} is the anti-symmetric electric displacement tensor. This method gauge-symmetrize the EMT without necessarily making it symmetric, which is adequate for applications not involving general relativity. For first-order electromagnetic field theories, such as the standard Maxwell system, \mathcal{F} reduces to the familiar BR super-potential \mathcal{S}, and the method developed can be used as a simpler procedure to calculate \mathcal{S} without employing the angular momentum tensor in 4D spacetime. When the electromagnetic system is coupled to classical charged particles, the gauge-symmetrization method for EMTs is shown to be effective as well.


title: Learning from Pixel-Level Label Noise: A New Perspective for Semi-Supervised Semantic Segmentation

abstract: This paper addresses semi-supervised semantic segmentation by exploiting a small set of images with pixel-level annotations (strong supervisions) and a large set of images with only image-level annotations (weak supervisions). Most existing approaches aim to generate accurate pixel-level labels from weak supervisions. However, we observe that those generated labels still inevitably contain noisy labels. Motivated by this observation, we present a novel perspective and formulate this task as a problem of learning with pixel-level label noise. Existing noisy label methods, nevertheless, mainly aim at image-level tasks, which can not capture the relationship between neighboring labels in one image. Therefore, we propose a graph based label noise detection and correction framework to deal with pixel-level noisy labels. In particular, for the generated pixel-level noisy labels from weak supervisions by Class Activation Map (CAM), we train a clean segmentation model with strong supervisions to detect the clean labels from these noisy labels according to the cross-entropy loss. Then, we adopt a superpixel-based graph to represent the relations of spatial adjacency and semantic similarity between pixels in one image. Finally we correct the noisy labels using a Graph Attention Network (GAT) supervised by detected clean labels. We comprehensively conduct experiments on PASCAL VOC 2012, PASCAL-Context and MS-COCO datasets. The experimental results show that our proposed semi supervised method achieves the state-of-the-art performances and even outperforms the fully-supervised models on PASCAL VOC 2012 and MS-COCO datasets in some cases.


title: Comment on the paper Generalized version of chiral Schwinger model in terms of chiral bosonization, Eur.Phys.J.C 81 (2021) 3, 199

abstract: The results and calculations of the article \cite{SY} is found erroneous for a generic $r$ and it remains irremediable in general. However for $r=0$, $r=\pm 1$, and $r >> 1$ it may be physically acceptable.


title: A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and Defenses in Cryptography

abstract: Side-channel attacks have become a severe threat to the confidentiality of computer applications and systems. One popular type of such attacks is the microarchitectural attack, where the adversary exploits the hardware features to break the protection enforced by the operating system and steal the secrets from the program. In this paper, we systematize microarchitectural side channels with a focus on attacks and defenses in cryptographic applications. We make three contributions. (1) We survey past research literature to categorize microarchitectural side-channel attacks. Since these are hardware attacks targeting software, we summarize the vulnerable implementations in software, as well as flawed designs in hardware. (2) We identify common strategies to mitigate microarchitectural attacks, from the application, OS and hardware levels. (3) We conduct a large-scale evaluation on popular cryptographic applications in the real world, and analyze the severity, practicality and impact of side-channel vulnerabilities. This survey is expected to inspire side-channel research community to discover new attacks, and more importantly, propose new defense solutions against them.


title: Improve GAN-based Neural Vocoder using Pointwise Relativistic LeastSquare GAN

abstract: GAN-based neural vocoders, such as Parallel WaveGAN and MelGAN have attracted great interest due to their lightweight and parallel structures, enabling them to generate high fidelity waveform in a real-time manner. In this paper, inspired by Relativistic GAN, we introduce a novel variant of the LSGAN framework under the context of waveform synthesis, named Pointwise Relativistic LSGAN (PRLSGAN). In this approach, we take the truism score distribution into consideration and combine the original MSE loss with the proposed pointwise relative discrepancy loss to increase the difficulty of the generator to fool the discriminator, leading to improved generation quality. Moreover, PRLSGAN is a general-purposed framework that can be combined with any GAN-based neural vocoder to enhance its generation quality. Experiments have shown a consistent performance boost based on Parallel WaveGAN and MelGAN, demonstrating the effectiveness and strong generalization ability of our proposed PRLSGAN neural vocoders.


title: Value Function Estimators for Feynman-Kac Forward-Backward SDEs in Stochastic Optimal Control

abstract: Two novel numerical estimators are proposed for solving forward-backward stochastic differential equations (FBSDEs) appearing in the Feynman-Kac representation of the value function in stochastic optimal control problems. In contrast to the current numerical approaches which are based on the discretization of the continuous-time FBSDE, we propose a converse approach, namely, we obtain a discrete-time approximation of the on-policy value function, and then we derive a discrete-time estimator that resembles the continuous-time counterpart. The proposed approach allows for the construction of higher accuracy estimators along with error analysis. The approach is applied to the policy improvement step in reinforcement learning. Numerical results and error analysis are demonstrated using (i) a scalar nonlinear stochastic optimal control problem and (ii) a four-dimensional linear quadratic regulator (LQR) problem. The proposed estimators show significant improvement in terms of accuracy in both cases over Euler-Maruyama-based estimators used in competing approaches. In the case of LQR problems, we demonstrate that our estimators result in near machine-precision level accuracy, in contrast to previously proposed methods that can potentially diverge on the same problems.


title: Super-Resolving Compressed Video in Coding Chain

abstract: Scaling and lossy coding are widely used in video transmission and storage. Previous methods for enhancing the resolution of such videos often ignore the inherent interference between resolution loss and compression artifacts, which compromises perceptual video quality. To address this problem, we present a mixed-resolution coding framework, which cooperates with a reference-based DCNN. In this novel coding chain, the reference-based DCNN learns the direct mapping from low-resolution (LR) compressed video to their high-resolution (HR) clean version at the decoder side. We further improve reconstruction quality by devising an efficient deformable alignment module with receptive field block to handle various motion distances and introducing a disentangled loss that helps networks distinguish the artifact patterns from texture. Extensive experiments demonstrate the effectiveness of proposed innovations by comparing with state-of-the-art single image, video and reference-based restoration methods.


abstract: One-loop $W$ boson contributions to the decay $H\rightarrow Z\gamma$ in the general $R_\xi$ gauge are presented. The analytical results are expressed in terms of well-known Passarino-Veltman functions which their numerical evaluations can be generated using {\tt LoopTools}. In the limit $d\rightarrow 4$, we have shown that these analytical results are independent of the unphysical parameter $\xi$ and consistent with previous results. The gauge parameter independence are also checked numerically for consistence. Our results are also well stable with different values of $\xi =0, 1, 100,$ and $\xi \rightarrow \infty$.


abstract: This paper introduces a new benchmarking dataset for marine snow removal of underwater images. Marine snow is one of the main degradation sources of underwater images that are caused by small particles, e.g., organic matter and sand, between the underwater scene and photosensors. We mathematically model two typical types of marine snow from the observations of real underwater images. The modeled artifacts are synthesized with underwater images to construct large-scale pairs of ground truth and degraded images to calculate objective qualities for marine snow removal and to train a deep neural network. We propose two marine snow removal tasks using the dataset and show the first benchmarking results of marine snow removal. The Marine Snow Removal Benchmarking Dataset is publicly available online.


title: Evaluation of deep learning models for multi-step ahead time series prediction

abstract: Time series prediction with neural networks has been the focus of much research in the past few decades. Given the recent deep learning revolution, there has been much attention in using deep learning models for time series prediction, and hence it is important to evaluate their strengths and weaknesses. In this paper, we present an evaluation study that compares the performance of deep learning models for multi-step ahead time series prediction. The deep learning methods comprise simple recurrent neural networks, long short-term memory (LSTM) networks, bidirectional LSTM networks, encoder-decoder LSTM networks, and convolutional neural networks. We provide a further comparison with simple neural networks that use stochastic gradient descent and adaptive moment estimation (Adam) for training. We focus on univariate time series for multi-step-ahead prediction from benchmark time-series datasets and provide a further comparison of the results with related methods from the literature. The results show that the bidirectional and encoder-decoder LSTM network provides the best performance in accuracy for the given time series problems.


title: Embedding Power Flow into Machine Learning for Parameter and State Estimation

abstract: Modern state and parameter estimations in power systems consist of two stages: the outer problem of minimizing the mismatch between network observation and prediction over the network parameters, and the inner problem of predicting the system state for given values of the parameters. The standard solution of the combined problem is iterative: (a) set the parameters, e.g. to priors on the power line characteristics, (b) map input observation to prediction of the output, (c) compute the mismatch between predicted and observed output, (d) make a gradient descent step in the space of parameters to minimize the mismatch, and loop back to (a). We show how modern Machine Learning (ML), and specifically training guided by automatic differentiation, allows to resolve the iterative loop more efficiently. Moreover, we extend the scheme to the case of incomplete observations, where Phasor Measurement Units (reporting real and reactive powers, voltage and phase) are available only at the generators (PV buses), while loads (PQ buses) report (via SCADA controls) only active and reactive powers. Considering it from the implementation perspective, our methodology of resolving the parameter and state estimation problem can be viewed as embedding of the Power Flow (PF) solver into the training loop of the Machine Learning framework (PyTorch, in this study). We argue that this embedding can help to resolve high-level optimization problems in power system operations and planning.


title: Toward Safety-Aware Informative Motion Planning for Legged Robots

abstract: This paper reports on developing an integrated framework for safety-aware informative motion planning suitable for legged robots. The information-gathering planner takes a dense stochastic map of the environment into account, while safety constraints are enforced via Control Barrier Functions (CBFs). The planner is based on the Incrementally-exploring Information Gathering (IIG) algorithm and allows closed-loop kinodynamic node expansion using a Model Predictive Control (MPC) formalism. Robotic exploration and information gathering problems are inherently path-dependent problems. That is, the information collected along a path depends on the state and observation history. As such, motion planning solely based on a modular cost does not lead to suitable plans for exploration. We propose SAFE-IIG, an integrated informative motion planning algorithm that takes into account: 1) a robot's perceptual field of view via a submodular information function computed over a stochastic map of the environment, 2) a robot's dynamics and safety constraints via discrete-time CBFs and MPC for closed-loop multi-horizon node expansions, and 3) an automatic stopping criterion via setting an information-theoretic planning horizon. The simulation results show that SAFE-IIG can plan a safe and dynamically feasible path while exploring a dense map.


title: Supervised Chorus Detection for Popular Music Using Convolutional Neural Network and Multi-task Learning

abstract: This paper presents a novel supervised approach to detecting the chorus segments in popular music. Traditional approaches to this task are mostly unsupervised, with pipelines designed to target some quality that is assumed to define "chorusness," which usually means seeking the loudest or most frequently repeated sections. We propose to use a convolutional neural network with a multi-task learning objective, which simultaneously fits two temporal activation curves: one indicating "chorusness" as a function of time, and the other the location of the boundaries. We also propose a post-processing method that jointly takes into account the chorus and boundary predictions to produce binary output. In experiments using three datasets, we compare our system to a set of public implementations of other segmentation and chorus-detection algorithms, and find our approach performs significantly better.


title: On Efficient Aggregation of Distributed Energy Resources

abstract: The rapid expansion of distributed energy resources (DERs) is one of the most significant changes to electricity systems around the world. Examples of DERs include solar panels, small natural gas-fueled generators, combined heat and power plants, etc. Due to the small supply capacities of these DERs, it is impractical for them to participate directly in the wholesale electricity market. We study in this paper an efficient aggregation model where a profit-maximizing aggregator procures electricity from DERs, and sells them in the wholesale market. The interaction between the aggregator and the DER owners is modeled as a Stackelberg game: the aggregator adopts two-part pricing by announcing a participation fee and a per-unit price of procurement for each DER owner, and the DER owner responds by choosing her payoff-maximizing energy supplies. We show that our proposed model preserves full market efficiency, i.e., the social welfare achieved by the aggregation model is the same as that when DERs participate directly in the wholesale market. We also note that two-part pricing is critical for market efficiency, and illustrate via an example that with one-part pricing, there will be an efficiency loss from DER aggregation, due to the profit-seeking behavior of the aggregator.


title: Mixing-AdaSIN: Constructing a De-biased Dataset using Adaptive Structural Instance Normalization and Texture Mixing

abstract: Following the pandemic outbreak, several works have proposed to diagnose COVID-19 with deep learning in computed tomography (CT); reporting performance on-par with experts. However, models trained/tested on the same in-distribution data may rely on the inherent data biases for successful prediction, failing to generalize on out-of-distribution samples or CT with different scanning protocols. Early attempts have partly addressed bias-mitigation and generalization through augmentation or re-sampling, but are still limited by collection costs and the difficulty of quantifying bias in medical images. In this work, we propose Mixing-AdaSIN; a bias mitigation method that uses a generative model to generate de-biased images by mixing texture information between different labeled CT scans with semantically similar features. Here, we use Adaptive Structural Instance Normalization (AdaSIN) to enhance de-biasing generation quality and guarantee structural consistency. Following, a classifier trained with the generated images learns to correctly predict the label without bias and generalizes better. To demonstrate the efficacy of our method, we construct a biased COVID-19 vs. bacterial pneumonia dataset based on CT protocols and compare with existing state-of-the-art de-biasing methods. Our experiments show that classifiers trained with de-biased generated images report improved in-distribution performance and generalization on an external COVID-19 dataset.


title: Learning Reactive and Predictive Differentiable Controllers for Switching Linear Dynamical Models

abstract: Humans leverage the dynamics of the environment and their own bodies to accomplish challenging tasks such as grasping an object while walking past it or pushing off a wall to turn a corner. Such tasks often involve switching dynamics as the robot makes and breaks contact. Learning these dynamics is a challenging problem and prone to model inaccuracies, especially near contact regions. In this work, we present a framework for learning composite dynamical behaviors from expert demonstrations. We learn a switching linear dynamical model with contacts encoded in switching conditions as a close approximation of our system dynamics. We then use discrete-time LQR as the differentiable policy class for data-efficient learning of control to develop a control strategy that operates over multiple dynamical modes and takes into account discontinuities due to contact. In addition to predicting interactions with the environment, our policy effectively reacts to inaccurate predictions such as unanticipated contacts. Through simulation and real world experiments, we demonstrate generalization of learned behaviors to different scenarios and robustness to model inaccuracies during execution.


title: Plasma Heating Induced by Tadpole-Like Downflows in the Flaring Solar Corona

abstract: As one of the most spectacular energy release events in the solar system, solar flares are generally powered by magnetic reconnection in the solar corona. As a result of the re-arrangement of magnetic field topology after the reconnection process, a series of new loop-like magnetic structures are often formed and are known as flare loops. A hot diffuse region, consisting of around 5-10 MK plasma, is also observed above the loops and is called a supra-arcade fan. Often, dark, tadpole-like structures are seen to descend through the bright supra-arcade fans. It remains unclear what role these so-called supra-arcade downflows (SADs) play in heating the flaring coronal plasma. Here we show a unique flare observation, where many SADs collide with the flare loops and strongly heat the loops to a temperature of 10-20 MK. Several of these interactions generate clear signatures of quasi-periodic enhancement in the full-Sun-integrated soft X-ray emission, providing an alternative interpretation for quasi-periodic pulsations that are commonly observed during solar and stellar flares.


title: Learning to Track with Object Permanence

abstract: Tracking by detection, the dominant approach for online multi-object tracking, alternates between localization and association steps. As a result, it strongly depends on the quality of instantaneous observations, often failing when objects are not fully visible. In contrast, tracking in humans is underlined by the notion of object permanence: once an object is recognized, we are aware of its physical existence and can approximately localize it even under full occlusions. In this work, we introduce an end-to-end trainable approach for joint object detection and tracking that is capable of such reasoning. We build on top of the recent CenterTrack architecture, which takes pairs of frames as input, and extend it to videos of arbitrary length. To this end, we augment the model with a spatio-temporal, recurrent memory module, allowing it to reason about object locations and identities in the current frame using all the previous history. It is, however, not obvious how to train such an approach. We study this question on a new, large-scale, synthetic dataset for multi-object tracking, which provides ground truth annotations for invisible objects, and propose several approaches for supervising tracking behind occlusions. Our model, trained jointly on synthetic and real data, outperforms the state of the art on KITTI and MOT17 datasets thanks to its robustness to occlusions.


title: OTA: Optimal Transport Assignment for Object Detection

abstract: Recent advances in label assignment in object detection mainly seek to independently define positive/negative training samples for each ground-truth (gt) object. In this paper, we innovatively revisit the label assignment from a global perspective and propose to formulate the assigning procedure as an Optimal Transport (OT) problem -- a well-studied topic in Optimization Theory. Concretely, we define the unit transportation cost between each demander (anchor) and supplier (gt) pair as the weighted summation of their classification and regression losses. After formulation, finding the best assignment solution is converted to solve the optimal transport plan at minimal transportation costs, which can be solved via Sinkhorn-Knopp Iteration. On COCO, a single FCOS-ResNet-50 detector equipped with Optimal Transport Assignment (OTA) can reach 40.7% mAP under 1X scheduler, outperforming all other existing assigning methods. Extensive experiments conducted on COCO and CrowdHuman further validate the effectiveness of our proposed OTA, especially its superiority in crowd scenarios. The code is available at https://github.com/Megvii-BaseDetection/OTA.


title: Diameter and connectivity of finite simple graphs

abstract: Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $\kappa(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = \kappa(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - \kappa(G)$ will be classified.


title: A Persistent and Context-aware Behavior Tree Framework for Multi Sensor Localization in Autonomous Driving

abstract: Robust and persistent localisation is essential for ensuring the safe operation of autonomous vehicles. When operating in large and diverse urban driving environments, autonomous vehicles are frequently exposed to situations that violate the assumptions of algorithms, suffer from the failure of one or more sensors, or other events that lead to a loss of localisation. This paper proposes the use of a behavior tree framework that can monitor the performance of localisation health metrics and triggers intelligent responses such as sensor switching and loss recovery. The algorithm presented selects the best available sensor data at given time and location, and can perform a series of actions to react to adverse situations. The behavior tree encapsulates the system-level logic to give commands that make up the intelligent behaviors, so that the localisation "actuators" (data association, optimisation, filters, etc) can perform decoupled actions without needing context. Experimental results to validate the algorithms are presented using the University of Sydney Campus dataset which was taken weekly over an 18 month period. A video showing the online localisation process can be found here: https://youtu.be/353uKqXLV5g


title: Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic

abstract: Pandemics can bring a range of devastating consequences to public health and the world economy. Identifying the most effective control strategies has been the imperative task all around the world. Various public health control strategies have been proposed and tested against pandemic diseases (e.g., COVID-19). We study two specific pandemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; and the SEIR model with shield immunity control. We express the pandemic control requirement in metric temporal logic (MTL) formulas. We then develop an iterative approach for synthesizing the optimal control strategies with MTL specifications. We provide simulation results in two different scenarios for robust control of the COVID-19 pandemic: one for vaccination control, and another for shield immunity control, with the model parameters estimated from data in Lombardy, Italy. The results show that the proposed synthesis approach can generate control inputs such that the time-varying numbers of individuals in each category (e.g., infectious, immune) satisfy the MTL specifications with robustness against initial state and parameter uncertainties.


title: Influence of electric and magnetic fields and $\sigma$-edge bands on the electronic and optical spectra of graphene nanoribbons

abstract: The unusual electronic and optical properties of armchair and zigzag graphene nanoribbons (GNRs) subject to in-plane transverse electric and perpendicular magnetic fields have been systematically investigated. Our calculations were carried out within the generalized multi-orbital tight-binding model based on a Hamiltonian which takes into account hopping integrals among the (s, $p_x$, $p_y$, $p_z$) atomic orbitals as well as the external electric and magnetic fields. The electronic structure consists of $\pi$ bands arising from the $p_z$ orbital and $\sigma$ bands originating from the (s, $p_x$, $p_y$) orbitals. The energy bands and optical spectra are diversified by both the nature of the edge of the nanoribbon and strength of the external fields. Armchair GNRs display a width-dependent energy gap in addition to low-energy $\sigma$ bands while the zigzag system has the unfilled flat band with $\pi$ edge states at zero energy and partially filled wide-range $\sigma$ bands. An applied in-plane electric field leads to the splitting of energy bands and shifted Fermi level, thereby enriching the inter-band and intra-band optical conductivities. The interplay between an external magnetic field and the edge geometry gives rise to extraordinary quantized Landau levels and special optical spectra.


title: Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems

abstract: In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present the stochastic control bisimulation function for switched stochastic control systems, which bounds the trajectory divergence between the switched stochastic control system and its nominal deterministic control system in a probabilistic fashion. We then develop a method to compute optimal control inputs by solving an optimization problem for the nominal trajectory of the deterministic control system with robustness against initial state variations and stochastic uncertainties. We implement our robust stochastic controller synthesis approach on both a four-bus power system and a nine-bus power system under generation loss disturbances, with MTL specifications expressing requirements for the grid frequency deviations, wind turbine generator rotor speed variations and the power flow constraints at different power lines.


title: Microscopic analysis of the energy, momentum and spin distributions in a surface plasmon-polariton wave

abstract: We analyze the electromagnetic field near a plane interface between a conductive and a dielectric media, under conditions supporting surface plasmon-polariton (SPP) propagation. The conductive medium is described by the hydrodynamic electron-gas model that enables a consistent analysis of the field-induced variations of the electron density and velocity at the interface and its nearest vicinity. The distributions of electromagnetic dynamical characteristics: energy, energy flow, spin and momentum are calculated analytically and illustrated numerically, employing silver-vacuum interface as an example. A set of the "field" and material contributions to the energy, spin and momentum are explicitly identified and classified with respect to their physical origins and properties, and the orbital (canonical) and spin (Belinfante) momentum constituents are separately examined. In this context, a procedure for the spin-orbital momentum decomposition in the presence of free charges is proposed and substantiated. The microscopic results agree with the known phenomenological data but additionally show specific nanoscale structures in the near-interface behavior of the SPP energy and momentum, which can be deliberately created, controlled and used in nanotechnology applications.


title: Gravitational interaction signatures in isolated galaxy triplet systems: a photometric analysis

abstract: Galaxy triplets are interesting laboratories where we can study the formation and the evolution of small and large systems of galaxies. This study aims to investigate signs of interaction between the members of nine isolated galaxy triplet systems (27 galaxies) selected from the "SDSS-based catalogue of Isolated Triplets" (SIT) with members brighter than 17.0 ($m_r\le$ 17.0) in the $r-$band, and mean projected separation between the members of $r_p \leq$ 0.1 Mpc. In this work, we performed a one-dimensional (1D) fitting of the surface brightness profiles and a two-dimensional (2D) modeling of the sample galaxies. In the 1D fitting, we examined the far outer part of the light profiles of disk galaxies (22 galaxies) and categorized them into type I (simple exponential), type II (down-bending), and type III (up-bending). This fitting results showed that 55$\%$ of disk galaxies in our sample represent type III i.e are in state of interaction. In the 2D modeling, we fit smooth axisymmetric profiles to the 27 galaxies and found that 70$\%$ exhibit asymmetric features and signs of interactions in their residual images. Thus, we conclude that galaxy triplets, with projected separations ($r_p \leq$ 0.1 Mpc) between their members, are physically bounded systems that show pronounced signs of interactions.


title: Contrastive Learning based Hybrid Networks for Long-Tailed Image Classification

abstract: Learning discriminative image representations plays a vital role in long-tailed image classification because it can ease the classifier learning in imbalanced cases. Given the promising performance contrastive learning has shown recently in representation learning, in this work, we explore effective supervised contrastive learning strategies and tailor them to learn better image representations from imbalanced data in order to boost the classification accuracy thereon. Specifically, we propose a novel hybrid network structure being composed of a supervised contrastive loss to learn image representations and a cross-entropy loss to learn classifiers, where the learning is progressively transited from feature learning to the classifier learning to embody the idea that better features make better classifiers. We explore two variants of contrastive loss for feature learning, which vary in the forms but share a common idea of pulling the samples from the same class together in the normalized embedding space and pushing the samples from different classes apart. One of them is the recently proposed supervised contrastive (SC) loss, which is designed on top of the state-of-the-art unsupervised contrastive loss by incorporating positive samples from the same class. The other is a prototypical supervised contrastive (PSC) learning strategy which addresses the intensive memory consumption in standard SC loss and thus shows more promise under limited memory budget. Extensive experiments on three long-tailed classification datasets demonstrate the advantage of the proposed contrastive learning based hybrid networks in long-tailed classification.


title: Confluent Vessel Trees with Accurate Bifurcations

abstract: We are interested in unsupervised reconstruction of complex near-capillary vasculature with thousands of bifurcations where supervision and learning are infeasible. Unsupervised methods can use many structural constraints, e.g. topology, geometry, physics. Common techniques use variants of MST on geodesic tubular graphs minimizing symmetric pairwise costs, i.e. distances. We show limitations of such standard undirected tubular graphs producing typical errors at bifurcations where flow "directedness" is critical. We introduce a new general concept of confluence for continuous oriented curves forming vessel trees and show how to enforce it on discrete tubular graphs. While confluence is a high-order property, we present an efficient practical algorithm for reconstructing confluent vessel trees using minimum arborescence on a directed graph enforcing confluence via simple flow-extrapolating arc construction. Empirical tests on large near-capillary sub-voxel vasculature volumes demonstrate significantly improved reconstruction accuracy at bifurcations. Our code has also been made publicly available.


title: Input-Output Balanced Framework for Long-tailed LiDAR Semantic Segmentation

abstract: A thorough and holistic scene understanding is crucial for autonomous vehicles, where LiDAR semantic segmentation plays an indispensable role. However, most existing methods focus on the network design while neglecting the inherent difficulty, imbalanced data distribution in the realistic dataset (also named long-tailed distribution), which narrows down the capability of state-of-the-art methods. In this paper, we propose an input-output balanced framework to handle the issue of long-tailed distribution. Specifically, for the input space, we synthesize these tailed instances from mesh models and well simulate the position and density distribution of LiDAR scan, which enhances the input data balance and improves the data diversity. For the output space, a multi-head block is proposed to group different categories based on their shapes and instance amounts, which alleviates the biased representation of dominating category during the feature learning. We evaluate the proposed model on two large-scale datasets, SemanticKITTI and nuScenes, where state-of-the-art results demonstrate its effectiveness. The proposed new modules can also be used as a plug-and-play, and we apply them on various backbones and datasets, showing its good generalization ability.


title: 1-loop matching of a thermal Lorentz force

abstract: Studying the diffusion and kinetic equilibration of heavy quarks within a hot QCD medium profits from the knowledge of a coloured Lorentz force that acts on them. Starting from the spatial components of the vector current, and carrying out two matching computations, one for the heavy quark mass scale ($M$) and another for thermal scales ($\sqrt{MT}$, $T$), we determine 1-loop matching coefficients for the electric and magnetic parts of a Lorentz force. The magnetic part has a non-zero anomalous dimension, which agrees with that extracted from two other considerations, one thermal and the other in vacuum. The matching coefficient could enable a lattice study of a colour-magnetic 2-point correlator.


title: Proton-$\rm ^3He$ elastic scattering at intermediate energies

abstract: We present a precise measurement of the cross section, proton and $\rm ^3He$ analyzing powers, and spin correlation coefficient $C_{y,y}$ for $p$-$\rm ^3He$ elastic scattering near 65 MeV, and a comparison with rigorous four-nucleon scattering calculations based on realistic nuclear potentials and a model with $\Delta$-isobar excitation. Clear discrepancies are seen in some of the measured observables in the regime around the cross section minimum. Theoretical predictions using scaling relations between the calculated cross section and the $\rm ^3 He$ binding energy are not successful in reproducing the data. Large sensitivity to the $NN$ potentials and rather small $\Delta$-isobar effects in the calculated cross section are noticed as different features from those in the deuteron-proton elastic scattering. The results obtained above indicate that $p$-$\rm ^3He$ scattering at intermediate energies is an excellent tool to explore nuclear interactions not accessible by three-nucleon scattering.


title: Hierarchical Federated Learning with Quantization: Convergence Analysis and System Design

abstract: Federated learning (FL) is a powerful distributed machine learning framework where a server aggregates models trained by different clients without accessing their private data. Hierarchical FL, with a client-edge-cloud aggregation hierarchy, can effectively leverage both the cloud server's access to many clients' data and the edge servers' closeness to the clients to achieve a high communication efficiency. Neural network quantization can further reduce the communication overhead during model uploading. To fully exploit the advantages of hierarchical FL, an accurate convergence analysis with respect to the key system parameters is needed. Unfortunately, existing analysis is loose and does not consider model quantization. In this paper, we derive a tighter convergence bound for hierarchical FL with quantization. The convergence result leads to practical guidelines for important design problems such as the client-edge aggregation and edge-client association strategies. Based on the obtained analytical results, we optimize the two aggregation intervals and show that the client-edge aggregation interval should slowly decay while the edge-cloud aggregation interval needs to adapt to the ratio of the client-edge and edge-cloud propagation delay. Simulation results shall verify the design guidelines and demonstrate the effectiveness of the proposed aggregation strategy.


title: LightSAL: Lightweight Sign Agnostic Learning for Implicit Surface Representation

abstract: Recently, several works have addressed modeling of 3D shapes using deep neural networks to learn implicit surface representations. Up to now, the majority of works have concentrated on reconstruction quality, paying little or no attention to model size or training time. This work proposes LightSAL, a novel deep convolutional architecture for learning 3D shapes; the proposed work concentrates on efficiency both in network training time and resulting model size. We build on the recent concept of Sign Agnostic Learning for training the proposed network, relying on signed distance fields, with unsigned distance as ground truth. In the experimental section of the paper, we demonstrate that the proposed architecture outperforms previous work in model size and number of required training iterations, while achieving equivalent accuracy. Experiments are based on the D-Faust dataset that contains 41k 3D scans of human shapes. The proposed model has been implemented in PyTorch.


title: Character Controllers Using Motion VAEs

abstract: A fundamental problem in computer animation is that of realizing purposeful and realistic human movement given a sufficiently-rich set of motion capture clips. We learn data-driven generative models of human movement using autoregressive conditional variational autoencoders, or Motion VAEs. The latent variables of the learned autoencoder define the action space for the movement and thereby govern its evolution over time. Planning or control algorithms can then use this action space to generate desired motions. In particular, we use deep reinforcement learning to learn controllers that achieve goal-directed movements. We demonstrate the effectiveness of the approach on multiple tasks. We further evaluate system-design choices and describe the current limitations of Motion VAEs.


title: DDR-Net: Learning Multi-Stage Multi-View Stereo With Dynamic Depth Range

abstract: To obtain high-resolution depth maps, some previous learning-based multi-view stereo methods build a cost volume pyramid in a coarse-to-fine manner. These approaches leverage fixed depth range hypotheses to construct cascaded plane sweep volumes. However, it is inappropriate to set identical range hypotheses for each pixel since the uncertainties of previous per-pixel depth predictions are spatially varying. Distinct from these approaches, we propose a Dynamic Depth Range Network (DDR-Net) to determine the depth range hypotheses dynamically by applying a range estimation module (REM) to learn the uncertainties of range hypotheses in the former stages. Specifically, in our DDR-Net, we first build an initial depth map at the coarsest resolution of an image across the entire depth range. Then the range estimation module (REM) leverages the probability distribution information of the initial depth to estimate the depth range hypotheses dynamically for the following stages. Moreover, we develop a novel loss strategy, which utilizes learned dynamic depth ranges to generate refined depth maps, to keep the ground truth value of each pixel covered in the range hypotheses of the next stage. Extensive experimental results show that our method achieves superior performance over other state-of-the-art methods on the DTU benchmark and obtains comparable results on the Tanks and Temples benchmark. The code is available at https://github.com/Tangshengku/DDR-Net.


title: Solutions and Reachable Sets of Hybrid Dynamical Systems: Semicontinuous Dependence on Initial Conditions, Time, and Perturbations

abstract: The sequential compactness afforded hybrid systems under mild regularity constraints guarantee outer/upper semicontinuous dependence of solutions on initial conditions and perturbations. For reachable sets of hybrid systems, this property leads to upper semicontinuous dependence with respect to initial conditions, time, and perturbations. Motivated by these results, we define a counterpart to sequential compactness and show that it leads to lower semicontinuous dependence of solutions on initial conditions and perturbations. In the sequel, it is shown that under appropriate assumptions, reachable sets of systems possessing this novel property depend lower semicontinuously on initial conditions, time, and perturbations. When those assumptions fail, continuous approximations of reachable sets turn out to be still possible. Necessary and sufficient conditions for the introduced property are given by a combination of geometric constraints, regularity assumptions, and tangentiality conditions. Further applications to simulations and optimal control of hybrid systems are discussed.


title: On-chip quantum interference between the origins of a multi-photon state

abstract: Path identiy induces a broad interest in recent years due to the foundation for numerous novel quantum information applications. Here, we experimentally demonstrate quantum coherent superposition of two different origins of a four-photon state, where multi-photon frustrated interference emerges from the quantum indistinguishability by path identity. The quantum state is created in four probabilistic photon-pair sources on one integrated silicon photonic chip, two combinations of which can create photon quadruplets. Coherent elimination and revival of distributed four-photons are fully controlled by tuning phases. The experiment gives rise to peculiar quantum interference of two possible ways to create photon quadruplets rather than interference of different intrinsic properties of photons. Besides many known potential applications, this new kind of multi-photon nonlinear interference enables the possibility for various fundamental studies such as nonlocality with multiple spatially separated locations.


title: Boundary Control of Traffic Congestion Modeled as a Non-stationary Stochastic Process

abstract: In this paper, we introduce a new conservation-based approach to model traffic dynamics, and apply the model predictive control (MPC) approach to control the boundary traffic inflow and outflow, so that the traffic congestion is reduced. We establish an interface between the Simulation of Urban Mobility (SUMO) software and MATLAB to define a network of interconnected roads (NOIR) as a directed graph, and present traffic congestion management as a network control problem. By formally specifying the traffic feasibility conditions, and using the linear temporal logic, we present the proposed MPC-based boundary control problem as a quadratic programming with linear equality and inequality constraints. The success of the proposed traffic boundary control is demonstrated by simulation of traffic congestion control in Center City Philadelphia.


title: Predominance of pressure transport in spatial energy budget for a mixing layer approaching absolute instability

abstract: In this letter, we report the outcome of a spatial energy budget performed for the linear convective instability of the plane incompressible mixing layer within the inviscid framework. We find that, as the critical condition for the onset of absolute instability is approached, the integrated pressure-transport term becomes increasingly more prominent as compared to the integrated production term and it dominates the energy budget completely at the critical condition. This implies that, near the threshold of absolute instability, the growth of disturbances is almost entirely due to the pressure transport mechanism (rather than the production mechanism), which is a striking result. The part of the pressure-transport term that represents the work done by the fluctuating pressure forces is seen to be primarily responsible for the observed shift in the energy balance. These results can help us better understand the physical processes causing absolute instability in a mixing layer. In particular, the redistribution of disturbance energy in streamwise direction by fluctuating pressure, which is "non-local" in character for incompressible flows, seems to play a key role in this respect.


title: The highly obscured Seyfert 2 nucleus in NGC 1448 observed with MUSE

abstract: We present the analysis of an optical data cube of the central region of NGC 1448, obtained with the Multi Unit Spectroscopic Explorer (MUSE). Chandra X-ray data indicate that the active galactic nucleus (AGN) is not located at the apparent stellar nucleus of the galaxy, but at a projected distance of $1.75$ $\pm$ $0.22$ arcsec ($139 \pm 17$ pc). This is probably caused by the high interstellar extinction in the surroundings of the AGN, which corresponds to the true nucleus of the galaxy, as also proposed by previous studies. The morphology and classification of the optical line-emitting regions indicate two ionization cones, around an axis with a position angle of $PA_{cones}$ = -50{\deg} $\pm$ 7{\deg}, with emission-line spectra characteristic of Seyfert galaxies. The stellar and gas kinematics are consistent with a stellar and gas rotating disc around the nucleus, with a velocity amplitude of 125 km s$^{-1}$. Two probable outflows from the AGN were detected along the region of the two ionization cones. The AGN position does not coincide with the brightest line-emitting region at the centre of NGC 1448. That may be a consequence of the high obscuration from the AGN towards the observer (the AGN is actually Compton thick), mostly caused by a nearly edge-on torus. An additional hypothesis is that the AGN reduced its luminosity, during the last 440 yr, to nearly half of the value in the past. In this case, the brightest line-emitting region corresponds to a "light echo" or a "fossil" of the AGN in the past.


title: Generalized versions of Lipschitz conditions on the modulus of holomorphic functions

abstract: In this paper, we establish Lipschitz conditions for the norm of holomorphic mappings between the unit ball $\mathbb{B}^n$ in $\mathbb{C}^n$ and $X,$ a complex normed space. This extends the work of Djordjevi\'{c} and Pavlovi\'{c}.


title: Rethinking Graph Neural Architecture Search from Message-passing

abstract: Graph neural networks (GNNs) emerged recently as a standard toolkit for learning from data on graphs. Current GNN designing works depend on immense human expertise to explore different message-passing mechanisms, and require manual enumeration to determine the proper message-passing depth. Inspired by the strong searching capability of neural architecture search (NAS) in CNN, this paper proposes Graph Neural Architecture Search (GNAS) with novel-designed search space. The GNAS can automatically learn better architecture with the optimal depth of message passing on the graph. Specifically, we design Graph Neural Architecture Paradigm (GAP) with tree-topology computation procedure and two types of fine-grained atomic operations (feature filtering and neighbor aggregation) from message-passing mechanism to construct powerful graph network search space. Feature filtering performs adaptive feature selection, and neighbor aggregation captures structural information and calculates neighbors' statistics. Experiments show that our GNAS can search for better GNNs with multiple message-passing mechanisms and optimal message-passing depth. The searched network achieves remarkable improvement over state-of-the-art manual designed and search-based GNNs on five large-scale datasets at three classical graph tasks. Codes can be found at https://github.com/phython96/GNAS-MP.


title: OmniHang: Learning to Hang Arbitrary Objects using Contact Point Correspondences and Neural Collision Estimation

abstract: In this paper, we explore whether a robot can learn to hang arbitrary objects onto a diverse set of supporting items such as racks or hooks. Endowing robots with such an ability has applications in many domains such as domestic services, logistics, or manufacturing. Yet, it is a challenging manipulation task due to the large diversity of geometry and topology of everyday objects. In this paper, we propose a system that takes partial point clouds of an object and a supporting item as input and learns to decide where and how to hang the object stably. Our system learns to estimate the contact point correspondences between the object and supporting item to get an estimated stable pose. We then run a deep reinforcement learning algorithm to refine the predicted stable pose. Then, the robot needs to find a collision-free path to move the object from its initial pose to stable hanging pose. To this end, we train a neural network based collision estimator that takes as input partial point clouds of the object and supporting item. We generate a new and challenging, large-scale, synthetic dataset annotated with stable poses of objects hung on various supporting items and their contact point correspondences. In this dataset, we show that our system is able to achieve a 68.3% success rate of predicting stable object poses and has a 52.1% F1 score in terms of finding feasible paths. Supplemental material and videos are available on our project webpage.


title: On Co-Maximal Subgroup Graph of a Group

abstract: The co-maximal subgroup graph $\Gamma(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $\Gamma(G)$, especially when $\Gamma(G)$ has isolated vertices. We define a new graph $\Gamma^*(G)$, which is obtained by removing isolated vertices from $\Gamma(G)$. We characterize when $\Gamma^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.


title: Control of spectroscopic features of multiphoton transitions in two coupled qubits by driving fields

abstract: The quantum levels population behavior of the two coupled flux qubits depending on the external driving field characteristics is studied. The explicit expressions for the multiphoton transition probabilities at an arbitrary control field amplitude is obtained for the case of small tunnel splitting energies. We describe the controllable features of their formation and thereby creating or destroying entanglement by system bias tuning on the direct inter-level transition and during the transition through intermediate states. We found a feature of the qubits population inverting that ends in the independence of the resonances positions from the qubits coupling strength. Using Floquet--Markov equation we numerically demonstrate, that the positions of multiphoton resonances are stable to dissipative processes.


title: IMU Data Processing For Inertial Aided Navigation: A Recurrent Neural Network Based Approach

abstract: In this work, we propose a novel method for performing inertial aided navigation, by using deep neural networks (DNNs). To date, most DNN inertial navigation methods focus on the task of inertial odometry, by taking gyroscope and accelerometer readings as input and regressing for integrated IMU poses (i.e., position and orientation). While this design has been successfully applied on a number of applications, it is not of theoretical performance guarantee unless patterned motion is involved. This inevitably leads to significantly reduced accuracy and robustness in certain use cases. To solve this problem, we design a framework to compute observable IMU integration terms using DNNs, followed by the numerical pose integration and sensor fusion to achieve the performance gain. Specifically, we perform detailed analysis on the motion terms in IMU kinematic equations, propose a dedicated network design, loss functions, and training strategies for the IMU data processing, and conduct extensive experiments. The results show that our method is generally applicable and outperforms both traditional and DNN methods by wide margins.


title: On the microscopic origin of the Interacting Boson Model

abstract: A microscopic interpretation of the s and d bosons of the Interacting Boson Model is being suggested: the s, d bosons can be interpreted as symmetric pairs of harmonic oscillator quanta of the valence nuclear shell. Within this interpretation, the SU(3) limit of the Interacting Boson Model results to the Elliott SU(3) symmetry.


title: Parasitic modes suppression in CW cold tests of 1.3 GHz 9-cell high Q cavities at IHEP

abstract: The CW RF test of 1.3 GHz 9-cell cavity in liquid helium bath at 2 K is a very important key point in the cavity procurement. Some problems can be found through the test, according which to optimized and improve the process of cavity. Recently, Medium temperature (mid-T) furnace bake of 1.3 GHz 9-cell cavities have been carried out at IHEP. Through the proceed of mid-T bake, the quality factor of cavity has been greatly improved. While the excitation of the parasitic modes in the high Q cavities CW cold test has been encountered, which implies an error source for the cavity gradient and quality factor determination. In order to ensure the testing accuracy of superconducting cavity, we have improved the testing system. Finally, the parasitic mode is completely suppressed and the CW RF cold test of high Q cavity is guaranteed.


title: Highly Porous Superconductors: Synthesis, Research, and Prospects

abstract: This paper gives a review of studies of superconductors with a porosity above 50%. The pores in such superconducting materials provide refrigerant penetration, efficient heat dissipation and stable operation. Methods for the synthesis of the main groups of porous superconductors are described. The results of studies of the structural, magnetic, and electrical transport properties are presented, and the features of the current flow through porous superconductors of various types are considered.


title: A Graph-based Conflict-free Cooperation Method for Intelligent Electric Vehicles at Unsignalized Intersections

abstract: Electric, intelligent, and network are the most important future development directions of automobiles. Intelligent electric vehicles have shown great potentials to improve traffic mobility and reduce emissions, especially at unsignalized intersections. Previous research has shown that vehicle passing order is the key factor in traffic mobility improvement. In this paper, we propose a graph-based cooperation method to formalize the conflict-free scheduling problem at unsignalized intersections. Firstly, conflict directed graphs and coexisting undirected graphs are built to describe the conflict relationship of the vehicles. Then, two graph-based methods are introduced to solve the vehicle passing order. One method is an optimized depth-first spanning tree method which aims to find the local optimal passing order for each vehicle. The other method is a maximum matching algorithm that solves the global optimal problem. The computational complexity of both methods is also derived. Numerical simulation results demonstrate the effectiveness of the proposed algorithms.


title: Vulnerability Due to Training Order in Split Learning

abstract: Split learning (SL) is a privacy-preserving distributed deep learning method used to train a collaborative model without the need for sharing of patient's raw data between clients. In split learning, an additional privacy-preserving algorithm called no-peek algorithm can be incorporated, which is robust to adversarial attacks. The privacy benefits offered by split learning make it suitable for practice in the healthcare domain. However, the split learning algorithm is flawed as the collaborative model is trained sequentially, i.e., one client trains after the other. We point out that the model trained using the split learning algorithm gets biased towards the data of the clients used for training towards the end of a round. This makes SL algorithms highly susceptible to the order in which clients are considered for training. We demonstrate that the model trained using the data of all clients does not perform well on the client's data which was considered earliest in a round for training the model. Moreover, we show that this effect becomes more prominent with the increase in the number of clients. We also demonstrate that the SplitFedv3 algorithm mitigates this problem while still leveraging the privacy benefits provided by split learning.


title: Drag-based model (DBM) tools for forecast of coronal mass ejection arrival time and speed

abstract: Forecasting the arrival time of CMEs and their associated shocks is one of the key aspects of space weather research. One of the commonly used models is, due to its simplicity and calculation speed, the analytical drag-based model (DBM) for heliospheric propagation of CMEs. DBM relies on the observational fact that slow CMEs accelerate whereas fast CMEs decelerate, and is based on the concept of MHD drag, which acts to adjust the CME speed to the ambient solar wind. Although physically DBM is applicable only to the CME magnetic structure, it is often used as a proxy for the shock arrival. In recent years, the DBM equation has been used in many studies to describe the propagation of CMEs and shocks with different geometries and assumptions. Here we give an overview of the five DBM versions currently available and their respective tools, developed at Hvar Observatory and frequently used by researchers and forecasters. These include: 1) basic 1D DBM, a 1D model describing the propagation of a single point (i.e. the apex of the CME) or concentric arc (where all points propagate identically); 2) advanced 2D self-similar cone DBM, a 2D model which combines basic DBM and cone geometry describing the propagation of the CME leading edge which evolves self-similarly; 3) 2D flattening cone DBM, a 2D model which combines basic DBM and cone geometry describing the propagation of the CME leading edge which does not evolve self-similarly; 4) DBEM, an ensemble version of the 2D flattening cone DBM which uses CME ensembles as an input and 5) DBEMv3, an ensemble version of the 2D flattening cone DBM which creates CME ensembles based on the input uncertainties. All five versions have been tested and published in recent years and are available online or upon request. We provide an overview of these five tools, of their similarities and differences, as well as discuss and demonstrate their application.


title: Rabi oscillations of bound states in the continuum

abstract: Photonic bound states in the continuum (BICs) are special localized and non-decaying states of a photonic system with a frequency embedded into the spectrum of scattered states. The simplest photonic structure displaying a single BIC is provided by two waveguides side-coupled to a common waveguide lattice, where the BIC is protected by symmetry. Here we consider such a simple photonic structure and show that, breaking mirror symmetry and allowing for non-nearest neighbor couplings, a doublet of quasi-BIC states can be sustained, enabling weakly-damped embedded Rabi oscillations of photons between the waveguides.


title: HUGE: An Efficient and Scalable Subgraph Enumeration System

abstract: Subgraph enumeration is a fundamental problem in graph analytics, which aims to find all instances of a given query graph on a large data graph. In this paper, we propose a system called HUGE to efficiently process subgraph enumeration at scale in the distributed context. HUGE features 1) an optimiser to compute an advanced execution plan without the constraints of existing works; 2) a hybrid communication layer that supports both pushing and pulling communication; 3) a novel two-stage execution mode with a lock-free and zero-copy cache design, 4) a BFS/DFS-adaptive scheduler to bound memory consumption, and 5) two-layer intra- and inter-machine load balancing. HUGE is generic such that all existing distributed subgraph enumeration algorithms can be plugged in to enjoy automatic speed up and bounded-memory execution.


title: Reinforcement Learning for Robust Parameterized Locomotion Control of Bipedal Robots

abstract: Developing robust walking controllers for bipedal robots is a challenging endeavor. Traditional model-based locomotion controllers require simplifying assumptions and careful modelling; any small errors can result in unstable control. To address these challenges for bipedal locomotion, we present a model-free reinforcement learning framework for training robust locomotion policies in simulation, which can then be transferred to a real bipedal Cassie robot. To facilitate sim-to-real transfer, domain randomization is used to encourage the policies to learn behaviors that are robust across variations in system dynamics. The learned policies enable Cassie to perform a set of diverse and dynamic behaviors, while also being more robust than traditional controllers and prior learning-based methods that use residual control. We demonstrate this on versatile walking behaviors such as tracking a target walking velocity, walking height, and turning yaw.