title: Hund's physics and the magnetic ground state of CrOX (X = Cl, Br)

abstract: To understand the magnetic property of layered van der Waals materials CrOX (X = Cl, Br), we performed the detailed first-principles calculations for both bulk and monolayer. We found that the charge-only density functional theory combined with the explicit on-site interaction terms (so-called cDFT$+U$) well reproduces the experimental magnetic ground state of bulk CrOX, which is not the case for the use of spin-dependent density functional (so-called sDFT$+U$). Unlike some of the previous studies, our results show that CrOX monolayers are antiferromagnetic as in the bulk. It is also consistent with our magnetic force linear response calculation of exchange couplings $J_{\rm ex}$. The result of orbital-decomposed $J_{\rm ex}$ calculations shows that the Cr $t_\textrm{2g}$-$t_\textrm{2g}$ component mainly contributes to the antiferromagnetic order in both bulk and monolayer. Our result and analysis show that taking the correct Hund's physics into account is of key importance to construct the magnetic phase diagram and to describe the electronic structure.


title: Generalized Bregman envelopes and proximity operators

abstract: Every maximally monotone operator can be associated with a family of convex functions, called the Fitzpatrick family or family of representative functions. Surprisingly, in 2017, Burachik and Mart\'inez-Legaz showed that the well-known Bregman distance is a particular case of a general family of distances, each one induced by a specific maximally monotone operator and a specific choice of one of its representative functions. For the family of generalized Bregman distances, sufficient conditions for convexity, coercivity, and supercoercivity have recently been furnished. Motivated by these advances, we introduce in the present paper the generalized left and right envelopes and proximity operators, and we provide asymptotic results for parameters. Certain results extend readily from the more specific Bregman context, while others only extend for certain generalized cases. To illustrate, we construct examples from the Bregman generalizing case, together with the natural "extreme" cases that highlight the importance of which generalized Bregman distance is chosen.


title: Three dimensional unique identifier based automated georeferencing and coregistration of point clouds in underground environment

abstract: Spatially and geometrically accurate laser scans are essential in modelling infrastructure for applications in civil, mining and transportation. Monitoring of underground or indoor environments such as mines or tunnels is challenging due to unavailability of a sensor positioning framework, complicated structurally symmetric layouts, repetitive features and occlusions. Current practices largely include a manual selection of discernable reference points for georeferencing and coregistration purpose. This study aims at overcoming these practical challenges in underground or indoor laser scanning. The developed approach involves automatically and uniquely identifiable three dimensional unique identifiers (3DUIDs) in laser scans, and a 3D registration (3DReG) workflow. Field testing of the method in an underground tunnel has been found accurate, effective and efficient. Additionally, a method for automatically extracting roadway tunnel profile has been exhibited. The developed 3DUID can be used in roadway profile extraction, guided automation, sensor calibration, reference targets for routine survey and deformation monitoring.


title: Dither computing: a hybrid deterministic-stochastic computing framework

abstract: Stochastic computing has a long history as an alternative method of performing arithmetic on a computer. While it can be considered an unbiased estimator of real numbers, it has a variance and MSE on the order of $\Omega(\frac{1}{N})$. On the other hand, deterministic variants of stochastic computing remove the stochastic aspect, but cannot approximate arbitrary real numbers with arbitrary precision and are biased estimators. However, they have an asymptotically superior MSE on the order of $O(\frac{1}{N^2})$. Recent results in deep learning with stochastic rounding suggest that the bias in the rounding can degrade performance. We proposed an alternative framework, called dither computing, that combines aspects of stochastic computing and its deterministic variants and that can perform computing with similar efficiency, is unbiased, and with a variance and MSE also on the optimal order of $\Theta(\frac{1}{N^2})$. We also show that it can be beneficial in stochastic rounding applications as well. We provide implementation details and give experimental results to comparatively show the benefits of the proposed scheme.


title: Stochastic fluctuation and transport of tokamak edge plasmas with the resonant magnetic perturbation field

abstract: We present that a statistical method known as the Complexity-Entropy analysis is useful to characterize a state of plasma turbulence and flux in the resonant magnetic perturbation (RMP) edge localized mode (ELM) control experiment. The RMP ELM suppression phase with the stochastic pedestal top temperature fluctuation can be distinguished from the natural ELM free phase with the chaotic fluctuation. It is discussed that the stochastic temperature fluctuation localized near the pedestal top can be originated from the narrow layer of the field penetration near the pedestal top. The forced magnetic island can emit the resonant drift wave of comparable sizes (relatively low-k) in the RMP ELM suppression phase, and it can results in the generation of stochastic higher wavenumber fluctuations coupled to tangled fields around the island. The analysis of the ion saturation current measurement around the main outer striking point on the divertor shows that it also becomes more stochastic as the stronger plasma response to the RMP field is expected.


title: Provable Super-Convergence with a Large Cyclical Learning Rate

abstract: Conventional wisdom dictates that learning rate should be in the stable regime so that gradient-based algorithms don't blow up. This letter introduces a simple scenario where an unstably large learning rate scheme leads to a super fast convergence, with the convergence rate depending only logarithmically on the condition number of the problem. Our scheme uses a Cyclical Learning Rate (CLR) where we periodically take one large unstable step and several small stable steps to compensate for the instability. These findings also help explain the empirical observations of [Smith and Topin, 2019] where they show that CLR with a large maximum learning rate can dramatically accelerate learning and lead to so-called "super-convergence". We prove that our scheme excels in the problems where Hessian exhibits a bimodal spectrum and the eigenvalues can be grouped into two clusters (small and large). The unstably large step is the key to enabling fast convergence over the small eigen-spectrum.


title: General relativistic radiation transport: Implications for VLBI/EHT observations of AGN discs, winds and jets

abstract: In 2019, the Event Horizon Telescope Collaboration (EHTC) has published the first image of a supermassive black hole (SMBH) obtained via the Very Large Baseline Interferometry (VLBI) technique. In the future, it is expected that additional and more sensitive VLBI observations will be pursued for other nearby Active Galactic Nuclei (AGN), and it is therefore important to understand which possible features can be expected in such images. In this paper, we post-process General Relativistic Magneto-Hydrodynamical (GR-MHD) simulations which include resistivity, thus providing a self-consistent jet formation model, including resistive mass loading of a wind launched from a disc in Keplerian rotation. The ray-tracing is done using the General Relativistic Ray-Tracing code GRTRANS assuming synchrotron emission. We study the appearance of the black hole environment including the accretion disc, winds and jets under a large range of condition, varying black hole mass, accretion rate, spin, inclination angle, disc parameters and observed frequency. When we adopt M87-like parameters, we show that we can reproduce a ring-like feature (similar as observed by the EHT) for some of our simulations. The latter suggests that such Keplerian disc models thus could be consistent with the observed results. Depending on their masses, accretion rates, spin and the sensitivity of the observation, we note that other SMBHs may show additional features like winds and jets in the observations.


title: A note on [D. G. Higman 1988 : Strongly regular designs and coherent configurations of type $[{3\atop {\;}}\;\;{2\atop 3}]$]

abstract: In 1988, D. G. Higman gave properties of parameters of strongly regular designs without proof. It included an error. We will give proofs and correct the error.


title: Model Order Reduction for Water Quality Dynamics

abstract: A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport dynamics in drinking water distribution networks has been recently proposed. Such representation is a byproduct of space- and time-discretization of the PDE modeling transport dynamics. This results in a large state-space dimension even for small networks with tens of nodes. Although such a state-space model provides a model-driven approach to predict water quality dynamics, incorporating it into model-based control algorithms or state estimators for large networks is challenging and at times intractable. To that end, this paper investigates model order reduction (MOR) methods for water quality dynamics with the objective of performing post-reduction feedback control. The presented investigation focuses on reducing state-dimension by orders of magnitude, the stability of the MOR methods, and the application of these methods to model predictive control.


title: Removing Atmospheric Fringes from Zwicky Transient Facility i-Band Images using Principal Component Analysis

abstract: The Zwicky Transient Facility is a time-domain optical survey that has substantially increased our ability to observe and construct massive catalogs of astronomical objects by use of its 47 square degree camera that can observe in multiple filters. However the telescope's i-band filter suffers from significant atmospheric fringes that reduce photometric precision, especially for faint sources and in multi-epoch co-additions. Here we present a method for constructing models of these atmospheric fringes using Principal Component Analysis that can be used to identify and remove these artifacts from contaminated images. In addition, we present the Uniform Background Indicator as a quantitative measurement of the reduced correlated background noise and photometric error present after removing fringes. We conclude by evaluating the effect of our method on measuring faint sources through the injection and recovery of artificial stars in both single-image epochs and co-additions. Our method for constructing atmospheric fringe models and applying those models to produce cleaned images is available for public download in the open source python package \href{https://github.com/MichaelMedford/fringez}{fringez}.


title: Dissecting the Diffusion Process in Linear Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) have attracted more and more attentions in recent years. A typical GCN layer consists of a linear feature propagation step and a nonlinear transformation step. Recent works show that a linear GCN can achieve comparable performance to the original non-linear GCN while being much more computationally efficient. In this paper, we dissect the feature propagation steps of linear GCNs from a perspective of continuous graph diffusion, and analyze why linear GCNs fail to benefit from more propagation steps. Following that, we propose Decoupled Graph Convolution (DGC) that decouples the terminal time and the feature propagation steps, making it more flexible and capable of exploiting a very large number of feature propagation steps. Experiments demonstrate that our proposed DGC improves linear GCNs by a large margin and makes them competitive with many modern variants of non-linear GCNs.


title: Communication Efficient Parallel Reinforcement Learning

