title: The AstroSat UV Deep Field North: Direct determination of the UV Luminosity Function and its evolution from z~0.8-0.4

abstract: We characterize the evolution of the rest-frame 1500 $\unicode{xC5}$ UV luminosity Function (UVLF) from AstroSat/UVIT F154W and N242W imaging in the Great Observatories Origins Survey North (GOODS-N) field. With deep FUV observations, we construct the UVLF for galaxies at z$<0.13$ and subsequently characterise it with a Schechter function fit. The fitted parameters are consistent with previous determinations. With deep NUV observations, we are able to construct the UVLF in seven redshift bins in the range z $\sim$ 0.8 - 0.4, with galaxies identified till $\sim$2 mag fainter than previous surveys, owing to the high angular-resolution of UVIT. The fitted Schechter function parameters are obtained for these UVLFs. At z $\sim$ 0.8 - 0.7, we also utilize Hubble Space Telescope (HST) F275W observations in the GOODS-N field to construct the UVLF in 2 redshift bins, whose fitted Schechter function parameters are then found to be consistent with that determined from UVIT at z $\sim$ 0.75. We thus probe the variation of the fitted UVLF parameters over z $\sim$ 0.8 - 0.4, a span of $\sim$2.7 Gyr in age. We find that the slope of the Schechter function, $\alpha$, is at its steepest at z $\sim$ 0.65, implying highest star-formation at this instant with galaxies being relatively more passive before and after this time. We infer that this may be a short-lived instance of increased cosmic star-formation even though cosmic star-formation may be winding-down over longer timespan at this redshift range.


title: Beyond the Benchmark: Detecting Diverse Anomalies in Videos

abstract: Video Anomaly Detection (VAD) plays a crucial role in modern surveillance systems, aiming to identify various anomalies in real-world situations. However, current benchmark datasets predominantly emphasize simple, single-frame anomalies such as novel object detection. This narrow focus restricts the advancement of VAD models. In this research, we advocate for an expansion of VAD investigations to encompass intricate anomalies that extend beyond conventional benchmark boundaries. To facilitate this, we introduce two datasets, HMDB-AD and HMDB-Violence, to challenge models with diverse action-based anomalies. These datasets are derived from the HMDB51 action recognition dataset. We further present Multi-Frame Anomaly Detection (MFAD), a novel method built upon the AI-VAD framework. AI-VAD utilizes single-frame features such as pose estimation and deep image encoding, and two-frame features such as object velocity. They then apply a density estimation algorithm to compute anomaly scores. To address complex multi-frame anomalies, we add a deep video encoding features capturing long-range temporal dependencies, and logistic regression to enhance final score calculation. Experimental results confirm our assumptions, highlighting existing models limitations with new anomaly types. MFAD excels in both simple and complex anomaly detection scenarios.


title: Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness

abstract: Context: Domain-Driven Design (DDD) addresses software challenges, gaining attention for refactoring, reimplementation, and adoption. It centers on domain knowledge to solve complex business problems. Objective: This Systematic Literature Review (SLR) analyzes DDD research in software development to assess its effectiveness in solving architecture problems, identify challenges, and explore outcomes. Method: We selected 36 peer-reviewed studies and conducted quantitative and qualitative analysis. Results: DDD effectively improved software systems, emphasizing Ubiquitous Language, Bounded Context, and Domain Events. DDD in microservices gained prominence for system decomposition. Some studies lacked empirical evaluations, identifying challenges in onboarding and expertise. Conclusion: Adopting DDD benefits software development, involving stakeholders like engineers, architects, managers, and domain experts. More empirical evaluations and open discussions on challenges are needed. Collaboration between academia and industry advances DDD adoption and knowledge transfer in projects.


title: Implementation of hyperspectral inversion algorithms on FPGA: Hardware comparison using High Level Synthesis

abstract: Hyperspectral imaging is gathering significant attention due to its potential in various domains such as geology, agriculture, ecology, and surveillance. However, the associated processing algorithms, which are essential for enhancing output quality and extracting relevant information, are often computationally intensive and have to deal with substantial data volumes. Our focus lies on reconfigurable hardware, particularly recent FPGAs. While FPGA design can be complex, High Level Synthesis (HLS) workflows have emerged as a solution, abstracting low-level design intricacies and enhancing productivity. Despite successful prior efforts using HLS for hyperspectral imaging acceleration, we lack a comprehensive research to benchmark various algorithms and architectures within a unified framework. This study aims to quantitatively evaluate performance across different inversion algorithms and design architectures, providing insights for optimal trade-offs for specific applications. We apply this analysis to the case study of spectrum reconstruction processed from interferometric acquisitions taken by Fourier transform spectrometers.


title: Coherent Taylor expansion as a bimonad

abstract: We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive.The main idea consists in extending summability into an infinitary functor which intuitively maps any object to the object of its countable summable families.This functor is endowed with a canonical structure of bimonad.In a linear logical categorical setting, Taylor expansion is then axiomatized as a distributive law between this summability functor and the resource comonad (aka.~exponential), allowing to extend the summability functor into a bimonad on the Kleisli category of the resource comonad: this extended functor computes the Taylor expansion of the (nonlinear) morphisms of the Kleisli category.We also show how this categorical axiomatizations of Taylor expansion can be generalized to arbitrary cartesian categories, leading to a general theory of Taylor expansion formally similar to that of differential cartesian categories, although it does not require the underlying cartesian category to be left additive.We provide several examples of concrete categories which arise in denotational semantics and feature such analytic structures.


title: Improving style transfer in dynamic contrast enhanced MRI using a spatio-temporal approach

abstract: Style transfer in DCE-MRI is a challenging task due to large variations in contrast enhancements across different tissues and time. Current unsupervised methods fail due to the wide variety of contrast enhancement and motion between the images in the series. We propose a new method that combines autoencoders to disentangle content and style with convolutional LSTMs to model predicted latent spaces along time and adaptive convolutions to tackle the localised nature of contrast enhancement. To evaluate our method, we propose a new metric that takes into account the contrast enhancement. Qualitative and quantitative analyses show that the proposed method outperforms the state of the art on two different datasets.


title: Advancing Wavefront Shaping with Resonant Nonlocal Metasurfaces: Beyond the Limitations of Lookup Tables

abstract: Resonant metasurfaces are of paramount importance in addressing the growing demand for reduced thickness and complexity, while ensuring high optical efficiency. This becomes particularly crucial in overcoming fabrication challenges associated with high aspect ratio structures, thereby enabling seamless integration of metasurfaces with electronic components at an advanced level. However, traditional design approaches relying on lookup tables and local field approximations often fail to achieve optimal performance, especially for nonlocal resonant metasurfaces. In this study, we investigate the use of statistical learning optimization techniques for nonlocal resonant metasurfaces, with a specific emphasis on the role of near-field coupling in wavefront shaping beyond single unit cell simulations. Our study achieves significant advancements in the design of resonant metasurfaces. For transmission-based metasurfaces, a beam steering design outperforms the classical design by achieving an impressive efficiency of 80\% compared to the previous 23%. Additionally, our optimized extended depth-of-focus (EDOF) metalens yields a remarkable five-fold increase in focal depth, a four-fold enhancement in focusing power compared to conventional designs and an optical resolution superior to 600 cycle/mm across the focus region. Moreover, our study demonstrates remarkable performance with a wavelength-selected beam steering metagrating in reflection, achieving exceptional efficiency surpassing 85\%. This far outperforms classical gradient phase distribution approaches, emphasizing the immense potential for groundbreaking applications in the field of resonant metasurfaces.


title: Conditional independence on semiring relations

abstract: Conditional independence plays a foundational role in database theory, probability theory, information theory, and graphical models. In databases, conditional independence appears in database normalization and is known as the (embedded) multivalued dependency. Many properties of conditional independence are shared across various domains, and to some extent these commonalities can be studied through a measure-theoretic approach. The present paper proposes an alternative approach via semiring relations, defined by extending database relations with tuple annotations from some commutative semiring. Integrating various interpretations of conditional independence in this context, we investigate how the choice of the underlying semiring impacts the corresponding axiomatic and decomposition properties. We specifically identify positivity and multiplicative cancellativity as the key semiring properties that enable extending results from the relational context to the broader semiring framework. Additionally, we explore the relationships between different conditional independence notions through model theory, and consider how methods to test logical consequence and validity generalize from database theory and information theory to semiring relations.


title: Approximating Voltage Stability Boundary Under High Variability of Renewables Using Differential Geometry

abstract: This paper proposes a novel method rooted in differential geometry to approximate the voltage stability boundary of power systems under high variability of renewable generation. We extract intrinsic geometric information of the power flow solution manifold at a given operating point. Specifically, coefficients of the Levi-Civita connection are constructed to approximate the geodesics of the manifold starting at an operating point along any interested directions that represent possible fluctuations in generation and load. Then, based on the geodesic approximation, we further predict the voltage collapse point by solving a few univariate quadratic equations. Conventional methods mostly rely on either expensive numerical continuation at specified directions or numerical optimization. Instead, the proposed approach constructs the Christoffel symbols of the second kind from the Riemannian metric tensors to characterize the complete local geometry which is then extended to the proximity of the stability boundary with efficient computations. As a result, this approach is suitable to handle high-dimensional variability in operating points due to the large-scale integration of renewable resources. Using various case studies, we demonstrate the advantages of the proposed method and provide additional insights and discussions on voltage stability in renewable-rich power systems.


title: Improved Automatic Diabetic Retinopathy Severity Classification Using Deep Multimodal Fusion of UWF-CFP and OCTA Images

