Search

This paper presents a semi-automatic approach to create a diachronic corpus of voices balanced for speaker's age, gender, and recording period, according to 32 categories (2 genders, 4 age ranges and 4 recording periods). Corpora were selected at French National Institute of Audiovisual (INA) to obtain at least 30 speakers per category (a total of 960 speakers; only 874 have be found yet). For each speaker, speech excerpts were extracted from audiovisual documents using an automatic pipeline consisting of speech detection, background music and overlapped speech removal and speaker diarization, used to present clean speaker segments to human annotators identifying target speakers. This pipeline proved highly effective, cutting down manual processing by a factor of ten. Evaluation of the quality of the automatic processing and of the final output is provided. It shows the automatic processing compare to up-to-date process, and that the output provides high quality speech for most of the selected excerpts. This method shows promise for creating large corpora of known target speakers., Comment: Keywords:, semi-automatic processing, corpus creation, diarization, speaker identification, gender-balanced, age-balanced, speaker corpus, diachrony

This paper proposes the context driven Critical Integrative Levels (CIL), a novel approach to lighting asset management in public libraries that aligns with the transformative vision of human-centric and integrative lighting. This approach encompasses not only the visual aspects of lighting performance but also prioritizes the physiological and psychological well-being of library users. Incorporating a newly defined metric, Mean Time of Exposure (MTOE), the approach quantifies user-light interaction, enabling tailored lighting strategies that respond to diverse activities and needs in library spaces. Case studies demonstrate how the CIL matrix can be practically applied, offering significant improvements over conventional methods by focusing on optimized user experiences from both visual impacts and non-visual effects.

Real world testing is of vital importance to the success of automated driving. While many players in the business design purpose build testing vehicles, we designed and build a modular platform that offers high flexibility for any kind of scenario. CoCar NextGen is equipped with next generation hardware that addresses all future use cases. Its extensive, redundant sensor setup allows to develop cross-domain data driven approaches that manage the transfer to other sensor setups. Together with the possibility of being deployed on public roads, this creates a unique research platform that supports the road to automated driving on SAE Level 5.

At the moment, there are two neutron star X-ray binaries with massive red supergiants as donors. De et al. (2023) proposed that the system SWIFT J0850.8-4219 contains a neutron star at the propeller stage. We study this possibility by applying various models of propeller spin-down. We demonstrate that the duration of the propeller stage is very sensitive to the regime of rotational losses. Only in the case of a relatively slow propeller model proposed by Davies and Pringle (1981), the duration of the propeller is long enough to provide a significant probability to observe the system at this stage. Future determination of the system parameters (orbital and spin periods, magnetic field of the compact object, etc.) will allow putting strong constraints on the propeller behavior., Comment: 20 pages, submitted to Universe, revised version after the first referee report

The increasing concerns of knowledge transfer and data privacy challenge the traditional gather-and-analyse paradigm in networks. Specifically, the intelligent orchestration of Virtual Network Functions (VNFs) requires understanding and profiling the resource consumption. However, profiling all kinds of VNFs is time-consuming. It is important to consider transferring the well-profiled VNF knowledge to other lack-profiled VNF types while keeping data private. To this end, this paper proposes a Federated Transfer Component Analysis (FTCA) method between the source and target VNFs. FTCA first trains Generative Adversarial Networks (GANs) based on the source VNF profiling data, and the trained GANs model is sent to the target VNF domain. Then, FTCA realizes federated domain adaptation by using the generated source VNF data and less target VNF profiling data, while keeping the raw data locally. Experiments show that the proposed FTCA can effectively predict the required resources for the target VNF. Specifically, the RMSE index of the regression model decreases by 38.5% and the R-squared metric advances up to 68.6%.

While the recent demonstration of accurate computations of classically intractable simulations on noisy quantum processors brings quantum advantage closer, there is still the challenge of demonstrating it for practical problems. Here we investigate the application of noisy intermediate-scale quantum devices for simulating nuclear magnetic resonance (NMR) experiments in the high-field regime. In this work, the NMR interactions are mapped to a quantum device via a product formula with minimal resource overhead, an approach that we discuss in detail. Using this approach, we show the results of simulations of liquid-state proton NMR spectra on relevant molecules with up to 11 spins, and up to a total of 47 atoms, and compare them with real NMR experiments. Despite current limitations, we show that a similar approach will eventually lead to a case of quantum utility, a scenario where a practically relevant computational problem can be solved by a quantum computer but not by conventional means. We provide an experimental estimation of the amount of quantum resources needed for solving larger instances of the problem with the presented approach. The polynomial scaling we demonstrate on real processors is a foundational step in bringing practical quantum computation closer to reality., Comment: 10 pages, 5 figures

Public policy decision making has become more complex and complicated in recent times. Some authors have attributed this to the fact that public policy decision makers now have more variables to consider in every decision more than ever before. Others have argued that the rate of civilization, globalization and information technology has made the public to be more enlightened and abreast with the activities of government and so can oppose government decisions if they are unfavourable. This tends to increase government need for more and better information in order to satisfy the public. Consequently, this paper examined the issue of fuel subsidy removal in Nigeria, the impact of the policy on the public as well as the country and the role marketing principles would have played if the Nigerian government had taken some time to investigate what should be done, how it should be done and when it should be done. It also proposed a roadmap for future policies that have direct implications for the general public., Comment: 9 Pages

