title: A New Outlier Removal Strategy Based on Reliability of Correspondence Graph for Fast Point Cloud Registration

abstract: Registration is a basic yet crucial task in point cloud processing. In correspondence-based point cloud registration, matching correspondences by point feature techniques may lead to an extremely high outlier ratio. Current methods still suffer from low efficiency, accuracy, and recall rate. We use a simple and intuitive method to describe the 6-DOF (degree of freedom) curtailment process in point cloud registration and propose an outlier removal strategy based on the reliability of the correspondence graph. The method constructs the corresponding graph according to the given correspondences and designs the concept of the reliability degree of the graph node for optimal candidate selection and the reliability degree of the graph edge to obtain the global maximum consensus set. The presented method could achieve fast and accurate outliers removal along with gradual aligning parameters estimation. Extensive experiments on simulations and challenging real-world datasets demonstrate that the proposed method can still perform effective point cloud registration even the correspondence outlier ratio is over 99%, and the efficiency is better than the state-of-the-art. Code is available at https://github.com/WPC-WHU/GROR.


title: Multiple-Photon Resonance Enabled Quantum Interference in Emission Spectroscopy of N_2^+

abstract: Quantum interference occurs frequently in the interaction of laser radiation with materials, leading to a series of fascinating effects such as lasing without inversion, electromagnetically induced transparency, Fano resonance, etc. Such quantum interference effects are mostly enabled by single-photon resonance with transitions in the matter, regardless of how many optical frequencies are involved. Here, we demonstrate quantum interference driven by multiple photons in the emission spectroscopy of nitrogen ions that are resonantly pumped by ultrafast infrared laser pulses. In the spectral domain, Fano resonance is observed in the emission spectrum, where a laser-assisted dynamic Stark effect creates the continuum. In the time domain, the fast-evolving emission is measured, revealing the nature of free-induction decay (FID) arising from quantum radiation and molecular cooperativity. These findings clarify the mechanism of coherent emission of nitrogen ions pumped with MIR pump laser and are likely to be universal. The present work opens a route to explore the important role of quantum interference during the interaction of intense laser pulses with materials near multiple photon resonance.


title: Thermodynamics of quantum switch information capacity activation

abstract: We address a new setting where the second law is under question: thermalizations in a quantum superposition of causal orders, enacted by the so-called quantum switch. This superposition has been shown to be associated with an increase in the communication capacity of the channels, yielding an apparent violation of the data-processing inequality and a possibility to separate hot from cold. We analyze the thermodynamics of this information capacity increasing process. We show how the information capacity increase is compatible with thermodynamics. We show that there may indeed be an information capacity increase for consecutive thermalizations obeying the first and second laws of thermodynamics if these are placed in an indefinite order and moreover that only a significantly bounded increase is possible. The increase comes at the cost of consuming a thermodynamic resource, the free energy of coherence associated with the switch.


title: What GPT Knows About Who is Who

abstract: Coreference resolution -- which is a crucial task for understanding discourse and language at large -- has yet to witness widespread benefits from large language models (LLMs). Moreover, coreference resolution systems largely rely on supervised labels, which are highly expensive and difficult to annotate, thus making it ripe for prompt engineering. In this paper, we introduce a QA-based prompt-engineering method and discern \textit{generative}, pre-trained LLMs' abilities and limitations toward the task of coreference resolution. Our experiments show that GPT-2 and GPT-Neo can return valid answers, but that their capabilities to identify coreferent mentions are limited and prompt-sensitive, leading to inconsistent results.


title: Training neural networks using Metropolis Monte Carlo and an adaptive variant

abstract: We examine the zero-temperature Metropolis Monte Carlo algorithm as a tool for training a neural network by minimizing a loss function. We find that, as expected on theoretical grounds and shown empirically by other authors, Metropolis Monte Carlo can train a neural net with an accuracy comparable to that of gradient descent, if not necessarily as quickly. The Metropolis algorithm does not fail automatically when the number of parameters of a neural network is large. It can fail when a neural network's structure or neuron activations are strongly heterogenous, and we introduce an adaptive Monte Carlo algorithm, aMC, to overcome these limitations. The intrinsic stochasticity and numerical stability of the Monte Carlo method allow aMC to train deep neural networks and recurrent neural networks in which the gradient is too small or too large to allow training by gradient descent. Monte Carlo methods offer a complement to gradient-based methods for training neural networks, allowing access to a distinct set of network architectures and principles.


title: Total power operations in spectral sequences

abstract: We describe how power operations descend through homotopy limit spectral sequences. We apply this to describe how norms appear in the $C_2$-equivariant Adams spectral sequence, to compute norms on $\pi_0$ of the equivariant $KU$-local sphere, and to compute power operations for the $K(1)$-local sphere. An appendix contains material on equivariant Bousfield localizations which may be of independent interest.


title: TNN7: A Custom Macro Suite for Implementing Highly Optimized Designs of Neuromorphic TNNs

abstract: Temporal Neural Networks (TNNs), inspired from the mammalian neocortex, exhibit energy-efficient online sensory processing capabilities. Recent works have proposed a microarchitecture framework for implementing TNNs and demonstrated competitive performance on vision and time-series applications. Building on these previous works, this work proposes TNN7, a suite of nine highly optimized custom macros developed using a predictive 7nm Process Design Kit (PDK), to enhance the efficiency, modularity and flexibility of the TNN design framework. TNN prototypes for two applications are used for evaluation of TNN7. An unsupervised time-series clustering TNN delivering competitive performance can be implemented within 40 uW power and 0.05 mm^2 area, while a 4-layer TNN that achieves an MNIST error rate of 1% consumes only 18 mW and 24.63 mm^2. On average, the proposed macros reduce power, delay, area, and energy-delay product by 14%, 16%, 28%, and 45%, respectively. Furthermore, employing TNN7 significantly reduces the synthesis runtime of TNN designs (by more than 3x), allowing for highly-scaled TNN implementations to be realized.


title: Phishing Detection Leveraging Machine Learning and Deep Learning: A Review

abstract: Phishing attacks trick victims into disclosing sensitive information. To counter rapidly evolving attacks, we must explore machine learning and deep learning models leveraging large-scale data. We discuss models built on different kinds of data, along with their advantages and disadvantages, and present multiple deployment options to detect phishing attacks.


title: Binary X-ray sources in massive Brans-Dicke gravity

abstract: This study focuses on the X-ray emission of low-mass black hole binaries in massive Brans-Dicke gravity. First, we compute the accretion disk adopting the well-known Shakura-Sunyaev model for an optically thick, cool, and geometrically thin disk. Moreover, we assume that the gravitational field generated by the stellar-mass black hole is an analogue of the Schwarzschild space-time of Einstein's theory in massive Brans-Dicke gravity. We compute the most relevant quantities of interest, i.e., i) the radial velocity, ii) the energy and surface density, and iii) the pressure as a function entirely of the radial coordinate. We also compute the soft spectral component of the X-ray emission produced by the disk. Furthermore, we investigate in detail how the mass of the scalar field modifies the properties of the binary as described by the more standard Schwarzschild solution.


title: Thermal super-jogs control high-temperature strength in Nb-Mo-Ta-W alloys

abstract: Refractory multi-element alloys (RMEA) with body-centered cubic (bcc) structure have been the object of much research over the last decade due to their high potential as candidate materials for high-temperature applications. Most of these alloys display a remarkable strength at high temperatures, which cannot be explained by the standard model of bcc plasticity dominated by thermally-activated screw dislocation motion. Recent research on Nb-Mo-Ta-W alloys points to a heightened role of edge dislocations on deformation, which is generally attributed to atomic-level chemical fluctuations in the material and their interactions with dislocation cores during slip. However, while this model accounts for a strengthening effect due to the chemical complexity of the alloy, it is not sufficient to explain its strength across the entire thermal range. Here we propose a new mechanism that captures the existing theories about enhanced lattice strengthening and a thermally-activated component that emanates directly from the chemical complexity of the RMEA. This compositional complexity results in unique vacancy formation energy distributions with tails that extend into negative energies, leading to spontaneous, i.e., athermal, vacancy formation at edge dislocation cores. These vacancies relax into atomic-sized super-jogs on the dislocation line, acting as extra pinning points that increase the activation stress of the dislocation. At the same time, these super-jogs can displace diffusively along the glide direction, relieving with their motion some of the extra stress, thus countering the hardening effect due to jog-pinning. The interplay between these two processes as a function of temperature confers an extra strength to edge dislocation at intermediate-to-high temperatures, in remarkable agreement with experimental measurements in Nb-Mo-Ta-W and across a number of different RMEA.


title: On total weight exiting finite, strongly connected sets in shift-invariant weighted directed graphs on $\mathbb{Z}$

abstract: For a shift-invariant weighted directed graph with vertex set $\mathbb{Z}$, we examine the minimal weight $\kappa_0$ exiting a finite, strongly connected set of vertices. Although $\kappa_0$ is defined as an infimum, it has been shown that the infimum is always attained by an actual set of vertices. We show that for each underlying directed graph (prior to assignment of the weights), there is a formula for $\kappa_0$ as a minimum of finitely many integer combinations of the edge weights. We find this formula for several different directed graphs. Motivation for this problem comes from random walks in Dirichlet environments (equivalently, directed edge reinforced random walks), where the size of $\kappa_0$ has been shown to determine the strength of finite traps where the walk can get stuck for a long time.


title: Explosion of continuous-state branching processes with competition in L\'evy environment

abstract: Using the Lyapunov criteria arguments, we find sufficient conditions on explosion/nonexplosion for continuous-state branching processes with competition in L\'evy random environment. In particular, we identify the necessary and sufficient conditions on explosion/nonexplosion when the competition function is a power function and the L\'evy measure of the associated branching mechanism is stable.


title: Implementation of Analytical Jacobian and Chemical Explosive Mode Analysis (CEMA) in OpenFOAM

