title: Spherical Mask: Coarse-to-Fine 3D Point Cloud Instance Segmentation with Spherical Representation

abstract: Coarse-to-fine 3D instance segmentation methods show weak performances compared to recent Grouping-based, Kernel-based and Transformer-based methods. We argue that this is due to two limitations: 1) Instance size overestimation by axis-aligned bounding box(AABB) 2) False negative error accumulation from inaccurate box to the refinement phase. In this work, we introduce Spherical Mask, a novel coarse-to-fine approach based on spherical representation, overcoming those two limitations with several benefits. Specifically, our coarse detection estimates each instance with a 3D polygon using a center and radial distance predictions, which avoids excessive size estimation of AABB. To cut the error propagation in the existing coarse-to-fine approaches, we virtually migrate points based on the polygon, allowing all foreground points, including false negatives, to be refined. During inference, the proposal and point migration modules run in parallel and are assembled to form binary masks of instances. We also introduce two margin-based losses for the point migration to enforce corrections for the false positives/negatives and cohesion of foreground points, significantly improving the performance. Experimental results from three datasets, such as ScanNetV2, S3DIS, and STPLS3D, show that our proposed method outperforms existing works, demonstrating the effectiveness of the new instance representation with spherical coordinates.


title: Modelling the Lymphatic Metastatic Progression Pathways of OPSCC from Multi-Institutional Datasets

abstract: The elective clinical target volume (CTV-N) in oropharyngeal squamous cell carcinoma (OPSCC) is currently based mostly on the prevalence of lymph node metastases in different lymph node levels (LNLs) for a given primary tumor location. We present a probabilistic model for ipsilateral lymphatic spread that can quantify the microscopic nodal involvement risk based on an individual patient's T-category and clinical involvement of LNLs at diagnosis. We extend a previously published hidden Markov model (HMM), which models the LNLs (I, II, III, IV, V, and VII) as hidden binary random variables (RVs). Each represents a patient's true state of lymphatic involvement. Clinical involvement at diagnosis represents the observed binary RVs linked to the true state via sensitivity and specificity. The primary tumor and the hidden RVs are connected in a graph. Each edge represents the conditional probability of metastatic spread per abstract time-step, given disease at the edge's starting node. To learn these probabilities, we draw Markov chain Monte Carlo samples from the likelihood of a dataset (686 OPSCC patients) from three institutions. We compute the model evidence using thermodynamic integration for different graphs to determine which describes the data best. The graph maximizing the model evidence connects the tumor to each LNL and the LNLs I through V in order. It predicts the risk of occult disease in level IV is below 5% if level III is clinically negative, and that the risk of occult disease in level V is below 5% except for advanced T-category (T3 and T4) patients with clinical involvement of levels II, III, and IV. The provided statistical model of nodal involvement in OPSCC patients trained on multi-institutional data may guide the design of clinical trials on volume-deescalated treatment of OPSCC and contribute to more personal guidelines on elective nodal treatment.


title: Active flux for triangular meshes for compressible flows problems

abstract: In this article, we show how to construct a numerical method for solving hyperbolic problems, whether linear or nonlinear, using a continuous representation of the variables and their mean value in each triangular element. This type of approach has already been introduced by Roe, and others, in the multidimensional framework under the name of Active flux, see \cite{AF1,AF2,AF3,AF4,AF5}. Here, the presentation is more general and follows \cite{Abgrall_AF,BarzukowAbgrall}. { Various} examples show the good behavior of the method in both linear and nonlinear cases, including non-convex problems. The expected order of precision is obtained in both the linear and nonlinear cases. This work represents a step towards the development of methods in the spirit of virtual finite elements for linear or nonlinear hyperbolic problems, including the case where the solution is not regular.


title: Disentangling continuous and discrete linguistic signals in transformer-based sentence embeddings

abstract: Sentence and word embeddings encode structural and semantic information in a distributed manner. Part of the information encoded -- particularly lexical information -- can be seen as continuous, whereas other -- like structural information -- is most often discrete. We explore whether we can compress transformer-based sentence embeddings into a representation that separates different linguistic signals -- in particular, information relevant to subject-verb agreement and verb alternations. We show that by compressing an input sequence that shares a targeted phenomenon into the latent layer of a variational autoencoder-like system, the targeted linguistic information becomes more explicit. A latent layer with both discrete and continuous components captures better the targeted phenomena than a latent layer with only discrete or only continuous components. These experiments are a step towards separating linguistic signals from distributed text embeddings and linking them to more symbolic representations.


title: On non-negative auto-correlated integer demand processes

abstract: Methods to generate realistic non-stationary demand scenarios are a key component for analyzing and optimizing decision policies in supply chains. Typical forecasting techniques recommended in standard inventory control textbooks consist of some form of simple exponential smoothing (SES) for both the estimates for the mean and standard deviation. We study demand generating processes (DGPs) that yield non-stationary demand scenarios, and that are consistent with SES, meaning that SES yields unbiased estimates when applied to the generated demand scenarios. As demand in typical practical settings is discrete and non-negative, we study consistent DGPs on the non-negative integers. We derive conditions under which the existence of such DGPs can be guaranteed, and propose a specific DGP that yields autocorrelated, discrete demands when these conditions are satisfied. Our subsequent simulation study gains further insights into the proposed DGP. It demonstrates that from a given initial forecast, our DGPs yields a diverse set of demand scenarios with a wide range of properties. To show the applicability of the DGP, we apply it to generate demand in a standard inventory problem with full backlogging and a positive lead time. We find that appropriate dynamic base-stock levels can be obtained using a new and relatively simple algorithm, and we demonstrate that this algorithm outperforms relevant benchmarks.


title: Improving Student Learning with Hybrid Human-AI Tutoring: A Three-Study Quasi-Experimental Investigation

abstract: Artificial intelligence (AI) applications to support human tutoring have potential to significantly improve learning outcomes, but engagement issues persist, especially among students from low-income backgrounds. We introduce an AI-assisted tutoring model that combines human and AI tutoring and hypothesize that this synergy will have positive impacts on learning processes. To investigate this hypothesis, we conduct a three-study quasi-experiment across three urban and low-income middle schools: 1) 125 students in a Pennsylvania school; 2) 385 students (50% Latinx) in a California school; and 3) 75 students (100% Black) in a Pennsylvania charter school, all implementing analogous tutoring models. We compare learning analytics of students engaged in human-AI tutoring compared to students using math software only. We find human-AI tutoring has positive effects, particularly in student's proficiency and usage, with evidence suggesting lower achieving students may benefit more compared to higher achieving students. We illustrate the use of quasi-experimental methods adapted to the particulars of different schools and data-availability contexts so as to achieve the rapid data-driven iteration needed to guide an inspired creation into effective innovation. Future work focuses on improving the tutor dashboard and optimizing tutor-student ratios, while maintaining annual costs per students of approximately $700 annually.


title: Modelling the 3D spatiotemporal organisation of chromatin replication

abstract: We propose a polymer model for the dynamics of chromatin replication in three dimensional space. Our simulations indicate that both immobile and tracking replisomes may self-assemble during the process, reconciling previous apparently discordant experimental evidence in favour of either scenario. Which of the two morphologies appears in our model depends on the balance between non-specific and origin-targeting interactions between chromatin and firing factors -- polymerases and other components of the replisome. Non-specific interactions are also necessary to yield clustering of factors and replication forks, creating structures akin to the replication foci observed in mammalian cells in vivo. We suggest that cluster formation provides an underappreciated but robust pathway to avoid stalled or faulty forks, which would otherwise diminish the efficiency of the replication process. Additionally, our simulations allow us to predict different modes of cluster growth during S-phase, which could be tested experimentally, and they show that the three dimensional chromatin context is important to understand replication patterns in fission yeast.


title: Compositional Generalization for Multi-label Text Classification: A Data-Augmentation Approach

abstract: Despite significant advancements in multi-label text classification, the ability of existing models to generalize to novel and seldom-encountered complex concepts, which are compositions of elementary ones, remains underexplored. This research addresses this gap. By creating unique data splits across three benchmarks, we assess the compositional generalization ability of existing multi-label text classification models. Our results show that these models often fail to generalize to compositional concepts encountered infrequently during training, leading to inferior performance on tests with these new combinations. To address this, we introduce a data augmentation method that leverages two innovative text generation models designed to enhance the classification models' capacity for compositional generalization. Our experiments show that this data augmentation approach significantly improves the compositional generalization capabilities of classification models on our benchmarks, with both generation models surpassing other text generation baselines.


title: Long range 3D magnetic structures of the spin $S$=1 hexamer cluster fedotovite-like A$_{2}$Cu$_{3}$O(SO$_4$)$_3$ (A$_2$=K$_2$, NaK, Na$_2$): a neutron diffraction study

abstract: The crystal and magnetic structures of the spin $S$=1 hexamer cluster fedotovite-like A$_{2}$Cu$_{3}$O(SO$_4$)$_3$ (A$_2$=K$_2$, NaK, Na$_2$) were studied by neutron powder diffraction at temperatures 1.6-290 K. The crystal structures in all compounds are well refined in the monoclinic space group C2/c. The basic magnetic units of the compounds are copper hexamers which are coupled by weak superexchange interactions giving rise to three-dimensional long-range magnetic order below $3.0<T_N<4.7$ K. We have found that for A$_2$=K$_2$ and NaK the propagation vector of the magnetic structure is $\textbf{k}$=[0,0,0], and the coupling of the Cu hexamers is ferromagnetic FM along the $ab$ diagonal and antiferromagnetic along the $bc$-diagonal. In contrast, for A=Na the propagation vector is $\textbf{k}$=[0,1,0], and the Cu hexamers are coupled antiferromagnetically AFM along the $ab$ diagonal. The hexamers are formed by three Cu-pairs arranged along the $b$-axis. The calculated spin expectation values $\left<{s}\right>$ for the simplest symmetric spin Hamiltonian (obtained from inelastic neutron spectroscopy) of the isolated hexamers in the mean field, amounted to $\left<{s}\right>$=3/8 for side spins Cu1 and Cu2 and $\left<{s}\right>$=1/4 for Cu3 in the middle. The Cu spins are FM coupled in pairs and AFM between neighboring pairs. The experimental magnetic moments of the Cu$^{2+}$ ions turn out to be not completely collinear due to spin frustrations within the weak interhexamer interactions. The sizes of magnetic moments of Cu in the hexamers determined from the diffraction data are in fair agreement with the calculated values.


