title: From Density to Geometry: YOLOv8 Instance Segmentation for Reverse Engineering of Optimized Structures

abstract: This paper introduces YOLOv8-TO, a novel approach for reverse engineering of topology-optimized structures into interpretable geometric parameters using the YOLOv8 instance segmentation model. Density-based topology optimization methods require post-processing to convert the optimal density distribution into a parametric representation for design exploration and integration with CAD tools. Traditional methods such as skeletonization struggle with complex geometries and require manual intervention. YOLOv8-TO addresses these challenges by training a custom YOLOv8 model to automatically detect and reconstruct structural components from binary density distributions. The model is trained on a diverse dataset of both optimized and random structures generated using the Moving Morphable Components method. A custom reconstruction loss function based on the dice coefficient of the predicted geometry is used to train the new regression head of the model via self-supervised learning. The method is evaluated on test sets generated from different topology optimization methods, including out-of-distribution samples, and compared against a skeletonization approach. Results show that YOLOv8-TO significantly outperforms skeletonization in reconstructing visually and structurally similar designs. The method showcases an average improvement of 13.84% in the Dice coefficient, with peak enhancements reaching 20.78%. The method demonstrates good generalization to complex geometries and fast inference times, making it suitable for integration into design workflows using regular workstations. Limitations include the sensitivity to non-max suppression thresholds. YOLOv8-TO represents a significant advancement in topology optimization post-processing, enabling efficient and accurate reverse engineering of optimized structures for design exploration and manufacturing.


title: Enhanced and Robust Contrast in CEST MRI: Saturation Pulse Shape Design via Optimal Control

abstract: Purpose: To employ optimal control for the numerical design of CEST saturation pulses to maximize contrast and stability against $B_0$ inhomogeneities. Theory and Methods: We applied an optimal control framework for the design pulse shapes for CEST saturation pulse trains. The cost functional minimized both the pulse energy and the discrepancy between the corresponding CEST spectrum and the target spectrum based on a continuous RF pulse. The optimization is subject to hardware limitations. In measurements on a 7 T preclinical scanner, the optimal control pulses were compared to continuous-wave and Gaussian saturation methods. We conducted a comparison of the optimal control pulses were compared to with Gaussian, block pulse trains, and adiabatic spin-lock pulses. Results: The optimal control pulse train demonstrated saturation levels comparable to continuous-wave saturation and surpassed Gaussian saturation by up to 50 \% in phantom measurements. In phantom measurements at 3 T the optimized pulses not only showcased the highest CEST contrast, but also the highest stability against field inhomogeneities. In contrast, block pulse saturation resulted in severe artifacts. Dynamic Bloch-McConnell simulations were employed to identify the source of these artifacts, and underscore the $B_0$ robustness of the optimized pulses. Conclusion: In this work, it was shown that a substantial improvement in pulsed saturation CEST imaging can be achieved by using Optimal Control design principles. It is possible to overcome the sensitivity of saturation to B0 inhomogeneities while achieving CEST contrast close to continuous wave saturation.


title: Mathematical modelling of heat transfer in closed electrical contacts and electrical potential field dynamics with Thomson effect

abstract: In this study we develop a mathematical model that describe the behavior of electromagnetic fields and heat transfer in closed electrical contacts that arises when instantaneous explosion of the micro-asperity which involves vaporization zone and liquid, solid zones where temperature is defined by a generalized heat equation with Thomson effect. This model account for the nonlinear nature of the thermal coefficients and electrical conductivity depended on temperature. Our proposed solutions are based on similarity transformation which allows us to reduce a Stefan-type problem to a system of nonlinear integral equations whose existence of solution is proved by the fixed point theory in Banach spaces.


title: PECC: Problem Extraction and Coding Challenges

abstract: Recent advancements in large language models (LLMs) have showcased their exceptional abilities across various tasks, such as code generation, problem-solving and reasoning. Existing benchmarks evaluate tasks in isolation, yet the extent to which LLMs can understand prose-style tasks, identify the underlying problems, and then generate appropriate code solutions is still unexplored. Addressing this gap, we introduce PECC, a novel benchmark derived from Advent Of Code (AoC) challenges and Project Euler, including 2396 problems. Unlike conventional benchmarks, PECC requires LLMs to interpret narrative-embedded problems, extract requirements, and generate executable code. A key feature of our dataset is the complexity added by natural language prompting in chat-based evaluations, mirroring real-world instruction ambiguities. Results show varying model performance between narrative and neutral problems, with specific challenges in the Euler math-based subset with GPT-3.5-Turbo passing 50% of the AoC challenges and only 8% on the Euler problems. By probing the limits of LLMs' capabilities, our benchmark provides a framework to monitor and assess the subsequent progress of LLMs as a universal problem solver.


title: A Port-Hamiltonian System Perspective on Electromagneto-Quasistatic Field Formulations of Darwin-Type

abstract: Electromagneto-quasistatic (EMQS) field formulations are often dubbed as Darwin-type field formulations which approximate the Maxwell equations by neglecting radiation effects while modelling resistive, capacitive, and inductive effects. A common feature of EMQS field models is the Darwin-Amp\'ere equation formulated with the magnetic vector potential and the electric scalar potential. EMQS field formulations yield different approximations to the Maxwell equations by choice of additional gauge equations. These EMQS formulations are analyzed within the port-Hamiltonian system (PHS) framework. It is shown via the PHS compatibility equation that formulations based on the combination of the Darwin-Amp\'ere equation and the full Maxwell continuity equation yield port-Hamiltonian systems implying numerical stability and specific EMQS energy conservation.


title: Non-stabilizerness versus entanglement in matrix product states

abstract: In this paper, we investigate the relationship between entanglement and non-stabilizerness (also known as magic) in matrix product states (MPSs). We study the relation between magic and the bond dimension used to approximate the ground state of a many-body system in two different contexts: full state of magic and mutual magic (the non-stabilizer analogue of mutual information, thus free of boundary effects) of spin-1 anisotropic Heisenberg chains. Our results indicate that obtaining converged results for non-stabilizerness is typically considerably easier than entanglement. For full state magic at critical points and at sufficiently large volumes, we observe convergence with $1/\chi^2$, with $\chi$ being the MPS bond dimension. At small volumes, magic saturation is so quick that, within error bars, we cannot appreciate any finite-$\chi$ correction. Mutual magic also shows a fast convergence with bond dimension, whose specific functional form is however hindered by sampling errors. As a by-product of our study, we show how Pauli-Markov chains (originally formulated to evaluate magic) resets the state of the art in terms of computing mutual information for MPS. We illustrate this last fact by verifying the logarithmic increase of mutual information between connected partitions at critical points. By comparing mutual information and mutual magic, we observe that, for connected partitions, the latter is typically scaling much slower - if at all - with the partition size, while for disconnected partitions, both are constant in size.


title: Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks

abstract: Recent studies show that a reproducing kernel Hilbert space (RKHS) is not a suitable space to model functions by neural networks as the curse of dimensionality (CoD) cannot be evaded when trying to approximate even a single ReLU neuron (Bach, 2017). In this paper, we study a suitable function space for over-parameterized two-layer neural networks with bounded norms (e.g., the path norm, the Barron norm) in the perspective of sample complexity and generalization properties. First, we show that the path norm (as well as the Barron norm) is able to obtain width-independence sample complexity bounds, which allows for uniform convergence guarantees. Based on this result, we derive the improved result of metric entropy for $\epsilon$-covering up to $O(\epsilon^{-\frac{2d}{d+2}})$ ($d$ is the input dimension and the depending constant is at most linear order of $d$) via the convex hull technique, which demonstrates the separation with kernel methods with $\Omega(\epsilon^{-d})$ to learn the target function in a Barron space. Second, this metric entropy result allows for building a sharper generalization bound under a general moment hypothesis setting, achieving the rate at $O(n^{-\frac{d+2}{2d+2}})$. Our analysis is novel in that it offers a sharper and refined estimation for metric entropy with a linear dimension dependence and unbounded sampling in the estimation of the sample error and the output error.


title: Generalizing Space Logistics Network Optimization with Integrated Machine Learning and Mathematical Programming

abstract: Recent growing complexity in space missions has led to an active research field of space logistics and mission design. This research field leverages the key ideas and methods used to handle complex terrestrial logistics to tackle space logistics design problems. A typical goal in space logistics is to optimize the commodity flow to satisfy some mission objectives with the lowest cost. One of the successful space logistics approaches is network flow modeling and optimization using mixed-integer linear programming (MILP). A caveat of the conventional MILP-based network approach for space logistics is its incapability of handling nonlinearity. For example, in the MILP formulation, the spacecraft structure mass and fuel/payload capacity are approximated by a linear relationship. However, this oversimplified relationship cannot characterize a realistic spacecraft design. Other types of nonlinearity can appear when a nonlinear time-dependent trajectory model is considered in an event-driven network, where the time step of each event itself is a variable. In response to this challenge, this Note develops a new systematic general framework to handle nonlinearity in the MILP-based space logistics formulation using machine learning (ML). Specifically, we replace the nonlinear constraints in the space logistics formulation with trained ML models that are compatible with MILP. The MILP-compatible ML model includes linear regression, PWL approximations, neural networks (NN) with Rectified Linear Unit (ReLU) activations, decision tree regression, and random forest regression, among others; these models can be translated into MILP formulations with a definition of additional variables and constraints while maintaining the linearity. This Note provides the first demonstration of using such trained ML models directly in a MILP-based space logistics optimization formulation.


title: KBX: Verified Model Synchronization via Formal Bidirectional Transformation

