title: Coreless vortices as direct signature of chiral $d$-wave superconductivity

abstract: Chiral $d$-wave superconductivity has been proposed in a number of different materials, but characteristic experimental fingerprints have been largely lacking. We show that quadruply quantized coreless vortices are prone to form and offer distinctive signatures of the chiral $d$-wave state in both the local density of states and the total magnetic moment. Their dissimilarity in positive versus negative magnetic fields further leads to additional spontaneous symmetry breaking, producing clear evidence of time-reversal symmetry breaking, chiral superconductivity, and the Chern number.


title: Moduli Spaces of Rational Graphically Stable Curves

abstract: We use a graph to define a new stability condition for algebraic moduli spaces of rational curves. We characterize when the tropical compactification of the moduli space agrees with the theory of geometric tropicalization. The characterization statement occurs only when the graph is complete multipartite.


title: MM-SHAP: A Performance-agnostic Metric for Measuring Multimodal Contributions in Vision and Language Models & Tasks

abstract: Vision and language models (VL) are known to exploit unrobust indicators in individual modalities (e.g., introduced by distributional biases) instead of focusing on relevant information in each modality. That a unimodal model achieves similar accuracy on a VL task to a multimodal one, indicates that so-called unimodal collapse occurred. However, accuracy-based tests fail to detect e.g., when the model prediction is wrong, while the model used relevant information from a modality. Instead, we propose MM-SHAP, a performance-agnostic multimodality score based on Shapley values that reliably quantifies in which proportions a multimodal model uses individual modalities. We apply MM-SHAP in two ways: (1) to compare models for their average degree of multimodality, and (2) to measure for individual models the contribution of individual modalities for different tasks and datasets. Experiments with six VL models -- LXMERT, CLIP and four ALBEF variants -- on four VL tasks highlight that unimodal collapse can occur to different degrees and in different directions, contradicting the wide-spread assumption that unimodal collapse is one-sided. Based on our results, we recommend MM-SHAP for analysing multimodal tasks, to diagnose and guide progress towards multimodal integration. Code available at \url{https://github.com/Heidelberg-NLP/MM-SHAP}.


title: Classical Solutions of the Fornberg-Whitham Equation

abstract: In this paper, we prove well-posedness in $C^1(\mathbb{R})$ (a.k.a. classical solutions) of the Fornberg-Whitham equation. To achieve this objective, we study its weak formulation under a Lagrangian framework. Applying the fundamental theorem of ordinary differential equations to the generated semi-linear system, we then construct a unique solution to the equation that is continuously dependent on the initial data. These results improve upon others in Sobolev and Besov spaces.


title: Skip-sampling: subsampling in the frequency domain

abstract: Over the last 35 years, several bootstrap methods for time series have been proposed. Popular `time-domain' methods include the block-bootstrap, the stationary bootstrap, the linear process bootstrap, etc.; subsampling for time series is also available, and is closely related to the block-bootstrap. `Frequency-domain' bootstrap has been performed either by resampling the periodogram ordinates or by resampling the ordinates of the Discrete Fourier Transform (DFT). The paper at hand proposes a novel construction of subsampling the DFT ordinates, and investigates its theoretical properties and realm of applicability.


title: QF-MAC: Adaptive, Local Channel Hopping for Interference Avoidance in Wireless Meshes

abstract: The throughput efficiency of a wireless mesh network with potentially malicious external or internal interference can be significantly improved by equipping routers with multi-radio access over multiple channels. For reliably mitigating the effect of interference, frequency diversity (e.g., channel hopping) and time diversity (e.g., carrier sense multiple access) are conventionally leveraged to schedule communication channels. However, multi-radio scheduling over a limited set of channels to minimize the effect of interference and maximize network performance in the presence of concurrent network flows remains a challenging problem. The state-of-the-practice in channel scheduling of multi-radios reveals not only gaps in achieving network capacity but also significant communication overhead. This paper proposes an adaptive channel hopping algorithm for multi-radio communication, QuickFire MAC (QF-MAC), that assigns per-node, per-flow ``local'' channel hopping sequences, using only one-hop neighborhood coordination. QF-MAC achieves a substantial enhancement of throughput and latency with low control overhead. QF-MAC also achieves robustness against network dynamics, i.e., mobility and external interference, and selective jamming attacker where a global channel hopping sequence (e.g., TSCH) fails to sustain the communication performance. Our simulation results quantify the performance gains of QF-MAC in terms of goodput, latency, reliability, communication overhead, and jamming tolerance, both in the presence and absence of mobility, across diverse configurations of network densities, sizes, and concurrent flows.


title: Huber-energy measure quantization

abstract: We describe a measure quantization procedure i.e., an algorithm which finds the best approximation of a target probability law (and more generally signed finite variation measure) by a sum of $Q$ Dirac masses ($Q$ being the quantization parameter). The procedure is implemented by minimizing the statistical distance between the original measure and its quantized version; the distance is built from a negative definite kernel and, if necessary, can be computed on the fly and feed to a stochastic optimization algorithm (such as SGD, Adam, ...). We investigate theoretically the fundamental questions of existence of the optimal measure quantizer and identify what are the required kernel properties that guarantee suitable behavior. We propose two best linear unbiased (BLUE) estimators for the squared statistical distance and use them in an unbiased procedure, called HEMQ, to find the optimal quantization. We test HEMQ on several databases: multi-dimensional Gaussian mixtures, Wiener space cubature, Italian wine cultivars and the MNIST image database. The results indicate that the HEMQ algorithm is robust and versatile and, for the class of Huber-energy kernels, matches the expected intuitive behavior.

categories: stat.ML cs.AI cs.LG cs.NA math.NA math.PR math.ST stat.TH


title: Parametric study on ion acceleration from the interaction of ultra-high intensity laser pulses with near-critical density gas targets

abstract: We present a parametric study based on 1-D particle-in-cell (PIC) simulations conducted with the objective of understanding the interaction of intense lasers with near-critical non-uniform density gas targets. Specifically, we aim to find an optimal set of experimental parameters regarding the interaction of a $\lambda_L$ = 0.8 $\mu$m, $I_L =10^{20}$ W/cm$^2$ ($a_0 = 8.8$), $\tau_L = 30$ fs laser pulse with a near-critical non-uniform pure nitrogen gas profile produced by a non commercial gas nozzle. The PIC code Calder developed at CEA was used, and both the maximum electron density and the direct laser contribution to ion acceleration were studied. Shock formation was achieved for a peak electron density $n_e$ ranging between 0.35 $n_c$ and 0.7 $n_c$. In this density interval, the survival of a percentage of the laser pulse until the gas density peak, while being strongly absorbed ($>$90$\%$) and creating a hot electron population in the gas up-ramp, is singled out as a necessary condition for shock formation. Moreover, the laser absorption must give rise to a super ponderomotive heating of the target electrons in order to launch an electrostatic shock inside the plasma. The direct laser effect on ion acceleration consists in a strong initial density perturbation that enhances charge separation while the electron pressure gradients are identified as fundamental for shock formation. The production of a controlled and repetitive gas profile as well as the possibility of performing measurements with statistical meaning are highlighted as fundamental for conducting a thorough experimental study.


title: Nonparametric estimators of interventional (transported) direct and indirect effects that accommodate multiple mediators and multiple intermediate confounders

abstract: Mediation analysis is appealing for its ability to improve understanding of the mechanistic drivers of causal effects, but real-world data complexities challenge its successful implementation, including: 1) the existence of post-exposure variables that also affect mediators and outcomes (thus, confounding the mediator-outcome relationship), that may also be 2) multivariate, and 3) the existence of multivariate mediators. Interventional direct and indirect effects (IDE/IIE) accommodate post-exposure variables that confound the mediator-outcome relationship, but currently, no estimator for IDE/IIE exists that allows for both multivariate mediators and multivariate post-exposure intermediate confounders. This, again, represents a significant limitation for real-world analyses. We address this gap by extending two recently developed nonparametric estimators -- one that estimates the IDE/IIE and another that estimates the IDE/IIE transported to a new, target population -- to allow for multivariate mediators and multivariate intermediate confounders simultaneously. We use simulation to examine finite sample performance, and apply these estimators to longitudinal data from the Moving to Opportunity trial. In the application, we walk through a strategy for separating indirect effects into mediator- or mediator-group-specific indirect effects, while appropriately accounting for other, possibly co-occurring intermediate variables.


title: BigBrain-MR: a new digital phantom with anatomically-realistic magnetic resonance properties at 100-\mu m resolution for magnetic resonance methods development

abstract: The benefits, opportunities and growing availability of ultra-high field magnetic resonance imaging (MRI) for humans have prompted an expansion in research and development efforts towards increasingly more advanced high-resolution imaging techniques. To maximize their effectiveness, these efforts need to be supported by powerful computational simulation platforms that can adequately reproduce the biophysical characteristics of MRI, with high spatial resolution. In this work, we have sought to address this need by developing a novel digital phantom with realistic anatomical detail up to 100-um resolution, including multiple MRI properties that affect image generation. This phantom, termed BigBrain-MR, was generated from the publicly available BigBrain histological dataset and lower-resolution in-vivo 7T-MRI data, using a newly-developed image processing framework that allows mapping the general properties of the latter into the fine anatomical scale of the former. Overall, the mapping framework was found to be effective and robust, yielding a diverse range of realistic "in-vivo-like" MRI contrasts and maps at 100-um resolution. BigBrain-MR was then tested in three different imaging applications (motion effects and interpolation, super-resolution imaging, and parallel imaging reconstruction) to investigate its properties, value and validity as a simulation platform. The results consistently showed that BigBrain-MR can closely approximate the behavior of real in-vivo data, more realistically and with more extensive features than a more classic option such as the Shepp-Logan phantom. This novel phantom is therefore deemed a favorable choice to support methodological development in brain MRI, and has been made freely available to the community.