title: A universal approximation for conductance blockade in thin nanopore membranes

abstract: Nanopore-based sensing platforms have transformed single-molecule detection and analysis. The foundation of nanopore translocation experiments lies in conductance measurements, yet existing models, which are largely phenomenological, are inaccurate in critical experimental conditions such as thin and tightly fitting pores. Of the two components of the conductance blockade, channel and access resistance, the access resistance is poorly modeled. We present a comprehensive investigation into the access resistance and associated conductance blockade in thin nanopore membranes. By combining a first-principles approach, multi-scale modeling, and experimental validation, we propose a unified theoretical modeling framework. The analytical model derived as a result surpasses current approaches across a broad parameter range. Beyond advancing theoretical understanding, our framework's versatility enables analyte size inference and predictive insights into conductance blockade behavior. Our results will facilitate the design and optimization of nanopore devices for diverse applications, including nanopore base calling and data storage.


title: FPGAs (Can Get Some) SATisfaction

abstract: We present a hardware-accelerated SAT solver suitable for processor/Field Programmable Gate Arrays (FPGA) hybrid platforms, which have become the norm in the embedded domain. Our solution addresses a known bottleneck in SAT solving acceleration: unlike prior state-of-the-art solutions that have addressed the same bottleneck by limiting the amount of exploited parallelism, our solver takes advantage of fine-grained parallelization opportunities by hot-swapping FPGA clause assignments at runtime. It is also the first modern completely open-source SAT accelerator, and formula size is limited only by the amount of available external memory, not by on-chip FPGA memory. Evaluation is performed on a Xilinx Zynq platform: experiments support that hardware acceleration results in shorter execution time across varying formula sizes, subject to formula partitioning strategy. We outperform prior state-of-the-art by 1.7x and 1.1x, respectively, for 2 representative benchmarks, and boast up to 6x performance increase over software-only implementation.


title: Towards Fairness in Online Service with k Servers and its Application on Fair Food Delivery

abstract: The k-SERVER problem is one of the most prominent problems in online algorithms with several variants and extensions. However, simplifying assumptions like instantaneous server movements and zero service time has hitherto limited its applicability to real-world problems. In this paper, we introduce a realistic generalization of k-SERVER without such assumptions - the k-FOOD problem, where requests with source-destination locations and an associated pickup time window arrive in an online fashion, and each has to be served by exactly one of the available k servers. The k-FOOD problem offers the versatility to model a variety of real-world use cases such as food delivery, ride sharing, and quick commerce. Moreover, motivated by the need for fairness in online platforms, we introduce the FAIR k-FOOD problem with the max-min objective. We establish that both k-FOOD and FAIR k-FOOD problems are strongly NP-hard and develop an optimal offline algorithm that arises naturally from a time-expanded flow network. Subsequently, we propose an online algorithm DOC4FOOD involving virtual movements of servers to the nearest request location. Experiments on a real-world food-delivery dataset, alongside synthetic datasets, establish the efficacy of the proposed algorithm against state-of-the-art fair food delivery algorithms.


title: Human mobility is well described by closed-form gravity-like models learned automatically from data

abstract: Modeling of human mobility is critical to address questions in urban planning and transportation, as well as global challenges in sustainability, public health, and economic development. However, our understanding and ability to model mobility flows within and between urban areas are still incomplete. At one end of the modeling spectrum we have simple so-called gravity models, which are easy to interpret and provide modestly accurate predictions of mobility flows. At the other end, we have complex machine learning and deep learning models, with tens of features and thousands of parameters, which predict mobility more accurately than gravity models at the cost of not being interpretable and not providing insight on human behavior. Here, we show that simple machine-learned, closed-form models of mobility are able to predict mobility flows more accurately, overall, than either gravity or complex machine and deep learning models. At the same time, these models are simple and gravity-like, and can be interpreted in terms similar to standard gravity models. Furthermore, these models work for different datasets and at different scales, suggesting that they may capture the fundamental universal features of human mobility.

categories: physics.soc-ph cs.SI physics.data-an stat.ML


title: Evaluating and Enhancing Large Language Models for Conversational Reasoning on Knowledge Graphs