In this paper, we examine a compact $U(1)$ lattice gauge theory in $(2+1)$ dimensions and present a strategy for studying the running coupling and extracting the non-perturbative $\Lambda$-parameter. To this end, we combine Monte Carlo simulations and quantum computing, where the former can be used to determine the numerical value of the lattice spacing $a$, and the latter allows for reaching the perturbative regime at very small values of the bare coupling and, correspondingly, small values of $a$. The methodology involves a series of sequential steps (i.e., the step scaling function) to bridge results from small lattice spacings to non-perturbative large-scale lattice calculations. To address the model on current and near-future quantum devices, we propose variational Ansatz circuits adapted to gauge degrees of freedom. Focusing on the pure gauge case, we demonstrate that these quantum circuits are able to capture the relevant physics by studying the expectation value of the plaquette operator, for matching with corresponding Monte Carlo simulations. We also present results for the static potential and static force, which can be related to the renormalized coupling. The procedure outlined in this work can be extended to Abelian and non-Abelian lattice gauge theories with matter fields and might provide a way towards studying lattice quantum chromodynamics utilizing both quantum and classical methods., Comment: 19 pages, 25 figures

The emerging concept of 3D networks, integrating terrestrial, aerial, and space layers, introduces a novel and complex structure characterized by stations relaying backhaul loads through point-to-point wireless links, forming a wireless 3D backhaul mesh. A key challenge is the strategic placement of aerial platform such as drone base stations (DBSs), considering the locations and service demands of ground nodes and the connectivity to backhaul gateway nodes for core network access. This paper addresses these complexities with a two-fold approach: a novel Agglomerative Hierarchical Clustering (HC) algorithm that optimizes DBS locations to satisfy minimum backhaul adjacency and maximum fronthaul coverage radius requirements; and a Genetic Algorithm (GA) that designs backhaul connections to satisfy the cumulative load across the network and maximize the throughput margin which translates to network resilience to increasing demands. Our results showcase the effectiveness of these algorithms against benchline schemes, offering insights into the operational dynamics of these novel 3D networks.

Numerous capability and safety techniques of Large Language Models (LLMs), including RLHF, automated red-teaming, prompt engineering, and infilling, can be cast as sampling from an unnormalized target distribution defined by a given reward or potential function over the full sequence. In this work, we leverage the rich toolkit of Sequential Monte Carlo (SMC) for these probabilistic inference problems. In particular, we use learned twist functions to estimate the expected future value of the potential at each timestep, which enables us to focus inference-time computation on promising partial sequences. We propose a novel contrastive method for learning the twist functions, and establish connections with the rich literature of soft reinforcement learning. As a complementary application of our twisted SMC framework, we present methods for evaluating the accuracy of language model inference techniques using novel bidirectional SMC bounds on the log partition function. These bounds can be used to estimate the KL divergence between the inference and target distributions in both directions. We apply our inference evaluation techniques to show that twisted SMC is effective for sampling undesirable outputs from a pretrained model (a useful component of harmlessness training and automated red-teaming), generating reviews with varied sentiment, and performing infilling tasks.

Write-optimized dictionaries are a class of cache-efficient data structures that buffer updates and apply them in batches to optimize the amortized cache misses per update. For example, a B^epsilon tree inserts updates as messages at the root. B^epsilon trees only move ("flush") messages when they have total size close to a cache line, optimizing the amount of work done per cache line written. Thus, recently-inserted messages reside at or near the root and are only flushed down the tree after a sufficient number of new messages arrive. Although this lazy approach works well for many operations, some types of updates do not complete until the update message reaches a leaf. For example, deferred queries and secure deletes must flush through all nodes along their root-to-leaf path before taking effect. What happens when we want to service a large number of (say) secure deletes as quickly as possible? Classic techniques leave us with an unsavory choice. On the one hand, we can group the delete messages using a write-optimized approach and move them down the tree lazily. But then many individual deletes may be left incomplete for an extended period of time, as their messages wait to be grouped with a sufficiently large number of related messages. On the other hand, we can ignore cache efficiency and perform a root-to-leaf flush for each delete. This begins work on individual deletes immediately, but harms system throughput. This paper investigates a new framework for efficiently flushing collections of messages from the root to their leaves in a write-optimized data structure. Our goal is to minimize the average time that messages reach the leaves. We give an algorithm that O(1)-approximates the optimal average completion time in this model. Along the way, we give a new 4-approximation algorithm for scheduling parallel tasks for weighted completion time with tree precedence constraints.

Particle-based methods are a practical tool in computational fluid dynamics, and novel types of methods have been proposed. However, widely developed Lagrangian-type formulations suffer from the nonuniform distribution of particles, which is enhanced over time and result in problems in computational efficiency and parallel computations. To mitigate these problems, a mesh-constrained discrete point (MCD) method was developed for stationary boundary problems (Matsuda et al., 2022). Although the MCD method is a meshless method that uses moving least-squares approximation, the arrangement of particles (or discrete points (DPs)) is specialized so that their positions are constrained in background meshes to obtain a closely uniform distribution. This achieves a reasonable approximation for spatial derivatives with compact stencils without encountering any ill-posed condition and leads to good performance in terms of computational efficiency. In this study, a novel meshless method based on the MCD method for incompressible flows with moving boundaries is proposed. To ensure the mesh constraint of each DP in moving boundary problems, a novel updating algorithm for the DP arrangement is developed so that the position of DPs is not only rearranged but the DPs are also reassigned the role of being on the boundary or not. The proposed method achieved reasonable results in numerical experiments for well-known moving boundary problems.

