title: Time-Uniform Self-Normalized Concentration for Vector-Valued Processes

abstract: Self-normalized processes arise naturally in many statistical tasks. While self-normalized concentration has been extensively studied for scalar-valued processes, there is less work on multidimensional processes outside of the sub-Gaussian setting. In this work, we construct a general, self-normalized inequality for $\mathbb{R}^d$-valued processes that satisfy a simple yet broad "sub-$\psi$" tail condition, which generalizes assumptions based on cumulant generating functions. From this general inequality, we derive an upper law of the iterated logarithm for sub-$\psi$ vector-valued processes, which is tight up to small constants. We demonstrate applications in prototypical statistical tasks, such as parameter estimation in online linear regression and auto-regressive modeling, and bounded mean estimation via a new (multivariate) empirical Bernstein concentration inequality.


title: Privacy-Preserving Encrypted Low-Dose CT Denoising

abstract: Deep learning (DL) has made significant advancements in tomographic imaging, particularly in low-dose computed tomography (LDCT) denoising. A recent trend involves servers training powerful models with large amounts of self-collected private data and providing application programming interfaces (APIs) for users, such as Chat-GPT. To avoid model leakage, users are required to upload their data to the server model, but this way raises public concerns about the potential risk of privacy disclosure, especially for medical data. Hence, to alleviate related concerns, in this paper, we propose to directly denoise LDCT in the encrypted domain to achieve privacy-preserving cloud services without exposing private data to the server. To this end, we employ homomorphic encryption to encrypt private LDCT data, which is then transferred to the server model trained with plaintext LDCT for further denoising. However, since traditional operations, such as convolution and linear transformation, in DL methods cannot be directly used in the encrypted domain, we transform the fundamental mathematic operations in the plaintext domain into the operations in the encrypted domain. In addition, we present two interactive frameworks for linear and nonlinear models in this paper, both of which can achieve lossless operating. In this way, the proposed methods can achieve two merits, the data privacy is well protected and the server model is free from the risk of model leakage. Moreover, we provide theoretical proof to validate the lossless property of our framework. Finally, experiments were conducted to demonstrate that the transferred contents are well protected and cannot be reconstructed. The code will be released once the paper is accepted.


title: Correcting for T1 bias in Magnetization Transfer Saturation (MTsat) Maps Using Sparse-MP2RAGE

abstract: Purpose: Magnetization transfer saturation (MTsat) mapping is commonly used to examine the macromolecular content of brain tissue. This study compared variable flip angle (VFA) T1 mapping against compressed sensing (cs)MP2RAGE T1 mapping for accelerating MTsat imaging. Methods: VFA, MP2RAGE and csMP2RAGE were compared against inversion recovery (IR) T1 in a phantom at 3 Tesla. The same 1 mm VFA, MP2RAGE and csMP2RAGE protocols were acquired in four healthy subjects to compare the resulting T1 and MTsat. Bloch-McConnell simulations were used to investigate differences between the phantom and in vivo T1 results. Finally, ten healthy controls were imaged twice with the csMP2RAGE MTsat protocol to quantify repeatability. Results: The MP2RAGE and csMP2RAGE protocols were 13.7% and 32.4% faster than the VFA protocol, respectively. All approaches provided accurate T1 values (<5% difference) in the phantom, but the accuracy of the T1 times was more impacted by differences in T2 for VFA than for MP2RAGE. In vivo, VFA generated longer T1 times than MP2RAGE and csMP2RAGE. Simulations suggest that the bias in the T1 values between VFA and IR-based approaches (MP2RAGE and IR) could be explained by the MT-effects from the inversion pulse. In the test-retest experiment, we found that the csMP2RAGE has a minimum detectable change of 3% for T1 mapping and 7.9% for MTsat imaging. Conclusions: We demonstrated that csMP2RAGE can be used in place of VFA T1 mapping in an MTsat protocol. Furthermore, a shorter scan time and high repeatability can be achieved using the csMP2RAGE sequence.


title: Qin's Algorithm, Continued Fractions and 2-dimensional Lattices

abstract: In his celebrated book "Mathematical Treatise in Nine Sections" of 1247, Qin, Jiushao described the Chinese remainder theorem with great detail and generality. He also gave a method for computing modular inverse under the name of "DaYan deriving one". Historical significance of DaYan deriving one method has been well studied. In this paper, we investigate its modern mathematical nature from the perspectives of number theory and algorithm. One of the remarkable features of Qin's algorithm is that it keeps a state of four variables in a matrix form. Its choice of variables and layout provide natural ways of connecting several important mathematical concepts. An invariant about the state is also observed which provides a convenient yet powerful tool in proving several important mathematical results. The paper first explains Qin's algorithm and proves some of its properties. Then the connection with continued fractions is examined, the results show that the states of Qin's algorithm contain rich information about continued fractions and some classical arguments can be derived easily. The last part of the paper discusses a family of 2-dimensional lattices of number theoretic significance by proving that the shortest vectors of these lattices can be obtained from the states of Qin's algorithm. This result is surprising in that a shortest lattice vector is found in a well-regulated set. A method of computing such shortest vectors is proposed.ed.


title: Hypercyclic and mixing composition operators on $\mathscr{O}_M(\mathbb{R})$

abstract: In this paper we characterize mixing composition operators acting on the space $\mathscr{O}_M(\mathbb{R})$ of slowly increasing smooth functions. Moreover we relate the mixing property of those operators with the solvability of Abel's functional equation and we give a sufficient condition for sequential hypercyclicity of composition operators on $\mathscr{O}_M(\mathbb{R})$. This is used to prove that many mixing composition operators are hypercyclic.


title: Estimating Individual Responses when Tomorrow Matters

abstract: We propose a regression-based approach to estimate how individuals' expectations influence their responses to a counterfactual change. We provide conditions under which average partial effects based on regression estimates recover structural effects. We propose a practical three-step estimation method that relies on panel data on subjective expectations. We illustrate our approach in a model of consumption and saving, focusing on the impact of an income tax that not only changes current income but also affects beliefs about future income. Applying our approach to Italian survey data, we find that individuals' beliefs matter for evaluating the impact of tax policies on consumption decisions.


title: Enhancing the excitation gap of a quantum-dot-based Kitaev chain

abstract: Connecting double quantum dots via a semiconductor-superconductor hybrid segment offers a platform for creating a two-site Kitaev chain that hosts a pair of "poor man's Majoranas" at a finely tuned sweet spot. However, the effective couplings, which are mediated by Andreev bound states in the hybrid, are generally weak in the tunneling regime. As a consequence, the excitation gap is limited in size, presenting a formidable challenge for using this platform to demonstrate non-Abelian statistics of Majoranas and realizing error-resilient topological quantum computing. In this work, we systematically study the effects of increasing the coupling between the dot and the hybrid segment. In particular, the proximity effect transforms the dot orbitals into Yu-Shiba-Rusinov states, forming a new spinless fermion basis for a Kitaev chain, and we derive a theory for their effective coupling. As the coupling strength between the dots and the hybrid segment increases, we find a significant enhancement of the excitation gap and reduced sensitivity to local perturbations. Although the hybridization of the Majorana wave function with the central Andreev bound states increases strongly with increasing coupling, the overlap of Majorana modes on the outer dots remains small, which is a prerequisite for potential qubit experiments. We discuss how the strong-coupling regime shows in experimentally accessible quantities, such as the local and non-local conductance, and provide a protocol for tuning a double-dot system into a sweet spot with a large excitation gap.


title: GLoRE: Evaluating Logical Reasoning of Large Language Models

abstract: Recently, large language models (LLMs), including notable models such as GPT-4 and burgeoning community models, have showcased significant general language understanding abilities. However, there has been a scarcity of attempts to assess the logical reasoning capacities of these LLMs, an essential facet of natural language understanding. To encourage further investigation in this area, we introduce GLoRE, a meticulously assembled General Logical Reasoning Evaluation benchmark comprised of 12 datasets that span three different types of tasks. Our experimental results show that compared to the performance of human and supervised fine-tuning, the logical reasoning capabilities of open LLM models necessitate additional improvement; ChatGPT and GPT-4 show a strong capability of logical reasoning, with GPT-4 surpassing ChatGPT by a large margin. We propose a self-consistency probing method to enhance the accuracy of ChatGPT and a fine-tuned method to boost the performance of an open LLM. We release the datasets and evaluation programs to facilitate future research.


title: Nonlinear opto-vibronics in molecular systems

abstract: We analytically tackle opto-vibronic interactions in molecular systems driven by either classical or quantum light fields. In particular, we examine a simple model of molecules with two relevant electronic levels, characterized by potential landscapes with different positions of minima along the internuclear coordinate and of varying curvatures. Such systems exhibit an electron-vibron interaction, which can be comprised of linear and quadratic terms in the vibrational displacement. By employing a combination of conditional displacement and squeezing operators, we present analytical expressions based on a quantum Langevin equations approach, to describe the emission and absorption spectra of such nonlinear molecular systems. Furthermore, we examine the imprint of the quadratic interactions onto the transmission properties of a cavity-molecule system within the collective strong coupling regime of cavity quantum electrodynamics.


title: Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata

abstract: Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Timed automata extend finite-state automata with clocks, compared in guards and invariants with integer constants. Parametric timed automata (PTAs) extend timed automata with timing parameters. Parameter synthesis aims at computing dense sets of valuations for the timing parameters, guaranteeing a good behavior. However, in most cases, the emptiness problem for reachability (i.e., whether the emptiness of the parameter valuations set for which some location is reachable) is undecidable for PTAs and, as a consequence, synthesis procedures do not terminate in general, even for bounded parameters. In this paper, we introduce a parametric extrapolation, that allows us to derive an underapproximation in the form of linear constraints containing not only all the integer points ensuring reachability, but also all the (non-necessarily integer) convex combinations of these integer points, for general PTAs with a bounded parameter domain. We also propose two further algorithms synthesizing parameter valuations guaranteeing unavoidability, and preservation of the untimed behavior w.r.t. a reference parameter valuation, respectively. Our algorithms terminate and can output constraints arbitrarily close to the complete result. We demonstrate their applicability and efficiency using the tool Rom\'eo on two classical benchmarks.


