title: Single-Exponential FPT Algorithms for Enumerating Secluded $\mathcal{F}$-Free Subgraphs and Deleting to Scattered Graph Classes

abstract: The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$. In this terminology, the bound on important separators says that there are at most $4^k$ maximal $k$-secluded connected vertex sets $C$ containing $S$ but disjoint from $T$. We generalize this statement significantly: even when we demand that $G[C]$ avoids a finite set $\mathcal{F}$ of forbidden induced subgraphs, the number of such maximal subgraphs is $2^{O(k)}$ and they can be enumerated efficiently. This allows us to make significant improvements for two problems from the literature. Our first application concerns the 'Connected $k$-Secluded $\mathcal{F}$-free subgraph' problem, where $\mathcal{F}$ is a finite set of forbidden induced subgraphs. Given a graph in which each vertex has a positive integer weight, the problem asks to find a maximum-weight connected $k$-secluded vertex set $C \subseteq V(G)$ such that $G[C]$ does not contain an induced subgraph isomorphic to any $F \in \mathcal{F}$. The parameterization by $k$ is known to be solvable in triple-exponential time via the technique of recursive understanding, which we improve to single-exponential. Our second application concerns the deletion problem to scattered graph classes. Here, the task is to find a vertex set of size at most $k$ whose removal yields a graph whose each connected component belongs to one of the prescribed graph classes $\Pi_1, \ldots, \Pi_d$. We obtain a single-exponential algorithm whenever each class $\Pi_i$ is characterized by a finite number of forbidden induced subgraphs. This generalizes and improves upon earlier results in the literature.


title: Generalized van der Waerden Game on an Infinite Board

abstract: Consider the following Maker-Breaker game. Fix a finite subset $S\subset\mathbb{N}$ of the naturals. The players Maker and Breaker take turns choosing previously unclaimed natural numbers. Maker wins by eventually building a copy $aS+b$ of $S$, where $a\in\mathbb{N}\setminus\{0\}$ and $b\in\mathbb{Z}$. This is a generalization of a game analyzed by Beck. We show that Maker can win in $|S|$ moves if $|S|\leq 3$. When $|S|=4$, we show that Maker can always win in $5$ or less moves, and describe all $S$ such that Maker can win in $4$ moves. If $|S|\geq 5$, Maker has no winning strategy in $|S|$ moves.


title: Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery using Voice Recognition

abstract: Human-robot collaboration has benefited users with higher efficiency towards interactive tasks. Nevertheless, most collaborative schemes rely on complicated human-machine interfaces, which might lack the requisite intuitiveness compared with natural limb control. We also expect to understand human intent with low training data requirements. In response to these challenges, this paper introduces an innovative human-robot collaborative framework that seamlessly integrates hand gesture and dynamic movement recognition, voice recognition, and a switchable control adaptation strategy. These modules provide a user-friendly approach that enables the robot to deliver the tools as per user need, especially when the user is working with both hands. Therefore, users can focus on their task execution without additional training in the use of human-machine interfaces, while the robot interprets their intuitive gestures. The proposed multimodal interaction framework is executed in the UR5e robot platform equipped with a RealSense D435i camera, and the effectiveness is assessed through a soldering circuit board task. The experiment results have demonstrated superior performance in hand gesture recognition, where the static hand gesture recognition module achieves an accuracy of 94.3\%, while the dynamic motion recognition module reaches 97.6\% accuracy. Compared with human solo manipulation, the proposed approach facilitates higher efficiency tool delivery, without significantly distracting from human intents.


title: Orientational dynamics in supercooled glycerol computed from MD simulations: self and cross contributions

abstract: The orientational dynamics of supercooled glycerol using molecular dynamics simulations for temperatures ranging from 323 K to 253 K, is probed through correlation functions of first and second ranks of Legendre polynomials, pertaining respectively to dielectric spectroscopy (DS) and depolarized dynamic light scattering (DDLS). The self, cross, and total correlation functions are compared with relevant experimental data. The computations reveal the low sensitivity of DDLS to cross-correlations, in agreement with what is found in experimental work, and strengthen the idea of directly comparing DS and DDLS data to evaluate the effect of cross-correlations in polar liquids. The analysis of the net static cross-correlations and their spatial decomposition shows that, although cross-correlations extend over nanometric distances, their net magnitude originates, in the case of glycerol, from the first shell of neighbouring molecules. Accessing the angular dependence of the static correlation allows us to get a microscopic understanding of why the rank-1 correlation function is more sensitive to cross-correlation than its rank-2 counterpart.


title: Formation of quiescent big bang singularities

abstract: Hawking's singularity theorem says that cosmological solutions arising from initial data with positive mean curvature have a past singularity. However, the nature of the singularity remains unclear. We therefore ask: If the initial hypersurface has sufficiently large mean curvature, does the curvature necessarily blow up towards the singularity? In case the eigenvalues of the expansion-normalized Weingarten map are everywhere distinct and satisfy a certain algebraic condition (which in 3+1 dimensions is equivalent to them being positive), we prove that this is the case in the CMC Einstein-non-linear scalar field setting. More specifically, we associate a set of geometric expansion-normalized quantities to any initial data set with positive mean curvature. These quantities are expected to converge, in the quiescent setting, in the direction of crushing big bang singularities. Our main result says that if the mean curvature is large enough, relative to an appropriate Sobolev norm of these geometric quantities, and if the algebraic condition is satisfied, then a quiescent (as opposed to oscillatory) big bang singularity with curvature blow-up forms. This provides a stable regime of big bang formation without requiring proximity to any particular class of background solutions. An important recent result by Fournodavlos, Rodnianski and Speck demonstrates stable big bang formation for all the spatially flat and spatially homogeneous solutions to the Einstein-scalar field equations satisfying the algebraic condition. Here we obtain analogous stability results for any solution inducing data at the singularity, in the sense introduced by the third author, in particular generalizing the aforementioned result. Moreover, we are able to prove both future and past global non-linear stability of a large class of spatially locally homogeneous solutions.


title: Mesoscale modeling of deformations and defects in crystalline sheets

abstract: We present a mesoscale description of deformations and defects in thin, flexible sheets with crystalline order, tackling the interplay between in-plane elasticity, out-of-plane deformation, and dislocation nucleation and motion. Our approach is based on the Phase-Field Crystal (PFC) model, which describes the microscopic atomic density in crystals at diffusive timescales, naturally encoding elasticity and plasticity effects. In its amplitude expansion (APFC), a coarse-grained description of the mechanical properties of crystals is achieved. We introduce surface PFC and surface APFC models in a convenient height-function formulation encoding deformation in the normal direction. This framework is proven consistent with classical aspects of strain-induced buckling, defect nucleation on deformed surfaces, and out-of-plane relaxation near dislocations. In particular, we benchmark and discuss the results of numerical simulations by looking at the continuum limit for buckling under uniaxial compression and at evidence from microscopic models for deformation at defects and defect arrangements, demonstrating the scale-bridging capabilities of the proposed framework. Results concerning the interplay between lattice distortion at dislocations and out-of-plane deformation are also illustrated by looking at the annihilation of dislocation dipoles and systems hosting many dislocations. With the novel formulation proposed here, and its assessment with established approaches, we envision applications to multiscale investigations of crystalline order on deformable surfaces.


title: Weyl conformal geometry vs Weyl anomaly

abstract: Weyl conformal geometry is a gauge theory of scale invariance that naturally brings together the Standard Model (SM) and Einstein gravity. The SM embedding in this geometry is possible without new degrees of freedom beyond SM and Weyl geometry, while Einstein gravity is generated by the broken phase of this symmetry. This follows a Stueckelberg breaking mechanism in which the Weyl gauge boson becomes massive and decouples, as discussed in the past (arXiv:1812.08613, 1904.06596, 2104.15118). However, Weyl anomaly could break explicitly this gauge symmetry, hence we study it in Weyl geometry. We first note that in Weyl geometry {\it metricity} can be restored with respect to a new differential operator ($\hat \nabla$) that also enforces a Weyl-covariant formulation. This leads to a metric-like Weyl gauge invariant formalism that enables one to do quantum calculations directly in Weyl geometry, rather than use a Riemannian (metric) geometry picture. The result is the Weyl-covariance in $d$ dimensions of all geometric operators ($\hat R$, etc) {\it and} of their derivatives ($\hat\nabla_\mu\hat R$, etc), including the Euler-Gauss-Bonnet term. A natural, Weyl-invariant dimensional regularisation of quantum corrections exists and Weyl gauge symmetry is then maintained and manifest at the quantum level. This is related to a non-trivial current of this symmetry, the divergence of which cancels the trace of the energy-momentum tensor. The "usual" Weyl anomaly and Riemannian geometry are recovered in the (spontaneously) broken phase. The relation to holographic Weyl anomaly is discussed.


title: Learning and DiSentangling Patient Static Information from Time-series Electronic HEalth Record (STEER)

abstract: Recent work in machine learning for healthcare has raised concerns about patient privacy and algorithmic fairness. For example, previous work has shown that patient self-reported race can be predicted from medical data that does not explicitly contain racial information. However, the extent of data identification is unknown, and we lack ways to develop models whose outcomes are minimally affected by such information. Here we systematically investigated the ability of time-series electronic health record data to predict patient static information. We found that not only the raw time-series data, but also learned representations from machine learning models, can be trained to predict a variety of static information with area under the receiver operating characteristic curve as high as 0.851 for biological sex, 0.869 for binarized age and 0.810 for self-reported race. Such high predictive performance can be extended to a wide range of comorbidity factors and exists even when the model was trained for different tasks, using different cohorts, using different model architectures and databases. Given the privacy and fairness concerns these findings pose, we develop a variational autoencoder-based approach that learns a structured latent space to disentangle patient-sensitive attributes from time-series data. Our work thoroughly investigates the ability of machine learning models to encode patient static information from time-series electronic health records and introduces a general approach to protect patient-sensitive attribute information for downstream tasks.


