title: Ambient backscatter communications using LTE cell specific reference signals

abstract: Long Term Evolution (LTE) systems provide ubiquitous coverage for mobile communications, which makes it a promising candidate to be used as a signal source in the ambient backscatter communications. In this paper, we propose a system in which a backscatter device modulates the ambient LTE signal by changing its reflection coefficient and the receiver uses the LTE Cell Specific Reference Signals (CRS) to estimate the channel and demodulates the backscattered signal from the obtained channel impulse response estimates. We first outline the overall system, discuss the receiver operation, and then provide experimental evidence on the practicality of the proposed system.


title: Accidental persistent spin textures in the proustite mineral family

abstract: Persistent spin textures (PSTs) in momentum space have the potential to enable spintronic devices which are currently limited by low spin lifetimes in nonmagnetic spin-orbit coupled materials. We perform a first-principles study on the proustite mineral family, Ag$_3$BQ$_3$} (B=As,\,Sb; Q=S,\,Se), and show these chalcogenides exhibit a non-symmetry protected PST, which we refer to as symmetry-assisted PSTs. Chemical substitution can be used to tune the PST quality and properties, e.g., spin lifetime, and we find that a Rashba anisotropy criterion correlates with the PST area and spin lifetime for two of the three proustites examined. Last, we show that a first-order effective SOC Hamiltonian, often used in two-dimensional systems, is insufficient to describe the PST state in all proustites, suggesting that higher order models are necessary to fully describe PSTs in bulk three-dimensional materials.


title: Recognizing the constitution of small bodies in extreme-mass-ratio inspirals by gravitational waves

abstract: The extreme mass ratio inspirals(EMRIs) are promising gravitational wave(GW) sources for space-borne GW detectors. The signals of EMRIs usually have long timescales, ranging from several months to several years, and their detection requires accurate GW signal templates. In most waveform models, the compact objects in EMRIs are considered test particles, which do not consider the small bodies' spin, mass distribution, and tidal deformation. In this work, we simulate the GW signals of EMRIs by considering the compact objects' spin and mass quadrupole. We find that a compact object's spin can significantly influence the GW signals, and the tidal-induced and spin-induced quadrupoles matter only if the compact objects are white dwarfs, especially EMRIs of a higher symmetric mass ratio. We can distinguish white dwarfs from other compact objects in this case. The structures of black holes and neutron stars in EMRIs do not have detectable effects on GW signals. Furthermore, compared with the GW signals that use test particle approximation, the signal-to-noise ratios(SNRs) of GW signals that consider extended bodies decrease slightly, which hints that we can omit the spin and quadrupole of the compact object in the detection of EMRIs.


title: Explicit calculation of singular integrals of tensorial polyadic kernels

abstract: The Riesz transform of $u$ : $\mathcal{S}(\mathbb{R}^n) \rightarrow \mathcal{S'}(\mathbb{R}^n)$ is defined as a convolution by a singular kernel, and can be conveniently expressed using the Fourier Transform and a simple multiplier. We extend this analysis to higher order Riesz transforms, i.e. some type of singular integrals that contain tensorial polyadic kernels and define an integral transform for functions $\mathcal{S}(\mathbb{R}^n) \rightarrow \mathcal{S'}(\mathbb{R}^{ n \times n \times \dots n})$. We show that the transformed kernel is also a polyadic tensor, and propose a general method to compute explicitely the Fourier mutliplier. Analytical results are given, as well as a recursive algorithm, to compute the coefficients of the transformed kernel. We compare the result to direct numerical evaluation, and discuss the case $n=2$, with application to image analysis.


title: AutoPET Challenge: Combining nn-Unet with Swin UNETR Augmented by Maximum Intensity Projection Classifier

abstract: Tumor volume and changes in tumor characteristics over time are important biomarkers for cancer therapy. In this context, FDG-PET/CT scans are routinely used for staging and re-staging of cancer, as the radiolabeled fluorodeoxyglucose is taken up in regions of high metabolism. Unfortunately, these regions with high metabolism are not specific to tumors and can also represent physiological uptake by normal functioning organs, inflammation, or infection, making detailed and reliable tumor segmentation in these scans a demanding task. This gap in research is addressed by the AutoPET challenge, which provides a public data set with FDG-PET/CT scans from 900 patients to encourage further improvement in this field. Our contribution to this challenge is an ensemble of two state-of-the-art segmentation models, the nn-Unet and the Swin UNETR, augmented by a maximum intensity projection classifier that acts like a gating mechanism. If it predicts the existence of lesions, both segmentations are combined by a late fusion approach. Our solution achieves a Dice score of 72.12\% on patients diagnosed with lung cancer, melanoma, and lymphoma in our cross-validation. Code: https://github.com/heiligerl/autopet_submission


title: Neural Network Reconstruction of $H'(z)$ and its application in Teleparallel Gravity

abstract: In this work, we explore the possibility of using artificial neural networks to impose constraints on teleparallel gravity and its $f(T)$ extensions. We use the available Hubble parameter observations from cosmic chronometers and baryon acoustic oscillations from different galaxy surveys. We discuss the procedure for training a network model to reconstruct the Hubble diagram. Further, we describe the procedure to obtain $H'(z)$, the first order derivative of $H(z)$, using artificial neural networks which is a novel approach to this method of reconstruction. These analyses are complemented with further studies on the impact of two priors which we put on $H_0$ to assess their impact on the analysis, which are the local measurements by the SH0ES team ($H_0^{\text{R20}} = 73.2 \pm 1.3$ km Mpc$^{-1}$ s$^{-1}$) and the updated TRGB calibration from the Carnegie Supernova Project ($H_0^{\text{TRGB}} = 69.8 \pm 1.9$ km Mpc$^{-1}$ s$^{-1}$), respectively. Additionally, we investigate the validity of the concordance model, through some cosmological null tests with these reconstructed data sets. Finally, we reconstruct the allowed $f(T)$ functions for different combinations of the observational Hubble data sets. Results show that the $\Lambda$CDM model lies comfortably included at the 1$\sigma$ confidence level for all the examined cases.


title: Quantum nondemolition measurements with optical parametric amplifiers for ultrafast universal quantum information processing

abstract: Realization of a room-temperature ultra-fast photon-number-resolving (PNR) quantum nondemolition (QND) measurement would have significant implications for photonic quantum information processing (QIP), enabling, e.g., deterministic quantum computation in discrete-variable architectures, but the requirement for strong coupling has hampered the development of scalable implementations. In this work, we propose and analyze a nonlinear-optical route to PNR QND using quadratic (i.e., $\chi^{(2)}$) nonlinear interactions. We show that the coherent pump field driving a phase-mismatched optical parametric amplifier (OPA) experiences displacements conditioned on the number of signal Bogoliubov excitations. A measurement of the pump displacement thus provides a QND measurement of the signal Bogoliubov excitations, projecting the signal mode to a squeezed photon-number state. We then show how our nonlinear OPA dynamics can be utilized for deterministically generating Gottesman-Kitaev-Preskill states only with additional Gaussian resources, offering an all-optical route for fault-tolerant QIP in continuous-variable systems. Finally, we place these QND schemes into a more traditional context by highlighting analogies between the phase-mismatched optical parametric oscillator and multilevel atom-cavity QED systems, by showing how continuous monitoring of the outcoupled pump quadrature induces conditional localization of the intracavity signal mode onto squeezed photon-number states. Our analysis suggests that our proposal may be viable in near-term $\chi^{(2)}$ nonlinear nanophotonics, highlighting the rich potential of OPA as a universal tool for ultrafast non-Gaussian quantum state engineering and quantum computation.


title: Distilling Facial Knowledge With Teacher-Tasks: Semantic-Segmentation-Features For Pose-Invariant Face-Recognition

abstract: This paper demonstrates a novel approach to improve face-recognition pose-invariance using semantic-segmentation features. The proposed Seg-Distilled-ID network jointly learns identification and semantic-segmentation tasks, where the segmentation task is then "distilled" (MobileNet encoder). Performance is benchmarked against three state-of-the-art encoders on a publicly available data-set emphasizing head-pose variations. Experimental evaluations show the Seg-Distilled-ID network shows notable robustness benefits, achieving 99.9% test-accuracy in comparison to 81.6% on ResNet-101, 96.1% on VGG-19 and 96.3% on InceptionV3. This is achieved using approximately one-tenth of the top encoder's inference parameters. These results demonstrate distilling semantic-segmentation features can efficiently address face-recognition pose-invariance.


title: A robust Corr\'adi--Hajnal Theorem

abstract: For a graph $G$ and $p\in[0,1]$, we denote by $G_p$ the random sparsification of $G$ obtained by keeping each edge of $G$ independently, with probability $p$. We show that there exists a $C>0$ such that if $p\geq C(\log n)^{1/3}n^{-2/3}$ and $G$ is an $n$-vertex graph with $n\in 3\mathbb{N}$ and $\delta(G)\geq \tfrac{2n}{3}$, then with high probability $G_p$ contains a triangle factor. Both the minimum degree condition and the probability condition, up to the choice of $C$, are tight. Our result can be viewed as a common strengthening of the seminal theorems of Corr\'adi and Hajnal, which deals with the extremal minimum degree condition for containing triangle factors (corresponding to $p=1$ in our result), and Johansson, Kahn and Vu, which deals with the threshold for the appearance of a triangle factor in $G(n,p)$ (corresponding to $G=K_n$ in our result). It also implies a lower bound on the number of triangle factors in graphs with minimum degree at least $\tfrac{2n}{3}$ which gets close to the truth.


title: Differentiable Optimal Control via Differential Dynamic Programming