abstract: The development of large language models (LLMs) has been catalyzed by advancements in pre-training techniques. These models have demonstrated robust reasoning capabilities through manually designed prompts. In this work, we evaluate the conversational reasoning capabilities of the current state-of-the-art LLM (GPT-4) on knowledge graphs (KGs). However, the performance of LLMs is constrained due to a lack of KG environment awareness and the difficulties in developing effective optimization mechanisms for intermediary reasoning stages. We further introduce LLM-ARK, a LLM grounded KG reasoning agent designed to deliver precise and adaptable predictions on KG paths. LLM-ARK leverages Full Textual Environment (FTE) prompt to assimilate state information within each reasoning step. We reframe the challenge of multi-hop reasoning on the KG as a sequential decision-making task. Utilizing the Proximal Policy Optimization (PPO) online policy gradient reinforcement learning algorithm, our model is optimized to learn from rich reward signals. Additionally, we conduct an evaluation of our model and GPT-4 on the OpenDialKG dataset. The experimental results reveal that LLaMA-2-7B-ARK outperforms the current state-of-the-art model by 5.28 percentage points, with a performance rate of 36.39% on the target@1 evaluation metric. Meanwhile, GPT-4 scored 14.91%, further demonstrating the effectiveness of our method. Our code is available on GitHub (https://github.com/Aipura/LLM-ARK) for further access.


title: The 2010 Census Confidentiality Protections Failed, Here's How and Why

abstract: Using only 34 published tables, we reconstruct five variables (census block, sex, age, race, and ethnicity) in the confidential 2010 Census person records. Using the 38-bin age variable tabulated at the census block level, at most 20.1% of reconstructed records can differ from their confidential source on even a single value for these five variables. Using only published data, an attacker can verify that all records in 70% of all census blocks (97 million people) are perfectly reconstructed. The tabular publications in Summary File 1 thus have prohibited disclosure risk similar to the unreleased confidential microdata. Reidentification studies confirm that an attacker can, within blocks with perfect reconstruction accuracy, correctly infer the actual census response on race and ethnicity for 3.4 million vulnerable population uniques (persons with nonmodal characteristics) with 95% accuracy, the same precision as the confidential data achieve and far greater than statistical baselines. The flaw in the 2010 Census framework was the assumption that aggregation prevented accurate microdata reconstruction, justifying weaker disclosure limitation methods than were applied to 2010 Census public microdata. The framework used for 2020 Census publications defends against attacks that are based on reconstruction, as we also demonstrate here. Finally, we show that alternatives to the 2020 Census Disclosure Avoidance System with similar accuracy (enhanced swapping) also fail to protect confidentiality, and those that partially defend against reconstruction attacks (incomplete suppression implementations) destroy the primary statutory use case: data for redistricting all legislatures in the country in compliance with the 1965 Voting Rights Act.


title: Diffusion approximation of the stationary distribution of a two-level single server queue

abstract: We consider a single server queue which has a threshold to change its arrival process and service rate by its queue length, which is referred to as a two-level single server queue. This model is motivated by an energy saving problem for a single server queue whose arrival process and service rate may be changed. To get its performance in tractable form, we study in the limit of the stationary distribution of this two-level queue under a certain scaling in heavy traffic, which corresponds to a diffusion approximation. It is shown that this limiting distribution is truncated exponential below the threshold level and exponential above it under suitably chosen system parameters. This result is proved using the so called BAR approach studied in Braverman, Dai and Miyazawa (2017, 2023) and Miyazawa (2017, 2023). We also intuitively discuss about a diffusion process corresponding to the limit of the stationary distributions.


title: Adv-Diffusion: Imperceptible Adversarial Face Identity Attack via Latent Diffusion Model

abstract: Adversarial attacks involve adding perturbations to the source image to cause misclassification by the target model, which demonstrates the potential of attacking face recognition models. Existing adversarial face image generation methods still can't achieve satisfactory performance because of low transferability and high detectability. In this paper, we propose a unified framework Adv-Diffusion that can generate imperceptible adversarial identity perturbations in the latent space but not the raw pixel space, which utilizes strong inpainting capabilities of the latent diffusion model to generate realistic adversarial images. Specifically, we propose the identity-sensitive conditioned diffusion generative model to generate semantic perturbations in the surroundings. The designed adaptive strength-based adversarial perturbation algorithm can ensure both attack transferability and stealthiness. Extensive qualitative and quantitative experiments on the public FFHQ and CelebA-HQ datasets prove the proposed method achieves superior performance compared with the state-of-the-art methods without an extra generative model training process. The source code is available at https://github.com/kopper-xdu/Adv-Diffusion.


title: Envy-free House Allocation under Uncertain Preferences

abstract: We study the envy-free house allocation problem when agents have uncertain preferences over items and consider several well-studied preference uncertainty models. The central problem that we focus on is computing an allocation that has the highest probability of being envy-free. We show that each model leads to a distinct set of algorithmic and complexity results, including detailed results on (in-)approximability. En route, we consider two related problems of checking whether there exists an allocation that is possibly or necessarily envy-free. We give a complete picture of the computational complexity of these two problems for all the uncertainty models we consider.


title: Number of facets of symmetric edge polytopes arising from join graphs

abstract: In the present paper, we study the upper and lower bounds for the number of facets of symmetric edge polytopes of connected graphs conjectured by Braun and Bruegge. In particular, we show that their conjecture is true for any graph that is the join of two graphs (equivalently, for any connected graph whose complement graph is not connected). It is known that any symmetric edge polytope is a centrally symmetric reflexive polytope. Hence our results give a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.


title: On Removing the Classical-Quantum Boundary

abstract: We argue that it is the assumption of counterfactual definiteness and not locality or realism that results in Bell inequality violations. Furthermore, this assumption of counterfactual definiteness is not supported in classical mechanics. This means that the Bell inequality must fail classically, effectively removing the classical-quantum boundary, a conclusion prophesized by Bell himself. An implication here is that a local hidden variable theory, in the configuration space of classical mechanics cannot be ruled out. One very surprising result is that classical mechanics, in the context of Hamiltons stationary principle, may in fact have stronger correlations than quantum mechanics, in that it may be the key to beat Tsirelsons bound.


title: Learning to Generate Pseudo Personal Mobility

abstract: The importance of personal mobility data is widely recognized in various fields. However, the utilization of real personal mobility data raises privacy concerns. Therefore, it is crucial to generate pseudo personal mobility data that accurately reflects real-world mobility patterns while safeguarding user privacy. Nevertheless, existing methods for generating pseudo mobility data, such as mechanism-based and deep-learning-based approaches, have limitations in capturing sufficient individual heterogeneity. To address these gaps, taking pseudo-person(avatar) as ground-zero, a novel individual-based human mobility generator called GeoAvatar has been proposed - which considers individual heterogeneity in spatial and temporal decision-making, incorporates demographic characteristics, and provides interpretability. Our method utilizes a deep generative model to simulate heterogeneous individual life patterns, a reliable labeler for inferring individual demographic characteristics, and a Bayesian approach for generating spatial choices. Through our method, we have achieved the generation of heterogeneous individual human mobility data without accessing individual-level personal information, with good quality - we evaluated the proposed method based on physical features, activity patterns, and spatial-temporal characteristics, demonstrating its good performance, compared to mechanism-based modeling and black-box deep learning approaches. Furthermore, this method maintains extensibility for broader applications, making it a promising paradigm for generating human mobility data.


title: A Powerful Face Preprocessing For Robust Kinship Verification based Tensor Analyses

abstract: Kinship verification using facial photographs captured in the wild is difficult area of research in the science of computer vision. It might be used for a variety of applications, including image annotation and searching for missing children, etc. The largest challenge to kinship verification in practice is the fact that parent and child photos frequently differ significantly from one another. How to effectively respond to such a challenge is important improving the efficiency of kinship verification. For this purpose, we introduce a system to check relatedness that starts with a pair of face images of a child and a parent, after which it is revealed whether two people are related or not. The first step in our approach is face preprocessing with two methods, a Retinex filter and an ellipse mask, then a feature extraction step based on hist-Gabor wavelets, which is used before an efficient dimensionality reduction method called TXQDA. Finally, determine if there is a relationship. By using Cornell KinFace benchmark database, we ran a number of tests to show the efficacy of our strategy. Our findings show that, in comparison to other strategies currently in use, our system is robust.


title: Full three-loop Renormalisation of an abelian chiral Gauge Theory with non-anticommuting $\gamma_5$ in the BMHV Scheme

abstract: In this work we present a complete three-loop renormalisation of an abelian chiral gauge theory within the Breitenlohner-Maison/'t Hooft-Veltman (BMHV) scheme of dimensional regularisation (DReg). In this scheme the $\gamma_5$-matrix appearing in gauge interactions is a non-anticommuting object, leading to a breaking of gauge and BRST invariance. Employing an efficient method based on the quantum action principle, we obtain the complete three-loop counterterm action which serves both to render the theory finite and to restore gauge and BRST invariance. The UV singular counterterms involve not only higher order $\epsilon$-poles but also new counterterm structures emerging at the three-loop level for the first time; the finite symmetry-restoring counterterms are restricted to the same structures as at lower loop orders, just with different coefficients, aligning with our expectations. Both the singular and the finite counterterms include structures which cannot be obtained by the standard multiplicative renormalisation. Our results demonstrate that a rigorous treatment of chiral gauge theories with $\gamma_5$ defined in the BMHV scheme at the multi-loop level is possible and that the obtained counterterm action is suitable for computer implementations, allowing automated calculations without ambiguities caused by $\gamma_5$.


title: DFRWS EU 10-Year Review and Future Directions in Digital Forensic Research

abstract: Conducting a systematic literature review and comprehensive analysis, this paper surveys all 135 peer-reviewed articles published at the Digital Forensics Research Conference Europe (DFRWS EU) spanning the decade since its inaugural running (2014-2023). This comprehensive study of DFRWS EU articles encompasses sub-disciplines such as digital forensic science, device forensics, techniques and fundamentals, artefact forensics, multimedia forensics, memory forensics, and network forensics. Quantitative analysis of the articles' co-authorships, geographical spread and citation metrics are outlined. The analysis presented offers insights into the evolution of digital forensic research efforts over these ten years and informs some identified future research directions.


title: Enhancing thermal stability of optimal magnetization reversal in nanoparticles

abstract: Energy-efficient switching of nanoscale magnets requires the application of a time-varying magnetic field characterized by microwave frequency. At finite temperatures, even weak thermal fluctuations create perturbations in the magnetization that can accumulate in time, break the phase locking between the magnetization and the applied field, and eventually compromise magnetization switching. It is demonstrated here that the magnetization reversal is mostly disturbed by unstable perturbations arising in a certain domain of the configuration space of a nanomagnet. The instabilities can be suppressed and the probability of magnetization switching enhanced by applying an additional stimulus such as a weak longitudinal magnetic field that ensures bounded dynamics of the perturbations. Application of the stabilizing longitudinal field to a uniaxial nanomagnet makes it possible to reach a desired probability of magnetization switching even at elevated temperatures. The principle of suppressing instabilities provides a general approach to enhancing thermal stability of magnetization dynamics.


title: Asymptotics of Polynomials Orthogonal With Respect to a Generalized Freud Weight With Application to Special Function Solutions of Painlev\'e-IV

abstract: We obtain asymptotics of polynomials satisfying the orthogonality relations $$ \int_{\mathbb{R}} z^k P_n(z; t , N) \mathrm{e}^{-N \left(\frac{1}{4}z^4 + \frac{t}{2}z^2 \right)} \mathrm{d} z = 0 \quad \text{ for } \quad k = 0, 1, ..., n-1, $$ where the complex parameter $t$ is in the so-called two-cut region. As an application, we deduce asymptotic formulas for certain families of solutions of Painlev\'e-IV which are indexed by a non-negative integer and can be written in terms of parabolic cylinder functions. The proofs are based on the characterization of orthogonal polynomials in terms of a Riemann-Hilbert problem and the Deift-Zhou non-linear steepest descent method.


title: Graded Multiplicities in the Kostant-Rallis Setting

abstract: Consider the symmetric pair $(\textbf{GL}_n, \textbf{O}_n)$ in the setting of the Kostant-Rallis Theorem. We provide a combinatorial formula for the graded multiplicity of an irreducible $\textbf{O}_n$-representation in the harmonic polynomials on $\mathfrak{p}$. The results here are expected to extend to the other classical symmetric pairs.


title: From Generalized Laughter to Personalized Chuckles: Unleashing the Power of Data Fusion in Subjective Humor Detection

abstract: The vast area of subjectivity in Natural Language Processing (NLP) poses a challenge to the solutions typically used in generalized tasks. As exploration in the scope of generalized NLP is much more advanced, it implies the tremendous gap that is still to be addressed amongst all feasible tasks where an opinion, taste, or feelings are inherent, thus creating a need for a solution, where a data fusion could take place. We have chosen the task of funniness, as it heavily relies on the sense of humor, which is fundamentally subjective. Our experiments across five personalized and four generalized datasets involving several personalized deep neural architectures have shown that the task of humor detection greatly benefits from the inclusion of personalized data in the training process. We tested five scenarios of training data fusion that focused on either generalized (majority voting) or personalized approaches to humor detection. The best results were obtained for the setup, in which all available personalized datasets were joined to train the personalized reasoning model. It boosted the prediction performance by up to approximately 35% of the macro F1 score. Such a significant gain was observed for all five personalized test sets. At the same time, the impact of the model's architecture was much less than the personalization itself. It seems that concatenating personalized datasets, even with the cost of normalizing the range of annotations across all datasets, if combined with the personalized models, results in an enormous increase in the performance of humor detection.


title: Optimised Storage for Datalog Reasoning

abstract: Materialisation facilitates Datalog reasoning by precomputing all consequences of the facts and the rules so that queries can be directly answered over the materialised facts. However, storing all materialised facts may be infeasible in practice, especially when the rules are complex and the given set of facts is large. We observe that for certain combinations of rules, there exist data structures that compactly represent the reasoning result and can be efficiently queried when necessary. In this paper, we present a general framework that allows for the integration of such optimised storage schemes with standard materialisation algorithms. Moreover, we devise optimised storage schemes targeting at transitive rules and union rules, two types of (combination of) rules that commonly occur in practice. Our experimental evaluation shows that our approach significantly improves memory consumption, sometimes by orders of magnitude, while remaining competitive in terms of query answering time.


title: Progress in generating gauge ensembles with Stabilized Wilson Fermions

abstract: The continued generation of $N_f=2+1$ quark flavor gauge configurations using stabilized Wilson fermions by the open lattice initiative (OpenLat) is reported. We present the status of our ongoing production and show updates on increasing statistics at the four lattice spacings $a=0.12, 0.094, 0.077$ and $0.064$ fm. Aside from the $SU(3)$ flavor symmetric point we discuss advancements in going towards physical pion masses. We show preliminary results of the pion decay constants, extending previous results, and discuss further validation observables on the available ensembles.


title: Uncertainty-based Fairness Measures

abstract: Unfair predictions of machine learning (ML) models impede their broad acceptance in real-world settings. Tackling this arduous challenge first necessitates defining what it means for an ML model to be fair. This has been addressed by the ML community with various measures of fairness that depend on the prediction outcomes of the ML models, either at the group level or the individual level. These fairness measures are limited in that they utilize point predictions, neglecting their variances, or uncertainties, making them susceptible to noise, missingness and shifts in data. In this paper, we first show that an ML model may appear to be fair with existing point-based fairness measures but biased against a demographic group in terms of prediction uncertainties. Then, we introduce new fairness measures based on different types of uncertainties, namely, aleatoric uncertainty and epistemic uncertainty. We demonstrate on many datasets that (i) our uncertainty-based measures are complementary to existing measures of fairness, and (ii) they provide more insights about the underlying issues leading to bias.


title: A New Solution to the Strong CP Problem

abstract: We suggest a new solution to the strong CP problem. The solution is based on the proper use of the boundary conditions for the QCD generating functional integral. We expand the perturbative boundary conditions to both perturbative and nonperturbative fields integrated in the QCD generating functional integral. It allows to nullify the CP odd term in the QCD Lagrangian and thus to solve the strong CP problem. The presently popular solution to the strong CP problem with introducing axions violates the principle of renormalizability of Quantum Field Theory, which is very successful phenomenologically. Our solution obeys the principle of renormalizability of Quantum Field Theory and does not involve new exotic particles like axions.


title: Ensuring Cross-Device Portability of Electromagnetic Side-Channel Analysis

abstract: Investigation on smart devices has become an essential subdomain in digital forensics. The inherent diversity and complexity of smart devices pose a challenge to the extraction of evidence without physically tampering with it, which is often a strict requirement in law enforcement and legal proceedings. Recently, this has led to the application of non-intrusive Electromagnetic Side-Channel Analysis (EM-SCA) as an emerging approach to extract forensic insights from smart devices. EM-SCA for digital forensics is still in its infancy, and has only been tested on a small number of devices so far. Most importantly, the question still remains whether Machine Learning (ML) models in EM-SCA are portable across multiple devices to be useful in digital forensics, i.e., cross-device portability. This study experimentally explores this aspect of EM-SCA using a wide set of smart devices. The experiments using various iPhones and Nordic Semiconductor nRF52-DK devices indicate that the direct application of pre-trained ML models across multiple identical devices does not yield optimal outcomes (under 20% accuracy in most cases). Subsequent experiments included collecting distinct samples of EM traces from all the devices to train new ML models with mixed device data; this also fell short of expectations (still below 20% accuracy). This prompted the adoption of transfer learning techniques, which showed promise for cross-model implementations. In particular, for the iPhone 13 and nRF52-DK devices, applying transfer learning techniques resulted in achieving the highest accuracy, with accuracy scores of 98% and 96%, respectively. This result makes a significant advancement in the application of EM-SCA to digital forensics by enabling the use of pre-trained models across identical or similar devices.


title: AFDM-SCMA: A Promising Waveform for Massive Connectivity over High Mobility Channels

abstract: This paper studies the affine frequency division multiplexing (AFDM)-empowered sparse code multiple access (SCMA) system, referred to as AFDM-SCMA, for supporting massive connectivity in high-mobility environments. First, by placing the sparse codewords on the AFDM chirp subcarriers, the input-output (I/O) relation of AFDM-SCMA systems is presented. Next, we delve into the generalized receiver design, chirp rate selection, and error rate performance of the proposed AFDM-SCMA. The proposed AFDM-SCMA is shown to provide a general framework and subsume the existing OFDM-SCMA as a special case. Third, for efficient transceiver design, we further propose a class of sparse codebooks for simplifying the I/O relation, referred to as I/O relation-inspired codebook design in this paper. Building upon these codebooks, we propose a novel iterative detection and decoding scheme with linear minimum mean square error (LMMSE) estimator for both downlink and uplink channels based on orthogonal approximate message passing principles. Our numerical results demonstrate the superiority of the proposed AFDM-SCMA systems over OFDM-SCMA systems in terms of the error rate performance. We show that the proposed receiver can significantly enhance the error rate performance while reducing the detection complexity.


title: Short-term memory effects in the phototactic behavior of microalgae

abstract: Phototaxis, the directed motion in response to a light stimulus, is crucial for motile microorganisms that rely on photosynthesis, such as the unicellular microalga Chlamydomonas reinhardtii. It is well known that microalgae adapt to ambient light stimuli. On time scales of several dozen minutes, when stimulated long enough, the response of the microalga evolves as if the light intensity were decreasing (Mayer, Nature 1968). Here, we show experimentally that microalgae also have a short-term memory, on the time scale of a couple of minutes, which is the opposite of adaptation. At these short time scales, when stimulated consecutively, the response of C. reinhardtii evolves as if the light intensity were increasing. Our experimental results are rationalized by the introduction of a simplified model of phototaxis. Memory comes from the interplay between an internal biochemical time scale and the time scale of the stimulus; as such, these memory effects are likely to be widespread in phototactic microorganisms.


title: Proximal algorithm and calibrated cycles

abstract: We sketch an application of proximal algorithms to the deformation of de Rham currents into cycles, which is presented as a convex optimization problem. Emphasis is placed on the use of total variation denoising for differential forms, specifically in constructing calibrated cycles in calibrated manifolds.


title: Novel Variants of Diffusive Representation of Fractional Integrals: Construction and Numerical Computation

abstract: In this paper, we revisit the diffusive representations of fractional integrals established in \cite{diethelm2023diffusive} to explore novel variants of such representations which provide highly efficient numerical algorithms for the approximate numerical evaluation of fractional integrals.


title: Human-machine cooperation: optimization of drug retrieval sequencing in automated drug dispensing systems

abstract: Automated drug dispensing systems (ADDSs) are increasingly in demand in today's pharmacies, primarily driven by the growing ageing population. Recognizing the practical challenges faced by pharmacies implementing ADDSs, this study aims to optimize the layout design and sequencing issues within a human-machine cooperation environment to enhance the system throughput of ADDSs. Specifically, we develop models for drug retrieval sequencing under different system layout designs, taking into account the stochastic sorting time of pharmacists. The prescription order arrival pattern follows a successive arrival mode. To assess the efficiency of ADDSs with one input/output point and two input/output points, we propose dual command retrieval sequencing models that optimize the retrieval sequence of drugs in adjacent prescription orders. Notably, our models incorporate the stochastic sorting time of pharmacists to analyze its impact on ADDS performance. Through experimental comparisons of average picking times for prescription orders under various operational conditions, we demonstrate that a system layout design incorporating two input/output points significantly enhances the efficiency of prescription order fulfilment within a human-machine cooperation environment. Furthermore, our proposed retrieval sequencing method outperforms dynamic programming, greedy, and random strategies in terms of improving prescription order-picking efficiency. By addressing the layout design and sequencing challenges, our research contributes to the field of intelligent warehousing, particularly in smart pharmacies. The findings provide valuable insights for healthcare facilities and organizations seeking to optimize ADDS performance and enhance drug dispensing efficiency.


title: New Constraint for Isotropic Lorentz Violation from LHC Data

abstract: New calculations for the kinematics of photon decay to fermions in vacuo under an isotropic violation of Lorentz invariance (LV), parameterized by the Standard-Model Extension (SME), are presented in this paper and used to interpret prompt photon production in LHC data. The measurement of inclusive prompt photon production at the LHC Run 2, with photons observed up to a transverse energy of 2.5 TeV, provides the lower bound $\tilde{\kappa}_{\mathrm{tr}} > -1.06 \times 10^{-13}$ on the isotropic coefficient $\tilde{\kappa}_{\mathrm{tr}}$ at 95% confidence level. This result improves over the previous bound from hadron colliders by a factor of 55. The calculations for the kinematics of photon decay have further potential use to constrain LV coefficients from the appearance of fermion pairs, for instance, top-antitop.


title: Renormalization and scaling of bubbles

abstract: The paper explores scaling properties of bubbles -- a complex analogue of Arnold tongues, associated to a one-dimensional family of analytic circle diffeomorphisms. Bubbles are smooth loops in the upper half-plane attached at all rational points of the real line. Results of [BuffGoncharuk2015] arXiv:1308.3510 show that the size of a $p/q$-bubble has order at most $q^{-2}$. In the current paper we improve this estimate by showing that the size of a $p/q$-bubble near a bounded-type irrational number $\alpha$ has order $d^{\xi(\alpha)} \cdot q^{-2}$, where $\xi(\alpha)>0$, and $d$ is the distance between $\alpha$ and $p/q$. Proofs are based on a renormalization technique. In particular, $\xi(\alpha)$ is related to the unstable and the top stable eigenvalues of the renormalization operator at the rotation by $\alpha$.


title: The Ultimate Combo: Boosting Adversarial Example Transferability by Composing Data Augmentations

abstract: Transferring adversarial examples (AEs) from surrogate machine-learning (ML) models to target models is commonly used in black-box adversarial robustness evaluation. Attacks leveraging certain data augmentation, such as random resizing, have been found to help AEs generalize from surrogates to targets. Yet, prior work has explored limited augmentations and their composition. To fill the gap, we systematically studied how data augmentation affects transferability. Particularly, we explored 46 augmentation techniques of seven categories originally proposed to help ML models generalize to unseen benign samples, and assessed how they impact transferability, when applied individually or composed. Performing exhaustive search on a small subset of augmentation techniques and genetic search on all techniques, we identified augmentation combinations that can help promote transferability. Extensive experiments with the ImageNet and CIFAR-10 datasets and 18 models showed that simple color-space augmentations (e.g., color to greyscale) outperform the state of the art when combined with standard augmentations, such as translation and scaling. Additionally, we discovered that composing augmentations impacts transferability mostly monotonically (i.e., more methods composed $\rightarrow$ $\ge$ transferability). We also found that the best composition significantly outperformed the state of the art (e.g., 93.7% vs. $\le$ 82.7% average transferability on ImageNet from normally trained surrogates to adversarially trained targets). Lastly, our theoretical analysis, backed up by empirical evidence, intuitively explain why certain augmentations help improve transferability.


title: Universal behavior of the BCS energy gap

abstract: We consider the BCS energy gap $\Xi(T)$ (essentially given by $\Xi(T) \approx \Delta(T, \sqrt\mu)$, the BCS order parameter) at all temperatures $0 \le T \le T_c$ up to the critical one, $T_c$, and show that, in the limit of weak coupling, the ratio $\Xi(T)/T_c$ is given by a universal function of the relative temperature $T/T_c$. On the one hand, this recovers a recent result by Langmann and Triola (Phys. Rev. B 108.10 (2023)) on three-dimensional $s$-wave superconductors for temperatures bounded uniformly away from $T_c$. On the other hand, our result lifts these restrictions, as we consider arbitrary spatial dimensions $d \in \{1,2,3\}$, discuss superconductors with non-zero angular momentum (primarily in two dimensions), and treat the perhaps physically most interesting (due to the occurrence of the superconducting phase transition) regime of temperatures close to $T_c$.

categories: math-ph cond-mat.quant-gas cond-mat.supr-con math.MP


title: Solving the swing-up and balance task for the Acrobot and Pendubot with SAC

abstract: We present a solution of the swing-up and balance task for the pendubot and acrobot for the participation in the AI Olympics competition at IJCAI 2023. Our solution is based on the Soft Actor Crtic (SAC) reinforcement learning (RL) algorithm for training a policy for the swing-up and entering the region of attraction of a linear quadratic regulator(LQR) controller for stabilizing the double pendulum at the top position. Our controller achieves competitive scores in performance and robustness for both, pendubot and acrobot, problem scenarios.


title: APE-then-QE: Correcting then Filtering Pseudo Parallel Corpora for MT Training Data Creation

abstract: Automatic Post-Editing (APE) is the task of automatically identifying and correcting errors in the Machine Translation (MT) outputs. We propose a repair-filter-use methodology that uses an APE system to correct errors on the target side of the MT training data. We select the sentence pairs from the original and corrected sentence pairs based on the quality scores computed using a Quality Estimation (QE) model. To the best of our knowledge, this is a novel adaptation of APE and QE to extract quality parallel corpus from the pseudo-parallel corpus. By training with this filtered corpus, we observe an improvement in the Machine Translation system's performance by 5.64 and 9.91 BLEU points, for English-Marathi and Marathi-English, over the baseline model. The baseline model is the one that is trained on the whole pseudo-parallel corpus. Our work is not limited by the characteristics of English or Marathi languages; and is language pair-agnostic, given the necessary QE and APE data.


title: Measurement of the Isolated Nuclear Two-Photon Decay in $^{72}\mathrm{Ge}$

abstract: The nuclear two-photon or double-gamma ($2\gamma$) decay is a second-order electromagnetic process whereby a nucleus in an excited state emits two gamma rays simultaneously. To be able to directly measure the $2\gamma$ decay rate in the low-energy regime below the electron-positron pair-creation threshold, we combined the isochronous mode of a storage ring with Schottky resonant cavities. The newly developed technique can be applied to isomers with excitation energies down to $\sim100$\,keV and half-lives as short as $\sim10$\,ms. The half-life for the $2\gamma$ decay of the first-excited $0^+$ state in bare $^{72}\mathrm{Ge}$ ions was determined to be $23.9\left(6\right)$\,ms, which strongly deviates from expectations.


title: Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

abstract: This paper addresses the problem of maintaining safety during training in Reinforcement Learning (RL), such that the safety constraint violations are bounded at any point during learning. In a variety of RL applications the safety of the agent is particularly important, e.g. autonomous platforms or robots that work in proximity of humans. As enforcing safety during training might severely limit the agent's exploration, we propose here a new architecture that handles the trade-off between efficient progress and safety during exploration. As the exploration progresses, we update via Bayesian inference Dirichlet-Categorical models of the transition probabilities of the Markov decision process that describes the environment dynamics. This paper proposes a way to approximate moments of belief about the risk associated to the action selection policy. We construct those approximations, and prove the convergence results. We propose a novel method for leveraging the expectation approximations to derive an approximate bound on the confidence that the risk is below a certain level. This approach can be easily interleaved with RL and we present experimental results to showcase the performance of the overall architecture.


title: CaRe-CNN: Cascading Refinement CNN for Myocardial Infarct Segmentation with Microvascular Obstructions

abstract: Late gadolinium enhanced (LGE) magnetic resonance (MR) imaging is widely established to assess the viability of myocardial tissue of patients after acute myocardial infarction (MI). We propose the Cascading Refinement CNN (CaRe-CNN), which is a fully 3D, end-to-end trained, 3-stage CNN cascade that exploits the hierarchical structure of such labeled cardiac data. Throughout the three stages of the cascade, the label definition changes and CaRe-CNN learns to gradually refine its intermediate predictions accordingly. Furthermore, to obtain more consistent qualitative predictions, we propose a series of post-processing steps that take anatomical constraints into account. Our CaRe-CNN was submitted to the FIMH 2023 MYOSAIQ challenge, where it ranked second out of 18 participating teams. CaRe-CNN showed great improvements most notably when segmenting the difficult but clinically most relevant myocardial infarct tissue (MIT) as well as microvascular obstructions (MVO). When computing the average scores over all labels, our method obtained the best score in eight out of ten metrics. Thus, accurate cardiac segmentation after acute MI via our CaRe-CNN allows generating patient-specific models of the heart serving as an important step towards personalized medicine.


title: Physics Informed Neural Networks for an Inverse Problem in Peridynamic Models

abstract: Deep learning is a powerful tool for solving data driven differential problems and has come out to have successful applications in solving direct and inverse problems described by PDEs, even in presence of integral terms. In this paper, we propose to apply radial basis functions (RBFs) as activation functions in suitably designed Physics Informed Neural Networks (PINNs) to solve the inverse problem of computing the peridynamic kernel in the nonlocal formulation of classical wave equation, resulting in what we call RBF-iPINN. We show that the selection of an RBF is necessary to achieve meaningful solutions, that agree with the physical expectations carried by the data. We support our results with numerical examples and experiments, comparing the solution obtained with the proposed RBF-iPINN to the exact solutions.


title: Lyapunov Exponents of Linear Switched Systems

abstract: We explicitly compute the maximal Lyapunov exponent for a switched system on $\mathrm{SL}_2(\mathbb R)$. This computation is reduced to the characterization of optimal trajectories for an optimal control problem on the Lie group.


title: Domain Invariant Learning for Gaussian Processes and Bayesian Exploration

abstract: Out-of-distribution (OOD) generalization has long been a challenging problem that remains largely unsolved. Gaussian processes (GP), as popular probabilistic model classes, especially in the small data regime, presume strong OOD generalization abilities. Surprisingly, their OOD generalization abilities have been under-explored before compared with other lines of GP research. In this paper, we identify that GP is not free from the problem and propose a domain invariant learning algorithm for Gaussian processes (DIL-GP) with a min-max optimization on the likelihood. DIL-GP discovers the heterogeneity in the data and forces invariance across partitioned subsets of data. We further extend the DIL-GP to improve Bayesian optimization's adaptability on changing environments. Numerical experiments demonstrate the superiority of DIL-GP for predictions on several synthetic and real-world datasets. We further demonstrate the effectiveness of the DIL-GP Bayesian optimization method on a PID parameters tuning experiment for a quadrotor. The full version and source code are available at: https://github.com/Billzxl/DIL-GP.


title: Uncertainty Quantification for Data-Driven Change-Point Learning via Cross-Validation

abstract: Accurately detecting multiple change-points is critical for various applications, but determining the optimal number of change-points remains a challenge. Existing approaches based on information criteria attempt to balance goodness-of-fit and model complexity, but their performance varies depending on the model. Recently, data-driven selection criteria based on cross-validation has been proposed, but these methods can be prone to slight overfitting in finite samples. In this paper, we introduce a method that controls the probability of overestimation and provides uncertainty quantification for learning multiple change-points via cross-validation. We frame this problem as a sequence of model comparison problems and leverage high-dimensional inferential procedures. We demonstrate the effectiveness of our approach through experiments on finite-sample data, showing superior uncertainty quantification for overestimation compared to existing methods. Our approach has broad applicability and can be used in diverse change-point models.


title: Incoherent ${\rm J}/\psi$ production at large $|t|$ identifies the onset of saturation at the LHC

abstract: We predict that the onset of gluon saturation can be uniquely identified using incoherent ${\rm J}/\psi$ production in Pb$\unicode{x2013}$Pb collisions at currently accessible energies of the LHC. The diffractive incoherent photo-production of a ${\rm J}/\psi$ vector meson off a hadron provides information on the partonic structure of the hadron. Within the Good-Walker approach it specifically measures the variance over possible target configurations of the hadronic colour field. For this process then, gluon saturation sets in when the cross section reaches a maximum, as a function of the centre-of-mass energy of the photon-hadron system ($W$), and then decreases. We benchmark the energy-dependent hot-spot model against data from HERA and the LHC and demonstrate a good description of the available data. We show that the study of the energy dependence of the incoherent production of ${\rm J}/\psi$ allows us to pinpoint the onset of saturation effects by selecting the region of Mandelstam-$t$ around 1 GeV$^2$ where the contribution of hot spots is dominant. We predict the onset of saturation in a Pb target to occur for $W$ around a few hundred GeV. This can be measured with current data in ultra-peripheral Pb$\unicode{x2013}$Pb collisions at the LHC.


title: Epidemic models on homogeneous networks : some analytical results

abstract: The ability to actually implement epidemic models is a crucial stake for public institutions, as they may be overtaken by the increasing complexity of current models and sometimes tend to revert to less elaborate models such as the SIR. In our work, we study a simple epidemic propagation model, called SIR-$k$, which is based on a homogeneous network of degree $k$, where each individual has the same number $k$ of neighbors. This model is more refined than the basic SIR which assumes a completely homogeneous population. We show that nevertheless, analytical expressions, simpler and richer than the ones existing for the SIR model, can be derived for this SIR-$k$ model. In particular we obtain an exact implicit analytical solution for any $k$, from which quantities such as the epidemic threshold or the total number of agents infected during the epidemic can be obtained. We furthermore obtain simple exact explicit solutions for small $k$'s, and in the large $k$ limit we find a new formulation of the analytical solution of the basic SIR model, which comes with new insights.


title: 1PN effective binary Lagrangian for the gravity-Kalb-Ramond sector in the conservative regime

abstract: Within the framework of string theory, a number of new fields are possible correcting the Einstein-Hilbert action, including a Kalb-Ramond two-form field. In this work we derive explicitly first order relativistic corrections to conservative dynamics with a Kalb-Ramond field, using the effective field theory approach. The resulting additional terms in the Lagrangian governing conservative binary dynamics are presented explicitly.


title: UniForCE: The Unimodality Forest Method for Clustering and Estimation of the Number of Clusters

abstract: Estimating the number of clusters k while clustering the data is a challenging task. An incorrect cluster assumption indicates that the number of clusters k gets wrongly estimated. Consequently, the model fitting becomes less important. In this work, we focus on the concept of unimodality and propose a flexible cluster definition called locally unimodal cluster. A locally unimodal cluster extends for as long as unimodality is locally preserved across pairs of subclusters of the data. Then, we propose the UniForCE method for locally unimodal clustering. The method starts with an initial overclustering of the data and relies on the unimodality graph that connects subclusters forming unimodal pairs. Such pairs are identified using an appropriate statistical test. UniForCE identifies maximal locally unimodal clusters by computing a spanning forest in the unimodality graph. Experimental results on both real and synthetic datasets illustrate that the proposed methodology is particularly flexible and robust in discovering regular and highly complex cluster shapes. Most importantly, it automatically provides an adequate estimation of the number of clusters.


title: Inferring the Graph of Networked Dynamical Systems under Partial Observability and Spatially Colored Noise

abstract: In a Networked Dynamical System (NDS), each node is a system whose dynamics are coupled with the dynamics of neighboring nodes. The global dynamics naturally builds on this network of couplings and it is often excited by a noise input with nontrivial structure. The underlying network is unknown in many applications and should be inferred from observed data. We assume: i) Partial observability -- time series data is only available over a subset of the nodes; ii) Input noise -- it is correlated across distinct nodes while temporally independent, i.e., it is spatially colored. We present a feasibility condition on the noise correlation structure wherein there exists a consistent network inference estimator to recover the underlying fundamental dependencies among the observed nodes. Further, we describe a structure identification algorithm that exhibits competitive performance across distinct regimes of network connectivity, observability, and noise correlation.