title: Cooperative Spin Amplification

abstract: Quantum amplification is recognized as a key resource for precision measurements. However, most conventional paradigms employ an ensemble of independent particles that usually limit the performance of quantum amplification in gain, spectral linewidth, etc. Here we demonstrate a new signal amplification using cooperative 129Xe nuclear spins embedded within a feedback circuit, where the noble-gas spin coherence time is enhanced by at least one order of magnitude. Using such a technique, magnetic field can be substantially pre-enhanced by more than three orders and is in situ readout with an embedded 87Rb magnetometer. We realize an ultrahigh magnetic sensitivity of 4.0 fT/Hz$^{1/2}$ that surpasses the photon-shot noise and even below the spin-projection noise of the embedded atomic magnetometer, allowing for exciting applications including searches for dark matter with sensitivity well beyond supernova constraints. Our findings extend the physics of quantum amplification to cooperative spin systems and can be generalized to a wide variety of existing sensors, enabling a new class of cooperative quantum sensors.


title: Performance update of an event-type based analysis for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) will be the next-generation observatory in the field of very-high-energy (20 GeV to 300 TeV) gamma-ray astroparticle physics. The traditional approach to data analysis in this field is to apply quality cuts, optimized using Monte Carlo simulations, on the data acquired to maximize sensitivity. Subsequent steps of the analysis typically use the surviving events to calculate one set of instrument response functions (IRFs) to physically interpret the results. However, an alternative approach is the use of event types, as implemented in experiments such as the Fermi-LAT. This approach divides events into sub-samples based on their reconstruction quality, and a set of IRFs is calculated for each sub-sample. The sub-samples are then combined in a joint analysis, treating them as independent observations. In previous works we demonstrated that event types, classified using Machine Learning methods according to their expected angular reconstruction quality, have the potential to significantly improve the CTA angular and energy resolution of a point-like source analysis. Now, we validated the production of event-type wise full-enclosure IRFs, ready to be used with science tools (such as Gammapy and ctools). We will report on the impact of using such an event-type classification on CTA high-level performance, compared to the traditional procedure.


title: Harnessing quantum emitter rings for efficient energy transport and trapping

abstract: Efficient transport and harvesting of excitation energy under low light conditions is an important process in nature and quantum technologies alike. Here we formulate a quantum optics perspective to excitation energy transport in configurations of two-level quantum emitters with a particular emphasis on efficiency and robustness against disorder. We study a periodic geometry of emitter rings with subwavelength spacing, where collective electronic states emerge due to near-field dipole-dipole interactions. The system gives rise to collective subradiant states that are particularly suited to excitation transport and are protected from energy disorder and radiative decoherence. Comparing ring geometries with other configurations shows that that the former are more efficient in absorbing, transporting, and trapping incident light. Because our findings are agnostic as to the specific choice of quantum emitters, they indicate general design principles for quantum technologies with superior photon transport properties and may elucidate potential mechanisms resulting in the highly efficient energy transport efficiencies in natural light-harvesting systems.


title: A Tutorial on a Lyapunov-Based Approach to the Analysis of Iterative Optimization Algorithms

abstract: Iterative gradient-based optimization algorithms are widely used to solve difficult or large-scale optimization problems. There are many algorithms to choose from, such as gradient descent and its accelerated variants such as Polyak's Heavy Ball method or Nesterov's Fast Gradient method. It has long been observed that iterative algorithms can be viewed as dynamical systems, and more recently, as robust controllers. Here, the "uncertainty" in the dynamics is the gradient of the function being optimized. Therefore, worst-case or average-case performance can be analyzed using tools from robust control theory, such as integral quadratic constraints (IQCs). In this tutorial paper, we show how such an analysis can be carried out using an alternative Lyapunov-based approach. This approach recovers the same performance bounds as with IQCs, but with the added benefit of constructing a Lyapunov function.


title: Preconditioned Federated Learning

abstract: Federated Learning (FL) is a distributed machine learning approach that enables model training in communication efficient and privacy-preserving manner. The standard optimization method in FL is Federated Averaging (FedAvg), which performs multiple local SGD steps between communication rounds. FedAvg has been considered to lack algorithm adaptivity compared to modern first-order adaptive optimizations. In this paper, we propose new communication-efficient FL algortithms based on two adaptive frameworks: local adaptivity (PreFed) and server-side adaptivity (PreFedOp). Proposed methods adopt adaptivity by using a novel covariance matrix preconditioner. Theoretically, we provide convergence guarantees for our algorithms. The empirical experiments show our methods achieve state-of-the-art performances on both i.i.d. and non-i.i.d. settings.


title: Incremental Blockwise Beam Search for Simultaneous Speech Translation with Controllable Quality-Latency Tradeoff

abstract: Blockwise self-attentional encoder models have recently emerged as one promising end-to-end approach to simultaneous speech translation. These models employ a blockwise beam search with hypothesis reliability scoring to determine when to wait for more input speech before translating further. However, this method maintains multiple hypotheses until the entire speech input is consumed -- this scheme cannot directly show a single \textit{incremental} translation to users. Further, this method lacks mechanisms for \textit{controlling} the quality vs. latency tradeoff. We propose a modified incremental blockwise beam search incorporating local agreement or hold-$n$ policies for quality-latency control. We apply our framework to models trained for online or offline translation and demonstrate that both types can be effectively used in online mode. Experimental results on MuST-C show 0.6-3.6 BLEU improvement without changing latency or 0.8-1.4 s latency improvement without changing quality.


title: Reversible primes

abstract: For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argument, we obtain an upper bound of the expected order of magnitude for the number of $p \in \mathcal{B}_n$ such that $p$ and $\overleftarrow{p}$ are prime. We also prove that for sufficiently large $n$, $$ \left|\{a \in \mathcal{B}_n:~ \max \{\Omega (a), \Omega (\overleftarrow{a})\}\le 8 \}\right| \ge c\, \frac{2^n}{n^2}, $$ where $\Omega(n)$ denotes the number of prime factors counted with multiplicity of $n$ and $c > 0$ is an absolute constant. Finally, we provide an asymptotic formula for the number of $n$-bit integers $a$ such that $a$ and $\overleftarrow{a}$ are both squarefree. Our method leads us to provide various estimates for the exponential sum $$ \sum_{a \in \mathcal{B}_n} \exp\left(2\pi i (\alpha a + \vartheta \overleftarrow{a})\right) \quad(\alpha,\vartheta \in\mathbb{R}). $$


title: Studying Lobby Influence in the European Parliament

abstract: We present a method based on natural language processing (NLP), for studying the influence of interest groups (lobbies) in the law-making process in the European Parliament (EP). We collect and analyze novel datasets of lobbies' position papers and speeches made by members of the EP (MEPs). By comparing these texts on the basis of semantic similarity and entailment, we are able to discover interpretable links between MEPs and lobbies. In the absence of a ground-truth dataset of such links, we perform an indirect validation by comparing the discovered links with a dataset, which we curate, of retweet links between MEPs and lobbies, and with the publicly disclosed meetings of MEPs. Our best method achieves an AUC score of 0.77 and performs significantly better than several baselines. Moreover, an aggregate analysis of the discovered links, between groups of related lobbies and political groups of MEPs, correspond to the expectations from the ideology of the groups (e.g., center-left groups are associated with social causes). We believe that this work, which encompasses the methodology, datasets, and results, is a step towards enhancing the transparency of the intricate decision-making processes within democratic institutions.


title: Discuss Before Moving: Visual Language Navigation via Multi-expert Discussions

abstract: Visual language navigation (VLN) is an embodied task demanding a wide range of skills encompassing understanding, perception, and planning. For such a multifaceted challenge, previous VLN methods totally rely on one model's own thinking to make predictions within one round. However, existing models, even the most advanced large language model GPT4, still struggle with dealing with multiple tasks by single-round self-thinking. In this work, drawing inspiration from the expert consultation meeting, we introduce a novel zero-shot VLN framework. Within this framework, large models possessing distinct abilities are served as domain experts. Our proposed navigation agent, namely DiscussNav, can actively discuss with these experts to collect essential information before moving at every step. These discussions cover critical navigation subtasks like instruction understanding, environment perception, and completion estimation. Through comprehensive experiments, we demonstrate that discussions with domain experts can effectively facilitate navigation by perceiving instruction-relevant information, correcting inadvertent errors, and sifting through in-consistent movement decisions. The performances on the representative VLN task R2R show that our method surpasses the leading zero-shot VLN model by a large margin on all metrics. Additionally, real-robot experiments display the obvious advantages of our method over single-round self-thinking.


title: Shadows of a generic class of spherically symmetric, static spacetimes

abstract: We explore the characteristics of shadows for a general class of spherically symmetric, static spacetimes, which may arise in general relativity or in modified theories of gravity. The chosen line element involves a sum (with constant but different coefficients) of integer powers of $\frac{1}{\text{r}}$ in $\text{g}_\text{tt}$ and $\text{g}_\text{rr}$, in the Schwarzschild gauge. We begin our discussion by motivating the line element through a study of the energy conditions (null and weak) and the extent to which they are satisfied/violated for diverse choices of the parameters appearing in the metric functions. Subsequently, we construct the circular shadows and analyse the dependence of the shadow radius on the metric parameters. We find that with specific choices of the metric parameters (within the ranges allowed by the energy conditions) one can, in principle, obtain values that conform with recent observations on shadows, as available in the literature. We also mention where such metrics may arise (i.e., in which theory of gravity and the physical scenario therein), thereby proposing that the observed shadows may be representative signatures of different theoretical contexts.


