title: H$_2$ + H$_2$O -> H$_4$O: Synthesizing Hyper-hydrogenated Water in Small-Sized Fullerenes?

abstract: Nanoscale confinement provides an ideal platform to rouse some exceptional reactions which cannot happen in the open space. Intuitively, H2 and H$_2$O cannot react. Herein, through utilizing small-sized fullerenes (C$_{24}$, C$_{26}$, C$_{28}$, and C$_{30}$) as nanoreactors, we demonstrate that a hyperhydrogenated water species, H$_4$O, can be easily formed using H2 and H$_2$O under ambient conditions by ab initio molecular dynamics simulations.The H$_4$O molecule rotates freely in the cavity of the cages and maintains its structure during the simulations. Further theoretical analysis indicates that H$_4$O in the fullerene possesses high stability thermodynamically and chemically, which can be rationalized by the electron transfer between H$_4$O and the fullerene. This work highlights the possibility of utilizing fullerene as a nanoreactor to provide confinement constraints for unexpected chemistry.


title: Richness out of smallness: a Possible Staged Blueprint on Future Colliders

abstract: Novel collision methods and rich phenomena are crucial to keeping high-energy collision physics more robust and attractive. In this document, we present a staged blueprint for future high-energy colliders: from neutrino-neutrino collision, neutrino-lepton collision to electron-muon and muon-muon collisions. Neutrino beam from TeV scale muons is a good candidate to enrich high-energy collision programs and can serve as a practical step toward a high-energy muon collider, which still requires tens of years of R&D. Neutrinos-neutrinos collision provides a promising way to probe heavy Majorana neutrinos and effective neutrino mass; neutrino and antineutrino annihilation into Z boson has a huge cross-section at 10K pb level; leptons-neutrinos collision benefits W boson mass precision measurements. With only a minimal amount of integrated luminosity, one can envision the ``Richness out of smallness''. This document summarizes the current status and the roadmap towards the muon-muon collider with less challenging techniques required through intermediate facilities, where a wide variety of physics goals could be achieved. A (preparatory) laboratory on novel colliders could attract vast international interests and collaborations.


title: Bifurcation Analysis Reveals Solution Structures of Phase Field Models

abstract: Phase field method is playing an increasingly important role in understanding and predicting morphological evolution in materials and biological systems. Here, we develop a new analytical approach based on bifurcation analysis to explore the mathematical solution structure of phase field models. Revealing such solution structures not only is of great mathematical interest but also may provide guidance to experimentally or computationally uncover new morphological evolution phenomena in materials undergoing electronic and structural phase transitions. To elucidate the idea, we apply this analytical approach to three representative phase field equations: Allen-Cahn equation, Cahn-Hilliard equation, and Allen-Cahn-Ohta-Kawasaki system. The solution structures of these three phase field equations are also verified numerically by the homotopy continuation method.


title: Model-Based Offline Reinforcement Learning with Pessimism-Modulated Dynamics Belief

abstract: Model-based offline reinforcement learning (RL) aims to find highly rewarding policy, by leveraging a previously collected static dataset and a dynamics model. While the dynamics model learned through reuse of the static dataset, its generalization ability hopefully promotes policy learning if properly utilized. To that end, several works propose to quantify the uncertainty of predicted dynamics, and explicitly apply it to penalize reward. However, as the dynamics and the reward are intrinsically different factors in context of MDP, characterizing the impact of dynamics uncertainty through reward penalty may incur unexpected tradeoff between model utilization and risk avoidance. In this work, we instead maintain a belief distribution over dynamics, and evaluate/optimize policy through biased sampling from the belief. The sampling procedure, biased towards pessimism, is derived based on an alternating Markov game formulation of offline RL. We formally show that the biased sampling naturally induces an updated dynamics belief with policy-dependent reweighting factor, termed Pessimism-Modulated Dynamics Belief. To improve policy, we devise an iterative regularized policy optimization algorithm for the game, with guarantee of monotonous improvement under certain condition. To make practical, we further devise an offline RL algorithm to approximately find the solution. Empirical results show that the proposed approach achieves state-of-the-art performance on a wide range of benchmark tasks.


title: Non-uniformity and Quantum Advice in the Quantum Random Oracle Model

abstract: QROM (quantum random oracle model), introduced by Boneh et al. (Asiacrypt 2011), captures all generic algorithms. However, it fails to describe non-uniform quantum algorithms with preprocessing power, which receives a piece of bounded classical or quantum advice. As non-uniform algorithms are largely believed to be the right model for attackers, starting from the work by Nayebi, Aaronson, Belovs, and Trevisan (QIC 2015), a line of works investigates non-uniform security in the random oracle model. Chung, Guo, Liu, and Qian (FOCS 2020) provide a framework and establish non-uniform security for many cryptographic applications. In this work, we continue the study on quantum advice in the QROM. We provide a new idea that generalizes the previous multi-instance framework, which we believe is more quantum-friendly and should be the quantum analogue of multi-instance games. To this end, we match the bounds with quantum advice to those with classical advice by Chung et al., showing quantum advice is almost as good/bad as classical advice for many natural security games in the QROM. Finally, we show that for some contrived games in the QROM, quantum advice can be exponentially better than classical advice for some parameter regimes. To our best knowledge, it provides some evidence of a general separation between quantum and classical advice relative to an unstructured oracle.


title: SubeventWriter: Iterative Sub-event Sequence Generation with Coherence Controller

abstract: In this paper, we propose a new task of sub-event generation for an unseen process to evaluate the understanding of the coherence of sub-event actions and objects. To solve the problem, we design SubeventWriter, a sub-event sequence generation framework with a coherence controller. Given an unseen process, the framework can iteratively construct the sub-event sequence by generating one sub-event at each iteration. We also design a very effective coherence controller to decode more coherent sub-events. As our extensive experiments and analysis indicate, SubeventWriter can generate more reliable and meaningful sub-event sequences for unseen processes.


title: Extremizers for the Strichartz Inequality for a Fourth-Order Schr\"odinger Equation

abstract: In this paper, we consider the Strichartz inequality for a fourth-order Schr\"odinger equation on $\mathbb{R}^3$. We show that extremizers exist using a linear profile decomposition. Based on the existence of extremizers, we use the associated Euler-Lagrange equation to show that the extremizers have exponential decay and consequently must be analytic. Furthermore, we also prove that extremizers must have the even property $|\widehat{f}(\xi)|=|\widehat{f}(-\xi)|$ almost everywhere.


title: CPSAA: Accelerating Sparse Attention using Crossbar-based Processing-In-Memory Architecture

abstract: The attention mechanism requires huge computational efforts to process unnecessary calculations, significantly limiting the system's performance. Researchers propose sparse attention to convert some DDMM operations to SDDMM and SpMM operations. However, current sparse attention solutions introduce massive off-chip random memory access. We propose CPSAA, a novel crossbar-based PIM-featured sparse attention accelerator. First, we present a novel attention calculation mode. Second, we design a novel PIM-based sparsity pruning architecture. Finally, we present novel crossbar-based methods. Experimental results show that CPSAA has an average of 89.6X, 32.2X, 17.8X, 3.39X, and 3.84X performance improvement and 755.6X, 55.3X, 21.3X, 5.7X, and 4.9X energy-saving when compare with GPU, FPGA, SANGER, ReBERT, and ReTransformer.


title: Size Does Matter: An Experimental Study of Anxiety in Virtual Reality

abstract: The emotional response of users induced by VR scenarios has become a topic of interest, however, whether changing the size of objects in VR scenes induces different levels of anxiety remains a question to be studied. In this study, we conducted an experiment to initially reveal how the size of a large object in a VR environment affects changes in participants' (N = 38) anxiety level and heart rate. To holistically quantify the size of large objects in the VR visual field, we used the omnidirectional field of view occupancy (OFVO) criterion for the first time to represent the dimension of the object in the participant's entire field of view. The results showed that the participants' heartbeat and anxiety while viewing the large objects were positively and significantly correlated to OFVO. These study reveals that the increase of object size in VR environments is accompanied by a higher degree of user's anxiety.


title: A Near-Sensor Processing Accelerator for Approximate Local Binary Pattern Networks

abstract: In this work, a high-speed and energy-efficient comparator-based Near-Sensor Local Binary Pattern accelerator architecture (NS-LBP) is proposed to execute a novel local binary pattern deep neural network. First, inspired by recent LBP networks, we design an approximate, hardware-oriented, and multiply-accumulate (MAC)-free network named Ap-LBP for efficient feature extraction, further reducing the computation complexity. Then, we develop NS-LBP as a processing-in-SRAM unit and a parallel in-memory LBP algorithm to process images near the sensor in a cache, remarkably reducing the power consumption of data transmission to an off-chip processor. Our circuit-to-application co-simulation results on MNIST and SVHN data-sets demonstrate minor accuracy degradation compared to baseline CNN and LBP-network models, while NS-LBP achieves 1.25 GHz and energy-efficiency of 37.4 TOPS/W. NS-LBP reduces energy consumption by 2.2x and execution time by a factor of 4x compared to the best recent LBP-based networks.


title: Parameter-Efficient Masking Networks

abstract: A deeper network structure generally handles more complicated non-linearity and performs more competitively. Nowadays, advanced network designs often contain a large number of repetitive structures (e.g., Transformer). They empower the network capacity to a new level but also increase the model size inevitably, which is unfriendly to either model restoring or transferring. In this study, we are the first to investigate the representative potential of fixed random weights with limited unique values by learning diverse masks and introduce the Parameter-Efficient Masking Networks (PEMN). It also naturally leads to a new paradigm for model compression to diminish the model size. Concretely, motivated by the repetitive structures in modern neural networks, we utilize one random initialized layer, accompanied with different masks, to convey different feature mappings and represent repetitive network modules. Therefore, the model can be expressed as \textit{one-layer} with a bunch of masks, which significantly reduce the model storage cost. Furthermore, we enhance our strategy by learning masks for a model filled by padding a given random weights vector. In this way, our method can further lower the space complexity, especially for models without many repetitive architectures. We validate the potential of PEMN learning masks on random weights with limited unique values and test its effectiveness for a new compression paradigm based on different network architectures. Code is available at https://github.com/yueb17/PEMN


