title: Semantic Communication via Rate Distortion Perception Bottleneck

abstract: With the advancement of Artificial Intelligence (AI) technology, next-generation wireless communication network is facing unprecedented challenge. Semantic communication has become a novel solution to address such challenges, with enhancing the efficiency of bandwidth utilization by transmitting meaningful information and filtering out superfluous data. Unfortunately, recent studies have shown that classical Shannon information theory primarily focuses on the bit-level distortion, which cannot adequately address the perceptual quality issues of data reconstruction at the receiver end. In this work, we consider the impact of semantic-level distortion on semantic communication. We develop an image inference network based on the Information Bottleneck (IB) framework and concurrently establish an image reconstruction network. This network is designed to achieve joint optimization of perception and bit-level distortion, as well as image inference, associated with compressing information. To maintain consistency with the principles of IB for handling high-dimensional data, we employ variational approximation methods to simplify the optimization problem. Finally, we confirm the existence of the rate distortion perception tradeoff within IB framework through experimental analysis conducted on the MNIST dataset.


title: Driving-Video Dehazing with Non-Aligned Regularization for Safety Assistance

abstract: Real driving-video dehazing poses a significant challenge due to the inherent difficulty in acquiring precisely aligned hazy/clear video pairs for effective model training, especially in dynamic driving scenarios with unpredictable weather conditions. In this paper, we propose a pioneering approach that addresses this challenge through a nonaligned regularization strategy. Our core concept involves identifying clear frames that closely match hazy frames, serving as references to supervise a video dehazing network. Our approach comprises two key components: reference matching and video dehazing. Firstly, we introduce a non-aligned reference frame matching module, leveraging an adaptive sliding window to match high-quality reference frames from clear videos. Video dehazing incorporates flow-guided cosine attention sampler and deformable cosine attention fusion modules to enhance spatial multiframe alignment and fuse their improved information. To validate our approach, we collect a GoProHazy dataset captured effortlessly with GoPro cameras in diverse rural and urban road environments. Extensive experiments demonstrate the superiority of the proposed method over current state-of-the-art methods in the challenging task of real driving-video dehazing. Project page.


title: Generative Design through Quality-Diversity Data Synthesis and Language Models

abstract: Two fundamental challenges face generative models in engineering applications: the acquisition of high-performing, diverse datasets, and the adherence to precise constraints in generated designs. We propose a novel approach combining optimization, constraint satisfaction, and language models to tackle these challenges in architectural design. Our method uses Quality-Diversity (QD) to generate a diverse, high-performing dataset. We then fine-tune a language model with this dataset to generate high-level designs. These designs are then refined into detailed, constraint-compliant layouts using the Wave Function Collapse algorithm. Our system demonstrates reliable adherence to textual guidance, enabling the generation of layouts with targeted architectural and performance features. Crucially, our results indicate that data synthesized through the evolutionary search of QD not only improves overall model performance but is essential for the model's ability to closely adhere to textual guidance. This improvement underscores the pivotal role evolutionary computation can play in creating the datasets key to training generative models for design. Web article at https://tilegpt.github.io


title: Partial bases and homological stability of $\operatorname{GL}_{n}(R)$ revisited

abstract: Let $R$ be a unital ring satisfying the invariant basis number property, that every stably free $R$-module is free, and that the complex of partial bases of every finite rank free module is Cohen--Macaulay. This class of rings includes every ring of stable rank $1$ (e.g. any local, semi-local or Artinian ring), every Euclidean domain, and every Dedekind domain $\mathcal{O}_S$ of arithmetic type where $|S| > 1$ and $S$ contains at least one non-complex place. Extending recent work of Galatius--Kupers--Randal-Williams and Kupers--Miller--Patzt, we prove that the sequence of general linear groups $\operatorname{GL}_n(R)$ satisfies slope-$1$ homological stability with $\mathbb{Z}[1/2]$-coefficients.


title: Reward Centering

abstract: We show that discounted methods for solving continuing reinforcement learning problems can perform significantly better if they center their rewards by subtracting out the rewards' empirical average. The improvement is substantial at commonly used discount factors and increases further as the discount factor approaches one. In addition, we show that if a problem's rewards are shifted by a constant, then standard methods perform much worse, whereas methods with reward centering are unaffected. Estimating the average reward is straightforward in the on-policy setting; we propose a slightly more sophisticated method for the off-policy setting. Reward centering is a general idea, so we expect almost every reinforcement-learning algorithm to benefit by the addition of reward centering.


title: Lack of differentiability of semigroups associated to delayed abstract thermoelastic systems

abstract: In this paper, we consider the associated semigroups to some abstract thermoelastic systems (in particular the {\alpha}-\b{eta} system), with a partial delay on the coupled system. We will prove that the corresponding semigroups (in appropriate Hilbert spaces) are not differentiable.


title: On Detecting Low-pass Graph Signals under Partial Observations

abstract: The application of graph signal processing (GSP) on partially observed graph signals with missing nodes has gained attention recently. This is because processing data from large graphs are difficult, if not impossible due to the lack of availability of full observations. Many prior works have been developed using the assumption that the generated graph signals are smooth or low pass filtered. This paper treats a blind graph filter detection problem under this context. We propose a detector that certifies whether the partially observed graph signals are low pass filtered, without requiring the graph topology knowledge. As an example application, our detector leads to a pre-screening method to filter out non low pass signals and thus robustify the prior GSP algorithms. We also bound the sample complexity of our detector in terms of the class of filters, number of observed nodes, etc. Numerical experiments verify the efficacy of our method.


title: Rapid stabilization and finite time stabilization of the bilinear Schr\"odinger equation

abstract: We propose a method to establish the rapid stabilization of the bilinear Schr\"odinger control system and its linearized system, and the finite time stabilization of the linearized system using the Grammian operators. The analysis of the rapid stabilization involves a new quantity (variable) which is inspired by the adjoint state in the optimal control theory and is proposed in our recent work on control systems associated with strongly continuous group. The analysis of the finite time stabilization follows the strategy introduced by Coron and Nguyen in the study of the finite time stabilization of the heat equation and incorporate a new ingredient involving the estimate of the cost of controls of the linearized system in small time derived in this paper.


title: Bogomolov-Gieseker inequality for log terminal K\"ahler threefolds

abstract: In this article we are concerned with two main themes revolving around compact K\"ahler spaces with log terminal singularities. The first one is the orbifold version of the Bogomolov-Gieseker inequality for stable $\mathbb Q$-sheaves on threefolds while the second one has to do with the construction of canonical metrics on such spaces and their properties.


title: ROCOv2: Radiology Objects in COntext Version 2, an Updated Multimodal Image Dataset

abstract: Automated medical image analysis systems often require large amounts of training data with high quality labels, which are difficult and time consuming to generate. This paper introduces Radiology Object in COntext version 2 (ROCOv2), a multimodal dataset consisting of radiological images and associated medical concepts and captions extracted from the PMC Open Access subset. It is an updated version of the ROCO dataset published in 2018, and adds 35,705 new images added to PMC since 2018. It further provides manually curated concepts for imaging modalities with additional anatomical and directional concepts for X-rays. The dataset consists of 79,789 images and has been used, with minor modifications, in the concept detection and caption prediction tasks of ImageCLEFmedical Caption 2023. The dataset is suitable for training image annotation models based on image-caption pairs, or for multi-label image classification using Unified Medical Language System (UMLS) concepts provided with each image. In addition, it can serve for pre-training of medical domain models, and evaluation of deep learning models for multi-task learning.


title: Probing the role of self-gravity in clouds impacted by AGN-driven winds

abstract: The impact of winds and jet-inflated bubbles driven by active galactic nuclei (AGN) are believed to significantly affect the host galaxy's interstellar medium (ISM) and regulate star formation. To explore this scenario, we perform a suite of hydrodynamic simulations to model the interaction between turbulent star-forming clouds and highly pressurised AGN-driven outflows, focusing on the effects of self-gravity. Our results demonstrate that the cloudlets fragmented by the wind can become gravitationally bound, significantly increasing their survival time. While external pressurisation leads to a global collapse of the clouds in cases of weaker winds ($10^{42}-10^{43}~{\rm erg~s^{-1}}$), higher-power winds ($10^{44}-10^{45}~{\rm erg~s^{-1}}$) disperse the gas and cause localised collapse of the cloudlets. We also demonstrate that a kinetic energy-dominated wind is more efficient in accelerating and dispersing the gas than a thermal wind with the same power. The interaction can give rise to multi-phase outflows with velocities ranging from a few 100 to several 1000~${\rm km\,s^{-1}}$. The mass outflow rates are tightly correlated with the wind power, which we explain by an ablation-based mass-loss model. Moreover, the velocity dispersion and the virial parameter of the cloud material can increase by up to one order of magnitude through the effect of the wind. Even though the wind can suppress or quench star formation for about 1 Myr during the initial interaction, a substantial number of gravitationally bound dense cloudlets manage to shield themselves from the wind's influence and subsequently undergo rapid gravitational collapse, leading to an enhanced star formation rate (SFR).


title: Machine Learning-Based Path Loss Modeling with Simplified Features

abstract: Propagation modeling is a crucial tool for successful wireless deployments and spectrum planning with the demand for high modeling accuracy continuing to grow. Recognizing that detailed knowledge of the physical environment (terrain and clutter) is essential, we propose a novel approach that uses environmental information for predictions. Instead of relying on complex, detail-intensive models, we explore the use of simplified scalar features involving the total obstruction depth along the direct path from transmitter to receiver. Obstacle depth offers a streamlined, yet surprisingly accurate, method for predicting wireless signal propagation, providing a practical solution for efficient and effective wireless network planning.


title: Sampling Theorem and interpolation formula for non-vanishing signals