We demonstrate that valid inequalities, or lifted nonlinear cuts (LNC), can be projected to tighten the Second Order Cone (SOC), Convex DistFlow (CDF), and Network Flow (NF) relaxations of the AC Optimal Power Flow (AC-OPF) problem. We conduct experiments on 36 cases from the PGLib-OPF library for two objective functions, (1) power generation maximization and (2) generation cost minimization. Significant optimality gap improvements are shown for the maximization problem, where the LNC strengthen the SOC and CDF relaxations in 100% of the test cases, with average and maximum differences in the optimality gaps of 23.1% and 93.5% respectively. The NF relaxation is strengthened in 79.2% of test cases, with average and maximum differences in the optimality gaps of 3.45% and 21.2% respectively. We also study the trade-off between relaxation quality and solve time, demonstrating that the strengthened CDF relaxation outperforms the strengthened SOC formulation in terms of runtime and number of iterations needed, while the strengthened NF formulation is the most scalable with the lowest relaxation quality provided by these LNC.

In this work, we study the iteration complexity of gradient methods minimizing the class of uniformly convex regularized quadratic functions. We prove lower bounds on the functional residual of the form $\Omega(N^{-2p/(p-2)})$, where $p > 2$ is the power of the regularization term, and $N$ is the number of calls to a first-order oracle. A special case of our problem class is $p=3$, which is the minimization of cubically regularized convex quadratic functions. It naturally appears as a subproblem at each iteration of the cubic Newton method. The corresponding lower bound for $p = 3$ becomes $\Omega(N^{-6})$. Our result matches the best-known upper bounds on this problem class, rendering a sharp analysis of the minimization of uniformly convex regularized quadratic functions. We also establish new lower bounds on minimizing the gradient norm within our framework.

Context. Recent studies of the optical depth comparing [12CII] and [13CII] line profiles in Galactic star-forming regions revealed strong self-absorption in [12CII] by low excitation foreground material, implying a large column density of C+ corresponding to an equivalent AV of a few, up to about 10 mag. Aims. As the nature and origin of such a large column of cold C+ foreground gas are difficult to explain, it is essential to constrain the physical conditions of this material. Methods. We conducted high-resolution observations of [OI] 63 um and [OI] 145 um lines in M17 SW and Mon R2. The [OI] 145 um transition traces warm PDR-material, while the [OI] 63 um line traces foreground material as manifested by absorption dips. Results. Comparison of both [OI] line profiles with [CII] isotopic lines confirms warm PDR-origin background emission and a significant column of cold foreground material causing self-absorption visible in [12CII] and [OI] 63 um profiles. In M17 SW, the C+ and O column densities are comparable for both layers. Mon R2 exhibits larger O columns compared to C+, indicating additional material where the carbon is neutral or in molecular form. Small-scale spatial variation of the foreground absorption profiles and the large column density (around 1E18 cm-2 ) of the foreground material suggest emission from high-density regions associated with the cloud complex, not a uniform diffuse foreground cloud. Conclusions. The analysis confirms that the previously detected intense [CII] foreground absorption is attributable to a large column of low excitation dense atomic material, where carbon is ionized, and oxygen is in neutral atomic form., Comment: 30 pages, 24 figures

The discovery of topological semimetals with multifold band crossings has opened up a new and exciting frontier in the field of topological physics. These materials exhibit large Chern numbers, leading to long double Fermi arcs on their surfaces, which are protected by either crystal symmetries or topological order. The impact of these multifold crossings extends beyond surface science, as they are not constrained by the Poincar\'e classification of quasiparticles and only need to respect the crystal symmetry of one of the 1651 magnetic space groups. Consequently, we observe the emergence of free fermionic excitations in solid-state systems that have no high-energy counterparts, protected by non-symmorphic symmetries. In this work, we review the recent theoretical and experimental progress made in the field of multifold topological semimetals. We begin with the theoretical prediction of the so-called multifold fermions and discuss the subsequent discoveries of chiral and magnetic topological semimetals. Several experiments that have realized chiral semimetals in spectroscopic measurements are described, and we discuss the future prospects of this field. These exciting developments have the potential to deepen our understanding of the fundamental properties of quantum matter and inspire new technological applications in the future., Comment: 9 pages, 2 figures

We prove that the Feynman category encoding Schwarz's variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting.

The recently introduced class of architectures known as Neural Operators has emerged as highly versatile tools applicable to a wide range of tasks in the field of Scientific Machine Learning (SciML), including data representation and forecasting. In this study, we investigate the capabilities of Neural Implicit Flow (NIF), a recently developed mesh-agnostic neural operator, for representing the latent dynamics of canonical systems such as the Kuramoto-Sivashinsky (KS), forced Korteweg-de Vries (fKdV), and Sine-Gordon (SG) equations, as well as for extracting dynamically relevant information from them. Finally we assess the applicability of NIF as a dimensionality reduction algorithm and conduct a comparative analysis with another widely recognized family of neural operators, known as Deep Operator Networks (DeepONets)., Comment: Accepted into the International conference on Scientific Computation and Machine Learning 2024 (SCML 2024)

In this note, we show that there exist non-unital right artinian rings which are not generalized Rickart. In particular, we provide examples to show that, [16, Corollary 2.31] is not true for non-unital artinian rings.

We consider the following classical conjecture of Besicovitch: a $1$-dimensional Borel set in the plane with finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$ which has lower density strictly larger than $\frac{1}{2}$ almost everywhere must be countably rectifiable. We improve the best known bound, due to Preiss and Ti\v{s}er, showing that the statement is indeed true if $\frac{1}{2}$ is replaced by $\frac{7}{10}$ (in fact we improve the Preiss-Ti\v{s}er bound even for the corresponding statement in general metric spaces). More importantly, we propose a family of variational problems to produce the latter and many other similar bounds and we study several properties of them, paving the way for further improvements., Comment: 42 pages + appendix, 10 figures. Comments are welcome

