title: Relational Quantum Mechanics is Still Incompatible with Quantum Mechanics

abstract: We showed in a recent article [arXiv:2208.11793], that relative facts (outcomes), a central concept in Relational Quantum Mechanics, are inconsistent with Quantum Mechanics. We proved this by constructing a Wigner-Friend type sequential measurement scenario on a Greenberger-Horne-Zeilinger (GHZ) state of three qubits, and making the following assumption: ``if an interpretation of quantum theory introduces some conceptualization of outcomes of a measurement, then probabilities of these outcomes must follow the quantum predictions as given by the Born rule.'' Our work has been criticized by Cavalcanti, Di Biagio, and Rovelli [arXiv:2305.07343]. In this note we show that their critique is invalid, and that their specific arguments raise questions of principle.


title: ProcNet: Deep Predictive Coding Model for Robust-to-occlusion Visual Segmentation and Pose Estimation

abstract: Systems involving human-robot collaboration necessarily require that steps be taken to ensure safety of the participating human. This is usually achievable if accurate, reliable estimates of the human's pose are available. In this paper, we present a deep Predictive Coding (PC) model supporting visual segmentation, which we extend to pursue pose estimation. The model is designed to offer robustness to the type of transient occlusion naturally occurring when human and robot are operating in close proximity to one another. Impact on performance of relevant model parameters is assessed, and comparison to an alternate pose estimation model (NVIDIA's PoseCNN) illustrates efficacy of the proposed approach.


title: The 7 faces of quantum NP

abstract: When it comes to NP, its natural definition, its wide applicability across scientific disciplines, and its timeless relevance, the writing is on the wall: There can be only one. Quantum NP, on the other hand, is clearly the apple that fell far from the tree of NP. Two decades since the first definitions of quantum NP started rolling in, quantum complexity theorists face a stark reality: There's QMA, QCMA, QMA1, QMA(2), StoqMA, and NQP. In this article aimed at a general theoretical computer science audience, I survey these various definitions of quantum NP, their strengths and weaknesses, and why most of them, for better or worse, actually appear to fit naturally into the complexity zoo.


title: Data journeys in popular science: Producing climate change and COVID-19 data visualizations at Scientific American

abstract: Vast amounts of (open) data are increasingly used to make arguments about crisis topics such as climate change and global pandemics. Data visualizations are central to bringing these viewpoints to broader publics. However, visualizations often conceal the many contexts involved in their production, ranging from decisions made in research labs about collecting and sharing data to choices made in editorial rooms about which data stories to tell. In this paper, we examine how data visualizations about climate change and COVID-19 are produced in popular science magazines, using Scientific American, an established English-language popular science magazine, as a case study. To do this, we apply the analytical concept of data journeys (Leonelli, 2020) in a mixed methods study that centers on interviews with Scientific American staff and is supplemented by a visualization analysis of selected charts. In particular, we discuss the affordances of working with open data, the role of collaborative data practices, and how the magazine works to counter misinformation and increase transparency. This work provides an empirical contribution by providing insight into the data (visualization) practices of science communicators and demonstrating how the concept of data journeys can be used as an analytical framework.


title: Vision-Based Reconfigurable Intelligent Surface Beam Tracking for mmWave Communications

abstract: Reconfigurable intelligent surfaces have emerged as a technology with the potential to enhance wireless communication performance for 5G and beyond. However, the technology comes with challenges in areas such as complexity, power consumption, and cost. This paper demonstrates a computer vision-based reconfigurable intelligent surface beamforming algorithm that addresses complexity and cost issues and analyzes the multipath components that arise from the insertion of such a device into the wireless channel. The results show that a reconfigurable intelligent surface can provide an additional multipath component. The power of this additional path can be critical in blockage scenarios, and a capacity increase can be perceived in both line-of-sight and non line-of-sight scenarios.


title: Location and symmetry of superconductivity in neutron stars

abstract: Earlier, it was a standard assumption that the entire core of neutron stars is superconducting. However, the matter contents in the inner core has been unknown even qualitatively, because the density of matter in that region is expected to be higher than the nuclear saturation density 0.16 $\mathrm{fm}^{-3}$. As a consequence, no reliable model exists that would describe the neutron star matter in the inner core of neutron stars. Thus, a possibility of presence of normal, nonsuperconducting, plasma in the inner core cannot be excluded as of today. This point is supported by the numerical calculations performed in [1]. The calculations are based on the equation of state and the proton Cooper pairing gap energy derived from the chiral effective field theory. The numerical results show that the superconducting gap goes to zero beyond the depth about 1 km below the crust-core boundary. Given that the stellar radius is of the order of 12 km, therefore the superconducting proton matter is expected to exist only in a thin layer at the tip of the outer core. Recently it has been realized that the symmetry of superconductor is anisotropic in the lasagna region of the pasta phases located at the bottom of the crust. However the question of whether this symmetry is continuous or discreet was unsolved. The numerical calculations performed in [1] have shown that the tunneling rate between the adjacent slabs in the entire range of the corresponding densities is negligibly small. Thus, a discreet model is necessary for the description of the lasagna region. Uncertainties and future directions of the research are discussed.


title: On Matrix Toda Brackets Indexed by n and the 2nd James-Hopf Invariant

abstract: In this paper, we give definitions of two kinds of matrix Toda brackets indexed by $n$ which are useful tools to detect the unstable phenomena. Then we give a generalization of the classical isomorphisms between relative homotopy groups of $(JS^{m},S^{m}) $ and $(JS^{2m},\,*\,)$ after localization at 2. And we also give two kinds of generalized Toda's $H$-formulas for matrix Toda brackets indexed by $1$. As applications, we give a new construction of $\bar{\kappa}'\in\pi_{26}(S^{6})$ localized at 2 which improves the construction of $\bar{\kappa}'$ shown in [3].


title: Nitsche's prescription of Dirichlet conditions in the finite element approximation of Maxwell's problem

abstract: In this paper we consider the finite element approximation of Maxwell's problem and analyse the prescription of essential boundary conditions in a weak sense using Nitsche's method. To avoid indefiniteness of the problem, the original equations are augmented with the gradient of a scalar field that allows one to impose the zero divergence of the magnetic induction, even if the exact solution for this scalar field is zero. Two finite element approximations are considered, namely, one in which the approximation spaces are assumed to satisfy the appropriate inf-sup condition that render the standard Galerkin method stable, and another augmented and stabilised one that permits the use of finite element interpolations of arbitrary order. Stability and convergence results are provided for the two finite element formulations considered.


title: Synchronization and optimization of Large Eddy Simulation using an online Ensemble Kalman Filter

abstract: An online Data Assimilation strategy based on the Ensemble Kalman Filter (EnKF) is used to improve the predictive capabilities of Large Eddy Simulation (LES) for the analysis of the turbulent flow in a plane channel, $Re_\tau \approx 550$. The algorithm sequentially combines the LES prediction with high-fidelity, sparse instantaneous data obtained from a Direct Numerical Simulation (DNS). It is shown that the procedure provides an augmented state which exhibits higher accuracy than the LES model and it synchronizes with the time evolution of the high-fidelity DNS data if the hyperparameters governing the EnKF are properly chosen. In addition, the data-driven algorithm is able to improve the accuracy of the subgrid-scale model included in the LES, the Smagorinsky model, via the optimization of a free coefficient. However, while the online EnKF strategy is able to reduce the global error of the LES prediction, a discrepancy with the reference DNS data is still observed because of structural flaws of the subgrid-scale model used.


title: Some properties of plasma surrounding brown dwarfs

abstract: Recently, brown dwarfs have emerged as a new topic for the astrophysical studies. These objects are intermediate between solar-type stars and giant gaseous planets. In this article, the analogies between brown dwarfs and the planet Jupiter are considered with a focus on the surrounding plasma. I consider the magnetohydrodynamic version of the Rayleigh-Taylor instability (or so called ``interchange instability'') as a minimal model of the expansion of the plasma disc surrounding Jupiter. By comparing the theoretical prediction for the radial expansion rate of the disc with the observations I quantitatively confirm the existing qualitative result, which predicts that the Rayleigh-Taylor instability provides too quick expansion. Therefore, in the realistic plasma disc yet another mechanism must operate which slows down the expansion. I suggest that similar mechanisms take place in the observed radiation belts of brown dwarfs.


title: NLP Evaluation in trouble: On the Need to Measure LLM Data Contamination for each Benchmark

abstract: In this position paper, we argue that the classical evaluation on Natural Language Processing (NLP) tasks using annotated benchmarks is in trouble. The worst kind of data contamination happens when a Large Language Model (LLM) is trained on the test split of a benchmark, and then evaluated in the same benchmark. The extent of the problem is unknown, as it is not straightforward to measure. Contamination causes an overestimation of the performance of a contaminated model in a target benchmark and associated task with respect to their non-contaminated counterparts. The consequences can be very harmful, with wrong scientific conclusions being published while other correct ones are discarded. This position paper defines different levels of data contamination and argues for a community effort, including the development of automatic and semi-automatic measures to detect when data from a benchmark was exposed to a model, and suggestions for flagging papers with conclusions that are compromised by data contamination.


title: Temperature Monitoring of Agricultural Areas in a Secure Data Room

abstract: Agricultural production is highly dependent on naturally occurring environmental conditions like change of seasons and the weather. Especially in fruit and wine growing, late frosts occurring shortly after the crops have sprouted have the potential to cause massive damage to plants [L1,L2] [1]. In this article we present a cost-efficient temperature monitoring system for detecting and reacting to late frosts to prevent crop failures. The proposed solution includes a data space where Internet of Things (IoT) devices can form a cyber-physical system (CPS) to interact with their nearby environment and securely exchange data. Based on this data, more accurate predictions can be made in the future using machine learning (ML), which will further contribute to minimising economic damage caused by crop failures.


