title: Character of the "normal state" of the nickelate superconductors

abstract: The occurrence of superconductivity in proximity to various strongly correlated phases of matter has drawn extensive focus on their normal state properties, to develop an understanding of the state from which superconductivity emerges. The recent finding of superconductivity in layered nickelates raises similar interests. However, transport measurements of doped infinite-layer nickelate thin films have been hampered by materials limitations of these metastable compounds - in particular, a relatively high density of extended defects. Here, by moving to a substrate (LaAlO$_{3}$)$_{0.3}$(Sr$_{2}$TaAlO$_{6}$)$_{0.7}$ which better stabilizes the growth and reduction conditions, we can synthesize the doping series of Nd$_{1-x}$Sr$_{x}$NiO$_{2}$ essentially free from extended defects. This enables the first examination of the 'intrinsic' temperature and doping dependent evolution of the transport properties. The normal state resistivity exhibits a low-temperature upturn in the underdoped regime, linear behavior near optimal doping, and quadratic temperature dependence for overdoping. This is strikingly similar to the copper oxides, despite key distinctions - namely the absence of an insulating parent compound, multiband electronic structure, and a Mott-Hubbard orbital alignment rather than the charge-transfer insulator of the copper oxides. These results suggest an underlying universality in the emergent electronic properties of both superconducting families.


title: Games on base matrices

abstract: Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(\omega)/\text{fin}$ of regular height larger than $\mathfrak{h}$ necessarily have maximal branches which are not cofinal.


title: Pulsating B stars in the Scorpius-Centaurus Association with TESS

abstract: We study 119 B stars located in the Scorpius-Centaurus Association using data from NASA's TESS Mission. We see pulsations in 81 stars (68%) across the full range of effective temperatures. In particular, we confirm previous reports of low-frequency pulsations in stars whose temperatures fall between the instability strips of SPB stars (slowly pulsating B stars) and $\delta$ Scuti stars. By taking the stellar densities into account, we conclude that these cannot be p modes and confirm previous suggestions that these are probably rapidly-rotating SPB stars. We also confirm that they follow two period-luminosity relations that are consistent with prograde sectoral g modes that are dipole ($l=m=1$) and quadrupole ($l=m=2$), respectively. One of the stars ($\xi^2$ Cen) is a hybrid pulsator that shows regular spacings in both g and p modes. We confirm that $\alpha$ Cru has low-amplitude p-mode pulsations, making it one of the brightest $\beta$ Cephei stars in the sky. We also find several interesting binaries, including a very short-period heartbeat star (HD 132094), a previously unknown eclipsing binary ($\pi$ Lup), and an eclipsing binary with high-amplitude tidally driven pulsations (HR 5846). The results clearly demonstrate the power of TESS for studying variability in stellar associations.


title: Online Learning of Reusable Abstract Models for Object Goal Navigation

abstract: In this paper, we present a novel approach to incrementally learn an Abstract Model of an unknown environment, and show how an agent can reuse the learned model for tackling the Object Goal Navigation task. The Abstract Model is a finite state machine in which each state is an abstraction of a state of the environment, as perceived by the agent in a certain position and orientation. The perceptions are high-dimensional sensory data (e.g., RGB-D images), and the abstraction is reached by exploiting image segmentation and the Taskonomy model bank. The learning of the Abstract Model is accomplished by executing actions, observing the reached state, and updating the Abstract Model with the acquired information. The learned models are memorized by the agent, and they are reused whenever it recognizes to be in an environment that corresponds to the stored model. We investigate the effectiveness of the proposed approach for the Object Goal Navigation task, relying on public benchmarks. Our results show that the reuse of learned Abstract Models can boost performance on Object Goal Navigation.


title: Virtual Histological Staining of Label-Free Total Absorption Photoacoustic Remote Sensing (TA-PARS)

abstract: Histopathological visualizations are a pillar of modern medicine and biological research. Surgical oncology relies exclusively on post-operative histology to determine definitive surgical success and guide adjuvant treatments. The current histology workflow is based on bright-field microscopic assessment of histochemical stained tissues and has some major limitations. For example, the preparation of stained specimens for brightfield assessment requires lengthy sample processing, delaying interventions for days or even weeks. Hence, there is a pressing need for improved histopathology methods. In this paper, we present a deep-learning-based approach for virtual label-free histochemical staining of total-absorption photoacoustic remote sensing (TA-PARS) images of unstained tissue. TA-PARS provides an array of directly measured label-free contrasts such as scattering and total absorption (radiative and non-radiative), ideal for developing H&E colorizations without the need to infer arbitrary tissue structures. We use a Pix2Pix generative adversarial network (GAN) to develop visualizations analogous to H&E staining from label-free TA-PARS images. Thin sections of human skin tissue were first virtually stained with the TA-PARS, then were chemically stained with H&E producing a one-to-one comparison between the virtual and chemical staining. The one-to-one matched virtually- and chemically- stained images exhibit high concordance validating the digital colorization of the TA-PARS images against the gold standard H&E. TA-PARS images were reviewed by four dermatologic pathologists who confirmed they are of diagnostic quality, and that resolution, contrast, and color permitted interpretation as if they were H&E. The presented approach paves the way for the development of TA-PARS slide-free histology, which promises to dramatically reduce the time from specimen resection to histological imaging.


title: NFSlicer: Data Movement Optimization for Shallow Network Functions

abstract: Network Function (NF) deployments on commodity servers have become ubiquitous in datacenters and enterprise settings. Many commonly used NFs such as firewalls, load balancers and NATs are shallow - i.e., they only examine the packet's header, despite the entire packet being transferred on and off the server. As a result, the gap between moved and inspected data when handling large packets exceeds 20x. At modern network rates, such excess data movement is detrimental to performance, hurting both the average and 90% tail latency of large packets by up to 1.7x. Our thorough performance analysis identifies high contention on the NIC-server PCIe interface and in the server's memory hierarchy as the main bottlenecks. We introduce NFSlicer, a data movement optimization implemented as a NIC extension to mitigate the bottlenecks stemming from data movement deluge in deployments of shallow NFs on commodity servers. NFSlicer only transfers the small portion of each packet that the deployed NFs actually inspect, by slicing the packet's payload and temporarily storing it in on-NIC memory. When the server later transmits the processed packet, NFSlicer splices it to its previously sliced payload. We develop a software-based emulation platform and demonstrate that NFSlicer effectively minimizes data movement between the NIC and the server, bridging the latency gap between small and large packet NF processing. On a range of shallow NFs handling 1518B packets, NFSlicer reduces average and 90% tail latency by up to 17% / 29%, respectively.


title: Concept-based Explanations for Out-Of-Distribution Detectors

abstract: Out-of-distribution (OOD) detection plays a crucial role in ensuring the safe deployment of deep neural network (DNN) classifiers. While a myriad of methods have focused on improving the performance of OOD detectors, a critical gap remains in interpreting their decisions. We help bridge this gap by providing explanations for OOD detectors based on learned high-level concepts. We first propose two new metrics for assessing the effectiveness of a particular set of concepts for explaining OOD detectors: 1) detection completeness, which quantifies the sufficiency of concepts for explaining an OOD-detector's decisions, and 2) concept separability, which captures the distributional separation between in-distribution and OOD data in the concept space. Based on these metrics, we propose an unsupervised framework for learning a set of concepts that satisfy the desired properties of high detection completeness and concept separability, and demonstrate its effectiveness in providing concept-based explanations for diverse off-the-shelf OOD detectors. We also show how to identify prominent concepts contributing to the detection results, and provide further reasoning about their decisions.


title: A DSL for Defining Feature-Level Quality Constraints and the Aggregation of Evaluation Results in DevOps

abstract: Quality requirements typically differ among software features, e.g., due to different usage contexts of the features, different impacts of related quality deficiencies onto overall user satisfaction, or long-term plans of the developing organization. For instance, maintainability requirements might be particularly high for software features which are frequently used or bear strategic value for the developing organization. Also, software features where even the smallest delays are perceived as negative by the user will be subjected to specially tight performance requirements. We defined an operational DSL to define software quality requirements as individual feature-level constraints based on quantitative measures. The DSL provides language elements to define the operationalization of measures from external systems, time series operations, time filters, and the automatic evaluation of these feature-level constraints in DevOps based on comparison operators and threshold values. In addition, quality ratings summarize evaluation results of features on an ordinal grading scheme. Likewise, quality gates use these quality ratings to reflect the fitness of software features or the overall software product using different states. Finally, we show an example based on a widely-adopted secure mobile messaging app that illustrates the interplay of the different DSL elements.


title: A Quality Index Metric and Method for Online Self-Assessment of Autonomous Vehicles Sensory Perception

abstract: Reliable object detection using cameras plays a crucial role in enabling autonomous vehicles to perceive their surroundings. However, existing camera-based object detection approaches for autonomous driving lack the ability to provide comprehensive feedback on detection performance for individual frames. To address this limitation, we propose a novel evaluation metric, named as the detection quality index (DQI), which assesses the performance of camera-based object detection algorithms and provides frame-by-frame feedback on detection quality. The DQI is generated by combining the intensity of the fine-grained saliency map with the output results of the object detection algorithm. Additionally, we have developed a superpixel-based attention network (SPA-NET) that utilizes raw image pixels and superpixels as input to predict the proposed DQI evaluation metric. To validate our approach, we conducted experiments on three open-source datasets. The results demonstrate that the proposed evaluation metric accurately assesses the detection quality of camera-based systems in autonomous driving environments. Furthermore, the proposed SPA-NET outperforms other popular image-based quality regression models. This highlights the effectiveness of the DQI in evaluating a camera's ability to perceive visual scenes. Overall, our work introduces a valuable self-evaluation tool for camera-based object detection in autonomous vehicles.