abstract: Robot design optimization, imitation learning and system identification share a common problem which requires optimization over robot or task parameters at the same time as optimizing the robot motion. To solve these problems, we can use differentiable optimal control for which the gradients of the robot's motion with respect to the parameters are required. We propose a method to efficiently compute these gradients analytically via the differential dynamic programming (DDP) algorithm using sensitivity analysis (SA). We show that we must include second-order dynamics terms when computing the gradients. However, we do not need to include them when computing the motion. We validate our approach on the pendulum and double pendulum systems. Furthermore, we compare against using the derivatives of the iterative linear quadratic regulator (iLQR), which ignores these second-order terms everywhere, on a co-design task for the Kinova arm, where we optimize the link lengths of the robot for a target reaching task. We show that optimizing using iLQR gradients diverges as ignoring the second-order dynamics affects the computation of the derivatives. Instead, optimizing using DDP gradients converges to the same optimum for a range of initial designs allowing our formulation to scale to complex systems.


title: Understandable Controller Extraction from Video Observations of Swarms

abstract: Swarm behavior emerges from the local interaction of agents and their environment often encoded as simple rules. Extracting the rules by watching a video of the overall swarm behavior could help us study and control swarm behavior in nature, or artificial swarms that have been designed by external actors. It could also serve as a new source of inspiration for swarm robotics. Yet extracting such rules is challenging as there is often no visible link between the emergent properties of the swarm and their local interactions. To this end, we develop a method to automatically extract understandable swarm controllers from video demonstrations. The method uses evolutionary algorithms driven by a fitness function that compares eight high-level swarm metrics. The method is able to extract many controllers (behavior trees) in a simple collective movement task. We then provide a qualitative analysis of behaviors that resulted in different trees, but similar behaviors. This provides the first steps toward automatic extraction of swarm controllers based on observations.


title: Probability Contour Constrained Optimization and A Data-based Solution Paradigm

abstract: This paper solves a new class of optimization problems under uncertainty which optimizes an objective function of decision variables and subjects to a set of probability contour constraints (PCC). The proposed PCC logically means that an optimal solution should satisfy a set of algebraic constraints for all possible high-probability realizations of the uncertain parameters. The PCC is an alternative to the conventional chance constraint while the latter cannot guarantee the solution's feasibility to high-probability realizations of uncertainty. Given that the existing solution methods of the conventional chance-constrained optimization are not suitable for solving the proposed probability contour constrained optimization (PCCO), we develop a novel data-based solution paradigm that uses historical measurements of the uncertain parameters as input samples. This solution paradigm is conceptually simple and allows us to develop effective data-reduction schemes which reduces computational burden while reserves high accuracy.


title: A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation

abstract: With the rise of increasingly complex autonomous systems powered by black box AI models, there is a growing need for Run Time Assurance (RTA) systems that provide online safety filtering to untrusted primary controller output. Currently, research in RTA tends to be ad hoc and inflexible, diminishing collaboration and the pace of innovation. The Safe Autonomy Run Time Assurance Framework presented in this paper provides a standardized interface for RTA modules and a set of universal implementations of constraint-based RTA capable of providing safety assurance given arbitrary dynamical systems and constraints. Built around JAX, this framework leverages automatic differentiation to populate advanced optimization based RTA methods minimizing user effort and error. To validate the feasibility of this framework, a simulation of a multi-agent spacecraft inspection problem is shown with safety constraints on position and velocity.


title: Back-to-Bones: Rediscovering the Role of Backbones in Domain Generalization

abstract: Domain Generalization (DG) studies the capability of a deep learning model to generalize to out-of-training distributions. In the last decade, literature has been massively filled with training methodologies that claim to obtain more abstract and robust data representations to tackle domain shifts. Recent research has provided a reproducible benchmark for DG, pointing out the effectiveness of naive empirical risk minimization (ERM) over existing algorithms. Nevertheless, researchers persist in using the same outdated feature extractors, and no attention has been given to the effects of different backbones yet. In this paper, we start back to the backbones proposing a comprehensive analysis of their intrinsic generalization capabilities, which so far have been ignored by the research community. We evaluate a wide variety of feature extractors, from standard residual solutions to transformer-based architectures, finding an evident linear correlation between large-scale single-domain classification accuracy and DG capability. Our extensive experimentation shows that by adopting competitive backbones in conjunction with effective data augmentation, plain ERM outperforms recent DG solutions and achieves state-of-the-art accuracy. Moreover, our additional qualitative studies reveal that novel backbones give more similar representations to same-class samples, separating different domains in the feature space. This boost in generalization capabilities leaves marginal room for DG algorithms. It suggests a new paradigm for investigating the problem, placing backbones in the spotlight and encouraging the development of consistent algorithms on top of them. The code is available at https://github.com/PIC4SeR/Back-to-Bones.


title: Nambu and the Ising Model

abstract: In 2021, to mark the occasion of 2021 was Y\^oichir\^o Nambu's birth centenary, we engaged in writing a historical/scientific description of his most incisive papers. Nambu was the humblest genius we have known, and we expected to find some of his great but forgotten insights. We found one, written in 1947: ``A Note on the Eigenvalue Problem in Crystal Statistics", where he formulates and solves the $(N\times N)$ Ising model in a $2N$-dimensional Hilbert space

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Direct products of free groups in ${{\rm{Aut}}}(F_N)$

abstract: We give a complete description of the embeddings of direct products of nonabelian free groups into ${{\rm{Aut}}}(F_N)$ and ${{\rm{Out}}}(F_N)$ when the number of direct factors is maximal. To achieve this, we prove that the image of each such embedding has a canonical fixed point of a particular type in the boundary of Outer space.


title: nnOOD: A Framework for Benchmarking Self-supervised Anomaly Localisation Methods

abstract: The wide variety of in-distribution and out-of-distribution data in medical imaging makes universal anomaly detection a challenging task. Recently a number of self-supervised methods have been developed that train end-to-end models on healthy data augmented with synthetic anomalies. However, it is difficult to compare these methods as it is not clear whether gains in performance are from the task itself or the training pipeline around it. It is also difficult to assess whether a task generalises well for universal anomaly detection, as they are often only tested on a limited range of anomalies. To assist with this we have developed nnOOD, a framework that adapts nnU-Net to allow for comparison of self-supervised anomaly localisation methods. By isolating the synthetic, self-supervised task from the rest of the training process we perform a more faithful comparison of the tasks, whilst also making the workflow for evaluating over a given dataset quick and easy. Using this we have implemented the current state-of-the-art tasks and evaluated them on a challenging X-ray dataset.


title: RVSPY -- Radial Velocity Survey for Planets around Young Stars. Target characterization and high-cadence survey

abstract: We introduce our Radial Velocity Survey for Planets around Young stars (RVSPY), characterise our target stars, and search for substellar companions at orbital separations smaller than a few au from the host star. We use the FEROS spectrograph to obtain high signal-to-noise spectra and time series of precise radial velocities (RVs) of 111 stars most of which are surrounded by debris discs. Our target stars have spectral types between early F and late K, a median age of 400 Myr, and a median distance of 45 pc. We determine for all target stars their basic stellar parameters and present the results of the high-cadence RV survey and activity characterization. We achieve a median single-measurement RV precision of 6 m/s and derive the short-term intrinsic RV scatter of our targets (median 22 m/s), which is mostly caused by stellar activity and decays with age from >100 m/s at <20 Myr to <20 m/s at >500 Myr. We discover six previously unknown close companions with orbital periods between 10 and 100 days, three of which are low-mass stars, and three are in the brown dwarf mass regime. We detect no hot companion with an orbital period <10 days down to a median mass limit of ~1 M_Jup for stars younger than 500 Myr, which is still compatible with the established occurrence rate of such companions around main-sequence stars. We find significant RV periodicities between 1.3 and 4.5 days for 14 stars, which are, however, all caused by rotational modulation due to starspots. We also analyse the TESS photometric time series data and find significant periodicities for most of the stars. For 11 stars, the photometric periods are also clearly detected in the RV data. We also derive stellar rotation periods ranging from 1 to 10 days for 91 stars, mostly from TESS data. From the intrinsic activity-related short-term RV jitter, we derive the expected mass-detection thresholds for longer-period companions.


title: Learning While Scheduling in Multi-Server Systems with Unknown Statistics: MaxWeight with Discounted UCB

abstract: Multi-server queueing systems are widely used models for job scheduling in machine learning, wireless networks, crowdsourcing, and healthcare systems. This paper considers a multi-server system with multiple servers and multiple types of jobs, where different job types require different amounts of processing time at different servers. The goal is to schedule jobs on servers without knowing the statistics of the processing times. To fully utilize the processing power of the servers, it is known that one has to at least learn the service rates of different job types on different servers. Prior works on this topic decouple the learning and scheduling phases which leads to either excessive exploration or extremely large job delays. We propose a new algorithm, which combines the MaxWeight scheduling policy with discounted upper confidence bound (UCB), to simultaneously learn the statistics and schedule jobs to servers. We prove that under our algorithm the asymptotic average queue length is bounded by one divided by the traffic slackness, which is order-wise optimal. We also obtain an exponentially decaying probability tail bound for any-time queue length. These results hold for both stationary and nonstationary service rates. Simulations confirm that the delay performance of our algorithm is several orders of magnitude better than previously proposed algorithms.


title: Multi-Step Prediction in Linearized Latent State Spaces for Representation Learning

abstract: In this paper, we derive a novel method as a generalization over LCEs such as E2C. The method develops the idea of learning a locally linear state space, by adding a multi-step prediction, thus allowing for more explicit control over the curvature. We show, that the method outperforms E2C without drastic model changes which come with other works, such as PCC and P3C. We discuss the relation between E2C and the presented method and derived update equations. We provide empirical evidence, which suggests that by considering the multi-step prediction our method - ms-E2C - allows to learn much better latent state spaces in terms of curvature and next state predictability. Finally, we also discuss certain stability challenges we encounter with multi-step predictions and the ways to mitigate them.


title: $n$-Extension closed subcategories of $n$-exangulated categories