abstract: Diabetic Retinopathy (DR), a prevalent and severe complication of diabetes, affects millions of individuals globally, underscoring the need for accurate and timely diagnosis. Recent advancements in imaging technologies, such as Ultra-WideField Color Fundus Photography (UWF-CFP) imaging and Optical Coherence Tomography Angiography (OCTA), provide opportunities for the early detection of DR but also pose significant challenges given the disparate nature of the data they produce. This study introduces a novel multimodal approach that leverages these imaging modalities to notably enhance DR classification. Our approach integrates 2D UWF-CFP images and 3D high-resolution 6x6 mm$^3$ OCTA (both structure and flow) images using a fusion of ResNet50 and 3D-ResNet50 models, with Squeeze-and-Excitation (SE) blocks to amplify relevant features. Additionally, to increase the model's generalization capabilities, a multimodal extension of Manifold Mixup, applied to concatenated multimodal features, is implemented. Experimental results demonstrate a remarkable enhancement in DR classification performance with the proposed multimodal approach compared to methods relying on a single modality only. The methodology laid out in this work holds substantial promise for facilitating more accurate, early detection of DR, potentially improving clinical outcomes for patients.


title: Fourier optimization and Montgomery's pair correlation conjecture

abstract: Assuming the Riemann hypothesis, we improve the current upper and lower bounds for the average value of Montgomery's function $F(\alpha, T)$ over long intervals by means of a Fourier optimization framework. The function $F(\alpha, T)$ is often used to study the pair correlation of the non-trivial zeros of the Riemann zeta-function. Two ideas play a central role in our approach: (i) the introduction of new averaging mechanisms in our conceptual framework and (ii) the full use of the class of test functions introduced by Cohn and Elkies for the sphere packing bounds, going beyond the usual class of bandlimited functions. We conclude that such an average value, that is conjectured to be $1$, lies between $0.9303$ and $1.3208$. Our Fourier optimization framework also yields an improvement on the current bounds for the analogous problem concerning the non-trivial zeros in the family of Dirichlet $L$-functions.


title: Stencil-HMLS: A multi-layered approach to the automatic optimisation of stencil codes on FPGA

abstract: The challenges associated with effectively programming FPGAs have been a major blocker in popularising reconfigurable architectures for HPC workloads. However new compiler technologies, such as MLIR, are providing new capabilities which potentially deliver the ability to extract domain specific information and drive automatic structuring of codes for FPGAs. In this paper we explore domain specific optimisations for stencils, a fundamental access pattern in scientific computing, to obtain high performance on FPGAs via automated code structuring. We propose Stencil-HMLS, a multi-layered approach to automatic optimisation of stencil codes and introduce the HLS dialect, which brings FPGA programming into the MLIR ecosystem. Using the PSyclone Fortran DSL, we demonstrate an improvement of 14-100$\times$ with respect to the next best performant state-of-the-art tool. Furthermore, our approach is 14 to 92 times more energy efficient than the next most energy efficient approach.


title: Revisiting the Toda-Brumer-Duff criterion for order-chaos transition in dynamical systems

abstract: TThe Toda-Brumer-Duff (TBD) is an analytical criterion for estimating the local exponential rate of divergence between nearby trajectories in dynamical systems, and it is employed as a test for assessing the existence of chaos therein. It is fairly simple, intuitive, and works well in several situations, hence gained quite a wide popularity, yet it is known to be not rigorous since predicts ``false positives'', i.e., flags as chaotic systems that are instead regular. We revisit here the TBD criterion in order to understand the causes of its failures, and pinpoint that the problem with it is due to two reasons: (a) the TBD criterion does not constrain the trajectories to lie on the same energy hypersurface; (b) it does not distinguish between the divergence of trajectories along or perpendicularly to the direction of the flow, the former being irrelevant for assessing the presence of chaos. We show how both points can be incorporated within the TBD framework, yielding an amended criterion which, when applied to some reference cases, interprets correctly the kind of dynamics observed.


title: Verified completeness in Henkin-style for intuitionistic propositional logic

abstract: This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. The full source code can be found online at https://github.com/bbentzen/ipl.


title: Hierarchical Evaluation Framework: Best Practices for Human Evaluation

abstract: Human evaluation plays a crucial role in Natural Language Processing (NLP) as it assesses the quality and relevance of developed systems, thereby facilitating their enhancement. However, the absence of widely accepted human evaluation metrics in NLP hampers fair comparisons among different systems and the establishment of universal assessment standards. Through an extensive analysis of existing literature on human evaluation metrics, we identified several gaps in NLP evaluation methodologies. These gaps served as motivation for developing our own hierarchical evaluation framework. The proposed framework offers notable advantages, particularly in providing a more comprehensive representation of the NLP system's performance. We applied this framework to evaluate the developed Machine Reading Comprehension system, which was utilized within a human-AI symbiosis model. The results highlighted the associations between the quality of inputs and outputs, underscoring the necessity to evaluate both components rather than solely focusing on outputs. In future work, we will investigate the potential time-saving benefits of our proposed framework for evaluators assessing NLP systems.


title: Building a theoretical foundation for RUV-III

abstract: We establish an asymptotic theory that justifies the third method of removing unwanted variation (RUV-III) theoretically.


title: Particle pinning as a method to manipulate marginal stability

abstract: We study the critical behavior of low-frequency vibrations of packings with pinned particles near the jamming point. Soft modes form a plateau in the density of states and its frequency is controlled by the contact number as the ordinary jamming transition. The spatial structure of these modes is not largely affected by pins. Below the plateau, the non-Debye scaling predicted by mean-field theories and quasi-localized modes breaks down depending on the pinning procedures. We comprehensively explain these behaviors by the impact of pinning operations on the marginal stability of the packings.


title: Spot-Based Measurement of the Brighter-Fatter Effect on a Roman Space Telescope H4RG Detector and Comparison with Flat-Field Data

abstract: We present the measurement and characterization of the brighter-fatter effect (BFE) on a NASA Roman Space Telescope development Teledyne H4RG-10 near-infrared detector using laboratory measurements with projected point sources. After correcting for other interpixel non-linearity effects such as classical non-linearity and inter-pixel capacitance, we quantify the magnitude of the BFE by calculating the fractional area change per electron of charge contrast. We also introduce a mathematical framework to compare our results with the BFE measured on similar devices using autocorrelations from flat-field images. We find an agreement of 18 +/- 5% between the two methods. We identify potential sources of discrepancy and discuss future investigations to characterize and address them.


title: Characterizing the Inter-Core Qubit Traffic in Large-Scale Quantum Modular Architectures

abstract: Modular quantum processor architectures are envisioned as a promising solution for the scalability of quantum computing systems beyond the Noisy Intermediate Scale Quantum (NISQ) devices era. Based upon interconnecting tens to hundreds of quantum cores via a quantum intranet, this approach unravels the pressing limitations of densely qubit-packed monolithic processors, mainly by mitigating the requirements of qubit control and enhancing qubit isolation, and therefore enables executing large-scale algorithms on quantum computers. In order to optimize such architectures, it is crucial to analyze the quantum state transfers occurring via inter-core communication networks, referred to as inter-core qubit traffic. This would also provide insights to improve the software and hardware stack for multi-core quantum computers. To this aim, we present a pioneering characterization of the spatio-temporal inter-core qubit traffic in large-scale circuits. The programs are executed on an all-to-all connected multi-core architecture that supports up to around 1000 qubits. We characterize the qubit traffic based on multiple performance metrics to assess the computational process and the communication overhead. Based on the showcased results, we conclude on the scalability of the presented algorithms, provide a set of guidelines to improve mapping quantum circuits to multi-core processors, and lay the foundations of benchmarking large-scale multi-core architectures.


title: The hyperon superfluidity and the hyperon couplings in neutron stars within the relativistic mean field model

abstract: A systematic study of the effects of hyperon couplings on hyperon superfluidity is conducted by using the relativistic mean field model. Combining the slope of symmetry energy, the hyperon couplings are determined in two ways -- by the hypernuclear potentials or under the SU(3) symmetry. In either way, the hyperon coupling constants cannot be fixed uniquely but vary within a certain range due to the uncertainties in hypernuclear potentials or the breaking of SU(6) to SU(3) symmetry. When the coupling constants are constrained by the hypernuclear potentials, the pairings of $\Lambda$ and $\Xi^{0,-}$ are strong and they each show little variations. The pairing of $\Sigma^-$ is more sensitive to hyperon potentials and the slope of symmetry energy. Under the SU(3) symmetry, the superfluidity of various hyperons differ significantly. The dependence of the pairings of $\Lambda$ and $\Xi^{0,-}$ on the additional parameters of SU(3) symmetry are the opposite to that of the maximum mass of neutron stars on the additional parameters of SU(3) symmetry, while the pairing of $\Sigma^-$ shows a similar trend in general. These results suggest that the hyperon superfluidity associated with astrophysical processes is an essential window to probe the physics of neutron star cores, the hyperon-hyperon interactions and the SU(3) symmetry. Compared with other hyperons, $\Sigma^-$ could serve as a cleaner glass for this purpose.


title: Latin squares without proper subsquares

abstract: A $d$-dimensional Latin hypercube of order $n$ is a $d$-dimensional array containing symbols from a set of cardinality $n$ with the property that every axis-parallel line contains all $n$ symbols exactly once. We show that for $(n, d) \notin \{(4,2), (6,2)\}$ with $d \geq 2$ there exists a $d$-dimensional Latin hypercube of order $n$ that contains no $d$-dimensional Latin subhypercube of any order in $\{2,\dots,n-1\}$. The $d=2$ case settles a 50 year old conjecture by Hilton on the existence of Latin squares without proper subsquares.


title: RoFormer for Position Aware Multiple Instance Learning in Whole Slide Image Classification