title: Probabilistic Constraint Tightening Techniques for Trajectory Planning with Predictive Control

abstract: In order for automated mobile vehicles to navigate in the real world with minimal collision risks, it is necessary for their planning algorithms to consider uncertainties from measurements and environmental disturbances. In this paper, we consider analytical solutions for a conservative approximation of the mutual probability of collision between two robotic vehicles in the presence of such uncertainties. Therein, we present two methods, which we call unitary scaling and principal axes rotation, for decoupling the bivariate integral required for efficient approximation of the probability of collision between two vehicles including orientation effects. We compare the conservatism of these methods analytically and numerically. By closing a control loop through a model predictive guidance scheme, we observe through Monte-Carlo simulations that directly implementing collision avoidance constraints from the conservative approximations remains infeasible for real-time planning. We then propose and implement a convexification approach based on the tightened collision constraints that significantly improves the computational efficiency and robustness of the predictive guidance scheme.


title: Evaluation of Synthetic Datasets for Conversational Recommender Systems

abstract: For researchers leveraging Large-Language Models (LLMs) in the generation of training datasets, especially for conversational recommender systems - the absence of robust evaluation frameworks has been a long-standing problem. The efficiency brought about by LLMs in the data generation phase is impeded during the process of evaluation of the generated data, since it generally requires human-raters to ensure that the data generated is of high quality and has sufficient diversity. Since the quality of training data is critical for downstream applications, it is important to develop metrics that evaluate the quality holistically and identify biases. In this paper, we present a framework that takes a multi-faceted approach towards evaluating datasets produced by generative models and discuss the advantages and limitations of various evaluation methods.


title: Inferring Cultural Landscapes with the Inverse Ising Model

abstract: The space of possible human cultures is vast, but some cultural configurations are more consistent with cognitive and social constraints than others. This leads to a ``landscape'' of possibilities that our species has explored over millennia of cultural evolution. But what does this fitness landscape, which constrains and guides cultural evolution, look like? The machine-learning algorithms that can answer these questions are typically developed for large-scale datasets. Applications to the sparse, inconsistent, and incomplete data found in the historical record have received less attention, and standard recommendations can lead to bias against marginalized, under-studied, or minority cultures. We show how to adapt the Minimum Probability Flow algorithm and the Inverse Ising model, a physics-inspired workhorse of machine learning, to the challenge. A series of natural extensions -- including dynamical estimation of missing data, and cross-validation with regularization -- enables reliable reconstruction of the underlying constraints. We demonstrate our methods on a curated subset of the Database of Religious History: records from 407 religious groups throughout human history, ranging from the Bronze Age to the present day. This reveals a complex, rugged, landscape, with both sharp, well-defined peaks where state-endorsed religions tend to concentrate, and diffuse cultural floodplains where evangelical religions, non-state spiritual practices, and mystery religions can be found.


title: Finite GK-dimensional Nichols algebras of diagonal type and finite root systems

abstract: Let $(V,c)$ be a finite-dimensional braided vector space of diagonal type. We show that the Gelfand Kirillov dimension of the Nichols algebra $\mathfrak{B}(V)$ is finite if and only if the corresponding root system is finite, that is $\mathfrak{B}(V)$ admits a PBW basis with a finite number of generators. This had been conjectured in arXiv:1606.02521 and proved for $\dim V=2,3$ in arXiv:1803.08804, arXiv:2106.10143 respectively.


title: BNSynth: Bounded Boolean Functional Synthesis

abstract: The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many application areas that range from software engineering to circuit design. In this paper, we introduce a tool BNSynth, that is the first to solve the BFS problem under a given bound on the solution space. Bounding the solution space induces the synthesis of smaller functions that benefit resource constrained areas such as circuit design. BNSynth uses a counter-example guided, neural approach to solve the bounded BFS problem. Initial results show promise in synthesizing smaller solutions; we observe at least \textbf{3.2X} (and up to \textbf{24X}) improvement in the reduction of solution size on average, as compared to state of the art tools on our benchmarks. BNSynth is available on GitHub under an open source license.


title: Graphon Pooling for Reducing Dimensionality of Signals and Convolutional Operators on Graphs

abstract: In this paper we propose a pooling approach for convolutional information processing on graphs relying on the theory of graphons and limits of dense graph sequences. We present three methods that exploit the induced graphon representation of graphs and graph signals on partitions of [0, 1]2 in the graphon space. As a result we derive low dimensional representations of the convolutional operators, while a dimensionality reduction of the signals is achieved by simple local interpolation of functions in L2([0, 1]). We prove that those low dimensional representations constitute a convergent sequence of graphs and graph signals, respectively. The methods proposed and the theoretical guarantees that we provide show that the reduced graphs and signals inherit spectral-structural properties of the original quantities. We evaluate our approach with a set of numerical experiments performed on graph neural networks (GNNs) that rely on graphon pooling. We observe that graphon pooling performs significantly better than other approaches proposed in the literature when dimensionality reduction ratios between layers are large. We also observe that when graphon pooling is used we have, in general, less overfitting and lower computational cost.


title: Reliable Measures of Spread in High Dimensional Latent Spaces

abstract: Understanding geometric properties of natural language processing models' latent spaces allows the manipulation of these properties for improved performance on downstream tasks. One such property is the amount of data spread in a model's latent space, or how fully the available latent space is being used. In this work, we define data spread and demonstrate that the commonly used measures of data spread, Average Cosine Similarity and a partition function min/max ratio I(V), do not provide reliable metrics to compare the use of latent space across models. We propose and examine eight alternative measures of data spread, all but one of which improve over these current metrics when applied to seven synthetic data distributions. Of our proposed measures, we recommend one principal component-based measure and one entropy-based measure that provide reliable, relative measures of spread and can be used to compare models of different sizes and dimensionalities.


title: The tropical critical points of an affine matroid

abstract: We prove that the number of tropical critical points of an affine matroid (M,e) is equal to the beta invariant of M. Motivated by the computation of maximum likelihood degrees, this number is defined to be the degree of the intersection of the Bergman fan of (M,e) and the inverted Bergman fan of N=(M/e)*, where e is an element of M that is neither a loop nor a coloop. Equivalently, for a generic weight vector w on E-e, this is the number of ways to find weights (0,x) on M and y on N with x+y=w such that on each circuit of M (resp. N), the minimum x-weight (resp. y-weight) occurs at least twice. This answers a question of Sturmfels.


title: Non-IID Transfer Learning on Graphs

abstract: Transfer learning refers to the transfer of knowledge or information from a relevant source domain to a target domain. However, most existing transfer learning theories and algorithms focus on IID tasks, where the source/target samples are assumed to be independent and identically distributed. Very little effort is devoted to theoretically studying the knowledge transferability on non-IID tasks, e.g., cross-network mining. To bridge the gap, in this paper, we propose rigorous generalization bounds and algorithms for cross-network transfer learning from a source graph to a target graph. The crucial idea is to characterize the cross-network knowledge transferability from the perspective of the Weisfeiler-Lehman graph isomorphism test. To this end, we propose a novel Graph Subtree Discrepancy to measure the graph distribution shift between source and target graphs. Then the generalization error bounds on cross-network transfer learning, including both cross-network node classification and link prediction tasks, can be derived in terms of the source knowledge and the Graph Subtree Discrepancy across domains. This thereby motivates us to propose a generic graph adaptive network (GRADE) to minimize the distribution shift between source and target graphs for cross-network transfer learning. Experimental results verify the effectiveness and efficiency of our GRADE framework on both cross-network node classification and cross-domain recommendation tasks.


title: The observables of a perturbative algebraic quantum field theory form a factorization algebra

abstract: We demonstrate that perturbative algebraic QFT methods, as developed by Fredenhagen and Rejzner, naturally yields a factorization algebras of observables for a large class of Lorentzian theories. Along the way we carefully articulate cochain-level refinements of multilocal functionals, building upon results about the variational bicomplex, and we lift existing results about Epstein-Glaser renormalization to these multilocal differential forms, results which may be of independent interest.


title: Intermittency and lower dimensional dissipation in incompressible fluids

abstract: In the context of incompressible fluids, the observation that turbulent singular structures fail to be space filling is known as ``intermittency'' and it has strong experimental foundations. Consequently, as first pointed out by Landau, real turbulent flows do not satisfy the central assumptions of homogeneity and self-similarity in the K41 theory, and the K41 prediction of structure function exponents $\zeta_p=\frac{p}{3}$ might be inaccurate. In this work we prove that, in the inviscid case, energy dissipation that is lower-dimensional in an appropriate sense implies deviations from the K41 prediction in every $p-$th order structure function for $p>3$. By exploiting a Lagrangian-type Minkowski dimension that is very reminiscent of the Taylor's frozen turbulence hypothesis, our strongest upper bound on $\zeta_p$ coincides with the $\beta-$model proposed by Frisch, Sulem and Nelkin in the late 70s, adding some rigorous analytical foundations to the model. More generally we explore the relationship between dimensionality assumptions on the dissipation support and restrictions on the $p-$th order absolute structure functions. This approach differs from the current mathematical works on intermittency by its focus on geometrical rather than purely analytical assumptions. The proof is based on a new local variant of the celebrated Constantin-E-Titi argument that features the use of a third order commutator estimate, the special double regularity of the pressure, and mollification along the flow of a vector field.


title: The Functional Machine Calculus