abstract: The paper establishes an analog Whittaker-Shannon-Kotelnikov sampling theorem with fast decreasing coefficient, as well as a new modification of the corresponding interpolation formula applicable for general type non-vanishing bounded continuous signals.


title: Solving the enigma: Deriving optimal explanations of deep networks

abstract: The accelerated progress of artificial intelligence (AI) has popularized deep learning models across domains, yet their inherent opacity poses challenges, notably in critical fields like healthcare, medicine and the geosciences. Explainable AI (XAI) has emerged to shed light on these "black box" models, helping decipher their decision making process. Nevertheless, different XAI methods yield highly different explanations. This inter-method variability increases uncertainty and lowers trust in deep networks' predictions. In this study, for the first time, we propose a novel framework designed to enhance the explainability of deep networks, by maximizing both the accuracy and the comprehensibility of the explanations. Our framework integrates various explanations from established XAI methods and employs a non-linear "explanation optimizer" to construct a unique and optimal explanation. Through experiments on multi-class and binary classification tasks in 2D object and 3D neuroscience imaging, we validate the efficacy of our approach. Our explanation optimizer achieved superior faithfulness scores, averaging 155% and 63% higher than the best performing XAI method in the 3D and 2D applications, respectively. Additionally, our approach yielded lower complexity, increasing comprehensibility. Our results suggest that optimal explanations based on specific criteria are derivable and address the issue of inter-method variability in the current XAI literature.


title: Dirac operators on the half-line: stability of spectrum and non-relativistic limit

abstract: We consider Dirac operators on the half-line, subject to generalised infinite-mass boundary conditions. We derive sufficient conditions which guarantee the stability of the spectrum against possibly non-self-adjoint potential perturbations and study the optimality of the obtained results. Finally, we establish a non-relativistic limit which makes a relationship of the present model to the Robin Laplacian on the half-line.

categories: math.SP math-ph math.AP math.MP quant-ph


title: Introducing advanced hybrid coupling: Non-discriminatory coalescence of flow-based and net transfer capacity calculation regions

abstract: Flow-based market coupling is substantially altering the computation of cross-zonal capacities for the trade of electricity in the vast majority of European markets. The main benefit of the flow-based method is improved accuracy by better representing the impact of cross-zonal trade on the power flows in transmission grids. Some borders, adjacent to flow-based capacity regions, are represented through net transfer capacities during market coupling. Under the current standard hybrid coupling, the utilization of grid elements in the flow-based regions due to the predicted trade across such borders is not available for trades between flow-based zones. The flow-based representation is not limited to the given capacity calculation region, but can be extended to also model the impact of trade with other regions. This so-called advanced hybrid coupling replaces the priority inherently given to trade across net transfer capacity-coupled borders by introducing virtual bidding zones. These map the effect of non-flow-based borders on line capacities in the flow-based regions, enabling the market coupling optimization to prioritize trade between flow-based bidding zones and trade across non-flow-based borders. This paper explains the mechanism of advanced hybrid coupling and how it is modeled mathematically. Based on a test network, a case study shows to what extent and why advanced hybrid coupling leads to welfare gains during market coupling and lower congestion management costs in the flow-based region.


title: Tetrahedron equation and Schur functions

abstract: The tetrahedron equation introduced by Zamolodchikov is a three-dimensional generalization of the Yang-Baxter equation. Several types of solutions to the tetrahedron equation that have connections to quantum groups can be viewed as $q$-oscillator valued vertex models with matrix elements of the $L$-operators given by generators of the $q$-oscillator algebra acting on the Fock space. Using one of the $q=0$-oscillator valued vertex models introduced by Bazhanov-Sergeev, we introduce a family of partition functions that admits an explicit algebraic presentation using Schur functions. Our construction is based on the three-dimensional realization of the Zamolodchikov-Faddeev algebra provided by Kuniba-Okado-Maruyama. Furthermore, we investigate an inhomogeneous generalization of the three-dimensional lattice model. We show that the inhomogeneous analog of (a certain subclass of) partition functions can be expressed as loop elementary symmetric functions.


title: Electron Spin Dynamics of the Intersystem Crossing in Aminoanthraquinone Derivatives: The Spectral Telltale of Short Triplet Excited States

abstract: Herein we studied the excited state dynamics of two bis-amino substituted anthraquinone (AQ) derivatives. Femtosecond transient absorption spectra show that intersystem crossing (ISC) takes place in 190-320 ps, and nanosecond transient absorption spectra demonstrated unusually short triplet state lifetime (2.1-5.4 us) for the two AQ derivatives at room temperature. Pulsed laser excited time-resolved electron paramagnetic resonance (TREPR) spectra shows an inversion of the electron spin polarization (ESP) phase pattern of the triplet state at longer delay time. Spectral simulations show that the faster decay of the Ty sublevel (x = 15.0 us, y = 1.50 us, z = 15.0 us) rationalizes the short T1 state lifetime and the ESP inversion. Computations taking into account the electron-vibrational coupling, i.e., the Herzberg-Teller effect, successfully rationalize the TREPR experimental observations.


title: Charged rotating wormholes: charge without charge

abstract: We present a family of charged rotating wormhole solutions to the Einstein-Maxwell equations, supported by anisotropic matter fields. We first revisit the charged static cases and analyze the conditions for the solution to represent a wormhole geometry. The rotating geometry is obtained by applying the Newman-Janis algorithm to the static geometry. We show the solutions to Maxwell equations in detail. We believe that our wormhole geometry offers a geometric realization corresponding to the concept of 'charge without charge'.


title: Frequency-Domain Refinement with Multiscale Diffusion for Super Resolution

abstract: The performance of single image super-resolution depends heavily on how to generate and complement high-frequency details to low-resolution images. Recently, diffusion-based models exhibit great potential in generating high-quality images for super-resolution tasks. However, existing models encounter difficulties in directly predicting high-frequency information of wide bandwidth by solely utilizing the high-resolution ground truth as the target for all sampling timesteps. To tackle this problem and achieve higher-quality super-resolution, we propose a novel Frequency Domain-guided multiscale Diffusion model (FDDiff), which decomposes the high-frequency information complementing process into finer-grained steps. In particular, a wavelet packet-based frequency complement chain is developed to provide multiscale intermediate targets with increasing bandwidth for reverse diffusion process. Then FDDiff guides reverse diffusion process to progressively complement the missing high-frequency details over timesteps. Moreover, we design a multiscale frequency refinement network to predict the required high-frequency components at multiple scales within one unified network. Comprehensive evaluations on popular benchmarks are conducted, and demonstrate that FDDiff outperforms prior generative methods with higher-fidelity super-resolution results.


title: Non-Hermitian Topology in Hermitian Topological Matter

abstract: Non-Hermiticity leads to distinctive topological phenomena absent in Hermitian systems. However, connection between such intrinsic non-Hermitian topology and Hermitian topology has remained largely elusive. Here, considering the bulk and boundary as an environment and system, we demonstrate that anomalous boundary states in Hermitian topological insulators exhibit non-Hermitian topology. We study the self-energy capturing the particle exchange between the bulk and boundary, and demonstrate that it detects Hermitian topology in the bulk and induces non-Hermitian topology at the boundary. As an illustrative example, we show the non-Hermitian topology and concomitant skin effect inherently embedded within chiral edge states of Chern insulators. We also find the emergence of hinge states within effective non-Hermitian Hamiltonians at surfaces of three-dimensional topological insulators. Furthermore, we comprehensively classify our correspondence across all the tenfold symmetry classes of topological insulators and superconductors. Our work uncovers a hidden connection between Hermitian and non-Hermitian topology, and provides an approach to identifying non-Hermitian topology in quantum matter.


title: Toward double copy on arbitrary backgrounds

abstract: Double copy relates scattering amplitudes in a web of gravitational and gauge theories. Although it has seen great success when applied to amplitudes in vacuum, far less is known about double copy in arbitrary gravitational and gauge backgrounds. Focussing on the simplest pair production amplitudes of scalar QCD in a background gauge field, we construct, at next-to-leading order in perturbation theory, a double copy map to particle production in general metrics (and associated axio-dilatons) constructed from the gauge background. We connect our results to convolutional and classical double copy and, turning to examples, identify a class of gauge fields which generate FRW spacetimes via double copy. For this case we are able to conjecture the all-orders form of the double copy map.


title: Mechanism for the Broadened Linewidth in Antiferromagnetic Resonance

abstract: The linewidth of antiferromagnetic resonance (AFMR) is found to be significantly broader than that of ferromagnetic resonance (FMR), even when the intrinsic Gilbert damping parameter is the same for both systems. We investigate the origin of this enhanced damping rate in AFMR by studying a bipartite magnet model. Through analytical calculations and numerical simulations, we present three perspectives on understanding this linewidth broadening in AFMR: i) The non-dissipative Heisenberg exchange interaction develops a damping-like component in the presence of Gilbert damping, ii) The transverse component of the exchange coupling reduces the AFMR frequency, thereby increasing the damping rate, and iii) The antiferromagnetic eigenmode exhibits characteristics of a two-mode squeezed state, which is inherently linked to an enhanced damping rate. Our findings provide a comprehensive understanding of the complex dynamics governing magnetic dissipation in antiferromagnet and offer insights into the experimentally observed broadened linewidths in AFMR spectra.


title: Data-Efficient Low-Complexity Acoustic Scene Classification in the DCASE 2024 Challenge

abstract: This article describes the Data-Efficient Low-Complexity Acoustic Scene Classification Task in the DCASE 2024 Challenge and the corresponding baseline system. The task setup is a continuation of previous editions (2022 and 2023), which focused on recording device mismatches and low-complexity constraints. This year's edition introduces an additional real-world problem: participants must develop data-efficient systems for five scenarios, which progressively limit the available training data. The provided baseline system is based on an efficient, factorized CNN architecture constructed from inverted residual blocks and uses Freq-MixStyle to tackle the device mismatch problem. The baseline system's accuracy ranges from 42.40% on the smallest to 56.99% on the largest training set.


