title: Agile Formation Control of Drone Flocking Enhanced with Active Vision-based Relative Localization

abstract: The vision-based relative localization can provide effective feedback for the cooperation of aerial swarm and has been widely investigated in previous works. However, the limited field of view (FOV) inherently restricts its performance. To cope with this issue, this letter proposes a novel distributed active vision-based relative localization framework and apply it to formation control in aerial swarms. Inspired by bird flocks in nature, we devise graph-based attention planning (GAP) to improve the observation quality of the active vision in the swarm. Then active detection results are fused with onboard measurements from Ultra-WideBand (UWB) and visual-inertial odometry (VIO) to obtain real-time relative positions, which further improve the formation control performance of the swarm. Simulations and experiments demonstrate that the proposed active vision system outperforms the fixed vision system in terms of estimation and formation accuracy.


title: In-situ High Pressure Nuclear Magnetic Resonance Crystallography

abstract: Our recent developments in in-situ nuclear magnetic resonance (NMR) spectroscopy under extreme conditions led to the observation of a wide variety of physical phenomena not accessible with standard high pressure experimental probes. However, inherent di- or quadrupolar line broadening in diamond anvil cell (DAC) based NMR experiments often limit detailed investigations of local atomic structures, especially if different phases or local environments are coexisting. Here, we present our progress in the development of high resolution NMR experiments in DACs using one and two-dimensional homonuclear decoupling experiments at pressures up to the Mbar regime. Using this technique, spectral resolutions in the order of 1 ppm and below have been achieved, enabling high pressure structural analysis. Several examples will demonstrate the wide applicability of this method for extreme conditions research.


title: Distilling Holistic Knowledge with Graph Neural Networks

abstract: Knowledge Distillation (KD) aims at transferring knowledge from a larger well-optimized teacher network to a smaller learnable student network.Existing KD methods have mainly considered two types of knowledge, namely the individual knowledge and the relational knowledge. However, these two types of knowledge are usually modeled independently while the inherent correlations between them are largely ignored. It is critical for sufficient student network learning to integrate both individual knowledge and relational knowledge while reserving their inherent correlation. In this paper, we propose to distill the novel holistic knowledge based on an attributed graph constructed among instances. The holistic knowledge is represented as a unified graph-based embedding by aggregating individual knowledge from relational neighborhood samples with graph neural networks, the student network is learned by distilling the holistic knowledge in a contrastive manner. Extensive experiments and ablation studies are conducted on benchmark datasets, the results demonstrate the effectiveness of the proposed method. The code has been published in https://github.com/wyc-ruiker/HKD


title: Graded dimensions and monomial bases for the cyclotomic quiver Hecke algebras

abstract: In this paper we give a closed formula for the graded dimension of the cyclotomic quiver Hecke algebra $R^\Lambda(\beta)$ associated to an {\it arbitrary} symmetrizable Cartan matrix $A=(a_{ij})_{i,j}\in I$, where $\Lambda\in P^+$ and $\beta\in Q_n^+$. As applications, we obtain some {\it necessary and sufficient conditions} for the KLR idempotent $e(\nu)$ (for any $\nu\in I^\beta$) to be nonzero in the cyclotomic quiver Hecke algebra $R^\Lambda(\beta)$. We prove several level reduction results which decomposes $\dim R^\Lambda(\beta)$ into a sum of some products of $\dim R^{\Lambda^i}(\beta_i)$ with $\Lambda=\sum_i\Lambda^i$ and $\beta=\sum_{i}\beta_i$, where $\Lambda^i\in P^+, \beta^i\in Q^+$ for each $i$. We construct some explicit monomial bases for the subspaces $e(\widetilde{\nu})R^\Lambda(\beta)e(\mu)$ and $e(\widetilde{\nu})R^\Lambda(\beta)e(\mu)$ of $R^\Lambda(\beta)$, where $\mu\in I^\beta$ is {\it arbitrary} and $\widetilde{\nu}\in I^\beta$ is a certain specific $n$-tuple (see Section 4).Finally, we use our graded dimension formulae to provide some examples which show that $R^\Lambda(n)$ is in general not graded free over its natural embedded subalgebra $R^\Lambda(m)$ with $m<n$.


title: DOI: Divergence-based Out-of-Distribution Indicators via Deep Generative Models

abstract: To ensure robust and reliable classification results, OoD (out-of-distribution) indicators based on deep generative models are proposed recently and are shown to work well on small datasets. In this paper, we conduct the first large collection of benchmarks (containing 92 dataset pairs, which is 1 order of magnitude larger than previous ones) for existing OoD indicators and observe that none perform well. We thus advocate that a large collection of benchmarks is mandatory for evaluating OoD indicators. We propose a novel theoretical framework, DOI, for divergence-based Out-of-Distribution indicators (instead of traditional likelihood-based) in deep generative models. Following this framework, we further propose a simple and effective OoD detection algorithm: Single-shot Fine-tune. It significantly outperforms past works by 5~8 in AUROC, and its performance is close to optimal. In recent, the likelihood criterion is shown to be ineffective in detecting OoD. Single-shot Fine-tune proposes a novel fine-tune criterion to detect OoD, by whether the likelihood of the testing sample is improved after fine-tuning a well-trained model on it. Fine-tune criterion is a clear and easy-following criterion, which will lead the OoD domain into a new stage.


title: Gravitational waves from bubble walls

abstract: We present a general method for computing the gravitational radiation arising from the motion of bubble walls or thin fluid shells in cosmological phase transitions. We discuss the application of this method to different wall kinematics. In particular, we derive general expressions for the bubble collision mechanism in the envelope approximation and the so-called bulk flow model, and we also consider deformations from the spherical bubble shape. We calculate the gravitational wave spectrum for a specific model of deformations on a definite size scale, which gives a peak away from that of the bubble collision mechanism.


title: A new class of copula regression models for modelling multivariate heavy-tailed data

abstract: A new class of copulas, termed the MGL copula class, is introduced. The new copula originates from extracting the dependence function of the multivariate generalized log-Moyal-gamma distribution whose marginals follow the univariate generalized log-Moyal-gamma (GLMGA) distribution as introduced in \citet{li2019jan}. The MGL copula can capture nonelliptical, exchangeable, and asymmetric dependencies among marginal coordinates and provides a simple formulation for regression applications. We discuss the probabilistic characteristics of MGL copula and obtain the corresponding extreme-value copula, named the MGL-EV copula. While the survival MGL copula can be also regarded as a special case of the MGB2 copula from \citet{yang2011generalized}, we show that the proposed model is effective in regression modelling of dependence structures. Next to a simulation study, we propose two applications illustrating the usefulness of the proposed model. This method is also implemented in a user-friendly R package: \texttt{rMGLReg}.


title: Probing the environments surrounding ultrahigh energy cosmic ray accelerators and their implications for astrophysical neutrinos

abstract: We explore inferences on ultrahigh energy cosmic ray (UHECR) source environments -- constrained by the spectrum and composition of UHECRs and non-observation of extremely high energy neutrinos -- and their implications for the observed high energy astrophysical neutrino spectrum. We find acceleration mechanisms producing power-law CR spectra~$\propto E^{-2}$ are compatible with UHECR data, if CRs at high rigidities are in the quasi-ballistic diffusion regime as they escape their source environment. Both gas-dominated and photon-dominated source environments are able to account for UHECR observations, however photon-dominated sources give a better fit. Additionally, gas-dominated sources are in tension with current neutrino constraints. Accurate measurement of the neutrino flux at $\sim 10$ PeV will provide crucial information on the viability of gas-dominated sources, as well as whether diffusive shock acceleration is consistent with UHECR observations. We also show that UHECR sources are able to give a good fit to the high energy portion of the astrophysical neutrino spectrum, above $\sim$ PeV. This common origin of UHECRs and high energy astrophysical neutrinos is natural if air shower data is interpreted with the Sibyll2.3c hadronic interaction model, which gives the best-fit to UHECRs and astrophysical neutrinos in the same part of parameter space, but not for EPOS-LHC.


title: Ethereum Data Structures

abstract: Ethereum platform operates with rich spectrum of data structures and hashing and coding functions. The main source describing them is the Yellow paper, complemented by a lot of informal blogs. These sources are somehow limited. In particular, the Yellow paper does not ideally balance brevity and detail, in some parts it is very detail, while too shallow elsewhere. The blogs on the other hand are often too vague and in certain cases contain incorrect information. As a solution, we provide this document, which summarises data structures used in Ethereum. The goal is to provide sufficient detail while keeping brevity. Sufficiently detailed formal view is enriched with examples to extend on clarity.


title: Deformations and moduli of irregular canonical covers with $K^2=4p_g-8$

abstract: In this article, we study the moduli of irregular surfaces of general type with at worst canonical singularities satisfying $K_X^2 = 4p_g(X)-8$, for any even integer $p_g\geq 4$. These surfaces also have unbounded irregularity $q$. We carry out our study by investigating the deformations of the canonical morphism $\varphi:X\to \mathbb{P}^N$, where $\varphi$ is Galois of degree 4. These canonical covers are classified in by the first two authors into four distinct families. We show that any deformation of $\varphi$ factors through a double cover of a ruled surface and, hence, is never birational. More interestingly, we prove that, with two exceptions, a general deformation of $\varphi$ is two-to-one onto its image, whose normalization is a ruled surface of appropriate irregularity. We also show that with the exception of one family, the deformations of $X$ are unobstructed, and consequently, $X$ belongs to a unique irreducible component of the Gieseker moduli space, which we prove is uniruled. As a result of all this, we show the existence of infinitely many moduli spaces, satisfying the strict Beauville inequality $p_g > 2q-4$, with an irreducible component that has a proper "quadruple" sublocus where the degree of the canonical morphism jumps up. The existence of jumping subloci is a contrast with the moduli of surfaces with $K_X^2 = 2p_g - 4$, studied by Horikawa. There is a similarity and difference to the moduli of curves of genus $g\geq 3$, for, like in the case of curves, the degree of the canonical morphism goes down outside a closed sublocus but, unlike in the case of curves, it is never birational.


