title: Perspective: strain and strain gradient engineering in membranes of quantum materials

abstract: Strain is powerful for discovery and manipulation of new phases of matter; however, the elastic strains accessible to epitaxial films and bulk crystals are typically limited to small ($<2\%$), uniform, and often discrete values. This Perspective highlights new directions for strain and strain gradient engineering in free-standing single crystalline membranes of quantum materials. Membranes enable large ($\sim 10\%$), continuously tunable strains and strain gradients via bending and rippling. Moreover, strain gradients break inversion symmetry to activate polar distortions, ferroelectricity, chiral spin textures, novel superconductivity, and topological states. Recent advances in membrane synthesis by remote epitaxy and sacrificial etch layers enable extreme strains in new materials, including transition metal oxides and Heusler compounds, compared to natively van der Waals (vdW) materials like graphene. We highlight new opportunities and challenges for strain and strain gradient engineering in membranes of non-vdW materials.


title: Topological proofs of categorical coherence

abstract: We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.


title: Stress-Induced Transformations of Polarization Switching in CuInP$_2$S$_6$ Nanoparticles

abstract: Using the Landau-Ginzburg-Devonshire approach, we study stress-induced transformations of polarization switching in ferrielectric CuInP2S6 nanoparticles for three different shapes: a disk, a sphere, and a needle. Semiconducting properties of a nanoparticle are modeled by a surface charge layer, whose effective screening length can be rather small due to the field-effect. We reveal a very strong and unusual influence of hydrostatic pressure on the appearance of polarization switching in CuInP2S6 nanoparticles, hysteresis loops shape, magnitude of the remanent polarization, and coercive fields, and explain the effects by the anomalous temperature dependence and "inverted" signs of CuInP2S6 linear and nonlinear electrostriction coupling coefficients. In particular, by varying the sign of the applied pressure (from tension to compression) and its magnitude (from zero to several hundreds of MPa), quasi-static hysteresis-less paraelectric curves can transform into double, triple, pinched, or single hysteresis loops. Due to the sufficiently wide temperature and pressure ranges of double, triple, and pinched hysteresis loop stability (at least in comparison with many other ferroelectrics), CuInP2S6 nanodisks can be of particular interest for applications in energy storage (in the region of double loops), CuInP2S6 nanospheres maybe suitable for dynamic random access multibit memory, and CuInP2S6 nanoneedles are promising for non-volatile multibit memory cells (in the regions of triple and pinched loops). The stress control of the polarization switching scenario allows the creation of advanced piezo-sensors based on CuInP2S6 nanocomposites.


title: A Provably Improved Algorithm for Crowdsourcing with Hard and Easy Tasks

abstract: Crowdsourcing is a popular method used to estimate ground-truth labels by collecting noisy labels from workers. In this work, we are motivated by crowdsourcing applications where each worker can exhibit two levels of accuracy depending on a task's type. Applying algorithms designed for the traditional Dawid-Skene model to such a scenario results in performance which is limited by the hard tasks. Therefore, we first extend the model to allow worker accuracy to vary depending on a task's unknown type. Then we propose a spectral method to partition tasks by type. After separating tasks by type, any Dawid-Skene algorithm (i.e., any algorithm designed for the Dawid-Skene model) can be applied independently to each type to infer the truth values. We theoretically prove that when crowdsourced data contain tasks with varying levels of difficulty, our algorithm infers the true labels with higher accuracy than any Dawid-Skene algorithm. Experiments show that our method is effective in practical applications.


title: First Evidence of Axial Shape Asymmetry and Configuration Coexistence in $^{74}$Zn: Suggestion for a Northern Extension of the $N=40$ Island of Inversion

abstract: The excited states of $N=44$ $^{74}$Zn were investigated via $\gamma$-ray spectroscopy following $^{74}$Cu $\beta$ decay. By exploiting $\gamma$-$\gamma$ angular correlation analysis, the $2_2^+$, $3_1^+$, $0_2^+$ and $2_3^+$ states in $^{74}$Zn were firmly established. The $\gamma$-ray branching and $E2/M1$ mixing ratios for transitions de-exciting the $2_2^+$, $3_1^+$ and $2_3^+$ states were measured, allowing for the extraction of relative $B(E2)$ values. In particular, the $2_3^+ \to 0_2^+$ and $2_3^+ \to 4_1^+$ transitions were observed for the first time. The results show excellent agreement with new microscopic large-scale shell-model calculations, and are discussed in terms of underlying shapes, as well as the role of neutron excitations across the $N=40$ gap. Enhanced axial shape asymmetry (triaxiality) is suggested to characterize $^{74}$Zn in its ground state. Furthermore, an excited $K=0$ band with a significantly larger softness in its shape is identified. A shore of the $N=40$ ``island of inversion'' appears to manifest above $Z=26$, previously thought as its northern limit in the chart of the nuclides.


title: Inplace Access to the Surface Code Y Basis

abstract: In this paper, I cut the cost of Y basis measurement and initialization in the surface code by nearly an order of magnitude. Fusing twist defects diagonally across the surface code patch reaches the Y basis in $\lfloor d/2 \rfloor + 2$ rounds, without leaving the bounding box of the patch and without reducing the code distance. I use Monte Carlo sampling to benchmark the performance of the construction under circuit noise, and to analyze the distribution of logical errors. Cheap inplace Y basis measurement reduces the cost of S gates and magic state factories, and unlocks Pauli measurement tomography of surface code qubits on space-limited hardware.


title: Convolutional unitary or orthogonal recurrent neural networks

abstract: Recurrent neural networks are extremely powerful yet hard to train. One of their issues is the vanishing gradient problem, whereby propagation of training signals may be exponentially attenuated, freezing training. Use of orthogonal or unitary matrices, whose powers neither explode nor decay, has been proposed to mitigate this issue, but their computational expense has hindered their use. Here we show that in the specific case of convolutional RNNs, we can define a convolutional exponential and that this operation transforms antisymmetric or anti-Hermitian convolution kernels into orthogonal or unitary convolution kernels. We explicitly derive FFT-based algorithms to compute the kernels and their derivatives. The computational complexity of parametrizing this subspace of orthogonal transformations is thus the same as the networks' iteration.


title: The 2022 high-energy outburst and radio disappearing act of the magnetar 1E 1547.0-5408

abstract: We report the radio and high-energy properties of a new outburst from the radio-loud magnetar 1E 1547.0$-$5408. Following the detection of a short burst from the source with Swift-BAT on 2022 April 7, observations by NICER detected an increased flux peaking at $(6.0 \pm 0.4) \times 10^{-11}$ erg s$^{-1}$ cm$^{-2}$ in the soft X-ray band, falling to the baseline level of $1.7\times10^{-11}$ erg s$^{-1}$ cm$^{-2}$ over a 17-day period. Joint spectroscopic measurements by NICER and NuSTAR indicated no change in the hard non-thermal tail despite the prominent increase in soft X-rays. Observations at radio wavelengths with Murriyang, the 64-m Parkes radio telescope, revealed that the persistent radio emission from the magnetar disappeared at least 22 days prior to the initial Swift-BAT detection and was re-detected two weeks later. Such behavior is unprecedented in a radio-loud magnetar, and may point to an unnoticed slow rise in the high-energy activity prior to the detected short-bursts. Finally, our combined radio and X-ray timing revealed the outburst coincided with a spin-up glitch, where the spin-frequency and spin-down rate increased by $0.2 \pm 0.1$ $\mu$Hz and $(-2.4 \pm 0.1) \times 10^{-12}$ s$^{-2}$ respectively. A linear increase in spin-down rate of $(-2.0 \pm 0.1) \times 10^{-19}$ s$^{-3}$ was also observed over 147 d of post-outburst timing. Our results suggest that the outburst may have been associated with a reconfiguration of the quasi-polar field lines, likely signalling a changing twist, accompanied by spatially broader heating of the surface and a brief quenching of the radio signal, yet without any measurable impact on the hard X-ray properties.


title: Direct evidence of terahertz emission arising from anomalous Hall effect

abstract: A detailed understanding of the different mechanisms being responsible for terahertz (THz) emission in ferromagnetic (FM) materials will aid in designing efficient THz emitters. In this report, we present direct evidence of THz emission from single layer Co$_{0.4}$Fe$_{0.4}$B$_{0.2}$ (CoFeB) FM thin films. The dominant mechanism being responsible for the THz emission is the anomalous Hall effect (AHE), which is an effect of a net backflow current in the FM layer created by the spin-polarized current reflected at the interfaces of the FM layer. The THz emission from the AHE-based CoFeB emitter is optimized by varying its thickness, orientation, and pump fluence of the laser beam. Results from electrical transport measurements show that skew scattering of charge carriers is responsible for the THz emission in the CoFeB AHE-based THz emitter.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.optics


title: To Risk or Not to Risk: Learning with Risk Quantification for IoT Task Offloading in UAVs

abstract: A deep reinforcement learning technique is presented for task offloading decision-making algorithms for a multi-access edge computing (MEC) assisted unmanned aerial vehicle (UAV) network in a smart farm Internet of Things (IoT) environment. The task offloading technique uses financial concepts such as cost functions and conditional variable at risk (CVaR) in order to quantify the damage that may be caused by each risky action. The approach was able to quantify potential risks to train the reinforcement learning agent to avoid risky behaviors that will lead to irreversible consequences for the farm. Such consequences include an undetected fire, pest infestation, or a UAV being unusable. The proposed CVaR-based technique was compared to other deep reinforcement learning techniques and two fixed rule-based techniques. The simulation results show that the CVaR-based risk quantifying method eliminated the most dangerous risk, which was exceeding the deadline for a fire detection task. As a result, it reduced the total number of deadline violations with a negligible increase in energy consumption.


title: Score-based Diffusion Models in Function Space