title: Matrix positivity preservers in fixed dimension. II: positive definiteness and strict monotonicity of Schur function ratios

abstract: We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials. Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary. The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.


title: FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

abstract: This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable. We propose the geometry formalization theory (GFT) to guide the development of the geometry formal system. Based on the GFT, we have established the FormalGeo, which consists of 88 geometric predicates and 196 theorems. It can represent, validate, and solve IMO-level geometry problems. we also have crafted the FGPS (formal geometry problem solver) in Python. It serves as both an interactive assistant for verifying problem-solving processes and an automated problem solver. We've annotated the formalgeo7k and formalgeo-imo datasets. The former contains 6,981 (expand to 133,818 through data augmentation) geometry problems, while the latter includes 18 (expand to 2,627 and continuously increasing) IMO-level challenging geometry problems. All annotated problems include detailed formal language descriptions and solutions. Implementation of the formal system and experiments validate the correctness and utility of the GFT. The backward depth-first search method only yields a 2.42% problem-solving failure rate, and we can incorporate deep learning techniques to achieve lower one. The source code of FGPS and datasets are available at https://github.com/BitSecret/FGPS.


title: Formation and Stability of Area Quantized Black Holes

abstract: We investigate the ergoregion instability of area-quantized rotating quantum black holes (QBH) under gravitational perturbation. We show that the instability can be avoided in binary systems that include QBHs if the separation between the inspiralling components at the onset of black hole formation is less than a critical value. We also analyze the formation history of such systems from stellar progenitors and demonstrate that a significant fraction of progenitor masses cannot lead to QBH formation, making it unlikely for LIGO-Virgo black hole binaries to comprise rotating QBHs.


title: SentMix-3L: A Bangla-English-Hindi Code-Mixed Dataset for Sentiment Analysis

abstract: Code-mixing is a well-studied linguistic phenomenon when two or more languages are mixed in text or speech. Several datasets have been build with the goal of training computational models for code-mixing. Although it is very common to observe code-mixing with multiple languages, most datasets available contain code-mixed between only two languages. In this paper, we introduce SentMix-3L, a novel dataset for sentiment analysis containing code-mixed data between three languages Bangla, English, and Hindi. We carry out a comprehensive evaluation using SentMix-3L. We show that zero-shot prompting with GPT-3.5 outperforms all transformer-based models on SentMix-3L.


title: Encounter-based approach to target search problems: a review

abstract: In this review, we present the encounter-based approach to target search problems, in which the diffusive dynamics is described by the joint probability of the position of the particle and the number of its encounters with a given target set. The knowledge of the statistics of encounters allows one to implement various mechanisms of reactions on the target set, beyond conventional reaction schemes. We formulate this approach for three relevant settings: discrete random walks, Brownian motion with bulk reactions, and reflected Brownian motion with surface reactions. In all cases, we discuss the advantages of this approach, its recent applications and possible extensions.


title: Large language models for aspect-based sentiment analysis

abstract: Large language models (LLMs) offer unprecedented text completion capabilities. As general models, they can fulfill a wide range of roles, including those of more specialized models. We assess the performance of GPT-4 and GPT-3.5 in zero shot, few shot and fine-tuned settings on the aspect-based sentiment analysis (ABSA) task. Fine-tuned GPT-3.5 achieves a state-of-the-art F1 score of 83.8 on the joint aspect term extraction and polarity classification task of the SemEval-2014 Task 4, improving upon InstructABSA [@scaria_instructabsa_2023] by 5.7%. However, this comes at the price of 1000 times more model parameters and thus increased inference cost. We discuss the the cost-performance trade-offs of different models, and analyze the typical errors that they make. Our results also indicate that detailed prompts improve performance in zero-shot and few-shot settings but are not necessary for fine-tuned models. This evidence is relevant for practioners that are faced with the choice of prompt engineering versus fine-tuning when using LLMs for ABSA.


title: Symmetry-Based Quantum Circuit Mapping

abstract: Quantum circuit mapping is a crucial process in the quantum circuit compilation pipeline, facilitating the transformation of a logical quantum circuit into a list of instructions directly executable on a target quantum system. Recent research has introduced a post-compilation step known as remapping, which seeks to reconfigure the initial circuit mapping to mitigate quantum circuit errors arising from system variability. As quantum processors continue to scale in size, the efficiency of quantum circuit mapping and the overall compilation process has become of paramount importance. In this work, we introduce a quantum circuit remapping algorithm that leverages the intrinsic symmetries in quantum processors, making it well-suited for large-scale quantum systems. This algorithm identifies all topologically equivalent circuit mappings by constraining the search space using symmetries and accelerates the scoring of each mapping using vector computation. Notably, this symmetry-based circuit remapping algorithm exhibits linear scaling with the number of qubits in the target quantum hardware and is proven to be optimal in terms of its time complexity. Moreover, we conduct a comparative analysis against existing methods in the literature, demonstrating the superior performance of our symmetry-based method on state-of-the-art quantum hardware architectures and highlighting the practical utility of our algorithm, particularly for quantum processors with millions of qubits.


title: Bayesian Prognostic Covariate Adjustment With Additive Mixture Priors

abstract: Effective and rapid decision-making from randomized controlled trials (RCTs) requires unbiased and precise treatment effect inferences. Two strategies to address this requirement are to adjust for covariates that are highly correlated with the outcome, and to leverage historical control information via Bayes' theorem. We propose a new Bayesian prognostic covariate adjustment methodology, referred to as Bayesian PROCOVA, that combines these two strategies. Covariate adjustment in Bayesian PROCOVA is based on generative artificial intelligence (AI) algorithms that construct a digital twin generator (DTG) for RCT participants. The DTG is trained on historical control data and yields a digital twin (DT) probability distribution for each RCT participant's outcome under the control treatment. The expectation of the DT distribution, referred to as the prognostic score, defines the covariate for adjustment. Historical control information is leveraged via an additive mixture prior with two components: an informative prior probability distribution specified based on historical control data, and a weakly informative prior distribution. The mixture weight determines the extent to which posterior inferences are drawn from the informative component, versus the weakly informative component. This weight has a prior distribution as well, and so the entire additive mixture prior is completely pre-specifiable without involving any RCT information. We establish an efficient Gibbs algorithm for sampling from the posterior distribution, and derive closed-form expressions for the posterior mean and variance of the treatment effect parameter conditional on the weight, in Bayesian PROCOVA. We evaluate efficiency gains of Bayesian PROCOVA via its bias control and variance reduction compared to frequentist PROCOVA in simulation studies that encompass different discrepancies. These gains translate to smaller RCTs.


title: Classical Density Functional Theory: The Local Density Approximation

abstract: We prove that the lowest free energy of a classical interacting system at temperature $T$ with a prescribed density profile $\rho(x)$ can be approximated by the local free energy $\int f_T(\rho(x))dx$, provided that $\rho$ varies slowly over sufficiently large length scales. A quantitative error on the difference is provided in terms of the gradient of the density. Here $f_T$ is the free energy per unit volume of an infinite homogeneous gas of the corresponding uniform density. The proof uses quantitative Ruelle bounds (estimates on the local number of particles in a large system), which are derived in an appendix.


title: Observing galaxy clusters and the cosmic web through the Sunyaev Zel'dovich effect with MISTRAL

abstract: Galaxy clusters and surrounding medium, can be studied using X-ray bremsstrahlung emission and Sunyaev Zel'dovich (SZ) effect. Both astrophysical probes, sample the same environment with different parameters dependance. The SZ effect is relatively more sensitive in low density environments and thus is useful to study the filamentary structures of the cosmic web. In addition, observations of the matter distribution require high angular resolution in order to be able to map the matter distribution within and around galaxy clusters. MISTRAL is a camera working at 90GHz which, once coupled to the Sardinia Radio Telescope, can reach $12''$ angular resolution over $4'$ field of view (f.o.v.). The forecasted sensitivity is $NEFD \simeq 10-15mJy \sqrt{s}$ and the mapping speed is $MS= 380'^{2}/mJy^{2}/h$. MISTRAL was recently installed at the focus of the SRT and soon will take its first photons.


title: Confucius: Achieving Consistent Low Latency with Practical Queue Management for Real-Time Communications

abstract: Real-time communication applications require consistently low latency, which is often disrupted by latency spikes caused by competing flows, especially Web traffic. We identify the root cause of disruptions in such cases as the mismatch between the abrupt bandwidth allocation adjustment of queue scheduling and gradual congestion window adjustment of congestion control. For example, when a sudden burst of new Web flows arrives, queue schedulers abruptly shift bandwidth away from the existing real-time flow(s). The real-time flow will need several RTTs to converge to the new available bandwidth, during which severe stalls occur. In this paper, we present Confucius, a practical queue management scheme designed for offering real-time traffic with consistently low latency regardless of competing flows. Confucius slows down bandwidth adjustment to match the reaction of congestion control, such that the end host can reduce the sending rate without incurring latency spikes. Importantly, Confucius does not require the collaboration of end-hosts (e.g., labels on packets), nor manual parameter tuning to achieve good performance. Extensive experiments show that Confucius outperforms existing practical queueing schemes by reducing the stall duration by more than 50%, while the competing flows also fairly enjoy on-par performance.


title: A contribution to the mathematical theory of diffraction. Part II: Recovering the far-field asymptotics of the quarter-plane problem

abstract: We apply the stationary phase method developed in (Assier, Shanin \& Korolkov, QJMAM, 76(1), 2022) to the problem of wave diffraction by a quarter-plane. The wave field is written as a double Fourier transform of an unknown spectral function. We make use of the analytical continuation results of (Assier \& Shanin, QJMAM, 72(1), 2018) to uncover the singularity structure of this spectral function. This allows us to provide a closed-form far-field asymptotic expansion of the field by estimating the double Fourier integral near some special points of the spectral function. All the known results on the far-field asymptotics of the quarter-plane problem are recovered, and new mathematical expressions are derived for the secondary diffracted waves in the plane of the scatterer.