title: Distinct radial acceleration relations of galaxies and galaxy clusters supports hyperconical modified gravity

abstract: General relativity (GR) is the most successful theory of gravity, with great observational support on local scales. However, to keep GR valid over cosmic scales, some phenomena (such as flat galaxy rotation curves and the cosmic expansion history) require the assumption of exotic dark matter. The radial acceleration relation (RAR) indicates a tight correlation between dynamical mass and baryonic mass in galaxies. This suggests that the observations could be better explained by modified gravity theories without exotic matter. Modified Newtonian Dynamics (MOND) is an alternative theory that was originally designed to explain flat galaxy rotation curves by using a new fundamental constant acceleration $a_0$, the so-called Milgromian parameter. However, this non-relativistic model is too rigid (with insufficient parameters) to fit the large diversity of observational phenomena. In contrast, a relativistic MOND-like gravity naturally emerges from the hyperconical model, which derives a fictitious acceleration compatible with observations. This study analyses the compatibility of the hyperconical model with respect to distinct RAR observations of 10 galaxy clusters obtained from HIFLUGCS and 60 high-quality SPARC galaxy rotation curves. The results show that a general relation can be fitted to most cases with only one or two parameters, with an acceptable $\chi^2$ and $p$-value. These findings suggest a possible way to complete the proposed modification of GR on cosmic scales.


title: Natural Language Can Help Bridge the Sim2Real Gap

abstract: The main challenge in learning image-conditioned robotic policies is acquiring a visual representation conducive to low-level control. Due to the high dimensionality of the image space, learning a good visual representation requires a considerable amount of visual data. However, when learning in the real world, data is expensive. Sim2Real is a promising paradigm for overcoming data scarcity in the real-world target domain by using a simulator to collect large amounts of cheap data closely related to the target task. However, it is difficult to transfer an image-conditioned policy from sim to real when the domains are very visually dissimilar. To bridge the sim2real visual gap, we propose using natural language descriptions of images as a unifying signal across domains that captures the underlying task-relevant semantics. Our key insight is that if two image observations from different domains are labeled with similar language, the policy should predict similar action distributions for both images. We demonstrate that training the image encoder to predict the language description or the distance between descriptions of a sim or real image serves as a useful, data-efficient pretraining step that helps learn a domain-invariant image representation. We can then use this image encoder as the backbone of an IL policy trained simultaneously on a large amount of simulated and a handful of real demonstrations. Our approach outperforms widely used prior sim2real methods and strong vision-language pretraining baselines like CLIP and R3M by 25 to 40%.


title: $\tau$-Tilting finiteness of group algebras of semidirect products of abelian $p$-groups and abelian $p'$-groups

abstract: Demonet, Iyama and Jasso introduced a new class of finite dimensional algebras, $\tau$-tilting finite algebras. It was shown by Eisele, Janssens and Raedschelders that tame blocks of group algebras of finite groups are always $\tau$-tilting finite. Given the classical result that the representation type (representation finite, tame or wild) of blocks is determined by their defect groups, it is natural to ask what kinds of subgroups control $\tau$-tilting finiteness of group algebras or their blocks. In this paper, as a positive answer to this question, we demonstrate that $\tau$-tilting finiteness of a group algebra of a finite group $G$ is controlled by a $p$-hyperfocal subgroup of $G$ under some assumptions on $G$. We consider a group algebra of a finite group $P\rtimes H$ over an algebraically closed field of positive characteristic $p$, where $P$ is an abelian $p$-group and $H$ is an abelian $p'$-group acting on $P$, and show that $p$-hyperfocal subgroups determine $\tau$-tilting finiteness of the group algebras in this case.


title: Monaural speech enhancement on drone via Adapter based transfer learning

abstract: Monaural Speech enhancement on drones is challenging because the ego-noise from the rotating motors and propellers leads to extremely low signal-to-noise ratios at onboard microphones. Although recent masking-based deep neural network methods excel in monaural speech enhancement, they struggle in the challenging drone noise scenario. Furthermore, existing drone noise datasets are limited, causing models to overfit. Considering the harmonic nature of drone noise, this paper proposes a frequency domain bottleneck adapter to enable transfer learning. Specifically, the adapter's parameters are trained on drone noise while retaining the parameters of the pre-trained Frequency Recurrent Convolutional Recurrent Network (FRCRN) fixed. Evaluation results demonstrate the proposed method can effectively enhance speech quality. Moreover, it is a more efficient alternative to fine-tuning models for various drone types, which typically requires substantial computational resources.


title: On the selective formation of cubic tetrastack crystals from tetravalent patchy particles

abstract: Achieving the formation of target open crystalline lattices from colloidal particles is of paramount importance for their potential application in photonics. Examples of such desired structures are the diamond, tetrastack, and pyrochlore lattices. Here, we demonstrate that the self-assembly of tetravalent patchy particles results in the selective formation of cubic tetrastack crystals, both in the bulk and in the systems subjected to external fields exerted by the solid substrate. It is demonstrated that the presence of an external field allows for the formation of well-defined single crystals with a low density of defects. Moreover, depending on the strength of the applied external field, the mechanism of epitaxial growth changes. For weakly attractive external fields, the crystallization occurs in a similar manner as in the bulk, since the fluid does not wet the substrate. Nonetheless, the formed crystal is considerably better ordered than the crystals formed in bulk, since the surface induces the ordering in the first layer. On the other hand, it is demonstrated that the formation of well-ordered cubic tetrastack crystals is considerably enhanced by the increase in external field strength, and the formation of the thick crystalline film occurs via a series of layering transitions.


title: $\Delta\text{-}{\rm OPE}$: Off-Policy Estimation with Pairs of Policies

abstract: The off-policy paradigm casts recommendation as a counterfactual decision-making task, allowing practitioners to unbiasedly estimate online metrics using offline data. This leads to effective evaluation metrics, as well as learning procedures that directly optimise online success. Nevertheless, the high variance that comes with unbiasedness is typically the crux that complicates practical applications. An important insight is that the difference between policy values can often be estimated with significantly reduced variance, if said policies have positive covariance. This allows us to formulate a pairwise off-policy estimation task: $\Delta\text{-}{\rm OPE}$. $\Delta\text{-}{\rm OPE}$ subsumes the common use-case of estimating improvements of a learnt policy over a production policy, using data collected by a stochastic logging policy. We introduce $\Delta\text{-}{\rm OPE}$ methods based on the widely used Inverse Propensity Scoring estimator and its extensions. Moreover, we characterise a variance-optimal additive control variate that further enhances efficiency. Simulated, offline, and online experiments show that our methods significantly improve performance for both evaluation and learning tasks.


title: Listen Again and Choose the Right Answer: A New Paradigm for Automatic Speech Recognition with Large Language Models

abstract: Recent advances in large language models (LLMs) have promoted generative error correction (GER) for automatic speech recognition (ASR), which aims to predict the ground-truth transcription from the decoded N-best hypotheses. Thanks to the strong language generation ability of LLMs and rich information in the N-best list, GER shows great effectiveness in enhancing ASR results. However, it still suffers from two limitations: 1) LLMs are unaware of the source speech during GER, which may lead to results that are grammatically correct but violate the source speech content, 2) N-best hypotheses usually only vary in a few tokens, making it redundant to send all of them for GER, which could confuse LLM about which tokens to focus on and thus lead to increased miscorrection. In this paper, we propose ClozeGER, a new paradigm for ASR generative error correction. First, we introduce a multimodal LLM (i.e., SpeechGPT) to receive source speech as extra input to improve the fidelity of correction output. Then, we reformat GER as a cloze test with logits calibration to remove the input information redundancy and simplify GER with clear instructions. Experiments show that ClozeGER achieves a new breakthrough over vanilla GER on 9 popular ASR datasets.


title: The case for specifying the "ideal" target trial

abstract: The target trial is an increasingly popular conceptual device for guiding the design and analysis of observational studies that seek to perform causal inference. As tends to occur with concepts like this, there is variability in how certain aspects of the approach are understood, which may lead to potentially consequential differences in how the approach is taught, implemented, and interpreted in practice. In this paper, we consider two of these aspects: how the target trial should be specified, and relatedly, how the target trial fits within a formal causal inference framework. We first describe two challenges with what we call the "aligned" approach to target trial specification, which is common in evaluations of medical interventions using healthcare databases and seeks to specify a target trial that is closely aligned to the observational data so that all protocol components apart from randomization can be closely emulated. We then argue how these challenges can be circumvented by an approach that focusses on specifying the "ideal" target trial: a trial with certain idealized aspects that ensure it is relevant to answer the research question. In essence, this approach is applicable in a broader range of settings and enables systematic assessment of all potential sources of causal bias. Importantly, this view provides clarification for how the target trial approach fits within a formal causal inference framework.


title: The Real Price of Bandit Information in Multiclass Classification

abstract: We revisit the classical problem of multiclass classification with bandit feedback (Kakade, Shalev-Shwartz and Tewari, 2008), where each input classifies to one of $K$ possible labels and feedback is restricted to whether the predicted label is correct or not. Our primary inquiry is with regard to the dependency on the number of labels $K$, and whether $T$-step regret bounds in this setting can be improved beyond the $\smash{\sqrt{KT}}$ dependence exhibited by existing algorithms. Our main contribution is in showing that the minimax regret of bandit multiclass is in fact more nuanced, and is of the form $\smash{\widetilde{\Theta}\left(\min \left\{|H| + \sqrt{T}, \sqrt{KT \log |H|} \right\} \right) }$, where $H$ is the underlying (finite) hypothesis class. In particular, we present a new bandit classification algorithm that guarantees regret $\smash{\widetilde{O}(|H|+\sqrt{T})}$, improving over classical algorithms for moderately-sized hypothesis classes, and give a matching lower bound establishing tightness of the upper bounds (up to log-factors) in all parameter regimes.