abstract: We consider the problem where $M$ agents interact with $M$ identical and independent environments with $S$ states and $A$ actions using reinforcement learning for $T$ rounds. The agents share their data with a central server to minimize their regret. We aim to find an algorithm that allows the agents to minimize the regret with infrequent communication rounds. We provide \NAM\ which runs at each agent and prove that the total cumulative regret of $M$ agents is upper bounded as $\Tilde{O}(DS\sqrt{MAT})$ for a Markov Decision Process with diameter $D$, number of states $S$, and number of actions $A$. The agents synchronize after their visitations to any state-action pair exceeds a certain threshold. Using this, we obtain a bound of $O\left(MSA\log(MT)\right)$ on the total number of communications rounds. Finally, we evaluate the algorithm against multiple environments and demonstrate that the proposed algorithm performs at par with an always communication version of the UCRL2 algorithm, while with significantly lower communication.


title: Estimating SARS-CoV-2 Infections from Deaths, Confirmed Cases, Tests, and Random Surveys

abstract: There are many sources of data giving information about the number of SARS-CoV-2 infections in the population, but all have major drawbacks, including biases and delayed reporting. For example, the number of confirmed cases largely underestimates the number of infections, deaths lag infections substantially, while test positivity rates tend to greatly overestimate prevalence. Representative random prevalence surveys, the only putatively unbiased source, are sparse in time and space, and the results come with a big delay. Reliable estimates of population prevalence are necessary for understanding the spread of the virus and the effects of mitigation strategies. We develop a simple Bayesian framework to estimate viral prevalence by combining the main available data sources. It is based on a discrete-time SIR model with time-varying reproductive parameter. Our model includes likelihood components that incorporate data of deaths due to the virus, confirmed cases, and the number of tests administered on each day. We anchor our inference with data from random sample testing surveys in Indiana and Ohio. We use the results from these two states to calibrate the model on positive test counts and proceed to estimate the infection fatality rate and the number of new infections on each day in each state in the USA. We estimate the extent to which reported COVID cases have underestimated true infection counts, which was large, especially in the first months of the pandemic. We explore the implications of our results for progress towards herd immunity.


title: Comparing Inverse Optimization and Machine Learning Methods for Imputing a Convex Objective Function

abstract: Inverse optimization (IO) aims to determine optimization model parameters from observed decisions. However, IO is not part of a data scientist's toolkit in practice, especially as many general-purpose machine learning packages are widely available as an alternative. When encountering IO, practitioners face the question of when, or even whether, investing in developing IO methods is worthwhile. Our paper provides a starting point toward answering these questions, focusing on the problem of imputing the objective function of a parametric convex optimization problem. We compare the predictive performance of three standard supervised machine learning (ML) algorithms (random forest, support vector regression and Gaussian process regression) to the performance of the IO model of Keshavarz, Wang, and Boyd (2011). While the IO literature focuses on the development of methods tailored to particular problem classes, our goal is to evaluate general "out-of-the-box" approaches. Our experiments demonstrate that determining whether to use an ML or IO approach requires considering (i) the training set size, (ii) the dependence of the optimization problem on external parameters, (iii) the level of confidence with regards to the correctness of the optimization prior, and (iv) the number of critical regions in the solution space.


title: Mobility-Aware Routing and Caching: A Federated Learning Assisted Approach

abstract: We consider a service cost minimization problem for resource-constrained small-cell networks with caching, where the challenge mainly stems from (i) the insufficient backhaul capacity and limited network bandwidth and (ii) the limited storing capacity of small-cell base stations (SBSs). Besides, the optimization problem is NP-hard since both the users' mobility patterns and content preferences are unknown. In this paper, we develop a novel mobility-aware joint routing and caching strategy to address the challenges. The designed framework divides the entire geographical area into small sections containing one SBS and several MUs. Based on the concept of one-stop-shop (OSS), we propose a federated routing and popularity learning (FRPL) approach in which the SBSs cooperatively learn the routing and preference of their respective MUs and make a caching decision. The FRPL method completes multiple tasks in one shot, thus reducing the average processing time per global aggregation of learning. By exploiting the outcomes of FRPL together with the estimated service edge of SBSs, the proposed cache placement solution greedily approximates the minimizer of the challenging service cost optimization problem. Theoretical and numerical analyses show the effectiveness of our proposed approaches.


title: MetaDelta: A Meta-Learning System for Few-shot Image Classification