title: Exploring a PMT+SiPM Hybrid Optical Module for Next Generation Neutrino Telescopes

abstract: Cosmic neutrinos are unique probes of the high energy universe. IceCube has discovered a diffuse astrophysical neutrino flux since 2013, but their origin remains elusive. The potential sources could include, for example, active galactic nuclei, gamma-ray bursts and star burst galaxies. To resolve those scenarios, higher statistics and better angular resolution of astrophysical neutrinos are needed. An optical module with larger photon collection area and more precise timing resolution in a next generation neutrino telescope could help. Silicon photon multipliers (SiPMs), with high quantum efficiency and fast responding time, combining with traditional PMTs, could boost photon detection efficiency and pointing capability. We will present a study on exploring the benefits of combining multiple PMTs and SiPMs in an optical module.


title: Text Anchor Based Metric Learning for Small-footprint Keyword Spotting

abstract: Keyword Spotting (KWS) remains challenging to achieve the trade-off between small footprint and high accuracy. Recently proposed metric learning approaches improved the generalizability of models for the KWS task, and 1D-CNN based KWS models have achieved the state-of-the-arts (SOTA) in terms of model size. However, for metric learning, due to data limitations, the speech anchor is highly susceptible to the acoustic environment and speakers. Also, we note that the 1D-CNN models have limited capability to capture long-term temporal acoustic features. To address the above problems, we propose to utilize text anchors to improve the stability of anchors. Furthermore, a new type of model (LG-Net) is exquisitely designed to promote long-short term acoustic feature modeling based on 1D-CNN and self-attention. Experiments are conducted on Google Speech Commands Dataset version 1 (GSCDv1) and 2 (GSCDv2). The results demonstrate that the proposed text anchor based metric learning method shows consistent improvements over speech anchor on representative CNN-based models. Moreover, our LG-Net model achieves SOTA accuracy of 97.67% and 96.79% on two datasets, respectively. It is encouraged to see that our lighter LG-Net with only 74k parameters obtains 96.82% KWS accuracy on the GSCDv1 and 95.77% KWS accuracy on the GSCDv2.


title: Masked Acoustic Unit for Mispronunciation Detection and Correction

abstract: Computer-Assisted Pronunciation Training (CAPT) plays an important role in language learning. Conventional ASR-based CAPT methods require expensive annotation of the ground truth pronunciation for the supervised training. Meanwhile, certain undefined non-native phonemes cannot be correctly classified into standard phonemes, making the annotation process challenging and subjective. On the other hand, ASR-based CAPT methods only give the learner text-based feedback about the mispronunciation, but cannot teach the learner how to pronounce the sentence correctly. To solve these limitations, we propose to use the acoustic unit (AU) as the intermediary feature for both mispronunciation detection and correction. The proposed method uses the masked AU sequence and the target phonemes to detect the error AU and then corrects it. This method can give the learner speech-based self-imitating feedback, making our CAPT powerful for education.


title: An Earthworm-Inspired Multi-Mode Underwater Locomotion Robot: Design, Modeling, and Experiments

abstract: Faced with strong demand for robots working in underwater pipeline environments, a novel underwater multi-model locomotion robot is designed and studied in this research. By mimicking the earthworm's metameric body, the robot is segmented in the structure; by synthesizing the earthworm-like peristaltic locomotion mechanism and the propeller-driven swimming mechanism, the robot possesses unique multi-mode locomotion capability. In detail, the in-pipe earthworm-like peristaltic crawling is achieved based on servomotor-driven cords and pre-bent spring-steel belts that work antagonistically, and the three-dimensional underwater swimming is realized by four independently-controlled propellers. With a robot covering made of silicon rubber, the two locomotion modes are tested in the underwater environment, through which, the rationality and the effectiveness of the robot design are demonstrated. Aiming at predicting the robotic locomotion performance, mechanical models of the robot are further developed. For the underwater swimming mode, by considering the robot as a spheroid, an equivalent dynamic model is constructed, whose validity is verified via computational fluid dynamics (CFD) simulations; for the in-pipe crawling mode, a classical kinematics model is employed to predict the average locomotion speeds under different gait controls. The outcomes of this research could offer useful design and modeling guidelines for the development of earthworm-like locomotion robots with unique underwater multi-mode locomotion capability.


title: Can Traditional Terrestrial Applications of Gravity Gradiometry Rely Upon Quantum Technologies ? A Side View

abstract: The era of practical terrestrial applications of gravity gradiometry begun in 1890 when Baron Lorand von E\"otv\"os, a Hungarian nobleman and a talented physicist and engineer, invented his famous torsion balance - the first practical gravity gradients measuring device. It was credited for the major oil discoveries later in Texas (USA). A 100 years later Kasevich and Chu pioneered the use of quantum physics for gravity gradient measurements. Since then cold-atom gravity gradiometers, or matter-wave gravity gradiometers, had been under development at almost every physics department of top-rated universities around the globe. After another 30 years since the Kasevich and Chu publication in 1992, which had led to the first ever quantum gravity gradiometer, the corresponding research and development ceased from being profoundly active a few years back. This article is an attempt to understand and explain what may have happened to the Quantum Invasion into the area of applied physics and precision engineering that traditionally has been occupied by non-quantum technologies developed for about a 130 years of the history of gravity gradiometry.


title: Dereverberation of Autoregressive Envelopes for Far-field Speech Recognition

abstract: The task of speech recognition in far-field environments is adversely affected by the reverberant artifacts that elicit as the temporal smearing of the sub-band envelopes. In this paper, we develop a neural model for speech dereverberation using the long-term sub-band envelopes of speech. The sub-band envelopes are derived using frequency domain linear prediction (FDLP) which performs an autoregressive estimation of the Hilbert envelopes. The neural dereverberation model estimates the envelope gain which when applied to reverberant signals suppresses the late reflection components in the far-field signal. The dereverberated envelopes are used for feature extraction in speech recognition. Further, the sequence of steps involved in envelope dereverberation, feature extraction and acoustic modeling for ASR can be implemented as a single neural processing pipeline which allows the joint learning of the dereverberation network and the acoustic model. Several experiments are performed on the REVERB challenge dataset, CHiME-3 dataset and VOiCES dataset. In these experiments, the joint learning of envelope dereverberation and acoustic model yields significant performance improvements over the baseline ASR system based on log-mel spectrogram as well as other past approaches for dereverberation (average relative improvements of 10-24% over the baseline system). A detailed analysis on the choice of hyper-parameters and the cost function involved in envelope dereverberation is also provided.


title: Measurement Integrity in Peer Prediction: A Peer Assessment Case Study

abstract: We propose measurement integrity, a property related to ex post reward fairness, as a novel desideratum for peer prediction mechanisms in many natural applications. Like robustness against strategic reporting, the property that has been the primary focus of the peer prediction literature, measurement integrity is an important consideration for understanding the practical performance of peer prediction mechanisms. We perform computational experiments, both with an agent-based model and with real data, to empirically evaluate peer prediction mechanisms according to both of these important properties. Our evaluations simulate the application of peer prediction mechanisms to peer assessment -- a setting in which ex post fairness concerns are particularly salient. We find that peer prediction mechanisms, as proposed in the literature, largely fail to demonstrate significant measurement integrity in our experiments. We also find that theoretical properties concerning robustness against strategic reporting are somewhat noisy predictors of empirical performance. Further, there is an apparent trade-off between our two dimensions of analysis. The best-performing mechanisms in terms of measurement integrity are highly susceptible to strategic reporting. Ultimately, however, we show that supplementing mechanisms with realistic parametric statistical models can, in some cases, improve performance along both dimensions of our analysis and result in mechanisms that strike the best balance between them.


title: Distribution of cycles for one-dimensional random dynamical systems

abstract: We consider an independently identically distributed random dynamical system generated by finitely many, non-uniformly expanding Markov interval maps with a finite number of branches. Assuming a topologically mixing condition and the uniqueness of equilibrium state for the associated skew product map, we establish a samplewise (quenched) almost-sure level-2 weighted equidistribution of "random cycles", with respect to a natural stationary measure as the periods of the cycles tend to infinity. This result implies an analogue of Bowen's theorem on periodic orbits of topologically mixing Axiom A diffeomorphisms. We also prove another almost-sure convergence theorem, as well as an averaged (annealed) theorem that is related to semigroup actions. We apply our results to the random $\beta$-expansion of real numbers, and obtain almost-sure convergences of average digital quantities in random $\beta$-expansions of random cycles that do not follow from the application of the ergodic theorems of Birkhoff or Kakutani. Our main results are applicable to random dynamical systems generated by finitely many maps with common neutral fixed points.


title: Fair Decision-Making for Food Inspections

abstract: Data and algorithms are essential and complementary parts of a large-scale decision-making process. However, their injudicious use can lead to unforeseen consequences, as has been observed by researchers and activists alike in the recent past. In this paper, we revisit the application of predictive models by the Chicago Department of Public Health to schedule restaurant inspections and prioritize the detection of critical food code violations. We perform the first analysis of the model's fairness to the population served by the restaurants in terms of average time to find a critical violation. We find that the model treats inspections unequally based on the sanitarian who conducted the inspection and that, in turn, there are geographic disparities in the benefits of the model. We examine four alternate methods of model training and two alternative ways of scheduling using the model and find that the latter generate more desirable results. The challenges from this application point to important directions for future work around fairness with collective entities rather than individuals, the use of critical violations as a proxy, and the disconnect between fair classification and fairness in the dynamic scheduling system.