abstract: This paper presents the Functional Machine Calculus (FMC) as a simple model of higher-order computation with "reader/writer" effects: higher-order mutable store, input/output, and probabilistic and non-deterministic computation. The FMC derives from the lambda-calculus by taking the standard operational perspective of a call-by-name stack machine as primary, and introducing two natural generalizations. One, "locations", introduces multiple stacks, which each may represent an effect and so enable effect operators to be encoded into the abstraction and application constructs of the calculus. The second, "sequencing", is known from kappa-calculus and concatenative programming languages, and introduces the imperative notions of "skip" and "sequence". This enables the encoding of reduction strategies, including call-by-value lambda-calculus and monadic constructs. The encoding of effects into generalized abstraction and application means that standard results from the lambda-calculus may carry over to effects. The main result is confluence, which is possible because encoded effects reduce algebraically rather than operationally. Reduction generates the familiar algebraic laws for state, and unlike in the monadic setting, reader/writer effects combine seamlessly. A system of simple types confers termination of the machine.


title: Benders Decomposition for Bi-objective Linear Programs

abstract: In this paper, we develop a new decomposition technique for solving bi-objective linear programming problems. The proposed methodology combines the bi-objective simplex algorithm with Benders decomposition and can be used to obtain a complete set of extreme efficient solutions, and the corresponding set of extreme non-dominated points, for a bi-objective linear program. Using a Benders-like reformulation, the decomposition approach decouples the problem into a bi-objective master problem and a bi-objective subproblem, each of which is solved using the bi-objective parametric simplex algorithm. The master problem provides candidate extreme efficient solutions that the subproblem assesses for feasibility and optimality. As in standard Benders decomposition, optimality and feasibility cuts are generated by the subproblem and guide the master problem solve. This paper discusses bi-objective Benders decomposition from a theoretical perspective, proves the correctness of the proposed reformulation and addresses the need for so-called weighted optimality cuts. Furthermore, we present an algorithm to solve the reformulation and discuss its performance for three types of bi-objective optimisation problems.


title: Two Measure is Two Know: Calibration-free Full Duplex Monitoring for Software Radio Platforms

