title: The METRIC-framework for assessing data quality for trustworthy AI in medicine: a systematic review

abstract: The adoption of machine learning (ML) and, more specifically, deep learning (DL) applications into all major areas of our lives is underway. The development of trustworthy AI is especially important in medicine due to the large implications for patients' lives. While trustworthiness concerns various aspects including ethical, technical and privacy requirements, we focus on the importance of data quality (training/test) in DL. Since data quality dictates the behaviour of ML products, evaluating data quality will play a key part in the regulatory approval of medical AI products. We perform a systematic review following PRISMA guidelines using the databases PubMed and ACM Digital Library. We identify 2362 studies, out of which 62 records fulfil our eligibility criteria. From this literature, we synthesise the existing knowledge on data quality frameworks and combine it with the perspective of ML applications in medicine. As a result, we propose the METRIC-framework, a specialised data quality framework for medical training data comprising 15 awareness dimensions, along which developers of medical ML applications should investigate a dataset. This knowledge helps to reduce biases as a major source of unfairness, increase robustness, facilitate interpretability and thus lays the foundation for trustworthy AI in medicine. Incorporating such systematic assessment of medical datasets into regulatory approval processes has the potential to accelerate the approval of ML products and builds the basis for new standards.


title: A Unified Framework and Dataset for Assessing Societal Bias in Vision-Language Models

abstract: Vision-language models (VLMs) have gained widespread adoption in both industry and academia. In this study, we propose a unified framework for systematically evaluating gender, race, and age biases in VLMs with respect to professions. Our evaluation encompasses all supported inference modes of the recent VLMs, including image-to-text, text-to-text, text-to-image, and image-to-image. Additionally, we propose an automated pipeline to generate high-quality synthetic datasets that intentionally conceal gender, race, and age information across different professional domains, both in generated text and images. The dataset includes action-based descriptions of each profession and serves as a benchmark for evaluating societal biases in vision-language models (VLMs). In our comparative analysis of widely used VLMs, we have identified that varying input-output modalities lead to discernible differences in bias magnitudes and directions. Additionally, we find that VLM models exhibit distinct biases across different bias attributes we investigated. We hope our work will help guide future progress in improving VLMs to learn socially unbiased representations. We will release our data and code.


title: Unravelling Organisational Rule Systems in Requirements Engineering

abstract: Context and motivation: Requirements engineering of complex IT systems needs to manage the many, and often vague and conflicting, organisational rules that exist in the context of a modern enterprise. At the same time, IT systems affect the organisation, essentially setting new rules on how the organisation should work. Question/problem: Gathering requirements for an IT system involves understanding the complex rules that govern an organisation. The research question is: How can the holistic properties of organisational rules be conceptualised? Principal ideas/results: This paper introduces the concept of organisational rule systems that may be used to describe complex organisational rules. The concept and its components are presented as a conceptual framework, which in turn is condensed into a conceptual framework diagram. The framework is grounded in a critical literature review. Contribution: The conceptual framework will, as a first step of a wider research agenda, help requirements engineers understand the influence of organisational rules.


title: Effective four-dimensional loop quantum black hole with a cosmological constant

abstract: In this paper, we utilize the effective corrections of the $\bar{\mu}$-scheme in loop quantum black holes to obtain a 4-dimensional spherically symmetric metric with a cosmological constant. By imposing the areal gauge on the components of Ashtekar variables in the classical theory and applying the holonomy corrections, we derive the equations of motion, which can be solved to obtain the expression for the effective metric in the Painlev\'{e}-Gullstrand coordinates. Compared to the classical dS (AdS) spacetime, the LQG correction sets an upper bound on the cosmological constant as $\Lambda<\frac{3}{\gamma^2\Delta}$. The thermodynamic properties of black holes have also been calculated. We interestingly found that for a small black hole, the temperature of the LQG black hole decreases as the mass decreases, which is quite different with the classical scenario. Moreover, our result shows that a logarithmic term appeared as the leading order correction to the Beikenstein-Hawking entropy. Furthermore, the LQG corrections also introduce an extra phase transition in the black hole's heat capacity at smaller radius.


title: Sliding-mediated ferroelectric phase transition in CuInP2S6 under pressure

abstract: Interlayer stacking order has recently emerged as a unique degree of freedom to control crystal symmetry and physical properties in two-dimensional van der Waals (vdW) materials and heterostructures. By tuning the layer stacking pattern, symmetry-breaking and electric polarization can be created in otherwise non-polar crystals, whose polarization reversal depends on the interlayer sliding motion. Herein, we demonstrate that in a vdW layered ferroelectric, its existing polarization is closely coupled to the interlayer sliding driven by hydrostatic pressure. Through combined structural, electrical, vibrational characterizations, and theoretical calculations, we clearly map out the structural evolution of CuInP2S6 under pressure. A tendency towards a high polarization state is observed in the low-pressure region, followed by an interlayer-sliding-mediated phase transition from a monoclinic to a trigonal phase. Along the transformation pathway, the displacive-instable Cu ion serves as a pivot point that regulates the interlayer interaction in response to external pressure. The rich phase diagram of CuInP2S6, which is enabled by stacking orders, sheds light on the physics of vdW ferroelectricity and opens an alternative route to tailoring long-range order in vdW layered crystals.


title: Green AI: A Preliminary Empirical Study on Energy Consumption in DL Models Across Different Runtime Infrastructures

abstract: Deep Learning (DL) frameworks such as PyTorch and TensorFlow include runtime infrastructures responsible for executing trained models on target hardware, managing memory, data transfers, and multi-accelerator execution, if applicable. Additionally, it is a common practice to deploy pre-trained models on environments distinct from their native development settings. This led to the introduction of interchange formats such as ONNX, which includes its runtime infrastructure, and ONNX Runtime, which work as standard formats that can be used across diverse DL frameworks and languages. Even though these runtime infrastructures have a great impact on inference performance, no previous paper has investigated their energy efficiency. In this study, we monitor the energy consumption and inference time in the runtime infrastructures of three well-known DL frameworks as well as ONNX, using three various DL models. To have nuance in our investigation, we also examine the impact of using different execution providers. We find out that the performance and energy efficiency of DL are difficult to predict. One framework, MXNet, outperforms both PyTorch and TensorFlow for the computer vision models using batch size 1, due to efficient GPU usage and thus low CPU usage. However, batch size 64 makes PyTorch and MXNet practically indistinguishable, while TensorFlow is outperformed consistently. For BERT, PyTorch exhibits the best performance. Converting the models to ONNX yields significant performance improvements in the majority of cases. Finally, in our preliminary investigation of execution providers, we observe that TensorRT always outperforms CUDA.


title: FlexHB: a More Efficient and Flexible Framework for Hyperparameter Optimization

abstract: Given a Hyperparameter Optimization(HPO) problem, how to design an algorithm to find optimal configurations efficiently? Bayesian Optimization(BO) and the multi-fidelity BO methods employ surrogate models to sample configurations based on history evaluations. More recent studies obtain better performance by integrating BO with HyperBand(HB), which accelerates evaluation by early stopping mechanism. However, these methods ignore the advantage of a suitable evaluation scheme over the default HyperBand, and the capability of BO is still constrained by skewed evaluation results. In this paper, we propose FlexHB, a new method pushing multi-fidelity BO to the limit as well as re-designing a framework for early stopping with Successive Halving(SH). Comprehensive study on FlexHB shows that (1) our fine-grained fidelity method considerably enhances the efficiency of searching optimal configurations, (2) our FlexBand framework (self-adaptive allocation of SH brackets, and global ranking of configurations in both current and past SH procedures) grants the algorithm with more flexibility and improves the anytime performance. Our method achieves superior efficiency and outperforms other methods on various HPO tasks. Empirical results demonstrate that FlexHB can achieve up to 6.9X and 11.1X speedups over the state-of-the-art MFES-HB and BOHB respectively.


title: Adaptive Ridge Approach to Heteroscedastic Regression

abstract: We propose an adaptive ridge (AR) based estimation scheme for a heteroscedastic linear model equipped with log-linear errors. We simultaneously estimate the mean and variance parameters and show new asymptotic distributional and tightness properties in a sparse setting. We also show that estimates for zero parameters shrink with more iterations under suitable assumptions for tuning parameters. We observe possible generalizations of this paper's results through simulations and will apply the estimation method in forecasting electricity consumption.


title: Class-Aware Mask-Guided Feature Refinement for Scene Text Recognition

abstract: Scene text recognition is a rapidly developing field that faces numerous challenges due to the complexity and diversity of scene text, including complex backgrounds, diverse fonts, flexible arrangements, and accidental occlusions. In this paper, we propose a novel approach called Class-Aware Mask-guided feature refinement (CAM) to address these challenges. Our approach introduces canonical class-aware glyph masks generated from a standard font to effectively suppress background and text style noise, thereby enhancing feature discrimination. Additionally, we design a feature alignment and fusion module to incorporate the canonical mask guidance for further feature refinement for text recognition. By enhancing the alignment between the canonical mask feature and the text feature, the module ensures more effective fusion, ultimately leading to improved recognition performance. We first evaluate CAM on six standard text recognition benchmarks to demonstrate its effectiveness. Furthermore, CAM exhibits superiority over the state-of-the-art method by an average performance gain of 4.1% across six more challenging datasets, despite utilizing a smaller model size. Our study highlights the importance of incorporating canonical mask guidance and aligned feature refinement techniques for robust scene text recognition. The code is available at https://github.com/MelosY/CAM.


title: Bifurcation of time crystals in driven and dissipative Rydberg atomic gas

