title: Multi-lingual Evaluation of Code Generation Models

abstract: We present new benchmarks on evaluation code generation models: MBXP and Multilingual HumanEval, and MathQA-X. These datasets cover over 10 programming languages and are generated using a scalable conversion framework that transpiles prompts and test cases from the original Python datasets into the corresponding data in the target language. Using these benchmarks, we are able to assess the performance of code generation models in a multi-lingual fashion, and discovered generalization ability of language models on out-of-domain languages, advantages of multi-lingual models over mono-lingual, the ability of few-shot prompting to teach the model new languages, and zero-shot translation abilities even on mono-lingual settings. Furthermore, we use our code generation model to perform large-scale bootstrapping to obtain synthetic canonical solutions in several languages, which can be used for other code-related evaluations such as code insertion, robustness, or summarization tasks. Overall, our benchmarks represents a significant step towards a deeper understanding of language models' code generation abilities. We publicly release our code and datasets at https://github.com/amazon-research/mxeval.


title: An Efficient Dynamic Multi-Sources To Single-Destination (DMS-SD) Algorithm In Smart City Navigation Using Adjacent Matrix

abstract: Dijkstra's algorithm is one of the most popular classic path planning algorithms, achieving optimal solutions across a wide range of challenging tasks. However, it only calculates the shortest distance from one vertex to another, which is hard to directly apply to the Dynamic Multi-Sources to Single-Destination (DMS-SD) problem. This paper proposes a modified Dijkstra algorithm to address the DMS-SD problem, where the destination can be dynamically changed. Our method deploys the concept of Adjacent Matrix from Floyd's algorithm and achieves the goal with mathematical calculations. We formally show that all-pairs shortest distance information in Floyd's algorithm is not required in our algorithm. Extensive experiments verify the scalability and optimality of the proposed method.


title: Spatio-temporal modeling of saltatory conduction in neurons using Poisson-Nernst-Planck treatment and estimation of conduction velocity

abstract: Action potential propagation along the axons and across the dendrites is the foundation of the electrical activity observed in the brain and the rest of the central nervous system. Theoretical and numerical modeling of this action potential activity has long been a key focus area of electro-chemical neuronal modeling. Specifically, considering the presence of nodes of Ranvier along the myelinated axon, single-cable models of the propagation of action potential have been popular. Building on these models, and considering a secondary electrical conduction pathway below the myelin sheath, the double-cable model has been proposed. Such cable theory based treatments have inherent limitations in their lack of a representation of the spatio-temporal evolution of the neuronal electro-chemistry. In contrast, a Poisson-Nernst-Planck (PNP) based electro-diffusive framework accounts for the underlying spatio-temporal ionic concentration dynamics and is a more comprehensive treatment. In this work, a high-fidelity implementation of the PNP model is demonstrated. This model is shown to produce results similar to the cable theory based electrical models, and in addition, the rich spatio-temporal evolution of the underlying ionic transport is captured. Novel to this work is the extension of PNP model to axonal geometries with multiple nodes of Ranvier and multiple variants of the electro-diffusive model - PNP without myelin, PNP with myelin, and PNP with the myelin sheath and peri-axonal space. Further, we apply this spatio-temporal model to numerically estimate conduction velocity in a rat axon. Specifically, saltatory conduction due to the presence of myelin sheath and the peri-axonal space is investigated.


title: Impact of the 2022 OSTP Memo: A Bibliometric Analysis of U.S. Federally Funded Publications, 2017-2021

abstract: On August 25, 2022, the White House Office of Science and Technology Policy (OSTP) released a memo regarding public access to scientific research. Signed by Director Alondra Nelson, this updated guidance eliminated the 12-month embargo period on publications arising from U.S. federal funding that had been allowed from a previous 2013 OSTP memo. While reactions to this updated federal guidance have been plentiful, to date there has not been a detailed analysis of the publications which would fall under this new framework. The OSTP released a companion report along with the memo, but it only provided a broad estimate of total numbers affected per year. Therefore, this study seeks to more deeply investigate the characteristics of U.S. federally funded research over a 5-year period from 2017-2021 to better understand the updated guidance's impact. It uses a manually created custom filter in the Dimensions database to return only publications that arise from U.S. federal funding. Results show that an average of 265,000 articles were published each year that acknowledge U.S. federal funding agencies, and these research outputs are further examined by publisher, journal title, institutions, and Open Access status. Interactive versions of the graphs are available online at https://ostp.lib.iastate.edu/.


title: Drinfeld's lemma for $F$-isocrystals, II: Tannakian approach

abstract: We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma.


title: Localization in the random XXZ quantum spin chain

abstract: We study the many-body localization (MBL) properties of the Heisenberg XXZ spin-$\frac12$ chain in a random magnetic field. We prove that the system exhibits localization in any given energy interval at the bottom of the spectrum in a nontrivial region of the parameter space. This region, which includes weak interaction and strong disorder regimes, is independent of the size of the system and depends only on the energy interval. Our approach is based on the reformulation of the localization problem as an expression of quasi-locality for functions of the random many-body XXZ Hamiltonian. This allows us to extend the fractional moment method for proving localization, previously derived in a single-particle localization context, to the many-body setting.


title: Anisotropic multiresolution analyses for deepfake detection

abstract: Generative Adversarial Networks (GANs) have paved the path towards entirely new media generation capabilities at the forefront of image, video, and audio synthesis. However, they can also be misused and abused to fabricate elaborate lies, capable of stirring up the public debate. The threat posed by GANs has sparked the need to discern between genuine content and fabricated one. Previous studies have tackled this task by using classical machine learning techniques, such as k-nearest neighbours and eigenfaces, which unfortunately did not prove very effective. Subsequent methods have focused on leveraging on frequency decompositions, i.e., discrete cosine transform, wavelets, and wavelet packets, to preprocess the input features for classifiers. However, existing approaches only rely on isotropic transformations. We argue that, since GANs primarily utilize isotropic convolutions to generate their output, they leave clear traces, their fingerprint, in the coefficient distribution on sub-bands extracted by anisotropic transformations. We employ the fully separable wavelet transform and multiwavelets to obtain the anisotropic features to feed to standard CNN classifiers. Lastly, we find the fully separable transform capable of improving the state-of-the-art.


title: On the Relative Distance of Entangled Systems in Emergent Spacetime Scenarios

abstract: Spacetime emergence from entanglement proposes an alternative to quantizing gravity and typically derives a notion of distance based on the amount of mutual information shared across sub-systems. Albeit promising, this program still faces challenges to describe simple physical systems, such as a maximally entangled Bell pair that is taken apart while preserving its entanglement. We propose a solution to this problem: a reminder that quantum systems can have multiple sectors of independent degrees of freedom, and that each sector can be entangled. Thus, while one sector can decohere, and decrease the amount of total mutual information within the system, another sector, e.g. spin, can remain entangled. We illustrate this with a toy model, showing that only within the particles' momentum uncertainty there can be considerably more entanglement than in the spin sector for a single Bell pair. We finish by introducing some considerations about how spacetime could be tested in the lab in the future.


title: Quantum deep recurrent reinforcement learning

abstract: Recent advances in quantum computing (QC) and machine learning (ML) have drawn significant attention to the development of quantum machine learning (QML). Reinforcement learning (RL) is one of the ML paradigms which can be used to solve complex sequential decision making problems. Classical RL has been shown to be capable to solve various challenging tasks. However, RL algorithms in the quantum world are still in their infancy. One of the challenges yet to solve is how to train quantum RL in the partially observable environments. In this paper, we approach this challenge through building QRL agents with quantum recurrent neural networks (QRNN). Specifically, we choose the quantum long short-term memory (QLSTM) to be the core of the QRL agent and train the whole model with deep $Q$-learning. We demonstrate the results via numerical simulations that the QLSTM-DRQN can solve standard benchmark such as Cart-Pole with more stable and higher average scores than classical DRQN with similar architecture and number of model parameters.


title: A universal programmable Gaussian Boson Sampler for drug discovery

abstract: Gaussian Boson Sampling (GBS) exhibits a unique ability to solve graph problems, such as finding cliques in complex graphs. It is noteworthy that many drug discovery tasks can be viewed as the clique-finding process, making them potentially suitable for quantum computation. However, to perform these tasks in their quantum-enhanced form, a large-scale quantum hardware with universal programmability is essential, which is yet to be achieved even with the most advanced GBS devices. Here, we construct a time-bin encoded GBS photonic quantum processor that is universal, programmable, and software-scalable. Our processor features freely adjustable squeezing parameters and can implement arbitrary unitary operations with a programmable interferometer. Using our processor, we have demonstrated the clique-finding task in a 32-node graph, where we found the maximum weighted clique with approximately twice the probability of success compared to classical sampling. Furthermore, a multifunctional quantum pharmaceutical platform is developed. This GBS processor is successfully used to execute two different drug discovery methods, namely molecular docking and RNA folding prediction. Our work achieves the state-of-the-art in GBS circuitry with its distinctive universal and programmable architecture which advances GBS towards real-world applications.


title: Duality-Based Stochastic Policy Optimization for Estimation with Unknown Noise Covariances

abstract: Duality of control and estimation allows mapping recent advances in data-guided control to the estimation setup. This paper formalizes and utilizes such a mapping to consider learning the optimal (steady-state) Kalman gain when process and measurement noise statistics are unknown. Specifically, building on the duality between synthesizing optimal control and estimation gains, the filter design problem is formalized as direct policy learning. In this direction, the duality is used to extend existing theoretical guarantees of direct policy updates for Linear Quadratic Regulator (LQR) to establish global convergence of the Gradient Descent (GD) algorithm for the estimation problem--while addressing subtle differences between the two synthesis problems. Subsequently, a Stochastic Gradient Descent (SGD) approach is adopted to learn the optimal Kalman gain without the knowledge of noise covariances. The results are illustrated via several numerical examples.


title: A Control-theoretic Model for Bidirectional Molecular Communication Systems