abstract: This report presents the implementation details of the chemical explosive mode analysis (CEMA), using analytical Jacobian formulation, into OpenFOAM.


title: Transformers in 3D Point Clouds: A Survey

abstract: Transformers have been at the heart of the Natural Language Processing (NLP) and Computer Vision (CV) revolutions. The significant success in NLP and CV inspired exploring the use of Transformers in point cloud processing. However, how do Transformers cope with the irregularity and unordered nature of point clouds? How suitable are Transformers for different 3D representations (e.g., point- or voxel-based)? How competent are Transformers for various 3D processing tasks? As of now, there is still no systematic survey of the research on these issues. For the first time, we provided a comprehensive overview of increasingly popular Transformers for 3D point cloud analysis. We start by introducing the theory of the Transformer architecture and reviewing its applications in 2D/3D fields. Then, we present three different taxonomies (i.e., implementation-, data representation-, and task-based), which can classify current Transformer-based methods from multiple perspectives. Furthermore, we present the results of an investigation of the variants and improvements of the self-attention mechanism in 3D. To demonstrate the superiority of Transformers in point cloud analysis, we present comprehensive comparisons of various Transformer-based methods for classification, segmentation, and object detection. Finally, we suggest three potential research directions, providing benefit references for the development of 3D Transformers.


title: Higher dimensional algebraic fiberings for pro-$p$ groups

abstract: We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes \Gamma$ is a pro-$p$ group, $\Gamma$ a finitely generated free pro-$p$ group with $d(\Gamma) \geq 2$, $K$ a finitely presented pro-$p$ group with $N$ a normal pro-$p$ subgroup of $K$ such that $K/ N \simeq \mathbb{Z}_p$ and $N$ not finitely generated as a pro-$p$ group, then $G$ is incoherent (in the category of pro-$p$ groups). Furthermore we show that if $K$ is a free pro-$p$ group with $d(K) = 2$ then either $Aut_0(K)$ is incoherent (in the category of pro-$p$ groups) or there is a finitely presented pro-$p$ group, without non-procyclic free pro-$p$ subgroups, that has a metabelian pro-$p$ quotient that is not finitely presented i.e. a pro-$p$ version of a result of Bieri-Strebel does not hold.


title: Image processing-based domain-matching simulation for heteroepitaxy

abstract: Heteroepitaxy of functional thin films on single-crystal substrates is one of the most general themes in electronic materials research. Here, we propose an algorithm based on image processing for the rapid simulation of heteroepitaxial relationships. The superposition and rotation of various lattice plane images of the film and substrate, which were automatically generated from the crystal structure, rapidly verified all domain matching patterns. Furthermore, the comprehensive validation allowed us to discuss domain matching from multiple perspectives, such as mismatch, matching period, and density of matching lattice points. Therefore, the proposed algorithm will contribute to materials informatics, streamlining a wide range of materials research for functional thin films.


title: Photonic Dirac Nodal Line Semimetals Realized by Hyper-crystal

abstract: Recently, the gapless Dirac/Weyl nodal semimetals with linear dispersion and topologically protected modes degeneracy are rapidly growing frontiers of topological physics. Especially, type-I, type-II, and critical type-III nodal semimetals are discovered according to the tilt angles of the Dirac/Weyl cones. Here, by introducing hyperbolic metamaterials into one-dimensional photonic crystals, we design the "hyper-crystal" and study the photonic four-fold degenerate Dirac nodal line semimetals (DNLSs) with two types of perpendicularly polarized waves. Moreover, the flexibly controlled photonic DNLSs using the phase compensation effect of hyperbolic dispersion are studied. Our results not only demonstrate a new platform to realize the various photonic DNLSs, where the optical polarization plays the role of electron spin in electronic DNLSs, but also may pave a novel way to explore the abundant Dirac/Weyl physics in the simple classical wave systems.


title: Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud

abstract: In emerging scientific computing environments, matrix computations of increasing size and complexity are increasingly becoming prevalent. However, contemporary matrix language implementations are insufficient in their support for efficient utilization of cloud computing resources, particularly on the user side. We thus developed an extension of the Julia high-performance computation language such that matrix computations are automatically parallelized in the cloud, where users are separated from directly interacting with complex explicitly-parallel computations. We implement lazy evaluation semantics combined with directed graphs to optimize matrix operations on the fly while dynamic simulation finds the optimal tile size and schedule for a given cluster of cloud nodes. A time model prediction of the cluster's performance capacity is constructed to enable simulations. Automatic configuration of communication and worker processes on the cloud networks allow for the framework to automatically scale up for clusters of heterogeneous nodes. Our framework's experimental evaluation comprises eleven benchmarks on an fourteen node (564 CPUs) cluster in the AWS public cloud, revealing speedups of up to a factor of 5.1, with an average 74.39% of the upper bound for speedups.


title: PrEF: Percolation-based Evolutionary Framework for the diffusion-source-localization problem in large networks

abstract: We assume that the state of a number of nodes in a network could be investigated if necessary, and study what configuration of those nodes could facilitate a better solution for the diffusion-source-localization (DSL) problem. In particular, we formulate a candidate set which contains the diffusion source for sure, and propose the method, Percolation-based Evolutionary Framework (PrEF), to minimize such set. Hence one could further conduct more intensive investigation on only a few nodes to target the source. To achieve that, we first demonstrate that there are some similarities between the DSL problem and the network immunization problem. We find that the minimization of the candidate set is equivalent to the minimization of the order parameter if we view the observer set as the removal node set. Hence, PrEF is developed based on the network percolation and evolutionary algorithm. The effectiveness of the proposed method is validated on both model and empirical networks in regard to varied circumstances. Our results show that the developed approach could achieve a much smaller candidate set compared to the state of the art in almost all cases. Meanwhile, our approach is also more stable, i.e., it has similar performance irrespective of varied infection probabilities, diffusion models, and outbreak ranges. More importantly, our approach might provide a new framework to tackle the DSL problem in extreme large networks.

categories: cs.SI cs.NE physics.data-an physics.soc-ph


title: Quasi-periodic Accelerations of Energetic Particles during a Solar Flare

abstract: We report the observation of non-stationary Quasi-Periodic Pulsations (QPPs) in high-energy particles during the impulsive phase of an X4.8 flare on 2002 July 23 (SOL2002-07-23T00:35). The X4.8 flare was simultaneously measured by the Reuven Ramaty High Energy Solar Spectroscopic Imager, Nobeyama Radio Polarimeters, and Nobeyama Radioheliograph. The quasi-period of about 50 s, determined by the wavelet transform, is detected in the Gamma-ray line emission. Using the same method, a quasi-period of about 90 s is found in Gamma-ray continuum, hard X-ray (HXR) and radio emissions during almost the same time. Our observations suggest that the flare QPPs should be associated with energetic ions and nonthermal electrons that quasi-periodically accelerated by the repetitive magnetic reconnection. The different quasi-periods between Gamma-ray line and continuum/HXR/radio emissions indicate an apparent difference in acceleration or propagation between energetic ions and nonthermal electrons of this solar flare.


title: Trustworthy Graph Neural Networks: Aspects, Methods and Trends

abstract: Graph neural networks (GNNs) have emerged as a series of competent graph learning methods for diverse real-world scenarios, ranging from daily applications like recommendation systems and question answering to cutting-edge technologies such as drug discovery in life sciences and n-body simulation in astrophysics. However, task performance is not the only requirement for GNNs. Performance-oriented GNNs have exhibited potential adverse effects like vulnerability to adversarial attacks, unexplainable discrimination against disadvantaged groups, or excessive resource consumption in edge computing environments. To avoid these unintentional harms, it is necessary to build competent GNNs characterised by trustworthiness. To this end, we propose a comprehensive roadmap to build trustworthy GNNs from the view of the various computing technologies involved. In this survey, we introduce basic concepts and comprehensively summarise existing efforts for trustworthy GNNs from six aspects, including robustness, explainability, privacy, fairness, accountability, and environmental well-being. Additionally, we highlight the intricate cross-aspect relations between the above six aspects of trustworthy GNNs. Finally, we present a thorough overview of trending directions for facilitating the research and industrialisation of trustworthy GNNs.


title: ALICE: An Automatic Design Flow for eFPGA Redaction

abstract: Fabricating an integrated circuit is becoming unaffordable for many semiconductor design houses. Outsourcing the fabrication to a third-party foundry requires methods to protect the intellectual property of the hardware designs. Designers can rely on embedded reconfigurable devices to completely hide the real functionality of selected design portions unless the configuration string (bitstream) is provided. However, selecting such portions and creating the corresponding reconfigurable fabrics are still open problems. We propose ALICE, a design flow that addresses the EDA challenges of this problem. ALICE partitions the RTL modules between one or more reconfigurable fabrics and the rest of the circuit, automating the generation of the corresponding redacted design.


title: Optimal Randomized Approximations for Matrix based Renyi's Entropy

abstract: The Matrix-based Renyi's entropy enables us to directly measure information quantities from given data without the costly probability density estimation of underlying distributions, thus has been widely adopted in numerous statistical learning and inference tasks. However, exactly calculating this new information quantity requires access to the eigenspectrum of a semi-positive definite (SPD) matrix $A$ which grows linearly with the number of samples $n$, resulting in a $O(n^3)$ time complexity that is prohibitive for large-scale applications. To address this issue, this paper takes advantage of stochastic trace approximations for matrix-based Renyi's entropy with arbitrary $\alpha \in R^+$ orders, lowering the complexity by converting the entropy approximation to a matrix-vector multiplication problem. Specifically, we develop random approximations for integer order $\alpha$ cases and polynomial series approximations (Taylor and Chebyshev) for non-integer $\alpha$ cases, leading to a $O(n^2sm)$ overall time complexity, where $s,m \ll n$ denote the number of vector queries and the polynomial order respectively. We theoretically establish statistical guarantees for all approximation algorithms and give explicit order of s and m with respect to the approximation error $\varepsilon$, showing optimal convergence rate for both parameters up to a logarithmic factor. Large-scale simulations and real-world applications validate the effectiveness of the developed approximations, demonstrating remarkable speedup with negligible loss in accuracy.