abstract: Complex safety-critical systems require multiple models for a comprehensive description, resulting in error-prone development and laborious verification. Bidirectional transformation (BX) is an approach to automatically synchronizing these models. However, existing BX frameworks lack formal verification to enforce these models' consistency rigorously. This paper introduces KBX, a formal bidirectional transformation framework for verified model synchronization. First, we present a matching logic-based BX model, providing a logical foundation for constructing BX definitions within the $\mathbb{K}$ framework. Second, we propose algorithms to synthesize formal BX definitions from unidirectional ones, which allows developers to focus on crafting the unidirectional definitions while disregarding the reverse direction and missing information recovery for synchronization. Afterward, we harness $\mathbb{K}$ to generate a formal synchronizer from the synthesized definitions for consistency maintenance and verification. To evaluate the effectiveness of KBX, we conduct a comparative analysis against existing BX frameworks. Furthermore, we demonstrate the application of KBX in constructing a BX between UML and HCSP for real-world scenarios, showcasing an 82.8\% reduction in BX development effort compared to manual specification writing in $\mathbb{K}$.


title: Saliency Suppressed, Semantics Surfaced: Visual Transformations in Neural Networks and the Brain

abstract: Deep learning algorithms lack human-interpretable accounts of how they transform raw visual input into a robust semantic understanding, which impedes comparisons between different architectures, training objectives, and the human brain. In this work, we take inspiration from neuroscience and employ representational approaches to shed light on how neural networks encode information at low (visual saliency) and high (semantic similarity) levels of abstraction. Moreover, we introduce a custom image dataset where we systematically manipulate salient and semantic information. We find that ResNets are more sensitive to saliency information than ViTs, when trained with object classification objectives. We uncover that networks suppress saliency in early layers, a process enhanced by natural language supervision (CLIP) in ResNets. CLIP also enhances semantic encoding in both architectures. Finally, we show that semantic encoding is a key factor in aligning AI with human visual perception, while saliency suppression is a non-brain-like strategy.


title: A Universal Metric of Dataset Similarity for Cross-silo Federated Learning

abstract: Federated Learning is increasingly used in domains such as healthcare to facilitate collaborative model training without data-sharing. However, datasets located in different sites are often non-identically distributed, leading to degradation of model performance in FL. Most existing methods for assessing these distribution shifts are limited by being dataset or task-specific. Moreover, these metrics can only be calculated by exchanging data, a practice restricted in many FL scenarios. To address these challenges, we propose a novel metric for assessing dataset similarity. Our metric exhibits several desirable properties for FL: it is dataset-agnostic, is calculated in a privacy-preserving manner, and is computationally efficient, requiring no model training. In this paper, we first establish a theoretical connection between our metric and training dynamics in FL. Next, we extensively evaluate our metric on a range of datasets including synthetic, benchmark, and medical imaging datasets. We demonstrate that our metric shows a robust and interpretable relationship with model performance and can be calculated in privacy-preserving manner. As the first federated dataset similarity metric, we believe this metric can better facilitate successful collaborations between sites.


title: Self-training superconducting neuromorphic circuits using reinforcement learning rules

abstract: Reinforcement learning algorithms are used in a wide range of applications, from gaming and robotics to autonomous vehicles. In this paper we describe a set of reinforcement learning-based local weight update rules and their implementation in superconducting hardware. Using SPICE circuit simulations, we implement a small-scale neural network with a learning time of order one nanosecond. This network can be trained to learn new functions simply by changing the target output for a given set of inputs, without the need for any external adjustments to the network. In this implementation the weights are adjusted based on the current state of the overall network response and locally stored information about the previous action. This removes the need to program explicit weight values in these networks, which is one of the primary challenges that analog hardware implementations of neural networks face. The adjustment of weights is based on a global reinforcement signal that obviates the need for circuitry to back-propagate errors.


title: Resource-rational reinforcement learning and sensorimotor causal states

abstract: We propose a new computational-level objective function for theoretical biology and theoretical neuroscience that combines: reinforcement learning, the study of learning with feedback via rewards; rate-distortion theory, a branch of information theory that deals with compressing signals to retain relevant information; and computational mechanics, the study of minimal sufficient statistics of prediction also known as causal states. We highlight why this proposal is likely only an approximation, but is likely to be an interesting one, and propose a new algorithm for evaluating it to obtain the newly-coined "reward-rate manifold". The performance of real and artificial agents in partially observable environments can be newly benchmarked using these reward-rate manifolds. Finally, we describe experiments that can probe whether or not biological organisms are resource-rational reinforcement learners.


title: "Rosenbluth" separation of the $J/\psi $ near-threshold photoproduction -- an access to the gluon Gravitational Form Factors at high $t$

abstract: We perform analysis of the near-threshold $J/\psi $ photoproduction data off the proton based on the high skewness expansion ( $\xi \to 1$) of the cross-section in Ref. [1]. This expansion allows to separate the corresponding gluonic form factors, in much the same way as this is done in the electro-magnetic case with the Rosenbluth separation. We examine the independence of the extracted form factors with the photon beam energy. In Ref. [1] these form factors, in the leading-moment approximation, are related to the proton's gluon Gravitational Form Factors (gGFF). Using this approximation, we compare the extracted data points with lattice calculations in the region of momentum transfer squared of $1<|t|<2$ GeV$^{2}$, where the data and lattice results overlap. Such analysis demonstrates the possibility of extracting some combinations of the gGFFs from the data at high $t$, complementary to the lattice calculations available in the low $t$ region. However, higher statistics is needed to more accurately check the predicted $\xi$-scaling behavior of the data and compare with the lattice results, thus testing the theoretical assumptions used in Ref. [1].


title: Quantum key distribution with displaced thermal states

abstract: Secret key exchange relies on the creation of correlated signals, serving as the raw resource for secure communication. Thermal states, exhibit Hanbury Brown and Twiss correlations, which offer a promising avenue for generating such signals. In this paper, we present an experimental implementation of a central broadcast thermal state quantum key distribution (QKD) protocol in the microwave region. Our objective is to showcase a straightforward method of QKD utilizing readily available broadcasting equipment. Unlike conventional approaches to thermal state QKD, we leverage displaced thermal states. These states enable us to share the output of a thermal source among Alice, Bob, and Eve via both waveguide channels and free space. Through measurement and conversion into bit strings, our protocol produces key-ready bit strings without the need for specialized equipment. By harnessing the inherent noise in thermal broadcasts, our setup facilitates the recovery of distinct bit strings by all parties involved.


title: On Approximating the Potts Model with Contracting Glauber Dynamics

abstract: We show that the Potts model on a graph can be approximated by a sequence of independent and identically distributed spins in terms of Wasserstein distance at high temperatures. We prove a similar result for the Curie-Weiss-Potts model on the complete graph, conditioned on being close enough to any of its equilibrium macrostates, in the low-temperature regime. Our proof technique is based on Stein's method for comparing the stationary distributions of two Glauber dynamics with similar updates, one of which is rapid mixing and contracting on a subset of the state space. Along the way, we obtain new upper bounds on the mixing times of the Glauber dynamics for the Potts model on a general bounded-degree graph, and for the conditional measure of the Curie-Weiss-Potts model near an equilibrium macrostate.


title: Semiparametric fiducial inference

abstract: R. A. Fisher introduced the concept of fiducial as a potential replacement for the Bayesian posterior distribution in the 1930s. During the past century, fiducial approaches have been explored in various parametric and nonparametric settings. However, to the best of our knowledge, no fiducial inference has been developed in the realm of semiparametric statistics. In this paper, we propose a novel fiducial approach for semiparametric models. To streamline our presentation, we use the Cox proportional hazards model, which is the most popular model for the analysis of survival data, as a running example. Other models and extensions are also discussed. In our experiments, we find our method to perform well especially in situations when the maximum likelihood estimator fails.


title: Optimal time sampling in physics-informed neural networks

abstract: Physics-informed neural networks (PINN) is a extremely powerful paradigm used to solve equations encountered in scientific computing applications. An important part of the procedure is the minimization of the equation residual which includes, when the equation is time-dependent, a time sampling. It was argued in the literature that the sampling need not be uniform but should overweight initial time instants, but no rigorous explanation was provided for these choice. In this paper we take some prototypical examples and, under standard hypothesis concerning the neural network convergence, we show that the optimal time sampling follows a truncated exponential distribution. In particular we explain when the time sampling is best to be uniform and when it should not be. The findings are illustrated with numerical examples on linear equation, Burgers' equation and the Lorenz system.


title: Wavelet-based tools to analyze, filter, and reconstruct transient gravitational-wave signals

abstract: The analysis of gravitational-wave (GW) signals is one of the most challenging application areas of signal processing. Wavelet transforms are specially helpful in detecting and analyzing GW transients and several analysis pipelines are based on these transforms, both continuous and discrete. While discrete wavelet transforms have distinct advantages in terms of computing efficiency, continuous wavelet transforms (CWT) produce smooth and visually stunning time-frequency maps. In addition to wavelets the Q-transform is also used, which is a Morlet wavelet-like transform where the width of the Gaussian envelope is parameterized by a parameter denoted by Q. To date, the use of CWTs in GW data analysis has been limited by the higher computational load when compared with discrete wavelets, and also by the lack of an inversion formula for wavelet families that do not satisfy the admissibility condition. In this paper we consider Morlet wavelets parameterized in the same way as the Q-transform (hence the name wavelet Q-transform) which have all the advantages of the Morlet wavelets and where the wavelet transform can be inverted with a computationally efficient specialization of the non-standard inversion formula of Lebedeva and Postnikov [Lebedeva and Postnikov, Royal Society Open Science, 1 (2014) 140124]. We also introduce a two-parameter extension (the wavelet Qp-transform) which is well-adapted to chirping signals like those originating from compact binary coalescences (CBC), and show that it is also invertible just like the wavelet Q-transform. The inversion formulas of both transforms allow for effective noise filtering and produce very clean reconstructions of GW signals. Our preliminary results indicate that the method could be well suited to perform accurate tests of General Relativity by comparing modeled and unmodeled reconstructions of CBC GW signals.


