title: Controlled Integral Frames for Hilbert $C^{\ast}$-Modules

abstract: The notion of controlled frames for Hilbert spaces were introduced by Balazs, Antoine and Grybos to improve the numerical efficiency of iterative algorithms for inverting the frame operator. Controlled Frame Theory has a great revolution in recent years. This Theory have been extended from Hilbert spaces to Hilbert $C^{\ast}$-modules. In this paper we introduce and study the extension of this notion to integral frame for Hilbert $C^{\ast}$-module. Also we give some characterizations between integral frame in Hilbert $C^{\ast}$-module


title: Stereo Plane SLAM Based on Intersecting Lines

abstract: Plane feature is a kind of stable landmark to reduce drift error in SLAM system. It is easy and fast to extract planes from dense point cloud, which is commonly acquired from RGB-D camera or lidar. But for stereo camera, it is hard to compute dense point cloud accurately and efficiently. In this paper, we propose a novel method to compute plane parameters using intersecting lines which are extracted from the stereo image. The plane features commonly exist on the surface of man-made objects and structure, which have regular shape and straight edge lines. In 3D space, two intersecting lines can determine such a plane. Thus we extract line segments from both stereo left and right image. By stereo matching, we compute the endpoints and line directions in 3D space, and then the planes from two intersecting lines. We discard those inaccurate plane features in the frame tracking. Adding such plane features in stereo SLAM system reduces the drift error and refines the performance. We test our proposed system on public datasets and demonstrate its robust and accurate estimation results, compared with state-of-the-art SLAM systems. To benefit the research of plane-based SLAM, we release our codes at https://github.com/fishmarch/Stereo-Plane-SLAM.


title: Monte Carlo construction of cubature on Wiener space

abstract: In this paper, we investigate application of mathematical optimization to construction of a cubature formula on Wiener space, which is a weak approximation method of stochastic differential equations introduced by Lyons and Victoir (Cubature on Wiener Space, Proc. R. Soc. Lond. A 460, 169--198). After giving a brief review of the cubature theory on Wiener space, we show that a cubature formula of general dimension and degree can be obtained through a Monte Carlo sampling and linear programming. This paper also includes an extension of stochastic Tchakaloff's theorem, which technically yields the proof of our primary result.


title: Open Source Iris Recognition Hardware and Software with Presentation Attack Detection

abstract: This paper proposes the first known to us open source hardware and software iris recognition system with presentation attack detection (PAD), which can be easily assembled for about 75 USD using Raspberry Pi board and a few peripherals. The primary goal of this work is to offer a low-cost baseline for spoof-resistant iris recognition, which may (a) stimulate research in iris PAD and allow for easy prototyping of secure iris recognition systems, (b) offer a low-cost secure iris recognition alternative to more sophisticated systems, and (c) serve as an educational platform. We propose a lightweight image complexity-guided convolutional network for fast and accurate iris segmentation, domain-specific human-inspired Binarized Statistical Image Features (BSIF) to build an iris template, and to combine 2D (iris texture) and 3D (photometric stereo-based) features for PAD. The proposed iris recognition runs in about 3.2 seconds and the proposed PAD runs in about 4.5 seconds on Raspberry Pi 3B+. The hardware specifications and all source codes of the entire pipeline are made available along with this paper.


title: Machine Learning for Reliability Engineering and Safety Applications: Review of Current Status and Future Opportunities

abstract: Machine learning (ML) pervades an increasing number of academic disciplines and industries. Its impact is profound, and several fields have been fundamentally altered by it, autonomy and computer vision for example; reliability engineering and safety will undoubtedly follow suit. There is already a large but fragmented literature on ML for reliability and safety applications, and it can be overwhelming to navigate and integrate into a coherent whole. In this work, we facilitate this task by providing a synthesis of, and a roadmap to this ever-expanding analytical landscape and highlighting its major landmarks and pathways. We first provide an overview of the different ML categories and sub-categories or tasks, and we note several of the corresponding models and algorithms. We then look back and review the use of ML in reliability and safety applications. We examine several publications in each category/sub-category, and we include a short discussion on the use of Deep Learning to highlight its growing popularity and distinctive advantages. Finally, we look ahead and outline several promising future opportunities for leveraging ML in service of advancing reliability and safety considerations. Overall, we argue that ML is capable of providing novel insights and opportunities to solve important challenges in reliability and safety applications. It is also capable of teasing out more accurate insights from accident datasets than with traditional analysis tools, and this in turn can lead to better informed decision-making and more effective accident prevention.


title: Unimodality of a refinement of Lassalle's sequence

abstract: Defant, Engen, and Miller defined a refinement of Lassalle's sequence $A_{k+1}$ by considering uniquely sorted permutations of length $2k+1$ whose first element is $\ell$. They showed that each such sequence is symmetric in $\ell$ and conjectured that these sequences are unimodal. We prove that the sequences are unimodal.


title: Structure-preserving function approximation via convex optimization

abstract: Approximations of functions with finite data often do not respect certain "structural" properties of the functions. For example, if a given function is non-negative, a polynomial approximation of the function is not necessarily also non-negative. We propose a formalism and algorithms for preserving certain types of such structure in function approximation. In particular, we consider structure corresponding to a convex constraint on the approximant (for which positivity is one example). The approximation problem then converts into a convex feasibility problem, but the feasible set is relatively complicated so that standard convex feasibility algorithms cannot be directly applied. We propose and discuss different algorithms for solving this problem. One of the features of our machinery is flexibility: relatively complicated constraints, such as simultaneously enforcing positivity, monotonicity, and convexity, are fairly straightforward to implement. We demonstrate the success of our algorithm on several problems in univariate function approximation.


title: Ojibwe Giizhiig Anung Masinaaigan and D(L)akota Makoce Wicanhpi Wowapi: Revitalization of Native American Star Knowledge, A Community Effort

abstract: The Native Skywatchers research and programming initiative focuses on the revitalization of native star knowledge of the Ojibwe and Dakota people. Activities include interviewing elders, culture and language teachers, and creating programming around traditional native star knowledge interlaced with Western science. Star maps, curriculum, hands-on workshops, planetarium shows, and artwork have been designed and delivered. Developed for native and non-native communities in light of the new Minnesota State Science Standards im-plemented in 2009, presented here are two native star maps that were created by the Native Skywatchers initiative: the Ojibwe Giizhig Anung Masinaaigan (or the Ojibwe Sky Star Map); and the D(L)akota Makoce Wicanhpi Wowapi or (D(L)akota Star Map). This interdisciplinary project includes professional astronomers, professional artists, language and cultural experts, educators, community members and elders.


title: Victim or Perpetrator? Analysis of Violent Characters Portrayals from Movie Scripts

abstract: Violent content in the media can influence viewers' perception of the society. For example, frequent depictions of certain demographics as victims or perpetrators of violence can shape stereotyped attitudes. We propose that computational methods can aid in the large-scale analysis of violence in movies. The method we develop characterizes aspects of violent content solely from the language used in the scripts. Thus, our method is applicable to a movie in the earlier stages of content creation even before it is produced. This is complementary to previous works which rely on audio or video post production. In this work, we identify stereotypes in character roles (i.e., victim, perpetrator and narrator) based on the demographics of the actor casted for that role. Our results highlight two significant differences in the frequency of portrayals as well as the demographics of the interaction between victims and perpetrators : (1) female characters appear more often as victims, and (2) perpetrators are more likely to be White if the victim is Black or Latino. To date, we are the first to show that language used in movie scripts is a strong indicator of violent content, and that there are systematic portrayals of certain demographics as victims and perpetrators in a large dataset. This offers novel computational tools to assist in creating awareness of representations in storytelling


title: Augmenting Neural Differential Equations to Model Unknown Dynamical Systems with Incomplete State Information

abstract: Neural Ordinary Differential Equations replace the right-hand side of a conventional ODE with a neural net, which by virtue of the universal approximation theorem, can be trained to the representation of any function. When we do not know the function itself, but have state trajectories (time evolution) of the ODE system we can still train the neural net to learn the representation of the underlying but unknown ODE. However if the state of the system is incompletely known then the right-hand side of the ODE cannot be calculated. The derivatives to propagate the system are unavailable. We show that a specially augmented Neural ODE can learn the system when given incomplete state information. As a worked example we apply neural ODEs to the Lotka-Voltera problem of 3 species, rabbits, wolves, and bears. We show that even when the data for the bear time series is removed the remaining time series of the rabbits and wolves is sufficient to learn the dynamical system despite the missing the incomplete state information. This is surprising since a conventional ODE system cannot output the correct derivatives without the full state as the input. We implement augmented neural ODEs and differential equation solvers in the julia programming language.


title: Predicting ground state configuration of energy landscape ensemble using graph neural network

abstract: Many scientific problems seek to find the ground state in a rugged energy landscape, a task that becomes prohibitively difficult for large systems. Within a particular class of problems, however, the short-range correlations within energy minima might be independent of system size. Can these correlations be inferred from small problems with known ground states to accelerate the search for the ground states of larger problems? Here, we demonstrate the strategy on Ising spin glasses, where the interaction matrices are drawn from protein contact maps. We use graph neural network to learn the mapping from an interaction matrix $J$ to a ground state configuration, yielding guesses for the set of most probable configurations. Given these guesses, we show that ground state configurations can be searched much faster than in vanilla simulated annealing. For large problems, a model trained on small $J$ matrices predicts a configurations whose energy is much lower than those obtained by simulated annealing, indicating the size generalizability of the strategy.


title: Kinematic Resolutions of Redundant Robot Manipulators using Integration-Enhanced RNNs