title: Directed flow and hyperon polarization at RHIC BES from multi-fluid dynamics

abstract: We present directed flow of protons and pions, as well as mean polarization of $\Lambda$ and $\bar\Lambda$ hyperons computed for Au-Au collisions at $\sqrt{s_\mathrm{NN}}=5...19.6$ GeV in MUFFIN model. MUlti Fluid simulation for Fast IoN collisions, or MUFFIN, is a state-of-the-art 3-fluid dynamic model for simulating heavy-ion collisions in the region from a few to a hundred GeV center-of-mass energy. Whereas MUFFIN succeeds to reproduce basic observables in the collision energy range of interest, the slope of the directed flow at mid-rapidity is much steeper as compared to the data, it has unclear EoS dependence and final-state hadronic cascade affects this observable significantly. The excitation function of the $\Lambda$ polarization shows a significant splitting between polarizations of $\Lambda$ and $\bar\Lambda$, which challenges a widespread interpretation that the splitting is affected mainly by the late-stage magnetic field.


title: Topic Shifts as a Proxy for Assessing Politicization in Social Media

abstract: Politicization is a social phenomenon studied by political science characterized by the extent to which ideas and facts are given a political tone. A range of topics, such as climate change, religion and vaccines has been subject to increasing politicization in the media and social media platforms. In this work, we propose a computational method for assessing politicization in online conversations based on topic shifts, i.e., the degree to which people switch topics in online conversations. The intuition is that topic shifts from a non-political topic to politics are a direct measure of politicization -- making something political, and that the more people switch conversations to politics, the more they perceive politics as playing a vital role in their daily lives. A fundamental challenge that must be addressed when one studies politicization in social media is that, a priori, any topic may be politicized. Hence, any keyword-based method or even machine learning approaches that rely on topic labels to classify topics are expensive to run and potentially ineffective. Instead, we learn from a seed of political keywords and use Positive-Unlabeled (PU) Learning to detect political comments in reaction to non-political news articles posted on Twitter, YouTube, and TikTok during the 2022 Brazilian presidential elections. Our findings indicate that all platforms show evidence of politicization as discussion around topics adjacent to politics such as economy, crime and drugs tend to shift to politics. Even the least politicized topics had the rate in which their topics shift to politics increased in the lead up to the elections and after other political events in Brazil -- an evidence of politicization.