abstract: Future virtualized radio access network (vRAN) infrastructure providers (and today's experimental wireless testbed providers) may be simultaneously uncertain what signals are being transmitted by their base stations and legally responsible for their violations. These providers must monitor the spectrum of transmissions and external signals without access to the radio itself. In this paper, we propose FDMonitor, a full-duplex monitoring system attached between a transmitter and its antenna to achieve this goal. Measuring the signal at this point on the RF path is necessary but insufficient since the antenna is a bidirectional device. FDMonitor thus uses a bidirectional coupler, a two-channel receiver, and a new source separation algorithm to simultaneously estimate the transmitted signal and the signal incident on the antenna. Rather than requiring an offline calibration, we also adaptively estimate the linear model for the system on the fly. FDMonitor has been running on a real-world open wireless testbed, monitoring 19 SDR platforms controlled (with bare metal access) by outside experimenters over a seven month period, sending alerts whenever a violation is observed. Our experimental results show that FDMonitor accurately separates signals across a range of signal parameters. Over more than 7 months of observation, it achieves a positive predictive value of 97%, with a total of 20 false alerts.


title: Network of chiral one-dimensional channels and localized states emerging in a moir\'e system

abstract: Moir\'e systems provide a highly tunable platform for engineering band structures and exotic correlated phases. Here, we theoretically study a model for a single layer of graphene subject to a smooth moir\'e electrostatic potential, induced by an insulating substrate layer. For sufficiently large moir\'e unit cells, we find that ultra-flat bands coexist with a triangular network of chiral one-dimensional (1D) channels. These channels mediate an effective interaction between localized modes with spin-, orbital- and valley degrees of freedom emerging from the flat bands. The form of the interaction reflects the chiralilty and 1D nature of the network. We study this interacting model within an $SU(4)$ mean-field theory, semi-classical Monte-Carlo simulations, and an $SU(4)$ spin-wave theory, focusing on commensurate order stabilized by local two-site and chiral three-site interactions. By tuning a gate voltage, one can trigger a non-coplanar phase characterized by a peculiar coexistence of three different types of order: ferromagnetic spin order in one valley, non-coplanar chiral spin order in the other valley, and 120$^\circ$ order in the remaining spin and valley-mixed degrees of freedom. Quantum and classical fluctuations have qualitatively different effects on the observed phases and can, for example, create a finite spin-chirality purely via fluctuation effects.


title: Preferential stiffness and the crack-tip fields of an elastic porous solid based on the density-dependent moduli model

abstract: In this paper, we study the preferential stiffness and the crack-tip fields for an elastic porous solid of which material properties are dependent upon the density. Such a description is necessary to describe the failure that can be caused by damaged pores in many porous bodies such as ceramics, concrete and human bones. To that end, we revisit a new class of implicit constitutive relations under the assumption of small deformation. Although the constitutive relationship \textit{appears linear} in both the Cauchy stress and linearized strain, the governing equation bestowed from the balance of linear momentum results in a quasi-linear partial differential equation (PDE) system. For the linearization and obtaining a sequence of elliptic PDEs, we propose the solution algorithm comprise a \textit{Newton's method} coupled with a bilinear continuous Galerkin-type finite elements for the discretization. Our algorithm exhibits an optimal rate of convergence for a manufactured solution. In the numerical experiments, we set the boundary value problems (BVPs) with edge crack {under different modes of loading (i.e., the pure mode-I, II, and the mixed-mode). From the numerical results, we find that the density-dependent moduli model describes diverse phenomena that are not captured within the framework of classical linearized elasticity. In particular,numerical solutions clearly indicate that the nonlinear \textit{modeling} parameter depending on its sign and magnitude can control preferential mechanical stiffness along with the change of volumetric strain; larger the parameter is in the positive value}, the responses are such that the strength of porous solid gets weaker against the tensile loading while stiffer against the in-plane shear (or compressive) loading, which is vice versa for the negative value of it.


title: Diagonals of self-adjoint operators I: compact operators

abstract: Given a self-adjoint operator $T$ on a separable infinite-dimensional Hilbert space we study the problem of characterizing the set $\mathcal D(T)$ of all possible diagonals of $T$. For compact operators $T$, we give a complete characterization of diagonals modulo the kernel of $T$. That is, we characterize $\mathcal D(T)$ for the class of operators sharing the same nonzero eigenvalues (with multiplicities) as $T$. Moreover, we determine $\mathcal D(T)$ for a fixed compact operator $T$, modulo the kernel problem for positive compact operators with finite-dimensional kernel. Our results generalize a characterization of diagonals of trace class positive operators by Arveson and Kadison and diagonals of compact positive operators by Kaftal, Loreaux, and Weiss. The proof uses the technique of diagonal-to-diagonal results, which was pioneered in the earlier joint work of the authors with Siudeja.


title: Local Branching Relaxation Heuristics for Integer Linear Programs

abstract: Large Neighborhood Search (LNS) is a popular heuristic algorithm for solving combinatorial optimization problems (COP). It starts with an initial solution to the problem and iteratively improves it by searching a large neighborhood around the current best solution. LNS relies on heuristics to select neighborhoods to search in. In this paper, we focus on designing effective and efficient heuristics in LNS for integer linear programs (ILP) since a wide range of COPs can be represented as ILPs. Local Branching (LB) is a heuristic that selects the neighborhood that leads to the largest improvement over the current solution in each iteration of LNS. LB is often slow since it needs to solve an ILP of the same size as input. Our proposed heuristics, LB-RELAX and its variants, use the linear programming relaxation of LB to select neighborhoods. Empirically, LB-RELAX and its variants compute as effective neighborhoods as LB but run faster. They achieve state-of-the-art anytime performance on several ILP benchmarks.


title: NBC-Softmax : Darkweb Author fingerprinting and migration tracking

abstract: Metric learning aims to learn distances from the data, which enhances the performance of similarity-based algorithms. An author style detection task is a metric learning problem, where learning style features with small intra-class variations and larger inter-class differences is of great importance to achieve better performance. Recently, metric learning based on softmax loss has been used successfully for style detection. While softmax loss can produce separable representations, its discriminative power is relatively poor. In this work, we propose NBC-Softmax, a contrastive loss based clustering technique for softmax loss, which is more intuitive and able to achieve superior performance. Our technique meets the criterion for larger number of samples, thus achieving block contrastiveness, which is proven to outperform pair-wise losses. It uses mini-batch sampling effectively and is scalable. Experiments on 4 darkweb social forums, with NBCSAuthor that uses the proposed NBC-Softmax for author and sybil detection, shows that our negative block contrastive approach constantly outperforms state-of-the-art methods using the same network architecture. Our code is publicly available at : https://github.com/gayanku/NBC-Softmax


title: Tracking hidden magnetospheric fluctuations in accretion-powered pulsars with a Kalman filter

abstract: X-ray flux and pulse period fluctuations in an accretion-powered pulsar convey important information about the disk-magnetosphere interaction. It is shown that simultaneous flux and period measurements can be analysed with a Kalman filter based on the standard magnetocentrifugal accretion torque to generate accurate time-dependent estimates of three hidden state variables, which fluctuate stochastically and cannot be measured directly: the mass accretion rate, the Maxwell stress at the disk-magnetosphere boundary, and the radiative efficiency of accretion onto the stellar surface. The inferred fluctuation statistics carry implications for the physics of hydromagnetic instabilities at the disk-magnetosphere boundary and searches for continuous gravitational radiation from low-mass X-ray binaries.


title: Learning Sparsity and Randomness for Data-driven Low Rank Approximation

abstract: Learning-based low rank approximation algorithms can significantly improve the performance of randomized low rank approximation with sketch matrix. With the learned value and fixed non-zero positions for sketch matrices from learning-based algorithms, these matrices can reduce the test error of low rank approximation significantly. However, there is still no good method to learn non-zero positions as well as overcome the out-of-distribution performance loss. In this work, we introduce two new methods Learning Sparsity and Learning Randomness which try to learn a better sparsity patterns and add randomness to the value of sketch matrix. These two methods can be applied with any learning-based algorithms which use sketch matrix directly. Our experiments show that these two methods can improve the performance of previous learning-based algorithm for both test error and out-of-distribution test error without adding too much complexity.


title: Dual Moving Average Pseudo-Labeling for Source-Free Inductive Domain Adaptation

abstract: Unsupervised domain adaptation reduces the reliance on data annotation in deep learning by adapting knowledge from a source to a target domain. For privacy and efficiency concerns, source-free domain adaptation extends unsupervised domain adaptation by adapting a pre-trained source model to an unlabeled target domain without accessing the source data. However, most existing source-free domain adaptation methods to date focus on the transductive setting, where the target training set is also the testing set. In this paper, we address source-free domain adaptation in the more realistic inductive setting, where the target training and testing sets are mutually exclusive. We propose a new semi-supervised fine-tuning method named Dual Moving Average Pseudo-Labeling (DMAPL) for source-free inductive domain adaptation. We first split the unlabeled training set in the target domain into a pseudo-labeled confident subset and an unlabeled less-confident subset according to the prediction confidence scores from the pre-trained source model. Then we propose a soft-label moving-average updating strategy for the unlabeled subset based on a moving-average prototypical classifier, which gradually adapts the source model towards the target domain. Experiments show that our proposed method achieves state-of-the-art performance and outperforms previous methods by large margins.


title: Ab initio in-medium similarity renormalization group for open-shell atomic systems

abstract: Precise theoretical calculations of open-shell atomic systems are critical for extracting fundamental physics parameters from precision experiments. Here we present proof-of-principle calculations illustrating the effectiveness of the valence-space formulation of the ab initio in-medium similarity renormalization group, widely used in nuclear theory, as a new ab initio method for atomic systems. We adapt this approach to study properties of closed- and open-shell many-electron systems from helium to calcium. Ground-state energies, excitation spectra, and ionization energies are obtained for selected atoms, and reasonable agreement is found with benchmark coupled-cluster and many-body perturbation theory calculations, where available.


title: Multi-Resolution Online Deterministic Annealing: A Hierarchical and Progressive Learning Architecture

abstract: Hierarchical learning algorithms that gradually approximate a solution to a data-driven optimization problem are essential to decision-making systems, especially under limitations on time and computational resources. In this study, we introduce a general-purpose hierarchical learning architecture that is based on the progressive partitioning of a possibly multi-resolution data space. The optimal partition is gradually approximated by solving a sequence of optimization sub-problems that yield a sequence of partitions with increasing number of subsets. We show that the solution of each optimization problem can be estimated online using gradient-free stochastic approximation updates. As a consequence, a function approximation problem can be defined within each subset of the partition and solved using the theory of two-timescale stochastic approximation algorithms. This simulates an annealing process and defines a robust and interpretable heuristic method to gradually increase the complexity of the learning architecture in a task-agnostic manner, giving emphasis to regions of the data space that are considered more important according to a predefined criterion. Finally, by imposing a tree structure in the progression of the partitions, we provide a means to incorporate potential multi-resolution structure of the data space into this approach, significantly reducing its complexity, while introducing hierarchical variable-rate feature extraction properties similar to certain classes of deep learning architectures. Asymptotic convergence analysis and experimental results are provided for supervised and unsupervised learning problems.


title: Entanglement-assisted detection of fading targets via correlation-to-coherence conversion

abstract: Quantum illumination utilizes an entanglement-enhanced sensing system to outperform classical illumination in detecting a suspected target, despite the entanglement-breaking loss and noise. However, practical and optimal receiver design to fulfil the quantum advantage has been a long open problem. Recently, [arXiv:2207.06609] proposed the correlation-to-displacement (`C$\rightarrow$D') conversion module to enable an optimal receiver design that greatly reduces the complexity of the previous known optimal receiver [Phys. Rev. Lett. {\bf 118}, 040801 (2017)]. There, the analyses of the conversion module assume an ideal target with a known reflectivity and a fixed return phase. In practical applications, however, targets often induce a random return phase; moreover, their reflectivities can have fluctuations obeying a Rayleigh-distribution. In this work, we extend the analyses of the C$\rightarrow$D module to realistic targets and show that the entanglement advantage is maintained albeit reduced. In particular, the conversion module allows exact and efficient performance evaluation despite the non-Gaussian nature of the quantum channel involved.


title: Rational curves and Seshadri constants on Enriques surfaces

abstract: We prove that classes of rational curves on very general Enriques surfaces are always $2$-divisible. As a consequence, we prove that the Seshadri constant of any big and nef line bundle on a very general Enriques surface coincides with the value of the $\phi$-function introduced by Cossec.


title: The KITMUS Test: Evaluating Knowledge Integration from Multiple Sources in Natural Language Understanding Systems

abstract: Many state-of-the-art natural language understanding (NLU) models are based on pretrained neural language models. These models often make inferences using information from multiple sources. An important class of such inferences are those that require both background knowledge, presumably contained in a model's pretrained parameters, and instance-specific information that is supplied at inference time. However, the integration and reasoning abilities of NLU models in the presence of multiple knowledge sources have been largely understudied. In this work, we propose a test suite of coreference resolution subtasks that require reasoning over multiple facts. These subtasks differ in terms of which knowledge sources contain the relevant facts. We also introduce subtasks where knowledge is present only at inference time using fictional knowledge. We evaluate state-of-the-art coreference resolution models on our dataset. Our results indicate that several models struggle to reason on-the-fly over knowledge observed both at pretrain time and at inference time. However, with task-specific training, a subset of models demonstrates the ability to integrate certain knowledge types from multiple sources. Still, even the best performing models seem to have difficulties with reliably integrating knowledge presented only at inference time.


title: Fault-Tolerant Locating-Dominating sets with Error-correction

abstract: A locating-dominating set is a subset of vertices representing "detectors" in a graph G; each detector monitors its closed neighborhood and can distinguish its own location from its neighbors, and given all sensor input, the system can locate an "intruder" anywhere in the graph. We explore a fault-tolerant variant of locating-dominating sets, error-correcting locating-dominating (ERR:LD) sets, which can tolerate an incorrect signal from a single detector. In particular, we characterize error-correcting locating-dominating sets, and derive its existence criteria. We also prove that the problem of determining the minimum cardinality of ERR:LD set in arbitrary graphs is NP-complete. Additionally, we establish lower and upper bounds for the minimum density of ERR:LD sets in infinite grids and cubic graphs, and prove the lower bound for cubic graphs is sharp.


title: On the gamma-ray emission from the core of the Sagittarius dwarf galaxy

abstract: We use data from the Large Area Telescope onboard the Fermi gamma-ray space telescope (Fermi-LAT) to analyze the faint gamma-ray source located at the center of the Sagittarius (Sgr) dwarf spheroidal galaxy. In the 4FGL-DR3 catalog, this source is associated with the globular cluster, M54, which is coincident with the dynamical center of this dwarf galaxy. We investigate the spectral energy distribution and spatial extension of this source, with the goal of testing two hypotheses: (1) the emission is due to millisecond pulsars within M54, or (2) the emission is due to annihilating dark matter from the Sgr halo. For the pulsar interpretation, we consider a two-component model which describes both the lower-energy magnetospheric emission and possible high-energy emission arising from inverse Compton scattering. We find that this source has a point-like morphology at low energies, consistent with magnetospheric emission, and find no evidence for a higher-energy component. For the dark matter interpretation, we find that this signal favors a dark matter mass of $m_{\chi} = 29.6 \pm 5.8$ GeV and an annihilation cross section of $\sigma v = (2.1 \pm 0.59) \times 10^{-26} \,\text{cm}^3/$s for the $b \bar{b}$ channel (or $m_{\chi} = 8.3 \pm 3.8$ GeV and $\sigma v = (0.90 \pm 0.25) \times 10^{-26} \, \text{cm}^3/$s for the $\tau^+ \tau^-$ channel), when adopting a J-factor of $J=10^{19.6} \, \text{GeV}^2 \, \text{cm}^{-5}$. This parameter space is consistent with gamma-ray constraints from other dwarf galaxies and with dark matter interpretations of the Galactic Center Gamma-Ray Excess.


title: Improving Chess Commentaries by Combining Language Models with Symbolic Reasoning Engines

abstract: Despite many recent advancements in language modeling, state-of-the-art language models lack grounding in the real world and struggle with tasks involving complex reasoning. Meanwhile, advances in the symbolic reasoning capabilities of AI have led to systems that outperform humans in games like chess and Go (Silver et al., 2018). Chess commentary provides an interesting domain for bridging these two fields of research, as it requires reasoning over a complex board state and providing analyses in natural language. In this work we demonstrate how to combine symbolic reasoning engines with controllable language models to generate chess commentaries. We conduct experiments to demonstrate that our approach generates commentaries that are preferred by human judges over previous baselines.


title: Saved You A Click: Automatically Answering Clickbait Titles

abstract: Often clickbait articles have a title that is phrased as a question or vague teaser that entices the user to click on the link and read the article to find the explanation. We developed a system that will automatically find the answer or explanation of the clickbait hook from the website text so that the user does not need to read through the text themselves. We fine-tune an extractive question and answering model (RoBERTa) and an abstractive one (T5), using data scraped from the 'StopClickbait' Facebook pages and Reddit's 'SavedYouAClick' subforum. We find that both extractive and abstractive models improve significantly after finetuning. We find that the extractive model performs slightly better according to ROUGE scores, while the abstractive one has a slight edge in terms of BERTscores.


title: Back action evasion in optical lever detection

abstract: The optical lever is a centuries old and widely-used detection technique employed in applications ranging from consumer products, industrial sensors to precision force microscopes used in scientific research. However, despite the long history, its quantum limits have yet to be explored. In general, any precision optical measurement is accompanied by optical force induced disturbance to the measured object (termed as back action) leading to a standard quantum limit(SQL). Here we give a simple ray optics description of how such back action can be evaded in optical lever detection to beat SQL. We perform a proof-of-principle experiment demonstrating the mechanism of back action evasion in the classical regime, by developing a lens system that cancels extra tilting of the reflected light off a silicon nitride membrane mechanical resonator caused by laser-pointing-noise-induced optical torques. We achieve a readout noise floor two orders of magnitude lower than the SQL, corresponding to an effective optomechanical cooperativity of 100 without the need for an optical cavity. As the state-of-the-art ultra low dissipation optomechanical systems relevant for quantum sensing are rapidly approaching the level where quantum noise dominates, simple and widely applicable back action evading protocols will be crucial for pushing beyond quantum limits.


title: Economic impacts of AI-augmented R&D

abstract: Since its emergence around 2010, deep learning has rapidly become the most important technique in Artificial Intelligence (AI), producing an array of scientific firsts in areas as diverse as protein folding, drug discovery, integrated chip design, and weather prediction. As more scientists and engineers adopt deep learning, it is important to consider what effect widespread deployment would have on scientific progress and, ultimately, economic growth. We assess this impact by estimating the idea production function for AI in two computer vision tasks that are considered key test-beds for deep learning and show that AI idea production is notably more capital-intensive than traditional R&D. Because increasing the capital-intensity of R&D accelerates the investments that make scientists and engineers more productive, our work suggests that AI-augmented R&D has the potential to speed up technological change and economic growth.


title: Asymptotic Analysis of Deep Residual Networks

abstract: We investigate the asymptotic properties of deep Residual networks (ResNets) as the number of layers increases. We first show the existence of scaling regimes for trained weights markedly different from those implicitly assumed in the neural ODE literature. We study the convergence of the hidden state dynamics in these scaling regimes, showing that one may obtain an ODE, a stochastic differential equation (SDE) or neither of these. In particular, our findings point to the existence of a diffusive regime in which the deep network limit is described by a class of stochastic differential equations (SDEs). Finally, we derive the corresponding scaling limits for the backpropagation dynamics.


title: Essentials of Parallel Graph Analytics

abstract: We identify the graph data structure, frontiers, operators, an iterative loop structure, and convergence conditions as essential components of graph analytics systems based on the native-graph approach. Using these essential components, we propose an abstraction that captures all the significant programming models within graph analytics, such as bulk-synchronous, asynchronous, shared-memory, message-passing, and push vs. pull traversals. Finally, we demonstrate the power of our abstraction with an elegant modern C++ implementation of single-source shortest path and its required components.


title: Spectral Emission Properties of a Nitrogen-doped Diamond(001) Photocathode: Hot Electron Transport and Transverse Momentum Filtering

abstract: The electron emission properties of a single-crystal nitrogen-doped diamond(001) photocathode inserted in a 10kV DC photoelectron gun are determined using a tunable (235-410nm) ultraviolet laser radiation source for photoemission from both the back nitrogen-doped substrate face and the front homo-epitaxially grown and undoped diamond crystal face. The measured spectral trends of the mean transverse energy (MTE) and quantum efficiency (QE) of the emitted electrons are both anomalous and non-monotonic, but are shown to be consistent with (i) the known physics of electron photoexcitation from the nitrogen substitution states into the conduction bands of diamond, (ii) the energy position and dispersion characteristics of the conduction bands of diamond in the (001) emission direction, (iii) the effective electron affinity of the crystal faces, (iv) the strong electron-(optical)phonon coupling in diamond, and (v) the associated hot electron transport dynamics under energy equipartition with the optical phonons. Notably, the observed hot electron emission is shown to be restricted parallel to the photocathode surface by the low transverse effective masses of the emitting band states - a transverse momentum filtering effect.


title: Voltage-controlled Cryogenic Boolean Logic Family Based on Ferroelectric SQUID

abstract: The recent progress in quantum computing and space exploration led to a surge in interest in cryogenic electronics. Superconducting devices such as Josephson junction, Josephson field effect transistor, cryotron, and superconducting quantum interference device (SQUID) are traditionally used to build cryogenic logic gates. However, due to the superconducting nature, gate-voltage-based control of these devices is extremely difficult. Even more challenging is to cascade the logic gates because most of these devices require current bias for their operation. Therefore, these devices are not as convenient as the semiconducting transistors to design logic gates. Here, to overcome these challenges, we propose a ferroelectric SQUID (FeSQUID) based voltage-controlled logic gates. FeSQUID exhibits two different critical current levels for two different voltage-switchable polarization states of the ferroelectric. We utilize the polarization-dependent (hence, voltage-controllable) superconducting to resistive switching of FeSQUID to design Boolean logic gates such as Copy, NOT, AND, and OR gates. The operations of these gates are verified using a Verilog-A-based compact model of FeSQUID. Finally, to demonstrate the fanning out capability of FeSQUID-based logic family, we simulate a 2-input XOR gate using FeSQUID-based NOT, AND, and OR gates. Together with the ongoing progress on FeSQUID-based non-volatile memory, our designed FeSQUID-based logic family will enable all-FeSQUID based cryogenic computer, ensure minimum mismatch between logic and memory blocks in terms of speed, power consumption, and fabrication process.


title: Identifying the 3FHL catalog: VI. Results of the 2019 Gemini optical spectroscopy campaign

abstract: Active galactic Nuclei (AGNs) with their relativistic jets pointed toward the observer, are a class of luminous gamma-ray sources commonly known as blazars. The study of this source class is essential to unveil the physical processes powering these extreme jets, to understand their cosmic evolution, as well as to indirectly probe the extragalactic background light. To do so, however, one needs to correctly classify and measure a redshift for a large sample of these sources. The Third Fermi-LAT Catalog of High-Energy Sources (3FHL) contains $1212$ blazars detected at energies greater than 10 GeV. However, $\sim$25% of these sources are unclassified and $\sim$56% lack redshift information. To increase the optical completeness of blazars in the 3FHL catalog, we devised an optical spectroscopic follow-up campaign using 4 $m$ and 8 $m$ telescopes. In this paper, we present the results of the last part of this campaign, where we observed 5 blazars using the 8 $m$ Gemini-S telescope in Chile. We report all 5 sources to be classified as BL Lacs, a redshift lower limit for 2 sources, and featureless spectra for the remaining 3 sources. We also performed a one-zone leptonic fit to the two sources with the redshift lower limits.


title: LegalRelectra: Mixed-domain Language Modeling for Long-range Legal Text Comprehension

abstract: The application of Natural Language Processing (NLP) to specialized domains, such as the law, has recently received a surge of interest. As many legal services rely on processing and analyzing large collections of documents, automating such tasks with NLP tools emerges as a key challenge. Many popular language models, such as BERT or RoBERTa, are general-purpose models, which have limitations on processing specialized legal terminology and syntax. In addition, legal documents may contain specialized vocabulary from other domains, such as medical terminology in personal injury text. Here, we propose LegalRelectra, a legal-domain language model that is trained on mixed-domain legal and medical corpora. We show that our model improves over general-domain and single-domain medical and legal language models when processing mixed-domain (personal injury) text. Our training architecture implements the Electra framework, but utilizes Reformer instead of BERT for its generator and discriminator. We show that this improves the model's performance on processing long passages and results in better long-range text comprehension.


title: A unified information-theoretic model of EEG signatures of human language processing

abstract: We advance an information-theoretic model of human language processing in the brain, in which incoming linguistic input is processed at two levels, in terms of a heuristic interpretation and in terms of error correction. We propose that these two kinds of information processing have distinct electroencephalographic signatures, corresponding to the well-documented N400 and P600 components of language-related event-related potentials (ERPs). Formally, we show that the information content (surprisal) of a word in context can be decomposed into two quantities: (A) heuristic surprise, which signals processing difficulty of word given its inferred context, and corresponds with the N400 signal; and (B) discrepancy signal, which reflects divergence between the true context and the inferred context, and corresponds to the P600 signal. Both of these quantities can be estimated using modern NLP techniques. We validate our theory by successfully simulating ERP patterns elicited by a variety of linguistic manipulations in previously-reported experimental data from Ryskin et al. (2021). Our theory is in principle compatible with traditional cognitive theories assuming a `good-enough' heuristic interpretation stage, but with precise information-theoretic formulation.


title: Meeting Summarization: A Survey of the State of the Art

abstract: Information overloading requires the need for summarizers to extract salient information from the text. Currently, there is an overload of dialogue data due to the rise of virtual communication platforms. The rise of Covid-19 has led people to rely on online communication platforms like Zoom, Slack, Microsoft Teams, Discord, etc. to conduct their company meetings. Instead of going through the entire meeting transcripts, people can use meeting summarizers to select useful data. Nevertheless, there is a lack of comprehensive surveys in the field of meeting summarizers. In this survey, we aim to cover recent meeting summarization techniques. Our survey offers a general overview of text summarization along with datasets and evaluation metrics for meeting summarization. We also provide the performance of each summarizer on a leaderboard. We conclude our survey with different challenges in this domain and potential research opportunities for future researchers.


title: Property FA is not a profinite property

abstract: We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $\Delta$ and $\Gamma$ with $\Delta$ having Property FA, $\Gamma$ having a non-trivial action on a tree and $\Delta$ and $\Gamma$ having isomorphic profinite completions.


title: Location-aware Adaptive Normalization: A Deep Learning Approach For Wildfire Danger Forecasting

abstract: Climate change is expected to intensify and increase extreme events in the weather cycle. Since this has a significant impact on various sectors of our life, recent works are concerned with identifying and predicting such extreme events from Earth observations. With respect to wildfire danger forecasting, previous deep learning approaches duplicate static variables along the time dimension and neglect the intrinsic differences between static and dynamic variables. Furthermore, most existing multi-branch architectures lose the interconnections between the branches during the feature learning stage. To address these issues, this paper proposes a 2D/3D two-branch convolutional neural network (CNN) with a Location-aware Adaptive Normalization layer (LOAN). Using LOAN as a building block, we can modulate the dynamic features conditional on their geographical locations. Thus, our approach considers feature properties as a unified yet compound 2D/3D model. Besides, we propose using the sinusoidal-based encoding of the day of the year to provide the model with explicit temporal information about the target day within the year. Our experimental results show a better performance of our approach than other baselines on the challenging FireCube dataset. The results show that location-aware adaptive feature normalization is a promising technique to learn the relation between dynamic variables and their geographic locations, which is highly relevant for areas where remote sensing data builds the basis for analysis. The source code is available at https://github.com/HakamShams/LOAN.


title: On the True Nature of the Contact Binary CRTS J192848.7-404555

abstract: CRTS J192848.7-404555 was recognised as a potential contact binary merger candidate on the basis of survey photometry analysis. We have carried out follow up ground based photometry of the system and show that at the recorded coordinates for the system there are two stars approximately 3 seconds of arc apart. Our analysis shows that the fainter of the two stars is the actual variable while the slightly brighter star is of fixed brightness. In addition we show that the reported survey photometry is the result of both stars being treated as a single light source with resultant erroneous light curve solution. The true nature of CRTS J192848.7-404555 shows it to be a low mass contact binary system with a high mass ratio of 0.425, high amplitude of 0.69 magnitude and shallow 24% contact. The system does not have features of orbital instability and is not a potential merger progenitor.


title: A locally conformally symplectic structure on Kerr space-time

abstract: R Kerr's Ricci-flat Lorentz 4-manifold was shown by B Carter in 1968 to support a classically completely integrable system of geodesics; here we interpret this system in terms of a locally conformally symplectic structure, which we identify (\S 2.2) using characteristic classes defined by Kerr-Schild Cartesian coordinates (regarded as a map to the Cayley-Penrose compactification of Minkowski space). This leads to the definition of an interesting cobordism category of contact 3-manifolds and 4-dimensional locally conformally symplectic cobordisms between them.


title: Sequence generation in inhibition-dominated neural networks

abstract: This is a brief overview of results from [arXiv:2107.10244, ref 11], on network architectures that produce sequential dynamics in a special family of inhibition-dominated neural networks. It was written for SIAM DSWeb.


title: The $\mathbb{DL}(P)$ vector space of pencils for singular matrix polynomials

abstract: Given a possibly singular matrix polynomial $P(z)$, we study how the eigenvalues, eigenvectors, root polynomials, minimal indices, and minimal bases of the pencils in the vector space $\mathbb{DL}(P)$ introduced in Mackey, Mackey, Mehl, and Mehrmann [SIAM J. Matrix Anal. Appl. 28(4), 971-1004, 2006] are related to those of $P(z)$. If $P(z)$ is regular, it is known that those pencils in $\mathbb{DL}(P)$ satisfying the generic assumptions in the so-called eigenvalue exclusion theorem are strong linearizations for $P(z)$. This property and the block-symmetric structure of the pencils in $\mathbb{DL}(P)$ have made these linearizations among the most influential for the theoretical and numerical treatment of structured regular matrix polynomials. However, it is also known that, if $P(z)$ is singular, then none of the pencils in $\mathbb{DL}(P)$ is a linearization for $P(z)$. In this paper, we prove that despite this fact a generalization of the eigenvalue exclusion theorem holds for any singular matrix polynomial $P(z)$ and that such a generalization allows us to recover all the relevant quantities of $P(z)$ from any pencil in $\mathbb{DL}(P)$ satisfying the eigenvalue exclusion hypothesis. Our proof of this general theorem relies heavily in the representation of the pencils in $\mathbb{DL} (P)$ via B\'{e}zoutians by Nakatsukasa, Noferini and Townsend [SIAM J. Matrix Anal. Appl. 38(1), 181-209, 2015].


title: Weyl excitations via helicon-phonon mixing in conducting materials

abstract: Quasiparticles with Weyl dispersion can display an abundance of novel topological, thermodynamic and transport phenomena, which is why novel Weyl materials and platforms for Weyl physics are being intensively looked for in electronic, magnetic, photonic and acoustic systems. We demonstrate that conducting materials in magnetic fields generically host Weyl excitations due to the hybridisation of phonons with helicons, collective neutral modes of electrons interacting with electromagnetic waves propagating in the material. Such Weyl excitations are, in general, created by the interactions of helicons with longitudinal acoustic phonons. An additional type of Weyl excitation in polar crystals comes from the interaction between helicons and longitudinal optical phonons. Such excitations can be detected in X-ray and Raman scattering experiments. The existence of the Weyl excitations involving optical phonons in the bulk of the materials also leads to the formation of topologically protected surface arc states that can be detected via surface plasmon resonance.


title: Reinforcement Learning for Agile Active Target Sensing with a UAV

abstract: Active target sensing is the task of discovering and classifying an unknown number of targets in an environment and is critical in search-and-rescue missions. This paper develops a deep reinforcement learning approach to plan informative trajectories that increase the likelihood for an uncrewed aerial vehicle (UAV) to discover missing targets. Our approach efficiently (1) explores the environment to discover new targets, (2) exploits its current belief of the target states and incorporates inaccurate sensor models for high-fidelity classification, and (3) generates dynamically feasible trajectories for an agile UAV by employing a motion primitive library. Extensive simulations on randomly generated environments show that our approach is more efficient in discovering and classifying targets than several other baselines. A unique characteristic of our approach, in contrast to heuristic informative path planning approaches, is that it is robust to varying amounts of deviations of the prior belief from the true target distribution, thereby alleviating the challenge of designing heuristics specific to the application conditions.


title: Highlights from the PHENIX experiment

abstract: PHENIX has performed an extensive study on the evolution of medium effects from small to large systems. PHENIX has continued searching for Quark-Gluon Plasma (QGP) in small systems by measuring collectivity, modification of light hadron and quarkonia production, and jet substructure. In large systems, detailed studies on the property of the QGP have been done using direct photon, $\pi^{0}$-hadron correlation, heavy-flavor electron, and $J/\psi$ flow with a large statistics of data collected in 2014. This report covers new results from the PHENIX experiment in various collision systems.


title: Azimuth: Systematic Error Analysis for Text Classification

abstract: We present Azimuth, an open-source and easy-to-use tool to perform error analysis for text classification. Compared to other stages of the ML development cycle, such as model training and hyper-parameter tuning, the process and tooling for the error analysis stage are less mature. However, this stage is critical for the development of reliable and trustworthy AI systems. To make error analysis more systematic, we propose an approach comprising dataset analysis and model quality assessment, which Azimuth facilitates. We aim to help AI practitioners discover and address areas where the model does not generalize by leveraging and integrating a range of ML techniques, such as saliency maps, similarity, uncertainty, and behavioral analyses, all in one tool. Our code and documentation are available at github.com/servicenow/azimuth.


title: Toward Improved Generalization: Meta Transfer of Self-supervised Knowledge on Graphs

abstract: Despite the remarkable success achieved by graph convolutional networks for functional brain activity analysis, the heterogeneity of functional patterns and the scarcity of imaging data still pose challenges in many tasks. Transferring knowledge from a source domain with abundant training data to a target domain is effective for improving representation learning on scarce training data. However, traditional transfer learning methods often fail to generalize the pre-trained knowledge to the target task due to domain discrepancy. Self-supervised learning on graphs can increase the generalizability of graph features since self-supervision concentrates on inherent graph properties that are not limited to a particular supervised task. We propose a novel knowledge transfer strategy by integrating meta-learning with self-supervised learning to deal with the heterogeneity and scarcity of fMRI data. Specifically, we perform a self-supervised task on the source domain and apply meta-learning, which strongly improves the generalizability of the model using the bi-level optimization, to transfer the self-supervised knowledge to the target domain. Through experiments on a neurological disorder classification task, we demonstrate that the proposed strategy significantly improves target task performance by increasing the generalizability and transferability of graph-based knowledge.


title: On the synergy between easier plasma operation and affordable coil-set requirements enabled by Negative Triangularity in the prospective ARC fusion reactor

abstract: A numerical workflow is developed to explore the viability of running multiple plasma configurations in the ARC fusion pilot plant. Suitable cost functions for various poloidal field coil sets are evaluated based on currents required in the coils, induced stresses, and flexibility in plasma configurations. It is shown, for the first time, that a given set of poloidal field coils can sustain equilibria with both signs of triangularity and that equilibria at Negative Triangularity have comparable coil requirements to those at Positive Triangularity, despite ARC's Positive Triangularity design equilibrium. These results contribute to demonstrate that the Negative Triangularity Tokamak is a promising candidate for the commercialization of fusion power.


title: Rationally Inattentive Statistical Discrimination: Arrow Meets Phelps

abstract: When information acquisition is costly but flexible, a principal may rationally acquire information that favors "majorities" over "minorities." Majorities therefore face incentives to invest in becoming productive, whereas minorities are discouraged from such investments. The principal, in turn, rationally ignores minorities unless they surprise him with a genuinely outstanding outcome, precisely because they are less likely to invest. We give conditions under which the resulting discriminatory equilibrium is most preferred by the principal, despite that all groups are ex-ante identical. Our results add to the discussions of affirmative action, implicit bias, and occupational segregation and stereotypes.


title: The Long-Term Effects of Teachers' Gender Stereotypes

abstract: This paper studies the effects of teachers' stereotypical assessments of boys and girls on students' long-term outcomes, including high school graduation, college attendance, and formal sector employment. I measure teachers' gender stereotypical grading based on preconceptions about boys' aptitude in math and science and girls' aptitude in communicating and verbal skills by analyzing novel data on teachers' responses to the Implicit Association Test (IAT) and differences in gender gaps between teacher-assigned and blindly graded tests. To collect IAT scores on a national scale, I developed a large-scale educational program accessible to teachers and students in Peruvian public schools. This analysis provides evidence that teachers' gender stereotypes are reflected in student evaluations: math teachers with stronger stereotypes associating boys with scientific disciplines award male students with higher test scores compared to blindly-graded test scores. In contrast, language arts teachers who stereotypically associate females with humanities-based disciplines give female students higher grades. Using graduation, college enrollment, and matched employer-employee data on 1.7 million public high school students expected to graduate between 2015 and 2019, I find that female students who are placed with teachers who use more stereotypical grading practices are less likely to graduate from high school and apply to college than male students. In comparison to their male counterparts, female high school graduates whose teachers employ more stereotypical grading practices are less likely to be employed in the formal sector and have fewer paid working hours. Furthermore, exposure to teachers with more stereotypical grading practices reduces women's monthly earnings, thereby widening the gender pay gap.


title: SE Factual Knowledge in Frozen Giant Code Model: A Study on FQN and its Retrieval

abstract: Pre-trained giant code models (PCMs) start coming into the developers' daily practices. Understanding what types of and how much software knowledge is packed into PCMs is the foundation for incorporating PCMs into software engineering (SE) tasks and fully releasing their potential. In this work, we conduct the first systematic study on the SE factual knowledge in the state-of-the-art PCM CoPilot, focusing on APIs' Fully Qualified Names (FQNs), the fundamental knowledge for effective code analysis, search and reuse. Driven by FQNs' data distribution properties, we design a novel lightweight in-context learning on Copilot for FQN inference, which does not require code compilation as traditional methods or gradient update by recent FQN prompt-tuning. We systematically experiment with five in-context-learning design factors to identify the best in-context learning configuration that developers can adopt in practice. With this best configuration, we investigate the effects of amount of example prompts and FQN data properties on Copilot's FQN inference capability. Our results confirm that Copilot stores diverse FQN knowledge and can be applied for the FQN inference due to its high inference accuracy and non-reliance on code analysis. Based on our experience interacting with Copilot, we discuss various opportunities to improve human-CoPilot interaction in the FQN inference task.


title: Dust-driven wind as a model of Broad Absorption Line quasars

abstract: We test a scenario claiming that the broad absorption line (BAL) phenomenon in quasars (QSOs) is not a temporary stage of their life. In this scenario, we see the BAL effect only if the line of sight is within a spatially limited and collimated massive outflow cone covering only a fraction of sky from the point of view of the nucleus. The aim is to understand the theoretical mechanism behind the massive outflow in BAL QSOs which is important for modelling the impact of quasars onto the star formation rate in the host galaxy, and, subsequently, onto the galaxy evolution. We apply the specific theoretical model of dust-driven wind. The model has considerable predictive power. The 2.5D version of FRADO model of Czerny & Hryniewicz gives rise to the formation of fast funnel-shaped outflow from the disk for a certain range of black hole masses, Eddington ratios and metallicities. We now interpret BAL QSO as sources viewed along the outflowing stream and we calculate the probabilities of seeing the BAL phenomenon as functions of these global parameters, and we compare these probabilities to those seen in the observational data. We include considerations on the presence/absence of obscuring torus. Comparing our theoretical results with observational data for a sample consisting of two sub-populations of BAL and non-BAL QSOs we found that both in the model and in the data the BAL phenomenon mostly happens for sources with black hole masses larger than 10^{8} solar mass, the effect get stronger with accretion rate, and also high metallicities are more likely in QSOs showing BAL features if the presence of torus is taken into account. The consistency of the model with the data provides support for the interpretation of the BAL phenomenon as the result of the orientation of the source. It also supports the underlying theoretical model although more consistency checks should be done in the future.


title: Ultrashort dissipative Raman solitons in Kerr resonators driven with phase-coherent optical pulses

abstract: External driving of passive, nonlinear optical resonators has emerged over the past decade as a novel route for the generation of ultrashort optical pulses and corresponding broadband frequency combs. Whilst the pulse formation dynamics in such systems differ dramatically from those manifesting themselves in conventional mode-locked lasers, the demarcation between the two traditionally distinct paradigms has recently begun to blur, with demonstrations of hybrid systems incorporating both external driving and active media shown to offer specific advantages. Here we explore a new pathway for ultrashort pulse generation at the interface of externally-driven passive resonators and lasers. By leveraging the nonlinear Raman gain inherent to fused silica, we achieve deterministic generation of low-noise dissipative solitons with durations well below 100 fs via phase-coherent pulsed driving of resonators made of standard, commercially-available optical fibre. We explore and explain the physics of the new dissipative Raman soliton states, identifying scaling laws that govern the pulses' characteristics and that allow output repetition rates to be scaled at will without influencing the soliton duration. The scheme explored in our work enables the shortest ever pulses generated in resonators (active or passive) made from a single commercially-available optical fibre, and it has the potential to be transferred into a chip-scale format by using existing dispersion-engineered silica microresonators.


title: A Survey on Biometrics Authentication

abstract: Nowadays, traditional authentication methods are vulnerable to face attacks that are often based on inherent security issues. Professional attackers leverage adversarial offenses on the security holes. Biometrics has intrinsic advantages to overcome the traditional authentication methods on security, success rates, efficiency, and accessibility. Biometrics has wide prospects to implement various applications in fields. Whether in authentication security or clinical medicine, biometrics is one of the mainstream studies. In this paper, we surveyed and reviewed some related studies of biometrics, which are outstanding and significant in driving the development and popularization of biometrics. Although they still have some inherent disadvantages to restrict popularization, these obstacles could not conceal the promising future of biometrics. Multi-factors continuous biometrics authentication has become the mainstream trend of development. We reflect the findings as well as the challenges of the studies in the survey paper.


title: Materials Discovery using Max K-Armed Bandit

abstract: Search algorithms for the bandit problems are applicable in materials discovery. However, the objectives of the conventional bandit problem are different from those of materials discovery. The conventional bandit problem aims to maximize the total rewards, whereas materials discovery aims to achieve breakthroughs in material properties. The max K-armed bandit (MKB) problem, which aims to acquire the single best reward, matches with the discovery tasks better than the conventional bandit. Thus, here, we propose a search algorithm for materials discovery based on the MKB problem using a pseudo-value of the upper confidence bound of expected improvement of the best reward. This approach is pseudo-guaranteed to be asymptotic oracles that do not depends on the time horizon. In addition, compared with other MKB algorithms, the proposed algorithm has only one hyperparameter, which is advantageous in materials discovery. We applied the proposed algorithm to synthetic problems and molecular-design demonstrations using a Monte Carlo tree search. According to the results, the proposed algorithm stably outperformed other bandit algorithms in the late stage of the search process when the optimal arm of the MKB could not be determined based on its expectation reward.


title: Implementing Simulation of Simplicity for geometric degeneracies

abstract: We describe how to implement Simulation of Simplicity (SoS). SoS removes geometric degeneracies in point-in-polygon queries, polyhedron intersection, map overlay, and other 2D and 3D geometric and spatial algorithms by determining the effect of adding non-Archimedian infinitesimals of different orders to the coordinates. Then it modifies the geometric predicates to emulate that, and evaluates them in the usual arithmetic. A geometric degeneracy is a coincidence, such as a vertex of one polygon on an edge of another polygon, that would have probability approaching zero if the objects were distributed i.i.d. uniformly. However, in real data, they can occur often. Especially in 3D, there are too many types of degeneracies to reliably enumerate. But, if they are not handled, then predicates evaluate wrong, and the output topology may be wrong. We describe the theory of SoS, and how several algorithms and programs were successfully modified, including volume of the union of many cubes, point location in a 3D mesh, and intersecting 3D meshes.


title: An Adjacency Matrix Perspective of Talented Monoids and Leavitt Path Algebras

abstract: In this article we establish relationships between Leavitt path algebras, talented monoids and the adjacency matrices of the underlying graphs. We show that indeed the adjacency matrix generates in some sense the group action on the generators of the talented monoid. With the help of this we deduce a form of the aperiodicity index of a graph via the talented monoid. We classify hereditary and saturated subsets via the adjacency matrix. Moreover we give a formula to compute all paths of a given length in a Leavitt path algebra based on the adjacency matrix. In addition we discuss the number of cycles in a graph. In particular we give an equivalent characterization of acylic graphs via the adjacency matrix, the talented monoid and the Leavitt path algebra.


title: SADM: Sequence-Aware Diffusion Model for Longitudinal Medical Image Generation

abstract: Human organs constantly undergo anatomical changes due to a complex mix of short-term (e.g., heartbeat) and long-term (e.g., aging) factors. Evidently, prior knowledge of these factors will be beneficial when modeling their future state, i.e., via image generation. However, most of the medical image generation tasks only rely on the input from a single image, thus ignoring the sequential dependency even when longitudinal data is available. Sequence-aware deep generative models, where model input is a sequence of ordered and timestamped images, are still underexplored in the medical imaging domain that is featured by several unique challenges: 1) Sequences with various lengths; 2) Missing data or frame, and 3) High dimensionality. To this end, we propose a sequence-aware diffusion model (SADM) for the generation of longitudinal medical images. Recently, diffusion models have shown promising results in high-fidelity image generation. Our method extends this new technique by introducing a sequence-aware transformer as the conditional module in a diffusion model. The novel design enables learning longitudinal dependency even with missing data during training and allows autoregressive generation of a sequence of images during inference. Our extensive experiments on 3D longitudinal medical images demonstrate the effectiveness of SADM compared with baselines and alternative methods. The code is available at https://github.com/ubc-tea/SADM-Longitudinal-Medical-Image-Generation.