title: Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods

abstract: Network Function Virtualization (NFV) has emerged as a disruptive networking architecture whose galloping evolution is prompting enterprises to outsource network functions to the cloud and ultimately harvest the fruits of cloud computing, including elasticity, pay-as-you-go billing model, and on-demand services provisioning. However, many reluctant enterprises oppose the benefits of this outsourcing to their critical and pressing concerns about security, trust, and compliance. The latter anticipate possible security and QoS policy violations stemming from dishonest behaviors by cloud providers, attacks by co-resident competitors, misconfiguration by cloud administrators, or implementations flaws by NFV developers. As a result, migrating sensitive workloads to the cloud requires enterprises to first assess risks by gaining knowledge of possible network services' anomalies and second, to build trust in the cloud by designing effective mechanisms to detect such anomalies. This survey provides scrutiny of network services anomalies that may occur in the NFV environments. We first present a taxonomy of network service anomalies and analyze their negative impacts on critical service attributes, including security and performance. Second, we compare and classify the existing anomalies' verification mechanisms from the literature. Finally, we point out the literature gap and identify future research directions for anomalies verification in NFV.


title: Hamiltonian approach to modelling interfacial internal waves over variable bottom

abstract: We study the effects of an uneven bottom on the internal wave propagation in the presence of stratification and underlying non-uniform currents. Thus, the presented models incorporate vorticity (wave-current interactions), geophysical effects (Coriolis force) and a variable bathymetry. An example of the physical situation described above is well illustrated by the equatorial internal waves in the presence of the Equatorial Undercurrent (EUC). We find that the interface (physically coinciding with the thermocline and the pycnocline) satisfies in the long wave approximation a KdV-mKdV type equation with variable coefficients. The soliton propagation over variable depth leads to effects such as soliton fission, which is analysed and studied numerically as well.


title: A Small Gain Analysis of Single Timescale Actor Critic

abstract: We consider a version of actor-critic which uses proportional step-sizes and only one critic update with a single sample from the stationary distribution per actor step. We provide an analysis of this method using the small-gain theorem. Specifically, we prove that this method can be used to find a stationary point, and that the resulting sample complexity improves the state of the art for actor-critic methods to $O \left(\mu^{-2} \epsilon^{-2} \right)$ to find an $\epsilon$-approximate stationary point where $\mu$ is the condition number associated with the critic.


title: Sparsity-Inducing Categorical Prior Improves Robustness of the Information Bottleneck

abstract: The information bottleneck framework provides a systematic approach to learning representations that compress nuisance information in the input and extract semantically meaningful information about predictions. However, the choice of a prior distribution that fixes the dimensionality across all the data can restrict the flexibility of this approach for learning robust representations. We present a novel sparsity-inducing spike-slab categorical prior that uses sparsity as a mechanism to provide the flexibility that allows each data point to learn its own dimension distribution. In addition, it provides a mechanism for learning a joint distribution of the latent variable and the sparsity and hence can account for the complete uncertainty in the latent space. Through a series of experiments using in-distribution and out-of-distribution learning scenarios on the MNIST, CIFAR-10, and ImageNet data, we show that the proposed approach improves accuracy and robustness compared to traditional fixed-dimensional priors, as well as other sparsity induction mechanisms for latent variable models proposed in the literature.


title: How to use arbitrary measuring devices to perform almost perfect measurements