title: On $S$-$n$-absorbing ideals

abstract: Let $R$ be a commutative ring with identity, $S$ a multiplicative subset of $R$ and $I$ an ideal of $R$ disjoint from $S$. In this paper, we introduce the notion of an $S$-$n$-absorbing ideal which is a generalization of both the $S$-prime ideals and $n$-absorbing ideals. Moreover, we investigate the basic properties, quotient extension, existence and amalgamation of $S$-$n$-absorbing ideals.


title: An Empirical Analysis of Participatory Budgeting in Amsterdam

abstract: Using data from 35 Participatory Budgeting instances in Amsterdam, we empirically compare two different Participatory Budgeting rules: the greedy cost welfare rule and the Method of Equal Shares. We quantify how proportional, equal and fair the rules are and conclude that, for a small price in total voter satisfaction, the Method of Equal Shares performs better on all notions of fairness studied. We further provide a popular and a visual explanation of the Method of Equal Shares.


title: Experimental Evaluation of Fully Dynamic k-Means via Coresets

abstract: For a set of points in $\mathbb{R}^d$, the Euclidean $k$-means problems consists of finding $k$ centers such that the sum of distances squared from each data point to its closest center is minimized. Coresets are one the main tools developed recently to solve this problem in a big data context. They allow to compress the initial dataset while preserving its structure: running any algorithm on the coreset provides a guarantee almost equivalent to running it on the full data. In this work, we study coresets in a fully-dynamic setting: points are added and deleted with the goal to efficiently maintain a coreset with which a k-means solution can be computed. Based on an algorithm from Henzinger and Kale [ESA'20], we present an efficient and practical implementation of a fully dynamic coreset algorithm, that improves the running time by up to a factor of 20 compared to our non-optimized implementation of the algorithm by Henzinger and Kale, without sacrificing more than 7% on the quality of the k-means solution.


title: High Throughput Screening of Ternary Nitrides with Convolutional Neural Networks

abstract: The development of new materials is a core aspect of advancement in synthesis and application for industry. There is a vast number of possible chemical permutations of the basic elements that can be explored to synthesize materials that possess attractive catalytic, mechanical and electrical properties that may not be easily accessible to traditional experimental methods for various reasons, including cost and time considerations. Nitrides, as examples, require very stringent and precise conditions to successfully synthesize making their experimental exploration very slow. In this paper, we employ the use of machine learning algorithms to predict the bulk properties of Ternary Metal Nitrides (TMN), specifically their bulk modulus which is correlated with the hardness of the material. We were able to develop a consistent model with encouraging accuracy, that was able to predict the bulk moduli of materials that previously did not have computed values. The model was trained on $10^3$ ternary materials with known elastic properties and defined structures, and was able to predict the bulk modulus of $\thickapprox 1,000$ Ternary Metal Nitrides (TMNs) to $\thickapprox 80\%$ accuracy. This approach is orders of magnitude faster than the traditional computational approaches like density functional theory (DFT)\cite{dft-paper} which makes exploratory identification of materials with promising properties fast. We propose that such models be used to select interesting candidates for high throughput computation from first principles.


title: Fast and simple unrooted dynamic forests

abstract: A dynamic forest data structure maintains a forest (and associated data like edge weights) under edge insertions and deletions. Dynamic forests are widely used to solve online and offline graph problems. Well-known examples of dynamic forest data structures are link-cut trees [Sleator and Tarjan '83] and top trees [Alstrup, Holm, de Lichtenberg, and Thorup '05], both of which need O(log n) time per operation. While top trees are more flexible and arguably easier to use, link-cut trees are faster in practice [Tarjan and Werneck '10]. In this paper, we propose an alternative to link-cut trees. Our data structure is based on search trees on trees (STTs, also known as elimination trees) and an STT algorithm [Berendsohn and Kozma '22] based on the classical Splay trees [Sleator and Tarjan '85]. While link-cut trees maintain a hierarchy of binary search trees, we maintain a single STT. Most of the complexity of our data structure lies in the implementation of the STT rotation primitive, which can easily be reused, simplifying the development of new STT-based approaches. We implement several variants of our data structure in the Rust programming language, along with an implementation of link-cut trees for comparison. Experimental evaluation suggests that our algorithms are faster when the dynamic forest is unrooted, while link-cut trees are faster for rooted dynamic forests.


title: Experimental Validation for Distributed Control of Energy Hubs

abstract: As future energy systems become more decentralised due to the integration of renewable energy resources and storage technologies, several autonomous energy management and peer-to-peer trading mechanisms have been recently proposed for the operation of energy hub networks based on optimization and game theory. However, most of these strategies have been tested either only in simulated environments or small prosumer units as opposed to larger energy hubs. This simulation reality gap has hindered large-scale implementation and practical application of these method. In this paper, we aim to experimentally validate the performance of a novel multi-horizon distributed model predictive controller for an energy hub network by implementing the controller on a complete network of hubs comprising of a real energy hub inter-faced with multiple virtual hubs. The experiments are done using two different network topologies and the controller shows promising results in both setups.


title: On General Language Understanding

abstract: Natural Language Processing prides itself to be an empirically-minded, if not outright empiricist field, and yet lately it seems to get itself into essentialist debates on issues of meaning and measurement ("Do Large Language Models Understand Language, And If So, How Much?"). This is not by accident: Here, as everywhere, the evidence underspecifies the understanding. As a remedy, this paper sketches the outlines of a model of understanding, which can ground questions of the adequacy of current methods of measurement of model quality. The paper makes three claims: A) That different language use situation types have different characteristics, B) That language understanding is a multifaceted phenomenon, bringing together individualistic and social processes, and C) That the choice of Understanding Indicator marks the limits of benchmarking, and the beginnings of considerations of the ethics of NLP use.


title: Net-charge particle ratio fluctuations in $pp$ collisions at several LHC energies

abstract: Event-by-event particle ratio fluctuations for simulated data sets of three different models named UrQMD, AMPT, and Pythia are studied using the fluctuation variable $\nu_{dyn}$. The simulated data sets produced in $pp$ collisions at four different LHC energies $\sqrt{s} = 2.76, 5.02, 7$ and $13$ TeV are generated and considered for this analysis. The variation of fluctuation parameter $\nu_{dyn}$ for accepted pair of meson and baryon combination $i.e.$ $[\pi, K]$, $[\pi, p]$ and $[p, K]$ with the increasing value of the mean multiplicity of charged particles ($\langle N_{ch} \rangle$) are investigated. It has been observed that the correlation between the particle pair $[\pi, K]$ is more than that of the two other particle pairs $[\pi, p]$ and $[p, K]$. However, the energy-wise inspection of the fluctuation variable $\nu_{dyn}$ for $0-10\%$ centrality data shows the increase in the correlation between the particles in each pair for all three models considered.


title: Moral Responsibility for AI Systems

abstract: As more and more decisions that have a significant ethical dimension are being outsourced to AI systems, it is important to have a definition of moral responsibility that can be applied to AI systems. Moral responsibility for an outcome of an agent who performs some action is commonly taken to involve both a causal condition and an epistemic condition: the action should cause the outcome, and the agent should have been aware -- in some form or other -- of the possible moral consequences of their action. This paper presents a formal definition of both conditions within the framework of causal models. I compare my approach to the existing approaches of Braham and van Hees (BvH) and of Halpern and Kleiman-Weiner (HK). I then generalize my definition into a degree of responsibility.


title: Negativity-preserving transforms of tuples of symmetric matrices

abstract: Compared to the entrywise transforms which preserve positive semidefiniteness, those leaving invariant the inertia of symmetric matrices reveal a surprising rigidity. We first obtain the classification of negativity preservers by combining recent advances in matrix analysis with some novel arguments using well chosen test matrices. We continue with the analogous classification in the multi-variable setting, revealing a striking separation of variables, with absolute monotonicity on one side and homotheties on the other. We conclude with the complex analogue of this result.


title: Sui Lutris: A Blockchain Combining Broadcast and Consensus

abstract: Sui Lutris is the first smart-contract platform to sustainably achieve sub-second finality. It achieves this significant decrease by employing consensusless agreement not only for simple payments but for a large variety of transactions. Unlike prior work, Sui Lutris neither compromises expressiveness nor throughput and can run perpetually without restarts. Sui Lutris achieves this by safely integrating consensuless agreement with a high-throughput consensus protocol that is invoked out of the critical finality path but ensures that when a transaction is at risk of inconsistent concurrent accesses, its settlement is delayed until the total ordering is resolved. Building such a hybrid architecture is especially delicate during reconfiguration events, where the system needs to preserve the safety of the consensusless path without compromising the long-term liveness of potentially misconfigured clients. We thus develop a novel reconfiguration protocol, the first to provably show the safe and efficient reconfiguration of a consensusless blockchain. Sui Lutris is currently running in production and underpins the Sui smart-contract platform. Combined with the use of Objects instead of accounts it enables the safe execution of smart contracts that expose objects as a first-class resource. In our experiments Sui Lutris achieves latency lower than 0.5 seconds for throughput up to 5,000 certificates per second (150k ops/s with transaction blocks), compared to the state-of-the-art real-world consensus latencies of 3 seconds. Furthermore, it gracefully handles validators crash-recovery and does not suffer visible performance degradation during reconfiguration.


title: Interior Eigensolver Based on Rational Filter with Composite rule