title: The Variation of Radiation Effective Dose Rates and Single Event Effect Rates at Aviation Altitudes with Magnetospheric Conditions and Geographic Location

abstract: The geographic structure of radiation dose rates at aircraft altitudes in Earth's atmosphere during the irradiation of Earth by proton spectra from incoming solar particle events is examined using the recently developed MAIRE+ software. Conditions are examined under two incoming proton spectra, a low/hard spectral index and a high/soft spectral index spectra, which are representative of some of the solar particle events that have caused reasonably sized Ground-Level Enhancements/Events (GLEs) over the past 70 years. It is found through the use of `cut-throughs' of the atmosphere, that the atmosphere can be divided into three volumes; a high dose rate polar region, a low dose rate equatorial region, and a transition region between the two. The location of these regions as a function of latitude, longitude and altitude is characterised. It is also found that the location of the transition region changes for different magnetospheric disturbance levels, implying that the total radiation dose rate an aircraft will experience if it passes through the transition region will be subject to large systematic uncertainties, particularly during the currently unknown levels of magnetospheric disturbance that a major solar event could cause. The impact that various magnetospheric conditions might have on dose rates that specific flight routes might experience is also discussed.


title: An Energy-aware and Fault-tolerant Deep Reinforcement Learning based approach for Multi-agent Patrolling Problems