title: Bushnell-Kutzko types for $P$-ordinary automorphic representations on unitary groups

abstract: This paper generalizes a theorem of Hida on the structure of ordinary representations on unitary groups to $P$-ordinary representations, where $P$ is a general parabolic subgroup of some general linear group. When $P$ is minimal, we recover Hida's theorem which asserts that ordinary subspaces are 1-dimensional. While analogous $P$-ordinary subspaces are infinite-dimensional in general, we use the theory of Bushnell-Kutzko types to canonically associate a finite-dimensional type to the representation (under minor assumptions) that has multiplicity one in its $P$-ordinary subspace. We simultaneous develop the theory of modular forms on unitary groups with $P$-Iwahoric level structure whose nebentypus is a type (instead of a character) and construct lattices of $P$-ordinary modular forms inside $P$-ordinary automorphic representations. We also obtain direct consequences for the dual notion of $P$-anti-ordinary forms and representations.


title: Solution of the Dirac-Coulomb equation using the Rayleigh-Ritz method. Results for He-like atoms

abstract: The Dirac-Coulomb equation for helium-like ions is solved using the iterative self-consistent field method, with Slater-type spinor orbitals as the basis. These orbitals inherently satisfy the kinetic-balance condition due to their coupling for both large- and small-components. The $1/r_{12}$ Coulomb interaction is treated without constraints. Computations are carried out for total energies of atoms with nuclear charges up to $Z \leq 80$ using both minimal and extended basis sets. Variationally optimal values for orbital parameters are determined through the Rayleigh-Ritz variational principle. No manifestations related to the Brown-Ravenhall disease are found.


title: Flow of temporal network properties under local aggregation and time shuffling: a tool for characterizing, comparing and classifying temporal networks

abstract: Although many tools have been developed and employed to characterize temporal networks, the issue of how to compare them remains largely open. It depends indeed on what features are considered as relevant, and on the way the differences in these features are quantified. In this paper, we propose to characterize temporal networks through their behaviour under general transformations that are local in time: (i) a local time shuffling, which destroys correlations at time scales smaller than a given scale $b$, while preserving large time scales, and (ii) a local temporal aggregation on time windows of length $n$. By varying $b$ and $n$, we obtain a flow of temporal networks, and flows of observable values, which encode the phenomenology of the temporal network on multiple time scales. We use a symbolic approach to summarize these flows into labels (strings of characters) describing their trends. These labels can then be used to compare temporal networks, validate models, or identify groups of networks with similar labels. Our procedure can be applied to any temporal network and with an arbitrary set of observables, and we illustrate it on an ensemble of data sets describing face-to-face interactions in various contexts, including both empirical and synthetic data.


title: Riesz transform and spectral multipliers for the flow Laplacian on nonhomogeneous trees

abstract: Let $T$ be a locally finite tree equipped with a flow measure $m$. Let $\mathcal L$ be the flow Laplacian on $(T,m)$. We prove that the first order Riesz transform $\nabla \mathcal L^{-1/2}$ is bounded on $L^p(m)$ for $p\in (1,\infty)$. Moreover, we prove a sharp $L^p$ spectral multiplier theorem of Mihlin--H\"ormander type for $\mathcal L$. In the case where $m$ is locally doubling, we also prove corresponding weak type and Hardy space endpoint bounds. This generalises results by Hebisch and Steger for the canonical flow Laplacian on homogeneous trees to the setting of nonhomogeneous trees with arbitrary flow measures. The proofs rely on approximation and perturbation arguments, which allow one to transfer to any flow tree a number of $L^p$ bounds that hold on homogeneous trees of arbitrarily large degree and are uniform in the degree.


title: Timestamp-supervised Wearable-based Activity Segmentation and Recognition with Contrastive Learning and Order-Preserving Optimal Transport

abstract: Human activity recognition (HAR) with wearables is one of the serviceable technologies in ubiquitous and mobile computing applications. The sliding-window scheme is widely adopted while suffering from the multi-class windows problem. As a result, there is a growing focus on joint segmentation and recognition with deep-learning methods, aiming at simultaneously dealing with HAR and time-series segmentation issues. However, obtaining the full activity annotations of wearable data sequences is resource-intensive or time-consuming, while unsupervised methods yield poor performance. To address these challenges, we propose a novel method for joint activity segmentation and recognition with timestamp supervision, in which only a single annotated sample is needed in each activity segment. However, the limited information of sparse annotations exacerbates the gap between recognition and segmentation tasks, leading to sub-optimal model performance. Therefore, the prototypes are estimated by class-activation maps to form a sample-to-prototype contrast module for well-structured embeddings. Moreover, with the optimal transport theory, our approach generates the sample-level pseudo-labels that take advantage of unlabeled data between timestamp annotations for further performance improvement. Comprehensive experiments on four public HAR datasets demonstrate that our model trained with timestamp supervision is superior to the state-of-the-art weakly-supervised methods and achieves comparable performance to the fully-supervised approaches.


title: Determinization of Integral Discounted-Sum Automata is Decidable

abstract: Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor $\lambda>1$, and whose transitions are labelled by weights. The value of a run of an NDA is the discounted sum of the edge weights, where the $i$-th weight is divided by $\lambda^{i}$. NDAs are a useful tool for modelling systems where the values of future events are less influential than immediate ones. While several problems are undecidable or open for NDA, their deterministic fragment (DDA) admits more tractable algorithms. Therefore, determinization of NDAs (i.e., deciding if an NDA has a functionally-equivalent DDA) is desirable. Previous works establish that when $\lambda\in \mathbb{N}$, then every complete NDA, namely an NDA whose states are all accepting and its transition function is complete, is determinizable. This, however, no longer holds when the completeness assumption is dropped. We show that the problem of whether an NDA has an equivalent DDA is decidable when $\lambda\in \mathbb{N}$.


title: Measurement of the small-scale 3D Lyman-$\alpha$ forest power spectrum

abstract: Small-scale correlations measured in the Lyman-$\alpha$ (Ly$\alpha$) forest encode information about the intergalactic medium and the primordial matter power spectrum. In this article, we present and implement a simple method to measure the 3-dimensional power spectrum, $P_{\rm 3D}$, of the Ly$\alpha$ forest at wavenumbers $k$ corresponding to small, $\sim$ Mpc scales. In order to estimate $P_{\rm 3D}$ from sparsely and unevenly distributed data samples, we rely on averaging 1-dimensional Fourier Transforms, as previously carried out to estimate the 1-dimensional power spectrum of the Ly$\alpha$ forest, $P_{\rm 1D}$. This methodology exhibits a very low computational cost. We confirm the validity of this approach through its application to Nyx cosmological hydrodynamical simulations. Subsequently, we apply our method to the eBOSS DR16 Ly$\alpha$ forest sample, providing as a proof of principle, a first $P_{\rm 3D}$ measurement averaged over two redshift bins $z=2.2$ and $z=2.4$. This work highlights the potential for forthcoming $P_{\rm 3D}$ measurements, from upcoming large spectroscopic surveys, to untangle degeneracies in the cosmological interpretation of $P_{\rm 1D}$.


title: Galactic Gamma-Ray Diffuse Emission at TeV energies with HAWC Data

abstract: The Galactic gamma-ray diffuse emission (GDE) is emitted by cosmic rays (CRs), ultra-relativistic protons and electrons, interacting with gas and electromagnetic radiation fields in the interstellar medium. Here we present the analysis of TeV diffuse emission from a region of the Galactic Plane over the range in longitude of $l\in[43^\circ,73^\circ]$, using data collected with the High Altitude Water Cherenkov (HAWC) detector. Spectral, longitudinal and latitudinal distributions of the TeV diffuse emission are shown. The radiation spectrum is compatible with the spectrum of the emission arising from a CR population with an "index" similar to that of the observed CRs. When comparing with the \texttt{DRAGON} \textit{base model}, the HAWC GDE flux is higher by about a factor of two. Unresolved sources such as pulsar wind nebulae and TeV halos could explain the excess emission. Finally, deviations of the Galactic CR flux from the locally measured CR flux may additionally explain the difference between the predicted and measured diffuse fluxes.


title: DSG: An End-to-End Document Structure Generator

abstract: Information in industry, research, and the public sector is widely stored as rendered documents (e.g., PDF files, scans). Hence, to enable downstream tasks, systems are needed that map rendered documents onto a structured hierarchical format. However, existing systems for this task are limited by heuristics and are not end-to-end trainable. In this work, we introduce the Document Structure Generator (DSG), a novel system for document parsing that is fully end-to-end trainable. DSG combines a deep neural network for parsing (i) entities in documents (e.g., figures, text blocks, headers, etc.) and (ii) relations that capture the sequence and nested structure between entities. Unlike existing systems that rely on heuristics, our DSG is trained end-to-end, making it effective and flexible for real-world applications. We further contribute a new, large-scale dataset called E-Periodica comprising real-world magazines with complex document structures for evaluation. Our results demonstrate that our DSG outperforms commercial OCR tools and, on top of that, achieves state-of-the-art performance. To the best of our knowledge, our DSG system is the first end-to-end trainable system for hierarchical document parsing.


title: A Frustratingly Easy Plug-and-Play Detection-and-Reasoning Module for Chinese Spelling Check

abstract: In recent years, Chinese Spelling Check (CSC) has been greatly improved by designing task-specific pre-training methods or introducing auxiliary tasks, which mostly solve this task in an end-to-end fashion. In this paper, we propose to decompose the CSC workflow into detection, reasoning, and searching subtasks so that the rich external knowledge about the Chinese language can be leveraged more directly and efficiently. Specifically, we design a plug-and-play detection-and-reasoning module that is compatible with existing SOTA non-autoregressive CSC models to further boost their performance. We find that the detection-and-reasoning module trained for one model can also benefit other models. We also study the primary interpretability provided by the task decomposition. Extensive experiments and detailed analyses demonstrate the effectiveness and competitiveness of the proposed module.