title: Tripartite entanglement measure under local operations and classical communication

abstract: Multipartite entanglement is an indispensable resource in quantum communication and computation, however, it is a challenging task to faithfully quantify this global property of multipartite quantum systems. In this work, we study the concurrence fill, which admits a geometric interpretation to measure genuine tripartite entanglement for the three-qubit system in [S. Xie {\it et al.}, Phys. Rev. Lett. \textbf{127}. 040403 (2021)]. First, we use the well-known three-tangle and bipartite concurrence to reformulate this quantifier for all pure states. We then construct an explicit example to conclusively show the concurrence fill can be increased under local operation and classical communications (LOCCs) {\it on average}, implying it is not an entanglement monotone. Moreover, we give a simple proof of the LOCC-monotonicity of three-tangle and find that the bipartite concurrence and the squared can have distinct performances under the same LOCCs. Finally, we propose a reliable monotone to quantify genuine tripartite entanglement, which can also be easily generalised to the multipartite system. Our results shed light on studying genuine entanglement and also reveal the complex structure of multipartite systems.


title: Empirical Evaluation of Data Augmentations for Biobehavioral Time Series Data with Deep Learning

abstract: Deep learning has performed remarkably well on many tasks recently. However, the superior performance of deep models relies heavily on the availability of a large number of training data, which limits the wide adaptation of deep models on various clinical and affective computing tasks, as the labeled data are usually very limited. As an effective technique to increase the data variability and thus train deep models with better generalization, data augmentation (DA) is a critical step for the success of deep learning models on biobehavioral time series data. However, the effectiveness of various DAs for different datasets with different tasks and deep models is understudied for biobehavioral time series data. In this paper, we first systematically review eight basic DA methods for biobehavioral time series data, and evaluate the effects on seven datasets with three backbones. Next, we explore adapting more recent DA techniques (i.e., automatic augmentation, random augmentation) to biobehavioral time series data by designing a new policy architecture applicable to time series data. Last, we try to answer the question of why a DA is effective (or not) by first summarizing two desired attributes for augmentations (challenging and faithful), and then utilizing two metrics to quantitatively measure the corresponding attributes, which can guide us in the search for more effective DA for biobehavioral time series data by designing more challenging but still faithful transformations. Our code and results are available at Link.


title: A Mixture of Surprises for Unsupervised Reinforcement Learning

abstract: Unsupervised reinforcement learning aims at learning a generalist policy in a reward-free manner for fast adaptation to downstream tasks. Most of the existing methods propose to provide an intrinsic reward based on surprise. Maximizing or minimizing surprise drives the agent to either explore or gain control over its environment. However, both strategies rely on a strong assumption: the entropy of the environment's dynamics is either high or low. This assumption may not always hold in real-world scenarios, where the entropy of the environment's dynamics may be unknown. Hence, choosing between the two objectives is a dilemma. We propose a novel yet simple mixture of policies to address this concern, allowing us to optimize an objective that simultaneously maximizes and minimizes the surprise. Concretely, we train one mixture component whose objective is to maximize the surprise and another whose objective is to minimize the surprise. Hence, our method does not make assumptions about the entropy of the environment's dynamics. We call our method a $\textbf{M}\text{ixture }\textbf{O}\text{f }\textbf{S}\text{urprise}\textbf{S}$ (MOSS) for unsupervised reinforcement learning. Experimental results show that our simple method achieves state-of-the-art performance on the URLB benchmark, outperforming previous pure surprise maximization-based objectives. Our code is available at: https://github.com/LeapLabTHU/MOSS.


title: On the Minimum Cycle Cover problem on graphs with bounded co-degeneracy

abstract: In 2021, Duarte, Oliveira, and Souza [MFCS 2021] showed some problems that are FPT when parameterized by the treewidth of the complement graph (called co-treewidth). Since the degeneracy of a graph is at most its treewidth, they also introduced the study of co-degeneracy (the degeneracy of the complement graph) as a parameter. In 1976, Bondy and Chv\'{a}tal [DM 1976] introduced the notion of closure of a graph: let $\ell$ be an integer; the $(n+\ell)$-closure, $\operatorname{cl}_{n+\ell}(G)$, of a graph $G$ with $n$ vertices is obtained from $G$ by recursively adding an edge between pairs of nonadjacent vertices whose degree sum is at least $n+\ell$ until no such pair remains. A graph property $\Upsilon$ defined on all graphs of order $n$ is said to be $(n+\ell)$-stable if for any graph $G$ of order $n$ that does not satisfy $\Upsilon$, the fact that $uv$ is not an edge of $G$ and that $G+uv$ satisfies $\Upsilon$ implies $d(u)+d(v)< n+\ell$. Duarte et al. [MFCS 2021] developed an algorithmic framework for co-degeneracy parameterization based on the notion of closures for solving problems that are $(n+\ell)$-stable for some $\ell$ bounded by a function of the co-degeneracy. In this paper, we first determine the stability of the property of having a bounded cycle cover. After that, combining the framework of Duarte et al. [MFCS 2021] with some results of Jansen, Kozma, and Nederlof [WG 2019], we obtain a $2^{\mathcal{O}(k)}\cdot n^{\mathcal{O}(1)}$-time algorithm for Minimum Cycle Cover on graphs with co-degeneracy at most $k$, which generalizes Duarte et al. [MFCS 2021] and Jansen et al. [WG 2019] results concerning the Hamiltonian Cycle problem.


title: COLLIDER: A Robust Training Framework for Backdoor Data

abstract: Deep neural network (DNN) classifiers are vulnerable to backdoor attacks. An adversary poisons some of the training data in such attacks by installing a trigger. The goal is to make the trained DNN output the attacker's desired class whenever the trigger is activated while performing as usual for clean data. Various approaches have recently been proposed to detect malicious backdoored DNNs. However, a robust, end-to-end training approach, like adversarial training, is yet to be discovered for backdoor poisoned data. In this paper, we take the first step toward such methods by developing a robust training framework, COLLIDER, that selects the most prominent samples by exploiting the underlying geometric structures of the data. Specifically, we effectively filter out candidate poisoned data at each training epoch by solving a geometrical coreset selection objective. We first argue how clean data samples exhibit (1) gradients similar to the clean majority of data and (2) low local intrinsic dimensionality (LID). Based on these criteria, we define a novel coreset selection objective to find such samples, which are used for training a DNN. We show the effectiveness of the proposed method for robust training of DNNs on various poisoned datasets, reducing the backdoor success rate significantly.


title: From Gradient Flow on Population Loss to Learning with Stochastic Gradient Descent

abstract: Stochastic Gradient Descent (SGD) has been the method of choice for learning large-scale non-convex models. While a general analysis of when SGD works has been elusive, there has been a lot of recent progress in understanding the convergence of Gradient Flow (GF) on the population loss, partly due to the simplicity that a continuous-time analysis buys us. An overarching theme of our paper is providing general conditions under which SGD converges, assuming that GF on the population loss converges. Our main tool to establish this connection is a general converse Lyapunov like theorem, which implies the existence of a Lyapunov potential under mild assumptions on the rates of convergence of GF. In fact, using these potentials, we show a one-to-one correspondence between rates of convergence of GF and geometrical properties of the underlying objective. When these potentials further satisfy certain self-bounding properties, we show that they can be used to provide a convergence guarantee for Gradient Descent (GD) and SGD (even when the paths of GF and GD/SGD are quite far apart). It turns out that these self-bounding assumptions are in a sense also necessary for GD/SGD to work. Using our framework, we provide a unified analysis for GD/SGD not only for classical settings like convex losses, or objectives that satisfy PL / KL properties, but also for more complex problems including Phase Retrieval and Matrix sq-root, and extending the results in the recent work of Chatterjee 2022.


title: Jointly Reinforced User Simulator and Task-oriented Dialog System with Simplified Generative Architecture

abstract: Recently, there has been progress in supervised funetuning pretrained GPT-2 to build end-to-end task-oriented dialog (TOD) systems. However, online reinforcement learning of a GPT-2 based dialog system (DS), together with a end-to-end user simulator (US), has not ever been explored. Moreover, a drawback with existing GPT-2 based TOD systems is that they mostly employ the whole dialog history as input, which brings inefficiencies in memory and compute. In this paper, we first propose Simplified Generative Architectures (SGA) for DS and US respectively, both based on GPT-2 but using shortened history. Then, we successfully develop Jointly Reinforced US and DS, called SGA-JRUD. Our DS with the proposed SGA, when only supervised trained, achieves state-of-the-art performance on MultiWOZ2.1 and is more compute-efficient in both training and generation. Extensive experiments on MultiWOZ2.1 further show the superiority of SGA-JRUD in both offline and online evaluations.


title: Q-ViT: Accurate and Fully Quantized Low-bit Vision Transformer

abstract: The large pre-trained vision transformers (ViTs) have demonstrated remarkable performance on various visual tasks, but suffer from expensive computational and memory cost problems when deployed on resource-constrained devices. Among the powerful compression approaches, quantization extremely reduces the computation and memory consumption by low-bit parameters and bit-wise operations. However, low-bit ViTs remain largely unexplored and usually suffer from a significant performance drop compared with the real-valued counterparts. In this work, through extensive empirical analysis, we first identify the bottleneck for severe performance drop comes from the information distortion of the low-bit quantized self-attention map. We then develop an information rectification module (IRM) and a distribution guided distillation (DGD) scheme for fully quantized vision transformers (Q-ViT) to effectively eliminate such distortion, leading to a fully quantized ViTs. We evaluate our methods on popular DeiT and Swin backbones. Extensive experimental results show that our method achieves a much better performance than the prior arts. For example, our Q-ViT can theoretically accelerates the ViT-S by 6.14x and achieves about 80.9% Top-1 accuracy, even surpassing the full-precision counterpart by 1.0% on ImageNet dataset. Our codes and models are attached on https://github.com/YanjingLi0202/Q-ViT