abstract: Let $n$ be a positive integer. We show that an $n$-extension closed subcategory of an $n$-exangulated category naturally inherits an $n$-exangulated structure through restriction of the ambient $n$-exangulated structure. Furthermore, we show that a strong version of the Obscure Axiom holds for $n$-exangulated categories, where $n \geq 2$. This allows us to characterize $n$-exact categories as $n$-exangulated categories with monic inflations and epic deflations. We also show that for an extriangulated category condition (WIC), which was introduced by Nakaoka and Palu, is equivalent to the underlying additive category being weakly idempotent complete. We then apply our results to show that $n$-extension closed subcategories of an $n$-exact category are again $n$-exact. Furthermore, we recover and improve results of Klapproth and Zhou.


title: Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

abstract: This paper tackles the problem of designing efficient binary-level verification for a subset of information flow properties encompassing constant-time and secret-erasure. These properties are crucial for cryptographic implementations, but are generally not preserved by compilers. Our proposal builds on relational symbolic execution enhanced with new optimizations dedicated to information flow and binary-level analysis, yielding a dramatic improvement over prior work based on symbolic execution. We implement a prototype, Binsec/Rel, for bug-finding and bounded-verification of constant-time and secret-erasure, and perform extensive experiments on a set of 338 cryptographic implementations, demonstrating the benefits of our approach. Using Binsec/Rel, we also automate two prior manual studies on preservation of constant-time and secret-erasure by compilers for a total of 4148 and 1156 binaries respectively. Interestingly, our analysis highlights incorrect usages of volatile data pointer for secret erasure and shows that scrubbing mechanisms based on volatile function pointers can introduce additional register spilling which might break secret-erasure. We also discovered that gcc -O0 and backend passes of clang introduce violations of constant-time in implementations that were previously deemed secure by a state-of-the-art constant-time verification tool operating at LLVM level, showing the importance of reasoning at binary-level.


title: HKLL for the Non-Normalizable Mode

abstract: We discuss various aspects of HKLL bulk reconstruction for the free scalar field in AdS$_{d+1}$. First, we consider the spacelike reconstruction kernel for the non-normalizable mode in global coordinates. We construct it as a mode sum. In even bulk dimensions, this can be reproduced using a chordal Green's function approach that we propose. This puts the global AdS results for the non-normalizable mode on an equal footing with results in the literature for the normalizable mode. In Poincar\'e AdS, we present explicit mode sum results in general even and odd dimensions for both normalizable and non-normalizable kernels. For generic scaling dimension $\Delta$, these can be re-written in a form that matches with the global AdS results via an antipodal mapping, plus a remainder. We are not aware of a general argument in the literature for dropping these remainder terms, but we note that a slight complexification of a boundary spatial coordinate (which we call an $i \epsilon$ prescription) allows us to do so in cases where $\Delta$ is (half-) integer. Since the non-normalizable mode turns on a source in the CFT, our primary motivation for considering it is as a step towards understanding linear wave equations in general spacetimes from a holographic perspective. But when the scaling dimension $\Delta$ is in the Breitenlohner-Freedman window, we note that the construction has some interesting features within AdS/CFT.


title: A generalization of Iseki Formula and the transformation of $\theta_1(z, \tau)$

abstract: In this paper we give a generalization of Iseki's formula and use it to prove the transformation law of $\theta_1(z, \tau)$.


title: Obtaining efficient collisional engines via velocity dependent drivings

abstract: Brownian particles interacting sequentially with distinct temperatures and driving forces at each stroke have been tackled as a reliable alternative for the construction of engine setups. However they can behave very inefficiently depending on the driving used for the worksource and/or when temperatures of each stage are very different from each other. Inspired by some models for molecular motors and recent experimental studies, a coupling between driving and velocities is introduced as an alternative ingredient for enhancing the system performance. Here, the role of this new ingredient for levering the engine performance is detailed investigated from stochastic thermodynamics. Exact expressions for quantities and distinct maximization routes have been obtained and investigated. The search of an optimal coupling provides a substantial increase of engine performance (mainly efficiency), even for large $\Delta T$. A simple and general argument for the optimal coupling can be estimated, irrespective the driving and other model details.


title: Vacuum polarization on three-dimensional anti-de Sitter space-time with Robin boundary conditions

abstract: We study a quantum scalar field, with general mass and coupling to the scalar curvature, propagating on three-dimensional global anti-de Sitter space-time. We determine the vacuum and thermal expectation values of the square of the field, also known as the vacuum polarisation (VP). We consider values of the scalar field mass and coupling for which there is a choice of boundary conditions giving well-posed classical dynamics. We apply Dirichlet, Neumann and Robin (mixed) boundary conditions to the field at the space-time boundary. We find finite values of the VP when the parameter governing the Robin boundary conditions is below a certain critical value. For all couplings, the vacuum expectation values of the VP with either Neumann or Dirichlet boundary conditions are constant and respect the maximal symmetry of the background space-time. However, this is not the case for Robin boundary conditions, when both the vacuum and thermal expectation values depend on the space-time location. At the space-time boundary, we find that both the vacuum and thermal expectation values of the VP with Robin boundary conditions converge to the result when Neumann boundary conditions are applied, except in the case of Dirichlet boundary conditions.


title: Metastability of Constant-Density Flocks

abstract: We study numerically the Toner-Tu field theory where the density field is maintained constant, a limit case of "Malthusian" flocks for which the asymptotic scaling of correlation functions in the ordered phase is known exactly. While we confirm these scaling laws, we also show that such constant-density flocks are metastable to the nucleation of a specific defect configuration, and are replaced by a globally disordered phase consisting of asters surrounded by shock lines that constantly evolves and remodels itself. We demonstrate that the main source of disorder lies along shock lines, rendering this active foam fundamentally different from the corresponding equilibrium system. We thus show that in the context of active matter also, a result obtained at all orders of perturbation theory can be superseded by non-perturbative effects, calling for a different approach.


title: Any four orthogonal ququad-ququad maximally entangled states are locally markable

abstract: In quantum state discrimination, the observers are given a quantum system and aim to verify its state from the two or more possible target states. In the local quantum state marking as an extension of quantum state discrimination, there are N composite quantum systems and N possible orthogonal target quantum states. Distant Alice and Bob are asked to correctly mark the states of the given quantum systems via local operations and classical communication. Here we investigate the local state marking with N 4 ${\otimes}$ 4 systems, N=4, 5, 6, and 7. Therein, Alice and Bob allow for three local operations: measuring the local observable either ${\sigma}_{z}$ or ${\sigma}_{x}$ simultaneously, and entanglement swapping. It shows that, given arbitrary four 4 ${\otimes}$ 4 systems, Alice and Bob can perform the perfect local quantum state marking. In the N=5, 6 cases, they can perform perfect local state marking with specific target states. We conjecture the impossibility of the local quantum state marking given any seven target states since Alice and Bob cannot fulfill the task in the simplest case.


title: The Syncline Model -- Analyzing the Impact of Time Synchronization in Sensor Fusion

abstract: The accuracy of sensor fusion algorithms are limited by either the intrinsic sensor noise, or by the quality of time synchronization of the sensors. While the intrinsic sensor noise only depends on the respective sensors, the error induced by quality of, or lack of, synchronization depends on the dynamics of the vehicles and robotic system and the magnitude of time synchronization errors. To meet their sensor fusion requirements, system designers must consider both which sensor to use and also how to synchronize them. This paper presents the Syncline model, a simple visual model of how time synchronization affects the accuracy of sensor fusion for different mobile robot platform. The model can serve as a simple tool to determine which synchronization mechanisms should be used.


title: First-order coherence of light emission from inhomogeneously broadened mesoscopic ensembles

abstract: Inhomogeneous broadening is well known to hinder individual characteristics of emitters, supplanting the single-particle properties by their broader probability distribution. Here, we present an analysis of the emission spectra of mesoscopic ensembles of inhomogeneously distributed emitters below the thermodynamic limit (10 - 10^4 emitters). Based on a simple analytical model and an extensive numerical analysis, we show that the number and individual linewidths of the emitters can be directly estimated from the ensemble autocorrelation function in spite of an inhomogeneously broadened emission. As an application, we analyze the photoluminescence of colloidal nanocrystal aggregates embedded in a gold shell. Our general method can be applied to a wide range of mesoscopic many-body systems and could provide new insights into their first-order coherence properties.


title: Time Evolution of a Supply Chain Network: Kinetic Modeling

abstract: Resilient supply chains are often inherently dependent on the nature of their complex interconnected networks that are simultaneously multi-dimensional and multi-layered. This article presents a Supply Chain Network (SCN) model that can be used to regulate downstream relationships towards a sustainable SME using a 4-component cost function structure - Environmental (E), Demand (D), Economic (E), and Social (S). As a major generalization to the existing practice of using phenomenological interrelationships between the EDES cost kernels, we propose a complementary time varying model of a cost function, based on Lagrangian mechanics (incorporating SCN constraints through Lagrange multipliers), to analyze the time evolution of the SCN variables to interpret the competition between economic inertia and market potential. Multicriteria decision making, based on an Analytic Hierarchy Process (AHP), ranks performance quality, identifying key business decision makers. The model is first solved numerically and then validated against real data pertaining to two Small and Medium Enterprises (SMEs) from diverse domains, establishing the domain-independent nature of the model. The results quantify how increases in a production line without appropriate consideration of market volatility can lead to bankruptcy, and how high transportation cost together with increased production may lead to a break-even state. The model also predicts the time it takes a policy change to reinvigorate sales, thereby forecasting best practice operational procedure that ensures holistic sustainability on all four sustainability fronts.


title: Ab initio Green-Kubo simulations of heat transport in solids: Method and implementation

