title: Stability and conservation properties of Hermite-based approximations of the Vlasov-Poisson system

abstract: Spectral approximation based on Hermite-Fourier expansion of the Vlasov-Poisson model for a collisionless plasma in the electro-static limit is provided, by including high-order artificial collision operators of Lenard-Bernstein type. These differential operators are suitably designed in order to preserve the physically-meaningful invariants (number of particles, momentum, energy). In view of time-discretization, stability results in appropriate norms are presented. In this study, necessary conditions link the magnitude of the artificial collision term, the number of spectral modes of the discretization, as well as the time-step. The analysis, carried out in full for the Hermite discretization of a simple linear problem in one-dimension, is then partly extended to cover the complete nonlinear Vlasov-Poisson model.


title: Network-Level Optimization for Unbalanced Power Distribution System: Approximation and Relaxation

abstract: The nonlinear programming (NLP) problem to solve distribution-level optimal power flow (D-OPF) poses convergence issues and does not scale well for unbalanced distribution systems. The existing scalable D-OPF algorithms either use approximations that are not valid for an unbalanced power distribution system or apply relaxation techniques to the nonlinear power flow equations that do not guarantee a feasible power flow solution. In this paper, we propose scalable D-OPF algorithms that simultaneously achieve optimal and feasible solutions by solving multiple iterations of approximate, or relaxed, D-OPF subproblems of low complexity. The first algorithm is based on a successive linear approximation of the nonlinear power flow equations around the current operating point, where the D-OPF solution is obtained by solving multiple iterations of a linear programming (LP) problem. The second algorithm is based on the relaxation of the nonlinear power flow equations as conic constraints together with directional constraints, which achieves optimal and feasible solutions over multiple iterations of a second-order cone programming (SOCP) problem. It is demonstrated that the proposed algorithms are able to reach an optimal and feasible solution while significantly reducing the computation time as compared to an equivalent NLP D-OPF model for the same distribution system.


title: High-performance parallel classical scheme for simulating shallow quantum circuits

abstract: Recently, constant-depth quantum circuits are proved more powerful than their classical counterparts at solving certain problems, e.g., the two-dimensional (2D) hidden linear function (HLF) problem regarding a symmetric binary matrix. To further investigate the boundary between classical and quantum computing models, in this work we propose a high-performance two-stage classical scheme to solve a full-sampling variant of the 2D HLF problem, which combines traditional classical parallel algorithms and a gate-based classical circuit model together for exactly simulating the target shallow quantum circuits. Under reasonable parameter assumptions, a theoretical analysis reveals our classical simulator consumes less runtime than that of near-term quantum processors for most problem instances. Furthermore, we demonstrate the typical all-connected 2D grid instances by moderate FPGA circuits, and show our designed parallel scheme is a practically scalable, high-efficient and operationally convenient tool for simulating and verifying graph-state circuits performed by current quantum hardware.


title: Meta-learning representations for clustering with infinite Gaussian mixture models

abstract: For better clustering performance, appropriate representations are critical. Although many neural network-based metric learning methods have been proposed, they do not directly train neural networks to improve clustering performance. We propose a meta-learning method that train neural networks for obtaining representations such that clustering performance improves when the representations are clustered by the variational Bayesian (VB) inference with an infinite Gaussian mixture model. The proposed method can cluster unseen unlabeled data using knowledge meta-learned with labeled data that are different from the unlabeled data. For the objective function, we propose a continuous approximation of the adjusted Rand index (ARI), by which we can evaluate the clustering performance from soft clustering assignments. Since the approximated ARI and the VB inference procedure are differentiable, we can backpropagate the objective function through the VB inference procedure to train the neural networks. With experiments using text and image data sets, we demonstrate that our proposed method has a higher adjusted Rand index than existing methods do.


title: Federated Learning without Revealing the Decision Boundaries

abstract: We consider the recent privacy preserving methods that train the models not on original images, but on mixed images that look like noise and hard to trace back to the original images. We explain that those mixed images will be samples on the decision boundaries of the trained model, and although such methods successfully hide the contents of images from the entity in charge of federated learning, they provide crucial information to that entity about the decision boundaries of the trained model. Once the entity has exact samples on the decision boundaries of the model, they may use it for effective adversarial attacks on the model during training and/or afterwards. If we have to hide our images from that entity, how can we trust them with the decision boundaries of our model? As a remedy, we propose a method to encrypt the images, and have a decryption module hidden inside the model. The entity in charge of federated learning will only have access to a set of complex-valued coefficients, but the model will first decrypt the images and then put them through the convolutional layers. This way, the entity will not see the training images and they will not know the location of the decision boundaries of the model.


title: Disorder Enhanced Quantum Process Tomography using Quantum Light

abstract: Quantum process tomography might be the most important paradigm shift which has yet to be translated fully into theoretical chemistry. Its fundamental strength, long established in quantum information science, offers a wealth of information about quantum dynamic processes which lie at the heart of many (if not all) chemical processes. However, due to its complexity its application to real chemical systems is currently beyond experimental reach. Furthermore, it is susceptible to errors due to experimental and theoretical inaccuracies and disorder has long been thought to be an obstacle in its applicability. Here, I present the first results of a study into the use of quantum light for quantum process tomography. By using a toy model and comparing numerical simulations to theoretical predictions the possible enhancement of using non-conventional light is studied. It is found, however, that disorder is necessary make the use of quantum light suitable for process tomography and that, in contrast to conventional wisdom, disorder can make the results more accurate than in an ordered system.


title: Heterogeneity for the Win: One-Shot Federated Clustering