title: Optimizing site-specific specimen preparation for Atom Probe Tomography by using hydrogen for visualizing radiation-induced damage

abstract: Atom probe tomography (APT) is extensively used to measure the local chemistry of materials. Site-specific preparation via a focused ion beam (FIB) is routinely implemented to fabricate needle-shaped specimens with an end radius in the range of 50 nm. This preparation route is sometimes supplemented by transmission Kikuchi diffraction (TKD) to facilitate the positioning of a region of interest sufficiently close to the apex. Irradiating the specimen with energetic electrons and ions can lead to the generation of vacancies and even amorphization of the specimen. These extrinsically created vacancies become crucial for probing the hydrogen or deuterium distribution since they act as a strong trap. Here, we investigated the feasibility of site-specific preparation of a two-phase medium-Mn steel containing austenite (fcc) and ferrite (bcc). Following gaseous charging of APT specimens in deuterium (D2), clusters enriched by up to 35 at.% D, are imaged after Pt deposition, conventional Ga-FIB preparation, and TKD conducted separately. These D-rich clusters are assumed to arise from the agglomeration of vacancies acting as strong traps. By systematically eliminating these preparation-induced damages, we finally introduce a workflow allowing for studying intrinsic traps for H/D inherent to the material.


title: Epistemic Boundaries and Quantum Indeterminacy: What Local Observers Can (Not) Predict

abstract: One of quantum theory's salient lessons is its inherent indeterminacy. That is, generic physical states imply uncertainty for the outcomes of measurements. We formally define and address whether quantum uncertainty could be fundamental or whether post-quantum theories can offer predictive advantage whilst conforming to the Born rule on average. We present a no-go claim combining three aspects: predictive advantage, signal-locality, and the epistemic relationship between quantum observers. The results of the analysis lead to the conclusion that there exists a fundamental limitation on genuine predictive advantage over standard quantum probabilities. However, we uncover a fascinating possibility: when the assumption of 'reliable intersubjectivity' between different observers is violated, subjective predictive advantage can, in principle, exist. This, in turn, entails an epistemic boundary between different observers of the same theory. The findings reconcile us to quantum uncertainty as an aspect of limits on Nature's predictability.


title: Equirectangular image construction method for standard CNNs for Semantic Segmentation

abstract: 360{\deg} spherical images have advantages of wide view field, and are typically projected on a planar plane for processing, which is known as equirectangular image. The object shape in equirectangular images can be distorted and lack translation invariance. In addition, there are few publicly dataset of equirectangular images with labels, which presents a challenge for standard CNNs models to process equirectangular images effectively. To tackle this problem, we propose a methodology for converting a perspective image into equirectangular image. The inverse transformation of the spherical center projection and the equidistant cylindrical projection are employed. This enables the standard CNNs to learn the distortion features at different positions in the equirectangular image and thereby gain the ability to semantically the equirectangular image. The parameter, {\phi}, which determines the projection position of the perspective image, has been analyzed using various datasets and models, such as UNet, UNet++, SegNet, PSPNet, and DeepLab v3+. The experiments demonstrate that an optimal value of {\phi} for effective semantic segmentation of equirectangular images is 6{\pi}/16 for standard CNNs. Compared with the other three types of methods (supervised learning, unsupervised learning and data augmentation), the method proposed in this paper has the best average IoU value of 43.76%. This value is 23.85%, 10.7% and 17.23% higher than those of other three methods, respectively.


title: Automatic Music Playlist Generation via Simulation-based Reinforcement Learning

abstract: Personalization of playlists is a common feature in music streaming services, but conventional techniques, such as collaborative filtering, rely on explicit assumptions regarding content quality to learn how to make recommendations. Such assumptions often result in misalignment between offline model objectives and online user satisfaction metrics. In this paper, we present a reinforcement learning framework that solves for such limitations by directly optimizing for user satisfaction metrics via the use of a simulated playlist-generation environment. Using this simulator we develop and train a modified Deep Q-Network, the action head DQN (AH-DQN), in a manner that addresses the challenges imposed by the large state and action space of our RL formulation. The resulting policy is capable of making recommendations from large and dynamic sets of candidate items with the expectation of maximizing consumption metrics. We analyze and evaluate agents offline via simulations that use environment models trained on both public and proprietary streaming datasets. We show how these agents lead to better user-satisfaction metrics compared to baseline methods during online A/B tests. Finally, we demonstrate that performance assessments produced from our simulator are strongly correlated with observed online metric results.


title: Taking the Shortcut: Actively Incorporating the Virtual Memory Index of the OS to Hardware-Accelerate Database Indexing

abstract: Index structures often materialize one or multiple levels of explicit indirections (aka pointers) to allow for a quick traversal to the data of interest. Unfortunately, dereferencing a pointer to go from one level to the other is costly since additionally to following the address, it involves two address translations from virtual memory to physical memory under the hood. In the worst case, such an address translation is resolved by an index access itself, namely by a lookup into the page table, a central hardware-accelerated index structure of the OS. However, if the page table is anyways constantly queried, it raises the question whether we can actively incorporate it into our database indexes and make it work for us. Precisely, instead of materializing indirections in form of pointers, we propose to express these indirections directly in the page table wherever possible. By introducing such shortcuts, we (a) effectively reduce the height of traversal during lookups and (b) exploit the hardware-acceleration of lookups in the page table. In this work, we analyze the strengths and considerations of this approach and showcase its effectiveness at the case of the real-world indexing scheme extendible hashing.


title: Training and Predicting Visual Error for Real-Time Applications

abstract: Visual error metrics play a fundamental role in the quantification of perceived image similarity. Most recently, use cases for them in real-time applications have emerged, such as content-adaptive shading and shading reuse to increase performance and improve efficiency. A wide range of different metrics has been established, with the most sophisticated being capable of capturing the perceptual characteristics of the human visual system. However, their complexity, computational expense, and reliance on reference images to compare against prevent their generalized use in real-time, restricting such applications to using only the simplest available metrics. In this work, we explore the abilities of convolutional neural networks to predict a variety of visual metrics without requiring either reference or rendered images. Specifically, we train and deploy a neural network to estimate the visual error resulting from reusing shading or using reduced shading rates. The resulting models account for 70%-90% of the variance while achieving up to an order of magnitude faster computation times. Our solution combines image-space information that is readily available in most state-of-the-art deferred shading pipelines with reprojection from previous frames to enable an adequate estimate of visual errors, even in previously unseen regions. We describe a suitable convolutional network architecture and considerations for data preparation for training. We demonstrate the capability of our network to predict complex error metrics at interactive rates in a real-time application that implements content-adaptive shading in a deferred pipeline. Depending on the portion of unseen image regions, our approach can achieve up to $2\times$ performance compared to state-of-the-art methods.


title: Physics-guided Noise Neural Proxy for Practical Low-light Raw Image Denoising