title: Bump Morphology of the CMAGIC Diagram

abstract: We apply the color-magnitude intercept calibration method (CMAGIC) to the Nearby Supernova Factory SNe Ia spectrophotometric dataset. The currently existing CMAGIC parameters are the slope and intercept of a straight line fit to the first linear region in the color-magnitude diagram, which occurs over a span of approximately 30 days after maximum brightness. We define a new parameter, $\omega_{XY}$, the size of the ``bump'' feature near maximum brightness for arbitrary filters $X$ and $Y$. We find a significant correlation between the slope of the first linear region, $\beta_{XY, 1}$, in the CMAGIC diagram and $\omega_{XY}$. These results may be used to our advantage, as they are less affected by extinction than parameters defined as a function of time. Additionally, $\omega_{XY}$ is computed independently of templates. We find that current empirical templates are successful at reproducing the features described in this work, particularly SALT3, which correctly exhibits the negative correlation between slope and bump size seen in our data. In 1-D simulations, we show that the correlation between the size of the bump feature and $\beta_{XY, 1}$ can be understood as a result of chemical mixing due to large-scale Rayleigh-Taylor instabilities.


title: Categorizing Semantic Representations for Neural Machine Translation

abstract: Modern neural machine translation (NMT) models have achieved competitive performance in standard benchmarks. However, they have recently been shown to suffer limitation in compositional generalization, failing to effectively learn the translation of atoms (e.g., words) and their semantic composition (e.g., modification) from seen compounds (e.g., phrases), and thus suffering from significantly weakened translation performance on unseen compounds during inference. We address this issue by introducing categorization to the source contextualized representations. The main idea is to enhance generalization by reducing sparsity and overfitting, which is achieved by finding prototypes of token representations over the training set and integrating their embeddings into the source encoding. Experiments on a dedicated MT dataset (i.e., CoGnition) show that our method reduces compositional generalization error rates by 24\% error reduction. In addition, our conceptually simple method gives consistently better results than the Transformer baseline on a range of general MT datasets.


title: Large Language Models are few(1)-shot Table Reasoners