abstract: Whole slide image (WSI) classification is a critical task in computational pathology. However, the gigapixel-size of such images remains a major challenge for the current state of deep-learning. Current methods rely on multiple-instance learning (MIL) models with frozen feature extractors. Given the the high number of instances in each image, MIL methods have long assumed independence and permutation-invariance of patches, disregarding the tissue structure and correlation between patches. Recent works started studying this correlation between instances but the computational workload of such a high number of tokens remained a limiting factor. In particular, relative position of patches remains unaddressed. We propose to apply a straightforward encoding module, namely a RoFormer layer , relying on memory-efficient exact self-attention and relative positional encoding. This module can perform full self-attention with relative position encoding on patches of large and arbitrary shaped WSIs, solving the need for correlation between instances and spatial modeling of tissues. We demonstrate that our method outperforms state-of-the-art MIL models on three commonly used public datasets (TCGA-NSCLC, BRACS and Camelyon16)) on weakly supervised classification tasks. Code is available at https://github.com/Sanofi-Public/DDS-RoFormerMIL


title: Black hole graviton and quantum gravity

abstract: Drawing from a thought experiment that we conduct, we propose that a virtual graviton gives rise to a black hole geometry when its momentum surpasses a certain threshold value on the Planck scale. This hypothesis implies that the propagator of a virtual graviton, that possesses momentum surpassing this threshold, vanishes. Consequently, a Feynman diagram containing this type of graviton propagator does not add to the overall amplitude. This mechanism suggests the feasibility of formulating an ultraviolet-finite four-dimensional quantum gravitational theory. The elementary particles including the gravitons are treated as point particles in this formulation.


title: DARTH: Holistic Test-time Adaptation for Multiple Object Tracking

abstract: Multiple object tracking (MOT) is a fundamental component of perception systems for autonomous driving, and its robustness to unseen conditions is a requirement to avoid life-critical failures. Despite the urge of safety in driving systems, no solution to the MOT adaptation problem to domain shift in test-time conditions has ever been proposed. However, the nature of a MOT system is manifold - requiring object detection and instance association - and adapting all its components is non-trivial. In this paper, we analyze the effect of domain shift on appearance-based trackers, and introduce DARTH, a holistic test-time adaptation framework for MOT. We propose a detection consistency formulation to adapt object detection in a self-supervised fashion, while adapting the instance appearance representations via our novel patch contrastive loss. We evaluate our method on a variety of domain shifts - including sim-to-real, outdoor-to-indoor, indoor-to-outdoor - and substantially improve the source model performance on all metrics. Code: https://github.com/mattiasegu/darth.


title: Wrapping and unwrapping multifractal fields

abstract: We develop a powerful yet simple method that generates multifractal fields with fully controlled scaling properties. Adopting the Multifractal Random Walk (MRW) model of Bacry et al. (2001), synthetic multifractal fields are obtained from the fractional integration of non-Gaussian fluctuations, built by a non-linear transformation of log-correlated Gaussian fields. The resulting fields are parameterized by their roughness exponent $H$, intermittency $\lambda$ and multifractal range $\xi_\omega$. We retrieve all the salient features of the MRW, namely a quadratic scaling exponent spectrum $\zeta_q$, fat-tail statistics of fluctuations, and spatial correlations of local volatility. Such features can be finely tuned, allowing for the generation of ideal multifractals mimicking real multi-affine fields. The construction procedure is then used the other way around to unwrap experimental data -- here the roughness map of a fractured metallic alloy. Our analysis evidences subtle differences with synthetic fields, namely anisotropic filamental clusters reminiscent of dissipation structures found in fluid turbulence.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an


title: Smartphone-based Optical Sectioning (SOS) Microscopy with A Telecentric Design for Fluorescence Imaging

abstract: We proposed a Smartphone-based Optical Sectioning (SOS) microscope based on the HiLo technique, with a single smartphone replacing a high-cost illumination source and a camera sensor.We built our SOS with off-the-shelf optical mechanical cage systems with 3D-printed adapters to integrate the smartphone with the SOS main body seamlessly.The liquid light guide can be integrated with the adapter, guiding the smartphone LED light to the digital mirror device with neglectable loss.We used an electrically tunable lens (ETL) instead of a mechanical translation stage to realize low-cost axial scanning. The ETL was conjugated to the objective lens back pupil plane (BPP) to construct a telecentric design by a 4f configuration. This can exempt images of different layers from the variation in magnification. SOS has a 571.5 {\mu}m telecentric scanning range and an 11.7 {\mu}m axial resolution. The broadband smartphone LED torch can effectively excite fluorescent polystyrene (PS) beads. We successfully used SOS for high contrast fluorescent PS beads imaging with different wavelengths and optical sectioning imaging of accumulated fluorescent PS beads. To our knowledge, the proposed SOS is the first smartphone-based HiLo optical sectioning microscopy. It is a powerful, low-cost tool for biomedical research in resource-limited areas.


title: Navigating Cultural Chasms: Exploring and Unlocking the Cultural POV of Text-To-Image Models

abstract: Text-To-Image (TTI) models, such as DALL-E and StableDiffusion, have demonstrated remarkable prompt-based image generation capabilities. Multilingual encoders may have a substantial impact on the cultural agency of these models, as language is a conduit of culture. In this study, we explore the cultural perception embedded in TTI models by characterizing culture across three hierarchical tiers: cultural dimensions, cultural domains, and cultural concepts. Based on this ontology, we derive prompt templates to unlock the cultural knowledge in TTI models, and propose a comprehensive suite of evaluation techniques, including intrinsic evaluations using the CLIP space, extrinsic evaluations with a Visual-Question-Answer (VQA) model and human assessments, to evaluate the cultural content of TTI-generated images. To bolster our research, we introduce the CulText2I dataset, derived from four diverse TTI models and spanning ten languages. Our experiments provide insights regarding Do, What, Which and How research questions about the nature of cultural encoding in TTI models, paving the way for cross-cultural applications of these models.


title: A Distributed Multi-Robot Framework for Exploration, Information Acquisition and Consensus

abstract: The distributed coordination of robot teams performing complex tasks is challenging to formulate. The different aspects of a complete task such as local planning for obstacle avoidance, global goal coordination and collaborative mapping are often solved separately, when clearly each of these should influence the others for the most efficient behaviour. In this paper we use the example application of distributed information acquisition as a robot team explores a large space to show that we can formulate the whole problem as a single factor graph with multiple connected layers representing each aspect. We use Gaussian Belief Propagation (GBP) as the inference mechanism, which permits parallel, on-demand or asynchronous computation for efficiency when different aspects are more or less important. This is the first time that a distributed GBP multi-robot solver has been proven to enable intelligent collaborative behaviour rather than just guiding robots to individual, selfish goals. We encourage the reader to view our demos at https://aalpatya.github.io/gbpstack


title: MarineDet: Towards Open-Marine Object Detection

abstract: Marine object detection has gained prominence in marine research, driven by the pressing need to unravel oceanic mysteries and enhance our understanding of invaluable marine ecosystems. There is a profound requirement to efficiently and accurately identify and localize diverse and unseen marine entities within underwater imagery. The open-marine object detection (OMOD for short) is required to detect diverse and unseen marine objects, performing categorization and localization simultaneously. To achieve OMOD, we present \textbf{MarineDet}. We formulate a joint visual-text semantic space through pre-training and then perform marine-specific training to achieve in-air-to-marine knowledge transfer. Considering there is no specific dataset designed for OMOD, we construct a \textbf{MarineDet dataset} consisting of 821 marine-relative object categories to promote and measure OMOD performance. The experimental results demonstrate the superior performance of MarineDet over existing generalist and specialist object detection algorithms. To the best of our knowledge, we are the first to present OMOD, which holds a more valuable and practical setting for marine ecosystem monitoring and management. Our research not only pushes the boundaries of marine understanding but also offers a standard pipeline for OMOD.


title: Automatic Data Processing for Space Robotics Machine Learning

abstract: Autonomous terrain classification is an important problem in planetary navigation, whether the goal is to identify scientific sites of interest or to traverse treacherous areas safely. Past Martian rovers have relied on human operators to manually identify a navigable path from transmitted imagery. Our goals on Mars in the next few decades will eventually require rovers that can autonomously move farther, faster, and through more dangerous landscapes--demonstrating a need for improved terrain classification for traversability. Autonomous navigation through extreme environments will enable the search for water on the Moon and Mars as well as preparations for human habitats. Advancements in machine learning techniques have demonstrated potential to improve terrain classification capabilities for ground vehicles on Earth. However, classification results for space applications are limited by the availability of training data suitable for supervised learning methods. This paper contributes an open source automatic data processing pipeline that uses camera geometry to co-locate Curiosity and Perseverance Mastcam image products with Mars overhead maps via ray projection over a terrain model. In future work, this automated data processing pipeline will be leveraged for development of machine learning methods for terrain classification.


title: Flux-conserving directed percolation

abstract: We discuss a model for directed percolation in which the flux of material along each bond is a dynamical variable. The model includes a physically significant limiting case where the total flux of material is conserved. We show that the distribution of fluxes is asymptotic to a power law at small fluxes. We give an implicit equation for the exponent, in terms of probabilities characterising site occupations. In one dimension the site occupations are exactly independent, and the model is exactly solvable. In two dimensions, the independent-occupation assumption gives a good approximation. We explore the relationship between this model and traditional models for directed percolation.


title: Robust deformable image registration using cycle-consistent implicit representations