title: Silhouette based View embeddings for Gait Recognition under Multiple Views

abstract: Gait recognition under multiple views is an important computer vision and pattern recognition task. In the emerging convolutional neural network based approaches, the information of view angle is ignored to some extent. Instead of direct view estimation and training view-specific recognition models, we propose a compatible framework that can embed view information into existing architectures of gait recognition. The embedding is simply achieved by a selective projection layer. Experimental results on two large public datasets show that the proposed framework is very effective.


title: Clustering with UMAP: Why and How Connectivity Matters

abstract: Topology based dimensionality reduction methods such as t-SNE and UMAP have seen increasing success and popularity in high-dimensional data. These methods have strong mathematical foundations and are based on the intuition that the topology in low dimensions should be close to that of high dimensions. Given that the initial topological structure is a precursor to the success of the algorithm, this naturally raises the question: What makes a "good" topological structure for dimensionality reduction? Insight into this will enable us to design better algorithms which take into account both local and global structure. In this paper which focuses on UMAP, we study the effects of node connectivity (k-Nearest Neighbors vs mutual k-Nearest Neighbors) and relative neighborhood (Adjacent via Path Neighbors) on dimensionality reduction. We explore these concepts through extensive ablation studies on 4 standard image and text datasets; MNIST, FMNIST, 20NG, AG, reducing to 2 and 64 dimensions. Our findings indicate that a more refined notion of connectivity (mutual k-Nearest Neighbors with minimum spanning tree) together with a flexible method of constructing the local neighborhood (Path Neighbors), can achieve a much better representation than default UMAP, as measured by downstream clustering performance.


title: New simple theories from hypergraph sequences

abstract: We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not require familiarity with the earlier proof.) We prove a model-completion and quantifier-elimination result for theories in this family. We develop a combinatorial property which they share. We invoke regular ultrafilters to show the strength of this property, showing that any flexible ultrafilter which is good for the random graph is able to saturate such theories.


title: Second order estimates for augment Hessian equations of parabolic type on Riemannian manifolds

abstract: The author extends previous results to general classes of equations under weaker assumptions obtained in 2016 by Bao, Dong and Jiao concerning the study of the regularity of solutions for the first initial-boundary value problem for parabolic Hessian equations on Riemannian manifolds.


title: Magnetic interactions and spin excitations in van der Waals ferromagnet VI$_3$

abstract: Using a combination of density functional theory (DFT) and spin-wave theory methods, we investigate the magnetic interactions and spin excitations in semiconducting VI$_3$. Exchange parameters of monolayer, bilayer, and bulk forms are evaluated by mapping the magnetic energies of various spin configurations, calculated using DFT+$U$, onto the Heisenberg model. The intralayer couplings remain largely unchanged in three forms of VI$_3$, while the interlayer couplings show stronger dependence on the dimensionality of the materials. We calculate the spin-wave spectra within a linear spin-wave theory and discuss how various exchange parameters affect the magnon bands. The magnon-magnon interaction is further incorporated, and the Curie temperature is estimated using a self-consistently renormalized spin-wave theory. To understand the roles of constituent atoms on magnetocrystalline anisotropy energy (MAE), we resolve MAE into sublattices and find that a strong negative V-I inter-sublattice contribution is responsible for the relatively small easy-axis MAE in VI$_3$.


title: Robotic Testbed for Rendezvous and Optical Navigation: Multi-Source Calibration and Machine Learning Use Cases

abstract: This work presents the most recent advances of the Robotic Testbed for Rendezvous and Optical Navigation (TRON) at Stanford University - the first robotic testbed capable of validating machine learning algorithms for spaceborne optical navigation. The TRON facility consists of two 6 degrees-of-freedom KUKA robot arms and a set of Vicon motion track cameras to reconfigure an arbitrary relative pose between a camera and a target mockup model. The facility includes multiple Earth albedo light boxes and a sun lamp to recreate the high-fidelity spaceborne illumination conditions. After the overview of the facility, this work details the multi-source calibration procedure which enables the estimation of the relative pose between the object and the camera with millimeter-level position and millidegree-level orientation accuracies. Finally, a comparative analysis of the synthetic and TRON simulated imageries is performed using a Convolutional Neural Network (CNN) pre-trained on the synthetic images. The result shows a considerable gap in the CNN's performance, suggesting the TRON simulated images can be used to validate the robustness of any machine learning algorithms trained on more easily accessible synthetic imagery from computer graphics.


title: Flow-Aware Platoon Formation of Connected Automated Vehicles

abstract: Connected Automated Vehicles (CAVs) bring promise of increasing traffic capacity and energy efficiency by forming platoons with short headways on the road. However at low CAV penetration, the capacity gain will be small because the CAVs that randomly enter the road will be sparsely distributed, diminishing the probability of forming long platoons. Many researchers propose to solve this issue by platoon organization strategies, where the CAVs search for other CAVs on the road and change lanes if necessary to form longer platoons. However, the current literature does not analyze a potential risk of platoon organization in disrupting the flow and reducing the capacity by inducing more lane changes. In this research, we use driving model of Cooperative Adaptive Cruise Control (CACC) vehicles and human-driven vehicles that are validated with field experiments and find that platoon organization can indeed drop the capacity with more lane changes. But when the traffic demand is well below capacity, platoon organization forms longer CAV platoons without reducing the flow. Based on this finding, we develop the Flow-Aware platoon organization strategy, where the CAVs perform platoon organization conditionally on the local traffic state, i.e., a low flow and a high speed. We simulate the Flow-Aware platoon organization on a realistic freeway network and show that the CAVs successfully form longer platoons, while ensuring a maximal traffic flow.


title: The Contextual Appointment Scheduling Problem

abstract: This study is concerned with the determination of optimal appointment times for a sequence of jobs with uncertain duration. We investigate the data-driven Appointment Scheduling Problem (ASP) when one has $n$ observations of $p$ features (covariates) related to the jobs as well as historical data. We formulate ASP as an Integrated Estimation and Optimization problem using a task-based loss function. We justify the use of contexts by showing that not including the them yields to inconsistent decisions, which translates to sub-optimal appointments. We validate our approach through two numerical experiments.


title: Persistent half-metallic ferromagnetism in a (111)-oriented manganite superlattice

abstract: Heterostructures of mixed-valence manganites are still under intense scrutiny, due to the occurrence of exotic quantum phenomena linked to electronic correlation and interfacial composition. For instance, if two anti-ferromagnetic insulators as LaMnO$_3$ and SrMnO$_3$ are grown in a (001)-oriented superlattice, a half-metallic ferromagnet may form, provided that the thickness is sufficiently small to allow tunneling across interfaces. In this article, we employ electronic structure calculations to show that all the layers of a (111)-oriented LaMnO$_3$|SrMnO$_3$ superlattice retain a half-metallic ferromagnetic character for a much larger thickness than in its (001) counterpart. This behavior is shown to be linked to the charge transfer across the interface, favored by the octahedral connectivity between the layers. This also results in a symmetry-induced quenching of the Jahn-Teller distortions, which are replaced by breathing modes. The latter are coupled to charge and spin oscillations, whose components have a pure e g character. Most interestingly, the magnetization reaches its maximum value inside the LaMnO$_3$ region and not at the interface, which is fundamentally different from what observed for the (001) orientation. The analysis of the inter-atomic exchange coupling shows that the magnetic order arises from the double-exchange mechanism, despite competing interactions inside the SrMnO$_3$ region. Finally, the van Vleck distortions and the spin oscillations are found to be crucially affected by the variation of Hund's exchange and charge doping, which allows us to speculate that our system behaves as a Hund's metal, creating an interesting connection between manganites and nickelates.


title: Efficient Local Planning with Linear Function Approximation

abstract: We study query and computationally efficient planning algorithms with linear function approximation and a simulator. We assume that the agent only has local access to the simulator, meaning that the agent can only query the simulator at states that have been visited before. This setting is more practical than many prior works on reinforcement learning with a generative model. We propose two algorithms, named confident Monte Carlo least square policy iteration (Confident MC-LSPI) and confident Monte Carlo Politex (Confident MC-Politex) for this setting. Under the assumption that the Q-functions of all policies are linear in known features of the state-action pairs, we show that our algorithms have polynomial query and computational costs in the dimension of the features, the effective planning horizon, and the targeted sub-optimality, while these costs are independent of the size of the state space. One technical contribution of our work is the introduction of a novel proof technique that makes use of a virtual policy iteration algorithm. We use this method to leverage existing results on $\ell_\infty$-bounded approximate policy iteration to show that our algorithm can learn the optimal policy for the given initial state even only with local access to the simulator. We believe that this technique can be extended to broader settings beyond this work.


title: Global behavior of positive solutions of a third order difference equations system

abstract: \begin{abstract} In this paper, we consider the following system of difference equations \begin{equation*} x_{n+1}=\alpha+\dfrac{y_{n}^p}{y_{n-2}^p},\ y_{n+1}=\alpha+ \dfrac{x_{n}^q}{x_{n-2}^q}, \ n=0, 1, 2, ... \end{equation*} where parameters $\alpha, p, q \in (0, \infty)$ and the initial values $x_{-i}$, $y_{-i}$ are arbitrary positive numbers for $ i=-2,-1, 0$. Our main aim is to investigate semi-cycle analysis of solutions of above system. Also, we study the boundedness of the positive solutions and the global asymptotic stability of the equilibrium point in case $\alpha>1$, $ 0<p,\ q\leq 1$. Moreover, the rate of convergence of the solutions is established. Finally, some numerical examples are given to illustrate our theoretical results.


title: Unfolding Conformal Geometry