title: Accelerator beam phase space tomography using machine learning to account for variations in beamline components

abstract: We describe a technique for reconstruction of the four-dimensional transverse phase space of a beam in an accelerator beamline, taking into account the presence of unknown errors on the strengths of magnets used in the data collection. Use of machine learning allows rapid reconstruction of the phase-space distribution while at the same time providing estimates of the magnet errors. The technique is demonstrated using experimental data from CLARA, an accelerator test facility at Daresbury Laboratory.


title: AsCL: An Asymmetry-sensitive Contrastive Learning Method for Image-Text Retrieval with Cross-Modal Fusion

abstract: The image-text retrieval task aims to retrieve relevant information from a given image or text. The main challenge is to unify multimodal representation and distinguish fine-grained differences across modalities, thereby finding similar contents and filtering irrelevant contents. However, existing methods mainly focus on unified semantic representation and concept alignment for multi-modalities, while the fine-grained differences across modalities have rarely been studied before, making it difficult to solve the information asymmetry problem. In this paper, we propose a novel asymmetry-sensitive contrastive learning method. By generating corresponding positive and negative samples for different asymmetry types, our method can simultaneously ensure fine-grained semantic differentiation and unified semantic representation between multi-modalities. Additionally, a hierarchical cross-modal fusion method is proposed, which integrates global and local-level features through a multimodal attention mechanism to achieve concept alignment. Extensive experiments performed on MSCOCO and Flickr30K, demonstrate the effectiveness and superiority of our proposed method.


title: RSDehamba: Lightweight Vision Mamba for Remote Sensing Satellite Image Dehazing

abstract: Remote sensing image dehazing (RSID) aims to remove nonuniform and physically irregular haze factors for high-quality image restoration. The emergence of CNNs and Transformers has taken extraordinary strides in the RSID arena. However, these methods often struggle to demonstrate the balance of adequate long-range dependency modeling and maintaining computational efficiency. To this end, we propose the first lightweight network on the mamba-based model called RSDhamba in the field of RSID. Greatly inspired by the recent rise of Selective State Space Model (SSM) for its superior performance in modeling linear complexity and remote dependencies, our designed RSDehamba integrates the SSM framework into the U-Net architecture. Specifically, we propose the Vision Dehamba Block (VDB) as the core component of the overall network, which utilizes the linear complexity of SSM to achieve the capability of global context encoding. Simultaneously, the Direction-aware Scan Module (DSM) is designed to dynamically aggregate feature exchanges over different directional domains to effectively enhance the flexibility of sensing the spatially varying distribution of haze. In this way, our RSDhamba fully demonstrates the superiority of spatial distance capture dependencies and channel information exchange for better extraction of haze features. Extensive experimental results on widely used benchmarks validate the surpassing performance of our RSDehamba against existing state-of-the-art methods.


title: Constraining the nonstandard propagating gravitational waves in the cosmological background with GWTC-3

abstract: The detection of gravitational waves (GWs) has opened a new window to test the fundamental nature of gravity. We present constraints on the nonstandard propagation of GWs using the spectral siren method applied to binary black hole (BBH) mergers from the third Gravitational-Wave Transient Catalog (GWTC-3). The spectral siren method exploits the redshift distribution of BBHs to probe the cosmic expansion history and break degeneracies between cosmology and modified gravity effects. We focus on the friction term $\nu$ in the nonstandard GW propagation equation, which characterizes the running of the Planck mass. Assuming the standard $\Lambda$CDM cosmology, we find $\nu = 0.5^{+3.5}_{-2.6}$ (median and $90\%$ credible interval), improving upon previous constraints from the bright siren event GW170817 by an order of magnitude. This improvement is due to the higher redshifts of BBHs in GWTC-3, reaching up to $z \sim 1$. Our result suggests that the propagation of GWs is consistent with the predictions of general relativity, placing limits on modified gravity theories that predict a time-varying Planck mass. As the sensitivity of GW detectors improves, the spectral siren method will provide a powerful tool for testing gravity on cosmological scales and probing the physics of the early Universe.


title: On the use of complex GTOs for the evaluation of radial integrals involving oscillating functions

abstract: We study two classes of radial integrals involving a product of bound and continuum one-electron states. Using a representation of the continuum part with an expansion on complex Gaussian Type Orbitals, such integrals can be performed analytically. We investigate the reliability of this scheme for low-energy physical parameters. This study serves as a premise in view of potential applications in molecular scattering processes.


title: Tight scaling of key rate for differential-phase-shift quantum key distribution

abstract: The performance of quantum key distribution (QKD) protocols is evaluated based on the ease of implementation and key generation rate. Among major protocols, the differential-phase-shift (DPS) protocol has the advantage of simple implementation using a train of coherent pulses and a passive detection unit. Unfortunately, however, its key rate is known to be at least proportional to $\eta^2$ with respect to channel transmission $\eta\to0$. If one can only prove the rate proportional to $\eta^2$ and cannot improve the analysis beyond that, then the DPS protocol will be deemed inferior to other major protocols, such as the decoy BB84 protocol. In this paper, we consider a type of DPS protocol in which the phase of each emitted block comprising $n$ pulses is randomized and significantly improve the analysis of its key rate. Specifically, we reveal that the key rate is proportional to $\eta^{1+\frac{1}{n-2}}$ and this rate is tight. This implies that the DPS protocol can achieve a key rate proportional to $\eta$ for a large number of $n$, which is the same scaling as the decoy BB84 protocol. Our result suggests that the DPS protocol can achieve a combination of both advantages of ease of implementation and a high key generation rate.


title: An extended Su-Schrieffer-Heeger model with time-reversal symmetry protection

abstract: In this work, we theoretically study a modified Su-Schrieffer-Heeger (SSH) model in which each unit cell consists of three sites. Unlike existing extensions of the SSH model which are made by enlarging the periodicity of the (nearest-neighbor) hopping amplitudes, our modification is obtained by replacing the Pauli matrices in the system's Hamiltonian by their higher dimensional counterparts. This in turn leads to the presence of next-nearest neighbor hopping terms and the emergence of different symmetries than those of other extended SSH models. Moreover, the system supports a number of edge states that are protected by the time-reversal symmetry rather than the usual chiral symmetry. Finally, our system could be potentially realized in various experimental platforms including superconducting circuits as well as acoustic/optical waveguide arrays.


title: A quality control analysis of the resting state hypothesis via permutation entropy on EEG recordings

abstract: The analysis of electrophysiological recordings of the human brain in resting state is a key experimental technique in neuroscience. Resting state is indeed the default condition to characterize brain dynamics. Its successful implementation relies both on the capacity of subjects to comply with the requirement of staying awake while not performing any cognitive task, and on the capacity of the experimenter to validate that compliance. Here we propose a novel approach, based on permutation entropy, to provide a quality control of the resting state condition by evaluating its stability during a recording. We combine the calculation of permutation entropy with a method for the estimation of its uncertainty out of a single time series, thus enabling a statistically robust assessment of resting state stationarity. The approach is showcased on electroencephalographic data recorded from young and elderly subjects and considering both eyes-closed and eyes-opened resting state conditions. Besides showing the reliability of the approach, the results showed higher instability in elderly subjects that hint at a qualitative difference between the two age groups with regard to the distribution of unstable activity within the brain. The method is therefore a tool that provides insights on the issue of resting state stability of interest for neuroscience experiments. The method can be applied to other kinds of electrophysiological data like, for example, magnetoencephalographic recordings. In addition, provided that suitable hardware and software processing units are used, its implementation, which consists here of a posteriori analysis, can be translated into a real time one.


title: Large-scale Data Integration using Matrix Denoising and Geometric Factor Matching

abstract: Unsupervised integrative analysis of multiple data sources has become common place and scalable algorithms are necessary to accommodate ever increasing availability of data. Only few currently methods have estimation speed as their focus, and those that do are only applicable to restricted data layouts such as different data types measured on the same observation units. We introduce a novel point of view on low-rank matrix integration phrased as a graph estimation problem which allows development of a method, large-scale Collective Matrix Factorization (lsCMF), which is able to integrate data in flexible layouts in a speedy fashion. It utilizes a matrix denoising framework for rank estimation and geometric properties of singular vectors to efficiently integrate data. The quick estimation speed of lsCMF while retaining good estimation of data structure is then demonstrated in simulation studies.


title: Bilateral Event Mining and Complementary for Event Stream Super-Resolution

abstract: Event Stream Super-Resolution (ESR) aims to address the challenge of insufficient spatial resolution in event streams, which holds great significance for the application of event cameras in complex scenarios. Previous works for ESR often process positive and negative events in a mixed paradigm. This paradigm limits their ability to effectively model the unique characteristics of each event and mutually refine each other by considering their correlations. In this paper, we propose a bilateral event mining and complementary network (BMCNet) to fully leverage the potential of each event and capture the shared information to complement each other simultaneously. Specifically, we resort to a two-stream network to accomplish comprehensive mining of each type of events individually. To facilitate the exchange of information between two streams, we propose a bilateral information exchange (BIE) module. This module is layer-wisely embedded between two streams, enabling the effective propagation of hierarchical global information while alleviating the impact of invalid information brought by inherent characteristics of events. The experimental results demonstrate that our approach outperforms the previous state-of-the-art methods in ESR, achieving performance improvements of over 11\% on both real and synthetic datasets. Moreover, our method significantly enhances the performance of event-based downstream tasks such as object recognition and video reconstruction. Our code is available at https://github.com/Lqm26/BMCNet-ESR.