abstract: Meta-learning aims at learning quickly on novel tasks with limited data by transferring generic experience learned from previous tasks. Naturally, few-shot learning has been one of the most popular applications for meta-learning. However, existing meta-learning algorithms rarely consider the time and resource efficiency or the generalization capacity for unknown datasets, which limits their applicability in real-world scenarios. In this paper, we propose MetaDelta, a novel practical meta-learning system for the few-shot image classification. MetaDelta consists of two core components: i) multiple meta-learners supervised by a central controller to ensure efficiency, and ii) a meta-ensemble module in charge of integrated inference and better generalization. In particular, each meta-learner in MetaDelta is composed of a unique pretrained encoder fine-tuned by batch training and parameter-free decoder used for prediction. MetaDelta ranks first in the final phase in the AAAI 2021 MetaDL Challenge\footnote{https://competitions.codalab.org/competitions/26638}, demonstrating the advantages of our proposed system. The codes are publicly available at https://github.com/Frozenmad/MetaDelta.


title: Feature-level Attentive ICF for Recommendation

abstract: Item-based collaborative filtering (ICF) enjoys the advantages of high recommendation accuracy and ease in online penalization and thus is favored by the industrial recommender systems. ICF recommends items to a target user based on their similarities to the previously interacted items of the user. Great progresses have been achieved for ICF in recent years by applying advanced machine learning techniques (e.g., deep neural networks) to learn the item similarity from data. The early methods simply treat all the historical items equally and recently proposed methods attempt to distinguish the different importance of historical items when recommending a target item. Despite the progress, we argue that those ICF models neglect the diverse intents of users on adopting items (e.g., watching a movie because of the director, leading actors, or the visual effects). As a result, they fail to estimate the item similarity on a finer-grained level to predict the user's preference to an item, resulting in sub-optimal recommendation. In this work, we propose a general feature-level attention method for ICF models. The key of our method is to distinguish the importance of different factors when computing the item similarity for a prediction. To demonstrate the effectiveness of our method, we design a light attention neural network to integrate both item-level and feature-level attention for neural ICF models. It is model-agnostic and easy-to-implement. We apply it to two baseline ICF models and evaluate its effectiveness on six public datasets. Extensive experiments show the feature-level attention enhanced models consistently outperform their counterparts, demonstrating the potential of differentiating user intents on the feature-level for ICF recommendation models.


title: Joint Estimation of Multipath Angles and Delays for Millimeter-Wave Cylindrical Arrays with Hybrid Front-ends

abstract: Accurate channel parameter estimation is challenging for wideband millimeter-wave (mmWave) large-scale hybrid arrays, due to beam squint and much fewer radio frequency (RF) chains than antennas. This paper presents a novel joint delay and angle estimation approach for wideband mmWave fully-connected hybrid uniform cylindrical arrays. We first design a new hybrid beamformer to reduce the dimension of received signals on the horizontal plane by exploiting the convergence of the Bessel function, and to reduce the active beams in the vertical direction through preselection. The important recurrence relationship of the received signals needed for subspace-based angle and delay estimation is preserved, even with substantially fewer RF chains than antennas. Then, linear interpolation is generalized to reconstruct the received signals of the hybrid beamformer, so that the signals can be coherently combined across the whole band to suppress the beam squint. As a result, efficient subspace-based algorithm algorithms can be developed to estimate the angles and delays of multipath components. The estimated delays and angles are further matched and correctly associated with different paths in the presence of non-negligible noises, by putting forth perturbation operations. Simulations show that the proposed approach can approach the Cram\'{e}r-Rao lower bound (CRLB) of the estimation with a significantly lower computational complexity than existing techniques.


title: Two-distance transitive normal Cayley graphs

abstract: In this paper, we construct an infinite family of normal Cayley graphs, which are $2$-distance-transitive but neither distance-transitive nor $2$-arc-transitive. This answers a question raised by Chen, Jin and Li in 2019 and corrects a claim in a literature given by Pan, Huang and Liu in 2015.


title: Khovanov homology via 1-tangle diagrams in the annulus

abstract: We show that the reduced Khovanov homology of an oriented link $L$ in $S^3$ can be expressed as the homology of a chain complex constructed from a description of $L$ as the closure of a 1-tangle diagram $T$ in the annulus. Our chain complex is constructed using a cube of resolutions of $T$ in a manner similar to ordinary Khovanov homology, but it is typically smaller than the ordinary Khovanov chain complex and has several unusual features, such as long differentials corresponding to pairs of successive saddles in the cube of resolutions. Our chain complex carries a natural filtration, which we use to construct a spectral sequence that converges to reduced Khovanov homology. Our results are part of a larger program to construct an analog of Khovanov homology for links in lens spaces by generalizing a symplectic interpretation of Khovanov homology due to Hedden, Herald, Hogancamp, and Kirk, and our chain complex was predicted by this program for the case when the lens space is $S^3$.


title: CSIT-Free Model Aggregation for Federated Edge Learning via Reconfigurable Intelligent Surface

abstract: We study over-the-air model aggregation in federated edge learning (FEEL) systems, where channel state information at the transmitters (CSIT) is assumed to be unavailable. We leverage the reconfigurable intelligent surface (RIS) technology to align the cascaded channel coefficients for CSIT-free model aggregation. To this end, we jointly optimize the RIS and the receiver by minimizing the aggregation error under the channel alignment constraint. We then develop a difference-of-convex algorithm for the resulting non-convex optimization. Numerical experiments on image classification show that the proposed method is able to achieve a similar learning accuracy as the state-of-the-art CSIT-based solution, demonstrating the efficiency of our approach in combating the lack of CSIT.

categories: cs.IT cs.LG cs.NI eess.SP math.IT stat.ML


title: Coping with Mistreatment in Fair Algorithms

abstract: Machine learning actively impacts our everyday life in almost all endeavors and domains such as healthcare, finance, and energy. As our dependence on the machine learning increases, it is inevitable that these algorithms will be used to make decisions that will have a direct impact on the society spanning all resolutions from personal choices to world-wide policies. Hence, it is crucial to ensure that (un)intentional bias does not affect the machine learning algorithms especially when they are required to take decisions that may have unintended consequences. Algorithmic fairness techniques have found traction in the machine learning community and many methods and metrics have been proposed to ensure and evaluate fairness in algorithms and data collection. In this paper, we study the algorithmic fairness in a supervised learning setting and examine the effect of optimizing a classifier for the Equal Opportunity metric. We demonstrate that such a classifier has an increased false positive rate across sensitive groups and propose a conceptually simple method to mitigate this bias. We rigorously analyze the proposed method and evaluate it on several real world datasets demonstrating its efficacy.


title: Using a Cognitive Network Model of Moral and Social Beliefs to Explain Belief Change

abstract: Scepticism towards childhood vaccines and genetically modified food has grown despite scientific evidence of their safety. Beliefs about scientific issues are difficult to change because they are entrenched within many related moral concerns and beliefs about what others think. We propose a cognitive network model which estimates the relationships, dissonance, and randomness between all related beliefs to derive predictions of the circumstances under which beliefs change. Using a probabilistic nationally representative longitudinal study, we found support for our model's predictions: Randomness of the belief networks decreased over time, for many participants their estimated dissonance related positively to their self-reported dissonance, and individuals who had high estimated dissonance of their belief network were more likely to change their beliefs to reduce this dissonance. This study is the first to combine a unifying predictive model with an experimental intervention and sheds light on dynamics of dissonance reduction leading to belief change.


title: Capturing the inside-out quenching by black holes with far-infrared atomic line ratios

abstract: We propose to use relative strengths of far-infrared fine structure lines from galaxies to characterise early phases of the inside-out quenching by massive black holes (BHs). The BH feedback is thought to quench star formation by evacuating the ambient gas. In order to quantify the feedback effect on the gas density in the galactic centres, we utilise the outputs of IllustrisTNG and Illustris simulations, which implement different BH feedback models. We devise a physical model of H$_{\rm ~II}$ regions and compute the intensities of [O$_{\rm ~III}$] $52$ and $88~{\rm \mu m}$ lines. The line intensity ratio is sensitive to the local electron density, and thus can be used to measure the strength and physical extent of the BH quenching. If the BH feedback abruptly operates and expel the gas when it grows to a certain mass, as modelled in IllustrisTNG, the low-density gas yields relatively weak [O$_{\rm ~III}$] $52$ line with respect to $88~{\rm \mu m}$. In contrast, if the feedback strength and hence the local gas density are not strongly correlated with the BH mass, as in Illustris, the line ratio is not expected to vary significantly among galaxies with different evolutionary stages. We find these features are reproduced in the simulations. We also show that the line ratios are not sensitive to the aperture size for measurement, and thus observations do not need to resolve the galactic centres. We argue that the integrated line ratios can be used to capture the onset of the inside-out quenching by BHs.


title: Modeling Chromate Removal Using Ion Exchangers in Drinking Water Applications

abstract: Chromates are widely used for their anticorrosive properties. Unfortunately, they are highly hazardous with environmental agencies regulating their levels to below 10 ppb in drinking water. As anion exchange resins are typically used for removal, predictive dynamic models are necessary to make quick decisions rather than relying on experimental data that could take several days to implement. With various dynamic models currently applied to simulate the ion exchange process, the Thomas model was picked for its simplicity and better accuracy when compared to other models. The Thomas model contains two parameters, the constant (KT) and the maximum resin capacity (qm), which are empirically calculated. Unfortunately, the model demonstrated large parameter fluctuations with no correlation to varying contact times or inlet chromate concentrations. Therefore, fixing both parameters will lead to failed model predictive behavior. By fixing the value of qm and proposing a linear relationship of KT with resin contact time and inlet chromate concentration, the accuracy of the model was improved five-fold, demonstrating its potential for better process controls.


title: Wallpaper group kirigami

abstract: Kirigami, the art of paper cutting, has become a paradigm for mechanical metamaterials in recent years. The basic building blocks of any kirigami structures are repetitive deployable patterns that derive inspiration from geometric art forms and simple planar tilings. Here we complement these approaches by directly linking kirigami patterns to the symmetry associated with the set of seventeen repeating patterns that fully characterize the space of periodic tilings of the plane. We start by showing how to construct deployable kirigami patterns using any of the wallpaper groups, and then design symmetry-preserving cut patterns to achieve arbitrary size changes via deployment. We further prove that different symmetry changes can be achieved by controlling the shape and connectivity of the tiles and connect these results to the underlying kirigami-based lattice structures. All together, our work provides a systematic approach for creating a broad range of kirigami-based deployable structures with any prescribed size and symmetry properties.

categories: cond-mat.soft cond-mat.mtrl-sci cs.CG physics.app-ph


title: Phase diagram of the spin-1/2 Yukawa-SYK model: Non-Fermi liquid, insulator, and superconductor

abstract: We analyze the phase diagram of the Yukawa-Sachdev-Ye-Kitaev model, which describes complex fermions randomly interacting with real bosons via a Yukawa coupling, at finite temperatures and varying fermion density. In a recent work [Phys. Rev. Research 2, 033084 (2020)] it has been shown that, upon varying filling or chemical potential, there exists a first-order quantum phase transition between a non-Fermi liquid (nFL) phase and an insulating phase. Here we show that in such a model with time-reversal symmetry this quantum phase transition is preempted by a pairing phase that develops as a low-temperature instability. As a remnant of the would-be nFL-insulator transition, the superconducting critical temperature rapidly decreases beyond a certain chemical potential. On the other hand, depending on parameters the first-order quantum phase transition extend to finite-temperatures and terminate at a thermal critical point, beyond which the nFL and the insulator become the same phase, similar to that of the liquid-gas and metal-insulator transition in real materials. We determine the pairing phase boundary and the location of the thermal critical point via combined analytic and quantum Monte Carlo numeric efforts. Our results provide the model realization of the transition of nFL's towards superconductivity and insulating states, therefore offer a controlled platform for future investigations of the generic phase diagram that hosts nFL, insulator and superconductor and their phase transitions.


title: Equilibrium Price Formation with a Major Player and its Mean Field Limit

abstract: In this article, we consider the problem of equilibrium price formation in an incomplete securities market consisting of one major financial firm and a large number of minor firms. They carry out continuous trading via the securities exchange to minimize their cost while facing idiosyncratic and common noises as well as stochastic order flows from their individual clients. The equilibrium price process that balances demand and supply of the securities, including the functional form of the price impact for the major firm, is derived endogenously both in the market of finite population size and in the corresponding mean field limit.


title: Self-Supervised Learning of Graph Neural Networks: A Unified Review

abstract: Deep models trained in supervised mode have achieved remarkable success on a variety of tasks. When labeled samples are limited, self-supervised learning (SSL) is emerging as a new paradigm for making use of large amounts of unlabeled samples. SSL has achieved promising performance on natural language and image learning tasks. Recently, there is a trend to extend such success to graph data using graph neural networks (GNNs). In this survey, we provide a unified review of different ways of training GNNs using SSL. Specifically, we categorize SSL methods into contrastive and predictive models. In either category, we provide a unified framework for methods as well as how these methods differ in each component under the framework. Our unified treatment of SSL methods for GNNs sheds light on the similarities and differences of various methods, setting the stage for developing new methods and algorithms. We also summarize different SSL settings and the corresponding datasets used in each setting. To facilitate methodological development and empirical comparison, we develop a standardized testbed for SSL in GNNs, including implementations of common baseline methods, datasets, and evaluation metrics.


title: Highly Anisotropic Excitons and Multiple Phonon Bound States in a Van der Waals Antiferromagnetic Insulator

abstract: Two-dimensional semiconducting systems, such as quantum wells and transition metal dichalcogenides, are the foundations to investigate low dimensional light-matter interactions. To date, the study of elementary photoexcitation, namely the exciton, in 2D semiconductors with intrinsic magnetic order remains a challenge due to the lack of suitable material platforms. Here, we report an observation of excitons coupled to zigzag antiferromagnetic order in the layered antiferromagnetic insulator NiPS3 using both photoluminescence (PL) and optical reflection spectroscopy. The exciton exhibits a linewidth as narrow as ~350 ueV with near unity linear polarization in the PL spectrum. As the thicknesses of samples is reduced from five layers to bilayers, the PL intensity is drastically suppressed and eventually vanishes in monolayers, consistent with the calculated bandgap being highly indirect for both bilayer and monolayer. We observed strong linear dichroism (LD) over a broad spectra range, which shares the same optical anisotropy axis, being locked to the zigzag direction, as the exciton PL. Both LD and the degree of linear polarization in the exciton PL decrease as the temperature increases and become negligible above the Neel temperature. These observations suggest both optical quantities are probes of the symmetry breaking magnetic order parameter. In addition, a sharp resonance in the LD spectrum is observed with an energy near the exciton PL. There exist over ten exciton-A1g phonon bound states on its high energy side, which likely result from the strong modulation of the ligand-to-metal charge transfer energy by strong electron-lattice interactions. Our work establishes NiPS3 as a new 2D platform for exploring magneto-exciton physics with strong correlations, as well as a building block for 2D heterostructures for engineering physical phenomena with time reversal symmetry breaking.


title: Hide and Seek: Outwitting Community Detection Algorithms

abstract: Community affiliation of a node plays an important role in determining its contextual position in the network, which may raise privacy concerns when a sensitive node wants to hide its identity in a network. Oftentimes, a target community seeks to protect itself from adversaries so that its constituent members remain hidden inside the network. The current study focuses on hiding such sensitive communities so that the community affiliation of the targeted nodes can be concealed. This leads to the problem of community deception which investigates the avenues of minimally rewiring nodes in a network so that a given target community maximally hides from a community detection algorithm. We formalize the problem of community deception and introduce NEURAL, a novel method that greedily optimizes a node-centric objective function to determine the rewiring strategy. Theoretical settings pose a restriction on the number of strategies that can be employed to optimize the objective function, which in turn reduces the overhead of choosing the best strategy from multiple options. We also show that our objective function is submodular and monotone. When tested on both synthetic and 7 real-world networks, NEURAL is able to deceive 6 widely used community detection algorithms. We benchmark its performance with respect to 4 state-of-the-art methods on 4 evaluation metrics. Additionally, our qualitative analysis of 3 other attributed real-world networks reveals that NEURAL, quite strikingly, captures important meta-information about edges that otherwise could not be inferred by observing only their topological structures.


title: Unsupervised Meta Learning for One Shot Title Compression in Voice Commerce

abstract: Product title compression for voice and mobile commerce is a well studied problem with several supervised models proposed so far. However these models have 2 major limitations; they are not designed to generate compressions dynamically based on cues at inference time, and they do not transfer well to different categories at test time. To address these shortcomings we model title compression as a meta learning problem where we ask can we learn a title compression model given only 1 example compression? We adopt an unsupervised approach to meta training by proposing an automatic task generation algorithm that models the observed label generation process as the outcome of 4 unobserved processes. We create parameterized approximations to each of these 4 latent processes to get a principled way of generating random compression rules, which are treated as different tasks. For our main meta learner, we use 2 models; M1 and M2. M1 is a task agnostic embedding generator whose output feeds into M2 which is a task specific label generator. We pre-train M1 on a novel unsupervised segment rank prediction task that allows us to treat M1 as a segment generator that also learns to rank segments during the meta-training process. Our experiments on 16000 crowd generated meta-test examples show that our unsupervised meta training regime is able to acquire a learning algorithm for different tasks after seeing only 1 example for each task. Further, we show that our model trained end to end as a black box meta learner, outperforms non parametric approaches. Our best model obtains an F1 score of 0.8412, beating the baseline by a large margin of 25 F1 points.


title: A Remark on Equivalence between Two Formulas of the Two point Witten-Kontsevich Correlators

abstract: We prove the equivalence between two explicit expressions for two-point Witten-Kontsevich correlators obtained by M. Bertola, B. Dubrovin, D. Yang and by P. Zograf.


title: Eigenvalues of Laplace operators on non-bipartite graphs

abstract: This paper considers the comparison between the eigenvalues of Laplace operators with the standard conditions and the anti-standard conditions on non-bipartite graphs which are equilateral or inequilateral. First of all, we show the calculation of the eigenvalues of Laplace operators on equilateral metric graphs with arbitrary edge length. Based on this method, we use the properties of the cosine function and the arccosine function to find the comparison between the eigenvalues of Laplace operators with the standard conditions and the anti-standard conditions on equilateral non-bipartite graphs. In addition, we give the inequalities between standard and anti-standard eigenvalues on a special inequilateral non-bipartite graph.


title: Molecular dynamics simulations of $^1$H NMR relaxation in Gd$^{3+}$--aqua

abstract: Atomistic molecular dynamics simulations are used to investigate $^1$H NMR $T_1$ relaxation of water from paramagnetic Gd$^{3+}$ ions in solution at 25$^{\circ}$C. Simulations of the $T_1$ relaxivity dispersion function $r_1$ computed from the Gd$^{3+}$--$^1$H dipole--dipole autocorrelation function agree within $\simeq 8$\% of measurements in the range $f_0 \simeq $ 5 $\leftrightarrow$ 500 MHz, without any adjustable parameters in the interpretation of the simulations, and without any relaxation models. The simulation results are discussed in the context of the Solomon-Bloembergen-Morgan inner-sphere relaxation model, and the Hwang-Freed outer-sphere relaxation model. Below $f_0 \lesssim $ 5 MHz, the simulation overestimates $r_1$ compared to measurements, which is used to estimate the zero-field electron-spin relaxation time. The simulations show potential for predicting $r_1$ at high frequencies in chelated Gd$^{3+}$ contrast-agents used for clinical MRI.


title: On the cause of Zeta potential of a charged vesicle. The extra- and intravesicular membrane charges contribute differently to the extra- and intravesicular potential

abstract: When the charge densities on the inner and outer surface of the vesicle membrane are similar one may assume that the potential at a point closer to the outer/inner surface is more affected by the charges located at the outer/inner surface of the vesicle membrane. However, because of the curvature of the vesicle and the screening effect of the electrolyte ions the situation is more complicated. When the charge densities at the inner and outer surface of the vesicle membrane are the same then at any finite distance Z from the center of the vesicle the contribution of the charges, located at the outer membrane surface, to the vesicle potential Vex is different from the contribution of the charges, located at the inner membrane surface, to the vesicle potential Vin. At low electrolyte ion concentrations (from C=0 to 0.00001 [Mol]) Vex/Vin>1 and increases with increasing distance from the center of the vesicle until the external surface of the vesicle membrane. With further increasing distance Vex/Vin remains constant at C=0 [Mol], while at C>0 [Mol] it starts decreasing. However, at high electrolyte ion concentrations (C>0.01 [Mol]) with increasing distance from the center of the vesicle Vex/Vin reaches its maximum at the internal surface of the vesicle membrane. With further increasing distance, close to the outer surface of the vesicle Vex/Vin becomes less than 1 (i.e. the charges at the inner surface of the membrane contribute to the potential more than the charges at the outer surface). Further increasing the distance Vex/Vin reaches its minimum and then increases to 1 (i.e. the charges at the inner surface of the membrane contribute to the potential like the charges at the outer surface of the membrane). With increasing electrolyte ion concentration the minimum of Vex/Vin is getting deeper (approaching zero) and its location is getting closer to the outer surface of the vesicle.


title: Post-hoc Overall Survival Time Prediction from Brain MRI

abstract: Overall survival (OS) time prediction is one of the most common estimates of the prognosis of gliomas and is used to design an appropriate treatment planning. State-of-the-art (SOTA) methods for OS time prediction follow a pre-hoc approach that require computing the segmentation map of the glioma tumor sub-regions (necrotic, edema tumor, enhancing tumor) for estimating OS time. However, the training of the segmentation methods require ground truth segmentation labels which are tedious and expensive to obtain. Given that most of the large-scale data sets available from hospitals are unlikely to contain such precise segmentation, those SOTA methods have limited applicability. In this paper, we introduce a new post-hoc method for OS time prediction that does not require segmentation map annotation for training. Our model uses medical image and patient demographics (represented by age) as inputs to estimate the OS time and to estimate a saliency map that localizes the tumor as a way to explain the OS time prediction in a post-hoc manner. It is worth emphasizing that although our model can localize tumors, it uses only the ground truth OS time as training signal, i.e., no segmentation labels are needed. We evaluate our post-hoc method on the Multimodal Brain Tumor Segmentation Challenge (BraTS) 2019 data set and show that it achieves competitive results compared to pre-hoc methods with the advantage of not requiring segmentation labels for training.


title: Topologization and Functional Analytification I: Intrinsic Morphisms of Commutative Algebras

abstract: Eventually after Dieudonn\'e-Grothendieck, we give intrinsic definitions of \'etale, lisse and non-ramifi\'e morphisms for general adic rings and general locally convex rings. And we investigate the corresponding \'etale-like, lisse-like and non-ramifi\'e-like morphisms for general $\infty$-Banach, $\infty$-Born\'e and $\infty$-ind-Fr\'echet $\infty$-rings and $\infty$-functors into $\infty$-groupoid (as in the work of Bambozzi-Ben-Bassat-Kremnizer) in some intrinsic way by using the corresponding infinitesimal stacks and crystalline stacks. The two directions of generalization will intersect at Huber's book in the strongly noetherian situation.


title: Accurate Determination of the Neutron Skin Thickness of $^{208}$Pb through Parity-Violation in Electron Scattering

abstract: We report a precision measurement of the parity-violating asymmetry $A_{PV}$ in the elastic scattering of longitudinally polarized electrons from $^{208}$Pb. We measure $A_{PV}=550\pm 16 {\rm (stat)}\pm 8\ {\rm (syst)}$ parts per billion, leading to an extraction of the neutral weak form factor $F_W(Q^2 = 0.00616\ {\rm GeV}^2) = 0.368 \pm 0.013$. Combined with our previous measurement, the extracted neutron skin thickness is $R_n-R_p=0.283 \pm 0.071$~fm. The result also yields the first significant direct measurement of the interior weak density of $^{208}$Pb: $\rho^0_W = -0.0796\pm0.0036\ {\rm (exp.)}\pm0.0013\ {\rm (theo.)}\ {\rm fm}^{-3}$ leading to the interior baryon density $\rho^0_b = 0.1480\pm0.0036\ {\rm (exp.)}\pm0.0013\ {\rm (theo.)}\ {\rm fm}^{-3}$. The measurement accurately constrains the density dependence of the symmetry energy of nuclear matter near saturation density, with implications for the size and composition of neutron stars.


title: FAST: FPGA-based Subgraph Matching on Massive Graphs

abstract: Subgraph matching is a basic operation widely used in many applications. However, due to its NP-hardness and the explosive growth of graph data, it is challenging to compute subgraph matching, especially in large graphs. In this paper, we aim at scaling up subgraph matching on a single machine using FPGAs. Specifically, we propose a CPU-FPGA co-designed framework. On the CPU side, we first develop a novel auxiliary data structure called candidate search tree (CST) which serves as a complete search space of subgraph matching. CST can be partitioned and fully loaded into FPGAs' on-chip memory. Then, a workload estimation technique is proposed to balance the load between the CPU and FPGA. On the FPGA side, we design and implement the first FPGA-based subgraph matching algorithm, called FAST. To take full advantage of the pipeline mechanism on FPGAs, task parallelism optimization and task generator separation strategy are proposed for FAST, achieving massive parallelism. Moreover, we carefully develop a BRAM-only matching process to fully utilize FPGA's on-chip memory, which avoids the expensive intermediate data transfer between FPGA's BRAM and DRAM. Comprehensive experiments show that FAST achieves up to 462.0x and 150.0x speedup compared with the state-of-the-art algorithm DAF and CECI, respectively. In addition, FAST is the only algorithm that can handle the billion-scale graph using one machine in our experiments.


title: MobILE: Model-Based Imitation Learning From Observation Alone

abstract: This paper studies Imitation Learning from Observations alone (ILFO) where the learner is presented with expert demonstrations that consist only of states visited by an expert (without access to actions taken by the expert). We present a provably efficient model-based framework MobILE to solve the ILFO problem. MobILE involves carefully trading off strategic exploration against imitation - this is achieved by integrating the idea of optimism in the face of uncertainty into the distribution matching imitation learning (IL) framework. We provide a unified analysis for MobILE, and demonstrate that MobILE enjoys strong performance guarantees for classes of MDP dynamics that satisfy certain well studied notions of structural complexity. We also show that the ILFO problem is strictly harder than the standard IL problem by presenting an exponential sample complexity separation between IL and ILFO. We complement these theoretical results with experimental simulations on benchmark OpenAI Gym tasks that indicate the efficacy of MobILE. Code for implementing the MobILE framework is available at https://github.com/rahulkidambi/MobILE-NeurIPS2021.


title: Testing isomorphism of complex and real Lie algebras

abstract: In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic relations of parameters in order to decide whether two parameterized Lie algebras are isomorphic. All of the considered Lie algebras are considered over a field $\F$, where $\F=\C$ or $\F=\R$. Several illustrative examples are given to show the applicability and the effectiveness of the proposed algorithms.


title: Divide-and-conquer methods for big data analysis

abstract: In the context of big data analysis, the divide-and-conquer methodology refers to a multiple-step process: first splitting a data set into several smaller ones; then analyzing each set separately; finally combining results from each analysis together. This approach is effective in handling large data sets that are unsuitable to be analyzed entirely by a single computer due to limits either from memory storage or computational time. The combined results will provide a statistical inference which is similar to the one from analyzing the entire data set. This article reviews some recently developments of divide-and-conquer methods in a variety of settings, including combining based on parametric, semiparametric and nonparametric models, online sequential updating methods, among others. Theoretical development on the efficiency of the divide-and-conquer methods is also discussed.


title: UniT: Multimodal Multitask Learning with a Unified Transformer

abstract: We propose UniT, a Unified Transformer model to simultaneously learn the most prominent tasks across different domains, ranging from object detection to natural language understanding and multimodal reasoning. Based on the transformer encoder-decoder architecture, our UniT model encodes each input modality with an encoder and makes predictions on each task with a shared decoder over the encoded input representations, followed by task-specific output heads. The entire model is jointly trained end-to-end with losses from each task. Compared to previous efforts on multi-task learning with transformers, we share the same model parameters across all tasks instead of separately fine-tuning task-specific models and handle a much higher variety of tasks across different domains. In our experiments, we learn 7 tasks jointly over 8 datasets, achieving strong performance on each task with significantly fewer parameters. Our code is available in MMF at https://mmf.sh.


title: Slowly Varying Regression under Sparsity

abstract: We present the framework of slowly varying regression under sparsity, allowing sparse regression models to exhibit slow and sparse variations. The problem of parameter estimation is formulated as a mixed-integer optimization problem. We demonstrate that it can be precisely reformulated as a binary convex optimization problem through a novel relaxation technique. This relaxation involves a new equality on Moore-Penrose inverses, convexifying the non-convex objective function while matching the original objective on all feasible binary points. This enables us to efficiently solve the problem to provable optimality using a cutting plane-type algorithm. We develop a highly optimized implementation of this algorithm, substantially improving upon the asymptotic computational complexity of a straightforward implementation. Additionally, we propose a fast heuristic method that guarantees a feasible solution and, as empirically illustrated, produces high-quality warm-start solutions for the binary optimization problem. To tune the framework's hyperparameters, we suggest a practical procedure relying on binary search that, under certain assumptions, is guaranteed to recover the true model parameters. On both synthetic and real-world datasets, we demonstrate that the resulting algorithm outperforms competing formulations in comparable times across various metrics, including estimation accuracy, predictive power, and computational time. The algorithm is highly scalable, allowing us to train models with thousands of parameters. Our implementation is available open-source at https://github.com/vvdigalakis/SSVRegression.git.


title: Provably Improved Context-Based Offline Meta-RL with Attention and Contrastive Learning

abstract: Meta-learning for offline reinforcement learning (OMRL) is an understudied problem with tremendous potential impact by enabling RL algorithms in many real-world applications. A popular solution to the problem is to infer task identity as augmented state using a context-based encoder, for which efficient learning of robust task representations remains an open challenge. In this work, we provably improve upon one of the SOTA OMRL algorithms, FOCAL, by incorporating intra-task attention mechanism and inter-task contrastive learning objectives, to robustify task representation learning against sparse reward and distribution shift. Theoretical analysis and experiments are presented to demonstrate the superior performance and robustness of our end-to-end and model-free framework compared to prior algorithms across multiple meta-RL benchmarks.


title: Weighted Graph Nodes Clustering via Gumbel Softmax

abstract: Graph is a ubiquitous data structure in data science that is widely applied in social networks, knowledge representation graphs, recommendation systems, etc. When given a graph dataset consisting of one graph or more graphs, where the graphs are weighted in general, the first step is often to find clusters in the graphs. In this paper, we present some ongoing research results on graph clustering algorithms for clustering weighted graph datasets, which we name as Weighted Graph Node Clustering via Gumbel Softmax (WGCGS for short). We apply WGCGS on the Karate club weighted network dataset. Our experiments demonstrate that WGCGS can efficiently and effectively find clusters in the Karate club weighted network dataset. Our algorithm's effectiveness is demonstrated by (1) comparing the clustering result obtained from our algorithm and the given labels of the dataset; and (2) comparing various metrics between our clustering algorithm and other state-of-the-art graph clustering algorithms.


title: Quantum invariants of framed links from ternary self-distributive cohomology

abstract: The ribbon cocycle invariant is defined by means of a partition function using ternary cohomology of self-distributive structures (TSD) and colorings of ribbon diagrams of a framed link, following the same paradigm introduced by Carter, Jelsovsky, Kamada, Langfor and Saito in Transactions of the American Mathematical Society 2003;355(10):3947-89, for the quandle cocycle invariant. In this article we show that the ribbon cocycle invariant is a quantum invariant. We do so by constructing a ribbon category from a TSD set whose twisting and braiding morphisms entail a given TSD $2$-cocycle. Then we show that the quantum invariant naturally associated to this braided category coincides with the cocycle invariant. We generalize this construction to symmetric monoidal categories and provide classes of examples obtained from Hopf monoids and Lie algebras. We further introduce examples from Hopf-Frobenius algebras, objects studied in quantum computing.


title: PCB-Fire: Automated Classification and Fault Detection in PCB

abstract: Printed Circuit Boards are the foundation for the functioning of any electronic device, and therefore are an essential component for various industries such as automobile, communication, computation, etc. However, one of the challenges faced by the PCB manufacturers in the process of manufacturing of the PCBs is the faulty placement of its components including missing components. In the present scenario the infrastructure required to ensure adequate quality of the PCB requires a lot of time and effort. The authors present a novel solution for detecting missing components and classifying them in a resourceful manner. The presented algorithm focuses on pixel theory and object detection, which has been used in combination to optimize the results from the given dataset.


title: Interactive identification of individuals with positive treatment effect while controlling false discoveries

abstract: Out of the participants in a randomized experiment with anticipated heterogeneous treatment effects, is it possible to identify which subjects have a positive treatment effect? While subgroup analysis has received attention, claims about individual participants are much more challenging. We frame the problem in terms of multiple hypothesis testing: each individual has a null hypothesis (stating that the potential outcomes are equal, for example) and we aim to identify those for whom the null is false (the treatment potential outcome stochastically dominates the control one, for example). We develop a novel algorithm that identifies such a subset, with nonasymptotic control of the false discovery rate (FDR). Our algorithm allows for interaction -- a human data scientist (or a computer program) may adaptively guide the algorithm in a data-dependent manner to gain power. We show how to extend the methods to observational settings and achieve a type of doubly-robust FDR control. We also propose several extensions: (a) relaxing the null to nonpositive effects, (b) moving from unpaired to paired samples, and (c) subgroup identification. We demonstrate via numerical experiments and theoretical analysis that the proposed method has valid FDR control in finite samples and reasonably high identification power.


title: Massive Random Access with Sporadic Short Packets: Joint Active User Detection and Channel Estimation via Sequential Message Passing

abstract: This paper considers an uplink massive machine-type communication (mMTC) scenario, where a large number of user devices are connected to a base station (BS). A novel grant-free massive random access (MRA) strategy is proposed, considering both the sporadic user traffic and short packet features. Specifically, the notions of active detection time (ADT) and active detection period (ADP) are introduced so that active user detection can be performed multiple times within one coherence time. By taking sporadic user traffic and short packet features into consideration, we model the joint active user detection and channel estimation issue into a dynamic compressive sensing (CS) problem with the underlying sparse signals exhibiting substantial temporal correlation. This paper builds a probabilistic model to capture the temporal structure and establishes a corresponding factor graph. A novel sequential approximate message passing (S-AMP) algorithm is designed to sequentially perform inference and recover sparse signal from one ADT to the next. The Bayes active user detector and the corresponding channel estimator are then derived. Numerical results show that the proposed S-AMP algorithm enhances active user detection and channel estimation performances over competing algorithms under our scenario.


title: Multi-View Feature Representation for Dialogue Generation with Bidirectional Distillation

abstract: Neural dialogue models suffer from low-quality responses when interacted in practice, demonstrating difficulty in generalization beyond training data. Recently, knowledge distillation has been used to successfully regularize the student by transferring knowledge from the teacher. However, the teacher and the student are trained on the same dataset and tend to learn similar feature representations, whereas the most general knowledge should be found through differences. The finding of general knowledge is further hindered by the unidirectional distillation, as the student should obey the teacher and may discard some knowledge that is truly general but refuted by the teacher. To this end, we propose a novel training framework, where the learning of general knowledge is more in line with the idea of reaching consensus, i.e., finding common knowledge that is beneficial to different yet all datasets through diversified learning partners. Concretely, the training task is divided into a group of subtasks with the same number of students. Each student assigned to one subtask not only is optimized on the allocated subtask but also imitates multi-view feature representation aggregated from other students (i.e., student peers), which induces students to capture common knowledge among different subtasks and alleviates the over-fitting of students on the allocated subtasks. To further enhance generalization, we extend the unidirectional distillation to the bidirectional distillation that encourages the student and its student peers to co-evolve by exchanging complementary knowledge with each other. Empirical results and analysis demonstrate that our training framework effectively improves the model generalization without sacrificing training efficiency.


title: Determina\c{c}\~ao do centro de massa de uma pe\c{c}a triangular por meio de parti\c{c}\~oes a partir da mediana

abstract: It is well known the method of determining the center of mass of a triangular piece in which it is hanged from each one of its vertices while drawing from the vertice its verticals. The intersection of the three verticals is considered as the center of mass, verified by equilibrating the piece over a point object. But not everybody knows that the method was developed by Arquimedes 2,300 years ago, determining the geometrical elements to the medians of the triangle. He demonstrated theoretically its result and, inspired on his demonstration we developed another one, which lends to the ideia and methods of the differential and integral calculus.


title: NTopo: Mesh-free Topology Optimization using Implicit Neural Representations

abstract: Recent advances in implicit neural representations show great promise when it comes to generating numerical solutions to partial differential equations. Compared to conventional alternatives, such representations employ parameterized neural networks to define, in a mesh-free manner, signals that are highly-detailed, continuous, and fully differentiable. In this work, we present a novel machine learning approach for topology optimization -- an important class of inverse problems with high-dimensional parameter spaces and highly nonlinear objective landscapes. To effectively leverage neural representations in the context of mesh-free topology optimization, we use multilayer perceptrons to parameterize both density and displacement fields. Our experiments indicate that our method is highly competitive for minimizing structural compliance objectives, and it enables self-supervised learning of continuous solution spaces for topology optimization problems.


title: Distributional data analysis via quantile functions and its application to modelling digital biomarkers of gait in Alzheimer's Disease

abstract: With the advent of continuous health monitoring with wearable devices, users now generate their unique streams of continuous data such as minute-level step counts or heartbeats. Summarizing these streams via scalar summaries often ignores the distributional nature of wearable data and almost unavoidably leads to the loss of critical information. We propose to capture the distributional nature of wearable data via user-specific quantile functions (QF) and use these QFs as predictors in scalar-on-quantile-function-regression (SOQFR). As an alternative approach, we also propose to represent QFs via user-specific L-moments, robust rank-based analogs of traditional moments, and use L-moments as predictors in SOQFR (SOQFR-L). These two approaches provide two mutually consistent interpretations: in terms of quantile levels by SOQFR and in terms of L-moments by SOQFR-L. We also demonstrate how to deal with multi-modal distributional data via Joint and Individual Variation Explained (JIVE) using L-moments. The proposed methods are illustrated in a study of association of digital gait biomarkers with cognitive function in Alzheimer's disease (AD). Our analysis shows that the proposed methods demonstrate higher predictive performance and attain much stronger associations with clinical cognitive scales compared to simple distributional summaries.


title: SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts

abstract: This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in SigVM can emit signal events, on which other contracts can listen. Once an event is triggered, corresponding handler functions are automatically executed as signal transactions. We build an end-to-end blockchain platform SigChain and a contract language compiler SigSolid to realize the potential of SigVM. Experimental results show that our benchmark applications can be reimplemented with SigVM in an autonomous way, eliminating the dependency on unreliable mechanisms like off-chain relay servers. The development effort of reimplementing these contracts with SigVM is small, i.e., we modified on average 2.6% of the contract code.


title: I-DREM MRAC with Time-Varying Adaptation Rate & No A Priori Knowledge of Control Input Matrix Sign to Relax PE Condition

abstract: The known dynamic regressor extension and mixing method (DREM) is combined with the proposed filter of a new type, which uses the integration operation with forgetting, and the recursive least-squares method to develop the new I-DREM model reference adaptive control (MRAC) system. It does not require a priori knowledge of the sign or the elements values of the control input matrix of the plant. It also provides the exponential convergence of the adaptation process (with the automatically adjustable adaptation rate) without the regressor persistent excitation. Such control system allows to solve three actual problems of the adaptive control: 1) to provide the exponential convergence of the controller parameter error under the condition of the regressor initial excitation, 2) to make such convergence monotonic, 3) to calculate the adaptation rate online according to the current regressor value. Some numerical experiments are conducted to demonstrate the effectiveness of the proposed method.