abstract: Recently, the mainstream practice for training low-light raw image denoising methods has shifted towards employing synthetic data. Noise modeling, which focuses on characterizing the noise distribution of real-world sensors, profoundly influences the effectiveness and practicality of synthetic data. Currently, physics-based noise modeling struggles to characterize the entire real noise distribution, while learning-based noise modeling impractically depends on paired real data. In this paper, we propose a novel strategy: learning the noise model from dark frames instead of paired real data, to break down the data dependency. Based on this strategy, we introduce an efficient physics-guided noise neural proxy (PNNP) to approximate the real-world sensor noise model. Specifically, we integrate physical priors into neural proxies and introduce three efficient techniques: physics-guided noise decoupling (PND), physics-guided proxy model (PPM), and differentiable distribution loss (DDL). PND decouples the dark frame into different components and handles different levels of noise flexibly, which reduces the complexity of noise modeling. PPM incorporates physical priors to constrain the generated noise, which promotes the accuracy of noise modeling. DDL provides explicit and reliable supervision for noise distribution, which promotes the precision of noise modeling. PNNP exhibits powerful potential in characterizing the real noise distribution. Extensive experiments on public datasets demonstrate superior performance in practical low-light raw image denoising. The code will be available at \url{https://github.com/fenghansen/PNNP}.


title: On Generalization Bounds for Projective Clustering

abstract: Given a set of points, clustering consists of finding a partition of a point set into $k$ clusters such that the center to which a point is assigned is as close as possible. Most commonly, centers are points themselves, which leads to the famous $k$-median and $k$-means objectives. One may also choose centers to be $j$ dimensional subspaces, which gives rise to subspace clustering. In this paper, we consider learning bounds for these problems. That is, given a set of $n$ samples $P$ drawn independently from some unknown, but fixed distribution $\mathcal{D}$, how quickly does a solution computed on $P$ converge to the optimal clustering of $\mathcal{D}$? We give several near optimal results. In particular, For center-based objectives, we show a convergence rate of $\tilde{O}\left(\sqrt{{k}/{n}}\right)$. This matches the known optimal bounds of [Fefferman, Mitter, and Narayanan, Journal of the Mathematical Society 2016] and [Bartlett, Linder, and Lugosi, IEEE Trans. Inf. Theory 1998] for $k$-means and extends it to other important objectives such as $k$-median. For subspace clustering with $j$-dimensional subspaces, we show a convergence rate of $\tilde{O}\left(\sqrt{\frac{kj^2}{n}}\right)$. These are the first provable bounds for most of these problems. For the specific case of projective clustering, which generalizes $k$-means, we show a convergence rate of $\Omega\left(\sqrt{\frac{kj}{n}}\right)$ is necessary, thereby proving that the bounds from [Fefferman, Mitter, and Narayanan, Journal of the Mathematical Society 2016] are essentially optimal.


title: Isolation of squares in graphs

abstract: Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $\iota(G,\mathcal{F})$, is the size of a smallest subset $D$ of the vertex set $V(G)$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $\iota(G,\{K_1\})$ is the domination number of $G$. The second author showed that if $\mathcal{F}$ is the set of cycles and $G$ is a connected $n$-vertex graph that is not a triangle, then $\iota(G,\mathcal{F}) \leq \left \lfloor \frac{n}{4} \right \rfloor$. This bound is attainable for every $n$ and solved a problem of Caro and Hansberg. A question that arises immediately is how smaller an upper bound can be if $\mathcal{F} = \{C_k\}$ for some $k \geq 3$, where $C_k$ is a cycle of length $k$. The problem is to determine the smallest real number $c_k$ (if it exists) such that for some finite set $\mathcal{E}_k$ of graphs, $\iota(G, \{C_k\}) \leq c_k |V(G)|$ for every connected graph $G$ that is not an $\mathcal{E}_k$-graph. The above-mentioned result yields $c_3 = \frac{1}{4}$ and $\mathcal{E}_3 = \{C_3\}$. The second author also showed that if $k \geq 5$ and $c_k$ exists, then $c_k \geq \frac{2}{2k + 1}$. We prove that $c_4 = \frac{1}{5}$ and determine $\mathcal{E}_4$, which consists of three $4$-vertex graphs and six $9$-vertex graphs. The $9$-vertex graphs in $\mathcal{E}_4$ were fully determined by means of a computer program. A method that has the potential of yielding similar results is introduced.


title: Computing Marginal and Conditional Divergences between Decomposable Models with Applications

abstract: The ability to compute the exact divergence between two high-dimensional distributions is useful in many applications but doing so naively is intractable. Computing the alpha-beta divergence -- a family of divergences that includes the Kullback-Leibler divergence and Hellinger distance -- between the joint distribution of two decomposable models, i.e chordal Markov networks, can be done in time exponential in the treewidth of these models. However, reducing the dissimilarity between two high-dimensional objects to a single scalar value can be uninformative. Furthermore, in applications such as supervised learning, the divergence over a conditional distribution might be of more interest. Therefore, we propose an approach to compute the exact alpha-beta divergence between any marginal or conditional distribution of two decomposable models. Doing so tractably is non-trivial as we need to decompose the divergence between these distributions and therefore, require a decomposition over the marginal and conditional distributions of these models. Consequently, we provide such a decomposition and also extend existing work to compute the marginal and conditional alpha-beta divergence between these decompositions. We then show how our method can be used to analyze distributional changes by first applying it to a benchmark image dataset. Finally, based on our framework, we propose a novel way to quantify the error in contemporary superconducting quantum computers. Code for all experiments is available at: https://lklee.dev/pub/2023-icdm/code


title: Split-and-Denoise: Protect large language model inference with local differential privacy

abstract: Large Language Models (LLMs) excel in natural language understanding by capturing hidden semantics in vector space. This process enriches the value of text embeddings for various downstream tasks, thereby fostering the Embedding-as-a-Service (EaaS) business model. However, the risk of privacy leakage due to direct text transmission to servers remains a critical concern. To address this, we introduce Split-N-Denoise (SnD), an private inference framework that splits the model to execute the token embedding layer on the client side at minimal computational cost. This allows the client to introduce noise prior to transmitting the embeddings to the server, and subsequently receive and denoise the perturbed output embeddings for downstream tasks. Our approach is designed for the inference stage of LLMs and requires no modifications to the model parameters. Extensive experiments demonstrate SnD's effectiveness in optimizing the privacy-utility tradeoff across various LLM architectures and diverse downstream tasks. The results reveal an improvement in performance under the same privacy budget compared to the baselines by over 10\% on average, offering clients a privacy-preserving solution for local privacy protection.


title: Machine learning-based prediction of Q-voter model in complex networks

abstract: In this article, we consider machine learning algorithms to accurately predict two variables associated with the $Q$-voter model in complex networks, i.e., (i) the consensus time and (ii) the frequency of opinion changes. Leveraging nine topological measures of the underlying networks, we verify that the clustering coefficient (C) and information centrality (IC) emerge as the most important predictors for these outcomes. Notably, the machine learning algorithms demonstrate accuracy across three distinct initialization methods of the $Q$-voter model, including random selection and the involvement of high- and low-degree agents with positive opinions. By unraveling the intricate interplay between network structure and dynamics, this research sheds light on the underlying mechanisms responsible for polarization effects and other dynamic patterns in social systems. Adopting a holistic approach that comprehends the complexity of network systems, this study offers insights into the intricate dynamics associated with polarization effects and paves the way for investigating the structure and dynamics of complex systems through modern machine learning methods.


title: Shaping the CO snowline in protoplanetary disks

abstract: Characterizing the dust thermal structure in protoplanetary disks is a fundamental task as the dust surface temperature can affect both the planetary formation and the chemical evolution. Since the temperature is dependent on many parameters, including the grain size, properly modeling the grain temperature structure can be challenging. Many chemistry disk models usually employ a sophisticated single dust structure designed to reproduce the effect of a realistic population presumably composed of a large diversity of sizes. This generally represents a good approximation in most cases. Nonetheless, this dilutes the effects of the complex radiative interactions between the different grain populations on the resulting dust temperature, and thus the chemistry. We seek to show that the radiative interactions between dust grains of different sizes can induce a non-trivial dust temperature structure that cannot be reproduced by a single dust population and that can significantly affect the chemical outcome. The disk thermal structures are computed using the Monte-Carlo radiative transfer code RADMC-3D. The thermal structures are post-processed using the gas-grain code NAUTILUS to calculate the evolution of the chemical abundance. We find that simultaneously using at least two independent dust grain populations in disk models produces a complex temperature structure due to the starlight intercepted by the upper layers of the disk. In particular, we find that micron-sized dust grains are warmer than larger grains and can even show a radial temperature bump in some conditions. This dust temperature spread between the grains populations results in the segregation of the CO snowline and the presence of an unexpected CO gas hole along the midplane. We compare the results with observed close to edge-on class I/II disks.


title: Ejected Particles after Impact Splash on Mars: Aggregates and Aerodynamics

abstract: Our earlier laboratory measurements showed that low-velocity sand impacts release fine <5 {\mu}m dust from a Martian simulant soil. This dust will become airborne in the Martian atmosphere. Here, we extend this study by measuring aerodynamic properties of ejecta and characterizing deviations from the behavior of spherical, monolithic grains. We observe the settling of particles emitted as part of an impact splash. The sizes (20 to 280 {\mu}m) and sedimentation velocities (0.1 to 0.8 ms^{-1} ) of the particles are deduced from high-speed videos while the particles sediment under low ambient pressure of about 1 mbar. The particles regularly settle slower than expected, down to a factor of about 0.3. Using optical microscopy, the shape of the captured particles is characterized by simple axis ratios (longest/smallest), which show that the vast majority of particles are irregular but typically not too elongated, with axis ratios below 2 on average. Electron microscopy further reveals that the particles are typically porous aggregates, which is the most likely reason for the reduction of the sedimentation velocity. Due to the reduced bulk density, aggregates up to 10 {\mu}m in diameter should regularly be a part of the dust in the Martian atmosphere.


title: Coexistence of Anomalous Hall Effect and Weak Net Magnetization in Collinear Antiferromagnet MnTe

abstract: Anomalous Hall effect (AHE) plays important role in the rapidly developing field of antiferromagnetic spintronics. It has been recently discussed that it can be a feature of not only uncompensated magnetic systems but also in altermagnetic materials. Hexagonal MnTe belongs to this appealing group of compounds exhibiting AHE and is commonly perceived as magnetically compensated. Here, we demonstrate that bulk form of MnTe exhibits small but detectable magnetic moment correlating with hysteretic behaviour of the AHE. We formulate a phenomenological model which explains how this feature allows to create a disbalance between states with opposite N\'eel vector and prevent the AHE signal from averaging out to zero. Moreover, we show how the dependence of AHE on the N\'eel vector arises on microscopical level and highlight the differences in Berry curvature between magnetically compensated and uncompensated systems.


title: HierarchicalContrast: A Coarse-to-Fine Contrastive Learning Framework for Cross-Domain Zero-Shot Slot Filling

abstract: In task-oriented dialogue scenarios, cross-domain zero-shot slot filling plays a vital role in leveraging source domain knowledge to learn a model with high generalization ability in unknown target domain where annotated data is unavailable. However, the existing state-of-the-art zero-shot slot filling methods have limited generalization ability in target domain, they only show effective knowledge transfer on seen slots and perform poorly on unseen slots. To alleviate this issue, we present a novel Hierarchical Contrastive Learning Framework (HiCL) for zero-shot slot filling. Specifically, we propose a coarse- to fine-grained contrastive learning based on Gaussian-distributed embedding to learn the generalized deep semantic relations between utterance-tokens, by optimizing inter- and intra-token distribution distance. This encourages HiCL to generalize to the slot types unseen at training phase. Furthermore, we present a new iterative label set semantics inference method to unbiasedly and separately evaluate the performance of unseen slot types which entangled with their counterparts (i.e., seen slot types) in the previous zero-shot slot filling evaluation methods. The extensive empirical experiments on four datasets demonstrate that the proposed method achieves comparable or even better performance than the current state-of-the-art zero-shot slot filling approaches.


title: DocCert: Nostrification, Document Verification and Authenticity Blockchain Solution

abstract: Many institutions and organizations require nostrification and verification of qualification as a prerequisite for hiring. The idea is to recognize the authenticity of a copy or digital document issued by an institution in a foreign country and detect forgeries. Certificates, financial records, health records, official papers and others are often required to be attested from multiple entities in distinct locations. However, in this digital era where most applications happen online, and document copies are uploaded, the traditional signature and seal methods are obsolete. In a matter of minutes and with a simple photo editor, a certificate or document copy may be plagiarized or forged. Blockchain technology offers a decentralized approach to record and verify transactions without the need for huge infrastructure investment. In this paper, we propose a blockchain based nostrification system, where awarding institutions generate a digital certificate, store in a public but permissioned blockchain, where students and other stakeholders may verify. We present a thorough discussion and formal evaluation of the proposed system.


title: Scaling Performance of Serverless Edge Networking

abstract: When clustering devices at the edge, inter-node latency poses a significant challenge that directly impacts the application performance. In this paper, we experimentally examine the impact that inter-node latency has on application performance by measuring the throughput of an distributed serverless application in a real world testbed. We deploy Knative over a Kubernetes cluster of nodes and emulate networking delay between them to compare the performance of applications when deployed over a single-site versus multiple distributed computing sites. The results show that multi-site edge networks achieve half the throughput compared to a deployment hosted at a single site under low processing times conditions, whereas the throughput performance significantly improves otherwise.


title: Testing Predictions of the Chiral Anomaly in Primakoff Reactions at COMPASS

abstract: The chiral anomaly is a fundamental property of quantum chromodynamics (QCD). It governs the transition amplitudes for processes involving an odd number of Goldstone bosons of chiral symmetry breaking. In case of the coupling of three pions to a photon, the magnitude of the resulting coupling is $F_{3\pi}$ and the value is predicted by chiral perturbation theory with small uncertainty. It can experimentally be measured in $\pi^-\gamma \to \pi^- \pi^0$ scattering. Here, we report on a precision experiment on $F_{3\pi}$ using the COMPASS experiment at CERN where pion-photon scattering is mediated via the Primakoff effect using heavy nuclei as target. We exploit the interference of the production of the $\pi^- \pi^0$ final state via the chiral anomaly with the photo-production of the $\rho(770)$ resonance over a wide mass range ($M_{\pi^- \pi^0}<1\textrm{ GeV}/c^2$). This is in contrast to previous measurements restricting themselves to the threshold region ($M_{\pi^- \pi^0}<370\textrm{ MeV}$) only. Our analysis allows to simultaneously extract the radiative width of the $\rho(770)$ resonance and gives a stronger handle on $F_{3\pi}$ in a unified approach thereby minimizing systematic effects rarely addressed previously.


title: The Consensus Game: Language Model Generation via Equilibrium Search

abstract: When applied to question answering and other text generation tasks, language models (LMs) may be queried generatively (by sampling answers from their output distribution) or discriminatively (by using them to score or rank a set of candidate outputs). These procedures sometimes yield very different predictions. How do we reconcile mutually incompatible scoring procedures to obtain coherent LM predictions? We introduce a new, a training-free, game-theoretic procedure for language model decoding. Our approach casts language model decoding as a regularized imperfect-information sequential signaling game - which we term the CONSENSUS GAME - in which a GENERATOR seeks to communicate an abstract correctness parameter using natural language sentences to a DISCRIMINATOR. We develop computational procedures for finding approximate equilibria of this game, resulting in a decoding algorithm we call EQUILIBRIUM-RANKING. Applied to a large number of tasks (including reading comprehension, commonsense reasoning, mathematical problem-solving, and dialog), EQUILIBRIUM-RANKING consistently, and sometimes substantially, improves performance over existing LM decoding procedures - on multiple benchmarks, we observe that applying EQUILIBRIUM-RANKING to LLaMA-7B outperforms the much larger LLaMA-65B and PaLM-540B models. These results highlight the promise of game-theoretic tools for addressing fundamental challenges of truthfulness and consistency in LMs.


title: Thermalization of linear Fermi systems

abstract: The issue of thermalization in open quantum systems is explored from the perspective of fermion models with quadratic couplings and linear baths. Both the thermodynamic state and the stationary solution of the Lindblad equation are rendered as a matrix-product sequence following a reformulation in terms of underlying algebras, allowing to characterize a family of stationary solutions and determine the cases where they correspond to thermal states. This characterization provides insight into the operational mechanisms that lead the system to thermalization and their interplay with mechanisms that tend to drive it out of thermal equilibrium.


title: PuoBERTa: Training and evaluation of a curated language model for Setswana

abstract: Natural language processing (NLP) has made significant progress for well-resourced languages such as English but lagged behind for low-resource languages like Setswana. This paper addresses this gap by presenting PuoBERTa, a customised masked language model trained specifically for Setswana. We cover how we collected, curated, and prepared diverse monolingual texts to generate a high-quality corpus for PuoBERTa's training. Building upon previous efforts in creating monolingual resources for Setswana, we evaluated PuoBERTa across several NLP tasks, including part-of-speech (POS) tagging, named entity recognition (NER), and news categorisation. Additionally, we introduced a new Setswana news categorisation dataset and provided the initial benchmarks using PuoBERTa. Our work demonstrates the efficacy of PuoBERTa in fostering NLP capabilities for understudied languages like Setswana and paves the way for future research directions.


title: How chromophore labels shape the structure and dynamics of a peptide hydrogel

abstract: Biocompatible and functionalizable hydrogels have a wide range of (potential) medicinal applications. In contrast to conventional hydrogels formed by interconnected or interlocked polymer chains, self-assembled hydrogels form from small building blocks like short peptide chains. This has the advantage that the building blocks can be functionalized separately and then mixed to obtain the desired properties. However, the hydrogelation process for these systems, especially those with very low polymer weight percentage (< 1 wt%), is not well understood, and therefore it is hard to predict whether a given molecular building block will self-assemble into a hydrogel. This severely hinders the rational design of self-assembled hydrogels. In this study, we demonstrate the impact of an N-terminal chromophore label amino-benzoic acid on the self-assembly and rheology of hydrogel hFF03 (hydrogelating, fibril forming) using molecular dynamics simulations, which self-assembles into {\alpha}-helical coiled-coils. We find that the chromophore and even its specific regioisomers have a significant influence on the microscopic structure and dynamics of the self-assembled fibril, and on the macroscopic mechanical properties. This is because the chromophore influences the possible salt-bridges which form and stabilize the fibril formation. Furthermore we find that the solvation shell fibrils by itself cannot explain the viscoelasticity of hFF03 hydrogels. Our atomistic model of the hFF03 fibril formation enables a more rational design of these hydrogels. In particular, altering the N-terminal chromophore emergesas a design strategy to tune the mechanic properties of these self-assembled peptide hydrogels.


title: An Intrinsic Integrity-Driven Rating Model for a Sustainable Reputation System

abstract: In the era of digital markets, the challenge for consumers is discerning quality amidst information asymmetry. While traditional markets use brand mechanisms to address this issue, transferring such systems to internet-based P2P markets, where misleading practices like fake ratings are rampant, remains challenging. Current internet platforms strive to counter this through verification algorithms, but these efforts find themselves in a continuous tug-of-war with counterfeit actions. Exploiting the transparency, immutability, and traceability of blockchain technology, this paper introduces a robust reputation voting system grounded in it. Unlike existing blockchain-based reputation systems, our model harnesses an intrinsically economically incentivized approach to bolster agent integrity. We optimize this model to mirror real-world user behavior, preserving the reputation system's foundational sustainability. Through Monte-Carlo simulations, using both uniform and power-law distributions enabled by an innovative inverse transform method, we traverse a broad parameter landscape, replicating real-world complexity. The findings underscore the promise of a sustainable, transparent, and formidable reputation mechanism. Given its structure, our framework can potentially function as a universal, sustainable oracle for offchain-onchain bridging, aiding entities in perpetually cultivating their reputation. Future integration with technologies like Ring Signature and Zero Knowledge Proof could amplify the system's privacy facets, rendering it particularly influential in the ever-evolving digital domain.


title: Goodhart's Law in Reinforcement Learning

abstract: Implementing a reward function that perfectly captures a complex task in the real world is impractical. As a result, it is often appropriate to think of the reward function as a proxy for the true objective rather than as its definition. We study this phenomenon through the lens of Goodhart's law, which predicts that increasing optimisation of an imperfect proxy beyond some critical point decreases performance on the true objective. First, we propose a way to quantify the magnitude of this effect and show empirically that optimising an imperfect proxy reward often leads to the behaviour predicted by Goodhart's law for a wide range of environments and reward functions. We then provide a geometric explanation for why Goodhart's law occurs in Markov decision processes. We use these theoretical insights to propose an optimal early stopping method that provably avoids the aforementioned pitfall and derive theoretical regret bounds for this method. Moreover, we derive a training method that maximises worst-case reward, for the setting where there is uncertainty about the true reward function. Finally, we evaluate our early stopping method experimentally. Our results support a foundation for a theoretically-principled study of reinforcement learning under reward misspecification.


title: Lincoln AI Computing Survey (LAICS) Update

abstract: This paper is an update of the survey of AI accelerators and processors from past four years, which is now called the Lincoln AI Computing Survey - LAICS (pronounced "lace"). As in past years, this paper collects and summarizes the current commercial accelerators that have been publicly announced with peak performance and peak power consumption numbers. The performance and power values are plotted on a scatter graph, and a number of dimensions and observations from the trends on this plot are again discussed and analyzed. Market segments are highlighted on the scatter plot, and zoomed plots of each segment are also included. Finally, a brief description of each of the new accelerators that have been added in the survey this year is included.


title: Cosmological constraints from abundance, weak-lensing and clustering of galaxy clusters: application to the SDSS

abstract: The clustering of galaxy clusters is a powerful cosmological tool, which can help to break degeneracies between parameters when combined with other cosmological observables. We aim to demonstrate its potential in constraining cosmological parameters and scaling relations when combined with cluster counts and weak lensing mass information, using as a case study the redMaPPer cluster catalog derived from the Sloan Digital Sky Survey (SDSS). We extend the analysis of number counts and weak lensing signal performed by Costanzi et al. 2019a, with the addition of the real-space 2-point correlation function. We derive cosmological and scaling relation posteriors for all the possible combinations of the three observables to assess their constraining power, parameter degeneracies, and possible internal tensions. We find no evidence for tensions between the three data set analyzed. We demonstrate that the inclusion of the cluster clustering statistic can greatly enhance the constraining power of the sample thanks to its capability of breaking the $\Omega_{\rm m} - \sigma_8$ degeneracy characteristic of cluster abundance studies. In particular, for a flat $\Lambda$CDM model with massive neutrinos, we obtain $\Omega_{\rm m}=0.28 \pm 0.03$ and $\sigma_8 = 0.82 \pm 0.05$, a 33% and 50% improvement compared to the posteriors derived combining cluster abundance and weak lensing analyses. Our results are consistent with cosmological posteriors from other cluster surveys, as well as with Planck CMB results and DES-Y3 galaxy clustering and weak-lensing analysis.


title: Exploring Sparse Spatial Relation in Graph Inference for Text-Based VQA

abstract: Text-based visual question answering (TextVQA) faces the significant challenge of avoiding redundant relational inference. To be specific, a large number of detected objects and optical character recognition (OCR) tokens result in rich visual relationships. Existing works take all visual relationships into account for answer prediction. However, there are three observations: (1) a single subject in the images can be easily detected as multiple objects with distinct bounding boxes (considered repetitive objects). The associations between these repetitive objects are superfluous for answer reasoning; (2) two spatially distant OCR tokens detected in the image frequently have weak semantic dependencies for answer reasoning; and (3) the co-existence of nearby objects and tokens may be indicative of important visual cues for predicting answers. Rather than utilizing all of them for answer prediction, we make an effort to identify the most important connections or eliminate redundant ones. We propose a sparse spatial graph network (SSGN) that introduces a spatially aware relation pruning technique to this task. As spatial factors for relation measurement, we employ spatial distance, geometric dimension, overlap area, and DIoU for spatially aware pruning. We consider three visual relationships for graph learning: object-object, OCR-OCR tokens, and object-OCR token relationships. SSGN is a progressive graph learning architecture that verifies the pivotal relations in the correlated object-token sparse graph, and then in the respective object-based sparse graph and token-based sparse graph. Experiment results on TextVQA and ST-VQA datasets demonstrate that SSGN achieves promising performances. And some visualization results further demonstrate the interpretability of our method.


title: Non-strange light-meson spectroscopy at COMPASS

abstract: Lattice-QCD predicts the exotic meson $\pi_1(1600)$ to dominantly decay to $b_1\pi$. The $b_1\pi$ decay channel is accessible via the $\omega\pi^{-}\pi^{0}$ final state. COMPASS recorded the so far largest data set of this final state. A partial-wave analysis allows to determine the resonant content in this final state including possible contributions from $\pi_1(1600)$. Decomposing the measured intensity into amplitudes of partial waves gives a first qualitative insight into contributing intermediate states. We observe signals in agreement with well-established states like the $\pi(1800)$ and $a_4(1970)$. Smaller resonance-like signals are visible in the $J^{PC}$ sectors $3^{++}$ and $6^{++}$, where possible states were claimed but none are established. For $J^{PC}=1^{-+}$ a signal at $1.65\,\mathrm{GeV/}c^{2}$ in $b_1(1235)\pi$ partial waves is consistent with the expected $\pi_1(1600)$.


title: Lattice Approximations in Wasserstein Space

abstract: We consider structured approximation of measures in Wasserstein space $W_p(\mathbb{R}^d)$ for $p\in[1,\infty)$ by discrete and piecewise constant measures based on a scaled Voronoi partition of $\mathbb{R}^d$. We show that if a full rank lattice $\Lambda$ is scaled by a factor of $h\in(0,1]$, then approximation of a measure based on the Voronoi partition of $h\Lambda$ is $O(h)$ regardless of $d$ or $p$. We then use a covering argument to show that $N$-term approximations of compactly supported measures is $O(N^{-\frac1d})$ which matches known rates for optimal quantizers and empirical measure approximation in most instances. Finally, we extend these results to noncompactly supported measures with sufficient decay.


title: Unidirectional Photonic Reflector Using a Defective Atomic Lattice

abstract: Based on the broken spatial symmetry, we propose a novel scheme for engineering a unidirectional photonic reflector using a one-dimensional atomic lattice with defective cells that have been specifically designed to be vacant. By trapping three-level atoms and driving them into the regime of electromagnetically induced transparency, and through the skillful design of the number and position of vacant cells in the lattice, numerical simulations demonstrate that a broad and high unidirectional reflection region can be realized within EIT window. This proposed unidirectional reflector scheme provides a new platform for achieving optical nonreciprocity and has potential applications for designing optical circuits and devices of nonreciprocity at extremely low energy levels.


title: BibRank: Automatic Keyphrase Extraction Platform Using~Metadata

abstract: Automatic Keyphrase Extraction involves identifying essential phrases in a document. These keyphrases are crucial in various tasks such as document classification, clustering, recommendation, indexing, searching, summarization, and text simplification. This paper introduces a platform that integrates keyphrase datasets and facilitates the evaluation of keyphrase extraction algorithms. The platform includes BibRank, an automatic keyphrase extraction algorithm that leverages a rich dataset obtained by parsing bibliographic data in BibTeX format. BibRank combines innovative weighting techniques with positional, statistical, and word co-occurrence information to extract keyphrases from documents. The platform proves valuable for researchers and developers seeking to enhance their keyphrase extraction algorithms and advance the field of natural language processing.


title: Can we explain cosmic birefringence without a new light field beyond Standard Model?

abstract: The recent analysis of the Planck 2018 polarization data shows a nonzero isotropic cosmic birefringence (ICB) that is not explained within the $\Lambda$CDM paradigm. We then explore the question of whether the nonzero ICB is interpreted by the framework of the Standard Model Effective Field Theory (SMEFT), or at the energy scales of the cosmic microwave background, the low-energy EFT (LEFT) whose dynamical degrees of freedom are five SM quarks and all neutral and charged leptons. Our systematic study reveals that any operator in the EFT on a cosmological background would not give the reported ICB angle, which is observationally consistent with frequency independence. In particular, we estimate the size of the ICB angle generated by the effect that the cosmic microwave background photons travel through the medium of the cosmic neutrino background with parity-violating neutrino-photon interactions and find that it would be too small to explain the data. If the reported ICB angle should be confirmed, then our result would indicate the existence of a new particle that is lighter than the electroweak scale and feebly interacting with the SM particles.


title: JWST MIRI/MRS Observations and Spectral Models of the Under-luminous Type Ia Supernova 2022xkq

abstract: We present a JWST mid-infrared spectrum of the under-luminous Type Ia Supernova (SN Ia) 2022xkq, obtained with the medium-resolution spectrometer on the Mid-Infrared Instrument (MIRI) $\sim130$ days post-explosion. We identify the first MIR lines beyond 14 $\mu$m in SN Ia observations. We find features unique to under-luminous SNe Ia, including: isolated emission of stable Ni, strong blends of [Ti II], and large ratios of singly ionized to doubly ionized species in both [Ar] and [Co]. Comparisons to normal-luminosity SNe Ia spectra at similar phases show a tentative trend between the width of the [Co III] 11.888 $\mu$m feature and the SN light curve shape. Using non-LTE-multi-dimensional radiation hydro simulations and the observed electron capture elements we constrain the mass of the exploding white dwarf. The best-fitting model shows that SN 2022xkq is consistent with an off-center delayed-detonation explosion of a near-Chandrasekhar mass WD (M$_{\rm ej}$ $\approx 1.37$ M$_{\odot}$) of high-central density ($\rho_c \geq 2.0\times10^{9}$ g cm$^{-3}$) seen equator on, which produced M($^{56}$Ni) $= 0.324$ M$_{\odot}$ and M($^{58}$Ni) $\geq 0.06$ M$_{\odot}$. The observed line widths are consistent with the overall abundance distribution; and the narrow stable Ni lines indicate little to no mixing in the central regions, favoring central ignition of sub-sonic carbon burning followed by an off-center DDT beginning at a single point. Additional observations may further constrain the physics revealing the presence of additional species including Cr and Mn. Our work demonstrates the power of using the full coverage of MIRI in combination with detailed modeling to elucidate the physics of SNe Ia at a level not previously possible.


title: Every quantum helps: Operational advantage of quantum resources beyond convexity

abstract: Identifying what quantum-mechanical properties are useful to untap a superior performance in quantum technologies is a pivotal question. Quantum resource theories provide a unified framework to analyze and understand such properties, as successfully demonstrated for entanglement and coherence. While these are examples of convex resources, for which quantum advantages can always be identified, many physical resources are described by a nonconvex set of free states and their interpretation has so far remained elusive. Here we address the fundamental question of the usefulness of quantum resources without convexity assumption, by providing two operational interpretations of the generalized robustness measure in general resource theories. First, we characterize the generalized robustness in terms of a nonlinear resource witness and reveal that any state is more advantageous than a free one in some multicopy channel discrimination task. Next, we consider a scenario where a theory is characterized by multiple constraints and show that the generalized robustness coincides with the worst-case advantage in a single-copy channel discrimination setting. Based on these characterizations, we conclude that every quantum resource state shows a qualitative and quantitative advantage in discrimination problems in a general resource theory even without any specification on the structure of the free states.


title: Partial-wave analysis of $\tau^-\to\pi^-\pi^-\pi^+\nu_\tau$ at Belle

abstract: We present preliminary results of a partial-wave analysis of $\tau^-\to\pi^-\pi^-\pi^+\nu_\tau$ in data from the Belle experiment at the KEKB $\mathrm{e}^+\mathrm{e}^-$ collider. We demonstrate the presence of the $\mathrm{a}_1(1420)$ and $\mathrm{a}_1(1640)$ resonances in tauon decays and measure their masses and widths. We also present validation of our findings using a model-independent approach. Our results can improve modeling in simulation studies necessary for measuring the tauon electric and magnetic dipole moments and Michel parameters.


title: Relativity of reductive chain complexes of non-abelian simplexes

abstract: Chain total double complexes with reductive differentials for non-abelian simplexes with associated spaces are considered. It is conjectured that corresponding relative cohomology is equivalent to the coset space of vanishing over non-vanishing functionals related to differentials of complexes. The conjecture is supported by the theorem for the case of spaces of correlation functions and generalized connections on vertex operator algebra bundles.


title: The Computational Complexity of Finding Stationary Points in Non-Convex Optimization

abstract: Finding approximate stationary points, i.e., points where the gradient is approximately zero, of non-convex but smooth objective functions $f$ over unrestricted $d$-dimensional domains is one of the most fundamental problems in classical non-convex optimization. Nevertheless, the computational and query complexity of this problem are still not well understood when the dimension $d$ of the problem is independent of the approximation error. In this paper, we show the following computational and query complexity results: 1. The problem of finding approximate stationary points over unrestricted domains is PLS-complete. 2. For $d = 2$, we provide a zero-order algorithm for finding $\varepsilon$-approximate stationary points that requires at most $O(1/\varepsilon)$ value queries to the objective function. 3. We show that any algorithm needs at least $\Omega(1/\varepsilon)$ queries to the objective function and/or its gradient to find $\varepsilon$-approximate stationary points when $d=2$. Combined with the above, this characterizes the query complexity of this problem to be $\Theta(1/\varepsilon)$. 4. For $d = 2$, we provide a zero-order algorithm for finding $\varepsilon$-KKT points in constrained optimization problems that requires at most $O(1/\sqrt{\varepsilon})$ value queries to the objective function. This closes the gap between the works of Bubeck and Mikulincer [2020] and Vavasis [1993] and characterizes the query complexity of this problem to be $\Theta(1/\sqrt{\varepsilon})$. 5. Combining our results with the recent result of Fearnley et al. [2022], we show that finding approximate KKT points in constrained optimization is reducible to finding approximate stationary points in unconstrained optimization but the converse is impossible.


title: Learning To Teach Large Language Models Logical Reasoning

abstract: Large language models (LLMs) have gained enormous attention from both academia and industry, due to their exceptional ability in language generation and extremely powerful generalization. However, current LLMs still output unreliable content in practical reasoning tasks due to their inherent issues (e.g., hallucination). To better disentangle this problem, in this paper, we conduct an in-depth investigation to systematically explore the capability of LLMs in logical reasoning. More in detail, we first investigate the deficiency of LLMs in logical reasoning on different tasks, including event relation extraction and deductive reasoning. Our study demonstrates that LLMs are not good reasoners in solving tasks with rigorous reasoning and will produce counterfactual answers, which require us to iteratively refine. Therefore, we comprehensively explore different strategies to endow LLMs with logical reasoning ability, and thus enable them to generate more logically consistent answers across different scenarios. Based on our approach, we also contribute a synthesized dataset (LLM-LR) involving multi-hop reasoning for evaluation and pre-training. Extensive quantitative and qualitative analyses on different tasks also validate the effectiveness and necessity of teaching LLMs with logic and provide insights for solving practical tasks with LLMs in future work.


title: Growth of structures using redshift space distortion in $f(T)$ Cosmology

abstract: Cosmology faces a pressing challenge with the Hubble constant ($H_0$) tension, where the locally measured rate of the Universe's expansion does not align with predictions from the cosmic microwave background (CMB) calibrated with $\Lambda$CDM model. Simultaneously, there is a growing tension involving the weighted amplitude of matter fluctuations, known as $S_{8,0}$ tension. Resolving both tensions within one framework would boost confidence in any one particular model. In this work, we analyse constraints in $f(T)$ gravity, a framework that shows promise in shedding light on cosmic evolution. We thoroughly examine prominent $f(T)$ gravity models using a combination of data sources, including Pantheon+ (SN), cosmic chronometers (CC), baryonic acoustic oscillations (BAO) and redshift space distortion (RSD) data. We use these models to derive a spectrum of $H_0$ and $S_{8,0}$ values, aiming to gauge their ability to provide insights into, and potentially address, the challenges posed by the $H_0$ and $S_{8,0}$ tensions.


title: Weighted isoperimetric ratios and extension problems for conformal fractional Laplacians

abstract: We investigate a novel connection between the weighted isoperimetric problems and the weighted Poisson integrals of the extension problems for nonlocal elliptic operators. We first derive sharp inequalities for the weighted Poisson integrals associated with degenerated elliptic equations on the half-space and the unit ball, and classify their extremizers. The equations arise from the Caffarelli-Silvestre extension for the fractional Laplacian on the Euclidean space and its conformal transformation via the M\"obius transformation. We next interpret the above sharp inequalities in a conformal geometric viewpoint. For this aim, we formulate a variational problem involving a weighted isoperimetric ratio on a smooth metric measure space induced by a conformally compact Einstein (CCE) manifold. Then, we prove that the variational problem is closely linked to the Chang-Gonz\'alez extension for a conformal fractional Laplacian on the conformal infinity of the CCE manifold, and is reduced to the sharp inequality if the CCE manifold is either the Poincar\'e half-space or ball model. We also find a criterion that ensures the existence of a smooth extremizer of the variational problem, and present a relevant conjecture.


title: Artin-Schreier-Witt Theory for Stacky Curves

abstract: We extend our previous classification of stacky curves in positive characteristic using higher ramification data and Artin-Schreier-Witt theory. The main new technical tool introduced is the Artin-Schreier-Witt root stack, a generalization of root stacks to the wildly ramified setting. We then apply our wild Riemann-Hurwitz theorem for stacks to compute the canonical rings of some wild stacky curves.


title: Quantum Machine Learning in Climate Change and Sustainability: a Review

abstract: Climate change and its impact on global sustainability are critical challenges, demanding innovative solutions that combine cutting-edge technologies and scientific insights. Quantum machine learning (QML) has emerged as a promising paradigm that harnesses the power of quantum computing to address complex problems in various domains including climate change and sustainability. In this work, we survey existing literature that applies quantum machine learning to solve climate change and sustainability-related problems. We review promising QML methodologies that have the potential to accelerate decarbonization including energy systems, climate data forecasting, climate monitoring, and hazardous events predictions. We discuss the challenges and current limitations of quantum machine learning approaches and provide an overview of potential opportunities and future work to leverage QML-based methods in the important area of climate change research.


title: Jointly-Learned Exit and Inference for a Dynamic Neural Network : JEI-DNN

abstract: Large pretrained models, coupled with fine-tuning, are slowly becoming established as the dominant architecture in machine learning. Even though these models offer impressive performance, their practical application is often limited by the prohibitive amount of resources required for every inference. Early-exiting dynamic neural networks (EDNN) circumvent this issue by allowing a model to make some of its predictions from intermediate layers (i.e., early-exit). Training an EDNN architecture is challenging as it consists of two intertwined components: the gating mechanism (GM) that controls early-exiting decisions and the intermediate inference modules (IMs) that perform inference from intermediate representations. As a result, most existing approaches rely on thresholding confidence metrics for the gating mechanism and strive to improve the underlying backbone network and the inference modules. Although successful, this approach has two fundamental shortcomings: 1) the GMs and the IMs are decoupled during training, leading to a train-test mismatch; and 2) the thresholding gating mechanism introduces a positive bias into the predictive probabilities, making it difficult to readily extract uncertainty information. We propose a novel architecture that connects these two modules. This leads to significant performance improvements on classification datasets and enables better uncertainty characterization capabilities.