title: Whale Optimization Algorithm-based Fractional Order Fuzzy Type-II PI Control for Modular Multilevel Converters

abstract: Designing a robust controller for Modular Multilevel Converters (MMCs) is crucial to ensure stability and optimal dynamic performance under various operating conditions, including faulty and disturbed scenarios. The primary objective of controlling grid-connected MMCs (GC-MMCs) is to accurately track real and reactive power references while maintaining excellent harmonic performance in the output response. This paper proposes a novel model-free control strategy for GC-MMCs, employing a Fractional Order Proportional-Integral (FOPI) controller and a Fractional Order Fuzzy type-II Proportional-Integral (FOFPI) controller. The FOFPI controller utilizes a type-II Fuzzy Inference System (FIS) to adaptively adjust the proportional and derivative gains during the control process, enabling effective control of the MMC under diverse operating conditions. The type-II FIS, which leverages type-II fuzzy sets, can mitigate uncertainty and nonlinearity in the system. Furthermore, the incorporation of fractional-order mathematics enhances the flexibility of the proposed controllers. To optimize the initial parameters of the proposed controllers, the Whale Optimization Algorithm (WOA), a meta-heuristic algorithm, is employed. The results demonstrate that the proposed controllers exhibit superior performance under voltage disturbance conditions, varying input voltage, and can ensure the stability of the MMC.


title: Improved bounds for group testing in arbitrary hypergraphs

abstract: Recent papers initiated the study of a generalization of group testing where the potentially contaminated sets are the members of a given hypergraph F=(V,E). This generalization finds application in contexts where contaminations can be conditioned by some kinds of social and geographical clusterings. The paper focuses on few-stage group testing algorithms, i.e., slightly adaptive algorithms where tests are performed in stages and all tests performed in the same stage should be decided at the very beginning of the stage. In particular, the paper presents the first two-stage algorithm that uses o(dlog|E|) tests for general hypergraphs with hyperedges of size at most d, and a three-stage algorithm that improves by a d^{1/6} factor on the number of tests of the best known three-stage algorithm. These algorithms are special cases of an s-stage algorithm designed for an arbitrary positive integer s<= d. The design of this algorithm resort to a new non-adaptive algorithm (one-stage algorithm), i.e., an algorithm where all tests must be decided beforehand. Further, we derive a lower bound for non-adaptive group testing. For E sufficiently large, the lower bound is very close to the upper bound on the number of tests of the best non-adaptive group testing algorithm known in the literature, and it is the first lower bound that improves on the information theoretic lower bound Omega(log |E|).


title: Where on Earth Do Users Say They Are?: Geo-Entity Linking for Noisy Multilingual User Input

abstract: Geo-entity linking is the task of linking a location mention to the real-world geographic location. In this paper we explore the challenging task of geo-entity linking for noisy, multilingual social media data. There are few open-source multilingual geo-entity linking tools available and existing ones are often rule-based, which break easily in social media settings, or LLM-based, which are too expensive for large-scale datasets. We present a method which represents real-world locations as averaged embeddings from labeled user-input location names and allows for selective prediction via an interpretable confidence score. We show that our approach improves geo-entity linking on a global and multilingual social media dataset, and discuss progress and problems with evaluating at different geographic granularities.


title: DNA Calorimetric Force Spectroscopy at Single Base Pair Resolution

abstract: DNA hybridization is a fundamental reaction with wide-ranging applications in biotechnology. The nearest-neighbor (NN) model provides the most reliable description of the energetics of duplex formation. Most DNA thermodynamics studies have been done in melting experiments in bulk, of limited resolution due to ensemble averaging. In contrast, single-molecule methods have reached the maturity to derive DNA thermodynamics with unprecedented accuracy. We combine single-DNA mechanical unzipping experiments using a temperature jump optical trap with machine learning methods and derive the temperature-dependent DNA energy parameters of the NN model. In particular, we measure the previously unknown ten heat-capacity change parameters $\Delta C_p$, relevant for thermodynamical predictions throughout the DNA stability range. Calorimetric force spectroscopy establishes a groundbreaking methodology to accurately study nucleic acids, from chemically modified DNA to RNA and DNA/RNA hybrid structures.


title: Randomization-based confidence intervals for the local average treatment effect

abstract: We consider the problem of generating confidence intervals in randomized experiments with noncompliance. We show that a refinement of a randomization-based procedure proposed by Imbens and Rosenbaum (2005) has desirable properties. Namely, we show that using a studentized Anderson-Rubin-type statistic as a test statistic yields confidence intervals that are finite-sample exact under treatment effect homogeneity, and remain asymptotically valid for the Local Average Treatment Effect when the treatment effect is heterogeneous. We provide a uniform analysis of this procedure.


title: Understanding Radicals via Orbital Parities

abstract: We introduce analysis of orbital parities as a concept and a tool for understanding radicals. Based on fundamental reduced one- and two-electron density matrices, our approach allows us to evaluate a total measure of radical character and provides spin-like orbitals to visualize real excess spin or odd electron distribution of singlet polyradicals. Finding spin-like orbitals aumotically results in their localization in the case of disjoint (zwitterionic) radicals and so enables radical classification based on spin-site separability. We demonstrate capabilities of the parity analysis by applying it to a number of polyradicals and to prototypical covalent bond breaking.


title: Detection of Fe and Ti on the dayside of the ultrahot Jupiter MASCARA-1b with CARMENES

abstract: Ultrahot Jupiters are a type of gaseous exoplanet that orbit extremely close to their host star, resulting in significantly high equilibrium temperatures. In recent years, high-resolution emission spectroscopy has been broadly employed in observing the atmospheres of ultrahot Jupiters. We used the CARMENES spectrograph to observe the high-resolution spectra of the dayside hemisphere of MASCARA-1b in both visible and near-infrared. Through cross-correlation analysis, we detected signals of \ion{Fe}{i} and \ion{Ti}{i}. Based on these detections, we conducted an atmospheric retrieval and discovered the presence of a strong inversion layer in the planet's atmosphere. The retrieved Ti and Fe abundances are broadly consistent with solar abundances. In particular, we obtained a relative abundance of [Ti/Fe] as $-1.0 \pm 0.8$ under the free retrieval and $-0.4^{+0.5}_{-0.8}$ under the chemical equilibrium retrieval, suggesting the absence of significant titanium depletion on this planet. Furthermore, we considered the influence of planetary rotation on spectral line profiles. The resulting equatorial rotation speed was determined to be $4.4^{+1.6}_{-2.0}\,\mathrm{km\,s^{-1}}$, which agrees with the rotation speed induced by tidal locking.


title: Measurements of the CKM angle $\gamma$ and parameters related to mixing and CP violation in the charm at LHCb

abstract: A recent combination of measurements performed by the LHCb collaboration determined that $\gamma=(63.8^{+3.5}_{-3.7})^\circ$. The fit combined the results of $\gamma$ and charm measurements, which resulted in precision improvements for the strong-phase difference between $D^0 \to K^-\pi^+$ and $D^0 \to K^+\pi^-$ decays, $\delta_{K\pi}^{D}$, and the $D^0-\bar{D}^0$ mixing parameter, $y$. In addition, new LHCb measurements of the CKM angle $\gamma$ using $B^0 \to D K^{*0}$ and $B^- \to D^{*} K^-$ decays with the $D\to K_{S}^0 h^+ h^-$ final state (where $h=\pi,K$) are presented.


title: 3D Mapping of Glacier Moulins: Challenges and lessons learned

abstract: In this paper, we present a field report of the mapping of the Athabasca Glacier, using a custom-made lidar-inertial mapping platform. With the increasing autonomy of robotics, a wider spectrum of applications emerges. Among these, the surveying of environmental areas presents arduous and hazardous challenges for human operators. Leveraging automated platforms for data collection holds the promise of unlocking new applications and a deeper comprehension of the environment. Over the course of a week-long deployment, we collected glacier data using a tailor-made measurement platform and reflected on the inherent challenges associated with such experiments. We focus on the insights gained and the forthcoming challenges that robotics must surmount to effectively map these terrains.


title: Certification of Speaker Recognition Models to Additive Perturbations

abstract: Speaker recognition technology is applied in various tasks ranging from personal virtual assistants to secure access systems. However, the robustness of these systems against adversarial attacks, particularly to additive perturbations, remains a significant challenge. In this paper, we pioneer applying robustness certification techniques to speaker recognition, originally developed for the image domain. In our work, we cover this gap by transferring and improving randomized smoothing certification techniques against norm-bounded additive perturbations for classification and few-shot learning tasks to speaker recognition. We demonstrate the effectiveness of these methods on VoxCeleb 1 and 2 datasets for several models. We expect this work to improve voice-biometry robustness, establish a new certification benchmark, and accelerate research of certification methods in the audio domain.


title: Bergman local isometries are biholomorphisms

abstract: We prove that a proper holomorphic local isometry between bounded domains with respect to the Bergman metrics is necessarily a biholomorphism. The proof relies on a new method grounded in Information Geometry theories.


title: A real-time digital twin of azimuthal thermoacoustic instabilities