Large Vision-Language Models (LVLMs) are gaining traction for their remarkable ability to process and integrate visual and textual data. Despite their popularity, the capacity of LVLMs to generate precise, fine-grained textual descriptions has not been fully explored. This study addresses this gap by focusing on \textit{distinctiveness} and \textit{fidelity}, assessing how models like Open-Flamingo, IDEFICS, and MiniGPT-4 can distinguish between similar objects and accurately describe visual features. We proposed the Textual Retrieval-Augmented Classification (TRAC) framework, which, by leveraging its generative capabilities, allows us to delve deeper into analyzing fine-grained visual description generation. This research provides valuable insights into the generation quality of LVLMs, enhancing the understanding of multimodal language models. Notably, MiniGPT-4 stands out for its better ability to generate fine-grained descriptions, outperforming the other two models in this aspect. The code is provided at \url{https://anonymous.4open.science/r/Explore_FGVDs-E277}., Comment: 11 pages, 9 figures, 6 tables. For associated code, see https://anonymous.4open.science/r/Explore_FGVDs-E277

We establish new mean curvature rigidity theorems of spin fill-ins with non-negative scalar curvature using two different spinorial techniques. Our results address two questions by Miao and Gromov, respectively. The first technique is based on extending boundary spinors satisfying a generalized eigenvalue equation via the Fredholm alternative for an APS boundary value problem, while the second is a comparison result in the spirit of Llarull and Lott using index theory. We also show that the latter implies a new Witten-type integral inequality for the mass of an asymptotically Schwarzschild manifold which holds even when the scalar curvature is not assumed to be non-negative., Comment: 20 pages

New Radio (NR) Vehicle-to-Everything (V2X) Sidelink (SL), an integral part of the 5G NR standard, is expected to revolutionize the automotive and rail industries by enabling direct and low-latency exchange of critical information between traffic participants independently of cellular networks. However, this advancement depends primarily on efficient SL resource allocation. Mode 2(a) is a well-known method for this purpose, where each node autonomously selects resources. However, this method is prone to packet collisions due to the hidden-node problem. In this paper, we propose a cooperative scheduling method that could potentially address this issue. We describe an extension of Mode 2(a) that allows nodes to share resource allocation information at two hops. Initial simulation results show a promising improvement over Mode 2(a).

The notion of quasi-Poisson $G$-spaces with $D/G$-valued moment maps was introduced by Alekseev and Kosmann-Schwarzbach in 1999. Our main result is a \emph{Lifting Theorem}, establishing a bijective correspondence between the categories of quasi-Poisson $G$-spaces with $D/G$-valued moment maps and of quasi-Poisson $G\times G$-spaces with $D$-valued moment maps. Using this result, we give simple constructions of fusion and conjugation for these spaces, and new examples coming from moduli spaces., Comment: 42 pages

Global magnetic fields of early-type stars are commonly characterised by the mean longitudinal magnetic field $\langle B_{\rm z} \rangle$ and the mean field modulus $\langle B \rangle$, derived from the circular polarisation and intensity spectra, respectively. Observational studies often report a root mean square (rms) of $\langle B_{\rm z} \rangle$ and an average value of $\langle B \rangle$. In this work, I used numerical simulations to establish statistical relationships between these cumulative magnetic observables and the polar strength, $B_{\rm d}$, of a dipolar magnetic field. I show that in the limit of many measurements randomly distributed in rotational phase, $\langle B_{\rm z} \rangle_{\rm rms}$=$0.179^{+0.031}_{-0.043}$$B_{\rm d}$ and $\langle B \rangle_{\rm avg}$=$0.691^{+0.020}_{-0.023}$$B_{\rm d}$. The same values can be recovered with only three measurements, provided that the observations are distributed uniformly in the rotational phase. These conversion factors are suitable for ensemble analyses of large stellar samples, where each target is covered by a small number of magnetic measurements., Comment: 5 pages, 3 figures; accepted for publication in A&A

The Floquet exponents of periodic field lines are studied through the variations of the magnetic action on the magnetic axis, which is assumed to be elliptical. The near-axis formalism developed by Mercier, Solov'ev and Shafranov is combined with a Lagrangian approach. The on-axis Floquet exponent is shown to coincide with the on-axis rotational transform, and this is a coordinate-independent result. A discrete solution suitable for numerical implementation is introduced, which gives the Floquet exponents as solutions to an eigenvalue problem. This discrete formalism expresses the exponents as the eigenvalues of a $6\times 6$ matrix.

Generalizable NeRF aims to synthesize novel views for unseen scenes. Common practices involve constructing variance-based cost volumes for geometry reconstruction and encoding 3D descriptors for decoding novel views. However, existing methods show limited generalization ability in challenging conditions due to inaccurate geometry, sub-optimal descriptors, and decoding strategies. We address these issues point by point. First, we find the variance-based cost volume exhibits failure patterns as the features of pixels corresponding to the same point can be inconsistent across different views due to occlusions or reflections. We introduce an Adaptive Cost Aggregation (ACA) approach to amplify the contribution of consistent pixel pairs and suppress inconsistent ones. Unlike previous methods that solely fuse 2D features into descriptors, our approach introduces a Spatial-View Aggregator (SVA) to incorporate 3D context into descriptors through spatial and inter-view interaction. When decoding the descriptors, we observe the two existing decoding strategies excel in different areas, which are complementary. A Consistency-Aware Fusion (CAF) strategy is proposed to leverage the advantages of both. We incorporate the above ACA, SVA, and CAF into a coarse-to-fine framework, termed Geometry-aware Reconstruction and Fusion-refined Rendering (GeFu). GeFu attains state-of-the-art performance across multiple datasets. Code is available at https://github.com/TQTQliu/GeFu ., Comment: Accepted by CVPR 2024. Project page: https://gefucvpr24.github.io

Our main technical contribution is a polynomial-time determinisation procedure for history-deterministic B\"uchi automata, which settles an open question of Kuperberg and Skrzypczak, 2015. A key conceptual contribution is the lookahead game, which is a variant of Bagnol and Kuperberg's token game, in which Adam is given a fixed lookahead. We prove that the lookahead game is equivalent to the 1-token game. This allows us to show that the 1-token game characterises history-determinism for semantically-deterministic B\"uchi automata, which paves the way to our polynomial-time determinisation procedure., Comment: Full version of paper accepted at ICALP 2024

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded algebras over operads or properads, possibly colored in groupoids. The present treatment generalizes the previous obstruction classes in two directions: outside characteristic zero and including a wider range of algebraic structures. This enables us to establish novel formality criteria, including formality descent with torsion coefficients, formality in families, intrinsic formality, and criteria in terms of chain-level lifts of homology automorphism., Comment: 46 pages

We consider a system of particles performing a one-dimensional dyadic branching Brownian motion with positive drift $\beta\in(0,1)$, branching rate 1/2, killed at $L(\beta)>0$, and reflected at 0. The killing boundary $L(\beta)$ is chosen so that the total population size is approximately constant, proportional to $N\in\mathbb{N}$. This branching system is interpreted as a population accumulating deleterious mutations. We prove that, when the typical width of the cloud of particles is of order $c\log(N)$, $c\in(0,1)$, the demographic fluctuations of the system converge to a Feller diffusion on the time scale $N^{1-c}$. In addition, we show that the limiting genealogy of the system comprises only binary mergers and that these mergers are concentrated in the vicinity of the reflective boundary. This model is a version of the branching Brownian motion with absorption studied by Berestycki, Berestycki and Schweinsberg to describe the effect of natural selection on the genealogy of a population accumulating beneficial mutations. In the latter case, the genealogical structure of the system is described by a Bolthausen-Sznitman coalescent on a logarithmic time scale. In this work, we show that, when the population size in the fittest class is mesoscopic, namely of order $N^{1-c}$, the genealogy of the system is given by a Kingman coalescent on a polynomial time scale., Comment: 38 pages, 4 figures

This paper provides a thorough examination of the $xF_3$ structure functions in deep-inelastic scattering through a comprehensive QCD analysis. Our approach harnesses sophisticated mathematical techniques, namely the Mellin transform combined with Gegenbauer polynomials. We have employed the Jacobi polynomials approach for analysis, conducting investigations at three levels of precision: Next-to-Leading Order (NLO), Next-to-Next-to-Leading Order (N$^2$LO), and Next-Next-Next-to-Leading Order (N$^3$LO). We have performed a comparison of our sets of valence-quark parton distribution functions with those of recent research groups, specifically CT18 and MSHT20 at NLO and N$^2$LO, and MSTH23 at N$^3$LO, which are concurrent with our current analysis. The combination of Mellin transforms with Gegenbauer polynomials proves to be a powerful tool for investigating the $xF_3$ structure functions in deep-inelastic scattering and the results obtained from our analysis demonstrate a favorable alignment with experimental data., Comment: 9 pages, 8 figures, 2 tables

Conventional mechanical design paradigms rely on experts systematically refining concepts through experience-guided modification and FEA to meet specific requirements. However, this approach can be time-consuming and heavily dependent on prior knowledge and experience. While numerous machine learning models have been developed to streamline this intensive and expert-driven iterative process, these methods typically demand extensive training data and considerable computational resources. Furthermore, methods based on deep learning are usually restricted to the specific domains and tasks for which they were trained, limiting their applicability across different tasks. This creates a trade-off between the efficiency of automation and the demand for resources. In this study, we present a novel approach that integrates pre-trained LLMs with a FEM module. The FEM module evaluates each design and provides essential feedback, guiding the LLMs to continuously learn, plan, generate, and optimize designs without the need for domain-specific training. We demonstrate the effectiveness of our proposed framework in managing the iterative optimization of truss structures, showcasing its capability to reason about and refine designs according to structured feedback and criteria. Our results reveal that these LLM-based agents can successfully generate truss designs that comply with natural language specifications with a success rate of up to 90%, which varies according to the applied constraints. By employing prompt-based optimization techniques we show that LLM based agents exhibit optimization behavior when provided with solution-score pairs to iteratively refine designs to meet specifications. This ability of LLM agents to produce viable designs and optimize them based on their inherent reasoning capabilities highlights their potential to develop and implement effective design strategies autonomously.

Capability ontologies are increasingly used to model functionalities of systems or machines. The creation of such ontological models with all properties and constraints of capabilities is very complex and can only be done by ontology experts. However, Large Language Models (LLMs) have shown that they can generate machine-interpretable models from natural language text input and thus support engineers / ontology experts. Therefore, this paper investigates how LLMs can be used to create capability ontologies. We present a study with a series of experiments in which capabilities with varying complexities are generated using different prompting techniques and with different LLMs. Errors in the generated ontologies are recorded and compared. To analyze the quality of the generated ontologies, a semi-automated approach based on RDF syntax checking, OWL reasoning, and SHACL constraints is used. The results of this study are very promising because even for complex capabilities, the generated ontologies are almost free of errors.

Mercury is notoriously difficult to form in solar system simulations, due to its small mass and iron-rich composition. Smooth particle hydrodynamics simulations of collisions have found that a Mercury-like body could be formed by one or multiple giant impacts, but due to the chaotic nature of collisions it is difficult to create a scenario where such impacts will take place. Recent work has found more success forming Mercury analogues by adding additional embryos near Mercury's orbit. In this work, we aim to form Mercury by simulating the formation of the solar system in the presence of the giant planets Jupiter and Saturn. We test out the effect of an inner disk of embryos added on to the commonly-used narrow annulus of initial material. We form Mercury analogues with core-mass fractions (CMF) $> 0.4$ in $\sim 10\%$ of our simulations, and twice that number of Mercury analogues form during the formation process, but are unstable and do not last to the end of the simulations. Mercury analogues form at similar rates for both disks with and without an inner component, and most of our Mercury analogues have lower CMF than that of Mercury, $\sim 0.7$, due to significant accretion of debris material. We suggest that a more in-depth understanding of the fraction of debris mass that is lost to collisional grinding is necessary to understand Mercury's formation, or some additional mechanism is required to stop this debris from accreting., Comment: 15 pages, accepted for publication in ApJ

Autonomous robotic systems capable of learning novel manipulation tasks are poised to transform industries from manufacturing to service automation. However, modern methods (e.g., VIP and R3M) still face significant hurdles, notably the domain gap among robotic embodiments and the sparsity of successful task executions within specific action spaces, resulting in misaligned and ambiguous task representations. We introduce Ag2Manip (Agent-Agnostic representations for Manipulation), a framework aimed at surmounting these challenges through two key innovations: a novel agent-agnostic visual representation derived from human manipulation videos, with the specifics of embodiments obscured to enhance generalizability; and an agent-agnostic action representation abstracting a robot's kinematics to a universal agent proxy, emphasizing crucial interactions between end-effector and object. Ag2Manip's empirical validation across simulated benchmarks like FrankaKitchen, ManiSkill, and PartManip shows a 325% increase in performance, achieved without domain-specific demonstrations. Ablation studies underline the essential contributions of the visual and action representations to this success. Extending our evaluations to the real world, Ag2Manip significantly improves imitation learning success rates from 50% to 77.5%, demonstrating its effectiveness and generalizability across both simulated and physical environments., Comment: Project website and open-source code: https://xiaoyao-li.github.io/research/ag2manip

This research explores the application of Large Language Models (LLMs) for automating the extraction of requirement-related legal content in the food safety domain and checking legal compliance of regulatory artifacts. With Industry 4.0 revolutionizing the food industry and with the General Data Protection Regulation (GDPR) reshaping privacy policies and data processing agreements, there is a growing gap between regulatory analysis and recent technological advancements. This study aims to bridge this gap by leveraging LLMs, namely BERT and GPT models, to accurately classify legal provisions and automate compliance checks. Our findings demonstrate promising results, indicating LLMs' significant potential to enhance legal compliance and regulatory analysis efficiency, notably by reducing manual workload and improving accuracy within reasonable time and financial constraints., Comment: to be published in 32nd IEEE International Requirements Engineering 2024 Conference (RE'24) - Doctoral Symposium. arXiv admin note: text overlap with arXiv:2404.14356

