title: Oscillations of the thermal conductivity observed in the spin-liquid state of $\alpha$-RuCl$_3$

abstract: In the class of materials called spin liquids, a magnetically ordered state cannot be attained even at milliKelvin temperatures because of conflicting constraints on each spin (for e.g. from geometric or exchange frustration). The resulting quantum spin-liquid (QSL) state is currently of intense interest because it exhibits novel excitations as well as wave-function entanglement. The layered insulator $\alpha$-RuCl$_3$ orders as a zigzag antiferromagnet below $\sim$7 K in zero magnetic field. The zigzag order is destroyed when a magnetic field $\bf H$ is applied parallel to the zigzag axis a. Within the field interval (7.3, 11) Tesla, there is growing evidence that a QSL state exists. Here we report the observation of oscillations in its thermal conductivity below 4 K. The oscillation amplitude is very large within the interval (7.3, 11) T and strongly suppressed on either side. Paradoxically, the oscillations are periodic in 1/\emph{H}, analogous to quantum oscillations in metals, even though $\alpha$-RuCl$_3$ is an excellent insulator with a gap of 1.9 eV. By tilting $\bf H$ out of the plane, we find that the oscillation period is determined by the in-plane component $H_a$. As the temperature is raised above 0.5 K, the oscillation amplitude decreases exponentially. The decrease anticorrelates with the emergence above $\sim$2 K of an anomalous planar thermal Hall conductivity measured with $\bf H\parallel a$. To exclude extrinsic artifacts, we carried out several tests. The implications of the oscillations are discussed.


title: A Multiscale Analysis of Multi-Agent Coverage Control Algorithms

abstract: This paper presents a theoretical framework for the design and analysis of gradient descent-based algorithms for coverage control tasks involving robot swarms. We adopt a multiscale approach to analysis and design to ensure consistency of the algorithms in the large-scale limit. First, we represent the macroscopic configuration of the swarm as a probability measure and formulate the macroscopic coverage task as the minimization of a convex objective function over probability measures. We then construct a macroscopic dynamics for swarm coverage, which takes the form of a proximal descent scheme in the $L^2$-Wasserstein space. Our analysis exploits the generalized geodesic convexity of the coverage objective function, proving convergence in the $L^2$-Wasserstein sense to the target probability measure. We then obtain a consistent gradient descent algorithm in the Euclidean space that is implementable by a finite collection of agents, via a "variational" discretization of the macroscopic coverage objective function. We establish the convergence properties of the gradient descent and its behavior in the continuous-time and large-scale limits. Furthermore, we establish a connection with well-known Lloyd-based algorithms, seen as a particular class of algorithms within our framework, and demonstrate our results via numerical experiments.


title: L0 regularization-based compressed sensing with quantum-classical hybrid approach

abstract: L0-regularization-based compressed sensing (L0-RBCS) has the potential to outperform L1-regularization-based compressed sensing (L1-RBCS), but the optimization in L0-RBCS is difficult because it is a combinatorial optimization problem. To perform optimization in L0-RBCS, we propose a quantum-classical hybrid system consisting of a quantum machine and a classical digital processor. The coherent Ising machine (CIM) is a suitable quantum machine for this system because this optimization problem can only be solved with a densely connected network. To evaluate the performance of the CIM-classical hybrid system theoretically, a truncated Wigner stochastic differential equation (W-SDE) is introduced as a model for the network of degenerate optical parametric oscillators, and macroscopic equations are derived by applying statistical mechanics to the W-SDE. We show that the system performance in principle approaches the theoretical limit of compressed sensing and this hybrid system may exceed the estimation accuracy of L1-RBCS in actual situations, such as in magnetic resonance imaging data analysis.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech physics.optics


title: Impact of Web 2.0 Technologies on Academic Libraries: A Survey on Affiliated Colleges of Solapur University

abstract: The paper aims to present the results of a survey of academic libraries about the adoption and perceived impact of Web 2.0 technologies. A total of 26 college libraries affiliated with Solapur University participated among the members. It was found that each library was using some form of technology, such as RSS, blogs, social networking sites, wikis, and instant messaging. Analyzing the entire college web technology usages, it is observed from the results that most of the web technologies are not used by the mainstream of the users due to lack of awareness, training, etc. Accurate and appropriate training should be conducted by the colleges' Libraries according to the necessities of the users. Systematic training will inevitably help the user for the maximum utilization of e-resources of the library. The leading web technologies such as internet surfing, emails, search engines, wikis, photo sharing, etc. are used by a great number of users on a daily and weekly basis of frequency. On the other hand majority of the web technologies are never used by a great number of users.


title: Fast Beam Tracking for Reconfigurable Intelligent Surface Assisted Mobile mmWave Networks

abstract: Millimeter wave (mmWave) communications are vulnerable to blockages and node mobility due to the highly directional signal beams. The emerging Reconfigurable Intelligent Surfaces (RISs) technique can effectively mitigate the blockage problem by exploring the non-line-of-sight (NLOS) path, where the beam switching is realized by digitally configuring the phases of RIS elements. To date, most efforts have been made in the stationary scenario. However, when considering node mobility, beam tracking algorithms designed specifically for RIS are needed in order to maintain the NLOS link. In this paper, a fast RIS-based beam tracking algorithm is developed by partly transforming the large amount of signaling time into the calculation happens at base station in a mmWave system with mobile users. Specifically, the differential form of optimal RIS configuration is exploited as the updating beam tracking parameter to avoid complex channel estimation procedure. The RIS-based beam tracking problem is then transformed into an optimization problem whose solution is found by a calculation-based search. Finally, by training on a small set candidate, RIS-based beam tracking is realized. The effectiveness and efficiency of the proposed RIS-based beam tracking algorithm is evaluated by simulations. It shows that the proposed algorithm has near-optimal performance with dramatic savings in terms of signaling time.


title: The Mega-MUSCLES Spectral Energy Distribution Of TRAPPIST-1

abstract: We present a 5A-100um Spectral Energy Distribution (SED) of the ultracool dwarf star TRAPPIST-1, obtained as part of the Mega-MUSCLES Treasury Survey. The SED combines ultraviolet and blue-optical spectroscopy obtained with the Hubble Space Telescope, X-ray spectroscopy obtained with XMM-Newton, and models of the stellar photosphere, chromosphere, transition region and corona. A new Differential Emission Measure model of the unobserved extreme-ultraviolet spectrum is provided, improving on the Lyman alpha to EUV relations often used to estimate the 100-911A flux from low-mass stars. We describe the observations and models used, as well as the recipe for combining them into an SED. We also provide a semi-empirical, noise-free model of the stellar ultraviolet spectrum based on our observations for use in atmospheric modelling of the TRAPPIST-1 planets.


title: Four manifolds with no smooth spines

abstract: Let $W$ be a compact smooth $4$-manifold that deformation retract to a PL embedded closed surface. One can arrange the embedding to have at most one non-locally-flat point, and near the point the topology of the embedding is encoded in the singularity knot $K$. If $K$ is slice, then $W$ has a smooth spine, i.e., deformation retracts onto a smoothly embedded surface. Using the obstructions from the Heegaard Floer homology and the high-dimensional surgery theory, we show that $W$ has no smooth spines if $K$ is a knot with nonzero Arf invariant, a nontrivial L-space knot, the connected sum of nontrivial L-space knots, or an alternating knot of signature $<-4$. We also discuss examples where the interior of $W$ is negatively curved.


title: Parallelizing Legendre Memory Unit Training

abstract: Recently, a new recurrent neural network (RNN) named the Legendre Memory Unit (LMU) was proposed and shown to achieve state-of-the-art performance on several benchmark datasets. Here we leverage the linear time-invariant (LTI) memory component of the LMU to construct a simplified variant that can be parallelized during training (and yet executed as an RNN during inference), thus overcoming a well known limitation of training RNNs on GPUs. We show that this reformulation that aids parallelizing, which can be applied generally to any deep network whose recurrent components are linear, makes training up to 200 times faster. Second, to validate its utility, we compare its performance against the original LMU and a variety of published LSTM and transformer networks on seven benchmarks, ranging from psMNIST to sentiment analysis to machine translation. We demonstrate that our models exhibit superior performance on all datasets, often using fewer parameters. For instance, our LMU sets a new state-of-the-art result on psMNIST, and uses half the parameters while outperforming DistilBERT and LSTM models on IMDB sentiment analysis.


title: Real-frequency response functions at finite temperature

abstract: Building on previous developments, we show that the Diagrammatic Monte Carlo technique allows to compute finite temperature response functions directly on the real-frequency axis within any field-theoretical formulation of the interacting fermion problem. There are no limitations on the type and nature of the system's action or whether partial summation and self-consistent treatment of certain diagram classes are used. In particular, by eliminating the need for numerical analytic continuation from a Matsubara representation, our scheme allows to study spectral densities of arbitrary complexity with controlled accuracy in models with frequency-dependent effective interactions. For illustrative purposes we consider the problem of the plasmon line-width in a homogeneous electron gas (jellium).


title: Doubly isogenous genus-2 curves with $D_4$-action

abstract: We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous* if Jac(C) and Jac(C') are isogenous over K and Jac(D) and Jac(D') are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than naive heuristics predict, and we provide an explanation for this phenomenon.


title: Investigating Deep Neural Structures and their Interpretability in the Domain of Voice Conversion

abstract: Generative Adversarial Networks (GANs) are machine learning networks based around creating synthetic data. Voice Conversion (VC) is a subset of voice translation that involves translating the paralinguistic features of a source speaker to a target speaker while preserving the linguistic information. The aim of non-parallel conditional GANs for VC is to translate an acoustic speech feature sequence from one domain to another without the use of paired data. In the study reported here, we investigated the interpretability of state-of-the-art implementations of non-parallel GANs in the domain of VC. We show that the learned representations in the repeating layers of a particular GAN architecture remain close to their original random initialised parameters, demonstrating that it is the number of repeating layers that is more responsible for the quality of the output. We also analysed the learned representations of a model trained on one particular dataset when used during transfer learning on another dataset. This showed extremely high levels of similarity across the entire network. Together, these results provide new insight into how the learned representations of deep generative networks change during learning and the importance in the number of layers.