abstract: Diffusion models have recently emerged as a powerful framework for generative modeling. They consist of a forward process that perturbs input data with Gaussian white noise and a reverse process that learns a score function to generate samples by denoising. Despite their tremendous success, they are mostly formulated on finite-dimensional spaces, e.g. Euclidean, limiting their applications to many domains where the data has a functional form such as in scientific computing and 3D geometric data analysis. In this work, we introduce a mathematically rigorous framework called Denoising Diffusion Operators (DDOs) for training diffusion models in function space. In DDOs, the forward process perturbs input functions gradually using a Gaussian process. The generative process is formulated by integrating a function-valued Langevin dynamic. Our approach requires an appropriate notion of the score for the perturbed data distribution, which we obtain by generalizing denoising score matching to function spaces that can be infinite-dimensional. We show that the corresponding discretized algorithm generates accurate samples at a fixed cost that is independent of the data resolution. We theoretically and numerically verify the applicability of our approach on a set of problems, including generating solutions to the Navier-Stokes equation viewed as the push-forward distribution of forcings from a Gaussian Random Field (GRF).


title: Theoretical and computational tools to model multistable gene regulatory networks

abstract: The last decade has witnessed a surge of theoretical and computational models to describe the dynamics of complex gene regulatory networks, and how these interactions can give rise to multistable and heterogeneous cell populations. As the use of theoretical modeling to describe genetic and biochemical circuits becomes more widespread, theoreticians with mathematical and physical backgrounds routinely apply concepts from statistical physics, non-linear dynamics, and network theory to biological systems. This review aims at providing a clear overview of the most important methodologies applied in the field while highlighting current and future challenges. It also includes hands-on tutorials to solve and simulate some of the archetypical biological system models used in the field. Furthermore, we provide concrete examples from the existing literature for theoreticians that wish to explore this fast-developing field. Whenever possible, we highlight the similarities and differences between biochemical and regulatory networks and 'classical' systems typically studied in non-equilibrium statistical and quantum mechanics.


title: Informational active matter