title: Exploring the Learning Difficulty of Data Theory and Measure

abstract: As learning difficulty is crucial for machine learning (e.g., difficulty-based weighting learning strategies), previous literature has proposed a number of learning difficulty measures. However, no comprehensive investigation for learning difficulty is available to date, resulting in that nearly all existing measures are heuristically defined without a rigorous theoretical foundation. In addition, there is no formal definition of easy and hard samples even though they are crucial in many studies. This study attempts to conduct a pilot theoretical study for learning difficulty of samples. First, a theoretical definition of learning difficulty is proposed on the basis of the bias-variance trade-off theory on generalization error. Theoretical definitions of easy and hard samples are established on the basis of the proposed definition. A practical measure of learning difficulty is given as well inspired by the formal definition. Second, the properties for learning difficulty-based weighting strategies are explored. Subsequently, several classical weighting methods in machine learning can be well explained on account of explored properties. Third, the proposed measure is evaluated to verify its reasonability and superiority in terms of several main difficulty factors. The comparison in these experiments indicates that the proposed measure significantly outperforms the other measures throughout the experiments.


title: On the Convergence of the Shapley Value in Parametric Bayesian Learning Games

abstract: Measuring contributions is a classical problem in cooperative game theory where the Shapley value is the most well-known solution concept. In this paper, we establish the convergence property of the Shapley value in parametric Bayesian learning games where players perform a Bayesian inference using their combined data, and the posterior-prior KL divergence is used as the characteristic function. We show that for any two players, under some regularity conditions, their difference in Shapley value converges in probability to the difference in Shapley value of a limiting game whose characteristic function is proportional to the log-determinant of the joint Fisher information. As an application, we present an online collaborative learning framework that is asymptotically Shapley-fair. Our result enables this to be achieved without any costly computations of posterior-prior KL divergences. Only a consistent estimator of the Fisher information is needed. The effectiveness of our framework is demonstrated with experiments using real-world data.


title: Emergent spacetimes from Hermitian and non-Hermitian quantum dynamics

abstract: We show that quantum dynamics of any systems with $SU(1,1)$ symmetry give rise to emergent Anti-de Sitter spacetimes in 2+1 dimensions (AdS$_{2+1}$). Using the continuous circuit depth, a quantum evolution is mapped to a trajectory in AdS$_{2+1}$. Whereas the time measured in laboratories becomes either the proper time or the proper distance, quench dynamics follow geodesics of AdS$_{2+1}$. Such a geometric approach provides a unified interpretation of a wide range of prototypical phenomena that appear disconnected. For instance, the light cone of AdS$_{2+1}$ underlies expansions of unitary fermions released from harmonic traps, the onsite of parametric amplifications, and the exceptional points that represent the $PT$ symmetry breaking in non-Hermitian systems. Our work provides a transparent means to optimize quantum controls by exploiting shortest paths in the emergent spacetimes. It also allows experimentalists to engineer emergent spacetimes and induce tunnelings between different AdS$_{2+1}$.


title: Optimizing the optimizer for data driven deep neural networks and physics informed neural networks

abstract: We investigate the role of the optimizer in determining the quality of the model fit for neural networks with a small to medium number of parameters. We study the performance of Adam, an algorithm for first-order gradient-based optimization that uses adaptive momentum, the Levenberg and Marquardt (LM) algorithm a second order method, Broyden,Fletcher,Goldfarb and Shanno algorithm (BFGS) a second order method and LBFGS, a low memory version of BFGS. Using these optimizers we fit the function y = sinc(10x) using a neural network with a few parameters. This function has a variable amplitude and a constant frequency. We observe that the higher amplitude components of the function are fitted first and the Adam, BFGS and LBFGS struggle to fit the lower amplitude components of the function. We also solve the Burgers equation using a physics informed neural network(PINN) with the BFGS and LM optimizers. For our example problems with a small to medium number of weights, we find that the LM algorithm is able to rapidly converge to machine precision offering significant benefits over other optimizers. We further investigated the Adam optimizer with a range of models and found that Adam optimiser requires much deeper models with large numbers of hidden units containing up to 26x more parameters, in order to achieve a model fit close that achieved by the LM optimizer. The LM optimizer results illustrate that it may be possible build models with far fewer parameters. We have implemented all our methods in Keras and TensorFlow 2.


title: Radial projection theorems in finite spaces

abstract: Motivated by recent results on radial projections and applications to the celebrated Falconer distance problem, we study radial projections in the setting of finite fields. More precisely, we extend results due to Mattila and Orponen (2016), Orponen (2018), and Liu (2020) to finite spaces. In some cases, our results are stronger than the corresponding results in the continuous setting. In particular, we solve the finite field analog of a conjecture due to Liu and Orponen on the exceptional set of radial projections of a set of dimension between $d-2$ and $d-1$.


title: Stability of Kadomtsev-Petviashvili multi-line solitons

abstract: Building upon Boiti et al's work, a rigorous inverse scattering theory of perturbed Kadomtsev Petviashvili Grassmannian solitons is completed. It yields an $L^\infty$-stability theorem of the Kadomtsev Petviashvili multi-line solitons simultaneously


title: Binarizing by Classification: Is soft function really necessary?

abstract: Binary neural networks leverage $\mathrm{Sign}$ function to binarize weights and activations, which require gradient estimators to overcome its non-differentiability and will inevitably bring gradient errors during backpropagation. Although many hand-designed soft functions have been proposed as gradient estimators to better approximate gradients, their mechanism is not clear and there are still huge performance gaps between binary models and their full-precision counterparts. To address these issues and reduce gradient error, we propose to tackle network binarization as a binary classification problem and use a multi-layer perceptron (MLP) as the classifier in the forward pass and gradient estimator in the backward pass. Benefiting from the MLP's theoretical capability to fit any continuous function, it can be adaptively learned to binarize networks and backpropagate gradients without any prior knowledge of soft functions. From this perspective, we further empirically justify that even a simple linear function can outperform previous complex soft functions. Extensive experiments demonstrate that the proposed method yields surprising performance both in image classification and human pose estimation tasks. Specifically, we achieve $65.7\%$ top-1 accuracy of ResNet-34 on ImageNet dataset, with an absolute improvement of $2.6\%$. Moreover, we take binarization as a lightweighting approach for pose estimation models and propose well-designed binary pose estimation networks SBPN and BHRNet. When evaluating on the challenging Microsoft COCO keypoint dataset, the proposed method enables binary networks to achieve a mAP of up to $60.6$ for the first time. Experiments conducted on real platforms demonstrate that BNN achieves a better balance between performance and computational complexity, especially when computational resources are extremely low.


title: Search for CP violating top quark couplings in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: Results are presented from a search for CP violation in top quark pair production, using proton-proton collisions at a center-of-mass energy of 13 TeV. The data used for this analysis consist of final states with two charged leptons collected by the CMS experiment, and correspond to an integrated luminosity of 35.9 fb$^{-1}$. The search uses two observables, $\mathcal{O}_1$ and $\mathcal{O}_3$, which are Lorentz scalars. The observable $\mathcal{O}_1$ is constructed from the four-momenta of the charged leptons and the reconstructed top quarks, while $\mathcal{O}_3$ consists of the four-momenta of the charged leptons and the b quarks originating from the top quarks. Asymmetries in these observables are sensitive to CP violation, and their measurement is used to determine the chromoelectric dipole moment of the top quark. The results are consistent with the expectation from the standard model.


title: The fourth-order total variation flow in $\mathbb{R}^n$

abstract: We define rigorously a solution to the fourth-order total variation flow equation in $\mathbb{R}^n$. If $n\geq3$, it can be understood as a gradient flow of the total variation energy in $D^{-1}$, the dual space of $D^1_0$, which is the completion of the space of compactly supported smooth functions in the Dirichlet norm. However, in the low dimensional case $n\leq2$, the space $D^{-1}$ does not contain characteristic functions of sets of positive measure, so we extend the notion of solution to a larger space. We characterize the solution in terms of what is called the Cahn-Hoffman vector field, based on a duality argument. This argument relies on an approximation lemma which itself is interesting. We introduce a notion of calibrability of a set in our fourth-order setting. This notion is related to whether a characteristic function preserves its form throughout the evolution. It turns out that all balls are calibrable. However, unlike in the second-order total variation flow, the outside of a ball is calibrable if and only if $n\neq2$. If $n\neq2$, all annuli are calibrable, while in the case $n=2$, if an annulus is too thick, it is not calibrable. We compute explicitly the solution emanating from the characteristic function of a ball. We also provide a description of the solution emanating from any piecewise constant, radially symmetric datum in terms of a system of ODEs.


title: All-order Resurgence from Complexified Path Integral in a Quantum Mechanical System with Integrability

abstract: We discuss all-order transseries in one of the simplest quantum mechanical systems: a U(1) symmetric single-degree-of-freedom system with a first-order time derivative term. Following the procedure of the Lefschetz thimble method, we explicitly evaluate the path integral for the generating function of the Noether charge and derive its exact transseries expression. Using the conservation law, we find all the complex saddle points of the action, which are responsible for the non-perturbative effects and the resurgence structure of the model. The all-order power-series contributions around each saddle point are generated from the one-loop determinant with the help of the differential equations obeyed by the generating function. The transseries are constructed by summing up the contributions from all the relevant saddle points, which we identify by determining the intersection numbers between the dual thimbles and the original path integration contour. We confirm that the Borel ambiguities of the perturbation series are canceled by the non-perturbative ambiguities originating from the discontinuous jumps of the intersection numbers. The transseries computed in the path-integral formalism agrees with the exact generating function, whose explicit form can be obtained in the operator formalism thanks to the integrable nature of the model. This agreement indicates the non-perturbative completeness of the transseries obtained by the semi-classical expansion of the path integral based on the Lefschetz thimble method.