abstract: Recently, a time-varying quadratic programming (QP) framework that describes the tracking operations of redundant robot manipulators is introduced to handle the kinematic resolutions of many robot control tasks. Based on the generalization of such a time-varying QP framework, two schemes, i.e., the Repetitive Motion Scheme and the Hybrid Torque Scheme, are proposed. However, measurement noises are unavoidable when a redundant robot manipulator is executing a tracking task. To solve this problem, a novel integration-enhanced recurrent neural network (IE-RNN) is proposed in this paper. Associating with the aforementioned two schemes, the tracking task can be accurately completed by IE-RNN. Both theoretical analyses and simulations results prove that the residual errors of IE-RNN can converge to zero under different kinds of measurement noises. Moreover, practical experiments are elaborately made to verify the excellent convergence and strong robustness properties of the proposed IE-RNN.


title: A nonlinear version of the Newhouse thickness theorem

abstract: Let $C_1$ and $C_2$ be two Cantor sets with convex hull $[0,1]$. Newhouse proved if $\tau(C_1)\cdot \tau(C_2)\geq 1$, then the arithmetic sum $C_1+C_2$ is an interval, where $\tau(C_i), 1\leq i\leq 2$ denotes the thickness of $C_i$. In this paper, we generalize this thickness theorem as follows. Let $K_i\subset \mathbb{R}, i=1,\cdots, d$, be some Cantor sets (perfect and nowhere dense) with convex hull $[0,1]$. Suppose $f(x_1,\cdots, x_{d-1},z)\in \mathcal{C}^1$ is a continuous function defined on $\mathbb{R}^d$. Denote the continuous image of $f$ by $$f(K_1,\cdots, K_d)=\{f(x_1, \cdots x_{d-1},z):x_i\in K_i,z\in K_d, 1\leq i\leq d-1\}.$$ If for any $(x_1, \cdots, x_{d-1},z)\in [0,1]^d$, we have $$(\tau(K_i))^{-1}\leq \left|\dfrac{\partial_{x_i} f}{\partial_z f}\right|\leq \tau(K_d),1\leq i\leq d-1$$ then $f(K_1,\cdots, K_d)$ is a closed interval. We give two applications. Firstly, we partially answer some questions posed by Takahashi. Secondly, we obtain various nonlinear identities, associated with the continued fractions with restricted partial quotients, which can represent real numbers.


title: Uncertainty Analysis in 3D SPECT Reconstruction based on Probabilistic Programming

abstract: Single Photon Emission Computed Tomography (SPECT) is one of the nuclear medicine imaging modalities used for functional analysis of animal and human organs. Gamma rays emitted from the scanned body are filtered with collimators and detected by the SPECT head that is composed of an array of gamma detectors. The conventional reconstruction algorithms do not deem the uncertainty level that is associated with the field of view of SPECT collimators. In this paper, we incorporate the probabilistic programming approach for SPECT image reconstruction. No-U-Turn Sampler (NUTS) is used to estimate the scanned object system by considering uncertainty. The obtained results indicate that the presented work in 3D SPECT image reconstruction surpassed over the conventional reconstruction methods in terms of generating uncertainty information. However, the reconstruction time needs to be improved further for phantom sizes of 128x128x128 voxels and higher.


title: Spin-Orbit-Induced Topological Flat Bands in Line and Split Graphs of Bipartite Lattices

abstract: Topological flat bands, such as the band in twisted bilayer graphene, are becoming a promising platform to study topics such as correlation physics, superconductivity, and transport. In this work, we introduce a generic approach to construct two-dimensional (2D) topological quasi-flat bands from line graphs and split graphs of bipartite lattices. A line graph or split graph of a bipartite lattice exhibits a set of flat bands and a set of dispersive bands. The flat band connects to the dispersive bands through a degenerate state at some momentum. We find that, with spin-orbit coupling (SOC), the flat band becomes quasi-flat and gapped from the dispersive bands. By studying a series of specific line graphs and split graphs of bipartite lattices, we find that (i) if the flat band (without SOC) has inversion or $C_2$ symmetry and is non-degenerate, then the resulting quasi-flat band must be topologically nontrivial, and (ii) if the flat band (without SOC) is degenerate, then there exists an SOC potential such that the resulting quasi-flat band is topologically nontrivial. This generic mechanism serves as a paradigm for finding topological quasi-flat bands in 2D crystalline materials and meta-materials.


title: Star shaped patterns caused by colloidal aggregation during the spreading process of a droplet

abstract: This research found that when an acidic solution with a low surface tension spread on the surface of a glycerol solution mixed with milk, a star shaped pattern was spontaneously formed on the surface in the horizontal plane during the spreading process. We investigated the emergence of the star shaped pattern owing to an interfacial instability in experiments using glycerol solutions with several viscosities and 2-methoxyethanol aqueous solutions, which are acidic solutions, with several concentrations. This result demonstrated that the star shaped pattern emerged in the high concentration of 2-methoxyethanol. We proposed a phenomenological model, based on our experimental results, which explains three points as follows; the spreading of the 2-methoxyethanol aqueous solution on the surface of the glycerol solution, the colloidal aggregation of the milk protein colloids caused by the denaturation that occurs when mixed with 2-methoxyethanol, and the accumulation of the aggregates toward the dent regions of the moving interface by a sweeping effect. The model reproduces the formation of the star shaped pattern which was similar to the experimental one. Furthermore, the model provided a phase diagram against the concentration of the 2-methoxyethanol solution and the viscosity of the glycerol solution as control parameters in our experiments. The phase diagram was close to that obtained from our experiments. The results suggest that the above three points are important for the formation of the star shaped pattern.


title: On condition numbers of the total least squares problem with linear equality constraint

abstract: This paper is devoted to condition numbers of the total least squares problem with linear equality constraint (TLSE). With novel limit techniques, closed formulae for normwise, mixed and componentwise condition numbers of the TLSE problem are derived. Computable expressions and upper bounds for these condition numbers are also given to avoid the costly Kronecker product-based operations. The results unify the ones for the TLS problem. For TLSE problems with equilibratory input data, numerical experiments illustrate that normwise condition number-based estimate is sharp to evaluate the forward error of the solution, while for sparse and badly scaled matrices, mixed and componentwise condition numbers-based estimates are much tighter.


title: A geometric approach to equivariant factorization homology and nonabelian Poincar\'e duality

abstract: Fix a finite group G and an n-dimensional orthogonal G-representation V. We define the equivariant factorization homology of a V-framed smooth G-manifold with coefficients in an $E_V$-algebra using a two-sided bar construction, generalizing [And10, KM18]. This construction uses minimal categorical background and aims for maximal concreteness, allowing convenient proofs of key properties, including invariance of equivariant factorization homology under change of tangential structures. Using a geometrically-seen scanning map, we prove an equivariant version (eNPD) of the nonabelian Poincare duality theorem due to several authors. The eNPD states that the scanning map gives a G-equivalence from the equivariant factorization homology to mapping spaces out the one-point compactification of the G-manifolds when the coefficients are G-connected. For non-G-connected coefficients, when the G-manifolds have suitable copies of R in them, the scanning map gives group completions. This generalizes the recognition principle for V -fold loops spaces in [GM17].


title: Magneto-Optical Properties of InSb for Infrared Spectral Filtering

abstract: We present measurements of the Faraday effect in n-type InSb. The Verdet coefficient was determined for a range of carrier concentrations near $10^{17}$ $\text{cm}^{-3}$ in the $\lambda$ = 8 $\mu$m - 12 $\mu$m long-wave infrared regime. The absorption coefficient was measured and a figure of merit calculated for each sample. From these measurements, we calculated the carrier effective mass and illustrate the variation of the figure of merit with wavelength. A method for creating a tunable bandpass filter via the Faraday rotation is discussed along with preliminary results from a prototype device.


title: Long-Term Effect Estimation with Surrogate Representation

abstract: There are many scenarios where short- and long-term causal effects of an intervention are different. For example, low-quality ads may increase short-term ad clicks but decrease the long-term revenue via reduced clicks. This work, therefore, studies the problem of long-term effect where the outcome of primary interest, or primary outcome, takes months or even years to accumulate. The observational study of long-term effect presents unique challenges. First, the confounding bias causes large estimation error and variance, which can further accumulate towards the prediction of primary outcomes. Second, short-term outcomes are often directly used as the proxy of the primary outcome, i.e., the surrogate. Nevertheless, this method entails the strong surrogacy assumption that is often impractical. To tackle these challenges, we propose to build connections between long-term causal inference and sequential models in machine learning. This enables us to learn surrogate representations that account for the temporal unconfoundedness and circumvent the stringent surrogacy assumption by conditioning on the inferred time-varying confounders. Experimental results show that the proposed framework outperforms the state-of-the-art.


title: Classical nucleation theory of ice nucleation: second-order correction of thermodynamic parameters

abstract: Accurate estimate of nucleation rate is crucial for the study of ice nucleation and ice-promoting/anti-freeze strategies. Within the framework of Classical Nucleation Theory (CNT), the estimate of ice nucleation rate is very sensitive to thermodynamic parameters, such as chemical potential difference between water and ice $\Delta \mu$ and ice-water interfacial free energy $\gamma$. However, even today, there are still many contradictions and approximations in the estimating of these thermodynamic parameters, introducing large uncertainty to the estimate of the ice nucleation rate. Herein, starting from the basic concepts, for a general solid-liquid crystallization system, we expand the Gibbs-Thomson (GT) equation to second order, and derive the second-order analytical formulas of $\Delta \mu$, $\gamma$ and nucleation barrier $\Delta G$ with combining molecular dynamics (MD) simulations. These formulas describe well the temperature dependence of these thermodynamic parameters. Our results can provide a method of estimating $\Delta \mu$, $\gamma$ and $\Delta G$.