abstract: Contour-integral-based rational filter leads to interior eigensolvers for non-Hermitian generalized eigenvalue problems. Based on the Zolotarev's problems, this paper proves the asymptotic optimality of the trapezoidal quadrature of the contour integral in terms of the rational function separation. A composite rule of the trapezoidal quadrature is derived. Two interior eigensolvers are proposed based on the composite rule. Both eigensolvers adopt direct factorization and multi-shift generalized minimal residual method for the inner and outer rational functions, respectively. The first eigensolver fixes the order of the outer rational function and applies the subspace iteration to achieve convergence, whereas the second eigensolver doubles the order of the outer rational function every iteration to achieve convergence without subspace iteration. The efficiency and stability of proposed eigensolvers are demonstrated on synthetic and practical sparse matrix pencils.


title: Isolation of phase edges using off-axis q-plate filters

abstract: Edge-enhanced microscopes with q-plate have been attracted more attention to enhance the edges of phase-amplitude objects in biological sample due to their capability for all-directional edge enhancement, while differential interference-contrast microscopy enhances edges in only one-direction. However, the edge-enhanced microscopes cannot distinguish the edges of phase and amplitude objects, as both edges are equally enhanced. This study introduces a novel method for isolating the edge of a phase object from an amplitude object using an off-axis q-plate filter in a 4f system. Herein, we combined off-axis q-plates with four different displacements to isolate the phase object edge from the amplitude object. To demonstrate the proposed method, we conducted experiments using two distinct samples. The first sample comprised a phase test target surrounded by an aperture, and the second sample involved an overlap between the phase test target and a white hair with non-zero transmittance. In the samples, the isolated phase object edge is in good agreement with the theoretical expectations, and the amplitude object edge was reduced by approximately 93%. The proposed method is a novel and effective approach for isolating the edge of a phase object from an amplitude object and can be useful in various biological imaging applications.


title: TRSM benchmark planes -- EPS-HEP2023 update

abstract: I briefly review the Benchmark Planes in the Two-Real-Singlet Model (TRSM), a model that enhances the Standard Model (SM) scalar sector by two real singlets that obey a Z2 x Z2' symmetry. All fields acquire a vacuum expectation value, that softly breaks the above symmetry and leads to mixing of all CP even neutral states. Furthermore, all interactions with SM-like particles are inherited from the SM-like doublet via mixing. I remind the readers of the previously proposed benchmark planes, and briefly discuss possible production at future Higgs factories, as well as regions in a more generic scan of the model. Results are based on previous work presented in arXiv:1908.08554, arXiv:2209.10996, and arXiv:2305.08595.


title: ViCLEVR: A Visual Reasoning Dataset and Hybrid Multimodal Fusion Model for Visual Question Answering in Vietnamese