title: Roman: Making Everyday Objects Robotically Manipulable with 3D-Printable Add-on Mechanisms

abstract: One important vision of robotics is to provide physical assistance by manipulating different everyday objects, e.g., hand tools, kitchen utensils. However, many objects designed for dexterous hand-control are not easily manipulable by a single robotic arm with a generic parallel gripper. Complementary to existing research on developing grippers and control algorithms, we present Roman, a suite of hardware design and software tool support for robotic engineers to create 3D printable mechanisms attached to everyday handheld objects, making them easier to be manipulated by conventional robotic arms. The Roman hardware comes with a versatile magnetic gripper that can snap on/off handheld objects and drive add-on mechanisms to perform tasks. Roman also provides software support to register and author control programs. To validate our approach, we designed and fabricated Roman mechanisms for 14 everyday objects/tasks presented within a design space and conducted expert interviews with robotic engineers indicating that Roman serves as a practical alternative for enabling robotic manipulation of everyday objects.


title: Hard X-ray emission in Centaurus A

abstract: We used 13 years of Swift/BAT observations to probe the nature and origin of hard X-ray (14-195 KeV) emission in Centaurus A. Since the beginning of the Swift operation in 2004, significant X-ray variability in the 14-195 KeV band is detected, with mild changes in the source spectrum. Spectral variations became more eminent after 2013, following a softer-when-brighter trend. Using the power spectral density method, we found that the observed hard X-ray photon flux variations are consistent with a red-noise process of slope, $-1.3$ with no evidence for a break in the PSD. We found a significant correlation between hard X-ray and 230 GHz radio flux variations, with no time delay longer than 30 days. The temporal and spectral analysis rules out the ADAF (advection-dominated accretion flow) model, and confirms that the hard X-ray emission is produced in the inner regions of the radio jet.


title: ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning

abstract: Deep-learning-based local feature extraction algorithms that combine detection and description have made significant progress in visible image matching. However, the end-to-end training of such frameworks is notoriously unstable due to the lack of strong supervision of detection and the inappropriate coupling between detection and description. The problem is magnified in cross-modal scenarios, in which most methods heavily rely on the pre-training. In this paper, we recouple independent constraints of detection and description of multimodal feature learning with a mutual weighting strategy, in which the detected probabilities of robust features are forced to peak and repeat, while features with high detection scores are emphasized during optimization. Different from previous works, those weights are detached from back propagation so that the detected probability of indistinct features would not be directly suppressed and the training would be more stable. Moreover, we propose the Super Detector, a detector that possesses a large receptive field and is equipped with learnable non-maximum suppression layers, to fulfill the harsh terms of detection. Finally, we build a benchmark that contains cross visible, infrared, near-infrared and synthetic aperture radar image pairs for evaluating the performance of features in feature matching and image registration tasks. Extensive experiments demonstrate that features trained with the recoulped detection and description, named ReDFeat, surpass previous state-of-the-arts in the benchmark, while the model can be readily trained from scratch.


title: Charging quantum batteries via Otto machines: The influence of monitoring

abstract: The charging of a quantum battery by a four-stroke quantum machine that works either as an engine or a refrigerator is investigated. The presented analysis provides the energetic behavior of the combined system in terms of the heat and workflows of the machine, the average, and variance of the battery's energy as well as the coherent and incoherent parts of its ergotropy. To monitor the battery state its energy is measured either after the completion of any cycle or after a prescribed number of cycles is carried out. The resulting battery performances greatly differ for those two cases. During the first charging epoch with an engine, the regular measurements speed up the charging, whereas the gain of ergotropy is more pronounced in the absence of measurements. In a later stage, the engine fails to work as such while it still continues charging the battery that eventually reaches the maximally charged state in the absence of intermediate measurements and a suboptimally charged state for a periodically measured battery. For a refrigerator, the charging of the measured battery also proceeds faster during the first epoch. Only during the second stage when the machine fails to extract heat from the cold bath the influence of the measurements become less pronounced leading to rather similar asymptotic states for the two measurement scenarios.


title: Autonomous Electric Vehicle Battery Disassembly Based on NeuroSymbolic Computing

abstract: The booming of electric vehicles demands efficient battery disassembly for recycling to be environment-friendly. Due to the unstructured environment and high uncertainties, battery disassembly is still primarily done by humans, probably assisted by robots. It is highly desirable to design autonomous solutions to improve work efficiency and lower human risks in high voltage and toxic environments. This paper proposes a novel framework of the NeuroSymbolic task and motion planning method to disassemble batteries in an unstructured environment using robots automatically. It enables robots to independently locate and disassemble battery bolts, with or without obstacles. This study not only provides a solution for intelligently disassembling electric vehicle batteries but also verifies its feasibility through a set of test results with the robot accomplishing the disassembly tasks in a complex and dynamic environment.


title: Embedding universality for II$_1$ factors with property (T)

abstract: We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial extension over a non-atomic probability space of every countable p.m.p. equivalence relation. These results are obtained by using the class of wreath-like product groups introduced recently in \cite{CIOS21}.


title: Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report

abstract: Inspired by a novel action-theoretic formalization of actual cause, Khan and Lesp\'erance (2021) recently proposed a first account of causal knowledge that supports epistemic effects, models causal knowledge dynamics, and allows sensing actions to be causes of observed effects. To date, no other study has looked specifically at these issues. But their formalization is not sufficiently expressive enough to model explanations via causal analysis of mental states as it ignores a crucial aspect of theory of mind, namely motivations. In this paper, we build on their work to support causal reasoning about conative effects. In our framework, one can reason about causes of motivational states, and we allow motivation-altering actions to be causes of observed effects. We illustrate that this formalization along with a model of goal recognition can be utilized to explain agent behaviour in communicative multiagent contexts.


title: A Deep Reinforcement Learning Blind AI in DareFightingICE

abstract: This paper presents a deep reinforcement learning agent (AI) that uses sound as the input on the DareFightingICE platform at the DareFightingICE Competition in IEEE CoG 2022. In this work, an AI that only uses sound as the input is called blind AI. While state-of-the-art AIs rely mostly on visual or structured observations provided by their environments, learning to play games from only sound is still new and thus challenging. We propose different approaches to process audio data and use the Proximal Policy Optimization algorithm for our blind AI. We also propose to use our blind AI in evaluation of sound designs submitted to the competition and define two metrics for this task. The experimental results show the effectiveness of not only our blind AI but also the proposed two metrics.


title: Phase retrieval of analytic signals from short-time Fourier transform measurements

abstract: Analytic signals constitute a class of signals that are widely applied in time-frequency analysis such as extracting instantaneous frequency (IF) or phase derivative in the characterization of ultrashort laser pulse. The purpose of this paper is to investigate the phase retrieval (PR) problem for analytic signals in $\mathbb{C}^{N}$ by short-time Fourier transform (STFT) measurements since they enjoy some very nice structures. Since generic analytic signals are generally not sparse in the time domain, the existing PR results for sparse (in time domain) signals do not apply to analytic signals. We will use bandlimited windows that usually have the full support length $N$ which allows us to get much better resolutions on low frequencies. More precisely, by exploiting the structure of the STFT for analytic signals, we prove that the STFT based phase retrieval (STFT-PR for short) of generic analytic signals can be achieved by their $(3\lfloor\frac{N}{2}\rfloor+1)$ measurements. Since the generic analytic signals are $(\lfloor \frac{N}{2}\rfloor+1)$-sparse in the Fourier domain, such a number of measurements is lower than $4N+\hbox{O}(1)$ and $\hbox{O}(k^{3})$ which are required in the literature for STFT-PR of all signals and of $k^{2}$-sparse (in the Fourier domain) signals in $\mathbb{C}^{N^{2}}$, respectively. Moreover, we also prove that if the length $N$ is even and the windows are also analytic, then the number of measurements can be reduced to $(\frac{3 N}{2}-1)$. As an application of this we get that the instantaneous frequency (IF) of a generic analytic signal can be exactly recovered from the STFT measurements.


title: Miutsu: NTU's TaskBot for the Alexa Prize

abstract: This paper introduces Miutsu, National Taiwan University's Alexa Prize TaskBot, which is designed to assist users in completing tasks requiring multiple steps and decisions in two different domains -- home improvement and cooking. We overview our system design and architectural goals, and detail the proposed core elements, including question answering, task retrieval, social chatting, and various conversational modules. A dialogue flow is proposed to provide a robust and engaging conversation when handling complex tasks. We discuss the faced challenges during the competition and potential future work.


title: Optimal chromatic bound for ($P_2+P_3$, $\bar{P_2+ P_3}$)-free graphs

abstract: For a graph $G$, let $\chi(G)$ ($\omega(G)$) denote its chromatic (clique) number. A $P_2+P_3$ is the graph obtained by taking the disjoint union of a two-vertex path $P_2$ and a three-vertex path $P_3$. A $\bar{P_2+P_3}$ is the complement graph of a $P_2+P_3$. In this paper, we study the class of ($P_2+P_3$, $\bar{P_2+P_3}$)-free graphs and show that every such graph $G$ with $\omega(G)\geq 3$ satisfies $\chi(G)\leq \max \{\omega(G)+3, \lfloor\frac{3}{2} \omega(G) \rfloor-1 \}$. Moreover, the bound is tight. Indeed, for any $k\in {\mathbb N}$ and $k\geq 3$, there is a ($P_2+P_3$, $\bar{P_2+P_3}$)-free graph $G$ such that $\omega(G)=k$ and $\chi(G)=\max\{k+3, \lfloor\frac{3}{2} k \rfloor-1 \}$.