abstract: Autonomous vehicles are suited for continuous area patrolling problems. However, finding an optimal patrolling strategy can be challenging for many reasons. Firstly, patrolling environments are often complex and can include unknown environmental factors, such as wind or landscape. Secondly, autonomous vehicles can have failures or hardware constraints, such as limited battery life. Importantly, patrolling large areas often requires multiple agents that need to collectively coordinate their actions. In this work, we consider these limitations and propose an approach based on model-free, deep multi-agent reinforcement learning. In this approach, the agents are trained to patrol an environment with various unknown dynamics and factors. They can automatically recharge themselves to support continuous collective patrolling. A distributed homogeneous multi-agent architecture is proposed, where all patrolling agents execute identical policies locally based on their local observations and shared location information. This architecture provides a patrolling system that can tolerate agent failures and allow supplementary agents to be added to replace failed agents or to increase the overall patrol performance. The solution is validated through simulation experiments from multiple perspectives, including the overall patrol performance, the efficiency of battery recharging strategies, the overall fault tolerance, and the ability to cooperate with supplementary agents.


title: Localization & Mapping Requirements for Level 2+ Autonomous Vehicles

abstract: Autonomous vehicles are being deployed with a spectrum of capability, extending from driver assistance features for the highway in personal vehicles (SAE Level 2+) to fully autonomous fleet ride sharing services operating in complex city environments (SAE Level 4+). This spectrum of autonomy often operates in different physical environments with different degrees of assumed driver in-the-loop oversight and hence have very different system and subsystem requirements. At the heart of SAE Level 2 to 5 systems is localization and mapping, which ranges from road determination for feature geofencing or high-level routing, through lane determination for advanced driver assistance, to where-in-lane positioning for full vehicle control. We assess localization and mapping requirements for different levels of autonomy and supported features. This work provides a framework for system decomposition, including the level of redundancy needed to achieve the target level of safety. We examine several representative autonomous and assistance features and make recommendations on positioning requirements as well map georeferencing and information integrity.