abstract: In this work, we explore the unique challenges -- and opportunities -- of unsupervised federated learning (FL). We develop and analyze a one-shot federated clustering scheme, $k$-FED, based on the widely-used Lloyd's method for $k$-means clustering. In contrast to many supervised problems, we show that the issue of statistical heterogeneity in federated networks can in fact benefit our analysis. We analyse $k$-FED under a center separation assumption and compare it to the best known requirements of its centralized counterpart. Our analysis shows that in heterogeneous regimes where the number of clusters per device $(k')$ is smaller than the total number of clusters over the network $k$, $(k'\le \sqrt{k})$, we can use heterogeneity to our advantage -- significantly weakening the cluster separation requirements for $k$-FED. From a practical viewpoint, $k$-FED also has many desirable properties: it requires only round of communication, can run asynchronously, and can handle partial participation or node/network failures. We motivate our analysis with experiments on common FL benchmarks, and highlight the practical utility of one-shot clustering through use-cases in personalized FL and device sampling.


title: Anick type automorphisms and new irreducible representations of Leavitt path algebras

abstract: In this article, we give a new class of automorphisms of Leavitt path algebras of arbitrary graphs. Consequently, we obtain Anick type automorphisms of these Leavitt path algebras and new irreducible representations of Leavitt algebras of type $(1, n)$.


title: Infrastructure Assisted Constrained Connected Automated Vehicle Trajectory Optimization on Curved Roads: A Spatial Formulation on a Curvilinear Coordinate

abstract: Vehicle trajectory optimization is essential to ensure vehicles travel efficiently and safely. This paper presents an infrastructure assisted constrained connected automated vehicles (CAVs) trajectory optimization method on curved roads. This paper systematically formulates the problem based on a curvilinear coordinate which is flexible to model complex road geometries. Further, to deal with the spatial varying road obstacles, traffic regulations, and geometric characteristics, two-dimensional vehicle kinematics is given in a spatial formulation with exact road information provided by the infrastructure. Consequently, we applied a multi-objective model predictive control (MPC) approach to optimize the trajectories in a rolling horizon while satisfying the collision avoidances and vehicle kinematics constraints. To verify the efficiency of our method, a numerical simulation is conducted. As the results suggest, the proposed method can provide smooth vehicular trajectories, avoid road obstacles, and simultaneously follow traffic regulations, which is robust to road geometries and disturbances.


title: Null-result test for effect on weight from large electrostatic charge

abstract: We report test results searching for an effect of electrostatic charge on weight. For conducting test objects of mass of order 1 kilogram, we found no effect on weight, for potentials ranging from 10 V to 200 kV, corresponding to charge states ranging from $10^{-9}$ to over $10^{-5}$ coulombs, and for both polarities, to within a measurement precision of 2 grams. While such a result may not be unexpected, this is the first unipolar, high-voltage, meter-scale, static test for electro-gravitic effects reported in the literature. Our investigation was motivated by the search for possible coupling to a long-range scalar field that could surround the planet, yet go otherwise undetected. The large buoyancy force predicted within the classical Kaluza theory involving a long-range scalar field is falsified by our results, and this appears to be the first such experimental test of the classical Kaluza theory in the weak field regime where it was otherwise thought identical with known physics. A parameterization is suggested to organize the variety of electro-gravitic experiment designs.


title: Absence of magnetic evidence for superconductivity in hydrides under high pressure

abstract: It is generally believed that magnetization measurements on sulfur hydride under high pressure performed in 2015 [1] provided "final convincing evidence of superconductivity" [2] in that material, in agreement with theoretical predictions [3,4]. Supported by this precedent, drops in resistance that were later observed in several other hydrides under high pressure [2,5] have been generally accepted as evidence of superconductivity without corroborating evidence from magnetic measurements. In this paper we challenge the original interpretation that the magnetic measurements on sulfur hydride performed in 2015 were evidence of superconductivity. We point out that a large paramagnetic contribution to the magnetic susceptibility was detected below Tc and argue that its temperature dependence rules out the possibility that it would be a background signal; instead the temperature dependence indicates that the paramagnetic behavior originated in the sample. We discuss possible explanations for this remarkable behavior and conclude that standard superconductors would not show such behavior. We also survey all the other published data from magnetic measurements on this class of materials and conclude that they do not provide strong evidence for superconductivity. Consequently, we call into question the generally accepted view that conventional superconductivity in hydrogen-rich materials at high temperature and pressure is a reality, and discuss the implications if it is not.


title: Dynamic Stochastic Blockmodel Regression for Network Data: Application to International Militarized Conflicts

abstract: A primary goal of social science research is to understand how latent group memberships predict the dynamic process of network evolution. In the modeling of international militarized conflicts, for instance, scholars hypothesize that membership in geopolitical coalitions shapes the decision to engage in conflict. Such theories explain the ways in which nodal and dyadic characteristics affect the evolution of conflict patterns over time via their effects on group memberships. To aid the empirical testing of these arguments, we develop a dynamic model of network data by combining a hidden Markov model with a mixed-membership stochastic blockmodel that identifies latent groups underlying the network structure. Unlike existing models, we incorporate covariates that predict dynamic node memberships in latent groups as well as the direct formation of edges between dyads. While prior substantive research often assumes the decision to engage in international militarized conflict is independent across states and static over time, we demonstrate that conflict is driven by states' evolving membership in geopolitical blocs. Changes in monadic covariates like democracy shift states between coalitions, generating heterogeneous effects on conflict over time and across states. The proposed methodology, which relies on a variational approximation to a collapsed posterior distribution as well as stochastic optimization for scalability, is implemented through an open-source software package.


title: Minimal Euler Characteristics for Even-Dimensional Manifolds with Finite Fundamental Group

abstract: We consider the Euler characteristics $\chi(M)$ of closed orientable topological $2n$-manifolds with $(n-1)$-connected universal cover and a given fundamental group $G$ of type $F_n$. We define $q_{2n}(G)$, a generalized version of the Hausmann-Weinberger invariant for 4-manifolds, as the minimal value of $(-1)^n\chi (M)$. For all $n\geq 2$, we establish a strengthened and extended version of their estimates, in terms of explicit cohomological invariants of $G$. As an application we obtain new restrictions for non-abelian finite groups arising as fundamental groups of rational homology 4-spheres.


title: FedPower: Privacy-Preserving Distributed Eigenspace Estimation

abstract: Eigenspace estimation is fundamental in machine learning and statistics, which has found applications in PCA, dimension reduction, and clustering, among others. The modern machine learning community usually assumes that data come from and belong to different organizations. The low communication power and the possible privacy breaches of data make the computation of eigenspace challenging. To address these challenges, we propose a class of algorithms called \textsf{FedPower} within the federated learning (FL) framework. \textsf{FedPower} leverages the well-known power method by alternating multiple local power iterations and a global aggregation step, thus improving communication efficiency. In the aggregation, we propose to weight each local eigenvector matrix with {\it Orthogonal Procrustes Transformation} (OPT) for better alignment. To ensure strong privacy protection, we add Gaussian noise in each iteration by adopting the notion of \emph{differential privacy} (DP). We provide convergence bounds for \textsf{FedPower} that are composed of different interpretable terms corresponding to the effects of Gaussian noise, parallelization, and random sampling of local machines. Additionally, we conduct experiments to demonstrate the effectiveness of our proposed algorithms.


title: A low-degree strictly conservative finite element method for incompressible flows

abstract: In this paper, a new $P_{2}-P_{1}$ finite element pair is proposed for incompressible fluid. For this pair, the discrete inf-sup condition and the discrete Korn's inequality hold on general triangulations. It yields exactly divergence-free velocity approximations when applied to models of incompressible flows. The robust capacity of the pair for incompressible flows are verified theoretically and numerically.


title: From nanotubes to nanoholes: scaling of selectivity in uniformly charged nanopores through the Dukhin number for 1:1 electrolytes

abstract: Scaling of the behavior of a nanodevice means that the device function (selectivity) is a unique smooth and monotonic function of a scaling parameter that is an appropriate combination of the system's parameters. For the uniformly charged cylindrical nanopore studied here these parameters are the electrolyte concentration, $c$, voltage, $U$, the radius and the length of the nanopore, $R$ and $H$, and the surface charge density on the nanopore's surface, $\sigma$. Due to the non-linear dependence of selectivites on these parameters, scaling can only be applied in certain limits. We show that the Dukhin number, $\mathrm{Du}=|\sigma|/eRc\sim |\sigma|\lambda_{\mathrm{D}}^{2}/eR$ ($\lambda_{\mathrm{D}}$ is the Debye length), is an appropriate scaling parameter in the nanotube limit ($H\rightarrow\infty$). Decreasing the length of the nanopore, namely, approaching the nanohole limit ($H\rightarrow 0$), an alternative scaling parameter has been obtained that contains the pore length and is called the modified Dukhin number: $\mathrm{mDu}\sim \mathrm{Du}\, H/\lambda_{\mathrm{D}}\sim |\sigma|\lambda_{\mathrm{D}}H/eR$. We found that the reason of non-linearity is that the double layers accumulating at the pore wall in the radial dimension correlate with the double layers accumulating at the entrances of the pore near the membrane on the two sides. Our modeling study using the Local Equilibrium Monte Carlo method and the Poisson-Nernst-Planck theory provides concentration, flux, and selectivity profiles, that show whether the surface or the volume conduction dominates in a given region of the nanopore for a given combination of the variables. We propose that the inflection point of the scaling curve may be used to characterize the transition point between the surface and volume conductions.

categories: cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: High-performance coherent population trapping atomic clock with direct-modulation distributed Bragg reflector laser

abstract: The coherent population trapping (CPT) atomic clock is very promising for use in next-generation spaceborne applications owing to its compactness and high performance. In this paper, we propose and implement a CPT atomic clock based on the direct modulation of a large-modulation-bandwidth and narrow-linewidth distributed Bragg reflector laser, which replaces the usually used external bulk modulator in the high-performance CPT clock. Our method retains the high performance while significantly reducing the size. Using this highly compact bichromatic light source and simplest CPT configuration, in which a circularly polarized bichromatic laser interrogates the ^{87}Rb atom system, a CPT signal of clock transition with a narrow linewidth and high contrast is observed. We then lock the local oscillator frequency to the CPT error signal and demonstrate a short-term frequency stability of 3.6 \times 10^{-13} {\tau}^{-1/2} (4 s \le {\tau} \le 200 s). We attribute it to the ultralow laser frequency and intensity noise as well as to the high-quality-factor CPT signal. This study can pave the way for the development of compact high-performance CPT clocks based on our scheme.


title: Condition Sensing for Electricity Infrastructure in Disasters by Mining Public Topics from Social Media

abstract: Timely and reliable sensing of infrastructure conditions is critical in disaster management for planning effective infrastructure restorations. Social media, a near real-time information source, has been widely used in disasters for forming timely situational awareness. Yet, using social media to sense electricity infrastructure conditions has not been explored. This study aims to address the research gap through mining public topics from social media. To achieve this purpose, we proposed a systematic and customized approach wherein (1) electricity-related social media data is extracted by the classifier developed based on Bidirectional Encoder Representations from Transformers (BERT); and (2) public topics are modeled with unigrams, bigrams, and trigrams to incorporate the formulaic expressions of infrastructure conditions in social media. Electricity infrastructures in Florida impacted by Hurricane Irma are studied for illustration and demonstration. Results show that the proposed approach is capable of sensing the temporal evolutions and geographic differences of electricity infrastructure conditions.


title: Active Reconfigurable Intelligent Surface Aided Wireless Communications

abstract: Reconfigurable Intelligent Surface (RIS) is a promising solution to reconfigure the wireless environment in a controllable way. To compensate for the double-fading attenuation in the RIS-aided link, a large number of passive reflecting elements (REs) are conventionally deployed at the RIS, resulting in large surface size and considerable circuit power consumption. In this paper, we propose a new type of RIS, called active RIS, where each RE is assisted by active loads (negative resistance), that reflect and amplify the incident signal instead of only reflecting it with the adjustable phase shift as in the case of a passive RIS. Therefore, for a given power budget at the RIS, a strengthened RIS-aided link can be achieved by increasing the number of active REs as well as amplifying the incident signal. We consider the use of an active RIS to a single input multiple output (SIMO) system. {However, it would unintentionally amplify the RIS-correlated noise, and thus the proposed system has to balance the conflict between the received signal power maximization and the RIS-correlated noise minimization at the receiver. To achieve this goal, it has to optimize the reflecting coefficient matrix at the RIS and the receive beamforming at the receiver.} An alternating optimization algorithm is proposed to solve the problem. Specifically, the receive beamforming is obtained with a closed-form solution based on linear minimum-mean-square-error (MMSE) criterion, while the reflecting coefficient matrix is obtained by solving a series of sequential convex approximation (SCA) problems. Simulation results show that the proposed active RIS-aided system could achieve better performance over the conventional passive RIS-aided system with the same power budget.


title: Towards Personalized Federated Learning

abstract: In parallel with the rapid adoption of Artificial Intelligence (AI) empowered by advances in AI research, there have been growing awareness and concerns of data privacy. Recent significant developments in the data regulation landscape have prompted a seismic shift in interest towards privacy-preserving AI. This has contributed to the popularity of Federated Learning (FL), the leading paradigm for the training of machine learning models on data silos in a privacy-preserving manner. In this survey, we explore the domain of Personalized FL (PFL) to address the fundamental challenges of FL on heterogeneous data, a universal characteristic inherent in all real-world datasets. We analyze the key motivations for PFL and present a unique taxonomy of PFL techniques categorized according to the key challenges and personalization strategies in PFL. We highlight their key ideas, challenges and opportunities and envision promising future trajectories of research towards new PFL architectural design, realistic PFL benchmarking, and trustworthy PFL approaches.


title: Panel semiparametric quantile regression neural network for electricity consumption forecasting

abstract: China has made great achievements in electric power industry during the long-term deepening of reform and opening up. However, the complex regional economic, social and natural conditions, electricity resources are not evenly distributed, which accounts for the electricity deficiency in some regions of China. It is desirable to develop a robust electricity forecasting model. Motivated by which, we propose a Panel Semiparametric Quantile Regression Neural Network (PSQRNN) by utilizing the artificial neural network and semiparametric quantile regression. The PSQRNN can explore a potential linear and nonlinear relationships among the variables, interpret the unobserved provincial heterogeneity, and maintain the interpretability of parametric models simultaneously. And the PSQRNN is trained by combining the penalized quantile regression with LASSO, ridge regression and backpropagation algorithm. To evaluate the prediction accuracy, an empirical analysis is conducted to analyze the provincial electricity consumption from 1999 to 2018 in China based on three scenarios. From which, one finds that the PSQRNN model performs better for electricity consumption forecasting by considering the economic and climatic factors. Finally, the provincial electricity consumptions of the next $5$ years (2019-2023) in China are reported by forecasting.


title: CHAMP: Characterizing Undesired App Behaviors from User Comments based on Market Policies

abstract: Millions of mobile apps have been available through various app markets. Although most app markets have enforced a number of automated or even manual mechanisms to vet each app before it is released to the market, thousands of low-quality apps still exist in different markets, some of which violate the explicitly specified market policies.In order to identify these violations accurately and timely, we resort to user comments, which can form an immediate feedback for app market maintainers, to identify undesired behaviors that violate market policies, including security-related user concerns. Specifically, we present the first large-scale study to detect and characterize the correlations between user comments and market policies. First, we propose CHAMP, an approach that adopts text mining and natural language processing (NLP) techniques to extract semantic rules through a semi-automated process, and classifies comments into 26 pre-defined types of undesired behaviors that violate market policies. Our evaluation on real-world user comments shows that it achieves both high precision and recall ($>0.9$) in classifying comments for undesired behaviors. Then, we curate a large-scale comment dataset (over 3 million user comments) from apps in Google Play and 8 popular alternative Android app markets, and apply CHAMP to understand the characteristics of undesired behavior comments in the wild. The results confirm our speculation that user comments can be used to pinpoint suspicious apps that violate policies declared by app markets. The study also reveals that policy violations are widespread in many app markets despite their extensive vetting efforts. CHAMP can be a \textit{whistle blower} that assigns policy-violation scores and identifies most informative comments for apps.


title: Lower Bounds and Improved Algorithms for Asymmetric Streaming Edit Distance and Longest Common Subsequence

abstract: In this paper, we study edit distance (ED) and longest common subsequence (LCS) in the asymmetric streaming model, introduced by Saks and Seshadhri [SS13]. As an intermediate model between the random access model and the streaming model, this model allows one to have streaming access to one string and random access to the other string. Our first main contribution is a systematic study of space lower bounds for ED and LCS in the asymmetric streaming model. Previously, there are no explicitly stated results in this context, although some lower bounds about LCS can be inferred from the lower bounds for longest increasing subsequence (LIS) in [SW07][GG10][EJ08]. Yet these bounds only work for large alphabet size. In this paper, we develop several new techniques to handle ED in general and LCS for small alphabet size, thus establishing strong lower bounds for both problems. In particular, our lower bound for ED provides an exponential separation between edit distance and Hamming distance in the asymmetric streaming model. Our lower bounds also extend to LIS and longest non-decreasing sequence (LNS) in the standard streaming model. Together with previous results, our bounds provide an almost complete picture for these two problems. As our second main contribution, we give improved algorithms for ED and LCS in the asymmetric streaming model. For ED, we improve the space complexity of the constant factor approximation algorithms in [FHRS20][CJLZ20] from $\tilde{O}(\frac{n^\delta}{\delta})$ to $O(\frac{d^\delta}{\delta}\;\mathsf{polylog}(n))$, where $n$ is the length of each string and $d$ is the edit distance between the two strings. For LCS, we give the first $1/2+\epsilon$ approximation algorithm with space $n^{\delta}$ for any constant $\delta>0$, over a binary alphabet.


title: Diffusion-weighted MRI-guided needle biopsies permit quantitative tumor heterogeneity assessment and cell load estimation

abstract: Quantitative information on tumor heterogeneity and cell load could assist in designing effective and refined personalized treatment strategies. It was recently shown by us that such information can be inferred from the diffusion parameter D derived from the diffusion-weighted MRI (DWI) if a relation between D and cell density can be established. However, such relation cannot a priori be assumed to be constant for all patients and tumor types. Hence to assist in clinical decisions in palliative settings, the relation needs to be established without tumor resection. It is here demonstrated that biopsies may contain sufficient information for this purpose if the localization of biopsies is chosen as systematically elaborated in this paper. A superpixel-based method for automated optimal localization of biopsies from the DWI D-map is proposed. The performance of the DWI-guided procedure is evaluated by extensive simulations of biopsies. Needle biopsies yield sufficient histological information to establish a quantitative relationship between D-value and cell density, provided they are taken from regions with high, intermediate, and low D-value in DWI. The automated localization of the biopsy regions is demonstrated from a NSCLC patient tumor. In this case, even two or three biopsies give a reasonable estimate. Simulations of needle biopsies under different conditions indicate that the DWI-guidance highly improves the estimation results. Tumor cellularity and heterogeneity in solid tumors may be reliably investigated from DWI and a few needle biopsies that are sampled in regions of well-separated D-values, excluding adipose tissue. This procedure could provide a way of embedding in the clinical workflow assistance in cancer diagnosis and treatment based on personalized information.


title: Boundary conditions for nonlocal one-sided pseudo-differential operators and the associated stochastic processes II

abstract: We connect boundary conditions for one-sided pseudo-differential operators with the generators of modified one-sided L\'evy processes. On one hand this allows modellers to use appropriate boundary conditions with confidence when restricting the modelling domain. On the other hand it allows for numerical techniques based on differential equation solvers to obtain fast approximations of densities or other statistical properties of restricted one-sided L\'evy processes encountered, for example, in finance. In particular we identify a new nonlocal mass conserving boundary condition by showing it corresponds to fast-forwarding, i.e. removing the time the process spends outside the domain. We treat all combinations of killing, reflecting and fast-forwarding boundary conditions. In Part I we show wellposedness of the backward and forward Cauchy problems with a one-sided pseudo-differential operator with boundary conditions as generator. We do so by showing convergence of Feller semigroups based on grid point approximations of the modified L\'evy process. In Part II we show that the limiting Feller semigroup is indeed the semigroup associated with the modified L\'evy process by showing continuity of the modifications with respect to the Skorokhod topology.


title: Yukawa potential for realistic prediction of Hubbard and Hund interaction parameters for transition metals

abstract: The generalized Hubbard model is an important theoretical model for modeling strongly correlated materials. To be able to theoretically predict the properties of the materials, the model requires Hubbard's $U$ and Hund's $J$ parameter that represent the on-site Coulomb and exchange interaction, respectively. For bare Coulomb interactions, the analytic expression of $U$ and $J$ are analytically described by Racah's $A,B,C$ parameters. However, the values of $U$ are too large for transition-metal-based materials. To obtain more accurate values for realistic materials, we employ a Yukawa-type screened Coulomb interaction, characterized by screening constant $\lambda$. We characterize $\lambda$ for transition metals. The modified $A,B,C$ parameters give a more realistic $U$ and $J$ values.


title: A Difference-of-Convex Cutting Plane Algorithm for Mixed-Binary Linear Program

abstract: In this paper, we propose a cutting plane algorithm based on DC (Difference-of-Convex) programming and DC cut for globally solving Mixed-Binary Linear Program (MBLP). We first use a classical DC programming formulation via the exact penalization to formulate MBLP as a DC program, which can be solved by DCA algorithm. Then, we focus on the construction of DC cuts, which serves either as a local cut (namely type-I DC cut) at feasible local minimizer of MBLP, or as a global cut (namely type-II DC cut) at infeasible local minimizer of MBLP if some particular assumptions are verified. Otherwise, the constructibility of DC cut is still unclear, and we propose to use classical global cuts (such as the Lift-and-Project cut) instead. Combining DC cut and classical global cuts, a cutting plane algorithm, namely DCCUT, is established for globally solving MBLP. The convergence theorem of DCCUT is proved. Restarting DCA in DCCUT helps to quickly update the upper bound solution and to introduce more DC cuts for lower bound improvement. A variant of DCCUT by introducing more classical global cuts in each iteration is proposed, and parallel versions of DCCUT and its variant are also designed which use the power of multiple processors for better performance. Numerical simulations of DCCUT type algorithms comparing with the classical cutting plane algorithm using Lift-and-Project cuts are reported. Tests on some specific samples and the MIPLIB 2017 benchmark dataset demonstrate the benefits of DC cut and good performance of DCCUT algorithms.


title: Autonomous Navigation of an Ultrasound Probe Towards Standard Scan Planes with Deep Reinforcement Learning

abstract: Autonomous ultrasound (US) acquisition is an important yet challenging task, as it involves interpretation of the highly complex and variable images and their spatial relationships. In this work, we propose a deep reinforcement learning framework to autonomously control the 6-D pose of a virtual US probe based on real-time image feedback to navigate towards the standard scan planes under the restrictions in real-world US scans. Furthermore, we propose a confidence-based approach to encode the optimization of image quality in the learning process. We validate our method in a simulation environment built with real-world data collected in the US imaging of the spine. Experimental results demonstrate that our method can perform reproducible US probe navigation towards the standard scan plane with an accuracy of $4.91mm/4.65^\circ$ in the intra-patient setting, and accomplish the task in the intra- and inter-patient settings with a success rate of $92\%$ and $46\%$, respectively. The results also show that the introduction of image quality optimization in our method can effectively improve the navigation performance.


title: LocalDrop: A Hybrid Regularization for Deep Neural Networks

abstract: In neural networks, developing regularization algorithms to settle overfitting is one of the major study areas. We propose a new approach for the regularization of neural networks by the local Rademacher complexity called LocalDrop. A new regularization function for both fully-connected networks (FCNs) and convolutional neural networks (CNNs), including drop rates and weight matrices, has been developed based on the proposed upper bound of the local Rademacher complexity by the strict mathematical deduction. The analyses of dropout in FCNs and DropBlock in CNNs with keep rate matrices in different layers are also included in the complexity analyses. With the new regularization function, we establish a two-stage procedure to obtain the optimal keep rate matrix and weight matrix to realize the whole training model. Extensive experiments have been conducted to demonstrate the effectiveness of LocalDrop in different models by comparing it with several algorithms and the effects of different hyperparameters on the final performances.


title: Dynamics of strongly interacting Fermi gases with time-dependent interactions: Consequence of conformal symmetry

abstract: In this Letter, we investigate the effects of a time-dependent, short-ranged interaction on the long-time expansion dynamics of Fermi gases. We show that the effects of the interaction on the dynamics is dictated by how it changes under a conformal transformation, and derive an explicit criterion for the relevancy of time-dependent interactions in both the strongly and non-interacting nearly scale invariant quantum gases. In addition, we show that it is possible to engineer interactions that give rise to non-exponential thermalization dynamics in trapped Fermi gases. To supplement the symmetry analysis, we also perform hydrodynamic simulations to show that the moment of inertia of the trapped gas indeed follows a universal time-dependence determined jointly by the conformal symmetry and time-dependent scattering length $a(t)$. Our results should also be relevant to the dynamics of other systems that are nearly scale invariant and that are governed by a non-relativistic conformal symmetry.


title: Stock market's physical properties description based on Stokes law

abstract: We propose in this paper to consider the stock market as a physical system assimilate to a fluid evolving in a macroscopic space subject to a Force that influences its movement over time where this last is arising from the collision between the supply and the demand of Financial agents. In fluid mechanics, this Force also results from the collisions of fluid molecules led by its physical property such as density, viscosity, and surface tension. The purpose of this article is to show that the dynamism of the stock market behavior can be explained qualitatively and quantitatively by considering the supply & demand collision as the result of Financial agents physical properties defined by Stokes Law. The first objective of this article is to show theoretically that fluid mechanics equations can be used to describe stock market physical properties. The second objective based on the knowledge of stock market physical properties is to propose an Econophysics analog of the stock market viscosity and Reynolds number to measure stock market conditions, whether laminar, transitory, or turbulent. The Reynolds Number defined in this way can be applied in research into the study and classification of stock market dynamics phases through for instance the creation of Econophysics analog of Moddy diagram, this last could be seen as a physical way to quantify asset and stock index idiosyncratic risk. The last objective is to present evidence from a computer simulation that the stock market behavior can be a priori, and posteriori explained by physical properties (viscosity & density) quantifiable by fluid mechanics law (Stokes law) and measurable with the stock market Reynolds Number.


title: Tipping induced by multiplexing on two layer networks

abstract: We report the study of sudden transitions or tipping in a collection of systems induced due to multiplexing with another network of systems. The emergent dynamics of oscillators on one layer can undergo a sudden transition to steady state due to indirect coupling with a shared environment, mean field couplings and conjugate couplings among them. In all these cases, when multiplexed with another set of similar systems, the tipping phenomena are induced on the second layer also with a similar pattern of behaviour. We consider van der Pol oscillator as nodal dynamics with various network topologies like scale free and regular networks with local and nonlocal couplings. We also report how the coupling topology influences the nature of transitions on both layers, under multiplexing.


title: Quantum Oscillations and the Quasiparticle Properties of Thin Film Sr$_2$RuO$_4$

abstract: We measure the Shubnikov-de Haas effect in thin-film Sr$_2$RuO$_4$ grown on an (LaAlO$_3$)$_{0.29}$-(SrAl$_{1/2}$Ta$_{1/2}$O$_3$)$_{0.71}$ (LSAT) substrate. We detect all three known Fermi surfaces and extract the Fermi surface volumes, cyclotron effective masses, and quantum lifetimes. We show that the electronic structure is nearly identical to that of single-crystal Sr$_2$RuO$_4$, and that the quasiparticle lifetime is consistent with the Tc of comparably clean, single-crystal Sr$_2$RuO$_4$. Unlike single-crystal Sr$_2$RuO$_4$, where the quantum and transport lifetimes are roughly equal, we find that the transport lifetime is $1.3\pm0.1$ times longer than the quantum lifetime. This suggests that extended (rather than point) defects may be the dominant source of quasiparticle scattering in these films. To test this idea, we perform cross-sectional STEM and find that out-of-phase boundaries extending the entire thickness of the film occur with a density that is consistent with the quantum mean free path. The long quasiparticle lifetimes make these films ideal for studying the unconventional superconducting state in Sr$_2$RuO$_4$ through the fabrication of devices -- such as planar tunnel junctions and SQUIDs.


title: Graphs With Minimal Strength

abstract: For any graph $G$ of order $p$, a bijection $f: V(G)\to [1,p]$ is called a numbering of the graph $G$ of order $p$. The strength $str_f(G)$ of a numbering $f: V(G)\to [1,p]$ of $G$ is defined by $str_f(G) = \max\{f(u)+f(v)\; |\; uv\in E(G)\},$ and the strength $str(G)$ of a graph $G$ itself is $str(G) = \min\{str_f(G)\;|\; f \mbox{ is a numbering of } G\}.$ A numbering $f$ is called a strength labeling of $G$ if $str_f(G)=str(G)$. In this paper, we obtained a sufficient condition for a graph to have $str(G)=|V(G)|+\d(G)$. Consequently, many questions raised in [Bounds for the strength of graphs, {\it Aust. J. Combin.} {\bf72(3)}, (2018) 492--508] and [On the strength of some trees, {\it AKCE Int. J. Graphs Comb.} (Online 2019) doi.org/10.1016/j.akcej.2019.06.002] are solved. Moreover, we showed that every graph $G$ either has $str(G)=|V(G)|+\d(G)$ or is a proper subgraph of a graph $H$ that has $str(H) = |V(H)| + \d(H)$ with $\d(H)=\d(G)$. Further, new good lower bounds of $str(G)$ are also obtained. Using these, we determined the strength of 2-regular graphs and obtained new lower bounds of $str(Q_n)$ for various $n$, where $Q_n$ is the $n$-regular hypercube.


title: Designing non-segregating granular mixtures

abstract: In bidisperse particle mixtures varying in size or density alone, large particles rise (driven by percolation) and heavy particles sink (driven by buoyancy). When the two particle species differ from each other in both size and density, the two segregation mechanisms either enhance (large/light and small/heavy) or oppose (large/heavy and small/light) each other. In the latter case, an equilibrium condition exists in which the two segregation mechanisms balance and the particles no longer segregate. This leads to a methodology to design non-segregating particle mixtures by specifying particle size ratio, density ratio, and mixture concentration to achieve the equilibrium condition. Using DEM simulations of quasi-2D bounded heap flow, we show that segregation is significantly reduced for particle mixtures near the equilibrium condition. In addition, the rise-sink transition for a range of particle size and density ratios matches the combined size and density segregation model predictions.


title: Computation of transmission eigenvalues by the regularized Schur complement for the boundary integral operators

abstract: This paper is devoted to the computation of transmission eigenvalues in the inverse acoustic scattering theory. This problem is first reformulated as a two by two boundary system of boundary integral equations. Next, utilizing the Schur complement technique, we develop a Schur complement operator with regularization to obtain a reduced system of boundary integral equations. The Nystr\"{o}m discretization is then used to obtain an eigenvalue problem for a matrix. We employ the recursive integral method for the numerical computation of the matrix eigenvalue. Numerical results show that the proposed method is efficient and reduces computational costs.


title: Constraining the cosmic ray propagation halo thickness using Fermi-LAT observations of high-latitude clouds

abstract: As a basic characteristic of cosmic ray (CR) propagation, the diffusive halo can advance our understanding of many CR-related studies and indirect dark matter. The method to derive the halo size usually has degeneracy problems thus affected by large uncertainties. The diffusion gamma ray from high-latitude clouds might shed light on the halo size independently. Since the spatially dependent propagation (SDP) model has a better agreement with the observed CRs, compared with conventional propagation model, in this work, we investigate the halo thickness based on SDP model with Fermi-LAT $\rm\gamma$-ray observation on the high- and intermediate-velocity clouds. As a result, in order not to exceed the relative $\gamma$-ray emissivity in the high-latitude clouds, halo thickness should be in the range of $\rm ~3.3\sim9~ kpc$. Moreover, the spatial morphology of $\rm\gamma$-rays estimated based on SDP model under different values of halo thickness are distinctive, which provides us a tool to determine the halo size. We hope that our model could be tested and tuned by multi-wavelength observations in the future.


title: BERT-based knowledge extraction method of unstructured domain text

abstract: With the development and business adoption of knowledge graph, there is an increasing demand for extracting entities and relations of knowledge graphs from unstructured domain documents. This makes the automatic knowledge extraction for domain text quite meaningful. This paper proposes a knowledge extraction method based on BERT, which is used to extract knowledge points from unstructured specific domain texts (such as insurance clauses in the insurance industry) automatically to save manpower of knowledge graph construction. Different from the commonly used methods which are based on rules, templates or entity extraction models, this paper converts the domain knowledge points into question and answer pairs and uses the text around the answer in documents as the context. The method adopts a BERT-based model similar to BERT's SQuAD reading comprehension task. The model is fine-tuned. And it is used to directly extract knowledge points from more insurance clauses. According to the test results, the model performance is good.


title: On Causal Semantics of Petri Nets

abstract: We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the notion of process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. A well-known problem is how to generalise this notion for nets where places may carry several tokens. Goltz and Reisig have defined such a generalisation by distinguishing tokens according to their causal history. However, this so-called individual token interpretation is often considered too detailed. A number of approaches have tackled the problem of defining a more abstract notion of process, thereby obtaining a so-called collective token interpretation. Here we give a short overview on these attempts and then identify a subclass of Petri nets, called structural conflict nets, where the interplay between conflict and concurrency due to token multiplicity does not occur. For this subclass, we define abstract processes as equivalence classes of Goltz-Reisig processes. We justify this approach by showing that we obtain exactly one maximal abstract process if and only if the underlying net is conflict-free with respect to a canonical notion of conflict.


title: The Diffusion Coefficient of the Splashback Mass Function as a Probe of Cosmology

abstract: We present an analytic model for the splashback mass function of dark matter halos, which is parameterized by a single coefficient and constructed in the framework of the generalized excursion set theory and the self-similar spherical infall model. The value of the single coefficient that quantifies the diffusive nature of the splashback boundary is determined at various redshifts by comparing the model with the numerical results from the Erebos N-body simulations for the Planck and the WMAP7 cosmologies. Showing that the analytic model with the best-fit coefficient provides excellent matches to the numerical results in the mass range of $5\le M/(10^{12}h^{-1}\,M_{\odot})< 10^{3}$, we employ the Bayesian and Akaike Information Criterion tests to confirm that our model is most preferred by the numerical results to the previous models at redshifts of $0.3\le z\le 3$ for both of the cosmologies. It is also found that the diffusion coefficient decreases almost linearly with redshifts, converging to zero at a certain threshold redshift, $z_{c}$, whose value significantly differs between the Planck and WMAP7 cosmologies. Our result implies that the splashback mass function of dark matter halos at $z\ge z_{c}$ is well described by a parameter-free analytic formula and that $z_{c}$ may have a potential to independently constrain the initial conditions of the universe.


title: Uniqueness of $L$ function with special class of meromorphic function under restricted sharing of sets

abstract: The purpose of the paper is to rectify a series of errors occurred in [2], [17], [20] for a particular situation. To get a fruitful solution and to overcome the issue, we introduce a new form of set sharing namely restricted set sharing, which is stronger than the usual one. We manipulate the newly introduced notion in this specific section of literature to resolve all the complications. Not only that we have subtly used the same sharing form to a well known unique range set [3] to settle a long time unsolved problem.


title: Primitive tuning for non-hyperbolic polynomials

abstract: Let $f_0$ be a polynomial of degree $d_1+d_2$ with a periodic critical point $0$ of multiplicity $d_1-1$ and a Julia critical point of multiplicity $d_2$. We show that if $f_0$ is primitive, free of neutral periodic points and non-renormalizable at the Julia critical point, then the straightening map $\chi_{f_0}:\mathcal C(\lambda_{f_0}) \to \mathcal C_{d_1}$ is a bijection. More precisely, $f^{m_0}$ has a polynomial-like restriction which is hybrid equivalent to some polynomial in $\mathcal C_{d_1}$ for each map $f \in \mathcal C(\lambda_{f_0})$, where $m_0$ is the period of $0$ under $f_0$. On the other hand, $f_0$ can be tuned with any polynomial $g\in \mathcal C_{d_1}$. As a consequence, we conclude that the straightening map $\chi_{f_0}$ is a homeomorphism from $\mathcal C(\lambda_{f_0})$ onto the Mandelbrot set when $d_1=2$. This together with the main result in [SW] solve the problem for primitive tuning for cubic polynomials with connected Julia sets thoroughly.


title: The Mathematics Behind Spectral Clustering And The Equivalence To PCA

abstract: Spectral clustering is a popular algorithm that clusters points using the eigenvalues and eigenvectors of Laplacian matrices derived from the data. For years, spectral clustering has been working mysteriously. This paper explains spectral clustering by dividing it into two categories based on whether the graph Laplacian is fully connected or not. For a fully connected graph, this paper demonstrates the dimension reduction part by offering an objective function: the covariance between the original data points' similarities and the mapped data points' similarities. For a multi-connected graph, this paper proves that with a proper $k$, the first $k$ eigenvectors are the indicators of the connected components. This paper also proves there is an equivalence between spectral embedding and PCA.


title: Welfare v. Consent: On the Optimal Penalty for Harassment

abstract: The economic approach to determine optimal legal policies involves maximizing a social welfare function. We propose an alternative: a consent-approach that seeks to promote consensual interactions and deter non-consensual interactions. The consent-approach does not rest upon inter-personal utility comparisons or value judgments about preferences. It does not require any additional information relative to the welfare-approach. We highlight the contrast between the welfare-approach and the consent-approach using a stylized model inspired by seminal cases of harassment and the #MeToo movement. The social welfare maximizing penalty for harassment in our model can be zero under the welfare-approach but not under the consent-approach.


title: Multiple $SU(3)$ algebras in interacting boson model and shell model: Results for $(\beta ,\gamma$) bands and scissors $1^+$ band

abstract: Shell model and interacting boson model spaces admit multiple $SU^{(\alpha)}(3)$ algebras generating the same rotational spectra but different $E2$ decay properties, depending on the phases ${\alpha}$ in the quadrupole generator. In the ground ($g$) $K=0^+$ bands in nuclei this is demonstrated recently using systems with nucleons in a single oscillator shell [Kota, Sahu and Srivastava, Bulg. J. Phys. {\bf 46}, 313 (2019); Eur. Phys. J. Special Topics {\bf 229}, 2389 (2020)]. Going beyond these preliminary studies, results are presented here for $E2$ decay properties of $\beta$ and $\gamma$ bands members, as generated by multiple $SU(3)$ algebras, using $sdg$IBM and $sdgi$IBM examples. In addition, results are presented for the $E2$ and $M1$ decay properties of the levels of the $1^+$ scissors band in heavy nuclei using $sdg$IBM-2 and $sdgi$IBM-2. The scissors $1^+$ band properties are also studied using a shell model example with six protons in $(pf)$ shell and twelve neutrons in $(sdg)$ shell. These results establish that: (i) with multiple $SU(3)$ algebras, it is possible to have rotational bands with very weak $E2$ strengths among the levels where normally one expects strong strengths; (ii) $E2$ decay of the levels of $\beta$ and $\gamma$ bands to the ground band are quite different for some of the $SU^{(\alpha)}(3)$ algebras with strong dependence on ${\alpha}$; (iii) it is possible to have the scissors $1^+$ band with the $E2$ and $M1$ decay of the low-lying levels of this band to the $g$ band are strong or weak depending on $\alpha$.


title: Rapid Convergence of First-Order Numerical Algorithms via Adaptive Conditioning

abstract: This paper is an attempt to remedy the problem of slow convergence for first-order numerical algorithms by proposing an adaptive conditioning heuristic. First, we propose a parallelizable numerical algorithm that is capable of solving large-scale conic optimization problems on distributed platforms such as {graphics processing unit} with orders-of-magnitude time improvement. Proof of global convergence is provided for the proposed algorithm. We argue that on the contrary to common belief, the condition number of the data matrix is not a reliable predictor of convergence speed. In light of this observation, an adaptive conditioning heuristic is proposed which enables higher accuracy compared to other first-order numerical algorithms. Numerical experiments on a wide range of large-scale linear programming and second-order cone programming problems demonstrate the scalability and computational advantages of the proposed algorithm compared to commercial and open-source state-of-the-art solvers.


title: Meta-Learning an Inference Algorithm for Probabilistic Programs

abstract: We present a meta-algorithm for learning a posterior-inference algorithm for restricted probabilistic programs. Our meta-algorithm takes a training set of probabilistic programs that describe models with observations, and attempts to learn an efficient method for inferring the posterior of a similar program. A key feature of our approach is the use of what we call a white-box inference algorithm that extracts information directly from model descriptions themselves, given as programs. Concretely, our white-box inference algorithm is equipped with multiple neural networks, one for each type of atomic command, and computes an approximate posterior of a given probabilistic program by analysing individual atomic commands in the program using these networks. The parameters of the networks are learnt from a training set by our meta-algorithm. We empirically demonstrate that the learnt inference algorithm generalises well to programs that are new in terms of both parameters and model structures, and report cases where our approach achieves greater test-time efficiency than alternative approaches such as HMC. The overall results show the promise as well as remaining challenges of our approach.


title: FPS-Net: A Convolutional Fusion Network for Large-Scale LiDAR Point Cloud Segmentation

abstract: Scene understanding based on LiDAR point cloud is an essential task for autonomous cars to drive safely, which often employs spherical projection to map 3D point cloud into multi-channel 2D images for semantic segmentation. Most existing methods simply stack different point attributes/modalities (e.g. coordinates, intensity, depth, etc.) as image channels to increase information capacity, but ignore distinct characteristics of point attributes in different image channels. We design FPS-Net, a convolutional fusion network that exploits the uniqueness and discrepancy among the projected image channels for optimal point cloud segmentation. FPS-Net adopts an encoder-decoder structure. Instead of simply stacking multiple channel images as a single input, we group them into different modalities to first learn modality-specific features separately and then map the learned features into a common high-dimensional feature space for pixel-level fusion and learning. Specifically, we design a residual dense block with multiple receptive fields as a building block in the encoder which preserves detailed information in each modality and learns hierarchical modality-specific and fused features effectively. In the FPS-Net decoder, we use a recurrent convolution block likewise to hierarchically decode fused features into output space for pixel-level classification. Extensive experiments conducted on two widely adopted point cloud datasets show that FPS-Net achieves superior semantic segmentation as compared with state-of-the-art projection-based methods. In addition, the proposed modality fusion idea is compatible with typical projection-based methods and can be incorporated into them with consistent performance improvements.


title: Sparse Sensing Architectures with Optimal Precision for Tracking Multi-agent Systems in Sensing-denied Environments

abstract: In this paper the tracking problem of multi-agent systems, in a particular scenario where a segment of agents entering a sensing-denied environment or behaving as non-cooperative targets, is considered. The focus is on determining the optimal sensor precisions while simultaneously promoting sparseness in the sensor measurements to guarantee a specified estimation performance. The problem is formulated in the discrete-time centralized Kalman filtering framework. A semi-definite program subject to linear matrix inequalities is solved to minimize the trace of precision matrix which is defined to be the inverse of sensor noise covariance matrix. Simulation results expose a trade-off between sensor precisions and sensing frequency.


title: Towards Enhancing Database Education: Natural Language Generation Meets Query Execution Plans

abstract: The database systems course is offered as part of an undergraduate computer science degree program in many major universities. A key learning goal of learners taking such a course is to understand how SQL queries are processed in a RDBMS in practice. Since a query execution plan (QEP) describes the execution steps of a query, learners can acquire the understanding by perusing the QEPs generated by a RDBMS. Unfortunately, in practice, it is often daunting for a learner to comprehend these QEPs containing vendor-specific implementation details, hindering her learning process. In this paper, we present a novel, end-to-end, generic system called lantern that generates a natural language description of a qep to facilitate understanding of the query execution steps. It takes as input an SQL query and its QEP, and generates a natural language description of the execution strategy deployed by the underlying RDBMS. Specifically, it deploys a declarative framework called pool that enables subject matter experts to efficiently create and maintain natural language descriptions of physical operators used in QEPs. A rule-based framework called RULE-LANTERN is proposed that exploits pool to generate natural language descriptions of QEPs. Despite the high accuracy of RULE-LANTERN, our engagement with learners reveal that, consistent with existing psychology theories, perusing such rule-based descriptions lead to boredom due to repetitive statements across different QEPs. To address this issue, we present a novel deep learning-based language generation framework called NEURAL-LANTERN that infuses language variability in the generated description by exploiting a set of paraphrasing tools and word embedding. Our experimental study with real learners shows the effectiveness of lantern in facilitating comprehension of QEPs.


title: Deep Colormap Extraction from Visualizations

abstract: This work presents a new approach based on deep learning to automatically extract colormaps from visualizations. After summarizing colors in an input visualization image as a Lab color histogram, we pass the histogram to a pre-trained deep neural network, which learns to predict the colormap that produces the visualization. To train the network, we create a new dataset of 64K visualizations that cover a wide variety of data distributions, chart types, and colormaps. The network adopts an atrous spatial pyramid pooling module to capture color features at multiple scales in the input color histograms. We then classify the predicted colormap as discrete or continuous and refine the predicted colormap based on its color histogram. Quantitative comparisons to existing methods show the superior performance of our approach on both synthetic and real-world visualizations. We further demonstrate the utility of our method with two use cases,i.e., color transfer and color remapping.


title: Automated Machine Learning on Graphs: A Survey

abstract: Machine learning on graphs has been extensively studied in both academic and industry. However, as the literature on graph learning booms with a vast number of emerging methods and techniques, it becomes increasingly difficult to manually design the optimal machine learning algorithm for different graph-related tasks. To solve this critical challenge, automated machine learning (AutoML) on graphs which combines the strength of graph machine learning and AutoML together, is gaining attention from the research community. Therefore, we comprehensively survey AutoML on graphs in this paper, primarily focusing on hyper-parameter optimization (HPO) and neural architecture search (NAS) for graph machine learning. We further overview libraries related to automated graph machine learning and in-depth discuss AutoGL, the first dedicated open-source library for AutoML on graphs. In the end, we share our insights on future research directions for automated graph machine learning. This paper is the first systematic and comprehensive review of automated machine learning on graphs to the best of our knowledge.


title: Interpolative gap bounds for nonautonomous integrals

abstract: For nonautonomous, nonuniformly elliptic integrals with so-called $(p,q)$-growth conditions, we show a general interpolation property allowing to get basic higher integrability results for H\"older continuous minimizers under improved bounds for the gap $q/p$. For this we introduce a new method, based on approximating the original, local functional, with mixed local/nonlocal ones, and allowing for suitable estimates in fractional Sobolev spaces.


title: Topology change, emergent symmetries and compact star matter

abstract: Topology effects have being extensively studied and confirmed in strongly correlated condensed matter physics. In the large color number limit of QCD, baryons can be regarded as topological objects -- skyrmions -- and the baryonic matter can be regarded as a skyrmion matter. We review in this paper the generalized effective field theory for dense compact-star matter constructed with the robust inputs obtained from the skyrmion approach to dense nuclear matter, relying to possible ``emergent" scale and local flavor symmetries at high density. All nuclear matter properties from the saturation density $n_0$ up to several times $n_0$ can be fairly well described. A uniquely novel -- and unorthdox -- feature of this theory is the precocious appearance of the pseudo-conformal sound velocity $v^2_{s}/c^2 \approx 1/3$, with the non-vanishing trace of the energy momentum tensor of the system. The topology change encoded in the density scaling of low energy constants is interpreted as the quark-hadron continuity in the sense of Cheshire Cat Principle (CCP) at density $\gsim 2n_0$ in accessing massive compact stars. We confront the approach with the data from GW170817 and GW190425.


title: First-Principles Phonon Quasiparticle Theory Applied to a Strongly Anharmonic Halide Perovskite

abstract: Understanding and predicting lattice dynamics in strongly anharmonic crystals is one of the long-standing challenges in condensed matter physics. Here we propose a first-principles method that gives accurate quasiparticle (QP) peaks of the phonon spectrum with strong anharmonic broadening. On top of the conventional first-order self-consistent phonon (SC1) dynamical matrix, the proposed method incorporates frequency renormalization effects by the bubble self-energy within the QP approximation. We apply the developed methodology to the strongly anharmonic $\alpha$-CsPbBr$_3$ that displays phonon instability within the harmonic approximation in the whole Brillouin zone. While the SC1 theory significantly underestimates the cubic-to-tetragonal phase transition temperature (\tc) by more than 50\%, we show that our approach yields \tc = 404--423~K, in excellent agreement with the experimental value of 403~K. We also demonstrate that an accurate determination of QP peaks is paramount for quantitative prediction and elucidation of phonon linewidth..


title: Fermionization and boundary states in 1+1 dimensions

abstract: In the last few years it was realized that every fermionic theory in 1+1 dimensions is a generalized Jordan-Wigner transform of a bosonic theory with a non-anomalous $\mathbb{Z}_2$ symmetry. In this note we determine how the boundary states are mapped under this correspondence. We also interpret this mapping as the fusion of the original boundary with the fermionization interface.


title: Combat COVID-19 Infodemic Using Explainable Natural Language Processing Models

abstract: Misinformation of COVID-19 is prevalent on social media as the pandemic unfolds, and the associated risks are extremely high. Thus, it is critical to detect and combat such misinformation. Recently, deep learning models using natural language processing techniques, such as BERT (Bidirectional Encoder Representations from Transformers), have achieved great successes in detecting misinformation. In this paper, we proposed an explainable natural language processing model based on DistilBERT and SHAP (Shapley Additive exPlanations) to combat misinformation about COVID-19 due to their efficiency and effectiveness. First, we collected a dataset of 984 claims about COVID-19 with fact checking. By augmenting the data using back-translation, we doubled the sample size of the dataset and the DistilBERT model was able to obtain good performance (accuracy: 0.972; areas under the curve: 0.993) in detecting misinformation about COVID-19. Our model was also tested on a larger dataset for AAAI2021 - COVID-19 Fake News Detection Shared Task and obtained good performance (accuracy: 0.938; areas under the curve: 0.985). The performance on both datasets was better than traditional machine learning models. Second, in order to boost public trust in model prediction, we employed SHAP to improve model explainability, which was further evaluated using a between-subjects experiment with three conditions, i.e., text (T), text+SHAP explanation (TSE), and text+SHAP explanation+source and evidence (TSESE). The participants were significantly more likely to trust and share information related to COVID-19 in the TSE and TSESE conditions than in the T condition. Our results provided good implications in detecting misinformation about COVID-19 and improving public trust.


title: Nonlinear dynamics and quantum chaos of a family of kicked $p$-spin models

abstract: We introduce kicked $p$-spin models describing a family of transverse Ising-like models for an ensemble of spin-$1/2$ particles with all-to-all $p$-body interaction terms occurring periodically in time as delta-kicks. This is the natural generalization of the well-studied quantum kicked top ($p$=2)[Haake, Ku\'s, and Scharf, Z. Phys. B 65, 381 (1987)]. We fully characterize the classical nonlinear dynamics of these models, including the transition to global Hamiltonian chaos. The classical analysis allows us to build a classification for this family of models, distinguishing between $p=2$ and $p>2$, and between models with odd and even $p$'s. Quantum chaos in these models is characterized in both kinematic and dynamic signatures. For the latter we show numerically that the growth rate of the out-of-time-order correlator is dictated by the classical Lyapunov exponent. Finally, we argue that the classification of these models constructed in the classical system applies to the quantum system as well.


title: SmartON: Just-in-Time Active Event Detection on Energy Harvesting Systems

abstract: We propose SmartON, a batteryless system that learns to wake up proactively at the right moment in order to detect events of interest. It does so by adapting the duty cycle to match the distribution of event arrival times under the constraints of harvested energy. While existing energy harvesting systems either wake up periodically at a fixed rate to sense and process the data, or wake up only in accordance with the availability of the energy source, SmartON employs a three-phase learning framework to learn the energy harvesting pattern as well as the pattern of events at run-time, and uses that knowledge to wake itself up when events are most likely to occur. The three-phase learning framework enables rapid adaptation to environmental changes in both short and long terms. Being able to remain asleep more often than a CTID (charging-then-immediate-discharging) wake-up system and adapt to the event pattern, SmartON is able to reduce energy waste, increase energy efficiency, and capture more events. To realize SmartON we have developed a dedicated hardware platform whose power management module activates capacitors on-the-fly to dynamically increase its storage capacitance. We conduct both simulation-driven and real-system experiments to demonstrate that SmartON captures 1X--7X more events and is 8X--17X more energy-efficient than a CTID system.


title: Sensor Selection and Optimal Precision in $\mathcal{H}_2/\mathcal{H}_{\infty}$ Estimation Framework: Theory and Algorithms

abstract: We consider the problem of sensor selection for designing observer and filter for continuous linear time invariant systems such that the sensor precisions are minimized, and the estimation errors are bounded by the prescribed $\mathcal{H}_2/\mathcal{H}_{\infty}$ performance criteria. The proposed integrated framework formulates the precision minimization as a convex optimization problem subject to linear matrix inequalities, and it is solved using an algorithm based on the alternating direction method of multipliers (ADMM). We also present a greedy approach for sensor selection and demonstrate the performance of the proposed algorithms using numerical simulations.


title: Long Document Summarization in a Low Resource Setting using Pretrained Language Models

abstract: Abstractive summarization is the task of compressing a long document into a coherent short document while retaining salient information. Modern abstractive summarization methods are based on deep neural networks which often require large training datasets. Since collecting summarization datasets is an expensive and time-consuming task, practical industrial settings are usually low-resource. In this paper, we study a challenging low-resource setting of summarizing long legal briefs with an average source document length of 4268 words and only 120 available (document, summary) pairs. To account for data scarcity, we used a modern pretrained abstractive summarizer BART (Lewis et al., 2020), which only achieves 17.9 ROUGE-L as it struggles with long documents. We thus attempt to compress these long documents by identifying salient sentences in the source which best ground the summary, using a novel algorithm based on GPT-2 (Radford et al., 2019) language model perplexity scores, that operates within the low resource regime. On feeding the compressed documents to BART, we observe a 6.0 ROUGE-L improvement. Our method also beats several competitive salience detection baselines. Furthermore, the identified salient sentences tend to agree with an independent human labeling by domain experts.


title: Reasons, Values, Stakeholders: A Philosophical Framework for Explainable Artificial Intelligence

abstract: The societal and ethical implications of the use of opaque artificial intelligence systems for consequential decisions, such as welfare allocation and criminal justice, have generated a lively debate among multiple stakeholder groups, including computer scientists, ethicists, social scientists, policy makers, and end users. However, the lack of a common language or a multi-dimensional framework to appropriately bridge the technical, epistemic, and normative aspects of this debate prevents the discussion from being as productive as it could be. Drawing on the philosophical literature on the nature and value of explanations, this paper offers a multi-faceted framework that brings more conceptual precision to the present debate by (1) identifying the types of explanations that are most pertinent to artificial intelligence predictions, (2) recognizing the relevance and importance of social and ethical values for the evaluation of these explanations, and (3) demonstrating the importance of these explanations for incorporating a diversified approach to improving the design of truthful algorithmic ecosystems. The proposed philosophical framework thus lays the groundwork for establishing a pertinent connection between the technical and ethical aspects of artificial intelligence systems.


title: Technical Report for A Joint User Scheduling and Trajectory Planning Data Collection Strategy for the UAV-assisted WSN

abstract: Unmanned aerial vehicles (UAVs) are usually dispatched as mobile sinks to assist data collection in large-scale wireless sensor networks (WSNs). However, when considering the limitations of UAV's mobility and communication capabilities in a large-scale WSN, some sensor nodes may run out of storage space as they fail to offload their data to the UAV for an extended period of time. To minimize the data loss caused by the above issue, a joint user scheduling and trajectory planning data collection strategy is proposed in this letter, which is formulated as a non-convex optimization problem. The problem is further divided into two sub-problems and solved sequentially. Simulation results show that the proposed strategy is more effective in minimizing data loss rate than other strategies.


title: Network Compression for Machine-Learnt Fluid Simulations

abstract: Multi-scale, multi-fidelity numerical simulations form the pillar of scientific applications related to numerically modeling fluids. However, simulating the fluid behavior characterized by the non-linear Navier Stokes equations are often times computational expensive. Physics informed machine learning methods is a viable alternative and as such has seen great interest in the community [refer to Kutz (2017); Brunton et al. (2020); Duraisamy et al. (2019) for a detailed review on this topic]. For full physics emulators, the cost of network inference is often trivial. However, in the current paradigm of data-driven fluid mechanics models are built as surrogates for complex sub-processes. These models are then used in conjunction to the Navier Stokes solvers, which makes ML model inference an important factor in the terms of algorithmic latency. With the ever growing size of networks, and often times overparameterization, exploring effective network compression techniques becomes not only relevant but critical for engineering systems design. In this study, we explore the applicability of pruning and quantization (FP32 to int8) methods for one such application relevant to modeling fluid turbulence. Post-compression, we demonstrate the improvement in the accuracy of network predictions and build intuition in the process by comparing the compressed to the original network state.


title: Adaptive Sampling for Minimax Fair Classification

abstract: Machine learning models trained on uncurated datasets can often end up adversely affecting inputs belonging to underrepresented groups. To address this issue, we consider the problem of adaptively constructing training sets which allow us to learn classifiers that are fair in a minimax sense. We first propose an adaptive sampling algorithm based on the principle of optimism, and derive theoretical bounds on its performance. We also propose heuristic extensions of this algorithm suitable for application to large scale, practical problems. Next, by deriving algorithm independent lower-bounds for a specific class of problems, we show that the performance achieved by our adaptive scheme cannot be improved in general. We then validate the benefits of adaptively constructing training sets via experiments on synthetic tasks with logistic regression classifiers, as well as on several real-world tasks using convolutional neural networks (CNNs).


title: Classification and stability analysis of polarising and depolarising travelling wave solutions for a model of collective cell migration

abstract: We study travelling wave solutions of a 1D continuum model for collective cell migration in which cells are characterised by position and polarity. Four different types of travelling wave solutions are identified which represent polarisation and depolarisation waves resulting from either colliding or departing cell sheets as observed in model wound experiments. We study the linear stability of the travelling wave solutions numerically and using spectral theory. This involves the computation of the Evans function most of which we are able to carry out explicitly, with one final step left to numerical simulation.


title: A unified formulation of splitting-based implicit time integration schemes

abstract: Splitting-based time integration approaches such as fractional steps, alternating direction implicit, operator splitting, and locally one-dimensional methods partition the system of interest into components and solve individual components implicitly in a cost-effective way. This work proposes a unified formulation of splitting time integration schemes in the framework of general-structure additive Runge-Kutta (GARK) methods. Specifically, we develop implicit-implicit (IMIM) GARK schemes, provide the order conditions and stability analysis for this class, and explain their application to partitioned systems of ordinary differential equations. We show that classical splitting methods belong to the IMIM GARK family, and therefore can be studied in this unified framework. New IMIM-GARK splitting methods are developed and tested using parabolic systems.


title: Real-time error correction codes for deletable errors

abstract: In this paper we study codes for correcting deletable errors in binary words, where each bit is either retained, substituted, erased or deleted and the total number of errors is much smaller compared to the length of the codeword. We construct codes capable of correcting errors in the received codeword in real-time with small delay and low probability of decoding error.


title: Principal Radical Systems, Lefschetz Properties and Perfection of Specht Ideals of Two-Rowed Partitions

abstract: We show that the Specht ideal of a two-rowed partition is perfect over an arbitrary field, provided that the characteristic is either zero or bounded below by the size of the second row of the partition, and we show this lower bound is tight. We also establish perfection and other properties of certain variants of Specht ideals, and find a surprising connection to the weak Lefschetz property. Our results in particular give a self-contained proof of Cohen-Macaulayness of certain $h$-equals sets, a result previously obtained by Etingof-Gorsky-Losev over the complex numbers using rational Cherednik algebras.


title: Self-Supervised Depth and Ego-Motion Estimation for Monocular Thermal Video Using Multi-Spectral Consistency Loss

abstract: A thermal camera can robustly capture thermal radiation images under harsh light conditions such as night scenes, tunnels, and disaster scenarios. However, despite this advantage, neither depth nor ego-motion estimation research for the thermal camera have not been actively explored so far. In this paper, we propose a self-supervised learning method for depth and ego-motion estimation from thermal images. The proposed method exploits multi-spectral consistency that consists of temperature and photometric consistency loss. The temperature consistency loss provides a fundamental self-supervisory signal by reconstructing clipped and colorized thermal images. Additionally, we design a differentiable forward warping module that can transform the coordinate system of the estimated depth map and relative pose from thermal camera to visible camera. Based on the proposed module, the photometric consistency loss can provide complementary self-supervision to networks. Networks trained with the proposed method robustly estimate the depth and pose from monocular thermal video under low-light and even zero-light conditions. To the best of our knowledge, this is the first work to simultaneously estimate both depth and ego-motion from monocular thermal video in a self-supervised manner.


title: Betti Curves of Rank One Symmetric Matrices

abstract: Betti curves of symmetric matrices were introduced in (Giusti et. al., 2015) as a new class of matrix invariants that depend only on the relative ordering of matrix entries. These invariants are computed using persistent homology, and can be used to detect underlying structure in biological data that may otherwise be obscured by monotone nonlinearities. Here we prove three theorems that fully characterize the Betti curves of rank 1 symmetric matrices. We then illustrate how these Betti curve signatures arise in natural data obtained from calcium imaging of neural activity in zebrafish.


title: NeuTex: Neural Texture Mapping for Volumetric Neural Rendering

abstract: Recent work has demonstrated that volumetric scene representations combined with differentiable volume rendering can enable photo-realistic rendering for challenging scenes that mesh reconstruction fails on. However, these methods entangle geometry and appearance in a "black-box" volume that cannot be edited. Instead, we present an approach that explicitly disentangles geometry--represented as a continuous 3D volume--from appearance--represented as a continuous 2D texture map. We achieve this by introducing a 3D-to-2D texture mapping (or surface parameterization) network into volumetric representations. We constrain this texture mapping network using an additional 2D-to-3D inverse mapping network and a novel cycle consistency loss to make 3D surface points map to 2D texture points that map back to the original 3D points. We demonstrate that this representation can be reconstructed using only multi-view image supervision and generates high-quality rendering results. More importantly, by separating geometry and texture, we allow users to edit appearance by simply editing 2D texture maps.


title: Comparisons of Order Statistics from Some Heterogeneous Discrete Distributions

abstract: In this paper, we compare extreme order statistics through vector majorization arising from heterogeneous Poisson and geometric random variables. These comparisons are carried out with respect to usual stochastic ordering.


title: Minimum Spanning Trees of Random Geometric Graphs with Location Dependent Weights

abstract: Consider~\(n\) nodes~\(\{X_i\}_{1 \leq i \leq n}\) independently distributed in the unit square~\(S,\) each according to a distribution~\(f.\) Nodes~\(X_i\) and~\(X_j\) are joined by an edge if the Euclidean distance~\(d(X_i,X_j)\) is less than~\(r_n,\) the adjacency distance and the resulting random graph~\(G_n\) is called a random geometric graph~(RGG). We now assign a location dependent weight to each edge of~\(G_n\) and define~\(MST_n\) to be the sum of the weights of the minimum spanning trees of all components of~\(G_n.\) For values of~\(r_n\) above the connectivity regime, we obtain upper and lower bound deviation estimates for~\(MST_n\) and~\(L^2-\)convergence of~\(MST_n\) appropriately scaled and centred.


title: Frustrated magnet for adiabatic demagnetization cooling to milli-Kelvin temperatures

abstract: Generation of very low temperatures has been crucially important for applications and fundamental research, as low-temperature quantum coherence enables operation of quantum computers and formation of exotic quantum states, such as superfluidity and superconductivity. One of the major techniques to reach milli-Kelvin temperatures is adiabatic demagnetization refrigeration (ADR). This method uses almost non-interacting magnetic moments of paramagnetic salts where large distances suppress interactions between the magnetic ions. The large spatial separations are facilitated by water molecules, with a drawback of reduced stability of the material. Here, we show that an H$_2$O-free frustrated magnet KBaYb(BO$_3$)$_2$ can be ideal refrigerant for ADR, achieving at least 22\,mK upon demagnetization under adiabatic conditions. Compared to conventional refrigerants, KBaYb(BO$_3)_2$ does not degrade even under high temperatures and ultra-high vacuum conditions. Further, its frustrated magnetic network and structural randomness enable cooling to temperatures several times lower than the energy scale of magnetic interactions, which is the main limiting factor for the base temperature of conventional refrigerants.


title: Computing Prices for Target Profits in Contracts

abstract: Price discrimination for maximizing expected profit is a well-studied concept in economics and there are various methods that achieve the maximum given the user type distribution and the budget constraints. In many applications, particularly with regards to engineering and computing, it is often the case than the user type distribution is unknown or not accurately known. In this paper, we therefore propose and study a mathematical framework for price discrimination with \emph{target} profits under the contract-theoretic model. We first consider service providers with a given user type profile and determine sufficient conditions for achieving a target profit. Our proof is constructive in that it also provides a method to compute the quality-price tag menu. Next we consider a dual scenario where the offered service qualities are predetermined and describe an iterative method to obtain nominal demand values that best match the qualities offered by the service provider while achieving a target profit-user satisfaction margin. We also illustrate our methods with design examples in both cases.


title: On the trace fields of hyperbolic Dehn fillings

abstract: Assuming Lehmer's conjecture, we estimate the degree of the trace field $K(M_{p/q})$ of a hyperbolic Dehn-filling $M_{p/q}$ of a 1-cusped hyperbolic 3-manifold $M$ by $$ \dfrac{1}{C}(\max\;\{|p|,|q|\})\leq \text{deg }K(M_{p/q}) \leq C(\max\;\{|p|,|q|\}) $$ where $C=C_M$ is a constant that depends on $M$.


title: Mitigating Edge Machine Learning Inference Bottlenecks: An Empirical Study on Accelerating Google Edge Models

abstract: As the need for edge computing grows, many modern consumer devices now contain edge machine learning (ML) accelerators that can compute a wide range of neural network (NN) models while still fitting within tight resource constraints. We analyze a commercial Edge TPU using 24 Google edge NN models (including CNNs, LSTMs, transducers, and RCNNs), and find that the accelerator suffers from three shortcomings, in terms of computational throughput, energy efficiency, and memory access handling. We comprehensively study the characteristics of each NN layer in all of the Google edge models, and find that these shortcomings arise from the one-size-fits-all approach of the accelerator, as there is a high amount of heterogeneity in key layer characteristics both across different models and across different layers in the same model. We propose a new acceleration framework called Mensa. Mensa incorporates multiple heterogeneous ML edge accelerators (including both on-chip and near-data accelerators), each of which caters to the characteristics of a particular subset of models. At runtime, Mensa schedules each layer to run on the best-suited accelerator, accounting for both efficiency and inter-layer dependencies. As we analyze the Google edge NN models, we discover that all of the layers naturally group into a small number of clusters, which allows us to design an efficient implementation of Mensa for these models with only three specialized accelerators. Averaged across all 24 Google edge models, Mensa improves energy efficiency and throughput by 3.0x and 3.1x over the Edge TPU, and by 2.4x and 4.3x over Eyeriss v2, a state-of-the-art accelerator.


title: Bulk-Boundary Correspondence in a Non-Hermitian Chern Insulator

abstract: A scenario of non-Hermitian bulk--boundary correspondence proposed for one-dimensional topological insulators is adapted to a non-Hermitian Chern insulator to examine its applicability to two-dimensional systems. This scenario employs bulk geometry under a modified periodic boundary condition and boundary geometry under an open boundary condition. The bulk geometry is used to define a topological number, whereas the boundary geometry is used to observe the presence or absence of a topological boundary state. It is demonstrated that the bulk--boundary correspondence holds in a two-dimensional Chern insulator with gain/loss-type non-Hermiticity; a nontrivial Chern number calculated in the bulk geometry is in one-to-one correspondence with the presence of a topological boundary state in the boundary geometry. This approach enables us to determine a phase diagram in the boundary geometry.


title: Deviation Estimates for Eulerian Edit Numbers of Random Graphs

abstract: Consider the random graph~\(G(n,p)\) obtained by allowing each edge in the complete graph on~\(n\) vertices to be present with probability~\(p\) independent of the other edges. In this paper, we study the minimum number of edge edit operations needed to convert~\(G(n,p)\) into an Eulerian graph. We obtain deviation estimates for three types Eulerian edit numbers based on whether we perform only edge additions or only edge deletions or a combination of both and show that with high probability, roughly~\(\frac{n}{4}\) operations suffice in all three cases.


title: Self-supervised Auxiliary Learning for Graph Neural Networks via Meta-Learning

abstract: In recent years, graph neural networks (GNNs) have been widely adopted in the representation learning of graph-structured data and provided state-of-the-art performance in various applications such as link prediction, node classification, and recommendation. Motivated by recent advances of self-supervision for representation learning in natural language processing and computer vision, self-supervised learning has been recently studied to leverage unlabeled graph-structured data. However, employing self-supervision tasks as auxiliary tasks to assist a primary task has been less explored in the literature on graphs. In this paper, we propose a novel self-supervised auxiliary learning framework to effectively learn graph neural networks. Moreover, this work is the first study showing that a meta-path prediction is beneficial as a self-supervised auxiliary task for heterogeneous graphs. Our method is learning to learn a primary task with various auxiliary tasks to improve generalization performance. The proposed method identifies an effective combination of auxiliary tasks and automatically balances them to improve the primary task. Our methods can be applied to any graph neural network in a plug-in manner without manual labeling or additional data. Also, it can be extended to any other auxiliary tasks. Our experiments demonstrate that the proposed method consistently improves the performance of node classification and link prediction.


title: ROC Analyses Based on Measuring Evidence

abstract: ROC analyses are considered under a variety of assumptions concerning the distributions of a measurement $X$ in two populations. These include the binormal model as well as nonparametric models where little is assumed about the form of distributions. The methodology is based on a characterization of statistical evidence which is dependent on the specification of prior distributions for the unknown population distributions as well as for the relevant prevalence $w$ of the disease in a given population. In all cases, elicitation algorithms are provided to guide the selection of the priors. Inferences are derived for the AUC as well as the cutoff $c$ used for classification and the associated error characteristics.


title: Electric field driven controllable motility of metal-dielectric Janus particles with boojum defects in a nematic liquid crystal

abstract: In a sharp contrast to the response of silica particles we show that the metal-dielectric Janus particles with boojum defects in a nematic liquid crystal are self-propelled under the action of an electric field applied perpendicular to the director. The particles can be transported along any direction in the plane of the sample by selecting the appropriate orientation of the Janus vector with respect to the director. The direction of motion of the particles is controllable by varying the field amplitude and frequency. The command demonstrated on the motility of the particles is promising for tunable transport and microrobotic applications.


title: Expansion for quantum perturbations in random spin systems

abstract: Energy eigenstates in the random transverse field Edwards-Anderson (EA) model and the random bond quantum Heisenberg XYZ model in a $d$-dimensional finite cubic lattice are obtained for sufficiently weak interactions. The Datta-Kennedy-Kirkwood-Thomas convergent perturbative expansion using the contraction mapping theorem is developed for quantum spin systems with site- and bond-dependent interactions. This expansion enables us to obtain energy eigenstates in the random transverse field free spin model perturbed by sufficiently weak longitudinal exchange interactions. This expansion is useful also for the EA model perturbed by sufficiently weak transverse fields and bond-dependent XY exchange interactions. In these models, their perturbations split the two fold degenerate energy eigenvalues because of the ${\mathbb Z}_2$ symmetry in the unperturbed EA model. It is shown that the energy gap between split energy eigenvalues is exponentially small in the system size. We provide a sufficient condition on the perturbation for absence of level crossing between arbitrary energy eigenstates.


title: Similar transformation of one class of correct restrictions

abstract: The description of all correct restrictions of the maximal operator are considered in a Hilbert space. A class of correct restrictions are obtained for which a similar transformation has the domain of the fixed correct restriction. The resulting theorem is applied to the study of n-order differentiation operator with singular coefficients.