abstract: Recent works in medical image registration have proposed the use of Implicit Neural Representations, demonstrating performance that rivals state-of-the-art learning-based methods. However, these implicit representations need to be optimized for each new image pair, which is a stochastic process that may fail to converge to a global minimum. To improve robustness, we propose a deformable registration method using pairs of cycle-consistent Implicit Neural Representations: each implicit representation is linked to a second implicit representation that estimates the opposite transformation, causing each network to act as a regularizer for its paired opposite. During inference, we generate multiple deformation estimates by numerically inverting the paired backward transformation and evaluating the consensus of the optimized pair. This consensus improves registration accuracy over using a single representation and results in a robust uncertainty metric that can be used for automatic quality control. We evaluate our method with a 4D lung CT dataset. The proposed cycle-consistent optimization method reduces the optimization failure rate from 2.4% to 0.0% compared to the current state-of-the-art. The proposed inference method improves landmark accuracy by 4.5% and the proposed uncertainty metric detects all instances where the registration method fails to converge to a correct solution. We verify the generalizability of these results to other data using a centerline propagation task in abdominal 4D MRI, where our method achieves a 46% improvement in propagation consistency compared with single-INR registration and demonstrates a strong correlation between the proposed uncertainty metric and registration accuracy.


title: Who is the Audience? Designing Casual Data Visualizations for the 'General Public'

abstract: Casual data visualizations play a vital role in communicating data to lay audiences. Despite this, little is known about how data visualization practitioners make design decisions based on their envisioned target audiences using different media channels. We draw on the findings of a semi-structured interview study to explore how data visualization practitioners working in various settings conceptualize and design for lay audiences and how they evaluate their visualization designs. Our findings suggest that practitioners often use broad definitions of their target audience, yet they stress the importance of 'knowing the readers' for their design decisions. At the same time, commonly used evaluation and feedback mechanisms do not allow a deep knowledge of their readers but rely instead on tacit knowledge, simple usage metrics, or testing with colleagues. We conclude by calling for different forms of visualization evaluation that are feasible for practitioners to implement in their daily workflows.


title: Constructing Image-Text Pair Dataset from Books

abstract: Digital archiving is becoming widespread owing to its effectiveness in protecting valuable books and providing knowledge to many people electronically. In this paper, we propose a novel approach to leverage digital archives for machine learning. If we can fully utilize such digitized data, machine learning has the potential to uncover unknown insights and ultimately acquire knowledge autonomously, just like humans read books. As a first step, we design a dataset construction pipeline comprising an optical character reader (OCR), an object detector, and a layout analyzer for the autonomous extraction of image-text pairs. In our experiments, we apply our pipeline on old photo books to construct an image-text pair dataset, showing its effectiveness in image-text retrieval and insight extraction.


title: Causal Inference with Conditional Front-Door Adjustment and Identifiable Variational Autoencoder

abstract: An essential and challenging problem in causal inference is causal effect estimation from observational data. The problem becomes more difficult with the presence of unobserved confounding variables. The front-door adjustment is a practical approach for dealing with unobserved confounding variables. However, the restriction for the standard front-door adjustment is difficult to satisfy in practice. In this paper, we relax some of the restrictions by proposing the concept of conditional front-door (CFD) adjustment and develop the theorem that guarantees the causal effect identifiability of CFD adjustment. Furthermore, as it is often impossible for a CFD variable to be given in practice, it is desirable to learn it from data. By leveraging the ability of deep generative models, we propose CFDiVAE to learn the representation of the CFD adjustment variable directly from data with the identifiable Variational AutoEncoder and formally prove the model identifiability. Extensive experiments on synthetic datasets validate the effectiveness of CFDiVAE and its superiority over existing methods. The experiments also show that the performance of CFDiVAE is less sensitive to the causal strength of unobserved confounding variables. We further apply CFDiVAE to a real-world dataset to demonstrate its potential application.


title: Dissipation-induced collective advantage of a quantum thermal machine

abstract: Do quantum correlations lead to better performance with respect to several different systems working independently? For quantum thermal machines, the question is whether a working medium (WM) made of $N$ constituents exhibits better performance than $N$ independent engines working in parallel. Here, by inspecting a microscopic model with the WM composed by two non-interacting quantum harmonic oscillators, we show that the presence of a common environment can mediate non-trivial correlations in the WM leading to better quantum heat engine performance -- maximum power and efficiency -- with respect to an independent configuration. Furthermore, this advantage is striking for strong dissipation, a regime in which two independent engines cannot deliver any useful power. Our results show that dissipation can be exploited as a useful resource for quantum thermal engines, and are corroborated by optimization techniques here extended to non-Markovian quantum heat engines.


title: Optimizing microlens arrays for incoherent HiLo microscopy

abstract: HiLo microscopy is a powerful, low-cost, and easily configurable technique for acquiring high-contrast optically-sectioned images. However, traditional HiLo microscopes are based on coherent light sources with diffusive glass plates or incoherent light sources with digital mirror devices (DMD) and spatial light modulators (SLM), which are more expensive. Here, we propose a new low-cost HiLo microscopy technique using MLAs and incoherent LED light sources. We simulated structured illumination (SI) patterns and HiLo image generation based on Fresnel diffraction and incoherent imaging. To observe how MLAs affect HiLo images, we used three common MLAs with specific microlens pitch and numerical aperture (NA) to generate periodic illumination patterns. According to our simulations, using MLAs and incoherent light sources can enhance the image contrast compared with a traditional widefield fluorescence microscope. We found that the MLA NA does not significantly affect HiLo images. A larger lens pitch can bring a higher image contrast. However, there is an optimized lens pitch. If the lens pitch is too high, artefacts are observed in HiLo images. To our knowledge, this is the first numerical study about MLA-based HiLo microscopy. This study can benefit researchers using MLAs and incoherent light sources to configure their low-cost HiLo microscopes.


title: A new perspective on thermal transition in QCD

abstract: Motivated by the picture of partial deconfinement developed in recent years for large-$N$ gauge theories, we propose a new way of analyzing and understanding thermal phase transition in QCD. We find nontrivial support for our proposal by analyzing the WHOT-QCD collaboration's lattice configurations for SU(3) QCD in $3+1$ spacetime dimensions with up, down, and strange quarks. We find that the Polyakov line (the holonomy matrix around a thermal time circle) is governed by the Haar-random distribution at low temperatures. The deviation from the Haar-random distribution at higher temperatures can be measured via the character expansion, or equivalently, via the expectation values of the Polyakov loop defined by the various nontrivial representations of SU(3). We find that the Polyakov loop corresponding to the fundamental representation and loops in the higher representation condense at different temperatures. This suggests that there are (at least) three phases, one intermediate phase existing in between the completely-confined and the completely-deconfined phases. Our identification of the intermediate phase is supported also by the condensation of instantons: by studying the instanton numbers of the WHOT-QCD configurations, we find that the instanton condensation occurs for temperature regimes corresponding to what we identify as the completely-confined and intermediate phases, whereas the instantons do not condense in the completely-deconfined phase. Our characterization of confinement based on the Haar-randomness explains why the Polyakov loop is a good observable to distinguish the confinement and the deconfinement phases in QCD despite the absence of the $\mathbb{Z}_3$ center symmetry.


title: Bandwidth of Timed Automata: 3 Classes