abstract: When they occur, azimuthal thermoacoustic oscillations can detrimentally affect the safe operation of gas turbines and aeroengines. We develop a real-time digital twin of azimuthal thermoacoustics of a hydrogen-based annular combustor. The digital twin seamlessly combines two sources of information about the system (i) a physics-based low-order model; and (ii) raw and sparse experimental data from microphones, which contain both aleatoric noise and turbulent fluctuations. First, we derive a low-order thermoacoustic model for azimuthal instabilities, which is deterministic. Second, we propose a real-time data assimilation framework to infer the acoustic pressure, the physical parameters, and the model and measurement biases simultaneously. This is the bias-regularized ensemble Kalman filter (r-EnKF), for which we find an analytical solution that solves the optimization problem. Third, we propose a reservoir computer, which infers both the model bias and measurement bias to close the assimilation equations. Fourth, we propose a real-time digital twin of the azimuthal thermoacoustic dynamics of a laboratory hydrogen-based annular combustor for a variety of equivalence ratios. We find that the real-time digital twin (i) autonomously predicts azimuthal dynamics, in contrast to bias-unregularized methods; (ii) uncovers the physical acoustic pressure from the raw data, i.e., it acts as a physics-based filter; (iii) is a time-varying parameter system, which generalizes existing models that have constant parameters, and capture only slow-varying variables. The digital twin generalizes to all equivalence ratios, which bridges the gap of existing models. This work opens new opportunities for real-time digital twinning of multi-physics problems.


title: Optimality and uniqueness of the $D_4$ root system

abstract: We prove that the $D_4$ root system (the set of vertices of the regular $24$-cell) is the unique optimal kissing configuration in $\mathbb R^4$, and is an optimal spherical code. For this, we use semidefinite programming to compute an exact optimal solution to the second level of the Lasserre hierarchy. We also improve the upper bound for the kissing number problem in $\mathbb R^6$ to $77$.


title: When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines

abstract: Fo-bicategories are a categorification of Peirce's calculus of relations. Notably, their laws provide a proof system for first-order logic that is both purely equational and complete. This paper illustrates a correspondence between fo-bicategories and Lawvere's hyperdoctrines. To streamline our proof, we introduce peircean bicategories, which offer a more succinct characterization of fo-bicategories.


title: Replacing Judges with Juries: Evaluating LLM Generations with a Panel of Diverse Models

abstract: As Large Language Models (LLMs) have become more advanced, they have outpaced our abilities to accurately evaluate their quality. Not only is finding data to adequately probe particular model properties difficult, but evaluating the correctness of a model's freeform generation alone is a challenge. To address this, many evaluations now rely on using LLMs themselves as judges to score the quality of outputs from other LLMs. Evaluations most commonly use a single large model like GPT4. While this method has grown in popularity, it is costly, has been shown to introduce intramodel bias, and in this work, we find that very large models are often unnecessary. We propose instead to evaluate models using a Panel of LLm evaluators (PoLL). Across three distinct judge settings and spanning six different datasets, we find that using a PoLL composed of a larger number of smaller models outperforms a single large judge, exhibits less intra-model bias due to its composition of disjoint model families, and does so while being over seven times less expensive.


title: Efficiency-Effectiveness Tradeoff of Probabilistic Structured Queries for Cross-Language Information Retrieval

abstract: Probabilistic Structured Queries (PSQ) is a cross-language information retrieval (CLIR) method that uses translation probabilities statistically derived from aligned corpora. PSQ is a strong baseline for efficient CLIR using sparse indexing. It is, therefore, useful as the first stage in a cascaded neural CLIR system whose second stage is more effective but too inefficient to be used on its own to search a large text collection. In this reproducibility study, we revisit PSQ by introducing an efficient Python implementation. Unconstrained use of all translation probabilities that can be estimated from aligned parallel text would in the limit assign a weight to every vocabulary term, precluding use of an inverted index to serve queries efficiently. Thus, PSQ's effectiveness and efficiency both depend on how translation probabilities are pruned. This paper presents experiments over a range of modern CLIR test collections to demonstrate that achieving Pareto optimal PSQ effectiveness-efficiency tradeoffs benefits from multi-criteria pruning, which has not been fully explored in prior work. Our Python PSQ implementation is available on GitHub(https://github.com/hltcoe/PSQ) and unpruned translation tables are available on Huggingface Models(https://huggingface.co/hltcoe/psq_translation_tables).


title: Multi-Agent Synchronization Tasks

abstract: In multi-agent reinforcement learning (MARL), coordination plays a crucial role in enhancing agents' performance beyond what they could achieve through cooperation alone. The interdependence of agents' actions, coupled with the need for communication, leads to a domain where effective coordination is crucial. In this paper, we introduce and define $\textit{Multi-Agent Synchronization Tasks}$ (MSTs), a novel subset of multi-agent tasks. We describe one MST, that we call $\textit{Synchronized Predator-Prey}$, offering a detailed description that will serve as the basis for evaluating a selection of recent state-of-the-art (SOTA) MARL algorithms explicitly designed to address coordination challenges through the use of communication strategies. Furthermore, we present empirical evidence that reveals the limitations of the algorithms assessed to solve MSTs, demonstrating their inability to scale effectively beyond 2-agent coordination tasks in scenarios where communication is a requisite component. Finally, the results raise questions about the applicability of recent SOTA approaches for complex coordination tasks (i.e. MSTs) and prompt further exploration into the underlying causes of their limitations in this context.


title: Location-Based Load Balancing for Energy-Efficient Cell-Free Networks

abstract: Cell-Free Massive MIMO (CF mMIMO) has emerged as a potential enabler for future networks. It has been shown that these networks are much more energy-efficient than classical cellular systems when they are serving users at peak capacity. However, these CF mMIMO networks are designed for peak traffic loads, and when this is not the case, they are significantly over-dimensioned and not at all energy efficient. To this end, Adaptive Access Point (AP) ON/OFF Switching (ASO) strategies have been developed to save energy when the network is not at peak traffic loads by putting unnecessary APs to sleep. Unfortunately, the existing strategies rely on measuring channel state information between every user and every access point, resulting in significant measurement energy consumption overheads. Furthermore, the current state-of-art approach has a computational complexity that scales exponentially with the number of APs. In this work, we present a novel convex feasibility testing method that allows checking per-user Quality-of-Service (QoS) requirements without necessarily considering all possible access point activations. We then propose an iterative algorithm for activating access points until all users' requirements are fulfilled. We show that our method has comparable performance to the optimal solution whilst avoiding solving costly mixed-integer problems and measuring channel state information on only a limited subset of APs.


title: Extending h adaptivity with refinement patterns

abstract: This contribution introduces the idea of refinement patterns for the generation of optimal meshes in the context of the Finite Element Method. The main idea is to generate a library of possible patterns on which elements can be refined and use this library to inform an h adaptive code on how to handle complex refinements in regions of interest. There are no restrictions on the type of elements that can be refined, and the patterns can be generated for any element type. The main advantage of this approach is that it allows for the generation of optimal meshes in a systematic way where, even if a certain pattern is not available, it can easily be included through a simple text file with nodes and sub-elements. The contribution presents a detailed methodology for incorporating refinement patterns into h adaptive Finite Element Method codes and demonstrates the effectiveness of the approach through mesh refinement of problems with complex geometries.


title: A Partial Replication of MaskFormer in TensorFlow on TPUs for the TensorFlow Model Garden

abstract: This paper undertakes the task of replicating the MaskFormer model a universal image segmentation model originally developed using the PyTorch framework, within the TensorFlow ecosystem, specifically optimized for execution on Tensor Processing Units (TPUs). Our implementation exploits the modular constructs available within the TensorFlow Model Garden (TFMG), encompassing elements such as the data loader, training orchestrator, and various architectural components, tailored and adapted to meet the specifications of the MaskFormer model. We address key challenges encountered during the replication, non-convergence issues, slow training, adaptation of loss functions, and the integration of TPU-specific functionalities. We verify our reproduced implementation and present qualitative results on the COCO dataset. Although our implementation meets some of the objectives for end-to-end reproducibility, we encountered challenges in replicating the PyTorch version of MaskFormer in TensorFlow. This replication process is not straightforward and requires substantial engineering efforts. Specifically, it necessitates the customization of various components within the TFMG, alongside thorough verification and hyper-parameter tuning. The replication is available at: https://github.com/PurdueDualityLab/tf-maskformer/tree/main/official/projects/maskformer


title: Endhered patterns in matchings and RNA

abstract: An endhered (end-adhered) pattern is a subset of arcs in matchings, such that the corresponding starting points are consecutive and the same holds for the ending points. Such patterns are in one-to-one correspondence with the permutations. We focus on the occurrence frequency of such patterns in matchings and real-world RNA structures with pseudoknots. We present combinatorial results related to the distribution and asymptotic behavior of the pattern 21, which corresponds to two consecutive stacked bonds frequently encountered in RNA, and the pattern 12, representing the archetypal minimal pseudoknot. We show that in matchings these two patterns are equidistributed, which is quite different from what we can find in real-world RNAs. We also examine the distribution of endhered patterns of size 3, showing how the patterns change under the transformation called endhered twist. Finally, we compute the distributions of endhered patterns of size 2 and 3 in real-world secondary RNA structures with pseudoknots and discuss possible outcomes of our study.


title: Convergence of dynamical stationary fluctuations

abstract: We present a general black box theorem that ensures convergence of a sequence of stationary Markov processes, provided a few assumptions are satisfied. This theorem relies on a control of the resolvents of the sequence of Markov processes, and on a suitable characterization of the resolvents of the limit. One major advantage of this approach is that it circumvents the use of the Boltzmann-Gibbs principle: in particular, we deduce in a rather simple way that the stationary fluctuations of the one-dimensional zero-range process converge to the stochastic heat equation. It also allows to establish results that were probably out of reach of existing methods: using the black box result, we are able to prove that the stationary fluctuations of a discrete model of ordered interfaces, that was considered previously in the statistical physics literature, converge to a system of reflected stochastic PDEs.