title: Renormalisation group running effects in $pp\to t\bar{t}h$ in the Standard Model Effective Field Theory

abstract: We study the effects of renormalisation group running of the Wilson coefficients in Standard Model Effective Field Theory, using the process $pp \to t \bar{t}h$ as a showcase. We consider both strong and top Yukawa running effects, since the latter can be relevant in presence of large Wilson coefficients. We study the difference between the use of a dynamical and fixed renormalisation scale by exploring different scenarios for the higher-dimensional operators at the high energy scale of new physics, assumed to be at the TeV scale.


title: Simultaneous minijets and QGP evolution

abstract: Minijets traversing through the QGP formed in heavy-ion collisions deposit significant amount of energy in the bulk medium. They also create gradients in temperatures which alter the flow profile and enhance entropy production. We study the effects of minijets in a simultaneous hydro + jet framework and find that inclusion of minijets requires recalibration of transport properties extracted from the model-to-data comparisons.


title: Convergence guarantees for adaptive model predictive control with kinky inference

abstract: We analyze the convergence properties of a robust adaptive model predictive control algorithm used to control an unknown nonlinear system. We show that by employing a standard quadratic stabilizing cost function, and by recursively updating the nominal model through kinky inference, the resulting controller ensures convergence of the true system to the origin, despite the presence of model uncertainty. We illustrate our theoretical findings through a numerical simulation.