abstract: Recent literature has shown that large language models (LLMs) are generally excellent few-shot reasoners to solve text reasoning tasks. However, the capability of LLMs on table reasoning tasks is yet to be explored. In this paper, we aim at understanding how well LLMs can perform table-related tasks with few-shot in-context learning. Specifically, we evaluated LLMs on popular table QA and fact verification datasets like WikiTableQuestion, FetaQA, TabFact, and FEVEROUS and found that LLMs are competent at complex reasoning over table structures, though these models are not pre-trained on any table corpus. When combined with `chain of thoughts' prompting, LLMs can achieve very strong performance with only a 1-shot demonstration, even on par with some SoTA models. We show that LLMs are even more competent at generating comprehensive long-form answers on FetaQA than tuned T5-large. We further manually studied the reasoning chains elicited from LLMs and found that these reasoning chains are highly consistent with the underlying semantic form. We believe that LLMs can serve as a simple yet generic baseline for future research. The code and data are released in https://github.com/wenhuchen/TableCoT.


title: Weighted Distillation with Unlabeled Examples

abstract: Distillation with unlabeled examples is a popular and powerful method for training deep neural networks in settings where the amount of labeled data is limited: A large ''teacher'' neural network is trained on the labeled data available, and then it is used to generate labels on an unlabeled dataset (typically much larger in size). These labels are then utilized to train the smaller ''student'' model which will actually be deployed. Naturally, the success of the approach depends on the quality of the teacher's labels, since the student could be confused if trained on inaccurate data. This paper proposes a principled approach for addressing this issue based on a ''debiasing'' reweighting of the student's loss function tailored to the distillation training paradigm. Our method is hyper-parameter free, data-agnostic, and simple to implement. We demonstrate significant improvements on popular academic datasets and we accompany our results with a theoretical analysis which rigorously justifies the performance of our method in certain settings.


title: Far-from-equilibrium attractors with a realistic non-conformal equation of state

abstract: Using anisotropic hydrodynamics, we examine the existence of early-time attractors of non-conformal systems undergoing Bjorken expansion. In the case of a constant mass, we find that the evolution of the scaled longitudinal pressure is insensitive to variations of initial conditions converging onto an early-time universal curve and eventually merging with the late-time Navier-Stokes attractor (the hydrodynamic attractor). On the other hand, the bulk and the shear viscous corrections do not show an early-time attractor behavior. These results are consistent with previous studies considering a constant mass. When a realistic equation of state is included in the dynamics with a thermal mass, we demonstrate for the first time the absence of strict late-time universal attractors. However, a semi-universal feature of the evolution at very late times remains.


title: Real-Time Dense Field Phase-to-Space Simulation of Imaging through Atmospheric Turbulence

abstract: Numerical simulation of atmospheric turbulence is one of the biggest bottlenecks in developing computational techniques for solving the inverse problem in long-range imaging. The classical split-step method is based upon numerical wave propagation which splits the propagation path into many segments and propagates every pixel in each segment individually via the Fresnel integral. This repeated evaluation becomes increasingly time-consuming for larger images. As a result, the split-step simulation is often done only on a sparse grid of points followed by an interpolation to the other pixels. Even so, the computation is expensive for real-time applications. In this paper, we present a new simulation method that enables \emph{real-time} processing over a \emph{dense} grid of points. Building upon the recently developed multi-aperture model and the phase-to-space transform, we overcome the memory bottleneck in drawing random samples from the Zernike correlation tensor. We show that the cross-correlation of the Zernike modes has an insignificant contribution to the statistics of the random samples. By approximating these cross-correlation blocks in the Zernike tensor, we restore the homogeneity of the tensor which then enables Fourier-based random sampling. On a $512\times512$ image, the new simulator achieves 0.025 seconds per frame over a dense field. On a $3840 \times 2160$ image which would have taken 13 hours to simulate using the split-step method, the new simulator can run at approximately 60 seconds per frame.


title: Perfect matching cuts partitioning a graph into complementary subgraphs

abstract: In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $\Pi$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such a way that the edge cut $[V(H),V(\overline{H})]$ satisfies the property $\Pi$. Motivated by previous work, we consider Comp-Sub($\Pi$) when the property $\Pi=\mathcal{PM}$ specifies that the edge cut of the decomposition is a perfect matching. We prove that Comp-Sub($\mathcal{PM}$) is GI-hard when the graph $G$ is $\{C_{k\geq 7}, \overline{C}_{k\geq 7} \}$-free. On the other hand, we show that Comp-Sub($\mathcal{PM}$) is polynomial-time solvable on $hole$-free graphs and on $P_5$-free graphs. Furthermore, we present characterizations of Comp-Sub($\mathcal{PM}$) on chordal, distance-hereditary, and extended $P_4$-laden graphs.


title: Construction of non-regular $A_\alpha$-cospectral graphs from some join of graphs

abstract: Cospectral graphs are a fascinating concept in graph theory, where two non-isomorphic graphs possess identical sets of eigenvalues. In this paper, we compute the $A_\alpha$-characteristic polynomial of neighbour and non-neighbour splitting join, neighbour and non-neighbour shadow join, central vertex and edge join and duplicate join of two graphs. In addition, when $\graphene_1$ and $\graphene_2$ are regular, we compute the $A_\alpha$-spectrum of these graphs. As an application, we construct non-regular, non-isomorphic graphs that are $A_\alpha$-cospectral.


title: Low-resource Neural Machine Translation with Cross-modal Alignment

abstract: How to achieve neural machine translation with limited parallel data? Existing techniques often rely on large-scale monolingual corpora, which is impractical for some low-resource languages. In this paper, we turn to connect several low-resource languages to a particular high-resource one by additional visual modality. Specifically, we propose a cross-modal contrastive learning method to learn a shared space for all languages, where both a coarse-grained sentence-level objective and a fine-grained token-level one are introduced. Experimental results and further analysis show that our method can effectively learn the cross-modal and cross-lingual alignment with a small amount of image-text pairs and achieves significant improvements over the text-only baseline under both zero-shot and few-shot scenarios.


title: Dynamical analysis in regularized $4D$ Einstein-Gauss-Bonnet gravity with non-minimal coupling

abstract: We investigate the regularized four-dimensional Einstein-Gauss-Bonnet ($4D$ EGB) gravity with a non-minimal scalar coupling function, which is an extension of the regularized $4D$ EGB theory. By introducing non-minimal coupling to the Gauss-Bonnet term, we demonstrate the additional contribution to the dynamical equations which is otherwise absent in the dimensionally-regularized theory. Furthermore, we analyze the stability of the system by using the dynamical system approach based on fixed points. Then, we consider the time evolution to investigate the history of the universe and constraint with observational data to obtain the cosmological parameters of the model.


title: Hybrid RL: Using Both Offline and Online Data Can Make RL Efficient

abstract: We consider a hybrid reinforcement learning setting (Hybrid RL), in which an agent has access to an offline dataset and the ability to collect experience via real-world online interaction. The framework mitigates the challenges that arise in both pure offline and online RL settings, allowing for the design of simple and highly effective algorithms, in both theory and practice. We demonstrate these advantages by adapting the classical Q learning/iteration algorithm to the hybrid setting, which we call Hybrid Q-Learning or Hy-Q. In our theoretical results, we prove that the algorithm is both computationally and statistically efficient whenever the offline dataset supports a high-quality policy and the environment has bounded bilinear rank. Notably, we require no assumptions on the coverage provided by the initial distribution, in contrast with guarantees for policy gradient/iteration methods. In our experimental results, we show that Hy-Q with neural network function approximation outperforms state-of-the-art online, offline, and hybrid RL baselines on challenging benchmarks, including Montezuma's Revenge.


title: Reward Imputation with Sketching for Contextual Batched Bandits

abstract: Contextual batched bandit (CBB) is a setting where a batch of rewards is observed from the environment at the end of each episode, but the rewards of the non-executed actions are unobserved, resulting in partial-information feedback. Existing approaches for CBB often ignore the rewards of the non-executed actions, leading to underutilization of feedback information. In this paper, we propose an efficient approach called Sketched Policy Updating with Imputed Rewards (SPUIR) that completes the unobserved rewards using sketching, which approximates the full-information feedbacks. We formulate reward imputation as an imputation regularized ridge regression problem that captures the feedback mechanisms of both executed and non-executed actions. To reduce time complexity, we solve the regression problem using randomized sketching. We prove that our approach achieves an instantaneous regret with controllable bias and smaller variance than approaches without reward imputation. Furthermore, our approach enjoys a sublinear regret bound against the optimal policy. We also present two extensions, a rate-scheduled version and a version for nonlinear rewards, making our approach more practical. Experimental results show that SPUIR outperforms state-of-the-art baselines on synthetic, public benchmark, and real-world datasets.


title: LIME: Weakly-Supervised Text Classification Without Seeds

abstract: In weakly-supervised text classification, only label names act as sources of supervision. Predominant approaches to weakly-supervised text classification utilize a two-phase framework, where test samples are first assigned pseudo-labels and are then used to train a neural text classifier. In most previous work, the pseudo-labeling step is dependent on obtaining seed words that best capture the relevance of each class label. We present LIME, a framework for weakly-supervised text classification that entirely replaces the brittle seed-word generation process with entailment-based pseudo-classification. We find that combining weakly-supervised classification and textual entailment mitigates shortcomings of both, resulting in a more streamlined and effective classification pipeline. With just an off-the-shelf textual entailment model, LIME outperforms recent baselines in weakly-supervised text classification and achieves state-of-the-art in 4 benchmarks. We open source our code at https://github.com/seongminp/LIME.


title: Local maxima of white noise spectrograms and Gaussian Entire Functions

abstract: We confirm Flandrin's prediction for the expected average of local maxima of spectrograms of complex white noise with Gaussian windows (Gaussian spectrograms or, equivalently, modulus of weighted Gaussian Entire Functions), a consequence of the conjectured double honeycomb mean model for the network of zeros and local maxima, where the area of local maxima centered hexagons is three times larger than the area of zero centered hexagons. More precisely, we show that Gaussian spectrograms, normalized such that their expected density of zeros is 1, have an expected density of 5/3 critical points, among those 1/3 are local maxima, and 4/3 saddle points, and compute the distributions of ordinate values (heights) for spectrogram local extrema. This is done by first writing the spectrograms in terms of Gaussian Entire Functions (GEFs). The extrema are considered under the translation invariant derivative of the Fock space (which in this case coincides with the Chern connection from complex differential geometry). We also observe that the critical points of a GEF are precisely the zeros of a Gaussian random function in the first higher Landau level. We discuss natural extensions of these Gaussian random functions: Gaussian Weyl-Heisenberg functions and Gaussian bi-entire functions. The paper also contains a bibliographic review of recent results on the theory and applications of white noise spectrograms, connections between several developments, and is partially intended as a pedestrian introduction to the topic.


title: Few-shot Relational Reasoning via Connection Subgraph Pretraining

abstract: Few-shot knowledge graph (KG) completion task aims to perform inductive reasoning over the KG: given only a few support triplets of a new relation $\bowtie$ (e.g., (chop,$\bowtie$,kitchen), (read,$\bowtie$,library), the goal is to predict the query triplets of the same unseen relation $\bowtie$, e.g., (sleep,$\bowtie$,?). Current approaches cast the problem in a meta-learning framework, where the model needs to be first jointly trained over many training few-shot tasks, each being defined by its own relation, so that learning/prediction on the target few-shot task can be effective. However, in real-world KGs, curating many training tasks is a challenging ad hoc process. Here we propose Connection Subgraph Reasoner (CSR), which can make predictions for the target few-shot task directly without the need for pre-training on the human curated set of training tasks. The key to CSR is that we explicitly model a shared connection subgraph between support and query triplets, as inspired by the principle of eliminative induction. To adapt to specific KG, we design a corresponding self-supervised pretraining scheme with the objective of reconstructing automatically sampled connection subgraphs. Our pretrained model can then be directly applied to target few-shot tasks on without the need for training few-shot tasks. Extensive experiments on real KGs, including NELL, FB15K-237, and ConceptNet, demonstrate the effectiveness of our framework: we show that even a learning-free implementation of CSR can already perform competitively to existing methods on target few-shot tasks; with pretraining, CSR can achieve significant gains of up to 52% on the more challenging inductive few-shot tasks where the entities are also unseen during (pre)training.


title: Stochastic noise can be helpful for variational quantum algorithms

abstract: Saddle points constitute a crucial challenge for first-order gradient descent algorithms. In notions of classical machine learning, they are avoided for example by means of stochastic gradient descent methods. In this work, we provide evidence that the saddle points problem can be naturally avoided in variational quantum algorithms by exploiting the presence of stochasticity. We prove convergence guarantees and present practical examples in numerical simulations and on quantum hardware. We argue that the natural stochasticity of variational algorithms can be beneficial for avoiding strict saddle points, i.e., those saddle points with at least one negative Hessian eigenvalue. This insight that some levels of shot noise could help is expected to add a new perspective to notions of near-term variational quantum algorithms.


title: A Bayesian analysis of the time through the order penalty in baseball

abstract: As a baseball game progresses, batters appear to perform better the more times they face a particular pitcher. The apparent drop-off in pitcher performance from one time through the order to the next, known as the Time Through the Order Penalty (TTOP), is often attributed to within-game batter learning. Although the TTOP has largely been accepted within baseball and influences many managers' in-game decision making, we argue that existing approaches of estimating the size of the TTOP cannot disentangle continuous evolution in pitcher performance over the course of the game from discontinuities between successive times through the order. Using a Bayesian multinomial regression model, we find that, after adjusting for confounders like batter and pitcher quality, handedness, and home field advantage, there is little evidence of strong discontinuity in pitcher performance between times through the order. Our analysis suggests that the start of the third time through the order should not be viewed as a special cutoff point in deciding whether to pull a starting pitcher.


title: Assessing Out-of-Domain Language Model Performance from Few Examples

abstract: While pretrained language models have exhibited impressive generalization capabilities, they still behave unpredictably under certain domain shifts. In particular, a model may learn a reasoning process on in-domain training data that does not hold for out-of-domain test data. We address the task of predicting out-of-domain (OOD) performance in a few-shot fashion: given a few target-domain examples and a set of models with similar training performance, can we understand how these models will perform on OOD test data? We benchmark the performance on this task when looking at model accuracy on the few-shot examples, then investigate how to incorporate analysis of the models' behavior using feature attributions to better tackle this problem. Specifically, we explore a set of "factors" designed to reveal model agreement with certain pathological heuristics that may indicate worse generalization capabilities. On textual entailment, paraphrase recognition, and a synthetic classification task, we show that attribution-based factors can help rank relative model OOD performance. However, accuracy on a few-shot test set is a surprisingly strong baseline, particularly when the system designer does not have in-depth prior knowledge about the domain shift.


title: Explanations from Large Language Models Make Small Reasoners Better

abstract: Integrating free-text explanations to in-context learning of large language models (LLM) is shown to elicit strong reasoning capabilities along with reasonable explanations. In this paper, we consider the problem of leveraging the explanations generated by LLM to improve the training of small reasoners, which are more favorable in real-production deployment due to their low cost. We systematically explore three explanation generation approaches from LLM and utilize a multi-task learning framework to facilitate small models to acquire strong reasoning power together with explanation generation capabilities. Experiments on multiple reasoning tasks show that our method can consistently and significantly outperform finetuning baselines across different settings, and even perform better than finetuning/prompting a 60x larger GPT-3 (175B) model by up to 9.5% in accuracy. As a side benefit, human evaluation further shows that our method can generate high-quality explanations to justify its predictions, moving towards the goal of explainable AI.


title: Sharp Stability of Log-Sobolev and Moser-Onofri inequalities on the Sphere

abstract: In this paper, we are concerned with the stability problem for endpoint conformally invariant cases of the Sobolev inequality on the sphere $\mathbb{S}^n$. Namely, we will establish the stability for Beckner's log-Sobolev inequality and Beckner's Moser-Onofri inequality on the sphere. We also prove that the sharp constant of global stability for the log-Sobolev inequality on the sphere $\mathbb{S}^n$ must be strictly smaller than the sharp constant of local stability for the same inequality. Furthermore, we also derive the non-existence of the global stability for Moser-Onofri inequality on the sphere $\mathbb{S}^n$.


title: On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood

abstract: We provide an efficient unified plug-in approach for estimating symmetric properties of distributions given $n$ independent samples. Our estimator is based on profile-maximum-likelihood (PML) and is sample optimal for estimating various symmetric properties when the estimation error $\epsilon \gg n^{-1/3}$. This result improves upon the previous best accuracy threshold of $\epsilon \gg n^{-1/4}$ achievable by polynomial time computable PML-based universal estimators [ACSS21, ACSS20]. Our estimator reaches a theoretical limit for universal symmetric property estimation as [Han21] shows that a broad class of universal estimators (containing many well known approaches including ours) cannot be sample optimal for every $1$-Lipschitz property when $\epsilon \ll n^{-1/3}$.

categories: stat.ML cs.DS cs.IT cs.LG math.IT stat.CO


title: A Stream Learning Approach for Real-Time Identification of False Data Injection Attacks in Cyber-Physical Power Systems

abstract: This paper presents a novel data-driven framework to aid in system state estimation when the power system is under unobservable false data injection attacks. The proposed framework dynamically detects and classifies false data injection attacks. Then, it retrieves the control signal using the acquired information. This process is accomplished in three main modules, with novel designs, for detection, classification, and control signal retrieval. The detection module monitors historical changes in phasor measurements and captures any deviation pattern caused by an attack on a complex plane. This approach can help to reveal characteristics of the attacks including the direction, magnitude, and ratio of the injected false data. Using this information, the signal retrieval module can easily recover the original control signal and remove the injected false data. Further information regarding the attack type can be obtained through the classifier module. The proposed ensemble learner is compatible with harsh learning conditions including the lack of labeled data, concept drift, concept evolution, recurring classes, and independence from external updates. The proposed novel classifier can dynamically learn from data and classify attacks under all these harsh learning conditions. The introduced framework is evaluated w.r.t. real-world data captured from the Central New York Power System. The obtained results indicate the efficacy and stability of the proposed framework.


title: Robust Electromagnetic Interference (EMI) Elimination via Simultaneous Sensing and Deep Learning Prediction for RF Shielding-free MRI

abstract: At present, MRI scans are performed inside a fully-enclosed RF shielding room, posing stringent installation requirement and unnecessary patient discomfort. We aim to develop an electromagnetic interference (EMI) cancellation strategy for MRI with no or incomplete RF shielding. In this study, a simultaneous sensing and deep learning driven EMI cancellation strategy is presented to model, predict and remove EMI signals from acquired MRI signals. Specifically, during each MRI scan, separate EMI sensing coils placed in various spatial locations are utilized to simultaneously sample environmental and internal EMI signals within two windows (for both conventional MRI signal acquisition and EMI characterization acquisition). Then a CNN model is trained using the EMI characterization data to relate EMI signals detected by EMI sensing coils to EMI signals in MRI receive coil. This model is utilized to retrospectively predict and remove EMI signals components detected by MRI receive coil during the MRI signal acquisition window. We implemented and demonstrated this strategy for various EMI sources on a mobile ultra-low-field 0.055 T permanent magnet MRI scanner and a 1.5 T superconducting magnet MRI scanner with no or incomplete RF shielding. Our experimental results demonstrate that the method is highly effective and robust in predicting and removing various EMI sources from both external environments and internal scanner electronics at both 0.055 T (2.3 MHz) and 1.5 T (64 MHz), producing final image signal-to-noise ratios that are comparable to those obtained using a fully enclosed RF shielding. Our proposed strategy enables MRI operation with no or incomplete RF shielding, alleviating MRI installation and operational requirements. It is also potentially applicable to other scenarios of accurate RF signal detection or discrimination in presence of external and internal EMI or RF sources.


title: Near-infrared chemical abundances of stars in the Sculptor dwarf galaxy

abstract: Owing to the recent identification of major substructures in our Milky Way (MW), the astronomical community has started to reevaluate the importance of dissolved and existing dwarf galaxies. In this work, we investigate up to 13 elements in 43 giant stars of the Sculptor dwarf galaxy (Scl) using high-signal-to-noise-ratio near-infrared (NIR) APOGEE spectra. Thanks to the strong feature lines in the NIR, we were able to determine high-resolution O, Si, and Al abundances for a large group of sample stars for the first time in Scl. By comparing the [$\alpha$/Fe] (i.e., O, Mg, Si, Ca, and Ti) of the stars in Scl, Sagittarius, and the MW, we confirm the general trend that less massive galaxies tend to show lower [$\alpha$/Fe]. The low [Al/Fe] ($\sim -0.5$) in Scl demonstrates the value of this ratio as a discriminator with which to identify stars born in dwarf galaxies (from MW field stars). A chemical-evolution model suggests that Scl has a top-light initial mass function (IMF), with a high-mass IMF power index of $\sim -2.7$, and a minimum Type Ia supernovae delay time of $\sim 100$ Myr. Furthermore, a linear regression analysis indicates a negative radial metallicity gradient and positive radial gradients for [Mg/Fe] and [Ca/Fe], in qualitative agreement with the outside-in formation scenario.


title: Equal Improvability: A New Fairness Notion Considering the Long-term Impact

abstract: Devising a fair classifier that does not discriminate against different groups is an important problem in machine learning. Although researchers have proposed various ways of defining group fairness, most of them only focused on the immediate fairness, ignoring the long-term impact of a fair classifier under the dynamic scenario where each individual can improve its feature over time. Such dynamic scenarios happen in real world, e.g., college admission and credit loaning, where each rejected sample makes effort to change its features to get accepted afterwards. In this dynamic setting, the long-term fairness should equalize the samples' feature distribution across different groups after the rejected samples make some effort to improve. In order to promote long-term fairness, we propose a new fairness notion called Equal Improvability (EI), which equalizes the potential acceptance rate of the rejected samples across different groups assuming a bounded level of effort will be spent by each rejected sample. We analyze the properties of EI and its connections with existing fairness notions. To find a classifier that satisfies the EI requirement, we propose and study three different approaches that solve EI-regularized optimization problems. Through experiments on both synthetic and real datasets, we demonstrate that the proposed EI-regularized algorithms encourage us to find a fair classifier in terms of EI. Finally, we provide experimental results on dynamic scenarios which highlight the advantages of our EI metric in achieving the long-term fairness. Codes are available in a GitHub repository, see https://github.com/guldoganozgur/ei_fairness.


title: Codes from incidence matrices of hypergraphs

abstract: Binary codes are constructed from incidence matrices of hypergraphs. A combinatroial description is given for the minimum distances of such codes via a combinatorial tool called ``eonv". This combinatorial approach provides a faster alternative method of finding the minimum distance, which is known to be a hard problem. This is demonstrated on several classes of codes from hypergraphs. Moreover, self-duality and self-orthogonality conditions are also studied through hypergraphs.


title: Optimal Control of Material Micro-Structures

abstract: In this paper, we consider the optimal control of material micro-structures. Such material micro-structures are modeled by the so-called phase field model. We study the underlying physical structure of the model and propose a data based approach for its optimal control, along with a comparison to the control using a state of the art Reinforcement Learning (RL) algorithm. Simulation results show the feasibility of optimally controlling such micro-structures to attain desired material properties and complex target micro-structures.


title: Diffusion mechanism and electrochemical investigation of 1T phase Al-MoS$_{2}$@rGO nano-composite as a high-performance anode for sodium-ion batteries

abstract: We report the electrochemical investigation of 5% Al doped MoS$_2$@rGO composite as a high-performance anode for sodium (Na)-ion batteries. The x-ray diffraction (XRD), Raman spectroscopy and high-resolution transmission electron microscopy characterizations reveal that the Al doping increase the interlayer spacing of (002) plane of MoS$_2$ nanosheets and form a stable 1T phase. The galvanostatic charge-discharge measurements show the specific capacity stable around 450, 400, 350, 300 and 200 mAhg$^{-1}$ at current densities of 0.05, 0.1, 0.3, 0.5 and 1~Ag$^{-1}$, respectively. Also, we observe the capacity retentions of 86% and 66% at 0.1 and 0.3 Ag$^{-1}$, respectively, over 200 cycles with a consistent Coulombic efficiency of nearly 100%. The cyclic voltammetry, galvanostatic intermittent titration technique, and electrochemical impedance spectroscopy are used to find the kinetic behavior and the obtained value of diffusion coefficient falls in the range of 10$^{-10}$ to 10$^{-12}$ cm$^2$s$^{-1}$. Intriguingly, the in-situ EIS also explains the electrochemical kinetics of the electrode at different charge-discharge states with the variation of charge transfer resistance. Moreover, the post cycling investigation using ex-situ XRD and photoemission spectroscopy indicate the coexistence of 1T/2H phase and field-emission scanning electron microscopy confirm the stable morphology after 500 cycles. Also, the Na-ion transport properties are calculated for 1T Al--MoS$_2$@rGO interface and Al--MoS$_2$--MoS$_2$ interlayer host structure by theoretical calculations using density functional theory.


title: The anti-localization of non-stationary linear waves and its relation to the localization. The simplest illustrative problem

abstract: We introduce a new wave phenomenon, which can be observed in continuum and discrete systems, where a trapped mode exists under certain conditions, namely, the anti-localization of non-stationary linear waves. This is zeroing of the non-localized propagating component of the wave-field in a neighbourhood of an inclusion. In other words, it is a tendency for non-stationary waves to propagate avoiding a neighbourhood of an inclusion. The anti-localization is caused by a destructive interference of the harmonics involved into the representation of the solution in the form of a Fourier integral. The anti-localization is associated with the waves from the pass-band, whereas the localization related with a trapped mode is due to poles inside the stop-band. In the framework of a simple illustrative problem considered in the paper, we have demonstrated that the anti-localization exists for all cases excepting the boundary of the domain in the parameter space where the wave localization occurs. Thus, the anti-localization can be observed in the absence of the localization as well as together with the localization. We also investigate the influence of the anti-localization on the wave-field in whole.


title: Adaptive A/B Tests and Simultaneous Treatment Parameter Optimization

abstract: Constructing asymptotically valid confidence intervals through a valid central limit theorem is crucial for A/B tests, where a classical goal is to statistically assert whether a treatment plan is significantly better than a control plan. In some emerging applications for online platforms, the treatment plan is not a single plan, but instead encompasses an infinite continuum of plans indexed by a continuous treatment parameter. As such, the experimenter not only needs to provide valid statistical inference, but also desires to effectively and adaptively find the optimal choice of value for the treatment parameter to use for the treatment plan. However, we find that classical optimization algorithms, despite of their fast convergence rates under convexity assumptions, do not come with a central limit theorem that can be used to construct asymptotically valid confidence intervals. We fix this issue by providing a new optimization algorithm that on one hand maintains the same fast convergence rate and on the other hand permits the establishment of a valid central limit theorem. We discuss practical implementations of the proposed algorithm and conduct numerical experiments to illustrate the theoretical findings.


title: PUPoW: A framework for designing blockchains with practically-useful-proof-of-work & vanitycoin

abstract: Bitcoin is the first of its kind, a truly decentralized and anonymous cryptocurrency. To realize it, it has developed blockchain technology using the concept of `Proof of Work' (PoW). The miners, nodes responsible for writing transaction databases, solve a cryptographic puzzle to claim the right to write to the database. Though bitcoin and many other relevant cryptocurrencies, such as ether use revolutionary ideas, the main criticism involves computing resources and energy consumption to solve puzzles that have otherwise no use. There are attempts to use the PoW to do something useful, commonly referred to as Proof-of-Useful-Work (PoUW). In this paper, we attempt to (i) make PoUW more usable -- describe how a central problem setter can crowdsource their work as PoUW and (ii) in the true spirit of blockchains, decentralize the role of problem setter, whom we call puzzlers. We propose a formal framework to do so, namely PUPoW. PUPoW has an inbuilt provision of payments from the puzzler to the miner who solves its puzzle. Additionally, miners have the option to not rely on a continuous feed of the puzzles and instead use original PoW puzzles. We also propose a way to use PUPOW for solving TOR vanity URL generation and bitcoin vanity address generation problems. We call this PUPoW blockchain solving vanity address generation problems as VanityCoin. Both problems require generating public keys from private keys such that resultant addresses are of interest. Such key pairs are found only by a brute-force search. However, there are privacy concerns that miners would know the private keys of the puzzlers. We resolve this by splitting the private keys, and the miners would know only one part of it. In summary, we are proposing how PoW can be made practically helpful, and we believe such an approach is needed for PoW blockchains to survive.