As autonomous driving technology progresses, the need for precise trajectory prediction models becomes paramount. This paper introduces an innovative model that infuses cognitive insights into trajectory prediction, focusing on perceived safety and dynamic decision-making. Distinct from traditional approaches, our model excels in analyzing interactions and behavior patterns in mixed autonomy traffic scenarios. It represents a significant leap forward, achieving marked performance improvements on several key datasets. Specifically, it surpasses existing benchmarks with gains of 16.2% on the Next Generation Simulation (NGSIM), 27.4% on the Highway Drone (HighD), and 19.8% on the Macao Connected Autonomous Driving (MoCAD) dataset. Our proposed model shows exceptional proficiency in handling corner cases, essential for real-world applications. Moreover, its robustness is evident in scenarios with missing or limited data, outperforming most of the state-of-the-art baselines. This adaptability and resilience position our model as a viable tool for real-world autonomous driving systems, heralding a new standard in vehicle trajectory prediction for enhanced safety and efficiency., Comment: Accepted by IJCAI 2024

Deep learning methods have recently been used to construct non-linear codes for the additive white Gaussian noise (AWGN) channel with feedback. However, there is limited understanding of how these black-box-like codes with many learned parameters use feedback. This study aims to uncover the fundamental principles underlying the first deep-learned feedback code, known as Deepcode, which is based on an RNN architecture. Our interpretable model based on Deepcode is built by analyzing the influence length of inputs and approximating the non-linear dynamics of the original black-box RNN encoder. Numerical experiments demonstrate that our interpretable model -- which includes both an encoder and a decoder -- achieves comparable performance to Deepcode while offering an interpretation of how it employs feedback for error correction., Comment: Accepted to the 2024 ISIT conference