title: Thermodynamics of the quantum Schwarzschild black hole

abstract: We discuss some thermodynamic properties as well as the stability of a quantum Schwarzschild black hole, comparing the results with those obtained within a bumblebee gravity model. In particular, the Hawking temperature, $T_H$, the entropy, $S$, the heat capacity, $C$, and the Gibbs free energy, $G$, are computed for both cases. In addition to that, we compute the Brown-York quasilocal energy and compare the solution with the Schwarzschild case. We find that in both cases (quantum Schwarzschild and bumblebee gravity model) the temperature, the entropy, and the heat capacity show the same functional form, under the replacement $\lambda^2 \rightarrow \ell$ and vice versa. Specifically, the temperature is found to be lower compared to the classical (Schwarzschild) solution, whereas the entropy is computed to be larger. Moreover, the heat capacity becomes more negative. Notably, a distinct contrast emerges in obtaining the Gibbs free energy between these two cases, and this distinction appears to stem from the ADM mass.


title: NEOMOD 3: The Debiased Size Distribution of Near Earth Objects

abstract: Our previous model (NEOMOD2) for the orbital and absolute magnitude distribution of Near Earth Objects (NEOs) was calibrated on the Catalina Sky Survey observations between 2013 and 2022. Here we extend NEOMOD2 to include visible albedo information from the Wide-Field Infrared Survey Explorer. The debiased albedo distribution of NEOs can be approximated by the sum of two Rayleigh distributions with the scale parameters p_V,dark=0.03 and p_V,bright=0.17. We find evidence for smaller NEOs having (on average) higher albedos than larger NEOs; this is likely a consequence of the size-dependent sampling of different main belt sources. These inferences and the absolute magnitude distribution from NEOMOD2 are used to construct the debiased size distribution of NEOs. We estimate 830+/-60 NEOs with diameters D>1 km and 20,000+/-2,000 NEOs with D>140 m. The new model, NEOMOD3, is available via the NEOMOD Simulator -- an easy-to-operate code that can be used to generate user-defined samples (orbits, sizes and albedos) from the model.


title: Bivariate Generating Functions Enumerating Non-Bonding Dominoes on Rectangular Boards

abstract: The manuscript studies configurations of non-overlapping non-bonding dominoes on finite rectangular boards of unit squares characterized by row and column number. The non-bonding dominoes are defined here by the requirement that any domino on the board shares at most one point (one of its four corner points) with any other domino, but no edge. With the Transfer Matrix Method, rational generating functions are derived that solve the enumeration problem entirely, here evaluated for boards with up to six rows or columns.


title: The Landscape of Unfolding with Machine Learning

abstract: Recent innovations from machine learning allow for data unfolding, without binning and including correlations across many dimensions. We describe a set of known, upgraded, and new methods for ML-based unfolding. The performance of these approaches are evaluated on the same two datasets. We find that all techniques are capable of accurately reproducing the particle-level spectra across complex observables. Given that these approaches are conceptually diverse, they offer an exciting toolkit for a new class of measurements that can probe the Standard Model with an unprecedented level of detail and may enable sensitivity to new phenomena.


title: Weierstrass semigroups and automorphism group of a maximal function field with the third largest possible genus, $q \equiv 1 \pmod 3$

abstract: In this article we continue the work started in arXiv:2303.00376v1, explicitly determining the Weierstrass semigroup at any place and the full automorphism group of a known $\mathbb{F}_{q^2}$-maximal function field $Y_3$ having the third largest genus, for $q \equiv 1 \pmod 3$. This function field arises as a Galois subfield of the Hermitian function field, and its uniqueness (with respect to the value of its genus) is a well-known open problem. Knowing the Weierstrass semigroups may provide a key towards solving this problem. Surprisingly enough, $Y_3$ has many different types of Weierstrass semigroups and the set of its Weierstrass places is much richer than its set of $\mathbb{F}_{q^2}$-rational places. We show that a similar exceptional behaviour does not occur in terms of automorphisms, that is, $\mathrm{Aut}(Y_3)$ is exactly the automorphism group inherited from the Hermitian function field, apart from small values of $q$.


title: Architecture for fast implementation of qLDPC codes with optimized Rydberg gates

abstract: We propose an implementation of bivariate bicycle codes (Nature {\bf 627}, 778 (2024)) based on long-range Rydberg gates between stationary neutral atom qubits. An optimized layout of data and ancilla qubits reduces the maximum Euclidean communication distance needed for non-local parity check operators. An optimized Rydberg gate pulse design enables $\sf CZ$ entangling operations with fidelity ${\mathcal F}>0.999$ at a distance greater than $12~\mu\rm m$. The combination of optimized layout and gate design leads to a quantum error correction cycle time of $\sim 1.2~\rm ms$ for a $[[144,12,12]]$ code, an order of magnitude improvement over previous designs.


title: Unknown Script: Impact of Script on Cross-Lingual Transfer

abstract: Cross-lingual transfer has become an effective way of transferring knowledge between languages. In this paper, we explore an often overlooked aspect in this domain: the influence of the source language of a language model on language transfer performance. We consider a case where the target language and its script are not part of the pre-trained model. We conduct a series of experiments on monolingual and multilingual models that are pre-trained on different tokenization methods to determine factors that affect cross-lingual transfer to a new language with a unique script. Our findings reveal the importance of the tokenizer as a stronger factor than the shared script, language similarity, and model size.


title: Weak equivalence principle and nonrelativistic limit of general dispersion relations

abstract: We study the weak equivalence principle in the context of modified dispersion relations, a prevalent approach to quantum gravity phenomenology. We find that generic modified dispersion relations violate the weak equivalence principle. The acceleration in general depends on the mass of the test body, unless the Hamiltonian is either two-homogeneous in the test particles' 4-momenta or the corresponding Lagrangian differs from the homogeneous case by a total derivative only. The key ingredient of this calculation is a $3+1$ decomposition of the parametrization invariant relativistic test particle action derived from the dispersion relation. Additionally, we apply a perturbative expansion in the test particle's spatial velocity and the inverse speed of light. To quantify our result, we provide a general formula for the E\"otv\'os factor of modified dispersion relations. As a specific example, we study the $\kappa$-Poincar\'e dispersion relation. Comparing the ensuing non-vanishing E\"otv\'os factor to recent data from the MICROSCOPE experiment, we obtain a bound of $\kappa^{-1}\geq10^{15}{\rm GeV}/c^2.$.


title: Efficient Inverted Indexes for Approximate Retrieval over Learned Sparse Representations

abstract: Learned sparse representations form an attractive class of contextual embeddings for text retrieval. That is so because they are effective models of relevance and are interpretable by design. Despite their apparent compatibility with inverted indexes, however, retrieval over sparse embeddings remains challenging. That is due to the distributional differences between learned embeddings and term frequency-based lexical models of relevance such as BM25. Recognizing this challenge, a great deal of research has gone into, among other things, designing retrieval algorithms tailored to the properties of learned sparse representations, including approximate retrieval systems. In fact, this task featured prominently in the latest BigANN Challenge at NeurIPS 2023, where approximate algorithms were evaluated on a large benchmark dataset by throughput and recall. In this work, we propose a novel organization of the inverted index that enables fast yet effective approximate retrieval over learned sparse embeddings. Our approach organizes inverted lists into geometrically-cohesive blocks, each equipped with a summary vector. During query processing, we quickly determine if a block must be evaluated using the summaries. As we show experimentally, single-threaded query processing using our method, Seismic, reaches sub-millisecond per-query latency on various sparse embeddings of the MS MARCO dataset while maintaining high recall. Our results indicate that Seismic is one to two orders of magnitude faster than state-of-the-art inverted index-based solutions and further outperforms the winning (graph-based) submissions to the BigANN Challenge by a significant margin.


title: Safe Reach Set Computation via Neural Barrier Certificates

abstract: We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier certificates given by parameterized neural networks that depend on a given initial set, unsafe sets, and time horizon. Such networks are trained efficiently offline using system simulations sampled from regions of the state space. We then employ a meta-neural network to generalize the barrier certificates to state space regions that are outside the training set. These certificates are generated and validated online as sound over-approximations of the reachable states, thus either ensuring system safety or activating appropriate alternative actions in unsafe scenarios. We demonstrate our technique on case studies from linear models to nonlinear control-dependent models for online autonomous driving scenarios.


title: Belt and Brace: When Federated Learning Meets Differential Privacy

abstract: Federated learning (FL) has great potential for large-scale machine learning (ML) without exposing raw data.Differential privacy (DP) is the de facto standard of privacy protection with provable guarantees.Advances in ML suggest that DP would be a perfect fit for FL with comprehensive privacy preservation. Hence, extensive efforts have been devoted to achieving practically usable FL with DP, which however is still challenging.Practitioners often not only are not fully aware of its development and categorization, but also face a hard choice between privacy and utility. Therefore, it calls for a holistic review of current advances and an investigation on the challenges and opportunities for highly usable FL systems with a DP guarantee. In this article, we first introduce the primary concepts of FL and DP, and highlight the benefits of integration. We then review the current developments by categorizing different paradigms and notions. Aiming at usable FL with DP, we present the optimization principles to seek a better tradeoff between model utility and privacy loss. Finally, we discuss future challenges in the emergent areas and relevant research topics.


title: Bifurcations for Lagrangian systems and geodesics

abstract: In this paper we shall use the abstract bifurcation theorems developed by the author in previous papers to study bifurcations of solutions for Lagrangian systems on manifolds linearly or nonlinearly dependent on parameters under various boundary value conditions. As applications, many bifurcation results for geodesics on Finsler and Riemannian manifolds are derived.