title: Computing the Best Case Energy Complexity of Satisfying Assignments in Monotone Circuits

abstract: Measures of circuit complexity are usually analyzed to ensure the computation of Boolean functions with economy and efficiency. One of these measures is energy complexity, which is related to the number of gates that output true in a circuit for an assignment. The idea behind energy complexity comes from the counting of `firing' neurons in a natural neural network. The initial model is based on threshold circuits, but recent works also have analyzed the energy complexity of traditional Boolean circuits. In this work, we discuss the time complexity needed to compute the best-case energy complexity among satisfying assignments of a monotone Boolean circuit, and we call such a problem as MinEC$^+_M$. In the MinEC$^+_M$ problem, we are given a monotone Boolean circuit $C$, a positive integer $k$ and asked to determine whether there is a satisfying assignment $X$ for $C$ such that $EC(C,X) \leq k$, where $EC(C,X)$ is the number of gates that output true in $C$ according to the assignment $X$. We prove that MinEC$^+_M$ is NP-complete even when the input monotone circuit is planar. Besides, we show that the problem is W[1]-hard but in XP when parameterized by the size of the solution. In contrast, we show that when the size of the solution and the genus of the input circuit are aggregated parameters, the MinEC$^+_M$ problem becomes fixed-parameter tractable.


title: Exploring unconventional quantum criticality in the p-wave-paired Aubry-Andr\'{e}-Harper model

abstract: We have investigated scaling properties near the quantum critical point between the extended phase and the critical phase in the Aubry-Andr\'{e}-Harper model with p-wave pairing, which have rarely been exploited as most investigations focus on the localization transition from the critical phase to the localized phase. We find that the spectrum averaged entanglement entropy and the generalized fidelity susceptibility act as eminent universal order parameters of the corresponding critical point without gap closing. We introduce a Widom scaling ansatz for these criticality probes to develop a unified theory of critical exponents and scaling functions. We thus extract the correlation-length critical exponent $\nu$ and the dynamical exponent $z$ through the finite-size scaling given the system sizes increase in the Fibonacci sequence. The retrieved values of $\nu \simeq 1.000$ and $z \simeq 3.610$ indicate that the transition from the extended phase to the critical phase belongs to a different universality class from the localization transition. Our approach sets the stage for exploring the unconventional quantum criticality and the associated universal information of quasiperiodic systems in state-of-the-art quantum simulation experiments.


title: Why self-attention is Natural for Sequence-to-Sequence Problems? A Perspective from Symmetries

abstract: In this paper, we show that structures similar to self-attention are natural to learn many sequence-to-sequence problems from the perspective of symmetry. Inspired by language processing applications, we study the orthogonal equivariance of seq2seq functions with knowledge, which are functions taking two inputs -- an input sequence and a ``knowledge'' -- and outputting another sequence. The knowledge consists of a set of vectors in the same embedding space as the input sequence, containing the information of the language used to process the input sequence. We show that orthogonal equivariance in the embedding space is natural for seq2seq functions with knowledge, and under such equivariance the function must take the form close to the self-attention. This shows that network structures similar to self-attention are the right structures to represent the target function of many seq2seq problems. The representation can be further refined if a ``finite information principle'' is considered, or a permutation equivariance holds for the elements of the input sequence.


title: H2RBox: Horizontal Box Annotation is All You Need for Oriented Object Detection

abstract: Oriented object detection emerges in many applications from aerial images to autonomous driving, while many existing detection benchmarks are annotated with horizontal bounding box only which is also less costive than fine-grained rotated box, leading to a gap between the readily available training corpus and the rising demand for oriented object detection. This paper proposes a simple yet effective oriented object detection approach called H2RBox merely using horizontal box annotation for weakly-supervised training, which closes the above gap and shows competitive performance even against those trained with rotated boxes. The cores of our method are weakly- and self-supervised learning, which predicts the angle of the object by learning the consistency of two different views. To our best knowledge, H2RBox is the first horizontal box annotation-based oriented object detector. Compared to an alternative i.e. horizontal box-supervised instance segmentation with our post adaption to oriented object detection, our approach is not susceptible to the prediction quality of mask and can perform more robustly in complex scenes containing a large number of dense objects and outliers. Experimental results show that H2RBox has significant performance and speed advantages over horizontal box-supervised instance segmentation methods, as well as lower memory requirements. While compared to rotated box-supervised oriented object detectors, our method shows very close performance and speed. The source code is available at PyTorch-based \href{https://github.com/yangxue0827/h2rbox-mmrotate}{MMRotate} and Jittor-based \href{https://github.com/yangxue0827/h2rbox-jittor}{JDet}.


title: Charge imbalance resolved R\'enyi negativity for free compact boson: Two disjoint interval case

abstract: In this paper, we study the symmetry decomposition of R\'enyi negativity into charge imbalance sectors for the 1+1 dimensional free compact boson field with a global U(1) symmetry in the ground state for the case of two disjoint intervals. We obtain multi-charged and charged R\'enyi negativity moments by computing the four-point correlator of flux-generating vertex operators on the Riemann surface. We then obtain charge imbalance resolved R\'enyi negativity by taking the Fourier transform of the charged moments. Finally, we match our results against the tight-binding model as a numerical check.


title: Visualizing Multispecies Coalescent Trees: Drawing Gene Trees Inside Species Trees

abstract: We consider the problem of drawing multiple gene trees inside a single species tree in order to visualize multispecies coalescent trees. Specifically, the drawing of the species tree fills a rectangle in which each of its edges is represented by a smaller rectangle, and the gene trees are drawn as rectangular cladograms (that is, orthogonally and downward, with one bend per edge) inside the drawing of the species tree. As an alternative, we also consider a style where the widths of the edges of the species tree are proportional to given effective population sizes. In order to obtain readable visualizations, our aim is to minimize the number of crossings between edges of the gene trees in such drawings. We show that planar instances can be recognized in linear time and that the general problem is NP-hard. Therefore, we introduce two heuristics and give an integer linear programming (ILP) formulation that provides us with exact solutions in exponential time. We use the ILP to measure the quality of the heuristics on real-world instances. The heuristics yield surprisingly good solutions, and the ILP runs surprisingly fast.


title: Insertion of vertex operators using BV formalism

abstract: We develop a general framework for the insertion of vertex operator on the string worldsheet, in BV formalism. Such insertions correspond to deformations of the Master Action which breaks the gauge symmetry to a subgroup, and then restoring the full gauge symmetry by integrating over a cycle in the space of Lagrangian submanifolds. We provide the general construction, global on the moduli space, which was previously conjectured in a form local on the worldsheet. We explain how the enhancement of the gauge symmetry in equivariant BV formalism can be seen as an application of the general idea of BV effective action. We derive an integral formula for the deformation of the contraction operator due to the vertex insertion.


title: PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs

abstract: Privacy policies disclose how an organization collects and handles personal information. Recent work has made progress in leveraging natural language processing (NLP) to automate privacy policy analysis and extract data collection statements from different sentences, considered in isolation from each other. In this paper, we view and analyze, for the first time, the entire text of a privacy policy in an integrated way. In terms of methodology: (1) we define PoliGraph, a type of knowledge graph that captures statements in a privacy policy as relations between different parts of the text; and (2) we develop an NLP-based tool, PoliGraph-er, to automatically extract PoliGraph from the text. In addition, (3) we revisit the notion of ontologies, previously defined in heuristic ways, to capture subsumption relations between terms. We make a clear distinction between local and global ontologies to capture the context of individual privacy policies, application domains, and privacy laws. Using a public dataset for evaluation, we show that PoliGraph-er identifies 40% more collection statements than prior state-of-the-art, with 97% precision. In terms of applications, PoliGraph enables automated analysis of a corpus of privacy policies and allows us to: (1) reveal common patterns in the texts across different privacy policies, and (2) assess the correctness of the terms as defined within a privacy policy. We also apply PoliGraph to: (3) detect contradictions in a privacy policy, where we show false alarms by prior work, and (4) analyze the consistency of privacy policies and network traffic, where we identify significantly more clear disclosures than prior work.


title: DCANet: Differential Convolution Attention Network for RGB-D Semantic Segmentation

abstract: Combining RGB images and the corresponding depth maps in semantic segmentation proves the effectiveness in the past few years. Existing RGB-D modal fusion methods either lack the non-linear feature fusion ability or treat both modal images equally, regardless of the intrinsic distribution gap or information loss. Here we find that depth maps are suitable to provide intrinsic fine-grained patterns of objects due to their local depth continuity, while RGB images effectively provide a global view. Based on this, we propose a pixel differential convolution attention (DCA) module to consider geometric information and local-range correlations for depth data. Furthermore, we extend DCA to ensemble differential convolution attention (EDCA) which propagates long-range contextual dependencies and seamlessly incorporates spatial distribution for RGB data. DCA and EDCA dynamically adjust convolutional weights by pixel difference to enable self-adaptive in local and long range, respectively. A two-branch network built with DCA and EDCA, called Differential Convolutional Network (DCANet), is proposed to fuse local and global information of two-modal data. Consequently, the individual advantage of RGB and depth data are emphasized. Our DCANet is shown to set a new state-of-the-art performance for RGB-D semantic segmentation on two challenging benchmark datasets, i.e., NYUDv2 and SUN-RGBD.


title: Shortcomings of Question Answering Based Factuality Frameworks for Error Localization

abstract: Despite recent progress in abstractive summarization, models often generate summaries with factual errors. Numerous approaches to detect these errors have been proposed, the most popular of which are question answering (QA)-based factuality metrics. These have been shown to work well at predicting summary-level factuality and have potential to localize errors within summaries, but this latter capability has not been systematically evaluated in past research. In this paper, we conduct the first such analysis and find that, contrary to our expectations, QA-based frameworks fail to correctly identify error spans in generated summaries and are outperformed by trivial exact match baselines. Our analysis reveals a major reason for such poor localization: questions generated by the QG module often inherit errors from non-factual summaries which are then propagated further into downstream modules. Moreover, even human-in-the-loop question generation cannot easily offset these problems. Our experiments conclusively show that there exist fundamental issues with localization using the QA framework which cannot be fixed solely by stronger QA and QG models.


title: Reducing Annotation Effort by Identifying and Labeling Contextually Diverse Classes for Semantic Segmentation Under Domain Shift

abstract: In Active Domain Adaptation (ADA), one uses Active Learning (AL) to select a subset of images from the target domain, which are then annotated and used for supervised domain adaptation (DA). Given the large performance gap between supervised and unsupervised DA techniques, ADA allows for an excellent trade-off between annotation cost and performance. Prior art makes use of measures of uncertainty or disagreement of models to identify `regions' to be annotated by the human oracle. However, these regions frequently comprise of pixels at object boundaries which are hard and tedious to annotate. Hence, even if the fraction of image pixels annotated reduces, the overall annotation time and the resulting cost still remain high. In this work, we propose an ADA strategy, which given a frame, identifies a set of classes that are hardest for the model to predict accurately, thereby recommending semantically meaningful regions to be annotated in a selected frame. We show that these set of `hard' classes are context-dependent and typically vary across frames, and when annotated help the model generalize better. We propose two ADA techniques: the Anchor-based and Augmentation-based approaches to select complementary and diverse regions in the context of the current training set. Our approach achieves 66.6 mIoU on GTA to Cityscapes dataset with an annotation budget of 4.7% in comparison to 64.9 mIoU by MADA using 5% of annotations. Our technique can also be used as a decorator for any existing frame-based AL technique, e.g., we report 1.5% performance improvement for CDAL on Cityscapes using our approach.