abstract: Ab initio Green-Kubo (aiGK) simulations of heat transport in solids allow for assessing lattice thermal conductivity in anharmonic or complex materials from first principles. In this work, we present a detailed account of their practical application and evaluation with an emphasis on noise reduction and finite-size corrections in semiconductors and insulators. To account for such corrections, we propose strategies in which all necessary numerical parameters are chosen based on the dynamical properties displayed during molecular dynamics simulations in order to minimize manual intervention. This paves the way for applying the aiGK method in semi-automated and high-throughput frameworks. The proposed strategies are presented and demonstrated for computing the lattice thermal conductivity at room temperature in the mildly anharmonic periclase MgO, and for the strongly anharmonic marshite CuI.


title: Cohomology of algebraic groups, Lie algebras, and finite groups of Lie type

abstract: Let G be a reductive algebraic group over a field of prime characteristic. One can associate to G (or subgroups thereof) its Lie algebra, its Frobenius kernels, and the finite Chevalley group of points over a finite field. The representation theories of these structures are highly interconnected. This expository article will focus specifically on the cohomology theories of these structures and the relationships between them with the aim of highlighting a few key developments over the past 20 years and related open questions.


title: Stability of the spectral gap and ground state indistinguishability for a decorated AKLT model

abstract: We use cluster expansions to establish local indistiguishability of the finite-volume ground states for the AKLT model on decorated hexagonal lattices with decoration parameter at least 5. Our estimates imply that the model satisfies local topological quantum order (LTQO), and so the spectral gap above the ground state is stable against local perturbations.


title: CoRoT-TESS eclipsing binaries with light-travel-time effect

abstract: Identifying long-period eclipsing binaries with space-based photometry is still a challenge even in the century of space telescopes due to the relatively short observation sequences and short lifetime of these missions. The Transiting Exoplanet Survey Satellite (TESS) space telescope is an appropriate tool to supplement previous space-based observations. In this paper we report the first results of the eclipse timing variation (ETV) analyses of eclipsing binaries (EBs) measured by CoRoT and TESS space telescopes. Among the 1428 EB candidates we found 4 new potential triple candidates, for which ETV was analysed and fitted by the well-known light-travel-time effect (LTTE). One of them shows significant phase shift in its folded light curve which required extra care. In this paper we also present some other systems showing significant ETV signals that could be explained by mass transfer or apsidal motion.


title: Future Gradient Descent for Adapting the Temporal Shifting Data Distribution in Online Recommendation Systems

abstract: One of the key challenges of learning an online recommendation model is the temporal domain shift, which causes the mismatch between the training and testing data distribution and hence domain generalization error. To overcome, we propose to learn a meta future gradient generator that forecasts the gradient information of the future data distribution for training so that the recommendation model can be trained as if we were able to look ahead at the future of its deployment. Compared with Batch Update, a widely used paradigm, our theory suggests that the proposed algorithm achieves smaller temporal domain generalization error measured by a gradient variation term in a local regret. We demonstrate the empirical advantage by comparing with various representative baselines.


title: An introduction to enriched cofunctors

abstract: Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched categories, enriched functors, and enriched cofunctors, whose horizontal and vertical 2-categories have 2-cells given by enriched natural transformations between functors and cofunctors, respectively. Enriched lenses are defined as a compatible enriched functor and enriched cofunctor pair; weighted lenses, which were introduced by Perrone, are precisely lenses enriched in weighted sets. Several other examples are also studied in detail.


title: Optimisation of the WEAVE target assignment algorithm

abstract: WEAVE is the new wide-field spectroscopic facility for the prime focus of the William Herschel Telescope in La Palma, Spain. Its fibre positioner is essential for the accurate placement of the spectrograph's ~960-fibre multiplex. To maximise the assignment of its optical fibres, WEAVE uses a simulated annealing algorithm called Configure, which allocates the fibres to targets in the field of view. We have conducted an analysis of the algorithm's behaviour using a subset of mid-tier WEAVE-LOFAR fields, and adjusted the priority assignment algorithm to optimise the total fibres assigned per field, and the assignment of fibres to the higher priority science targets. The output distributions have been examined, to investigate the implications for the WEAVE science teams.


title: Generalized Principal-Agency: Contracts, Information, Games and Beyond

abstract: In the principal-agent problem formulated by Myerson'82, agents have private information (type) and make private decisions (action), both of which are unobservable to the principal. Myerson pointed out an elegant linear programming solution that relies on the revelation principle. This paper extends Myerson's results to a more general setting where the principal's action space can be infinite and subject to additional design constraints. Our generalized principal-agent model unifies several important design problems including contract design, information design, and Bayesian Stackelberg games, and encompasses them as special cases. We first extend the revelation principle to this general model, based on which a polynomial-time algorithm is then derived for computing the optimal mechanism for the principal. This algorithm not only implies new efficient solutions simultaneously for all the aforementioned special cases but also significantly simplifies previously known algorithms designed for special cases. Inspired by the recent interest in the algorithmic design of a single contract and menu of contracts, we study such constrained design problems to our general principal-agent model. In contrast to the above unification, our results here illustrate the other facet of diversity among different principal-agent design problems and demonstrate how their different structures can lead to different complexities: some are tractable whereas others are APX-hard. Finally, we reveal an interesting connection of our model to the problem of information acquisition for decision making and study its algorithmic properties in general.


title: Algorithms for Discrepancy, Matchings, and Approximations: Fast, Simple, and Practical

abstract: We study one of the key tools in data approximation and optimization: low-discrepancy colorings. Formally, given a finite set system $(X,\mathcal S)$, the \emph{discrepancy} of a two-coloring $\chi:X\to\{-1,1\}$ is defined as $\max_{S \in \mathcal S}|{\chi(S)}|$, where $\chi(S)=\sum\limits_{x \in S}\chi(x)$. We propose a randomized algorithm which, for any $d>0$ and $(X,\mathcal S)$ with dual shatter function $\pi^*(k)=O(k^d)$, returns a coloring with expected discrepancy $O\left({\sqrt{|X|^{1-1/d}\log|\mathcal S|}}\right)$ (this bound is tight) in time $\tilde O\left({|\mathcal S|\cdot|X|^{1/d}+|X|^{2+1/d}}\right)$, improving upon the previous-best time of $O\left(|\mathcal S|\cdot|X|^3\right)$ by at least a factor of $|X|^{2-1/d}$ when $|\mathcal S|\geq|X|$. This setup includes many geometric classes, families of bounded dual VC-dimension, and others. As an immediate consequence, we obtain an improved algorithm to construct $\varepsilon$-approximations of sub-quadratic size. Our method uses primal-dual reweighing with an improved analysis of randomly updated weights and exploits the structural properties of the set system via matchings with low crossing number -- a fundamental structure in computational geometry. In particular, we get the same $|X|^{2-1/d}$ factor speed-up on the construction time of matchings with crossing number $O\left({|X|^{1-1/d}}\right)$, which is the first improvement since the 1980s. The proposed algorithms are very simple, which makes it possible, for the first time, to compute colorings with near-optimal discrepancies and near-optimal sized approximations for abstract and geometric set systems in dimensions higher than $2$.


title: ARST: Auto-Regressive Surgical Transformer for Phase Recognition from Laparoscopic Videos

abstract: Phase recognition plays an essential role for surgical workflow analysis in computer assisted intervention. Transformer, originally proposed for sequential data modeling in natural language processing, has been successfully applied to surgical phase recognition. Existing works based on transformer mainly focus on modeling attention dependency, without introducing auto-regression. In this work, an Auto-Regressive Surgical Transformer, referred as ARST, is first proposed for on-line surgical phase recognition from laparoscopic videos, modeling the inter-phase correlation implicitly by conditional probability distribution. To reduce inference bias and to enhance phase consistency, we further develop a consistency constraint inference strategy based on auto-regression. We conduct comprehensive validations on a well-known public dataset Cholec80. Experimental results show that our method outperforms the state-of-the-art methods both quantitatively and qualitatively, and achieves an inference rate of 66 frames per second (fps).


title: Families of Young Functions and Limits of Orlicz Norms

abstract: Given a $\sigma$-finite measure space $(X,\mu)$, a Young function $\Phi$, and a one-parameter family of Young functions $\{\Psi_q\}$, we find necessary and sufficient conditions for the associated Orlicz norms of any function $f\in L^\Phi(X,\mu)$ to satisfy \[ \lim_{q\rightarrow \infty}\|f\|_{L^{\Psi_q}(X,\mu)}=C\|f\|_{L^\infty(X,\mu)}. \] The constant $C$ is independent of $f$ and depends only on the family $\{\Psi_q\}$. Several examples of one-parameter families of Young functions satisfying our conditions are given, along with counterexamples when our conditions fail.


title: The Perron method associated with finely $p$-harmonic functions on finely open sets

abstract: Given a bounded finely open set $V$ and a function $f$ on the fine boundary of $V$, we introduce four types of upper Perron solutions to the nonlinear Dirichlet problem for $p$-energy minimizers, $1<p<\infty$, with $f$ as boundary data. These solutions are given as pointwise infima of suitable families of fine $p$-superminimizers in $V$. We show (under natural assumptions) that the four upper Perron solutions are equal quasieverywhere and that they are fine $p$-minimizers of the $p$-energy integral. We moreover show that the upper and lower Perron solutions coincide quasieverywhere for Sobolev and for uniformly continuous boundary data, i.e.\ that such boundary data are resolutive. For the uniformly continuous boundary data, the Perron solutions are also shown to be finely continuous and thus finely $p$-harmonic. We prove our results in a complete metric space $X$ equipped with a doubling measure supporting a $p$-Poincar\'e inequality, but they are new also in unweighted $\mathbf{R}^n$.


title: Convex hulls of surfaces in fourspace

abstract: This is a case study of the algebraic boundary of convex hulls of varieties. We focus on surfaces in fourspace to showcase new geometric phenomena that neither curves nor hypersurfaces do. Our method is a detailed analysis of a general purpose formula by Ranestad and Sturmfels in the case of smooth real algebraic surfaces of low degree (that are rational over the complex numbers). We study both the complex and the real features of the algebraic boundary of Veronese, Del Pezzo and Bordiga surfaces.