abstract: Timed languages contain sequences of discrete events ("letters'') separated by real-valued delays, they can be recognized by timed automata, and represent behaviors of various real-time systems. The notion of bandwidth of a timed language defined in a previous paper characterizes the amount of information per time unit, encoded in words of the language observed with some precision {\epsilon}. In this paper, we identify three classes of timed automata according to the asymptotics of the bandwidth of their languages with respect to this precision {\epsilon}: automata are either meager, with an O(1) bandwidth, normal, with a {\Theta}(log (1/{\epsilon})) bandwidth, or obese, with {\Theta}(1/{\epsilon}) bandwidth. We define two structural criteria and prove that they partition timed automata into these three classes of bandwidth, implying that there are no intermediate asymptotic classes. The classification problem of a timed automaton is PSPACE-complete. Both criteria are formulated using morphisms from paths of the timed automaton to some finite monoids extending Puri's orbit graphs; the proofs are based on Simon's factorization forest theorem.


title: OOD Aware Supervised Contrastive Learning

abstract: Out-of-Distribution (OOD) detection is a crucial problem for the safe deployment of machine learning models identifying samples that fall outside of the training distribution, i.e. in-distribution data (ID). Most OOD works focus on the classification models trained with Cross Entropy (CE) and attempt to fix its inherent issues. In this work we leverage powerful representation learned with Supervised Contrastive (SupCon) training and propose a holistic approach to learn a classifier robust to OOD data. We extend SupCon loss with two additional contrast terms. The first term pushes auxiliary OOD representations away from ID representations without imposing any constraints on similarities among auxiliary data. The second term pushes OOD features far from the existing class prototypes, while pushing ID representations closer to their corresponding class prototype. When auxiliary OOD data is not available, we propose feature mixing techniques to efficiently generate pseudo-OOD features. Our solution is simple and efficient and acts as a natural extension of the closed-set supervised contrastive representation learning. We compare against different OOD detection methods on the common benchmarks and show state-of-the-art results.


title: Ravestate: Distributed Composition of a Causal-Specificity-Guided Interaction Policy

abstract: In human-robot interaction policy design, a rule-based method is efficient, explainable, expressive and intuitive. In this paper, we present the Signal-Rule-Slot framework, which refines prior work on rule-based symbol system design and introduces a new, Bayesian notion of interaction rule utility called Causal Pathway Self-information. We offer a rigorous theoretical foundation as well as a rich open-source reference implementation Ravestate, with which we conduct user studies in text-, speech-, and vision-based scenarios. The experiments show robust contextual behaviour of our probabilistically informed rule-based system, paving the way for more effective human-machine interaction.


title: Artificial Intelligence for Prediction of Climate Extremes: State of the art, challenges and future perspectives

abstract: Scientific and technological advances in numerical modelling have improved the quality of climate predictions over recent decades, but predictive skill remains limited in many aspects. Extreme events such as heat and cold waves, droughts, heavy rain and storms are particularly challenging to predict accurately due to their rarity and non-linear chaotic nature, and because of model limitations. However, recent studies have shown that predictive skill of extremes can be increased when using more sophisticated approaches, indicating that there might be systemic predictability that is not being leveraged. Recently, numerous studies have been devoted to the exploitation of Artificial Intelligence (AI) to study the predictability and make predictions of weather and climate. AI techniques have shown great potential to improve the prediction of extreme events and uncover their links to large-scale and local drivers. Machine and deep learning, causal discovery, explainable AI, are only some of the approaches that have been tested to both improve our understanding of the processes underlying predictability and enhance prediction skill of extreme events. Results are promising, especially for hybrid predictions that combine the AI, which can reveal and exploit unknown spatio-temporal connections from data, and climate models, that provide the theoretical foundation and interpretability of the physical world. On the other hand, challenges are multiple in many aspects, from data curation to model uncertainty and generalizability, to the reproducibility of methods and workflows. A few best practices are identified to increase trust in these novel techniques, and future perspectives are envisaged for further scientific development.


title: Homotopy-Aware Multi-Agent Path Planning in Plane

abstract: We propose an efficient framework using the Dynnikov coordinates for homotopy-aware multi-agent path planning in the plane. We developed a method to generate multiple homotopically distinct solutions of multi-agent path planning problem in the plane by combining our framework with revised prioritized planning and proved its completeness in the grid world under specific assumptions. Experimentally, we demonstrated the scalability of our method for the number of agents. We also confirmed experimentally that homotopy-aware planning contributes to avoiding locally optimal solutions when searching for low-cost trajectories for a swarm of agents in a continuous environment.


title: CoralVOS: Dataset and Benchmark for Coral Video Segmentation

abstract: Coral reefs formulate the most valuable and productive marine ecosystems, providing habitat for many marine species. Coral reef surveying and analysis are currently confined to coral experts who invest substantial effort in generating comprehensive and dependable reports (\emph{e.g.}, coral coverage, population, spatial distribution, \textit{etc}), from the collected survey data. However, performing dense coral analysis based on manual efforts is significantly time-consuming, the existing coral analysis algorithms compromise and opt for performing down-sampling and only conducting sparse point-based coral analysis within selected frames. However, such down-sampling will \textbf{inevitable} introduce the estimation bias or even lead to wrong results. To address this issue, we propose to perform \textbf{dense coral video segmentation}, with no down-sampling involved. Through video object segmentation, we could generate more \textit{reliable} and \textit{in-depth} coral analysis than the existing coral reef analysis algorithms. To boost such dense coral analysis, we propose a large-scale coral video segmentation dataset: \textbf{CoralVOS} as demonstrated in Fig. 1. To the best of our knowledge, our CoralVOS is the first dataset and benchmark supporting dense coral video segmentation. We perform experiments on our CoralVOS dataset, including 6 recent state-of-the-art video object segmentation (VOS) algorithms. We fine-tuned these VOS algorithms on our CoralVOS dataset and achieved observable performance improvement. The results show that there is still great potential for further promoting the segmentation accuracy. The dataset and trained models will be released with the acceptance of this work to foster the coral reef research community.


title: The dimension of the set of $\psi$-badly approximable points in all ambient dimensions; on a question of Beresnevich and Velani

abstract: Let $\psi:\mathbb{N} \to [0,\infty)$, $\psi(q)=q^{-(1+\tau)}$ and let $\psi$-badly approximable points be those vectors in $\mathbb{R}^{d}$ that are $\psi$-well approximable, but not $c\psi$-well approximable for arbitrarily small constants $c>0$. We establish that the $\psi$-badly approximable points have the Hausdorff dimension of the $\psi$-well approximable points, the dimension taking the value $(d+1)/(\tau+1)$ familiar from theorems of Besicovitch and Jarn\'ik. The method of proof is an entirely new take on the Mass Transference Principle by Beresnevich and Velani (Annals, 2006); namely, we use the colloquially named `delayed pruning' to construct a sufficiently large $\liminf$ set and combine this with ideas inspired by the proof of the Mass Transference Principle to find a large $\limsup$ subset of the $\liminf$ set. Our results are a generalisation of some $1$-dimensional results due to Bugeaud and Moreira (Acta Arith, 2011), but our method of proof is nothing alike.


title: Fox-H densities and completely monotone generalized Wright functions

abstract: Due to their flexibility, Fox-$H$ functions are widely studied and applied to many research topics, such as physics, statistics, viscoelasticity, etc. The special cases represented by the Mittag-Leffler and Wright functions prove their great impact. In this paper, we focus on certain explicit assumptions that allow us to use the Fox-$H$ functions as densities. We then provide a subfamily of the latter, called Fox-$H$ densities with moments of any order, and give their Laplace transforms as entire generalized Wright functions. The class of r.v.'s with these densities is proved to possess a monoid structure. We present eight subclasses of special cases of such densities (together with their Laplace transforms) that are particularly relevant in applications. To analyze the existence conditions of Fox-$H$ functions, we derive asymptotic results and their analytic extension.


title: A Scaling Approach to Stochastic Chemical Reaction Networks

abstract: We investigate the asymptotic properties of Markov processes associated to stochastic chemical reaction networks (CRNs) driven by the kinetics of the law of mass action. Their transition rates exhibit a polynomial dependence on the state variable, with possible discontinuities of the dynamics along the boundary of the state space. As a natural choice to study stability properties of CRNs, the scaling parameter considered in this paper is the norm of the initial state. Compared to existing scalings of the literature, this scaling does not change neither the topology of a CRN, nor its reactions constants. Functional limit theorems with this scaling parameter can be used to prove positive recurrence of the Markov process. This scaling approach also gives interesting insights on the transient behavior of these networks, to describe how multiple time scales drive the time evolution of their sample paths for example. General stability criteria are presented as well as a possible framework for scaling analyses. Several simple examples of CRNs are investigated with this approach. A detailed stability and scaling analyses of a CRN with slow and fast timescales is worked out.


title: Specification testing with grouped fixed effects

abstract: We propose a bootstrap generalized Hausman test for the correct specification of unobserved heterogeneity in both linear and nonlinear fixed-effects panel data models. We consider as null hypotheses two scenarios in which the unobserved heterogeneity is either time-invariant or specified as additive individual and time effects. We contrast the standard fixed-effects estimators with the recently developed two-way grouped fixed-effects estimator, that is consistent in the presence of time-varying heterogeneity under minimal specification and distributional assumptions for the unobserved effects. The Hausman test exploits the general formulation for the variance of the vector of contrasts and critical values are computed via parametric percentile bootstrap, so as to account for the non-centrality of the asymptotic chi-square distribution arising from the incidental parameters and approximation biases. Monte Carlo evidence shows that the test has correct size and good power properties. We provide two empirical applications to illustrate the proposed test: the first one is based on a linear model for the determinants of the wage of working women and the second analyzes the trade extensive margin.


title: Probabilistic Reach-Avoid for Bayesian Neural Networks

abstract: Model-based reinforcement learning seeks to simultaneously learn the dynamics of an unknown stochastic environment and synthesise an optimal policy for acting in it. Ensuring the safety and robustness of sequential decisions made through a policy in such an environment is a key challenge for policies intended for safety-critical scenarios. In this work, we investigate two complementary problems: first, computing reach-avoid probabilities for iterative predictions made with dynamical models, with dynamics described by Bayesian neural network (BNN); second, synthesising control policies that are optimal with respect to a given reach-avoid specification (reaching a "target" state, while avoiding a set of "unsafe" states) and a learned BNN model. Our solution leverages interval propagation and backward recursion techniques to compute lower bounds for the probability that a policy's sequence of actions leads to satisfying the reach-avoid specification. Such computed lower bounds provide safety certification for the given policy and BNN model. We then introduce control synthesis algorithms to derive policies maximizing said lower bounds on the safety probability. We demonstrate the effectiveness of our method on a series of control benchmarks characterized by learned BNN dynamics models. On our most challenging benchmark, compared to purely data-driven policies the optimal synthesis algorithm is able to provide more than a four-fold increase in the number of certifiable states and more than a three-fold increase in the average guaranteed reach-avoid probability.


title: Pair correlations in the two-orbital Hubbard ladder: Implications on superconductivity in the bilayer nickelate La$_3$Ni$_2$O$_7$

abstract: Motivated by high-temperature superconductivity in pressurized La$_3$Ni$_2$O$_7$, we investigate the pair correlations in the two-orbital Hubbard ladder, which consists of the nearly half-filled and nearly quarter-filled orbitals. By employing the density matrix renormalization group method, we demonstrate that the pair correlation exhibits a power-law decay against the distance while the spin correlation decays exponentially. The decay exponent of the pair correlation of the nearly half-filled orbital is comparable to the exponent of the quasi-long-range superconducting correlation in the doped single-orbital Hubbard ladder, which suggests the importance of the $d_{3z^2-r^2}$ orbital in La$_3$Ni$_2$O$_7$.


title: Flow of a shear-thinning fluid in a rectangular duct

abstract: We address the problem of steady laminar flow of a shear-thinning fluid in rectangular ducts, which is encountered in many systems, in particular, in microfluidic and biomedical devices. However, an exact solution for the flow of non-Newtonian fluids that considers a realistic shear-thinning rheological behavior is not available in the literature. In this study, an accurate solution for the case of Carreau fluid is obtained and investigated numerically. The numerical solution allows us to analyze the effects of the fluid rheology and the aspect ratio of the rectangular duct on the velocity field and pressure gradient that drives the flow. The relationship between the pressure gradient and the Carreau number is found to follow the rheological curve of the shear-thinning fluid. The analysis shows that the fluid rheology and the aspect ratio have independent contributions to the integral flow characteristics. Moreover, separate consideration of these contributions allows us to arrive at universal scaling and general formulae for the pressure gradient and friction factor for various rheological parameters of the fluid and aspect ratios of rectangular ducts.


title: Performance of the joint LST-1 and MAGIC observations evaluated with Crab Nebula data

abstract: Aims. LST-1, the prototype of the Large-Sized Telescope for the upcoming Cherenkov Telescope Array Observatory, is concluding its commissioning in Observatorio del Roque de los Muchachos on the island of La Palma. The proximity of LST-1 (Large-Sized Telescope 1) to the two MAGIC (Major Atmospheric Gamma Imaging Cherenkov) telescopes permits observations of the same gamma-ray events with both systems. Methods. We describe the joint LST-1+MAGIC analysis pipeline and use simultaneous Crab Nebula observations and Monte Carlo simulations to assess the performance of the three-telescope system. The addition of the LST-1 telescope allows the recovery of events in which one of the MAGIC images is too dim to survive analysis quality cuts. Results. Thanks to the resulting increase in the collection area and stronger background rejection, we find a significant improvement in sensitivity, allowing the detection of 30% weaker fluxes in the energy range between 200 GeV and 3 TeV. The spectrum of the Crab Nebula, reconstructed in the energy range ~60 GeV to ~10 TeV, is in agreement with previous measurements.


title: On the negative-result experiments in quantum mechanics

abstract: We comment on the so-called negative-result experiments (also known as null measurements, interaction-free measurements, and so on) in quantum mechanics (QM), in the light of the new general understanding of the quantum-measurement processes, proposed recently. All experiments of this kind (null-measurements) can be understood as improper measurements with an intentionally biased detector set up, which introduces exclusion or selection of certain events. The prediction on the state of a microscopic system under study based on a null measurement, is sometimes dramatically described as ``wave-function collapse without any microsystem-detector interactions". Though certainly correct, such a prediction is just a consequence of the standard QM laws, not different from the situation in the so-called state-preparation procedure. Another closely related concept is the (first-class or) repeatable measurements. The verification of the prediction made by a null-measurement requires eventually a standard unbiased measurement involving the microsystem-macroscopic detector interactions, which are nonadiabatic, irreversible processes of signal amplification.


title: Chern Numbers of Matroids

abstract: We define Chern numbers of a matroid. These numbers are obtained when intersecting appropriate matroid Chern-Schwartz-MacPherson cycles defined by L\'opez de Medrano, Rinc\'on, and Shaw. We prove that when a matroid arises from a complex hyperplane arrangement the Chern numbers of the matroid correspond to the Chern numbers of the log cotangent bundle. A matroid of rank 3 has two Chern numbers. We prove that they are positive and that their ratio is bounded by 3, which is analogous to the Bogomolov-Miyaoka-Yau inequality. If the matroid is orientable, we generalize a result of Eterovi\'c, Figuera, and Urz\'ua to prove that the ratio is bounded above by 5/2. Finally, we give a formula for the Chern numbers of the uniform matroid of any rank.


title: Driving with LLMs: Fusing Object-Level Vector Modality for Explainable Autonomous Driving

abstract: Large Language Models (LLMs) have shown promise in the autonomous driving sector, particularly in generalization and interpretability. We introduce a unique object-level multimodal LLM architecture that merges vectorized numeric modalities with a pre-trained LLM to improve context understanding in driving situations. We also present a new dataset of 160k QA pairs derived from 10k driving scenarios, paired with high quality control commands collected with RL agent and question answer pairs generated by teacher LLM (GPT-3.5). A distinct pretraining strategy is devised to align numeric vector modalities with static LLM representations using vector captioning language data. We also introduce an evaluation metric for Driving QA and demonstrate our LLM-driver's proficiency in interpreting driving scenarios, answering questions, and decision-making. Our findings highlight the potential of LLM-based driving action generation in comparison to traditional behavioral cloning. We make our benchmark, datasets, and model available for further exploration.


title: Light polarons with electron-phonon coupling

abstract: In most cases, as the strength of electron-phonon coupling increases, the effective mass of polarons typically increases. However, in this paper, we uncover a fascinating phenomenon: the presence of light polarons even within the strong coupling regime, where electron-phonon coupling includes both Holstein and bond types (electron-phonon coupling occurring on the hopping bonds). To investigate this, we employ a novel Diagrammatic Monte Carlo method based on the path-integral formulation of the particle sector and the Fock-state representation of the phonon sector. Our study centers on analyzing the impact of bond electron-phonon coupling on the Holstein polaron's essential properties, including its effective mass, ground state energy, and the average number of phonons. We examine two distinct scenarios: one where the phonon frequency of both Holstein and bond types is the same, and another where the phonon frequency of the Holstein type is twice as large as that of the bond type. In both of these two cases, when the Holstein coupling falls within the light mass regime, we observe minimal changes in the effective mass as a function of bond coupling, compared to the case of the bare bond polaron. However, the behavior of the effective mass undergoes a significant change in the heavy mass regime. Most intriguingly, we discover a non-monotonic dependence of the effective mass on the bond coupling $g_B$ when the Holstein coupling $g_H$ falls within the heavy mass regime. This finding holds promise, particularly in the context of bipolaron, where achieving a light effective mass and a large binding energy to get the compact size, is crucial.


title: Beyond Labeling Oracles: What does it mean to steal ML models?

abstract: Model extraction attacks are designed to steal trained models with only query access, as is often provided through APIs that ML-as-a-Service providers offer. Machine Learning (ML) models are expensive to train, in part because data is hard to obtain, and a primary incentive for model extraction is to acquire a model while incurring less cost than training from scratch. Literature on model extraction commonly claims or presumes that the attacker is able to save on both data acquisition and labeling costs. We thoroughly evaluate this assumption and find that the attacker often does not. This is because current attacks implicitly rely on the adversary being able to sample from the victim model's data distribution. We thoroughly research factors influencing the success of model extraction. We discover that prior knowledge of the attacker, i.e., access to in-distribution data, dominates other factors like the attack policy the adversary follows to choose which queries to make to the victim model API. Our findings urge the community to redefine the adversarial goals of ME attacks as current evaluation methods misinterpret the ME performance.


title: Language Models as Knowledge Bases for Visual Word Sense Disambiguation

abstract: Visual Word Sense Disambiguation (VWSD) is a novel challenging task that lies between linguistic sense disambiguation and fine-grained multimodal retrieval. The recent advancements in the development of visiolinguistic (VL) transformers suggest some off-the-self implementations with encouraging results, which however we argue that can be further improved. To this end, we propose some knowledge-enhancement techniques towards improving the retrieval performance of VL transformers via the usage of Large Language Models (LLMs) as Knowledge Bases. More specifically, knowledge stored in LLMs is retrieved with the help of appropriate prompts in a zero-shot manner, achieving performance advancements. Moreover, we convert VWSD to a purely textual question-answering (QA) problem by considering generated image captions as multiple-choice candidate answers. Zero-shot and few-shot prompting strategies are leveraged to explore the potential of such a transformation, while Chain-of-Thought (CoT) prompting in the zero-shot setting is able to reveal the internal reasoning steps an LLM follows to select the appropriate candidate. In total, our presented approach is the first one to analyze the merits of exploiting knowledge stored in LLMs in different ways to solve WVSD.


title: Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

abstract: We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language motivated by the design of a descriptive language to encode complex requirements on computer systems, and we explain how these key properties must be addressed to model these requirements with simple definitions. We give an overview of a tool that helps to describe problems in an easy way that we consider more transparent and less error-prone.


title: A universal formula for the entanglement asymmetry of matrix product states

abstract: Symmetry breaking is a fundamental concept in understanding quantum phases of matter, studied so far mostly through the lens of local order parameters. Recently, a new entanglement-based probe of symmetry breaking has been introduced under the name of \textit{entanglement asymmetry}, which has been employed to investigate the mechanism of dynamical symmetry restoration. Here, we provide a universal formula for the entanglement asymmetry of matrix product states with finite bond dimension, valid in the large volume limit. We show that the entanglement asymmetry of any compact -- discrete or continuous -- group depends only on the symmetry breaking pattern, and is not related to any other microscopic features.


title: Quantifying the information lost in optimal covariance matrix cleaning

abstract: In this work, we examine the prevalent use of Frobenius error minimization in covariance matrix cleaning. Currently, minimizing the Frobenius error offers a limited interpretation within information theory. To better understand this relationship, we focus on the Kullback-Leibler divergence as a measure of the information lost by the optimal estimators. Our analysis centers on rotationally invariant estimators for data following an inverse Wishart population covariance matrix, and we derive an analytical expression for their Kullback-Leibler divergence. Due to the intricate nature of the calculations, we use genetic programming regressors paired with human intuition. Ultimately, we establish a more defined link between the Frobenius error and information theory, showing that the former corresponds to a first-order expansion term of the Kullback-Leibler divergence.


title: Synthetic methane for closing the carbon loop: Comparative study of three carbon sources for remote carbon-neutral fuel synthetization

abstract: Achieving carbon neutrality is probably one of the most important challenges of the 21st century for our societies. Part of the solution to this challenge is to leverage renewable energies. However, these energy sources are often located far away from places that need the energy, and their availability is intermittent, which makes them challenging to work with. In this paper, we build upon the concept of Remote Renewable Energy Hubs (RREHs), which are hubs located at remote places with abundant renewable energy sources whose purpose is to produce carbon-neutral synthetic fuels. More precisely, we model and study the Energy Supply Chain (ESC) that would be required to provide a constant source of carbon-neutral synthetic methane, also called e-NG (electric Natural Gas) or e-methane (electric methane), in Belgium from an RREH located in Morocco. To be carbon neutral, a synthetic fuel has to be produced from existing carbon dioxide (CO2) that needs to be captured using either Direct Air Capture (DAC) or Post Combustion Carbon Capture (PCCC). In this work, we detail the impact of three different carbon sourcing configurations on the price of the e-methane delivered in Belgium. Our results show that sourcing CO2 through a combination of DAC and PCCC is more cost-effective, resulting in a cost of 146 e/MWh for e-methane delivered in Belgium, as opposed to relying solely on DAC, which leads to a cost of 158 e/MWh. Moreover, these scenarios are compared to a scenario where CO2 is captured in Morocco from a CO2 emitting asset that allows to deliver e-methane for a cost of 136 e/MWh.


title: Univalence of horizontal shear of Ces\`aro type transforms

abstract: This manuscript investigates the classical problem of determining conditions on the parameters $\alpha,\beta \in \mathbb{C}$ for which the integral transform $$C_{\alpha\beta}[\varphi](z):=\int_{0}^{z} \bigg(\frac{\varphi(\zeta)}{\zeta (1-\zeta)^{\beta}}\bigg)^\alpha\,d\zeta $$ is also univalent in the unit disk, where $\varphi$ is a normalized univalent function. Additionally, whenever $\varphi$ belongs to some subclasses of the class of univalent functions, the univalence features of the harmonic mappings corresponding to $C_{\alpha\beta}[\varphi]$ and its rotations are derived. As applications to our primary findings, a few non-trivial univalent harmonic mappings are also provided. The primary tools employed in this manuscript are Becker's univalence criteria and the shear construction developed by Clunie and Sheil-Small.


title: Throughput Maximization for Instantly Decodable Network Coded NOMA in Broadcast Communication Systems

abstract: Non-orthogonal multiple access (NOMA) is a promising transmission scheme employed at the physical layer to improve the spectral efficiency. In this paper, we develop a novel cross-layer approach by employing NOMA at the physical layer and instantly decodable network coding (IDNC) at the network layer in downlink cellular networks. Following this approach, two IDNC packets are selected for each transmission, with one designed for all receivers and the other designed only for the strong receivers which can employ successive interference cancellation (SIC). The IDNC packets selection, transmission rates adaption for the two IDNC packets, and NOMA power allocation are jointly considered to improve the throughput of the network. Given the intractability of the problem, we decouple it into two separate subproblems, the IDNC scheduling which jointly selects the IDNC packets and the transmission rates with the given NOMA power allocation, and the NOMA power allocation with the given IDNC scheduling. The IDNC scheduling can be reduced to a maximum weight clique problem, and two heuristic algorithms named as maximum weight vertex (MWV) search and maximum weight path based maximum weight vertex (MWP-MWV) search are developed to solve the first subproblem. An iterative function evaluation (IFE) approach is proposed to solve the second subproblem. Simulation results are presented to demonstrates the throughput gain of the proposed approach over the existing solutions.


title: Efficient Frontier Management for Collaborative Active SLAM

abstract: In autonomous robotics, a critical challenge lies in developing robust solutions for Active Collaborative SLAM, wherein multiple robots collaboratively explore and map an unknown environment while intelligently coordinating their movements and sensor data acquisitions. In this article, we present an efficient centralized frontier sharing approach that maximizes exploration by taking into account information gain in the merged map, distance, and reward computation among frontier candidates and encourages the spread of agents into the environment. Eventually, our method efficiently spreads the robots for maximum exploration while keeping SLAM uncertainty low. Additionally, we also present two coordination approaches, synchronous and asynchronous to prioritize robot goal assignments by the central server. The proposed method is implemented in ROS and evaluated through simulation and experiments on publicly available datasets and similar methods, rendering promising results.


title: PyHexTop: a compact Python code for topology optimization using hexagonal elements

abstract: Python serves as an open-source and cost-effective alternative to the MATLAB programming language. This paper introduces a concise topology optimization Python code, named ``\texttt{PyHexTop}," primarily intended for educational purposes. Code employs hexagonal elements to parameterize design domains as such elements provide checkerboard-free optimized design naturally. \texttt{PyHexTop} is developed based on the ``\texttt{HoneyTop90}" MATLAB code~\cite{kumar2023honeytop90} and uses the \texttt{NumPy} and \texttt{SciPy} libraries. Code is straightforward and easily comprehensible, proving a helpful tool that can help people new in the topology optimization field to learn and explore. \texttt{PyHexTop} is specifically tailored to address compliance minimization with specified volume constraints. The paper provides a detailed explanation of the code for solving the Messerschmitt-Bolkow-Blohm beam and extensions to solve problems different problems. The code is publicly shared at: \url{https://github.com/PrabhatIn/PyHexTop.}


title: Steganalysis of AI Models LSB Attacks

abstract: Artificial intelligence has made significant progress in the last decade, leading to a rise in the popularity of model sharing. The model zoo ecosystem, a repository of pre-trained AI models, has advanced the AI open-source community and opened new avenues for cyber risks. Malicious attackers can exploit shared models to launch cyber-attacks. This work focuses on the steganalysis of injected malicious Least Significant Bit (LSB) steganography into AI models, and it is the first work focusing on AI model attacks. In response to this threat, this paper presents a steganalysis method specifically tailored to detect and mitigate malicious LSB steganography attacks based on supervised and unsupervised AI detection steganalysis methods. Our proposed technique aims to preserve the integrity of shared models, protect user trust, and maintain the momentum of open collaboration within the AI community. In this work, we propose 3 steganalysis methods and open source our code. We found that the success of the steganalysis depends on the LSB attack location. If the attacker decides to exploit the least significant bits in the LSB, the ability to detect the attacks is low. However, if the attack is in the most significant LSB bits, the attack can be detected with almost perfect accuracy.


title: Optimal averaging for functional linear quantile regression models

abstract: To reduce the dimensionality of the functional covariate, functional principal component analysis plays a key role, however, there is uncertainty on the number of principal components. Model averaging addresses this uncertainty by taking a weighted average of the prediction obtained from a set of candidate models. In this paper, we develop an optimal model averaging approach that selects the weights by minimizing a $K$-fold cross-validation criterion. We prove the asymptotic optimality of the selected weights in terms of minimizing the excess final prediction error, which greatly improves the usual asymptotic optimality in terms of minimizing the final prediction error in the literature. When the true regression relationship belongs to the set of candidate models, we provide the consistency of the averaged estimators. Numerical studies indicate that in most cases the proposed method performs better than other model selection and averaging methods, especially for extreme quantiles.


title: A second-order sequential optimality condition for nonlinear second-order cone programming problems

abstract: In the last two decades, the sequential optimality conditions, which do not require constraint qualifications and allow improvement on the convergence assumptions of algorithms, had been considered in the literature. It includes the work by Andreani et al. (2017), with a sequential optimality condition for nonlinear programming, that uses the second-order information of the problem. More recently, Fukuda et al. (2023) analyzed the conditions that use second-order information, in particular for nonlinear second-order cone programming problems (SOCP). However, such optimality conditions were not defined explicitly. In this paper, we propose an explicit definition of approximate-Karush-Kuhn-Tucker 2 (AKKT2) conditions for SOCPs. We prove that the proposed AKKT2 conditions are satisfied at local optimal points of the SOCP without any constraint qualification. We also present two algorithms that are based on augmented Lagrangian and sequential quadratic programming methods and show their global convergence to points satisfying the proposed conditions.


title: Epidemic Learning: Boosting Decentralized Learning with Randomized Communication

abstract: We present Epidemic Learning (EL), a simple yet powerful decentralized learning (DL) algorithm that leverages changing communication topologies to achieve faster model convergence compared to conventional DL approaches. At each round of EL, each node sends its model updates to a random sample of $s$ other nodes (in a system of $n$ nodes). We provide an extensive theoretical analysis of EL, demonstrating that its changing topology culminates in superior convergence properties compared to the state-of-the-art (static and dynamic) topologies. Considering smooth non-convex loss functions, the number of transient iterations for EL, i.e., the rounds required to achieve asymptotic linear speedup, is in $O(n^3/s^2)$ which outperforms the best-known bound $O(n^3)$ by a factor of $s^2$, indicating the benefit of randomized communication for DL. We empirically evaluate EL in a 96-node network and compare its performance with state-of-the-art DL approaches. Our results illustrate that EL converges up to $ 1.7\times$ quicker than baseline DL algorithms and attains $2.2 $\% higher accuracy for the same communication volume.


title: Federated Wasserstein Distance

abstract: We introduce a principled way of computing the Wasserstein distance between two distributions in a federated manner. Namely, we show how to estimate the Wasserstein distance between two samples stored and kept on different devices/clients whilst a central entity/server orchestrates the computations (again, without having access to the samples). To achieve this feat, we take advantage of the geometric properties of the Wasserstein distance -- in particular, the triangle inequality -- and that of the associated {\em geodesics}: our algorithm, FedWad (for Federated Wasserstein Distance), iteratively approximates the Wasserstein distance by manipulating and exchanging distributions from the space of geodesics in lieu of the input samples. In addition to establishing the convergence properties of FedWad, we provide empirical results on federated coresets and federate optimal transport dataset distance, that we respectively exploit for building a novel federated model and for boosting performance of popular federated learning algorithms.


title: Optical excitation of multiple standing spin modes in 3D optomagnonic nanocavities

abstract: We report the first experimental observation of multiple standing spin modes in 3D optomagnonic nanocavity formed by nanometer-sized iron-garnet nanocylinder. We show that launching of standing spin modes is achieved due to a high confinement of the optically generated effective magnetic field caused by the localized optical resonance. Quantization and spin-wave mode inhomogeneity is achieved in each of the three spatial dimensions. The presented approach opens new horizons of 3D optomagnonics by combining nanophotonic and magnonic functionalities within a single nanocavity.


title: Benign Overfitting in Two-Layer ReLU Convolutional Neural Networks for XOR Data

abstract: Modern deep learning models are usually highly over-parameterized so that they can overfit the training data. Surprisingly, such overfitting neural networks can usually still achieve high prediction accuracy. To study this "benign overfitting" phenomenon, a line of recent works has theoretically studied the learning of linear models and two-layer neural networks. However, most of these analyses are still limited to the very simple learning problems where the Bayes-optimal classifier is linear. In this work, we investigate a class of XOR-type classification tasks with label-flipping noises. We show that, under a certain condition on the sample complexity and signal-to-noise ratio, an over-parameterized ReLU CNN trained by gradient descent can achieve near Bayes-optimal accuracy. Moreover, we also establish a matching lower bound result showing that when the previous condition is not satisfied, the prediction accuracy of the obtained CNN is an absolute constant away from the Bayes-optimal rate. Our result demonstrates that CNNs have a remarkable capacity to efficiently learn XOR problems, even in the presence of highly correlated features.


title: Some New Results With k-set agreement

abstract: In this article, we investigate the solvability of $k$-set agreement among $n$ processes in distributed systems prone to different types of process failures. Specifically, we explore two scenarios: synchronous message-passing systems prone to up to $t$ Byzantine failures of processes. And asynchronous shared memory systems prone to up to $t$ crash failures of processes. Our goal is to address the gaps left by previous works\cite{SSS,AsynchKset} in these areas. For Byzantine failures case we consider systems with authentication where processes have unforgeable signatures. For synchronous message-passing systems, we present an authenticated algorithm that achieves $k$-set agreement in only two rounds, with no constraints on the number of faults $t$, with $k$ determined as $k \geq \lfloor \frac{n}{n-t} \rfloor + 1$. In fact the lower bound for $k$ is $k \geq \lfloor \frac{n}{n-t} \rfloor $ that is obtained by an algorithm based on traditional consensus with $t+1$ rounds. In asynchronous shared memory systems, we introduce an algorithm that accomplishes $k$-set agreement for values of $k$ greater than $ \lfloor \frac{n-t}{n-2t} \rfloor +1$. This algorithm uses a snapshot primitive to handle crash failures and enable effective set agreement.


title: Experiences with Research Processes in an Undergraduate Theory of Computing Course

abstract: Theory of computing (ToC) courses are a staple in many undergraduate CS curricula as they lay the foundation of why CS is important to students. Although not a stated goal, an inevitable outcome of the course is enhancing the students' technical reading and writing abilities as it often contains formal reasoning and proof writing. Separately, many undergraduate students are interested in performing research, but often lack these abilities. Based on this observation, we emulated a common research environment within our ToC course by creating a mock conference assignment, where students (in groups) both wrote a technical paper solving an assigned problem and (individually) anonymously refereed other groups' papers. In this paper we discuss the details of this assignment and our experiences, and conclude with reflections and future work about similar courses.


title: Online Multimedia Verification with Computational Tools and OSINT: Russia-Ukraine Conflict Case Studies

abstract: This paper investigates the use of computational tools and Open-Source Intelligence (OSINT) techniques for verifying online multimedia content, with a specific focus on real-world cases from the Russia-Ukraine conflict. Over a nine-month period from April to December 2022, we examine verification workflows, tools, and case studies published by \faktiskbar. Our study showcases the effectiveness of diverse resources, including AI tools, geolocation tools, internet archives, and social media monitoring platforms, in enabling journalists and fact-checkers to efficiently process and corroborate evidence, ensuring the dissemination of accurate information. This research underscores the vital role of computational tools and OSINT techniques in promoting evidence-based reporting and combatting misinformation. We also touch on the current limitations of available tools and prospects for future developments in multimedia verification.


title: Allotropic Ga$_2$Se$_3$/GaSe nanostructures grown by van der Waals epitaxy: Narrow exciton lines and single-photon emission

abstract: The ability to emit narrow exciton lines, preferably with a clearly defined polarization, is one of the key conditions for the use of nanostructures based on III-VI monochalcogenides and other layered crystals in quantum technology to create non-classical light. Currently, the main method of their formation is exfoliation followed by strain and defect engineering. A factor limiting the use of epitaxy is the presence of different phases in the grown films. In this work, we show that control over their formation makes it possible to create structures with the desired properties. We propose Ga$_2$Se$_3$/GaSe nanostructures by van der Waals epitaxy with a high VI/III flux ratio as a source of narrow exciton lines. Actually, these nanostructures are a combination of allotropes: GaSe and Ga$_2$Se$_3$, consisting of the same atoms in different arrangements. The energy position of the narrow lines is determined by the quantum confinement in Ga$_2$Se$_3$ inclusions of different sizes in the GaSe matrix, similar to quantum dots, and their linear polarization is due to the ordering of Ga vacancies in a certain crystalline direction in Ga$_2$Se$_3$. Such nanostructures exhibit single-photon emission with second-order correlation function $g^{(2)}(0)\sim$0.1 at 10 K that makes them promising for quantum technologies.


title: UAV Swarm-enabled Collaborative Secure Relay Communications with Time-domain Colluding Eavesdropper

abstract: Unmanned aerial vehicles (UAVs) as aerial relays are practically appealing for assisting Internet of Things (IoT) network. In this work, we aim to utilize the UAV swarm to assist the secure communication between the micro base station (MBS) equipped with the planar array antenna (PAA) and the IoT terminal devices by collaborative beamforming (CB), so as to counteract the effects of collusive eavesdropping attacks in time-domain. Specifically, we formulate a UAV swarm-enabled secure relay multi-objective optimization problem (US2RMOP) for simultaneously maximizing the achievable sum rate of associated IoT terminal devices, minimizing the achievable sum rate of the eavesdropper and minimizing the energy consumption of UAV swarm, by jointly optimizing the excitation current weights of both MBS and UAV swarm, the selection of the UAV receiver, the position of UAVs and user association order of IoT terminal devices. Furthermore, the formulated US2RMOP is proved to be a non-convex, NP-hard and large-scale optimization problem. Therefore, we propose an improved multi-objective grasshopper algorithm (IMOGOA) with some specific designs to address the problem. Simulation results exhibit the effectiveness of the proposed UAV swarm-enabled collaborative secure relay strategy and demonstrate the superiority of IMOGOA.


title: A Digitalization Framework for Smart Maintenance of Historic Buildings

abstract: Smart maintenance of historic buildings involves integration of digital technologies and data analysis methods to help maintain functionalities of these buildings and preserve their heritage values. However, the maintenance of historic buildings is a long-term process. During the process, the digital transformation requires overcoming various challenges, such as stable and scalable storage and computing resources, a consistent format for organizing and representing building data, and a flexible design to integrate data analytics to deliver applications. This licentiate thesis aims to address these challenges by proposing a digitalization framework that integrates Internet of Things (IoT), cloud computing, ontology, and machine learning. IoT devices enable data collection from historic buildings to reveal their latest status. Using a public cloud platform brings stable and scalable resources for storing data, performing analytics, and deploying applications. Ontologies provide a clear and concise way to organize and represent building data, which makes it easier to understand the relationships between different building components and systems. Combined with IoT devices and ontologies, parametric digital twins can be created to evolve with their physical counterparts. Furthermore, with machine learning, digital twins can identify patterns from data and provide decision-makers with insights to achieve smart maintenance. Overall, this thesis contributes to the field of preservation of historic buildings by proposing a comprehensive digitalization framework that integrates various advanced digital technologies to provide a holistic approach to achieve smart maintenance of historic buildings.


title: Hidden Comet-Tails of Marine Snow Impede Ocean-based Carbon Sequestration

abstract: Global carbon-cycle on our planet ties together the living and the non-living world, coupling ecosystem function to our climate. Gravity driven downward flux of carbon in our oceans in the form of marine snow, commonly referred to as biological pump directly regulates our climate. Multi-scale nature of this phenomena, biological complexity of the marine snow particles and lack of direct observations of sedimentation fundamentally limits a mechanistic understanding of this downward flux. The absence of a physics based understanding of sedimentation of these multi-phase particles in a spatially and temporally heterogeneous ocean adds significant uncertainty in our carbon flux predictions. Using a newly invented scale-free vertical tracking microscopy, we measure for the first time, the microscopic sedimentation and detailed fluid-structure dynamics of marine snow aggregates in field settings. The microscopically resolved in-situ PIV of large number of field-collected marine snow reveals a comet tail like flow morphology that is universal across a range of hydrodynamic fingerprints. Based on this dataset, we construct a reduced order model of Stokesian sedimentation and viscoelastic distortions of mucus to understand the sinking speeds and tail lengths of marine snow dressed in mucus. We find that the presence of these mucus-tails doubles the mean residence time of marine snow in the upper ocean, reducing overall carbon sequestration due to microbial remineralization. We set forth a theoretical framework within which to understand marine snow sinking flux, paving the way towards a predictive understanding of this crucial transport phenomena in the open ocean.


title: Turning Tiles is PSPACE-complete

abstract: In combinatorial game theory, the winning player for a position in normal play is analyzed and characterized via algebraic operations. Such analyses define a value for each position, called a game value. A game (ruleset) is called universal if any game value is achievable in some position in a play of the game. Although the universality of a game implies that the ruleset is rich enough (i.e., sufficiently complex), it does not immediately imply that the game is intractable in the sense of computational complexity. This paper proves that the universal game Turning Tiles is PSPACE-complete.


title: Spatially inhomogeneous inverse Faraday effect provides tunable nonthermal excitation of exchange dominated spin waves

abstract: We demonstrate optical nonthermal excitation of exchange dominated spin waves of different orders in a magnetophotonic crystal. The magnetophotonic structure consists of a thin magnetic film and a Bragg stack of nonmagnetic layers to provide a proper nonuniform interference pattern of the inverse Faraday effect induced by light in the magnetic layer. We found a phenomenon of the pronounced phase slippage of the inverse Faraday effect distribution when the pump wavelength is within the photonic band gap of the structure. It allows to tune the interference pattern by a slight variation of light wavelength which results in the modification of excitation efficiency of the different order spin waves. The approach can be applied for different magnetic dielectrics expanding their application horizons for spin-wave based devices.