title: Adjoint master equation for multi-time correlators

abstract: The quantum regression theorem is a powerful tool for calculating the muli-time correlators of operators of open quantum systems which dynamics can be described in Markovian approximation. It enables to obtain the closed system of equation for the multi-time correlators. However, the scope of the quantum regression theorem is limited by a particular time order of the operators in multi-time correlators and does not include out-of-time-ordered correlators. In this work, we obtain an adjoint master equation for multi-time correlators that is applicable to out-of-time-ordered correlators. We show that this equation can be derived for various approaches to description of the dynamics of open quantum systems, such as the global or local approach. We show that the adjoint master equation for multi-time correlators is self-consistent. Namely, the final equation does not depend on how the operators are grouped inside the correlator, and it coincides with the quantum regression theorem for the particular time ordering of the operators.


title: Towards Robust UAV Tracking in GNSS-Denied Environments: A Multi-LiDAR Multi-UAV Dataset

abstract: With the increasing prevalence of drones in various industries, the navigation and tracking of unmanned aerial vehicles (UAVs) in challenging environments, particularly GNSS-denied areas, have become crucial concerns. To address this need, we present a novel multi-LiDAR dataset specifically designed for UAV tracking. Our dataset includes data from a spinning LiDAR, two solid-state LiDARs with different Field of View (FoV) and scan patterns, and an RGB-D camera. This diverse sensor suite allows for research on new challenges in the field, including limited FoV adaptability and multi-modality data processing. The dataset facilitates the evaluation of existing algorithms and the development of new ones, paving the way for advances in UAV tracking techniques. Notably, we provide data in both indoor and outdoor environments. We also consider variable UAV sizes, from micro-aerial vehicles to more standard commercial UAV platforms. The outdoor trajectories are selected with close proximity to buildings, targeting research in UAV detection in urban areas, e.g., within counter-UAV systems or docking for UAV logistics. In addition to the dataset, we provide a baseline comparison with recent LiDAR-based UAV tracking algorithms, benchmarking the performance with different sensors, UAVs, and algorithms. Importantly, our dataset shows that current methods have shortcomings and are unable to track UAVs consistently across different scenarios.