title: AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering

abstract: Due to the vast array of Android applications, their multifarious functions and intricate behavioral semantics, attackers can adopt various tactics to conceal their genuine attack intentions within legitimate functions. However, numerous feature engineering based methods suffer from a limitation in mining behavioral semantic information, thus impeding the accuracy and efficiency of Android malware detection. Besides, the majority of existing feature engineering based methods are weakly interpretive and fail to furnish researchers with effective and readable detection reports. Inspired by the success of the Large Language Models (LLMs) in natural language understanding, we propose AppPoet, a LLM-assisted multi-view system for Android malware detection. Firstly, AppPoet employs a static method to comprehensively collect application features and formulate various observation views. Subsequently, it steers the LLM to produce function descriptions and behavioral summaries for views via our meticulously devised multi-view prompt engineering technique to realize the deep mining of view semantics. Finally, we collaboratively fuse the multi-view information to efficiently and accurately detect malware through a deep neural network (DNN) classifier and then generate the heuristic diagnostic reports. Experimental results demonstrate that our method achieves a detection accuracy of 97.15% and an F1 score of 97.21%, which is superior to the baseline method Drebin and its variant. Furthermore, the case study evaluates the effectiveness of our generated diagnostic reports.


title: Hiding from Facebook: An Encryption Protocol resistant to Correlation Attacks

abstract: In many social networks, one publishes information that one wants to reveal (e.g., the photograph of some friends) together with information that may lead to privacy breaches (e.g., the name of these people). One might want to hide this sensitive information by encrypting it and sharing the decryption key only with trusted people, but this might not be enough. If the cipher associated to a face is always the same, correlation between the output of a face recognition system and the cipher can give useful clues and help train recognizers to identify untagged instances of the face. We refer to these as "correlation attacks". In this paper we present a coding system that attempts to counter correlation attacks by associating to each instance of a face a different encryption of the same tag in such a way that the correlation between different instances is minimal. In addition, we present a key distribution code that allows only the owner of the images to encode the tags, but allows a group of trusted friends to decode them.


title: Calculating the Capacity Region of a Quantum Switch

abstract: Quantum repeaters are necessary to fully realize the capabilities of the emerging quantum internet, especially applications involving distributing entanglement across long distances. A more general notion of this can be called a quantum switch, which connects to many users and can act as a repeater to create end-to-end entanglement between different subsets of these users. Here we present a method of calculating the capacity region of both discrete- and continuous-variable quantum switches that in general support mixed-partite entanglement generation. The method uses tools from convex analysis to generate the boundaries of the capacity region. We show example calculations with illustrative topologies and perform simulations to support the analytical results.


title: Photo-induced insulator-metal transition in paramagnetic (V$_{1-x}$Cr$_{x}$)$_2$O$_3$

abstract: Pump-probe experiments with femtosecond time resolution allow to disentangle the electronic dynamics from the lattice response and thus provide valuable insights into the non-equilibrium behavior of correlated materials. In Cr-doped V$_2$O$_3$, a multi-orbital Mott-Hubbard material which has been intensively investigated for decades, time-resolved experiments reported a photo-induced insulator-metal transition leading to a transient metal state with nonthermal properties. Here, we combine non-equilibrium dynamical mean-field theory with realistic first principles modeling to simulate the ultrafast response of this material to a laser excitation. Our calculations reproduce the insulating initial state, with orbital occupations in agreement with experiment, and reveal an ultrafast pump-induced gap filling associated with a charge reshuffling between the $e_g^\pi$ and $a_{1g}$ orbitals. However, in contrast to the related compound VO$_2$, the electronic system thermalizes within a few tens of femtoseconds and we find no evidence for the existence of a metastable nonthermal metal. This suggests that the reported nonthermal behavior in the experiments may be associated with the mismatch between the electronic and lattice temperatures.


title: Towards Extreme Image Compression with Latent Feature Guidance and Diffusion Prior

abstract: Image compression at extremely low bitrates (below 0.1 bits per pixel (bpp)) is a significant challenge due to substantial information loss. In this work, we propose a novel two-stage extreme image compression framework that exploits the powerful generative capability of pre-trained diffusion models to achieve realistic image reconstruction at extremely low bitrates. In the first stage, we treat the latent representation of images in the diffusion space as guidance, employing a VAE-based compression approach to compress images and initially decode the compressed information into content variables. The second stage leverages pre-trained stable diffusion to reconstruct images under the guidance of content variables. Specifically, we introduce a small control module to inject content information while keeping the stable diffusion model fixed to maintain its generative capability. Furthermore, we design a space alignment loss to force the content variables to align with the diffusion space and provide the necessary constraints for optimization. Extensive experiments demonstrate that our method significantly outperforms state-of-the-art approaches in terms of visual performance at extremely low bitrates.


title: Control Policy Correction Framework for Reinforcement Learning-based Energy Arbitrage Strategies

abstract: A continuous rise in the penetration of renewable energy sources, along with the use of the single imbalance pricing, provides a new opportunity for balance responsible parties to reduce their cost through energy arbitrage in the imbalance settlement mechanism. Model-free reinforcement learning (RL) methods are an appropriate choice for solving the energy arbitrage problem due to their outstanding performance in solving complex stochastic sequential problems. However, RL is rarely deployed in real-world applications since its learned policy does not necessarily guarantee safety during the execution phase. In this paper, we propose a new RL-based control framework for batteries to obtain a safe energy arbitrage strategy in the imbalance settlement mechanism. In our proposed control framework, the agent initially aims to optimize the arbitrage revenue. Subsequently, in the post-processing step, we correct (constrain) the learned policy following a knowledge distillation process based on properties that follow human intuition. Our post-processing step is a generic method and is not restricted to the energy arbitrage domain. We use the Belgian imbalance price of 2023 to evaluate the performance of our proposed framework. Furthermore, we deploy our proposed control framework on a real battery to show its capability in the real world.


title: A Multi-Period Black-Litterman Model

abstract: The Black-Litterman model is a framework for incorporating forward-looking expert views in a portfolio optimization problem. Existing work focuses almost exclusively on single-period problems and assumes that the horizon of expert forecasts matches that of the investor. We consider a multi-period generalization where the horizon of expert views may differ from that of a dynamically-trading investor. By exploiting an underlying graphical structure relating the asset prices and views, we derive the conditional distribution of asset returns when the price process is geometric Brownian motion. We also show that it can be written in terms of a multi-dimensional Brownian bridge. The new price process is an affine factor model with the conditional log-price process playing the role of a vector of factors. We derive an explicit expression for the optimal dynamic investment policy and analyze the hedging demand associated with the new covariate. More generally, the paper shows that Bayesian graphical models are a natural framework for incorporating complex information structures in the Black-Litterman model.


title: Non-parametric estimation for the stochastic wave equation

abstract: The spatially dependent wave speed of a stochastic wave equation driven by space-time white noise is estimated using the local observation scheme. Given a fixed time horizon, we prove asymptotic normality for an augmented maximum likelihood estimator as the resolution level of the observations tends to zero. We show that the expectation and variance of the observed Fisher information are intrinsically related to the kinetic energy within an associated deterministic wave equation and prove an asymptotic equipartition of energy principle using the notion of asymptotic Riemann-Lebesgue operators.


title: Benchmarking Benchmark Leakage in Large Language Models

abstract: Amid the expanding use of pre-training data, the phenomenon of benchmark dataset leakage has become increasingly prominent, exacerbated by opaque training processes and the often undisclosed inclusion of supervised data in contemporary Large Language Models (LLMs). This issue skews benchmark effectiveness and fosters potentially unfair comparisons, impeding the field's healthy development. To address this, we introduce a detection pipeline utilizing Perplexity and N-gram accuracy, two simple and scalable metrics that gauge a model's prediction precision on benchmark, to identify potential data leakages. By analyzing 31 LLMs under the context of mathematical reasoning, we reveal substantial instances of training even test set misuse, resulting in potentially unfair comparisons. These findings prompt us to offer several recommendations regarding model documentation, benchmark setup, and future evaluations. Notably, we propose the "Benchmark Transparency Card" to encourage clear documentation of benchmark utilization, promoting transparency and healthy developments of LLMs. we have made our leaderboard, pipeline implementation, and model predictions publicly available, fostering future research.


title: Harmonic Machine Learning Models are Robust

abstract: We introduce Harmonic Robustness, a powerful and intuitive method to test the robustness of any machine-learning model either during training or in black-box real-time inference monitoring without ground-truth labels. It is based on functional deviation from the harmonic mean value property, indicating instability and lack of explainability. We show implementation examples in low-dimensional trees and feedforward NNs, where the method reliably identifies overfitting, as well as in more complex high-dimensional models such as ResNet-50 and Vision Transformer where it efficiently measures adversarial vulnerability across image classes.


title: Winning the Social Media Influence Battle: Uncertainty-Aware Opinions to Understand and Spread True Information via Competitive Influence Maximization

abstract: Competitive Influence Maximization (CIM) involves entities competing to maximize influence in online social networks (OSNs). Current Deep Reinforcement Learning (DRL) methods in CIM rely on simplistic binary opinion models (i.e., an opinion is represented by either 0 or 1) and often overlook the complexity of users' behavioral characteristics and their prior knowledge. We propose a novel DRL-based framework that enhances CIM analysis by integrating Subjective Logic (SL) to accommodate uncertain opinions, users' behaviors, and their preferences. This approach targets the mitigation of false information by effectively propagating true information. By modeling two competitive agents, one spreading true information and the other spreading false information, we capture the strategic interplay essential to CIM. Our framework utilizes an uncertainty-based opinion model (UOM) to assess the impact on information quality in OSNs, emphasizing the importance of user behavior alongside network topology in selecting influential seed nodes. Extensive experiments demonstrate that our approach significantly outperforms state-of-the-art methods, achieving faster and more influential results (i.e., outperforming over 20%) under realistic network conditions. Moreover, our method shows robust performance in partially observable networks, effectively doubling the performance when users are predisposed to disbelieve true information.