abstract: In recent years, Visual Question Answering (VQA) has gained significant attention for its diverse applications, including intelligent car assistance, aiding visually impaired individuals, and document image information retrieval using natural language queries. VQA requires effective integration of information from questions and images to generate accurate answers. Neural models for VQA have made remarkable progress on large-scale datasets, with a primary focus on resource-rich languages like English. To address this, we introduce the ViCLEVR dataset, a pioneering collection for evaluating various visual reasoning capabilities in Vietnamese while mitigating biases. The dataset comprises over 26,000 images and 30,000 question-answer pairs (QAs), each question annotated to specify the type of reasoning involved. Leveraging this dataset, we conduct a comprehensive analysis of contemporary visual reasoning systems, offering valuable insights into their strengths and limitations. Furthermore, we present PhoVIT, a comprehensive multimodal fusion that identifies objects in images based on questions. The architecture effectively employs transformers to enable simultaneous reasoning over textual and visual data, merging both modalities at an early model stage. The experimental findings demonstrate that our proposed model achieves state-of-the-art performance across four evaluation metrics. The accompanying code and dataset have been made publicly accessible at \url{https://github.com/kvt0012/ViCLEVR}. This provision seeks to stimulate advancements within the research community, fostering the development of more multimodal fusion algorithms, specifically tailored to address the nuances of low-resource languages, exemplified by Vietnamese.


title: Robust Bayesian Inference on Riemannian Submanifold

abstract: Non-Euclidean spaces routinely arise in modern statistical applications such as in medical imaging, robotics, and computer vision, to name a few. While traditional Bayesian approaches are applicable to such settings by considering an ambient Euclidean space as the parameter space, we demonstrate the benefits of integrating manifold structure into the Bayesian framework, both theoretically and computationally. Moreover, existing Bayesian approaches which are designed specifically for manifold-valued parameters are primarily model-based, which are typically subject to inaccurate uncertainty quantification under model misspecification. In this article, we propose a robust model-free Bayesian inference for parameters defined on a Riemannian submanifold, which is shown to provide valid uncertainty quantification from a frequentist perspective. Computationally, we propose a Markov chain Monte Carlo to sample from the posterior on the Riemannian submanifold, where the mixing time, in the large sample regime, is shown to depend only on the intrinsic dimension of the parameter space instead of the potentially much larger ambient dimension. Our numerical results demonstrate the effectiveness of our approach on a variety of problems, such as reduced-rank multiple quantile regression, principal component analysis, and Fr\'{e}chet mean estimation.


title: On the mean values of products of Dirichlet $L$-functions at positive integers

abstract: In this paper, we study the mean value distributions of Dirichlet $L$-functions at positive integers. We give some explicit formulas for the mean values of products of two and three Dirichlet $L$-functions at positive integers weighted by Dirichlet characters that involve the Bernoulli functions and Jordan's totient functions. The results presented here are the generalizations of various known formulas.


title: Text Augmented Spatial-aware Zero-shot Referring Image Segmentation

abstract: In this paper, we study a challenging task of zero-shot referring image segmentation. This task aims to identify the instance mask that is most related to a referring expression without training on pixel-level annotations. Previous research takes advantage of pre-trained cross-modal models, e.g., CLIP, to align instance-level masks with referring expressions. %Yet, CLIP only considers image-text pair level alignment, which neglects fine-grained image region and complex sentence matching. Yet, CLIP only considers the global-level alignment of image-text pairs, neglecting fine-grained matching between the referring sentence and local image regions. To address this challenge, we introduce a Text Augmented Spatial-aware (TAS) zero-shot referring image segmentation framework that is training-free and robust to various visual encoders. TAS incorporates a mask proposal network for instance-level mask extraction, a text-augmented visual-text matching score for mining the image-text correlation, and a spatial rectifier for mask post-processing. Notably, the text-augmented visual-text matching score leverages a $P$ score and an $N$-score in addition to the typical visual-text matching score. The $P$-score is utilized to close the visual-text domain gap through a surrogate captioning model, where the score is computed between the surrogate model-generated texts and the referring expression. The $N$-score considers the fine-grained alignment of region-text pairs via negative phrase mining, encouraging the masked image to be repelled from the mined distracting phrases. Extensive experiments are conducted on various datasets, including RefCOCO, RefCOCO+, and RefCOCOg. The proposed method clearly outperforms state-of-the-art zero-shot referring image segmentation methods.


title: Non-existence of radial eigenfunctions for the perturbed Heisenberg sublaplacian

abstract: We prove uniform resolvent estimates in weighted $L^2$-spaces for radial solutions of the sublaplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^d$. The proofs are based on the multipliers methods, and strongly rely on the use of suitable multipliers and of the associated Hardy inequalities. The constants in our inequalities are explicit and depend only on the dimension $d$. As application of the method, we obtain some suitable smallness and repulsivity conditions on a complex radial potential $V$ on $\mathbb{H}^d$ such that $\mathcal{L}+V$ has no radial eigenfunctions.


title: On stability of weighted spanning tree degree enumerators

abstract: Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.


title: Economics for the Global Economic Order: The Tragedy of Epic Fail Equilibria

abstract: This paper casts within a unified economic framework some key challenges for the global economic order: de-globalization; the rising impracticability of global cooperation; and the increasingly confrontational nature of Great Power competition. In these, economics has been weaponised in the service of national interest. This need be no bad thing. History provides examples where greater openness and freer trade emerge from nations seeking only to advance their own self-interests. But the cases described in the paper provide mixed signals. We find that some developments do draw on a growing zero-sum perception to economic and political engagement. That zero-sum explanation alone, however, is crucially inadequate. Self-serving nations, even when believing the world zero-sum, have under certain circumstances produced outcomes that have benefited all. In other circumstances, perfectly-predicted losses have instead resulted on all sides. Such lose-lose outcomes -- epic fail equilibria -- generalize the Prisoner's Dilemma game and are strictly worse than zero-sum. In our analysis, Third Nations -- those not frontline in Great Power rivalry -- can serve an essential role in averting epic fail outcomes. The policy implication is that Third Nations need to provide platforms that will gently and unobtrusively nudge Great Powers away from epic-fail equilibria and towards inadvertent cooperation.


title: Phylogenetic invariants: straightforward from the general Markov to equivariant models

abstract: In the last decade, some algebraic tools have been successfully applied to phylogenetic reconstruction. These tools are mainly based on the knowledge of equations describing algebraic varieties associated to phylogenetic trees evolving under Markov processes of molecular substitution, the so called phylogenetic invariants. Although the theory involved allows to explicitly obtain these equations for all equivariant models (which include some of the most popular nucleotide substitution models), practical uses of these algebraic tools have been restricted to the case of the general Markov model. Arguably, one of the reasons for this restriction is that knowledge of linear representation theory is required before making these equations explicit. With the aim of enlarging the practical uses of algebraic phylogenetics, in this paper we prove that phylogenetic invariants for trees evolving under equivariant models can be derived from phylogenetic invariants for the general Markov model, without the need of representation theory. Our main result states that the algebraic variety corresponding to a phylogenetic tree evolving under an equivariant model is an irreducible component of the variety corresponding to the same tree under the general Markov model cut with the linear space defined by the model. We also prove that, for any equivariant model, those phylogenetic invariants that are relevant for practical uses (e.g. tree reconstruction) can be simply deduced from a single rank constraint on the matrices obtained by flattening the joint distribution at the leaves of the tree. This condition can be easily tested from singular values of the matrices and extends our results from trees to phylogenetic networks.


title: A Dynamical Analogue of a Question of Fermat

abstract: Given a quadratic polynomial with rational coefficients, we investigate the existence of consecutive squares in the orbit of a rational point under the iteration of the polynomial. We display three different constructions of $1$-parameter quadratic polynomials with orbits containing three consecutive squares. In addition, we show that there exists at least one polynomial of the form $x^2+c$ with a rational point whose orbit under this map contains four consecutive squares. This can be viewed as a dynamical analogue of a question of Fermat on rational squares in arithmetic progression. Finally, assuming a standard conjecture on exact periods of periodic points of quadratic polynomials over the rational field, we give necessary and sufficient conditions under which the orbit of a periodic point contains only rational squares.


title: On some integrable models in inhomogeneous space

abstract: The purpose of this work is to build a framework that allows for an in-depth study of various generalisations to inhomogeneous space of models of Borodin-Ferrari, Dieker-Warren, Nordenstam, Warren-Windridge of interacting particles in interlacing arrays, both in discrete and continuous time, involving both Bernoulli and geometric jumps. The models can in addition be either time-inhomogeneous or particle-inhomogeneous. We show that the correlation functions of these models are determinantal and using this we prove a short-time asymptotic for these dynamics to the discrete Bessel point process. We moreover prove a number of closely related results. We prove that the autonomous, inhomogeneous in space and time, TASEP-like and pushTASEP-like particle systems on the edges of the array have explicit transition kernels and that from any deterministic initial condition their distributions are marginals of a determinantal measure. We prove a novel duality relation between dynamics in inhomogeneous space and dynamics with inhomogeneities on the level of the array. We extend the work of Nordenstam on the shuffling algorithm for domino tilings of the Aztec diamond and its relation to push-block dynamics in interlacing arrays to general weights on the tilings and then connect this, for a special class of weights, back to our previous results. We also consider non-intersecting walks in inhomogeneous space and time with fixed starting and end points and obtain a formula for their correlation functions, involving among other ingredients, an explicit Riemann-Hilbert problem. We then prove a limit theorem for the bottom lines in this line-ensemble, under some technical conditions. The main computational tool throughout this work is a natural generalisation of a Toeplitz matrix, that we call inhomogeneous Toeplitz-like matrix $\mathsf{T}_{\mathbf{f}}$ with (a possibly matrix-valued) symbol $\mathbf{f}$.


title: Towards a more complete description of nucleon distortion in lepton-induced single-pion production at low-$Q^2$

abstract: Theoretical predictions for lepton-induced single-pion production (SPP) on $^{12}$C are revisited in order to assess the effect of different treatments of the current operator. On one hand we have the asymptotic approximation, which consists in replacing the particle four-vectors that enter in the operator by their asymptotic values, i.e., their values out of the nucleus. On the other hand we have the full calculation, which is a more accurate approach to the problem. We also compare with results in which the final nucleon is described by a relativistic plane wave, to rate the effect of the nucleon distortion. The study is performed for several lepton kinematics, reproducing inclusive and semi-inclusive cross sections belonging to the low-$Q^2$ region (between 0.05 and 1 GeV$^2$), which is of special interest in charged-current (CC) neutrino-nucleus 1$\pi$ production. Inclusive electron results are compared with experimental data. We find non-trivial corrections comparable in size with the effect of the nucleon distortion, namely, corrections up to 6\%, either increasing or diminishing the asymptotic prediction, and a shift of the distributions towards higher energy transfer. For the semi-inclusive cross sections, we observe the correction to be prominent mainly at low values of the outgoing nucleon kinetic energy. Finally, for CC neutrino-induced 1$\pi^+$ production, we find a reduction at low-$Q^2$ with respect to both the plane-wave approach and the asymptotic case.


title: Reduction of Sufficient Conditions in Variational Obstacle Avoidance Problems

abstract: This paper studies sufficient conditions in a variational obstacle avoidance problem on complete Riemannian manifolds. That is, we minimize an action functional, among a set of admissible curves, which depends on an artificial potential function used to avoid obstacles. We provide necessary and sufficient conditions under which the resulting critical points, the so-called modified Riemannian cubics, are local minimizers. We then study the theory of reduction by symmetries of sufficient conditions for optimality in variational obstacle avoidance problems on Lie groups endowed with a left-invariant metric. This amounts to left-translating the Bi-Jacobi fields described to the Lie algebra, and studying the corresponding bi-conjugate points. New conditions are provided in terms of the invertibility of a certain matrix.


title: Nahm's Equations and Rational Maps from $\mathbb{C}\mathrm{P}^1$ to $\mathbb{C}\mathrm{P}^n$

abstract: We consider Nahm's equations on a bounded open interval with first order poles at the ends. By imposing further boundary conditions, extended moduli spaces are identified with spaces of rational maps from $\mathbb{C}\mathrm{P}^1$ to $\mathbb{C}\mathrm{P}^n$. Having the residues at one end define sums of irreducible representations of $\mathfrak{su}(2)$, the dimensions of those summands correspond to holomorphic charge on the rational map side. Technical difficulties arise due to half powers in the boundary conditions. Further, a symplectomorphic identification with moduli spaces corresponding to spaces of rational maps into complete flag varieties is given.


title: Using Gradient Flow to Renormalise Matrix Elements for Meson Mixing and Lifetimes

abstract: Neutral meson mixing and meson lifetimes are theory-side parametrised in terms four-quark operators which can be determined by calculating weak decay matrix elements using lattice Quantum Chromodynamics. While calculations of meson mixing matrix elements are standard, determinations of lifetimes typically suffer from complications in renormalisation procedures because dimension-6 four-quark operators can mix with operators of lower mass dimension and, moreover, quark-line disconnected diagrams contribute. We present work detailing the idea to use fermionic gradient flow to non-perturbatively renormalise matrix elements describing meson mixing or lifetimes, and combining it with a perturbative calculation to match to the $\overline{\rm MS}$ scheme using the shoft-flow-time expansion.


title: On Runge type theorems for solutions to strongly uniformly parabolic operators

abstract: Let $G_1, G_2 $ be domains in ${\mathbb R}^{n+1}$, $n \geq 2$, such that $G_1 \subset G_2$ and the domain $G_1$ have rather regular boundary. We investigate the problem of approximation of solutions to strongly uniformly $2m$-parabolic system $\mathcal L$ in the domain $G_1$ by solutions to the same system in the domain $G_2$. First, we prove that the space $S _{\mathcal L}(G_2)$ of solutions to the system $\mathcal L$ in the domain $G_2$ is dense in the space $S _{\mathcal L}(G_1)$, endowed with the standard Fr\'echet topology of the uniform convergence on compact subsets in $G_1$, if and only if the complements $G_2 (t) \setminus G_1 (t)$ have no non-empty compact components in $G_2 (t)$ for each $t\in \mathbb R$, where $G_j (t) = \{x \in {\mathbb R}^n: (x,t) \in G_j\}$. Next, under additional assumptions on the regularity of the bounded domains $G_1$ and $G_1(t)$, we prove that solutions from the Lebesgue class $L^2(G_1)\cap S _{\mathcal L}(G_1)$ can be approximated by solutions from $S _{\mathcal L}(G_2)$ if and only if the same assumption on the complements $G_2 (t) \setminus G_1 (t)$, $t\in \mathbb R$, is fulfilled.


title: de Sitter Relativity Group

abstract: Building upon the comprehensive framework outlined in the author's recent collaborative book, this manuscript delivers a brief overview of the $1+4$-dimensional de Sitter (dS$_4$) group, its accompanying Lie algebra, and the corresponding (co-)adjoint orbits, with the latter assuming significance as potential classical elementary systems within the framework of dS$_4$.


title: Group Actions from Algebraic Flops

abstract: This paper constructs derived autoequivalences associated to an algebraic flopping contraction \(X\to X_{\con}, \) where \(X\) is quasi-projective with only mild singularities. These functors are constructed naturally using bimodule cones, and we prove these cones are locally two-sided tilting complexes by using the local-global properties and a key commutative diagram. The main result is that these autoequivalences combine to give an action of the fundamental group of an associated infinite hyperplane arrangement on the derived category of \(X.\) This generalises and simplifies \cite{DW3}, by finally removing reliance on subgroups, and it also lifts many other results from the complete local setting.


title: "Honey, Tell Me What's Wrong", Global Explanation of Textual Discriminative Models through Cooperative Generation

abstract: The ubiquity of complex machine learning has raised the importance of model-agnostic explanation algorithms. These methods create artificial instances by slightly perturbing real instances, capturing shifts in model decisions. However, such methods rely on initial data and only provide explanations of the decision for these. To tackle these problems, we propose Therapy, the first global and model-agnostic explanation method adapted to text which requires no input dataset. Therapy generates texts following the distribution learned by a classifier through cooperative generation. Because it does not rely on initial samples, it allows to generate explanations even when data is absent (e.g., for confidentiality reasons). Moreover, conversely to existing methods that combine multiple local explanations into a global one, Therapy offers a global overview of the model behavior on the input space. Our experiments show that although using no input data to generate samples, Therapy provides insightful information about features used by the classifier that is competitive with the ones from methods relying on input samples and outperforms them when input samples are not specific to the studied model.


title: New Fast Transform for Orthogonal Frequency Division Multiplexing

abstract: In this paper, a new fast and low complexity transform is introduced for orthogonal frequency division multiplexing (OFDM) wireless systems. The new transform combines the effects of fast complex-Walsh-Hadamard transform (CHT) and the fast Fourier transform (FFT) into a single unitary transform named in this paper as the complex transition transform (CTT). The development of a new algorithm for fast calculation of the CT transform called FCT is found to have all the desirable properties such as in-place computation, simple indexing scheme and considerably lower arithmetic complexity than existing algorithms. Furthermore, a new OFDM system using the FCT algorithm is introduced and its performance has been evaluated. The proposed CT-OFDM achieves a noticeable reduction in peak-to-average-power-ratio (PAPR) and a significant improvement in the bit-error-rate (BER) performance compared with the conventional OFDM.


title: Reinvestigation of $^{91}$Sr and $^{95}$Y atomic masses using the JYFLTRAP Penning trap

abstract: We report on the precise mass measurements of the $^{91}$Sr and $^{95}$Y isotopes performed using the JYFLTRAP double Penning trap mass spectrometer. The mass-excess values from this work, ${\mathrm{ME}(^{91}\mathrm{Sr}) = -83645.5(13)}$ keV and ${\mathrm{ME}(^{95}\mathrm{Y}) = -81226.4(10)}$ keV, deviate by 6.5(52) keV and $-18(7)$ keV from the Atomic Mass Evaluation 2020 (AME20). In the case of $^{91}$Sr the new result disagrees with the ISOLTRAP value, while for $^{95}$Y, it agrees with the older JYFLTRAP value.


title: Photon momentum anisotropies from the late stages of relativistic heavy-ion collisions

abstract: The photon emission from the late stages of the dynamical evolution of heavy-ion reactions at the highest RHIC and LHC energies is investigated. A comparison between a calculation from hadronic rates from a fluid dynamic evolution down to temperatures of 120 MeV and a full non-equilibrium hadronic transport approach is performed. The photon yields are very similar in both cases while the elliptic flow is slightly smaller in the non-equilibrium scenario. This study is important, since it is crucial to apply the same dynamical evolution model for hadronic and electromagnetic observables.


title: Quantization of Two- and Three-player Cooperative Games Based on QRA

abstract: In this paper, a novel quantization scheme for cooperative games is proposed. The considered circuit is inspired by the Eisert-Wilkens-Lewenstein protocol modified to represent cooperation between players and extended to $3$-qubit states. The framework of Clifford algebra is used to perform necessary computations. In particular, we use a direct analogy between Dirac formalism and Quantum Register Algebra to represent circuits. This analogy enables us to perform automated proofs of the circuit equivalence in a simple fashion. To distribute players' payoffs after the measurement, the expected value of the Shapley value with respect to quantum probabilities is employed. We study how entanglement, representing the level of pre-agreement between players, affects the final distribution of utility. The paper also demonstrates how all necessary calculations can be automatized using the Quantum Register Algebra and GAALOP software.


title: Simple and Robust Dynamic Two-Dimensional Convex Hull

abstract: The convex hull of a data set $P$ is the smallest convex set that contains $P$. In this work, we present a new data structure for convex hull, that allows for efficient dynamic updates. In a dynamic convex hull implementation, the following traits are desirable: (1) algorithms for efficiently answering queries as to whether a specified point is inside or outside the hull, (2) adhering to geometric robustness, and (3) algorithmic simplicity.Furthermore, a specific but well-motivated type of two-dimensional data is rank-based data. Here, the input is a set of real-valued numbers $Y$ where for any number $y\in Y$ its rank is its index in $Y$'s sorted order. Each value in $Y$ can be mapped to a point $(rank, value)$ to obtain a two-dimensional point set. In this work, we give an efficient, geometrically robust, dynamic convex hull algorithm, that facilitates queries to whether a point is internal. Furthermore, our construction can be used to efficiently update the convex hull of rank-ordered data, when the real-valued point set is subject to insertions and deletions. Our improved solution is based on an algorithmic simplification of the classical convex hull data structure by Overmars and van Leeuwen~[STOC'80], combined with new algorithmic insights. Our theoretical guarantees on the update time match those of Overmars and van Leeuwen, namely $O(\log^2 |P|)$, while we allow a wider range of functionalities (including rank-based data). Our algorithmic simplification includes simplifying an 11-case check down to a 3-case check that can be written in 20 lines of easily readable C-code. We extend our solution to provide a trade-off between theoretical guarantees and the practical performance of our algorithm. We test and compare our solutions extensively on inputs that were generated randomly or adversarially, including benchmarking datasets from the literature.