title: Non-degeneracy of solution for critical Lane-Emden systems with linear perturbation

abstract: In this paper, we consider the following elliptic system \begin{equation*} \begin{cases} -\Delta u = |v|^{p-1}v +\epsilon(\alpha u + \beta_1 v), &\hbox{ in }\Omega, \\-\Delta v = |u|^{q-1}u+\epsilon(\beta_2 u +\alpha v), &\hbox{ in }\Omega, \\u=v=0,&\hbox{ on }\partial\Omega, \end{cases} \end{equation*} where $\Omega$ is a smooth bounded domain in $\mathbb{R}^{N}$, $N\geq 3$, $\epsilon$ is a small parameter, $\alpha$, $ \beta_1$ and $ \beta_2$ are real numbers, $(p,q)$ is a pair of positive numbers lying on the critical hyperbola \begin{equation*} \begin{split} \frac{1}{p+1}+\frac{1}{q+1} =\frac{N-2}{N}. \end{split} \end{equation*} We first revisited the blowing-up solutions constructed in \cite{Kim-Pis} and then we proved its non-degeneracy. We believe that the various new ideas and technique computations that we used in this paper would be very useful to deal with other related problems involving critical Halmitonian system and the construction of new solutions.


title: On the Reliability Function for a BSC with Noiseless Feedback at Zero Rate