abstract: Many biomolecular systems can be viewed as ratchets that rectify environmental noise through measurements and information processing. As miniaturized robots cross the scale of unicellular organisms, on-board sensing and feedback open new possibilities for propulsion strategies that exploit fluctuations rather than fight them. Here, we study extended media in which many constituents display a feedback control loop between measurement of their microstates and the capability to bias their noise-induced transitions. We dub such many body systems informational active matter and show how information theoretic arguments and kinetic theory derivations yield their macroscopic properties starting from microscopic agent strategies. These include the ability to self-propel without applying work and to print patterns whose resolution improves as noise increases. We support our analytical results with extensive simulations of a fluid of `thinker' type particles that can selectively change their diameters to bias scattering transitions. This minimal model can be regarded as a non-equilibrium analogue of entropic elasticity that exemplifies the key property of this class of systems: self-propulsive forces grow ever stronger as environmental noise increases thanks to measurements and control actions undertaken by the microscopic constituents. We envision applications of our ideas ranging from noise induced patterning performed by collections of microrobots to reinforcement learning aided identification of migration strategies for collections of organisms that exploit turbulent flows or fluctuating chemotactic fields.


title: Positivity and nonstandard graded Betti numbers

abstract: A foundational principle in the study of modules over standard graded polynomial rings is that geometric positivity conditions imply vanishing of Betti numbers. The main goal of this paper is to determine the extent to which this principle extends to the nonstandard graded case. In this setting, the classical arguments break down, and the results become much more nuanced. We introduce a new notion of Castelnuovo-Mumford regularity and employ exterior algebra techniques to control the shapes of nonstandard graded minimal free resolutions. Our main result reveals a unique feature in the nonstandard graded case: the possible degrees of the syzygies of a graded module in this setting are controlled not only by its regularity, but also by its depth. As an application of our main result, we show that, given a simplicial projective toric variety and a module M over its coordinate ring, the multigraded Betti numbers of M are contained in a particular polytope when M satisfies an appropriate positivity condition.


title: A new unified framework for designing convex optimization methods with prescribed theoretical convergence estimates: A numerical analysis approach

abstract: We propose a new unified framework for describing and designing gradient-based convex optimization methods from a numerical analysis perspective. There the key is the new concept of weak discrete gradients (weak DGs), which is a generalization of DGs standard in numerical analysis. Via weak DG, we consider abstract optimization methods, and prove unified convergence rate estimates that hold independent of the choice of weak DGs except for some constants in the final estimate. With some choices of weak DGs, we can reproduce many popular existing methods, such as the steepest descent and Nesterov's accelerated gradient method, and also some recent variants from numerical analysis community. By considering new weak DGs, we can easily explore new theoretically-guaranteed optimization methods; we show some examples. We believe this work is the first attempt to fully integrate research branches in optimization and numerical analysis areas, so far independently developed.


title: Unsupervised physics-informed neural network in reaction-diffusion biology models (Ulcerative colitis and Crohn's disease cases) A preliminary study

abstract: We propose to explore the potential of physics-informed neural networks (PINNs) in solving a class of partial differential equations (PDEs) used to model the propagation of chronic inflammatory bowel diseases, such as Crohn's disease and ulcerative colitis. An unsupervised approach was privileged during the deep neural network training. Given the complexity of the underlying biological system, characterized by intricate feedback loops and limited availability of high-quality data, the aim of this study is to explore the potential of PINNs in solving PDEs. In addition to providing this exploratory assessment, we also aim to emphasize the principles of reproducibility and transparency in our approach, with a specific focus on ensuring the robustness and generalizability through the use of artificial intelligence. We will quantify the relevance of the PINN method with several linear and non-linear PDEs in relation to biology. However, it is important to note that the final solution is dependent on the initial conditions, chosen boundary conditions, and neural network architectures.


title: Conversational AI-Powered Design: ChatGPT as Designer, User, and Product

abstract: The recent advancements in Large Language Models (LLMs), particularly conversational LLMs like ChatGPT, have prompted changes in a range of fields, including design. This study aims to examine the capabilities of ChatGPT in a human-centered design process. To this end, a hypothetical design project was conducted, where ChatGPT was utilized to generate personas, simulate interviews with fictional users, create new design ideas, simulate usage scenarios and conversations between an imaginary prototype and fictional users, and lastly evaluate user experience. The results show that ChatGPT effectively performed the tasks assigned to it as a designer, user, or product, providing mostly appropriate responses. The study does, however, highlight some drawbacks such as forgotten information, partial responses, and a lack of output diversity. The paper explains the potential benefits and limitations of using conversational LLMs in design, discusses its implications, and suggests directions for future research in this rapidly evolving area.


title: Bayesian Decision Trees via Tractable Priors and Probabilistic Context-Free Grammars

abstract: Decision Trees are some of the most popular machine learning models today due to their out-of-the-box performance and interpretability. Often, Decision Trees models are constructed greedily in a top-down fashion via heuristic search criteria, such as Gini impurity or entropy. However, trees constructed in this manner are sensitive to minor fluctuations in training data and are prone to overfitting. In contrast, Bayesian approaches to tree construction formulate the selection process as a posterior inference problem; such approaches are more stable and provide greater theoretical guarantees. However, generating Bayesian Decision Trees usually requires sampling from complex, multimodal posterior distributions. Current Markov Chain Monte Carlo-based approaches for sampling Bayesian Decision Trees are prone to mode collapse and long mixing times, which makes them impractical. In this paper, we propose a new criterion for training Bayesian Decision Trees. Our criterion gives rise to BCART-PCFG, which can efficiently sample decision trees from a posterior distribution across trees given the data and find the maximum a posteriori (MAP) tree. Learning the posterior and training the sampler can be done in time that is polynomial in the dataset size. Once the posterior has been learned, trees can be sampled efficiently (linearly in the number of nodes). At the core of our method is a reduction of sampling the posterior to sampling a derivation from a probabilistic context-free grammar. We find that trees sampled via BCART-PCFG perform comparable to or better than greedily-constructed Decision Trees in classification accuracy on several datasets. Additionally, the trees sampled via BCART-PCFG are significantly smaller -- sometimes by as much as 20x.


title: Pose-Oriented Transformer with Uncertainty-Guided Refinement for 2D-to-3D Human Pose Estimation

abstract: There has been a recent surge of interest in introducing transformers to 3D human pose estimation (HPE) due to their powerful capabilities in modeling long-term dependencies. However, existing transformer-based methods treat body joints as equally important inputs and ignore the prior knowledge of human skeleton topology in the self-attention mechanism. To tackle this issue, in this paper, we propose a Pose-Oriented Transformer (POT) with uncertainty guided refinement for 3D HPE. Specifically, we first develop novel pose-oriented self-attention mechanism and distance-related position embedding for POT to explicitly exploit the human skeleton topology. The pose-oriented self-attention mechanism explicitly models the topological interactions between body joints, whereas the distance-related position embedding encodes the distance of joints to the root joint to distinguish groups of joints with different difficulties in regression. Furthermore, we present an Uncertainty-Guided Refinement Network (UGRN) to refine pose predictions from POT, especially for the difficult joints, by considering the estimated uncertainty of each joint with uncertainty-guided sampling strategy and self-attention mechanism. Extensive experiments demonstrate that our method significantly outperforms the state-of-the-art methods with reduced model parameters on 3D HPE benchmarks such as Human3.6M and MPI-INF-3DHP


title: Quantum Learning Theory Beyond Batch Binary Classification

abstract: Arunachalam and de Wolf (2018) showed that the sample complexity of quantum batch learning of boolean functions, in the realizable and agnostic settings, has the same form and order as the corresponding classical sample complexities. In this paper, we extend this, ostensibly surprising, message to batch multiclass learning, online boolean learning, and online multiclass learning. For our online learning results, we first consider an adaptive adversary variant of the classical model of Dawid and Tewari (2022). Then, we introduce the first (to the best of our knowledge) model of online learning with quantum examples.


title: Overlap Times in the $GI^B/GI/\infty$ Queue

abstract: Overlap times have been studied as a way of understanding the time of interaction between customers in a service facility. Most of the previous analysis relies on the single jump assumption for arrivals, which implies the queue increases by one for each arrival epoch. In this paper, we relax the single arrival assumption and explore the impact of having batch arrivals. Unfortunately, with batch arrivals it is not clear how one measures an overlap time between batches of customers. Thus, we develop two ways of capturing the notion of an overlap time in a batch setting and derive exact results in the infinite server queue with batch arrivals. Finally, we derive new results for analyzing overlap times of more than two batches.


title: Real-time chaotic video encryption based on multithreaded parallel confusion and diffusion

abstract: Due to the strong correlation between adjacent pixels, most image encryption schemes perform multiple rounds of confusion and diffusion to protect the image against attacks. Such operations, however, are time-consuming, cannot meet the real-time requirements of video encryption. Existing works, therefore, realize video encryption by simplifying the encryption process or encrypting specific parts of video frames, which results in lower security compared to image encryption. To solve the problem, this paper proposes a real-time chaotic video encryption strategy based on multithreaded parallel confusion and diffusion. It takes a video as the input, splits the frame into subframes, creates a set of threads to simultaneously perform five rounds of confusion and diffusion operations on corresponding subframes, and efficiently outputs the encrypted frames. The encryption speed evaluation shows that our method significantly improves the confusion and diffusion speed, realizes real-time 480x480, 576x576, and 768x768 24FPS video encryption using Intel Core i5-1135G7, Intel Core i7-8700, and Intel Xeon Gold 6226R, respectively. The statistical and security analysis prove that the deployed cryptosystems have outstanding statistical properties, can resist attacks, channel noise, and data loss. Compared with existing works, to the best of our knowledge, the proposed strategy achieves the fastest encryption speed, and realizes the first real-time chaotic video encryption that reaches the security level of image encryption. In addition, it is suitable for many confusion, diffusion algorithms and can be easily deployed with both hardware and software.


title: A theory of desirable things

abstract: Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What the things are is not important, nor is what it means for them to be desirable. It can be applied to gambles, calling them desirable if a subject accepts them, but it can just as well be applied to pizzas, calling them desirable if my friend Arthur likes to eat them. Other useful examples of things one might apply this theory to are propositions, horse lotteries, or preferences between any of the above. Regardless of the particular things that are considered, inference rules are imposed by means of an abstract closure operator, and models that adhere to these rules are called coherent. I consider two types of models, each of which can capture a subject's beliefs about which things are desirable: sets of desirable things and sets of desirable sets of things. A crucial result is that the latter type can be represented by a set of the former.


title: A Guide to Regression Discontinuity Designs in Medical Applications

abstract: We present a practical guide for the analysis of regression discontinuity (RD) designs in biomedical contexts. We begin by introducing key concepts, assumptions, and estimands within both the continuity-based framework and the local randomization framework. We then discuss modern estimation and inference methods within both frameworks, including approaches for bandwidth or local neighborhood selection, optimal treatment effect point estimation, and robust bias-corrected inference methods for uncertainty quantification. We also overview empirical falsification tests that can be used to support key assumptions. Our discussion focuses on two particular features that are relevant in biomedical research: (i) fuzzy RD designs, which often arise when therapeutic treatments are based on clinical guidelines but patients with scores near the cutoff are treated contrary to the assignment rule; and (ii) RD designs with discrete scores, which are ubiquitous in biomedical applications. We illustrate our discussion with three empirical applications: the effect of CD4 guidelines for anti-retroviral therapy on retention of HIV patients in South Africa, the effect of genetic guidelines for chemotherapy on breast cancer recurrence in the United States, and the effects of age-based patient cost-sharing on healthcare utilization in Taiwan. We provide replication materials employing publicly available statistical software in Python, R and Stata, offering researchers all necessary tools to conduct an RD analysis.


title: Stability of Euclidean 3-space for the positive mass theorem

abstract: We show that the Euclidean 3-space $(\mathbb{R}^3, d_{\mathrm{Eucl}}) $ is stable for the Positive Mass Theorem in the following sense. Let $(M_i^3, g_i)$ be a sequence of asymptotically flat 3-manifolds with nonnegative scalar curvature and suppose that their ADM masses $m(g_i)$ converge to 0. Then for all $i$, there is a subset $Z_i$ in $M_i^3$ such that the area of the boundary $\partial Z_i$ converges to zero and for any base point $p_i\in M_i\setminus Z_i$, the sequence of pointed manifolds $(M_i^3\setminus Z_i, \hat{d}_{g_i}, p_i)$ converges to $(\mathbb{R}^3, d_{\mathrm{Eucl}}, 0)$ in the pointed measured Gromov-Hausdorff topology, where $\hat{d}_{g_i}$ is the induced length metric. This confirms a conjecture of G. Huisken and T. Ilmanen. We also find an almost quadratic bound for the area of $\partial Z_i$ in terms of $m(g_i)$.


title: Variable Selection for Kernel Two-Sample Tests

abstract: We consider the variable selection problem for two-sample tests, aiming to select the most informative variables to distinguish samples from two groups. To solve this problem, we propose a framework based on the kernel maximum mean discrepancy (MMD). Our approach seeks a group of variables with a pre-specified size that maximizes the variance-regularized MMD statistics. This formulation also corresponds to the minimization of asymptotic type-II error while controlling type-I error, as studied in the literature. We present mixed-integer programming formulations and develop exact and approximation algorithms with performance guarantees for different choices of kernel functions. Furthermore, we provide a statistical testing power analysis of our proposed framework. Experiment results on synthetic and real datasets demonstrate the superior performance of our approach.


title: Deep Convolutional Neural Network for Plume Rise Measurements in Industrial Environments

abstract: Estimating Plume Cloud (PC) height is essential for various applications, such as global climate models. Smokestack Plume Rise (PR) is the constant height at which the PC is carried downwind as its momentum dissipates and the PC and the ambient temperatures equalize. Although different parameterizations are used in most air-quality models to predict PR, they have yet to be verified thoroughly. This paper proposes a low-cost measurement technology to monitor smokestack PCs and make long-term, real-time measurements of PR. For this purpose, a two-stage method is developed based on Deep Convolutional Neural Networks (DCNNs). In the first stage, an improved Mask R-CNN, called Deep Plume Rise Network (DPRNet), is applied to recognize the PC. Here, image processing analyses and least squares, respectively, are used to detect PC boundaries and fit an asymptotic model into the boundaries centerline. The y-component coordinate of this model's critical point is considered PR. In the second stage, a geometric transformation phase converts image measurements into real-life ones. A wide range of images with different atmospheric conditions, including day, night, and cloudy/foggy, have been selected for the DPRNet training algorithm. Obtained results show that the proposed method outperforms widely-used networks in smoke border detection and recognition.


title: Shape and multiple shape coexistence of nuclei within covariant density functional theory

abstract: Shape and multiple shape coexistence of nuclei are investigated throughout the nuclear chart by calculating the low-lying spectra and the quadrupole shape invariants for even-even nuclei with $10\leq Z\leq 104$ from the proton drip line to the neutron one within a five-dimensional collective Hamiltonian based on the covariant density functional PC-PK1. The quadrupole shape invariants are implemented to characterize the quadrupole deformations of low-lying $0^+$ states and predict nuclear mass regions of shape and multiple shape coexistence. The predicted low-lying spectra and the shape or multi-shape coexisting nuclei are overall in good agreement with the available experimental results. In addition, the present work predicts a wealth of nuclei with shape or multiple shape coexistence in the neutron-rich regions. The connection between the strong $E0$ transition strength and the occurrence of shape coexistence is analyzed systemically. It is found that nuclei with pronounced shape coexistence generally have strong $E0$ transition strengths, while the reverse may not be true. The present results can serve as useful guidelines for experimental searches and theoretical studies of shape and multiple shape coexistence, especially in neutron-rich regions.


title: Metal deficient AlB$_{2}$-type (Ti$_{0.2}$Zr$_{0.2}$Hf$_{0.2}$Nb$_{0.2}$Ta$_{0.2}$)$_{1-\delta}$B$_{2}$ high-entropy diborides with high hardness

abstract: We report the synthesis and characterization of metal deficient (Ti$_{0.2}$Zr$_{0.2}$Hf$_{0.2}$Nb$_{0.2}$Ta$_{0.2}$)$_{1-\delta}$B$_{2}$ high-entropy diborides (HEBs). A single homogeneous AlB$_{2}$-type phase is successfully obtained over the $\delta$ range of 0.03 $\leq$ $\delta$ $\leq$ 0.18. With increasing $\delta$, the unit-cell volume exhibits a nonmonotonic variation with a maximum at $\delta$ = 0.07. These metal-deficient HEBs possess high Vickers hardness of 16.6-18.9 GPa at a load of 9.8 N and their phase stability is attributed to the increased mixing entropy. Our results not only present the first series of metal-deficient AlB$_{2}$-type HEBs, but also suggest the existence of similar multicomponent diborides.


title: Spatially heterogeneous learning by a deep student machine

abstract: Deep neural networks (DNN) with a huge number of adjustable parameters remain largely black boxes. To shed light on the hidden layers of DNN, we study supervised learning by a DNN of width $N$ and depth $L$ consisting of $NL$ perceptrons with $c$ inputs by a statistical mechanics approach called the teacher-student setting. We consider an ensemble of student machines that exactly reproduce $M$ sets of $N$ dimensional input/output relations provided by a teacher machine. We show that the problem becomes exactly solvable in what we call as 'dense limit': $N \gg c \gg 1$ and $M \gg 1$ with fixed $\alpha=M/c$ using the replica method developed in (H. Yoshino, (2020)). We also study the model numerically performing simple greedy MC simulations. Simulations reveal that learning by the DNN is quite heterogeneous in the network space: configurations of the teacher and the student machines are more correlated within the layers closer to the input/output boundaries while the central region remains much less correlated due to the over-parametrization in qualitative agreement with the theoretical prediction. We evaluate the generalization-error of the DNN with various depth $L$ both theoretically and numerically. Remarkably both the theory and simulation suggest generalization-ability of the student machines, which are only weakly correlated with the teacher in the center, does not vanish even in the deep limit $L \gg 1$ where the system becomes heavily over-parametrized. We also consider the impact of effective dimension $D(\leq N)$ of data by incorporating the hidden manifold model (S. Goldt et. al., (2020)) into our model. The theory implies that the loop corrections to the dense limit become enhanced by either decreasing the width $N$ or decreasing the effective dimension $D$ of the data. Simulation suggests both lead to significant improvements in generalization-ability.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.LG stat.ML


title: TC++: First-principles calculation code for solids using the transcorrelated method

abstract: TC++ is a free/libre open-source software of the transcorrelated (TC) method for first-principles calculation of solids. Here, the TC method is one of the promising wave-function theories that can be applied to periodic systems with reasonable computational cost and satisfactory accuracy. We present our implementation of TC++ including a detailed description of the divergence correction technique applied to the TC effective interactions. We also present the way to use TC++ and some results of application to simple periodic systems: bulk silicon and homogeneous electron gas.


title: Competitions between topological states revisited by effective field theory

abstract: Effective field theory models capable of realizing various gapless topological states are presented in this work. After reviewing the effective field models of the Weyl and nodal line semimetal states, we study the competition of these two semimetal states in effective field theories. When the one form field giving rise to the Weyl nodes lie perpendicular to the plane where the nodal ring lives, the nodal ring and Weyl nodes could coexist as the mirror symmetry responsible for the nodal ring is not broken. New phases including a three-node state and a triple degenerate state exist. The nodal ring is immediately destroyed when the one form field lies in the plane of the ring. However, we show that in an eight-component spinor model, Weyl nodes and nodal rings could still coexist even when the one form field is parallel to the plane, due to the expanded symmetry. Finally we calculate the topological invariants in these models and in particular confirm the interesting nontrivial topology of the three-node state and the triple-degenerate node.


title: Entropy and stability of hyperbolic manifolds

abstract: Let $(M,g_0)$ be a closed oriented hyperbolic manifold of dimension at least $3$. By the volume entropy inequality of G. Besson, G. Courtois and S. Gallot, for any Riemannian metric $g$ on $M$ with same volume as $g_0$, its volume entropy $h(g)$ satisfies $h(g)\geq n-1$ with equality only when $g$ is isometric to $g_0$. We show that the hyperbolic metric $g_0$ is stable in the following sense: if $g_i$ is a sequence of Riemaniann metrics on $M$ of same volume as $g_0$ and if $h(g_i)$ converges to $n-1$, then there are smooth subsets $Z_i\subset M$ such that the $g_i$-area of $\partial Z_i$ converges to $0$ and $(M\setminus Z_i,g_i)$ converges to $(M,g_0)$ as metric measure spaces in the Gromov-Hausdorff-Prokhorov topology. The proof relies on metric currents and the equidistribution of geodesic spheres in hyperbolic manifolds. We also prove a closely related result: any spherical Plateau solution for $M$ is intrinsically isomorphic to $(M,\frac{(n-1)^2}{4n} g_0)$.


title: Two-sided convexity testing with certificates

abstract: We revisit the problem of property testing for convex position for point sets in $\mathbb{R}^d$. Our results draw from previous ideas of Czumaj, Sohler, and Ziegler (ESA 2000). First, the algorithm is redesigned and its analysis is revised for correctness. Second, its functionality is expanded by (i)~exhibiting both negative and positive certificates along with the convexity determination, and (ii)~significantly extending the input range for moderate and higher dimensions. The behavior of the randomized tester is as follows: (i)~if $P$ is in convex position, it accepts; (ii)~if $P$ is far from convex position, with probability at least $2/3$, it rejects and outputs a $(d+2)$-point witness of non-convexity as a negative certificate; (iiii)~if $P$ is close to convex position, with probability at least $2/3$, it accepts and outputs an approximation of the largest subset in convex position. The algorithm examines a sublinear number of points and runs in subquadratic time for every dimension $d$.


title: Microwave electrometry with multi-photon coherence in Rydberg atoms

abstract: A scheme for measurement of microwave (MW) electric field is proposed via multi-photon coherence in Rydberg atoms. It is based on the three-photon electromagnetically induced absorption (TPEIA) spectrum. In this process, the multi-photon produces a narrow absorption peak, which has a larger magnitude than the electromagnetically induced transparency (EIT) peak under the same conditions. The TPEIA peak is sensitive to MW fields, and can be used to measure MW electric field strength. It is interesting to find that the magnitude of TPEIA peaks shows a linear relationship with the MW field strength. The simulation results show that the minimum detectable strength of the MW fields is about 1/10 that based on an common EIT effect, and the probe sensitivity is improved by about 4 times. Furthermore, the MW sensing based on three-photon coherence shows a broad tunability, and the scheme may be useful for designing novel MW sensing devices.


title: Bandit Social Learning: Exploration under Myopic Behavior

abstract: We study social learning dynamics motivated by reviews on online platforms. The agents collectively follow a simple multi-armed bandit protocol, but each agent acts myopically, without regards to exploration. We allow a wide range of myopic behaviors that are consistent with (parameterized) confidence intervals for the arms' expected rewards. We derive stark learning failures for any such behavior, and provide matching positive results. As a special case, we obtain the first general results on failure of the greedy algorithm in bandits, thus providing a theoretical foundation for why bandit algorithms should explore.


title: Computational Complexity of Learning Neural Networks: Smoothness and Degeneracy

abstract: Understanding when neural networks can be learned efficiently is a fundamental question in learning theory. Existing hardness results suggest that assumptions on both the input distribution and the network's weights are necessary for obtaining efficient algorithms. Moreover, it was previously shown that depth-$2$ networks can be efficiently learned under the assumptions that the input distribution is Gaussian, and the weight matrix is non-degenerate. In this work, we study whether such assumptions may suffice for learning deeper networks and prove negative results. We show that learning depth-$3$ ReLU networks under the Gaussian input distribution is hard even in the smoothed-analysis framework, where a random noise is added to the network's parameters. It implies that learning depth-$3$ ReLU networks under the Gaussian distribution is hard even if the weight matrices are non-degenerate. Moreover, we consider depth-$2$ networks, and show hardness of learning in the smoothed-analysis framework, where both the network parameters and the input distribution are smoothed. Our hardness results are under a well-studied assumption on the existence of local pseudorandom generators.


title: Studying the effect of AI Code Generators on Supporting Novice Learners in Introductory Programming

abstract: AI code generators like OpenAI Codex have the potential to assist novice programmers by generating code from natural language descriptions, however, over-reliance might negatively impact learning and retention. To explore the implications that AI code generators have on introductory programming, we conducted a controlled experiment with 69 novices (ages 10-17). Learners worked on 45 Python code-authoring tasks, for which half of the learners had access to Codex, each followed by a code-modification task. Our results show that using Codex significantly increased code-authoring performance (1.15x increased completion rate and 1.8x higher scores) while not decreasing performance on manual code-modification tasks. Additionally, learners with access to Codex during the training phase performed slightly better on the evaluation post-tests conducted one week later, although this difference did not reach statistical significance. Of interest, learners with higher Scratch pre-test scores performed significantly better on retention post-tests, if they had prior access to Codex.


title: On supersingular representations of $GL_2(D)$ with a division algebra $D$ over a $p$-adic field

abstract: We investigate the mod-$p$ supersingular representations of $GL_2(D)$, where $D$ is a division algebra over a $p$-adic field with characteristic 0, by computing a basis for the vector space of the pro-$p$ Iwahori subgroup invariants of a certain quotient of a compact induction. This work generalizes the results of Hendel and Schein.


title: Dual Graph Multitask Framework for Imbalanced Delivery Time Estimation

abstract: Delivery Time Estimation (DTE) is a crucial component of the e-commerce supply chain that predicts delivery time based on merchant information, sending address, receiving address, and payment time. Accurate DTE can boost platform revenue and reduce customer complaints and refunds. However, the imbalanced nature of industrial data impedes previous models from reaching satisfactory prediction performance. Although imbalanced regression methods can be applied to the DTE task, we experimentally find that they improve the prediction performance of low-shot data samples at the sacrifice of overall performance. To address the issue, we propose a novel Dual Graph Multitask framework for imbalanced Delivery Time Estimation (DGM-DTE). Our framework first classifies package delivery time as head and tail data. Then, a dual graph-based model is utilized to learn representations of the two categories of data. In particular, DGM-DTE re-weights the embedding of tail data by estimating its kernel density. We fuse two graph-based representations to capture both high- and low-shot data representations. Experiments on real-world Taobao logistics datasets demonstrate the superior performance of DGM-DTE compared to baselines.


title: A comparison of template vs. direct model fitting for redshift-space distortions in BOSS

abstract: The growth of large-scale structure, as revealed in the anisotropic of clustering of galaxies in the low redshift Universe, provides a stringent test of our cosmological model. The strongest current constraints come from the BOSS and eBOSS surveys, with uncertainties on the amplitude of clustering of less than 10 per cent. A number of different approaches have been taken to fitting this signal, leading to apparently discrepant conclusions about the amplitude of fluctuations at late times. We compare in some detail two of the leading approaches, one based on a fitting a template cosmology whose amplitude and length scales are allowed to float with one based on a more traditional forward modeling approach, when fitting to the BOSS DR12 data. Holding the input data, scale cuts, window functions and modeling framework fixed we are able to isolate the cause of the differences and discuss the implications for future surveys.


title: Exploring the Techniques of Information Security Certification

abstract: If the information system is intruded or attacked by hackers, leaked personal data or serious economic loss may occur; the threats may be serious security problems. For security services, information security certification is built based on Public Key Infrastructure (PKI) to be an important tool for the services of bank transactions, natural person certificate, blockchain, and Hyper Text Transfer Protocol Secure (HTTPS). Therefore, this study uses Taiwan Patent Search System (TPSS) to find and analyze the contents of patents for obtaining the innovation reports of information security certification in Taiwan according to patents. This study considers the single-factor and two-factors to analyze the relationships of annuals, technology leaders, market leaders, and major applications for exploring the patent portfolios of technology leaders and market leaders in information security certification.


title: On definitions of "mathematician"

abstract: The definition of who is or what makes a ``mathematician" is an important and urgent issue to be addressed in the mathematics community. Too often, a narrower definition of who is considered a mathematician (and what is considered mathematics) is used to exclude people from the discipline -- both explicitly and implicitly. However, using a narrow definition of a mathematician allows us to examine and challenge systemic barriers that exist in certain spaces of the community. This paper explores and illuminates tensions between narrow and broad definitions and how they can be used to promote both inclusion and exclusion simultaneously. In this article, we present a framework of definitions based on identity, function, and qualification and exploring several different meanings of ``mathematician". By interrogating various definitions, we highlight their risks and opportunities, with an emphasis on implications for broadening and/or narrowing participation of underrepresented groups.


title: A Survey on Global LiDAR Localization: Challenges, Advances and Open Problems

abstract: Knowledge about the own pose is key for all mobile robot applications. Thus pose estimation is part of the core functionalities of mobile robots. Over the last two decades, LiDAR scanners have become the standard sensor for robot localization and mapping. This article aims to provide an overview of recent progress and advancements in LiDAR-based global localization. We begin by formulating the problem and exploring the application scope. We then present a review of the methodology, including recent advancements in several topics, such as maps, descriptor extraction, and cross-robot localization. The contents of the article are organized under three themes. The first theme concerns the combination of global place retrieval and local pose estimation. The second theme is upgrading single-shot measurements to sequential ones for sequential global localization. Finally, the third theme focuses on extending single-robot global localization to cross-robot localization in multi-robot systems. We conclude the survey with a discussion of open challenges and promising directions in global LiDAR localization. To our best knowledge, this is the first comprehensive survey on global LiDAR localization for mobile robots.


title: Thermalization Effect in semiconductor Si, and metallic silicide NiSi2, CoSi2 by using Non-Adiabatic Molecular Dynamics Approach

abstract: Recently, cold source transistor (CSFET) with steep-slope subthreshold swing (SS) < 60 mV/decade has been proposed to overcome Boltzmann tyranny in its ballistic regime. However the scattering, especially by inelastic scattering may lead serious SS degradation through cold carrier thermalization. In this study, the electronic excitation/relaxation dynamic process is investigated theoretically by virtue of the state-of-the-art nonadiabatic molecular dynamics (NAMD) method, i.e., the mixed quantum-classical NAMD. The mixed quantum-classical NAMD considers both carrier decoherence and detailed balance to calculate the cold carrier thermalization and transfer processes in semiconductor Si, and metallic silicide (NiSi2 and CoSi2). The dependence of the thermalization factor, relaxation time, scattering time and scattering rate on energy level are obtained. The thermalization of carrier gradually increases from low energy to high energy. Partially thermalization from the ground state to reach the thermionic current window is realized with sub-100 $fs$ time scale. Fully thermalization to entail energy region depends on the barrier height sensitively, i.e., the scattering rate decreases exponentially as the energy of the out-scattering state increase. The scattering rate of NiSi2 and CoSi2 is 2 orders of magnitude higher than that of Si, arising from their higher density of states than that in Silicon This study can shed light on the material design for low power tunneling FET as well as the emerging CSFET.


title: Log Parsing with Prompt-based Few-shot Learning

abstract: Logs generated by large-scale software systems provide crucial information for engineers to understand the system status and diagnose problems of the systems. Log parsing, which converts raw log messages into structured data, is the first step to enabling automated log analytics. Existing log parsers extract the common part as log templates using statistical features. However, these log parsers often fail to identify the correct templates and parameters because: 1) they often overlook the semantic meaning of log messages, and 2) they require domain-specific knowledge for different log datasets. To address the limitations of existing methods, in this paper, we propose LogPPT to capture the patterns of templates using prompt-based few-shot learning. LogPPT utilises a novel prompt tuning method to recognise keywords and parameters based on a few labelled log data. In addition, an adaptive random sampling algorithm is designed to select a small yet diverse training set. We have conducted extensive experiments on 16 public log datasets. The experimental results show that LogPPT is effective and efficient for log parsing.


title: Non-adiabatic Berry phase for semiconductor heavy holes under the coexistence of Rashba and Dresselhaus spin-orbit interactions

abstract: We formulate the non-Abelian Berry connection (tensor $\mathbb R$) and phase (matrix $\boldsymbol \Gamma$) for a multiband system and apply them to semiconductor holes under the coexistence of Rashba and Dresselhaus spin-orbit interactions. For this purpose, we focus on the heavy-mass holes confined in a SiGe two-dimensional quantum well, whose electronic structure and spin texture are explored by the extended $\boldsymbol{k}\cdot\boldsymbol{p}$ approach. The strong intersubband interaction in the valence band causes quasi-degenerate points except for point $\Gamma$ of the Brillouin zone center. These points work as the singularity and change the Abelian Berry phase by the quantization of $\pi$ under the adiabatic process. To explore the influence by the non-adiabatic process, we perform the contour integral of $\mathbb R$ faithfully along the equi-energy surface by combining the time-dependent Schr\"{o}dinger equation with the semi-classical equation-of-motion for cyclotron motion and then calculate the energy dependence of $\boldsymbol \Gamma$ computationally. In addition to the function as a Dirac-like singularity, the quasi-degenerate point functions in enhancing the intersubband transition via the non-adiabatic process. Consequently, the off-diagonal components generate both in $\mathbb R$ and $\boldsymbol \Gamma$, and the simple $\pi$-quantization found in the Abelian Berry phase is violated. More interestingly, these off-diagonal terms cause "resonant repulsion" at the quasi-degenerate energy and result in the discontinuity in the energy profile of $\boldsymbol \Gamma$.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cs.CE physics.comp-ph quant-ph


title: Bridging the Usability Gap: Theoretical and Methodological Advances for Spectral Learning of Hidden Markov Models

abstract: The Baum-Welch (B-W) algorithm is the most widely accepted method for inferring hidden Markov models (HMM). However, it is prone to getting stuck in local optima, and can be too slow for many real-time applications. Spectral learning of HMMs (SHMM), based on the method of moments (MOM) has been proposed in the literature to overcome these obstacles. Despite its promises, asymptotic theory for SHMM has been elusive, and the long-run performance of SHMM can degrade due to unchecked propagation of error. In this paper, we (1) provide an asymptotic distribution for the approximate error of the likelihood estimated by SHMM, (2) propose a novel algorithm called projected SHMM (PSHMM) that mitigates the problem of error propagation, and (3) develop online learning variants of both SHMM and PSHMM that accommodate potential nonstationarity. We compare the performance of SHMM with PSHMM and estimation through the B-W algorithm on both simulated data and data from real world applications, and find that PSHMM not only retains the computational advantages of SHMM, but also provides more robust estimation and forecasting.


title: Variational quantum simulation of the quantum critical regime

abstract: The quantum critical regime marks a zone in the phase diagram where quantum fluctuation around the critical point plays a significant role at finite temperatures. While it is of great physical interest, simulation of the quantum critical regime can be difficult on a classical computer due to its intrinsic complexity. In this paper, we propose a variational approach, which minimizes the variational free energy, to simulate and locate the quantum critical regime on a quantum computer. The variational quantum algorithm adopts an ansatz by performing an unitary operator on a product of a single-qubit mixed state, in which the entropy can be analytically obtained from the initial state, and thus the free energy can be accessed conveniently. With numeral simulation, we show, using the one-dimensional Kitaev model as a demonstration, the quantum critical regime can be identified by accurately evaluating the temperature crossover line. Moreover, the dependence of both the correlation length and the phase coherence time with the temperature are evaluated for the thermal states. Our work suggests a practical way as well as a first step for investigating quantum critical systems at finite temperatures on quantum devices with few qubits.


title: Robustness of random-control quantum-state tomography

abstract: In a recently demonstrated quantum-state tomography scheme [Phys. Rev. Lett. 124, 010405 (2020)], a random control field is locally applied to a multipartite system to reconstruct the full quantum state of the system through single-observable measurements. Here, we analyze the robustness of such a tomography scheme against measurement errors. We characterize the sensitivity to measurement errors using the logarithm of the condition number of a linear system that fully describes the tomography process. Using results from random matrix theory we derive the scaling law of the logarithm of this condition number with respect to the system size when Haar-random evolutions are considered. While this expression is independent on how Haar randomness is created, we also perform numerical simulations to investigate the temporal behavior of the robustness for two specific quantum systems that are driven by a single random control field. Interestingly, we find that before the mean value of the logarithm of the condition number as a function of the driving time asymptotically approaches the value predicted for a Haar-random evolution, it reaches a plateau whose length increases with the system size.


title: Road Redesign Technique Achieving Enhanced Road Safety by Inpainting with a Diffusion Model

abstract: Road infrastructure can affect the occurrence of road accidents. Therefore, identifying roadway features with high accident probability is crucial. Here, we introduce image inpainting that can assist authorities in achieving safe roadway design with minimal intervention in the current roadway structure. Image inpainting is based on inpainting safe roadway elements in a roadway image, replacing accident-prone (AP) features by using a diffusion model. After object-level segmentation, the AP features identified by the properties of accident hotspots are masked by a human operator and safe roadway elements are inpainted. With only an average time of 2 min for image inpainting, the likelihood of an image being classified as an accident hotspot drops by an average of 11.85%. In addition, safe urban spaces can be designed considering human factors of commuters such as gaze saliency. Considering this, we introduce saliency enhancement that suggests chrominance alteration for a safe road view.


title: Geometric Phases of Nonlinear Elastic $N$-Rotors via Cartan's Moving Frames

abstract: We study the geometric phases of nonlinear elastic $N$-rotors with continuous rotational symmetry. In the Hamiltonian framework, the geometric structure of the phase space is a principal fiber bundle, i.e., a base, or shape manifold~$\mathcal{B}$, and fibers $\mathcal{F}$ along the symmetry direction attached to it. The symplectic structure of the Hamiltonian dynamics determines the connection and curvature forms of the shape manifold. Using Cartan's structural equations with zero torsion we find an intrinsic (pseudo) Riemannian metric for the shape manifold. One has the freedom to define the rotation sign of the total angular momentum of the elastic rotors as either positive or negative, e.g., counterclockwise or clockwise, respectively, or viceversa. This endows the base manifold~$\mathcal{B}$ with two distinct metrics both compatible with the geometric phase. In particular, the metric is pseudo-Riemannian if $\mathsf{A}<0$, and the shape manifold is a $2$D~Robertson-Walker spacetime with positive curvature. For $\mathsf{A}>0$, the shape manifold is the hyperbolic plane $\mathbb{H}^2$ with negative curvature. We then generalize our results to free elastic $N$-rotors. We show that the associated shape manifold~$\mathcal{B}$ is reducible to the product manifold of $(N-1)$ hyperbolic planes $\mathbb{H}^2$~($\mathsf{A}>0$), or $2$D~Robertson-Walker spacetimes~($\mathsf{A}<0$) depending on the convection used to define the rotation sign of the total angular momentum. We then consider elastic $N$-rotors subject to time-dependent self-equilibrated moments. The $N$-dimensional shape manifold of the extended autonomous system has a structure similar to that of the $(N-1)$-dimensional shape manifold of free elastic rotors. The Riemannian structure of the shape manifold provides an intrinsic measure of the closeness of one shape to another in terms of curvature, or induced geometric phase.


title: Microwave amplification via interfering multi-photon processes in a half-waveguide quantum electrodynamics system

abstract: We investigate the amplification of a microwave probe signal by a superconducting artificial atom, a transmon, strongly coupled to the end of a one-dimensional semi-infinite transmission line. The end of the transmission line acts as a mirror for microwave fields. Due to the weak anharmonicity of the artificial atom, a strong pump field creates multi-photon excitations among the dressed states. Transitions between these dressed states, Rabi sidebands, give rise to either amplification or attenuation of the weak probe. We obtain a maximum amplitude amplification of about 18 %, higher than in any previous experiment with a single artificial atom, due to constructive interference between Rabi sidebands. We also characterize the noise properties of the system by measuring the spectrum of spontaneous emission.


title: Precise lifetime measurement of $^4_\Lambda$H hypernucleus using in-flight $^4$He$(K^-, \pi^0)^4_\Lambda$H reaction

abstract: We present a new measurement of the $^4_\Lambda$H hypernuclear lifetime using in-flight $K^-$ + $^4$He $\rightarrow$ $^4_\Lambda$H + $\pi^0$ reaction at the J-PARC hadron facility. We demonstrate, for the first time, the effective selection of the hypernuclear bound state using only the $\gamma$-ray energy decayed from $\pi^0$. This opens the possibility for a systematic study of isospin partner hypernuclei through comparison with data from ($K^-$, $\pi^-$) reaction. As the first application of this method, our result for the $^4_\Lambda$H lifetime, $\tau(^4_\Lambda \mathrm{H}) = 206 \pm 8 (\mathrm{stat.}) \pm 12 (\mathrm{syst.})\ \mathrm{ps}$, is one of the most precise measurements to date. We are also preparing to measure the lifetime of the hypertriton ($^3_\Lambda$H) using the same setup in the near future.


title: A Case Study on Designing Evaluations of ML Explanations with Simulated User Studies

abstract: When conducting user studies to ascertain the usefulness of model explanations in aiding human decision-making, it is important to use real-world use cases, data, and users. However, this process can be resource-intensive, allowing only a limited number of explanation methods to be evaluated. Simulated user evaluations (SimEvals), which use machine learning models as a proxy for human users, have been proposed as an intermediate step to select promising explanation methods. In this work, we conduct the first SimEvals on a real-world use case to evaluate whether explanations can better support ML-assisted decision-making in e-commerce fraud detection. We study whether SimEvals can corroborate findings from a user study conducted in this fraud detection context. In particular, we find that SimEvals suggest that all considered explainers are equally performant, and none beat a baseline without explanations -- this matches the conclusions of the original user study. Such correspondences between our results and the original user study provide initial evidence in favor of using SimEvals before running user studies. We also explore the use of SimEvals as a cheap proxy to explore an alternative user study set-up. We hope that this work motivates further study of when and how SimEvals should be used to aid in the design of real-world evaluations.


title: Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation

abstract: Due to convenience, open-source software is widely used. For beneficial reasons, open-source maintainers often fix the vulnerabilities silently, exposing their users unaware of the updates to threats. Previous works all focus on black-box binary detection of the silent dependency alerts that suffer from high false-positive rates. Open-source software users need to analyze and explain AI prediction themselves. Explainable AI becomes remarkable as a complementary of black-box AI models, providing details in various forms to explain AI decisions. Noticing there is still no technique that can discover silent dependency alert on time, in this work, we propose a framework using an encoder-decoder model with a binary detector to provide explainable silent dependency alert prediction. Our model generates 4 types of vulnerability key aspects including vulnerability type, root cause, attack vector, and impact to enhance the trustworthiness and users' acceptance to alert prediction. By experiments with several models and inputs, we confirm CodeBERT with both commit messages and code changes achieves the best results. Our user study shows that explainable alert predictions can help users find silent dependency alert more easily than black-box predictions. To the best of our knowledge, this is the first research work on the application of Explainable AI in silent dependency alert prediction, which opens the door of the related domains.


title: On-Demand Communication for Asynchronous Multi-Agent Bandits

abstract: This paper studies a cooperative multi-agent multi-armed stochastic bandit problem where agents operate asynchronously -- agent pull times and rates are unknown, irregular, and heterogeneous -- and face the same instance of a K-armed bandit problem. Agents can share reward information to speed up the learning process at additional communication costs. We propose ODC, an on-demand communication protocol that tailors the communication of each pair of agents based on their empirical pull times. ODC is efficient when the pull times of agents are highly heterogeneous, and its communication complexity depends on the empirical pull times of agents. ODC is a generic protocol that can be integrated into most cooperative bandit algorithms without degrading their performance. We then incorporate ODC into the natural extensions of UCB and AAE algorithms and propose two communication-efficient cooperative algorithms. Our analysis shows that both algorithms are near-optimal in regret.


title: Some lower bounds for the Kirby-Thompson invariant

abstract: Kirby and Thompson introduced a non-negative integer-valued invariant, called the Kirby-Thompson invariant, of a $4$-manifold using trisections. In this paper, we give some lower bounds for the Kirby-Thompson invariant of certain $4$-manifolds. As an application, we determine the Kirby-Thompson invariant of the spin of $L(2,1)$, which is the first example of a $4$-manifold with non-trivial Kirby-Thompson invariant. We also show that there exist $4$-manifolds with arbitrarily large Kirby-Thompson invariant.


title: Chern dartboard insulator: sub-Brillouin zone topology and skyrmion multipoles

abstract: Topology plays a crucial role in many physical systems, leading to interesting states at the surface. The paradigmatic example is the Chern number defined in the Brillouin zone that leads to the robust gapless edge states. Here we introduce the reduced Chern number, defined in subregions of the Brillouin zone (BZ), and construct a family of Chern dartboard insulators (CDIs) with quantized reduced Chern numbers in the sub-BZ (sBZ) but with trivial bulk topology. CDIs are protected by mirror symmetries and exhibit distinct pseudospin textures, including (anti)skyrmions, inside the sBZ. These CDIs host exotic gapless edge states, such as M\"{o}bius fermions and midgap corner states, and can be realized in photonic crystals. Our work opens up new possibilities for exploring sBZ topology and nontrivial surface responses in topological systems.


title: A model-free feature selection technique of feature screening and random forest based recursive feature elimination

abstract: In this paper, we propose a model-free feature selection method for ultra-high dimensional data with mass features. This is a two phases procedure that we propose to use the fused Kolmogorov filter with the random forest based RFE to remove model limitations and reduce the computational complexity. The method is fully nonparametric and can work with various types of datasets. It has several appealing characteristics, i.e., accuracy, model-free, and computational efficiency, and can be widely used in practical problems, such as multiclass classification, nonparametric regression, and Poisson regression, among others. We show that the proposed method is selection consistent and $L_2$ consistent under weak regularity conditions. We further demonstrate the superior performance of the proposed method over other existing methods by simulations and real data examples.


title: FedABC: Targeting Fair Competition in Personalized Federated Learning

abstract: Federated learning aims to collaboratively train models without accessing their client's local private data. The data may be Non-IID for different clients and thus resulting in poor performance. Recently, personalized federated learning (PFL) has achieved great success in handling Non-IID data by enforcing regularization in local optimization or improving the model aggregation scheme on the server. However, most of the PFL approaches do not take into account the unfair competition issue caused by the imbalanced data distribution and lack of positive samples for some classes in each client. To address this issue, we propose a novel and generic PFL framework termed Federated Averaging via Binary Classification, dubbed FedABC. In particular, we adopt the ``one-vs-all'' training strategy in each client to alleviate the unfair competition between classes by constructing a personalized binary classification problem for each class. This may aggravate the class imbalance challenge and thus a novel personalized binary classification loss that incorporates both the under-sampling and hard sample mining strategies is designed. Extensive experiments are conducted on two popular datasets under different settings, and the results demonstrate that our FedABC can significantly outperform the existing counterparts.


title: Crystal-symmetry-protected gapless vortex-line phases in superconducting Dirac semimetals

abstract: Vortex lines in superconducting Dirac semimetals realize crystal-symmetry-protected gapless vortex-line phases in which gapless excitations propagate inside a vortex line, in the presence of appropriate crystal symmetry, spin-orbit coupling, and multi-band structures. Here we present a general scheme to classify possible gapless vortex-line phases in superconducting Dirac semimetals with rotation (or screw) symmetry and inversion symmetry, assuming that the rotation (screw) axis is parallel to the vortex line. The rotation (screw)-symmetry-protected gapless modes are stable as long as they have different rotation (screw) eigenvalues. The underlying mechanism for the formation of gapless vortex bound states depends on irreducible representations of rotation (screw) symmetry subject to a vortex field and is classified into three types: (i) accidental band crossing of two vortex bound-state modes under rotation symmetry; (ii) accidental and (iii) enforced band crossing of four vortex bound-state modes under screw symmetry. We present a tight-binding model of screw-symmetry-protected Dirac semimetal with an $s$-wave pair potential, demonstrating a gapless vortex-line phase of type (ii). We obtain four gapless modes of vortex bound states whose gapless points (Majorana zero modes) pinned at a time-reversal invariant momentum (TRIM) when the Fermi energy is close to the Dirac points. As the Fermi energy is moved away from the Dirac points, the four gapless modes are split into a pair of two gapless modes with vanishing excitation energy at non-TRIMs. In closing, we discuss Nb$_3$Pt as a candidate material with the four-fold screw-symmetry-protected Dirac cones that can host a gapless vortex-line phase.


title: How to Train Your DRAGON: Diverse Augmentation Towards Generalizable Dense Retrieval

abstract: Various techniques have been developed in recent years to improve dense retrieval (DR), such as unsupervised contrastive learning and pseudo-query generation. Existing DRs, however, often suffer from effectiveness tradeoffs between supervised and zero-shot retrieval, which some argue was due to the limited model capacity. We contradict this hypothesis and show that a generalizable DR can be trained to achieve high accuracy in both supervised and zero-shot retrieval without increasing model size. In particular, we systematically examine the contrastive learning of DRs, under the framework of Data Augmentation (DA). Our study shows that common DA practices such as query augmentation with generative models and pseudo-relevance label creation using a cross-encoder, are often inefficient and sub-optimal. We hence propose a new DA approach with diverse queries and sources of supervision to progressively train a generalizable DR. As a result, DRAGON, our dense retriever trained with diverse augmentation, is the first BERT-base-sized DR to achieve state-of-the-art effectiveness in both supervised and zero-shot evaluations and even competes with models using more complex late interaction (ColBERTv2 and SPLADE++).


title: Cooperative Driving for Speed Harmonization in Mixed-Traffic Environments

abstract: Autonomous driving systems present promising methods for congestion mitigation in mixed autonomy traffic control settings. In particular, when coupled with even modest traffic state estimates, such systems can plan and coordinate the behaviors of automated vehicles (AVs) in response to observed downstream events, thereby inhibiting the continued propagation of congestion. In this paper, we present a two-layer control strategy in which the upper layer proposes the desired speeds that predictively react to the downstream state of traffic, and the lower layer maintains safe and reasonable headways with leading vehicles. This method is demonstrated to achieve an average of over 15% energy savings within simulations of congested events observed in Interstate 24 with only 4% AV penetration, while restricting negative externalities imposed on traveling times and mobility. The proposed strategy that served as part of the "speed planner" was deployed on 100 AVs in a massive traffic experiment conducted on Nashville's I-24 in November 2022.


title: Distributionally-Robust Optimization with Noisy Data for Discrete Uncertainties Using Total Variation Distance

abstract: Stochastic programs where the uncertainty distribution must be inferred from noisy data samples are considered. The stochastic programs are approximated with distributionally-robust optimizations that minimize the worst-case expected cost over ambiguity sets, i.e., sets of distributions that are sufficiently compatible with the observed data. In this paper, the ambiguity sets capture the set of probability distributions whose convolution with the noise distribution remains within a ball centered at the empirical noisy distribution of data samples parameterized by the total variation distance. Using the prescribed ambiguity set, the solutions of the distributionally-robust optimizations converge to the solutions of the original stochastic programs when the numbers of the data samples grow to infinity. Therefore, the proposed distributionally-robust optimization problems are asymptotically consistent. This is proved under the assumption that the distribution of the noise is uniformly diagonally dominant. More importantly, the distributionally-robust optimization problems can be cast as tractable convex optimization problems and are therefore amenable to large-scale stochastic problems.

categories: math.OC cs.SY eess.SP eess.SY math.PR math.ST stat.TH


title: A lightweight network for photovoltaic cell defect detection in electroluminescence images based on neural architecture search and knowledge distillation

abstract: Nowadays, the rapid development of photovoltaic(PV) power stations requires increasingly reliable maintenance and fault diagnosis of PV modules in the field. Due to the effectiveness, convolutional neural network (CNN) has been widely used in the existing automatic defect detection of PV cells. However, the parameters of these CNN-based models are very large, which require stringent hardware resources and it is difficult to be applied in actual industrial projects. To solve these problems, we propose a novel lightweight high-performance model for automatic defect detection of PV cells in electroluminescence(EL) images based on neural architecture search and knowledge distillation. To auto-design an effective lightweight model, we introduce neural architecture search to the field of PV cell defect classification for the first time. Since the defect can be any size, we design a proper search structure of network to better exploit the multi-scale characteristic. To improve the overall performance of the searched lightweight model, we further transfer the knowledge learned by the existing pre-trained large-scale model based on knowledge distillation. Different kinds of knowledge are exploited and transferred, including attention information, feature information, logit information and task-oriented information. Experiments have demonstrated that the proposed model achieves the state-of-the-art performance on the public PV cell dataset of EL images under online data augmentation with accuracy of 91.74% and the parameters of 1.85M. The proposed lightweight high-performance model can be easily deployed to the end devices of the actual industrial projects and retain the accuracy.


title: Continuous-Time Fixed-Lag Smoothing for LiDAR-Inertial-Camera SLAM

abstract: Localization and mapping with heterogeneous multi-sensor fusion have been prevalent in recent years. To adequately fuse multi-modal sensor measurements received at different time instants and different frequencies, we estimate the continuous-time trajectory by fixed-lag smoothing within a factor-graph optimization framework. With the continuous-time formulation, we can query poses at any time instants corresponding to the sensor measurements. To bound the computation complexity of the continuous-time fixed-lag smoother, we maintain temporal and keyframe sliding windows with constant size, and probabilistically marginalize out control points of the trajectory and other states, which allows preserving prior information for future sliding-window optimization. Based on continuous-time fixed-lag smoothing, we design tightly-coupled multi-modal SLAM algorithms with a variety of sensor combinations, like the LiDAR-inertial and LiDAR-inertial-camera SLAM systems, in which online timeoffset calibration is also naturally supported. More importantly, benefiting from the marginalization and our derived analytical Jacobians for optimization, the proposed continuous-time SLAM systems can achieve real-time performance regardless of the high complexity of continuous-time formulation. The proposed multi-modal SLAM systems have been widely evaluated on three public datasets and self-collect datasets. The results demonstrate that the proposed continuous-time SLAM systems can achieve high-accuracy pose estimations and outperform existing state-of-the-art methods. To benefit the research community, we will open source our code at ~\url{https://github.com/APRIL-ZJU/clic}.


title: When Demonstrations Meet Generative World Models: A Maximum Likelihood Framework for Offline Inverse Reinforcement Learning

abstract: Offline inverse reinforcement learning (Offline IRL) aims to recover the structure of rewards and environment dynamics that underlie observed actions in a fixed, finite set of demonstrations from an expert agent. Accurate models of expertise in executing a task has applications in safety-sensitive applications such as clinical decision making and autonomous driving. However, the structure of an expert's preferences implicit in observed actions is closely linked to the expert's model of the environment dynamics (i.e. the ``world'' model). Thus, inaccurate models of the world obtained from finite data with limited coverage could compound inaccuracy in estimated rewards. To address this issue, we propose a bi-level optimization formulation of the estimation task wherein the upper level is likelihood maximization based upon a conservative model of the expert's policy (lower level). The policy model is conservative in that it maximizes reward subject to a penalty that is increasing in the uncertainty of the estimated model of the world. We propose a new algorithmic framework to solve the bi-level optimization problem formulation and provide statistical and computational guarantees of performance for the associated optimal reward estimator. Finally, we demonstrate that the proposed algorithm outperforms the state-of-the-art offline IRL and imitation learning benchmarks by a large margin, over the continuous control tasks in MuJoCo and different datasets in the D4RL benchmark.


title: CUTS: Neural Causal Discovery from Irregular Time-Series Data

abstract: Causal discovery from time-series data has been a central task in machine learning. Recently, Granger causality inference is gaining momentum due to its good explainability and high compatibility with emerging deep neural networks. However, most existing methods assume structured input data and degenerate greatly when encountering data with randomly missing entries or non-uniform sampling frequencies, which hampers their applications in real scenarios. To address this issue, here we present CUTS, a neural Granger causal discovery algorithm to jointly impute unobserved data points and build causal graphs, via plugging in two mutually boosting modules in an iterative framework: (i) Latent data prediction stage: designs a Delayed Supervision Graph Neural Network (DSGNN) to hallucinate and register unstructured data which might be of high dimension and with complex distribution; (ii) Causal graph fitting stage: builds a causal adjacency matrix with imputed data under sparse penalty. Experiments show that CUTS effectively infers causal graphs from unstructured time-series data, with significantly superior performance to existing methods. Our approach constitutes a promising step towards applying causal discovery to real applications with non-ideal observations.


title: The Capacity for Moral Self-Correction in Large Language Models

abstract: We test the hypothesis that language models trained with reinforcement learning from human feedback (RLHF) have the capability to "morally self-correct" -- to avoid producing harmful outputs -- if instructed to do so. We find strong evidence in support of this hypothesis across three different experiments, each of which reveal different facets of moral self-correction. We find that the capability for moral self-correction emerges at 22B model parameters, and typically improves with increasing model size and RLHF training. We believe that at this level of scale, language models obtain two capabilities that they can use for moral self-correction: (1) they can follow instructions and (2) they can learn complex normative concepts of harm like stereotyping, bias, and discrimination. As such, they can follow instructions to avoid certain kinds of morally harmful outputs. We believe our results are cause for cautious optimism regarding the ability to train language models to abide by ethical principles.


title: Computation of forces and stresses in solids: Towards accurate structural optimization with auxiliary-field quantum Monte Carlo

abstract: The accurate computation of forces and other energy derivatives has been a long-standing challenge for quantum Monte Carlo methods. A number of technical obstacles contribute to this challenge. We discuss how these obstacles can be removed with the auxiliary-field quantum Monte Carlo (AFQMC) approach. AFQMC is a general, high-accuracy, many-body total-energy method for molecules and solids. The implementation of back-propagation for pure estimators allows direct calculation of gradients of the energy via the Hellmann-Feynman theorem. A planewave basis with norm-conserving pseudopotentials is used for the study of periodic bulk materials. Completeness of the planewave basis minimizes the effect of so-called Pulay terms. The ionic pseudopotentials, which can be incorporated in AFQMC in exactly the same manner as in standard independent-electron methods, regulate the force and stress estimators and eliminate any potential divergence of the Monte Carlo variances. The resulting approach allows applications of full geometry optimizations in bulk materials. It also paves the way for many-body computations of the phonon spectrum in solids.


title: On multiplicative functions which are additive on positive cubes

abstract: Let $k \geq 3$. If a multiplicative function $f$ satisfies \[ f(a_1^3 + a_2^3 + \cdots + a_k^3) = f(a_1^3) + f(a_2^3) + \cdots + f(a_k^3) \] for all $a_1, a_2, \ldots, a_k \in \mathbb{N}$, then $f$ is the identity function. The set of positive cubes is said to be a $k$-additive uniqueness set for multiplicative functions. But, the condition for $k=2$ can be satisfied by infinitely many multiplicative functions. Besides, if $k \geq 3$ and a multiplicative function $g$ satisfies \[ g(a_1^3 + a_2^3 + \cdots + a_k^3) = g(a_1)^3 + g(a_2)^3 + \cdots + g(a_k)^3 \] for all $a_1, a_2, \ldots, a_k \in \mathbb{N}$, then $g$ is the identity function. However, when $k=2$, there exist three different types of multiplicative functions.


title: A New Reduced Basis Method for Parabolic Equations Based on Single-Eigenvalue Acceleration

abstract: In this paper, we develop a new reduced basis (RB) method, named as Single Eigenvalue Acceleration Method (SEAM), for second-order parabolic equations with homogeneous Dirichlet boundary conditions. The high-fidelity numerical method adopts the backward Euler scheme and conforming finite elements for the temporal and spatial discretization, respectively. Under the assumption that the time step size is sufficiently small and time steps are not very large, we show that the singular value distribution of the high-fidelity solution matrix $U$ is close to that of a rank one matrix. We select the eigenfunction associated with the principal eigenvalue of the matrix $U^\top U$ as the basis of the Proper Orthogonal Decomposition (POD) method to obtain SEAM and a parallel SEAM. Numerical experiments confirm the efficiency of the new method.


title: Genuinely ramified maps and pseudo-stable vector bundles

abstract: Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism between the \'etale fundamental groups $f_*:\pi^{\rm et}_{1}(Y) \rightarrow\pi^{\rm et}_{1}(X)$ is surjective. Fix a polarization on $X$ and equip $Y$ with the pulled back polarization. For a point $y_0\in Y$, let $\varpi(Y, y_0)$ (respectively, $\varpi(X, f(y_0))$) be the affine group scheme given by the neutral Tannakian category defined by the strongly pseudo-stable vector bundles of degree zero on $Y$ (respectively, $X$). We prove that the homomorphism $\varpi(Y, y_0) \rightarrow \varpi(X, f(y_0))$ induced by $f$ is surjective. Let $E$ be a pseudo-stable vector bundle on $X$ and $F \subset f^*E$ a pseudo-stable subbundle with $\mu(F)= \mu(f^*E)$. We prove that $f^*E$ is pseudo-stable and there is a pseudo-stable subbundle $W \subset E$ such that $f^*W = F$ as subbundles of $f^*E$.


title: Multidimensional Fourier Quasicrystals I. Sufficient Conditions

abstract: We derive sufficient conditions for an atomic measure $\sum_{\lambda \in \Lambda} m_\lambda\, \delta_\lambda,$ where $\Lambda \subset \mathbb R^n,$ $m_\lambda$ are positive integers, and $\delta_\lambda$ is the point measure at $\lambda,$ to be a Fourier quasicrystal, and suggest why they may also be necessary. These conditions extend the necessary and sufficient conditions derived by Lev, Olevskii, and Ulanovskii for $n = 1.$ Our methods exploit the toric geometry relation between Grothendieck residues and Newton polytopes derived by Gelfond and Khovanskii.


title: The Phenomenological Research on Higgs and dark matter in the Next-to-Minimal Supersymmetric Standard Model

abstract: The $Z_3$-invariant next-to-minimal supersymmetric standard model (NMSSM) can provide a candidate for dark matter (DM). It can also be used to explain the hypothesis that the Higgs signal observed on the Large Hadron Collider (LHC) comes from the contribution of the two lightest CP-even Higgs bosons, whose masses are near 125 GeV. At present, XENON1T, LUX, and PandaX experiments have imposed very strict restrictions on direct collision cross sections of {dark matter}. In this paper, we consider a scenario that the observed Higgs signal is the superposition of two mass-degenerate Higgs in the $Z_3$-invariant NMSSM and scan the seven-dimension parameter space composing of $\lambda, \kappa, \tan\beta, \mu, A_k, A_t, M_1$ via the Markov chain Monte Carlo (MCMC) method. We find that the DM relic density, as well as the LHC searches for sparticles, especially the DM direct detections, has provided a strong limit on the parameter space. %Please check intended meaning has been retained. The allowed parameter space is featured by a relatively small $\mu \le 300$ GeV and about $\tan\beta\in(10,20)$. In addition, the DM is Higgsino-dominated because of $|\frac{2\kappa}{\lambda}|>1$. Moreover, the co-annihilation between $\tilde{\chi}_1^0$ and $\tilde{\chi}_1^\pm$ must be taken into account to obtain the reasonable DM relic density.


title: Randomized Orthogonal Projection Methods for Krylov Subspace Solvers

abstract: Randomized orthogonal projection methods (ROPMs) can be used to speed up the computation of Krylov subspace methods in various contexts. Through a theoretical and numerical investigation, we establish that these methods produce quasi-optimal approximations over the Krylov subspace. Our numerical experiments outline the convergence of ROPMs for all matrices in our test set, with occasional spikes, but overall with a convergence rate similar to that of standard OPMs.


title: Demystifying security and compatibility issues in Android Apps

abstract: Never before has any OS been so popular as Android. Existing mobile phones are not simply devices for making phone calls and receiving SMS messages, but powerful communication and entertainment platforms for web surfing, social networking, etc. Even though the Android OS offers powerful communication and application execution capabilities, it is riddled with defects (e.g., security risks, and compatibility issues), new vulnerabilities come to light daily, and bugs cost the economy tens of billions of dollars annually. For example, malicious apps (e.g., back-doors, fraud apps, ransomware, spyware, etc.) are reported [Google, 2022] to exhibit malicious behaviours, including privacy stealing, unwanted programs installed, etc. To counteract these threats, many works have been proposed that rely on static analysis techniques to detect such issues. However, static techniques are not sufficient on their own to detect such defects precisely. This will likely yield false positive results as static analysis has to make some trade-offs when handling complicated cases (e.g., object-sensitive vs. object-insensitive). In addition, static analysis techniques will also likely suffer from soundness issues because some complicated features (e.g., reflection, obfuscation, and hardening) are difficult to be handled [Sun et al., 2021b, Samhi et al., 2022].


title: Edge-weighted pFISTA-Net for MRI Reconstruction

abstract: Deep learning based on unrolled algorithm has served as an effective method for accelerated magnetic resonance imaging (MRI). However, many methods ignore the direct use of edge information to assist MRI reconstruction. In this work, we present the edge-weighted pFISTA-Net that directly applies the detected edge map to the soft-thresholding part of pFISTA-Net. The soft-thresholding value of different regions will be adjusted according to the edge map. Experimental results of a public brain dataset show that the proposed yields reconstructions with lower error and better artifact suppression compared with the state-of-the-art deep learning-based methods. The edge-weighted pFISTA-Net also shows robustness for different undersampling masks and edge detection operators. In addition, we extend the edge weighted structure to joint reconstruction and segmentation network and obtain improved reconstruction performance and more accurate segmentation results.


title: Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions

abstract: Robots deployed in unstructured, real-world environments operate under considerable uncertainty due to imperfect state estimates, model error, and disturbances. Given this real-world context, the goal of this paper is to develop controllers that are provably safe under uncertainties. To this end, we leverage Control Barrier Functions (CBFs) which guarantee that a robot remains in a ``safe set'' during its operation -- yet CBFs (and their associated guarantees) are traditionally studied in the context of continuous-time, deterministic systems with bounded uncertainties. In this work, we study the safety properties of discrete-time CBFs (DTCBFs) for systems with discrete-time dynamics and unbounded stochastic disturbances. Using tools from martingale theory, we develop probabilistic bounds for the safety (over a finite time horizon) of systems whose dynamics satisfy the discrete-time barrier function condition in expectation, and analyze the effect of Jensen's inequality on DTCBF-based controllers. Finally, we present several examples of our method synthesizing safe control inputs for systems subject to significant process noise, including an inverted pendulum, a double integrator, and a quadruped locomoting on a narrow path.


title: On time-consistent equilibrium stopping under aggregation of diverse discount rates

abstract: This paper studies the central planner's decision making on behalf of a group of members with diverse discount rates. In the context of optimal stopping, we work with a smooth aggregation preference to incorporate all heterogeneous discount rates with an attitude function that reflects the aggregation rule in the same spirit of ambiguity aversion in the smooth ambiguity preference proposed in Klibanoff et al.(2005). The optimal stopping problem renders to be time inconsistent, for which we develop an iterative approach using consistent planning and characterize all time-consistent equilibria as fixed points of an operator in the setting of one-dimensional diffusion processes. We provide some sufficient conditions on both the underlying models and the attitude function such that the smallest equilibrium attains the optimal equilibrium in which the attitude function becomes equivalent to the linear aggregation rule as of diversity neutral. In addition, we show that the optimal equilibrium is a weak equilibrium in the existing literature. When the sufficient condition of the attitude function is violated, we can illustrate by various examples that the characterization of the optimal equilibrium may differ significantly from some existing results for an individual agent.