title: Silicon nitride integrated photonics from visible to mid-infrared spectra

abstract: Recently, silicon nitride (Si3N4) photonic integrated circuits (PICs) are of a great interest due to their extremely low waveguides losses. The number of Si3N4 integrated photonics platform applications is constantly growing including the Internet of Things (IoT), artificial intelligence (AI), light detection and ranging (LiDAR) devices, hybrid neuromorphic and quantum computing. Their heterogeneous integration with a III-V platform leads to a new advanced large scale PICs with thousands of elements. Here, we review key trends in Si3N4 integrated circuits technology and fill an information gap in the field of state-of-the-art photonic devices operating from visible to mid-infrared spectra. A comprehensive overview of Si3N4 integrared circtuis microfabrication process details (deposition, lithography, etching, etc.) is introduced. Finally, we point out the limits and challenges of silicon nitride photonics performance in an ultrawide range providing routes and prospects for their future scaling and optimization.


title: High-Scale SUSY from Sgoldstino Inflation

abstract: We review a number of unimodular no-scale supergravity models with F-term SUSY breaking which support technically natural de Sitter vacua. A variant of these models develops a stage of inflection-point inflation which can be realized for subplanckian field values consistently with the observational data. For central value of the spectral index ns, the necessary tuning is of the order of 10^-6, the tensor-to-scalar ratio is tiny whereas the running of ns is around -3x10^-3. Our proposal is compatible with high-scale SUSY and the results of LHC on the Higgs boson mass.


title: SynthesizRR: Generating Diverse Datasets with Retrieval Augmentation

abstract: Large language models (LLMs) are versatile and can address many tasks, but for computational efficiency, it is often desirable to distill their capabilities into smaller student models. One way to do this for classification tasks is via dataset synthesis, which can be accomplished by generating examples of each label from the LLM. Prior approaches to synthesis use few-shot prompting, which relies on the LLM's parametric knowledge to generate usable examples. However, this leads to issues of repetition, bias towards popular entities, and stylistic differences from human text. In this work, we propose Synthesize by Retrieval and Refinement (SynthesizRR), which uses retrieval augmentation to introduce variety into the dataset synthesis process: as retrieved passages vary, the LLM is "seeded" with different content to generate its examples. We empirically study the synthesis of six datasets, covering topic classification, sentiment analysis, tone detection, and humor, requiring complex synthesis strategies. We find SynthesizRR greatly improves lexical and semantic diversity, similarity to human-written text, and distillation performance, when compared to standard 32-shot prompting and six baseline approaches.


title: Revealing Hierarchical Structure of Leaf Venations in Plant Science via Label-Efficient Segmentation: Dataset and Method

abstract: Hierarchical leaf vein segmentation is a crucial but under-explored task in agricultural sciences, where analysis of the hierarchical structure of plant leaf venation can contribute to plant breeding. While current segmentation techniques rely on data-driven models, there is no publicly available dataset specifically designed for hierarchical leaf vein segmentation. To address this gap, we introduce the HierArchical Leaf Vein Segmentation (HALVS) dataset, the first public hierarchical leaf vein segmentation dataset. HALVS comprises 5,057 real-scanned high-resolution leaf images collected from three plant species: soybean, sweet cherry, and London planetree. It also includes human-annotated ground truth for three orders of leaf veins, with a total labeling effort of 83.8 person-days. Based on HALVS, we further develop a label-efficient learning paradigm that leverages partial label information, i.e. missing annotations for tertiary veins. Empirical studies are performed on HALVS, revealing new observations, challenges, and research directions on leaf vein segmentation.


title: Optimizing Search and Rescue UAV Connectivity in Challenging Terrain through Multi Q-Learning

abstract: Using Unmanned Aerial Vehicles (UAVs) in Search and rescue operations (SAR) to navigate challenging terrain while maintaining reliable communication with the cellular network is a promising approach. This paper suggests a novel technique employing a reinforcement learning multi Q-learning algorithm to optimize UAV connectivity in such scenarios. We introduce a Strategic Planning Agent for efficient path planning and collision awareness and a Real-time Adaptive Agent to maintain optimal connection with the cellular base station. The agents trained in a simulated environment using multi Q-learning, encouraging them to learn from experience and adjust their decision-making to diverse terrain complexities and communication scenarios. Evaluation results reveal the significance of the approach, highlighting successful navigation in environments with varying obstacle densities and the ability to perform optimal connectivity using different frequency bands. This work paves the way for enhanced UAV autonomy and enhanced communication reliability in search and rescue operations.


title: Crash Landing onto "you": Untethered Soft Aerial Robots for Safe Environmental Interaction, Sensing, and Perching

abstract: There are various desired capabilities to create aerial forest-traversing robots capable of monitoring both biological and abiotic data. The features range from multi-functionality, robustness, and adaptability. These robots have to weather turbulent winds and various obstacles such as forest flora and wildlife thus amplifying the complexity of operating in such uncertain environments. The key for successful data collection is the flexibility to intermittently move from tree-to-tree, in order to perch at vantage locations for elongated time. This effort to perch not only reduces the disturbance caused by multi-rotor systems during data collection, but also allows the system to rest and recharge for longer outdoor missions. Current systems feature the addition of perching modules that increase the aerial robots' weight and reduce the drone's overall endurance. Thus in our work, the key questions currently studied are: "How do we develop a single robot capable of metamorphosing its body for multi-modal flight and dynamic perching?", "How do we detect and land on perchable objects robustly and dynamically?", and "What important spatial-temporal data is important for us to collect?"


title: Nuclearity of Hypergraph C*-Algebras

abstract: We partially characterize nuclearity for the recently introduced class of hypergraph C*-algebras using a tailor-made hypergraph minor relation. The latter is generated by certain operations on hypergraphs which resemble the moves on directed graphs used by Eilers, Restorff, Ruiz and S{\o}rensen to classify unital graph C*-algebras. In particular, we obtain a new proof of the fact that every graph C*-algebra associated to a finite graph is nuclear.


title: Global Benchmark Database

abstract: This paper presents Global Benchmark Database (GBD), a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata. The availability of benchmark metadata is essential for many tasks in empirical research, e.g., for the data-driven compilation of benchmarks, the domain-specific analysis of runtime experiments, or the instance-specific selection of solvers. In this paper, we introduce the data model of GBD as well as its interfaces and provide examples of how to interact with them. We also demonstrate the integration of custom data sources and explain how to extend GBD with additional problem domains, instance formats and feature extractors.


title: A Preprocessing and Postprocessing Voxel-based Method for LiDAR Semantic Segmentation Improvement in Long Distance

abstract: In recent years considerable research in LiDAR semantic segmentation was conducted, introducing several new state of the art models. However, most research focuses on single-scan point clouds, limiting performance especially in long distance outdoor scenarios, by omitting time-sequential information. Moreover, varying-density and occlusions constitute significant challenges in single-scan approaches. In this paper we propose a LiDAR point cloud preprocessing and postprocessing method. This multi-stage approach, in conjunction with state of the art models in a multi-scan setting, aims to solve those challenges. We demonstrate the benefits of our method through quantitative evaluation with the given models in single-scan settings. In particular, we achieve significant improvements in mIoU performance of over 5 percentage point in medium range and over 10 percentage point in far range. This is essential for 3D semantic scene understanding in long distance as well as for applications where offline processing is permissible.


title: Stellar Chromospheric Activity Database of Solar-like Stars Based on the LAMOST Low-Resolution Spectroscopic Survey: II. the bolometric and photospheric calibration