title: On the Verification of Parametric Systems

abstract: We present an approach to the verification of systems for whose description some elements - constants or functions - are underspecified and can be regarded as parameters, and, in particular, describe a method for automatically generating constraints on such parameters under which certain safety conditions are guaranteed to hold. We present an implementation and illustrate its use on several examples.


title: Multi-grained Evidence Inference for Multi-choice Reading Comprehension

abstract: Multi-choice Machine Reading Comprehension (MRC) is a major and challenging task for machines to answer questions according to provided options. Answers in multi-choice MRC cannot be directly extracted in the given passages, and essentially require machines capable of reasoning from accurate extracted evidence. However, the critical evidence may be as simple as just one word or phrase, while it is hidden in the given redundant, noisy passage with multiple linguistic hierarchies from phrase, fragment, sentence until the entire passage. We thus propose a novel general-purpose model enhancement which integrates multi-grained evidence comprehensively, named Multi-grained evidence inferencer (Mugen), to make up for the inability. Mugen extracts three different granularities of evidence: coarse-, middle- and fine-grained evidence, and integrates evidence with the original passages, achieving significant and consistent performance improvement on four multi-choice MRC benchmarks.


title: Deterministic Primal-Dual Algorithms for Online k-way Matching with Delays

abstract: In this paper, we study the Min-cost Perfect $k$-way Matching with Delays ($k$-MPMD), recently introduced by Melnyk et al. In the problem, $m$ requests arrive one-by-one over time in a metric space. At any time, we can irrevocably make a group of $k$ requests who arrived so far, that incurs the distance cost among the $k$ requests in addition to the sum of the waiting cost for the $k$ requests. The goal is to partition all the requests into groups of $k$ requests, minimizing the total cost. The problem is a generalization of the min-cost perfect matching with delays (corresponding to $2$-MPMD). It is known that no online algorithm for $k$-MPMD can achieve a bounded competitive ratio in general, where the competitive ratio is the worst-case ratio between its performance and the offline optimal value. On the other hand, $k$-MPMD is known to admit a randomized online algorithm with competitive ratio $O(k^{5}\log n)$ for a certain class of $k$-point metrics called the $H$-metric, where $n$ is the size of the metric space. In this paper, we propose a deterministic online algorithm with a competitive ratio of $O(mk^2)$ for the $k$-MPMD in $H$-metric space. Furthermore, we show that the competitive ratio can be improved to $O(m + k^2)$ if the metric is given as a diameter on a line.


title: Probing the Schroedinger-Newton equation in a Stern-Gerlach interferometer

abstract: Explaining the behavior of macroscopic objects from the point of view of the quantum paradigm has challenged the scientific community for a century today. A mechanism of gravitational self-interaction, governed by the so-called Schroedinger-Newton equation, is among the proposals that aim to shed some light on it. Despite all efforts, this mechanism has been proven difficult to probe. Here, we consider a simple Stern-Gerlach-like experiment to try it out. The Schroedinger-Newton equation can be analytically solved under certain proper conditions, and a dephasing effect induced by the gravitational self-interacting potential can be calculated.


title: A Scalable Framework for Table of Contents Extraction from Complex ESG Annual Reports

abstract: Table of contents (ToC) extraction centres on structuring documents in a hierarchical manner. In this paper, we propose a new dataset, ESGDoc, comprising 1,093 ESG annual reports from 563 companies spanning from 2001 to 2022. These reports pose significant challenges due to their diverse structures and extensive length. To address these challenges, we propose a new framework for Toc extraction, consisting of three steps: (1) Constructing an initial tree of text blocks based on reading order and font sizes; (2) Modelling each tree node (or text block) independently by considering its contextual information captured in node-centric subtree; (3) Modifying the original tree by taking appropriate action on each tree node (Keep, Delete, or Move). This construction-modelling-modification (CMM) process offers several benefits. It eliminates the need for pairwise modelling of section headings as in previous approaches, making document segmentation practically feasible. By incorporating structured information, each section heading can leverage both local and long-distance context relevant to itself. Experimental results show that our approach outperforms the previous state-of-the-art baseline with a fraction of running time. Our framework proves its scalability by effectively handling documents of any length.


title: On kernel-based statistical learning in the mean field limit

abstract: In many applications of machine learning, a large number of variables are considered. Motivated by machine learning of interacting particle systems, we consider the situation when the number of input variables goes to infinity. First, we continue the recent investigation of the mean field limit of kernels and their reproducing kernel Hilbert spaces, completing the existing theory. Next, we provide results relevant for approximation with such kernels in the mean field limit, including a representer theorem. Finally, we use these kernels in the context of statistical learning in the mean field limit, focusing on Support Vector Machines. In particular, we show mean field convergence of empirical and infinite-sample solutions as well as the convergence of the corresponding risks. On the one hand, our results establish rigorous mean field limits in the context of kernel methods, providing new theoretical tools and insights for large-scale problems. On the other hand, our setting corresponds to a new form of limit of learning problems, which seems to have not been investigated yet in the statistical learning theory literature.


title: DUMA: a Dual-Mind Conversational Agent with Fast and Slow Thinking

abstract: Inspired by the dual-process theory of human cognition, we introduce DUMA, a novel conversational agent framework that embodies a dual-mind mechanism through the utilization of two generative Large Language Models (LLMs) dedicated to fast and slow thinking respectively. The fast thinking model serves as the primary interface for external interactions and initial response generation, evaluating the necessity for engaging the slow thinking model based on the complexity of the complete response. When invoked, the slow thinking model takes over the conversation, engaging in meticulous planning, reasoning, and tool utilization to provide a well-analyzed response. This dual-mind configuration allows for a seamless transition between intuitive responses and deliberate problem-solving processes based on the situation. We have constructed a conversational agent to handle online inquiries in the real estate industry. The experiment proves that our method balances effectiveness and efficiency, and has a significant improvement compared to the baseline.