abstract: We consider the transmission of nonexponentially many messages through a binary symmetric channel with noiseless feedback. We obtain an upper bound for the best decoding error exponent. Combined with the corresponding known lower bound, this allows to find the reliability function for this channel at zero rate.


title: Large Steklov eigenvalues on hyperbolic surfaces

abstract: In this paper, we first construct a sequence of hyperbolic surfaces with connected geodesic boundary such that the first normalized Steklov eigenvalue $\tilde{\sigma}_1$ tends to infinity. We then prove that as $g\rightarrow \infty$, a generic $\Sigma\in \mathcal{M}_{g,n}(L_g)$ satisfies $\tilde{\sigma}_1(\Sigma)>C\cdot \|L_g\|_1$ where $C$ is a positive universal constant. Here $\mathcal{M}_{g,n}(L_g)$ is the moduli space of hyperbolic surfaces of genus $g$ and $n$ boundary components of length $L_g=(L_g^1,\cdots, L_g^n)$ endowed with the Weil-Petersson metric where $\|L_g\|_1\rightarrow\infty$ satisfies certain conditions.


title: Using Physics Simulations to Find Targeting Strategies in Competitive Bowling

abstract: This article demonstrates a new approach to finding ideal bowling targeting strategies through computer simulation. To model bowling ball behaviour, a system of five coupled differential equations is derived using Euler equations for rigid body rotations. We used a computer program to demonstrate the phases of ball motion and output a plot that displays the optimum initial conditions that can lead to a strike. When the bowler is modeled to be imperfect, it is shown that some targeting strategies can lead to higher strike rates due to the miss room created by the inhomogeneity of the oil pattern.


title: Quantum simulator to emulate lower dimensional molecular structure

abstract: Bottom-up quantum simulators have been developed to quantify the role of various interactions, dimensionality, and structure in creating electronic states of matter. Here, we demonstrated a solid-state quantum simulator emulating molecular orbitals, based solely on positioning individual cesium atoms on an indium antimonide surface. Using scanning tunneling microscopy and spectroscopy, combined with ab initio calculations, we showed that artificial atoms could be made from localized states created from patterned cesium rings. These artificial atoms served as building blocks to realize artificial molecular structures with different orbital symmetries. These corresponding molecular orbitals allowed us to simulate 2D structures reminiscent of well known organic molecules. This platform could further be used to monitor the interplay between atomic structures and the resulting molecular orbital landscape with sub-molecular precision.


title: Long-Memory Message-Passing for Spatially Coupled Systems

abstract: This paper addresses the reconstruction of sparse signals from spatially coupled, linear, and noisy measurements. A unified framework of rigorous state evolution is established for developing long-memory message-passing (LM-MP) in spatially coupled systems. LM-MP utilizes all previous messages to compute the current message while conventional MP only uses the latest messages. The unified framework is utilized to propose orthogonal approximate message-passing (OAMP) for spatially coupled systems. The framework for LM-MP is used as a technical tool to prove the convergence of state evolution for OAMP. Numerical results show that OAMP for spatially coupled systems is superior to that for systems without spatial coupling in the so-called waterfall region.


title: Decoding Visual Neural Representations by Multimodal Learning of Brain-Visual-Linguistic Features

abstract: Decoding human visual neural representations is a challenging task with great scientific significance in revealing vision-processing mechanisms and developing brain-like intelligent machines. Most existing methods are difficult to generalize to novel categories that have no corresponding neural data for training. The two main reasons are 1) the under-exploitation of the multimodal semantic knowledge underlying the neural data and 2) the small number of paired (stimuli-responses) training data. To overcome these limitations, this paper presents a generic neural decoding method called BraVL that uses multimodal learning of brain-visual-linguistic features. We focus on modeling the relationships between brain, visual and linguistic features via multimodal deep generative models. Specifically, we leverage the mixture-of-product-of-experts formulation to infer a latent code that enables a coherent joint generation of all three modalities. To learn a more consistent joint representation and improve the data efficiency in the case of limited brain activity data, we exploit both intra- and inter-modality mutual information maximization regularization terms. In particular, our BraVL model can be trained under various semi-supervised scenarios to incorporate the visual and textual features obtained from the extra categories. Finally, we construct three trimodal matching datasets, and the extensive experiments lead to some interesting conclusions and cognitive insights: 1) decoding novel visual categories from human brain activity is practically possible with good accuracy; 2) decoding models using the combination of visual and linguistic features perform much better than those using either of them alone; 3) visual perception may be accompanied by linguistic influences to represent the semantics of visual stimuli. Code and data: https://github.com/ChangdeDu/BraVL.


title: Measuring decoherence by commutation relations decay for quasilinear quantum stochastic systems

abstract: This paper considers a class of open quantum systems with an algebraic structure of dynamic variables, including the Pauli matrices for finite-level systems as a particular case. The Hamiltonian and the operators of coupling of the system to the external bosonic fields depend linearly on the system variables. The fields are represented by quantum Wiener processes which drive the system dynamics in the form of a quasilinear Hudson-Parthasarathy quantum stochastic differential equation whose drift vector and dispersion matrix are affine and linear functions of the system variables. This quasilinearity leads to a tractable evolution of the two-point commutator matrix of the system variables (and their multi-point mixed moments in the case of vacuum input fields) involving time-ordered operator exponentials. The resulting exponential decay in the two-point commutation relations is a manifestation of quantum decoherence, caused by the dissipative system-field interaction and making the system lose specific unitary dynamics features which it would have in isolation from the environment. We quantify the decoherence in terms of the rate of the commutation relations decay and apply system theoretic and matrix analytic techniques, such as algebraic Lyapunov inequalities and spectrum perturbation results, to the study of the asymptotic behaviour of the related Lyapunov exponents in the presence of a small scaling parameter in the system-field coupling. These findings are illustrated for finite-level quantum systems (and their interconnections through a direct energy coupling) with multichannel external fields and the Pauli matrices as internal variables.


title: Exploring Contextual Representation and Multi-Modality for End-to-End Autonomous Driving