title: Universal correlations in percolation

abstract: We discuss correlations in percolation and recent contributions of Xiaojun Tan, Youjin Deng and Jesper Lykke Jacobsen in their paper "N-cluster correlations in four- and five-dimensional percolation," Frontiers of Physics 15, 41501 (July, 2020). This is a View and Perspective in Frontiers of Physics.


title: Broadening of the drumhead mode spectrum due to in-plane thermal fluctuations of two-dimensional trapped ion crystals in a Penning trap

abstract: Two-dimensional crystals of ions stored in Penning traps are a leading platform for quantum simulation and sensing experiments. For small amplitudes, the out-of-plane motion of such crystals can be described by a discrete set of normal modes called the drumhead modes, which can be used to implement a range of quantum information protocols. However, experimental observations of crystals with Doppler-cooled and even near-ground-state-cooled drumhead modes reveal an unresolved drumhead mode spectrum. In this work, we establish in-plane thermal fluctuations in ion positions as a major contributor to the broadening of the drumhead mode spectrum. In the process, we demonstrate how the confining magnetic field leads to unconventional in-plane normal modes, whose average potential and kinetic energies are not equal. This property, in turn, has implications for the sampling procedure required to choose the in-plane initial conditions for molecular dynamics simulations. For current operating conditions of the NIST Penning trap, our study suggests that the two dimensional crystals produced in this trap undergo in-plane potential energy fluctuations of the order of $10$ mK. Our study therefore motivates the need for designing improved techniques to cool the in-plane degrees of freedom.


title: Epidemic changepoint detection in the presence of nuisance changes

abstract: Many time series problems feature epidemic changes - segments where a parameter deviates from a background baseline. The number and location of such changes can be estimated in a principled way by existing detection methods, providing that the background level is stable and known. However, practical data often contains nuisance changes in background level, which interfere with standard estimation techniques. Furthermore, such changes often differ from the target segments only in duration, and appear as false alarms in the detection results. To solve these issues, we propose a two-level detector that models and separates nuisance and signal changes. As part of this method, we developed a new, efficient approach to simultaneously estimate unknown, but fixed, background level and detect epidemic changes. The analytic and computational properties of the proposed methods are established, including consistency and convergence. We demonstrate via simulations that our two-level detector provides accurate estimation of changepoints under a nuisance process, while other state-of-the-art detectors fail. Using real-world genomic and demographic datasets, we demonstrate that our method can identify and localise target events while separating out seasonal variations and experimental artefacts.


title: Assessing the Effectiveness of Using Live Interactions and Feedback to Increase Engagement in Online Learning

abstract: In-person instruction for professional development or other types of workplace training provides a social environment and immediate feedback mechanisms that typically ensure all participants are successful. Online, self-paced instruction lacks these mechanisms and relies on the motivation and persistence of each individual learner, often resulting in low completion rates. In this study, we studied the effect of introducing enabling tools and live feedback into an online learning experience on learner performance in the course, persistence in the course, and election to complete supplemental readings and assignments. The findings from our experiments show positive correlations with strong statistical significance between live interactions and all performance measures studied. Research funded by the National Science Foundation, award number #1843391.


title: LIRA: Lifelong Image Restoration from Unknown Blended Distortions

abstract: Most existing image restoration networks are designed in a disposable way and catastrophically forget previously learned distortions when trained on a new distortion removal task. To alleviate this problem, we raise the novel lifelong image restoration problem for blended distortions. We first design a base fork-join model in which multiple pre-trained expert models specializing in individual distortion removal task work cooperatively and adaptively to handle blended distortions. When the input is degraded by a new distortion, inspired by adult neurogenesis in human memory system, we develop a neural growing strategy where the previously trained model can incorporate a new expert branch and continually accumulate new knowledge without interfering with learned knowledge. Experimental results show that the proposed approach can not only achieve state-of-the-art performance on blended distortions removal tasks in both PSNR/SSIM metrics, but also maintain old expertise while learning new restoration tasks.


title: Enabling Remote Whole-Body Control with 5G Edge Computing

abstract: Real-world applications require light-weight, energy-efficient, fully autonomous robots. Yet, increasing autonomy is oftentimes synonymous with escalating computational requirements. It might thus be desirable to offload intensive computation--not only sensing and planning, but also low-level whole-body control--to remote servers in order to reduce on-board computational needs. Fifth Generation (5G) wireless cellular technology, with its low latency and high bandwidth capabilities, has the potential to unlock cloud-based high performance control of complex robots. However, state-of-the-art control algorithms for legged robots can only tolerate very low control delays, which even ultra-low latency 5G edge computing can sometimes fail to achieve. In this work, we investigate the problem of cloud-based whole-body control of legged robots over a 5G link. We propose a novel approach that consists of a standard optimization-based controller on the network edge and a local linear, approximately optimal controller that significantly reduces on-board computational needs while increasing robustness to delay and possible loss of communication. Simulation experiments on humanoid balancing and walking tasks that includes a realistic 5G communication model demonstrate significant improvement of the reliability of robot locomotion under jitter and delays likely to experienced in 5G wireless links.


title: Self-regularizing Property of Nonparametric Maximum Likelihood Estimator in Mixture Models

abstract: Introduced by Kiefer and Wolfowitz \cite{KW56}, the nonparametric maximum likelihood estimator (NPMLE) is a widely used methodology for learning mixture odels and empirical Bayes estimation. Sidestepping the non-convexity in mixture likelihood, the NPMLE estimates the mixing distribution by maximizing the total likelihood over the space of probability measures, which can be viewed as an extreme form of overparameterization. In this paper we discover a surprising property of the NPMLE solution. Consider, for example, a Gaussian mixture model on the real line with a subgaussian mixing distribution. Leveraging complex-analytic techniques, we show that with high probability the NPMLE based on a sample of size $n$ has $O(\log n)$ atoms (mass points), significantly improving the deterministic upper bound of $n$ due to Lindsay \cite{lindsay1983geometry1}. Notably, any such Gaussian mixture is statistically indistinguishable from a finite one with $O(\log n)$ components (and this is tight for certain mixtures). Thus, absent any explicit form of model selection, NPMLE automatically chooses the right model complexity, a property we term \emph{self-regularization}. Extensions to other exponential families are given. As a statistical application, we show that this structural property can be harnessed to bootstrap existing Hellinger risk bound of the (parametric) MLE for finite Gaussian mixtures to the NPMLE for general Gaussian mixtures, recovering a result of Zhang \cite{zhang2009generalized}.


title: Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic

abstract: Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems have been developed to address security and privacy issues with great dependability and reliability via these techniques. Meanwhile, formalization and verification of the decentralized systems is the key to ensuring correctness of the design and security properties of the implementation. In this paper, we propose a novel method of formalizing and verifying decentralized systems with a kind of extended concurrent separation logic. Our logic extends the standard concurrent separation logic with new features including communication encapsulation, environment perception, and node-level reasoning, which enhances modularity and expressiveness. Besides, we develop our logic with unitarity and compatibility to facilitate implementation. Furthermore, we demonstrate the effectiveness and versatility of our method by applying our logic to formalize and verify critical techniques in decentralized systems including the consensus mechanism and the smart contract.


title: Salient Instance Segmentation with Region and Box-level Annotations

abstract: Salient instance segmentation is a new challenging task that received widespread attention in the saliency detection area. The new generation of saliency detection provides a strong theoretical and technical basis for video surveillance. Due to the limited scale of the existing dataset and the high mask annotations cost, plenty of supervision source is urgently needed to train a well-performing salient instance model. In this paper, we aim to train a novel salient instance segmentation framework by an inexact supervision without resorting to laborious labeling. To this end, we present a cyclic global context salient instance segmentation network (CGCNet), which is supervised by the combination of salient regions and bounding boxes from the ready-made salient object detection datasets. To locate salient instance more accurately, a global feature refining layer is proposed that dilates the features of the region of interest (ROI) to the global context in a scene. Meanwhile, a labeling updating scheme is embedded in the proposed framework to update the coarse-grained labels for next iteration. Experiment results demonstrate that the proposed end-to-end framework trained by inexact supervised annotations can be competitive to the existing fully supervised salient instance segmentation methods. Without bells and whistles, our proposed method achieves a mask AP of 58.3% in the test set of Dataset1K that outperforms the mainstream state-of-the-art methods.


title: Leveraging Historical Interaction Data for Improving Conversational Recommender System

abstract: Recently, conversational recommender system (CRS) has become an emerging and practical research topic. Most of the existing CRS methods focus on learning effective preference representations for users from conversation data alone. While, we take a new perspective to leverage historical interaction data for improving CRS. For this purpose, we propose a novel pre-training approach to integrating both item-based preference sequence (from historical interaction data) and attribute-based preference sequence (from conversation data) via pre-training methods. We carefully design two pre-training tasks to enhance information fusion between item- and attribute-based preference. To improve the learning performance, we further develop an effective negative sample generator which can produce high-quality negative samples. Experiment results on two real-world datasets have demonstrated the effectiveness of our approach for improving CRS.


title: Enhanced MRI Reconstruction Network using Neural Architecture Search

abstract: The accurate reconstruction of under-sampled magnetic resonance imaging (MRI) data using modern deep learning technology, requires significant effort to design the necessary complex neural network architectures. The cascaded network architecture for MRI reconstruction has been widely used, while it suffers from the "vanishing gradient" problem when the network becomes deep. In addition, homogeneous architecture degrades the representation capacity of the network. In this work, we present an enhanced MRI reconstruction network using a residual in residual basic block. For each cell in the basic block, we use the differentiable neural architecture search (NAS) technique to automatically choose the optimal operation among eight variants of the dense block. This new heterogeneous network is evaluated on two publicly available datasets and outperforms all current state-of-the-art methods, which demonstrates the effectiveness of our proposed method.