The identification of extragalactic fast optical transients (eFOTs) as potential multi-messenger sources is one of the main challenges in time-domain astronomy. However, recent developments have allowed for probes of rapidly-evolving transients. With the increasing number of alert streams from optical time-domain surveys, the next paradigm is building technologies to rapidly identify the most interesting transients for follow-up. One effort to make this possible is the fitting of objects to a variety of eFOT lightcurve models such as kilonovae and $\gamma$-ray burst (GRB) afterglows. In this work, we describe a new framework designed to efficiently fit transients to light curve models and flag them for further follow-up. We describe the pipeline's workflow and a handful of performance metrics, including the nominal sampling time for each model. We highlight as examples ZTF20abwysqy, the shortest long gamma ray burst discovered to date, and ZTF21abotose, a core-collapse supernova initially identified as a potential kilonova candidate., Comment: Accepted to MNRAS, 11 pages, 9 figures

In this paper we first consider hyperfinite Borel equivalence relations with a pair of Borel $\mathbb{Z}$-orderings. We define a notion of compatibility between such pairs, and prove a dichotomy theorem which characterizes exactly when a pair of Borel $\mathbb{Z}$-orderings are compatible with each other. We show that, if a pair of Borel $\mathbb{Z}$-orderings are incompatible, then a canonical incompatible pair of Borel $\mathbb{Z}$-orderings of $E_0$ can be Borel embedded into the given pair. We then consider hyperfinite-over-finite equivalence relations, which are countable Borel equivalence relations admitting Borel $\mathbb{Z}^2$-orderings. We show that if a hyperfinite-over-hyperfinite equivalence relation $E$ admits a Borel $\mathbb{Z}^2$-ordering which is compatible with itself, then $E$ is hyperfinite.