abstract: A time crystal is an exotic phase of matter where time-translational symmetry is broken; this phase differs from the spatial symmetry breaking induced in crystals in space. Lots of experiments report the transition from a thermal equilibrium phase to time crystal phase. However, there is no experimental method to probe the bifurcation effect of distinct time crystals in quantum many-body systems. Here, in a driven and dissipative many-body Rydberg atom system, we observe multiple continuous dissipative time crystals and emergence of more complex temporal symmetries beyond the single time crystal phase. Bifurcation of time crystals in strongly interacting Rydberg atoms is observed; the process manifests as a transition from a time crystal state of long temporal order to one of short temporal order, or vice versa. By manipulating the driving field parameters, we observe the time crystal's bistability and a hysteresis loop. These investigations indicate new possibilities for control and manipulation of the temporal symmetries of non-equilibrium systems.


title: Random Carleson Sequences for the Hardy space on the Polydisc and the Unit Ball

abstract: We study the Kolmogorov 0-1 law for a random sequence with prescribed radii so that it generates a Carleson measure almost surely, both for the Hardy space on the polydisc and the Hardy space on the unit ball, thus providing improved versions of previous results of the first two authors and of a separate result of Massaneda. In the polydisc, the geometry of such sequences is not well understood, so we proceed by studying the random Gramians generated by random sequences, using tools from the theory of random matrices. Another result we prove, and that is of its own relevance, is the 0-1 law for a random sequence to be partitioned into M separated sequences with respect to the pseudo-hyperbolic distance, which is used also to describe the random sequences that are interpolating for the Bloch space on the unit disc almost surely.


title: A Large Dimensional Analysis of Multi-task Semi-Supervised Learning

abstract: This article conducts a large dimensional study of a simple yet quite versatile classification model, encompassing at once multi-task and semi-supervised learning, and taking into account uncertain labeling. Using tools from random matrix theory, we characterize the asymptotics of some key functionals, which allows us on the one hand to predict the performances of the algorithm, and on the other hand to reveal some counter-intuitive guidance on how to use it efficiently. The model, powerful enough to provide good performance guarantees, is also straightforward enough to provide strong insights into its behavior.


title: Unsupervised Text Style Transfer via LLMs and Attention Masking with Multi-way Interactions

abstract: Unsupervised Text Style Transfer (UTST) has emerged as a critical task within the domain of Natural Language Processing (NLP), aiming to transfer one stylistic aspect of a sentence into another style without changing its semantics, syntax, or other attributes. This task is especially challenging given the intrinsic lack of parallel text pairings. Among existing methods for UTST tasks, attention masking approach and Large Language Models (LLMs) are deemed as two pioneering methods. However, they have shortcomings in generating unsmooth sentences and changing the original contents, respectively. In this paper, we investigate if we can combine these two methods effectively. We propose four ways of interactions, that are pipeline framework with tuned orders; knowledge distillation from LLMs to attention masking model; in-context learning with constructed parallel examples. We empirically show these multi-way interactions can improve the baselines in certain perspective of style strength, content preservation and text fluency. Experiments also demonstrate that simply conducting prompting followed by attention masking-based revision can consistently surpass the other systems, including supervised text style transfer systems. On Yelp-clean and Amazon-clean datasets, it improves the previously best mean metric by 0.5 and 3.0 absolute percentages respectively, and achieves new SOTA results.


title: Explicit reciprocity laws for diagonal classes: higher level cases

abstract: We generalize the $p$-adic explicit reciprocity laws for balanced diagonal classes by Darmon-Rotger and Bertolini-Seveso-Venerucci to the case of geometric balanced triples $(f,g,h)$ of modular eigenforms where $f$ is a $p$-ordinary newform, while $g$ and $h$ are allowed to be (both) supercuspidal at $p$ or (both) ramified principal series at $p$.


title: Learning control strategy in soft robotics through a set of configuration spaces

abstract: The ability of a soft robot to perform specific tasks is determined by its contact configuration, and transitioning between configurations is often necessary to reach a desired position or manipulate an object. Based on this observation, we propose a method for controlling soft robots that involves defining a graph of configuration spaces. Different agents, whether learned or not (convex optimization, expert trajectory, and collision detection), use the structure of the graph to solve the desired task. The graph and the agents are part of the prior knowledge that is intuitively integrated into the learning process. They are used to combine different optimization methods, improve sample efficiency, and provide interpretability. We construct the graph based on the contact configurations and demonstrate its effectiveness through two scenarios, a deformable beam in contact with its environment and a soft manipulator, where it outperforms the baseline in terms of stability, learning speed, and interpretability.


title: Obstacle crossing strategies for high-speed 4WD small-scale vehicle

abstract: Unmanned ground vehicle obstacle crossing generally relies on two strategies: (i) applying a wheel torque for climbing and (ii) modifying the vehicle shape by using a wheel-leg or wheel-paddle to lift the wheel on top of the obstacle. However, most of those strategies sacrifice speed in order to have a longer contact duration between the wheels and the obstacle. This paper investigates the behaviour of a 4WD high-speed vehicle while crossing a step obstacle using a design of experiment (DoE). A 3D multibody vehicle model is equipped with a novel 2-DoF suspension system, which horizontal damping coefficient is modify to dampen wheel motion in longitudinal and vertical directions in relation to the chassis, for a given speed and obstacle height. The DoE results allow to propose a novel high-speed obstacle crossing strategy based on three metrics: (i) the kinetic energy variation of the vehicle, (ii) the contact duration between the wheel and the obstacle, and (iii) the pitch rate at the start of the ballistic phase. Experimental function are proposed to be able modify these metric in real time.


title: Robustness of Deep Neural Networks for Micro-Doppler Radar Classification

abstract: With the great capabilities of deep classifiers for radar data processing come the risks of learning dataset-specific features that do not generalize well. In this work, the robustness of two deep convolutional architectures, trained and tested on the same data, is evaluated. When standard training practice is followed, both classifiers exhibit sensitivity to subtle temporal shifts of the input representation, an augmentation that carries minimal semantic content. Furthermore, the models are extremely susceptible to adversarial examples. Both small temporal shifts and adversarial examples are a result of a model overfitting on features that do not generalize well. As a remedy, it is shown that training on adversarial examples and temporally augmented samples can reduce this effect and lead to models that generalise better. Finally, models operating on cadence-velocity diagram representation rather than Doppler-time are demonstrated to be naturally more immune to adversarial examples.


title: Point spread function engineering for spiral phase interferometric scattering microscopy enables robust 3D single-particle tracking

abstract: Interferometric scattering (iSCAT) microscopy is currently among the most powerful techniques available for achieving high-sensitivity single-particle localization. This capability is realized through homodyne detection, where interference with a reference wave offers the promise of exceptionally precise three-dimensional (3D) localization. However, the practical application of iSCAT to 3D tracking has to date been hampered by rapid oscillations in the signal-to-noise ratio (SNR) as particles move along the axial direction. In this study, we introduce a novel strategy based on back pupil plane engineering, wherein we use a spiral phase mask to re-distribute the phase of the scattered field of the particle uniformly across phase space, thus ensuring consistent SNR as the particle moves throughout the focal volume. Our findings demonstrate that this modified spiral phase iSCAT exhibits greatly enhanced localizability characteristics. We substantiate our theoretical results with numerical and experimental demonstrations, showcasing the practical application of this approach for high-precision, ultrahigh-speed (20,000 frames per second) 3D tracking, and characterization of freely diffusing nanoparticles.


title: PQA: Zero-shot Protein Question Answering for Free-form Scientific Enquiry with Large Language Models

abstract: We introduce the novel task of zero-shot Protein Question Answering (PQA) for free-form scientific enquiry. Given a previously unseen protein sequence and a natural language question, the task is to deliver a scientifically accurate answer. This task not only supports future biological research, but could also provide a test bed for assessing the scientific precision of large language models (LLMs). We contribute the first specialized dataset for PQA model training, containing 257K protein sequences annotated with 1.97M scientific question-answer pairs. Additionally, we propose and study several novel biologically relevant benchmarks for scientific PQA. Employing two robust multi-modal architectures, we establish an initial state-of-the-art performance for PQA and reveal key performance factors through ablation studies. Our comprehensive PQA framework, named Pika, including dataset, code, model checkpoints, and a user-friendly demo, is openly accessible on github.com/EMCarrami/Pika, promoting wider research and application in the field.


title: Improving a Proportional Integral Controller with Reinforcement Learning on a Throttle Valve Benchmark

abstract: This paper presents a learning-based control strategy for non-linear throttle valves with an asymmetric hysteresis, leading to a near-optimal controller without requiring any prior knowledge about the environment. We start with a carefully tuned Proportional Integrator (PI) controller and exploit the recent advances in Reinforcement Learning (RL) with Guides to improve the closed-loop behavior by learning from the additional interactions with the valve. We test the proposed control method in various scenarios on three different valves, all highlighting the benefits of combining both PI and RL frameworks to improve control performance in non-linear stochastic systems. In all the experimental test cases, the resulting agent has a better sample efficiency than traditional RL agents and outperforms the PI controller.


title: Stable Update of Regression Trees

abstract: Updating machine learning models with new information usually improves their predictive performance, yet, in many applications, it is also desirable to avoid changing the model predictions too much. This property is called stability. In most cases when stability matters, so does explainability. We therefore focus on the stability of an inherently explainable machine learning method, namely regression trees. We aim to use the notion of empirical stability and design algorithms for updating regression trees that provide a way to balance between predictability and empirical stability. To achieve this, we propose a regularization method, where data points are weighted based on the uncertainty in the initial model. The balance between predictability and empirical stability can be adjusted through hyperparameters. This regularization method is evaluated in terms of loss and stability and assessed on a broad range of data characteristics. The results show that the proposed update method improves stability while achieving similar or better predictive performance. This shows that it is possible to achieve both predictive and stable results when updating regression trees.


title: Numerical methods for closed-loop systems with non-autonomous data