title: Developing a Natural Language Understanding Model to Characterize Cable News Bias

abstract: Media bias has been extensively studied by both social and computational sciences. However, current work still has a large reliance on human input and subjective assessment to label biases. This is especially true for cable news research. To address these issues, we develop an unsupervised machine learning method to characterize the bias of cable news programs without any human input. This method relies on the analysis of what topics are mentioned through Named Entity Recognition and how those topics are discussed through Stance Analysis in order to cluster programs with similar biases together. Applying our method to 2020 cable news transcripts, we find that program clusters are consistent over time and roughly correspond to the cable news network of the program. This method reveals the potential for future tools to objectively assess media bias and characterize unfamiliar media environments.


title: A Deep Neural Network -- Mechanistic Hybrid Model to Predict Pharmacokinetics in Rat

abstract: An important aspect in the development of small molecules as drugs or agro-chemicals is their systemic availability after intravenous and oral administration. The prediction of the systemic availability from the chemical structure of a potential candidate is highly desirable, as it allows to focus the drug or agrochemical development on compounds with a favorable kinetic profile. However, such pre-dictions are challenging as the availability is the result of the complex interplay between molecular properties, biology and physiology and training data is rare. In this work we improve the hybrid model developed earlier [1]. We reduce the median fold change error for the total oral exposure from 2.85 to 2.35 and for intravenous administration from 1.95 to 1.62. This is achieved by training on a larger data set, improving the neural network architecture as well as the parametrization of mechanistic model. Further, we extend our approach to predict additional endpoints and to handle different covariates, like sex and dosage form. In contrast to a pure machine learning model, our model is able to predict new end points on which it has not been trained. We demonstrate this feature by predicting the exposure over the first 24h, while the model has only been trained on the total exposure.