abstract: Conformal geometry is studied using the unfolded formulation \`a la Vasiliev. Analyzing the first-order consistency of the unfolded equations, we identify the content of zero-forms as the spin-two off-shell Fradkin-Tseytlin module of $\mathfrak{so}(2,d)$. We sketch the nonlinear structure of the equations and explain how Weyl invariant densities, which Type-B Weyl anomaly consist of, could be systematically computed within the unfolded formulation. The unfolded equation for conformal geometry is also shown to be reduced to various on-shell gravitational systems by requiring additional algebraic constraints.


title: Intelligent computational model for the classification of Covid-19 with chest radiography compared to other respiratory diseases

abstract: Lung X-ray images, if processed using statistical and computational methods, can distinguish pneumonia from COVID-19. The present work shows that it is possible to extract lung X-ray characteristics to improve the methods of examining and diagnosing patients with suspected COVID-19, distinguishing them from malaria, dengue, H1N1, tuberculosis, and Streptococcus pneumonia. More precisely, an intelligent computational model was developed to process lung X-ray images and classify whether the image is of a patient with COVID-19. The images were processed and extracted their characteristics. These characteristics were the input data for an unsupervised statistical learning method, PCA, and clustering, which identified specific attributes of X-ray images with Covid-19. The introduction of statistical models allowed a fast algorithm, which used the X-means clustering method associated with the Bayesian Information Criterion (CIB). The developed algorithm efficiently distinguished each pulmonary pathology from X-ray images. The method exhibited excellent sensitivity. The average recognition accuracy of COVID-19 was 0.93 and 0.051.


title: Subcritical escape waves in schooling fish

abstract: Living systems such as neuronal networks and animal groups process information about their environment via the dynamics of interacting units. These can transition between distinct macroscopic behaviors. Near such a transition (or critical point) collective computation is generally thought to be optimized, due to the associated maximal sensitivity to perturbations and fast dissemination of information. For biological systems, however, optimality depends on environmental context, making the flexible, context-dependent adoption of different distances to a critical point potentially more beneficial than its unique properties. Here, studying escape waves in schooling fish at two levels of perceived environmental risk, we investigate a) if and how distance to criticality is regulated in response to environmental changes and b) how the individual level benefits derived from special properties of the critical point compare to those achieved via regulation of the group's distance to it. We find that the observed fish schools are subcritical (not maximally responsive and sensitive to environmental cues), but decrease their distance to criticality with increased perceived risk. Considering an individual's hypothetical costs of two detection error types, we find that optimal distance to criticality depends on the riskiness and noisiness of the environment, which may explain the observed behavior. Our results highlight the benefit of evaluating biological consequences of different distances to criticality for individuals within animal collectives. This provides insights into the adaptive function of a collective system and motivates future questions about the evolutionary forces that brought the system to make this particular trade-off.


title: Exploring Head-based Mode-Switching in Virtual Reality

abstract: Mode-switching supports multilevel operations using a limited number of input methods. In Virtual Reality (VR) head-mounted displays (HMD), common approaches for mode-switching use buttons, controllers, and users' hands. However, they are inefficient and challenging to do with tasks that require both hands (e.g., when users need to use two hands during drawing operations). Using head gestures for mode-switching can be an efficient and cost-effective way, allowing for a more continuous and smooth transition between modes. In this paper, we explore the use of head gestures for mode-switching especially in scenarios when both users' hands are performing tasks. We present a first user study that evaluated eight head gestures that could be suitable for VR HMD with a dual-hand line-drawing task. Results show that move forward, move backward, roll left, and roll right led to better performance and are preferred by participants. A second study integrating these four gestures in Tilt Brush, an open-source painting VR application, is conducted to further explore the applicability of these gestures and derive insights. Results show that Tilt Brush with head gestures allowed users to change modes with ease and led to improved interaction and user experience. The paper ends with a discussion on some design recommendations for using head-based mode-switching in VR HMD.


title: Put the Bear on the Chair! Intelligent Robot Interaction with Previously Unseen Chairs via Robot Imagination

abstract: In this paper, we study the problem of autonomously seating a teddy bear on a previously unseen chair. To achieve this goal, we present a novel method for robots to imagine the sitting pose of the bear by physically simulating a virtual humanoid agent sitting on the chair. We also develop a robotic system which leverages motion planning to plan SE(2) motions for a humanoid robot to walk to the chair and whole-body motions to put the bear on it. Furthermore, to cope with cases where the chair is not in an accessible pose for placing the bear, a human assistance module is introduced for a human to follow language instructions given by the robot to rotate the chair and help make the chair accessible. We implement our method with a robot arm and a humanoid robot. We calibrate the proposed system with 3 chairs and test on 12 previously unseen chairs in both accessible and inaccessible poses extensively. Results show that our method enables the robot to autonomously seat the teddy bear on the 12 previously unseen chairs with a very high success rate. The human assistance module is also shown to be very effective in changing the accessibility of the chair. Video demos and more details are available at https://chirikjianlab.github.io/putbearonchair/.


title: Unsupervised Corpus Aware Language Model Pre-training for Dense Passage Retrieval

abstract: Recent research demonstrates the effectiveness of using fine-tuned language models~(LM) for dense retrieval. However, dense retrievers are hard to train, typically requiring heavily engineered fine-tuning pipelines to realize their full potential. In this paper, we identify and address two underlying problems of dense retrievers: i)~fragility to training data noise and ii)~requiring large batches to robustly learn the embedding space. We use the recently proposed Condenser pre-training architecture, which learns to condense information into the dense vector through LM pre-training. On top of it, we propose coCondenser, which adds an unsupervised corpus-level contrastive loss to warm up the passage embedding space. Retrieval experiments on MS-MARCO, Natural Question, and Trivia QA datasets show that coCondenser removes the need for heavy data engineering such as augmentation, synthesis, or filtering, as well as the need for large batch training. It shows comparable performance to RocketQA, a state-of-the-art, heavily engineered system, using simple small batch fine-tuning.


title: Universal scaling limits of the symplectic elliptic Ginibre ensemble

abstract: We consider the eigenvalues of symplectic elliptic Ginibre matrices which are known to form a Pfaffian point process whose correlation kernel can be expressed in terms of the skew-orthogonal Hermite polynomials. We derive the scaling limits and the convergence rates of the correlation functions at the real bulk/edge of the spectrum, which in particular establishes the local universality at strong non-Hermiticity. Furthermore, we obtain the subleading corrections of the edge correlation kernels, which depend on the non-Hermiticity parameter contrary to the universal leading term. Our proofs are based on the asymptotic behaviour of the complex elliptic Ginibre ensemble due to Lee and Riser as well as on a version of the Christoffel-Darboux identity, a differential equation satisfied by the skew-orthogonal polynomial kernel.


title: AMMUS : A Survey of Transformer-based Pretrained Models in Natural Language Processing

abstract: Transformer-based pretrained language models (T-PTLMs) have achieved great success in almost every NLP task. The evolution of these models started with GPT and BERT. These models are built on the top of transformers, self-supervised learning and transfer learning. Transformed-based PTLMs learn universal language representations from large volumes of text data using self-supervised learning and transfer this knowledge to downstream tasks. These models provide good background knowledge to downstream tasks which avoids training of downstream models from scratch. In this comprehensive survey paper, we initially give a brief overview of self-supervised learning. Next, we explain various core concepts like pretraining, pretraining methods, pretraining tasks, embeddings and downstream adaptation methods. Next, we present a new taxonomy of T-PTLMs and then give brief overview of various benchmarks including both intrinsic and extrinsic. We present a summary of various useful libraries to work with T-PTLMs. Finally, we highlight some of the future research directions which will further improve these models. We strongly believe that this comprehensive survey paper will serve as a good reference to learn the core concepts as well as to stay updated with the recent happenings in T-PTLMs.


title: Development of Simulation-based Lane Change Control System for Autonomous Vehicles

abstract: Originally, the decision and control of the lane change of the vehicle were on the human driver. In previous studies, the decision-making of lane-changing of the human drivers was mainly used to increase the individual's benefit. However, the lane-changing behavior of these human drivers can sometimes have a bad influence on the overall traffic flow. As technology for autonomous vehicles develop, lane changing action as well as lane changing decision making fall within the control category of autonomous vehicles. However, since many of the current lane-changing decision algorithms of autonomous vehicles are based on the human driver model, it is hard to know the potential traffic impact of such lane change. Therefore, in this study, we focused on the decision-making of lane change considering traffic flow, and accordingly, we study the lane change control system considering the whole traffic flow. In this research, the lane change control system predicts the future traffic situation through the cell transition model, one of the most popular macroscopic traffic simulation models, and determines the change probability of each lane that minimizes the total time delay through the genetic algorithm. The lane change control system then conveys the change probability to this vehicle. In the macroscopic simulation result, the proposed control system reduced the overall travel time delay. The proposed system is applied to microscopic traffic simulation, the oversaturated freeway traffic flow algorithm (OFFA), to evaluate the potential performance when it is applied to the actual traffic system. In the traffic flow-density, the maximum traffic flow has been shown to be increased, and the points in the congestion area have also been greatly reduced. Overall, the time required for individual vehicles was reduced.


title: Regulation of the Pho Regulon and Reconstruction of the Photosynthetic Apparatus under Phosphate Limitation in Synechocystis sp. PCC 6803

abstract: For millennia, cyanobacteria have evolved strategies for acclimatization to dynamic environments- this requires a molecular response system. Phosphate is essential for cellular integrity and metabolism, yet inorganic phosphate is often the limiting nutrient for most aquatic environments. This study characterizes two periplasmic phosphate-binding proteins, namely SphX and SphZ, which are essential for the functional response of the SphS-SphR signal transduction system in Synechocystis sp. PCC 6803 and incorporates both into a model. SphX offers a competitive role so as to ensure inorganic phosphate is not depleted from the environment at a faster rate than is necessary for metabolism and, therefore, hinders luxury uptake; whereas, SphZ, encoded by sll0540, is the auxiliary sensor necessary for the SphS response under phosphate limitation in tandem with a protein complex association with the phosphate-specific transport 2 system and the negative regulator, SphU. Cross-regulation between the pho regulon and the photosynthetic apparatus is presented as well as a parameterized analysis for low-temperature fluorescence emission spectroscopy.


title: HandFoldingNet: A 3D Hand Pose Estimation Network Using Multiscale-Feature Guided Folding of a 2D Hand Skeleton

abstract: With increasing applications of 3D hand pose estimation in various human-computer interaction applications, convolution neural networks (CNNs) based estimation models have been actively explored. However, the existing models require complex architectures or redundant computational resources to trade with the acceptable accuracy. To tackle this limitation, this paper proposes HandFoldingNet, an accurate and efficient hand pose estimator that regresses the hand joint locations from the normalized 3D hand point cloud input. The proposed model utilizes a folding-based decoder that folds a given 2D hand skeleton into the corresponding joint coordinates. For higher estimation accuracy, folding is guided by multi-scale features, which include both global and joint-wise local features. Experimental results show that the proposed model outperforms the existing methods on three hand pose benchmark datasets with the lowest model parameter requirement. Code is available at https://github.com/cwc1260/HandFold.


title: Independent, Incidence Independent and Weakly Reversible Decompositions of Chemical Reaction Networks

abstract: Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks can be considered as the most important class of reaction networks. Now, the stoichiometric subspace of a network is the linear span of the reaction vectors (i.e., difference between the product and the reactant complexes). A decomposition of a CRN is independent (incidence independent) if the direct sum of the stoichiometric subspaces (incidence maps) of the subnetworks equals the stoichiometric subspace (incidence map) of the whole network. Decompositions can be used to study relationships between steady states of the whole system (induced from partitioning the reaction set of the underlying network) and those of its subsystems. In this work, we revisit our novel method of finding independent decomposition, and use it to expand applicability on (vector) components of steady states. We also explore CRNs with embedded deficiency zero independent subnetworks. In addition, we establish a method for finding incidence independent decomposition of a CRN. We determine all the forms of independent and incidence independent decompositions of a network, and provide the number of such decompositions. Lastly, for weakly reversible networks, we determine that incidence independence is a sufficient condition for weak reversibility of a decomposition, and we identify subclasses of weakly reversible networks where any independent decomposition is weakly reversible.


title: Deep Amended Gradient Descent for Efficient Spectral Reconstruction from Single RGB Images

abstract: This paper investigates the problem of recovering hyperspectral (HS) images from single RGB images. To tackle such a severely ill-posed problem, we propose a physically-interpretable, compact, efficient, and end-to-end learning-based framework, namely AGD-Net. Precisely, by taking advantage of the imaging process, we first formulate the problem explicitly based on the classic gradient descent algorithm. Then, we design a lightweight neural network with a multi-stage architecture to mimic the formed amended gradient descent process, in which efficient convolution and novel spectral zero-mean normalization are proposed to effectively extract spatial-spectral features for regressing an initialization, a basic gradient, and an incremental gradient. Besides, based on the approximate low-rank property of HS images, we propose a novel rank loss to promote the similarity between the global structures of reconstructed and ground-truth HS images, which is optimized with our singular value weighting strategy during training. Moreover, AGD-Net, a single network after one-time training, is flexible to handle the reconstruction with various spectral response functions. Extensive experiments over three commonly-used benchmark datasets demonstrate that AGD-Net can improve the reconstruction quality by more than 1.0 dB on average while saving 67$\times$ parameters and 32$\times$ FLOPs, compared with state-of-the-art methods. The code will be publicly available at https://github.com/zbzhzhy/GD-Net.


title: Performance studies for a next-generation optical sensor for IceCube-Gen2

abstract: We present performance studies of a segmented optical module for the IceCube-Gen2 detector. Based on the experience gained in sensor development for the IceCube Upgrade, the new sensor will consist of up to eighteen 4 inch PMTs housed in a transparent pressure vessel, providing homogeneous angular coverage. The use of custom molded optical `gel pads' around the PMTs enhances the photon capture rate via total internal reflection at the gel-air interface. This contribution presents simulation studies of various sensor, PMT, and gel pad geometries aimed at optimizing the sensitivity of the optical module in the face of confined space and harsh environmental conditions at the South Pole.