abstract: By computing a feedback control via the linear quadratic regulator (LQR) approach and simulating a non-linear non-autonomous closed-loop system using this feedback, we combine two numerically challenging tasks. For the first task, the computation of the feedback control, we use the non-autonomous generalized differential Riccati equation (DRE), whose solution determines the time-varying feedback gain matrix. Regarding the second task, we want to be able to simulate non-linear closed-loop systems for which it is known that the regulator is only valid for sufficiently small perturbations. Thus, one easily runs into numerical issues in the integrators when the closed-loop control varies greatly. For these systems, e.g., the A-stable implicit Euler methods fails.\newline On the one hand, we implement non-autonomous versions of splitting schemes and BDF methods for the solution of our non-autonomous DREs. These are well-established DRE solvers in the autonomous case. On the other hand, to tackle the numerical issues in the simulation of the non-linear closed-loop system, we apply a fractional-step-theta scheme with time-adaptivity tuned specifically to this kind of challenge. That is, we additionally base the time-adaptivity on the activity of the control. We compare this approach to the more classical error-based time-adaptivity.\newline We describe techniques to make these two tasks computable in a reasonable amount of time and are able to simulate closed-loop systems with strongly varying controls, while avoiding numerical issues. Our time-adaptivity approach requires fewer time steps than the error-based alternative and is more reliable.


title: Higher-order and fractional discrete time crystals in Floquet-driven Rydberg atoms

abstract: Higher-order and fractional discrete time crystals (DTCs) are exotic phases of matter where the discrete time translation symmetry is broken into higher-order and non-integer category. Generation of these unique DTCs has been widely studied theoretically in different systems. However, no current experimental methods can probe these higher-order and fractional DTCs in any quantum many-body systems. We demonstrate an experimental approach to observe higher-order and fractional DTCs in Floquet-driven Rydberg atomic gases. We have discovered multiple $n$-DTCs with integer values of $n$ = 2, 3, and 4, and others ranging up to 14, along with fractional $n$-DTCs with $n$ values beyond the integers. The system response can transition between adjacent integer DTCs, during which the fractional DTCs are investigated. Study of higher-order and fractional DTCs expands fundamental knowledge of non-equilibrium dynamics and is promising for discovery of more complex temporal symmetries beyond the single discrete time translation symmetry.


title: Network nestedness in primates: a structural constraint or a biological advantage of social complexity?

abstract: This study investigates the prevalence and implications of nestedness within primate social networks, examining its relationship with cognitive and structural factors. We analysed data from 51 primate groups across 21 species, employing network analysis to evaluate nestedness and its correlation with modularity, neocortex ratio, and group size. We used Bayesian mixed effects modelling to investigate nestedness in primate social networks, controlling for phylogenetic dependencies and exploring various factors like neocortex ratio and group size. Our findings reveal a significant occurrence of nestedness in 66% of the species studied, exceeding chance expectations. This nestedness was more pronounced in groups with less steep dominance hierarchies, contrary to traditional assumptions linking it to hierarchical social structures. A notable inverse relationship between nestedness and modularity was observed, suggesting a structural trade-off in network formation. This pattern persisted even after controlling for species-specific social behaviours, indicating a general structural feature of primate networks. Surprisingly, our analysis showed no significant correlation between nestedness and neocortex ratio or group size, challenging the social brain hypothesis and suggesting a greater role for ecological factors in cognitive evolution. This study emphasises the importance of weak links in maintaining network resilience. Overall, our research provides new insights into primate social network structures, highlighting complex interplays between network characteristics and challenging existing paradigms in cognitive and evolutionary biology.


title: Privacy-Preserving Instructions for Aligning Large Language Models

abstract: Service providers of large language model (LLM) applications collect user instructions in the wild and use them in further aligning LLMs with users' intentions. These instructions, which potentially contain sensitive information, are annotated by human workers in the process. This poses a new privacy risk not addressed by the typical private optimization. To this end, we propose using synthetic instructions to replace real instructions in data annotation and model fine-tuning. Formal differential privacy is guaranteed by generating those synthetic instructions using privately fine-tuned generators. Crucial in achieving the desired utility is our novel filtering algorithm that matches the distribution of the synthetic instructions to that of the real ones. In both supervised fine-tuning and reinforcement learning from human feedback, our extensive experiments demonstrate the high utility of the final set of synthetic instructions by showing comparable results to real instructions. In supervised fine-tuning, models trained with private synthetic instructions outperform leading open-source models such as Vicuna.


title: Finding Incompatibles Blocks for Reliable JPEG Steganalysis

abstract: This article presents a refined notion of incompatible JPEG images for a quality factor of 100. It can be used to detect the presence of steganographic schemes embedding in DCT coefficients. We show that, within the JPEG pipeline, the combination of the DCT transform with the quantization function can map several distinct blocks in the pixel domain to the same block in the DCT domain. However, not every DCT block can be obtained: we call those blocks incompatible. In particular, incompatibility can happen when DCT coefficients are manually modified to embed a message. We show that the problem of distinguishing compatible blocks from incompatible ones is an inverse problem with or without solution and we propose two different methods to solve it. The first one is heuristic-based, fast to find a solution if it exists. The second is formulated as an Integer Linear Programming problem and can detect incompatible blocks only for a specific DCT transform in a reasonable amount of time. We show that the probability for a block to become incompatible only relies on the number of modifications. Finally, using the heuristic algorithm we can derive a Likelihood Ratio Test depending on the number of compatible blocks per image to perform steganalysis. We simulate the result of this test and show that it outperforms a deep learning detector e-SRNet for every payload between 0.001 and 0.01 bpp by using only 10% of the blocks from 256x256 images. A Selection-Channel-Aware version of the test is even more powerful and outperforms e-SRNet while using only 1% of the blocks.


title: CMB Polarization Measurements

abstract: The polarization of the Cosmic Microwave Background (CMB) radiation carries essential information on early stages of the Universe such as the cosmic inflation, forming cosmological structures through gravitational lensing, and the epoch of re-ionization. The signal requires high sensitivity instruments with a large number of detectors (bolometers) and low leakage of Stokes $I$ into $Q$ and $U$. The Galactic diffuse foreground emission is a limiting factor in CMB polarization measurements, requiring its characterization at both low and high frequency compared to the peak of the CMB emission, in order to be subtracted off. In this paper we describe the next generation space experiment for the measure of the CMB polarization, LiteBIRD, that is aimed to investigate the first fractions of a second of the Universe and is expected to be flown at the beginning of the next decade. Also, we describe the experiments designed for measuring the foreground emissions from our own Galaxy. Finally, we also describe sub-orbital experiments, operating and planned, as they are vehicles for the development of technologies and data reduction tools that have been and will be used in space missions.


title: A Method For Bounding Tail Probabilities

abstract: We present a method for upper and lower bounding the right and the left tail probabilities of continuous random variables (RVs). For the right tail probability of RV $X$ with probability density function $f_X(x)$, this method requires first setting a continuous, positive, and strictly decreasing function $g_X(x)$ such that $-f_X(x)/g'_X(x)$ is a decreasing and increasing function, $\forall x>x_0$, which results in upper and lower bounds, respectively, given in the form $-f_X(x) g_X(x)/g'_X(x)$, $\forall x>x_0$, where $x_0$ is some point. Similarly, for the upper and lower bounds on the left tail probability of $X$, this method requires first setting a continuous, positive, and strictly increasing function $g_X(x)$ such that $f_X(x)/g'_X(x)$ is an increasing and decreasing function, $\forall x<x_0$, which results in upper and lower bounds, respectively, given in the form $f_X(x) g_X(x)/g'_X(x)$, $\forall x<x_0$. We provide some examples of good candidates for the function $g_X(x)$. We also establish connections between the new bounds and Markov's inequality and Chernoff's bound. In addition, we provide an iterative method for obtaining ever tighter lower and upper bounds, under certain conditions. Finally, we provide numerical examples, where we show the tightness of these bounds, for some chosen $g_X(x)$.

categories: math.PR cs.IT math.IT math.ST stat.ML stat.TH


title: Continuum limit of the discrete nonlinear Klein-Gordon equation

abstract: We study the convergence of solutions of the discrete nonlinear Klein-Gordon equation on an infinite lattice in the continuum limit, using recent tools developed in the context of nonlinear discrete dispersive equations. Our approach relies in particular on the use of bilinear estimates of the Shannon interpolation alongside controls on the growth of discrete Sobolev norms of the solution. We conclude by giving perspectives on uniform dispersive estimates for nonlinear waves on lattices.


title: Quantum Monte Carlo and perturbative study of two-dimensional Bose-Fermi mixtures

abstract: We derive analytically the leading beyond-mean field contributions to the zero-temperature equation of state and to the fermionic quasi-particle residue and effective mass of a dilute Bose-Fermi mixture in two dimensions. In the repulsive case, we perform quantum Monte Carlo simulations for two representative bosonic concentrations and equal masses, extending a method for correcting finite-size effects in fermionic gases to Bose-Fermi mixtures. We find good agreement between analytic expressions and numerical results for weak interactions, while significant discrepancies appear in the regime close to mechanical instability, above which we provide evidence of phase separation of the bosonic component.


title: A five-dimensional Bianchi type V-like extension

abstract: We uncover the solution space of a five dimensional geometry which we deem it as the direct counterpart of the Bianchi Type V cosmological model. We kinematically reduce the scale factor matrix and then, with an appropriate scaling and choice of time, we cast the spatial equations into a simple ``Kasner'' like form; thus revealing linear integrals of motion. Their number is enough so that, along with the quadratic constraint, it suffices to scan the entire space of solutions. The latter is revealed to be quite rich, containing cosmological solutions, some of which admit dimensional reduction asymptotically to four dimensions, Kundt spacetimes with vanishing type I (polynomial) curvature scalars and solutions describing periodic universes which behave like cosmological time crystals.


title: Measurement Uncertainty: Relating the uncertainties of physical and virtual measurements