title: Phantom-Powered Nested Sampling

abstract: We introduce a novel technique within the Nested Sampling framework to enhance efficiency of the computation of Bayesian evidence, a critical component in scientific data analysis. In higher dimensions, Nested Sampling relies on Markov Chain-based likelihood-constrained prior samplers, which generate numerous 'phantom points' during parameter space exploration. These points are too auto-correlated to be used in the standard Nested Sampling scheme and so are conventionally discarded, leading to waste. Our approach discovers a way to integrate these phantom points into the evidence calculation, thereby improving the efficiency of Nested Sampling without sacrificing accuracy. This is achieved by ensuring the points within the live set remain asymptotically i.i.d. uniformly distributed, allowing these points to contribute meaningfully to the final evidence estimation. We apply our method on several models, demonstrating substantial enhancements in sampling efficiency, that scales well in high-dimension. Our findings suggest that this approach can reduce the number of required likelihood evaluations by at least a factor of 5. This advancement holds considerable promise for improving the robustness and speed of statistical analyses over a wide range of fields, from astrophysics and cosmology to climate modelling.


title: Density Descent for Diversity Optimization

abstract: Diversity optimization seeks to discover a set of solutions that elicit diverse features. Prior work has proposed Novelty Search (NS), which, given a current set of solutions, seeks to expand the set by finding points in areas of low density in the feature space. However, to estimate density, NS relies on a heuristic that considers the k-nearest neighbors of the search point in the feature space, which yields a weaker stability guarantee. We propose Density Descent Search (DDS), an algorithm that explores the feature space via CMA-ES on a continuous density estimate of the feature space that also provides a stronger stability guarantee. We experiment with DDS and two density estimation methods: kernel density estimation (KDE) and continuous normalizing flow (CNF). On several standard diversity optimization benchmarks, DDS outperforms NS, the recently proposed MAP-Annealing algorithm, and other state-of-the-art baselines. Additionally, we prove that DDS with KDE provides stronger stability guarantees than NS, making it more suitable for adaptive optimizers. Furthermore, we prove that NS is a special case of DDS that descends a KDE of the feature space.


title: Why a Mayor cannot Change the Course of a Pandemic -- An agent-based Study on the Covid Spread on Local Level in Germany

abstract: During the COVID-19 pandemic, a large variance of incidence rates on local level, e.g. cities and districts, within one country has been observed, while the same non-pharmaceutical measures have been taken to control the spread of the virus. This variance in incidence rates triggered the question, if the spread of incidence rates can be explained only by statistical processes and the local population statistics or if indeed other factors, e.g. local information campaigns, have to be considered. Within this paper we study the expected spread of incidence rates in the German State of Rhineland Palatinate during the second COVID-19 wave using an agent based simulation and find that the spread of incidence rates can be solely explained by population statistics and further statical effects.


title: Out-of-Equilibrium Full-Counting Statistics in Gaussian Theories of Quantum Magnets

abstract: We consider the probability distributions of the subsystem (staggered) magnetization in ordered and disordered models of quantum magnets in D dimensions. We focus on Heisenberg antiferromagnets and long-range transverse-field Ising models as particular examples. By employing a range of self-consistent time-dependent mean-field approximations in conjunction with Holstein-Primakoff, Dyson-Maleev, Schwinger boson and modified spin-wave theory representations we obtain results in thermal equilibrium as well as during non-equilibrium evolution after quantum quenches. To extract probability distributions we derive a simple formula for the characteristic function of generic quadratic observables in any Gaussian theory of bosons.