title: Residual-Aided End-to-End Learning of Communication System without Known Channel

abstract: Leveraging powerful deep learning techniques, the end-to-end (E2E) learning of communication system is able to outperform the classical communication system. Unfortunately, this communication system cannot be trained by deep learning without known channel. To deal with this problem, a generative adversarial network (GAN) based training scheme has been recently proposed to imitate the real channel. However, the gradient vanishing and overfitting problems of GAN will result in the serious performance degradation of E2E learning of communication system. To mitigate these two problems, we propose a residual aided GAN (RA-GAN) based training scheme in this paper. Particularly, inspired by the idea of residual learning, we propose a residual generator to mitigate the gradient vanishing problem by realizing a more robust gradient backpropagation. Moreover, to cope with the overfitting problem, we reconstruct the loss function for training by adding a regularizer, which limits the representation ability of RA-GAN. Simulation results show that the trained residual generator has better generation performance than the conventional generator, and the proposed RA-GAN based training scheme can achieve the near-optimal block error rate (BLER) performance with a negligible computational complexity increase in both the theoretical channel model and the ray-tracing based channel dataset.


title: Fair and Responsible AI: A Focus on the Ability to Contest

abstract: As the use of artificial intelligence (AI) in high-stakes decision-making increases, the ability to contest such decisions is being recognised in AI ethics guidelines as an important safeguard for individuals. Yet, there is little guidance on how AI systems can be designed to support contestation. In this paper we explain that the design of a contestation process is important due to its impact on perceptions of fairness and satisfaction. We also consider design challenges, including a lack of transparency as well as the numerous design options that decision-making entities will be faced with. We argue for a human-centred approach to designing for contestability to ensure that the needs of decision subjects, and the community, are met.