abstract: We consider the problem of reproducing one quantum measurement given the ability to perform another. We give a general framework and specific protocols for this problem. For example, we show how to use available "imperfect" devices a small number of times to implement a target measurement with average error that drops off exponentially with the number of imperfect measurements used. We hope that could be useful in near-term applications as a type of lightweight error mitigation of the measuring devices. As well as the view to practical applications, we consider the question from a general theoretical perspective in the most general setting where both the available and target measurements are arbitrary generalised quantum measurements. We show that this general problem in fact reduces to the ability to reproduce the statistics of (complete) von Neumann measurements, and that in the asymptotic limit of infinitely many uses of the available measurement, a simple protocol based upon `classical cloning' can perfectly achieve this task. We show that asymptotically all (non-trivial) quantum measurements are equivalent. We also study optimal protocols for a fixed number of uses of the available measurement. This includes, but is not limited to, improving both noisy and lossy quantum measurements. Furthermore, we show that, in a setting where we perform multiple measurements in parallel, we can achieve finite-rate measurement reproduction, by using block-coding techniques from classical information theory. Finally, we show that advantages can also be gained by making use of probabilistic protocols.


title: A Search for Low-mass Dark Matter via Bremsstrahlung Radiation and the Migdal Effect in SuperCDMS

abstract: In this paper, we present a re-analysis of SuperCDMS data using a profile likelihood approach to search for sub-GeV dark matter particles (DM) through two inelastic scattering channels: bremsstrahlung radiation and the Migdal effect. By considering possible inelastic scattering channels, experimental sensitivity can be extended to DM masses that would otherwise be undetectable through the DM-nucleon elastic scattering channel, given the energy threshold of current experiments. We exclude DM masses down to $220~\textrm{MeV}/c^2$ at $2.7 \times 10^{-30}~\textrm{cm}^2$ via the bremsstrahlung channel. The Migdal channel search excludes DM masses down to $30~\textrm{MeV}/c^2$ at $5.0 \times 10^{-30}~\textrm{cm}^2$.


title: A Scenario Approach to Risk-Aware Safety-Critical System Verification

abstract: With the growing interest in deploying robots in unstructured and uncertain environments, there has been increasing interest in factoring risk into safety-critical control development. Similarly, the authors believe risk should also be accounted in the verification of these controllers. In pursuit of sample-efficient methods for uncertain black-box verification then, we first detail a method to estimate the Value-at-Risk of arbitrary scalar random variables without requiring \textit{apriori} knowledge of its distribution. Then, we reformulate the uncertain verification problem as a Value-at-Risk estimation problem making use of our prior results. In doing so, we provide fundamental sampling requirements to bound with high confidence the volume of states and parameters for a black-box system that could potentially yield unsafe phenomena. We also show that this procedure works independent of system complexity through simulated examples of the Robotarium.


title: Improved Pathwise Coordinate Descent for Power Penalties

abstract: Pathwise coordinate descent algorithms have been used to compute entire solution paths for lasso and other penalized regression problems quickly with great success. They improve upon cold start algorithms by solving the problems that make up the solution path sequentially for an ordered set of tuning parameter values, instead of solving each problem separately. However, extending pathwise coordinate descent algorithms to more the general bridge or power family of $\ell_q$ penalties is challenging. Faster algorithms for computing solution paths for these penalties are needed because $\ell_q$ penalized regression problems can be nonconvex and especially burdensome to solve. In this paper, we show that a reparameterization of $\ell_q$ penalized regression problems is more amenable to pathwise coordinate descent algorithms. This allows us to improve computation of the mode-thresholding function for $\ell_q$ penalized regression problems in practice and introduce two separate pathwise algorithms. We show that either pathwise algorithm is faster than the corresponding cold-start alternative, and demonstrate that different pathwise algorithms may be more likely to reach better solutions.


title: False membership rate control in mixture models

abstract: The clustering task consists in partitioning elements of a sample into homogeneous groups. Most datasets contain individuals that are ambiguous and intrinsically difficult to attribute to one or another cluster. However, in practical applications, misclassifying individuals is potentially disastrous and should be avoided. To keep the misclassification rate small, one can decide to classify only a part of the sample. In the supervised setting, this approach is well known and referred to as classification with an abstention option. In this paper the approach is revisited in an unsupervised mixture model framework and the purpose is to develop a method that comes with the guarantee that the false membership rate (FMR) does not exceed a pre-defined nominal level $\alpha$. A plug-in procedure is proposed, for which a theoretical analysis is provided, by quantifying the FMR deviation with respect to the target level $\alpha$ with explicit remainder terms. Bootstrap versions of the procedure are shown to improve the performance in numerical experiments.


title: Attraction Between Electron Pairs in High Temperature Superconductors

abstract: It is proposed that in high temperature superconductors Cooper pairs form and condense due to the monotonic-oscillatory transition in the pair potential of mean force, which occurs quite generally at high coupling in charge systems. It is shown that the predicted transition temperatures are broadly in line with measured superconducting transition temperatures for reasonable values of the total electron density and the residual dielectric permittivity arising from the immobile electrons. The predicted transition is independent of the isotopic masses of the solid. Consequent design principles for high temperature superconductors are discussed.


title: A reverse ES (CVaR) optimization formula

abstract: The celebrated Expected Shortfall (ES) optimization formula implies that ES at a fixed probability level is the minimum of a linear real function plus a scaled mean excess function. We establish a reverse ES optimization formula, which says that a mean excess function at any fixed threshold is the maximum of an ES curve minus a linear function. Despite being a simple result, this formula reveals elegant symmetries between the mean excess function and the ES curve, as well as their optimizers. The reverse ES optimization formula is closely related to the Fenchel-Legendre transforms, and our formulas are generalized from ES to optimized certainty equivalents, a popular class of convex risk measures. We analyze worst-case values of the mean excess function under two popular settings of model uncertainty to illustrate the usefulness of the reverse ES optimization formula, and this is further demonstrated with an application using insurance datasets.


title: Geodesic Gramian Denoising Applied to the Images Contaminated With Noise Sampled From Diverse Probability Distributions

abstract: As quotidian use of sophisticated cameras surges, people in modern society are more interested in capturing fine-quality images. However, the quality of the images might be inferior to people's expectations due to the noise contamination in the images. Thus, filtering out the noise while preserving vital image features is an essential requirement. Current existing denoising methods have their own assumptions on the probability distribution in which the contaminated noise is sampled for the method to attain its expected denoising performance. In this paper, we utilize our recent Gramian-based filtering scheme to remove noise sampled from five prominent probability distributions from selected images. This method preserves image smoothness by adopting patches partitioned from the image, rather than pixels, and retains vital image features by performing denoising on the manifold underlying the patch space rather than in the image domain. We validate its denoising performance, using three benchmark computer vision test images applied to two state-of-the-art denoising methods, namely BM3D and K-SVD.


title: High-dimensional Censored Regression via the Penalized Tobit Likelihood

abstract: High-dimensional regression and regression with a left-censored response are each well-studied topics. In spite of this, few methods have been proposed which deal with both of these complications simultaneously. The Tobit model -- long the standard method for censored regression in economics -- has not been adapted for high-dimensional regression at all. To fill this gap and bring up-to-date techniques from high-dimensional statistics to the field of high-dimensional left-censored regression, we propose several penalized Tobit models. We develop a fast algorithm which combines quadratic minimization with coordinate descent to compute the penalized Tobit solution path. Theoretically, we analyze the Tobit lasso and Tobit with a folded concave penalty, bounding the $\ell_2$ estimation loss for the former and proving that a local linear approximation estimator for the latter possesses the strong oracle property. Through an extensive simulation study, we find that our penalized Tobit models provide more accurate predictions and parameter estimates than other methods. We use a penalized Tobit model to analyze high-dimensional left-censored HIV viral load data from the AIDS Clinical Trials Group and identify potential drug resistance mutations in the HIV genome. Appendices contain intermediate theoretical results and technical proofs.


title: Efficient perturbative framework for coupling of radiative and guided modes in nearly periodic surfaces

abstract: We present a semi-analytical framework for computing the coupling of radiative and guided waves in slowly varying (nearly uniform or nearly periodic) surfaces, which is especially relevant to the exploitation of nonlocal effects in large-area metasurfaces. Our framework bridges a gap in the theory of slowly varying surfaces: aside from brute-force numerical simulations, current approximate methods can model either guided or radiative waves, but cannot easily model their coupling. We solve this problem by combining two methods: the locally periodic approximation, which approximates radiative scattering by composing a set of periodic scattering problems, and spatial coupled-wave theory, which allows the perturbative modeling of guided waves using an eigenmode expansion. We derive our framework for both nearly uniform and nearly periodic surfaces, and we validate each case against brute-force finite-difference time-domain simulations, which show increasing agreement as the surface varies more slowly.


title: Constructing Nitsche's method for variational problems

abstract: Nitsche's method is a well-established approach for weak enforcement of boundary conditions for partial differential equations (PDEs). It has many desirable properties, including the preservation of variational consistency and the fact that it yields symmetric, positive-definite discrete linear systems that are not overly ill-conditioned. In recent years, the method has gained in popularity in a number of areas, including isogeometric analysis, immersed methods, and contact mechanics. However, arriving at a formulation based on Nitsche's method can be a mathematically arduous process, especially for high-order PDEs. Fortunately, the derivation is conceptually straightforward in the context of variational problems. To facilitate the process, we devised an abstract framework for constructing Nitsche's method for these types of problems in [J. Benzaken, J. A. Evans, S. McCormick, and R. Tamstorf, Nitsche's method for linear Kirchhoff-Love shells: Formulation, error analysis, and verification, Comput. Methods Appl. Mech. Eng., 374 (2021), p. 113544]. The goal of this paper is to elucidate the process through a sequence of didactic examples. First, we show the derivation of Nitsche's method for Poisson's equation to gain an intuition for the various steps. Next, we present the abstract framework and then revisit the derivation for Poisson's equation to use the framework and add mathematical rigor. In the process, we extend our derivation to cover the vector-valued setting. Armed with a basic recipe, we then show how to handle a higher-order problem by considering the vector-valued biharmonic equation and the linearized Kirchhoff-Love plate. In the end, the hope is that the reader will be able to apply Nitsche's method to any problem that arises from variational principles.


title: Galois module structure of some elementary $p$-abelian extensions

abstract: We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.


title: Reinforcement Learning in Modern Biostatistics: Constructing Optimal Adaptive Interventions

abstract: In recent years, reinforcement learning (RL) has acquired a prominent position in health-related sequential decision-making problems, gaining traction as a valuable tool for delivering adaptive interventions (AIs). However, in part due to a poor synergy between the methodological and the applied communities, its real-life application is still limited and its potential is still to be realized. To address this gap, our work provides the first unified technical survey on RL methods, complemented with case studies, for constructing various types of AIs in healthcare. In particular, using the common methodological umbrella of RL, we bridge two seemingly different AI domains, dynamic treatment regimes and just-in-time adaptive interventions in mobile health, highlighting similarities and differences between them and discussing the implications of using RL. Open problems and considerations for future research directions are outlined. Finally, we leverage our experience in designing case studies in both areas to showcase the significant collaborative opportunities between statistical, RL, and healthcare researchers in advancing AIs.


title: Sustainable Cloud Services for Verbal Interaction with Embodied Agents

abstract: This article presents the design and the implementation of a cloud system for knowledge-based autonomous interaction devised for Social Robots and other conversational agents. The system is particularly convenient for low-cost robots and devices: it can be used as a stand-alone dialogue system or as an integration to provide "background" dialogue capabilities to any preexisting Natural Language Processing ability that the robot may already have as part of its basic skills. By connecting to the cloud, developers are provided with a sustainable solution to manage verbal interaction through a network connection, with about 3,000 topics of conversation ready for "chit-chatting" and a library of pre-cooked plans that only needs to be grounded into the robot's physical capabilities. The system is structured as a set of REST API endpoints so that it can be easily expanded by adding new APIs to improve the capabilities of the clients connected to the cloud. Another key feature of the system is that it has been designed to make the development of its clients straightforward: in this way, multiple robots and devices can be easily endowed with the capability of autonomously interacting with the user, understanding when to perform specific actions, and exploiting all the information provided by cloud services. The article outlines and discusses the results of the experiments performed to assess the system's performance in terms of response time, paving the way for its use both for research and market solutions. Links to repositories with clients for ROS and popular robots such as Pepper and NAO are available on request.


title: An SDP Relaxation for the Sparse Integer Least Square Problem

abstract: In this paper, we study the polynomial approximability or solvability of sparse integer least square problem (SILS), which is the NP-hard variant of the least square problem, where we only consider sparse {0, +1, -1}-vectors. We propose an l1-based SDP relaxation to SILS, and introduce a randomized algorithm for SILS based on the SDP relaxation. In fact, the proposed randomized algorithm works for a broader class of binary quadratic program with cardinality constraint, where the objective function can be possibly non-convex. Moreover, when the sparsity parameter is fixed, we provide sufficient conditions for our SDP relaxation to solve SILS. The class of data input which guarantee that SDP solves SILS is broad enough to cover many cases in real-world applications, such as privacy preserving identification, and multiuser detection. To show this, we specialize our sufficient conditions to two special cases of SILS with relevant applications: the feature extraction problem and the integer sparse recovery problem. We show that our SDP relaxation can solve the feature extraction problem with sub-Gaussian data, under some weak conditions on the second moment of the covariance matrix. We also show that our SDP relaxation can solve the integer sparse recovery problem under some conditions that can be satisfied both in high and low coherence settings.


title: Progress in understanding short-range structure in nuclei: an experimental perspective

abstract: High-energy electron scattering is a clean and precise probe for measurements of hadronic and nuclear structure, with a key role in understanding the role of high-momentum nucleons (and quarks) in nuclei. Jefferson Lab has dramatically expanded our understanding of the high-momentum nucleons generated by short-range correlations, providing sufficient insight to model much of their impact on nuclear structure in neutron stars, and in low- to medium-energy scattering observables including neutrino oscillation measurements. These short-range correlations also appear to be related to the modification of the quark distributions in nuclei, and efforts to improve our understanding of the internal structure of these short-distance and high-momentum configurations in nuclei will provide important input on a wide range of high-energy observables.


title: DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication

abstract: Decentralized planning for multi-agent systems, such as fleets of robots in a search-and-rescue operation, is often constrained by limitations on how agents can communicate with each other. One such limitation is the case when agents can communicate with each other only when they are in line-of-sight (LOS). Developing decentralized planning methods that guarantee safety is difficult in this case, as agents that are occluded from each other might not be able to communicate until it's too late to avoid a safety violation. In this paper, we develop a decentralized planning method that explicitly avoids situations where lack of visibility of other agents would lead to an unsafe situation. Building on top of an existing Rapidly-exploring Random Tree (RRT)-based approach, our method guarantees safety at each iteration. Simulation studies show the effectiveness of our method and compare the degradation in performance with respect to a clairvoyant decentralized planning algorithm where agents can communicate despite not being in LOS of each other.


title: Unveiling the Signature of Adsorbed Organic Solvents for Molecular Electronics through STM Approaches

abstract: After evaporation of the organic solvents, benzene, toluene, and cyclohexane on gold substrates, Scanning Tunneling Microscope (STM) shows the presence of a remaining adsorbed layer. The different solvent molecules were individually observed at ambient conditions, and their electronic transport properties characterized through the STM in the Break Junction approach. The combination of both techniques reveals, on one hand, that solvents are not fully evaporated over the gold electrode and, secondly, determines the role of the electronic transport of the solvents in molecular electronics.


title: Plant Species Recognition with Optimized 3D Polynomial Neural Networks and Variably Overlapping Time-Coherent Sliding Window

abstract: Recently, the EAGL-I system was developed to rapidly create massive labeled datasets of plants intended to be commonly used by farmers and researchers to create AI-driven solutions in agriculture. As a result, a publicly available plant species recognition dataset composed of 40,000 images with different sizes consisting of 8 plant species was created with the system in order to demonstrate its capabilities. This paper proposes a novel method, called Variably Overlapping Time-Coherent Sliding Window (VOTCSW), that transforms a dataset composed of images with variable size to a 3D representation with fixed size that is suitable for convolutional neural networks, and demonstrates that this representation is more informative than resizing the images of the dataset to a given size. We theoretically formalized the use cases of the method as well as its inherent properties and we proved that it has an oversampling and a regularization effect on the data. By combining the VOTCSW method with the 3D extension of a recently proposed machine learning model called 1-Dimensional Polynomial Neural Networks, we were able to create a model that achieved a state-of-the-art accuracy of 99.9% on the dataset created by the EAGL-I system, surpassing well-known architectures such as ResNet and Inception. In addition, we created a heuristic algorithm that enables the degree reduction of any pre-trained N-Dimensional Polynomial Neural Network and which compresses it without altering its performance, thus making the model faster and lighter. Furthermore, we established that the currently available dataset could not be used for machine learning in its present form, due to a substantial class imbalance between the training set and the test set. Hence, we created a specific preprocessing and a model development framework that enabled us to improve the accuracy from 49.23% to 99.9%.


title: Thermal hadron resonances in chiral and $U(1)_A$ restoration

abstract: We review recent work on thermal resonances and their connection with chiral symmetry and $U(1)_A$ restoration within the QCD phase diagram. In particular, the $f_0(500)$ and $K_0^* (700)$ states generated from $\pi\pi$ and $\pi K$ scattering within Unitarized Chiral Perturbation Theory (ChPT) at finite temperature allow one to describe scalar susceptibilities, which combined with Ward Identities yield interesting conclusions regarding the interplay between chiral and $U(1)_A$ restoration, key to understand the nature of the transition


title: On the square peg problem

abstract: We show that if $\gamma$ is a Jordan curve in $\mathbb{R}^2$ which is close to a $C^2$ Jordan curve $\beta$ in $\mathbb{R}^2$, then $\gamma$ contains an inscribed square. In particular, if $\kappa > 0$ is the maximum unsigned curvature of $\beta$ and there is a map $f$ from the image of $\gamma$ to the image of $\beta$ with $||f(x) - x|| < \frac{1}{10 \kappa}$ and $f \circ \gamma$ having winding number $1$, then $\gamma$ has an inscribed square of positive sidelength.


title: On a random model of forgetting

abstract: Georgiou, Katkov and Tsodyks considered the following random process. Let $x_1,x_2,\ldots $ be an infinite sequence of independent, identically distributed, uniform random points in $[0,1]$. Starting with $S=\{0\}$, the elements $x_k$ join $S$ one by one, in order. When an entering element is larger than the current minimum element of $S$, this minimum leaves $S$. Let $S(1,n)$ denote the content of $S$ after the first $n$ elements $x_k$ join. Simulations suggest that the size $|S(1,n)|$ of $S$ at time $n$ is typically close to $n/e$. Here we first give a rigorous proof that this is indeed the case, and that in fact the symmetric difference of $S(1,n)$ and the set $\{x_k\ge 1-1/e: 1 \leq k \leq n \}$ is of size at most $\tilde{O}(\sqrt n)$ with high probability. Our main result is a more accurate description of the process implying, in particular, that as $n$ tends to infinity $ n^{-1/2}\big( |S(1,n)|-n/e \big) $ converges to a normal random variable with variance $3e^{-2}-e^{-1}$. We further show that the dynamics of the symmetric difference of $S(1,n)$ and the set $\{x_k\ge 1-1/e: 1 \leq k \leq n \}$ converges with proper scaling to a three dimensional Bessel process.


title: Dynamical Effects of Colliding Outflows in Binary Systems

abstract: The outflow of an object traveling in a fluid can shape the fluid morphology by forming a forward bow shock which accelerates the object via gravitational feedback. This dynamical effect, namely "dynamical anti-friction", has been studied in idealized infinite uniform media, which suffers from the convergence problem due to the long-range nature of gravitation. In this work, we conduct global 3D hydrodynamic simulations to study this effect in the scenario of a binary system, where the collision of outflows from both stars creates a suitable configuration. We demonstrate with simulations that a dense and slow outflow can give rise to a positive torque on the binary and lead to the expansion of the orbit. As an application, we show that binaries consisting of an AGB star and an outflowing pulsar can experience $\sim 10~\%$ orbit expansion during the AGB stage, in addition to the contribution from mass-loss. We also prove that the gravitational force drops as $O(r^{-3})$ from the center of mass in the binary scenarios, which guarantees a quick converge of the overall effect.


title: Chance-Constrained Optimization in Contact-Rich Systems for Robust Manipulation

abstract: This paper presents a chance-constrained formulation for robust trajectory optimization during manipulation. In particular, we present a chance-constrained optimization for Stochastic Discrete-time Linear Complementarity Systems (SDLCS). To solve the optimization problem, we formulate Mixed-Integer Quadratic Programming with Chance Constraints (MIQPCC). In our formulation, we explicitly consider joint chance constraints for complementarity as well as states to capture the stochastic evolution of dynamics. We evaluate robustness of our optimized trajectories in simulation on several systems. The proposed approach outperforms some recent approaches for robust trajectory optimization for SDLCS.


title: How to Train Unstable Looped Tensor Network

abstract: A rising problem in the compression of Deep Neural Networks is how to reduce the number of parameters in convolutional kernels and the complexity of these layers by low-rank tensor approximation. Canonical polyadic tensor decomposition (CPD) and Tucker tensor decomposition (TKD) are two solutions to this problem and provide promising results. However, CPD often fails due to degeneracy, making the networks unstable and hard to fine-tune. TKD does not provide much compression if the core tensor is big. This motivates using a hybrid model of CPD and TKD, a decomposition with multiple Tucker models with small core tensor, known as block term decomposition (BTD). This paper proposes a more compact model that further compresses the BTD by enforcing core tensors in BTD identical. We establish a link between the BTD with shared parameters and a looped chain tensor network (TC). Unfortunately, such strongly constrained tensor networks (with loop) encounter severe numerical instability, as proved by y (Landsberg, 2012) and (Handschuh, 2015a). We study perturbation of chain tensor networks, provide interpretation of instability in TC, demonstrate the problem. We propose novel methods to gain the stability of the decomposition results, keep the network robust and attain better approximation. Experimental results will confirm the superiority of the proposed methods in compression of well-known CNNs, and TC decomposition under challenging scenarios


title: The Fragmentation Kernel in Multinary/Multicomponent Fragmentation

abstract: The fragmentation equation is commonly expressed in terms of two functions, the rate of fragmentation and the mean number of fragments. In the case of binary fragmentation an alternative description is possible based on the fragmentation kernel, a function from which the rate of fragmentation and the mean distribution of fragments can be obtained. We extend the fragmentation kernel to multinary/multicomponent fragmentation and derive expressions for certain special cases of random and non random fragmentation.


title: Measurement of the $^1S_0$ neutron-neutron effective range in neutron-deuteron breakup

abstract: We report the most precise determination of the $^{1}S_{0}$ neutron-neutron effective range parameter ($r_{nn}$) from neutron-neutron quasifree scattering in neutron-deuteron breakup. The experiment setup utilized a collimated beam of 15.5 MeV neutrons and an array of eight neutron detectors positioned at angles sensitive to several quasifree scattering kinematic configurations. The two neutrons emitted from the breakup reaction were detected in coincidence and time-of-flight techniques were used to determine their energies. The beam-target luminosity was measured in-situ with the yields from neutron-deuteron elastic scattering. Rigorous Faddeev-type calculations using the CD Bonn nucleon-nucleon potential were fit to our cross-section data to determine the value of $r_{nn}$. The analysis was repeated using a semilocal momentum-space regularized N$^4$LO$^+$ chiral interaction potential. We obtained values of $r_{nn} = 2.86 \pm 0.01 \,(stat) \pm 0.10 \,(sys)$ fm and $r_{nn} = 2.87 \pm 0.01 \,(stat) \pm 0.10 \,(sys)$ fm using the CD Bonn and N$^4$LO$^+$ potentials, respectively. Our results are consistent with charge symmetry and previously reported values of $r_{nn}$.


title: Exceptional sets for spinor regular ternary quadratic forms

abstract: The goal of this note is to provide an analysis of the positive integers that are represented everywhere locally, but not globally, by each of the 29 spinor regular positive definite integral ternary quadratic forms that are not regular.


title: Low-cost prediction of molecular and transition state partition functions via machine learning

abstract: We have generated an open-source dataset of over 30000 organic chemistry gas phase partition functions. With this data, a machine learning deep neural network estimator was trained to predict partition functions of unknown organic chemistry gas phase transition states. This estimator only relies on reactant and product geometries and partition functions. A second machine learning deep neural network was trained to predict partition functions of chemical species from their geometry. Our models accurately predict the logarithm of test set partition functions with a maximum mean absolute error of 2.7%. Thus, this approach provides a means to reduce the cost of computing reaction rate constants ab initio. The models were also used to compute transition state theory reaction rate constants prefactors and the results were in quantitative agreement with the corresponding ab initio calculations with an accuracy of 98.3% on the log scale.


title: Scaling R-GCN Training with Graph Summarization

abstract: Training of Relational Graph Convolutional Networks (R-GCN) is a memory intense task. The amount of gradient information that needs to be stored during training for real-world graphs is often too large for the amount of memory available on most GPUs. In this work, we experiment with the use of graph summarization techniques to compress the graph and hence reduce the amount of memory needed. After training the R-GCN on the graph summary, we transfer the weights back to the original graph and attempt to perform inference on it. We obtain reasonable results on the AIFB, MUTAG and AM datasets. Our experiments show that training on the graph summary can yield a comparable or higher accuracy to training on the original graphs.Furthermore, if we take the time to compute the summary out of the equation, we observe that the smaller graph representations obtained with graph summarization methods reduces the computational overhead. However, further experiments are needed to evaluate additional graph summary models and whether our findings also holds true for very large graphs.


title: Constraining the shape of Milky Way satellites with distance gradients

abstract: We combine the Dark Energy Camera Legacy Survey (DECaLS) DR8 photometry with Gaia photometry to study the 3-D structure of Bootes I, Draco, Ursa Minor, Sextans and Sculptor dwarf galaxies using blue horizontal branch (BHB) stars as distance indicators. We construct a new colour-absolute magnitude of BHB stars that we use to measure the distance gradients within the body of the dwarf galaxies. We detect a statistically significant non-zero gradient only in Sextans and Sculptor. Through modeling of the gradient and 2-D density of the systems by triaxial Plummer models we find that the distance gradients in both dwarf galaxies are inconsistent with prolate shape, but compatible with oblate or triaxial shapes. In order to explain the observed gradients, oblate models of Sextans and Sculptor need to have a significant intrinsic ellipticity larger than $0.47$ for Sextans and $0.46$ for Sculptor. The flattened oblate shape may imply a significant anisotropy in velocity distribution in order to be consistent with the lack of significant velocity gradients in these systems.


title: Bivariational Principle for an Antisymmetrized Product of Nonorthogonal Geminals Appropriate for Strong Electron Correlation

abstract: We develop a bivariational principle for an antisymmetric product of nonorthogonal geminals. Special cases reduce to the antisymmetric product of strongly-orthogonal geminals (APSG), the generalized valence bond-perfect pairing (GVB-PP), and the antisymmetrized geminal power (AGP) wavefunctions. The presented method employs wavefunctions of the same type as Richardson-Gaudin (RG) states, but which are not eigenvectors of a model Hamiltonian which would allow for more freedom in the mean-field. The general idea is to work with the same state in a primal picture in terms of pairs, and in a dual picture in terms of pair-holes. This leads to an asymmetric energy expression which may be optimized bivariationally, and is strictly variational when the two representations are consistent. The general approach may be useful in other contexts, such as for computationally feasible variational coupled-cluster methods.


title: Using Donald Trump's COVID-19 Vaccine Endorsement to Give Public Health a Shot in the Arm: A Large-Scale Ad Experiment

abstract: We report a large-scale randomized controlled trial designed to assess whether the partisan cue of a pro-vaccine message from Donald Trump would induce Americans to get COVID-19 vaccines. Our study involved presenting a 27-second advertisement to millions of U.S. YouTube users in October 2021. Results indicate that the campaign increased the number of vaccines in the average treated county by 103. Spread across 1,014 treated counties, the total effect of the campaign was an estimated increase of 104,036 vaccines. The campaign was cost-effective: with an overall budget of about \$100,000, the cost to obtain an additional vaccine was about \$1 or less.


title: Percent Grade Scale Amplifies Racial/Ethnic Inequities in Introductory Physics

abstract: In previous work we analyzed databases for 95 classes to show that the percent grade scale was correlated with a much higher student fail rate than the 4.0 grade scale. This paper builds on this work and investigates equity gaps occurring under both scales. By employing a "Course Deficit Model" we attribute the responsibility for closing the gaps to those who are responsible for the policies that guide the course. When comparing course grades in classes graded using the percent scale with those in courses graded using the 4.0 scale, we find that students identifying as belonging to racial or ethnic minorities underrepresented in physics suffer a grade penalty under both grade scales but suffer an extra penalty under percent scale graded courses. We then use the fraction of A grades each student earns on individual exam items as a proxy for the instructor's perception of each student's understanding of the course material to control for student understanding and find that the extra grade penalty students from groups underrepresented in physics students suffer under percent scale grading is independent of the student's understanding of physics. When we control for more student level variables to determine the source of the grade scale dependent penalty, we find that it is primarily the low F grades (partial credit scores) on exam problems that are the source of these inequities. We present an argument that switching from percent scale grading to a 4.0 grade scale (or similar grades scale) could reduce equity gaps by 20-25\% without making any other course changes or controlling for any incoming differences between students.


title: Approximating projections by quantum operations

abstract: Using techniques from semidefinite programming, we study the problem of finding a closest quantum channel to the projection onto a matricial subsystem. We derive two invariants of matricial subsystems which are related to the quantum Lov\'asz theta function of Duan, Severini, and Winter.


title: Target Network and Truncation Overcome The Deadly Triad in $Q$-Learning

abstract: $Q$-learning with function approximation is one of the most empirically successful while theoretically mysterious reinforcement learning (RL) algorithms, and was identified in Sutton (1999) as one of the most important theoretical open problems in the RL community. Even in the basic linear function approximation setting, there are well-known divergent examples. In this work, we show that \textit{target network} and \textit{truncation} together are enough to provably stabilize $Q$-learning with linear function approximation, and we establish the finite-sample guarantees. The result implies an $O(\epsilon^{-2})$ sample complexity up to a function approximation error. Moreover, our results do not require strong assumptions or modifying the problem parameters as in existing literature.


title: The integral cohomology rings of Peterson varieties in type A

abstract: In this paper, we study the ring structure of the integral cohomology of the Peterson variety of type $\text{A}_{n-1}$. We give two kinds of descriptions: (1) we show that it is isomorphic to the $\mathfrak{S}_n$-invariant subring of the integral cohomology ring of the permutohedral variety, (2) we determine the ring structure in terms of ring generators and their relations.


title: Online Adversarial Stabilization of Unknown Networked Systems

abstract: We investigate the problem of stabilizing an unknown networked linear system under communication constraints and adversarial disturbances. We propose the first provably stabilizing algorithm for the problem. The algorithm uses a distributed version of nested convex body chasing to maintain a consistent estimate of the network dynamics and applies system level synthesis to determine a distributed controller based on this estimated model. Our approach avoids the need for system identification and accommodates a broad class of communication delay while being fully distributed and scaling favorably with the number of subsystems.


title: This Week's Finds in Mathematical Physics (51-100)

abstract: These are the second 50 issues of This Week's Finds of Mathematical Physics, from April 23, 1995 to March 23, 1997. These issues discuss quantum gravity, topological quantum field theory and other topics in mathematics and physics. They also include two expository series: one on ADE classifications and one on categories and higher categories. They were typeset in 2020 by Tim Hosgood. If you see typos or other problems please report them. (I already know the cover page looks weird).


title: Extracting linguistic speech patterns of Japanese fictional characters using subword units

abstract: This study extracted and analyzed the linguistic speech patterns that characterize Japanese anime or game characters. Conventional morphological analyzers, such as MeCab, segment words with high performance, but they are unable to segment broken expressions or utterance endings that are not listed in the dictionary, which often appears in lines of anime or game characters. To overcome this challenge, we propose segmenting lines of Japanese anime or game characters using subword units that were proposed mainly for deep learning, and extracting frequently occurring strings to obtain expressions that characterize their utterances. We analyzed the subword units weighted by TF/IDF according to gender, age, and each anime character and show that they are linguistic speech patterns that are specific for each feature. Additionally, a classification experiment shows that the model with subword units outperformed that with the conventional method.


title: Bistability in orbital trajectories of a chiral self-propelled particle interacting with an external field

abstract: In this work, the dynamics of a self-propelled stochastic particle under the influence of an axisymmetric light field was experimentally studied. The particle under consideration has the main characteristic of carrying a light sensor in an eccentric location. For the chosen experimental conditions, the emerging trajectories were orbital, and, more interestingly, they presented two preferential radial distances. A mathematical model incorporating the key experimental components was introduced. By means of numerical simulations and theoretical analysis, it was found that, in addition to the orbiting behavior, the sensor location could produce trapped or diffusive behaviors. Furthermore, the study revealed that stochastic perturbation and the eccentric location of the sensor are responsible for inducing bistability in the orbital trajectories, in agreement with the experimental observations.


title: Important Object Identification with Semi-Supervised Learning for Autonomous Driving

abstract: Accurate identification of important objects in the scene is a prerequisite for safe and high-quality decision making and motion planning of intelligent agents (e.g., autonomous vehicles) that navigate in complex and dynamic environments. Most existing approaches attempt to employ attention mechanisms to learn importance weights associated with each object indirectly via various tasks (e.g., trajectory prediction), which do not enforce direct supervision on the importance estimation. In contrast, we tackle this task in an explicit way and formulate it as a binary classification ("important" or "unimportant") problem. We propose a novel approach for important object identification in egocentric driving scenarios with relational reasoning on the objects in the scene. Besides, since human annotations are limited and expensive to obtain, we present a semi-supervised learning pipeline to enable the model to learn from unlimited unlabeled data. Moreover, we propose to leverage the auxiliary tasks of ego vehicle behavior prediction to further improve the accuracy of importance estimation. The proposed approach is evaluated on a public egocentric driving dataset (H3D) collected in complex traffic scenarios. A detailed ablative study is conducted to demonstrate the effectiveness of each model component and the training strategy. Our approach also outperforms rule-based baselines by a large margin.


title: Training privacy-preserving video analytics pipelines by suppressing features that reveal information about private attributes

abstract: Deep neural networks are increasingly deployed for scene analytics, including to evaluate the attention and reaction of people exposed to out-of-home advertisements. However, the features extracted by a deep neural network that was trained to predict a specific, consensual attribute (e.g. emotion) may also encode and thus reveal information about private, protected attributes (e.g. age or gender). In this work, we focus on such leakage of private information at inference time. We consider an adversary with access to the features extracted by the layers of a deployed neural network and use these features to predict private attributes. To prevent the success of such an attack, we modify the training of the network using a confusion loss that encourages the extraction of features that make it difficult for the adversary to accurately predict private attributes. We validate this training approach on image-based tasks using a publicly available dataset. Results show that, compared to the original network, the proposed PrivateNet can reduce the leakage of private information of a state-of-the-art emotion recognition classifier by 2.88% for gender and by 13.06% for age group, with a minimal effect on task accuracy.


title: Boosting Crowd Counting via Multifaceted Attention

abstract: This paper focuses on the challenging crowd counting task. As large-scale variations often exist within crowd images, neither fixed-size convolution kernel of CNN nor fixed-size attention of recent vision transformers can well handle this kind of variation. To address this problem, we propose a Multifaceted Attention Network (MAN) to improve transformer models in local spatial relation encoding. MAN incorporates global attention from a vanilla transformer, learnable local attention, and instance attention into a counting model. Firstly, the local Learnable Region Attention (LRA) is proposed to assign attention exclusively for each feature location dynamically. Secondly, we design the Local Attention Regularization to supervise the training of LRA by minimizing the deviation among the attention for different feature locations. Finally, we provide an Instance Attention mechanism to focus on the most important instances dynamically during training. Extensive experiments on four challenging crowd counting datasets namely ShanghaiTech, UCF-QNRF, JHU++, and NWPU have validated the proposed method. Codes: https://github.com/LoraLinH/Boosting-Crowd-Counting-via-Multifaceted-Attention.


title: A Jordan-Chevalley decomposition beyond algebraic groups

abstract: A generalization of the Jordan-Chevalley decomposition of linear algebraic groups to definable groups in o-minimal structures is considered. As an application, we give a description of the commutator subgroup of a definable group G, and show that when G has definable Levi subgroups, [G, G] is definable. Along the way, we identify crucial central subgroups, study disconnected groups, definable p-groups and 0-groups, abstractly compact subgroups, the Weyl group, and discuss a couple of other structure decompositions: 1) a compact-torsionfree decomposition and 2) a Levi decomposition. It turns out that definable p-groups are solvable, like finite p-groups, but they are not necessarily nilpotent.


title: Safe Reinforcement Learning for Legged Locomotion

abstract: Designing control policies for legged locomotion is complex due to the under-actuated and non-continuous robot dynamics. Model-free reinforcement learning provides promising tools to tackle this challenge. However, a major bottleneck of applying model-free reinforcement learning in real world is safety. In this paper, we propose a safe reinforcement learning framework that switches between a safe recovery policy that prevents the robot from entering unsafe states, and a learner policy that is optimized to complete the task. The safe recovery policy takes over the control when the learner policy violates safety constraints, and hands over the control back when there are no future safety violations. We design the safe recovery policy so that it ensures safety of legged locomotion while minimally intervening in the learning process. Furthermore, we theoretically analyze the proposed framework and provide an upper bound on the task performance. We verify the proposed framework in four locomotion tasks on a simulated and real quadrupedal robot: efficient gait, catwalk, two-leg balance, and pacing. On average, our method achieves 48.6% fewer falls and comparable or better rewards than the baseline methods in simulation. When deployed it on real-world quadruped robot, our training pipeline enables 34% improvement in energy efficiency for the efficient gait, 40.9% narrower of the feet placement in the catwalk, and two times more jumping duration in the two-leg balance. Our method achieves less than five falls over the duration of 115 minutes of hardware time.


title: Theoretical results and modeling under the discrete Birnbaum-Saunders distribution

abstract: In this paper, we discuss some theoretical results and properties of a discrete version of the Birnbaum-Saunders distribution. We present a proof of the unimodality of this model. Moreover, results on moments, quantile function, reliability and order statistics are also presented. In addition, we propose a regression model based on the discrete Birnbaum-Saunders distribution. The model parameters are estimated by the maximum likelihood method and a Monte Carlo study is performed to evaluate the performance of the estimators. Finally, we illustrate the proposed methodology with the use of real data sets.


title: Integral domains and the IDF property

abstract: An integral domain $D$ is called an irreducible-divisor-finite domain (IDF-domain) if every nonzero element of $D$ has finitely many irreducible divisors up to associates. The study of IDF-domains dates back to the seventies. In this paper, we investigate various aspects of the IDF property. In 2009, P.~Malcolmson and F. Okoh proved that the IDF property does not ascend from integral domains to their corresponding polynomial rings, answering a question posed by D. D. Anderson, D. F. Anderson, and the second author two decades before. Here we prove that the IDF property ascends in the class of PSP-domains, generalizing the known result (also by Malcolmson and Okoh) that the IDF property ascends in the class of GCD-domains. We put special emphasis on IDF-domains where every nonunit is divisible by an irreducible, which we call TIDF-domains, and we also consider PIDF-domains, which form a special class of IDF-domains introduced by Malcolmson and Okoh in 2006. We investigate both the TIDF and the PIDF properties under taking polynomial rings and localizations. We also delve into their behavior under monoid domain and $D+M$ constructions


title: Why Constant-Composition Codes Reduce Nonlinear Interference Noise

abstract: A time-domain perturbation model of the nonlinear Schrodinger equation is used to study wavelength-division multiplexed communication over a single polarization. The model explains (a) why constant-composition codes offer an improvement in signal to noise ratio compared with independent and uniform selection of constellation points and (b) why similar gains are obtained using carrier recovery algorithms even without using constant-composition codes.


title: Quasi-normal modes of dyonic black holes and magneto-hydrodynamics

abstract: We revisit the magneto-hydrodynamics in (2+1) dimensions and confirm that it is consistent with the quasi-normal modes of the (3+1) dimensional dyonic black holes in the most general set-up with finite density, magnetic field and wave vector. We investigate all possible modes (sound, shear, diffusion, cyclotron etc.) and their interplay. For the magneto-hydrodynamics we perform a complete and detailed analysis correcting some prefactors in the literature, which is important for the comparison with quasi-normal modes. For the quasi-normal mode computations in holography we identify the independent fluctuation variables of the dyonic black holes, which is nontrivial at finite density and magnetic field. As an application of the quasi-normal modes of the dyonic black holes we investigate a transport property, the diffusion constant. We find that the diffusion constant at finite density and magnetic field saturates the lower bound at low temperature. We show that this bound can be understood from the pole-skipping point.


title: SwarmUS: An open hardware and software on-board platform for swarm robotics development

abstract: Real life implementations of distributed swarm robotics are rare. The standardization of a general purpose swarm robotics platform could greatly accelerate swarm robotics towards real life implementations. The SwarmUS platform is an open-source hardware and software on-board embedded system designed to be added onto existing robots while providing them with swarm features, thus proposing a new take on the platform standardization problem. These features include a distributed relative localization system based on Ultra-Wideband, a local communication system based on Wi-Fi and a distributed coordination system based on the Buzz programming language between robots connected within a SwarmUS platform. Additionally, a human-swarm interaction mobile application and an emulation of the platform in the Robot Operating System (ROS) is presented. Finally, an implementation of the system was realized and tested on two types of robots : a TurtleBot3 Burger and two Pioneer 2DX.


title: A Hele-Shaw Limit With A Variable Upper Bound and Drift

abstract: We investigate a generalized Hele-Shaw equation with a source and drift terms where the density is constrained by an upper-bound density constraint that varies in space and time. By using a generalized porous medium equation approximation, we are able to construct a weak solution to the generalized Hele-Shaw equations under mild assumptions. Then we establish uniqueness of weak solutions to the generalized Hele-Shaw equations. Our next main result is a pointwise characterization of the density variable in the generalized Hele-Shaw equations when the system is in the congestion case. To obtain such a characterization for the congestion case, we derive a new uniform lower bounds on the time derivative pressure of the generalized porous medium equation via a refined Aronson-Benilan estimate that implies monotonicity on the density and pressure.


title: Acceleration of Federated Learning with Alleviated Forgetting in Local Training

abstract: Federated learning (FL) enables distributed optimization of machine learning models while protecting privacy by independently training local models on each client and then aggregating parameters on a central server, thereby producing an effective global model. Although a variety of FL algorithms have been proposed, their training efficiency remains low when the data are not independently and identically distributed (non-i.i.d.) across different clients. We observe that the slow convergence rates of the existing methods are (at least partially) caused by the catastrophic forgetting issue during the local training stage on each individual client, which leads to a large increase in the loss function concerning the previous training data at the other clients. Here, we propose FedReg, an algorithm to accelerate FL with alleviated knowledge forgetting in the local training stage by regularizing locally trained parameters with the loss on generated pseudo data, which encode the knowledge of previous training data learned by the global model. Our comprehensive experiments demonstrate that FedReg not only significantly improves the convergence rate of FL, especially when the neural network architecture is deep and the clients' data are extremely non-i.i.d., but is also able to protect privacy better in classification problems and more robust against gradient inversion attacks. The code is available at: https://github.com/Zoesgithub/FedReg.


title: Liouville property and existence of entire solutions of Hessian equations

abstract: In this paper, we establish the existence and uniqueness theorem for entire solutions of Hessian equations with prescribed asymptotic behavior at infinity. This extends the previous results on Monge-Amp\`{e}re equations. Our approach also makes the prescribed asymptotic order optimal within the range preset in exterior Dirichlet problems. In addition, we show a Liouville type result for $k$-convex solutions. This partly removes the $(k+1)$- or $n$-convexity restriction imposed in existing work.


title: Rational solutions of Painlev\'{e}-II equation as Gram determinant

abstract: Under the Flaschka-Newell Lax pair, the Darboux transformation for the Painlev\'{e}-II equation is constructed by the limiting technique. With the aid of the Darboux transformation, the rational solutions are represented by the Gram determinant, and then we give the large $y$ asymptotics of the determinant and the rational solutions. Finally, the solution of the corresponding Riemann-Hilbert problem is obtained from the Darboux matrices.


title: Cluster-based Contrastive Disentangling for Generalized Zero-Shot Learning

abstract: Generalized Zero-Shot Learning (GZSL) aims to recognize both seen and unseen classes by training only the seen classes, in which the instances of unseen classes tend to be biased towards the seen class. In this paper, we propose a Cluster-based Contrastive Disentangling (CCD) method to improve GZSL by alleviating the semantic gap and domain shift problems. Specifically, we first cluster the batch data to form several sets containing similar classes. Then, we disentangle the visual features into semantic-unspecific and semantic-matched variables, and further disentangle the semantic-matched variables into class-shared and class-unique variables according to the clustering results. The disentangled learning module with random swapping and semantic-visual alignment bridges the semantic gap. Moreover, we introduce contrastive learning on semantic-matched and class-unique variables to learn high intra-set and intra-class similarity, as well as inter-set and inter-class discriminability. Then, the generated visual features conform to the underlying characteristics of general images and have strong discriminative information, which alleviates the domain shift problem well. We evaluate our proposed method on four datasets and achieve state-of-the-art results in both conventional and generalized settings.


title: Towards an Antivirus for Quantum Computers

abstract: Researchers are today exploring models for cloud-based usage of quantum computers where multi-tenancy can be used to share quantum computer hardware among multiple users. Multi-tenancy has a promise of allowing better utilization of the quantum computer hardware, but also opens up the quantum computer to new types of security attacks. As this and other recent research shows, it is possible to perform a fault injection attack using crosstalk on quantum computers when a victim and attacker circuits are instantiated as co-tenants on the same quantum computer. To ensure such attacks do not happen, this paper proposes that new techniques should be developed to help catch malicious circuits before they are loaded onto quantum computer hardware. Following ideas from classical computers, a compile-time technique can be designed to scan quantum computer programs for malicious or suspicious code patterns before they are compiled into quantum circuits that run on a quantum computer. This paper presents ongoing work which demonstrates how crosstalk can affect Grover's algorithm, and then presents suggestions of how quantum programs could be analyzed to catch circuits that generate large amounts of crosstalk with malicious intent.


title: Vision-based Distributed Multi-UAV Collision Avoidance via Deep Reinforcement Learning for Navigation

abstract: Online path planning for multiple unmanned aerial vehicle (multi-UAV) systems is considered a challenging task. It needs to ensure collision-free path planning in real-time, especially when the multi-UAV systems can become very crowded on certain occasions. In this paper, we presented a vision-based decentralized collision-avoidance policy for multi-UAV systems, which takes depth images and inertial measurements as sensory inputs and outputs UAV's steering commands. The policy is trained together with the latent representation of depth images using a policy gradient-based reinforcement learning algorithm and autoencoder in the multi-UAV threedimensional workspaces. Each UAV follows the same trained policy and acts independently to reach the goal without colliding or communicating with other UAVs. We validate our policy in various simulated scenarios. The experimental results show that our learned policy can guarantee fully autonomous collision-free navigation for multi-UAV in the three-dimensional workspaces with good robustness and scalability.


title: Ensemble Knowledge Guided Sub-network Search and Fine-tuning for Filter Pruning

abstract: Conventional NAS-based pruning algorithms aim to find the sub-network with the best validation performance. However, validation performance does not successfully represent test performance, i.e., potential performance. Also, although fine-tuning the pruned network to restore the performance drop is an inevitable process, few studies have handled this issue. This paper provides a novel Ensemble Knowledge Guidance (EKG) to solve both problems at once. First, we experimentally prove that the fluctuation of loss landscape can be an effective metric to evaluate the potential performance. In order to search a sub-network with the smoothest loss landscape at a low cost, we employ EKG as a search reward. EKG utilized for the following search iteration is composed of the ensemble knowledge of interim sub-networks, i.e., the by-products of the sub-network evaluation. Next, we reuse EKG to provide a gentle and informative guidance to the pruned network while fine-tuning the pruned network. Since EKG is implemented as a memory bank in both phases, it requires a negligible cost. For example, when pruning and training ResNet-50, just 315 GPU hours are required to remove around 45.04% of FLOPS without any performance degradation, which can operate even on a low-spec workstation. the implemented code is available at https://github.com/sseung0703/EKG.


title: Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models

abstract: Semantic parsing is a key NLP task that maps natural language to structured meaning representations. As in many other NLP tasks, SOTA performance in semantic parsing is now attained by fine-tuning a large pretrained language model (PLM). While effective, this approach is inefficient in the presence of multiple downstream tasks, as a new set of values for all parameters of the PLM needs to be stored for each task separately. Recent work has explored methods for adapting PLMs to downstream tasks while keeping most (or all) of their parameters frozen. We examine two such promising techniques, prefix tuning and bias-term tuning, specifically on semantic parsing. We compare them against each other on two different semantic parsing datasets, and we also compare them against full and partial fine-tuning, both in few-shot and conventional data settings. While prefix tuning is shown to do poorly for semantic parsing tasks off the shelf, we modify it by adding special token embeddings, which results in very strong performance without compromising parameter savings.


title: Estimating the circumference of a graph in terms of its leaf number

abstract: Let $\mathcal{T}$ be the set of spanning trees of $G$ and let $L(T)$ be the number of leaves in a tree $T$. The leaf number $L(G)$ of $G$ is defined as $L(G)=\max\{L(T)|T\in \mathcal{T}\}$. Let $G$ be a connected graph of order $n$ and minimum degree $\delta$ such that $L(G)\leq 2\delta-1$. We show that the circumference of $G$ is at least $n-1$, and that if $G$ is regular then $G$ is hamiltonian.


title: A Large-scale Comprehensive Dataset and Copy-overlap Aware Evaluation Protocol for Segment-level Video Copy Detection

abstract: In this paper, we introduce VCSL (Video Copy Segment Localization), a new comprehensive segment-level annotated video copy dataset. Compared with existing copy detection datasets restricted by either video-level annotation or small-scale, VCSL not only has two orders of magnitude more segment-level labelled data, with 160k realistic video copy pairs containing more than 280k localized copied segment pairs, but also covers a variety of video categories and a wide range of video duration. All the copied segments inside each collected video pair are manually extracted and accompanied by precisely annotated starting and ending timestamps. Alongside the dataset, we also propose a novel evaluation protocol that better measures the prediction accuracy of copy overlapping segments between a video pair and shows improved adaptability in different scenarios. By benchmarking several baseline and state-of-the-art segment-level video copy detection methods with the proposed dataset and evaluation metric, we provide a comprehensive analysis that uncovers the strengths and weaknesses of current approaches, hoping to open up promising directions for future works. The VCSL dataset, metric and benchmark codes are all publicly available at https://github.com/alipay/VCSL.


title: Audio-visual speech separation based on joint feature representation with cross-modal attention

abstract: Multi-modal based speech separation has exhibited a specific advantage on isolating the target character in multi-talker noisy environments. Unfortunately, most of current separation strategies prefer a straightforward fusion based on feature learning of each single modality, which is far from sufficient consideration of inter-relationships between modalites. Inspired by learning joint feature representations from audio and visual streams with attention mechanism, in this study, a novel cross-modal fusion strategy is proposed to benefit the whole framework with semantic correlations between different modalities. To further improve audio-visual speech separation, the dense optical flow of lip motion is incorporated to strengthen the robustness of visual representation. The evaluation of the proposed work is performed on two public audio-visual speech separation benchmark datasets. The overall improvement of the performance has demonstrated that the additional motion network effectively enhances the visual representation of the combined lip images and audio signal, as well as outperforming the baseline in terms of all metrics with the proposed cross-modal fusion.


abstract: Network embedding is an effective technique to learn the low-dimensional representations of nodes in networks. Real-world networks are usually with multiplex or having multi-view representations from different relations. Recently, there has been increasing interest in network embedding on multiplex data. However, most existing multiplex approaches assume that the data is complete in all views. But in real applications, it is often the case that each view suffers from the missing of some data and therefore results in partial multiplex data. In this paper, we present a novel Deep Partial Multiplex Network Embedding approach to deal with incomplete data. In particular, the network embeddings are learned by simultaneously minimizing the deep reconstruction loss with the autoencoder neural network, enforcing the data consistency across views via common latent subspace learning, and preserving the data topological structure within the same network through graph Laplacian. We further prove the orthogonal invariant property of the learned embeddings and connect our approach with the binary embedding techniques. Experiments on four multiplex benchmarks demonstrate the superior performance of the proposed approach over several state-of-the-art methods on node classification, link prediction and clustering tasks.


title: Quantifying the Predictability of ENSO Complexity Using a Statistically Accurate Multiscale Stochastic Model and Information Theory

abstract: An information-theoretic framework is developed to assess the predictability of ENSO complexity, which is a central problem in contemporary meteorology with large societal impacts. The information theory advances a unique way to quantify the forecast uncertainty and allows to distinguish the predictability limit of different ENSO events. One key step in applying the framework to compute the information gain representing the predictability is to build a statistically accurate dynamical model. To this end, a recently developed multiscale stochastic model, which succeeds in capturing both the large-scale dynamics and many crucial statistical properties of the observed ENSO complexity, is incorporated into the information-theoretic framework. It is shown that different ENSO events possess very distinct predictability limits. In addition to the ensemble mean, the ensemble spread also has remarkable contributions to the predictability. While the information theory indicates that predicting the onset of the eastern Pacific El Ni\~nos is challenging, it reveals a universal tendency to convert strong predictability to skillful forecast for predicting many central Pacific El Ni\~nos about two years in advance. In addition, strong predictability is found for the La Ni\~na events, corresponding to the effective discharge process. In the climate change scenario with the strengthening of the background Walker circulation, the predictability of sea surface temperature in central Pacific has a significant response with a notable increase in summer and fall. Finally, the Gaussian approximation is shown to be accurate in computing the information gain, which facilitates the use of more sophisticated models to study the ENSO predictability.


title: Koopman operator for time-dependent reliability analysis

abstract: Time-dependent structural reliability analysis of nonlinear dynamical systems is non-trivial; subsequently, scope of most of the structural reliability analysis methods is limited to time-independent reliability analysis only. In this work, we propose a Koopman operator based approach for time-dependent reliability analysis of nonlinear dynamical systems. Since the Koopman representations can transform any nonlinear dynamical system into a linear dynamical system, the time evolution of dynamical systems can be obtained by Koopman operators seamlessly regardless of the nonlinear or chaotic behavior. Despite the fact that the Koopman theory has been in vogue a long time back, identifying intrinsic coordinates is a challenging task; to address this, we propose an end-to-end deep learning architecture that learns the Koopman observables and then use it for time marching the dynamical response. Unlike purely data-driven approaches, the proposed approach is robust even in the presence of uncertainties; this renders the proposed approach suitable for time-dependent reliability analysis. We propose two architectures; one suitable for time-dependent reliability analysis when the system is subjected to random initial condition and the other suitable when the underlying system have uncertainties in system parameters. The proposed approach is robust and generalizes to unseen environment (out-of-distribution prediction). Efficacy of the proposed approached is illustrated using three numerical examples. Results obtained indicate supremacy of the proposed approach as compared to purely data-driven auto-regressive neural network and long-short term memory network.


title: The disk wind in GRS 1915+105 as seen by Insight-HXMT

abstract: We analyze three observations of GRS 1915+105 in 2017 by Insight-HXMT when the source was in a spectrally soft state. We find strong absorption lines from highly ionized iron, which are due to absorption by disk wind outflowing at a velocity of $\sim$ 1000 km s$^{-1}$ along our line of sight. Two of the three observations show large amplitude oscillation in their light curves and the variation pattern corresponds to state $\kappa$ of GRS 1915+105. From time-averaged and flux-resolved analysis, we find that the variation of the ionization state of the disk wind follows the X-ray continuum on timescales from hundreds seconds to months. The radial location of the disk wind is consistent with thermal driving. The mass-loss rate due to the outflowing wind is comparable to the mass accretion rate in the inner disk, which demonstrates the important role of the disk wind in the disk accretion system.


title: MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks

abstract: Memory-related vulnerabilities constitute severe threats to the security of modern software. Despite the success of deep learning-based approaches to generic vulnerability detection, they are still limited by the underutilization of flow information when applied for detecting memory-related vulnerabilities, leading to high false positives. In this paper,we propose MVD, a statement-level Memory-related Vulnerability Detection approach based on flow-sensitive graph neural networks (FS-GNN). FS-GNN is employed to jointly embed both unstructured information (i.e., source code) and structured information (i.e., control- and data-flow) to capture implicit memory-related vulnerability patterns. We evaluate MVD on the dataset which contains 4,353 real-world memory-related vulnerabilities, and compare our approach with three state-of-the-art deep learning-based approaches as well as five popular static analysisbased memory detectors. The experiment results show that MVD achieves better detection accuracy, outperforming both state-of-theart DL-based and static analysis-based approaches. Furthermore, MVD makes a great trade-off between accuracy and efficiency.


title: On integer values of sum and product of three positive rational numbers

abstract: In 1997 we proved that if $n$ is of the form $$ 4k, \quad 8k-1\quad {\rm or} \quad 2^{2m+1}(2k-1)+3, $$ where $k,m\in \mathbb N,$ then there are no positive rational numbers $x,y,z$ satisfying $$ xyz = 1, \quad x+y+z = n. $$ Recently, N. X. Tho proved the following statement: let $a\in\mathbb N$ be odd and let either $n\equiv 0\pmod 4$ or $n\equiv 7\pmod 8$. Then the system of equations $$ xyz = a, \quad x+y+z = an. $$ has no solutions in positive rational numbers $x,y,z.$ A representative example of our result is the following statement: assume that $a,n\in\mathbb N$ are such that at least one of the following conditions hold: $\bullet$ $n\equiv 0\pmod 4$ $\bullet$ $n\equiv 7\pmod 8 $ $\bullet$ $a\equiv 0\pmod 4$ $\bullet$ $a\equiv 0\pmod 2$ and $n\equiv 3\pmod 4$ $\bullet$ $a^2n^3=2^{2m+1}(2k-1)+27$ for some $k,m\in \mathbb N.$ Then the system of equations $$ xyz = a, \quad x+y+z = an. $$ has no solutions in positive rational numbers $x,y,z.$


title: A Survey on Metaverse: Fundamentals, Security, and Privacy

abstract: Metaverse, as an evolving paradigm of the next-generation Internet, aims to build a fully immersive, hyper spatiotemporal, and self-sustaining virtual shared space for humans to play, work, and socialize. Driven by recent advances in emerging technologies such as extended reality, artificial intelligence, and blockchain, metaverse is stepping from science fiction to an upcoming reality. However, severe privacy invasions and security breaches (inherited from underlying technologies or emerged in the new digital ecology) of metaverse can impede its wide deployment. At the same time, a series of fundamental challenges (e.g., scalability and interoperability) can arise in metaverse security provisioning owing to the intrinsic characteristics of metaverse, such as immersive realism, hyper spatiotemporality, sustainability, and heterogeneity. In this paper, we present a comprehensive survey of the fundamentals, security, and privacy of metaverse. Specifically, we first investigate a novel distributed metaverse architecture and its key characteristics with ternary-world interactions. Then, we discuss the security and privacy threats, present the critical challenges of metaverse systems, and review the state-of-the-art countermeasures. Finally, we draw open research directions for building future metaverse systems.


title: The generalized Marchenko method in the inverse scattering problem for a first-order linear system

abstract: The Marchenko method is developed in the inverse scattering problem for a linear system of first-order differential equations containing potentials proportional to the spectral parameter. The corresponding Marchenko system of integral equations is derived in such a way that the method can be applied to some other linear systems for which a Marchenko method is not yet available. It is shown how the potentials and the scattering solutions to the linear system are constructed from the solution to the Marchenko system. The bound-state information for the linear system with any number of bound states and any multiplicities is described in terms of a pair of constant matrix triplets. When the potentials in the linear system are reflectionless, some explicit solution formulas are presented in closed form for the potentials and for the scattering solutions to the linear system. The theory is illustrated with some explicit examples.


title: Learning Affinity from Attention: End-to-End Weakly-Supervised Semantic Segmentation with Transformers

abstract: Weakly-supervised semantic segmentation (WSSS) with image-level labels is an important and challenging task. Due to the high training efficiency, end-to-end solutions for WSSS have received increasing attention from the community. However, current methods are mainly based on convolutional neural networks and fail to explore the global information properly, thus usually resulting in incomplete object regions. In this paper, to address the aforementioned problem, we introduce Transformers, which naturally integrate global information, to generate more integral initial pseudo labels for end-to-end WSSS. Motivated by the inherent consistency between the self-attention in Transformers and the semantic affinity, we propose an Affinity from Attention (AFA) module to learn semantic affinity from the multi-head self-attention (MHSA) in Transformers. The learned affinity is then leveraged to refine the initial pseudo labels for segmentation. In addition, to efficiently derive reliable affinity labels for supervising AFA and ensure the local consistency of pseudo labels, we devise a Pixel-Adaptive Refinement module that incorporates low-level image appearance information to refine the pseudo labels. We perform extensive experiments and our method achieves 66.0% and 38.9% mIoU on the PASCAL VOC 2012 and MS COCO 2014 datasets, respectively, significantly outperforming recent end-to-end methods and several multi-stage competitors. Code is available at https://github.com/rulixiang/afa.


title: On unit-weighted zero-sum constants of $\mathbb Z_n$

abstract: Given $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence having consecutive terms. The value of $C_{U(n)}(n)$ is known when $n$ is odd. We give a different argument to determine the value of $C_{U(n)}(n)$ for any $n$. A $C$-extremal sequence for $U(n)$ is a sequence in $\mathbb Z_n$ whose length is $C_{U(n)}(n)-1$ and which does not have any $U(n)$-weighted zero-sum subsequence having consecutive terms. We characterize the $C$-extremal sequences for $U(n)$ when $n$ is a power of 2. For any $n$, we determine the value of $C_A(n)$ where $A$ is the set of all odd (or all even) elements of $\mathbb Z_n$ and also when $A=\{1,2,\ldots,r\}$ where $r<n$.


title: Thermal Hysteresis Behavior of Skyrmion Lattices in the van der Waals Ferromagnet Fe3GeTe2

abstract: Understanding the physics of phase transitions in two-dimensional (2D) systems underpins the research in diverse fields including statistical mechanics, quantum systems, nanomagnetism, and soft condensed matter. However, many fundamental aspects of 2D phase transitions are still not well understood, including the effects of interparticle potential, polydispersity, and particle shape. Magnetic skyrmions, which are non-trivial chiral spin structures, can be considered as quasi-particles that form two-dimensional lattices. Here we show, by real-space imaging using in situ cryo-Lorentz transmission electron microscopy coupled with machine learning, the ordering behavior of N\'eel skyrmion lattices in van der Waals Fe3GeTe2. We demonstrate a distinct change in the skyrmion size distribution during field-cooling, which leads to a loss of lattice order and an evolution of the skyrmion liquid phase. Remarkably, the lattice order is restored during field heating and demonstrates a thermal hysteresis. Our quantitative analysis explains this behavior based on the energy landscape of skyrmions and demonstrates the potential to control the lattice order in 2D phase transitions.