abstract: Molecular communication (MC) enables cooperation of spatially dispersed molecular robots through the feedback control mediated by diffusing signal molecules. However, conventional analysis frameworks for the MC channels mostly consider the dynamics of unidirectional communication, lacking the effect of feedback interactions. In this paper, we propose a general control-theoretic modeling framework for bidirectional MC systems capable of capturing the dynamics of feedback control via MC in a systematic manner. The proposed framework considers not only the dynamics of molecular diffusion but also the boundary dynamics at the molecular robots that captures the lag due to the molecular transmission/reception process affecting the performance of the entire feedback system. Thus, methods in control theory can be applied to systematically analyze various dynamical properties of the feedback system. We perform a frequency response analysis based on the proposed framework to show a general design guideline for MC channels to transfer signal with desired control bandwidth. Finally, these results are demonstrated by showing the step-by-step design procedure of a specific MC channel satisfying a given specification.


title: Integrated Sensing and Communication in Distributed Antenna Networks

abstract: In this paper, we investigate the resource allocation design for integrated sensing and communication (ISAC) in distributed antenna networks (DANs). In particular, coordinated by a central processor (CP), a set of remote radio heads (RRHs) provide communication services to multiple users and sense several target locations within an ISAC frame. To avoid the severe interference between the information transmission and the radar echo, we propose to divide the ISAC frame into a communication phase and a sensing phase. During the communication phase, the data signal is generated at the CP and then conveyed to the RRHs via fronthaul links. As for the sensing phase, based on pre-determined RRH-target pairings, each RRH senses a dedicated target location with a synthesized highly-directional beam and then transfers the samples of the received echo to the CP via its fronthaul link for further processing of the sensing information. Taking into account the limited fronthaul capacity and the quality-of-service requirements of both communication and sensing, we jointly optimize the durations of the two phases, the information beamforming, and the covariance matrix of the sensing signal for minimization of the total energy consumption over a given finite time horizon. To solve the formulated non-convex design problem, we develop a low-complexity alternating optimization algorithm which converges to a suboptimal solution. Simulation results show that the proposed scheme achieves significant energy savings compared to two baseline schemes. Moreover, our results reveal that for efficient ISAC in wireless networks, energy-focused short-duration pulses are favorable for sensing while low-power long-duration signals are preferable for communication.


title: Frequency stability of cryogenic silicon cavities with semiconductor crystalline coatings

abstract: State-of-the-art optical oscillators employing cryogenic reference cavities are limited in performance by the Brownian thermal noise associated with the mechanical dissipation of the mirror coatings. Recently, crystalline Al$_{1-x}$Ga$_{x}$As/GaAs coatings have emerged as a promising candidate for improved coating thermal noise. We present measurements of the frequency noise of two fully crystalline cryogenic reference cavities with Al$_{0.92}$Ga$_{0.08}$As/GaAs optical coatings. We report on previously unmeasured birefringent noise associated with anti-correlated frequency fluctuations between the polarization modes of the crystalline coatings, and identify variables that affect its magnitude. Comparing the birefringent noise between the two cryogenic reference cavities reveals a phenomenological set of scalings with intracavity power and mode area. We implement an interrogation scheme that cancels this noise by simultaneous probing of both polarization modes. The residual noise remaining after this cancellation is larger than both cavities thermal noise limits, but still lower than the instabilities previously measured on equivalent resonators with dielectric coatings. Though the source of these novel noise mechanisms is unclear, we demonstrate that crystalline coatings can provide stability and sensitivity competitive with resonators employing dielectric coatings.


title: Nonreciprocal collective magnetostatic wave modes in geometrically asymmetric bilayer structure with nonmagnetic spacer

abstract: Nonreciprocity, i.e. inequivalence in amplitudes and frequencies of spin waves propagating in opposite directions, is a key property underlying functionality in prospective magnonic devices. Here we demonstrate experimentally and theoretically a simple approach to induce frequency nonreciprocity in a magnetostatically coupled ferromagnetic bilayer structure with a nonmagnetic spacer by its geometrical asymmetry. Using Brillouin light scattering, we show the formation of two collective spin wave modes in Fe$_{81}$Ga$_{19}$/Cu/Fe$_{81}$Ga$_{19}$ structure with different thicknesses of ferromagnetic layers. Experimental reconstruction and theoretical modeling of the dispersions of acoustic and optical collective spin wave modes reveal that both possess nonreciprocity reaching several percent at the wavenumber of $22~\cdot~10^4$ rad cm$^{-1}$. The analysis demonstrates that the shift of the amplitudes of counter-propagating coupled modes towards either of the layers is responsible for the nonreciprocity because of the pronounced dependence of spin wave frequency on the layers thickness. The proposed approach enables the design of multilayered ferromagnetic structures with a given spin wave dispersion for magnonic logic gates.


title: Integrability of the Six-Vertex model and the Yang-Baxter Groupoid

abstract: We study the Yang-Baxter equation for the $R$-matrices of the six-vertex model. We analyze the solutions and give new parametrizations of the Yang-Baxter equation. In particular, we find the maximal commutative families of parametrized solutions which generalize the $R$-matrices from the affine quantum (super)-groups. Then we give a new parametrization of the Yang-Baxter equation by a groupoid of non-free-fermionic matrices. In the appendix, we study the general algebraic structure of the solutions of the Yang-Baxter and formulate a conjecture that extends the conjecture by Brubaker, Bump, and Friedberg that the composition law on the Yang-Baxter solutions is always associative.


title: Do Software Security Practices Yield Fewer Vulnerabilities?

abstract: Due to the ever-increasing security breaches, practitioners are motivated to produce more secure software. In the United States, the White House Office released a memorandum on Executive Order (EO) 14028 that mandates organizations provide self-attestation of the use of secure software development practices. The OpenSSF Scorecard project allows practitioners to measure the use of software security practices automatically. However, little research has been done to determine whether the use of security practices improves package security, particularly which security practices have the biggest impact on security outcomes. The goal of this study is to assist practitioners and researchers making informed decisions on which security practices to adopt through the development of models between software security practice scores and security vulnerability counts. To that end, we developed five supervised machine learning models for npm and PyPI packages using the OpenSSF Scorecared security practices scores and aggregate security scores as predictors and the number of externally-reported vulnerabilities as a target variable. Our models found four security practices (Maintained, Code Review, Branch Protection, and Security Policy) were the most important practices influencing vulnerability count. However, we had low R^2 (ranging from 9% to 12%) when we tested the models to predict vulnerability counts. Additionally, we observed that the number of reported vulnerabilities increased rather than reduced as the aggregate security score of the packages increased. Both findings indicate that additional factors may influence the package vulnerability count. We suggest that vulnerability count and security score data be refined such that these measures may be used to provide actionable guidance on security practices.


title: Angular Momentum Loss Rates in Be Stars Determined by the Viscous Decretion Disc Model

abstract: Circumstellar discs around Be stars are formed by the material ejected by the central star. This process removes excess angular momentum from the star as viscosity facilitates the mass and angular momentum transfer within the disc and its growth. The angular momentum loss rates (AMLR) of Be stars is a subject of debate in the literature. Through the modelling of the disc formation and dissipation phases observed from Be stars, their average AMLR can be determined and this is the goal of this work. We use the viscous decretion disc (VDD) model to provide a range of the average AMLR for Be stars and compare these rates with predicted values from the literature. We explore the reasons for discrepancies between the predicted values of average AMLR using the VDD and Geneva stellar evolution (GSE) models that were previously reported in literature and find that the largest differences occur when Be stars are rotating below their critical speeds. We show that the time over which the mass reservoir builds up is inversely proportional to the average AMLR. Also, we determine a revised value of the average AMLR for the Galactic Be star omega CMa of 4.7x10^36 g cm^2/s^2, which is in better agreement with the values expected for a typical B2 type star. Finally, the effect of disc truncation due to the presence of a companion star is investigated and we find that this has a minimal effect on the average AMLR.


title: Rigidity for piece-wise smooth circle maps and certain GIETs

abstract: The goal of this article is to show a rigidity property of conjugacies of generalized interval exchange transformations (GIETs). More precisely, we show that if two piecewise $C^3$ GIETs $f$ and $g$ of generic rotation number with mean-non-linearity 0 are homeomorphic, boundary-equivalent and their renormalizations approach in an appropriate way the set of affine interval exchange transformations, then their respective renormalizations converge to each other and the conjugating map is $C^1$. Moreover, if $f$ and $g$ are GIETs with rotation type combinatorial data, generic rotation number and they are break-equivalent as piecewise circle diffeomorphisms, they are actually $C^1$-conjugated as circle diffeomorphisms. These results generalize the work of K. Cunha and D. Smania \cite{cunha_rigidity_2014} in the case of piecewise $C^3$ circle maps, where the authors prove an analogous result for GIETs with rotation type combinatorial data and bounded rotation number.


title: A nonsmooth variational approach to semipositone quasilinear problems in $\mathbb{R}^N$