title: Attention Models for Point Clouds in Deep Learning: A Survey

abstract: Recently, the advancement of 3D point clouds in deep learning has attracted intensive research in different application domains such as computer vision and robotic tasks. However, creating feature representation of robust, discriminative from unordered and irregular point clouds is challenging. In this paper, our ultimate goal is to provide a comprehensive overview of the point clouds feature representation which uses attention models. More than 75+ key contributions in the recent three years are summarized in this survey, including the 3D objective detection, 3D semantic segmentation, 3D pose estimation, point clouds completion etc. We provide a detailed characterization (1) the role of attention mechanisms, (2) the usability of attention models into different tasks, (3) the development trend of key technology.


title: Adhesive forces inhibit underwater contact formation for a soft-hard collision

abstract: Thermodynamics tells us to expect underwater contact between two hydrophobic surfaces to result in stronger adhesion compared to two hydrophilic surfaces. However, presence of water changes not only energetics, but also the dynamic process of reaching a final state, which couples solid deformation and liquid evacuation. These dynamics can create challenges for achieving strong underwater adhesion/friction, which affects diverse fields including soft robotics, bio-locomotion and tire traction. Closer investigation, requiring sufficiently precise resolution of film evacuation while simultaneously controlling surface wettability has been lacking. We perform high resolution in-situ frustrated total internal reflection imaging to track underwater contact evolution between soft-elastic hemispheres of varying stiffness and smooth-hard surfaces of varying wettability. Surprisingly, we find exponential rate of water evacuation from hydrophobic-hydrophobic (adhesive) contact is 3 orders of magnitude lower than that from hydrophobic-hydrophilic (non-adhesive) contact. The trend of decreasing rate with decreasing wettability of glass sharply changes about a point where thermodynamic adhesion crosses zero, suggesting a transition in mode of evacuation, which is illuminated by 3-Dimensional spatiotemporal heightmaps. Adhesive contact is characterized by the early localization of sealed puddles, whereas non-adhesive contact remains smooth, with film-wise evacuation from one central puddle. Measurements with a human thumb and alternatively hydrophobic/hydrophilic glass surface demonstrate practical consequences of the same dynamics: adhesive interactions cause instability in valleys and lead to a state of more trapped water and less intimate solid-solid contact.