title: Spacetime Harmonic Functions and Applications to Mass

abstract: In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent results in this context, focusing on applications of spacetime harmonic functions to the asymptotically flat and asymptotically hyperbolic versions of the spacetime positive mass theorem, and additionally introduce a new concept of total mass valid in both settings which is encoded in interpolation regions between generic initial data and model geometries. Furthermore, a novel and elementary proof of the positive mass theorem with charge is presented, and the level set approach to the Penrose inequality given by Huisken and Ilmanen is related to the current developments. Lastly, we discuss several open problems.


title: A generalisation of uniform matroids

abstract: A matroid is uniform if and only if it has no minor isomorphic to $U_{1,1}\oplus U_{0,1}$ and is paving if and only if it has no minor isomorphic to $U_{2,2}\oplus U_{0,1}$. This paper considers, more generally, when a matroid $M$ has no $U_{k,k}\oplus U_{0,\ell}$-minor for a fixed pair of positive integers $(k,\ell)$. Calling such a matroid $(k,\ell)$-uniform, it is shown that this is equivalent to the condition that every rank-$(r(M)-k)$ flat of $M$ has nullity less than $\ell$. Generalising a result of Rajpal, we prove that for any pair $(k,\ell)$ of positive integers and prime power $q$, only finitely many simple cosimple $GF(q)$-representable matroids are \kl-uniform. Consequently, if Rota's Conjecture holds, then for every prime power $q$, there exists a pair $(k_q,\ell_q)$ of positive integers such that every excluded minor of $GF(q)$-representability is $(k_q,\ell_q)$-uniform. We also determine all binary $(2,2)$-uniform matroids and show the maximally $3$-connected members to be $Z_5\backslash t, AG(4,2), AG(4,2)^*$ and a particular self-dual matroid $P_{10}$. Combined with results of Acketa and Rajpal, this completes the list of binary $(k,\ell)$-uniform matroids for which $k+\ell\leq 4$.


title: The Curious Case of Integrator Reach Sets, Part I: Basic Theory

abstract: This is the first of a two part paper investigating the geometry of the integrator reach sets, and the applications thereof. In this Part I, assuming box-valued input uncertainties, we establish that this compact convex reach set is semialgebraic, translated zonoid, and not a spectrahedron. We derive the parametric as well as the implicit representation of the boundary of this reach set. We also deduce the closed form formula for the volume and diameter of this set, and discuss their scaling with state dimension and time. We point out that these results may be utilized in benchmarking the performance of the reach set over-approximation algorithms.


title: Asymmetric Assembly of Lennard-Jones Janus Dimers