title: Knowledge Corpus Error in Question Answering

abstract: Recent works in open-domain question answering (QA) have explored generating context passages from large language models (LLMs), replacing the traditional retrieval step in the QA pipeline. However, it is not well understood why generated passages can be more effective than retrieved ones. This study revisits the conventional formulation of QA and introduces the concept of knowledge corpus error. This error arises when the knowledge corpus used for retrieval is only a subset of the entire string space, potentially excluding more helpful passages that exist outside the corpus. LLMs may mitigate this shortcoming by generating passages in a larger space. We come up with an experiment of paraphrasing human-annotated gold context using LLMs to observe knowledge corpus error empirically. Our results across three QA benchmarks reveal an increased performance (10% - 13%) when using paraphrased passage, indicating a signal for the existence of knowledge corpus error. Our code is available at https://github.com/xfactlab/emnlp2023-knowledge-corpus-error


title: Detrimental Contexts in Open-Domain Question Answering

abstract: For knowledge intensive NLP tasks, it has been widely accepted that accessing more information is a contributing factor to improvements in the model's end-to-end performance. However, counter-intuitively, too much context can have a negative impact on the model when evaluated on common question answering (QA) datasets. In this paper, we analyze how passages can have a detrimental effect on retrieve-then-read architectures used in question answering. Our empirical evidence indicates that the current read architecture does not fully leverage the retrieved passages and significantly degrades its performance when using the whole passages compared to utilizing subsets of them. Our findings demonstrate that model accuracy can be improved by 10% on two popular QA datasets by filtering out detrimental passages. Additionally, these outcomes are attained by utilizing existing retrieval methods without further training or data. We further highlight the challenges associated with identifying the detrimental passages. First, even with the correct context, the model can make an incorrect prediction, posing a challenge in determining which passages are most influential. Second, evaluation typically considers lexical matching, which is not robust to variations of correct answers. Despite these limitations, our experimental results underscore the pivotal role of identifying and removing these detrimental passages for the context-efficient retrieve-then-read pipeline. Code and data are available at https://github.com/xfactlab/emnlp2023-damaging-retrieval


title: Lipschitz and H\"older Continuity in Reproducing Kernel Hilbert Spaces

abstract: Reproducing kernel Hilbert spaces (RKHSs) are very important function spaces, playing an important role in machine learning, statistics, numerical analysis and pure mathematics. Since Lipschitz and H\"older continuity are important regularity properties, with many applications in interpolation, approximation and optimization problems, in this work we investigate these continuity notion in RKHSs. We provide several sufficient conditions as well as an in depth investigation of reproducing kernels inducing prescribed Lipschitz or H\"older continuity. Apart from new results, we also collect related known results from the literature, making the present work also a convenient reference on this topic.


title: Supporting Better Insights of Data Science Pipelines with Fine-grained Provenance

abstract: Successful data-driven science requires complex data engineering pipelines to clean, transform, and alter data in preparation for machine learning, and robust results can only be achieved when each step in the pipeline can be justified, and its effect on the data explained. In this framework, our aim is to provide data scientists with facilities to gain an in-depth understanding of how each step in the pipeline affects the data, from the raw input to training sets ready to be used for learning. Starting from an extensible set of data preparation operators commonly used within a data science setting, in this work we present a provenance management infrastructure for generating, storing, and querying very granular accounts of data transformations, at the level of individual elements within datasets whenever possible. Then, from the formal definition of a core set of data science preprocessing operators, we derive a provenance semantics embodied by a collection of templates expressed in PROV, a standard model for data provenance. Using those templates as a reference, our provenance generation algorithm generalises to any operator with observable input/output pairs. We provide a prototype implementation of an application-level provenance capture library to produce, in a semi-automatic way, complete provenance documents that account for the entire pipeline. We report on the ability of our implementations to capture provenance in real ML benchmark pipelines and over TCP-DI synthetic data. We finally show how the collected provenance can be used to answer a suite of provenance benchmark queries that underpin some common pipeline inspection questions, as expressed on the Data Science Stack Exchange.


title: Unveiling the Potential of Probabilistic Embeddings in Self-Supervised Learning

abstract: In recent years, self-supervised learning has played a pivotal role in advancing machine learning by allowing models to acquire meaningful representations from unlabeled data. An intriguing research avenue involves developing self-supervised models within an information-theoretic framework, but many studies often deviate from the stochasticity assumptions made when deriving their objectives. To gain deeper insights into this issue, we propose to explicitly model the representation with stochastic embeddings and assess their effects on performance, information compression and potential for out-of-distribution detection. From an information-theoretic perspective, we seek to investigate the impact of probabilistic modeling on the information bottleneck, shedding light on a trade-off between compression and preservation of information in both representation and loss space. Emphasizing the importance of distinguishing between these two spaces, we demonstrate how constraining one can affect the other, potentially leading to performance degradation. Moreover, our findings suggest that introducing an additional bottleneck in the loss space can significantly enhance the ability to detect out-of-distribution examples, only leveraging either representation features or the variance of their underlying distribution.


title: A near-UV reconnaissance of metal-poor massive stars

abstract: We use synthetic model spectra to investigate the potential of near-ultraviolet (3000-4050 \r{A}) observations of massive O-type stars. We highlight the He I $\lambda$3188 and He II $\lambda$3203 pair as a potential temperature diagnostic in this range, supported by estimates of gravity using the high Balmer series lines. The near-ultraviolet also contains important metallic lines for determinations of chemical abundances (oxygen in particular) and estimates of projected rotational velocities for O-type spectra. Using the model spectra we present performance estimates for observations of extragalactic massive stars with the Cassegrain U-Band Efficient Spectrograph (CUBES) now in construction for the Very Large Telescope. The high efficiency of CUBES will open-up exciting new possibilities in the study of massive stars in external galaxies. For instance, CUBES will provide new insights into the physical properties of O-type stars, including oxygen abundances, in metal-poor irregular galaxies at ~1 Mpc from integrations of just 2-3 hrs. Moreover, CUBES will bring quantitative spectroscopy of more distant targets within reach for the first time, such as the O-type star (V~21.5 mag) in Leo P (at 1.6 Mpc) in only half a night of observations.


title: Towards precision SZ cluster cosmology: from Planck to the Simons Observatory

abstract: As demonstrated by Planck, SPT, and ACT, the abundance of Sunyaev-Zeldovich-detected galaxy clusters across mass and redshift is a powerful cosmological probe. Upcoming experiments such as the Simons Observatory (SO) will detect over an order of magnitude more objects than what previous experiments have found, thereby providing an unprecedented constraining potential. However, in order for this potential to be realised, the cluster detection and analysis pipelines will have to be built and understood to a much higher level of accuracy than has been demonstrated to date. Here we discuss ongoing efforts towards the accurate modelling of tSZ cluster counts, focusing on several improvements regarding optimisation bias, covariance estimation, and foreground deprojection, which are implemented in the publicly-available SZiFi package. Next, we briefly discuss the application of these improved cluster detection methods to Planck data. Finally, we introduce cosmocnc, a new cluster number count likelihood code that will be publicly available soon.


title: Robustness of Majorana edge states of short-length Kitaev chains coupled with environment

abstract: Recently, the two-site Kitaev model hosting Majorana edge states was experimentally realized based on double quantum dots. In this context, we construct two-band effective models describing Majorana edge states of a finite-length Kitaev chain by using the isospectral matrix reduction method. We analytically estimate the robustness of Majorana edge states as a function of model parameters. We also study effects of coupling to an environment based on non-Hermitian Hamiltonians derived from the Lindblad equation. We study three types of dissipation, a local one, an adjacent one and a global one. It is found that the Majorana zero-energy edge states acquire nonzero energy such as $E\propto \pm \left( i\gamma \right) ^{L}$ for the local dissipation, where $\gamma $ is the magnitude of the dissipation and $L$ is the length of the chain. On the other hand, the Majorana zero-energy edge states acquire nonzero energy such as $E\propto \pm i\gamma $ irrespective of the length $L$ for the global dissipation. Hence, the Majorana edge states are robust against the local dissipation but not against the global one. Our results will be useful for future studies on Majorana edge states based on quantum dots.


title: Physical properties of Centaur (60558) 174P/Echeclus from stellar occultations

abstract: The Centaur (60558) Echeclus was discovered on March 03, 2000, orbiting between the orbits of Jupiter and Uranus. After exhibiting frequent outbursts, it also received a comet designation, 174P. If the ejected material can be a source of debris to form additional structures, studying the surroundings of an active body like Echeclus can provide clues about the formation scenarios of rings, jets, or dusty shells around small bodies. Stellar occultation is a handy technique for this kind of investigation, as it can, from Earth-based observations, detect small structures with low opacity around these objects. Stellar occultation by Echeclus was predicted and observed in 2019, 2020, and 2021. We obtain upper detection limits of rings with widths larger than 0.5 km and optical depth of $\tau$ = 0.02. These values are smaller than those of Chariklo's main ring; in other words, a Chariklo-like ring would have been detected. The occultation observed in 2020 provided two positive chords used to derive the triaxial dimensions of Echeclus based on a 3D model and pole orientation available in the literature. We obtained $a = 37.0\pm0.6$ km, $b = 28.4 \pm 0.5$ km, and $c= 24.9 \pm 0.4$ km, resulting in an area-equivalent radius of $30.0 \pm 0.5$ km. Using the projected limb at the occultation epoch and the available absolute magnitude ($\rm{H}_{\rm{v}} = 9.971 \pm 0.031$), we calculate an albedo of $p_{\rm{v}} = 0.050 \pm 0.003$. Constraints on the object's density and internal friction are also proposed.


title: FPGA-Based Implicit-Explicit Real-time Simulation Solver for Railway Wireless Power Transfer with Nonlinear Magnetic Coupling Components