abstract: This paper concerns the existence of a solution for the following class of semipositone quasilinear problems \begin{equation*} \left \{ \begin{array}{rclcl} -\Delta_p u = h(x)(f(u)-a),\ & u > 0 & \mbox{in} & \mathbb{R}^N, \end{array} \right. \end{equation*} where $1<p<N$, $a>0$, $ f:[0,+\infty) \to [0,+\infty)$ is a function with subcritical growth and $f(0)=0$, while $h:\mathbb{R}^N \to (0,+\infty)$ is a continuous function that satisfies some technical conditions. We prove via nonsmooth critical points theory and comparison principle, that a solution exists for $a$ small enough. We also provide a version of Hopf's Lemma and a Liouville-type result for the $p$-Laplacian in the whole $\mathbb{R}^N$.


title: A Decision Framework for Blockchain Adoption

abstract: Blockchain and distributed ledger technologies are gaining the interest of the academy, companies, and institutions. Nonetheless, the path toward blockchain adoption is not straightforward, as blockchain is a complex technology that requires revisiting the standard way of addressing problems and tackling them from a decentralized perspective. Thus, decision-makers adopt blockchain technology for the wrong reasons or prefer it to more suitable ones. This work presents a decision framework for blockchain adoption to help decision-makers decide whether blockchain is applicable, valuable, and preferable to other technologies. In particular, The decision framework is composed of a small set of questions that can be answered from a managerial standpoint and that do not require a deep technical knowledge of blockchain-related topics.


title: Perfectly Secure Steganography Using Minimum Entropy Coupling

abstract: Steganography is the practice of encoding secret information into innocuous content in such a manner that an adversarial third party would not realize that there is hidden meaning. While this problem has classically been studied in security literature, recent advances in generative models have led to a shared interest among security and machine learning researchers in developing scalable steganography techniques. In this work, we show that a steganography procedure is perfectly secure under Cachin (1998)'s information-theoretic model of steganography if and only if it is induced by a coupling. Furthermore, we show that, among perfectly secure procedures, a procedure maximizes information throughput if and only if it is induced by a minimum entropy coupling. These insights yield what are, to the best of our knowledge, the first steganography algorithms to achieve perfect security guarantees for arbitrary covertext distributions. To provide empirical validation, we compare a minimum entropy coupling-based approach to three modern baselines -- arithmetic coding, Meteor, and adaptive dynamic grouping -- using GPT-2, WaveRNN, and Image Transformer as communication channels. We find that the minimum entropy coupling-based approach achieves superior encoding efficiency, despite its stronger security constraints. In aggregate, these results suggest that it may be natural to view information-theoretic steganography through the lens of minimum entropy coupling.


title: The deconvolved distribution estimator: enhancing reionisation-era CO line-intensity mapping analyses with a cross-correlation analogue for one-point statistics

abstract: We present the deconvolved distribution estimator (DDE), an extension of the voxel intensity distribution (VID), in the context of future observations proposed as part of the CO Mapping Array Project (COMAP). The DDE exploits the fact that the observed VID is a convolution of correlated signal intensity distributions and uncorrelated noise or interloper intensity distributions. By deconvolving the individual VID of two observables away from their joint VID in a Fourier-space operation, the DDE suppresses sensitivity to interloper emission while maintaining sensitivity to correlated components. The DDE thus improves upon the VID by reducing the relative influence of uncorrelated noise and interloper biases, which is useful in the context of COMAP observations that observe different rotational transitions of CO from the same comoving volume in different observing frequency bands. Fisher forecasts suggest that the theoretical sensitivity in the DDE allows significant improvements in constraining power compared to either the cross power spectrum or the individual VID data, and matches the constraining power of the combination of all other one- and two-point summary statistics. Future work should further investigate the covariance and model-dependent behaviour of this novel one-point cross-correlation statistic.


title: Broken Neural Scaling Laws

abstract: We present a smoothly broken power law functional form (that we refer to as a Broken Neural Scaling Law (BNSL)) that accurately models & extrapolates the scaling behaviors of deep neural networks (i.e. how the evaluation metric of interest varies as amount of compute used for training (or inference), number of model parameters, training dataset size, model input size, number of training steps, or upstream performance varies) for various architectures & for each of various tasks within a large & diverse set of upstream & downstream tasks, in zero-shot, prompted, & finetuned settings. This set includes large-scale vision, language, audio, video, diffusion, generative modeling, multimodal learning, contrastive learning, AI alignment, AI capabilities, robotics, out-of-distribution (OOD) generalization, continual learning, transfer learning, uncertainty estimation / calibration, OOD detection, adversarial robustness, distillation, sparsity, retrieval, quantization, pruning, fairness, molecules, computer programming/coding, math word problems, "emergent phase transitions", arithmetic, supervised learning, unsupervised/self-supervised learning, & reinforcement learning (single agent & multi-agent). When compared to other functional forms for neural scaling, this functional form yields extrapolations of scaling behavior that are considerably more accurate on this set. Moreover, this functional form accurately models & extrapolates scaling behavior that other functional forms are incapable of expressing such as the nonmonotonic transitions present in the scaling behavior of phenomena such as double descent & the delayed, sharp inflection points present in the scaling behavior of tasks such as arithmetic. Lastly, we use this functional form to glean insights about the limit of the predictability of scaling behavior. Code is available at https://github.com/ethancaballero/broken_neural_scaling_laws


title: Quantum state preparation without coherent arithmetic

abstract: We introduce a versatile method for preparing a quantum state whose amplitudes are given by some known function. Unlike existing approaches, our method does not require handcrafted reversible arithmetic circuits, or quantum memory loads, to encode the function values. Instead, we use a template quantum eigenvalue transformation circuit to convert a low cost block encoding of the sine function into the desired function. Our method uses only 4 ancilla qubits (3 if the approximating polynomial has definite parity), providing order-of-magnitude qubit count reductions compared to state-of-the-art approaches, while using a similar number of Toffoli gates if the function can be well represented by a polynomial or Fourier approximation. Like black-box methods, the complexity of our approach depends on the 'L2-norm filling-fraction' of the function. We demonstrate the efficiency of our method for preparing states commonly used in quantum algorithms, such as Gaussian and Kaiser window states.


title: Superstabilizing Control of Discrete-Time ARX Models under Error in Variables

abstract: This paper applies a polynomial optimization based framework towards the superstabilizing control of an Autoregressive with Exogenous Input (ARX) model given noisy data observations. The recorded input and output values are corrupted with L-infinity bounded noise where the bounds are known. This is an instance of Error in Variables (EIV) in which true internal state of the ARX system remains unknown. The consistency set of ARX models compatible with noisy data has a bilinearity between unknown plant parameters and unknown noise terms. The requirement for a dynamic compensator to superstabilize all consistent plants is expressed using polynomial nonnegativity constraints, and solved using sum-of-squares (SOS) methods in a converging hierarchy of semidefinite programs in increasing size. The computational complexity of this method may be reduced by applying a Theorem of Alternatives to eliminate the noise terms. Effectiveness of this method is demonstrated on control of example ARX models.


title: Learning to predict arbitrary quantum processes

abstract: We present an efficient machine learning (ML) algorithm for predicting any unknown quantum process $\mathcal{E}$ over $n$ qubits. For a wide range of distributions $\mathcal{D}$ on arbitrary $n$-qubit states, we show that this ML algorithm can learn to predict any local property of the output from the unknown process~$\mathcal{E}$, with a small average error over input states drawn from $\mathcal{D}$. The ML algorithm is computationally efficient even when the unknown process is a quantum circuit with exponentially many gates. Our algorithm combines efficient procedures for learning properties of an unknown state and for learning a low-degree approximation to an unknown observable. The analysis hinges on proving new norm inequalities, including a quantum analogue of the classical Bohnenblust-Hille inequality, which we derive by giving an improved algorithm for optimizing local Hamiltonians. Numerical experiments on predicting quantum dynamics with evolution time up to $10^6$ and system size up to $50$ qubits corroborate our proof. Overall, our results highlight the potential for ML models to predict the output of complex quantum dynamics much faster than the time needed to run the process itself.


title: Quantum gas microscopy of a geometrically frustrated Hubbard system

abstract: Geometrically frustrated many-particle quantum systems are notoriously hard to study numerically but are of profound interest because of their unusual properties and emergent phenomena. In these systems energetic constraints cannot be minimized simultaneously, leading to large ground-state degeneracy and a variety of exotic quantum phases. Here, we present a platform that enables unprecedentedly detailed experimental exploration of geometrically frustrated electronic systems on lattices with triangular geometry. We demonstrate the first realization of triangular atomic Hubbard systems, directly image Mott insulators in the triangular geometry with single-atom and single-site resolution, and measure antiferromagnetic spin-spin correlations for all nearest neighbors allowing for thermometry. This platform provides a powerful new approach for studying exotic quantum magnetism and direct detection of quantum spin liquid signatures in Hubbard systems.


title: DiffusionDB: A Large-scale Prompt Gallery Dataset for Text-to-Image Generative Models

abstract: With recent advancements in diffusion models, users can generate high-quality images by writing text prompts in natural language. However, generating images with desired details requires proper prompts, and it is often unclear how a model reacts to different prompts or what the best prompts are. To help researchers tackle these critical challenges, we introduce DiffusionDB, the first large-scale text-to-image prompt dataset totaling 6.5TB, containing 14 million images generated by Stable Diffusion, 1.8 million unique prompts, and hyperparameters specified by real users. We analyze the syntactic and semantic characteristics of prompts. We pinpoint specific hyperparameter values and prompt styles that can lead to model errors and present evidence of potentially harmful model usage, such as the generation of misinformation. The unprecedented scale and diversity of this human-actuated dataset provide exciting research opportunities in understanding the interplay between prompts and generative models, detecting deepfakes, and designing human-AI interaction tools to help users more easily use these models. DiffusionDB is publicly available at: https://poloclub.github.io/diffusiondb.


title: Searching Dense Point Correspondences via Permutation Matrix Learning

abstract: Although 3D point cloud data has received widespread attentions as a general form of 3D signal expression, applying point clouds to the task of dense correspondence estimation between 3D shapes has not been investigated widely. Furthermore, even in the few existing 3D point cloud-based methods, an important and widely acknowledged principle, i.e . one-to-one matching, is usually ignored. In response, this paper presents a novel end-to-end learning-based method to estimate the dense correspondence of 3D point clouds, in which the problem of point matching is formulated as a zero-one assignment problem to achieve a permutation matching matrix to implement the one-to-one principle fundamentally. Note that the classical solutions of this assignment problem are always non-differentiable, which is fatal for deep learning frameworks. Thus we design a special matching module, which solves a doubly stochastic matrix at first and then projects this obtained approximate solution to the desired permutation matrix. Moreover, to guarantee end-to-end learning and the accuracy of the calculated loss, we calculate the loss from the learned permutation matrix but propagate the gradient to the doubly stochastic matrix directly which bypasses the permutation matrix during the backward propagation. Our method can be applied to both non-rigid and rigid 3D point cloud data and extensive experiments show that our method achieves state-of-the-art performance for dense correspondence learning.


title: CU-Net: LiDAR Depth-Only Completion With Coupled U-Net

abstract: LiDAR depth-only completion is a challenging task to estimate dense depth maps only from sparse measurement points obtained by LiDAR. Even though the depth-only methods have been widely developed, there is still a significant performance gap with the RGB-guided methods that utilize extra color images. We find that existing depth-only methods can obtain satisfactory results in the areas where the measurement points are almost accurate and evenly distributed (denoted as normal areas), while the performance is limited in the areas where the foreground and background points are overlapped due to occlusion (denoted as overlap areas) and the areas where there are no measurement points around (denoted as blank areas) since the methods have no reliable input information in these areas. Building upon these observations, we propose an effective Coupled U-Net (CU-Net) architecture for depth-only completion. Instead of directly using a large network for regression, we employ the local U-Net to estimate accurate values in the normal areas and provide the global U-Net with reliable initial values in the overlap and blank areas. The depth maps predicted by the two coupled U-Nets are fused by learned confidence maps to obtain final results. In addition, we propose a confidence-based outlier removal module, which removes outliers using simple judgment conditions. Our proposed method boosts the final results with fewer parameters and achieves state-of-the-art results on the KITTI benchmark. Moreover, it owns a powerful generalization ability under various depth densities, varying lighting, and weather conditions.


title: Learning a Task-specific Descriptor for Robust Matching of 3D Point Clouds

abstract: Existing learning-based point feature descriptors are usually task-agnostic, which pursue describing the individual 3D point clouds as accurate as possible. However, the matching task aims at describing the corresponding points consistently across different 3D point clouds. Therefore these too accurate features may play a counterproductive role due to the inconsistent point feature representations of correspondences caused by the unpredictable noise, partiality, deformation, \etc, in the local geometry. In this paper, we propose to learn a robust task-specific feature descriptor to consistently describe the correct point correspondence under interference. Born with an Encoder and a Dynamic Fusion module, our method EDFNet develops from two aspects. First, we augment the matchability of correspondences by utilizing their repetitive local structure. To this end, a special encoder is designed to exploit two input point clouds jointly for each point descriptor. It not only captures the local geometry of each point in the current point cloud by convolution, but also exploits the repetitive structure from paired point cloud by Transformer. Second, we propose a dynamical fusion module to jointly use different scale features. There is an inevitable struggle between robustness and discriminativeness of the single scale feature. Specifically, the small scale feature is robust since little interference exists in this small receptive field. But it is not sufficiently discriminative as there are many repetitive local structures within a point cloud. Thus the resultant descriptors will lead to many incorrect matches. In contrast, the large scale feature is more discriminative by integrating more neighborhood information. ...


title: (Slow-)Twisting inflationary attractors

abstract: We explore in detail the dynamics of multi-field inflationary models. We first revisit the two-field case and rederive the coordinate independent expression for the attractor solution with either small or large turn rate, emphasizing the role of isometries for the existence of rapid-turn solutions. Then, for three fields in the slow-twist regime we provide elegant expressions for the attractor solution for generic field-space geometries and potentials and study the behaviour of first order perturbations. For generic $\mathcal{N}$-field models, our method quickly grows in algebraic complexity. We observe that field-space isometries are common in the literature and are able to obtain the attractor solutions and deduce stability for some isometry classes of $\mathcal{N}$-field models. Finally, we apply our discussion to concrete supergravity models. These analyses conclusively demonstrate the existence of $\mathcal{N}>2$ dynamical attractors distinct from the two-field case, and provide tools useful for future studies of their phenomenology in the cosmic microwave background and stochastic gravitational wave spectrum.


title: TOI-1075 b: A Dense, Massive, Ultra-Short Period Hot Super-Earth Straddling the Radius Gap

abstract: Populating the exoplanet mass-radius diagram in order to identify the underlying relationship that governs planet composition is driving an interdisciplinary effort within the exoplanet community. The discovery of hot super-Earths - a high temperature, short-period subset of the super-Earth planet population - has presented many unresolved questions concerning the formation, evolution, and composition of rocky planets. We report the discovery of a transiting, ultra-short period hot super-Earth orbiting TOI-1075 (TIC 351601843), a nearby ($d$ = 61.4 pc) late K-/early M-dwarf star, using data from the Transiting Exoplanet Survey Satellite (TESS). The newly discovered planet has a radius of $1.791^{+0.116}_{-0.081}$ $R_{\oplus}$, and an orbital period of 0.605 days (14.5 hours). We precisely measure the planet mass to be $9.95^{+1.36}_{-1.30}$ $M_{\oplus}$ using radial velocity measurements obtained with the Planet Finder Spectrograph (PFS), mounted on the Magellan II telescope. Our radial velocity data also show a long-term trend, suggesting an additional planet in the system. While TOI-1075 b is expected to have a substantial H/He atmosphere given its size relative to the radius gap, its high density ($9.32^{+2.05}_{-1.85}$ $\rm{g/cm^3}$) is likely inconsistent with this possibility. We explore TOI-1075 b's location relative to the M-dwarf radius valley, evaluate the planet's prospects for atmospheric characterization, and discuss potential planet formation mechanisms. Studying the TOI-1075 system in the broader context of ultra-short period planetary systems is necessary for testing planet formation and evolution theories, density enhancing mechanisms, and for future atmospheric and surface characterization studies via emission spectroscopy with JWST.


title: Characteristic Functions for Cosmological Cross-Correlations

abstract: We introduce a novel unbiased, cross-correlation estimator for the one-point statistics of cosmological random fields. One-point statistics are a useful tool for analysis of highly non-Gaussian density fields, while cross-correlations provide a powerful method for combining information from pairs of fields and separating them from noise and systematics. We derive a new Deconvolved Distribution Estimator that combines the useful properties of these two methods into one statistic. Using two example models of a toy Gaussian random field and a line intensity mapping survey, we demonstrate these properties quantitatively and show that the DDE can be used for inference. This new estimator can be applied to any pair of overlapping, non-Gaussian cosmological observations, including large-scale structure, the Sunyaev-Zeldovich effect, weak lensing, and many others.


title: Germination phenomena

abstract: Many theorems in complex analysis propagate analyticity, such as the Forelli theorem, edge-of-the-wedge theorem and so on. We give a germination theorem which allows for general analytic propagation in complete normed fields. In turn, we develop general analogs of the Forelli theorem, edge-of-the-wedge theorem, and the royal road theorem, and gain insight into the geometry of the zero sets of hyperbolic polynomials.


title: Injection and nucleation of topological defects in the quench dynamics of the Frenkel-Kontorova model

abstract: Topological defects have strong impact on both elastic and inelastic properties of materials. In this article, we investigate the possibility to controllably inject topological defects in quantum simulators of solid state lattice structures. We investigate the quench dynamics of a Frenkel-Kontorova chain, which is used to model discommensurations of particles in cold atoms and trapped ionic crystals. The interplay between an external periodic potential and the inter-particle interaction makes lattice discommensurations, the topological defects of the model, energetically favorable and can tune a commensurate-incommensurate structural transition. Our key finding is that a quench from the commensurate to incommensurate phase causes a controllable injection of topological defects at periodic time intervals. We employ this mechanism to generate quantum states which are a superposition of lattice structures with and without topological defects. We conclude by presenting concrete perspectives for the observation and control of topological defects in trapped ion experiments.

categories: cond-mat.stat-mech cond-mat.quant-gas nlin.PS quant-ph


title: RulE: Knowledge Graph Reasoning with Rule Embedding

abstract: Knowledge graph (KG) reasoning is an important problem for knowledge graphs. In this paper, we propose a novel and principled framework called \textbf{RulE} (stands for {Rul}e {E}mbedding) to effectively leverage logical rules to enhance KG reasoning. Unlike knowledge graph embedding (KGE) methods, RulE learns rule embeddings from existing triplets and first-order {rules} by jointly representing \textbf{entities}, \textbf{relations} and \textbf{logical rules} in a unified embedding space. Based on the learned rule embeddings, a confidence score can be calculated for each rule, reflecting its consistency with the observed triplets. This allows us to perform logical rule inference in a soft way, thus alleviating the brittleness of logic. On the other hand, RulE injects prior logical rule information into the embedding space, enriching and regularizing the entity/relation embeddings. This makes KGE alone perform better too. RulE is conceptually simple and empirically effective. We conduct extensive experiments to verify each component of RulE. Results on multiple benchmarks reveal that our model outperforms the majority of existing embedding-based and rule-based approaches.


title: An Intelligent Decision Support Ensemble Voting Model for Coronary Artery Disease Prediction in Smart Healthcare Monitoring Environments

abstract: Coronary artery disease (CAD) is one of the most common cardiac diseases worldwide and causes disability and economic burden. It is the world's leading and most serious cause of mortality, with approximately 80% of deaths reported in low- and middle-income countries. The preferred and most precise diagnostic tool for CAD is angiography, but it is invasive, expensive, and technically demanding. However, the research community is increasingly interested in the computer-aided diagnosis of CAD via the utilization of machine learning (ML) methods. The purpose of this work is to present an e-diagnosis tool based on ML algorithms that can be used in a smart healthcare monitoring system. We applied the most accurate machine learning methods that have shown superior results in the literature to different medical datasets such as RandomForest, XGboost, MLP, J48, AdaBoost, NaiveBayes, LogitBoost, KNN. Every single classifier can be efficient on a different dataset. Thus, an ensemble model using majority voting was designed to take advantage of the well-performed single classifiers, Ensemble learning aims to combine the forecasts of multiple individual classifiers to achieve higher performance than individual classifiers in terms of precision, specificity, sensitivity, and accuracy; furthermore, we have benchmarked our proposed model with the most efficient and well-known ensemble models, such as Bagging, Stacking methods based on the cross-validation technique, The experimental results confirm that the ensemble majority voting approach based on the top 3 classifiers: MultilayerPerceptron, RandomForest, and AdaBoost, achieves the highest accuracy of 88,12% and outperforms all other classifiers. This study demonstrates that the majority voting ensemble approach proposed above is the most accurate machine learning classification approach for the prediction and detection of coronary artery disease.


title: Neuro-symbolic partial differential equation solver

abstract: We present a highly scalable strategy for developing mesh-free neuro-symbolic partial differential equation solvers from existing numerical discretizations found in scientific computing. This strategy is unique in that it can be used to efficiently train neural network surrogate models for the solution functions and the differential operators, while retaining the accuracy and convergence properties of state-of-the-art numerical solvers. This neural bootstrapping method is based on minimizing residuals of discretized differential systems on a set of random collocation points with respect to the trainable parameters of the neural network, achieving unprecedented resolution and optimal scaling for solving physical and biological systems.


title: Powering Up a Slow Charging Market: How Do Government Subsidies Affect Charging Station Supply?

abstract: Electric vehicle adoption is considered to be a promising pathway for addressing climate change. However, the market for charging stations suffers from a market failure: a lack of EV sales disincentives charging station production, which in turn inhibits mass EV adoption. Charging station subsidies are often discussed as policy levers that can stimulate charging station supply and correct this market failure. Nonetheless, there is limited research examining the extent such subsidies are successful in promoting charging station supply. Using annual data on electric vehicle sales, charging station counts, and subsidy amounts from 57 California counties and a staggered difference-in-differences methodology, I find that charging station subsidies are highly effective: counties that adopt subsidies experience a 36% increase in charging station supply 2 years following subsidy adoption. This finding suggests that governmental intervention can help correct the market failure in the charging station market.


title: Automated Diagnosis of Cardiovascular Diseases from Cardiac Magnetic Resonance Imaging Using Deep Learning Models: A Review

abstract: In recent years, cardiovascular diseases (CVDs) have become one of the leading causes of mortality globally. CVDs appear with minor symptoms and progressively get worse. The majority of people experience symptoms such as exhaustion, shortness of breath, ankle swelling, fluid retention, and other symptoms when starting CVD. Coronary artery disease (CAD), arrhythmia, cardiomyopathy, congenital heart defect (CHD), mitral regurgitation, and angina are the most common CVDs. Clinical methods such as blood tests, electrocardiography (ECG) signals, and medical imaging are the most effective methods used for the detection of CVDs. Among the diagnostic methods, cardiac magnetic resonance imaging (CMR) is increasingly used to diagnose, monitor the disease, plan treatment and predict CVDs. Coupled with all the advantages of CMR data, CVDs diagnosis is challenging for physicians due to many slices of data, low contrast, etc. To address these issues, deep learning (DL) techniques have been employed to the diagnosis of CVDs using CMR data, and much research is currently being conducted in this field. This review provides an overview of the studies performed in CVDs detection using CMR images and DL techniques. The introduction section examined CVDs types, diagnostic methods, and the most important medical imaging techniques. In the following, investigations to detect CVDs using CMR images and the most significant DL methods are presented. Another section discussed the challenges in diagnosing CVDs from CMR data. Next, the discussion section discusses the results of this review, and future work in CVDs diagnosis from CMR images and DL techniques are outlined. The most important findings of this study are presented in the conclusion section.


title: The eyes and hearts of UAV pilots: observations of physiological responses in real-life scenarios

abstract: The drone industry is diversifying and the number of pilots increases rapidly. In this context, flight schools need adapted tools to train pilots, most importantly with regard to their own awareness of their physiological and cognitive limits. In civil and military aviation, pilots can train themselves on realistic simulators to tune their reaction and reflexes, but also to gather data on their piloting behavior and physiological states. It helps them to improve their performances. Opposed to cockpit scenarios, drone teleoperation is conducted outdoor in the field, thus with only limited potential from desktop simulation training. This work aims to provide a solution to gather pilots behavior out in the field and help them increase their performance. We combined advance object detection from a frontal camera to gaze and heart-rate variability measurements. We observed pilots and analyze their behavior over three flight challenges. We believe this tool can support pilots both in their training and in their regular flight tasks. A demonstration video is available on https://www.youtube.com/watch?v=eePhjd2qNiI


title: Quadratic approximation based heuristic for optimization-based coordination of automated vehicles in confined areas

abstract: We investigate the problem of coordinating multiple automated vehicles (AVs) in confined areas. This problem can be formulated as an optimal control problem (OCP) where the motion of the AVs is optimized such that collisions are avoided in cross-intersections, merge crossings, and narrow roads. The problem is combinatorial and solving it to optimality is prohibitively difficult for all but trivial instances. For this reason, we propose a heuristic method to obtain approximate solutions. The heuristic comprises two stages: In the first stage, a Mixed Integer Quadratic Program (MIQP), similar in construction to the Quadratic Programming (QP) sub-problems in Sequential Quadratic Programming (SQP), is solved for the combinatorial part of the solution. In the second stage, the combinatorial part of the solution is held fixed, and the optimal state and control trajectories for the vehicles are obtained by solving a Nonlinear Program (NLP). The performance of the algorithm is demonstrated by a simulation of a non-trivial problem instance.


title: Examining the origins of observed terahertz modes from an optically pumped atomistic model protein in aqueous solution

abstract: The microscopic origins of terahertz (THz) vibrational modes in biological systems are an active and open area of current research. Recent experiments [Physical Review X 8, 031061 (2018)] have revealed the presence of a pronounced mode at $\sim$0.3 THz in fluorophore-decorated bovine serum albumin (BSA) protein in aqueous solution under nonequilibrium conditions induced by optical pumping. This result was heuristically interpreted as a collective elastic fluctuation originating from the activation of a low-frequency phonon mode. In this work, we show that the sub-THz spectroscopic response emerges in a statistically significant manner (> 2$\sigma$) from such collective behavior, illustrating how specific THz vibrational modes can be triggered through optical excitations and other charge reorganization processes. We revisit the theoretical analysis with proof-of-concept molecular dynamics that introduce optical excitations into the simulations. Using information theory techniques, we show that these excitations can induce a multiscale response involving the two optically excited chromophores (tryptophans), other amino acids in the protein, ions, and water. Our results motivate new experiments and fully nonequilibrium simulations to probe these phenomena, as well as the refinement of atomistic models of Fr\"ohlich condensates that are fundamentally determined by nonlinear interactions in biology.


title: AltUB: Alternating Training Method to Update Base Distribution of Normalizing Flow for Anomaly Detection

abstract: Unsupervised anomaly detection is coming into the spotlight these days in various practical domains due to the limited amount of anomaly data. One of the major approaches for it is a normalizing flow which pursues the invertible transformation of a complex distribution as images into an easy distribution as N(0, I). In fact, algorithms based on normalizing flow like FastFlow and CFLOW-AD establish state-of-the-art performance on unsupervised anomaly detection tasks. Nevertheless, we investigate these algorithms convert normal images into not N(0, I) as their destination, but an arbitrary normal distribution. Moreover, their performances are often unstable, which is highly critical for unsupervised tasks because data for validation are not provided. To break through these observations, we propose a simple solution AltUB which introduces alternating training to update the base distribution of normalizing flow for anomaly detection. AltUB effectively improves the stability of performance of normalizing flow. Furthermore, our method achieves the new state-of-the-art performance of the anomaly segmentation task on the MVTec AD dataset with 98.8% AUROC.


title: Multi-Viewpoint and Multi-Evaluation with Felicitous Inductive Bias Boost Machine Abstract Reasoning Ability

abstract: Great endeavors have been made to study AI's ability in abstract reasoning, along with which different versions of RAVEN's progressive matrices (RPM) are proposed as benchmarks. Previous works give inkling that without sophisticated design or extra meta-data containing semantic information, neural networks may still be indecisive in making decisions regarding RPM problems, after relentless training. Evidenced by thorough experiments and ablation studies, we showcase that end-to-end neural networks embodied with felicitous inductive bias, intentionally design or serendipitously match, can solve RPM problems elegantly, without the augment of any extra meta-data or preferences of any specific backbone. Our work also reveals that multi-viewpoint with multi-evaluation is a key learning strategy for successful reasoning. Finally, potential explanations for the failure of connectionist models in generalization are provided. We hope that these results will serve as inspections of AI's ability beyond perception and toward abstract reasoning. Source code can be found in https://github.com/QinglaiWeiCASIA/RavenSolver.


title: Has JWST already falsified dark-matter-driven galaxy formation?

abstract: The James Webb Space Telescope (JWST) discovered several luminous high-redshift galaxy candidates with stellar masses of $M_{*} \gtrsim 10^{9} \, \rm{M_{\odot}}$ at photometric redshifts $z_{\mathrm{phot}} \gtrsim 10$ which allows to constrain galaxy and structure formation models. For example, Adams et al. identified the candidate ID 1514 with $\log_{10}(M_{*}/M_{\odot}) = {9.8}_{-0.2}^{+0.2}$ located at $z_{\mathrm{phot}} = 9.85_{-0.12}^{+0.18}$ and Naidu et al. found even more distant candidates labeled as GL-z11 and GL-z13 with $\log_{10}(M_{*}/M_{\odot}) = 9.4_{-0.3}^{+0.3}$ at $z_{\mathrm{phot}}=10.9_{-0.4}^{+0.5}$ and $\log_{10}(M_{*}/M_{\odot}) = 9.0_{-0.4}^{+0.3}$ at $z_{\mathrm{phot}} = 13.1_{-0.7}^{+0.8}$, respectively. Assessing the computations of the IllustrisTNG (TNG50-1 and TNG100-1) and EAGLE projects, we investigate if the stellar mass buildup as predicted by the $\Lambda$CDM paradigm is consistent with these observations assuming that the early JWST calibration is correct and that the candidates are indeed located at $z \gtrsim 10$. Galaxies formed in the $\Lambda$CDM paradigm are by more than an order of magnitude less massive in stars than the observed galaxy candidates implying that the stellar mass buildup is more efficient in the early Universe than predicted by the $\Lambda$CDM models. This in turn would suggest that structure formation is more enhanced at $z \gtrsim 10$ than predicted by the $\Lambda$CDM framework. We show that different star formation histories could reduce the stellar masses of the galaxy candidates alleviating the tension. Finally, we calculate the galaxy-wide initial mass function (gwIMF) of the galaxy candidates assuming the integrated galaxy IMF theory. The gwIMF becomes top-heavy for metal-poor starforming galaxies decreasing therewith the stellar masses compared to an invariant canonical IMF.


title: Multipoint correlators on the supersymmetric Wilson line defect CFT II: Unprotected operators

abstract: We continue our study of multipoint correlators of scalar fields on the $1d$ defect CFT generated by inserting operators along the Maldacena-Wilson line in $\mathcal{N} = 4$ SYM. We present a weak-coupling recursion relation that captures correlators at next-to-leading order involving an arbitrary number of the elementary scalar fields $\phi^i$ and $\phi^6$, the latter being unprotected. We can then build correlators of composite operators by pinching the scalar fields together. As a demonstration of our method, we give explicit results for correlators containing up to six points. We also expand some selected correlators using recently obtained conformal blocks in the comb and snowflake channel, and check that the extracted low-lying CFT data is consistent with explicit computations.


title: EXCEED-DM: Extended Calculation of Electronic Excitations for Direct Detection of Dark Matter

abstract: Direct detection experiments utilizing electronic excitations are spearheading the search for light, sub-GeV, dark matter (DM). It is thus crucial to have accurate predictions for any DM-electron interaction rate in this regime. EXCEED-DM (EXtended Calculation of Electronic Excitations for Direct detection of Dark Matter) computes DM-electron interaction rates with inputs from a variety of ab initio electronic structure calculations. The purpose of this manuscript is two-fold: to familiarize the user with the formalism and inputs of EXCEED-DM, and perform novel calculations to showcase what EXCEED-DM is capable of. We perform four calculations which extend previous results: the scattering rate in the dark photon model, screened with the numerically computed dielectric function, the scattering rate with an interaction potential dependent on the electron velocity, an extended absorption calculation for scalar, pseudoscalar, and vector DM, and the annual modulation of the scattering rate in the dark photon model.


title: Multiferroicity and Topology in Twisted Transition Metal Dichalcogenides

abstract: Van der Waals heterostructures have recently emerged as an exciting platform for investigating the effects of strong electronic correlations, including various forms of magnetic or electrical orders. Here, we perform an unbiased exact diagonalization study of the effects of interactions on topological flat bands of twisted transition metal dichalcogenides (TMDs) at odd integer fillings. For hole-filling $\nu_h = 1$, we find that Chern insulator phases, expected from interaction-induced spin-valley polarization of the bare bands, are quite fragile, and give way to spontaneous multiferroic order -- coexisting ferroelectricity and ferromagnetism, in presence of long-range Coulomb repulsion. We provide a simple real-space picture to understand the phase diagram as a function of interaction range and strength. Our findings establish twisted TMDs as a novel and highly tunable platform for multiferroicity, with potential applications to electrical control of magnetism.


title: Stabilizer subsystem decompositions for single- and multi-mode Gottesman-Kitaev-Preskill codes

abstract: The Gottesman-Kitaev-Preskill (GKP) error correcting code encodes a finite dimensional logical space in one or more bosonic modes, and has recently been demonstrated in trapped ions and superconducting microwave cavities. In this work we introduce a new subsystem decomposition for GKP codes that we call the stabilizer subsystem decomposition, analogous to the usual approach to quantum stabilizer codes. The decomposition has the defining property that a partial trace over the non-logical stabilizer subsystem is equivalent to an ideal decoding of the logical state. We describe how to decompose arbitrary states across the subsystem decomposition using a set of transformations that move between the decompositions of different GKP codes. Besides providing a convenient theoretical view on GKP codes, such a decomposition is also of practical use. We use the stabilizer subsystem decomposition to efficiently simulate noise acting on single-mode GKP codes, and in contrast to more conventional Fock basis simulations, we are able to to consider essentially arbitrarily large photon numbers for realistic noise channels such as loss and dephasing.


title: Generalized Veneziano and Virasoro amplitudes

abstract: We analyze so-called generalized Veneziano and generalized Virasoro amplitudes. Under some physical assumptions, we find that their spectra must satisfy an over-determined set of non-linear recursion relations. The recursion relation for the generalized Veneziano amplitudes can be solved analytically and yields a two-parameter family which includes the Veneziano amplitude, the one-parameter family of Coon amplitudes, and a larger two-parameter family of amplitudes with an infinite tower of spins at each mass level. In the generalized Virasoro case, the only consistent solution is the string spectrum.


title: Harvesting entanglement from the gravitational vacuum

abstract: We study how quantum systems can harvest entanglement from the quantum degrees of freedom of the gravitational field. Concretely, we describe in detail the interaction of non-relativistic quantum systems with linearized quantum gravity, and explore how two spacelike separated probes can harvest entanglement from the gravitational field in this context. We provide estimates for the harvested entanglement for realistic probes which can be experimentally relevant in the future, since entanglement harvesting experiments can provide evidence for the existence of quantum degrees of freedom of gravity.


title: Does absorption against AGN reveal supermassive black hole accretion?

abstract: Galaxies often contain large reservoirs of molecular gas which shape their evolution. This can be through cooling of the gas -- which leads to star formation, or accretion onto the central supermassive black hole -- which fuels AGN activity and produces powerful feedback. Molecular gas has been detected in early-type galaxies on scales of just a few tens to hundreds of solar masses by searching for absorption against their compact radio cores. Using this technique, ALMA has found absorption in several brightest cluster galaxies, some of which show molecular gas moving towards their galaxy's core at hundreds of km/s. In this paper we constrain the location of this absorbing gas by comparing each galaxy's molecular emission and absorption. In four galaxies, the absorption properties are consistent with chance alignments between the continuum and a fraction of the molecular clouds visible in emission. In four others, the properties of the absorption are inconsistent with this scenario. In these systems the absorption is likely produced by a separate population of molecular clouds in close proximity to the galaxy core and with high inward velocities and velocity dispersions. We thus deduce the existence of two types of absorber, caused by chance alignments between the radio core and: (i) a fraction of the molecular clouds visible in emission, and (ii) molecular clouds close to the AGN, in the process of accretion. We also present the first ALMA observations of molecular emission in S555, Abell 2390, RXC J1350.3+0940 and RXC J1603.6+1553 -- with the latter three having molecular masses of $>10^{10}$M$_{\odot}$.


title: Topological modularity of Supermoonshine

abstract: The theory of topological modular forms (TMF) predicts that elliptic genera of physical theories satisfy a certain divisibility property, determined by the theory's gravitational anomaly. In this note we verify this prediction in Duncan's Supermoonshine module, as well as in tensor products and orbifolds thereof. Along the way we develop machinery for computing the elliptic genera of general alternating orbifolds and discuss the relation of this construction to the elusive "periodicity class" of TMF.

categories: hep-th math-ph math.AT math.MP math.NT math.RT


title: Resonant anomaly detection without background sculpting

abstract: We introduce a new technique named Latent CATHODE (LaCATHODE) for performing "enhanced bump hunts", a type of resonant anomaly search that combines conventional one-dimensional bump hunts with a model-agnostic anomaly score in an auxiliary feature space where potential signals could also be localized. The main advantage of LaCATHODE over existing methods is that it provides an anomaly score that is well behaved when evaluating it beyond the signal region, which is essential to prevent the sculpting of background distributions in the bump hunt. LaCATHODE accomplishes this by constructing the anomaly score directly in the latent space learned by a conditional normalizing flow trained on sideband regions. We demonstrate the superior stability and comparable performance of LaCATHODE for enhanced bump hunting in an illustrative toy example as well as on the LHC Olympics R&D dataset.


title: $CP$ violation in $\eta^{(\prime)}\to\pi^+\pi^-\mu^+\mu^-$ decays

abstract: It has been pointed out recently that a certain set of dimension-6 scalar $P$- and $CP$-violating light-quark-muon operators may be tested in $\eta$ and $\eta'$ decays to various final states involving $\mu^+\mu^-$ pairs, at a level not yet excluded by constraints from electric dipole moments. We here work out the hadronic matrix elements required for the predictions for the decays $\eta, \eta' \to\pi^+\pi^-\mu^+\mu^-$. We relate a new asymmetry in the angular distribution between the dipion and dimuon decay planes to the corresponding Wilson coefficients. Despite the advantage of not requiring the measurement of muon polarization, the projected sensitivities are shown to be moderate due to a combination of small phase space and chiral suppression. Such sensitivity studies are most timely in view of upcoming or planned high-statistics $\eta^{(\prime)}$ experiments such as the JLab eta factory or REDTOP.


title: Operational Metric for Quantum Chaos and the Corresponding Spatiotemporal Entanglement Structure

abstract: Chaotic systems are highly sensitive to a small perturbation, and are ubiquitous throughout biological sciences, physical sciences and even social sciences. Taking this as the underlying principle, we construct an operational notion for quantum chaos. Namely, we demand that the future state of a many-body, isolated quantum system is sensitive to past multitime operations on a small subpart of that system. By `sensitive', we mean that the resultant states from two different perturbations cannot easily be transformed into each other. That is, the pertinent quantity is the complexity of the effect of the perturbation within the final state. From this intuitive metric, which we call the Butterfly Flutter Fidelity, we use the language of multitime quantum processes to identify a series of operational conditions on chaos, in particular the scaling of the spatiotemporal entanglement. Our criteria already contain the routine notions, as well as the well-known diagnostics for quantum chaos. This includes the Peres-Loschmidt Echo, Dynamical Entropy, Tripartite Mutual Information, and Local-Operator Entanglement. We hence present a unified framework for these existing diagnostics within a single structure. We also go on to quantify how several mechanisms lead to quantum chaos, such as evolution generated from random circuits. Our work paves the way to systematically study many-body dynamical phenomena like Many-Body Localization, measurement-induced phase transitions, and Floquet dynamics.


title: Characterization Of Inpaint Residuals In Interferometric Measurements of the Epoch Of Reionization

abstract: Radio Frequency Interference (RFI) is one of the systematic challenges preventing 21cm interferometric instruments from detecting the Epoch of Reionization. To mitigate the effects of RFI on data analysis pipelines, numerous inpaint techniques have been developed to restore RFI corrupted data. We examine the qualitative and quantitative errors introduced into the visibilities and power spectrum due to inpainting. We perform our analysis on simulated data as well as real data from the Hydrogen Epoch of Reionization Array (HERA) Phase 1 upper limits. We also introduce a convolutional neural network that capable of inpainting RFI corrupted data in interferometric instruments. We train our network on simulated data and show that our network is capable at inpainting real data without requiring to be retrained. We find that techniques that incorporate high wavenumbers in delay space in their modeling are best suited for inpainting over narrowband RFI. We also show that with our fiducial parameters Discrete Prolate Spheroidal Sequences (DPSS) and CLEAN provide the best performance for intermittent ``narrowband'' RFI while Gaussian Progress Regression (GPR) and Least Squares Spectral Analysis (LSSA) provide the best performance for larger RFI gaps. However we caution that these qualitative conclusions are sensitive to the chosen hyperparameters of each inpainting technique. We find these results to be consistent in both simulated and real visibilities. We show that all inpainting techniques reliably reproduce foreground dominated modes in the power spectrum. Since the inpainting techniques should not be capable of reproducing noise realizations, we find that the largest errors occur in the noise dominated delay modes. We show that in the future, as the noise level of the data comes down, CLEAN and DPSS are most capable of reproducing the fine frequency structure in the visibilities of HERA data.


title: Towards an Automated Framework for Realizing Quantum Computing Solutions

abstract: Quantum computing is fast evolving as a technology due to recent advances in hardware, software, as well as the development of promising applications. To use this technology for solving specific problems, a suitable quantum algorithm has to be determined, the problem has to be encoded in a form suitable for the chosen algorithm, it has to be executed, and the result has to be decoded. To date, each of these tedious and error-prone steps is conducted in a mostly manual fashion. This creates a high entry barrier for using quantum computing -- especially for users with little to no expertise in that domain. In this work, we envision a framework that aims to lower this entry barrier by allowing users to employ quantum computing solutions in an automatic fashion. To this end, interfaces as similar as possible to classical solvers are provided, while the quantum steps of the workflow are shielded from the user as much as possible by a fully automated backend. To demonstrate the feasibility and usability of such a framework, we provide proof-of-concept implementations for two different classes of problems which are publicly available on GitHub (https://github.com/cda-tum/MQTProblemSolver) as part of the Munich Quantum Toolkit (MQT). By this, this work provides the foundation for a low-threshold approach realizing quantum computing solutions with no or only moderate expertise in this technology.


title: Investigating Higgs self-interaction through di-Higgs plus jet production

abstract: The Higgs self coupling measurement is quite essential for determining the shape of the Higgs potential and nature of the Higgs boson. We propose the di-Higgs plus jet final states at hadron colliders to increase the discovery sensitivity of the Higgs self coupling at the low invariant mass region. Our simulation indicates that the allowed region of the Higgs self coupling would be further narrowed from $[-1.5,6.7]$ from the most recent ATLAS report down to $[0.5, 1.7]$. Furthermore, we find negative Higgs self couplings would be disfavored beyond $2\sigma$ confidence level at a future 100TeV collider with the help of this signal.


title: Robust charge-density wave correlations in the electron-doped single-band Hubbard model

abstract: There is growing evidence that the hole-doped single-band Hubbard and $t$-$J$ models do not have a superconducting ground state reflective of the high-temperature cuprate superconductors but instead have striped spin- and charge-ordered ground states. Nevertheless, it is proposed that these models may still provide an effective low-energy model for electron-doped materials. Here we study the finite temperature spin and charge correlations in the electron-doped Hubbard model using quantum Monte Carlo dynamical cluster approximation calculations and contrast their behavior with those found on the hole-doped side of the phase diagram. We find evidence for a charge modulation with both checkerboard and unidirectional components decoupled from any spin-density modulations. These correlations are inconsistent with a weak-coupling description based on Fermi surface nesting, and their doping dependence agrees qualitatively with resonant inelastic x-ray scattering measurements. Our results provide evidence that the single-band Hubbard model describes the electron-doped cuprates.


title: Cosmological inference from the EFTofLSS: the eBOSS QSO full-shape analysis

abstract: We present cosmological results inferred from the effective-field theory (EFT) analysis of the full-shape of eBOSS quasars (QSO) power spectrum. We validate our analysis pipeline against simulations, and find overall good agreement between the analyses in Fourier and configuration space. Keeping the baryon abundance and the spectral tilt fixed, we reconstruct at $68\%$ CL the fractional matter abundance $\Omega_m$, the reduced Hubble constant $h$, and the clustering amplitude $\sigma_8$, to respectively $\Omega_m=0.327\pm 0.035$, $h=0.655\pm 0.034$, and $\sigma_8=0.880\pm 0.083$ from eBOSS QSO alone. These constraints are consistent at $\lesssim 1.8\sigma$ with the ones from Planck and from the EFT analysis of BOSS full-shape. Interestingly $S_8$ reconstructed from eBOSS QSO is slightly higher than that deduced from Planck and BOSS, although statistically consistent. In combination with the EFT likelihood of BOSS, supernovae from Pantheon, and BAO from lyman-$\alpha$ and 6dF/MGS, constraints improve to $\Omega_m = 0.2985\pm 0.0069$ and $h = 0.6803\pm 0.0075$, in agreement with Planck and with similar precision. We also explore one-parameter extensions to $\Lambda$CDM and find that results are consistent with flat $\Lambda$CDM at $\lesssim 1.3\sigma$. We obtain competitive constraints on the curvature density fraction $\Omega_k=-0.039\pm 0.029$, the dark energy equation of state $w_0=-1.038\pm 0.041$, the effective number of relativistic species $N_{\rm eff}=3.44^{+0.44}_{-0.91}$ at $68\%$ CL, and the sum of neutrino masses $\sum m_\nu<0.274e$V at $95\%$ CL, without Planck data. Including Planck data, contraints significantly improve thanks to the large lever arm in redshift between LSS and CMB measurements. In particular, we obtain the stringent constraint $\sum m_\nu<0.093e$V, competitive with recent lyman-$\alpha$ forest power spectrum bound.


title: Anomalous skew-scattering nonlinear Hall effect and chiral photocurrents in {\it PT}-symmetric antiferromagnets

abstract: Berry curvature and skew-scattering play central roles in determining both the linear and nonlinear anomalous Hall effects. Yet in {\it PT}-symmetric antiferromagnetic metals, Hall effects from either intrinsic Berry curvature mediated anomalous velocity or the conventional skew-scattering process individually vanish. Here we reveal an unexpected nonlinear Hall effect that relies on both Berry curvature and skew-scattering working in cooperation. This anomalous skew-scattering nonlinear Hall effect (ASN) is {\it PT}-even and dominates the low-frequency nonlinear Hall effect for {\it PT}-symmetric antiferromagnetic metals. Surprisingly, we find that in addition to its Hall response, ASN produces helicity dependent photocurrents, in contrast to other known {\it PT}-even nonlinearities in metals which are helicity blind. This characteristic enables to isolate ASN and establishes new photocurrent tools to interrogate the antiferromagnetic order of {\it PT}-symmetric metals.


title: Stokes inversion techniques with neural networks: analysis of uncertainty in parameter estimation

abstract: Magnetic fields are responsible for a multitude of Solar phenomena, including such destructive events as solar flares and coronal mass ejections, with the number of such events rising as we approach the peak of the 11-year solar cycle, in approximately 2025. High-precision spectropolarimetric observations are necessary to understand the variability of the Sun. The field of quantitative inference of magnetic field vectors and related solar atmospheric parameters from such observations has long been investigated. In recent years, very sophisticated codes for spectropolarimetric observations have been developed. Over the past two decades, neural networks have been shown to be a fast and accurate alternative to classic inversion technique methods. However, most of these codes can be used to obtain point estimates of the parameters, so ambiguities, the degeneracies, and the uncertainties of each parameter remain uncovered. In this paper, we provide end-to-end inversion codes based on the simple Milne-Eddington model of the stellar atmosphere and deep neural networks to both parameter estimation and their uncertainty intervals. The proposed framework is designed in such a way that it can be expanded and adapted to other atmospheric models or combinations of them. Additional information can also be incorporated directly into the model. It is demonstrated that the proposed architecture provides high accuracy of results, including a reliable uncertainty estimation, even in the multidimensional case. The models are tested using simulation and real data samples.

categories: astro-ph.SR astro-ph.IM physics.data-an physics.ins-det physics.space-ph


title: The effect of outflows on CMB bounds from Primordial Black Hole accretion

abstract: Should Primordial Black Holes (PBHs) exist in nature, they would inevitably accrete baryonic matter in their vicinity. In turn, the consequent emission of high-energy radiation could affect the thermal history of the universe to an extent that can be probed with a number of cosmological observables such as the Cosmic Microwave Background (CMB) anisotropies. However, our understanding of the accretion and radiation emission processes in the context of PBHs is still in its infancy, and very large theoretical uncertainties affect the resulting constraints on the PBH abundance. Building on state-of-the-art literature, in this work we take a step towards the development of a more realistic picture of PBH accretion by accounting for the contribution of outflows. Specifically, we derive CMB-driven constraints on the PBH abundance for various accretion geometries, ionization models and mass distributions in absence and in presence of mechanical feedback and non-thermal emissions due to the outflows. As a result, we show that the presence of such outflows introduces an additional layer of uncertainty that needs to be taken into account when quoting cosmological constraints on the PBH abundance, with important consequences in particular in the LIGO-Virgo-KAGRA observational window.


title: Overcoming noise in quantum teleportation with multipartite hybrid entanglement

abstract: Quantum entanglement and decoherence are the two counterforces of many quantum technologies and protocols. For example, while quantum teleportation is fueled by a pair of maximally entangled resource qubits, it is vulnerable to decoherence. In this Article, we propose an efficient quantum teleportation protocol in the presence of pure decoherence and without entangled resource qubits entering the Bell-state measurement. Instead, we employ multipartite hybrid entanglement between the auxiliary qubits and their local environments within the open-quantum-system context. Interestingly, with a hybrid-entangled initial state, it is the decoherence that allows us to achieve high fidelities. We demonstrate our protocol in an all-optical experiment.


title: A super-polynomial quantum-classical separation for density modelling

abstract: Density modelling is the task of learning an unknown probability density function from samples, and is one of the central problems of unsupervised machine learning. In this work, we show that there exists a density modelling problem for which fault-tolerant quantum computers can offer a super-polynomial advantage over classical learning algorithms, given standard cryptographic assumptions. Along the way, we provide a variety of additional results and insights, of potential interest for proving future distribution learning separations between quantum and classical learning algorithms. Specifically, we (a) provide an overview of the relationships between hardness results in supervised learning and distribution learning, and (b) show that any weak pseudo-random function can be used to construct a classically hard density modelling problem. The latter result opens up the possibility of proving quantum-classical separations for density modelling based on weaker assumptions than those necessary for pseudo-random functions.


title: Exact Quantum Dynamics, Shortcuts to Adiabaticity, and Quantum Quenches in Strongly-Correlated Many-Body Systems: The Time-Dependent Jastrow Ansatz

abstract: The description of strongly-correlated quantum many-body systems far-from equilibrium is intrinsically challenging due to the amount of information it requires. We introduce a generalization of the Jastrow ansatz for time-dependent wavefunctions, that provides an efficient and exact description of the time-evolution of a variety of systems exhibiting strong correlations. Exact solutions previously known are characterized by scale invariance, making the evolution of local correlations, such as the spatial density, self-similar. However, we find that a complex-valued time-dependent Jastrow ansatz (TDJA) is not restricted to scale-invariance and can describe processes lacking it. The associated time evolution is equivalent to the implementation of a shortcut to adiabaticity (STA) by counterdiabatic driving along a continuous manifold of quantum states described by a real-valued TDJA. Thus, our results provide the means to engineer exact STA in strongly-correlated many-body quantum systems lacking scale invariance. We illustrate our findings in systems with inverse-square interactions, such as the Calogero-Sutherland and the hyperbolic models, that are supplemented with pairwise logarithmic interactions. We further consider the dynamics of bosons subject to both contact and Coulomb interactions in one dimension, known as the long-range Lieb-Liniger model. Our results can be used to study the quench dynamics in all these models. Our findings provide a benchmark for numerical and quantum simulations of nonequilibrium strongly-correlated systems with continuous variables.

categories: quant-ph cond-mat.quant-gas cond-mat.str-el math-ph math.MP


title: Missed opportunities: GRB 211211A and the case for continual gravitational-wave coverage with a single observatory

abstract: Gamma-ray burst GRB 211211A may have been the result of a neutron star merger at $\approx350$ Mpc. However, none of the LIGO-Virgo detectors were operating at the time. We show that the gravitational-wave signal from a \grb-like binary neutron star inspiral in the next LIGO-Virgo-KAGRA observing run (O4) would be below the conventional detection threshold, however a coincident gamma-ray burst observation would provide necessary information to claim a statistically-significant multimessenger observation. We calculate that with O4 sensitivity, approximately $11\%$ of gamma-ray bursts within 600 Mpc will produce a confident association between the gravitational-wave binary neutron star inspiral signature and the prompt gamma-ray signature. This corresponds to a coincident detection rate of $\unit[0.22^{+8.3}_{-0.22}]{yr^{-1}}$, where the uncertainties are the 90\% confidence intervals arising from uncertainties in the absolute merger rate, beaming and jet-launching fractions. These increase to approximately $34\%$ and $\unit[0.71^{+26.8}_{-0.70}]{yr^{-1}}$ with proposed O5 sensitivity. We show that the above numbers do not depend significantly on the number of gravitational-wave observatories operating with the specific sensitivity. That is, the number of confident joint gamma-ray burst and gravitational-wave detections is only marginally improved with two or three detectors operating compared to a single detector. It is therefore worth considering whether one detector with sufficient sensitivity (post O4) should remain in sky-watch mode at all times to elucidate the true nature of GRB 211211A-like events, a proposal we discuss in detail.


title: Complete NNLO Operator Bases in Higgs Effective Field Theory

abstract: For the first time, we list the complete and independent set of operators at the next-to-next-to-leading order (NNLO) in the Higgs effective field theory (HEFT), also named as the electroweak chiral Lagrangian with the light Higgs boson. The Young tensor technique utilized in this work guarantees the completeness and independence of the on-shell amplitude basis while the Adler zero condition imposes non-linear symmetry on the Nambu-Goldstone bosons that play the central role in the chiral Lagrangian. The spurion fields are incorporated into the gauge structure of operators following the Littlewood-Richardson rule to accommodate custodial symmetry breaking. We enumerate 11506 (1927574) NNLO operators for one (three) flavor of fermions for the electroweak chiral Lagrangian with the light Higgs. Below the electroweak symmetry breaking scale, the dimension-8 standard model effective field theory (SMEFT) operators could be matched to these HEFT operators at both the NLO and NNLO orders.


title: The effect of winds on atmospheric layers of red supergiants I. Modelling for interferometric observations

abstract: Red supergiants (RSGs) are evolved massive stars in a stage preceding core-collapse supernova. The physical processes that trigger mass loss in their atmospheres are still not fully understood. Based on observations of $\alpha$ Ori, a new semi-empirical method to add a wind to hydrostatic model atmospheres of RSGs was recently developed. We use this method of adding a wind to a MARCS model atmosphere to compute synthetic observables, comparing the model to spatially resolved interferometric observations. We present a case study to model published data of HD 95687 and V602 Car obtained with VLTI/AMBER. We compute model intensities, spectra and visibilities for different mass-loss rates using the radiative transfer code Turbospectrum. The models are convolved to match the different spectral resolutions of the VLTI instruments, studying a wavelength range of $1.8-5\,\mathrm{\mu m}$ corresponding to the $K$, $L$ and $M$-bands for GRAVITY and MATISSE data. We compare the model spectra and visibilities with the published VLTI/AMBER data. The synthetic visibilities reproduce observed drops in the CO, SiO, and water layers that are not shown in visibilities based on MARCS models alone. For the case studies, we find that adding a wind to MARCS with simple radiative equilibrium dramatically improves the agreement with the visibilities and the spectra. Our results reproduce observed extended atmospheres up to several stellar radii. This paper shows the potential of our model to describe extended atmospheres in RSGs: it can reproduce the shapes of the spectra and visibilities with better accuracy in the CO and water lines than previous models. The method can be extended to other wavelength bands for both spectroscopic and interferometric data. We provide temperature and density stratifications that succeed for the first time in reproducing observed interferometric properties of RSG atmospheres.


title: Investigating Anomalous Photochemistry in the Inner Wind of IRC+10216 Through Interferometric Observations of HC$_3$N

abstract: In recent years, many questions have arisen regarding the chemistry of photochemical products in the carbon-rich winds of evolved stars. To address them, it is imperative to constrain the distributions of such species through high angular resolution interferometric observations covering multiple rotational transitions. We used archival ALMA observations to map rotational lines involving high energy levels of cyanoacetylene (HC$_3$N) toward the inner envelope (radius <8"/1000 AU) of the carbon star IRC+10216. The observed lines include the J=28-27, J=30-29, and J=38-37, transitions of HC$_3$N in its ground vibrational state. In contrast to previous observations of linear carbon chains toward this AGB star which show extended, hollow emission at 15"-20" radii (e.g. C$_4$H, C$_6$H, HC$_5$N), the maps of the HC$_3$N lines here show compact morphologies comprising various arcs and density enhancements, with significant emission from gas clumps at an angular distance of ~3" (350 AU) from the central AGB star. We compared visibility sampled non-LTE radiative transfer models with the observed brightness distributions, and derive a fractional abundance with respect to H$_2$ of $10^{-8}$ for HC$_3$N at the radii probed by these lines. These results are consistent with enhanced photochemistry occurring in warm (~200 K) regions of the circumstellar envelope. After application of a specialized chemical model for IRC+10216, we find evidence that the enhanced HC$_3$N abundances in the inner wind are most likely due to a solar-type binary companion initiating photochemistry in this region.


title: The Art NFTs and Their Marketplaces

abstract: Non-Fungible Tokens (NFTs) are crypto assets with a unique digital identifier for ownership, powered by blockchain technology. Technically speaking, anything digital could be minted and sold as an NFT, which provides proof of ownership and authenticity of a digital file. For this reason, it helps us distinguish between the originals and their copies, making it possible to trade them. This paper focuses on art NFTs that change how artists can sell their products. It also changes how the art trade market works since NFT technology cuts out the middleman. Recently, the utility of NFTs has become an essential issue in the NFT ecosystem, which refers to the owners' usefulness, profitability, and benefits. Using recent major art NFT marketplace datasets, we summarize and interpret the current market trends and patterns in a way that brings insight into the future art market. Numerical examples are presented.


title: G-crossed Modularity of Symmetry-Enriched Topological Phases

abstract: The universal properties of (2 + 1)D topological phases of matter enriched by a symmetry group G are described by G-crossed extensions of unitary modular tensor categories (UMTCs). While the fusion and braiding properties of quasiparticles associated with the topological order are described by a UMTC, the G-crossed extensions further capture the properties of the symmetry action, fractionalization, and defects arising from the interplay of the symmetry with the topological order. We describe the relation between the G-crossed UMTC and the topological state spaces on general surfaces that may include symmetry defect branch lines and boundaries that carry topological charge. We define operators in terms of the G-crossed UMTC data that represent the mapping class transformations for such states on a torus with one boundary, and show that these operators provide projective representations of the mapping class groups. This allows us to represent the mapping class group on general surfaces and ensures a consistent description of the corresponding symmetry-enriched topological phases on general surfaces. Our analysis also enables us to prove that a faithful G-crossed extension of a UMTC is necessarily G-crossed modular.