abstract: In the context of industrially mass-manufactured products, quality management is based on physically inspecting a small sample from a large batch and reasoning about the batch's quality conformance. When complementing physical inspections with predictions from machine learning models, it is crucial that the uncertainty of the prediction is known. Otherwise, the application of established quality management concepts is not legitimate. Deterministic (machine learning) models lack quantification of their predictive uncertainty and are therefore unsuitable. Probabilistic (machine learning) models provide a predictive uncertainty along with the prediction. However, a concise relationship is missing between the measurement uncertainty of physical inspections and the predictive uncertainty of probabilistic models in their application in quality management. Here, we show how the predictive uncertainty of probabilistic (machine learning) models is related to the measurement uncertainty of physical inspections. This enables the use of probabilistic models for virtual inspections and integrates them into existing quality management concepts. Thus, we can provide a virtual measurement for any quality characteristic based on the process data and achieve a 100 percent inspection rate. In the field of Predictive Quality, the virtual measurement is of great interest. Based on our results, physical inspections with a low sampling rate can be accompanied by virtual measurements that allow an inspection rate of 100 percent. We add substantial value, especially to complex process chains, as faulty products/parts are identified promptly and upcoming process steps can be aborted.


title: GCOF: Self-iterative Text Generation for Copywriting Using Large Language Model

abstract: Large language models(LLM) such as ChatGPT have substantially simplified the generation of marketing copy, yet producing content satisfying domain specific requirements, such as effectively engaging customers, remains a significant challenge. In this work, we introduce the Genetic Copy Optimization Framework (GCOF) designed to enhance both efficiency and engagememnt of marketing copy creation. We conduct explicit feature engineering within the prompts of LLM. Additionally, we modify the crossover operator in Genetic Algorithm (GA), integrating it into the GCOF to enable automatic feature engineering. This integration facilitates a self-iterative refinement of the marketing copy. Compared to human curated copy, Online results indicate that copy produced by our framework achieves an average increase in click-through rate (CTR) of over $50\%$.


title: Taylor cones of ionic liquids from capillary tubes as sources of pure ions: The role of surface tension and electrical conductivity

abstract: The emissions of Taylor cones from a wide range of ionic liquids (ILs) have been tested in vacuo in an attempt to identify what physical properties favor the purely ionic regime (PIR). This regime is well known in the case of Taylor cones of liquid metals. For nonmetallic liquids, it has been previously observed in conventional (capillary tube) electrospray sources at room temperature only for the room temperature molten salt (ionic liquid) EMI-BF4 (EMI=1-ethyl-3-methylimidazolium). A large number of other ILs and their mixtures have been studied here, most of which (but not all) are unable to reach the PIR at room temperature. Based on these results and additional theoretical considerations, strong support is assembled for the notion that the PIR is favored by ILs not only of high electrical conductivity but also of high surface tension. This hypothesis is confirmed by tests with three recently synthesized ILs, EMI-GaCl4, EMI-C(CN)3, and EMI-N(CN)2, all of which combine exceptional surface tension and electrical conductivity, and all of which reach the PIR at room temperature far more readily than EMI-BF4.


title: Self-Distillation Bridges Distribution Gap in Language Model Fine-Tuning

abstract: The surge in Large Language Models (LLMs) has revolutionized natural language processing, but fine-tuning them for specific tasks often encounters challenges in balancing performance and preserving general instruction-following abilities. In this paper, we posit that the distribution gap between task datasets and the LLMs serves as the primary underlying cause. To address the problem, we introduce Self-Distillation Fine-Tuning (SDFT), a novel approach that bridges the distribution gap by guiding fine-tuning with a distilled dataset generated by the model itself to match its original distribution. Experimental results on the Llama-2-chat model across various benchmarks demonstrate that SDFT effectively mitigates catastrophic forgetting while achieving comparable or superior performance on downstream tasks compared to the vanilla fine-tuning. Moreover, SDFT demonstrates the potential to maintain the helpfulness and safety alignment of LLMs. Our code is available at https://github.com/sail-sg/sdft.


title: The Riemannian Convex Bundle Method

abstract: We introduce the convex bundle method to solve convex, non-smooth optimization problems on Riemannian manifolds. Each step of our method is based on a model that involves the convex hull of previously collected subgradients, parallely transported into the current serious iterate. This approach generalizes the dual form of classical bundle subproblems in Euclidean space. We prove that, under mild conditions, the convex bundle method converges to a minimizer. Several numerical examples implemented using the Julia package Manopt.jl illustrate the performance of the proposed method and compare it to the subgradient method, the cyclic proximal point, as well as the proximal bundle algorithm from Hoseini Monjezi, Nobakhtian, Pouryayevali, 2021.


title: KInIT at SemEval-2024 Task 8: Fine-tuned LLMs for Multilingual Machine-Generated Text Detection

abstract: SemEval-2024 Task 8 is focused on multigenerator, multidomain, and multilingual black-box machine-generated text detection. Such a detection is important for preventing a potential misuse of large language models (LLMs), the newest of which are very capable in generating multilingual human-like texts. We have coped with this task in multiple ways, utilizing language identification and parameter-efficient fine-tuning of smaller LLMs for text classification. We have further used the per-language classification-threshold calibration to uniquely combine fine-tuned models predictions with statistical detection metrics to improve generalization of the system detection performance. Our submitted method achieved competitive results, ranking at the fourth place, just under 1 percentage point behind the winner.


title: Permutation groups of prime power degree and $p$-complements

abstract: Extending earlier work of Guralnick and of Cai and Zhang, we classify the almost simple groups which have transitive permutation representations of prime power degree $p^k$, and those which have $p$-complements (stabilisers of order coprime to $p$ in such representations). We deduce that every primitive permutation group of prime power degree has a regular subgroup, and that any two faithful primitive representations of a group, of the same prime power degree, are equivalent under automorphisms. In general, $p$-complements in a finite group can be inequivalent under automorphisms, or even non-isomorphic. We extend examples of such phenomena due to Buturlakin, Revin and Nesterov by showing that the number of inequivalent classes of complements can be arbitrarily large. Questions concerning the existence of prime power representations and $p$-complements in groups with socle ${\rm PSL}_d(q)$ are related to some difficult open problems in Number Theory.


title: Computing Transiting Exoplanet Parameters with 1D Convolutional Neural Networks

abstract: The transit method allows the detection and characterization of planetary systems by analyzing stellar light curves. Convolutional neural networks appear to offer a viable solution for automating these analyses. In this research, two 1D convolutional neural network models, which work with simulated light curves in which transit-like signals were injected, are presented. One model operates on complete light curves and estimates the orbital period, and the other one operates on phase-folded light curves and estimates the semimajor axis of the orbit and the square of the planet-to-star radius ratio. Both models were tested on real data from TESS light curves with confirmed planets to ensure that they are able to work with real data. The results obtained show that 1D CNNs are able to characterize transiting exoplanets from their host star's detrended light curve and, furthermore, reducing both the required time and computational costs compared with the current detection and characterization algorithms.


title: Amplitude of Random Telegraph Noise in Junctionless FinFET with Different Channel Shape

abstract: The influence of the channel shape in a junctionless silicon-on-insulator finned field-effect transistor (JL SOI FinFET) on the amplitude of random telegraph noise (RTN) induced by single interface trapped charge has been simulated for the transistors with rectangular, trapezoidal, and triangular fin cross sections. The simulation of the RTN amplitude distribution along the channel induced by a single charge trapped at interface defect located at the fin top and at sidewall of JL SOI FinFETs with channels of different shapes is considered. It is established that at trapping the single charge at sidewall surface of the channel, the lowest RTN amplitude is seen for the triangular cross-section and the highest for the rectangular and trapezoidal cross-sections. At the single charge trapping at the top surface of the channel, the RTN amplitude is higher for the rectangle than for the trapezoidal cross-section.


title: Limits of open ASEP stationary measures near a boundary

abstract: Consider the stationary measure of open asymmetric simple exclusion process (ASEP) on the lattice $\{1,\dots,n\}$. Taking $n$ to infinity while fixing the jump rates, this measure converges to a measure on the semi-infinite lattice. In the high and low density phases, we characterize the limiting measure and also show that this convergence occurs in total variation distance on a sublattice of scale $n/\log n$. Our approach involves bounding the total variation distance using generating functions, which are further estimated through a subtle analysis of the atom masses of Askey-Wilson signed measures.


title: An empirical view of the extended atmosphere and inner envelope of the AGB star R Doradus I. Physical model based on CO lines

abstract: The mass loss experienced on the asymptotic giant branch (AGB) at the end of the lives of low- and intermediate-mass stars is widely accepted to rely on radiation pressure acting on dust grains formed in the extended AGB atmospheres. The interaction of convection, stellar pulsation, and heating and cooling processes cause the density, velocity and temperature distributions in the inner regions of the envelope to be complex, making the dust-formation process difficult to calculate. Hence, characterising the extended atmospheres and inner outflow empirically is paramount to advance our understanding of the dust-formation and wind-driving processes. To this end, we observe the AGB star R Dor using ALMA and modelled the $^{12}$CO $v=0, J=2-1$, $v=1, J=2-1$ and $3-2$ and $^{13}$CO $v=0, J=3-2$ lines using the 3D radiative transfer code LIME up to a distance of $\sim 4$ times the radius of the star at sub-mm wavelengths. We find a complex velocity field with structure down to scales at least equal to the resolution of the observations. The observed maps are well reproduced assuming spherical symmetry for the gas temperature and density distributions. We find the radial profiles of these two quantities to be very steep close to the star and shallower for radii larger than $\sim 1.6$ times the stellar sub-mm radius. This change is consistent with the transition between extended atmosphere and outflow. We constrain the standard deviation of the stochastic velocity distribution in the large-scale outflow to be $\lesssim 0.4$ km/s. We observe two emission blobs in the CO $v=0, J=2-1$ line and find their gas densities and radial velocities to be substantially larger than those of the surrounding gas. Monitoring the evolution of these blobs will lead to a better understanding of the role of these structures in the mass-loss process of R Dor.