abstract: Learning contextual and spatial environmental representations enhances autonomous vehicle's hazard anticipation and decision-making in complex scenarios. Recent perception systems enhance spatial understanding with sensor fusion but often lack full environmental context. Humans, when driving, naturally employ neural maps that integrate various factors such as historical data, situational subtleties, and behavioral predictions of other road users to form a rich contextual understanding of their surroundings. This neural map-based comprehension is integral to making informed decisions on the road. In contrast, even with their significant advancements, autonomous systems have yet to fully harness this depth of human-like contextual understanding. Motivated by this, our work draws inspiration from human driving patterns and seeks to formalize the sensor fusion approach within an end-to-end autonomous driving framework. We introduce a framework that integrates three cameras (left, right, and center) to emulate the human field of view, coupled with top-down bird-eye-view semantic data to enhance contextual representation. The sensor data is fused and encoded using a self-attention mechanism, leading to an auto-regressive waypoint prediction module. We treat feature representation as a sequential problem, employing a vision transformer to distill the contextual interplay between sensor modalities. The efficacy of the proposed method is experimentally evaluated in both open and closed-loop settings. Our method achieves displacement error by 0.67m in open-loop settings, surpassing current methods by 6.9% on the nuScenes dataset. In closed-loop evaluations on CARLA's Town05 Long and Longest6 benchmarks, the proposed method enhances driving performance, route completion, and reduces infractions.


title: Outlier-Robust Group Inference via Gradient Space Clustering

abstract: Traditional machine learning models focus on achieving good performance on the overall training distribution, but they often underperform on minority groups. Existing methods can improve the worst-group performance, but they can have several limitations: (i) they require group annotations, which are often expensive and sometimes infeasible to obtain, and/or (ii) they are sensitive to outliers. Most related works fail to solve these two issues simultaneously as they focus on conflicting perspectives of minority groups and outliers. We address the problem of learning group annotations in the presence of outliers by clustering the data in the space of gradients of the model parameters. We show that data in the gradient space has a simpler structure while preserving information about minority groups and outliers, making it suitable for standard clustering methods like DBSCAN. Extensive experiments demonstrate that our method significantly outperforms state-of-the-art both in terms of group identification and downstream worst-group performance.


title: Sharp weighted fractional Hardy inequalities

abstract: We investigate the weighted fractional order Hardy inequality $$ \int_{\Omega}\int_{\Omega}\frac{|f(x)-f(y)|^{p}}{|x-y|^{d+sp}}\text{dist}(x,\partial\Omega)^{-\alpha}\text{dist}(y,\partial\Omega)^{-\beta}\,dy\,dx\geq C\int_{\Omega}\frac{|f(x)|^{p}}{\text{dist}(x,\partial\Omega)^{sp+\alpha+\beta}}\,dx, $$ for $\Omega=\mathbb{R}^{d-1}\times(0,\infty)$, $\Omega$ being a convex domain or $\Omega=\mathbb{R}^d\setminus\{0\}$. Our work focuses on finding the best (i.e. sharp) constant $C=C(d,s,p,\alpha,\beta)$ in all cases. We also obtain weighted version of the fractional Hardy-Sobolev-Maz'ya inequality. The proofs are based on general Hardy inequalities and the non-linear ground state representation, established by Frank and Seiringer.


title: Effects of galaxy intrinsic alignment on weak lensing peak statistics

abstract: The galaxy intrinsic alignment (IA) is a dominant source of systematics in weak lensing (WL) studies. In this paper, by employing large simulations with semi-analytical galaxy formation, we investigate the IA effects on WL peak statistics. Different simulated source galaxy samples of different redshift distributions are constructed, where both WL shear and IA signals are included. Convergence reconstruction and peak statistics are then performed for these samples. Our results show that the IA effects on peak abundances mainly consist of two aspects. One is the additional contribution from IA to the shape noise. The other is from the satellite IA that can affect the peak signals from their host clusters significantly. The latter depends on the level of inclusion in a shear sample of the satellite galaxies of the clusters that contribute to WL peaks, and thus is sensitive to the redshift distribution of source galaxies. We pay particular attention to satellite IA and adjust it artificially in the simulations to analyze the dependence of the satellite IA impacts on its strength. This information can potentially be incorporated into the modeling of WL peak abundances, especially for high peaks physically originated from massive clusters of galaxies, and thus to mitigate the IA systematics on the cosmological constraints derived from WL peaks.


title: A Non-Unitary Conformal Field Theory Approach to Two-Dimensional Turbulence

abstract: Fluid turbulence is a far-from-equilibrium phenomenon and remains one of the most challenging problems in physics. Two-dimensional, fully developed turbulence may possess the largest possible symmetry, the conformal symmetry. We focus on the steady-state solution of two-dimensional bounded turbulent flow and propose a $c=0$ boundary logarithmic conformal field theory for the inverse energy cascade and another bulk conformal field theory in the classical limit $c\rightarrow -\infty$ for the direct enstrophy cascade. We show that these theories give rise to the Kraichnan-Batchelor scaling $k^{-3}$ and the Kolmogorov-Kraichnan scaling $k^{-5/3}$ for the enstrophy and the energy cascades, respectively, with the expected cascade directions, fluxes, and fractal dimensions. We also made some new predictions for future numerical simulations and experiments to test.

categories: hep-th cond-mat.stat-mech nlin.CD physics.flu-dyn


title: Dust survival rates in clumps passing through the Cas A reverse shock -- II. The impact of magnetic fields

abstract: Dust grains form in the clumpy ejecta of core-collapse supernovae where they are subject to the reverse shock, which is able to disrupt the clumps and destroy the grains. Important dust destruction processes include thermal and kinetic sputtering as well as fragmentation and grain vaporization. In the present study, we focus on the effect of magnetic fields on the destruction processes. We have performed magneto-hydrodynamical simulations using AstroBEAR to model a shock wave interacting with an ejecta clump. The dust transport and destruction fractions are computed using our post-processing code Paperboats in which the acceleration of grains due to the magnetic field and a procedure that allows partial grain vaporization have been newly implemented. For the oxygen-rich supernova remnant Cassiopeia A we found a significantly lower dust survival rate when magnetic fields are aligned perpendicular to the shock direction compared to the non-magnetic case. For a parallel field alignment, the destruction is also enhanced but at a lower level. The survival fractions depend sensitively on the gas density contrast between the clump and the ambient medium and on the grain sizes. For a low-density contrast of $100$, e.g., $5\,$nm silicate grains are completely destroyed while the survival fraction of $1\,\mu$m grains is $86\,$per cent. For a high-density contrast of $1000$, $95\,$per cent of the $5\,$nm grains survive while the survival fraction of $1\,\mu$m grains is $26\,$per cent. Alternative clump sizes or dust materials (carbon) have non-negligible effects on the survival rate but have a lower impact compared to density contrast, magnetic field strength, and grain size.


title: Classical model emerges in quantum entanglement: Quantum Monte Carlo study for an Ising-Heisenberg bilayer

abstract: By developing a cluster sampling of stochastic series expansion quantum Monte Carlo method, we investigate a spin-$1/2$ model on a bilayer square lattice with intra-layer ferromagnetic (FM) Ising coupling and inter-layer antiferromagnetic Heisenberg interaction. The continuous quantum phase transition which occurs at $g_c=3.045(2)$ between the FM Ising phase and the dimerized phase is studied via large scale simulations. From the analyzes of critical exponents we show that this phase transition belongs to the (2+1)-dimensional Ising universality class. Besides, the quantum entanglement is strong between the two layers, especially in dimerized phase. The effective Hamiltonian of single layer seems like a transverse field Ising model. However, we found the quantum entanglement Hamiltonian is a pure classical Ising model without any quantum fluctuations. Furthermore, we give a more general explanation about how a classical entanglement Hamiltonian emerges.


title: DNA Scaffold Carrier Assisted Protein Translocation Through Solid-State Nanopore

abstract: The detection of biomolecules at the single molecular level have important applications in the fields of biosensing and biomedical diagnosis. Solid state nanopore (SS-nanopore) is an effective tool to perform the single molecular detection, due to its unique properties of label-free and less sample consumption. The current SS-nanopore translocations of small biomolecules are driven by the electronic field force, thus easily influenced by the charges, shapes and sizes of the target molecules. Therefore, it remains a great challenge to control biomolecules to translocate through SS-nanopore, particularly for the protein with complex conformations and different charges. Towards this problem, we developed a DNA scaffold carrier assisted strategy to help protein translocation through SS-nanopore, thus facilitating the target protein detection. Taking advantages of a DNA carrier loading effect, the current signal to noise ratios are significantly improved. Our proposed method is sensitive, convenient and can detect real-time sample nanopore translocations. This method opens up a wide range of applications for SS-nanopore detection and promote the development of single molecular detections.


title: Policy Gradient With Serial Markov Chain Reasoning

abstract: We introduce a new framework that performs decision-making in reinforcement learning (RL) as an iterative reasoning process. We model agent behavior as the steady-state distribution of a parameterized reasoning Markov chain (RMC), optimized with a new tractable estimate of the policy gradient. We perform action selection by simulating the RMC for enough reasoning steps to approach its steady-state distribution. We show our framework has several useful properties that are inherently missing from traditional RL. For instance, it allows agent behavior to approximate any continuous distribution over actions by parameterizing the RMC with a simple Gaussian transition function. Moreover, the number of reasoning steps to reach convergence can scale adaptively with the difficulty of each action selection decision and can be accelerated by re-using past solutions. Our resulting algorithm achieves state-of-the-art performance in popular Mujoco and DeepMind Control benchmarks, both for proprioceptive and pixel-based tasks.


title: Global Igusa zeta function and $K$-equivalence

abstract: Let $\mathfrak{X}$ and $\mathfrak{X}'$ be two smooth projective varieties over the ring of integers of a $p$-adic field $\textbf{K}$ with generic fibers being $X$ and $X'$. We introduce a (family of) good $s$-norms on the pluricanonical spaces of $X$ and $X'$, which are called global Igusa zeta functions in $s$, and show that if the $r$-canonical maps send $X$ and $X'$ birationally to their images respectively, then any isometry between $H^0(X, rK_X)$ and $H^0(X', rK_{X'})$ with respect to this $s$-norm (for some $s > 0$ and $s \neq 1/r$) induces $K$-equivalence on the $\textbf{K}$-points between $X$ and $X'$.