title: Offline Robot Reinforcement Learning with Uncertainty-Guided Human Expert Sampling

abstract: Recent advances in batch (offline) reinforcement learning have shown promising results in learning from available offline data and proved offline reinforcement learning to be an essential toolkit in learning control policies in a model-free setting. An offline reinforcement learning algorithm applied to a dataset collected by a suboptimal non-learning-based algorithm can result in a policy that outperforms the behavior agent used to collect the data. Such a scenario is frequent in robotics, where existing automation is collecting operational data. Although offline learning techniques can learn from data generated by a sub-optimal behavior agent, there is still an opportunity to improve the sample complexity of existing offline reinforcement learning algorithms by strategically introducing human demonstration data into the training process. To this end, we propose a novel approach that uses uncertainty estimation to trigger the injection of human demonstration data and guide policy training towards optimal behavior while reducing overall sample complexity. Our experiments show that this approach is more sample efficient when compared to a naive way of combining expert data with data collected from a sub-optimal agent. We augmented an existing offline reinforcement learning algorithm Conservative Q-Learning with our approach and performed experiments on data collected from MuJoCo and OffWorld Gym learning environments.


title: Geometry-aware Autoregressive Models for Calorimeter Shower Simulations

abstract: Calorimeter shower simulations are often the bottleneck in simulation time for particle physics detectors. A lot of effort is currently spent on optimizing generative architectures for specific detector geometries, which generalize poorly. We develop a geometry-aware autoregressive model on a range of calorimeter geometries such that the model learns to adapt its energy deposition depending on the size and position of the cells. This is a key proof-of-concept step towards building a model that can generalize to new unseen calorimeter geometries with little to no additional training. Such a model can replace the hundreds of generative models used for calorimeter simulation in a Large Hadron Collider experiment. For the study of future detectors, such a model will dramatically reduce the large upfront investment usually needed to generate simulations.