abstract: Railway Wireless Power Transfer (WPT) is a promising non-contact power supply solution, but constructing prototypes for controller testing can be both costly and unsafe. Real-time hardware-in-the-loop simulation is an effective and secure testing tool, but simulating the dynamic charging process of railway WPT systems is challenging due to the continuous changes in the nonlinear magnetic coupling components. To address this challenge, we propose an FPGA-based half-step implicit-explicit (IMEX) simulation solver. The proposed solver adopts an IMEX algorithm to solve the piecewise linear and nonlinear parts of the system separately, which enables FPGAs to solve nonlinear components while achieving high numerical stability. Additionally, we divide a complete integration step into two half-steps to reduce computational time delays. Our proposed method offers a promising solution for the real-time simulation of railway WPT systems. The novelty of our approach lies in the use of the IMEX algorithm and the half-step integration method, which significantly improves the accuracy and efficiency of the simulation. Our simulations and experiments demonstrate the effectiveness and accuracy of the proposed solver, which provides a new approach for simulating and optimizing railway WPT systems with nonlinear magnetic coupling components.


title: Four families of maximal real algebraic hypersurfaces in $\mathbb{RP}^4$

abstract: In this paper, we present four families of maximal real algebraic hypersurfaces of even degree in $\mathbb{RP}^4$ constructed using O. Viro's combinatorial patchworking method. We compare the Euler characteristic of the real part and the signature of the complex part of double coverings of $\mathbb{CP}^4$ ramified over the complex part of the constructed real algebraic hypersurfaces. We prove that these invariants are not necessarily equal and can even be asymptotically different.


title: A Chebyshev Confidence Guided Source-Free Domain Adaptation Framework for Medical Image Segmentation

abstract: Source-free domain adaptation (SFDA) aims to adapt models trained on a labeled source domain to an unlabeled target domain without the access to source data. In medical imaging scenarios, the practical significance of SFDA methods has been emphasized due to privacy concerns. Recent State-of-the-art SFDA methods primarily rely on self-training based on pseudo-labels (PLs). Unfortunately, PLs suffer from accuracy deterioration caused by domain shift, and thus limit the effectiveness of the adaptation process. To address this issue, we propose a Chebyshev confidence guided SFDA framework to accurately assess the reliability of PLs and generate self-improving PLs for self-training. The Chebyshev confidence is estimated by calculating probability lower bound of the PL confidence, given the prediction and the corresponding uncertainty. Leveraging the Chebyshev confidence, we introduce two confidence-guided denoising methods: direct denoising and prototypical denoising. Additionally, we propose a novel teacher-student joint training scheme (TJTS) that incorporates a confidence weighting module to improve PLs iteratively. The TJTS, in collaboration with the denoising methods, effectively prevents the propagation of noise and enhances the accuracy of PLs. Extensive experiments in diverse domain scenarios validate the effectiveness of our proposed framework and establish its superiority over state-of-the-art SFDA methods. Our paper contributes to the field of SFDA by providing a novel approach for precisely estimating the reliability of pseudo-labels and a framework for obtaining high-quality PLs, resulting in improved adaptation performance.


title: iRED: A disaggregated P4-AQM fully implemented in programmable data plane hardware

abstract: Routers employ queues to temporarily hold packets when the scheduler cannot immediately process them. Congestion occurs when the arrival rate of packets exceeds the processing capacity, leading to increased queueing delay. Over time, Active Queue Management (AQM) strategies have focused on directly draining packets from queues to alleviate congestion and reduce queuing delay. On Programmable Data Plane (PDP) hardware, AQMs traditionally reside in the Egress pipeline due to the availability of queue delay information there. We argue that this approach wastes the router's resources because the dropped packet has already consumed the entire pipeline of the device. In this work, we propose ingress Random Early Detection (iRED), a more efficient approach that addresses the Egress drop problem. iRED is a disaggregated P4-AQM fully implemented in programmable data plane hardware and also supports Low Latency, Low Loss, and Scalable Throughput (L4S) framework, saving device pipeline resources by dropping packets in the Ingress block. To evaluate iRED, we conducted three experiments using a Tofino2 programmable switch: i) An in-depth analysis of state-of-the-art AQMs on PDP hardware, using 12 different network configurations varying in bandwidth, Round-Trip Time (RTT), and Maximum Transmission Unit (MTU). The results demonstrate that iRED can significantly reduce router resource consumption, with up to a 10x reduction in memory usage, 12x fewer processing cycles, and 8x less power consumption for the same traffic load; ii) A performance evaluation regarding the L4S framework. The results prove that iRED achieves fairness in bandwidth usage for different types of traffic (classic and scalable); iii) A comprehensive analysis of the QoS in a real setup of a DASH) technology. iRED demonstrated up to a 2.34x improvement in FPS and a 4.77x increase in the video player buffer fill.


title: Lost in Translation -- Multilingual Misinformation and its Evolution

abstract: Misinformation and disinformation are growing threats in the digital age, spreading rapidly across languages and borders. This paper investigates the prevalence and dynamics of multilingual misinformation through an analysis of over 250,000 unique fact-checks spanning 95 languages. First, we find that while the majority of misinformation claims are only fact-checked once, 11.7%, corresponding to more than 21,000 claims, are checked multiple times. Using fact-checks as a proxy for the spread of misinformation, we find 33% of repeated claims cross linguistic boundaries, suggesting that some misinformation permeates language barriers. However, spreading patterns exhibit strong homophily, with misinformation more likely to spread within the same language. To study the evolution of claims over time and mutations across languages, we represent fact-checks with multilingual sentence embeddings and cluster semantically similar claims. We analyze the connected components and shortest paths connecting different versions of a claim finding that claims gradually drift over time and undergo greater alteration when traversing languages. Overall, this novel investigation of multilingual misinformation provides key insights. It quantifies redundant fact-checking efforts, establishes that some claims diffuse across languages, measures linguistic homophily, and models the temporal and cross-lingual evolution of claims. The findings advocate for expanded information sharing between fact-checkers globally while underscoring the importance of localized verification.


title: Probabilistic Constellation Shaping for OFDM-Based ISAC Signaling

abstract: Integrated Sensing and Communications (ISAC) has garnered significant attention as a promising technology for the upcoming sixth-generation wireless communication systems (6G). In pursuit of this goal, a common strategy is that a unified waveform, such as Orthogonal Frequency Division Multiplexing (OFDM), should serve dual-functional roles by enabling simultaneous sensing and communications (S&C) operations. However, the sensing performance of an OFDM communication signal is substantially affected by the randomness of the data symbols mapped from bit streams. Therefore, achieving a balance between preserving communication capability (i.e., the randomness) while improving sensing performance remains a challenging task. To cope with this issue, in this paper we analyze the ambiguity function of the OFDM communication signal modulated by random data. Subsequently, a probabilistic constellation shaping (PCS) method is proposed to devise the probability distributions of constellation points, which is able to strike a scalable S&C tradeoff of the random transmitted signal. Finally, the superiority of the proposed PCS method over conventional uniformly distributed constellations is validated through numerical simulations.


title: Adversarial Anomaly Detection using Gaussian Priors and Nonlinear Anomaly Scores

abstract: Anomaly detection in imbalanced datasets is a frequent and crucial problem, especially in the medical domain where retrieving and labeling irregularities is often expensive. By combining the generative stability of a $\beta$-variational autoencoder (VAE) with the discriminative strengths of generative adversarial networks (GANs), we propose a novel model, $\beta$-VAEGAN. We investigate methods for composing anomaly scores based on the discriminative and reconstructive capabilities of our model. Existing work focuses on linear combinations of these components to determine if data is anomalous. We advance existing work by training a kernelized support vector machine (SVM) on the respective error components to also consider nonlinear relationships. This improves anomaly detection performance, while allowing faster optimization. Lastly, we use the deviations from the Gaussian prior of $\beta$-VAEGAN to form a novel anomaly score component. In comparison to state-of-the-art work, we improve the $F_1$ score during anomaly detection from 0.85 to 0.92 on the widely used MITBIH Arrhythmia Database.


title: Casimir effect in axion electrodynamics with lattice regularizations

abstract: The Casimir effect is induced by the interplay between photon fields and boundary conditions, and in particular, photon fields modified in axion electrodynamics may lead to the sign-flipping of the Casimir energy. We propose a theoretical approach to derive the Casimir effect in axion electrodynamics. This approach is based on a lattice regularization and enables us to discuss the dependence on the lattice spacing for the Casimir energy. With this approach, the sign-flipping behavior of the Casimir energy is correctly reproduced. By taking the continuum limit of physical quantity calculated on the lattice, we can obtain the results consistent with the continuum theory. This approach can also be applied to the Casimir effect at nonzero temperature.

categories: hep-th cond-mat.mes-hall hep-lat hep-ph quant-ph


title: Thurston norms, $L^2$-norms, geodesic laminations, and Lipschitz maps

abstract: For closed hyperbolic $3$-manifolds $M$ with volume less than a constant $V$, we prove an inequality regarding the geometric $L^2$-norm and the topological Thurston norm, which is qualitatively sharp and verifies a conjecture of Brock and Dunfield in this case. Generically, we show that the $L^2$-norm is less than a constant $c(V)$ times the Thurston norm by showing that any least area closed surface is disjoint from the thin part. We then study the connection between the Thurston norm, best Lipschitz circle-valued maps, and maximal stretch laminations, building on the recent work of Daskalopoulos and Uhlenbeck, and Farre, Landesberg and Minsky. We show that the distance between a level set and its translation is the reciprocal of the Lipschitz constant, bounded by the topological entropy of the pseudo-Anosov monodromy if $M$ fibers. For infinitely many examples constructed by Rudd, we show the entropy is bounded from below by one-third the length of the circumference.