title: Long-Form End-to-End Speech Translation via Latent Alignment Segmentation

abstract: Current simultaneous speech translation models can process audio only up to a few seconds long. Contemporary datasets provide an oracle segmentation into sentences based on human-annotated transcripts and translations. However, the segmentation into sentences is not available in the real world. Current speech segmentation approaches either offer poor segmentation quality or have to trade latency for quality. In this paper, we propose a novel segmentation approach for a low-latency end-to-end speech translation. We leverage the existing speech translation encoder-decoder architecture with ST CTC and show that it can perform the segmentation task without supervision or additional parameters. To the best of our knowledge, our method is the first that allows an actual end-to-end simultaneous speech translation, as the same model is used for translation and segmentation at the same time. On a diverse set of language pairs and in- and out-of-domain data, we show that the proposed approach achieves state-of-the-art quality at no additional computational cost.


title: Safurai 001: New Qualitative Approach for Code LLM Evaluation

abstract: This paper presents Safurai-001, a new Large Language Model (LLM) with significant potential in the domain of coding assistance. Driven by recent advancements in coding LLMs, Safurai-001 competes in performance with the latest models like WizardCoder [Xu et al., 2023], PanguCoder [Shen et al., 2023] and Phi-1 [Gunasekar et al., 2023] but aims to deliver a more conversational interaction. By capitalizing on the progress in data engineering (including latest techniques of data transformation and prompt engineering) and instruction tuning, this new model promises to stand toe-to-toe with recent closed and open source developments. Recognizing the need for an efficacious evaluation metric for coding LLMs, this paper also introduces GPT4-based MultiParameters, an evaluation benchmark that harnesses varied parameters to present a comprehensive insight into the models functioning and performance. Our assessment shows that Safurai-001 can outperform GPT-3.5 by 1.58% and WizardCoder by 18.78% in the Code Readability parameter and more.


title: One, Two, Three ... An Explosive Outflow in IRAS 12326$-$6245 revealed by ALMA