title: A Novel Approach for Pill-Prescription Matching with GNN Assistance and Contrastive Learning

abstract: Medication mistaking is one of the risks that can result in unpredictable consequences for patients. To mitigate this risk, we develop an automatic system that correctly identifies pill-prescription from mobile images. Specifically, we define a so-called pill-prescription matching task, which attempts to match the images of the pills taken with the pills' names in the prescription. We then propose PIMA, a novel approach using Graph Neural Network (GNN) and contrastive learning to address the targeted problem. In particular, GNN is used to learn the spatial correlation between the text boxes in the prescription and thereby highlight the text boxes carrying the pill names. In addition, contrastive learning is employed to facilitate the modeling of cross-modal similarity between textual representations of pill names and visual representations of pill images. We conducted extensive experiments and demonstrated that PIMA outperforms baseline models on a real-world dataset of pill and prescription images that we constructed. Specifically, PIMA improves the accuracy from 19.09% to 46.95% compared to other baselines. We believe our work can open up new opportunities to build new clinical applications and improve medication safety and patient care.


title: Optical Rectification and Electro-Optic Sampling in Quartz

abstract: We report electro-optic sampling (EOS) response and terahertz (THz) optical rectification (OR) in z-cut alpha-quartz. Due to its small effective second-order nonlinearity, echo-free waveform of intense THz pulses with a few MV/cm electric-field strength can be measured faithfully with no saturation effect. Both its OR and EOS responses are broad with extension up to ~8 THz. Strikingly, the latter responses are independent of the crystal thickness, a plausible indication of strong surface contribution to the total second-order nonlinear susceptibility of quartz. Our study introduces thin quartz plates as the reliable THz electro-optic medium for echo-free, high field THz detection.


title: Quantum Kinetic Rates within the Nonequilibrium Steady State

abstract: The nonequilibrium steady state (NESS) of a quantum network is central to a host of physical and biological scenarios. Examples include natural processes such as vision and photosynthesis, as well as technical devices such as photocells, both activated by incoherent light (e.g. sunlight) and leading to quantum transport. Here, a completely general approach to defining components of a quantum network in the NESS, and obtaining rates of processes between these components is provided. Quantum effects are explicitly included throughout, both in (a) defining network components via projection operators, and (b) in determining the role of coherences in rate processes. As examples, the methodology is applied to model cases, two versions of the V-level system, and to the spin-boson model, wherein the role of the environment and of internal system properties in determining the rates is examined. In addition, the role of Markovian vs. non-Markovian contributions is quantified, exposing conditions under which NESS rates can be obtained by perturbing the nonequilibrium steady state.


title: Multiscale model reduction technique for fluid flows with heterogeneous porous inclusions

abstract: Numerical treatment of the problem of two-dimensional viscous fluid flow in and around circular porous inclusions is considered. The mathematical model is described by Navier-Stokes equation in the free flow domain $\Omega_f$ and nonlinear convective Darcy-Brinkman-Forchheimer equations in porous subdomains $\Omega_p$. It is well-known that numerical solutions of the problems in such heterogeneous domains require a very fine computational mesh that resolve inclusions on the grid level. The size alteration of the relevant system requires model reduction techniques. Here, we present a multiscale model reduction technique based on the Generalized Multiscale Finite Element Method (GMsFEM). We discuss construction of the multiscale basis functions for the velocity fields based on the solution of the local problems with and without oversampling strategy. Three test cases are considered for a given choice of the three key model parameters, namely, the Reynolds number ($Re$), the Forchheimer coefficient ($C$) and the Darcy number ($Da$). For the test runs, the Reynolds number values are taken to be $Re = 1, 10, 100$ while the Forchheimer coefficient and Darcy number are chosen as $C= 1, 10$ and $Da = 10^{-5}, 10^{-4}, 10^{-3}$, respectively. We numerically study the convergence of the method as we increase the number of multiscale basis functions in each domain, and observe good performance of the multiscale method.


title: FSVPy: A Python-based Package for Fluorescent Streak Velocimetry (FSV)

abstract: Predictive constitutive equations that connect easy-to-measure transport properties (e.g., viscosity and conductivity) with system performance variables (e.g., power consumption and efficiency) are needed to design advanced thermal and electrical systems. In this work, we explore the use of fluorescent particle-streak analysis to directly measure the local velocity field of a pressure-driven flow, introducing a new Python package (FSVPy) to perform the analysis. Fluorescent streak velocimetry (FSV) combines high-speed imaging with highly fluorescent particles to produce images that contain fluorescent streaks, whose length and intensity can be related to the local flow velocity. By capturing images throughout the sample volume, the three-dimensional velocity field can be quantified and reconstructed. We demonstrate this technique by characterizing the channel flow profiles of several non-Newtonian fluids: micellar Cetylpyridinium Chloride solution, Carbopol 940, and Polyethylene Glycol. We then explore more complex flows, where significant acceleration is created due to micro-scale features encountered within the flow. We demonstrate the ability of FSVPy to process streaks of various shapes, and use the variable intensity along the streak to extract position-specific velocity measurements from individual images. Thus, we demonstrate that FSVPy is a flexible tool that can be used to extract local velocimetry measurements from a wide variety of fluids and flow conditions.


title: Lattice Instability and Ultralow Lattice Thermal Conductivity of Layered PbIF

abstract: Understanding the interplay between various design strategies (for instance, bonding heterogeneity and lone pair induced anharmonicity) to achieve ultralow lattice thermal conductivity ($\kappa_l$) is indispensable for discovering novel functional materials for thermal energy applications. In the present study, we investigate layered PbXF (X = Cl, Br, I), which offers bonding heterogeneity through the layered crystal structure, anharmonicity through the Pb$^{2+}$ $6s^2$ lone pair, and phonon softening through the mass difference between F and Pb/X. The weak inter-layer van der Waals bonding and the strong intra-layer ionic bonding with partial covalent bonding result in a significant bonding heterogeneity and a poor phonon transport in the out-of-plane direction. Large average Gr\"uneisen parameters ($\geq$ 2.5) demonstrate strong anharmonicity. The computed phonon dispersions show flat bands, which suggest short phonon lifetimes, especially for PbIF. Enhanced Born effective charges are due to cross-band-gap hybridization. PbIF shows lattice instability at a small volume expansion of 0.1$\%$. The $\kappa_l$ values obtained by the two channel transport model are 20-50$\%$ higher than those obtained by solving the Boltzmann transport equation. Overall, ultralow $\kappa_l$ values are found at 300 K, especially for PbIF. We propose that the interplay of bonding heterogeneity, lone pair induced anharmonicity, and constituent elements with high mass difference aids the design of low $\kappa_l$ materials for thermal energy applications.


title: Efficient decoupling schemes for multiscale multicontinuum problems in fractured porous media

abstract: We consider the coupled system of equations that describe flow in fractured porous media. To describe such types of problems, multicontinuum and multiscale approaches are used. Because in multicontinuum models, the permeability of each continuum has a significant difference, a large number of iterations is required for the solution of the resulting linear system of equations at each time iteration. The presented decoupling technique separates equations for each continuum that can be solved separately, leading to a more efficient computational algorithm with smaller systems and faster solutions. This approach is based on the additive representation of the operator with semi-implicit approximation by time, where the continuum coupling part is taken from the previous time layer. We apply, analyze and numerically investigate decoupled schemes for classical multicontinuum problems in fractured porous media on sufficiently fine grids with finite volume approximation. We show that the decoupled schemes are stable, accurate, and computationally efficient. Next, we extend and investigate this approach for multiscale approximation on the coarse grid using the nonlocal multicontinuum (NLMC) method. In NLMC approximation, we construct similar decoupled schemes with the same continuum separation approach. A numerical investigation is presented for model problems with two and three-continuum in the two-dimensional formulation.


title: Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement

abstract: The quantum approximate optimization algorithm (QAOA) is a variational quantum algorithm, where a quantum computer implements a variational ansatz consisting of $p$ layers of alternating unitary operators and a classical computer is used to optimize the variational parameters. For a random initialization, the optimization typically leads to local minima with poor performance, motivating the search for initialization strategies of QAOA variational parameters. Although numerous heuristic initializations exist, an analytical understanding and performance guarantees for large $p$ remain evasive. We introduce a greedy initialization of QAOA which guarantees improving performance with an increasing number of layers. Our main result is an analytic construction of $2p+1$ transition states - saddle points with a unique negative curvature direction - for QAOA with $p+1$ layers that use the local minimum of QAOA with $p$ layers. Transition states connect to new local minima, which are guaranteed to lower the energy compared to the minimum found for $p$ layers. We use the GREEDY procedure to navigate the exponentially increasing with $p$ number of local minima resulting from the recursive application of our analytic construction. The performance of the GREEDY procedure matches available initialization strategies while providing a guarantee for the minimal energy to decrease with an increasing number of layers $p$.


title: Accelerating Simulated Annealing of Glassy Materials with Data Assimilation

abstract: The ultra-long relaxation time of glass transition makes it difficult to construct atomic models of amorphous materials by conventional methods. We propose a novel method for building such atomic models using data assimilation method by simulated annealing with an accurately computed interatomic potential augmented by penalty from experimental data. The advantage of this method is that not only can it reproduce experimental data as the structure refinement methods like reverse Monte Carlo but also obtain the reasonable structure in terms of interatomic potential energy. In addition, thanks to the interatomic potential, we do not need high $Q$ range diffraction data, which is necessary to take into account the short-range order. Persistent homology analysis shows that the amorphous ice obtained by the new method is indeed more ordered at intermediate range.


title: Reconstructing editable prismatic CAD from rounded voxel models