title: The Strong Convergence and Stability of Explicit Approximations for Nonlinear Stochastic Delay Differential Equations

abstract: This paper focuses on explicit approximations for nonlinear stochastic delay differential equations (SDDEs). Under the weakly local Lipschitz and some suitable conditions, a generic truncated Euler-Maruyama (TEM) scheme for SDDEs is proposed, which numerical solutions are bounded and converge to the exact solutions in qth moment for q>0. Furthermore, the 1/2 order convergent rate is yielded. Under the Khasminskii-type condition, a more precise TEM scheme is given, which numerical solutions are exponential stable in mean square and P-1. Finally, several numerical experiments are carried out to illustrate our results.


title: Face Anti-Spoofing Via Disentangled Representation Learning

abstract: Face anti-spoofing is crucial to security of face recognition systems. Previous approaches focus on developing discriminative models based on the features extracted from images, which may be still entangled between spoof patterns and real persons. In this paper, motivated by the disentangled representation learning, we propose a novel perspective of face anti-spoofing that disentangles the liveness features and content features from images, and the liveness features is further used for classification. We also put forward a Convolutional Neural Network (CNN) architecture with the process of disentanglement and combination of low-level and high-level supervision to improve the generalization capabilities. We evaluate our method on public benchmark datasets and extensive experimental results demonstrate the effectiveness of our method against the state-of-the-art competitors. Finally, we further visualize some results to help understand the effect and advantage of disentanglement.


title: Spatio-temporal relationships between rainfall and convective clouds during Indian Monsoon through a discrete lens

abstract: The Indian monsoon, a multi-variable process causing heavy rains during June-September every year, is very heterogeneous in space and time. We study the relationship between rainfall and Outgoing Longwave Radiation (OLR, convective cloud cover) for monsoon between 2004-2010. To identify, classify and visualize spatial patterns of rainfall and OLR we use a discrete and spatio-temporally coherent representation of the data, created using a statistical model based on Markov Random Field. Our approach clusters the days with similar spatial distributions of rainfall and OLR into a small number of spatial patterns. We find that eight daily spatial patterns each in rainfall and OLR, and seven joint patterns of rainfall and OLR, describe over 90\% of all days. Through these patterns, we find that OLR generally has a strong negative correlation with precipitation, but with significant spatial variations. In particular, peninsular India (except west coast) is under significant convective cloud cover over a majority of days but remains rainless. We also find that much of the monsoon rainfall co-occurs with low OLR, but some amount of rainfall in Eastern and North-western India in June occurs on OLR days, presumably from shallow clouds. To study day-to-day variations of both quantities, we identify spatial patterns in the temporal gradients computed from the observations. We find that changes in convective cloud activity across India most commonly occur due to the establishment of a north-south OLR gradient which persists for 1-2 days and shifts the convective cloud cover from light to deep or vice versa. Such changes are also accompanied by changes in the spatial distribution of precipitation. The present work thus provides a highly reduced description of the complex spatial patterns and their day-to-day variations, and could form a useful tool for future simplified descriptions of this process.


title: Threshy: Supporting Safe Usage of Intelligent Web Services