title: Explore-Instruct: Enhancing Domain-Specific Instruction Coverage through Active Exploration

abstract: Instruction-tuning can be substantially optimized through enhanced diversity, resulting in models capable of handling a broader spectrum of tasks. However, existing data employed for such tuning often exhibit an inadequate coverage of individual domains, limiting the scope for nuanced comprehension and interactions within these areas. To address this deficiency, we propose Explore-Instruct, a novel approach to enhance the data coverage to be used in domain-specific instruction-tuning through active exploration via Large Language Models (LLMs). Built upon representative domain use cases, Explore-Instruct explores a multitude of variations or possibilities by implementing a search algorithm to obtain diversified and domain-focused instruction-tuning data. Our data-centric analysis validates the effectiveness of this proposed approach in improving domain-specific instruction coverage. Moreover, our model's performance demonstrates considerable advancements over multiple baselines, including those utilizing domain-specific data enhancement. Our findings offer a promising opportunity to improve instruction coverage, especially in domain-specific contexts, thereby advancing the development of adaptable language models. Our code, model weights, and data are public at \url{https://github.com/fanqiwan/Explore-Instruct}.


title: Ising model on a Galton-Watson tree with a sparse random external field

abstract: We consider the Ising model on a supercritical Galton-Watson tree $\mathbf{T}_n$ of depth $n$ with a sparse random external field, given by a collection of i.i.d. Bernouilli random variables with vanishing parameter $p_n$. This may me viewed as a toy model for the Ising model on a configuration model with a few interfering external vertices carrying a plus spin: the question is to know how many (or how few) interfering vertices are enough to influence the whole graph. Our main result consists in providing a necessary and sufficient condition on the parameters $(p_n)_{n\geq 0}$ for the root of $\mathbf{T}_n$ to remain magnetized in the large $n$ limit. Our model is closely related to the Ising model on a (random) pruned sub-tree $\mathbf{T}_n^*$ with plus boundary condition; one key result is that this pruned tree turns out to be an inhomogeneous, $n$-dependent, Branching Process. We then use standard tools such as tree recursions and non-linear capacities to study the Ising model on this sequence of Galton-Watson trees; one difficulty is that the offspring distributions of $\mathbf{T}_n^*$, in addition to vary along the generations $0\leq k \leq n-1$, also depend on~$n$.