abstract: The dependence of stellar magnetic activity on stellar parameters would be inspired by the chromospheric activity studies based on the large-scale spectroscopic surveys. The Ca II H and K lines are employed to construct indicators for assessing and studying the chromospheric activity of solar-like stars. We investigate the widely used bolometric and photospheric calibrated chromospheric activity index $R'_{\rm HK}$, derived from the method in the classic literature ($R'_{\rm HK,classic}$) and the method based on the PHOENIX model ($R'_{\rm HK,PHOENIX}$). Since the detailed stellar atmospheric parameters, effective temperature ($T_{\rm eff}$), surface gravity ($\log\,g$), and metallicity ([Fe/H]), are available for LAMOST, we estimate the chromospheric activity index $R'_{\rm HK,PHOENIX}$, along with the corresponding bolometric calibrated index $R_{\rm HK,PHOENIX}$, taking these parameters into account. We provide the database of the derived chromospheric activity parameters for 1,122,495 LAMOST LRS spectra of solar-like stars. Our calculations show that $\log\,R'_{\rm HK,PHOENIX}$ is approximately linearly correlated with $\log\,R'_{\rm HK,classic}$. The results based on our extensive archive support the view that the dynamo mechanism of solar-like stars is generally consistent with the Sun; and the value of solar chromospheric activity index is located at the midpoint of the solar-like star sample. We further investigate the proportions of solar-like stars with different chromospheric activity levels (very active, active, inactive and very inactive). The investigation indicates that the occurrence rate of high levels of chromospheric activity is lower among the stars with effective temperatures between $5600$ and $5900 \,{\rm K}$.


title: Cohomologie de syst\`emes locaux $p$-adiques sur les rev\^etements du demi-plan de Drinfeld

abstract: Colmez, Dospinescu and Niziol have shown that the only $p$-adic representations of $\rm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ appearing in the $p$-adic \'etale cohomology of the coverings of Drinfeld's half-plane are the $2$-dimensional cuspidal representations (i.e. potentially semi-stable, whose associated Weil-Deligne representation is irreducible) with Hodge-Tate weights $0$ and $1$ and their multiplicities are given by the $p$-adic Langlands correspondence. We generalise this result to arbitrary weights, by considering the $p$-adic \'etale cohomology with coefficients in the symmetric powers of the universal local system on Drinfeld's tower. A novelty is the appearance of potentially semistable $2$-dimensional non-cristabelian representations, with expected multiplicity. The key point is that the local systems we consider turn out to be particularly simple: they are "isotrivial opers" on a curve. We develop a recipe to compute the pro\'etale cohomology of such a local system using the Hyodo-Kato cohomology of the curve and the de Rham complex of the flat filtered bundle associated to the local system.


title: Distribution of Test Statistic for Euclidean Distance Matrices

abstract: Methods for global navigation satellite system fault detection using Euclidean Distance Matrices have been presented recently in the literature. Published methods define a test statistic in terms of eigenvalues of a certain matrix, but the distribution of the test statistic was not known, which presented a barrier to practical implementation. This document was a personal correspondence from Beatty to Derek Knowles. It includes a brief derivation of the distribution of the test statistic and a representative case showing that the theoretical distribution closely matches a simulated empirical distribution.


title: Voronoi Graph -- Improved raycasting and integration schemes for high dimensional Voronoi diagrams

abstract: The computation of Voronoi Diagrams, or their dual Delauney triangulations is difficult in high dimensions. In a recent publication Polianskii and Pokorny propose an iterative randomized algorithm facilitating the approximation of Voronoi tesselations in high dimensions. In this paper, we provide an improved vertex search method that is not only exact but even faster than the bisection method that was previously recommended. Building on this we also provide a depth-first graph-traversal algorithm which allows us to compute the entire Voronoi diagram. This enables us to compare the outcomes with those of classical algorithms like qHull, which we either match or marginally beat in terms of computation time. We furthermore show how the raycasting algorithm naturally lends to a Monte Carlo approximation for the volume and boundary integrals of the Voronoi cells, both of which are of importance for finite Volume methods. We compare the Monte-Carlo methods to the exact polygonal integration, as well as a hybrid approximation scheme.


title: MarkLLM: An Open-Source Toolkit for LLM Watermarking

abstract: LLM watermarking, which embeds imperceptible yet algorithmically detectable signals in model outputs to identify LLM-generated text, has become crucial in mitigating the potential misuse of large language models. However, the abundance of LLM watermarking algorithms, their intricate mechanisms, and the complex evaluation procedures and perspectives pose challenges for researchers and the community to easily experiment with, understand, and assess the latest advancements. To address these issues, we introduce MarkLLM, an open-source toolkit for LLM watermarking. MarkLLM offers a unified and extensible framework for implementing LLM watermarking algorithms, while providing user-friendly interfaces to ensure ease of access. Furthermore, it enhances understanding by supporting automatic visualization of the underlying mechanisms of these algorithms. For evaluation, MarkLLM offers a comprehensive suite of 12 tools spanning three perspectives, along with two types of automated evaluation pipelines. Through MarkLLM, we aim to support researchers while improving the comprehension and involvement of the general public in LLM watermarking technology, fostering consensus and driving further advancements in research and application. Our code is available at https://github.com/THU-BPM/MarkLLM.


title: Deep Neural Network-assisted improvement of quantum compressed sensing tomography

abstract: Quantum compressed sensing is the fundamental tool for low-rank density matrix tomographic reconstruction in the informationally incomplete case. We examine situations where the acquired information is not enough to allow one to obtain a precise compressed sensing reconstruction. In this scenario, we propose a Deep Neural Network-based post-processing to improve the initial reconstruction provided by compressed sensing. The idea is to treat the estimated state as a noisy input for the network and perform a deep-supervised denoising task. After the network is applied, a projection onto the space of feasible density matrices is performed to obtain an improved final state estimation. We demonstrate through numerical experiments the improvement obtained by the denoising process and exploit the possibility of looping the inference scheme to obtain further advantages. Finally, we test the resilience of the approach to out-of-distribution data.


title: SHiNe: Semantic Hierarchy Nexus for Open-vocabulary Object Detection

abstract: Open-vocabulary object detection (OvOD) has transformed detection into a language-guided task, empowering users to freely define their class vocabularies of interest during inference. However, our initial investigation indicates that existing OvOD detectors exhibit significant variability when dealing with vocabularies across various semantic granularities, posing a concern for real-world deployment. To this end, we introduce Semantic Hierarchy Nexus (SHiNe), a novel classifier that uses semantic knowledge from class hierarchies. It runs offline in three steps: i) it retrieves relevant super-/sub-categories from a hierarchy for each target class; ii) it integrates these categories into hierarchy-aware sentences; iii) it fuses these sentence embeddings to generate the nexus classifier vector. Our evaluation on various detection benchmarks demonstrates that SHiNe enhances robustness across diverse vocabulary granularities, achieving up to +31.9% mAP50 with ground truth hierarchies, while retaining improvements using hierarchies generated by large language models. Moreover, when applied to open-vocabulary classification on ImageNet-1k, SHiNe improves the CLIP zero-shot baseline by +2.8% accuracy. SHiNe is training-free and can be seamlessly integrated with any off-the-shelf OvOD detector, without incurring additional computational overhead during inference. The code is open source.


title: A finite-sample generalization bound for stable LPV systems

abstract: One of the main theoretical challenges in learning dynamical systems from data is providing upper bounds on the generalization error, that is, the difference between the expected prediction error and the empirical prediction error measured on some finite sample. In machine learning, a popular class of such bounds are the so-called Probably Approximately Correct (PAC) bounds. In this paper, we derive a PAC bound for stable continuous-time linear parameter-varying (LPV) systems. Our bound depends on the H2 norm of the chosen class of the LPV systems, but does not depend on the time interval for which the signals are considered.


title: What are kets?

abstract: According to Dirac's bra-ket notation, in an inner-product space, the inner product $\langle x\,|\,y\rangle$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|$ to the ket $|y\rangle$. Here $\langle x|$ is the linear functional $|y\rangle \mapsto \langle x\,|\,y\rangle$ and $|y\rangle$ is the vector $y$. But often -- though not always -- there are advantages in seeing $|y\rangle$ as the function $a \mapsto a\cdot y$ where $a$ ranges over the scalars. For example, the outer product $|y\rangle\langle x|$ becomes simply the composition $|y\rangle \circ \langle x|$. It would be most convenient to view kets sometimes as vectors and sometimes as functions, depending on the context. This turns out to be possible. While the bra-ket notation arose in quantum mechanics, this note presupposes no familiarity with quantum mechanics.


title: Shedding Light on Hadronization by Quarkonium Energy Correlator

abstract: We propose to measure the energy correlator in quarkonium production, which tracks the energy deposited in the calorimeter $\chi$-angular distance away from the identified quarkonium. The observable eliminates the need for jets while sustaining the perturbative predictive power. Analyzing the power correction to the energy correlator, we demonstrate the novel observable supplies a unique gateway to probing the hadronization, especially when $\cos\chi\gtrsim 0$ in the quarkonium rest frame where the perturbative emissions are depleted due to the dead-cone effects. We expect the quarkonium energy correlator to add a new dimension to quarkonium studies.


title: AMECOS: A Modular Event-based Framework for Concurrent Object Specification

abstract: In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Casta{\~n}eda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interface between the various system components specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specifying distributed systems and separates legality (object semantics) from other issues, such as consistency. We demonstrate the usability of our framework by (i) specifying various well-known concurrent objects, such as shared memory, asynchronous message-passing, and reliable broadcast, (ii) providing hierarchies of ordering semantics (namely, consistency hierarchy, memory hierarchy, and reliable broadcast hierarchy), and (iii) presenting novel axiomatic proofs of the impossibility of the well-known Consensus and wait-free Set Agreement problems.


title: Distributed Coloring in the SLEEPING Model

abstract: In distributed network computing, a variant of the LOCAL model has been recently introduced, referred to as the SLEEPING model. In this model, nodes have the ability to decide on which round they are awake, and on which round they are sleeping. Two (adjacent) nodes can exchange messages in a round only if both of them are awake in that round. The SLEEPING model captures the ability of nodes to save energy when they are sleeping. In this framework, a major question is the following: is it possible to design algorithms that are energy efficient, i.e., where each node is awake for a few number of rounds only, without losing too much on the time efficiency, i.e., on the total number of rounds? This paper answers positively to this question, for one of the most fundamental problems in distributed network computing, namely $(\Delta+1)$-coloring networks of maximum degree $\Delta$. We provide a randomized algorithm with average awake-complexity constant, maximum awake-complexity $O(\log\log n)$ in $n$-node networks, and round-complexity $poly\!\log n$.


title: Discussing Risks and Benefits in the Future of Hybrid Rehabilitation and Fitness in Mixed Reality

abstract: In a world where in-person context transitions more into remote and hybrid concepts, we should consider new concepts of interaction in health and rehabilitation and what advantages and disadvantages they bring. One of the rising topics is mixed reality, where we can use the advantages of immersive 3D, 360-degree environments. Meanwhile, physical activity is further decreasing and with it negative effects increase through sedentary behaviour or wrong and untrained movements. In this position paper, we discuss these new risks and potential benefits of mixed reality technology when used for rehabilitation and fitness. We conclude with suggesting better feedback and guidance for physical movement and tasks at home. Improving feedback and guidance for participants could be achieved through using new technologies like virtual reality and motion tracking.


title: Typing Requirement Model as Coroutines

abstract: Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of high-level requirement models into executable code. Given that requirement models form the foundation of the entire development process, ensuring their correctness is crucial. RM2PT is a widely used MDE platform that employs the REModel language for requirement modeling. REModel contains contract sections and other sections including a UML sequence diagram. This paper contributes a coroutine-based type system that represents pre- and post-conditions in the contract sections in a requirement model as the receiving and yielding parts of coroutines, respectively. The type system is capable of composing coroutine types, so that users can view functions as a whole system and check their collective behavior. By doing so, our type system ensures that the contracts defined in it are executed as outlined in the accompanied sequence diagram. We assessed our approach using four case studies provided by RM2PT, validating the accuracy of the models.


title: Warped CFT duals of the Pleba\'{n}ski-Demia\'{n}ski family of solutions

abstract: In this paper, we analyze the symmetry properties of the complete family of type D spacetimes generalized form the Pleba\'{n}ski-Demia\'{n}ski solution in four dimensions holographically in terms of a warped CFT. The generalized Pleba\'{n}ski-Demia\'{n}ski solutions are black hole-like spacetimes characterized by seven physical parameters. Most of the black holes in four dimensions are included within this family. Generically consider a solution with horizon in this family, we figure out the possible warped conformal symmetry attached to the horizon. The horizon can be either extremal or non-extremal. In the extremal case, the near horizon region can be mapped to an infinite spacetime with geometry given by a warped and twist product of AdS$_2$ and S$^2$. The new boundary conditions for AdS$_2$ as well as their higher dimensional uplifts are applied here to manifest the asymptotic symmetry as the warped conformal symmetry. In the non-extremal case, the global warped conformal symmetry is singled out by analyzing the scalar wave equation with constant frequency. The local warped conformal symmetries are represented by the charge algebra associated to the vector fields which preserve the scalar wave equation as well as its frequency. In defining the variation of the covariant charges, a proper counterterm is introduced for consistency conditions which is supposed to be suitable for all the solutions within the family. As a consistency check, the horizon entropy is reproduced by the entropy formula of the warped CFT by using its modular covariance and the central terms derived in the bulk spacetimes.


title: Phenomenology of many-body localization in bond-disordered spin chains

abstract: Many-body localization (MBL) hinders the thermalization of quantum many-body systems in the presence of strong disorder. In this work, we study the MBL regime in bond-disordered spin-1/2 XXZ spin chain, finding the multimodal distribution of entanglement entropy in eigenstates, sub-Poissonian level statistics, and revealing a relation between operators and initial states required for examining the breakdown of thermalization in the time evolution of the system. We employ a real space renormalization group scheme to identify these phenomenological features of the MBL regime that extend beyond the standard picture of local integrals of motion relevant for systems with disorder coupled to on-site operators. Our results pave the way for experimental probing of MBL in bond-disordered spin chains.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Low-latency Symbol-Synchronous Communication for Multi-hop Sensor Networks

abstract: Wireless sensor networks (WSNs) have received great interest due to their scalability, energy efficiency, and low-cost deployment. By utilizing multi-hop communication, WSNs can cover a wide area using low transmission power without the need for any communication infrastructure. Traditionally, WSNs rely on store-and-forward routing protocols and Time Division Multiple Access (TDMA)-based schedules that avoid interference between different wireless nodes. However, emerging challenging scenarios, such as the industrial Internet of Things (IoT) and robotic swarms, impose strict latency and reliability requirements, which traditional approaches cannot fulfill. In this paper, we propose a novel symbol-synchronous transmission design that provides reliable low-latency communication with a reasonable data rate on classical sub-6GHz RF frequency bands (e.g., the 2.4GHz ISM band). Instead of avoiding overlapping transmissions, the proposed scheme benefits from concurrent transmissions. Using simulation in MATLAB, we prove that the proposed design allows achieving a wire-like delay of 5ms for a 512-bit packet over multiple hops with only a 0.3% latency increase per extra hop and a low bit error rate (BER) of 0.04%. Compared to similar state-of-the-art approaches it can achieve a significantly higher data rate of 100kbps, which is expected to increase further with future improvements of the system.


title: Meta results on data-driven control of nonlinear systems

abstract: This note aims to provide a systematic understanding of direct data-driven control, enriching the existing literature not by adding another isolated result, but rather by offering a comprehensive, versatile, and unifying framework that sets the stage for future explorations and applications in this domain. To this end, we formulate the nonlinear design problem from a high-level perspective as a set of desired controlled systems and propose systematic procedures to synthesize data-driven control algorithms that meet the design requirements specified in the desired set. Various examples are presented to demonstrate the comprehensiveness and adaptability of the proposed approach.


title: Arc coordinates for maximal representations

abstract: We generalize arc coordinates for maximal representations from a hyperbolic surface with boundary into $\text{PSp}(4,\mathbb{R})$, focusing on the case where the surface is a pair of pants. We introduce geometric parameters within the space of right-angled hexagons in the Siegel space $\mathcal{X}$. These parameters enable the visualization of a right-angled hexagon as a polygonal chain inside the hyperbolic plane $\mathbb{H}^{2}$. We explore the geometric properties of reflections in $\mathcal{X}$ and introduce the notion of maximal representation of the reflection group $W_{3}=\mathbb{Z}/2\mathbb{Z}*\mathbb{Z}/2\mathbb{Z}*\mathbb{Z}/2\mathbb{Z}$. We parametrize maximal representations from $W_{3}$ into $\text{PSp}^{\pm}(4,\mathbb{R})$, this induces a natural parametrization of a subset of maximal and Shilov hyperbolic representations into $\text{PSp}(4,\mathbb{R})$.


title: L\'evy flight for electrons in graphene in the presence of regions with enhanced spin-orbit coupling

abstract: We propose an electronic L\'evy glass built from graphene nanoribbons in the presence of regions with enhanced spin-orbit coupling. Although electrons in graphene nanoribbons present a low spin-orbit coupling strength, it can be increased by a proximity effect with an appropriate substrate. We consider graphene nanoribbons with different edge types, which contain circular regions with a tunable Rashba spin-orbit coupling, whose diameter follow a power-law distribution. We find that spin-orbital clusters induce a transition from superdiffusive to diffusive charge transport, similar to what we recently reported for nanoribbons with electrostatic clusters [Phys. Rev. B. 107, 155432 (2023)]. We also investigate spin polarization in the spin-orbital L\'evy glasses, and show that a finite spin polarization can be found only in the superdiffusive regime. In contrast, the spin polarization vanishes in the diffusive regime, making the electronic L\'evy glass a useful device whose electronic transmission and spin polarization can be controlled by its Fermi energy. Finally, we apply a multifractal analysis to charge transmission and spin polarization, and find that the transmission time series in the superdiffusive regime are multifractal, while they tend to be monofractal in the diffusive regime. In contrast, spin polarization time series are multifractal in both regimes, characterizing a marked difference between mesoscopic fluctuations of charge transport and spin polarization in the proposed electronic L\'evy glass.


title: Sparse and Orthogonal Low-rank Collective Matrix Factorization (solrCMF): Efficient data integration in flexible layouts

abstract: Interest in unsupervised methods for joint analysis of heterogeneous data sources has risen in recent years. Low-rank latent factor models have proven to be an effective tool for data integration and have been extended to a large number of data source layouts. Of particular interest is the separation of variation present in data sources into shared and individual subspaces. In addition, interpretability of estimated latent factors is crucial to further understanding. We present sparse and orthogonal low-rank Collective Matrix Factorization (solrCMF) to estimate low-rank latent factor models for flexible data layouts. These encompass traditional multi-view (one group, multiple data types) and multi-grid (multiple groups, multiple data types) layouts, as well as augmented layouts, which allow the inclusion of side information between data types or groups. In addition, solrCMF allows tensor-like layouts (repeated layers), estimates interpretable factors, and determines variation structure among factors and data sources. Using a penalized optimization approach, we automatically separate variability into the globally and partially shared as well as individual components and estimate sparse representations of factors. To further increase interpretability of factors, we enforce orthogonality between them. Estimation is performed efficiently in a recent multi-block ADMM framework which we adapted to support embedded manifold constraints. The performance of solrCMF is demonstrated in simulation studies and compares favorably to existing methods.


title: MrRegNet: Multi-resolution Mask Guided Convolutional Neural Network for Medical Image Registration with Large Deformations

abstract: Deformable image registration (alignment) is highly sought after in numerous clinical applications, such as computer aided diagnosis and disease progression analysis. Deep Convolutional Neural Network (DCNN)-based image registration methods have demonstrated advantages in terms of registration accuracy and computational speed. However, while most methods excel at global alignment, they often perform worse in aligning local regions. To address this challenge, this paper proposes a mask-guided encoder-decoder DCNN-based image registration method, named as MrRegNet. This approach employs a multi-resolution encoder for feature extraction and subsequently estimates multi-resolution displacement fields in the decoder to handle the substantial deformation of images. Furthermore, segmentation masks are employed to direct the model's attention toward aligning local regions. The results show that the proposed method outperforms traditional methods like Demons and a well-known deep learning method, VoxelMorph, on a public 3D brain MRI dataset (OASIS) and a local 2D brain MRI dataset with large deformations. Importantly, the image alignment accuracies are significantly improved at local regions guided by segmentation masks. Github link:https://github.com/ruizhe-l/MrRegNet.


title: VC-Density Calculations in Pairs of Ordered Vector Spaces

abstract: We show that the VC-density of any formula in a pair of divisible ordered abelian groups is bounded by the number of parameter variables.


title: HeMiTo-dynamics: a characterisation of mammalian prion toxicity using non-dimensionalisation, linear stability and perturbation analyses

abstract: Prion-like proteins play crucial parts in biological processes in organisms ranging from yeast to humans. For instance, many neurodegenerative diseases are believed to be caused by the production of prion-like proteins in neural tissue. As such, understanding the dynamics of prion-like protein production is a vital step toward treating neurodegenerative disease. Mathematical models of prion-like protein dynamics show great promise as a tool for predicting disease trajectories and devising better treatment strategies for prion-related diseases. Herein, we investigate a generic model for prion-like dynamics consisting of a class of non-linear ordinary differential equations (ODEs), establishing constraints through a linear stability analysis that enforce the expected properties of mammalian prion-like toxicity. Furthermore, we identify that prion toxicity evolves through three distinct phases for which we provide analytical descriptions using perturbation analyses. Specifically, prion-toxicity is initially characterised by the healthy phase, where the dynamics are dominated by the healthy form of prions, thereafter the system enters the mixed phase, where both healthy and toxic prions interact, and lastly, the system enters the toxic phase, where toxic prions dominate, and we refer to these phases as HeMiTo-dynamics. These findings hold the potential to aid researchers in developing precise mathematical models for prion-like dynamics, enabling them to better understand underlying mechanisms and devise effective treatments for prion-related diseases.


title: Speckle Interferometry at SOAR in 2023

abstract: Results of the speckle-interferometry observations at the 4.1 m Southern Astrophysical Research Telescope (SOAR) obtained during 2023 are presented: 1913 measurements of 1533 resolved pairs or subsystems (median separation 0.16") and non-resolutions of 552 targets; 42 pairs are resolved here for the first time. This work continues our long-term effort to monitor orbital motion in close binaries and hierarchical systems. A large number (147) of orbits have been determined for the first time or updated using these measurements. Complementarity of this program with the Gaia mission is highlighted.


title: Simplicial lists in operad theory I

abstract: We define a category $\mathsf{List}$ whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codomain. We introduce and study a category of simplicial objects $\mathsf{slist}$ whose objects are functors $\Delta^{op} \to \mathsf{List}$, which we call simplicial lists, and morphisms are natural transformations which have functions as components. We demonstrate that $\mathsf{sList}$ supports the combinatorics of (non-symmetric) operads by constructing a fully-faithful nerve functor $N^l : \mathsf{Operad} \to \mathsf{sList}$ from the category of operads. This leads to a reasonable model for the theory of non-symmetric $\infty$-operads. We also demonstrate that $\mathsf{sList}$ has the structure of a presheaf category. In particular, we study a subcategory $\mathsf{sList}_{\text{op}}$ of operadic simplicial lists, in which the nerve functor takes values. The latter category is also a presheaf category over a base whose objects may be interpreted as levelled trees. We construct a coherent nerve functor which outputs an $\infty$-operad for each operad enriched in Kan complexes. We also define homology groups of simplicial lists and study first properties.


title: First star formation in extremely early epochs

abstract: First stars play crucial roles in development of the universe, influencing events like cosmic reionization and the chemical enrichment. While first stars are conventionally thought to form at around $z \sim 20-30$ in the standard $\Lambda$ Cold Dark Matter ($\Lambda$CDM) cosmology, observational constraints on small-scale density fluctuations remain limited, possibly differing significantly from the scale-invariant fluctuations assumed in the $\Lambda$CDM model. Should this be the case, the formation of first stars could occur much earlier than typically predicted. In this study, we investigate the formation process of first stars in the extremely early epochs of $z \gtrsim 100$ in the post-recombination universe. At such early times, the effects of the warm cosmic microwave background (CMB) become significant. We calculate the collapse of primordial star-forming clouds using a one-zone thermo-chemical model that accounts for CMB influences on radiative heating, Compton cooling, and photodissociation reactions. We found that the impact of the CMB on the evolution is limited at $z \lesssim 100$, with the temperature evolution closely resembling the conventional model. However, within the range $100 \lesssim z \lesssim 400$, the formation of H$_2$ via the H$^-$ channel is impeded by H$^-$ photodetachment induced by the CMB, leading to higher temperatures compared to standard one. Consequently, first stars with masses exceeding $1000 ~\mathrm{M}_\odot$ can emerge at $z \gtrsim 100$. Furthermore, at $z \gtrsim 500$, the temperature evolution becomes nearly isothermal solely due to atomic cooling, as H$_2$ formation is entirely suppressed. In such cases, supermassive stars with masses around $\sim 10^5 ~\mathrm{M}_\odot$ are expected to form solely via atomic cooling. These findings emphasize the significant variation in the typical mass of the first stars depending on the epoch of formation.


title: Planning and Optimizing Transit Lines

abstract: For all line-based transit systems like bus, metro and tram, the routes of the lines and the frequencies at which they are operated are determining for the operational performance of the system. However, as transit line planning happens early in the planning process, it is not straightforward to predict the effects of line planning decisions on relevant performance indicators. This challenge has in more than 40 years of research on transit line planning let to many different models. In this chapter, we concentrate on models for transit line planning including transit line planning under uncertainty. We pay particular attention to the interplay of passenger routes, frequency and capacity, and specify three different levels of aggregation at which these can be modeled. Transit line planning has been studied in different communities under different names.The problem can be decomposed into the components line generation, line selection, and frequency setting. We include publications that regard one of these individual steps as well as publications that combine two or all of them. We do not restrict to models build with a certain solution approach in mind, but do have a focus on models expressed in the language of mathematical programming.


title: HecVL: Hierarchical Video-Language Pretraining for Zero-shot Surgical Phase Recognition

abstract: Natural language could play an important role in developing generalist surgical models by providing a broad source of supervision from raw texts. This flexible form of supervision can enable the model's transferability across datasets and tasks as natural language can be used to reference learned visual concepts or describe new ones. In this work, we present HecVL, a novel hierarchical video-language pretraining approach for building a generalist surgical model. Specifically, we construct a hierarchical video-text paired dataset by pairing the surgical lecture video with three hierarchical levels of texts: at clip-level, atomic actions using transcribed audio texts; at phase-level, conceptual text summaries; and at video-level, overall abstract text of the surgical procedure. Then, we propose a novel fine-to-coarse contrastive learning framework that learns separate embedding spaces for the three video-text hierarchies using a single model. By disentangling embedding spaces of different hierarchical levels, the learned multi-modal representations encode short-term and long-term surgical concepts in the same model. Thanks to the injected textual semantics, we demonstrate that the HecVL approach can enable zero-shot surgical phase recognition without any human annotation. Furthermore, we show that the same HecVL model for surgical phase recognition can be transferred across different surgical procedures and medical centers.


title: Travelling Waves and Exponential Nonlinearities in the Zeldovich-Frank-Kamenetskii Equation

abstract: We prove the existence of a family of travelling wave solutions in a variant of the $\textit{Zeldovich-Frank-Kamenetskii (ZFK) equation}$, a reaction-diffusion equation which models the propagation of planar laminar premixed flames in combustion theory. Our results are valid in an asymptotic regime which corresponds to a reaction with high activation energy, and provide a rigorous and geometrically informative counterpart to formal asymptotic results that have been obtained for similar problems using $\textit{high activation energy asymptotics}$. We also go beyond the existing results by (i) proving smoothness of the minimum wave speed function $\overline c(\epsilon)$, where $0< \epsilon \ll 1$ is the small parameter, and (ii) providing an asymptotic series for a flat slow manifold which plays a role in the construction of travelling wave solutions for non-minimal wave speeds $c > \overline c(\epsilon)$. The analysis is complicated by the presence of an exponential nonlinearity which leads to two different scaling regimes as $\epsilon \to 0$, which we refer to herein as the $\textit{convective-diffusive}$ and $\textit{diffusive-reactive}$ zones. The main idea of the proof is to use the geometric blow-up method to identify and characterise a $(c,\epsilon)$-family of heteroclinic orbits which traverse both of these regimes, and correspond to travelling waves in the original ZFK equation. More generally, our analysis contributes to a growing number of studies which demonstrate the utility of geometric blow-up approaches to the study dynamical systems with singular exponential nonlinearities.


title: Towards Real-Time Urban Physics Simulations with Digital Twins

abstract: Urban populations continue to grow, highlighting the critical need to safeguard civilians against potential disruptions, such as dangerous gas contaminant dispersion. The digital twin (DT) framework offers promise in analyzing and predicting such events. This study presents a computational framework for modelling airborne contaminant dispersion in built environments. Leveraging automatic generation of computational domains and solution processes, the proposed framework solves the underlying physical model equations with the finite element method (FEM) for numerical solutions. Model order reduction (MOR) methods are investigated to enhance computational efficiency without compromising accuracy. The study outlines the automatic model generation process, the details of the employed model, and the future perspectives for the realization of a DT. Throughout this research, the aim is to develop a reliable predictive model combining physics and data in a hybrid DT to provide informed real-time support within evacuation scenarios.


title: Spurious reconstruction from brain activity

abstract: Advances in brain decoding, particularly visual image reconstruction, have sparked discussions about the societal implications and ethical considerations of neurotechnology. As these methods aim to recover visual experiences from brain activity and achieve prediction beyond training samples (zero-shot prediction), it is crucial to assess their capabilities and limitations to inform public expectations and regulations. Our case study of recent text-guided reconstruction methods, which leverage a large-scale dataset (NSD) and text-to-image diffusion models, reveals limitations in their generalizability. We found decreased performance when applying these methods to a different dataset designed to prevent category overlaps between training and test sets. UMAP visualization of the text features with NSD images showed limited diversity of semantic and visual clusters, with overlap between training and test sets. Formal analysis and simulations demonstrated that clustered training samples can lead to "output dimension collapse," restricting predictable output feature dimensions. Diversifying the training set improved generalizability. However, text features alone are insufficient for mapping to the visual space. We argue that recent photo-like reconstructions may primarily be a blend of classification into trained categories and generation of inauthentic images through text-to-image diffusion (hallucination). Diverse datasets and compositional representations spanning the image space are essential for genuine zero-shot prediction. Interdisciplinary discussions grounded in understanding the current capabilities and limitations, as well as ethical considerations, of the technology are crucial for its responsible development.