categories: physics.ins-det cs.LG hep-ex hep-ph physics.data-an


title: Innovation-Based Remote State Estimation Secrecy with no Acknowledgments

abstract: Secrecy encoding for remote state estimation in the presence of adversarial eavesdroppers is a well studied problem. Typical existing secrecy encoding schemes rely on the transmitter's knowledge of the remote estimator's current performance. This performance measure is often shared via packet receipt acknowledgments. However, in practical situations the acknowledgment channel may be susceptible to interference from an active adversary, resulting in the secrecy encoding scheme failing. Aiming to achieve a reliable state estimate for a legitimate estimator while ensuring secrecy, we propose a secrecy encoding scheme without the need for packet receipt acknowledgments. Our encoding scheme uses a pre-arranged scheduling sequence established at the transmitter and legitimate receiver. We transmit a packet containing either the state measurement or encoded information for the legitimate user. The encoding makes the packet appear to be the state but is designed to damage an eavesdropper's estimate. The pre-arranged scheduling sequence and encoding is chosen psuedo-random. We analyze the performance of our encoding scheme against a class of eavesdropper, and show conditions to force the eavesdropper to have an unbounded estimation performance. Further, we provide a numerical illustration and apply our encoding scheme to an application in power systems.


title: A Simple Decentralized Cross-Entropy Method

abstract: Cross-Entropy Method (CEM) is commonly used for planning in model-based reinforcement learning (MBRL) where a centralized approach is typically utilized to update the sampling distribution based on only the top-$k$ operation's results on samples. In this paper, we show that such a centralized approach makes CEM vulnerable to local optima, thus impairing its sample efficiency. To tackle this issue, we propose Decentralized CEM (DecentCEM), a simple but effective improvement over classical CEM, by using an ensemble of CEM instances running independently from one another, and each performing a local improvement of its own sampling distribution. We provide both theoretical and empirical analysis to demonstrate the effectiveness of this simple decentralized approach. We empirically show that, compared to the classical centralized approach using either a single or even a mixture of Gaussian distributions, our DecentCEM finds the global optimum much more consistently thus improves the sample efficiency. Furthermore, we plug in our DecentCEM in the planning problem of MBRL, and evaluate our approach in several continuous control environments, with comparison to the state-of-art CEM based MBRL approaches (PETS and POPLIN). Results show sample efficiency improvement by simply replacing the classical CEM module with our DecentCEM module, while only sacrificing a reasonable amount of computational cost. Lastly, we conduct ablation studies for more in-depth analysis. Code is available at https://github.com/vincentzhang/decentCEM


title: Coded Distributed Computing for Hierarchical Multi-task Learning

abstract: In this paper, we consider a hierarchical distributed multi-task learning (MTL) system where distributed users wish to jointly learn different models orchestrated by a central server with the help of a layer of multiple relays. Since the users need to download different learning models in the downlink transmission, the distributed MTL suffers more severely from the communication bottleneck compared to the single-task learning system. To address this issue, we propose a coded hierarchical MTL scheme that exploits the connection topology and introduces coding techniques to reduce communication loads. It is shown that the proposed scheme can significantly reduce the communication loads both in the uplink and downlink transmissions between relays and the server. Moreover, we provide information-theoretic lower bounds on the optimal uplink and downlink communication loads, and prove that the gaps between achievable upper bounds and lower bounds are within the minimum number of connected users among all relays. In particular, when the network connection topology can be delicately designed, the proposed scheme can achieve the information-theoretic optimal communication loads. Experiments on real datasets show that our proposed scheme can reduce the overall training time by 17% $\sim$ 26% compared to the conventional uncoded scheme.


title: Quantum sensing of temperature close to absolute zero in a Bose-Einstein condensate

abstract: We propose a theoretical scheme for quantum sensing of temperature close to absolute zero in a quasi-one-dimensional Bose-Einstein condensate (BEC). In our scheme, a single-atom impurity qubit is used as a temper-ature sensor. We investigate the sensitivity of the single-atom sensor in estimating the temperature of the BEC. We demonstrate that the sensitivity of the temperature sensor can saturate the quantum Cramer-Rao bound by means of measuring quantum coherence of the probe qubit. We study the temperature sensing performance by the use of quantum signal-to-noise ratio (QSNR). It is indicated that there is an optimal encoding time that the QSNR can reach its maximum in the full-temperature regime. In particular, we find that the QSNR reaches a finite upper bound in the weak coupling regime even when the temperature is close to absolute zero, which implies that the sensing-error-divergence problem is avoided in our scheme. Our work opens a way for quantum sensing of temperature close to absolute zero in the BEC.