title: Coloured gravitational instantons, the strong CP problem and the companion axion solution

abstract: Quantum gravity introduces a new source of the combined parity (CP) violation in gauge theories. We argue that this new CP violation gets bundled with the strong CP violation through the coloured gravitational instantons. Consequently, the standard axion solution to the strong CP problem is compromised. Further, we argue that the ultimate solution to the strong CP problem must involve at least one additional axion particle.


title: Entropy and hierarchical clustering: characterising the morphology of the urban fabric in different spatial cultures

abstract: In this work, we develop a general method for estimating the Shannon entropy of a bidimensional sequence based on the extrapolation of block entropies. We apply this method to analyse the spatial configurations of cities of different cultures and regions of the world. Findings suggest that this approach can identify similarities between cities, generating accurate results for recognising and classifying different urban morphologies. The hierarchical clustering analysis based on this metric also opens up new questions about the possibility that urban form can embody characteristics related to different cultural identities, historical processes and geographical regions.


title: Stochastic processes in classical and quantum physics and engineering

abstract: This book covers a wide range of problems involving the applications of stochastic processes, stochastic calculus, large deviation theory, group representation theory and quantum statistics to diverse fields in dynamical systems, electromagnetics, statistical signal processing, quantum information theory, quantum neural network theory, quantum filtering theory, quantum electrodynamics, quantum general relativity, string theory, problems in biology and classical and quantum fluid dynamics. The selection of the problems has been based on courses taught by the author to undergraduates and postgraduates in electronics and communication engineering. The theory of stochastic processes has been applied to problems of system identification based on time series models of the process concerned to derive time and order recursive parameter estimation followed by statistical performance analysis.


title: Graph Trend Filtering Networks for Recommendations

abstract: Recommender systems aim to provide personalized services to users and are playing an increasingly important role in our daily lives. The key of recommender systems is to predict how likely users will interact with items based on their historical online behaviors, e.g., clicks, add-to-cart, purchases, etc. To exploit these user-item interactions, there are increasing efforts on considering the user-item interactions as a user-item bipartite graph and then performing information propagation in the graph via Graph Neural Networks (GNNs). Given the power of GNNs in graph representation learning, these GNNs-based recommendation methods have remarkably boosted the recommendation performance. Despite their success, most existing GNNs-based recommender systems overlook the existence of interactions caused by unreliable behaviors (e.g., random/bait clicks) and uniformly treat all the interactions, which can lead to sub-optimal and unstable performance. In this paper, we investigate the drawbacks (e.g., non-adaptive propagation and non-robustness) of existing GNN-based recommendation methods. To address these drawbacks, we introduce a principled graph trend collaborative filtering method and propose the Graph Trend Filtering Networks for recommendations (GTN) that can capture the adaptive reliability of the interactions. Comprehensive experiments and ablation studies are presented to verify and understand the effectiveness of the proposed framework. Our implementation based on PyTorch is available at https://github.com/wenqifan03/GTN-SIGIR2022.


title: Deep Neural Network Voice Activity Detector for Downsampled Audio Data: An Experiment Report

abstract: Sociometric badges are an emerging technology for study how teams interact in physical places. Audio data recorded by sociometric badges is often downsampled to not record discussions of the sociometric badges holders. To gain more information about interactions inside teams with sociometric badges a Voice Activity Detector (VAD) is deployed to measure verbal activity of the interaction. Detecting voice activity from downsampled audio data is challenging because down-sampling destroys information from the data. We developed a VAD using deep learning techniques that achieves only moderate accuracy in a low noise meeting setting and in across variable noise levels despite excellent validation performance. Experiences and lessons learned while developing the VAD are discussed.


title: Triggered star formation by shocks

abstract: Star formation can be triggered by compression from shock waves. In this study, we investigated the interaction of hydrodynamic shocks with Bonnor-Ebert spheres using 3D hydrodynamical simulations with self-gravity. Our simulations indicated that the cloud evolution primarily depends on two parameters: the shock speed and initial cloud radius. The stronger shock can compress the cloud more efficiently, and when the central region becomes gravitationally unstable, a shock triggers the cloud contraction. However, if it is excessively strong, it shreds the cloud more violently and the cloud is destroyed. From simple theoretical considerations, we derived the condition of triggered gravitational collapse, which agreed with the simulation results. Introducing sink particles, we followed the further evolution after star formation. Since stronger shocks tend to shred the cloud material more efficiently, the stronger the shock is, the smaller the final (asymptotic) masses of the stars formed (i.e., sink particles) become. In addition, the shock accelerates the cloud, promoting mixing of shock-accelerated interstellar medium gas. As a result, the separation between the sink particles and the shocked cloud center and their relative speed increase over time. We also investigated the effect of cloud turbulence on shock-cloud interaction. We observed that the cloud turbulence prevents rapid cloud contraction; thus, the turbulent cloud is destroyed more rapidly than the thermally-supported cloud. Therefore, the masses of stars formed become smaller. Our simulations can provide a general guide to the evolutionary process of dense cores and Bok globules impacted by shocks.


title: Longitudinal Network Models and Permutation-Uniform Markov Chains

abstract: Consider longitudinal networks whose edges turn on and off according to a discrete-time Markov chain with exponential-family transition probabilities. We characterize when their joint distributions are also exponential families with the same parameter, improving data reduction. Further we show that the permutation-uniform subclass of these chains permit interpretation as an independent, identically distributed sequence on the same state space. We then apply these ideas to temporal exponential random graph models, for which permutation uniformity is well suited, and discuss mean-parameter convergence, dyadic independence, and exchangeability. Our framework facilitates our introducing a new network model; simplifies analysis of some network and autoregressive models from the literature, including by permitting closed-form expressions for maximum likelihood estimates for some models; and facilitates applying standard tools to longitudinal-network Markov chains from either asymptotics or single-observation exponential random graph models.