title: mnmDTW: An extension to Dynamic Time Warping for Camera-based Movement Error Localization

abstract: In this proof of concept, we use Computer Vision (CV) methods to extract pose information out of exercise videos. We then employ a modified version of Dynamic Time Warping (DTW) to calculate the deviation from a gold standard execution of the exercise. Specifically, we calculate the distance between each body part individually to get a more precise measure for exercise accuracy. We can show that exercise mistakes are clearly visible, identifiable and localizable through this metric.


title: Insights into muscle metabolic energetics: Modelling muscle-tendon mechanics and metabolic rates during walking across speeds

abstract: Prior studies have produced models to predict metabolic rates based on experimental observations of isolated muscle contraction from various species. Such models can provide reliable predictions of metabolic rates in humans if muscle properties and control are accurately modeled. This study aimed to examine how muscle-tendon model calibration and metabolic energy models influenced estimation of muscle-tendon states and time-series metabolic rates, to evaluate the agreement with empirical data, and to provide predictions of the metabolic rate of muscle groups and gait phases across walking speeds. Three-dimensional musculoskeletal simulations with prescribed kinematics and dynamics were performed. An optimal control formulation was used to compute muscle-tendon states with four levels of individualization, ranging from a scaled generic model and muscle controls based on minimal activations, to calibration of passive muscle forces, personalization of Achilles and quadriceps tendon stiffnesses, to finally informing muscle controls with electromyography. We computed metabolic rates based on existing models. Simulations with calibrated passive forces and personalized tendon stiffness most accurately estimate muscle excitations and fiber lengths. Interestingly, the inclusion of electromyography did not improve our estimates. The whole-body average metabolic cost was better estimated using Bhargava et al. 2004 and Umberger 2010 models. We estimated metabolic rate peaks near early stance, pre-swing, and initial swing at all walking speeds. Plantarflexors accounted for the highest cost among muscle groups at the preferred speed and was similar to the cost of hip adductors and abductors combined. Also, the swing phase accounted for slightly more than one-quarter of the total cost in a gait cycle, and its relative cost decreased with walking speed.


title: Connection between single-layer Quantum Approximate Optimization Algorithm interferometry and thermal distributions sampling

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is an algorithm originally proposed to find approximate solutions to Combinatorial Optimization problems on quantum computers. However, the algorithm has also attracted interest for sampling purposes since it was theoretically demonstrated under reasonable complexity assumptions that one layer of the algorithm already engineers a probability distribution beyond what can be simulated by classical computers. In this regard, a recent study has shown as well that, in universal Ising models, this global probability distribution resembles pure but thermal-like distributions at a temperature that depends on internal correlations of the spin model. In this work, through an interferometric interpretation of the algorithm, we extend the theoretical derivation of the amplitudes of the eigenstates, and the Boltzmann distributions generated by single-layer QAOA. We also review the implications that this behavior has from both a practical and fundamental perspective.


title: Risk Aversion and Insurance Propensity

abstract: We provide a new foundation of risk aversion by showing that the propension to exploit insurance opportunities fully describes this attitude. Our foundation, which applies to any probabilistically sophisticated preference, well accords with the commonly held prudential interpretation of risk aversion that dates back to the seminal works of Arrow (1963) and Pratt (1964). In our main results, we first characterize the Arrow-Pratt risk aversion in terms of propension to full insurance and the stronger notion of risk aversion of Rothschild and Stiglitz (1970) in terms of propension to partial insurance. We then extend the analysis to comparative risk aversion by showing that the notion of Yaari (1969) corresponds to comparative propension to full insurance, while the stronger notion of Ross (1981) corresponds to comparative propension to partial insurance.


title: An explicit evolution from N\'eel to striped antiferromagnetic states in the spin-1/2 $J_{1}$-$J_{2}$ Heisenberg model on the square lattice

abstract: The frustrated spin-$1/2$ $J_1-J_2$ Heisenberg model on the square lattice has been extensively studied since 1988 because of its close relationship to the high-temperature superconductivity in cuprates and more importantly involved novel phase of matter in its own right, namely, quantum spin liquid (QSL), one of hot topics in condensed matter physics in recent years. However, the phase diagram of the model, particularly in the maximally frustrated regime $J_2/J_1 \sim 0.5$, is quite controversial, and more seriously the nature of the QSL is not clear at all. Here we provide a pattern picture, on one hand, to show explicitly how the system evolves from the N\'eel antiferromagnetic (AFM) state at small $J_2$ to the striped AFM one at large $J_2$; on the other hand, to uncover the nature of the QSL if it exists in the intermediate $J_2$ coupling regime. For simplicity, we show our results by taking the square lattice $L=L_x \times L_y$ with size $L_x=L_y=4$ here and periodic boundary condition is considered, and furthermore, exact diagonalization is employed to confirm the correctness of our picture. Our results indicate that the highly frustration regime is characterized by diagonal two-domain, while the N\'eel AFM state has a diagonal single-domain and the striped AFM state shows itself as a diagonal four-domain, namely, completely diagonal antiferromagnetic order, in the present case. Increasing the system size, the number of the diagonal domains increases correspondingly, but the diagonal single-domain for the N\'eel AFM state and the diagonal $L_{x(y)}$-domain for the striped AFM state remain unchanged. Our results shed light on the understanding of the QSL.


title: Shedding light on social learning

abstract: Culture involves the origination and transmission of ideas, but the conditions in which culture can emerge and evolve are unclear. We constructed and studied a highly simplified neural-network model of these processes. In this model ideas originate by individual learning from the environment and are transmitted by communication between individuals. Individuals (or "agents") comprise a single neuron which receives structured data from the environment via plastic synaptic connections. The data are generated in the simplest possible way: linear mixing of independently fluctuating sources and the goal of learning is to unmix the data. To make this problem tractable we assume that at least one of the sources fluctuates in a nonGaussian manner. Linear mixing creates structure in the data, and agents attempt to learn (from the data and possibly from other individuals) synaptic weights that will unmix, i.e., to "understand" the agent's world. For a variety of reasons even this goal can be difficult for a single agent to achieve; we studied one particular type of difficulty (created by imperfection in synaptic plasticity), though our conclusions should carry over to many other types of difficulty. We previously studied whether a small population of communicating agents, learning from each other, could more easily learn unmixing coefficients than isolated individuals, learning only from their environment. We found, unsurprisingly, that if agents learn indiscriminately from any other agent (whether or not they have learned good solutions), communication does not enhance understanding. Here we extend the model slightly, by allowing successful learners to be more effective teachers, and find that now a population of agents can learn more effectively than isolated individuals. We suggest that a key factor in the onset of culture might be the development of selective learning.