abstract: In the last years there has been a substantial increase in the number of the reported massive and luminous star-forming regions with related explosive outflows thanks to the superb sensitivity and angular resolution provided by the new radio, infrared, and optical facilities. Here, we report one more explosive outflow related with the massive and bright star-forming region IRAS 12326$-$6245 using Band 6 sensitive and high angular resolution ($\sim$0.2$"$) Atacama Large Millimeter/Submillimeter Array (ALMA) observations. We find over 10 molecular and collimated well-defined streamers, with Hubble-Lemaitre like expansion motions, and pointing right to the center of a dusty and molecular shell (reported for the first time here) localized in the northern part of the UCHII region known as G301.1A. The estimated kinematic age, and energy for the explosion are $\sim$700 yrs, and 10$^{48}$ erg, respectively. Taking into account the recently reported explosive outflows together with IRAS 12326$-$6245, we estimate an event rate of once every 90 yr in our Galaxy, similar to the formation rate of massive stars.


title: Identifying Causal Effects in Information Provision Experiments

abstract: Information provision experiments are a popular way to study causal effects of beliefs on behavior. Researchers estimate these effects using TSLS. I show that existing TSLS specifications do not estimate the average partial effect; they have weights proportional to belief updating in the first-stage. If people whose decisions depend on their beliefs gather information before the experiment, the information treatment may shift beliefs more for people with weak belief effects. This attenuates TSLS estimates. I propose researchers use a local-least-squares (LLS) estimator that I show consistently estimates the average partial effect (APE) under Bayesian updating, and apply it to Settele (2022).


title: The achievement set of generalized multigeometric sequences

abstract: We study the topology of all possible subsums of the generalized multigeometric series $k_1f(x)+k_2f(x)+\dots+k_mf(x)+\dots + k_1f(x^n)+\dots+k_mf(x^n)+\dots,$ where $k_1, k_2, \dots, k_m$ are fixed positive real numbers and $f$ runs along a certain class of non-negative functions on the unit interval. We detect particular regions of this interval for which this achievement set is, respectively, a compact interval, a Cantor set and a Cantorval.


title: Level set-fitted polytopal meshes with application to structural topology optimization

abstract: We propose a method to modify a polygonal mesh in order to fit the zero-isoline of a level set function by extending a standard body-fitted strategy to a tessellation with arbitrarily-shaped elements. The novel level set-fitted approach, in combination with a Discontinuous Galerkin finite element approximation, provides an ideal setting to model physical problems characterized by embedded or evolving complex geometries, since it allows skipping any mesh post-processing in terms of grid quality. The proposed methodology is firstly assessed on the linear elasticity equation, by verifying the approximation capability of the level set-fitted approach when dealing with configurations with heterogeneous material properties. Successively, we combine the level set-fitted methodology with a minimum compliance topology optimization technique, in order to deliver optimized layouts exhibiting crisp boundaries and reliable mechanical performances. An extensive numerical test campaign confirms the effectiveness of the proposed method.


title: TOI-858 B b: A hot Jupiter on a polar orbit in a loose binary

abstract: We report the discovery of a hot Jupiter on a 3.28-day orbit around a 1.08 M$_{Sun}$ G0 star that is the secondary component in a loose binary system. Based on follow-up radial velocity observations of TOI-858 B with CORALIE on the Swiss 1.2 m telescope and CHIRON on the 1.5 m telescope at the Cerro Tololo Inter-American Observatory (CTIO), we measured the planet mass to be $1.10\pm 0.08$ M$_{J}$ . Two transits were further observed with CORALIE to determine the alignment of TOI-858 B b with respect to its host star. Analysis of the Rossiter-McLaughlin signal from the planet shows that the sky-projected obliquity is $\lambda = 99.3\pm 3.8$. Numerical simulations show that the neighbour star TOI-858 A is too distant to have trapped the planet in a Kozai-Lidov resonance, suggesting a different dynamical evolution or a primordial origin to explain this misalignment. The 1.15 Msun primary F9 star of the system (TYC 8501-01597-1, at $\rho$ ~11") was also observed with CORALIE in order to provide upper limits for the presence of a planetary companion orbiting that star.


title: On stability of metric spaces and Kalton's property $Q$

abstract: The first named author introduced the notion of upper stability for metric spaces as a relaxation of stability. The motivation was a search for a new invariant to distinguish the class of reflexive Banach spaces from stable metric spaces in the coarse and uniform category. In this paper we show that property $Q$ does in fact imply upper stability. We also provide a direct proof of the fact that reflexive spaces are upper stable by relating the latter notion to the asymptotic structure of Banach spaces.


title: Retrieving Supporting Evidence for Generative Question Answering

abstract: Current large language models (LLMs) can exhibit near-human levels of performance on many natural language-based tasks, including open-domain question answering. Unfortunately, at this time, they also convincingly hallucinate incorrect answers, so that responses to questions must be verified against external sources before they can be accepted at face value. In this paper, we report two simple experiments to automatically validate generated answers against a corpus. We base our experiments on questions and passages from the MS MARCO (V1) test collection, and a retrieval pipeline consisting of sparse retrieval, dense retrieval and neural rerankers. In the first experiment, we validate the generated answer in its entirety. After presenting a question to an LLM and receiving a generated answer, we query the corpus with the combination of the question + generated answer. We then present the LLM with the combination of the question + generated answer + retrieved answer, prompting it to indicate if the generated answer can be supported by the retrieved answer. In the second experiment, we consider the generated answer at a more granular level, prompting the LLM to extract a list of factual statements from the answer and verifying each statement separately. We query the corpus with each factual statement and then present the LLM with the statement and the corresponding retrieved evidence. The LLM is prompted to indicate if the statement can be supported and make necessary edits using the retrieved material. With an accuracy of over 80%, we find that an LLM is capable of verifying its generated answer when a corpus of supporting material is provided. However, manual assessment of a random sample of questions reveals that incorrect generated answers are missed by this verification process. While this verification process can reduce hallucinations, it can not entirely eliminate them.


title: A Tutorial on the Structure of Distributed Optimization Algorithms

abstract: We consider the distributed optimization problem for a multi-agent system. Here, multiple agents cooperatively optimize an objective by sharing information through a communication network and performing computations. In this tutorial, we provide an overview of the problem, describe the structure of its algorithms, and use simulations to illustrate some algorithmic properties based on this structure.


title: Is Ethereum Proof of Stake Sustainable? $-$ Considering from the Perspective of Competition Among Smart Contract Platforms $-$

abstract: Since the Merge update upon which Ethereum transitioned to Proof of Stake, it has been touted that it resulted in lower power consumption and increased security. However, even if that is the case, can this state be sustained? In this paper, we focus on the potential impact of competition with other smart contract platforms on the price of Ethereum's native currency, Ether (ETH), thereby raising questions about the safety and sustainability purportedly brought about by the design of Proof of Stake.


title: On Localization of the Fractional Discrete Nonlinear Schr\"odinger Equation

abstract: The continuum and discrete fractional nonlinear Schr\"odinger equations (fDNLS) represent new models in nonlinear wave phenomena with unique properties. In this paper, we focus on various aspects of localization associated to fDNLS featuring modulational instability, asymptotic construction of onsite and offsite solutions, and the role of Peierls-Nabarro barrier. In particular, the localized onsite and offsite solutions are constructed using the map approach. Under the long-range interaction characterized by the L\'{e}vy index $\alpha>0$, the phase space of solutions is infinite-dimensional unlike that of the well-studied nearest-neighbor interaction. We show that an orbit corresponding to this spatial dynamics translates to an approximate solution that decays algebraically. We also show as $\alpha \rightarrow \infty$, the discrepancy between local and nonlocal dynamics becomes negligible on a compact time interval, but persists on a global time scale. Moreover it is shown that data of small mass scatter to free solutions under a sufficiently high nonlinearity, which proves the existence of strictly positive excitation threshold for ground state solutions of fDNLS.


title: Convergence rate of numerical scheme for SDEs with a distributional drift in Besov space

abstract: This paper is concerned with numerical solutions of one-dimensional SDEs with the drift being a generalised function, in particular belonging to the Holder-Zygmund space $C^{-\gamma}$ of negative order $-\gamma<0$ in the spacial variable. We design an Euler-Maruyama numerical scheme and prove its convergence, obtaining an upper bound for the strong $L^1$ convergence rate. We finally implement the scheme and discuss the results obtained.


title: Explicit compactifications of moduli spaces of secondary Burniat surfaces

abstract: We describe explicitly the geometric compactifications, obtained by adding slc surfaces $X$ with ample canonical class, of moduli spaces of Burniat surfaces of degrees $K^2=5$, $4$ and $3$.


title: Axion Curvaton Model for the Gravitational Waves Observed by Pulsar Timing Arrays

abstract: The stochastic gravitational wave background (SGWB) recently detected by the PTA collaborations could be the gravitational waves (GWs) induced by curvature perturbations. However, primordial black holes (PBHs) might be overproduced if the SGWB is explained by the GWs induced by the curvature perturbations that follow the Gaussian distribution. This motivates models associated with the non-Gaussianity of the curvature perturbations that suppress the PBH production rate. In this work, we show that the axion curvaton model can produce the curvature perturbations that induce GWs for the detected SGWB while preventing the PBH overproduction with the non-Gaussianity.


title: Biological insights from RIL-seq in bacteria

abstract: Bacteria reside in constantly changing environments and require rapid and precise adjustments of gene expression to ensure survival. Small regulatory RNAs (sRNAs) are a crucial element that bacteria utilize to achieve this. sRNAs are short RNA molecules that modulate gene expression usually through base-pairing interactions with target RNAs, primarily mRNAs. These interactions can lead to either negative outcomes such as mRNA degradation or translational repression or positive outcomes such as mRNA stabilization or translation enhancement. In recent years, high-throughput approaches such as RIL-seq (RNA interaction by ligation and sequencing) revolutionized the sRNA field by enabling the identification of sRNA targets on a global scale, unveiling intricate sRNA-RNA networks. In this review, we discuss the insights gained from investigating sRNA-RNA networks in well-studied bacterial species as well as in under-studied bacterial species. Having a complete understanding of sRNA-mediated regulation is critical for the development of new strategies for controlling bacterial growth and combating bacterial infections.


title: Transformers versus LSTMs for electronic trading

abstract: With the rapid development of artificial intelligence, long short term memory (LSTM), one kind of recurrent neural network (RNN), has been widely applied in time series prediction. Like RNN, Transformer is designed to handle the sequential data. As Transformer achieved great success in Natural Language Processing (NLP), researchers got interested in Transformer's performance on time series prediction, and plenty of Transformer-based solutions on long time series forecasting have come out recently. However, when it comes to financial time series prediction, LSTM is still a dominant architecture. Therefore, the question this study wants to answer is: whether the Transformer-based model can be applied in financial time series prediction and beat LSTM. To answer this question, various LSTM-based and Transformer-based models are compared on multiple financial prediction tasks based on high-frequency limit order book data. A new LSTM-based model called DLSTM is built and new architecture for the Transformer-based model is designed to adapt for financial prediction. The experiment result reflects that the Transformer-based model only has the limited advantage in absolute price sequence prediction. The LSTM-based models show better and more robust performance on difference sequence prediction, such as price difference and price movement.


title: No need for an oracle: the nonparametric maximum likelihood decision in the compound decision problem is minimax

abstract: We discuss the asymptotics of the nonparametric maximum likelihood estimator (NPMLE) in the normal mixture model. We then prove the convergence rate of the NPMLE decision in the empirical Bayes problem with normal observations. We point to (and heavily use) the connection between the NPMLE decision and Stein unbiased risk estimator (\sure). Next, we prove that the same solution is optimal in the compound decision problem where the unobserved parameters are not assumed to be random. Similar results are usually claimed using an oracle-based argument. However, we contend that the standard oracle argument is not valid. It was only partially proved that it can be fixed, and the existing proofs of these partial results are tedious. Our approach, on the other hand, is straightforward and short.


title: Spatio-Temporal Weighted Regression Model with Fractional-Colored Noise: Parameter estimation and consistency

abstract: Geographical and Temporal Weighted Regression (GTWR) model is an important local technique for exploring spatial heterogeneity in data relationships, as well as temporal dependence due to its high fitting capacity when it comes to real data. In this article, we consider a GTWR model driven by a spatio-temporal noise, colored in space and fractional in time. Concerning the covariates, we consider that they are correlated, taking into account two interaction types between covariates, weak and strong interaction. Under these assumptions, Weighted Least Squares Estimator (WLS) is obtained, as well as its rate of convergence. In order to evidence the good performance of the estimator studied, it is provided a simulation study of four different scenarios, where it is observed that the residuals oscillate with small variation around zero. The STARMA package of the R software allows obtaining a variant of the $R^{2}$ coefficient, with values very close to 1, which means that most of the variability is explained by the model.


title: Retrieving non-linear features from noisy quantum states

abstract: Accurately estimating high-order moments of quantum states is an elementary precondition for many crucial tasks in quantum computing, such as entanglement spectroscopy, entropy estimation, spectrum estimation, and predicting non-linear features from quantum states. But in reality, inevitable quantum noise prevents us from accessing the desired value. In this paper, we address this issue by systematically analyzing the feasibility and efficiency of extracting high-order moments from noisy states. We first show that there exists a quantum protocol capable of accomplishing this task if and only if the underlying noise channel is invertible. We then establish a method for deriving protocols that attain optimal sample complexity using quantum operations and classical post-processing only. Our protocols, in contrast to conventional ones, incur lower overheads and avoid sampling different quantum operations due to a novel technique called observable shift, making the protocols strong candidates for practical usage on current quantum devices. The proposed method also indicates the power of entangled protocols in retrieving high-order information, whereas in the existing methods, entanglement does not help. We further construct the protocol for large quantum systems to retrieve the depolarizing channels, making the proposed method scalable. Our work contributes to a deeper understanding of how quantum noise could affect high-order information extraction and provides guidance on how to tackle it.


title: A representation-learning approach for insurance pricing with images

abstract: Unstructured data are a promising new source of information that insurance companies may use to understand their risk portfolio better and improve the customer experience. However, these novel data sources are difficult to incorporate into existing ratemaking frameworks due to the size and format of the unstructured data. In this paper, we propose a framework to use street view imagery within a generalized linear model. To do so, we use representation learning to extract an embedding vector containing useful information from the image. This embedding is dense and low-dimensional, making it appropriate to use within existing ratemaking models. We find that there is useful information included in street view imagery to predict the frequency of claims for certain types of perils. This model can be used as-is in a ratemaking framework but also opens the door to future empirical research on attempting to extract the causal effect from images that lead to increased or decreased predicted claim frequencies. Throughout, we discuss the practical difficulties (technical and social) of using this type of data for insurance pricing.


title: Localisation in Equivariant Cohomology

abstract: Equivariant cohomology, a captivating fusion of symmetry and abstract mathematics, illuminates the profound role of group actions in shaping geometric structures. At its core lies the Atiyah-Bott Localization Theorem, a mathematical jewel unveiling the art of localization. This theorem simplifies intricate integrals on symplectic manifolds with Lie group actions, revealing the hidden elegance within complexity. Our paper embarks on a journey to explore the theoretical foundations and practical applications of equivariant cohomology, demonstrating its transformative power in diverse fields, from theoretical physics to geometry. As we delve into the symphonic interplay between geometry and symmetry, readers are invited to witness the beauty of mathematical patterns emerging from abstraction. This mathematical voyage unveils the harmonious marriage of symmetry, topology, and elegance in the captivating realm of equivariant cohomology.

categories: math.SG math-ph math.AG math.AT math.DG math.MP


title: Live & Local Schema Change: Challenge Problems

abstract: Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those expectations are implicit in the behavior of the code. Schema changes during live programming can create a mismatch between the code and data in the running environment. Similarly, schema changes in local-first programming can create mismatches between data in different replicas, and between data in a replica and the code colocated with it. In all of these situations the problem of schema change is to migrate or translate existing data in coordination with changes to the code. This paper contributes a set of concrete scenarios involving schema change that are offered as challenge problems to the live programming and local-first communities. We hope that these problems will spur progress by providing concrete objectives and a basis for comparing alternative solutions.


title: On the topology of higher-order age-dependent random connection models

abstract: In this paper, we investigate the potential of the age-dependent random connection model (ADRCM) with the aim of representing higher-order networks. A key contribution of our work are probabilistic limit results in large domains. More precisely, we first prove that the higher-order degree distributions have a power-law tail. Second, we establish central limit theorems for the edge counts and Betti numbers of the ADRCM in the regime where the degree distribution is light tailed. Moreover, in the heavy-tailed regime, we prove that asymptotically, the recentered and suitably rescaled edge counts converge to a stable distribution. We also propose a modification of the ADRCM in the form of a thinning procedure that enables independent adjustment of the power-law exponents for vertex and edge degrees. To apply the derived theorems to finite networks, we conduct a simulation study illustrating that the power-law degree distribution exponents approach their theoretical limits for large networks. It also indicates that in the heavy-tailed regime, the limit distribution of the recentered and suitably rescaled Betti numbers is stable. We demonstrate the practical application of the theoretical results to real-world datasets by analyzing scientific collaboration networks based on data from arXiv.


title: Indirect Swarm Control: Characterization and Analysis of Emergent Swarm Behaviors

abstract: Emergence and emergent behaviors are often defined as cases where changes in local interactions between agents at a lower level effectively changes what occurs in the higher level of the system (i.e., the whole swarm) and its properties. However, the manner in which these collective emergent behaviors self-organize is less understood. The focus of this paper is in presenting a new framework for characterizing the conditions that lead to different macrostates and how to predict/analyze their macroscopic properties, allowing us to indirectly engineer the same behaviors from the bottom up by tuning their environmental conditions rather than local interaction rules. We then apply this framework to a simple system of binary sensing and acting agents as an example to see if a re-framing of this swarms problem can help us push the state of the art forward. By first creating some working definitions of macrostates in a particular swarm system, we show how agent-based modeling may be combined with control theory to enable a generalized understanding of controllable emergent processes without needing to simulate everything. Whereas phase diagrams can generally only be created through Monte Carlo simulations or sweeping through ranges of parameters in a simulator, we develop closed-form functions that can immediately produce them revealing an infinite set of swarm parameter combinations that can lead to a specifically chosen self-organized behavior. While the exact methods are still under development, we believe simply laying out a potential path towards solutions that have evaded our traditional methods using a novel method is worth considering. Our results are characterized through both simulations and real experiments on ground robots.


title: Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?

abstract: Given any $\lambda\leq\kappa$, we construct a symmetric extension in which there is a set $X$ such that $\aleph(X)=\lambda$ and $\aleph^*(X)=\kappa$. Consequently, we show that $\mathsf{ZF}+$"For all pairs of infinite cardinals $\lambda\leq\kappa$ there is a set $X$ such that $\aleph(X)=\lambda\leq\kappa=\aleph^*(X)$" is consistent.


title: Equilibrium measures for two-sided shift spaces via dimension theory

abstract: Given a two-sided shift space on a finite alphabet and a continuous potential function, we give conditions under which an equilibrium measure can be described using a construction analogous to Hausdorff measure that goes back to the work of Bowen. This construction was previously applied to smooth uniformly and partially hyperbolic systems by the first author, Pesin, and Zelerowicz. Our results here apply to all subshifts of finite type and H\"older continuous potentials, but extend beyond this setting, and we also apply them to shift spaces with synchronizing words.


title: Distributed Finite-Time Cooperative Localization for Three-Dimensional Sensor Networks

abstract: This paper addresses the distributed localization problem for a network of sensors placed in a three-dimensional space, in which sensors are able to perform range measurements, i.e., measure the relative distance between them, and exchange information on a network structure. First, we derive a necessary and sufficient condition for node localizability using barycentric coordinates. Then, building on this theoretical result, we design a distributed localizability verification algorithm, in which we propose and employ a novel distributed finite-time algorithm for sum consensus. Finally, we develop a distributed localization algorithm based on conjugate gradient method, and we derive a theoretical guarantee on its performance, which ensures finite-time convergence to the exact position for all localizable nodes. The efficiency of our algorithm compared to the existing ones from the state-of-the-art literature is further demonstrated through numerical simulations.


title: Creases and cusps in growing soft matter

abstract: The buckling of a soft elastic sample under growth or swelling has highlighted a new interest in materials science, morphogenesis, and biology or physiology. Indeed, the change of mass or volume is a common fact of any living species, and on a scale larger than the cell size, a macroscopic view can help to explain many features of common observation. Many morphologies of soft materials result from the accumulation of elastic compressive stress due to growth, and thus from the minimization of a nonlinear elastic energy. The similarity between growth and compression of a piece of rubber has revived the instability formalism of nonlinear elastic samples under compression, and in particular Biot's instability. Here we present a modern treatment of this instability in the light of complex analysis and demonstrate the richness of possible profiles that an interface can present under buckling, even if one restricts oneself to the two spatial dimensions. Special attention is given to wrinkles, folds and cusps, a surprising observation in swelling gels or clays. The standard techniques of complex analysis, nonlinear bifurcation theory and path-independent integrals are revisited to highlight the role of physical parameters at the origin of the observed patterns below and above the Biot threshold.


title: Enhancing motion trajectory segmentation of rigid bodies using a novel screw-based trajectory-shape representation

abstract: Trajectory segmentation refers to dividing a trajectory into meaningful consecutive sub-trajectories. This paper focuses on trajectory segmentation for 3D rigid-body motions. Most segmentation approaches in the literature represent the body's trajectory as a point trajectory, considering only its translation and neglecting its rotation. We propose a novel trajectory representation for rigid-body motions that incorporates both translation and rotation, and additionally exhibits several invariant properties. This representation consists of a geometric progress rate and a third-order trajectory-shape descriptor. Concepts from screw theory were used to make this representation time-invariant and also invariant to the choice of body reference point. This new representation is validated for a self-supervised segmentation approach, both in simulation and using real recordings of human-demonstrated pouring motions. The results show a more robust detection of consecutive submotions with distinct features and a more consistent segmentation compared to conventional representations. We believe that other existing segmentation methods may benefit from using this trajectory representation to improve their invariance.


title: EDMP: Ensemble-of-costs-guided Diffusion for Motion Planning

abstract: Classical motion planning for robotic manipulation includes a set of general algorithms that aim to minimize a scene-specific cost of executing a given plan. This approach offers remarkable adaptability, as they can be directly used off-the-shelf for any new scene without needing specific training datasets. However, without a prior understanding of what diverse valid trajectories are and without specially designed cost functions for a given scene, the overall solutions tend to have low success rates. While deep-learning-based algorithms tremendously improve success rates, they are much harder to adopt without specialized training datasets. We propose EDMP, an Ensemble-of-costs-guided Diffusion for Motion Planning that aims to combine the strengths of classical and deep-learning-based motion planning. Our diffusion-based network is trained on a set of diverse kinematically valid trajectories. Like classical planning, for any new scene at the time of inference, we compute scene-specific costs such as "collision cost" and guide the diffusion to generate valid trajectories that satisfy the scene-specific constraints. Further, instead of a single cost function that may be insufficient in capturing diversity across scenes, we use an ensemble of costs to guide the diffusion process, significantly improving the success rate compared to classical planners. EDMP performs comparably with SOTA deep-learning-based methods while retaining the generalization capabilities primarily associated with classical planners.


title: Stellar Populations in STARFORGE: The Origin and Evolution of Star Clusters and Associations

abstract: Most stars form in highly clustered environments within molecular clouds, but eventually disperse into the distributed stellar field population. Exactly how the stellar distribution evolves from the embedded stage into gas-free associations and (bound) clusters is poorly understood. We investigate the long-term evolution of stars formed in the STARFORGE simulation suite -- a set of radiation-magnetohydrodynamic simulations of star-forming turbulent clouds that include all key stellar feedback processes inherent to star formation. We use Nbody6++GPU to follow the evolution of the young stellar systems after gas removal. We use HDBSCAN to define stellar groups and analyze the stellar kinematics to identify the true bound star clusters. The conditions modeled by the simulations, i.e., global cloud surface densities below 0.15 g cm$^{-2}$,, star formation efficiencies below 15%, and gas expulsion timescales shorter than a free fall time, primarily produce expanding stellar associations and small clusters. The largest star clusters, which have $\sim$1000 bound members, form in the densest and lowest velocity dispersion clouds, representing $\sim$32 and 39% of the stars in the simulations, respectively. The cloud's early dynamical state plays a significant role in setting the classical star formation efficiency versus bound fraction relation. All stellar groups follow a narrow mass-velocity dispersion power law relation at 10 Myr with a power law index of 0.21. This correlation result in a distinct mass-size relationship for bound clusters. We also provide valuable constraints on the gas dispersal timescale during the star formation process and analyze the implications for the formation of bound systems.


title: Existence of a Competitive Equilibrium with Substitutes, with Applications to Matching and Discrete Choice Models

abstract: We propose new results for the existence and uniqueness of a general nonparametric and nonseparable competitive equilibrium with substitutes. These results ensure the invertibility of a general competitive system. The existing literature has focused on the uniqueness of a competitive equilibrium assuming that existence holds. We introduce three properties that our supply system must satisfy: weak substitutes, pivotal substitutes, and responsiveness. These properties are sufficient to ensure the existence of an equilibrium, thus providing the existence counterpart to Berry, Gandhi, and Haile (2013)'s uniqueness results. For two important classes of models, bipartite matching models with full assignment and discrete choice models, we show that both models can be reformulated as a competitive system such that our existence and uniqueness results can be readily applied. We also provide an algorithm to compute the unique competitive equilibrium. Furthermore, we argue that our results are particularly useful for studying imperfectly transferable utility matching models with full assignment and non-additive random utility models.


title: CNNs for JPEGs: A Study in Computational Cost

abstract: Convolutional neural networks (CNNs) have achieved astonishing advances over the past decade, defining state-of-the-art in several computer vision tasks. CNNs are capable of learning robust representations of the data directly from the RGB pixels. However, most image data are usually available in compressed format, from which the JPEG is the most widely used due to transmission and storage purposes demanding a preliminary decoding process that have a high computational load and memory usage. For this reason, deep learning methods capable of learning directly from the compressed domain have been gaining attention in recent years. Those methods usually extract a frequency domain representation of the image, like DCT, by a partial decoding, and then make adaptation to typical CNNs architectures to work with them. One limitation of these current works is that, in order to accommodate the frequency domain data, the modifications made to the original model increase significantly their amount of parameters and computational complexity. On one hand, the methods have faster preprocessing, since the cost of fully decoding the images is avoided, but on the other hand, the cost of passing the images though the model is increased, mitigating the possible upside of accelerating the method. In this paper, we propose a further study of the computational cost of deep models designed for the frequency domain, evaluating the cost of decoding and passing the images through the network. We also propose handcrafted and data-driven techniques for reducing the computational complexity and the number of parameters for these models in order to keep them similar to their RGB baselines, leading to efficient models with a better trade off between computational cost and accuracy.


title: Communities detection in complex network and multilayer network systems: A flow approach

abstract: A flow approach to community detection in complex network and multilayer network systems is proposed. Two methods have been developed to search for communities in a network system (NS). The first of them is based on the calculation of flow influence parameters of NS's subsystems, selected according to the principle of nesting hierarchy. The second method uses the concept of flow core of network system. Two methods are also proposed for community detection in multilayer network system (MLNS). The first of them is based on the concept of MLNS aggregate-network and subsequent allocation of its flow core. The second method uses the concept of flow core of the process of intersystem interactions in general. All developed methods are based on the use of flow criterion that the selected group of nodes really forms a community. The results of application of developed approaches are illustrated by examples for which known methods are ineffective.


title: Kosmos-2.5: A Multimodal Literate Model

abstract: We present Kosmos-2.5, a multimodal literate model for machine reading of text-intensive images. Pre-trained on large-scale text-intensive images, Kosmos-2.5 excels in two distinct yet cooperative transcription tasks: (1) generating spatially-aware text blocks, where each block of text is assigned its spatial coordinates within the image, and (2) producing structured text output that captures styles and structures into the markdown format. This unified multimodal literate capability is achieved through a shared Transformer architecture, task-specific prompts, and flexible text representations. We evaluate Kosmos-2.5 on end-to-end document-level text recognition and image-to-markdown text generation. Furthermore, the model can be readily adapted for any text-intensive image understanding task with different prompts through supervised fine-tuning, making it a general-purpose tool for real-world applications involving text-rich images. This work also paves the way for the future scaling of multimodal large language models.


title: Deep Networks as Denoising Algorithms: Sample-Efficient Learning of Diffusion Models in High-Dimensional Graphical Models

abstract: We investigate the approximation efficiency of score functions by deep neural networks in diffusion-based generative modeling. While existing approximation theories utilize the smoothness of score functions, they suffer from the curse of dimensionality for intrinsically high-dimensional data. This limitation is pronounced in graphical models such as Markov random fields, common for image distributions, where the approximation efficiency of score functions remains unestablished. To address this, we observe score functions can often be well-approximated in graphical models through variational inference denoising algorithms. Furthermore, these algorithms are amenable to efficient neural network representation. We demonstrate this in examples of graphical models, including Ising models, conditional Ising models, restricted Boltzmann machines, and sparse encoding models. Combined with off-the-shelf discretization error bounds for diffusion-based sampling, we provide an efficient sample complexity bound for diffusion-based generative modeling when the score function is learned by deep neural networks.


title: CalibFPA: A Focal Plane Array Imaging System based on Online Deep-Learning Calibration

abstract: Compressive focal plane arrays (FPA) enable cost-effective high-resolution (HR) imaging by acquisition of several multiplexed measurements on a low-resolution (LR) sensor. Multiplexed encoding of the visual scene is typically performed via electronically controllable spatial light modulators (SLM). An HR image is then reconstructed from the encoded measurements by solving an inverse problem that involves the forward model of the imaging system. To capture system non-idealities such as optical aberrations, a mainstream approach is to conduct an offline calibration scan to measure the system response for a point source at each spatial location on the imaging grid. However, it is challenging to run calibration scans when using structured SLMs as they cannot encode individual grid locations. In this study, we propose a novel compressive FPA system based on online deep-learning calibration of multiplexed LR measurements (CalibFPA). We introduce a piezo-stage that locomotes a pre-printed fixed coded aperture. A deep neural network is then leveraged to correct for the influences of system non-idealities in multiplexed measurements without the need for offline calibration scans. Finally, a deep plug-and-play algorithm is used to reconstruct images from corrected measurements. On simulated and experimental datasets, we demonstrate that CalibFPA outperforms state-of-the-art compressive FPA methods. We also report analyses to validate the design elements in CalibFPA and assess computational complexity.


title: Generalised Hyperbolic State-space Models for Inference in Dynamic Systems

abstract: In this work we study linear vector stochastic differential equation (SDE) models driven by the generalised hyperbolic (GH) L\'evy process for inference in continuous-time non-Gaussian filtering problems. The GH family of stochastic processes offers a flexible framework for modelling of non-Gaussian, heavy-tailed characteristics and includes the normal inverse-Gaussian, variance-gamma and Student-t processes as special cases. We present continuous-time simulation methods for the solution of vector SDE models driven by GH processes and novel inference methodologies using a variant of sequential Markov chain Monte Carlo (MCMC). As an example a particular formulation of Langevin dynamics is studied within this framework. The model is applied to both a synthetically generated data set and a real-world financial series to demonstrate its capabilities.


title: Stability Estimate for an Inverse Stochastic Parabolic Problem of Determining Unknown Time-varying Boundary

abstract: Stochastic parabolic equations are widely used to model many random phenomena in natural sciences, such as the temperature distribution in a noisy medium, the dynamics of a chemical reaction in a noisy environment, or the evolution of the density of bacteria population. In many cases, the equation may involve an unknown moving boundary which could represent a change of phase, a reaction front, or an unknown population. In this paper, we focus on an inverse problem where the goal is to determine an unknown moving boundary based on data observed in a specific interior subdomain for the stochastic parabolic equation and prove that the unknown boundary depends logarithmically on the interior measurement. This allows us, theoretically, to track and to monitor the behavior of unknown boundary from observation in an arbitrary interior domain. The stability estimate is based on a new Carleman estimate for stochastic parabolic equations. As a byproduct, we obtain a quantitative unique continuation property for stochastic parabolic equations.


title: Optical wavefront phase-tilt measurement using Si-photonic waveguide grating couplers

abstract: Silicon photonic wavefront phase-tilt sensors for wavefront monitoring using surface coupling grating arrays are demonstrated. The first design employs the intrinsic angle dependence of the grating coupling efficiency to determine local wavefront tilt, with a measured sensitivity of 7 dB/degree. A second design connects four gratings in an interferometric waveguide circuit to determine incident wavefront phase variation across the sensor area. In this device, one fringe spacing corresponds to approximately 2 degree wavefront tilt change. These sensor elements can sample a wavefront incident on the chip surface without the use of bulk optic elements, fiber arrays, or imaging arrays. Both sensor elements are less than 60 um across, and can be combined into larger arrays to monitor wavefront tilt and distortion across an image or pupil plane in adaptive optics systems for free space optical communications, astronomy and beam pointing applications.


title: Galaxy Zoo DESI: Detailed Morphology Measurements for 8.7M Galaxies in the DESI Legacy Imaging Surveys

abstract: We present detailed morphology measurements for 8.67 million galaxies in the DESI Legacy Imaging Surveys (DECaLS, MzLS, and BASS, plus DES). These are automated measurements made by deep learning models trained on Galaxy Zoo volunteer votes. Our models typically predict the fraction of volunteers selecting each answer to within 5-10\% for every answer to every GZ question. The models are trained on newly-collected votes for DESI-LS DR8 images as well as historical votes from GZ DECaLS. We also release the newly-collected votes. Extending our morphology measurements outside of the previously-released DECaLS/SDSS intersection increases our sky coverage by a factor of 4 (5,000 to 19,000 deg$^2$) and allows for full overlap with complementary surveys including ALFALFA and MaNGA.


title: Complete prepotentials of 5d higher rank theories

abstract: We generalize recent methods regarding the construction of complete prepotentials of five dimensional SCFTs to two classes of rank-$N$ theories, i.e. the $X_{1,N}$ and the UV fixed point of the $SU(N+1)_0+2(N+1)$F gauge theories. Their complete prepotentials are consistently constructed starting from their weakly coupled description. The results are verified by employing UV dualities and decoupling of flavors from theories with known complete prepotentials. Applications of these results to the recent investigation of non-supersymmetric conformal field theories from soft supersymmetric breaking deformations are addressed.


title: Generative Pre-Training of Time-Series Data for Unsupervised Fault Detection in Semiconductor Manufacturing

abstract: This paper introduces TRACE-GPT, which stands for Time-seRies Anomaly-detection with Convolutional Embedding and Generative Pre-trained Transformers. TRACE-GPT is designed to pre-train univariate time-series sensor data and detect faults on unlabeled datasets in semiconductor manufacturing. In semiconductor industry, classifying abnormal time-series sensor data from normal data is important because it is directly related to wafer defect. However, small, unlabeled, and even mixed training data without enough anomalies make classification tasks difficult. In this research, we capture features of time-series data with temporal convolutional embedding and Generative Pre-trained Transformer (GPT) to classify abnormal sequences from normal sequences using cross entropy loss. We prove that our model shows better performance than previous unsupervised models with both an open dataset, the University of California Riverside (UCR) time-series classification archive, and the process log of our Chemical Vapor Deposition (CVD) equipment. Our model has the highest F1 score at Equal Error Rate (EER) across all datasets and is only 0.026 below the supervised state-of-the-art baseline on the open dataset.


title: Off-shell selfenergy for 1-D Fermi liquids

abstract: The selfenergy in Born approximation including exchange of interacting one-dimensional systems is expressed in terms of a single integral about the potential which allows a fast and precise calculation for any potential analytically. The imaginary part of the self energy as damping of single-particle excitations shows a rich structure of different areas limited by single-particle and collective excitation lines. The corresponding spectral function reveals a pseudogap, a splitting of excitation into holons and antiholons as well as bound states.


title: Explicit error bounds for entanglement transformations between sparse multipartite states

abstract: The trade-off relation between the rate and the strong converse exponent for probabilistic asymptotic entanglement transformations between pure multipartite states can in principle be characterised in terms of a class of entanglement measures determined implicitly by a set of strong axioms. A nontrivial family of such functionals has recently been constructed, but their previously known characterisations have so far only made it possible to evaluate them in very simple cases. In this paper we derive a new regularised formula for these functionals in terms of a subadditive upper bound, complementing the previously known superadditive lower bound. The upper and lower bounds evaluated on tensor powers differ by a logarithmically bounded term, which provides a bound on the convergence rate. In addition, we find that on states satisfying a certain sparsity constraint, the upper bound is equal to the value of the corresponding additive entanglement measure, therefore the regularisation is not needed for such states, and the evaluation is possible via a single-letter formula. Our results provide explicit bounds on the success probability of transformations by local operations and classical communication and, due to the additivity of the entanglement measures, also on the strong converse exponent for asymptotic transformations.


title: Video Screens for Hearing Research: Transmittance and Reflectance of Professional and Other Fabrics

abstract: Virtual reality labs for hearing research are commonly designed to achieve maximal acoustical accuracy of virtual environments. For a high immersion, 3D video systems are applied, that ideally do not influence the acoustical conditions. In labs with projection systems, the video screens have a potentially strong influence depending on their size, their acoustical transmittance and their acoustical reflectance. In this study, the acoustical transmittance and reflectance of six professional acoustic screen fabrics and 13 general purpose fabrics were measured considering two tension conditions. Additionally, the influence of a black backing was tested, which is needed to reduce the optical transparency of fabrics. The measured transmission losses range from -5 dB to -0.1 dB and the reflected sound pressure levels from -32 dB to -4 dB. The best acoustical properties were measured for a chiffon fabric.


title: Construction of the Initial Part of a Ion Linear Accelerator from Similar Short Cavities

abstract: The construction of the initial part of a normally conducting linac for hydrogen ion beams with a pulsed current of ~20 mA up to an energy of ~70 MeV is considered. The RFQ at a frequency of ~160 MHz accelerates ions to an energy of ~4 MeV. Further acceleration is carried out at a doubled frequency by short, up to $5\beta\lambda$, cavities, operating in the TM010 mode, with drift tubes. Focusing is carried out by doublets of quadrupole lenses placed between the cavities. The structure of the accelerating-focusing channel, with given beam parameters, with reserves provides both the conditions for stable longitudinal and transverse motion of particles, and reliable technical implementation. The main results of the simulations of particle dynamics and the main parameters of the elements of the channel are presented. The possibility of constructing an linac with a higher output energy is analyzed.


title: Semiring and involution identities of powers of inverse semigroups

abstract: The set of all subsets of any inverse semigroup forms an involution semiring under set-theoretical union and element-wise multiplication and inversion. We find structural conditions on a finite inverse semigroup guaranteeing that neither semiring nor involution identities of the involution semiring of its subsets admit a finite identity basis.


title: A Systematic Review of Few-Shot Learning in Medical Imaging

abstract: The lack of annotated medical images limits the performance of deep learning models, which usually need large-scale labelled datasets. Few-shot learning techniques can reduce data scarcity issues and enhance medical image analysis, especially with meta-learning. This systematic review gives a comprehensive overview of few-shot learning in medical imaging. We searched the literature systematically and selected 80 relevant articles published from 2018 to 2023. We clustered the articles based on medical outcomes, such as tumour segmentation, disease classification, and image registration; anatomical structure investigated (i.e. heart, lung, etc.); and the meta-learning method used. For each cluster, we examined the papers' distributions and the results provided by the state-of-the-art. In addition, we identified a generic pipeline shared among all the studies. The review shows that few-shot learning can overcome data scarcity in most outcomes and that meta-learning is a popular choice to perform few-shot learning because it can adapt to new tasks with few labelled samples. In addition, following meta-learning, supervised learning and semi-supervised learning stand out as the predominant techniques employed to tackle few-shot learning challenges in medical imaging and also best performing. Lastly, we observed that the primary application areas predominantly encompass cardiac, pulmonary, and abdominal domains. This systematic review aims to inspire further research to improve medical image analysis and patient care.


title: Beyond twisted maps: applications to motivic integration

abstract: We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne-Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically, warped maps see the hidden proper-like behavior satisfied by good moduli space maps. Specifically, we show that every arc of a good moduli space admits a \emph{canonical} lift, in a warped sense, thereby proving a valuative criterion for good moduli spaces. Furthermore, we prove that warped maps to an Artin stack $\mathcal{X}$ are given by usual maps to an auxiliary Artin stack $\mathscr{W}(\mathcal{X})$, immediately obtaining a versatile framework for bootstrapping results about usual maps to the setting of warped maps. As an application we obtain a motivic change of variables formula which, given a stacky resolution of singularities $\mathcal{X} \to Y$, canonically expresses any given motivic integral over arcs of $Y$ as a certain motivic integral over warped arcs of $\mathcal{X}$. In particular, this yields a McKay correspondence for linearly reductive groups.


title: The decoupled DFT-$\frac{1}{2}$ method for defect excitation energies

abstract: The DFT-$\frac{1}{2}$ method is a band gap correction with GW precision at a DFT computational cost. The method was also extended to correct the gap between defect levels, allowing for the calculation of optical transitions. However, this method fails when the atomic character of the occupied and unoccupied defect levels are similar as we illustrate by two examples, the tetrahedral hydrogen interstitial and the negatively charged vacancy in diamond. We solve this problem by decoupling the effect of the occupied and unoccupied defect levels and call this the decoupled DFT-$\frac{1}{2}$ method for defects.


title: You Only Look at Screens: Multimodal Chain-of-Action Agents

abstract: Autonomous graphical user interface (GUI) agents aim to facilitate task automation by interacting with the user interface without manual intervention. Recent studies have investigated eliciting the capabilities of large language models (LLMs) for effective engagement in diverse environments. To align with the input-output requirement of LLMs, most existing approaches are developed under a sandbox setting where they rely on external tools and application-specific APIs to parse the environment into textual elements and interpret the predicted actions. Consequently, those approaches often grapple with inference inefficiency and error propagation risks. To mitigate the challenges, we introduce Auto-GUI, a multimodal solution that directly interacts with the interface, bypassing the need for environment parsing or reliance on application-dependent APIs. Moreover, we propose a chain-of-action technique -- leveraging a series of intermediate previous action histories and future action plans -- to help the agent decide what action to execute. We evaluate our approach on a new device-control benchmark AITW with 30$K$ unique instructions, spanning multi-step tasks such as application operation, web searching, and web shopping. Experimental results show that Auto-GUI achieves state-of-the-art performance with an action type prediction accuracy of 90\% and an overall action success rate of 74\%. Code is publicly available at https://github.com/cooelf/Auto-GUI.


title: On the diffusion approximation of the stationary radiative transfer equation with absorption and emission

abstract: We study the situation in which the distribution of temperature a body is due to its interaction with radiation. We consider the boundary value problem for the stationary radiative transfer equation under the assumption of the local thermodynamic equilibrium. We study the diffusion equilibrium approximation in the absence of scattering. We consider absorption coefficient independent of the frequency $ \nu $ (the so-called Grey approximation) and the limit when the photons' mean free path tends to zero, i.e. the absorption coefficient tends to infinity. We show that the densitive of radiative energy $ u $, which is proportional to the fourth power of the temperature due to the Stefan-Boltzmann law, solves in the limit an elliptic equation where the boundary value can be determined uniquely in terms of the original boundary condition. We derive formally with the method of matched asymptotic expansions the boundary condition for the limit problem and we prove rigorously the convergence to the solution of the limit problem with a careful analysis of some non-local integral operators. The method developed here allows to prove all the results using only maximum principle arguments.


title: Brain-inspired computing with fluidic iontronic nanochannels

abstract: The brain's remarkable and efficient information processing capability is driving research into brain-inspired (neuromorphic) computing paradigms. Artificial aqueous ion channels are emerging as an exciting platform for neuromorphic computing, representing a departure from conventional solid-state devices by directly mimicking the brain's fluidic ion transport. Supported by a quantitative theoretical model, we present easy to fabricate tapered microchannels that embed a conducting network of fluidic nanochannels between a colloidal structure. Due to transient salt concentration polarisation our devices are volatile memristors (memory resistors) that are remarkably stable. The voltage-driven net salt flux and accumulation, that underpin the concentration polarisation, surprisingly combine into a diffusionlike quadratic dependence of the memory retention time on the channel length, allowing channel design for a specific timescale. We implement our device as a synaptic element for neuromorphic reservoir computing. Individual channels distinguish various time series, that together represent (handwritten) numbers, for subsequent in-silico classification with a simple readout function. Our results represent a significant step towards realising the promise of fluidic ion channels as a platform to emulate the rich aqueous dynamics of the brain.


title: Controlled Generation with Prompt Insertion for Natural Language Explanations in Grammatical Error Correction

abstract: In Grammatical Error Correction (GEC), it is crucial to ensure the user's comprehension of a reason for correction. Existing studies present tokens, examples, and hints as to the basis for correction but do not directly explain the reasons for corrections. Although methods that use Large Language Models (LLMs) to provide direct explanations in natural language have been proposed for various tasks, no such method exists for GEC. Generating explanations for GEC corrections involves aligning input and output tokens, identifying correction points, and presenting corresponding explanations consistently. However, it is not straightforward to specify a complex format to generate explanations, because explicit control of generation is difficult with prompts. This study introduces a method called controlled generation with Prompt Insertion (PI) so that LLMs can explain the reasons for corrections in natural language. In PI, LLMs first correct the input text, and then we automatically extract the correction points based on the rules. The extracted correction points are sequentially inserted into the LLM's explanation output as prompts, guiding the LLMs to generate explanations for the correction points. We also create an Explainable GEC (XGEC) dataset of correction reasons by annotating NUCLE, CoNLL2013, and CoNLL2014. Although generations from GPT-3 and ChatGPT using original prompts miss some correction points, the generation control using PI can explicitly guide to describe explanations for all correction points, contributing to improved performance in generating correction reasons.


title: Flat band superconductivity in a system with a tunable quantum metric : the stub lattice

abstract: Over the past years, one witnesses a growing interest in flat band (FB) physics which has become a playground for exotic phenomena. In this study, we address the FB superconductivity in onedimensional stub chain. In contrast to the sawtooth chain or the creutz ladder, for a given strength of the attractive electron-electron interaction, the stub chain allows the tuning of the real space spreading of the FB eigenstates (quantum metric or QM). We study in detail the interplay between the interaction strength and the mean value of the QM \langle g \rangle on the pairings and on the superfluid weight D_s. Our calculations reveal several interesting and intriguing features. For instance, in the weak coupling regime, D_s with respect to \langle g \rangle exhibits two different types of behaviour. Despite the fact that the pairings differs drastically, D_s scales linearly with the QM only when its \langle g \rangle is large enough (small gap limit). On the other hand, when the QM is of small amplitude an unusual power law is found, more precisely D_s \propto \langle g \rangle^\nu where \nu \longrightarrow 2 in the limit of large single particle gap. In addition to the numerical calculations, we have provided several analytical results which shed light on the physics in both the weak and strong coupling regime. Finally, we have addressed the impact of the thermal fluctuations on the superfluid weight.


title: Eigenfunction localization and nodal geometry on dumbbell domains

abstract: In this article, we study the location of the first nodal line and hot spots under different boundary conditions on dumbbell-shaped domains. Apart from its intrinsic interest, dumbbell domains are also geometrically contrasting to the extensively studied convex domains. For dumbbells with Dirichlet boundary, we investigate the location of the supremum level set of the first eigenfunction and discuss the optimal positioning of obstacles. Considering the other end of level sets, the nodal sets, we establish that the first nodal set of a Neumann dumbbell (with sufficiently narrow connectors) lies within a neighborhood of the connectors. The article demonstrates the utilization of the asymptotic $L^2$-localization (or its absence, characterized by either Dirichlet or Neumann boundaries) of dumbbell domains in tackling the aforementioned nodal geometry problems.


title: Motivic integration for singular Artin stacks

abstract: Let $\mathcal{X} \to Y$ be a birational modification of a variety by an Artin stack. In previous work, under the assumption that $\mathcal{X}$ is smooth, we proved a change of variables formula relating motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. In this paper, we extend that result to the case where $\mathcal{X}$ is singular. We may therefore apply this generalized formula to the so-called warping stack $\mathscr{W}(\mathcal{X})$ of $\mathcal{X}$, which may be singular even when $\mathcal{X}$ is smooth. We thus obtain a change of variables formula \emph{canonically} expressing any given motivic integral over arcs of $Y$ as a motivic integral over \emph{warped arcs} of $\mathcal{X}$.


title: Signature Activation: A Sparse Signal View for Holistic Saliency

abstract: The adoption of machine learning in healthcare calls for model transparency and explainability. In this work, we introduce Signature Activation, a saliency method that generates holistic and class-agnostic explanations for Convolutional Neural Network (CNN) outputs. Our method exploits the fact that certain kinds of medical images, such as angiograms, have clear foreground and background objects. We give theoretical explanation to justify our methods. We show the potential use of our method in clinical settings through evaluating its efficacy for aiding the detection of lesions in coronary angiograms.


title: A symmetric monoidal Comparison Lemma

abstract: In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of the Comparison Lemma, for lax as well as strong symmetric monoidal hypersheaves. For a strong symmetric monoidal functor between symmetric monoidal 1-categories with topologies generated by suitable cd-structures, we show that if the conditions of the Comparison Lemma are satisfied, then there is also an equivalence between categories of lax and strong symmetric monoidal hypersheaves respectively, taking values in a complete cartesian symmetric monoidal $\infty$-category. As an application of this result, we prove a lax symmetric monoidal version of our previous result about hypersheaves that encode compactly supported cohomology theories.


title: SkeleTR: Towrads Skeleton-based Action Recognition in the Wild

abstract: We present SkeleTR, a new framework for skeleton-based action recognition. In contrast to prior work, which focuses mainly on controlled environments, we target more general scenarios that typically involve a variable number of people and various forms of interaction between people. SkeleTR works with a two-stage paradigm. It first models the intra-person skeleton dynamics for each skeleton sequence with graph convolutions, and then uses stacked Transformer encoders to capture person interactions that are important for action recognition in general scenarios. To mitigate the negative impact of inaccurate skeleton associations, SkeleTR takes relative short skeleton sequences as input and increases the number of sequences. As a unified solution, SkeleTR can be directly applied to multiple skeleton-based action tasks, including video-level action classification, instance-level action detection, and group-level activity recognition. It also enables transfer learning and joint training across different action tasks and datasets, which result in performance improvement. When evaluated on various skeleton-based action recognition benchmarks, SkeleTR achieves the state-of-the-art performance.


title: Weight Averaging Improves Knowledge Distillation under Domain Shift

abstract: Knowledge distillation (KD) is a powerful model compression technique broadly used in practical deep learning applications. It is focused on training a small student network to mimic a larger teacher network. While it is widely known that KD can offer an improvement to student generalization in i.i.d setting, its performance under domain shift, i.e. the performance of student networks on data from domains unseen during training, has received little attention in the literature. In this paper we make a step towards bridging the research fields of knowledge distillation and domain generalization. We show that weight averaging techniques proposed in domain generalization literature, such as SWAD and SMA, also improve the performance of knowledge distillation under domain shift. In addition, we propose a simplistic weight averaging strategy that does not require evaluation on validation data during training and show that it performs on par with SWAD and SMA when applied to KD. We name our final distillation approach Weight-Averaged Knowledge Distillation (WAKD).


title: Equality of different definitions of conformal dimension for quasiself-similar and CLP spaces

abstract: We prove that for a quasiself-similar and arcwise connected compact metric space all three known versions of the conformal dimension coincide: the conformal Hausdorff dimension, conformal Assouad dimension and Ahlfors regular conformal dimension. This answers a question posed by Mathav Murugan. Quasisimilar spaces include all approximately self-similar spaces. As an example, the standard Sierpi\'nski carpet is quasiself-similar and thus the three notions of conformal dimension coincide for it. We also give the equality of the three dimensions for combinatorially $p$-Loewner (CLP) spaces. Both proofs involve using a new notion of combinatorial modulus, which lies between two notions of modulus that have appeared in the literature. The first of these is the modulus studied by Pansu and Tyson, which uses a Carath\'eodory construction. The second is the one used by Keith and Laakso (and later modified and used by Bourdon, Kleiner, Carrasco-Piaggio, Murugan and Shanmugalingam). By combining these approaches, we gain the flexibility of giving upper bounds for the new modulus from the Pansu-Tyson approach, and the ability of getting lower bounds using the Keith-Laakso approach. Additionally the new modulus can be iterated in self-similar spaces, which is a crucial, and novel, step in our argument.


title: Reducing hardware requirements for entanglement distribution via joint hardware-protocol optimization

abstract: We conduct a numerical investigation of fiber-based entanglement distribution over distances of up to 1600km using a chain of processing-node quantum repeaters. We determine minimal hardware requirements while simultaneously optimizing over protocols for entanglement generation and entanglement purification, as well as over strategies for entanglement swapping. Notably, we discover that through an adequate choice of protocols the hardware improvement cost scales linearly with the distance covered. Our results highlight the crucial role of good protocol choices in significantly reducing hardware requirements, such as employing purification to meet high-fidelity targets and adopting a SWAP-ASAP policy for faster rates. To carry out this analysis, we employ an extensive simulation framework implemented with NetSquid, a discrete-event-based quantum-network simulator, and a genetic-algorithm-based optimization methodology to determine minimal hardware requirements.


title: An axiomatization of six-functor formalisms

abstract: In this paper, we propose an $\infty$-categorical definition of abstract six-functor formalisms. Our definition is a variation on Mann's definition, with the additional requirement of having Grothendieck and Wirthm\"uller contexts, and recollements and descent for abstract blowups. Using Nagata's compactification theorem, we show that such a six-functor formalism on varieties can be given by just specifying adjoint triples on open immersions and on proper maps, satisfying certain compatibilities. Descent for abstract blowups and the existence of recollements are (almost) equivalent to a hypersheaf condition for a Grothendieck topology on the category of ``varieties and spans consisting of an open immersion and a proper map''. Using this characterisation, we show that our category of six-functor formalisms is equivalent to a subcategory of lax symmetric monoidal functors from the category of smooth and complete varieties to the category of stable $\infty$-categories and adjoint triples. Moreover, we can characterise which lax symmetric monoidal functors on complete varieties, taking values in the category of stable $\infty$-categories and adjoint triples, extend to six-functor formalisms.