title: Joint Distribution of Ages of Information in Networks

abstract: We study a general setting of status updating systems in which a set of source nodes provide status updates about some physical process(es) to a set of monitors. The freshness of information available at each monitor is quantified in terms of the Age of Information (AoI), and the vector of AoI processes at the monitors (or equivalently the age vector) models the continuous state of the system. While the marginal distributional properties of each AoI process have been studied for a variety of settings using the stochastic hybrid system (SHS) approach, we lack a counterpart of this approach to systematically study their joint distributional properties. Developing such a framework is the main contribution of this paper. In particular, we model the discrete state of the system as a finite-state continuous-time Markov chain, and describe the coupled evolution of the continuous and discrete states of the system by a piecewise linear SHS with linear reset maps. Using the notion of tensors, we first derive first-order linear differential equations for the temporal evolution of both the joint moments and the joint moment generating function (MGF) for an arbitrary set of age processes. We then characterize the conditions under which the derived differential equations are asymptotically stable. The generality of our framework is demonstrated by recovering several existing results as special cases. Finally, we apply our framework to derive closed-form expressions of the stationary joint MGF in a multi-source updating system under non-preemptive and source-agnostic/source-aware preemptive in service queueing disciplines.


title: Variational learning algorithms for quantum query complexity

abstract: Quantum query complexity plays an important role in studying quantum algorithms, which captures the most known quantum algorithms, such as search and period finding. A query algorithm applies $U_tO_x\cdots U_1O_xU_0$ to some input state, where $O_x$ is the oracle dependent on some input variable $x$, and $U_i$s are unitary operations that are independent of $x$, followed by some measurements for readout. In this work, we develop variational learning algorithms to study quantum query complexity, by formulating $U_i$s as parameterized quantum circuits and introducing a loss function that is directly given by the error probability of the query algorithm. We apply our method to analyze various cases of quantum query complexity, including a new algorithm solving the Hamming modulo problem with $4$ queries for the case of $5$-bit modulo $5$, answering an open question raised in arXiv:2112.14682, and the result is further confirmed by a Semidefinite Programming (SDP) algorithm. Compared with the SDP algorithm, our method can be readily implemented on the near-term Noisy Intermediate-Scale Quantum (NISQ) devices and is more flexible to be adapted to other cases such as the fractional query models.


title: PRISM: Pre-trained Indeterminate Speaker Representation Model for Speaker Diarization and Speaker Verification

abstract: Speaker embedding has been a fundamental feature for speaker-related tasks such as verification, clustering, and diarization. Traditionally, speaker embeddings are represented as fixed vectors in high-dimensional space. This could lead to biased estimations, especially when handling shorter utterances. In this paper we propose to represent a speaker utterance as "floating" vector whose state is indeterminate without knowing the context. The state of a speaker representation is jointly determined by itself, other speech from the same speaker, as well as other speakers it is being compared to. The content of the speech also contributes to determining the final state of a speaker representation. We pre-train an indeterminate speaker representation model that estimates the state of an utterance based on the context. The pre-trained model can be fine-tuned for downstream tasks such as speaker verification, speaker clustering, and speaker diarization. Substantial improvements are observed across all downstream tasks.


title: Chiral anomaly in noncentrosymmetric systems induced by spin-orbit coupling

abstract: The chiral anomaly may be realized in condensed matter systems with pairs of Weyl points. Here we show that the chiral anomaly can be realized in diverse noncentrosymmetric systems even without Weyl point pairs when spin-orbit coupling induces nonzero Berry curvature flux through Fermi surfaces. This motivates the condensed matter chiral anomaly to be interpreted as a Fermi surface property rather than a Weyl point property. The spin-orbit-coupling-induced anomaly reproduces the well-known charge transport properties of the chiral anomaly such as the negative longitudinal magnetoresistance and the planar Hall effect in Weyl semimetals. Since it is of spin-orbit coupling origin, it also affects the spin transport and gives rise to anomaly-induced longitudinal spin currents and the magnetic spin Hall effect, which are absent in conventional Weyl semimetals.


title: Constant Power Root Market Makers

abstract: The paper introduces a new type of constant function market maker, the constant power root market marker. We show that the constant sum (used by mStable), constant product (used by Uniswap and Balancer), constant reserve (HOLD-ing), and constant harmonic mean trading functions are special cases of the constant power root trading function. We derive the value function for liquidity providers, marginal price function, price impact function, impermanent loss function, and greeks for constant power root market markers. In particular, we find that as the power q varies from the range of -infinity to 1, the power root function interpolates between the harmonic (q=-1), geometric (q=0), and arithmetic (q=1) means. This provides a toggle that trades off between price slippage for traders and impermanent loss for liquidity providers. As the power q approaches 1, slippage is low and impermanent loss is high. As q approaches to -1, price slippage increases and impermanent loss decreases.


title: Regression Test Suite for Payment Switch using jPOS

abstract: The Payment Switch is an integral component of all modern payment and banking systems in India. The NPCI currently provides a simulator to test payment switches. However, this system has a few disadvantages viz. it lacks an API, it requires manual generation of each test case and during high server loads, the testing process may take a long time. Currently there aren't any open source alternatives to the NPCI simulator. We propose a system which solves these shortcomings. Our proposed system simulates the NPCI system. It allows connection with switches that are to be tested and automates the process of generation and execution of test cases. It also has the capability to generate test reports and can be run locally.


title: Over seven decades of solar microwave data obtained with Toyokawa and Nobeyama Radio Polarimeters