abstract: Reverse Engineering a CAD shape from other representations is an important geometric processing step for many downstream applications. In this work, we introduce a novel neural network architecture to solve this challenging task and approximate a smoothed signed distance function with an editable, constrained, prismatic CAD model. During training, our method reconstructs the input geometry in the voxel space by decomposing the shape into a series of 2D profile images and 1D envelope functions. These can then be recombined in a differentiable way allowing a geometric loss function to be defined. During inference, we obtain the CAD data by first searching a database of 2D constrained sketches to find curves which approximate the profile images, then extrude them and use Boolean operations to build the final CAD model. Our method approximates the target shape more closely than other methods and outputs highly editable constrained parametric sketches which are compatible with existing CAD software.


title: Sufficient condition for compactness of the $\overline{\partial}$-Neumann operator using the Levi core

abstract: On a smooth, bounded pseudoconvex domain $\Omega$ in $\mathbb{C}^n$, to verify that Catlin's Property ($P$) holds for $b\Omega$, it suffices to check that it holds on the set of D'Angelo infinite type boundary points. In this note, we consider the support of the Levi core, $S_{\mathfrak{C}(\mathcal{N})}$, a subset of the infinite type points, and show that Property ($P$) holds for $b\Omega$ if and only if it holds for $S_{\mathfrak{C}(\mathcal{N})}$. Consequently, if Property ($P$) holds on $S_{\mathfrak{C}(\mathcal{N})}$, then the $\overline{\partial}$-Neumann operator $N_1$ is compact on $\Omega$.


title: Noether Theorem and Nilpotency Property of the (Anti-)BRST Charges in the BRST Formalism: A Brief Review