title: Extreme fragmentation of a Bose gas

abstract: Fragmentation of an interacting Bose gas refers to the macroscopic occupation of a finite set of single-particle eigenstates. This phenomenon is related to the notion of particle-number squeezing in quantum optics, an exquisite property of quantum states that can offer metrological gain. So far, fragmentation has only been partially achieved in experiments involving a large number $N$ of bosons in few modes. Here, we introduce a practical and efficient scheme to prepare fragmented states in systems realizing the $L$-mode Bose-Hubbard model. We demonstrate how a large energy detuning between the modes can be used as a practical control parameter to successfully fragment a Bose gas over an extremely short preparation time. Applying an optimal-control approach within realistic experimental constraints, we obtain total fragmentation at a high filling factor, realizing $\ket{N/L,...,N/L}$ Fock states with hundreds of bosons in very few modes over a few tunneling times.


title: Demonstration of system-bath physics on gate-based quantum computer

abstract: We demonstrate algorithmic cooling on IBM-Q devices. We utilize inherent qubit noise to simulate the equilibration of an interacting spin system towards its ground state, when coupled to a dissipative auxiliary-spin bath. The steady-state correlations in the system are defined by the system Hamiltonian and are stable as long as the algorithm can be executed. In particular, we demonstrate the relaxation of system spins to ferromagnetic and antiferromagnetic ordering, controlled by the definition of the Hamiltonian. We are able to perform simulated cooling for global systems of up to three system spins and four auxiliary spins.


title: Disentangling the development of collective flow in high energy proton proton collisions with a multiphase transport model

abstract: In this work, we investigate the collective flow development in high energy proton proton (pp) collisions with a multiphase transport model (AMPT) based on PYTHIA8 initial conditions with a sub-nucleon structure. It is found that the PYTHIA8 based AMPT model can reasonably describe both the charged hadron productions and elliptic flow experimental data measured in pp collisions at $\sqrt{s}=13$ TeV. By turning on the parton and hadron rescatterings in AMPT separately, we find that the observed collective flow in pp collisions is largely developed during the parton evolutions, while no significant flow effect can be generated with the pure hadronic rescatterings. It is also shown that the parton escape mechanism is important for describing both the magnitude of the two-particle cumulant and the sign of the four-particle cumulants. We emphasize that the strong mass ordering of the elliptic flow results from the coalescence process in the transport model can thus be regarded as unique evidence related to the creation of deconfined parton matter in high energy pp collisions.


title: Solution of a Problem in Monoidal Categorification by Additive Categorification

abstract: In 2021, Kashiwara-Kim-Oh-Park constructed cluster algebra structures on the Grothendieck rings of certain monoidal subcategories of the category of finite-dimensional representations of a quantum loop algebra, generalizing Hernandez-Leclerc's pioneering work from 2010. They stated the problem of finding explicit quivers for the seeds they used. We provide a solution by using Palu's generalized mutation rule applied to the cluster categories associated with certain algebras of global dimension at most 2, for example tensor products of path algebras of representation-finite quivers. Thus, our method is based on (and contributes to) the bridge, provided by cluster combinatorics, between the representation theory of quantum groups and that of quivers with relations.


title: ConPro: Learning Severity Representation for Medical Images using Contrastive Learning and Preference Optimization

abstract: Understanding the severity of conditions shown in images in medical diagnosis is crucial, serving as a key guide for clinical assessment, treatment, as well as evaluating longitudinal progression. This paper proposes Con- PrO: a novel representation learning method for severity assessment in medical images using Contrastive learningintegrated Preference Optimization. Different from conventional contrastive learning methods that maximize the distance between classes, ConPrO injects into the latent vector the distance preference knowledge between various severity classes and the normal class. We systematically examine the key components of our framework to illuminate how contrastive prediction tasks acquire valuable representations. We show that our representation learning framework offers valuable severity ordering in the feature space while outperforming previous state-of-the-art methods on classification tasks. We achieve a 6% and 20% relative improvement compared to a supervised and a self-supervised baseline, respectively. In addition, we derived discussions on severity indicators and related applications of preference comparison in the medical domain.


title: It's Difficult to be Neutral -- Human and LLM-based Sentiment Annotation of Patient Comments

abstract: Sentiment analysis is an important tool for aggregating patient voices, in order to provide targeted improvements in healthcare services. A prerequisite for this is the availability of in-domain data annotated for sentiment. This article documents an effort to add sentiment annotations to free-text comments in patient surveys collected by the Norwegian Institute of Public Health (NIPH). However, annotation can be a time-consuming and resource-intensive process, particularly when it requires domain expertise. We therefore also evaluate a possible alternative to human annotation, using large language models (LLMs) as annotators. We perform an extensive evaluation of the approach for two openly available pretrained LLMs for Norwegian, experimenting with different configurations of prompts and in-context learning, comparing their performance to human annotators. We find that even for zero-shot runs, models perform well above the baseline for binary sentiment, but still cannot compete with human annotators on the full dataset.


title: The dynamics of leadership and success in software development teams

abstract: From science to industry, teamwork plays a crucial role in knowledge production and innovation. Most studies consider teams as static groups of individuals, thereby failing to capture how the micro-dynamics of collaborative processes and organizational changes determine team success. Here, we leverage fine-grained temporal data on software development teams to gain insights into the dynamics of online collaborative projects. Our analysis reveals an uneven workload distribution in teams, with stronger heterogeneity correlated with higher success, and the early emergence of a lead developer carrying out the majority of work. Moreover, we find that a sizeable fraction of projects experience a change of lead developer, with such a transition being more likely in projects led by inexperienced users. Finally, we show that leadership change is associated with faster success growth, in particular for the least successful projects. Our work contributes to a deeper understanding of the link between team evolution and success in collaborative processes.


title: Interpolating between Optimal Transport and KL regularized Optimal Transport using R\'enyi Divergences

abstract: Regularized optimal transport (OT) has received much attention in recent years starting from Cuturi's paper with Kullback-Leibler (KL) divergence regularized OT. In this paper, we propose to regularize the OT problem using the family of $\alpha$-R\'enyi divergences for $\alpha \in (0, 1)$. R\'enyi divergences are neither $f$-divergences nor Bregman distances, but they recover the KL divergence in the limit $\alpha \nearrow 1$. The advantage of introducing the additional parameter $\alpha$ is that for $\alpha \searrow 0$ we obtain convergence to the unregularized OT problem. For the KL regularized OT problem, this was achieved by letting the regularization parameter tend to zero, which causes numerical instabilities. We present two different ways to obtain premetrics on probability measures, namely by R\'enyi divergence constraints and penalization. The latter premetric interpolates between the unregularized and KL regularized OT problem with weak convergence of the minimizer, generalizing the interpolating property of KL regularized OT. We use a nested mirror descent algorithm for solving the primal formulation. Both on real and synthetic data sets R\'enyi regularized OT plans outperform their KL and Tsallis counterparts in terms of being closer to the unregularized transport plans and recovering the ground truth in inference tasks better.


title: Degeneration in discriminantal arrangements

abstract: Discriminantal arrangements are hyperplane arrangements, which are generalized braid ones. They are constructed from given hyperplane arrangements, but their combinatorics are not invariant under combinatorial equivalence. However, it is known that the combinatorics of the discriminantal arrangement are constant on a Zariski open set of the space of hyperplane arrangements. In the present paper, we introduce non-very generic varieties in the space of hyperplane arrangements to classify discriminantal arrangements and show that the Zariski open set is the complement of non-very generic varieties. We study their basic properties and construction and provide examples, including infinite families of non-very generic varieties. In particular, the construction we call degeneration is a powerful tool for constructing non-very generic varieties. As an application, we provide lists of non-very generic varieties for spaces of small line arrangements.


title: Continuity of attractors of parabolic equations with nonlinear boundary conditions and rapidly varying boundaries. The case of a Lipschitz deformation

abstract: In this paper we obtain the continuity of attractors for nonlinear parabolic equations with nonlinear boundary conditions when the boundary of the domain varies very rapidly as a parameter $\epsilon$ goes to zero. We consider the case where the boundary of the domain presents a highly oscillatory behavior as the parameter $\epsilon$ goes to zero. For the case where we have a Lipschitz deformation of the boundary with the Lipschitz constant uniformly bounded in $\epsilon$ but the boundaries do not approach in a Lipschitz sense, the solutions of these equations converge in certain sense to the solution of a limit parabolic equation of the same type but where the boundary condition has a factor that captures the oscillations of the boundary. To address this problem, it is necessary to consider the notion of convergence of functions defined in varying domains and the convergence of a family of operators defined in different Banach spaces. Moreover, since we consider problems with nonlinear boundary conditions, it is necessary to extend these concepts to the case of spaces with negative exponents and to operators defined between these spaces.


title: NNLL-fast 2.0: Coloured Sparticle Production at the LHC Run 3 with $\sqrt{S}$ = 13.6 TeV

abstract: We report on updated precision predictions for total cross sections of coloured supersymmetric particle production at the LHC with a centre-of-mass energy of $\sqrt S$ = 13.6 TeV, computed with the modern PDF4LHC21 set. The cross sections are calculated at an approximated NNLO accuracy in QCD and contain corrections from the threshold resummation of soft-gluon emission up to NNLL accuracy as well as Coulomb-gluon contributions including bound-state terms. The corrections are found to increase the cross sections and reduce the theoretical uncertainty as compared to the best available fixed-order calculations. These predictions constitute the state-of-the-art calculations and update the existing results for $\sqrt S$ = 13 TeV. We make our new results publicly available in the version 2.0 update to the code package NNLL-fast.