abstract: Monitoring observations of solar microwave fluxes and their polarization began in Japan during the 1950s at Toyokawa and Mitaka. At present (April 2022), monitoring observations continue with the Nobeyama Radio Polarimeters (NoRP) at the Nobeyama campus of the National Astronomical Observatory of Japan (NAOJ). In this paper, we present a brief history of the solar microwave monitoring observations preceding those now carried out by NoRP. We then review the solar microwave obtained at Toyokawa and Nobeyama and their metadata. The datasets are publicly provided by the Solar Data Archive System (SDAS) operated by the Astronomy Data Center of the NAOJ, via http (https://solar.nro.nao.ac.jp/norp/) and FTP (ftp://solar-pub.nao.ac.jp/pub/nsro/norp/) protocols.


title: Reasoning about Procedures with Natural Language Processing: A Tutorial

abstract: This tutorial provides a comprehensive and in-depth view of the research on procedures, primarily in Natural Language Processing. A procedure is a sequence of steps intended to achieve some goal. Understanding procedures in natural language has a long history, with recent breakthroughs made possible by advances in technology. First, we discuss established approaches to collect procedures, by human annotation or extraction from web resources. Then, we examine different angles from which procedures can be reasoned about, as well as ways to represent them. Finally, we enumerate scenarios where procedural knowledge can be applied to the real world.


title: A Tutorial on Decoding Techniques of Sparse Code Multiple Access

abstract: Sparse Code Multiple Access (SCMA) is a disruptive code-domain non-orthogonal multiple access (NOMA) scheme to enable \color{black}future massive machine-type communication networks. As an evolved variant of code division multiple access (CDMA), multiple users in SCMA are separated by assigning distinctive sparse codebooks (CBs). Efficient multiuser detection is carried out at the receiver by employing the message passing algorithm (MPA) that exploits the sparsity of CBs to achieve error performance approaching to that of the maximum likelihood receiver. In spite of numerous research efforts in recent years, a comprehensive one-stop tutorial of SCMA covering the background, the basic principles, and new advances, is still missing, to the best of our knowledge. To fill this gap and to stimulate more forthcoming research, we provide a holistic introduction to the principles of SCMA encoding, CB design, and MPA based decoding in a self-contained manner. As an ambitious paper aiming to push the limits of SCMA, we present a survey of advanced decoding techniques with brief algorithmic descriptions as well as several promising directions.


title: Computability of digital cubical singular homology of $c_1$-digital images

abstract: Digital cubical singular homology $dH_q(X)$ for digital images $X$ was developed by the first and third authors, and digital analogues to various results in classical algebraic topology were proved. Another homology denoted $H_q^{c_1}(X)$ was developed by the second author for $c_1$-digital images, which is computationally much simpler than $dH_q(X)$. This paper shows an isomorphism between $dH_q(X)$ and $H_q^{c_1}(X)$ when $X$ is a $c_1$-digital image.


title: An $L^2$ Hartogs-type extension theorem for unbounded domains

abstract: In this note, we prove an $L^2$ Hartogs-type extension theorem for unbounded domains.


title: Directed Acyclic Transformer for Non-Autoregressive Machine Translation

abstract: Non-autoregressive Transformers (NATs) significantly reduce the decoding latency by generating all tokens in parallel. However, such independent predictions prevent NATs from capturing the dependencies between the tokens for generating multiple possible translations. In this paper, we propose Directed Acyclic Transfomer (DA-Transformer), which represents the hidden states in a Directed Acyclic Graph (DAG), where each path of the DAG corresponds to a specific translation. The whole DAG simultaneously captures multiple translations and facilitates fast predictions in a non-autoregressive fashion. Experiments on the raw training data of WMT benchmark show that DA-Transformer substantially outperforms previous NATs by about 3 BLEU on average, which is the first NAT model that achieves competitive results with autoregressive Transformers without relying on knowledge distillation.


title: Diffusion Models for Adversarial Purification

abstract: Adversarial purification refers to a class of defense methods that remove adversarial perturbations using a generative model. These methods do not make assumptions on the form of attack and the classification model, and thus can defend pre-existing classifiers against unseen threats. However, their performance currently falls behind adversarial training methods. In this work, we propose DiffPure that uses diffusion models for adversarial purification: Given an adversarial example, we first diffuse it with a small amount of noise following a forward diffusion process, and then recover the clean image through a reverse generative process. To evaluate our method against strong adaptive attacks in an efficient and scalable way, we propose to use the adjoint method to compute full gradients of the reverse generative process. Extensive experiments on three image datasets including CIFAR-10, ImageNet and CelebA-HQ with three classifier architectures including ResNet, WideResNet and ViT demonstrate that our method achieves the state-of-the-art results, outperforming current adversarial training and adversarial purification methods, often by a large margin. Project page: https://diffpure.github.io.


title: Bloch-Ogus theorem,cyclic homology and deformation of Chow groups

abstract: Using Bloch-Ogus theorem and Chern character from K-theory to cyclic homology, we answer a question of Green and Griffiths on extending Bloch formula. Moreover, we construct a map from local Hilbert functor to local cohomology. With suitable assumptions, we use this map to answer a question of Bloch on constructing a natural transformation from local Hilbert functor to cohomological Chow groups.


title: Finitely additive functions in measure theory and applications

abstract: We consider, and make precise, a certain extension of the Radon-Nikodym derivative operator, to functions which are additive, but not necessarily sigma-additive, on a subset of a given sigma-algebra. We give applications to probability theory; in particular, to the study of $\mu$-Brownian motion, to stochastic calculus via generalized It\^o-integrals, and their adjoints (in the form of generalized stochastic derivatives), to systems of transition probability operators indexed by families of measures $\mu$, and to adjoints of composition operators.


title: Gradient Descent Optimizes Infinite-Depth ReLU Implicit Networks with Linear Widths

abstract: Implicit deep learning has recently become popular in the machine learning community since these implicit models can achieve competitive performance with state-of-the-art deep networks while using significantly less memory and computational resources. However, our theoretical understanding of when and how first-order methods such as gradient descent (GD) converge on \textit{nonlinear} implicit networks is limited. Although this type of problem has been studied in standard feed-forward networks, the case of implicit models is still intriguing because implicit networks have \textit{infinitely} many layers. The corresponding equilibrium equation probably admits no or multiple solutions during training. This paper studies the convergence of both gradient flow (GF) and gradient descent for nonlinear ReLU activated implicit networks. To deal with the well-posedness problem, we introduce a fixed scalar to scale the weight matrix of the implicit layer and show that there exists a small enough scaling constant, keeping the equilibrium equation well-posed throughout training. As a result, we prove that both GF and GD converge to a global minimum at a linear rate if the width $m$ of the implicit network is \textit{linear} in the sample size $N$, i.e., $m=\Omega(N)$.


title: Device-Independent Quantum Key Distribution Using Random Quantum States

abstract: We Haar uniformly generate random states of various ranks and study their performance in an entanglement-based quantum key distribution (QKD) task. In particular, we analyze the efficacy of random two-qubit states in realizing device-independent (DI) QKD. We first find the normalized distribution of entanglement and Bell-nonlocality which are the key resource for DI-QKD for random states ranging from rank-1 to rank-4. The number of entangled as well as Bell-nonlocal states decreases as rank increases. We observe that decrease of the secure key rate is more pronounced in comparison to that of the quantum resource with increase in rank. We find that the pure state and Werner state provide the upper and lower bound, respectively, on the minimum secure key rate of all mixed two-qubit states possessing the same magnitude of entanglement under general as well as optimal collective attack strategies.


title: Multiple superconducting phases in heavy-fermion metals

abstract: Symmetry breaking beyond a global U(1) phase is the key signature of unconventional superconductors. As prototypical strongly correlated materials, heavy-fermion metals provide ideal platforms for realizing unconventional superconductivity. In this article, we review heavy-fermion superconductivity, with a focus on those materials with multiple superconducting phases. In this context, we highlight the role of orbital-selective (matrix) pairing functions, which are defined as matrices in the space of effective orbital degrees of freedom such as electronic orbitals and sublattices as well as equivalent descriptions in terms of intra- and inter-band pairing components in the band basis. The role of quantum criticality and the associated strange-metal physics in the development of unconventional superconductivity is emphasized throughout. We discuss in some detail the recent experimental observations and theoretical perspectives in the illustrative cases of UTe2, CeRh2As2, and CeCu2Si2, where applied magnetic fields or pressure induce a variety of superconducting phases. We close by providing a brief overview of overarching issues and implications for possible future directions.


title: Robust Representation via Dynamic Feature Aggregation

abstract: Deep convolutional neural network (CNN) based models are vulnerable to the adversarial attacks. One of the possible reasons is that the embedding space of CNN based model is sparse, resulting in a large space for the generation of adversarial samples. In this study, we propose a method, denoted as Dynamic Feature Aggregation, to compress the embedding space with a novel regularization. Particularly, the convex combination between two samples are regarded as the pivot for aggregation. In the embedding space, the selected samples are guided to be similar to the representation of the pivot. On the other side, to mitigate the trivial solution of such regularization, the last fully-connected layer of the model is replaced by an orthogonal classifier, in which the embedding codes for different classes are processed orthogonally and separately. With the regularization and orthogonal classifier, a more compact embedding space can be obtained, which accordingly improves the model robustness against adversarial attacks. An averaging accuracy of 56.91% is achieved by our method on CIFAR-10 against various attack methods, which significantly surpasses a solid baseline (Mixup) by a margin of 37.31%. More surprisingly, empirical results show that, the proposed method can also achieve the state-of-the-art performance for out-of-distribution (OOD) detection, due to the learned compact feature space. An F1 score of 0.937 is achieved by the proposed method, when adopting CIFAR-10 as in-distribution (ID) dataset and LSUN as OOD dataset. Code is available at https://github.com/HaozheLiu-ST/DynamicFeatureAggregation.


title: $q$-Munchausen Reinforcement Learning

abstract: The recently successful Munchausen Reinforcement Learning (M-RL) features implicit Kullback-Leibler (KL) regularization by augmenting the reward function with logarithm of the current stochastic policy. Though significant improvement has been shown with the Boltzmann softmax policy, when the Tsallis sparsemax policy is considered, the augmentation leads to a flat learning curve for almost every problem considered. We show that it is due to the mismatch between the conventional logarithm and the non-logarithmic (generalized) nature of Tsallis entropy. Drawing inspiration from the Tsallis statistics literature, we propose to correct the mismatch of M-RL with the help of $q$-logarithm/exponential functions. The proposed formulation leads to implicit Tsallis KL regularization under the maximum Tsallis entropy framework. We show such formulation of M-RL again achieves superior performance on benchmark problems and sheds light on more general M-RL with various entropic indices $q$.


title: Harnessing the center-of-mass excitations in quantum metrology

abstract: In quantum metrology, one typically creates correlations among atoms or photons to enhance measurement precision. Here, we show how one can use other excitations to perform quantum-enhanced measurements on the example of center-of-mass excitations of a spin-orbit coupled Bose-Einstein condensate and a Coulomb crystal. We also present a method to simulate a homodyne detection of center-of-mass excitations in these systems, which is required for optimal estimation.


title: Mechanism of Roll-Streak Structure Formation and Maintenance in Turbulent Shear Flow

abstract: In wall-bounded shear flow the primary coherent structure is the streamwise roll and streak (R-S). Absent of an associated instability the R-S has been ascribed to non-normality mediated interaction between the mean flow and perturbations. This interaction may occur either directly due to excitation of a transiently growing perturbation or indirectly due to destabilization of the R-S by turbulent Reynolds stresses. A fundamental distinction between the direct and the indirect mechanisms, which is central to understanding the physics of turbulence, is that in the direct mechanism the R-S is itself the growing structure while in the indirect mechanism the R-S emerges as a self-organized structure. In the emergent R-S theory the fundamental mechanism is organization by the streak of Reynolds stresses configured to support its associated roll by the lift-up process. This requires that a streak organizes turbulent perturbations such as to produce Reynolds stresses configured to reinforce the streak. In this paper we provide detailed analysis explaining physically why this positive feedback occurs and is a universal property of turbulence in shear flow. DNS data from the same turbulent flow as that used in the theoretical study (Poisseullle flow at R=1650) is also analyzed verifying that this mechanism operates in DNS.


title: Omniscient foliations and the geometry of cosmological spacetimes

abstract: We identify certain general geometric conditions on a foliation of a spacetime (M,g) by timelike curves that will impede the existence of null geodesic lines, especially if (M,g) possesses a compact Cauchy hypersurface. The absence of such lines, in turn, yields well-known restrictions on the geometry of cosmological spacetimes, in the context of Bartnik's splitting conjecture. Since the (non)existence of null lines is actually a conformally invariant property, such conditions only need to apply for some suitable conformal rescaling of g.


title: Adaptive Convolutional Dictionary Network for CT Metal Artifact Reduction

abstract: Inspired by the great success of deep neural networks, learning-based methods have gained promising performances for metal artifact reduction (MAR) in computed tomography (CT) images. However, most of the existing approaches put less emphasis on modelling and embedding the intrinsic prior knowledge underlying this specific MAR task into their network designs. Against this issue, we propose an adaptive convolutional dictionary network (ACDNet), which leverages both model-based and learning-based methods. Specifically, we explore the prior structures of metal artifacts, e.g., non-local repetitive streaking patterns, and encode them as an explicit weighted convolutional dictionary model. Then, a simple-yet-effective algorithm is carefully designed to solve the model. By unfolding every iterative substep of the proposed algorithm into a network module, we explicitly embed the prior structure into a deep network, \emph{i.e.,} a clear interpretability for the MAR task. Furthermore, our ACDNet can automatically learn the prior for artifact-free CT images via training data and adaptively adjust the representation kernels for each input CT image based on its content. Hence, our method inherits the clear interpretability of model-based methods and maintains the powerful representation ability of learning-based methods. Comprehensive experiments executed on synthetic and clinical datasets show the superiority of our ACDNet in terms of effectiveness and model generalization. {\color{blue}{{\textit{Code is available at {\url{https://github.com/hongwang01/ACDNet}}.}}}}


title: Acoustic wave tunneling across a vacuum gap between two piezoelectric crystals with arbitrary symmetry and orientation

abstract: It is not widely appreciated that an acoustic wave can "jump" or "tunnel" across a vacuum gap between two piezoelectric solids, nor has the general case been formulated or studied in detail. Here, we remedy that situation, by presenting a general formalism and approach to study such an acoustic tunneling effect between two arbitrarily oriented anisotropic piezoelectric semi-infinite crystals. The approach allows one to solve for the reflection and transmission coefficients of all the partial wave modes, and is amenable to practical numerical or even analytical implementation, as we demonstrate by a few chosen examples. The formalism can be used in the future for quantitative studies of the tunneling effect in connection not only with the manipulation of acoustic waves, but with many other areas of physics of vibrations such as heat transport, for example.


title: Towards Lossless ANN-SNN Conversion under Ultra-Low Latency with Dual-Phase Optimization

abstract: Spiking neural networks (SNNs) operating with asynchronous discrete events show higher energy efficiency with sparse computation. A popular approach for implementing deep SNNs is ANN-SNN conversion combining both efficient training of ANNs and efficient inference of SNNs. However, the accuracy loss is usually non-negligible, especially under a few time steps, which restricts the applications of SNN on latency-sensitive edge devices greatly. In this paper, we first identify that such performance degradation stems from the misrepresentation of the negative or overflow residual membrane potential in SNNs. Inspired by this, we decompose the conversion error into three parts: quantization error, clipping error, and residual membrane potential representation error. With such insights, we propose a two-stage conversion algorithm to minimize those errors respectively. Besides, We show each stage achieves significant performance gains in a complementary manner. By evaluating on challenging datasets including CIFAR-10, CIFAR- 100 and ImageNet, the proposed method demonstrates the state-of-the-art performance in terms of accuracy, latency and energy preservation. Furthermore, our method is evaluated using a more challenging object detection task, revealing notable gains in regression performance under ultra-low latency when compared to existing spike-based detection algorithms. Codes are available at https://github.com/Windere/snn-cvt-dual-phase.


title: Is there a radio excess from the decoupling of pre-recombination bremsstrahlung?

abstract: Recently it has been suggested that thermal bremsstrahlung emission, when it decouples prior to recombination, creates an excess over the Planck cosmic microwave background spectrum at sub-GHz frequencies. Remarkable by itself, this would also explain a long-standing unexplained deficit in the predictions of the extragalactic radio background. In this brief note we reiterate that no such non-thermal component can arise by itself when matter and radiation remain kinetically coupled.


title: MixFlows: principled variational inference via mixed flows

abstract: This work presents mixed variational flows (MixFlows), a new variational family that consists of a mixture of repeated applications of a map to an initial reference distribution. First, we provide efficient algorithms for i.i.d. sampling, density evaluation, and unbiased ELBO estimation. We then show that MixFlows have MCMC-like convergence guarantees when the flow map is ergodic and measure-preserving, and provide bounds on the accumulation of error for practical implementations where the flow map is approximated. Finally, we develop an implementation of MixFlows based on uncorrected discretized Hamiltonian dynamics combined with deterministic momentum refreshment. Simulated and real data experiments show that MixFlows can provide more reliable posterior approximations than several black-box normalizing flows, as well as samples of comparable quality to those obtained from state-of-the-art MCMC methods.


title: Frequency selective extrapolation with residual filtering for image error concealment

abstract: The purpose of signal extrapolation is to estimate unknown signal parts from known samples. This task is especially important for error concealment in image and video communication. For obtaining a high quality reconstruction, assumptions have to be made about the underlying signal in order to solve this underdetermined problem. Among existent reconstruction algorithms, frequency selective extrapolation (FSE) achieves high performance by assuming that image signals can be sparsely represented in the frequency domain. However, FSE does not take into account the low-pass behaviour of natural images. In this paper, we propose a modified FSE that takes this prior knowledge into account for the modelling, yielding significant PSNR gains.


title: Manifold Characteristics That Predict Downstream Task Performance

abstract: Pretraining methods are typically compared by evaluating the accuracy of linear classifiers, transfer learning performance, or visually inspecting the representation manifold's (RM) lower-dimensional projections. We show that the differences between methods can be understood more clearly by investigating the RM directly, which allows for a more detailed comparison. To this end, we propose a framework and new metric to measure and compare different RMs. We also investigate and report on the RM characteristics for various pretraining methods. These characteristics are measured by applying sequentially larger local alterations to the input data, using white noise injections and Projected Gradient Descent (PGD) adversarial attacks, and then tracking each datapoint. We calculate the total distance moved for each datapoint and the relative change in distance between successive alterations. We show that self-supervised methods learn an RM where alterations lead to large but constant size changes, indicating a smoother RM than fully supervised methods. We then combine these measurements into one metric, the Representation Manifold Quality Metric (RMQM), where larger values indicate larger and less variable step sizes, and show that RMQM correlates positively with performance on downstream tasks.


title: Estimating Patch Propagation Times across (Blockchain) Forks

abstract: The wide success of Bitcoin has led to a huge surge of alternative cryptocurrencies (altcoins). Most altcoins essentially fork Bitcoin's code with minor modifications, such as the number of coins to be minted, the block size, and the block generation time. As such, they are often deemed identical to Bitcoin in terms of security, robustness, and maturity. In this paper, we show that this common conception is misleading. By mining data retrieved from the GitHub repositories of various altcoin projects, we estimate the time it took to propagate relevant patches from Bitcoin to the altcoins. We find that, while the Bitcoin development community is quite active in fixing security flaws of Bitcoin's code base, forked cryptocurrencies are not as rigorous in patching the same vulnerabilities (inherited from Bitcoin). In some cases, we observe that even critical vulnerabilities, discovered and fixed within the Bitcoin community, have been addressed by the altcoins tens of months after disclosure. Besides raising awareness of this problem, our work aims to motivate the need for a proper responsible disclosure of vulnerabilities to all forked chains prior to reporting them publicly.


title: Topologically Persistent Features-based Object Recognition in Cluttered Indoor Environments

abstract: Recognition of occluded objects in unseen indoor environments is a challenging problem for mobile robots. This work proposes a new slicing-based topological descriptor that captures the 3D shape of object point clouds to address this challenge. It yields similarities between the descriptors of the occluded and the corresponding unoccluded objects, enabling object unity-based recognition using a library of trained models. The descriptor is obtained by partitioning an object's point cloud into multiple 2D slices and constructing filtrations (nested sequences of simplicial complexes) on the slices to mimic further slicing of the slices, thereby capturing detailed shapes through persistent homology-generated features. We use nine different sequences of cluttered scenes from a benchmark dataset for performance evaluation. Our method outperforms two state-of-the-art deep learning-based point cloud classification methods, namely, DGCNN and SimpleView.


title: Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker

abstract: FreeRTOS is a real-time operating system with configurable scheduling policies. Its portability and configurability make FreeRTOS one of the most popular real-time operating systems for embedded devices. We formally analyze the FreeRTOS scheduler on ARM Cortex-M4 processor in this work. Specifically, we build a formal model for the FreeRTOS ARM Cortex-M4 port and apply model checking to find errors in our models for FreeRTOS example applications. Intriguingly, several errors are found in our application models under different scheduling policies. In order to confirm our findings, we modify application programs distributed by FreeRTOS and reproduce assertion failures on the STM32F429I-DISC1 board.


title: Bridging Sim2Real Gap Using Image Gradients for the Task of End-to-End Autonomous Driving

abstract: We present the first prize solution to NeurIPS 2021 - AWS Deepracer Challenge. In this competition, the task was to train a reinforcement learning agent (i.e. an autonomous car), that learns to drive by interacting with its environment, a simulated track, by taking an action in a given state to maximize the expected reward. This model was then tested on a real-world track with a miniature AWS Deepracer car. Our goal is to train a model that can complete a lap as fast as possible without going off the track. The Deepracer challenge is a part of a series of embodied intelligence competitions in the field of autonomous vehicles, called The AI Driving Olympics (AI-DO). The overall objective of the AI-DO is to provide accessible mechanisms for benchmarking progress in autonomy applied to the task of autonomous driving. The tricky section of this challenge was the sim2real transfer of the learned skills. To reduce the domain gap in the observation space we did a canny edge detection in addition to cropping out of the unnecessary background information. We modeled the problem as a behavioral cloning task and used MLP-MIXER to optimize for runtime. We made sure our model was capable of handling control noise by careful filtration of the training data and that gave us a robust model capable of completing the track even when 50% of the commands were randomly changed. The overall runtime of the model was only 2-3ms on a modern CPU.


title: Learning-Based sensitivity analysis and feedback design for drug delivery of mixed therapy of cancer in the presence of high model uncertainties

abstract: In this paper, a methodology is proposed that enables to analyze the sensitivity of the outcome of a therapy to unavoidable high dispersion of the patient specific parameters on one hand and to the choice of the parameters that define the drug delivery feedback strategy on the other hand. More precisely, a method is given that enables to extract and rank the most influent parameters that determine the probability of success/failure of a given feedback therapy for a given set of initial conditions over a cloud of realizations of uncertainties. Moreover predictors of the expectations of the amounts of drugs being used can also be derived. This enables to design an efficient stochastic optimization framework that guarantees safe contraction of the tumor while minimizing a weighted sum of the quantities of the different drugs being used. The framework is illustrated and validated using the example of a mixed therapy of cancer involving three combined drugs namely: a chemotherapy drug, an immunology vaccine and an immunotherapy drug. Finally, in this specific case, it is shown that dash-boards can be built in the 2D-space of the most influent state components that summarize the outcomes' probabilities and the associated drug usage as iso-values curves in the reduced state space.


title: Three-loop topology analysis of neutral B-meson mixing with tapir

abstract: Modern advances in particle physics depend strongly on the usage of reliable computer programs. In this context two issues become important: The usage of powerful algorithms to handle the amount of evaluated data properly, and a software architecture capable to overcome the problems of maintainability and extendability. We present our approach to such a computer program, called tapir. This tool assists computations in perturbative quantum field theory in many ways. Such calculations often involve the evaluation of a large amount of Feynman diagrams with multiple loops. tapir helps in reducing the number of diagrams, and the resulting integrals thereof, by identifying and minimizing their topological structure. We will focus on a three-loop calculation which is needed for the next-to-next-to leading order predictions of neutral $B$-meson systems. We show how tapir can be utilized for this kind of calculation.


title: A priori estimates and Liouville type results for quasilinear elliptic equations involving gradient terms

abstract: In this article we study local and global properties of positive solutions of $-\Delta_mu=|u|^{p-1}u+M|\nabla u|^q$ in a domain $\Omega$ of $\mathbb R^N$, with $m>1$, $p,q>0$ and $M\in\mathbb R$. Following some ideas used in \cite{BV,Vron1}, and by using a direct Bernstein method combined with Keller-Osserman's estimate, we obtain several a priori estimates as well as Liouville type theorems. Moreover, we prove a local Harnack inequality with the help of Serrin's classical results.


title: Aspects of Two-photon Absorption of Squeezed Light: the CW limit

abstract: We present a theoretical analysis of two-photon absorption of classical and squeezed light valid when one-photon absorption to an intermediate state is either resonant or far-detuned from resonance, and in both the low and high intensity regimes. In this paper we concentrate on continuous-wave excitation, although the approach we develop is more general. We calculate the energy removed from an incident field for typical experimental parameters and consider the limiting cases when the photon pairs are narrowband or broadband compared to the molecular linewidths. We find an enhancement of the two-photon absorption due to resonant contributions from the large squeezed light bandwidth and due to photon bunching in the low intensity regime. However, in both cases, for the parameters we choose, the one-photon absorption is the dominant process in the region of parameter space where a large enhancement of the two-photon absorption is possible.


title: Influencing a Polarized and Connected Legislature

abstract: When can an interest group exploit polarization between political parties to its advantage? Building upon Battaglini and Patacchini (2018), we study a model where an interest group credibly promises payments to legislators conditional on voting for its preferred policy. A legislator can be directly susceptible to other legislators and value voting like them. The overall pattern of inter-legislator susceptibility determines the relative influence of individual legislators, and therefore the relative influence of the parties. We show that high levels of ideological or affective polarization are more likely to benefit the interest group when the party ideologically aligned with the interest group is relatively more influential. However, ideological and affective polarization operate in different ways. The influence of legislators is independent of ideological polarization. In contrast, affective polarization effectively creates negative links between legislators across parties, and thus modifies the relative influence of individual legislators and parties.


title: Trajectory phase transitions in non-interacting systems: all-to-all dynamics and the random energy model

abstract: We study the fluctuations of time-additive random observables in the stochastic dynamics of a system of $N$ non-interacting Ising spins. We mainly consider the case of all-to-all dynamics where transitions are possible between any two spin configurations with uniform rates. We show that the cumulant generating function of the time-integral of a normally distributed quenched random function of configurations, i.e., the energy function of the random energy model (REM), has a phase transition in the large $N$ limit for trajectories of any time extent. We prove this by determining the exact limit of the scaled cumulant generating function. This is accomplished by connecting the dynamical problem to a spectral analysis of the all-to-all quantum REM. We also discuss finite $N$ corrections as observed in numerical simulations.


title: Robust Testing in High-Dimensional Sparse Models

abstract: We consider the problem of robustly testing the norm of a high-dimensional sparse signal vector under two different observation models. In the first model, we are given $n$ i.i.d. samples from the distribution $\mathcal{N}\left(\theta,I_d\right)$ (with unknown $\theta$), of which a small fraction has been arbitrarily corrupted. Under the promise that $\|\theta\|_0\le s$, we want to correctly distinguish whether $\|\theta\|_2=0$ or $\|\theta\|_2>\gamma$, for some input parameter $\gamma>0$. We show that any algorithm for this task requires $n=\Omega\left(s\log\frac{ed}{s}\right)$ samples, which is tight up to logarithmic factors. We also extend our results to other common notions of sparsity, namely, $\|\theta\|_q\le s$ for any $0 < q < 2$. In the second observation model that we consider, the data is generated according to a sparse linear regression model, where the covariates are i.i.d. Gaussian and the regression coefficient (signal) is known to be $s$-sparse. Here too we assume that an $\epsilon$-fraction of the data is arbitrarily corrupted. We show that any algorithm that reliably tests the norm of the regression coefficient requires at least $n=\Omega\left(\min(s\log d,{1}/{\gamma^4})\right)$ samples. Our results show that the complexity of testing in these two settings significantly increases under robustness constraints. This is in line with the recent observations made in robust mean testing and robust covariance testing.

categories: cs.IT cs.LG math.IT math.ST stat.ML stat.TH


title: Dynamic generation of nonequilibrium superconducting states in Kitaev chain

abstract: Non-equilibrium state can exhibit the same macroscopic properties, such as conductivity or superconductivity, as a static state when they share the identical average of an observable over a period of time. We investigate the quench dynamics of a Kitaev chain by introducing two kinds of order parameters which relate to two channels of pairing, local pair in real space and BCS-like pair in momentum space. Based on exact solutions, we find that two order parameters are identical for the ground state, indicating the balance between two kinds of pairing channels, and can identify the quantum phase diagram. However, for a non-equilibrium state obtained by the time evolution from initially prepared vacuum state, the two are different but both can still clearly identify the phase diagram. In the topologically non-trivial region, the non-equilibrium states prefer the BCS-like pairing state. Our finding provides an alternative way to dynamically generate a superconducting state from a trivial empty state and sheds light on the mechanism of pairing.


title: Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone

abstract: Graded Hecke algebras can be constructed geometrically, with constructible sheaves and equivariant cohomology. The input consists of a complex reductive group G (possibly disconnected) and a cuspidal local system on a nilpotent orbit for a Levi subgroup of G. We prove that every such "geometric" graded Hecke algebra is naturally isomorphic to the endomorphism algebra of a certain G x C*-equivariant semisimple complex of sheaves on the nilpotent cone $g_N$. From there we provide an algebraic description of the G x C*-equivariant bounded derived category of constructible sheaves on $g_N$. Namely, it is equivalent with the bounded derived category of finitely generated differential graded modules of a suitable direct sum of graded Hecke algebras. This can be regarded as a categorification of graded Hecke algebras.


title: Evolution of Lifshitz metric anisotropies in Einstein-Proca theory under the Ricci-DeTurck flow

abstract: By starting from a Perelman entropy functional and considering the Ricci-DeTurck flow equations we analyze the behaviour of Einstein-Hilbert and Einstein-Proca theories with Lifshitz geometry as functions of a flow parameter. In the former case, we found one consistent fixed point that represents flat space-time as the flow parameter tends to infinity. Massive vector fields in the latter theory enrich the system under study and have the same fixed point achieved at the same rate as in the former case. The geometric flow is parametrized by the metric coefficients and represents a change in anisotropy of the geometry towards an isotropic flat space-time as the flow parameter evolves. Indeed, the flow of the Proca fields depends on certain coefficients that vanish when the flow parameter increases, rendering these fields constant. We have been able to write down the evolving Lifshitz metric solution with positive, but otherwise arbitrary, critical exponents relevant to geometries with spatially anisotropic holographic duals. We show that both the scalar curvature and matter contributions to the Ricci-DeTurck flow vanish under the flow at a fixed point consistent with flat space-time geometry. Thus, the behaviour of the scalar curvature always increases, homogenizing the geometry along the flow. Moreover, the theory under study keeps positive-definite but decreasing the entropy functional along the Ricci-DeTurck flow.


title: Moduli spaces of $\mathbb{Z}/k\mathbb{Z}$-constellations over $\mathbb{A}^2$

abstract: Let $\rho:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $\Theta^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subset\Theta^{\text{gen}}$ and prove that there are $k!$ of them. Moreover, we introduce the notion of simple chamber and we show that, in order to know all toric $G$-constellations, it is enough to build all simple chambers. We also prove that there are $k\cdot 2^{k-2} $ simple chambers. Finally, we provide an explicit formula for the tautological bundles $\mathscr{R}_C$ over the moduli spaces $\mathscr{M} _C$ for all chambers $C\subset \Theta^{\text{gen}}$ which only depends upon the chamber stair which is a combinatorial object attached to the chamber $C$.


title: Multi-scale Attention Flow for Probabilistic Time Series Forecasting

abstract: The probability prediction of multivariate time series is a notoriously challenging but practical task. On the one hand, the challenge is how to effectively capture the cross-series correlations between interacting time series, to achieve accurate distribution modeling. On the other hand, we should consider how to capture the contextual information within time series more accurately to model multivariate temporal dynamics of time series. In this work, we proposed a novel non-autoregressive deep learning model, called Multi-scale Attention Normalizing Flow(MANF), where we integrate multi-scale attention and relative position information and the multivariate data distribution is represented by the conditioned normalizing flow. Additionally, compared with autoregressive modeling methods, our model avoids the influence of cumulative error and does not increase the time complexity. Extensive experiments demonstrate that our model achieves state-of-the-art performance on many popular multivariate datasets.


title: Double-Sided Information Aided Temporal-Correlated Massive Access

abstract: This letter considers temporal-correlated massive access, where each device, once activated, is likely to transmit continuously over several consecutive frames. Motivated by that the device activity at each frame is correlated to not only its previous frame but also its next frame, we propose a double-sided information (DSI) aided joint activity detection and channel estimation algorithm based on the approximate message passing (AMP) framework. The DSI is extracted from the estimation results in a sliding window that contains the target detection frame and its previous and next frames. The proposed algorithm demonstrates superior performance over the state-of-the-art methods.