abstract: Increased popularity of `intelligent' web services provides end-users with machine-learnt functionality at little effort to developers. However, these services require a decision threshold to be set which is dependent on problem-specific data. Developers lack a systematic approach for evaluating intelligent services and existing evaluation tools are predominantly targeted at data scientists for pre-development evaluation. This paper presents a workflow and supporting tool, Threshy, to help software developers select a decision threshold suited to their problem domain. Unlike existing tools, Threshy is designed to operate in multiple workflows including pre-development, pre-release, and support. Threshy is designed for tuning the confidence scores returned by intelligent web services and does not deal with hyper-parameter optimisation used in ML models. Additionally, it considers the financial impacts of false positives. Threshold configuration files exported by Threshy can be integrated into client applications and monitoring infrastructure. Demo: https://bit.ly/2YKeYhE.


title: Bounds for Coefficients of the $f(q)$ Mock Theta Function and Applications to Partition Ranks

abstract: We compute effective bounds for $\alpha(n)$, the Fourier coefficients of Ramunujan's mock theta function $f(q)$ utilizing a finite algebraic formula due to Bruinier and Schwagenscheidt. We then use these bounds to prove two conjectures of Hou and Jagadeesan on the convexity and maximal multiplicative properties of the even and odd partition rank counting functions.


title: Graphene nanopipette enabled liquid delivery at zeptoliter precision

abstract: Accurate extraction of liquid is the first step towards low-volume liquid delivery and nanocharacterization, which plays a significant role in biomedical research. In this study, a tip-shaped graphene nanopipette (GNP) is proposed by encapsulating the biomolecule solution on the prefabricated metal tip with graphene. The volume of the encapsulated liquid is highly controllable at zeptoliter precision by tuning the encapsulating speed and the number of graphene encapsulation rounds. Using protein (ferritin) solution as an example, it has been confirmed by finite element analysis and the controlled experiments that the GNP allows the delivery of ferritin solution at the zeptoliter-scale. Furthermore, GNP is demonstrated as a new type of tip-shaped liquid cell, which is suitable for multiple nanocharacterization techniques. In particular, due to the ultra-sharp tip shape, isotope (13C)-labelled glucose solution encapsulated in GNP has been characterized by atom probe tomography (APT) in the laser-pulsed mode. Analysis of the mass spectrum and the reconstructed three-dimensional chemical maps reveals the quantitative distribution and the compositions of individual glucose molecules. The GNP is expected to be introduced to deliver liquid in the range of zeptoliters to attoliters, and brings a new capability for characterization of biological specimens in their near-native state.


title: A Color Elastica Model for Vector-Valued Image Regularization

abstract: Models related to the Euler's elastica energy have proven to be useful for many applications including image processing. Extending elastica models to color images and multi-channel data is a challenging task, as stable and consistent numerical solvers for these geometric models often involve high order derivatives. Like the single channel Euler's elastica model and the total variation (TV) models, geometric measures that involve high order derivatives could help when considering image formation models that minimize elastic properties. In the past, the Polyakov action from high energy physics has been successfully applied to color image processing. Here, we introduce an addition to the Polyakov action for color images that minimizes the color manifold curvature. The color image curvature is computed by applying of the Laplace-Beltrami operator to the color image channels. When reduced to gray-scale images, while selecting appropriate scaling between space and color, the proposed model minimizes the Euler's elastica operating on the image level sets. Finding a minimizer for the proposed nonlinear geometric model is a challenge we address in this paper. Specifically, we present an operator-splitting method to minimize the proposed functional. The non-linearity is decoupled by introducing three vector-valued and matrix-valued variables. The problem is then converted into solving for the steady state of an associated initial-value problem. The initial-value problem is time-split into three fractional steps, such that each sub-problem has a closed form solution, or can be solved by fast algorithms. The efficiency and robustness of the proposed method are demonstrated by systematic numerical experiments.


title: Globalized distributionally robust optimization problems under the moment-based framework

abstract: This paper is devoted to reduce the conservatism of distributionally robust optimization with moments information. Since the optimal solution of distributionally robust optimization is required to be feasible for all uncertain distributions in a given ambiguity distribution set and so the conservatism of the optimal solution is inevitable. To address this issue, we introduce the globalized distributionally robust counterpart (GDRC) which allows constraint violations controlled by functional distance of the true distribution to the inner uncertainty distribution set. We obtain the deterministic equivalent forms for several GDRCs under the moment-based framework. To be specific, we show the deterministic equivalent system of inequalities for the GDRCs under second order moment information with a separable distance function and a jointly convex distance function, respectively. Moreover, the feasible set of the system is convex. We also develop the deterministic equivalent inequality for the GDRC under first order moment and support information. The computationally tractable examples are presented for these GDRCs. A numerical tests of a portfolio optimization problem is given to show the efficiency of our methods and the results demonstrate that the globalized distributionally robust solutions is non-conservative and flexible compared to the distributionally robust solutions.


title: Regularized Two-Branch Proposal Networks for Weakly-Supervised Moment Retrieval in Videos

abstract: Video moment retrieval aims to localize the target moment in an video according to the given sentence. The weak-supervised setting only provides the video-level sentence annotations during training. Most existing weak-supervised methods apply a MIL-based framework to develop inter-sample confrontment, but ignore the intra-sample confrontment between moments with semantically similar contents. Thus, these methods fail to distinguish the target moment from plausible negative moments. In this paper, we propose a novel Regularized Two-Branch Proposal Network to simultaneously consider the inter-sample and intra-sample confrontments. Concretely, we first devise a language-aware filter to generate an enhanced video stream and a suppressed video stream. We then design the sharable two-branch proposal module to generate positive proposals from the enhanced stream and plausible negative proposals from the suppressed one for sufficient confrontment. Further, we apply the proposal regularization to stabilize the training process and improve model performance. The extensive experiments show the effectiveness of our method. Our code is released at here.


title: Protected percolation: a new universality class pertaining to heavily-doped quantum critical systems

abstract: We present the results of computer simulations on a class of percolative systems that forms a new universality class. We show the results for the critical exponents for this new class, inferred from simulations of two- and three-dimensional lattices consisting of up to one billion lattice sites. These new percolative systems differ from standard percolative systems in that once a cluster breaks off the lattice spanning cluster, its sites become protected and cannot be removed. This situation closely mimics the situation in heavily-doped quantum critical systems where isolated magnetic clusters are protected from (further) Kondo screening. Our results indicate that protected percolation violates the Harris criterion, which yields a natural explanation as to why universal exponents for quantum phase transitions have been elusive.


title: In-situ analysis of small microplastics in coastal surface water samples of the subtropical island of Okinawa, Japan

abstract: Marine plastic debris is widely recognized as a global environmental issue. Sun-micron plastic particles, with an upper size limit of 20 um, have been identified as having the highest potential for causing damage to marine ecosystems. Having accurate methods for quantifying the abundance of such particles in a natural environment is essential for defining the extent of the problem they pose. Using an optical micro-Raman tweezers setup, we have identified the composition of particles trapped in marine aggregates collected from the coastal surface waters around the subtropical island of Okinawa. Chemical composition analysis at the single-particle level indicates dominance by low-density polyethylene, which accounted for 75% of the total sub-micron plastics analyzed. Our results show the occurrence of plastics at all test sites, with the highest concentration in areas with high human activities. The average, smallest sub-micron plastics size is (2.53 +/- 0.85)um for polystyrene. We also observed additional Raman peaks on the plastics spectrum with decreasing debris size which could be related to structural modification due to weathering or embedding in organic matter. By single-particle level sub-micron plastics identification, we can begin to understand their dispersion in the ocean and define their toxicity and impacts on marine biodiversity and food chain.


abstract: Magnetic competition in topological kagome magnets is studied by incorporating the spin-orbit coupling, the anisotropic Hund coupling and spin exchange into the kagome lattice. Using the Bogoliubov variational principle we find the stable phases at zero and finite temperatures. At zero temperature and in the strong Ising-Hund coupling regime, a magnetic tunability from the out-of-plane ferromagnetism (FM) to the in-plane antiferromagnetism (AFM) is achieved by a universal property of the critical in-plane Hund coupling. At two-thirds filling the phase transition from the out-of-plane FM to the in-plane AFM is accompanied by a topological transition from quantum anomalous Hall (QAH) to quantum anomalous spin Hall (QASH) effect. Nearby half filling a large anomalous Hall conductance is observed at the magnetic phase transition. At finite temperature the out-of-plane FM is stable until a crossing temperature, above which the in-plane AFM is stable, but the out-of-plane FM magnetization is still finite. This suggests a coexistence of these magnetic phases in a finite temperature range.


title: Learning Connectivity of Neural Networks from a Topological Perspective

abstract: Seeking effective neural networks is a critical and practical field in deep learning. Besides designing the depth, type of convolution, normalization, and nonlinearities, the topological connectivity of neural networks is also important. Previous principles of rule-based modular design simplify the difficulty of building an effective architecture, but constrain the possible topologies in limited spaces. In this paper, we attempt to optimize the connectivity in neural networks. We propose a topological perspective to represent a network into a complete graph for analysis, where nodes carry out aggregation and transformation of features, and edges determine the flow of information. By assigning learnable parameters to the edges which reflect the magnitude of connections, the learning process can be performed in a differentiable manner. We further attach auxiliary sparsity constraint to the distribution of connectedness, which promotes the learned topology focus on critical connections. This learning process is compatible with existing networks and owns adaptability to larger search spaces and different tasks. Quantitative results of experiments reflect the learned connectivity is superior to traditional rule-based ones, such as random, residual, and complete. In addition, it obtains significant improvements in image classification and object detection without introducing excessive computation burden.


title: Quarantines as a Targeted Immunization Strategy

abstract: In the context of the recent COVID-19 outbreak, quarantine has been used to "flatten the curve" and slow the spread of the disease. In this paper, we show that this is not the only benefit of quarantine for the mitigation of an SIR epidemic spreading on a graph. Indeed, human contact networks exhibit a powerlaw structure, which means immunizing nodes at random is extremely ineffective at slowing the epidemic, while immunizing high-degree nodes can efficiently guarantee herd immunity. We theoretically prove that if quarantines are declared at the right moment, high-degree nodes are disproportionately in the Removed state, which is a form of targeted immunization. Even if quarantines are declared too early, subsequent waves of infection spread slower than the first waves. This leads us to propose an opening and closing strategy aiming at immunizing the graph while infecting the minimum number of individuals, guaranteeing the population is now robust to future infections. To the best of our knowledge, this is the only strategy that guarantees herd immunity without requiring vaccines. We extensively verify our results on simulated and real-life networks.


title: Orlicz-Sobolev inequalities and the Dirichlet problem for infinitely degenerate elliptic operators

abstract: We investigate a connection between solvability of the Dirichlet problem for an infinitely degenerate elliptic operator and the validity of an Orlicz-Sobolev inequality in the associated subunit metric space. For subelliptic operators it is known that the classical Sobolev inequality is sufficient and almost necessary for the Dirichlet problem to be solvable with a quantitative bound on the solution [11]. When the degeneracy is of infinite type, a weaker Orlicz-Sobolev inequality seems to be the right substitute [7]. In this paper we investigate this connection further and reduce the gap between necessary and sufficient conditions for solvability of the Dirichlet problem.


title: Intelligent Radio Signal Processing: A Survey

abstract: Intelligent signal processing for wireless communications is a vital task in modern wireless systems, but it faces new challenges because of network heterogeneity, diverse service requirements, a massive number of connections, and various radio characteristics. Owing to recent advancements in big data and computing technologies, artificial intelligence (AI) has become a useful tool for radio signal processing and has enabled the realization of intelligent radio signal processing. This survey covers four intelligent signal processing topics for the wireless physical layer, including modulation classification, signal detection, beamforming, and channel estimation. In particular, each theme is presented in a dedicated section, starting with the most fundamental principles, followed by a review of up-to-date studies and a summary. To provide the necessary background, we first present a brief overview of AI techniques such as machine learning, deep learning, and federated learning. Finally, we highlight a number of research challenges and future directions in the area of intelligent radio signal processing. We expect this survey to be a good source of information for anyone interested in intelligent radio signal processing, and the perspectives we provide therein will stimulate many more novel ideas and contributions in the future.


title: Problem of robotic precision cutting of the geometrically complex shape from an irregular honeycomb grid

abstract: The article considers solving the problem of precision cutting of honeycomb blocks. The urgency of using arbitrary shapes application cutting from honey-comb blocks made of modern composite materials is substantiated. The problem is to obtain a cut of the given shape from honeycomb blocks. The complexity of this problem is in the irregular pattern of honeycomb blocks and the presence of double edges, which forces an operator to scan each block before cutting. It is necessary to take into account such restrictions as the place and angle of the cut and size of the knife, its angle when cutting and the geometry of cells. For this problem solving, a robotic complex has been developed. It includes a device for scanning the geometry of a honeycomb block, software for cutting automation and a cutting device itself. The software takes into account all restrictions on the choice of the location and angle of the operating mechanism. It helps to obtain the highest quality cut and a cut shape with the best strength characteristics. An actu-ating device has been developed and implemented for both scanning and cutting of honeycomb blocks directly. The necessary tests were carried out on real alu-minum honeycomb blocks. Some technical solutions are used in the cutting de-vice to improve the quality of cutting honeycomb blocks. The tests have shown the effectiveness of the proposed complex. Robotic planar cutting made it possi-ble to obtain precise cutting with a high degree of repeatability.


title: Spin-Orbit and Strain Induced Modification in Electrical Properties of Monolayer InSb

abstract: In this work, the electrical properties of monolayer InSb in the presence of biaxial strain using density functional theory are investigated. Here, we first explore the band structure of InSb with and without spin-orbit coupling (SOC) consideration. The electron and hole effective mass modify with SOC consideration. The electron and hole effective masses lowered two and ten times, respectively. The location of valleys in conduction and valence band for various strains are explored, and the corresponding effective masses are reported. A lower effective mass is obtained for both electron and hole with applying tensile strain, whereas, the bandgap closes for large tensile strain. A numeric fitting has applied to effective mass versus strain, and an equation for every curve is reported. Finally, the work function of this material for different strains is obtained.


title: Gaussian fluctuation for spatial average of parabolic Anderson model with Neumann/Dirichlet/periodic boundary conditions

abstract: Consider the parabolic Anderson model $\partial_tu=\frac{1}{2}\partial_x^2u+u\, \eta$ on the interval $[0, L]$ with Neumann, Dirichlet or periodic boundary conditions, driven by space-time white noise $\eta$. Using Malliavin-Stein method, we establish the central limit theorem for the fluctuation of the spatial integral $\int_0^Lu(t\,, x)\, \mathrm{d} x$ as $L$ tends to infinity, where the limiting Gaussian distribution is independent of the choice of the boundary conditions and coincides with the Gaussian fluctuation for the spatial average of parabolic Anderson model on the whole space $\mathbb{R}$.


title: Photon-number-dependent effective Lamb shift

abstract: The Lamb shift, an energy shift arising from the presence of the electromagnetic vacuum, has been observed in various quantum systems and established as the part of the energy shift independent of the environmental photon number. However, typical studies are based on simplistic bosonic models which may be challenged in practical quantum devices. We demonstrate a hybrid bosonic-fermionic environment for a linear resonator mode and observe that the photon number in the environment can dramatically increase both the dissipation and the effective Lamb shift of the mode. Our observations are quantitatively described by a first-principles model which we develop here also to guide device design for future quantum-technological applications. The device demonstrated here can be utilized as a fully rf-operated quantum-circuit refrigerator to quickly reset superconducting qubits.


title: Equivariant fixed point formulae and Toeplitz operators under Hamiltonian torus actions

abstract: The main result of this paper is the description of asymptotics along rays in weight space of traces of equivariant Toeplitz operators composed with quantomorphisms for torus actions. The main ingredient in the proof is the microlocal analysis of the equivariant Szego kernels.


title: On the collapsing of homogeneous bundles in arbitrary characteristic

abstract: We study the geometry of equivariant, proper maps from homogeneous bundles $G\times_P V$ over flag varieties $G/P$ to representations of $G$, called collapsing maps. Kempf showed that, provided the bundle is completely reducible, the image $G\cdot V$ of a collapsing map has rational singularities in characteristic zero. We extend this result to positive characteristic and show that for the analogous bundles the saturation $G\cdot V$ is strongly $F$-regular if its coordinate ring has a good filtration. We further show that in this case the images of collapsing maps of homogeneous bundles restricted to Schubert varieties are $F$-rational in positive characteristic, and have rational singularities in characteristic zero. We provide results on the singularities and defining equations of saturations $G\cdot X$ for $P$-stable closed subvarieties $X\subset V$. We give criteria for the existence of good filtrations for the coordinate ring of $G\cdot X$. Our results give a uniform, characteristic-free approach for the study of the geometry of a number of important varieties: multicones over Schubert varieties, determinantal varieties in the space of matrices, symmetric matrices, skew-symmetric matrices, and certain matrix Schubert varieties therein, representation varieties of radical square zero algebras (e.g. varieties of complexes), subspace varieties, higher rank varieties, etc.


title: Ultra-Thin SiGe in the Source Modifies Performance of Thin-Film Tunneling FET

abstract: In this work, the source structure of an n-type thin-film tunneling FET is engineered to get better performance. An ultra-thin SiGe along with Si is used in the source of silicon-based TFET. Two structures are compared with conventional TFET, one, SiGe is located on the top of Si in the source and another one in reverse. Simulations approve these structures can reduce sub-threshold swing, OFF-current several times, and increase the ON-OFF ratio. Band diagram for conduction and valance bands are investigated and band to band tunneling (BTBT) generation rate is used to find better performance. We find current flows at Si in the source with the wider bandgap. Ge mole fraction of SiGe is varied and its effects on the performance of TFET are studied. The SiGe thickness for both structures is explored to obtain the best thickness for SiGe.


title: Compiling ONNX Neural Network Models Using MLIR

abstract: Deep neural network models are becoming increasingly popular and have been used in various tasks such as computer vision, speech recognition, and natural language processing. Machine learning models are commonly trained in a resource-rich environment and then deployed in a distinct environment such as high availability machines or edge devices. To assist the portability of models, the open-source community has proposed the Open Neural Network Exchange (ONNX) standard. In this paper, we present a high-level, preliminary report on our onnx-mlir compiler, which generates code for the inference of deep neural network models described in the ONNX format. Onnx-mlir is an open-source compiler implemented using the Multi-Level Intermediate Representation (MLIR) infrastructure recently integrated in the LLVM project. Onnx-mlir relies on the MLIR concept of dialects to implement its functionality. We propose here two new dialects: (1) an ONNX specific dialect that encodes the ONNX standard semantics, and (2) a loop-based dialect to provide for a common lowering point for all ONNX dialect operations. Each intermediate representation facilitates its own characteristic set of graph-level and loop-based optimizations respectively. We illustrate our approach by following several models through the proposed representations and we include some early optimization work and performance results.


title: MEANTIME: Mixture of Attention Mechanisms with Multi-temporal Embeddings for Sequential Recommendation

abstract: Recently, self-attention based models have achieved state-of-the-art performance in sequential recommendation task. Following the custom from language processing, most of these models rely on a simple positional embedding to exploit the sequential nature of the user's history. However, there are some limitations regarding the current approaches. First, sequential recommendation is different from language processing in that timestamp information is available. Previous models have not made good use of it to extract additional contextual information. Second, using a simple embedding scheme can lead to information bottleneck since the same embedding has to represent all possible contextual biases. Third, since previous models use the same positional embedding in each attention head, they can wastefully learn overlapping patterns. To address these limitations, we propose MEANTIME (MixturE of AtteNTIon mechanisms with Multi-temporal Embeddings) which employs multiple types of temporal embeddings designed to capture various patterns from the user's behavior sequence, and an attention structure that fully leverages such diversity. Experiments on real-world data show that our proposed method outperforms current state-of-the-art sequential recommendation methods, and we provide an extensive ablation study to analyze how the model gains from the diverse positional information.


title: Biharmonic hypersurfaces in hemispheres

abstract: In this paper we consider the Balmu\c{s}-Montaldo-Oniciuc's conjecture in the case of hemispheres. We prove that a compact non-minimal biharmonic hypersurface in a hemisphere of $S^{n+1}$ must be the small hypersphere $S^{n}\left(1/\sqrt{2}\right)$, provided that $n^{2}-H^{2}$ does not change sign.


title: Asymptotic Analysis for Data-Driven Inventory Policies

abstract: We study periodic review stochastic inventory control in the data-driven setting where the retailer makes ordering decisions based only on historical demand observations without any knowledge of the probability distribution of the demand. Since an (s, S)-policy is optimal when the demand distribution is known, we investigate the statistical properties of the data-driven (s, S)-policy obtained by recursively computing the empirical cost-to-go functions. This policy is inherently challenging to analyze because the recursion induces propagation of the estimation error backwards in time. In this work, we establish the asymptotic properties of this data-driven policy by fully accounting for the error propagation. First, we rigorously show the consistency of the estimated parameters by filling in some gaps (due to unaccounted error propagation) in the existing studies. In this setting, empirical process theory (EPT) cannot be directly applied to show asymptotic normality. To explain, the empirical cost-to-go functions for the estimated parameters are not i.i.d. sums due to the error propagation. Our main methodological innovation comes from an asymptotic representation for multi-sample U-processes in terms of i.i.d. sums. This representation enables us to apply EPT to derive the influence functions of the estimated parameters and to establish joint asymptotic normality. Based on these results, we also propose an entirely data-driven estimator of the optimal expected cost and we derive its asymptotic distribution. We demonstrate some useful applications of our asymptotic results, including sample size determination and interval estimation. The results from our numerical simulations conform to our theoretical analysis.lations conform to our theoretical analysis.


title: Hall viscosity in the A-phase of superfluid $^3$He

abstract: We construct the effective field theory for the A-phase of superfluid $^3$He up to the next-to-leading order in the derivative expansion. To this end, we gauge the internal global symmetries of the theory on the curved space by introducing the background gauge fields and spatial metric so as to expose a hidden local symmetry known as the nonrelativistic diffeomorphism. The nonrelativistic diffeomorphism is particularly useful to yield an additional constraint on the effective field theory and reveal a universal expression for the Hall viscosity in the A-phase. We find it five orders of magnitude larger than that in the B-phase under a magnetic field so that its experimental observation is more feasible by measuring the induced elliptic polarization of sound waves.


title: M\'emoire sur la m\'ecanique quantique et l'approche ondulatoire

abstract: The Copenhagen interpretation has been the subject of much criticism, notably by De Broglie and Einstein, because it contradicts the principles of causality and realism. The aim of this essay is to study the wave mechanics as an alternative to traditional quantum mechanics, in the continuity of the ideas of Louis de Broglie: the pilot wave theory of De Broglie (where each particle is associated with a wave which guides it), De Broglie-Bohm theory, stochastic electrodynamics (where the stochastic character of particles is caused by the energy field of the fluctuating vacuum), and the analogies between quantum mechanics and hydrodynamics.


title: DONet: Dual Objective Networks for Skin Lesion Segmentation

abstract: Skin lesion segmentation is a crucial step in the computer-aided diagnosis of dermoscopic images. In the last few years, deep learning based semantic segmentation methods have significantly advanced the skin lesion segmentation results. However, the current performance is still unsatisfactory due to some challenging factors such as large variety of lesion scale and ambiguous difference between lesion region and background. In this paper, we propose a simple yet effective framework, named Dual Objective Networks (DONet), to improve the skin lesion segmentation. Our DONet adopts two symmetric decoders to produce different predictions for approaching different objectives. Concretely, the two objectives are actually defined by different loss functions. In this way, the two decoders are encouraged to produce differentiated probability maps to match different optimization targets, resulting in complementary predictions accordingly. The complementary information learned by these two objectives are further aggregated together to make the final prediction, by which the uncertainty existing in segmentation maps can be significantly alleviated. Besides, to address the challenge of large variety of lesion scales and shapes in dermoscopic images, we additionally propose a recurrent context encoding module (RCEM) to model the complex correlation among skin lesions, where the features with different scale contexts are efficiently integrated to form a more robust representation. Extensive experiments on two popular benchmarks well demonstrate the effectiveness of the proposed DONet. In particular, our DONet achieves 0.881 and 0.931 dice score on ISIC 2018 and $\text{PH}^2$, respectively. Code will be made public available.


title: A spherical extension theorem and applications in positive characteristic

abstract: In this paper, we prove an extension theorem for spheres of square radii in $\mathbb{F}_q^d$, which improves a result obtained by Iosevich and Koh (2010). Our main tool is a new point-hyperplane incidence bound which will be derived via a cone restriction theorem due to the authors and Lee (2022). Applications on the distance problems will also be discussed.


title: Development of novel algorithm to visualize blood vessels on 3D ultrasound images during liver surgery

abstract: Volume visualization is a method that displays three-dimensional (3D) data in two-dimensional (2D) space. Using 3D datasets instead of 2D traditional images improves the visualization of anatomical structures, and volume visualization helps radiologists and surgeons to review large datasets comprehensively so that diagnosis and treatment can be enhanced. In liver surgery, blood vessel detection is important. Liver vessels have various shapes and due to the presence of noise in the ultrasound images, they can be confused with noise. Suboptimal images can sometimes lead to surgical errors where the surgeon may cut the blood vessel in error. The ultrasound system is versatile and portable and has the advantage of being able to be used in the operating theatre. Due to the nature of B-mode ultrasound, 1-D transfer function volume visualization of images cannot abrogate shadow artifacts. While multi-dimensional transfer function improves the ability to define features of interest, the high dimensionality in the parameter domain renders it unwieldy and difficult for clinicians to work with. To overcome these limitations, an algorithm for volume visualization that can provide effective 3D visualization of noisy B-mode ultrasound images, which can be useful for clinicians, is proposed. We propose a method that is appropriate for liver ultrasound images focusing on vessels and tumors (if present) in order to delineate their structure and positions clearly to preempt surgical error during operation. This method can prevent possible errors during liver surgery by providing more detailed high quality 3D images for clinicians. Key Words: Visualization, 3D ultrasound image, Volume Rendering, Liver surgery, Liver vessels.


title: CCA: Exploring the Possibility of Contextual Camouflage Attack on Object Detection

abstract: Deep neural network based object detection hasbecome the cornerstone of many real-world applications. Alongwith this success comes concerns about its vulnerability tomalicious attacks. To gain more insight into this issue, we proposea contextual camouflage attack (CCA for short) algorithm to in-fluence the performance of object detectors. In this paper, we usean evolutionary search strategy and adversarial machine learningin interactions with a photo-realistic simulated environment tofind camouflage patterns that are effective over a huge varietyof object locations, camera poses, and lighting conditions. Theproposed camouflages are validated effective to most of the state-of-the-art object detectors.


title: Multiscale Snapshots: Visual Analysis of Temporal Summaries in Dynamic Graphs

abstract: The overview-driven visual analysis of large-scale dynamic graphs poses a major challenge. We propose Multiscale Snapshots, a visual analytics approach to analyze temporal summaries of dynamic graphs at multiple temporal scales. First, we recursively generate temporal summaries to abstract overlapping sequences of graphs into compact snapshots. Second, we apply graph embeddings to the snapshots to learn low-dimensional representations of each sequence of graphs to speed up specific analytical tasks (e.g., similarity search). Third, we visualize the evolving data from a coarse to fine-granular snapshots to semi-automatically analyze temporal states, trends, and outliers. The approach enables to discover similar temporal summaries (e.g., recurring states), reduces the temporal data to speed up automatic analysis, and to explore both structural and temporal properties of a dynamic graph. We demonstrate the usefulness of our approach by a quantitative evaluation and the application to a real-world dataset.


title: Axiomatic (and Non-Axiomatic) Mathematics

abstract: Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of Complete Ordered Fields with which Real Analysis starts. Groups abound in mathematical sciences, while by Dedekind's theorem there exists only one complete ordered field, up to isomorphism. Cayley's theorem in Abstract Algebra implies that the axioms of group theory completely axiomatize the class of permutation sets that are closed under composition and inversion. In this article, we survey some old and new results on the first-order axiomatizability of various mathematical structures. We will also review identities over addition, multiplication, and exponentiation that hold in the set of positive real numbers.


title: Channel-wise Hessian Aware trace-Weighted Quantization of Neural Networks

abstract: Second-order information has proven to be very effective in determining the redundancy of neural network weights and activations. Recent paper proposes to use Hessian traces of weights and activations for mixed-precision quantization and achieves state-of-the-art results. However, prior works only focus on selecting bits for each layer while the redundancy of different channels within a layer also differ a lot. This is mainly because the complexity of determining bits for each channel is too high for original methods. Here, we introduce Channel-wise Hessian Aware trace-Weighted Quantization (CW-HAWQ). CW-HAWQ uses Hessian trace to determine the relative sensitivity order of different channels of activations and weights. What's more, CW-HAWQ proposes to use deep Reinforcement learning (DRL) Deep Deterministic Policy Gradient (DDPG)-based agent to find the optimal ratios of different quantization bits and assign bits to channels according to the Hessian trace order. The number of states in CW-HAWQ is much smaller compared with traditional AutoML based mix-precision methods since we only need to search ratios for the quantization bits. Compare CW-HAWQ with state-of-the-art shows that we can achieve better results for multiple networks.


title: Scalable Blocking for Very Large Databases

abstract: In the field of database deduplication, the goal is to find approximately matching records within a database. Blocking is a typical stage in this process that involves cheaply finding candidate pairs of records that are potential matches for further processing. We present here Hashed Dynamic Blocking, a new approach to blocking designed to address datasets larger than those studied in most prior work. Hashed Dynamic Blocking (HDB) extends Dynamic Blocking, which leverages the insight that rare matching values and rare intersections of values are predictive of a matching relationship. We also present a novel use of Locality Sensitive Hashing (LSH) to build blocking key values for huge databases with a convenient configuration to control the trade-off between precision and recall. HDB achieves massive scale by minimizing data movement, using compact block representation, and greedily pruning ineffective candidate blocks using a Count-min Sketch approximate counting data structure. We benchmark the algorithm by focusing on real-world datasets in excess of one million rows, demonstrating that the algorithm displays linear time complexity scaling in this range. Furthermore, we execute HDB on a 530 million row industrial dataset, detecting 68 billion candidate pairs in less than three hours at a cost of $307 on a major cloud service.


title: Noncoherent OOK Symbol Detection with Supervised-Learning Approach for BCC

abstract: There has been a continuing demand for improving the accuracy and ease of use of medical devices used on or around the human body. Communication is critical to medical applications, and wireless body area networks (WBANs) have the potential to revolutionize diagnosis. Despite its importance, WBAN technology is still in its infancy and requires much research. We consider body channel communication (BCC), which uses the whole body as well as the skin as a medium for communication. BCC is sensitive to the body's natural circulation and movement, which requires a noncoherent model for wireless communication. To accurately handle practical applications for electronic devices working on or inside a human body, we configure a realistic system model for BCC with on-off keying (OOK) modulation. We propose novel detection techniques for OOK symbols and improve the performance by exploiting distributed reception and supervised-learning approaches. Numerical results show that the proposed techniques are valid for noncoherent OOK transmissions for BCC.


title: From H\"ormander's $L^2$-estimates to partial positivity

abstract: In this article, using a twisted version of H\"ormander's $L^2$-estimate, we give new characterizations of notions of partial positivity, which are uniform $q$-positivity and RC-positivity. We also discuss the definition of uniform $q$-positivity for singular Hermitian metrics.


title: Parameterized Algorithms for Queue Layouts

abstract: An $h$-queue layout of a graph $G$ consists of a linear order of its vertices and a partition of its edges into $h$ queues, such that no two independent edges of the same queue nest. The minimum $h$ such that $G$ admits an $h$-queue layout is the queue number of $G$. We present two fixed-parameter tractable algorithms that exploit structural properties of graphs to compute optimal queue layouts. As our first result, we show that deciding whether a graph $G$ has queue number $1$ and computing a corresponding layout is fixed-parameter tractable when parameterized by the treedepth of $G$. Our second result then uses a more restrictive parameter, the vertex cover number, to solve the problem for arbitrary $h$.


title: Restructuring, Pruning, and Adjustment of Deep Models for Parallel Distributed Inference

abstract: Using multiple nodes and parallel computing algorithms has become a principal tool to improve training and execution times of deep neural networks as well as effective collective intelligence in sensor networks. In this paper, we consider the parallel implementation of an already-trained deep model on multiple processing nodes (a.k.a. workers) where the deep model is divided into several parallel sub-models, each of which is executed by a worker. Since latency due to synchronization and data transfer among workers negatively impacts the performance of the parallel implementation, it is desirable to have minimum interdependency among parallel sub-models. To achieve this goal, we propose to rearrange the neurons in the neural network and partition them (without changing the general topology of the neural network), such that the interdependency among sub-models is minimized under the computations and communications constraints of the workers. We propose RePurpose, a layer-wise model restructuring and pruning technique that guarantees the performance of the overall parallelized model. To efficiently apply RePurpose, we propose an approach based on $\ell_0$ optimization and the Munkres assignment algorithm. We show that, compared to the existing methods, RePurpose significantly improves the efficiency of the distributed inference via parallel implementation, both in terms of communication and computational complexity.


title: Attribute Prototype Network for Zero-Shot Learning

abstract: From the beginning of zero-shot learning research, visual attributes have been shown to play an important role. In order to better transfer attribute-based knowledge from known to unknown classes, we argue that an image representation with integrated attribute localization ability would be beneficial for zero-shot learning. To this end, we propose a novel zero-shot representation learning framework that jointly learns discriminative global and local features using only class-level attributes. While a visual-semantic embedding layer learns global features, local features are learned through an attribute prototype network that simultaneously regresses and decorrelates attributes from intermediate features. We show that our locality augmented image representations achieve a new state-of-the-art on three zero-shot learning benchmarks. As an additional benefit, our model points to the visual evidence of the attributes in an image, e.g. for the CUB dataset, confirming the improved attribute localization ability of our image representation.


title: Non-reversible Metastable Diffusions with Gibbs Invariant Measure I: Eyring-Kramers Formula

abstract: In this article, we prove the Eyring-Kramers formula for non-reversible metastable diffusion processes that have a Gibbs invariant measure. Our result indicates that non-reversible processes exhibit faster metastable transitions between neighborhoods of local minima, compared to the reversible process considered in [Bovier, Eckhoff, Gayrard, and Klein, J. Eur. Math. Soc. 6: 399-424, 2004]. Therefore, by adding non-reversibility to the model, we can indeed accelerate the metastable transition. Our proof is based on the potential theoretic approach to metastability through accurate estimation of the capacity between metastable valleys. We carry out this estimation by developing a novel method to compute the sharp asymptotics of the capacity without relying on variational principles such as the Dirichlet principle or the Thomson principle.


title: End-to-End Predictions-Based Resource Management Framework for Supercomputer Jobs

abstract: Job submissions of parallel applications to production supercomputer systems will have to be carefully tuned in terms of the job submission parameters to obtain minimum response times. In this work, we have developed an end-to-end resource management framework that uses predictions of queue waiting and execution times to minimize response times of user jobs submitted to supercomputer systems. Our method for predicting queue waiting times adaptively chooses a prediction method based on the cluster structure of similar jobs. Our strategy for execution time predictions dynamically learns the impact of load on execution times and uses this to predict a set of execution time ranges for the target job. We have developed two resource management techniques that employ these predictions, one that selects the number of processors for execution and the other that also dynamically changes the job submission time. Using workload simulations of large supercomputer traces, we show large-scale improvements in predictions and reductions in response times over existing techniques and baseline strategies.


title: Rippling of two-dimensional materials by line defects

abstract: Two-dimensional materials and their mechanical properties are known to be profoundly affected by rippling deformations. However, although ripples are fairly well understood, less is known about their origin and controlled modification. Here, motivated by recent reports of laser-controlled creation of line defects in graphene, we investigate how line defects could be used to control rippling in graphene and other two-dimensional materials. By sequential multi-scale coupling of density-functional tight-binding and continuum elasticity simulations, we quantify the amount of rippling when the number and the cumulative length of the line defects increase. Simulations show that elastic sheets with networks of line defects create rippling that induces considerable out-of-plane rigidification and in-plane softening with non-linear elastic behavior. We hope that these insights help to guide experimental attempts to modify the mechanical properties of graphene and other two-dimensional materials.


title: TNT: Target-driveN Trajectory Prediction

abstract: Predicting the future behavior of moving agents is essential for real world applications. It is challenging as the intent of the agent and the corresponding behavior is unknown and intrinsically multimodal. Our key insight is that for prediction within a moderate time horizon, the future modes can be effectively captured by a set of target states. This leads to our target-driven trajectory prediction (TNT) framework. TNT has three stages which are trained end-to-end. It first predicts an agent's potential target states $T$ steps into the future, by encoding its interactions with the environment and the other agents. TNT then generates trajectory state sequences conditioned on targets. A final stage estimates trajectory likelihoods and a final compact set of trajectory predictions is selected. This is in contrast to previous work which models agent intents as latent variables, and relies on test-time sampling to generate diverse trajectories. We benchmark TNT on trajectory prediction of vehicles and pedestrians, where we outperform state-of-the-art on Argoverse Forecasting, INTERACTION, Stanford Drone and an in-house Pedestrian-at-Intersection dataset.


title: Non-reversible Metastable Diffusions with Gibbs Invariant Measure II: Markov Chain Convergence

abstract: This article considers a class of metastable non-reversible diffusion processes whose invariant measure is a Gibbs measure associated with a Morse potential. In a companion paper [32], we proved the Eyring-Kramers formula for the corresponding class of metastable diffusion processes. In this article, we further develop this result by proving that a suitably time-rescaled metastable diffusion process converges to a Markov chain on the deepest metastable valleys. This article is also an extension of [45], which considered the same problem for metastable reversible diffusion processes. Our proof is based on the recently developed resolvent approach to metastability.


title: Electric quadrupole form factors of singly heavy baryons with spin 3/2

abstract: We study the electromagnetic form factors of the lowest-lying singly heavy baryons in a pion mean-field approach, which is also known as the SU(3) chiral quark-soliton model. In the limit of the heavy-quark mass, the dynamics inside a singly heavy baryon is governed by the $N_c-1$ valence quarks, while the heavy quark remains as a mere static color source. In this framework, a singly heavy baryon is described by combining the colored soliton with the singly heavy quark. In the infinitely heavy-quark mass limit, we can compute the electric quadrupole form factors of the baryon sextet with spin 3/2 with the rotational $1/N_c$ and linear corrections of the explicit flavor SU(3) symmetry breaking taken into account. We find that the sea-quark contributions or the Dirac-sea level contributions dominate over the valence-quark contributions in lower $Q^2$ region. We examined the effects of explicit flavor SU(3) symmetry breaking in detail. The numerical results are also compared with the recent data from the lattice calculation with the unphysical value of the pion mass considered, which was used in the lattice calculation.


title: The Structure of $^{33}$Si and the magicity of the N=20 gap at Z=14

abstract: The structure of $^{33}$Si was studied by a one-neutron knockout reaction from a $^{34}$Si beam at 98.5 MeV/u incident on a $^{9}$Be target. The prompt $\gamma$-rays following the de-excitation of $^{33}$Si were detected using the GRETINA $\gamma$-ray tracking array while the reaction residues were identified on an event-by-event basis in the focal plane of the S800 spectrometer at NSCL (National Superconducting Cyclotron Laboratory). The presently derived spectroscopic factor values, $C^2S$, for the 3/2$^+$ and 1/2$^+$ states, corresponding to a neutron removal from the $0d_{3/2}$ and $1s_{1/2}$ orbitals, agree with shell model calculations and point to a strong $N=20$ shell closure. Three states arising from the more bound $0d_{5/2}$ orbital are proposed, one of which is unbound by about 930 keV. The sensitivity of this experiment has also confirmed a weak population of 9/2$^-$ and 11/2$_{1,2}^-$ final states, which originate from a higher-order process. This mechanism may also have populated, to some fraction, the 3/2$^-$ and 7/2$^-$ negative-parity states, which hinders a determination of the $C^2S$ values for knockout from the normally unoccupied $1p_{3/2}$ and $0f_{7/2}$ orbits.


title: Deep Relighting Networks for Image Light Source Manipulation

abstract: Manipulating the light source of given images is an interesting task and useful in various applications, including photography and cinematography. Existing methods usually require additional information like the geometric structure of the scene, which may not be available for most images. In this paper, we formulate the single image relighting task and propose a novel Deep Relighting Network (DRN) with three parts: 1) scene reconversion, which aims to reveal the primary scene structure through a deep auto-encoder network, 2) shadow prior estimation, to predict light effect from the new light direction through adversarial learning, and 3) re-renderer, to combine the primary structure with the reconstructed shadow view to form the required estimation under the target light source. Experimental results show that the proposed method outperforms other possible methods, both qualitatively and quantitatively. Specifically, the proposed DRN has achieved the best PSNR in the "AIM2020 - Any to one relighting challenge" of the 2020 ECCV conference.


title: Multi-wavelength Observation of a Failed Eruption from a Helical Kink-unstable Prominence

abstract: Multi-wavelength observations of prominence eruptions provide an opportunity to uncover the physical mechanism of the triggering and the evolution process of the eruption. In this paper, we investigated an erupting prominence on October 14, 2012, recorded in H{\alpha}, EUV, and X-ray wavelengths. The process of the eruption gives evidences on the existence of a helical magnetic structure and showing the twist being converting to writhe. The estimated twist is ~6{\pi} (3 turns), exceeding the threshold of the kink instability. The rising plasma then reached a high speed, estimated at 228 km s-1, followed by a sudden rapid acceleration at 2715 m s-2, and synchronous with a solar are. Co-spatial cusp shaped structures were observed in both AIA 131{\AA} and 94{\AA} images, signifying the location of the magnetic reconnection. The erupted flux rope finally undergone a deceleration with a maximum value of 391 m s-2, which is even larger than the free-fall acceleration on the Sun (273 m s-2) , suggesting that the eruption finally failed, possibly due to an inward magnetic tension force.


title: Using Sampling Strategy to Assist Consensus Sequence Analysis

abstract: Consensus Sequences of event logs are often used in process mining to quickly grasp the core sequence of events to be performed in a process, or to represent the backbone of the process for doing other analyses. However, it is still not clear how many traces are enough to properly represent the underlying process. In this paper, we propose a novel sampling strategy to determine the number of traces necessary to produce a representative consensus sequence. We show how to estimate the difference between the predefined Expert Model and the real processes carried out. This difference level can be used as reference for domain experts to adjust the Expert Model. In addition, we apply this strategy to several real-world workflow activity datasets as a case study. We show a sample curve fitting task to help readers better understand our proposed methodology.


title: Phase transition and microstructures of five-dimensional charged Gauss-Bonnet-AdS black holes in the grand canonical ensemble

abstract: In this paper, we study the small-large black hole phase transition and construct the Ruppeiner geometry for the five-dimensional charged Gauss-Bonnet-AdS black hole in the grand canonical ensemble. By making use of the equal area law, we obtain the analytical coexistence curve of the small and large black holes. Then the phase diagrams are examined. We also calculate the change of the thermodynamic volume during the small-large phase transition, which indicates that there exists a sudden change among the black hole microstructures. The corresponding normalized scalar curvature of the Ruppeiner geometry is also calculated. Combing with the empirical observation of scalar curvature, we find that for low electric potential, the attractive interaction dominates among the microstructures, while a high electric potential produces repulsive interactions. In the reduced parameter space, we observe that only attractive interaction is allowed when the coexistence region is excluded. The normalized scalar curvature also admits a critical exponent 2 and a universal constant $-\frac{1}{8}$. In particular, the value of the normalized scalar curvature keeps the same along the coexistence small and large black hole curves. So in the grand canonical ensemble, the interaction can keep constant at the phase transition where the black hole microstructures change. These results disclose the intriguing microstructures for the charged AdS black hole in the Gauss-Bonnet gravity.