Event reasoning is a fundamental ability that underlies many applications. It requires event schema knowledge to perform global reasoning and needs to deal with the diversity of the inter-event relations and the reasoning paradigms. How well LLMs accomplish event reasoning on various relations and reasoning paradigms remains unknown. To mitigate this disparity, we comprehensively evaluate the abilities of event reasoning of LLMs. We introduce a novel benchmark EV2 for EValuation of EVent reasoning. EV2 consists of two levels of evaluation of schema and instance and is comprehensive in relations and reasoning paradigms. We conduct extensive experiments on EV2. We find that LLMs have abilities to accomplish event reasoning but their performances are far from satisfactory. We also notice the imbalance of event reasoning abilities in LLMs. Besides, LLMs have event schema knowledge, however, they're not aligned with humans on how to utilize the knowledge. Based on these findings, we introduce two methods to guide the LLMs to utilize the event schema knowledge. Both methods achieve improvements.

This paper investigates the impossibility of certain $({n^2+n+k}_{n+1})$ configurations. Firstly, for $k=2$, the result of \cite{gropp1992non} that $\frac{n^2+n}{2}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{2}$ is odd and $n-1$ is a perfect square is reproved using the incidence matrix $N$ and analysing the form of $N^TN$. Then, for all $k$, configurations where paralellism is a transitive property are considered. It is then analogously established that if $n\equiv0$ or $n\equiv k-1$ mod $k$ for $k$ even, then $\frac{n^2+n}{k}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{k}$ is odd and $n-(k-1)$ is a perfect square. Finally, the case $k=3$ is investigated in full generality.

For general non-Hermitian random matrices $X$ and deterministic deformation matrices $A$, we prove that the local eigenvalue statistics of $A+X$ close to the typical edge points of its spectrum are universal. Furthermore, we show that under natural assumptions on $A$ the spectrum of $A+X$ does not have outliers at a distance larger than the natural fluctuation scale of the eigenvalues. As a consequence, the number of eigenvalues in each component of $\mathrm{Spec}(A+X)$ is deterministic., Comment: 50 pages

In the classic Correlation Clustering problem introduced by Bansal, Blum, and Chawla~(FOCS 2002), the input is a complete graph where edges are labeled either $+$ or $-$, and the goal is to find a partition of the vertices that minimizes the sum of the +edges across parts plus the sum of the -edges within parts. In recent years, Chawla, Makarychev, Schramm and Yaroslavtsev~(STOC 2015) gave a 2.06-approximation by providing a near-optimal rounding of the standard LP, and Cohen-Addad, Lee, Li, and Newman~(FOCS 2022, 2023) finally bypassed the integrality gap of 2 for this LP giving a $1.73$-approximation for the problem. In order to create a simple and unified framework for Correlation Clustering similar to those for {\em typical} approximate optimization tasks, we propose the {\em cluster LP} as a strong linear program that might tightly capture the approximability of Correlation Clustering. It unifies all the previous relaxations for the problem. We demonstrate the power of the cluster LP by presenting a simple rounding algorithm, and providing two analyses, one analytically proving a 1.49-approximation and the other solving a factor-revealing SDP to show a 1.437-approximation. Both proofs introduce principled methods by which to analyze the performance of the algorithm, resulting in a significantly improved approximation guarantee. Finally, we prove an integrality gap of $4/3$ for the cluster LP, showing our 1.437-upper bound cannot be drastically improved. Our gap instance directly inspires an improved NP-hardness of approximation with a ratio $24/23 \approx 1.042$; no explicit hardness ratio was known before.