title: Accurate adaptive deep learning method for solving elliptic problems

abstract: Deep learning method is of great importance in solving partial differential equations. In this paper, inspired by the failure-informed idea proposed by Gao et.al. (SIAM Journal on Scientific Computing 45(4)(2023)) and as an improvement, a new accurate adaptive deep learning method is proposed for solving elliptic problems, including the interface problems and the convection-dominated problems. Based on the failure probability framework, the piece-wise uniform distribution is used to approximate the optimal proposal distribution and an kernel-based method is proposed for efficient sampling. Together with the improved Levenberg-Marquardt optimization method, the proposed adaptive deep learning method shows great potential in improving solution accuracy. Numerical tests on the elliptic problems without interface conditions, on the elliptic interface problem, and on the convection-dominated problems demonstrate the effectiveness of the proposed method, as it reduces the relative errors by a factor varying from $10^2$ to $10^4$ for different cases.


title: Construction of local reduced spaces for Friedrichs' systems via randomized training

abstract: This contribution extends the localized training approach, traditionally employed for multiscale problems and parameterized partial differential equations (PDEs) featuring locally heterogeneous coefficients, to the class of linear, positive symmetric operators, known as Friedrichs' operators. Considering a local subdomain with corresponding oversampling domain we prove the compactness of the transfer operator which maps boundary data to solutions on the interior domain. While a Caccioppoli-inequality quantifying the energy decay to the interior holds true for all Friedrichs' systems, showing a compactness result for the graph-spaces hosting the solution is additionally necessary. We discuss the mixed formulation of a convection-diffusion-reaction problem where the necessary compactness result is obtained by the Picard-Weck-Weber theorem. Our numerical results, focusing on a scenario involving heterogeneous diffusion fields with multiple high-conductivity channels, demonstrate the effectiveness of the proposed method.


title: Fast Quantum Process Tomography via Riemannian Gradient Descent

abstract: Constrained optimization plays a crucial role in the fields of quantum physics and quantum information science and becomes especially challenging for high-dimensional complex structure problems. One specific issue is that of quantum process tomography, in which the goal is to retrieve the underlying quantum process based on a given set of measurement data. In this paper, we introduce a modified version of stochastic gradient descent on a Riemannian manifold that integrates recent advancements in numerical methods for Riemannian optimization. This approach inherently supports the physically driven constraints of a quantum process, takes advantage of state-of-the-art large-scale stochastic objective optimization, and has superior performance to traditional approaches such as maximum likelihood estimation and projected least squares. The data-driven approach enables accurate, order-of-magnitude faster results, and works with incomplete data. We demonstrate our approach on simulations of quantum processes and in hardware by characterizing an engineered process on quantum computers.


title: Deep orthogonal decomposition: a continuously adaptive data-driven approach to model order reduction

abstract: We develop a novel deep learning technique, termed Deep Orthogonal Decomposition (DOD), for dimensionality reduction and reduced order modeling of parameter dependent partial differential equations. The approach consists in the construction of a deep neural network model that approximates the solution manifold through a continuously adaptive local basis. In contrast to global methods, such as Principal Orthogonal Decomposition (POD), the adaptivity allows the DOD to overcome the Kolmogorov barrier, making the approach applicable to a wide spectrum of parametric problems. Furthermore, due to its hybrid linear-nonlinear nature, the DOD can accommodate both intrusive and nonintrusive techniques, providing highly interpretable latent representations and tighter control on error propagation. For this reason, the proposed approach stands out as a valuable alternative to other nonlinear techniques, such as deep autoencoders. The methodology is discussed both theoretically and practically, evaluating its performances on problems featuring nonlinear PDEs, singularities, and parametrized geometries.


title: VISION: Toward a Standardized Process for Radiology Image Management at the National Level

abstract: The compilation and analysis of radiological images poses numerous challenges for researchers. The sheer volume of data as well as the computational needs of algorithms capable of operating on images are extensive. Additionally, the assembly of these images alone is difficult, as these exams may differ widely in terms of clinical context, structured annotation available for model training, modality, and patient identifiers. In this paper, we describe our experiences and challenges in establishing a trusted collection of radiology images linked to the United States Department of Veterans Affairs (VA) electronic health record database. We also discuss implications in making this repository research-ready for medical investigators. Key insights include uncovering the specific procedures required for transferring images from a clinical to a research-ready environment, as well as roadblocks and bottlenecks in this process that may hinder future efforts at automation.


title: $\beta$-WLZZ models from $\beta$-ensemble integrals directly

abstract: Recently, we performed a two $\beta$-ensemble realization of the series of $\beta$-deformed WLZZ matrix models involving $\beta$-deformed Harish-Chandra-Itzykson-Zuber integrals. The realization was derived and studied by using Ward identities, which do not allow one to fix integration contours, these latter were chosen to be real axis for one $\beta$-ensemble and imaginary axis for the other one basing on some particular checks. Here, we evaluate the $\beta$-ensemble integrals directly using a conjecture by I.G. Macdonald, and explain that another choice of integration contours is also possible.


title: The Role of Normal and Non-Normal Contributions to Enstrophy Production in the Near-Wall Region of a Turbulent Channel Flow

abstract: The turbulent boundary-layer is a region where both preferential dissipation of energy and the production of significant vorticity arises as a consequence of the strong velocity gradients. Previous work has shown that, following a Reynolds decomposition of the enstrophy production, the purely fluctuating contribution is the dominant term and that near the wall this varies in a complex manner with height. In this study we additionally decompose the strain rate and vorticity terms into normal and non-normal components using a Schur decomposition and are able to explain all these features in terms of contributions at different heights from constituents involving different combinations of normal and non-normal quantities. What is surprising about our results is that while the mean shear and the action of larger scale structures should mean that non-normal effects are of over-riding importance, the most important individual term involves the fluctuating, normal straining in the transverse direction. Furthermore, the reason that the term that involves only non-normal contributions is smaller on average than that involving normal straining coupled to non-normal vorticity is that in the former case there are individual constituents that are negative in the mean. Hence, we not only explain the nature of near-wall enstrophy production in greater detail, but highlight how local straining that is orthogonal to the direction of the dominant mean and fluctuating shear plays a crucial role in amplifying vorticity that is yet to have developed sufficiently to gain a solid body rotational component.


title: Phantom matter: a challenging solution to the cosmological tensions

abstract: The idea of composite dark energy (DE) is quite natural since on general grounds we expect that the vacuum energy (associated to the cosmological term $\Lambda$) may appear in combination with other effective forms of DE, denoted $X$. This was indeed the old proposal from 2006 (cf. Ref. [42]), called the `$\Lambda$XCDM model'. In the current work, we deal with a simplified version of this model and exploit the possibility that $X$ behaves as `phantom matter' (PM), which appears in stringy versions of the running vacuum model (RVM). Unlike phantom DE, it satisfies the strong energy condition like usual matter, hence bringing to bear positive pressure at the expense of negative energy. Bubbles of PM may appear in the manner of a transitory `phantom vacuum' tunneled into the late universe before it heads towards a new de Sitter era, thereby offering a crop field for the growing of structures earlier than expected. Using SNIa, cosmic chronometers, transversal BAO, LSS data and the full CMB likelihood from Planck 2018, we find that the tensions virtually disappear in this stringy RVM scenario characterized by axionic dark matter. The value of $H_0$ emerging from our analysis proves compatible with SH0ES to within less than $0.25\sigma$ and the LSS growth tension is nonexistent. The statistical information criteria point to very strong evidence in favor of the PM solution. Finally, our approach favors quintessence-like behavior of the DE below $z\simeq 1.5$ at $\gtrsim 3\sigma$ CL, which is compatible with the recent DESI measurements.


title: Quantum Benchmarking via Random Dynamical Quantum Maps

abstract: We present a benchmarking protocol for universal quantum computers, achieved through the simulation of random dynamical quantum maps. This protocol provides a holistic assessment of system-wide error rates, encapsulating both gate inaccuracies and the errors associated with mid-circuit qubit measurements and resets. By employing random quantum circuits and segmenting mid-circuit qubit measurement and reset in a repeated fashion, we steer the system of qubits to an ensemble of steady-states. These steady-states are described by random Wishart matrices, and align with the steady-state characteristics previously identified in random Lindbladian dynamics, including the universality property. The protocol assesses the resulting ensemble probability distribution measured in the computational basis, effectively avoiding a tomographic reconstruction. Our various numerical simulations demonstrate the relationship between the final distribution and different error sources. Additionally, we implement the protocol on state-of-the-art transmon qubits provided by IBM Quantum, drawing comparisons between empirical results, theoretical expectations, and simulations derived from a fitted noise model of the device.


title: Cyclic measurements and simplified quantum state tomography

abstract: Tomographic reconstruction of quantum states plays a fundamental role in benchmarking quantum systems and retrieving information from quantum computers. Among the informationally complete sets of quantum measurements the tight ones provide a linear reconstruction formula and minimize the propagation of statistical errors. However, implementing tight measurements in the lab is challenging due to the high number of required measurement projections, involving a series of experimental setup preparations. In this work, we introduce the notion of cyclic tight measurements, that allow us to perform full quantum state tomography while considering only repeated application of a single unitary-based quantum device during the measurement stage process. This type of measurements significantly simplifies the complexity of the experimental setup required to retrieve the quantum state of a physical system. Additionally, we design feasible setup preparation procedure that produce well-approximated cyclic tight measurements, in every finite dimension.