abstract: Self-assembly of Janus (or `patchy') particles is dependent on the precise interaction between neighbouring particles. Here, the orientations of two amphiphilic Janus spheres within a dimer in an explicit fluid are studied with high geometric resolution. Molecular dynamics simulations and first-principles energy calculations are used with hard- and soft-sphere Lennard-Jones potentials, and temperature and hydrophobicity are varied. The most probable centre-centre-pole angles are in the range 40{\deg} to 55{\deg}, with pole-to-pole alignment not observed due to orientational entropy. Angles near 90{\deg} are energetically unfavoured due to solvent exclusion, and we unexpectedly found that the relative azimuthal angle between the spheres is affected by solvent ordering.


title: intRinsic: an R Package for Model-Based Estimation of the Intrinsic Dimension of a Dataset

abstract: This article illustrates intRinsic, an R package that implements novel state-of-the-art likelihood-based estimators of the intrinsic dimension of a dataset, an essential quantity for most dimensionality reduction techniques. In order to make these novel estimators easily accessible, the package contains a small number of high-level functions that rely on a broader set of efficient, low-level routines. Generally speaking, intRinsic encompasses models that fall into two categories: homogeneous and heterogeneous intrinsic dimension estimators. The first category contains the two nearest neighbors estimator, a method derived from the distributional properties of the ratios of the distances between each data point and its first two closest neighbors. The functions dedicated to this method carry out inference under both the frequentist and Bayesian frameworks. In the second category, we find the heterogeneous intrinsic dimension algorithm, a Bayesian mixture model for which an efficient Gibbs sampler is implemented. After presenting the theoretical background, we demonstrate the performance of the models on simulated datasets. This way, we can facilitate the exposition by immediately assessing the validity of the results. Then, we employ the package to study the intrinsic dimension of the Alon dataset, obtained from a famous microarray experiment. Finally, we show how the estimation of homogeneous and heterogeneous intrinsic dimensions allows us to gain valuable insights into the topological structure of a dataset.


title: The hidden fluctuation-dissipation theorem for growth

abstract: In a stochastic process, where noise is always present, the fluctuation-dissipation theorem (FDT) becomes one of the most important tools in statistical mechanics and, consequently, it appears everywhere. Its major utility is to provide a simple response to study certain processes in solids and fluids. However, in many situations we are not talking about a FDT, but about the noise intensity. For example, noise has enormous importance in diffusion and growth phenomena. Although we have an explicit FDT for diffusion phenomena, we do not have one for growth processes where we have a noise intensity. We show that there is a hidden FDT for the growth phenomenon, similar to the diffusive one. Moreover, we show that growth with correlated noise presents as well a similar form of FDT. We also call attention to the hierarchy within the theorems of statistical mechanics and how this explains the violation of the FDT in some phenomena.


title: Optimal Prediction Intervals for Macroeconomic Time Series Using Chaos and NSGA II

abstract: In a first-of-its-kind study, this paper proposes the formulation of constructing prediction intervals (PIs) in a time series as a bi-objective optimization problem and solves it with the help of Nondominated Sorting Genetic Algorithm (NSGA-II). We also proposed modeling the chaos present in the time series as a preprocessor in order to model the deterministic uncertainty present in the time series. Even though the proposed models are general in purpose, they are used here for quantifying the uncertainty in macroeconomic time series forecasting. Ideal PIs should be as narrow as possible while capturing most of the data points. Based on these two objectives, we formulated a bi-objective optimization problem to generate PIs in 2-stages, wherein reconstructing the phase space using Chaos theory (stage-1) is followed by generating optimal point prediction using NSGA-II and these point predictions are in turn used to obtain PIs (stage-2). We also proposed a 3-stage hybrid, wherein the 3rd stage invokes NSGA-II too in order to solve the problem of constructing PIs from the point prediction obtained in 2nd stage. The proposed models when applied to the macroeconomic time series, yielded better results in terms of both prediction interval coverage probability (PICP) and prediction interval average width (PIAW) compared to the state-of-the-art Lower Upper Bound Estimation Method (LUBE) with Gradient Descent (GD). The 3-stage model yielded better PICP compared to the 2-stage model but showed similar performance in PIAW with added computation cost of running NSGA-II second time.


title: BMART-Enabled Field-Map Combination of Projection-Reconstruction Phase-Cycled SSFP Cardiac Cine for Banding and Flow-Artifact Reduction

abstract: Purpose: To develop a method for banding-free bSSFP cardiac cine with substantially reduced flow artifacts. Methods: A projection-reconstruction (PR) trajectory is proposed for a frequency-modulated cine sequence, facilitating reconstruction of three phase cycles and a field-map time series from a short, breath-held scan. Data is also acquired during the gradient rewinders to enable generation of field maps using BMART, B$_0$ mapping using rewinding trajectories, where the rewind data forms the second TE image for calculating the field map. A field-map-based combination method is developed which weights the phase-cycle component images to include only passband signal in the final cine images, and exclude stopband and near-band flow artifacts. Results: The weights derived from the BMART-generated field maps mask out banding and near-band flow artifacts in and around the heart. Therefore, the field-map-based phase-cycle combination, which is facilitated by the PR acquisition with BMART, results in more homogeneous blood pools and reduced hyperintense regions than root-sum-of-squares. Conclusion: With the proposed techniques, using a non-Cartesian trajectory for a frequency-modulated cine sequence enables flow-artifact-reduced banding-free cardiac imaging within a short breath-hold.


title: Ambiguity and Partial Bayesian Updating

abstract: Models of updating a set of priors either do not allow a decision maker to make inference about her priors (full bayesian updating or FB) or require an extreme degree of selection (maximum likelihood updating or ML). I characterize a general method for updating a set of priors, partial bayesian updating (PB), in which the decision maker (i) utilizes an event-dependent threshold to determine whether a prior is likely enough, conditional on observed information, and then (ii) applies Bayes' rule to the sufficiently likely priors. I show that PB nests FB and ML and explore its behavioral properties.


title: Cobimaximal Mixing with Dirac Neutrinos

abstract: If neutrinos are Dirac, the conditions for cobimaximal mixing, i.e. $\theta_{23}=\pi/4$ and $\delta_{CP}=\pm \pi/2$ in the $3 \times 3$ neutrino mixing matrix, are derived. One example with $A_4$ symmetry and radiative Dirac neutrino masses is presented.


title: Orlicz-Lorentz Gauge functional inequalities for some integral operators

abstract: Let $f \in M_+(\mathbb{R}_+)$, the class of nonnegative, Lebesgure-measurable functions on $\mathbb{R}_+=(0, \infty)$. We deal with integral operators of the form \[ (T_Kf)(x)=\int_{\mathbb{R}_+}K(x,y)f(y)\, dy, \quad x \in \mathbb{R}_+, \] with $K \in M_+(\mathbb{R}_+^2)$.


title: Evolution of cooperation in costly institutes

abstract: We show that in a situation where individuals have a choice between a costly institute and a free institute to perform a collective action task, the existence of a participation cost promotes cooperation in the costly institute. Despite paying for a participation cost, costly cooperators, who join the costly institute and cooperate, can out-perform defectors, who predominantly join a free institute. This, not only promotes cooperation in the costly institute but also facilitates the evolution of cooperation in the free institute. A costly institute out-performs a free institute when the profitability of the collective action is low. On the other hand, a free institute performs better when the collective action's profitability is high. Furthermore, we show that in a structured population, when individuals have a choice between different institutes, a mutualistic relation between cooperators with different institute preferences emerges and helps the evolution of cooperation.


title: Histo-fetch -- On-the-fly processing of gigapixel whole slide images simplifies and speeds neural network training

abstract: We created a custom pipeline (histo-fetch) to efficiently extract random patches and labels from pathology whole slide images (WSIs) for input to a neural network on-the-fly. We prefetch these patches as needed during network training, avoiding the need for WSI preparation such as chopping/tiling. We demonstrate the utility of this pipeline to perform artificial stain transfer and image generation using the popular networks CycleGAN and ProGAN, respectively.


title: Smart Navigation for In-pipe Robots with Multi-phase Motion Control and Particle Filter

abstract: In-pipe robots are promising solutions for condition assessment, leak detection, water quality monitoring in a variety of other tasks in pipeline networks. Smart navigation is an extremely challenging task for these robots as a result of highly uncertain and disturbing environment for operation. Wireless communication to control these robots during operation is not feasible if the pipe material is metal since the radio signals are destroyed in the pipe environment, and hence, this challenge is still unsolved. In this paper, we introduce a method for smart navigation for our previously designed in-pipe robot [1] based on particle filtering and a two-phase motion controller. The robot is given the map of the operation path with a novel approach and the particle filtering determines the straight and non-straight configurations of the pipeline. In the straight paths, the robot follows a linear quadratic regulator (LQR) and proportional-integral-derivative (PID) based controller that stabilizes the robot and tracks a desired velocity. In non-straight paths, the robot follows the trajectory that a motion trajectory generator block plans for the robot. The proposed method is a promising solution for smart navigation without the need for wireless communication and capable of inspecting long distances in water distribution systems.


title: Robust $k$-Center with Two Types of Radii

abstract: In the non-uniform $k$-center problem, the objective is to cover points in a metric space with specified number of balls of different radii. Chakrabarty, Goyal, and Krishnaswamy [ICALP 2016, Trans. on Algs. 2020] (CGK, henceforth) give a constant factor approximation when there are two types of radii. In this paper, we give a constant factor approximation for the two radii case in the presence of outliers. To achieve this, we need to bypass the technical barrier of bad integrality gaps in the CGK approach. We do so using "the ellipsoid method inside the ellipsoid method": use an outer layer of the ellipsoid method to reduce to stylized instances and use an inner layer of the ellipsoid method to solve these specialized instances. This idea is of independent interest and could be applicable to other problems. Keywords: Approximation, Clustering, Outliers, and Round-or-Cut.


title: Model-Based Domain Generalization

abstract: Despite remarkable success in a variety of applications, it is well-known that deep learning can fail catastrophically when presented with out-of-distribution data. Toward addressing this challenge, we consider the domain generalization problem, wherein predictors are trained using data drawn from a family of related training domains and then evaluated on a distinct and unseen test domain. We show that under a natural model of data generation and a concomitant invariance condition, the domain generalization problem is equivalent to an infinite-dimensional constrained statistical learning problem; this problem forms the basis of our approach, which we call Model-Based Domain Generalization. Due to the inherent challenges in solving constrained optimization problems in deep learning, we exploit nonconvex duality theory to develop unconstrained relaxations of this statistical problem with tight bounds on the duality gap. Based on this theoretical motivation, we propose a novel domain generalization algorithm with convergence guarantees. In our experiments, we report improvements of up to 30 percentage points over state-of-the-art domain generalization baselines on several benchmarks including ColoredMNIST, Camelyon17-WILDS, FMoW-WILDS, and PACS.


title: Nerve theorems for fixed points of neural networks

abstract: Nonlinear network dynamics are notoriously difficult to understand. Here we study a class of recurrent neural networks called combinatorial threshold-linear networks (CTLNs) whose dynamics are determined by the structure of a directed graph. They are a special case of TLNs, a popular framework for modeling neural activity in computational neuroscience. In prior work, CTLNs were found to be surprisingly tractable mathematically. For small networks, the fixed points of the network dynamics can often be completely determined via a series of graph rules that can be applied directly to the underlying graph. For larger networks, it remains a challenge to understand how the global structure of the network interacts with local properties. In this work, we propose a method of covering graphs of CTLNs with a set of smaller directional graphs that reflect the local flow of activity. While directional graphs may or may not have a feedforward architecture, their fixed point structure is indicative of feedforward dynamics. The combinatorial structure of the graph cover is captured by the nerve of the cover. The nerve is a smaller, simpler graph that is more amenable to graphical analysis. We present three nerve theorems that provide strong constraints on the fixed points of the underlying network from the structure of the nerve. We then illustrate the power of these theorems with some examples. Remarkably, we find that the nerve not only constrains the fixed points of CTLNs, but also gives insight into the transient and asymptotic dynamics. This is because the flow of activity in the network tends to follow the edges of the nerve.


title: Quasi-Distributed Antenna Selection for Spectral Efficiency Maximization in Subarray Switching XL-MIMO Systems

abstract: In this paper, we consider the downlink (DL) of a zero-forcing (ZF) precoded extra-large scale massive MIMO (XL-MIMO) system. The base-station (BS) operates with limited number of radio-frequency (RF) transceivers due to high cost, power consumption and interconnection bandwidth associated to the fully digital implementation. The BS, which is implemented with a subarray switching architecture, selects groups of active antennas inside each subarray to transmit the DL signal. This work proposes efficient resource allocation (RA) procedures to perform joint antenna selection (AS) and power allocation (PA) to maximize the DL spectral efficiency (SE) of an XL-MIMO system operating under different loading settings. Two metaheuristic RA procedures based on the genetic algorithm (GA) are assessed and compared in terms of performance, coordination data size and computational complexity. One algorithm is based on a quasi-distributed methodology while the other is based on the conventional centralized processing. Numerical results demonstrate that the quasi-distributed GA-based procedure results in a suitable trade-off between performance, complexity and exchanged coordination data. At the same time, it outperforms the centralized procedures with appropriate system operation settings.


title: Assigning Confidence to Molecular Property Prediction

abstract: Introduction: Computational modeling has rapidly advanced over the last decades, especially to predict molecular properties for chemistry, material science and drug design. Recently, machine learning techniques have emerged as a powerful and cost-effective strategy to learn from existing datasets and perform predictions on unseen molecules. Accordingly, the explosive rise of data-driven techniques raises an important question: What confidence can be assigned to molecular property predictions and what techniques can be used for that purpose? Areas covered: In this work, we discuss popular strategies for predicting molecular properties relevant to drug design, their corresponding uncertainty sources and methods to quantify uncertainty and confidence. First, our considerations for assessing confidence begin with dataset bias and size, data-driven property prediction and feature design. Next, we discuss property simulation via molecular docking, and free-energy simulations of binding affinity in detail. Lastly, we investigate how these uncertainties propagate to generative models, as they are usually coupled with property predictors. Expert opinion: Computational techniques are paramount to reduce the prohibitive cost and timing of brute-force experimentation when exploring the enormous chemical space. We believe that assessing uncertainty in property prediction models is essential whenever closed-loop drug design campaigns relying on high-throughput virtual screening are deployed. Accordingly, considering sources of uncertainty leads to better-informed experimental validations, more reliable predictions and to more realistic expectations of the entire workflow. Overall, this increases confidence in the predictions and designs and, ultimately, accelerates drug design.


title: Selection rules for the decay of a particle into two identical massless particles of any spin

abstract: The well-known Landau-Yang (LY) theorem on the decay of a neutral particle into two photons is generalized for analyzing the decay of a neutral or charged particle into two identical massless particles of any spin. Selection rules categorized by discrete parity invariance and Bose/Fermi symmetry are worked out in the helicity formulation. The general form of the Lorentz-covariant triple vertices are derived and the corresponding decay helicity amplitudes are explicitly calculated in the Jacob-Wick convention. After checking the consistency of all the analytic results obtained by two complementary approaches, we extract out the key aspects of the generalized LY theorem.


title: A quantitative bound on Furstenberg-S\'ark\"ozy patterns with shifted prime power common differences in primes

abstract: Let $k\geq1$ be a fixed integer, and $\mathcal P_N$ be the set of primes no more than $N$. We prove that if a set $\mathcal A\subset\mathcal P_N$ contains no patterns $p_1,p_1+(p_2-1)^k$, where $p_1,p_2$ are prime numbers, then \[ \frac{|\mathcal A|}{|\mathcal P_N|}\ll(\log\log N)^{-\frac{1}{4k^3+17k^2}}. \]


title: A Survey on Amazon Alexa Attack Surfaces

abstract: Since being launched in 2014, Alexa, Amazon's versatile cloud-based voice service, is now active in over 100 million households worldwide. Alexa's user-friendly, personalized vocal experience offers customers a more natural way of interacting with cutting-edge technology by allowing the ability to directly dictate commands to the assistant. Now in the present year, the Alexa service is more accessible than ever, available on hundreds of millions of devices from not only Amazon but third-party device manufacturers. Unfortunately, that success has also been the source of concern and controversy. The success of Alexa is based on its effortless usability, but in turn, that has led to a lack of sufficient security. This paper surveys various attacks against Amazon Alexa ecosystem including attacks against the frontend voice capturing and the cloud backend voice command recognition and processing. Overall, we have identified six attack surfaces covering the lifecycle of Alexa voice interaction that spans several stages including voice data collection, transmission, processing and storage. We also discuss the potential mitigation solutions for each attack surface to better improve Alexa or other voice assistants in terms of security and privacy.


title: Self-small products of abelian groups

abstract: For abelian groups $A, B$, $A$ is called $B$-small if the covariant functor $Hom(A,-)$ commutes with all direct sums $B^{(\kappa)}$ and $A$ is self-small provided it is $A$-small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.


title: High magnetic field induced crossover from the Kondo to Fermi liquid behavior in 1$T$-VTe$_{2}$ single crystals

abstract: The magnetic and magnetotransport properties of metallic 1$T$-VTe$_{2}$ single crystals were investigated at temperatures from 1.3 to 300 K and in magnetic fields up to 35 T. Upon applying a high magnetic field, it is found that the electrical resistivity displays a crossover from the logarithmic divergence of the single-impurity Kondo effect to the Fermi liquid behavior at low temperatures. The Brillouin scale of the negative magnetoresistivity above the Kondo temperature $T_{\rm{K}}$ = 12 K indicates that the Kondo features originate from intercalated V ions, with $S$ = 1/2. Both magnetic susceptibility and Hall effect show an anomaly around $T_{\rm{K}}$. By using the modified Hamann expression we successfully describe the temperature-dependent resistivity under various magnetic fields, which shows the characteristic peak below $T_{\rm{K}}$ due to the splitting of the Kondo resonance.


title: An unbiased minimum variance non-parametric analytic and likelihood estimator for discrete and continuous score spaces

abstract: This manuscript develops a general purpose inner-product norm for the Kendall \(\tau\) and Spearman's \(\rho\), which operates as an unbiased MLE even in the presence of ties. We derive and prove the strict sub-Gaussianity of the Kemeny norm-space, thereby disproving conclusions developed by both \textcite{kendall1948} and \textcite{diaconis1977} as to the nature of the appropriate, finite sample, probability distribution and test statistics. A non-parametric MLE framework for all bivariate pairs is developed, thereby resolving an hypothesis of \textcite{olkin1994} concerning an exponential multivariate distribution for order statistics, by showing that for finite samples, the distribution is non-exponential. Non-parametric linear estimators are also constructed for the polychoric correlations and by extension, a linearly decomposable non-parametric multidimensional linear system of equations for non-parametric Factor Analysis is shown.


title: Segmental Lennard-Jones Interactions for Semi-flexible Polymer Networks

abstract: Simulating soft matter systems such as the cytoskeleton can enable deep understanding of experimentally observed phenomena. One challenge of modeling such systems is realistic description of the steric repulsion between nearby polymers. Previous models of the polymeric excluded volume interaction have the deficit of being non-analytic, being computationally expensive, or allowing polymers to erroneously cross each other. A recent solution to these issues, implemented in the MEDYAN simulation platform, uses analytical expressions obtained from integrating an interaction kernel along the lengths of two polymer segments to describe their repulsion. Here, we extend this model by re-deriving it for lower-dimensional geometrical configurations, deriving similar expressions using a steeper interaction kernel, comparing it to other commonly used potentials, and showing how to parameterize these models. We also generalize this new integrated style of potential by introducing a segmental Lennard-Jones potential, which enables modelling both attractive and repulsive interactions in semi-flexible polymer networks. These results can be further generalized to facilitate the development of effective interaction potentials for other finite elements in simulations of soft-matter systems.


title: Data Engineering for Everyone

abstract: Data engineering is one of the fastest-growing fields within machine learning (ML). As ML becomes more common, the appetite for data grows more ravenous. But ML requires more data than individual teams of data engineers can readily produce, which presents a severe challenge to ML deployment at scale. Much like the software-engineering revolution, where mass adoption of open-source software replaced the closed, in-house development model for infrastructure code, there is a growing need to enable rapid development and open contribution to massive machine learning data sets. This article shows that open-source data sets are the rocket fuel for research and innovation at even some of the largest AI organizations. Our analysis of nearly 2000 research publications from Facebook, Google and Microsoft over the past five years shows the widespread use and adoption of open data sets. Open data sets that are easily accessible to the public are vital to accelerating ML innovation for everyone. But such open resources are scarce in the wild. So, what if we are able to accelerate data-set creation via automatic data set generation tools?


title: MUSBO: Model-based Uncertainty Regularized and Sample Efficient Batch Optimization for Deployment Constrained Reinforcement Learning

abstract: In many contemporary applications such as healthcare, finance, robotics, and recommendation systems, continuous deployment of new policies for data collection and online learning is either cost ineffective or impractical. We consider a setting that lies between pure offline reinforcement learning (RL) and pure online RL called deployment constrained RL in which the number of policy deployments for data sampling is limited. To solve this challenging task, we propose a new algorithmic learning framework called Model-based Uncertainty regularized and Sample Efficient Batch Optimization (MUSBO). Our framework discovers novel and high quality samples for each deployment to enable efficient data collection. During each offline training session, we bootstrap the policy update by quantifying the amount of uncertainty within our collected data. In the high support region (low uncertainty), we encourage our policy by taking an aggressive update. In the low support region (high uncertainty) when the policy bootstraps into the out-of-distribution region, we downweight it by our estimated uncertainty quantification. Experimental results show that MUSBO achieves state-of-the-art performance in the deployment constrained RL setting.


title: Elastic Positron-Proton Scattering at Low Q$^2$

abstract: Systematic differences in the the proton's charge radius, as determined by ordinary atoms and muonic atoms, have caused a resurgence of interest in elastic lepton scattering measurements. The proton's charge radius, defined as the slope of the charge form factor at Q$^2$=0, does not depend on the probe. Any difference in the apparent size of the proton, when determined from ordinary versus muonic hydrogen, could point to new physics or need for the higher order corrections. While recent measurements seem to now be in agreement, there is to date no high precision elastic scattering data with both electrons and positrons. A high precision proton radius measurement could be performed in Hall B at Jefferson Lab with a positron beam and the calorimeter based setup of the PRad experiment. This measurement could also be extended to deuterons where a similar discrepancy has been observed between the muonic and electronic determination of deuteron charge radius. A new, high precision measurement with positrons, when viewed alongside electron scattering measurements and the forthcoming MUSE muon scattering measurement, could help provide new insights into the origins of the proton radius puzzle, and also provide new experimental constraints on radiative correction calculations.


title: Neuroscience-Inspired Algorithms for the Predictive Maintenance of Manufacturing Systems

abstract: If machine failures can be detected preemptively, then maintenance and repairs can be performed more efficiently, reducing production costs. Many machine learning techniques for performing early failure detection using vibration data have been proposed; however, these methods are often power and data-hungry, susceptible to noise, and require large amounts of data preprocessing. Also, training is usually only performed once before inference, so they do not learn and adapt as the machine ages. Thus, we propose a method of performing online, real-time anomaly detection for predictive maintenance using Hierarchical Temporal Memory (HTM). Inspired by the human neocortex, HTMs learn and adapt continuously and are robust to noise. Using the Numenta Anomaly Benchmark, we empirically demonstrate that our approach outperforms state-of-the-art algorithms at preemptively detecting real-world cases of bearing failures and simulated 3D printer failures. Our approach achieves an average score of 64.71, surpassing state-of-the-art deep-learning (49.38) and statistical (61.06) methods.


title: Huge permittivity and premature metallicity in Bi$_2$O$_2$Se single crystals

abstract: Bi$_2$O$_2$Se is a promising material for next-generation semiconducting electronics. It exhibits premature metallicity on the introduction of a tiny amount of electrons, the physics behind which remains elusive. Here we report on transport and dielectric measurements in Bi$_2$O$_2$Se single crystals at various carrier densities. The temperature-dependent resistivity ($\rho$) indicates a smooth evolution from the semiconducting to the metallic state. The critical concentration for the metal-insulator transition (MIT) to occur is extraordinarily low ($n_\textrm{c}\sim10^{16}$ cm$^{-3}$). The relative permittivity of the insulating sample is huge ($\epsilon_\textrm{r}\approx155(10)$) and varies slowly with temperature. Combined with the light effective mass, a long effective Bohr radius ($a_\textrm{B}^*\approx36(2)$ $\textrm{nm}$) is derived, which provides a reasonable interpretation of the metallic prematurity according to Mott's criterion for MITs. The high electron mobility ($\mu$) at low temperatures may result from the screening of ionized scattering centers due to the huge $\epsilon_\textrm{r}$. Our findings shed light on the electron dynamics in two dimensional (2D) Bi$_2$O$_2$Se devices.


title: Quantum Computation for Predicting Electron and Phonon Properties of Solids

abstract: Quantum chemistry is one of the most promising near-term applications of quantum computers. Quantum algorithms such as variational quantum eigen solver (VQE) and variational quantum deflation (VQD) algorithms have been mainly applied for molecular systems and there is a need to implement such methods for periodic solids. Using Wannier tight-binding Hamiltonian (WTBH) approaches, we demonstrate the application of VQE and VQD to accurately predict both electronic and phonon bandstructure properties of several elemental as well as multi-component solid-state materials. We apply VQE-VQD calculations for 307 spin-orbit coupling based electronic WTBHs and 933 finite-difference based phonon WTBHs. Also, we discuss a workflow for using VQD with lattice Greens function that can be used for solving dynamical mean-field theory problems. The WTBH model solvers can be used for testing other quantum algorithms and models also.


title: Comment on 'Design and circuit simulation of nanoscale vacuum channel transistors' by J. Xu, Y. Qin, Y. Shi, Y. Yang and X. Zhang, Nanoscale Adv. 2020, 2, 3582

abstract: These comments aim to correct some apparent weaknesses in the theory of field electron emission given in a recent paper about nanoscale vacuum channel transistors, and to improve the presentation of this theory. In particular, it is argued that a "simplified" formula stated in the paper should not be used, because this formula is known to under-predict emission current densities by a large factor (typically around 300 for an emitting surface with local work function 4.5 eV). Thus, the "simplified" formula may significantly under-predict the practical performance of a nanoscale vacuum channel transistor.

categories: cond-mat.mes-hall physics.app-ph physics.data-an quant-ph


title: Mach limits in analytic spaces

abstract: We address the Mach limit problem for the Euler equations in the analytic spaces. We prove that, given analytic data, the solutions to the compressible Euler equations are uniformly bounded in a suitable analytic norm and then show that the convergence toward the incompressible Euler solution holds in the analytic norm. We also show that the same results hold more generally for Gevrey data with the convergence in the Gevrey norms.


title: Man-in-The-Middle Attacks and Defense in a Power System Cyber-Physical Testbed

abstract: Man-in-The-Middle (MiTM) attacks present numerous threats to a smart grid. In a MiTM attack, an intruder embeds itself within a conversation between two devices to either eavesdrop or impersonate one of the devices, making it appear to be a normal exchange of information. Thus, the intruder can perform false data injection (FDI) and false command injection (FCI) attacks that can compromise power system operations, such as state estimation, economic dispatch, and automatic generation control (AGC). Very few researchers have focused on MiTM methods that are difficult to detect within a smart grid. To address this, we are designing and implementing multi-stage MiTM intrusions in an emulation-based cyber-physical power system testbed against a large-scale synthetic grid model to demonstrate how such attacks can cause physical contingencies such as misguided operation and false measurements. MiTM intrusions create FCI, FDI, and replay attacks in this synthetic power grid. This work enables stakeholders to defend against these stealthy attacks, and we present detection mechanisms that are developed using multiple alerts from intrusion detection systems and network monitoring tools. Our contribution will enable other smart grid security researchers and industry to develop further detection mechanisms for inconspicuous MiTM attacks.


title: Representation Disentanglement for Multi-modal brain MR Analysis

abstract: Multi-modal MRIs are widely used in neuroimaging applications since different MR sequences provide complementary information about brain structures. Recent works have suggested that multi-modal deep learning analysis can benefit from explicitly disentangling anatomical (shape) and modality (appearance) information into separate image presentations. In this work, we challenge mainstream strategies by showing that they do not naturally lead to representation disentanglement both in theory and in practice. To address this issue, we propose a margin loss that regularizes the similarity in relationships of the representations across subjects and modalities. To enable robust training, we further use a conditional convolution to design a single model for encoding images of all modalities. Lastly, we propose a fusion function to combine the disentangled anatomical representations as a set of modality-invariant features for downstream tasks. We evaluate the proposed method on three multi-modal neuroimaging datasets. Experiments show that our proposed method can achieve superior disentangled representations compared to existing disentanglement strategies. Results also indicate that the fused anatomical representation has potential in the downstream task of zero-dose PET reconstruction and brain tumor segmentation. The code is available at \url{https://github.com/ouyangjiahong/representation-disentanglement}.


title: Investigating Local and Global Information for Automated Audio Captioning with Transfer Learning

abstract: Automated audio captioning (AAC) aims at generating summarizing descriptions for audio clips. Multitudinous concepts are described in an audio caption, ranging from local information such as sound events to global information like acoustic scenery. Currently, the mainstream paradigm for AAC is the end-to-end encoder-decoder architecture, expecting the encoder to learn all levels of concepts embedded in the audio automatically. This paper first proposes a topic model for audio descriptions, comprehensively analyzing the hierarchical audio topics that are commonly covered. We then explore a transfer learning scheme to access local and global information. Two source tasks are identified to respectively represent local and global information, being Audio Tagging (AT) and Acoustic Scene Classification (ASC). Experiments are conducted on the AAC benchmark dataset Clotho and Audiocaps, amounting to a vast increase in all eight metrics with topic transfer learning. Further, it is discovered that local information and abstract representation learning are more crucial to AAC than global information and temporal relationship learning.


title: Group actions on contractible $2$-complexes I

abstract: In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the acyclic $2$-dimensional $G$-complexes constructed by Oliver and Segev. In the first part we develop the necessary theory and cover the cases where $G=\mathrm{PSL}_2(2^n)$, $G=\mathrm{PSL}_2(q)$ with $q\equiv 3\pmod 8$ or $G=\mathrm{Sz}(2^n)$. The cases $G=\mathrm{PSL}_2(q)$ with $q\equiv 5\pmod 8$ are addressed in the second part.


title: Group actions on contractible $2$-complexes II

abstract: In this second part we prove that, if $G$ is one of the groups $\mathrm{PSL}_2(q)$ with $q>5$ and $q\equiv 5\pmod {24}$ or $q\equiv 13 \pmod{24}$, then the fundamental group of every acyclic $2$-dimensional, fixed point free and finite $G$-complex admits a nontrivial representation in a unitary group $\mathrm{U}(m)$. This completes the proof of the following result: every action of a finite group on a finite and contractible $2$-complex has a fixed point.


title: Critical Current Distributions of Recent Bi-2212 Round Wires

abstract: Bi-2212 is the only high-field, high-temperature superconductor (HTS) capable of reaching a critical current density $J_{\text{c}}$(16 T, 4.2 K) of 6500 $\mathrm{A\cdot mm^{-2}}$ in the highly desirable round wire (RW) form. However, state-of-the-art Bi-2212 conductors still have a critical current density ($J_{\text{c}}$) to depairing current density ($J_{\text{d}}$) ratio around 20 to 30 times lower than that of state-of-the-art $\mathrm{Nb-Ti}$ or REBCO. Previously, we have shown that recent improvements in Bi-2212 RW $J_{\text{c}}$ are due to improved connectivity associated with optimization of the heat treatment process, and most recently due to a transition to a finer and more uniform powder manufactured by Engi-Mat. One quantitative measure of connectivity may be the critical current ($I_{\text{c}}$) distribution, since the local $I_{\text{c}}$ in a wire can vary along the length due to variable vortex-microstructure interactions and to factors such as filament shape variations, grain-to-grain connectivity variations and blocking secondary phase distributions. Here we compare $\sim$ 0.1 m length $I_{\text{c}}$ distributions of Bi-2212 RWs with recent state-of-the-art very high-$J_{\text{c}}$ Engi-Mat powder and lower $J_{\text{c}}$ and older Nexans granulate powder. We do find that the $I_{\text{c}}$ spread for Bi-2212 wires is about twice the relative standard of high-$J_{\text{c}}$ $\mathrm{Nb-Ti}$ well below $H_{\text{irr}}$. We do not yet see any obvious contribution of the Bi-2212 anisotropy to the $I_{\text{c}}$ distribution and are rather encouraged that these Bi-2212 round wires show relative $I_{\text{c}}$ distributions not too far from high-$J_{\text{c}}$ $\mathrm{Nb-Ti}$ wires.


title: Blending Dynamic Programming with Monte Carlo Simulation for Bounding the Running Time of Evolutionary Algorithms

abstract: With the goal to provide absolute lower bounds for the best possible running times that can be achieved by $(1+\lambda)$-type search heuristics on common benchmark problems, we recently suggested a dynamic programming approach that computes optimal expected running times and the regret values inferred when deviating from the optimal parameter choice. Our previous work is restricted to problems for which transition probabilities between different states can be expressed by relatively simple mathematical expressions. With the goal to cover broader sets of problems, we suggest in this work an extension of the dynamic programming approach to settings in which the transition probabilities cannot necessarily be computed exactly, but in which they can be approximated numerically, up to arbitrary precision, by Monte Carlo sampling. We apply our hybrid Monte Carlo dynamic programming approach to a concatenated jump function and demonstrate how the obtained bounds can be used to gain a deeper understanding into parameter control schemes.


title: An Interaction-aware Evaluation Method for Highly Automated Vehicles

abstract: It is important to build a rigorous verification and validation (V&V) process to evaluate the safety of highly automated vehicles (HAVs) before their wide deployment on public roads. In this paper, we propose an interaction-aware framework for HAV safety evaluation which is suitable for some highly-interactive driving scenarios including highway merging, roundabout entering, etc. Contrary to existing approaches where the primary other vehicle (POV) takes predetermined maneuvers, we model the POV as a game-theoretic agent. To capture a wide variety of interactions between the POV and the vehicle under test (VUT), we characterize the interactive behavior using level-k game theory and social value orientation and train a diverse set of POVs using reinforcement learning. Moreover, we propose an adaptive test case sampling scheme based on the Gaussian process regression technique to generate customized and diverse challenging cases. The highway merging is used as the example scenario. We found the proposed method is able to capture a wide range of POV behaviors and achieve better coverage of the failure modes of the VUT compared with other evaluation approaches.


title: OGLE-2018-BLG-1428Lb: a Jupiter-mass planet beyond the snow line of a dwarf star

abstract: We present the analysis of the microlensing event OGLE-2018-BLG-1428, which has a short-duration ($\sim 1$ day) caustic-crossing anomaly. The event was caused by a planetary lens system with planet/host mass ratio $q=1.7\times10^{-3}$. Thanks to the detection of the caustic-crossing anomaly, the finite source effect was well measured, but the microlens parallax was not constrained due to the relatively short timescale ($t_{\rm E}=24$ days). From a Bayesian analysis, we find that the host star is a dwarf star $M_{\rm host}=0.43^{+0.33}_{-0.22} \ M_{\odot}$ at a distance $D_{\rm L}=6.22^{+1.03}_{-1.51}\ {\rm kpc}$ and the planet is a Jovian-mass planet $M_{\rm p}=0.77^{+0.77}_{-0.53} \ M_{\rm J}$ with a projected separation $a_{\perp}=3.30^{+0.59}_{-0.83}\ {\rm au}$. The planet orbits beyond the snow line of the host star. Considering the relative lens-source proper motion of $\mu_{\rm rel} = 5.58 \pm 0.38\ \rm mas\ yr^{-1}$, the lens can be resolved by adaptive optics with a 30m telescope in the future.


title: FaceController: Controllable Attribute Editing for Face in the Wild

abstract: Face attribute editing aims to generate faces with one or multiple desired face attributes manipulated while other details are preserved. Unlike prior works such as GAN inversion, which has an expensive reverse mapping process, we propose a simple feed-forward network to generate high-fidelity manipulated faces. By simply employing some existing and easy-obtainable prior information, our method can control, transfer, and edit diverse attributes of faces in the wild. The proposed method can consequently be applied to various applications such as face swapping, face relighting, and makeup transfer. In our method, we decouple identity, expression, pose, and illumination using 3D priors; separate texture and colors by using region-wise style codes. All the information is embedded into adversarial learning by our identity-style normalization module. Disentanglement losses are proposed to enhance the generator to extract information independently from each attribute. Comprehensive quantitative and qualitative evaluations have been conducted. In a single framework, our method achieves the best or competitive scores on a variety of face applications.


title: On diffusion processes with drift in $L_{d+1}$

abstract: This paper is a natural continuation of \cite{Kr_20_2} and \cite{Kr_21_1} where strong Markov processes are constructed in time inhomogeneous setting with Borel measurable uniformly bounded and uniformly nondegenerate diffusion and drift in $L_{d+1}(\mathbb{R}^{d+1})$ and some properties of their Green's functions and probability of passing through narrow tubes are investigated. On the basis of this here we study some further properties of these processes such as Harnack inequality, H\"older continuity of potentials, Fanghua Lin estimates and so on.


title: Lower bounds on the Erd\H{o}s-Gy\'arf\'as problem via color energy graphs

abstract: Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erd\H{o}s and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.


title: VisualCheXbert: Addressing the Discrepancy Between Radiology Report Labels and Image Labels

abstract: Automatic extraction of medical conditions from free-text radiology reports is critical for supervising computer vision models to interpret medical images. In this work, we show that radiologists labeling reports significantly disagree with radiologists labeling corresponding chest X-ray images, which reduces the quality of report labels as proxies for image labels. We develop and evaluate methods to produce labels from radiology reports that have better agreement with radiologists labeling images. Our best performing method, called VisualCheXbert, uses a biomedically-pretrained BERT model to directly map from a radiology report to the image labels, with a supervisory signal determined by a computer vision model trained to detect medical conditions from chest X-ray images. We find that VisualCheXbert outperforms an approach using an existing radiology report labeler by an average F1 score of 0.14 (95% CI 0.12, 0.17). We also find that VisualCheXbert better agrees with radiologists labeling chest X-ray images than do radiologists labeling the corresponding radiology reports by an average F1 score across several medical conditions of between 0.12 (95% CI 0.09, 0.15) and 0.21 (95% CI 0.18, 0.24).


title: Free energy and defect $C$-theorem in free fermion

abstract: We describe a $p$-dimensional conformal defect of a free Dirac fermion on a $d$-dimensional flat space as boundary conditions on a conformally equivalent space $\mathbb{H}^{p+1} \times \mathbb{S}^{d-p-1}$. We classify allowed boundary conditions and find that the Dirichlet type of boundary conditions always exists while the Neumann type of boundary condition exists only for a two-codimensional defect. For the two-codimensional defect, a double trace deformation triggers a renormalization group flow from the Neumann boundary condition to the Dirichlet boundary condition, and the free energy at UV fixed point is always larger than that at IR fixed point. This provides us with further support of a conjectured $C$-theorem in DCFT.


title: Analysis of Evolutionary Diversity Optimisation for Permutation Problems

abstract: Generating diverse populations of high quality solutions has gained interest as a promising extension to the traditional optimization tasks. This work contributes to this line of research with an investigation on evolutionary diversity optimization for three of the most well-studied permutation problems, namely the Traveling Salesperson Problem (TSP), both symmetric and asymmetric variants, and Quadratic Assignment Problem (QAP). It includes an analysis of the worst-case performance of a simple mutation-only evolutionary algorithm with different mutation operators, using an established diversity measure. Theoretical results show many mutation operators for these problems guarantee convergence to maximally diverse populations of sufficiently small size within cubic to quartic expected run-time. On the other hand, the result on QAP suggests that strong mutations give poor worst-case performance, as mutation strength contributes exponentially to the expected run-time. Additionally, experiments are carried out on QAPLIB and synthetic instances in unconstrained and constrained settings, and reveal much more optimistic practical performances, while corroborating the theoretical finding regarding mutation strength. These results should serve as a baseline for future studies.


title: Characterization of the magnetic field through the three-body loss near a narrow Feshbach resonance

abstract: The narrow s-wave Feshbach resonance of a $^6$Li Fermi gas shows strong three-body loss, which is proposed to be used to measure the minute change of a magnetic field around the resonance. However, the eddy current will cause ultracold atom experiencing a magnetic field delayed to the desired magnetic field from the current of the magnetic coils. The elimination of the eddy current effect will play a key role in any experiments that motivated to measure the magnetic field to the precision of a part per million stability. Here, we apply a method to correct the eddy current effect for precision measurement of the magnetic field. We first record the three-body loss influenced by the effect of induced eddy current, then use a certain model to obtain the time constant of the actual magnetic field by fitting the atom loss. This precisely determines the actual magnetic field according to the time response of the three-body loss. After that, we implement the desired magnetic field to the atoms so that we can analyze the three-body loss across the whole narrow Feshbach resonance. The results show that the three-body recombination is the dominated loss mechanism near the resonance. We expect this practical method of correcting the eddy current error of the magnetic field can be further applied to the future studies of quantum few- and many-body physics near a narrow Feshbach resonance.


title: PTCDA molecular monolayer on Pb thin films: An unusual {\pi}-electron Kondo system and its interplay with a quantum-confined superconductor

abstract: The hybridization of magnetism and superconductivity has been an intriguing playground for correlated electron systems, hosting various novel physical phenomena. Usually, localized d- or f-electrons are central to magnetism. In this study, by placing a PTCDA (3,4,9,10-perylene tetracarboxylic dianhydride) molecular monolayer on ultra-thin Pb films, we built a hybrid magnetism/superconductivity (M/SC) system consisting of only sp electronic levels. The magnetic moments reside in the unpaired molecular orbital originating from interfacial charge-transfers. We reported distinctive tunneling spectroscopic features of such a Kondo screened pi-electron impurity lattice on a superconductor in the regime of TK>>delta suggesting the formation of a two-dimensional bound states band. Moreover, moir\'e superlattices with tunable twist angle and the quantum confinement in the ultra-thin Pb films provide easy and flexible implementations to tune the interplay between the Kondo physics and the superconductivity, which are rarely present in M/SC hybrid systems.


title: Progresses and Challenges in Link Prediction

abstract: Link prediction is a paradigmatic problem in network science, which aims at estimating the existence likelihoods of nonobserved links, based on known topology. After a brief introduction of the standard problem and metrics of link prediction, this Perspective will summarize representative progresses about local similarity indices, link predictability, network embedding, matrix completion, ensemble learning and others, mainly extracted from thousands of related publications in the last decade. Finally, this Perspective will outline some long-standing challenges for future studies.


title: Equivariant spectral triple for the quantum group $U_q(2)$ for complex deformation parameters

abstract: Let $q=|q|e^{i\pi\theta},\,\theta\in(-1,1],$ be a nonzero complex number such that $|q|\neq 1$ and consider the compact quantum group $U_q(2)$. For $\theta\notin\mathbb{Q}\setminus\{0,1\}$, we obtain the $K$-theory of the $C^*$-algebra $C(U_q(2))$. We construct a spectral triple on $U_q(2)$ which is equivariant under its own comultiplication action. The spectral triple obtained here is even, $4^+$-summable, non-degenerate, and the Dirac operator acts on two copies of the $L^2$-space of $U_q(2)$. The $K$-homology class of the associated Fredholm module is shown to be nontrivial.


title: Text-to-Audio Grounding: Building Correspondence Between Captions and Sound Events

abstract: Automated Audio Captioning is a cross-modal task, generating natural language descriptions to summarize the audio clips' sound events. However, grounding the actual sound events in the given audio based on its corresponding caption has not been investigated. This paper contributes an AudioGrounding dataset, which provides the correspondence between sound events and the captions provided in Audiocaps, along with the location (timestamps) of each present sound event. Based on such, we propose the text-to-audio grounding (TAG) task, which interactively considers the relationship between audio processing and language understanding. A baseline approach is provided, resulting in an event-F1 score of 28.3% and a Polyphonic Sound Detection Score (PSDS) score of 14.7%.


title: Obstructions for local tournament orientation completions

abstract: The orientation completion problem for a class of oriented graphs asks whether a given partially oriented graph can be completed to an oriented graph in the class by orienting the unoriented edges of the partially oriented graph. Orientation completion problems have been studied recently for several classes of oriented graphs, yielding both polynomial time solutions as well as NP-completeness results. Local tournaments are a well-structured class of oriented graphs that generalize tournaments and their underlying graphs are intimately related to proper circular-arc graphs. According to Skrien, a connected graph can be oriented as a local tournament if and only if it is a proper circular-arc graph. Proper interval graphs are precisely the graphs which can be oriented as acyclic local tournaments. It has been proved that the orientation completion problems for the classes of local tournaments and acyclic local tournaments are both polynomial time solvable. In this paper we characterize the partially oriented graphs that can be completed to local tournaments by determining the complete list of obstructions. These are in a sense minimal partially oriented graphs that cannot be completed to local tournaments. The result may be viewed as an extension of the well-known forbidden subgraph characterization of proper circular-arc graphs obtained by Tucker. The complete list of obstructions for acyclic local tournament orientation completions has been given in a companion paper.


title: Dimension-free log-Sobolev inequalities for mixture distributions

abstract: We prove that if ${(P_x)}_{x\in \mathscr X}$ is a family of probability measures which satisfy the log-Sobolev inequality and whose pairwise chi-squared divergences are uniformly bounded, and $\mu$ is any mixing distribution on $\mathscr X$, then the mixture $\int P_x \, \mathrm{d} \mu(x)$ satisfies a log-Sobolev inequality. In various settings of interest, the resulting log-Sobolev constant is dimension-free. In particular, our result implies a conjecture of Zimmermann and Bardet et al. that Gaussian convolutions of measures with bounded support enjoy dimension-free log-Sobolev inequalities.


title: The birth of geometry in exponential random graphs

abstract: Inspired by the prospect of having discretized spaces emerge from random graphs, we construct a collection of simple and explicit exponential random graph models that enjoy, in an appropriate parameter regime, a roughly constant vertex degree and form very large numbers of simple polygons (triangles or squares). The models avoid the collapse phenomena that plague naive graph Hamiltonians based on triangle or square counts. More than that, statistically significant numbers of other geometric primitives (small pieces of regular lattices, cubes) emerge in our ensemble, even though they are not in any way explicitly pre-programmed into the formulation of the graph Hamiltonian, which only depends on properties of paths of length 2. While much of our motivation comes from hopes to construct a graph-based theory of random geometry (Euclidean quantum gravity), our presentation is completely self-contained within the context of exponential random graph theory, and the range of potential applications is considerably more broad.

categories: cond-mat.dis-nn gr-qc hep-th math-ph math.MP math.PR


title: Mathematical Properties of Generalized Shape Expansion-Based Motion Planning Algorithms

abstract: Motion planning is an essential aspect of autonomous systems and robotics and is an active area of research. A recently-proposed sampling-based motion planning algorithm, termed 'Generalized Shape Expansion' (GSE), has been shown to possess significant improvement in computational time over several existing well-established algorithms. The GSE has also been shown to be probabilistically complete. However, asymptotic optimality of the GSE is yet to be studied. To this end, in this paper we show that the GSE algorithm is not asymptotically optimal by studying its behaviour for the promenade problem. In order to obtain a probabilistically complete and asymptotically optimal generalized shape-based algorithm, a modified version of the GSE, namely 'GSE*' algorithm, is subsequently presented. The forementioned desired mathematical properties of the GSE* algorithm are justified by its detailed analysis. Numerical simulations are found to be in line with the theoretical results on the GSE* algorithm.


title: Minimally-Supervised Structure-Rich Text Categorization via Learning on Text-Rich Networks

abstract: Text categorization is an essential task in Web content analysis. Considering the ever-evolving Web data and new emerging categories, instead of the laborious supervised setting, in this paper, we focus on the minimally-supervised setting that aims to categorize documents effectively, with a couple of seed documents annotated per category. We recognize that texts collected from the Web are often structure-rich, i.e., accompanied by various metadata. One can easily organize the corpus into a text-rich network, joining raw text documents with document attributes, high-quality phrases, label surface names as nodes, and their associations as edges. Such a network provides a holistic view of the corpus' heterogeneous data sources and enables a joint optimization for network-based analysis and deep textual model training. We therefore propose a novel framework for minimally supervised categorization by learning from the text-rich network. Specifically, we jointly train two modules with different inductive biases -- a text analysis module for text understanding and a network learning module for class-discriminative, scalable network learning. Each module generates pseudo training labels from the unlabeled document set, and both modules mutually enhance each other by co-training using pooled pseudo labels. We test our model on two real-world datasets. On the challenging e-commerce product categorization dataset with 683 categories, our experiments show that given only three seed documents per category, our framework can achieve an accuracy of about 92%, significantly outperforming all compared methods; our accuracy is only less than 2% away from the supervised BERT model trained on about 50K labeled documents.


title: Evolutionary optimization of contexts for phonetic correction in speech recognition systems

abstract: Automatic Speech Recognition (ASR) is an area of growing academic and commercial interest due to the high demand for applications that use it to provide a natural communication method. It is common for general purpose ASR systems to fail in applications that use a domain-specific language. Various strategies have been used to reduce the error, such as providing a context that modifies the language model and post-processing correction methods. This article explores the use of an evolutionary process to generate an optimized context for a specific application domain, as well as different correction techniques based on phonetic distance metrics. The results show the viability of a genetic algorithm as a tool for context optimization, which, added to a post-processing correction based on phonetic representations, can reduce the errors on the recognized speech.


title: What Produces Dust Polarization in the HH 212 Protostellar Disk at 878 {\mu}m: Dust Self-Scattering or Dichroic Extinction?

abstract: We report new dust polarization results of a nearly edge-on disk in the HH 212 protostellar system, obtained with ALMA at ~ 0.035" (14 au) resolution in continuum at lambda ~ 878 um. Dust polarization is detected within ~ 44 au of the central source, where a rotationally supported disk has formed. The polarized emission forms V-shaped structures opening to the east and probably west arising from the disk surfaces and arm structures further away in the east and west that could be due to potential spiral arms excited in the outer disk. The polarization orientations are mainly parallel to the minor axis of the disk, with some in the western part tilting slightly away from the minor axis to form a concave shape with respect to the center. This tilt of polarization orientations is expected from dust self-scattering, e.g., by 50-75 um grains in a young disk. The polarized intensity and polarization degree both peak near the central source with a small dip at the central source and decrease towards the edges. These decreases of polarized intensity and polarization degree are expected from dichroic extinction by grains aligned by poloidal fields, but may also be consistent with dust self-scattering if the grain size decreases toward the edges. It is possible that both mechanisms are needed to produce the observed dust polarization, suggesting the presence of both grain growth and poloidal fields in the disk.


title: Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification

abstract: In goal-oriented requirements engineering, goal conflict identification is of fundamental importance for requirements analysis. The task aims to find the feasible situations which make the goals diverge within the domain, called boundary conditions (BCs). However, the existing approaches for goal conflict identification fail to find sufficient BCs and general BCs which cover more combinations of circumstances. From the BCs found by these existing approaches, we have observed an interesting phenomenon that there are some pairs of BCs are similar in formula structure, which occurs frequently in the experimental cases. In other words, once a BC is found, a new BC may be discovered quickly by slightly changing the former. It inspires us to develop a local search algorithm named LOGION to find BCs, in which the structural similarity is captured by the neighborhood relation of formulae. Based on structural similarity, LOGION can find a lot of BCs in a short time. Moreover, due to the large number of BCs identified, it potentially selects more general BCs from them. By taking experiments on a set of cases, we show that LOGION effectively exploits the structural similarity of BCs. We also compare our algorithm against the two state-of-the-art approaches. The experimental results show that LOGION produces one order of magnitude more BCs than the state-of-the-art approaches and confirm that LOGION finds out more general BCs thanks to a large number of BCs.


title: Characterization of the muography background using the Muon Telescope (MuTe)

abstract: In this work, we estimate the background components in muography using the MuTe: a hybrid muon telescope composed of two subdetectors -a scintillator hodoscope and a Water Cherenkov Detector (WCD). The hodoscope records the trajectories of particles crossing the telescope, while the WCD measures their energy loss. The MuTe hodoscope reconstructs 3841 different directions with an angular resolution of 32 mrad for an inter-panel distance of 2.5 m. The spatial resolution can reach $\sim$25.6 m assuming an 800 m distance to the target. The WCD measures the deposited energy from 50 MeV to 1.5 GeV with a resolution of 0.72 MeV. MuTe discriminates muography background sources such as: upward coming muons, scattered muons, the soft component of Extensive Air Showers (EAS), and particles arriving simultaneously. They are filtered by using measurements of deposited energy (WCD) and Time-of-Flight. The WCD differentiates single muons, electrons/positrons, and multiparticle events. On the other hand, the ToF measurements allow us to estimate the muon momentum establishing an energy threshold to decrease the background contribution of scattered muons. Upward coming muons are rejected by means of the particle arrival direction determined by the ToF sign. We concluded that near 36% of the recorded events belong to the electromagnetic component (electrons and positrons), roughly 30.4% is caused by multiple particle events that arrive with time differences < 100 ns and the last 34% are caused by muons. The muonic soft component (< 1 GeV/c) represents 46% of the single-muon events. The upward going particles add up the 22% of the total flux crossing the MuTe.


title: Towards Activity-Centric Access Control for Smart Collaborative Ecosystems

abstract: The ubiquitous presence of smart devices along with advancements in connectivity coupled with the elastic capabilities of cloud and edge systems have nurtured and revolutionized smart ecosystems. Intelligent, integrated cyber-physical systems offer increased productivity, safety, efficiency, speed and support for data driven applications beyond imagination just a decade ago. Since several connected devices work together as a coordinated unit to ensure efficiency and automation, the individual operations they perform are often reliant on each other. Therefore, it is important to control what functions or activities different devices can perform at a particular moment of time, and how they are related to each other. It is also important to consider additional factors such as conditions, obligation or mutability of activities, which are critical in deciding whether or not a device can perform a requested activity. In this paper, we take an initial step to propose and discuss the concept of Activity-Centric Access Control (ACAC) for smart and connected ecosystem. We discuss the notion of activity with respect to the collaborative and distributed yet integrated systems and identify the different entities involved along with the important factors to make an activity control decision. We outline a preliminary approach for defining activity control expressions which can be applied to different smart objects in the system. The main goal of this paper is to present the vision and need for the activity-centric approach for access control in connected smart systems, and foster discussion on the identified future research agenda.


title: Generalized Equivariance and Preferential Labeling for GNN Node Classification

abstract: Existing graph neural networks (GNNs) largely rely on node embeddings, which represent a node as a vector by its identity, type, or content. However, graphs with unattributed nodes widely exist in real-world applications (e.g., anonymized social networks). Previous GNNs either assign random labels to nodes (which introduces artefacts to the GNN) or assign one embedding to all nodes (which fails to explicitly distinguish one node from another). Further, when these GNNs are applied to unattributed node classification problems, they have an undesired equivariance property, which are fundamentally unable to address the data with multiple possible outputs. In this paper, we analyze the limitation of existing approaches to node classification problems. Inspired by our analysis, we propose a generalized equivariance property and a Preferential Labeling technique that satisfies the desired property asymptotically. Experimental results show that we achieve high performance in several unattributed node classification tasks.


title: Localized Wannier function based tight-binding models for two-dimensional allotropes of bismuth

abstract: With its monoelemental composition, various crystalline forms and an inherently strong spin-orbit coupling, bismuth has been regarded as an ideal prototype material to expand our understanding of topological electronic structures. In particular, two-dimensional bismuth thin films have attracted a growing interest due to potential applications in topological transistors and spintronics. This calls for an effective physical model to give an accurate interpretation of the novel topological phenomena shown by two-dimensional bismuth. However, the conventional semi-empirical approach of adapting bulk bismuth hoppings fails to capture the topological features of two-dimensional bismuth allotropes because the electronic band topology is heavily influenced by crystalline symmetries as well as atom spacings. Here we provide a new parameterization using localized Wannier functions derived from the Bloch states in first-principles calculations. We construct new tight-binding models for three types of two-dimensional bismuth allotropes: a Bi (111) bilayer, bismuthene and a Bi(110) bilayer. We demonstrate that our tight-binding models can successfully reproduce the band structures, symmetries and topological features of these two-dimensional allotropes. We anticipate that these models can be extended to other similar two-dimensional topological structures such as antimonene and arsenene. Moreover, these models can serve as a starting point for investigating the electron/spin transport and electromagnetic response in low-dimensional topological devices.


title: When is Early Classification of Time Series Meaningful?

abstract: Since its introduction two decades ago, there has been increasing interest in the problem of early classification of time series. This problem generalizes classic time series classification to ask if we can classify a time series subsequence with sufficient accuracy and confidence after seeing only some prefix of a target pattern. The idea is that the earlier classification would allow us to take immediate action, in a domain in which some practical interventions are possible. For example, that intervention might be sounding an alarm or applying the brakes in an automobile. In this work, we make a surprising claim. In spite of the fact that there are dozens of papers on early classification of time series, it is not clear that any of them could ever work in a real-world setting. The problem is not with the algorithms per se but with the vague and underspecified problem description. Essentially all algorithms make implicit and unwarranted assumptions about the problem that will ensure that they will be plagued by false positives and false negatives even if their results suggested that they could obtain near-perfect results. We will explain our findings with novel insights and experiments and offer recommendations to the community.


title: Senone-aware Adversarial Multi-task Training for Unsupervised Child to Adult Speech Adaptation

abstract: Acoustic modeling for child speech is challenging due to the high acoustic variability caused by physiological differences in the vocal tract. The dearth of publicly available datasets makes the task more challenging. In this work, we propose a feature adaptation approach by exploiting adversarial multi-task training to minimize acoustic mismatch at the senone (tied triphone states) level between adult and child speech and leverage large amounts of transcribed adult speech. We validate the proposed method on three tasks: child speech recognition, child pronunciation assessment, and child fluency score prediction. Empirical results indicate that our proposed approach consistently outperforms competitive baselines, achieving 7.7% relative error reduction on speech recognition and up to 25.2% relative gains on the evaluation tasks.


title: Optimal Sorting Circuits for Short Keys

abstract: A long-standing open question in the algorithms and complexity literature is whether there exist sorting circuits of size $o(n \log n)$. A recent work by Asharov, Lin, and Shi (SODA'21) showed that if the elements to be sorted have short keys whose length $k = o(\log n)$, then one can indeed overcome the $n\log n$ barrier for sorting circuits, by leveraging non-comparison-based techniques. More specifically, Asharov et al.~showed that there exist $O(n) \cdot \min(k, \log n)$-sized sorting circuits for $k$-bit keys, ignoring $poly\log^*$ factors. Interestingly, the recent works by Farhadi et al. (STOC'19) and Asharov et al. (SODA'21) also showed that the above result is essentially optimal for every key length $k$, assuming that the famous Li-Li network coding conjecture holds. Note also that proving any {\it unconditional} super-linear circuit lower bound for a wide class of problems is beyond the reach of current techniques. Unfortunately, the approach taken by Asharov et al.~to achieve optimality in size somewhat crucially relies on sacrificing the depth: specifically, their circuit is super-{\it poly}logarithmic in depth even for 1-bit keys. Asharov et al.~phrase it as an open question how to achieve optimality both in size and depth. In this paper, we close this important gap in our understanding. We construct a sorting circuit of size $O(n) \cdot \min(k, \log n)$ (ignoring $poly\log^*$ terms) and depth $O(\log n)$. To achieve this, our approach departs significantly from the prior works. Our result can be viewed as a generalization of the landmark result by Ajtai, Koml\'os, and Szemer\'edi (STOC'83), simultaneously in terms of size and depth. Specifically, for $k = o(\log n)$, we achieve asymptotical improvements in size over the AKS sorting circuit, while preserving optimality in depth.


title: On the Generic Low-Rank Matrix Completion

abstract: This paper investigates the low-rank matrix completion (LRMC) problem from a generic vantage point. Unlike most existing work that has focused on recovering a low-rank matrix from a subset of the entries with specified values, the only information available here is just the pattern (i.e., positions) of observed entries. To be precise, given is an $n\times m$ pattern matrix ($n\le m$) whose entries take fixed zero, unknown generic values, and missing values that are free to be chosen from the complex field, the question of interest is whether there is a matrix completion with rank no more than $n-k$ ($k\ge 1$) for almost all values of the unknown generic entries, which is called the generic low-rank matrix completion (GLRMC) associated with $({\cal M},k)$, and abbreviated as GLRMC$({\cal M},k)$. Leveraging an elementary tool from the theory on systems of polynomial equations, we give a simple proof for genericity of this problem, which was first observed by $Kir\'aly et al.$, that is, depending on the pattern of the observed entries, the answer is either yes or no, for almost all realizations of the unknown generic entries. We provide necessary and sufficient conditions ensuring feasibility of GLRMC$({\cal M},1)$. Aso, we provide a sufficient condition and a necessary condition (which we conjecture to be sufficient too) for the general case (i.e., $k\ge 1$). In the following, two randomized algorithms are presented to determine upper and lower bounds for the generic minimum completion rank. Our approaches are based on the algebraic geometry theory, and a novel basis preservation principle discovered herein. Finally, numerical simulations are given to corroborate the theoretical findings and the effectiveness of the proposed algorithms.


title: Data Driven Testing of Cyber Physical Systems

abstract: Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such systems is known to be a challenging task. Various quality assurance and testing strategies have been proposed. The most common approach for pre-deployment testing is to model the system and run simulations with models or software in the loop. In practice, most often, tests are run for a small number of simulations, which are selected based on the engineers' domain knowledge and experience. In this paper we propose an approach to automatically generate fault-revealing test cases for CPS. We have implemented our approach in Python, using standard frameworks and used it to generate scenarios violating temperature constraints for a smart thermostat implemented as a part of our IoT testbed. Data collected from an application managing a smart building have been used to learn models of the environment under ever changing conditions. The suggested approach allowed us to identify several pit-fails, scenarios (i.e., environment conditions and inputs), where the system behaves not as expected.


title: DeepThermal: Combustion Optimization for Thermal Power Generating Units Using Offline Reinforcement Learning

abstract: Optimizing the combustion efficiency of a thermal power generating unit (TPGU) is a highly challenging and critical task in the energy industry. We develop a new data-driven AI system, namely DeepThermal, to optimize the combustion control strategy for TPGUs. At its core, is a new model-based offline reinforcement learning (RL) framework, called MORE, which leverages historical operational data of a TGPU to solve a highly complex constrained Markov decision process problem via purely offline training. In DeepThermal, we first learn a data-driven combustion process simulator from the offline dataset. The RL agent of MORE is then trained by combining real historical data as well as carefully filtered and processed simulation data through a novel restrictive exploration scheme. DeepThermal has been successfully deployed in four large coal-fired thermal power plants in China. Real-world experiments show that DeepThermal effectively improves the combustion efficiency of TPGUs. We also report the superior performance of MORE by comparing with the state-of-the-art algorithms on the standard offline RL benchmarks.


title: Search for sub-millicharged particles at J-PARC

abstract: We studied the feasibility of an experiment searching for sub-millicharged particles ($\chi$s) using 30 GeV proton fixed-target collisions at J-PARC. The detector is composed of two layers of stacked scintillator bars and PMTs and is proposed to be installed 280 m from the target. The main background is a random coincidence between two layers due to dark counts in PMTs, which can be reduced to a negligible level using the timing of the proton beam. With $N_\textrm{POT}=10^{22}$ which corresponds to running the experiment for three years, the experiment provides sensitivity to $\chi$s with the charge down to $5\times10^{-5}$ in $m_\chi<0.2$ $\textrm{GeV}/\textrm{c}^2$ and $8\times10^{-4}$ in $m_\chi<1.6$ $\textrm{GeV}/\textrm{c}^2$. This is the regime largely uncovered by the previous experiments. We also explored a few detector designs to achieve an optimal sensitivity to $\chi$s. The photoelectron yield is the main driver, but the sensitivity does not have a strong dependence on the detector configuration in the sub-millicharge regime.