title: A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

abstract: Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase.


title: Stationary and non-stationary pattern formation over fragmented habitat

abstract: Spatio-temporal pattern formation over the square and rectangular domain has received significant attention from researchers. A wide range of stationary and non-stationary patterns produced by two interacting populations is abundant in the literature. Fragmented habitats are widespread in reality due to the irregularity of the landscape. This work considers a prey-predator model capable of producing a wide range of stationary and time-varying patterns over a complex habitat. The complex habitat is assumed to have consisted of two rectangular patches connected through a corridor. Our main aim is to explain how the shape and size of the fragmented habitat regulate the spatio-temporal pattern formation at the initial time. The analytical conditions are derived to ensure the existence of a stationary pattern and illustrate the role of most unstable eigenmodes to determine the number of patches for the stationary pattern. Exhaustive numerical simulations help to explain the spatial domain's size and shape on the transient patterns and the duration of transient states.


title: Visualizing and Quantifying Wettability Alteration by Silica Nanofluids

abstract: An aqueous suspension of silica nanoparticles or nanofluid can alter the wettability of surfaces, specifically by making them hydrophilic and oil-repellent under water. Wettability alteration by nanofluids have important technological applications, including for enhanced oil recovery and heat transfer processes. A common way to characterize the wettability alteration is by measuring the contact angles of an oil droplet with and without nanoparticles. While easy to perform, contact angle measurements do not fully capture the wettability changes to the surface. Here, we employed several complementary techniques, such as cryo-scanning electron microscopy, confocal fluorescence and reflection interference contrast microscopy and droplet probe atomic force Microscopy (AFM), to visualize and quantify the wettability alterations by fumed silica nanoparticles. We found that nanoparticles adsorbed onto glass surfaces to form a porous layer with hierarchical micro- and nano-structures. The porous layer is able to trap a thin water film, which reduces contact between the oil droplet and the solid substrate. As a result, even a small addition of nanoparticles (0.1 wt%) lowers the adhesion force for a 20-$\mu$m-sized oil droplet by more than 400 times from 210$\pm$10 nN to 0.5$\pm$0.3 nN as measured using droplet probe AFM. Finally, we show that silica nanofluids can improve oil recovery rates by 8% in a micromodel with glass channels that resemble a physical rock network.


title: Theory of spin-charge-coupled transport in proximitized graphene: An SO(5) algebraic approach

abstract: Establishing the conditions under which orbital, spin and lattice-pseudospin degrees of freedom are mutually coupled in realistic nonequilibrium conditions is a major goal in the emergent field of graphene spintronics. Here, we use linear-response theory to obtain a unified microscopic description of spin dynamics and coupled spin-charge transport in graphene with an interface-induced Bychkov-Rashba effect. Our method makes use of an SO(5) extension of the familiar inverse-diffuson approach to obtain a quantum kinetic equation for the single-particle density matrix that treats spin and pseudospin on equal footing and is valid for arbitrary external perturbations. As an application of the formalism, we derive a complete set of drift-diffusion equations for proximitized graphene with scalar impurities in the presence of electric and spin-injection fields which vary slowly in space and time. Our approach is amenable to a wide variety of generalizations, including the study of coupled spin-charge dynamics in layered materials with strong spin-valley coupling and spin-orbit torques in van der Waals heterostructures.


title: Patchwork: Concentric Zone-based Region-wise Ground Segmentation with Ground Likelihood Estimation Using a 3D LiDAR Sensor

abstract: Ground segmentation is crucial for terrestrial mobile platforms to perform navigation or neighboring object recognition. Unfortunately, the ground is not flat, as it features steep slopes; bumpy roads; or objects, such as curbs, flower beds, and so forth. To tackle the problem, this paper presents a novel ground segmentation method called \textit{Patchwork}, which is robust for addressing the under-segmentation problem and operates at more than 40 Hz. In this paper, a point cloud is encoded into a Concentric Zone Model-based representation to assign an appropriate density of cloud points among bins in a way that is not computationally complex. This is followed by Region-wise Ground Plane Fitting, which is performed to estimate the partial ground for each bin. Finally, Ground Likelihood Estimation is introduced to dramatically reduce false positives. As experimentally verified on SemanticKITTI and rough terrain datasets, our proposed method yields promising performance compared with the state-of-the-art methods, showing faster speed compared with existing plane fitting--based methods. Code is available: https://github.com/LimHyungTae/patchwork


title: Atomicity of Positive Monoids

abstract: An additive submonoid of the nonnegative cone of the real line is called a positive monoid. Positive monoids consisting of rational numbers (also known as Puiseux monoids) have been the subject of several recent papers. Moreover, those generated by a geometric sequence have also received a great deal of recent attention. Our purpose is to survey many of the recent advances regarding positive monoids, and we provide numerous examples to illustrate the complexity of their atomic and arithmetic structures.


title: Non-Hermitian spatial symmetries and their stabilized normal and exceptional topological semimetals

abstract: We study non-Hermitian spatial symmetries -- a class of symmetries that have no counterparts in Hermitian systems -- and study how normal and exceptional semimetals can be stabilized by these symmetries. Different from internal ones, spatial symmetries act nonlocally in momentum space and enforce global constraints on both band degeneracies and topological quantities at different locations. In deriving general constraints on band degeneracies and topological invariants, we demonstrate that non-Hermitian spatial symmetries are on an equal footing with, but are essentially different from Hermitian ones. First, we discover the nonlocal Hermitian conjugate pair of exceptional or normal band degeneracies that are enforced by non-Hermitian spatial symmetries. Remarkably, we find that these pairs lead to the symmetry-enforced violation of the Fermion doubling theorem in the long-time limit. Second, with the topological constraints, we unravel that certain exceptional manifold is only compatible with and stabilized by non-Hermitian spatial symmetries but is intrinsically incompatible with Hermitian spatial symmetries. We illustrate these findings using two three-dimensional models of a non-Hermitian Weyl semimetal and an exceptional unconventional Weyl semimetal. Experimental cold-atom realizations of both models are also proposed.


title: Deep Camera Obscura: An Image Restoration Pipeline for Lensless Pinhole Photography

abstract: The lensless pinhole camera is perhaps the earliest and simplest form of an imaging system using only a pinhole-sized aperture in place of a lens. They can capture an infinite depth-of-field and offer greater freedom from optical distortion over their lens-based counterparts. However, the inherent limitations of a pinhole system result in lower sharpness from blur caused by optical diffraction and higher noise levels due to low light throughput of the small aperture, requiring very long exposure times to capture well-exposed images. In this paper, we explore an image restoration pipeline using deep learning and domain-knowledge of the pinhole system to enhance the pinhole image quality through a joint denoise and deblur approach. Our approach allows for more practical exposure times for hand-held photography and provides higher image quality, making it more suitable for daily photography compared to other lensless cameras while keeping size and cost low. This opens up the potential of pinhole cameras to be used in smaller devices, such as smartphones.


title: Low scale trinification symmetry through effects of dimension-5 operators in $E_6$ grand unified theory with and without supersymmetry

abstract: We examine $E_6$ GUT models (both SUSY and non-SUSY) with D-parity violating intermediate trinification symmetry $\left(SU(3)_C\otimes SU(3)_L\otimes SU(3)_R\right)(g_{3L}\neq g_{3R})$ where the D-parity breaking is achieved by quantum gravity effect through dimension-5 operators. Inclusion of the gravitational effect significantly lowers the intermediate scale, being as low as $10$ TeV. However with a given choice of the intermediate mass $M_I$, the gauge unification mass $M_U$ as well as the GUT coupling constant are unaffected by the effects. The predicted value of $M_U$ is shown to be compatible with the accessible limit of the proton lifetime in presence of additional particles i.e. color octet scalars like $(8,2,\frac{1}{2})$ or $(8,1,0)$ and electroweak triplet fermion $(1,3,0)$ at the lower scales. The presence of color octet scalar with mass of the order of TeV may suppress the production of the Higgs boson through gluon fusion. The $SU(2)_L$ triplet fermion may behave like a stable dark matter. With reference to cosmological issue, it is expected that no strings or walls bounded by strings associated with D are generated, since the discrete D-parity is broken at the GUT scale.


title: Vision-Language Transformer and Query Generation for Referring Segmentation

abstract: In this work, we address the challenging task of referring segmentation. The query expression in referring segmentation typically indicates the target object by describing its relationship with others. Therefore, to find the target one among all instances in the image, the model must have a holistic understanding of the whole image. To achieve this, we reformulate referring segmentation as a direct attention problem: finding the region in the image where the query language expression is most attended to. We introduce transformer and multi-head attention to build a network with an encoder-decoder attention mechanism architecture that "queries" the given image with the language expression. Furthermore, we propose a Query Generation Module, which produces multiple sets of queries with different attention weights that represent the diversified comprehensions of the language expression from different aspects. At the same time, to find the best way from these diversified comprehensions based on visual clues, we further propose a Query Balance Module to adaptively select the output features of these queries for a better mask generation. Without bells and whistles, our approach is light-weight and achieves new state-of-the-art performance consistently on three referring segmentation datasets, RefCOCO, RefCOCO+, and G-Ref. Our code is available at https://github.com/henghuiding/Vision-Language-Transformer.


title: Matrix pencils with coefficients that have positive semidefinite Hermitian part