title: Optimize and Reduce: A Top-Down Approach for Image Vectorization

abstract: Vector image representation is a popular choice when editability and flexibility in resolution are desired. However, most images are only available in raster form, making raster-to-vector image conversion (vectorization) an important task. Classical methods for vectorization are either domain-specific or yield an abundance of shapes which limits editability and interpretability. Learning-based methods, that use differentiable rendering, have revolutionized vectorization, at the cost of poor generalization to out-of-training distribution domains, and optimization-based counterparts are either slow or produce non-editable and redundant shapes. In this work, we propose Optimize & Reduce (O&R), a top-down approach to vectorization that is both fast and domain-agnostic. O&R aims to attain a compact representation of input images by iteratively optimizing B\'ezier curve parameters and significantly reducing the number of shapes, using a devised importance measure. We contribute a benchmark of five datasets comprising images from a broad spectrum of image complexities - from emojis to natural-like images. Through extensive experiments on hundreds of images, we demonstrate that our method is domain agnostic and outperforms existing works in both reconstruction and perceptual quality for a fixed number of shapes. Moreover, we show that our algorithm is $\times 10$ faster than the state-of-the-art optimization-based method.


title: An inorganic ABX3 perovskite materials dataset for target property prediction and classification using machine learning

abstract: The reliability with Machine Learning (ML) techniques in novel materials discovery often depend on the quality of the dataset, in addition to the relevant features used in describing the material. In this regard, the current study presents and validates a newly processed materials dataset that can be utilized for benchmark ML analysis, as it relates to the prediction and classification of deterministic target properties. Originally, the dataset was extracted from the Open Quantum Materials Database (OQMD) and contains a robust 16,323 samples of ABX3 inorganic perovskite structures. The dataset is tabular in form and is preprocessed to include sixty-one generalized input features that broadly describes the physicochemical, stability/geometrical, and Density Functional Theory (DFT) target properties associated with the elemental ionic sites in a three-dimensional ABX3 polyhedral. For validation, four different ML models are employed to predict three distinctive target properties, namely: formation energy, energy band gap, and crystal system. On experimentation, the best accuracy measurements are reported at 0.013 eV/atom MAE, 0.216 eV MAE, and 85% F1, corresponding to the formation energy prediction, band gap prediction and crystal system multi-classification, respectively. Moreover, the realized results are compared with previous literature and as such, affirms the resourcefulness of the current dataset for future benchmark materials analysis via ML techniques. The preprocessed dataset and source codes are openly available to download from github.com/chenebuah/ML_abx3_dataset.


title: DRDT: Dynamic Reflection with Divergent Thinking for LLM-based Sequential Recommendation

abstract: The rise of Large Language Models (LLMs) has sparked interest in their application to sequential recommendation tasks as they can provide supportive item information. However, due to the inherent complexities of sequential recommendation, such as sequential patterns across datasets, noise within sequences, and the temporal evolution of user preferences, existing LLM reasoning strategies, such as in-context learning and chain-of-thought are not fully effective. To address these challenges, we introduce a novel reasoning principle: Dynamic Reflection with Divergent Thinking within a retriever-reranker framework. Our approach starts with a collaborative in-context demonstration retriever, which collects sequences exhibiting collaborative behaviors as in-context examples. Following this, we abstract high-level user preferences across multiple aspects, providing a more nuanced understanding of user interests and circumventing the noise within the raw sequences. The cornerstone of our methodology is dynamic reflection, a process that emulates human learning through probing, critiquing, and reflecting, using user feedback to tailor the analysis more effectively to the target user in a temporal manner. We evaluate our approach on three datasets using six pre-trained LLMs. The superior performance observed across these models demonstrates the efficacy of our reasoning strategy, notably achieved without the need to fine-tune the LLMs. With our principle, we managed to outperform GPT-Turbo-3.5 on three datasets using 7b models e.g., Vicuna-7b and Openchat-7b on NDCG@10. This research not only highlights the potential of LLMs in enhancing sequential recommendation systems but also underscores the importance of developing tailored reasoning strategies to fully harness their capabilities.


title: Challenges for Reinforcement Learning in Quantum Circuit Design

abstract: Quantum computing (QC) in the current NISQ era is still limited in size and precision. Hybrid applications mitigating those shortcomings are prevalent to gain early insight and advantages. Hybrid quantum machine learning (QML) comprises both the application of QC to improve machine learning (ML) and ML to improve QC architectures. This work considers the latter, leveraging reinforcement learning (RL) to improve the search for viable quantum architectures, which we formalize by a set of generic challenges. Furthermore, we propose a concrete framework, formalized as a Markov decision process, to enable learning policies capable of controlling a universal set of continuously parameterized quantum gates. Finally, we provide benchmark comparisons to assess the shortcomings and strengths of current state-of-the-art RL algorithms.


title: On the Impact of School Closures on COVID-19 Transmission in Germany using an agent-based Simulation

abstract: The effect of school closures on the spread of COVID-19 has been discussed among experts and the general public since those measures have been taken only a few months after the start of the pandemic in 2020. Within this study, the JuneGermany framework, is used to quantify the impact of school closures in the German state Rhineland Palatinate using an agent-based simulation approach. It was found that the simulations predicts a reduction of the number of infections, hospitalizations as well as death by a factor of 2.5 compared to scenarios, where no school closures are enforced, during the second wave between October 2020 and February 2021


title: The EBLM Project XI. Mass, radius and effective temperature measurements for 23 M-dwarf companions to solar-type stars observed with CHEOPS

abstract: Observations of low-mass stars have frequently shown a disagreement between observed stellar radii and radii predicted by theoretical stellar structure models. This ``radius inflation'' problem could have an impact on both stellar and exoplanetary science. We present the final results of our observation programme with the CHEOPS satellite to obtain high-precision light curves of eclipsing binaries with low mass stellar companions (EBLMs). Combined with the spectroscopic orbits of the solar-type companion, we can derive the masses, radii and effective temperatures of 23 M-dwarf stars. We use the PYCHEOPS data analysis software to analyse their primary and secondary occultations. For all but one target, we also perform analyses with TESS light curves for comparison. We have assessed the impact of starspot-induced variation on our derived parameters and account for this in our radius and effective temperature uncertainties using simulated light curves. We observe trends for inflation with both metallicity and orbital separation. We also observe a strong trend in the difference between theoretical and observational effective temperatures with metallicity. There is no such trend with orbital separation. These results are not consistent with the idea that observed inflation in stellar radius combines with lower effective temperature to preserve the luminosity predicted by low-mass stellar models. Our EBLM systems are high-quality and homogeneous measurements that can be used in further studies into radius inflation.


title: Machine Vision-Enabled Sports Performance Analysis

abstract: $\textbf{Goal:}$ This study investigates the feasibility of monocular 2D markerless motion capture (MMC) using a single smartphone to measure jump height, velocity, flight time, contact time, and range of motion (ROM) during motor tasks. $\textbf{Methods:}$ Sixteen healthy adults performed three repetitions of selected tests while their body movements were recorded using force plates, optical motion capture (OMC), and a smartphone camera. MMC was then performed on the smartphone videos using OpenPose v1.7.0. $\textbf{Results:}$ MMC demonstrated excellent agreement with ground truth for jump height and velocity measurements. However, MMC's performance varied from poor to moderate for flight time, contact time, ROM, and angular velocity measurements. $\textbf{Conclusions:}$ These findings suggest that monocular 2D MMC may be a viable alternative to OMC or force plates for assessing sports performance during jumps and velocity-based tests. Additionally, MMC could provide valuable visual feedback for flight time, contact time, ROM, and angular velocity measurements.


title: On the existence of MRD self-dual codes

abstract: In this paper, we investigate the existence of self-dual MRD codes $C\subset L^n$, where $L/F$ is an arbitrary field extension of degree $m\geq n$. We then apply our results to the case of finite fields, and prove that if $m=n$ and $F=\mathbb{F}_q$, a self-dual MRD code exists if and only if $q\equiv n\equiv 3 \ [4].$


title: Impact of Oxidation State on the Valence-bond-glass Physics in the lithium-intercalated Mo$_3$O$_8$ Cluster Mott Insulators

abstract: We have successfully synthesized four Mo$_3$O$_8$-type cluster Mott insulators (CMI) by intercalating lithium into nonmagnetic precursors to regulate the Mo$_3$ cluster valence. The resulting materials are Li$_{1+x}$$R$Mo$_3$O$_8$ ($R$ = Sc, Y, Lu) and Li$_x$Zn$_2$Mo$_3$O$_8$. Our magnetic susceptibility measurements revealed that these materials display characteristics akin to a valence bond glass state and suggest the presence of short-range ordering when the Mo$_3$ cluster valence approximates its ideal value. These findings challenge the prevailing belief that the plaquette charge ordering state is an inherent feature of Mo$_3$O$_8$-type CMI. Instead, they underscore the importance of Mo$_3$ cluster valence in determining the physical properties of these systems. These insights furnish a fresh understanding of the Mo$_3$O$_8$-type CMI and open new research opportunities in highly frustrated magnetism.


title: Neighborhoods and Boundaries of Urban Mobility