title: Flow approaches to community detection in complex network systems

abstract: The paper investigates the problem of finding communities in complex network systems, the detection of which allows a better understanding of the laws of their functioning. To solve this problem, two approaches are proposed based on the use of flows characteristics of complex network. The first of these approaches consists in calculating the parameters of influence of separate subsystems of the network system, distinguished by the principles of ordering or subordination, and the second, in using the concept of its flow core. Based on the proposed approaches, reliable criteria for finding communities have been formulated and efficient algorithms for their detection in complex network systems have been developed. It is shown that the proposed approaches make it possible to single out communities in cases in which the existing numerical and visual methods turn out to be disabled.


title: Sub-Planck structures: Analogies between the Heisenberg-Weyl and SU(2) groups

abstract: Coherent-state superpositions are of great importance for many quantum subjects, ranging from foundational to technological, e.g., from tests of collapse models to quantum metrology. Here we explore various aspects of these states, related to the connection between sub-Planck structures present in their Wigner function and their sensitivity to displacements (ultimately determining their metrological potential). We review this for the usual Heisenberg-Weyl algebra associated to a harmonic oscillator, and extend it to find analogous results for the $\mathfrak{su}(2)$ algebra, typically associated with angular momentum. In particular, in the Heisenberg-Weyl case, we identify phase-space structures with support smaller than the Planck action in both Schr\"{o}dinger-cat-state mixtures and superpositions, the latter known as compass states. However, as compared to coherent states, compass states are shown to have $\sqrt{N}$-enhanced sensitivity against displacements in all phase-space directions ($N$ is the average number of quanta), whereas cat states and cat mixtures show such enhanced sensitivity only for displacements in specific directions. We then show that these same properties apply for analogous SU(2) states provided (i) coherent states are restricted to the equator of the sphere that plays the role of phase space for this group, (ii) we associate the role of the Planck action to the size of SU(2) coherent states in such a sphere, and (iii) we associate the role of $N$ with the total angular momentum.