title: An Edge-based Interface Tracking (EBIT) Method for Multiphase Flows with Phase Change

abstract: In this paper, the Edge-Based Interface Tracking (EBIT) method is extended to simulate multiphase flows with phase change. As a novel Front-Tracking method, the EBIT method binds interfacial markers to the Eulerian grid to achieve automatic parallelization. To include phase change effects, the energy equation for each phase is solved, with the temperature boundary condition at the interface sharply imposed. When using collocated grids, the cell-centered velocity is approximately projected. This will lead to unphysical oscillations in the presence of phase change, as the velocity will be discontinuous across the interface. It is demonstrated that this issue can be addressed by using the ghost fluid method, in which the ghost velocity is set according to the jump condition, thereby removing the discontinuity. A series of benchmark tests are performed to validate the present method. It is shown that the numerical results agree very well with the theoretical solutions and the experimental results.


title: Weak Poincar\'e inequality comparisons for ideal and hybrid slice sampling

abstract: Using the framework of weak Poincar{\'e} inequalities, we provide a general comparison between the Hybrid and Ideal Slice Sampling Markov chains in terms of their Dirichlet forms. In particular, under suitable assumptions Hybrid Slice Sampling will inherit fast convergence from Ideal Slice Sampling and conversely. We apply our results to analyse the convergence of the Independent Metropolis--Hastings, Slice Sampling with Stepping-Out and Shrinkage, and Hit-and-Run-within-Slice Sampling algorithms.


title: Einstein's basement -- a model for dark matter and an expanding universe?

abstract: We present a model treating the energy-momentum relation of relativistic particles as the upper branch of a generalized energy-momentum relation emerging from a forbidden crossing between the constant energy of a massive particle and the photon line. The lower branch, a regime dubbed as Einstein's basement, gives rise to particles with different kinematics that is analysed in the low-velocity limit. Allowing for gravitational interaction between those particles, and between particles of both branches, we discuss whether particles in Einstein's basement might be suitable dark matter candidates. Moreover, the special dynamics of mixed systems leads to an expansion mechanism for regular matter in space. Tests of the presented model by astronomical observations are suggested.


title: A Pontryagin Maximum Principle for agent-based models with convex state space

abstract: We derive a first order optimality condition for a class of agent-based systems, as well as for their mean-field counterpart. A relevant difficulty of our analysis is that the state equation is formulated on possibly infinite-dimensional convex subsets of Banach spaces, as required by some problems in multi-population dynamics. Due to the lack of a linear structure and of local compactness, the usual tools of needle variations and linearisation procedures used to derive Pontryagin type conditions have to be generalised to the setting at hand. This is done by considering suitable notions of differentials and by a careful inspection of the underlying functional structures.


title: Extrapolated Shock Tracking: Bridging shock-fitting and embedded boundary methods

abstract: We propose a novel approach to approximate numerically shock waves. The method combines the unstructured shock-fitting approach developed in the last decade by some of the authors, with ideas coming from embedded boundary techniques. The numerical method obtained allows avoiding the re-meshing phase required by the unstructured fitting method, while guaranteeing accuracy properties very close to those of the fitting approach. This new method has many similarities with front tracking approaches, and paves the way to shock-tracking techniques truly independent on the data and mesh structure used by the flow solver. The approach is tested on several problems showing accuracy properties very close to those of more expensive fitting methods, with a considerable gain in flexibility and generality.


title: The effect of lightning on the atmospheric chemistry of exoplanets and potential biosignatures

abstract: Lightning has been suggested to play a role in triggering the occurrence of bio-ready chemical species. Future missions (PLATO, ARIEL, HWO, LIFE) and ground-based ELTs will investigate the atmospheres of potentially habitable exoplanets. We aim to study the effect of lightning on the atmospheric chemistry, how it affects false-positive and false-negative biosignatures, and if its effect would be observable on an exo-Earth and on TRAPPIST-1 planets. We use a combination of laboratory experiments, photochemical and radiative transfer modelling. With spark discharge experiments in N2-CO2-H2 gas mixtures, representing a range of possible rocky-planet atmospheres, we investigate the production of potential lightning signatures (CO, NO), possible biosignature gases (N2O, NH3, CH4), and important prebiotic precursors (HCN, Urea). Photochemical simulations are conducted for oxygen-rich and anoxic atmospheres for rocky planets in the habitable zones of the Sun and TRAPPIST-1 for a range of lightning flash rates. Synthetic spectra are calculated using SMART to study the atmosphere's reflectance, emission, and transmission spectra. Lightning enhances the spectral features of NO, NO2, and, in some cases, CO; CH4 and C2H6 may be enhanced indirectly. Lightning at a flash rate slightly higher than on modern Earth can mask the ozone features of an oxygen-rich, biotic atmosphere, making it harder to detect the biosphere. Lightning flash rates at least ten times higher than on modern Earth can mask the presence of ozone in the anoxic, abiotic atmosphere of a planet orbiting a late M dwarf, reducing the potential for a false-positive life-detection. The threshold lightning rates to eliminate oxygen and ozone false positive biosignatures on planets orbiting ultra-cool dwarfs is up to ten times higher than the modern flash rate, suggesting that lightning cannot always prevent these false-positive scenarios.


title: Dynamics of bubble migration in a square channel flow of a viscoelastic fluid

abstract: Cross-stream migration of a deformable bubble is investigated computationally in a pressure-driven channel flow of a viscoelastic fluid via interface-resolved simulations. The flow equations are solved fully coupled with the Giesekus model equations using the front-tracking method and extensive simulations are performed for a wide range of flow parameters to reveal the effects of bubble deformability, fluid elasticity, shear-thinning, and fluid inertia on the bubble migration dynamics. Migration rate of a bubble is found to be much higher than that of a solid particle under similar flow conditions mainly due to free-slip condition on its surface. It is observed that direction of bubble migration can be altered by varying shear-thinning of the ambient fluid. With a strong shear-thinning, the bubble migrates towards the wall while it migrates towards the center of the channel in a purely elastic fluid without shear-thinning. An onset of elastic flow instability is observed beyond a critical Weissenberg number, which in turn causes a path instability even for a nearly spherical bubble. An inertial path instability is also observed once bubble deformation exceeds a critical value. Shear-thinning is found to be suppressing the path instability in a viscoelastic fluid with a high polymer concentration whereas it reverses its role and promotes path instability in a dilute polymer solution. It is found that bubble migration towards wall induces a secondary flow with a velocity that is about an order of magnitude higher than the one induced by a solid particle under similar flow conditions.


title: End-to-end simulation of particle physics events with Flow Matching and generator Oversampling

abstract: The simulation of high-energy physics collision events is a key element for data analysis at present and future particle accelerators. The comparison of simulation predictions to data allows looking for rare deviations that can be due to new phenomena not previously observed. We show that novel machine learning algorithms, specifically Normalizing Flows and Flow Matching, can be used to replicate accurate simulations from traditional approaches with several orders of magnitude of speed-up. The classical simulation chain starts from a physics process of interest, computes energy deposits of particles and electronics response, and finally employs the same reconstruction algorithms used for data. Eventually, the data are reduced to some high-level analysis format. Instead, we propose an end-to-end approach, simulating the final data format directly from physical generator inputs, skipping any intermediate steps. We use particle jets simulation as a benchmark for comparing both discrete and continuous Normalizing Flows models. The models are validated across a variety of metrics to identify the most accurate. We discuss the scaling of performance with the increase in training data, as well as the generalization power of these models on physical processes different from the training one. We investigate sampling multiple times from the same physical generator inputs, a procedure we name oversampling, and we show that it can effectively reduce the statistical uncertainties of a dataset. This class of ML algorithms is found to be capable of learning the expected detector response independently of the physical input process. Their speed and accuracy, coupled with the stability of the training procedure, make them a compelling tool for the needs of current and future experiments.


title: Data-Driven Forecasting of Non-Equilibrium Solid-State Dynamics

abstract: We present a data-driven approach to efficiently approximate nonlinear transient dynamics in solid-state systems. Our proposed machine-learning model combines a dimensionality reduction stage with a nonlinear vector autoregression scheme. We report an outstanding time-series forecasting performance combined with an easy to deploy model and an inexpensive training routine. Our results are of great relevance as they have the potential to massively accelerate multi-physics simulation software and thereby guide to future development of solid-state based technologies.


title: The reentrant condensation of polyelectrolytes induced by diluted multivalent salts: A mean-field level revisiting

abstract: We study the reentrant condensation of polyelectrolytes in dilute solutions of small multivalent salts, whose phase-transition mechanism remains poorly understood. Motivated by recent full atomic simulation results reported by the Caltech group on phase behaviors of polyelectrolytes in presence of multivalent salts (DOIs: 10.1021/acs.macromol.3c02437 and 10.1021/acs.langmuir.3c03640), in this work we construct a simple but effective mean-field model which can rationalize the essential features of the reentrant condensation including the phase diagram of polyelectrolyte. The model unveils that the strong adsorption between the ionic monomers and multivalent ions can be at the origin of the peculiar phenomenon that rather low concentrations of multivalent salts trigger both collapse and re-entry transitions. For the first time, the analytical solution of the model indicates that a minimum of coupling energy due to sharing multivalent salt ions between ionic monomers is essential for a phase transition to occur, which can explain the enigmatic observation that polyelectrolytes can only show phase transition in a dilute solution of salts with selective multivalency. Our analytical calculations also show that the incompatibility of the uncharged moieties of the polyelectrolytes with water is critical to regulate phase behaviors of polyelectrolytes in aqueous solutions. This is in agreement with recent experimental investigations on solution properties of amphiphilic proteins. The obtained results will contribute to the understanding of liquid-liquid phase separation in biological systems where multivalent ions bound to bio-polyelectrolytes play an essential role.


title: An Augmented Lagrangian Method for Training Recurrent Neural Networks

abstract: Recurrent Neural Networks (RNNs) are widely used to model sequential data in a wide range of areas, such as natural language processing, speech recognition, machine translation, and time series analysis. In this paper, we model the training process of RNNs with the ReLU activation function as a constrained optimization problem with a smooth nonconvex objective function and piecewise smooth nonconvex constraints. We prove that any feasible point of the optimization problem satisfies the no nonzero abnormal multiplier constraint qualification (NNAMCQ), and any local minimizer is a Karush-Kuhn-Tucker (KKT) point of the problem. Moreover, we propose an augmented Lagrangian method (ALM) and design an efficient block coordinate descent (BCD) method to solve the subproblems of the ALM. The update of each block of the BCD method has a closed-form solution. The stop criterion for the inner loop is easy to check and can be stopped in finite steps. Moreover, we show that the BCD method can generate a directional stationary point of the subproblem. Furthermore, we establish the global convergence of the ALM to a KKT point of the constrained optimization problem. Compared with the state-of-the-art algorithms, numerical results demonstrate the efficiency and effectiveness of the ALM for training RNNs.


title: Exploring users' sense of safety in public using an Augmented Reality application

abstract: Nowadays, Augmented Reality (AR) is available on almost all smartphones creating some exciting interaction opportunities but also challenges. For example, already after the famous AR app Pokemon GO was released in July 2016, numerous accidents related to the use of the app were reported by users. At the same time, the spread of AR can be noticed in the tourism industry, enabling tourists to explore their surroundings in new ways but also exposing them to safety issues. This preliminary study explores users' sense of safety when manipulating the amount and UI elements visualization parameters of Point of Interest (POI) markers in a developed AR application. The results show that the amount of POI markers that are displayed is significant for participants' sense of safety. The influence of manipulating UI elements in terms of transparency, color, and size cannot be proven. Nevertheless, most tested people stated that manipulating transparency and size somehow influences their sense of safety, so a closer look at them should be taken in future studies.


title: Spectral selectors on lens spaces and applications to the geometry of the group of contactomorphisms

abstract: Using Givental's non-linear Maslov index we define a sequence of spectral selectors on the universal cover of the identity component of the contactomorphism group of any lens space. As applications, we prove for lens spaces with equal weights that the standard Reeb flow is a geodesic for the discriminant and oscillation norms, and we define for general lens spaces a stably unbounded conjugation invariant spectral pseudonorm.


title: General Caputo-type fractional discrete diffusion equation for Schr\"{o}dinger operator

abstract: This article aims to investigate the semi-classical analog of the general Caputo-type diffusion equation with time-dependent diffusion coefficient associated with the discrete Schr\"{o}dinger operator, $\mathcal{H}_{\hbar,V}:=-\hbar^{-2}\mathcal{L}_{\hbar}+V$ on the lattice $\hbar\mathbb{Z}^{n},$ where $V$ is a non-negative multiplication operator and $\mathcal{L}_{\hbar}$ is the discrete Laplacian. We establish the well-posedness of the Cauchy problem for the general Caputo-type diffusion equation with a regular coefficient in the associated Sobolev-type spaces. However, it is very weakly well-posed when the diffusion coefficient has a distributional singularity. Finally, we recapture the classical solution (resp. very weak) for the general Caputo-type diffusion equation in the semi-classical limit $\hbar\to 0$.


title: Higher-order fractional equations and related time-changed pseudo-processes

abstract: We study Cauchy problems of fractional differential equations in both space and time variables by expressing the solution in terms of ``stochastic composition" of the solutions to two simpler problems. These Cauchy sub-problems respectively concern the space and the time differential operator involved in the main equation. We provide some probabilistic and pseudo-probabilistic applications, where the solution can be interpreted as the pseudo-transition density of a time-changed pseudo-process. To extend our results to higher order time-fractional problems, we introduce pseudo-subordinators as well as its pseudo-inverse. Finally, we present our results in the case of more general differential operators and we interpret the results by means of a linear combination of pseudo-subordinators and its inverse.


title: Reconfigurable Intelligent Surface assisted Integrated Communication, Sensing, and Computation Systems

abstract: This paper studies a mobile edge computing (MEC) assisted integrated sensing and communication (ISAC), where reconfigurable intelligent surface (RIS) is used to alleviate the attenuation of communication links during computational offloading. In this paradigm, the dual function radar and communication (DFRC)-enabled user equipments (UEs) simultaneously perform radar sensing and communication tasks, facilitating the offloading of partial computational tasks to an edge computing server (ECS) through an RIS. To satisfy the critical need for time-efficient sensing, we investigate the latency minimization problem for both single-UE and multi-UE scenarios, subject to constraints on UEs' transmit power, radar signal-to-interference-plus-noise-ratio (SINR), RIS phase shift, and computation capability. To address the formulated non-convex problem, we propose an algorithm based on the block coordinate descent (BCD) method to decouple the original problem into two subproblems, where the computational and beamforming settings are optimized alternately. Specifically, we employ the Lagrangian method for the optimization of computational settings. In addition, two equivalent transformations are applied to transform the objective function (OF) of the subproblem for active and passive beamforming into a form of weighted sum-rate. Then, a combination of minimum variance distortionless response (MVDR), successive convex approximation (SCA), majorization-minimization (MM), and weighted minimum mean-square error (WMMSE) techniques are applied to tackle this subproblem. Moreover, a closed-form solution is obtained in the simplified single UE scenario. Finally, simulation results substantiate the effectiveness of the proposed system.


title: CMNER: A Chinese Multimodal NER Dataset based on Social Media

abstract: Multimodal Named Entity Recognition (MNER) is a pivotal task designed to extract named entities from text with the support of pertinent images. Nonetheless, a notable paucity of data for Chinese MNER has considerably impeded the progress of this natural language processing task within the Chinese domain. Consequently, in this study, we compile a Chinese Multimodal NER dataset (CMNER) utilizing data sourced from Weibo, China's largest social media platform. Our dataset encompasses 5,000 Weibo posts paired with 18,326 corresponding images. The entities are classified into four distinct categories: person, location, organization, and miscellaneous. We perform baseline experiments on CMNER, and the outcomes underscore the effectiveness of incorporating images for NER. Furthermore, we conduct cross-lingual experiments on the publicly available English MNER dataset (Twitter2015), and the results substantiate our hypothesis that Chinese and English multimodal NER data can mutually enhance the performance of the NER model.


title: Complexity Growth and the Krylov-Wigner function

abstract: For any state in a $D$-dimensional Hilbert space with a choice of basis, one can define a discrete version of the Wigner function -- a quasi-probability distribution which represents the state on a discrete phase space. The Wigner function can, in general, take on negative values, and the amount of negativity in the Wigner function has an operational meaning as a resource for quantum computation. In this note, we study the growth of Wigner negativity for a generic initial state under time evolution with chaotic Hamiltonians. We introduce the Krylov-Wigner function, i.e., the Wigner function defined with respect to the Krylov basis (with appropriate phases), and show that this choice of basis minimizes the early time growth of Wigner negativity in the large $D$ limit. We take this as evidence that the Krylov basis (with appropriate phases) is ideally suited for a dual, semi-classical description of chaotic quantum dynamics at large $D$. We also numerically study the time evolution of the Krylov-Wigner function and its negativity in random matrix theory for an initial pure state. We observe that the negativity broadly shows three phases: it rises gradually for a time of $O(\sqrt{D})$, then hits a sharp ramp and finally saturates close to its upper bound of $\sqrt{D}$.


title: Computational unique continuation with finite dimensional Neumann trace

abstract: We consider finite element approximations of unique continuation problems subject to elliptic equations in the case where the normal derivative of the exact solution is known to reside in some finite dimensional space. To give quantitative error estimates we prove Lipschitz stability of the unique continuation problem in the global H1-norm. This stability is then leveraged to derive optimal a posteriori and a priori error estimates for a primal-dual stabilised finite method.


title: How Do Microservice API Patterns Impact Understandability? A Controlled Experiment

abstract: Microservices expose their functionality via remote Application Programming Interfaces (APIs), e.g., based on HTTP or asynchronous messaging technology. To solve recurring problems in this design space, Microservice API Patterns (MAPs) have emerged to capture the collective experience of the API design community. At present, there is a lack of empirical evidence for the effectiveness of these patterns, e.g., how they impact understandability and API usability. We therefore conducted a controlled experiment with 6 microservice patterns to evaluate their impact on understandability with 65 diverse participants. Additionally, we wanted to study how demographics like years of professional experience or experience with MAPs influence the effects of the patterns. Per pattern, we constructed two API examples, each in a pattern version "P" and a functionally equivalent non-pattern version "N" (24 in total). Based on a crossover design, participants had to answer comprehension questions, while we measured the time. For five of the six patterns, we identified a significant positive impact on understandability, i.e., participants answered faster and / or more correctly for "P". However, effect sizes were mostly small, with one pattern showing a medium effect. The correlations between performance and demographics seem to suggest that certain patterns may introduce additional complexity; people experienced with MAPs will profit more from their effects. This has important implications for training and education around MAPs and other patterns.


title: Generalizable Semantic Vision Query Generation for Zero-shot Panoptic and Semantic Segmentation

abstract: Zero-shot Panoptic Segmentation (ZPS) aims to recognize foreground instances and background stuff without images containing unseen categories in training. Due to the visual data sparsity and the difficulty of generalizing from seen to unseen categories, this task remains challenging. To better generalize to unseen classes, we propose Conditional tOken aligNment and Cycle trAnsiTion (CONCAT), to produce generalizable semantic vision queries. First, a feature extractor is trained by CON to link the vision and semantics for providing target queries. Formally, CON is proposed to align the semantic queries with the CLIP visual CLS token extracted from complete and masked images. To address the lack of unseen categories, a generator is required. However, one of the gaps in synthesizing pseudo vision queries, ie, vision queries for unseen categories, is describing fine-grained visual details through semantic embeddings. Therefore, we approach CAT to train the generator in semantic-vision and vision-semantic manners. In semantic-vision, visual query contrast is proposed to model the high granularity of vision by pulling the pseudo vision queries with the corresponding targets containing segments while pushing those without segments away. To ensure the generated queries retain semantic information, in vision-semantic, the pseudo vision queries are mapped back to semantic and supervised by real semantic embeddings. Experiments on ZPS achieve a 5.2% hPQ increase surpassing SOTA. We also examine inductive ZPS and open-vocabulary semantic segmentation and obtain comparative results while being 2 times faster in testing.


title: Totally asymmetric simple exclusion process with local resetting and open boundary conditions

abstract: We study a totally asymmetric simple exclusion process with open boundary conditions and local resetting at the injection node. We investigate the stationary state of the model, using both mean-field approximation and kinetic Monte Carlo simulations, and identify three regimes, depending on the way the resetting rate scales with the lattice size. The most interesting regime is the intermediate resetting one, as in the case of periodic boundary conditions. In this regime we find pure phases and phase separation phenomena, including a low-density/high-density phase separation, which was not possible with periodic boundary conditions. We discuss density profiles, characterizing bulk regions and boundary layers, and nearest-neighbour covariances, finding a remarkable agreement between mean-field and simulation results. The stationary state phase diagram is mapped out analytically at the mean-field level, but we conjecture that it may be exact in the thermodynamic limit. We also briefly discuss the large resetting regime, which exhibits an inverse characteristic length scale diverging logarithmically with the lattice size.


title: Explainable Classification Techniques for Quantum Dot Device Measurements

abstract: In the physical sciences, there is an increased need for robust feature representations of image data: image acquisition, in the generalized sense of two-dimensional data, is now widespread across a large number of fields, including quantum information science, which we consider here. While traditional image features are widely utilized in such cases, their use is rapidly being supplanted by Neural Network-based techniques that often sacrifice explainability in exchange for high accuracy. To ameliorate this trade-off, we propose a synthetic data-based technique that results in explainable features. We show, using Explainable Boosting Machines (EBMs), that this method offers superior explainability without sacrificing accuracy. Specifically, we show that there is a meaningful benefit to this technique in the context of quantum dot tuning, where human intervention is necessary at the current stage of development.


title: On the Conflict of Robustness and Learning in Collaborative Machine Learning

abstract: Collaborative Machine Learning (CML) allows participants to jointly train a machine learning model while keeping their training data private. In scenarios where privacy is a strong requirement, such as health-related applications, safety is also a primary concern. This means that privacy-preserving CML processes must produce models that output correct and reliable decisions \emph{even in the presence of potentially untrusted participants}. In response to this issue, researchers propose to use \textit{robust aggregators} that rely on metrics which help filter out malicious contributions that could compromise the training process. In this work, we formalize the landscape of robust aggregators in the literature. Our formalization allows us to show that existing robust aggregators cannot fulfill their goal: either they use distance-based metrics that cannot accurately identify targeted malicious updates; or propose methods whose success is in direct conflict with the ability of CML participants to learn from others and therefore cannot eliminate the risk of manipulation without preventing learning.


title: Neural density estimation for Galactic Binaries in LISA data analysis

abstract: The future space based gravitational wave detector LISA (Laser Interferometer Space Antenna) will observe millions of Galactic binaries constantly present in the data stream. A small fraction of this population (of the order of several thousand) will be individually resolved. One of the challenging tasks from the data analysis point of view will be to estimate the parameters of resolvable galactic binaries while disentangling them from each other and from other gravitational wave sources present in the data. This problem is quite often referred to as a global fit in the field of LISA data analysis. A Bayesian framework is often used to infer the parameters of the sources and their number. The efficiency of the sampling techniques strongly depends on the proposals, especially in the multi-dimensional parameter space. In this paper we demonstrate how we can use neural density estimators, and in particular Normalising flows, in order to build proposals which significantly improve the convergence of sampling. We also demonstrate how these methods could help in building priors based on physical models and provide an alternative way to represent the catalogue of identified gravitational wave sources.


title: Robustness analysis and station-keeping control of an interferometer formation flying mission in low Earth orbit

abstract: The impact of formation flying on interferometry is growing over the years for the potential performance it could offer. However, it is still an open field, and many studies are still required. This article presents the basic principles behind interferometry focusing first on a single array and secondly on a formation of satellites. A sensitivity analysis is carried out to evaluate how the performance of the interferometry is affected by an error in the relative position in the formation geometry. This is estimated by computing the loss of the performance in terms of percentage deviation due to a non-nominal relative trajectory, including two-dimensional errors and defining a payload index. The main goal of this study is to estimate whether some errors in the relative state are more impacting than others. The final objective is to compute the link between a position error and a specific loss of performance, to foresee the origin of the the error. Furthermore, a dynamical model is developed to describe the relative motion in the Low Earth Orbit environment, considering both the unperturbed and the J2 and drag contributions. A Proportional, Integral and Derivative controller is implemented for the position control of a multiple satellite formation flying, considering a low thrust control profile. The Formation Flying L-band Aperture Synthesis study is taken as the case scenario, analysing both nominal and non-nominal configurations. This study serves as a starting point for the development of a combined tool to assess the performance of the interferometry and the control on the relative state for future remote sensing studies involving relative motion.


title: Investigating Multilingual Instruction-Tuning: Do Polyglot Models Demand for Multilingual Instructions?

abstract: The adaption of multilingual pre-trained Large Language Models (LLMs) into eloquent and helpful assistants is essential to facilitate their use across different language regions. In that spirit, we are the first to conduct an extensive study of the performance of multilingual models on parallel, multi-turn instruction-tuning benchmarks across a selection of the most-spoken Indo-European languages. We systematically examine the effects of language and instruction dataset size on a mid-sized, multilingual LLM by instruction-tuning it on parallel instruction-tuning datasets. Our results demonstrate that instruction-tuning on parallel instead of monolingual corpora benefits cross-lingual instruction following capabilities by up to 4.6%. Furthermore, we show that the Superficial Alignment Hypothesis does not hold in general, as the investigated multilingual 7B parameter model presents a counter-example requiring large-scale instruction-tuning datasets. Finally, we conduct a human annotation study to understand the alignment between human-based and GPT-4-based evaluation within multilingual chat scenarios.


title: On multiplicatively dependent vectors of polynomial values

abstract: Given polynomials $f_1,\ldots,f_n$ in $m$ variables with integral coefficients, we give upper bounds for the number of integral $m$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_n$ of bounded height such that $f_1(\mathbf{u}_1), \ldots, f_n(\mathbf{u}_n)$ are multiplicatively dependent. We also prove, under certain conditions, a finiteness result for $\mathbf{u} \in \mathbb{Z}^m$ with relatively prime entries such that $f_1(\mathbf{u}),\ldots,f_n(\mathbf{u})$ are multiplicatively dependent.


title: Hyperuniformity and optimal transport of point processes

abstract: We examine optimal matchings or transport between two stationary point processes and in particular, from a point process to the (integer) lattice or the Lebesgue measure respectively. The main focus of the article is the implication of hyperuniformity (reduced variance fluctuations in point processes) to optimal transport: in dimension $2$, we show that the typical matching cost has finite second moment under a mild logarithmic integrability condition on the reduced pair correlation measure, showing that most planar hyperuniform point processes are $ L^2$-perturbed lattices. Our method does not formally require assumptions on the correlation measure or the variance behaviour and it retrieves known sharp bounds for neutral integrable systems such as Poisson processes, and also applies to hyperfluctuating systems. The proof relies on the estimation of the optimal transport cost between point processes restricted to large windows for a well-chosen cost through their Fourier-Stieljes transforms, related to their structure factor. The existence of an infinite matching is obtained through a compactness argument on the space of random measures.


title: Linear-Quadratic optimal control for boundary controlled networks of waves

abstract: Linear-Quadratic optimal controls are computed for a class of boundary controlled, boundary observed hyperbolic infinite-dimensional systems, which may be viewed as networks of waves. The main results of this manuscript consist in converting the infinite-dimensional continuous-time systems into infinite-dimensional discrete-time systems for which the operators dynamics are matrices, in solving the LQ-optimal control problem in discrete-time and then in interpreting the solution in the continuous-time variables, giving rise to the optimal boundary control input. The results are applied to two examples, a small network of three vibrating strings and a co-current heat-exchanger, for which boundary sensors and actuators are considered.


title: Geometric derivation and structure-preserving simulation of quasi-geostrophy on the sphere

abstract: We present a geometric derivation of the quasi-geostrophic equations on the sphere, starting from the rotating shallow water equations. We utilise perturbation series methods in vorticity and divergence variables. The derivation employs asymptotic analysis techniques, leading to a global quasi-geostrophic potential vorticity model on the sphere without approximation of the Coriolis parameter. The resulting model forms a closed system for the evolution of potential vorticity with a rich mathematical structure, including Lagrangian and Hamiltonian descriptions. Formulated using the Lie-Poisson bracket reveals the geometric invariants of the quasi-geostrophic model. Motivated by these geometric results, simulations of quasi-geostrophic flow on the sphere are presented based on structure-preserving Lie-Poisson time-integration. We explicitly demonstrate the preservation of Casimir invariants and show that the hyperbolic quasi-geostrophic equations can be simulated in a stable manner over long time. We show the emergence of longitudonal jets, wrapped around the circumference of the sphere in a general direction that is perpendicular to the axis of rotation.


title: Construction of Yemilab

abstract: The Center for Underground Physics of the Institute for Basic Science (IBS) in Korea has been planning the construction of a deep underground laboratory since 2013 to search for extremely rare interactions such as dark matter and neutrinos. In September 2022, a new underground laboratory, Yemilab, was finally completed in Jeongseon, Gangwon Province, with a depth of 1,000 m and an exclusive experimental area spanning 3,000 m$^3$. The tunnel is encased in limestone and accommodates 17 independent experimental spaces. Over two years, from 2023 to 2024, the Yangyang Underground Laboratory facilities will be relocated to Yemilab. Preparations are underway for the AMoRE-II, a neutrinoless double beta decay experiment, scheduled to begin in Q2 2024 at Yemilab. Additionally, Yemilab includes a cylindrical pit with a volume of approximately 6,300 m$^3$, designed as a multipurpose laboratory for next-generation experiments involving neutrinos, dark matter, and related research. This article provides a focused overview of the construction and structure of Yemilab.

categories: astro-ph.IM hep-ex nucl-ex physics.ins-det


title: SaGE: Evaluating Moral Consistency in Large Language Models

abstract: Despite recent advancements showcasing the impressive capabilities of Large Language Models (LLMs) in conversational systems, we show that even state-of-the-art LLMs are morally inconsistent in their generations, questioning their reliability (and trustworthiness in general). Prior works in LLM evaluation focus on developing ground-truth data to measure accuracy on specific tasks. However, for moral scenarios that often lack universally agreed-upon answers, consistency in model responses becomes crucial for their reliability. To address this issue, we propose an information-theoretic measure called Semantic Graph Entropy (SaGE), grounded in the concept of "Rules of Thumb" (RoTs) to measure a model's moral consistency. RoTs are abstract principles learned by a model and can help explain their decision-making strategies effectively. To this extent, we construct the Moral Consistency Corpus (MCC), containing 50K moral questions, responses to them by LLMs, and the RoTs that these models followed. Furthermore, to illustrate the generalizability of SaGE, we use it to investigate LLM consistency on two popular datasets -- TruthfulQA and HellaSwag. Our results reveal that task-accuracy and consistency are independent problems, and there is a dire need to investigate these issues further.


title: RESTRuler: Towards Automatically Identifying Violations of RESTful Design Rules in Web APIs

abstract: RESTful APIs based on HTTP are one of the most important ways to make data and functionality available to applications and software services. However, the quality of the API design strongly impacts API understandability and usability, and many rules have been specified for this. While we have evidence for the effectiveness of many design rules, it is still difficult for practitioners to identify rule violations in their design. We therefore present RESTRuler, a Java-based open-source tool that uses static analysis to detect design rule violations in OpenAPI descriptions. The current prototype supports 14 rules that go beyond simple syntactic checks and partly rely on natural language processing. The modular architecture also makes it easy to implement new rules. To evaluate RESTRuler, we conducted a benchmark with over 2,300 public OpenAPI descriptions and asked 7 API experts to construct 111 complicated rule violations. For robustness, RESTRuler successfully analyzed 99% of the used real-world OpenAPI definitions, with some failing due to excessive size. For performance efficiency, the tool performed well for the majority of files and could analyze 84% in less than 23 seconds with low CPU and RAM usage. Lastly, for effectiveness, RESTRuler achieved a precision of 91% (ranging from 60% to 100% per rule) and recall of 68% (ranging from 46% to 100%). Based on these variations between rule implementations, we identified several opportunities for improvements. While RESTRuler is still a research prototype, the evaluation suggests that the tool is quite robust to errors, resource-efficient for most APIs, and shows good precision and decent recall. Practitioners can use it to improve the quality of their API design.


title: DSLR: Diversity Enhancement and Structure Learning for Rehearsal-based Graph Continual Learning

abstract: We investigate the replay buffer in rehearsal-based approaches for graph continual learning (GCL) methods. Existing rehearsal-based GCL methods select the most representative nodes for each class and store them in a replay buffer for later use in training subsequent tasks. However, we discovered that considering only the class representativeness of each replayed node makes the replayed nodes to be concentrated around the center of each class, incurring a potential risk of overfitting to nodes residing in those regions, which aggravates catastrophic forgetting. Moreover, as the rehearsal-based approach heavily relies on a few replayed nodes to retain knowledge obtained from previous tasks, involving the replayed nodes that have irrelevant neighbors in the model training may have a significant detrimental impact on model performance. In this paper, we propose a GCL model named DSLR, specifically, we devise a coverage-based diversity (CD) approach to consider both the class representativeness and the diversity within each class of the replayed nodes. Moreover, we adopt graph structure learning (GSL) to ensure that the replayed nodes are connected to truly informative neighbors. Extensive experimental results demonstrate the effectiveness and efficiency of DSLR. Our source code is available at https://github.com/seungyoon-Choi/DSLR_official.


title: On multiplicative dependence between elements of polynomial orbits

abstract: We classify the pairs of polynomials $f,g \in \mathbb{C}[X]$ having orbits satisfying infinitely many multiplicative dependence relations, extending a result of Ghioca, Tucker and Zieve. Moreover, we show that given $f_1,\ldots, f_n$ from a certain class of polynomials with integer coefficients, the vectors of indices $(m_1,\ldots,m_n)$ such that $f_1^{m_1}(0),\ldots,f_n^{m_n}(0)$ are multiplictively dependent are sparse. We also classify the pairs $f,g \in \mathbb{Q}[X]$ such that there are infinitely many $(x,y) \in \mathbb{Z}^2$ satisfying $f(x)^k=g(y)^\ell$ for some (possibly varying) non-zero integers $k,\ell$.


title: $S$-integral preperiodic points for monomial semigroups over number fields

abstract: We consider semigroup dynamical systems defined by several monnomials over a number field $K$. We prove a finiteness result for preperiodic points of such systems which are $S$-integral with respect to a non-preperiodic point $\beta$, which is uniform as $\beta$ varies over number fields of bounded degree. This generalises results of Baker, Ih and Rumely, which were made uniform by Yap, and verifies a special case of a natural generalisation of a conjecture of Ih.


title: An Evaluation of Large Language Models in Bioinformatics Research

abstract: Large language models (LLMs) such as ChatGPT have gained considerable interest across diverse research communities. Their notable ability for text completion and generation has inaugurated a novel paradigm for language-interfaced problem solving. However, the potential and efficacy of these models in bioinformatics remain incompletely explored. In this work, we study the performance LLMs on a wide spectrum of crucial bioinformatics tasks. These tasks include the identification of potential coding regions, extraction of named entities for genes and proteins, detection of antimicrobial and anti-cancer peptides, molecular optimization, and resolution of educational bioinformatics problems. Our findings indicate that, given appropriate prompts, LLMs like GPT variants can successfully handle most of these tasks. In addition, we provide a thorough analysis of their limitations in the context of complicated bioinformatics tasks. In conclusion, we believe that this work can provide new perspectives and motivate future research in the field of LLMs applications, AI for Science and bioinformatics.


title: Probabilistic Constellation Shaping for Enhancing Spectral Efficiency in NOMA VLC Systems

abstract: The limited modulation bandwidth of the light emitting diodes (LEDs) presents a challenge in the development of practical high-data-rate visible light communication (VLC) systems. In this paper, a novel adaptive coded probabilistic shaping (PS)-based nonorthogonal multiple access (NOMA) scheme is proposed to improve spectral efficiency (SE) of VLC systems in multiuser uplink communication scenarios. The proposed scheme adapts its rate to the optical signal-to-noise ratio (OSNR) by utilizing non-uniformly distributed discrete constellation symbols and low complexity channel encoder. Furthermore, an alternate optimization algorithm is proposed to determine the optimal channel coding rate, constellation spacing, and probability mass function (PMF) of each user. The extensive numerical results show that the proposed PS-based NOMA scheme closely approaches the capacity of NOMA with fine granularity. Presented results demonstrate the effectiveness of our scheme in improving the SE of VLC systems in multiuser scenarios. For instance, our scheme exhibits substantial SE gains over existing schemes, namely, the pairwise coded modulation (PCM), geometric shaping (GS), and uniform-distribution schemes. These findings highlight the potential of our approach to significantly enhance VLC systems.


title: Edge-Disjoint Paths in Eulerian Digraphs

abstract: Disjoint paths problems are among the most prominent problems in combinatorial optimization. The edge- as well as vertex-disjoint paths problem, are NP-complete on directed and undirected graphs. But on undirected graphs, Robertson and Seymour (Graph Minors XIII) developed an algorithm for the vertex- and the edge-disjoint paths problem that runs in cubic time for every fixed number $p$ of terminal pairs, i.e. they proved that the problem is fixed-parameter tractable on undirected graphs. On directed graphs, Fortune, Hopcroft, and Wyllie proved that both problems are NP-complete already for $p=2$ terminal pairs. In this paper, we study the edge-disjoint paths problem (EDPP) on Eulerian digraphs, a problem that has received significant attention in the literature. Marx (Marx 2004) proved that the Eulerian EDPP is NP-complete even on structurally very simple Eulerian digraphs. On the positive side, polynomial time algorithms are known only for very restricted cases, such as $p\leq 3$ or where the demand graph is a union of two stars (see e.g. Ibaraki, Poljak 1991; Frank 1988; Frank, Ibaraki, Nagamochi 1995). The question of which values of $p$ the edge-disjoint paths problem can be solved in polynomial time on Eulerian digraphs has already been raised by Frank, Ibaraki, and Nagamochi (1995) almost 30 years ago. But despite considerable effort, the complexity of the problem is still wide open and is considered to be the main open problem in this area (see Chapter 4 of Bang-Jensen, Gutin 2018 for a recent survey). In this paper, we solve this long-open problem by showing that the Edge-Disjoint Paths Problem is fixed-parameter tractable on Eulerian digraphs in general (parameterized by the number of terminal pairs). The algorithm itself is reasonably simple but the proof of its correctness requires a deep structural analysis of Eulerian digraphs.