abstract: Barriers of urban mobility may contribute to the segregation of neighborhoods. However, the empirical knowledge about this issue is limited. Here, we present a methodological framework to assess the importance of barriers to urban mobility along their hierarchy, over time and across neighborhoods. Using GPS mobility data, we construct a network of blocks from the sequence of individual visits. A community finding algorithm allows us to evaluate the fit of the neighborhoods detected in this mobility network to characteristic urban barriers by adjusting the resolution parameter of the Louvain method to decrease the dominance of mobility hubs. Using the Symmetric Area Difference index, that quantifies the overlap between the polygons separated by urban barriers and the network communities, we find that the match of detected neighborhoods and urban barriers improves as the resolution parameter increases. However, at high values of the resolution parameter, this fit gets better for lower rank administrative or road barriers than for their higher rank pairs. Although the role of urban barriers in hindering mobility became stronger over the COVID-19 restrictions, their fit with detected neighborhoods deteriorated for most analyzed barriers. Exceptions are primary roads, to which the fit of neighborhoods is stable over periods. By increasing the resolution parameter, we find emergent communities of local mobility flows that cross primary roads and a consequent optimal value of the resolution parameter. The Barrier Crossing Ratio, the fraction of barrier crossings that are network community crossings as well, demonstrates that the barriers' impact on mobility are significantly different across urban areas. These results contribute to the ongoing discourse on urban segregation, emphasizing the importance of barriers to urban mobility in shaping neighborhood interactions and mixing.


title: Muted: Multilingual Targeted Offensive Speech Identification and Visualization

abstract: Offensive language such as hate, abuse, and profanity (HAP) occurs in various content on the web. While previous work has mostly dealt with sentence level annotations, there have been a few recent attempts to identify offensive spans as well. We build upon this work and introduce Muted, a system to identify multilingual HAP content by displaying offensive arguments and their targets using heat maps to indicate their intensity. Muted can leverage any transformer-based HAP-classification model and its attention mechanism out-of-the-box to identify toxic spans, without further fine-tuning. In addition, we use the spaCy library to identify the specific targets and arguments for the words predicted by the attention heatmaps. We present the model's performance on identifying offensive spans and their targets in existing datasets and present new annotations on German text. Finally, we demonstrate our proposed visualization tool on multilingual inputs.


title: Implicit Affordance Acquisition via Causal Action-Effect Modeling in the Video Domain

abstract: Affordance knowledge is a fundamental aspect of commonsense knowledge. Recent findings indicate that world knowledge emerges through large-scale self-supervised pretraining, motivating our exploration of acquiring affordance knowledge from the visual domain. To this end, we augment an existing instructional video resource to create the new Causal Action-Effect (CAE) dataset and design two novel pretraining tasks -- Masked Action Modeling (MAM) and Masked Effect Modeling (MEM) -- promoting the acquisition of two affordance properties in models: behavior and entity equivalence, respectively. We empirically demonstrate the effectiveness of our proposed methods in learning affordance properties. Furthermore, we show that a model pretrained on both tasks outperforms a strong image-based visual-linguistic foundation model (FLAVA) as well as pure linguistic models on a zero-shot physical reasoning probing task.


title: Memoryless Chemotaxis with Discrete Cues

abstract: A wide array of biological systems can navigate in shallow gradients of chemoattractant with remarkable precision. Whilst previous approaches model such systems using coarse-grained chemical density profiles, we construct a dynamical model consisting of a chemotactic cell responding to discrete cue particles. For a cell without internal memory, we derive an effective velocity with which the cell approaches a point source of cue particles. We find that the effective velocity becomes negative beyond some homing radius, which represents an upper bound on the distance within which chemotaxis can be reliably performed. This work lays the foundation for the analytical characterisation of more detailed models of chemotaxis.


title: Unstable Instantons in A-model Localization

abstract: We apply localization techniques to $A$-twisted $\mathcal{N}=(2,2)$ theories of vector multiplets on $S^{2}$. We derive formulae for $A$-model partition functions and correlators as integrals along a real contour, as opposed to a complex one. Using the correlator formula, we successfully recover the unstable instanton partition function of pure two-dimensional Yang-Mills theory from the vacuum expectation value of an $A$-model operator.


title: Monte Carlo Tree Search in the Presence of Transition Uncertainty

abstract: Monte Carlo Tree Search (MCTS) is an immensely popular search-based framework used for decision making. It is traditionally applied to domains where a perfect simulation model of the environment is available. We study and improve MCTS in the context where the environment model is given but imperfect. We show that the discrepancy between the model and the actual environment can lead to significant performance degradation with standard MCTS. We therefore develop Uncertainty Adapted MCTS (UA-MCTS), a more robust algorithm within the MCTS framework. We estimate the transition uncertainty in the given model, and direct the search towards more certain transitions in the state space. We modify all four MCTS phases to improve the search behavior by considering these estimates. We prove, in the corrupted bandit case, that adding uncertainty information to adapt UCB leads to tighter regret bound than standard UCB. Empirically, we evaluate UA-MCTS and its individual components on the deterministic domains from the MinAtar test suite. Our results demonstrate that UA-MCTS strongly improves MCTS in the presence of model transition errors.


title: Quarkonium production in high energy $pp$ collisions

abstract: We investigate the charmonium and bottomonium production in $pp$ collisions using the Wigner densities formalism. The Wigner density of the quarkonia is approximated by analytical 3-D isotropic harmonic oscillator Wigner densities with the same root-mean-square radius given by the solution of the Schr\"odinger equation. This approach reproduces quite well the available experimental transverse momentum and rapidity distributions.


title: Multiple Beads-on-a-string: Dark Matter-Deficient Galaxy Formation in a Mini-bullet Satellite-satellite Galaxy Collision

abstract: Dark matter-deficient galaxies (DMDGs) discovered in the survey of ultra-diffuse galaxies (UDGs), in apparent conflict with standard CDM, may be produced by high-velocity galaxy-galaxy collisions, the $\textit{Mini-bullet}$ scenario. Recent observations of an aligned trail of $7-11$ UDGs near NGC1052, including DMDGs DF2 and DF4, suggesting a common formation event, $\sim8.9\pm1.5$ Gyr ago, provide a test. Hydro/N-body simulations, supplemented by galaxy orbit integrations, demonstrate that satellite-satellite collisions outside the host-galaxy virial radius can reproduce the observed UDGs in the NGC1052 group. A trail of $\sim10$ DMDGs is shown to form, including two massive ones that replicate the observed motions of DF2 and DF4. The linear relation, $v=Ax+v_{0}$, conjectured previously to relate positions ($x$) and velocities ($v$) of the aligned DMDGs as a signature of the collision event, is approximately obeyed, but individual DMDGs can deviate significantly from it. The progenitors whose collision spawned the trail of DMDGs survive the collision without, themselves, becoming DMDGs. We predict one progenitor is located at the end of the trail, testable by observing the difference between its stars, formed pre-collision, from those of the DMDGs, formed post-collision. By contrast, stellar ages and metallicities of the DMDGs are nearly identical. We further offer a hint that the tidal field of host NGC1052 may contribute to making DMDGs diffuse. $\Lambda$CDM simulation in a 100 cMpc box finds our required initial conditions $\sim10$ times at $z<3$. These results indicate current observations are consistent with the $\textit{Mini-bullet}$ scenario.


title: Disentangling photon rings beyond General Relativity with future radio-telescope arrays

abstract: New physics beyond General Relativity can modify image features of black holes and horizonless spacetimes and increase the separation between photon rings. This motivates us to explore synthetic images consisting of two thin rings. Our synthetic images are parameterized by the separation as well as the relative flux density of the two rings. We perform fits to the visibility amplitude and analyze closure quantities. The current Event Horizon Telescope array cannot detect the presence of a second ring in the region of parameters motivated by particular new-physics cases. We show that this can be improved in three ways: first, if the array is upgraded with Earth-based telescopes with sufficiently high sensitivity, second, if the array is upgraded with a space-based station and third, if super-resolution techniques are used for the data obtained by the array.


title: Safety verification of Neural-Network-based controllers: a set invariance approach

abstract: This paper presents a novel approach to ensure the safety of continuous-time linear dynamical systems controlled by a neural network (NN) based state-feedback. Our method capitalizes on the use of continuous piece-wise affine (PWA) activation functions (e.g. ReLU) which render the NN a PWA continuous function. By computing the affine regions of the latter and applying Nagumo's theorem, a subset of boundary points can effectively verify the invariance of a potentially non-convex set. Consequently, an algorithm that partitions the state space in affine regions is proposed. The scalability of our approach is thoroughly analyzed, and extensive tests are conducted to validate its effectiveness.


title: Remarks on the separation of Navier-Stokes flows

abstract: Recently, strong evidence has accumulated that some solutions to the Navier-Stokes equations in physically meaningful classes are not unique. The primary purpose of this paper is to establish necessary properties for the error of hypothetical non-unique Navier-Stokes flows under conditions motivated by the scaling of the equations. Our first set of results show that some scales are necessarily active -- comparable in norm to the full error -- as solutions separate. `Scale' is interpreted in several ways, namely via algebraic bounds, the Fourier transform and discrete volume elements. These results include a new type of uniqueness criteria which is stated in terms of the error. The second result is a conditional predictability criteria for the separation of small perturbations. An implication is that the error necessarily activates at larger scales as flows de-correlate. The last result says that the error of the hypothetical non-unique Leray-Hopf solutions of Jia and Sverak locally grows in a self-similar fashion. Consequently, within the Leray-Hopf class, energy can de-correlate at a rate which is faster than linear. This contrasts numerical work on predictability which identifies a linear rate. This discrepancy can likely be explained by the fact that non-uniqueness can be viewed as a perturbation of a singular flow.


title: Target detection using underwater acoustic communication links

abstract: Underwater monitoring and surveillance systems are essential for underwater target detection, localization and classification. The aim of this work is to investigate the possibility of target detection by using data transmission between communication nodes in an underwater acoustic (UWA) network, i.e, re-using acoustic communication signals for target detection. A new target detection method based on estimation of the time-varying channel impulse response between the communication transmitter(s) and receiver(s) is proposed and investigated. This is based on a lake experiment and numerical experiments using a simulator developed for modeling the time-varying UWA channel in the presence of a moving target. The proposed detection method provides a clear indication of a target crossing the communication link. A good similarity between results obtained in the numerical and lake experiments is observed.