title: Field-induced entanglement in spatially superposed objects

abstract: We discuss the generation of field-induced entanglement between two objects each in a superposition of two trajectories.The objects have currents coupled to local quantum fields, and the currents are evaluated around each trajectory of the objects.The fields have only dynamical degrees of freedom and satisfy the microcausality condition. We find that the superposed state of trajectories cannot be entangled when the objects are spacelike separated.This means that the quantum fields do not generate spacelike entanglement in the superposition of two trajectories of each object.


title: Simultaneous Mode, State and Input Set-Valued Observers for Switched Nonlinear Systems

abstract: In this paper, we study the problem of designing a simultaneous mode, input, and state set-valued observer for a class of hidden mode switched nonlinear systems with bounded-norm noise and unknown input signals, where the hidden mode and unknown inputs can represent fault or attack models and exogenous fault/disturbance or adversarial signals, respectively. The proposed multiple-model design has three constituents: (i) a bank of mode-matched set-valued observers, (ii) a mode observer, and (iii) a global fusion observer. The mode-matched observers recursively find the sets of compatible states and unknown inputs conditioned on the mode being the true mode, while the mode observer eliminates incompatible modes by leveraging a residual-based criterion. Then, the global fusion observer outputs the estimated sets of states and unknown inputs by taking the union of the mode-matched set-valued estimates over all compatible modes. Moreover, sufficient conditions to guarantee the elimination of all false modes (i.e., mode-detectability) are provided and the effectiveness of our approach is demonstrated and compared with existing approaches using an illustrative example.


title: ReINTEL Challenge 2020: Exploiting Transfer Learning Models for Reliable Intelligence Identification on Vietnamese Social Network Sites

abstract: This paper presents the system that we propose for the Reliable Intelligence Indentification on Vietnamese Social Network Sites (ReINTEL) task of the Vietnamese Language and Speech Processing 2020 (VLSP 2020) Shared Task. In this task, the VLSP 2020 provides a dataset with approximately 6,000 trainning news/posts annotated with reliable or unreliable labels, and a test set consists of 2,000 examples without labels. In this paper, we conduct experiments on different transfer learning models, which are bert4news and PhoBERT fine-tuned to predict whether the news is reliable or not. In our experiments, we achieve the AUC score of 94.52% on the private test set from ReINTEL's organizers.


title: Decoupled and Memory-Reinforced Networks: Towards Effective Feature Learning for One-Step Person Search

abstract: The goal of person search is to localize and match query persons from scene images. For high efficiency, one-step methods have been developed to jointly handle the pedestrian detection and identification sub-tasks using a single network. There are two major challenges in the current one-step approaches. One is the mutual interference between the optimization objectives of multiple sub-tasks. The other is the sub-optimal identification feature learning caused by small batch size when end-to-end training. To overcome these problems, we propose a decoupled and memory-reinforced network (DMRNet). Specifically, to reconcile the conflicts of multiple objectives, we simplify the standard tightly coupled pipelines and establish a deeply decoupled multi-task learning framework. Further, we build a memory-reinforced mechanism to boost the identification feature learning. By queuing the identification features of recently accessed instances into a memory bank, the mechanism augments the similarity pair construction for pairwise metric learning. For better encoding consistency of the stored features, a slow-moving average of the network is applied for extracting these features. In this way, the dual networks reinforce each other and converge to robust solution states. Experimentally, the proposed method obtains 93.2% and 46.9% mAP on CUHK-SYSU and PRW datasets, which exceeds all the existing one-step methods.


title: The first-principles research on the role of surface in the heavy fermion compound CeRh$_2$Si$_2$

abstract: In the heavy fermion materials, the characteristic energy scales of many exotic strongly correlated phenomena (Kondo effect, magnetic order, superconductivity, etc.) are at milli-electron-volt order, implying that the heavy fermion materials are surface sensitive. Here, we investigate the electronic structures for Si- and Ce-terminated surfaces of CeRh$_2$Si$_2$ by first-principles methods. Our research reveals three notable impacts of surface effects on electronic structures, which are consistent with recent angle-resolved photoemission spectroscopy (ARPES) experiments. Firstly, the relaxation of surface crystal structures changes the relative position of Fermi level, adjusts the dispersion of bands and enhances the Kondo resonance. Secondly, the decrease of the hybridization between the Ce-4$f$ and conduction electrons in the surface layer leads to a weaker Kondo resonance peak and the shift of spin-orbit bands. Thirdly, the variation of crystal electric field around surface Ce atoms affects the splitting of Kondo resonance peaks, and also pushes down the lower-Hubbard bands of surface 4$f$ electrons. Moreover, we find the characteristic of bulk's lower-Hubbard bands, which was overlooked in previous works. Our investigation suggests that these surface effects are potentially important and highlighted in the future researches on properties of strongly correlated materials.


title: The simplest wormhole in Rastall and k-essence theories

abstract: The geometry of the Ellis-Bronnikov wormhole is implemented in the Rastall and k-essence theories of gravity with a self-interacting scalar field. The form of the scalar field potential is determined in both cases. A stability analysis with respect to spherically symmetric time-dependent perturbations is carried out, and it shows that in k-essence theory the wormhole is unstable, like the original version of this geometry supported by a massless phantom scalar field in general relativity. In Rastall's theory, it turns out that a perturbative approach reveals the same inconsistency that was found previously for black hole solutions: time-dependent perturbations of the static configuration prove to be excluded by the equations of motion, and the wormhole is, in this sense, stable under spherical perturbations.


title: Person Re-identification based on Robust Features in Open-world

abstract: Deep learning technology promotes the rapid development of person re-identifica-tion (re-ID). However, some challenges are still existing in the open-world. First, the existing re-ID research usually assumes only one factor variable (view, clothing, pedestrian pose, pedestrian occlusion, image resolution, RGB/IR modality) changing, ignoring the complexity of multi-factor variables in the open-world. Second, the existing re-ID methods are over depend on clothing color and other apparent features of pedestrian, which are easily disguised or changed. In addition, the lack of benchmark datasets containing multi-factor variables is also hindering the practically application of re-ID in the open-world. In this paper, we propose a low-cost and high-efficiency method to solve shortcomings of the existing re-ID research, such as unreliable feature selection, low efficiency of feature extraction, single research variable, etc. Our approach based on pose estimation model improved by group convolution to obtain the continuous key points of pedestrian, and utilize dynamic time warping (DTW) to measure the similarity of features between different pedestrians. At the same time, to verify the effectiveness of our method, we provide a miniature dataset which is closer to the real world and includes pedestrian changing clothes and cross-modality factor variables fusion. Extensive experiments are conducted and the results show that our method achieves Rank-1: 60.9%, Rank-5: 78.1%, and mAP: 49.2% on this dataset, which exceeds most existing state-of-art re-ID models.


title: Clustering Algorithm to Detect Adversaries in Federated Learning

abstract: In recent times, federated machine learning has been very useful in building intelligent intrusion detection systems for IoT devices. As IoT devices are equipped with a security architecture vulnerable to various attacks, these security loopholes may bring a risk during federated training of decentralized IoT devices. Adversaries can take control over these IoT devices and inject false gradients to degrade the global model performance. In this paper, we have proposed an approach that detects the adversaries with the help of a clustering algorithm. After clustering, it further rewards the clients for detecting honest and malicious clients. Our proposed gradient filtration approach does not require any processing power from the client-side and does not use excessive bandwidth, making it very much feasible for IoT devices. Further, our approach has been very successful in boosting the global model accuracy, up to 99% even in the presence of 40% adversaries.


title: Characterizing and Optimizing EDA Flows for the Cloud

abstract: Cloud computing accelerates design space exploration in logic synthesis, and parameter tuning in physical design. However, deploying EDA jobs on the cloud requires EDA teams to deeply understand the characteristics of their jobs in cloud environments. Unfortunately, there has been little to no public information on these characteristics. Thus, in this paper, we formulate the problem of migrating EDA jobs to the cloud. First, we characterize the performance of four main EDA applications, namely: synthesis, placement, routing and static timing analysis. We show that different EDA jobs require different machine configurations. Second, using observations from our characterization, we propose a novel model based on Graph Convolutional Networks to predict the total runtime of a given application on different machine configurations. Our model achieves a prediction accuracy of 87%. Third, we develop a new formulation for optimizing cloud deployments in order to reduce deployment costs while meeting deadline constraints. We present a pseudo-polynomial optimal solution using a multi-choice knapsack mapping that reduces costs by 35.29%.