abstract: We analyze when an arbitrary matrix pencil is equivalent to a dissipative Hamiltonian pencil and show that this heavily restricts the spectral properties. In order to relax the spectral properties, we introduce matrix pencils with coefficients that have positive semidefinite Hermitian parts. We will make a detailed analysis of their spectral properties and their numerical range. In particular, we relate the Kronecker structure of these pencils to that of an underlying skew-Hermitian pencil and discuss their regularity, index, numerical range, and location of eigenvalues. Further, we study matrix polynomials with positive semidefinite Hermitian coefficients and use linearizations with positive semidefinite Hermitian parts to derive sufficient conditions for a spectrum in the left half plane and derive bounds on the index.


title: Combinatorial Resources Auction in Decentralized Edge-Thing Systems Using Blockchain and Differential Privacy

abstract: With the continuous expansion of Internet of Things (IoT) devices, edge computing mode has emerged in recent years to overcome the shortcomings of traditional cloud computing mode, such as high delay, network congestion, and large resource consumption. Thus, edge-thing systems will replace the classic cloud-thing/cloud-edge-thing systems and become mainstream gradually, where IoT devices can offload their tasks to neighboring edge nodes. A common problem is how to utilize edge computing resources. For the sake of fairness, double auction can be used in the edge-thing system to achieve an effective resource allocation and pricing mechanism. Due to the lack of third-party management agencies and mutual distrust between nodes, in our edge-thing systems, we introduce blockchains to prevent malicious nodes from tampering with transaction records and smart contracts to act as an auctioneer to realize resources auction. Since the auction results stored in this blockchain-based system are transparent, they are threatened with inference attacks. Thus in this paper, we design a differentially private combinatorial double auction mechanism by exploring the exponential mechanism such that maximizing the revenue of edge computing platform, in which each IoT device requests a resource bundle and edge nodes compete with each other to provide resources. It can not only guarantee approximate truthfulness and high revenue, but also ensure privacy security. Through necessary theoretical analysis and numerical simulations, the effectiveness of our proposed mechanisms can be validated.


title: A Contract Theory based Incentive Mechanism for Federated Learning

abstract: Federated learning (FL) serves as a data privacy-preserved machine learning paradigm, and realizes the collaborative model trained by distributed clients. To accomplish an FL task, the task publisher needs to pay financial incentives to the FL server and FL server offloads the task to the contributing FL clients. It is challenging to design proper incentives for the FL clients due to the fact that the task is privately trained by the clients. This paper aims to propose a contract theory based FL task training model towards minimizing incentive budget subject to clients being individually rational (IR) and incentive compatible (IC) in each FL training round. We design a two-dimensional contract model by formally defining two private types of clients, namely data quality and computation effort. To effectively aggregate the trained models, a contract-based aggregator is proposed. We analyze the feasible and optimal contract solutions to the proposed contract model. %Experimental results demonstrate that the proposed framework and contract model can effective improve the generation accuracy of FL tasks. Experimental results show that the generalization accuracy of the FL tasks can be improved by the proposed incentive mechanism where contract-based aggregation is applied.


title: Agnostic Online Learning and Excellent Sets

abstract: We use algorithmic methods from online learning to revisit a key idea from the interaction of model theory and combinatorics, the existence of large "indivisible" sets, called "$\epsilon$-excellent," in $k$-edge stable graphs (equivalently, Littlestone classes). These sets arise in the Stable Regularity Lemma, a theorem characterizing the appearance of irregular pairs in Szemer\'edi's celebrated Regularity Lemma. Translating to the language of probability, we find a quite different existence proof for $\epsilon$-excellent sets in Littlestone classes, using regret bounds in online learning. This proof applies to any $\epsilon < {1}/{2}$, compared to $< {1}/{2^{2^k}}$ or so in the original proof. We include a second proof using closure properties and the VC theorem, with other advantages but weaker bounds. As a simple corollary, the Littlestone dimension remains finite under some natural modifications to the definition. A theme in these proofs is the interaction of two abstract notions of majority, arising from measure, and from rank or dimension; we prove that these densely often coincide and that this is characteristic of Littlestone (stable) classes. The last section lists several open problems.


title: LabOR: Labeling Only if Required for Domain Adaptive Semantic Segmentation

abstract: Unsupervised Domain Adaptation (UDA) for semantic segmentation has been actively studied to mitigate the domain gap between label-rich source data and unlabeled target data. Despite these efforts, UDA still has a long way to go to reach the fully supervised performance. To this end, we propose a Labeling Only if Required strategy, LabOR, where we introduce a human-in-the-loop approach to adaptively give scarce labels to points that a UDA model is uncertain about. In order to find the uncertain points, we generate an inconsistency mask using the proposed adaptive pixel selector and we label these segment-based regions to achieve near supervised performance with only a small fraction (about 2.2%) ground truth points, which we call "Segment based Pixel-Labeling (SPL)". To further reduce the efforts of the human annotator, we also propose "Point-based Pixel-Labeling (PPL)", which finds the most representative points for labeling within the generated inconsistency mask. This reduces efforts from 2.2% segment label to 40 points label while minimizing performance degradation. Through extensive experimentation, we show the advantages of this new framework for domain adaptive semantic segmentation while minimizing human labor costs.


title: CIPM: Common Identification Process Model for Database Forensics Field

abstract: Database Forensics (DBF) domain is a branch of digital forensics, concerned with the identification, collection, reconstruction, analysis, and documentation of database crimes. Different researchers have introduced several identification models to handle database crimes. Majority of proposed models are not specific and are redundant, which makes these models a problem because of the multidimensional nature and high diversity of database systems. Accordingly, using the metamodeling approach, the current study is aimed at proposing a unified identification model applicable to the database forensic field. The model integrates and harmonizes all exiting identification processes into a single abstract model, called Common Identification Process Model (CIPM). The model comprises six phases: 1) notifying an incident, 2) responding to the incident, 3) identification of the incident source, 4) verification of the incident, 5) isolation of the database server and 6) provision of an investigation environment. CIMP was found capable of helping the practitioners and newcomers to the forensics domain to control database crimes.


title: Hybrid cosmic ray measurements using the IceAct telescopes in coincidence with the IceCube and IceTop detectors

abstract: IceAct is a proposed surface array of compact (50 cm diameter) and cost-effective Imaging Air Cherenkov Telescopes installed at the site of the IceCube Neutrino Observatory at the geographic South Pole. Since January 2019, two IceAct telescope demonstrators, featuring 61 silicon pho- tomultiplier (SiPM) pixels have been taking data in the center of the IceTop surface array during the austral winter. We present the first analysis of hybrid cosmic ray events detected by the IceAct imaging air-Cherenkov telescopes in coincidence with the IceCube Neutrino Observatory, includ- ing the IceTop surface array and the IceCube in-ice array. By featuring an energy threshold of about 10 TeV and a wide field-of-view, the IceAct telescopes show promising capabilities of im- proving current cosmic ray composition studies: measuring the Cherenkov light emissions in the atmosphere adds new information about the shower development not accessible with the current detectors, enabling significantly better primary particle type discrimination on a statistical basis. The hybrid measurement also allows for detailed feasibility studies of detector cross-calibration and of cosmic ray veto capabilities for neutrino analyses. We present the performance of the telescopes, the results from the analysis of two years of data, and an outlook of a hybrid simulation for a future telescope array.


title: Mild Stochastic Sewing Lemma, SPDE in Random Environment, and Fractional Averaging

abstract: Our first result is a stochastic sewing lemma with quantitative estimates for mild incremental processes, with which we study SPDEs driven by fractional Brownian motions in a random environment. We obtain uniform $L^p$-bounds. Our second result is a fractional averaging principle admitting non-stationary fast environments. As an application, we prove a fractional averaging principle for SPDEs.


title: Implicit Sparse Regularization: The Impact of Depth and Early Stopping

abstract: In this paper, we study the implicit bias of gradient descent for sparse regression. We extend results on regression with quadratic parametrization, which amounts to depth-2 diagonal linear networks, to more general depth-N networks, under more realistic settings of noise and correlated designs. We show that early stopping is crucial for gradient descent to converge to a sparse model, a phenomenon that we call implicit sparse regularization. This result is in sharp contrast to known results for noiseless and uncorrelated-design cases. We characterize the impact of depth and early stopping and show that for a general depth parameter N, gradient descent with early stopping achieves minimax optimal sparse recovery with sufficiently small initialization and step size. In particular, we show that increasing depth enlarges the scale of working initialization and the early-stopping window so that this implicit sparse regularization effect is more likely to take place.


title: Kicktionary-LOME: A Domain-Specific Multilingual Frame Semantic Parsing Model for Football Language

abstract: This technical report introduces an adapted version of the LOME frame semantic parsing model (Xia et al., EACL 2021) which is capable of automatically annotating texts according to the "Kicktionary" domain-specific framenet resource. Several methods for training a model even with limited available training data are proposed. While there are some challenges for evaluation related to the nature of the available annotations, preliminary results are very promising, with the best model reaching F1-scores of 0.83 (frame prediction) and 0.81 (semantic role prediction).


title: Common Investigation Process Model for Internet of Things Forensics

abstract: Internet of Things Forensics (IoTFs) is a new discipline in digital forensics science used in the detection, acquisition, preservation, rebuilding, analyzing, and the presentation of evidence from IoT environments. IoTFs discipline still suffers from several issues and challenges that have in the recent past been documented. For example, heterogeneity of IoT infrastructures has mainly been a key challenge. The heterogeneity of the IoT infrastructures makes the IoTFs very complex, and ambiguous among various forensic domain. This paper aims to propose a common investigation processes for IoTFs using the metamodeling method called Common Investigation Process Model (CIPM) for IoTFs. The proposed CIPM consists of four common investigation processes: i) preparation process, ii) collection process, iii) analysis process and iv) final report process. The proposed CIPM can assist IoTFs users to facilitate, manage, and organize the investigation tasks.