In an era where the volume of data drives the effectiveness of self-supervised learning, the specificity and clarity of data semantics play a crucial role in model training. Addressing this, we introduce HYPerbolic Entailment filtering (HYPE), a novel methodology designed to meticulously extract modality-wise meaningful and well-aligned data from extensive, noisy image-text pair datasets. Our approach leverages hyperbolic embeddings and the concept of entailment cones to evaluate and filter out samples with meaningless or underspecified semantics, focusing on enhancing the specificity of each data sample. HYPE not only demonstrates a significant improvement in filtering efficiency but also sets a new state-of-the-art in the DataComp benchmark when combined with existing filtering techniques. This breakthrough showcases the potential of HYPE to refine the data selection process, thereby contributing to the development of more accurate and efficient self-supervised learning models. Additionally, the image specificity $\epsilon_{i}$ can be independently applied to induce an image-only dataset from an image-text or image-only data pool for training image-only self-supervised models and showed superior performance when compared to the dataset induced by CLIP score., Comment: 28pages, 4.5MB

Partial differential equation (PDE) models for infectious disease have received renewed interest in recent years. Most models of this type extend classical compartmental formulations with additional terms accounting for spatial dynamics, with Fickian diffusion being the most common such term. However, while diffusion may be appropriate for modeling vector-borne diseases, or diseases among plants or wildlife, the spatial propagation of airborne diseases in human populations is heavily dependent on human contact and mobility patterns, which are not necessarily well-described by diffusion. By including an additional chemotaxis-inspired term, in which the infection is propagated along the positive gradient of the susceptible population (from regions of low- to high-density of susceptibles), one may provide a more suitable description of these dynamics. This article introduces and analyzes a mathematical model of infectious disease incorporating a modified chemotaxis-type term. The model is analyzed mathematically and the well-posedness of the resulting PDE system is demonstrated. A series of numerical simulations are provided, demonstrating the ability of the model to naturally capture important phenomena not easily observed in standard diffusion models, including propagation over long spatial distances over short time scales and the emergence of localized infection hotspots

Nonreciprocal transport effects can occur in the normal state of conductors and in superconductors when both inversion and time-reversal symmetry are broken. Here, we consider systems where magnetochiral anisotropy (MCA) of the energy spectrum due to an externally applied magnetic field results in a rectification effect in the normal state and a superconducting (SC) diode effect when the system is proximitised by a superconductor. Focussing on nanowire systems, we obtain analytic expressions for both normal state rectification and SC diode effects that reveal the commonalities - as well as differences - between these two phenomena. Furthermore, we consider the nanowire brought into an (almost) helical state in the normal phase or a topological superconducting phase when proximitised. In both cases this reveals that the topology of the system considerably modifies its nonreciprocal transport properties. Our results provide new insights into how to determine the origin of nonreciprocal effects and further evince the strong connection of nonreciprocal transport with the topological properties of a system., Comment: Main text: 5 pages, 3 figures. Supplemental material: 4 pages, 1 figure

Software vulnerabilities enable exploitation by malicious hackers, compromising systems and data security. This paper examines bug bounty programs (BBPs) that incentivize ethical hackers to discover and responsibly disclose vulnerabilities to software vendors. Using game-theoretic models, we capture the strategic interactions between software vendors, ethical hackers, and malicious hackers. First, our analysis shows that software vendors can increase expected profits by participating in BBPs, explaining their growing adoption and the success of BBP platforms. Second, we find that vendors with BBPs will release software earlier, albeit with more potential vulnerabilities, as BBPs enable coordinated vulnerability disclosure and mitigation. Third, the optimal number of ethical hackers to invite to a BBP depends solely on the expected number of malicious hackers seeking exploitation. This optimal number of ethical hackers is lower than but increases with the expected malicious hacker count. Finally, higher bounties incentivize ethical hackers to exert more effort, thereby increasing the probability that they will discover severe vulnerabilities first while reducing the success probability of malicious hackers. These findings highlight BBPs' potential benefits for vendors beyond profitability. Earlier software releases are enabled by managing risks through coordinated disclosure. As cybersecurity threats evolve, BBP adoption will likely gain momentum, providing vendors with a valuable tool for enhancing security posture and stakeholder trust. Moreover, BBPs envelop vulnerability identification and disclosure into new market relationships and transactions, impacting software vendors' incentives regarding product security choices like release timing.

Graph neural networks (GNNs) have emerged as a powerful tool for analyzing and learning from complex data structured as graphs, demonstrating remarkable effectiveness in various applications, such as social network analysis, recommendation systems, and drug discovery. However, despite their impressive performance, the fairness problem has increasingly gained attention as a crucial aspect to consider. Existing research in graph learning focuses on either group fairness or individual fairness. However, since each concept provides unique insights into fairness from distinct perspectives, integrating them into a fair graph neural network system is crucial. To the best of our knowledge, no study has yet to comprehensively tackle both individual and group fairness simultaneously. In this paper, we propose a new concept of individual fairness within groups and a novel framework named Fairness for Group and Individual (FairGI), which considers both group fairness and individual fairness within groups in the context of graph learning. FairGI employs the similarity matrix of individuals to achieve individual fairness within groups, while leveraging adversarial learning to address group fairness in terms of both Equal Opportunity and Statistical Parity. The experimental results demonstrate that our approach not only outperforms other state-of-the-art models in terms of group fairness and individual fairness within groups, but also exhibits excellent performance in population-level individual fairness, while maintaining comparable prediction accuracy., Comment: 16 pages, 3 figures

We present a new methodology for utilising machine learning technology in symbolic computation research. We explain how a well known human-designed heuristic to make the choice of variable ordering in cylindrical algebraic decomposition may be represented as a constrained neural network. This allows us to then use machine learning methods to further optimise the heuristic, leading to new networks of similar size, representing new heuristics of similar complexity as the original human-designed one. We present this as a form of ante-hoc explainability for use in computer algebra development., Comment: Accepted for presentation at ICMS 2024