title: Neural Delay Differential Equations

abstract: Neural Ordinary Differential Equations (NODEs), a framework of continuous-depth neural networks, have been widely applied, showing exceptional efficacy in coping with some representative datasets. Recently, an augmented framework has been successfully developed for conquering some limitations emergent in application of the original framework. Here we propose a new class of continuous-depth neural networks with delay, named as Neural Delay Differential Equations (NDDEs), and, for computing the corresponding gradients, we use the adjoint sensitivity method to obtain the delayed dynamics of the adjoint. Since the differential equations with delays are usually seen as dynamical systems of infinite dimension possessing more fruitful dynamics, the NDDEs, compared to the NODEs, own a stronger capacity of nonlinear representations. Indeed, we analytically validate that the NDDEs are of universal approximators, and further articulate an extension of the NDDEs, where the initial function of the NDDEs is supposed to satisfy ODEs. More importantly, we use several illustrative examples to demonstrate the outstanding capacities of the NDDEs and the NDDEs with ODEs' initial value. Specifically, (1) we successfully model the delayed dynamics where the trajectories in the lower-dimensional phase space could be mutually intersected, while the traditional NODEs without any argumentation are not directly applicable for such modeling, and (2) we achieve lower loss and higher accuracy not only for the data produced synthetically by complex models but also for the real-world image datasets, i.e., CIFAR10, MNIST, and SVHN. Our results on the NDDEs reveal that appropriately articulating the elements of dynamical systems into the network design is truly beneficial to promoting the network performance.


title: PrivateMail: Supervised Manifold Learning of Deep Features With Differential Privacy for Image Retrieval

abstract: Differential Privacy offers strong guarantees such as immutable privacy under post processing. Thus it is often looked to as a solution to learning on scattered and isolated data. This work focuses on supervised manifold learning, a paradigm that can generate fine-tuned manifolds for a target use case. Our contributions are two fold. 1) We present a novel differentially private method \textit{PrivateMail} for supervised manifold learning, the first of its kind to our knowledge. 2) We provide a novel private geometric embedding scheme for our experimental use case. We experiment on private "content based image retrieval" - embedding and querying the nearest neighbors of images in a private manner - and show extensive privacy-utility tradeoff results, as well as the computational efficiency and practicality of our methods.


title: Improving Uncertainty Calibration via Prior Augmented Data

abstract: Neural networks have proven successful at learning from complex data distributions by acting as universal function approximators. However, they are often overconfident in their predictions, which leads to inaccurate and miscalibrated probabilistic predictions. The problem of overconfidence becomes especially apparent in cases where the test-time data distribution differs from that which was seen during training. We propose a solution to this problem by seeking out regions of feature space where the model is unjustifiably overconfident, and conditionally raising the entropy of those predictions towards that of the prior distribution of the labels. Our method results in a better calibrated network and is agnostic to the underlying model structure, so it can be applied to any neural network which produces a probability density as an output. We demonstrate the effectiveness of our method and validate its performance on both classification and regression problems, applying it to recent probabilistic neural network models.


title: Glaisher's divisors and infinite products

abstract: Ramanujan gave a recurrence relation for the partition function in terms of the sum of the divisor function $\sigma(n)$. In 1885, J.W. Glaisher considered seven divisor sums closely related to the sum of the divisors function. We develop a calculus to associate a generating function with each of these divisor sums. This yields analogues of Ramanujan's recurrence relation for several partition-theoretic functions as well as $r_k(n)$ and $t_k(n)$, functions counting the number of ways of writing a number as a sum of squares (respectively, triangular) numbers. As by-products of this association, we obtain several convolutions, recurrences and congruences for divisor functions. We give alternate proofs of two classical theorems, one due to Legendre and the other -- Ramanujan's congruence $p(5n+4) \equiv 0 \pmod 5$.


title: Mass and spin for classical strings in $dS_3$

abstract: We demonstrate that all rigidly rotating strings with center of mass at the origin of the $dS_3$ static patch satisfy the Higuchi bound. This extends the observation of Noumi et al. for the open GKP-like string to all solutions of the Larsen-Sanchez class. We argue that strings violating the bound end up expanding towards the horizon and provide a numerical example. Adding point masses to the open string only increases the mass/spin ratio. For segmented strings, we write the conserved quantities, invariant under Gubser's algebraic evolution equation, in terms of discrete lightcone coordinates describing kink collisions. Randomly generated strings are found to have a tendency to escape through the horizon that is mostly determined by their energy. For rapidly rotating segmented strings with mass/spin $<$ 1, the kink collisions eventually become causally disconnected. Finally we consider the scenario of cosmic strings captured by a black hole in dS and find that horizon friction can make the strings longer.


title: Provably Correct Training of Neural Network Controllers Using Reachability Analysis

abstract: In this paper, we consider the problem of training neural network (NN) controllers for nonlinear dynamical systems that are guaranteed to satisfy safety and liveness (e.g., reach-avoid) properties. Our approach is to combine model-based design methodologies for dynamical systems with data-driven approaches to achieve this target. We confine our attention to NNs with Rectifier Linear Unit (ReLU) nonlinearity which are known to represent Continuous Piece-Wise Affine (CPWA) functions. Given a mathematical model of the dynamical system, we compute a finite-state abstract model that captures the closed-loop behavior under all possible CPWA controllers. Using this finite-state abstract model, our framework identifies a family of CPWA functions guaranteed to satisfy the safety requirements. We augment the learning algorithm with a NN weight projection operator during training that enforces the resulting NN to represent a CPWA function from the provably safe family of CPWA functions. Moreover, the proposed framework uses the finite-state abstract model to identify candidate CPWA functions that may satisfy the liveness properties. Using such candidate CPWA functions, the proposed framework biases the NN training to achieve the liveness specification. We show the efficacy of the proposed framework both in simulation and on an actual robotic vehicle.


title: Tulczyjew's Triplet for Lie Groups III : Higher Order Dynamics and Reductions for Iterated Bundles

abstract: Given a Lie group $G$, we elaborate the dynamics on $T^*T^*G$ and $T^*TG$, which is given by a Hamiltonian, as well as the dynamics on the Tulczyjew symplectic space $TT^*G$, which may be defined by a Lagrangian or a Hamiltonian function. As the trivializations we adapted respect the group structures of the iterated bundles, we exploit all possible subgroup reductions (Poisson, symplectic or both) of higher order dynamics.


title: ikd-Tree: An Incremental K-D Tree for Robotic Applications

abstract: This paper proposes an efficient data structure, ikd-Tree, for dynamic space partition. The ikd-Tree incrementally updates a k-d tree with new coming points only, leading to much lower computation time than existing static k-d trees. Besides point-wise operations, the ikd-Tree supports several features such as box-wise operations and down-sampling that are practically useful in robotic applications. In parallel to the incremental operations (i.e., insert, re-insert, and delete), ikd-Tree actively monitors the tree structure and partially re-balances the tree, which enables efficient nearest point search in later stages. The ikd-Tree is carefully engineered and supports multi-thread parallel computing to maximize the overall efficiency. We validate the ikd-Tree in both theory and practical experiments. On theory level, a complete time complexity analysis is presented to prove the high efficiency. On experiment level, the ikd-Tree is tested on both randomized datasets and real-world LiDAR point data in LiDAR-inertial odometry and mapping application. In all tests, ikd-Tree consumes only 4% of the running time in a static k-d tree.


title: Local Calibration: Metrics and Recalibration

abstract: Probabilistic classifiers output confidence scores along with their predictions, and these confidence scores should be calibrated, i.e., they should reflect the reliability of the prediction. Confidence scores that minimize standard metrics such as the expected calibration error (ECE) accurately measure the reliability on average across the entire population. However, it is in general impossible to measure the reliability of an individual prediction. In this work, we propose the local calibration error (LCE) to span the gap between average and individual reliability. For each individual prediction, the LCE measures the average reliability of a set of similar predictions, where similarity is quantified by a kernel function on a pretrained feature space and by a binning scheme over predicted model confidences. We show theoretically that the LCE can be estimated sample-efficiently from data, and empirically find that it reveals miscalibration modes that are more fine-grained than the ECE can detect. Our key result is a novel local recalibration method LoRe, to improve confidence scores for individual predictions and decrease the LCE. Experimentally, we show that our recalibration method produces more accurate confidence scores, which improves downstream fairness and decision making on classification tasks with both image and tabular data.


title: Rapid generation of metastable helium Bose-Einstein condensates

abstract: We report the realisation of Bose-Einstein condensation (BEC) of metastable helium atoms using an in-vacuum coil magnetic trap and a crossed beam optical dipole trap. A novel quadrupole-Ioffe configuration (QUIC) magnetic trap made from in-vacuum hollow copper tubes provides fast switching times while generating traps with a 10G bias, without compromising optical access. The bias enables in-trap 1D doppler cooling to be used, which is the only cooling stage between the magneto-optic trap (MOT) and the optical dipole trap. This allows direct transfer to the dipole trap without the need for any additional evaporative cooling in the magnetic trap. The entire experimental sequence takes 3.3 seconds, with essentially pure BECs observed with $\sim 10^6$ atoms after evaporative cooling in the dipole trap.


title: Symplectic mapping class groups of K3 surfaces and Seiberg-Witten invariants

abstract: The purpose of this note is to prove that the symplectic mapping class groups of many K3 surfaces are infinitely generated. Our proof makes no use of any Floer-theoretic machinery but instead follows the approach of Kronheimer and uses invariants derived from the Seiberg-Witten equations.