abstract: In some of the physically interesting gauge systems, we show that the application of the Noether theorem does not lead to the deduction of the Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST charges that obey precisely the off-shell nilpotency property despite the fact that these charges are $(i)$ derived by using the off-shell nilpotent (anti-)BRST symmetry transformations, $(ii)$ the generators of the above continuous symmetry transformations, and $(iii)$ conserved w.r.t. the time-evolution due to the Euler-Lagrange equations of motion derived from the Lagrangians/Lagrangian densities (that describe the dynamics of the suitably chosen physical systems). We propose a systematic method for the derivation of the off-shell nilpotent (anti-)BRST charges from the corresponding {non-nilpotent Noether conserved (anti-)BRST charges. To corroborate the sanctity and preciseness of our proposal, we take into account the examples of $(i)$ the one ($0 + 1$)-dimensional (1D) system of a massive spinning (i.e. SUSY) relativistic particle, $(ii)$ the D-dimensional non-Abelian 1-form gauge theory, and $(iii)$ the Abelian 2-form and the St${\ddot u}$ckelberg-modified version of the massive Abelian 3-form gauge theories in any arbitrary D-dimension of spacetime. Our present endeavor is a brief review where some decisive proposals have been made and a few novel results have been obtained as far as the nilpotency property is concerned.


title: In Situ 3D Spatiotemporal Measurement of Soluble Biomarkers in Organoid Culture

abstract: Advanced cell culture techniques such as 3D bio-printing and hydrogel-based cell embedding techniques harbor many new and exciting opportunities to study cells in environments that closely recapitulate in-vivo conditions. Researchers often study these environments using fluorescence microscopy to visualize the protein association with objects such as cells within the 3D environment, yet quantification of concentration profiles in the microenvironment has remained elusive. Here, we present a method to continuously measure the time-dependent concentration gradient of various biomarkers within a 3D cell culture assay using bead-based immunoassays to sequester and concentrate the fluorescence intensity of these tagged proteins. This assay allows for near real-time in situ biomarker detection and enables spatiotemporal quantification of biomarker concentration. Snapshots of concentration profiles can be taken, or time series analysis can be performed enabling time-varying biomarker production estimation. Example assays utilize an osteosacroma tumoroid as a case study for a quantitative single-plexed gel encapsulated assay, and a qualitative multi-plexed 3D bioprinted assay. In both cases, a time-varying cytokine concentration gradient is measured. An estimation for the production rate of the IL-8 cytokine per second per osteosarcoma cell results from fitting an analytical function for continuous point source diffusion to the measured concentration gradient and reveals that each cell produces approximately two IL-8 cytokines per second. Proper calibration and use of this assay is exhaustively explored for the case of diffusion-limited Langmuir kinetics of a spherical adsorber.


title: Classical $n$-body system in volume variables. II. Four-body case

abstract: It is evident that the positions of 4 bodies in $d>2$ dimensional space can be identified with vertices of a tetrahedron. Square of volume of the tetrahedron, weighted sum of squared areas of four facets and weighted sum of squared edges are called the volume variables. A family of translation-invariant potentials which depend on volume variables alone is considered as well as solutions of the Newton equations which solely depend on volume variables. For the case of zero angular momentum $L=0$ the corresponding Hamiltonian, which describes these solutions, is derived. Three examples are studied in detail: (I) the (super)integrable 4-body closed chain of harmonic oscillators for $d>2$ (the harmonic molecule), (II) a generic, two volume variable dependent potential whose trajectories possess a constant moment of inertia ($d>1$), and (III) the 4-body anharmonic oscillator for $d \geq 1$. This work is the second of the sequel: the first one [IJMPA 36, No. 18 (2021)] was dedicated to study the 3-body classical problem in volume variables.


title: Calibration at elevation of the WEAVE fibre positioner

abstract: WEAVE is the new wide-field spectroscopy facility for the prime focus of the William Herschel Telescope in La Palma, Spain. Its fibre positioner is essential for the accurate placement of the spectrograph's 960 fibre multiplex. We provide an overview of the recent maintenance, flexure modifications, and calibration measurements conducted at the observatory prior to the final top-end assembly. This work ensures that we have a complete understanding of the positioner's behaviour as it changes orientation during observations. All fibre systems have been inspected and repaired, and the tumbler structure contains new clamps to stiffen both the internal beam and the retractor support disk onto which the field plates attach. We present the updated metrology procedures and results that will be verified on-sky.


title: The Fokker-Planck equation of the superstatistical fractional Brownian motion with application to passive tracers inside cytoplasm

abstract: By collecting from literature data the experimental evidences of anomalous diffusion of passive tracers inside cytoplasm, and in particular of subdiffusion of mRNA molecules inside live E. coli cells, we get the probability density function of molecules' displacement and we derive the corresponding Fokker-Planck equation. Molecules' distribution emerges to be related to the Kr\"atzel function and its Fokker-Planck equation be a fractional diffusion equation in the Erd\'elyi-Kober sense. The irreducibility of the derived Fokker-Planck equation to those of other literature models is also discussed.


title: tqix.pis: A toolbox for quantum dynamics simulation of spin ensembles in Dicke basis

abstract: We introduce tqix.pis, a library of tqix, for quantum dynamics simulation of spin ensembles. The library emulates a dynamic process by a quantum circuit, including initializing a quantum state, executing quantum operators, and measuring the final state. It utilizes collective processes in spin ensembles to reduce the dimension from exponentially to quadratically with the number of particles, i.e., the quantum state spans in Dicke basis. It also facilitates the simulation time with multi-core processors and Graphics Processing Units. The library is thus applicable for the simulation of ensembles of large number of particles that have collective properties. Various phenomena, such as spin squeezing, variational quantum squeezing, quantum phase transition, and many-body quantum dynamics, can be simulated using the library.


title: "More Than Words": Linking Music Preferences and Moral Values Through Lyrics

abstract: This study explores the association between music preferences and moral values by applying text analysis techniques to lyrics. Harvesting data from a Facebook-hosted application, we align psychometric scores of 1,386 users to lyrics from the top 5 songs of their preferred music artists as emerged from Facebook Page Likes. We extract a set of lyrical features related to each song's overarching narrative, moral valence, sentiment, and emotion. A machine learning framework was designed to exploit regression approaches and evaluate the predictive power of lyrical features for inferring moral values. Results suggest that lyrics from top songs of artists people like inform their morality. Virtues of hierarchy and tradition achieve higher prediction scores ($.20 \leq r \leq .30$) than values of empathy and equality ($.08 \leq r \leq .11$), while basic demographic variables only account for a small part in the models' explainability. This shows the importance of music listening behaviours, as assessed via lyrical preferences, alone in capturing moral values. We discuss the technological and musicological implications and possible future improvements.


title: First Hitting Diffusion Models for Generating Manifold, Graph and Categorical Data

abstract: We propose a family of First Hitting Diffusion Models (FHDM), deep generative models that generate data with a diffusion process that terminates at a random first hitting time. This yields an extension of the standard fixed-time diffusion models that terminate at a pre-specified deterministic time. Although standard diffusion models are designed for continuous unconstrained data, FHDM is naturally designed to learn distributions on continuous as well as a range of discrete and structure domains. Moreover, FHDM enables instance-dependent terminate time and accelerates the diffusion process to sample higher quality data with fewer diffusion steps. Technically, we train FHDM by maximum likelihood estimation on diffusion trajectories augmented from observed data with conditional first hitting processes (i.e., bridge) derived based on Doob's $h$-transform, deviating from the commonly used time-reversal mechanism. We apply FHDM to generate data in various domains such as point cloud (general continuous distribution), climate and geographical events on earth (continuous distribution on the sphere), unweighted graphs (distribution of binary matrices), and segmentation maps of 2D images (high-dimensional categorical distribution). We observe considerable improvement compared with the state-of-the-art approaches in both quality and speed.


title: Aperiodicity of positive operators that increase the support of functions

abstract: Consider a positive operator $T$ on an $L^p$-space (or, more generally, a Banach lattice) which increases the support of functions in the sense that $supp(Tf) \supseteq supp{f}$ for every function $f \ge 0$. We show that this implies, under mild assumptions, that $T$ has no unimodular eigenvalues except for possibly the number $1$. This rules out periodic behaviour of any orbits of the powers of $T$, and thus enables us to prove convergence of those powers in many situations. For the proof we first perform a careful analysis of the action of lattice homomorphisms on the support of functions; then we split $T$ into an invertible and a weakly stable part, and apply the aforementioned analysis to the invertible part. An appropriate adaptation of this argument allows us to prove another version of our main result which is useful for the study of so-called irreducible operators.


title: An Interpretable and Efficient Infinite-Order Vector Autoregressive Model for High-Dimensional Time Series

abstract: As a special infinite-order vector autoregressive (VAR) model, the vector autoregressive moving average (VARMA) model can capture much richer temporal patterns than the widely used finite-order VAR model. However, its practicality has long been hindered by its non-identifiability, computational intractability, and difficulty of interpretation, especially for high-dimensional time series. This paper proposes a novel sparse infinite-order VAR model for high-dimensional time series, which avoids all above drawbacks while inheriting essential temporal patterns of the VARMA model. As another attractive feature, the temporal and cross-sectional structures of the VARMA-type dynamics captured by this model can be interpreted separately, since they are characterized by different sets of parameters. This separation naturally motivates the sparsity assumption on the parameters determining the cross-sectional dependence. As a result, greater statistical efficiency and interpretability can be achieved with little loss of temporal information. We introduce two $\ell_1$-regularized estimation methods for the proposed model, which can be efficiently implemented via block coordinate descent algorithms, and derive the corresponding nonasymptotic error bounds. A consistent model order selection method based on the Bayesian information criteria is also developed. The merit of the proposed approach is supported by simulation studies and a real-world macroeconomic data analysis.


title: Optimal bump functions for shallow ReLU networks: Weight decay, depth separation and the curse of dimensionality

abstract: In this note, we study how neural networks with a single hidden layer and ReLU activation interpolate data drawn from a radially symmetric distribution with target labels 1 at the origin and 0 outside the unit ball, if no labels are known inside the unit ball. With weight decay regularization and in the infinite neuron, infinite data limit, we prove that a unique radially symmetric minimizer exists, whose weight decay regularizer and Lipschitz constant grow as $d$ and $\sqrt{d}$ respectively. We furthermore show that the weight decay regularizer grows exponentially in $d$ if the label $1$ is imposed on a ball of radius $\varepsilon$ rather than just at the origin. By comparison, a neural networks with two hidden layers can approximate the target function without encountering the curse of dimensionality.


title: Extend and Explain: Interpreting Very Long Language Models

abstract: While Transformer language models (LMs) are state-of-the-art for information extraction, long text introduces computational challenges requiring suboptimal preprocessing steps or alternative model architectures. Sparse attention LMs can represent longer sequences, overcoming performance hurdles. However, it remains unclear how to explain predictions from these models, as not all tokens attend to each other in the self-attention layers, and long sequences pose computational challenges for explainability algorithms when runtime depends on document length. These challenges are severe in the medical context where documents can be very long, and machine learning (ML) models must be auditable and trustworthy. We introduce a novel Masked Sampling Procedure (MSP) to identify the text blocks that contribute to a prediction, apply MSP in the context of predicting diagnoses from medical text, and validate our approach with a blind review by two clinicians. Our method identifies about 1.7x more clinically informative text blocks than the previous state-of-the-art, runs up to 100x faster, and is tractable for generating important phrase pairs. MSP is particularly well-suited to long LMs but can be applied to any text classifier. We provide a general implementation of MSP.


title: Intentional and serendipitous diffusion of ideas: Evidence from academic conferences

abstract: This paper investigates the effects of seeing ideas presented in-person when they are easily accessible online. Presentations may increase the diffusion of ideas intentionally (when one attends the presentation of an idea of interest) and serendipitously (when one sees other ideas presented in the same session). We measure these effects in the context of 25 computer science conferences using data from the scheduling application Confer, which lets users browse papers, Like those of interest, and receive schedules of their presentations. We address endogeneity concerns in presentation attendance by exploiting scheduling conflicts: when a user Likes multiple papers that are presented at the same time, she cannot see them both, potentially affecting their diffusion. Estimates show that being able to see presentations increases citing of Liked papers within two years by 1.5 percentage points (62.5% boost over the baseline citation rate). Attention to Liked papers also spills over to non-Liked papers in the same session, increasing their citing by 0.5 percentage points (125% boost), and this serendipitous diffusion represents 30.5% of the total effect. Both diffusion types were concentrated among papers semantically close to an attendee's prior work, suggesting that there are inefficiencies in finding related research that conferences help overcome. Overall, even when ideas are easily accessible online, in-person presentations substantially increase diffusion, much of it serendipitous.


title: Statistical analysis of initial state and final state response in heavy-ion collisions

abstract: We develop a general decomposition of an ensemble of initial density profiles in terms of an average state and a basis of modes that represent the event-by-event fluctuations of the initial state. The basis is determined such that the probability distributions of the amplitudes of different modes are uncorrelated. Based on this decomposition, we quantify the different types and probabilities of event-by-event fluctuations in Glauber and Saturation models and investigate how the various modes affect different characteristics of the initial state. We perform simulations of the dynamical evolution with KoMPoST and MUSIC to investigate the impact of the modes on final-state observables and their correlations.


title: Sensitivity projections for a dual-phase argon TPC optimized for light dark matter searches through the ionization channel

abstract: Dark matter lighter than 10 GeV/c$^2$ encompasses a promising range of candidates. A conceptual design for a new detector, DarkSide-LowMass, is presented, based on the DarkSide-50 detector and progress toward DarkSide-20k, optimized for a low-threshold electron-counting measurement. Sensitivity to light dark matter is explored for various potential energy thresholds and background rates. These studies show that DarkSide-LowMass can achieve sensitivity to light dark matter down to the solar neutrino floor for GeV-scale masses and significant sensitivity down to 10 MeV/c$^2$ considering the Migdal effect or interactions with electrons. Requirements for optimizing the detector's sensitivity are explored, as are potential sensitivity gains from modeling and mitigating spurious electron backgrounds that may dominate the signal at the lowest energies.


title: Measurement of the time structure of FLASH beams using prompt gamma rays and secondary neutrons as surrogates

abstract: We aim to investigate the feasibility of online monitoring of irradiation time (IRT) and scan time for FLASH radiotherapy using a pixelated semiconductor detector. Measurements of the time structure of FLASH irradiations were performed using fast, pixelated spectral detectors, AdvaPIX-TPX3 and Minipix-TPX3. The latter has a fraction of its sensor coated with a neutron sensitive material. With little or no dead time and an ability to resolve events that are closely spaced in time (tens of ns), both detectors can accurately determine IRTs as long as pile-ups are avoided. To avoid pile-ups, we placed the detectors beyond the Bragg peak or at a large scattering angle. We acquired prompt gamma rays and secondary neutrons and calculated IRTs based on timestamps of the first (beam-on) and the last (beam-off) charged species. We also measured scan times in x, y, and diagonal directions. We performed these measurements for a single spot, a small animal field, a patient field, and a ridge filter optimized field to demonstrate in vivo online monitoring of IRT. All measurements were compared to vendor log files. Differences between measurements and log files for a single spot, a small animal field, and a patient field were within 1%, 0.3% and 1%, respectively. In vivo monitoring of IRTs was accurate within 0.1% for AdvaPIX-TPX3 and within 6.1% for Minipix-TPX3. The scan times in x, y, and diagonal directions were 4.0, 3.4, and 4.0 ms, respectively. Overall, the AdvaPIX-TPX3 can measure FLASH IRTs within 1% accuracy, indicating that prompt gamma rays are a good surrogate for primary protons. The Minipix-TPX3 showed a higher discrepancy, suggesting a need for further investigation. The scan times (3.4 \pm 0.05 ms) in the 60-mm distance of y-direction were less than (4.0 \pm 0.06 ms) in the 24-mm distance of x-direction, confirming the much faster scanning speed of the Y magnets than that of X.


title: Automatic Detection of Speculative Execution Combinations

abstract: Modern processors employ different prediction mechanisms to speculate over different kinds of instructions. Attackers can exploit these prediction mechanisms simultaneously in order to trigger leaks about speculatively-accessed data. Thus, sound reasoning about such speculative leaks requires accounting for all potential mechanisms of speculation. Unfortunately, existing formal models only support reasoning about fixed, hard-coded mechanisms of speculation, with no simple support to extend said reasoning to new mechanisms. In this paper we develop a framework for reasoning about composed speculative semantics that capture speculation due to different mechanisms and implement it as part of the Spectector verification tool. We implement novel semantics for speculating over store and return instructions and combine them with the semantics for speculating over branches. Our framework yields speculative semantics for speculating over any combination of those instructions that are secure by construction, i.e., we obtain these security guarantees for free. The implementation of our novel semantics in Spectector let us verify existing codebases that are vulnerable to Spectre v1, Spectre v4, and Spectre v5 vulnerabilities as well as new snippets that are only vulnerable to their compositions.


title: Software Tools for Decoding Quantum Low-Density Parity Check Codes

abstract: Quantum Error Correction (QEC) is an essential field of research towards the realization of large-scale quantum computers. On the theoretical side, a lot of effort is put into designing error-correcting codes that protect quantum data from errors, which inevitably happen due to the noisy nature of quantum hardware and quantum bits (qubits). Protecting data with an error-correcting code necessitates means to recover the original data, given a potentially corrupted data set-a task referred to as decoding. It is vital that decoding algorithms can recover error-free states in an efficient manner. While theoretical properties of recent QEC methods have been extensively studied, good techniques to analyze their performance in practically more relevant settings is still a widely unexplored area. In this work, we propose a set of software tools that allows to numerically experiment with so-called Quantum Low-Density Parity Check codes (QLDPC codes)-a broad class of codes, some of which have recently been shown to be asymptotically good. Based on that, we provide an implementation of a general decoder for QLDPC codes. On top of that, we propose an efficient heuristic decoder that tackles the runtime bottlenecks of the general QLDPC decoder while still maintaining comparable decoding performance. These tools eventually allow to confirm theoretical results around QLDPC codes in a more practical setting and showcase the value of software tools (in addition to theoretical considerations) for investigating codes for practical applications. The resulting tool, which is publicly available at https://github.com/lucasberent/qecc under the MIT license, is meant to provide a playground for the search for "practically good" quantum codes.


title: The distance backbone of directed networks

abstract: In weighted graphs the shortest path between two nodes is often reached through an indirect path, out of all possible connections, leading to structural redundancies which play key roles in the dynamics and evolution of complex networks. We have previously developed a parameter-free, algebraically-principled methodology to uncover such redundancy and reveal the distance backbone of weighted graphs, which has been shown to be important in transmission dynamics, inference of important paths, and quantifying the robustness of networks. However, the method was developed for undirected graphs. Here we expand this methodology to weighted directed graphs and study the redundancy and robustness found in nine networks ranging from social, biomedical, and technical systems. We found that similarly to undirected graphs, directed graphs in general also contain a large amount of redundancy, as measured by the size of their (directed) distance backbone. Our methodology adds an additional tool to the principled sparsification of complex networks and the measure of their robustness.


title: Continuously varying critical exponents in long-range quantum spin ladders

abstract: We investigate the quantum-critical behavior between the rung-singlet phase with hidden string order and the N\'eel phase with broken $SU(2)$-symmetry on quantum spin ladders with algebraically decaying unfrustrated long-range Heisenberg interactions. Combining perturbative continuous unitary transformations (pCUT) with a white-graph expansion and Monte Carlo simulations yields high-order series expansions of energies and observables in the thermodynamic limit about the isolated rung-dimer limit. The breakdown of the rung-singlet phase allows to determine the critical line and the entire set of critical exponents as a function of the decay exponent of the long-range interaction. A non-trivial regime of continuously varying critical exponents as well as long-range mean-field behavior is demonstrated reminiscent of the long-range transverse-field Ising model.


title: Indoor Positioning in 5G-Advanced: Challenges and Solution towards Centimeter-level Accuracy with Carrier Phase Enhancements

abstract: After robust connectivity, precise positioning is evolving into an innovative component of 5G service offerings for industrial use-cases and verticals with challenging indoor radio environments. In this direction, the 3GPP Rel-16 standard has been a tipping point in specifying critical innovations, followed by enhancements in Rel-17 and Rel-18. In this article, we elaborate on the 5G positioning framework, measurements, and procedures before shifting the focus mainly to recently identified carrier-phase (CP) measurements in Rel-18 as a complementary measure for time- and angular-based positioning methods. We discuss the associated challenges and potential solutions for exploiting CP, including integer ambiguity, multipath sensitivity, and signaling aspects. Furthermore, we study how phase-continuous reference signaling can counter noisy phase measurements using realistic simulations to achieve centimeter-level accuracy in indoor factory (InF) scenarios.


title: A Meyer-It\^o Formula for Stable Processes via Fractional Calculus

abstract: The infinitesimal generator of a one-dimensional strictly $\alpha$-stable process can be represented as a weighted sum of (right and left) Riemann-Liouville fractional derivatives of order $\alpha$ and one obtains the fractional Laplacian in the case of symmetric stable processes. Using this relationship, we compute the inverse of the infinitesimal generator on Lizorkin space, from which we can recover the potential if $\alpha \in (0,1)$ and the recurrent potential if $\alpha \in (1,2)$. The inverse of the infinitesimal generator is expressed in terms of a linear combination of (right and left) Riemann-Liouville fractional integrals of order $\alpha$. One can then state a class of functions that give semimartingales when applied to strictly stable processes and state a Meyer-It\^o theorem with a non-zero (occupational) local time term, providing a generalization of the Tanaka formula given by Tsukada (2019). This result is used to find a Doob-Meyer (or semimartingale) decomposition for $|X_t - x|^{\gamma}$ with $X$ a recurrent strictly stable process of index $\alpha$ and $\gamma\in (\alpha-1,\alpha)$, generalizing the work of Engelbert and Kurenok (2019) to the asymmetric case.


title: No sensitivity to functional forms in the Rosenzweig-MacArthur model with strong environmental stochasticity

abstract: The classic Rosenzweig-MacArthur predator-prey model has been shown to exhibit, like other coupled nonlinear ordinary differential equations (ODEs) from ecology, worrying sensitivity to model structure. This sensitivity manifests as markedly different community dynamics arising from saturating functional responses with nearly identical shapes but different mathematical expressions. Using a stochastic differential equation (SDE) version of the Rosenzweig-MacArthur model with the three functional responses considered by Fussman & Blasius (2005), I show that such sensitivity seems to be solely a property of ODEs or stochastic systems with weak noise. SDEs with strong environmental noise have by contrast very similar fluctuations patterns, irrespective of the mathematical formula used. Although eigenvalues of linearised predator-prey models have been used as an argument for structural sensitivity, they can also be an argument against structural sensitivity. While the sign of the eigenvalues' real part is sensitive to model structure, its magnitude and the presence of imaginary parts are not, which suggests noise-driven oscillations for a broad range of carrying capacities. I then discuss multiple ways to evaluate structural sensitivity in a stochastic setting, for predator-prey or other ecological systems.


title: Gravity theories with local energy-momentum exchange: a closer look at Rastall-like gravity

abstract: Einstein's famous equivalence principle is certainly one of the most striking features of the gravitational interaction. In a strict reading, it states that the effects of gravity can be made to disappear $locally$ by a convenient choice of reference frame. As a consequence, no covariantly-defined gravitational force should exist and energy-momentum of all matter and interaction fields combined, with gravity $excluded$, should be locally conserved. Although elegant, this separate conservation law represents a strong constraint on the dynamics of a gravitating system and it is only logical to question its naturality and observational basis. This is the purpose of the present work. For concreteness sake, we analyze, in the context of metric theories of gravity, the simplest phenomenological model which allows for local energy-momentum exchange between the spacetime and matter/interaction fields while preserving the seemingly more natural principle of general covariance. This concrete model turns out to be a generalization of the socalled Rastall's theory, with one important advantage: criticisms made to the latter, which are often used to dismiss it as a viable or interesting model, do not apply to the former in a universe containing "dark" ingredients, such as ours -- a connection which seems to have been overlooked thus far. We conclude by exploring the consequences of our Rastall-like model to standard (astrophysical and cosmological) gravitational scenarios.


title: Conformal Assouad dimension as the critical exponent for combinatorial modulus

abstract: The conformal Assouad dimension is the infimum of all possible values of Assouad dimension after a quasisymmetric change of metric. We show that the conformal Assouad dimension equals a critical exponent associated to the combinatorial modulus for any compact doubling metric space. This generalizes a similar result obtained by Carrasco Piaggio for the Ahlfors regular conformal dimension to a larger family of spaces. We also show that the value of conformal Assouad dimension is unaffected if we replace quasisymmetry with power quasisymmetry in its definition.


title: Petals: Collaborative Inference and Fine-tuning of Large Models

abstract: Many NLP tasks benefit from using large language models (LLMs) that often have more than 100 billion parameters. With the release of BLOOM-176B and OPT-175B, everyone can download pretrained models of this scale. Still, using these models requires high-end hardware unavailable to many researchers. In some cases, LLMs can be used more affordably via RAM offloading or hosted APIs. However, these techniques have innate limitations: offloading is too slow for interactive inference, while APIs are not flexible enough for research that requires access to weights, attention or logits. In this work, we propose Petals - a system for inference and fine-tuning of large models collaboratively by joining the resources of multiple parties. We demonstrate that this strategy outperforms offloading for very large models, running inference of BLOOM-176B on consumer GPUs with $\approx$ 1 step per second, which is enough for many interactive LLM applications. Unlike most inference APIs, Petals also natively exposes hidden states of served models, allowing to train and share custom model extensions based on efficient fine-tuning methods.


title: A stability range for topological 4-manifolds

abstract: We introduce a new stable range invariant for the classification of closed, oriented topological $4$-manifolds (up to $s$-cobordism), after stabilization by connected sum with a uniformly bounded number of copies of $S^2\times S^2$.


title: Shooting Stars in Simple Drawings of $K_{m,n}$

abstract: Simple drawings are drawings of graphs in which two edges have at most one common point (either a common endpoint, or a proper crossing). It has been an open question whether every simple drawing of a complete bipartite graph $K_{m,n}$ contains a plane spanning tree as a subdrawing. We answer this question to the positive by showing that for every simple drawing of $K_{m,n}$ and for every vertex $v$ in that drawing, the drawing contains a shooting star rooted at $v$, that is, a plane spanning tree containing all edges incident to $v$.


title: Long-term hail risk assessment with deep neural networks

abstract: Hail risk assessment is necessary to estimate and reduce damage to crops, orchards, and infrastructure. Also, it helps to estimate and reduce consequent losses for businesses and, particularly, insurance companies. But hail forecasting is challenging. Data used for designing models for this purpose are tree-dimensional geospatial time series. Hail is a very local event with respect to the resolution of available datasets. Also, hail events are rare - only 1% of targets in observations are marked as "hail". Models for nowcasting and short-term hail forecasts are improving. Introducing machine learning models to the meteorology field is not new. There are also various climate models reflecting possible scenarios of climate change in the future. But there are no machine learning models for data-driven forecasting of changes in hail frequency for a given area. The first possible approach for the latter task is to ignore spatial and temporal structure and develop a model capable of classifying a given vertical profile of meteorological variables as favorable to hail formation or not. Although such an approach certainly neglects important information, it is very light weighted and easily scalable because it treats observations as independent from each other. The more advanced approach is to design a neural network capable to process geospatial data. Our idea here is to combine convolutional layers responsible for the processing of spatial data with recurrent neural network blocks capable to work with temporal structure. This study compares two approaches and introduces a model suitable for the task of forecasting changes in hail frequency for ongoing decades.