title: iButter: Neural Interactive Bullet Time Generator for Human Free-viewpoint Rendering

abstract: Generating ``bullet-time'' effects of human free-viewpoint videos is critical for immersive visual effects and VR/AR experience. Recent neural advances still lack the controllable and interactive bullet-time design ability for human free-viewpoint rendering, especially under the real-time, dynamic and general setting for our trajectory-aware task. To fill this gap, in this paper we propose a neural interactive bullet-time generator (iButter) for photo-realistic human free-viewpoint rendering from dense RGB streams, which enables flexible and interactive design for human bullet-time visual effects. Our iButter approach consists of a real-time preview and design stage as well as a trajectory-aware refinement stage. During preview, we propose an interactive bullet-time design approach by extending the NeRF rendering to a real-time and dynamic setting and getting rid of the tedious per-scene training. To this end, our bullet-time design stage utilizes a hybrid training set, light-weight network design and an efficient silhouette-based sampling strategy. During refinement, we introduce an efficient trajectory-aware scheme within 20 minutes, which jointly encodes the spatial, temporal consistency and semantic cues along the designed trajectory, achieving photo-realistic bullet-time viewing experience of human activities. Extensive experiments demonstrate the effectiveness of our approach for convenient interactive bullet-time design and photo-realistic human free-viewpoint video generation.


title: Sub-exponential mixing of generalized cellular flows with bounded palenstrophy

abstract: We study the mixing properties of a passive scalar advected by an incompressible flow. We consider a class of cellular flows (more general than the class in [Crippa-Schulze M3AS 2017]) and show that, under the constraint that the palenstrophy is bounded uniformly in time, the mixing scale of the passive scalar cannot decay exponentially.


title: Comparative Analysis of Network Forensic Tools and Network Forensics Processes

abstract: Network Forensics (NFs) is a branch of digital forensics which used to detect and capture potential digital crimes over computer networked environments crime. Network Forensic Tools (NFTs) and Network Forensic Processes (NFPs) have abilities to examine networks, collect all normal and abnormal traffic/data, help in network incident analysis, and assist in creating an appropriate incident detection and reaction and also create a forensic hypothesis that can be used in a court of law. Also, it assists in examining the internal incidents and exploitation of assets, attack goals, executes threat evaluation, also by evaluating network performance. According to existing literature, there exist quite a number of NFTs and NTPs that are used for identification, collection, reconstruction, and analysing the chain of incidents that happen on networks. However, they were vary and differ in their roles and functionalities. The main objective of this paper, therefore, is to assess and see the distinction that exist between Network Forensic Tools (NFTs) and Network Forensic Processes (NFPs). Precisely, this paper focuses on comparing among four famous NFTs: Xplico, OmniPeek, NetDetector, and NetIetercept. The outputs of this paper show that the Xplico tool has abilities to identify, collect, reconstruct, and analyse the chain of incidents that happen on networks than other NF tools.


title: perf4sight: A toolflow to model CNN training performance on Edge GPUs

abstract: The increased memory and processing capabilities of today's edge devices create opportunities for greater edge intelligence. In the domain of vision, the ability to adapt a Convolutional Neural Network's (CNN) structure and parameters to the input data distribution leads to systems with lower memory footprint, latency and power consumption. However, due to the limited compute resources and memory budget on edge devices, it is necessary for the system to be able to predict the latency and memory footprint of the training process in order to identify favourable training configurations of the network topology and device combination for efficient network adaptation. This work proposes perf4sight, an automated methodology for developing accurate models that predict CNN training memory footprint and latency given a target device and network. This enables rapid identification of network topologies that can be retrained on the edge device with low resource consumption. With PyTorch as the framework and NVIDIA Jetson TX2 as the target device, the developed models predict training memory footprint and latency with 95% and 91% accuracy respectively for a wide range of networks, opening the path towards efficient network adaptation on edge GPUs.


title: On the Fine-Grained Complexity of the Unbounded SubsetSum and the Frobenius Problem

abstract: Consider positive integral solutions $x \in \mathbb{Z}^{n+1}$ to the equation $a_0 x_0 + \ldots + a_n x_n = t$. In the so called unbounded subset sum problem, the objective is to decide whether such a solution exists, whereas in the Frobenius problem, the objective is to compute the largest $t$ such that there is no such solution. In this paper we study the algorithmic complexity of the unbounded subset sum, the Frobenius problem and a generalization of the problems. More precisely, we study pseudo-polynomial time algorithms with a running time that depends on the smallest number $a_0$ or respectively the largest number $a_n$. For the parameter $a_0$, we show that all considered problems are subquadratically equivalent to $(min,+)$-convolution, a fundamental algorithmic problem from the area of fine-grained complexity. By this equivalence, we obtain hardness results for the considered problems (based on the assumption that an algorithm with a subquadratic running time for $(min,+)$-convolution does not exist) as well as algorithms with improved running time. The proof for the equivalence makes use of structural properties of solutions, a technique that was developed in the area of integer programming. In case of the complexity of the problems parameterized by $a_n$, we present improved algorithms. For example we give a quasi linear time algorithm for the Frobenius problem as well as a hardness result based on the strong exponential time hypothesis.


title: Digital Forensics Domain and Metamodeling Development Approaches

abstract: Metamodeling is used as a general technique for integrating and defining models from different domains. This technique can be used in diverse application domains, especially for purposes of standardization. Also, this process mainly has a focus on the identification of general concepts that exist in various problem domain and their relations and to solve complexity, interoperability, and heterogeneity aspects of different domains. Several diverse metamodeling development approaches have been proposed in the literature to develop metamodels. Each metamodeling development process has some advantages and disadvantages too. Therefore, the objective of this paper is to provide a comprehensive review of existing metamodeling development approaches and conduct a comparative study among them-eventually selecting the best approach for metamodel development in the perspective of digital forensics.


title: Converging Radar and Communications in the Superposition Transmission

abstract: This paper proposes a superposition transmission scheme for the future Radio Frequency (RF) convergence applications. The scheme is discussed under the assumption of a mono-static broadcasting channel topology. Under communications quality-of-service (QoS) constraints, the joint performance region of communications sum rate and radar estimation error variance is studied. Two radar signal waveforms, namely linear FM and parabolic FM, are used to investigate how signal shapes may influence the estimation accuracy. Both waveforms are generated with rectangular envelope. In the end, a numerical analysis is applied, which concludes that a moderate communications QoS promises a good communications fairness while with the limited radar performance degradation.


title: Application of topological resonances in experimental investigation of a Fermi golden rule in microwave networks

abstract: We investigate experimentally a Fermi golden rule in two-edge and five-edge microwave networks with preserved time reversal invariance. A Fermi golden rule gives rates of decay of states obtained by perturbing embedded eigenvalues of graphs and networks. We show that the embedded eigenvalues are connected with the topological resonances of the analyzed systems and we find the trajectories of the topological resonances in the complex plane.


title: Multicomponent, multiwavelength benchmarks for source- and filament-extraction methods

abstract: Modern multiwavelength observations of star-forming regions that reveal highly structured molecular clouds require adequate extraction methods that provide both detection of the structures and their accurate measurements. The omnipresence of filamentary structures and their physical connection to prestellar cores demand methods that are able to disentangle and extract both sources and filaments. It is fundamentally important to test all extraction methods to compare their detection and measurement qualities and fully understand their capabilities before their scientific applications. A recent publication described getsf, the new method for source and filament extraction that employs the separation of the structural components, a successor to getsources, getfilaments, and getimages (collectively referred to as getold). This new paper describes a detailed benchmarking of both getsf and getold using two multicomponent, multiwavelength benchmarks resembling the Herschel observations of the nearby star-forming regions. Each benchmark consists of simulated images at six Herschel wavelengths and one additional surface density image with a 13 arcsec resolution. The structural components of the benchmarks include a background cloud, a dense filament, hundreds of starless and protostellar cores, and instrumental noise. Five variants of benchmark images of different complexity are used to perform the source and filament extractions with getsf and getold. A formalism for evaluating source detection and measurement qualities is presented, allowing quantitative comparisons of extraction methods in terms of their completeness, reliability, and goodness, as well as the detection and measurement accuracies and the overall quality. A detailed analysis shows that getsf has better qualities than getold and that the best choice for source detection is the high-resolution surface density.


title: Extending structures for Lie bialgebras

abstract: Let $(\mathfrak{g}, [\cdot,\cdot], \delta_\mathfrak{g})$ be a fixed Lie bialgebra, $E$ be a vector space containing $\mathfrak{g}$ as a subspace and $V$ be a complement of $\mathfrak{g}$ in $E$. A natural problem is that how to classify all Lie bialgebraic structures on $E$ such that $(\mathfrak{g}, [\cdot,\cdot], \delta_\mathfrak{g})$ is a Lie sub-bialgebra up to an isomorphism of Lie bialgebras whose restriction on $\mathfrak{g}$ is the identity map. This problem is called the extending structures problem. In this paper, we introduce a general co-product on $E$, called the unified co-product of $(\mathfrak{g},\delta_\mathfrak{g})$ by $V$. With this unified co-product and the unified product of $(\mathfrak{g}, [\cdot,\cdot])$ by $V$ developed in \cite{AM1}, the unified bi-product of $(\mathfrak{g}, [\cdot,\cdot], \delta_\mathfrak{g})$ by $V$ is introduced. Moreover, we show that any $E$ in the extending structures problem is isomorphic to a unified bi-product of $(\mathfrak{g}, [\cdot,\cdot], \delta_\mathfrak{g})$ by $V$. Then an object $\mathcal{HBI}_{\mathfrak{g}}^2(V,\mathfrak{g})$ is constructed to classify all $E$ in the extending structures problem. Moreover, several special unified bi-products are also introduced. In particular, the unified bi-products when $\text{dim} V=1$ are investigated in detail.