Search

Based on the earlier work of Li (European J. Combin. 1997) and Dobson (Discrete Math. 2008), in this paper we complete the classification of cyclic $m$-DCI-groups and $m$-CI-groups. For a positive integer $m$ such that $m \ge 3$, we show that the group $\mathbb{Z}_n$ is an $m$-DCI-group if and only if $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < m$. Furthermore, if $m \ge 6$, then we show that $\mathbb{Z}_n$ is an $m$-CI-group if and only if either $n \in \{ 8, 9, 18 \}$, or $n \notin \{ 8, 9, 18 \}$ and $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < \frac{m - 1}{2}$.

Interfaces play a substantial role for the functional properties of structured magnetic materials and magnetic multilayers. Modeling the functional behavior of magnetic materials requires the treatment of the relevant phenomena at the device level. Properties predicted from the electronic structure and spin dynamics at the atomistic level have to be properly transferred into a continuum level treatment. In this work we show how Co/Ru/Co three layers can be simulated with the continuum theory of micromagnetism, with interface coupling energies and bulk intrinsic properties properly derived from the results of \emph{ab initio} and spin dynamics simulations at different temperatures.

Chronological backtracking is an interesting SAT solving technique within CDCL reasoning, as it backtracks less aggressively upon conflicts. However, chronological backtracking is more difficult to maintain due to its weaker SAT solving invariants. This paper introduces a lazy reimplication procedure for missed lower implications in chronological backtracking. Our method saves propagations by reimplying literals on demand, rather than eagerly. Due to its modularity, our work can be replicated in other solvers, as shown by our results in the solvers CaDiCaL and Glucose.

The OpenUniverse2024 simulation suite is a cross-collaboration effort to produce matched simulated imaging for multiple surveys as they would observe a common simulated sky. Both the simulated data and associated tools used to produce it are intended to uniquely enable a wide range of studies to maximize the science potential of the next generation of cosmological surveys. We have produced simulated imaging for approximately 70 deg$^2$ of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) Wide-Fast-Deep survey and the Nancy Grace Roman Space Telescope High-Latitude Wide-Area Survey, as well as overlapping versions of the ELAIS-S1 Deep-Drilling Field for LSST and the High-Latitude Time-Domain Survey for Roman. OpenUniverse2024 includes i) an early version of the updated extragalactic model called Diffsky, which substantially improves the realism of optical and infrared photometry of objects, compared to previous versions of these models; ii) updated transient models that extend through the wavelength range probed by Roman and Rubin; and iii) improved survey, telescope, and instrument realism based on up-to-date survey plans and known properties of the instruments. It is built on a new and updated suite of simulation tools that improves the ease of consistently simulating multiple observatories viewing the same sky. The approximately 400 TB of synthetic survey imaging and simulated universe catalogs are publicly available, and we preview some scientific uses of the simulations.

Motivated by experimental results on compounds like ${\rm LiHo}_x{\rm Y}_{1-x}{\rm F}_4$, we consider an Ising chain with random bonds in the simultaneous presence of random transverse and longitudinal fields. We study the low-energy properties of the model at zero temperature by the strong disorder renormalization group (SDRG) method.In the absence of random longitudinal fields, the model showcases a trivial quantum-ordered and quantum-disordered fixed-point and a non-trivial infinite disorder critical point. In the absence of random transverse fields, the behavior is dictated by the classical random-field Ising fixed-point. In the simultaneous presence of both a longitudinal and transverse random field, the RG trajectories are attracted to one of the two disordered fixed-points and the relevant scaling direction at the infinite disorder fixed-point is along the separatrix, where the correlation-length is shown to diverge with an exponent $\nu_h \approx 1$., Comment: 12 pages, 13 figures. arXiv admin note: text overlap with arXiv:2210.09380

Low-altitude mobility, exemplified by unmanned aerial vehicles (UAVs), has introduced transformative advancements across various domains, like transportation, logistics, and agriculture. Leveraging flexible perspectives and rapid maneuverability, UAVs extend traditional systems' perception and action capabilities, garnering widespread attention from academia and industry. However, current UAV operations primarily depend on human control, with only limited autonomy in simple scenarios, and lack the intelligence and adaptability needed for more complex environments and tasks. The emergence of large language models (LLMs) demonstrates remarkable problem-solving and generalization capabilities, offering a promising pathway for advancing UAV intelligence. This paper explores the integration of LLMs and UAVs, beginning with an overview of UAV systems' fundamental components and functionalities, followed by an overview of the state-of-the-art in LLM technology. Subsequently, it systematically highlights the multimodal data resources available for UAVs, which provide critical support for training and evaluation. Furthermore, it categorizes and analyzes key tasks and application scenarios where UAVs and LLMs converge. Finally, a reference roadmap towards agentic UAVs is proposed, aiming to enable UAVs to achieve agentic intelligence through autonomous perception, memory, reasoning, and tool utilization. Related resources are available at https://github.com/Hub-Tian/UAVs_Meet_LLMs.

Past millimeter-wave galaxy surveys have probed the brightest starburst galaxies only and suffered heavily from confusion. The interpretation of existing surveys has also been hindered by the lack of reliable redshift indicators for measuring distances for the entire sample. Thanks to recent advances in mm-wave detector technologies we can now overcome these limitations, and conduct the first truly volumetric surveys of star-forming galaxies at mm-wavelengths down to the L* luminosities of typical galaxies, with ~1000 redshift slices spanning most of the Cosmic star-forming volume (z ~ 1--12) with nearly uniform mass and luminosity selection. We describe an instrument concept capable of delivering such surveys with the technologies available today, which can be built and operated on a ground-based mm-wave facility in the near future. Such spectrometer cameras can resolve and redshift identify up to to 25,000 star-forming galaxies per year even when operated on a 10-m class telescope. On a larger aperture it can do the same faster or probe even deeper. We propose a loose, open-source collaboration to design, build, and operate one or several such cameras through the shared contributions of leading experts and telescopes from around the globe., Comment: 10 pages, 1 figure, SPIE Conference 13101

We developed the SMA eXchange (SMA-X) as a real-time data sharing solution, built atop a central Redis database. SMA-X is a storage convention, facilitated by a set of server-side Lua scripts (or Redis functions) which enable efficient low-latency and high-throughput real-time sharing of hierarchically structured data among the various systems and subsystems of the telescope. It enables fast, atomic retrievals of specific leaf elements, branches, and sub-trees, including associated metadata (types, dimensions, timestamps, and origins, and more). At the Submillimer Array (SMA) we rely on it since 2021 to share a diverse set of ~10,000 real-time variables, including arrays, across more than 100 computers, with information being published every 10 ms in some cases. SMA-X is open-source, and is freely available to everyone through a set of public GitHub repositories, including C/C++ and Python3 libraries to allow integration with observatory applications. A set of command-line tools provide access to the database from the POSIX shell and/or from any scripting language, and we also provide a configurable system daemon for archiving the observatory state at regular intervals into a time-series Structured Query Language (SQL) database to create a detailed historical record., Comment: 15 pages, 2 figures, an earlier version of this paper was presented at SPIE Conference 13101

The effect of the finite system size on the QCD phase diagram was studied with various momentum space constraints within a mean-field quark-meson model. On the one hand side, the choice of the scenario -- low-momentum cutoff and discretization with periodic or antiperiodic boundary conditions -- and the presence of the vacuum fluctuations were found to strongly affect the volume dependence of the CEP. On the other hand, its location is significantly shifted in each case for linear sizes below $L\approx 10$ fm. This is also reflected in the conserved charge fluctuations, which were investigated along the phase boundary using multiple scenarios for the finite size effects., Comment: 6 pages, 3 figures, Contribution to EMMI Workshop: Aspects of Criticality II

Automated reasoners, such as SAT/SMT solvers and first-order provers, are becoming the backbones of rigorous systems engineering, being used for example in applications of system verification, program synthesis, and cybersecurity. Automation in these domains crucially depends on the efficiency of the underlying reasoners towards finding proofs and/or counterexamples of the task to be enforced. In order to gain efficiency, automated reasoners use dedicated proof rules to keep proof search tractable. To this end, (variants of) subsumption is one of the most important proof rules used by automated reasoners, ranging from SAT solvers to first-order theorem provers and beyond. It is common that millions of subsumption checks are performed during proof search, necessitating efficient implementations. However, in contrast to propositional subsumption as used by SAT solvers and implemented using sophisticated polynomial algorithms, first-order subsumption in first-order theorem provers involves NP-complete search queries, turning the efficient use of first-order subsumption into a huge practical burden. In this paper we argue that the integration of a dedicated SAT solver opens up new venues for efficient implementations of first-order subsumption and related rules. We show that, by using a flexible learning approach to choose between various SAT encodings of subsumption variants, we greatly improve the scalability of first-order theorem proving. Our experimental results demonstrate that, by using a tailored SAT solver within first-order reasoning, we gain a large speedup in solving state-of-the-art benchmarks.

We study spontaneous symmetry breaking in quantum field theories with fermionic order parameters and construct, for the first time in the literature, the constraint effective potential for it. The Grassmann-valued constraint we encounter is handled using its large-volume expansion, corresponding to a saddle-point approximation. We test the method in the chiral Gross-Neveu model and demonstrate its consistency with the standard approach. The machinery we developed opens up a new avenue to investigate the spontaneous symmetry breaking and restoration in field theories, in particular for the chiral symmetry breaking in the strong interactions., Comment: 16 pages, 9 figures, 2 pages Appendix & references

The ability to control magnetism with strain offers innovative pathways for the modulation of magnetic domain configurations and for the manipulation of magnetic states in materials on the nanoscale. Although the effect of strain on magnetic domains has been recognized since the early work of C. Kittel, detailed local observations have been elusive. Here, we use mechanical strain to achieve reversible control of magnetic textures in a kagome-type Fe3Sn2 ferromagnet without the use of an external electric current or magnetic field in situ in a transmission electron microscope at room temperature. We use Fresnel defocus imaging, off-axis electron holography and micromagnetic simulations to show that tensile strain modifies the structures of dipolar skyrmions and switches their magnetization between out-of-plane and in-plane configurations. We also present quantitative measurements of magnetic domain wall structures and their transformations as a function of strain. Our results demonstrate the fundamental importance of anisotropy effects and their interplay with magnetoelastic and magnetocrystalline energies, providing new opportunities for the development of strain-controlled devices for spintronic applications., Comment: 10 pages, 5 figures

We carry out an extensive light curve comparison of BL Her stars using observations from Gaia DR3 and stellar pulsation models computed using MESA-RSP with the goal to obtain the best-matched modeled-observed pairs for BL Her stars in the LMC. We use the Fourier decomposition technique to analyse the light curves in the G band obtained from Gaia DR3 and from MESA-RSP and use a robust light curve fitting approach to score the modeled-observed pairs with respect to their pulsation periods and over their Fourier parameter space. We obtain the best-fit models for 48 BL Her stars in the LMC and thereby provide the stellar parameter estimates of these stars, 30 of which are labelled as the gold sample with superior light curve fits. We find a relatively flat distribution of stellar masses between 0.5-0.65 Msolar for the gold sample of modeled-observed pairs. An interesting result is that the majority of the best-matched models in the gold sample are computed using the convection parameter sets without radiative cooling. The period-Wesenheit relation for the best-matched gold sample of 30 BL Her models exhibits a slope of $-2.805 \pm 0.164$ while the corresponding period-radius relation exhibits a slope of $0.565 \pm 0.035$, both in good agreement with the empirical PW and PR slopes from BL Her stars in the LMC, respectively. We also used the Wesenheit magnitudes of the 30 best-matched modeled-observed pairs to estimate a distance modulus of $\mu_{\rm LMC} = 18.582 \pm 0.067$ to the LMC, which lies within the bounds of previous literature values. We also discuss the degeneracy in the stellar parameters of the BL Her models that result in similar pulsation periods and light curve structure, and highlight that caution must be exercised while using the stellar parameter estimates., Comment: 20 pages, 10 main text figures, 5 appendix figures, 1 main text table, 1 appendix table. Accepted for publication in Astronomy & Astrophysics

In high-energy collisions, we can obtain information about the source function by measuring the two-particle Bose-Einstein correlation function and considering its relationship with the phase-space density of the particle-emitting source. While a Gaussian shape is commonly assumed, measurements and anomalous diffusion suggest L\'evy-stable distributions, as observed in the PHENIX experiment for kaon-kaon pair-source functions. Event generators like EPOS allow direct investigation of freeze-out coordinates, facilitating the analysis of the source function. EPOS, a Monte Carlo-based model, simulates high-energy nuclear and particle collisions, integrating Parton-Based Gribov-Regge theory for initial evolution, subsequent hydrodynamic evolution, and hadronization. In this paper, we present an event-by-event analysis of the kaon source function in $\sqrt{s_\text{NN}}$ = 200 GeV Au+Au collisions using the EPOS model.

Recent space-borne and ground-based observations provide photometric measurements as time series. The effect of interstellar dust extinction in the near-infrared range is only 10% of that measured in the V band. However, the sensitivity of the light curve shape to the physical parameters in the near-infrared is much lower. So, interpreting these types of data sets requires new approaches like the different large-scale surveys, which create similar problems with big data. Using a selected data set, we provide a method for applying routines implemented in R to extract most information of measurements to determine physical parameters, which can also be used in automatic classification schemes and pipeline processing. We made a multivariate classification of 131 Cepheid light curves (LC) in J, H, and K colors, where all the LCs were represented in 20D parameter space in these colors separately. Performing a Principal Component Analysis (PCA), we got an orthogonal coordinate system and squared Euclidean distances between LCs, with 6 significant eigenvalues, reducing the 20-dimension to 6. We also estimated the optimal number of partitions of similar objects and found it to be equal to 7 in each color; their dependence on the period, absolute magnitude, amplitude, and metallicity are also discussed. We computed the Spearman rank correlations, showing that periods and absolute magnitudes correlate with the first three PCs significantly. The first two PC are also found to have a relationship with the amplitude, but the metallicity effects are only marginal. The method shown can be generalized and implemented in unsupervised classification schemes and analysis of mixed and biased samples. The analysis of our Classical Cepheid near-infrared LC sample showed that the J, H, K curves are insufficient for determination of stellar metallicity, with mass being the key factor shaping them., Comment: Accepted in New Astronomy, 16 Pages, 18 Figures

We give an alternative proof of the statement, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that form a triangle are isosceles triangles, is the regular pentagon with its center. Our proof can be extended to answer some related questions raised by Erd\H{o}s., Comment: 7 pages, 3 figures

The cross-correlation of cosmic voids with the lensing convergence ($\kappa$) map of the Cosmic Microwave Background (CMB) fluctuations provides a powerful tool to refine our understanding of the cosmological model. However, several studies have reported a moderate tension between the lensing imprint of cosmic voids on the observed CMB and the simulated $\mathrm{\Lambda}$CDM signal. To address this "lensing-is-low" tension and to obtain new, precise measurements, we exploit the large DESI Legacy Survey Luminous Red Galaxy (LRG) dataset, covering approximately 19,500 $\deg^2$ of the sky and including about 10 million LRGs at $z < 1.05$. Our $\mathrm{\Lambda}$CDM template was created using the Buzzard mocks, which we specifically calibrated to match the clustering properties of the observed galaxy sample by exploiting more than one million DESI spectra. We identified our catalogs of 3D voids in the range $0.35 < z < 0.95$, dividing the sample into bins according to the redshift and $\lambda_\mathrm{v}$ values of the voids. We report a 14$\sigma$ detection of the lensing signal, with $A_\kappa = 1.016 \pm 0.054$, which increases to 17$\sigma$ when considering the void-in-void ($A_\kappa = 0.944 \pm 0.064$) and the void-in-cloud ($A_\kappa = 0.975 \pm 0.060$) populations individually, the highest detection significance for studies of this kind. We observe a full agreement between the observations and $\mathrm{\Lambda}$CDM predictions across all redshift bins, sky regions, and void populations considered. In addition to these findings, our analysis highlights the importance of matching sparseness and redshift error distributions between mocks and observations, as well as the role of $\lambda_\mathrm{v}$ in enhancing the signal-to-noise ratio., Comment: 19 pages, 13 figures

When the quark masses are lighter than those in QCD, the standard lore is that a chiral transition of first order must emerge for three, light flavors. Recently, however, numerical simulations on the lattice suggest that the chiral transition is of second order in the chiral limit. Using an extended linear sigma model in the mean field approximation, we study the relation between terms which break the anomalous, $U(1)_A$ symmetry and the order of the chiral phase transition, especially how a chiral transition of second order can arise for three, massless flavors. We note that in an (unphysical) region of the "Columbia" phase diagram, when the strange quark mass is light and negative, corresponding to topological angle $\theta=\pi$, the $CP$ symmetry is spontaneously broken., Comment: 12 pages, 2 figures

Quasars are objects of high interest for applications in extragalactic astrophysics, cosmology, and astrometry. One of their useful qualities is owed to their relativistic jets: they can be radio-loud. However, the fraction of radio-loud vs. radio-quiet quasars is subject to ongoing investigations, where the statistical power is limited by the low number of known quasars with radio counterparts. In this analysis, we revisited the radio-loudness statistics of quasars by significantly expanding the pool of known sources. Our main goal was to create a new, value-added catalogue of quasars with information about their extinction-corrected magnitudes, radio flux density, possible contamination levels, and other data flags, besides their sky coordinates and photometric redshifts. We cross-matched the optical Quaia catalogue of about 1.3 million quasars (selected from the Gaia data set) with 1.9 million sources from the Very Large Array Sky Survey (VLASS) radio catalogue. We explored different thresholds for the matching radius, balancing the completeness and purity of the resulting Quaia-VLASS catalogue, and found that 1.5 arc seconds is a sufficient choice. Our main finding is that the radio-loud fraction of quasars is in good agreement with previous works (< 10%), and there is no significant large-scale pattern in radio-loudness across the sky. The exact estimate depends on the G-band magnitude limit, and we observed some weak trends with redshift and absolute optical magnitude, possibly indicating remnant systematic effects in our data sets. The cross-matched Quaia-VLASS catalogue with 43,650 sources is available to the public for future analyses. This latest census of QSOs with radio counterparts will facilitate further investigations of the dichotomy of radio-loud and radio-quiet quasars, and it may also support other lines of investigations using quasars in cosmology and astrophysics.

As LLMs continue to become more powerful and versatile, human evaluation has quickly become intractable at scale and reliance on automatic metrics has become the norm. Recently, it has been shown that LLMs are themselves state-of-the-art evaluators for many tasks. These Autoraters are typically designed so that they generalize to new systems and test sets. In practice, however, evaluation is performed on a small set of fixed, canonical test sets, which are carefully curated to measure certain capabilities of interest and are not changed frequently. In this work, we design a method which specializes a prompted Autorater to a given test set, by leveraging historical ratings on the test set to construct in-context learning (ICL) examples. We evaluate our Specialist method on the task of fine-grained machine translation evaluation, and show that it dramatically outperforms the state-of-the-art XCOMET metric by 54% and 119% on the WMT'23 and WMT'24 test sets, respectively. We perform extensive analyses to understand the representations learned by our Specialist metrics, and how variability in rater behavior affects their performance. We also verify the generalizability and robustness of our Specialist method for designing automatic metrics across different numbers of ICL examples, LLM backbones, systems to evaluate, and evaluation tasks.

Methods for characterisation of 3D magnetic spin structures are necessary to advance the performance of 3D magnetic nanoscale technologies. However, as the component dimensions approach the nanometre range, it becomes more challenging to analyse 3D magnetic configurations with the appropriate spatial resolution. In this paper, we present a method based on Lorentz transmission electron microscopy in which model-based iterative reconstruction (MBIR) is used to reconstruct the most probable magnetisation in an exemplar nanostructure. This method is based on relating electron phase measurements to the magnetic configuration of the nanostructure, and therefore, the method is subject to certain limitations. In this proof-of-concept experiment, MBIR was tested on an L-shaped ferromagnetic cobalt nanowire, fabricated using focused electron beam induced deposition. Off-axis electron holography was used to acquire a tomographic tilt series of electron holograms, which were analysed to measure magnetic electron phase shift over two tilt arcs with up to $ \pm 60$ degree tilt range. Then, a 3D magnetisation vector field consistent with the tomographic phase measurements was reconstructed, revealing multiple magnetic domains within the nanowire. The reconstructed magnetisation is accurate for magnetic domains larger than 50 nm, and higher resolution can be achieved by the continued development of tomographic reconstruction algorithms.

The detection of various molecular species, including complex organic molecules relevant to biochemical and geochemical processes, in astronomical settings such as the interstellar medium or the outer Solar System has led to the increased need for a better understanding of the chemistry occurring in these cold regions of space. In this context, the chemistry of ices prepared and processed at cryogenic temperatures has proven to be of particular interest due to the fact that many interstellar molecules are believed to originate within the icy mantles adsorbed on nano- and micro-scale dust particles. The chemistry leading to the formation of such molecules may be initiated by ionising radiation in the form of galactic cosmic rays or stellar winds, and thus there has been an increased interest in commissioning experimental set-ups capable of simulating and better characterising this solid-phase radiation astrochemistry. In this article, we describe a new facility called AQUILA (Atomki-Queen's University Ice Laboratory for Astrochemistry) which has been purposefully designed to study the chemical evolution of ices analogous to those that may be found in the dense interstellar medium or the outer Solar System as a result of their exposure to keV ion beams. The results of some ion irradiation studies of CH3OH ice at 20 K are discussed to exemplify the experimental capabilities of the AQUILA as well as to highlight its complementary nature to another laboratory astrochemistry set-up at our institute., Comment: Published in Review of Scientific Instruments

In-operando techniques enable real-time measurement of intricate physical properties at the micro- and nano-scale under external stimuli, allowing the study of a wide range of materials and functionalities. In nanomagnetism, in-operando techniques greatly benefit from precise three-dimensional (3D) magnetic field control, enabling access to complex magnetic states forming in systems where multiple energies are set to compete with each other. However, achieving such precision is challenging and uncommon, as specific applications impose constraints on the type and geometry of magnetic field sources, limiting their capabilities. Here, we introduce an approach that leverages machine learning algorithms to achieve precise 3D magnetic field control using a hexapole electromagnet that is composed of three independent, non-collinear dipole electromagnets. In our experimental setup, magnetic field sensors are placed at a distance from the sample position due to inherent constraints, leading to indirect field measurements that differ from the magnetic field experienced by the sample. We find that the existing relationship between the remote and sample frames of reference is non-linear, thus requiring a more complex calibration method. To address this, we employ a multi-layer perceptron neural network that processes multiple inputs from a dynamic magnetic field sequence, effectively capturing the time-dependent non-linear field response. The network achieves high calibration accuracy and demonstrates exceptional generalization to unseen magnetic field sequences. This study highlights the significant potential of machine learning in achieving high-precision control and calibration, crucial for in-operando experiments where direct measurement at the point of interest is not possible.

Social networks inherently exhibit complex relationships that can be positive or negative, as well as directional. Understanding balance in these networks is crucial for unraveling social dynamics, yet traditional theories struggle to incorporate directed interactions. This perspective presents a comprehensive roadmap for understanding balance in signed directed networks, extending traditional balance theory to account for directed interactions. Balance is indicated by the enrichment of higher-order patterns like triads compared to an adequate null model, where the network is randomized with some key aspects being preserved. Finding appropriate null models has been a challenging task even without considering directionality, which largely expands the space of potential null models. Recently, it has been shown that in the undirected case both the network topology and the signed degrees serve as key factors to preserve. Therefore, we introduce a maximally constrained null model that preserves the directed topology as well as node-level features given by the signed unidirectional, reciprocated, and conflicting node degrees. Our null model is based on the maximum-entropy principle and reveals consistent patterns across large-scale social networks. We also consider directed generalizations of balance theory and find that the observed patterns are well aligned with two proposed directed notions of strong balance. Our approach not only unveils balance in signed directed networks but can also serve as a starting point towards generative models of signed directed social networks, advancing our understanding of complex social systems and their dynamics.

While Minimum Bayes Risk (MBR) decoding using metrics such as COMET or MetricX has outperformed traditional decoding methods such as greedy or beam search, it introduces a challenge we refer to as metric bias. As MBR decoding aims to produce translations that score highly according to a specific utility metric, this very process makes it impossible to use the same metric for both decoding and evaluation, as improvements might simply be due to reward hacking rather than reflecting real quality improvements. In this work we find that compared to human ratings, neural metrics not only overestimate the quality of MBR decoding when the same metric is used as the utility metric, but they also overestimate the quality of MBR/QE decoding with other neural utility metrics as well. We also show that the metric bias issue can be mitigated by using an ensemble of utility metrics during MBR decoding: human evaluations show that MBR decoding using an ensemble of utility metrics outperforms a single utility metric., Comment: To appear at WMT2024

Implementing many important sub-circuits on near-term quantum devices remains a challenge due to the high levels of noise and the prohibitive depth on standard nearest-neighbour topologies. Overcoming these barriers will likely require quantum error mitigation (QEM) strategies. This work introduces the notion of efficient, high-fidelity verifier circuit architectures that we propose for use in such a QEM scheme. We provide a method for constructing verifier circuits for any quantum circuit that is accurately represented by a low-dimensional matrix product operator (MPO). We demonstrate our method by constructing explicit verifier circuits for multi-controlled single unitary gates as well as the quantum Fourier transform (QFT). By transpiling the circuits to a 2D array of qubits, we estimate the crossover point where the verifier circuit is shallower than the circuit itself, and hence useful for QEM. We propose a method of in situ QEM using the verifier circuit architecture. We conclude that our approach may be useful for calibrating quantum sub-circuits to counter coherent noise but cannot correct for the incoherent noise present in current devices.

Hybrid Rebeca is introduced for modeling asynchronous event-based Cyber-Physical Systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non-deterministic time behavior. We provide a set of rules to define the semantic model of Hybrid Rebeca models in terms of Time Transition Systems which represents an over-approximation of the reachable states of a Hybrid Rebeca model. Then, we adapt the reachability analysis algorithm of Flow$^*$ for Hybrid Rebeca models leveraging our semantic rules. This improves the analysis significantly because the previous technique relied on the reachability analysis of hybrid automata by deriving a monolithic hybrid automaton from a given Hybrid Rebeca model, leading to a huge hybrid automaton. We illustrate the applicability of our approach through a case study.

The growing use of composite materials in engineering applications has accelerated the demand for computational methods to accurately predict their complex behavior. Multiscale modeling based on computational homogenization is a potentially powerful approach for this purpose, but its widespread adoption is prevented by its excessive computational costs. A popular approach to address this computational bottleneck is using surrogate models, which have been used to successfully predict a wide range of constitutive behaviors. However, applications involving microscale damage and fracture remain largely unexplored. This work aims to extend a recent surrogate modeling approach, the Physically Recurrent Neural Network (PRNN), to include the effect of debonding at the fiber-matrix interface while capturing path-dependent behavior. The core idea of the PRNN is to implement the exact material models from the micromodel into one of the layers of the network. In this work, additional material points with a cohesive zone model are integrated within the network, along with the bulk points associated to the fibers and/or matrix. The limitations of the existing architecture are discussed and taken into account for the development of novel architectures that better represent the stress homogenization procedure. In the proposed layout, the history variables of cohesive points act as extra latent features that help determine the local strains of bulk points. Different architectures are evaluated starting with small training datasets. To maximize the predictive accuracy and extrapolation capabilities of the network, various configurations of bulk and cohesive points are explored, along with different training dataset types and sizes.

In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refers to a set of $t$-spaces such that each $s$-space is incident with at least one chosen $t$-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain $q$-Tur\'an designs and $q$-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well., Comment: 21 pages

We present a purely deep neural network-based approach for estimating long memory parameters of time series models that incorporate the phenomenon of long-range dependence. Parameters, such as the Hurst exponent, are critical in characterizing the long-range dependence, roughness, and self-similarity of stochastic processes. The accurate and fast estimation of these parameters holds significant importance across various scientific disciplines, including finance, physics, and engineering. We harnessed efficient process generators to provide high-quality synthetic training data, enabling the training of scale-invariant 1D Convolutional Neural Networks (CNNs) and Long Short-Term Memory (LSTM) models. Our neural models outperform conventional statistical methods, even those augmented with neural networks. The precision, speed, consistency, and robustness of our estimators are demonstrated through experiments involving fractional Brownian motion (fBm), the Autoregressive Fractionally Integrated Moving Average (ARFIMA) process, and the fractional Ornstein-Uhlenbeck (fOU) process. We believe that our work will inspire further research in the field of stochastic process modeling and parameter estimation using deep learning techniques., Comment: 14 pages, 16 figures, https://github.com/aielte-research/LMSParEst

As the consequences of opinion polarization effect our everyday life in more and more aspect, the understanding of its origins and driving forces becomes increasingly important. Here we develop an agent-based network model with realistic human traits: individuals in our simulations are endowed with an internal belief system which they attempt to keep as coherent as possible. This desire -- to reassure existing attitudes while avoiding cognitive dissonance -- is one of the most influential and widely accepted theories in social psychology by now. Our model shows that even in networks that start out completely uniform (from a society of clones), this effort leads to fragmentation and polarization, reflected both by the individual beliefs (attitudes) and the emerging communities in the social network. By fine-tuning two parameters: (i) "dissonance penalty", measuring the strength with which agents attempt to avoid cognitive dissonance, and (ii) "triadic closure affinity", the parameter reflecting agents' likelihood to connect with friends of friends, a wide range of possible community structures are observed.

Accurate segmentation of Multiple Sclerosis (MS) lesions in longitudinal MRI scans is crucial for monitoring disease progression and treatment efficacy. Although changes across time are taken into account when assessing images in clinical practice, most existing deep learning methods treat scans from different timepoints separately. Among studies utilizing longitudinal images, a simple channel-wise concatenation is the primary albeit suboptimal method employed to integrate timepoints. We introduce a novel approach that explicitly incorporates temporal differences between baseline and follow-up scans through a unique architectural inductive bias called Difference Weighting Block. It merges features from two timepoints, emphasizing changes between scans. We achieve superior scores in lesion segmentation (Dice Score, Hausdorff distance) as well as lesion detection (lesion-level $F_1$ score) as compared to state-of-the-art longitudinal and single timepoint models across two datasets. Our code is made publicly available at www.github.com/MIC-DKFZ/Longitudinal-Difference-Weighting., Comment: Accepted at MICCAI 2024 LDTM

We report the first measurement of the azimuthal anisotropy of J$/\psi$ at forward rapidity ($1.2<|\eta|<2.2$) in Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV at the Relativistic Heavy Ion Collider. The data were collected by the PHENIX experiment in 2014 and 2016 with integrated luminosity of 14.5~nb$^{-1}$. The second Fourier coefficient ($v_2$) of the azimuthal distribution of $J/\psi$ is determined as a function of the transverse momentum ($p_T$) using the event-plane method. The measurements were performed for several selections of collision centrality: 0\%--50\%, 10\%--60\%, and 10\%-40\%. We find that in all cases the values of $v_2(p_T)$, which quantify the elliptic flow of J$/\psi$, are consistent with zero. The results are consistent with measurements at midrapidity, indicating no significant elliptic flow of the J$/\psi$ within the quark-gluon-plasma medium at collision energies of $\sqrt{s_{_{NN}}}=200$ GeV., Comment: 369 authors from 72 institutions, 12 pages, 7 figures, 5 tables. v1 is version submitted to Physical Review C. HEPdata tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.html

We present the first forward-rapidity measurements of elliptic anisotropy of open-heavy-flavor muons at the BNL Relativistic Heavy Ion Collider. The measurements are based on data samples of Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV collected by the PHENIX experiment in 2014 and 2016 with integrated luminosity of 14.5~nb$^{-1}$. The measurements are performed in the pseudorapidity range $1.2<|\eta|<2$ and cover transverse momenta $1

In this study, we explore the entanglement and correlation in two-nucleon systems using isospin formalism. With the help of Slater decomposition, we derive analytical expressions for various entanglement measures. Specifically, we analyse the one- and two-mode entropies, mutual informations, and a basis-independent characteristic known as the one-body entanglement entropy. To understand the impact of pairing, we consider interactions involving isovector and isoscalar L=0 pairing terms. Our findings show that certain pairing interactions can maximize one-body entanglement entropy of ground states when both total angular momentum and total isospin have zero projections. We provide numerical examples for the sd shell and explore the mutual informations in LS coupled and jj coupled single-particle bases. We find that the shell structure and angular momentum coupling significantly impact the measures of entanglement. We outline the implications of conserving angular momentum and isospin on one-mode entropies, irrespective of particle number., Comment: 32 pages, 6 figures

The Vehicle Routing Problem is about optimizing the routes of vehicles to meet the needs of customers at specific locations. The route graph consists of depots on several levels and customer positions. Several optimization methods have been developed over the years, most of which are based on some type of classic heuristic: genetic algorithm, simulated annealing, tabu search, ant colony optimization, firefly algorithm. Recent developments in machine learning provide a new toolset, the rich family of neural networks, for tackling complex problems. The main area of application of neural networks is the area of classification and regression. Route optimization can be viewed as a new challenge for neural networks. The article first presents an analysis of the applicability of neural network tools, then a novel graphical neural network model is presented in detail. The efficiency analysis based on test experiments shows the applicability of the proposed NN architecture.

Process-mining techniques have emerged as powerful tools for analyzing event data to gain insights into business processes. In this paper, we present a comprehensive analysis of road traffic fine management processes using the pm4py library in Python. We start by importing an event log dataset and explore its characteristics, including the distribution of activities and process variants. Through filtering and statistical analysis, we uncover key patterns and variations in the process executions. Subsequently, we apply various process-mining algorithms, including the Alpha Miner, Inductive Miner, and Heuristic Miner, to discover process models from the event log data. We visualize the discovered models to understand the workflow structures and dependencies within the process. Additionally, we discuss the strengths and limitations of each mining approach in capturing the underlying process dynamics. Our findings shed light on the efficiency and effectiveness of road traffic fine management processes, providing valuable insights for process optimization and decision-making. This study demonstrates the utility of pm4py in facilitating process mining tasks and its potential for analyzing real-world business processes.

The third autoPET challenge introduced a new data-centric task this year, shifting the focus from model development to improving metastatic lesion segmentation on PET/CT images through data quality and handling strategies. In response, we developed targeted methods to enhance segmentation performance tailored to the characteristics of PET/CT imaging. Our approach encompasses two key elements. First, to address potential alignment errors between CT and PET modalities as well as the prevalence of punctate lesions, we modified the baseline data augmentation scheme and extended it with misalignment augmentation. This adaptation aims to improve segmentation accuracy, particularly for tiny metastatic lesions. Second, to tackle the variability in image dimensions significantly affecting the prediction time, we implemented a dynamic ensembling and test-time augmentation (TTA) strategy. This method optimizes the use of ensembling and TTA within a 5-minute prediction time limit, effectively leveraging the generalization potential for both small and large images. Both of our solutions are designed to be robust across different tracers and institutional settings, offering a general, yet imaging-specific approach to the multi-tracer and multi-institutional challenges of the competition. We made the challenge repository with our modifications publicly available at \url{https://github.com/MIC-DKFZ/miccai2024_autopet3_datacentric}., Comment: Contribution to the data-centric task of the autoPET III Challenge 2024

Automated lesion segmentation in PET/CT scans is crucial for improving clinical workflows and advancing cancer diagnostics. However, the task is challenging due to physiological variability, different tracers used in PET imaging, and diverse imaging protocols across medical centers. To address this, the autoPET series was created to challenge researchers to develop algorithms that generalize across diverse PET/CT environments. This paper presents our solution for the autoPET III challenge, targeting multitracer, multicenter generalization using the nnU-Net framework with the ResEncL architecture. Key techniques include misalignment data augmentation and multi-modal pretraining across CT, MR, and PET datasets to provide an initial anatomical understanding. We incorporate organ supervision as a multitask approach, enabling the model to distinguish between physiological uptake and tracer-specific patterns, which is particularly beneficial in cases where no lesions are present. Compared to the default nnU-Net, which achieved a Dice score of 57.61, or the larger ResEncL (65.31) our model significantly improved performance with a Dice score of 68.40, alongside a reduction in false positive (FPvol: 7.82) and false negative (FNvol: 10.35) volumes. These results underscore the effectiveness of combining advanced network design, augmentation, pretraining, and multitask learning for PET/CT lesion segmentation. After evaluation on the test set, our approach was awarded the first place in the model-centric category (Team LesionTracer). Code is publicly available at https://github.com/MIC-DKFZ/autopet-3-submission., Comment: Winning method of the autoPET III challenge (model-centric) - Team LesionTracer

The spin structure functions of the proton and the deuteron were measured during the EG4 experiment at Jefferson Lab in 2006. Data were collected for longitudinally polarized electron scattering off longitudinally polarized NH$_3$ and ND$_3$ targets, for $Q^2$ values as small as 0.012 and 0.02 GeV$^2$, respectively, using the CEBAF Large Acceptance Spectrometer (CLAS). This is the archival paper of the EG4 experiment that summaries the previously reported results of the polarized structure functions $g_1$, $A_1F_1$, and their moments $\overline \Gamma_1$, $\overline \gamma_0$, and $\overline I_{TT}$, for both the proton and the deuteron. In addition, we report on new results on the neutron $g_1$ extracted by combining proton and deuteron data and correcting for Fermi smearing, and on the neutron moments $\overline \Gamma_1$, $\overline \gamma_0$, and $\overline I_{TT}$ formed directly from those of the proton and the deuteron. Our data are in good agreement with the Gerasimov-Drell-Hearn sum rule for the proton, deuteron, and neutron. Furthermore, the isovector combination was formed for $g_1$ and the Bjorken integral $\overline \Gamma_1^{p-n}$, and compared to available theoretical predictions. All of our results provide for the first time extensive tests of spin observable predictions from chiral effective field theory ($\chi$EFT) in a $Q^2$ range commensurate with the pion mass. They motivate further improvement in $\chi$EFT calculations from other approaches such as the lattice gauge method., Comment: 33 pages. 26 figures. Data table provided as supplementary material (30 pages latex and csv tables)

Large language models (LLMs) can extract information from veterinary electronic health records (EHRs), but performance differences between models, the effect of temperature settings, and the influence of text ambiguity have not been previously evaluated. This study addresses these gaps by comparing the performance of GPT-4 omni (GPT-4o) and GPT-3.5 Turbo under different conditions and investigating the relationship between human interobserver agreement and LLM errors. The LLMs and five humans were tasked with identifying six clinical signs associated with Feline chronic enteropathy in 250 EHRs from a veterinary referral hospital. At temperature 0, the performance of GPT-4o compared to the majority opinion of human respondents, achieved 96.9% sensitivity (interquartile range [IQR] 92.9-99.3%), 97.6% specificity (IQR 96.5-98.5%), 80.7% positive predictive value (IQR 70.8-84.6%), 99.5% negative predictive value (IQR 99.0-99.9%), 84.4% F1 score (IQR 77.3-90.4%), and 96.3% balanced accuracy (IQR 95.0-97.9%). The performance of GPT-4o was significantly better than that of its predecessor, GPT-3.5 Turbo, particularly with respect to sensitivity where GPT-3.5 Turbo only achieved 81.7% (IQR 78.9-84.8%). Adjusting the temperature for GPT-4o did not significantly impact classification performance. GPT-4o demonstrated greater reproducibility than human pairs regardless of temperature, with an average Cohen's kappa of 0.98 (IQR 0.98-0.99) at temperature 0 compared to 0.8 (IQR 0.78-0.81) for humans. Most GPT-4o errors occurred in instances where humans disagreed (35/43 errors, 81.4%), suggesting that these errors were more likely caused by ambiguity of the EHR than explicit model faults. Using GPT-4o to automate information extraction from veterinary EHRs is a viable alternative to manual extraction., Comment: 24 pages, 3 figures, 8 supplementary figures

The $J/\psi$ and $\psi(2S)$ charmonium states, composed of $c\bar{c}$ quark pairs and known since the 1970s, are widely believed to serve as ideal probes to test quantum chromodynamics in high-energy hadronic interactions. However, there is not yet a complete understanding of the charmonium-production mechanism. Recent measurements of $J/\psi$ production as a function of event charged-particle multiplicity at the collision energies of both the Large Hadron Collider (LHC) and the Relativistic Heavy Ion Collider (RHIC) show enhanced $J/\psi$ production yields with increasing multiplicity. One potential explanation for this type of dependence is multiparton interactions (MPI). We carry out the first measurements of self-normalized $J/\psi$ yields and the $\psi(2S)$ to $J/\psi$ ratio at both forward and backward rapidities as a function of self-normalized charged-particle multiplicity in $p$$+$$p$ collisions at $\sqrt{s}=200$ GeV. In addition, detailed {\sc pythia} studies tuned to RHIC energies were performed to investigate the MPI impacts. We find that the PHENIX data at RHIC are consistent with recent LHC measurements and can only be described by {\sc pythia} calculations that include MPI effects. The forward and backward $\psi(2S)$ to $J/\psi$ ratio, which serves as a unique and powerful approach to study final-state effects on charmonium production, is found to be less dependent on the charged-particle multiplicity., Comment: 301 authors from 69 institutions, 8 pages, 3 figures. v1 is version submitted to Physical Review D Letters. HEPdata tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.html

PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.

The aim of the Regional Dossier series is to provide concise descriptions of regional or minority languages in education, mainly in Europe but also in other parts of the world. The majority of the Hungarian-speaking population in Slovenia lives in the bilingual ethnically mixed area of the Prekmurje region, where both Slovene and Hungarian are recognised as official languages. Every Regional Dossier begins with an introduction about the region in question, followed by six chapters that each deal with a specific level of the education system (e.g. primary education). Chapters 8 and 9 cover the main lines of research on education of the minority language under discussion, and the prospects for the minority language in general and in education in particular, respectively. Chapter 10 provides a summary of statistics. Lists of (legal) references and useful addresses regarding the minority language are given at the end of the Regional Dossier.

This study examines the impact of historical text normalization on the classification of medieval charters, specifically focusing on document dating and locating. Using a data set of Middle High German charters from a digital archive, we evaluate various classifiers, including traditional and transformer-based models, with and without normalization. Our results indicate that the given normalization minimally improves locating tasks but reduces accuracy for dating, implying that original texts contain crucial features that normalization may obscure. We find that support vector machines and gradient boosting outperform other models, questioning the efficiency of transformers for this use case. Results suggest a selective approach to historical text normalization, emphasizing the significance of preserving some textual characteristics that are critical for classification tasks in document analysis., Comment: This preprint has not undergone peer review or any post-submission improvements or corrections

In this paper we introduce the so-called Generalized Naive Bayes structure as an extension of the Naive Bayes structure. We give a new greedy algorithm that finds a good fitting Generalized Naive Bayes (GNB) probability distribution. We prove that this fits the data at least as well as the probability distribution determined by the classical Naive Bayes (NB). Then, under a not very restrictive condition, we give a second algorithm for which we can prove that it finds the optimal GNB probability distribution, i.e. best fitting structure in the sense of KL divergence. Both algorithms are constructed to maximize the information content and aim to minimize redundancy. Based on these algorithms, new methods for feature selection are introduced. We discuss the similarities and differences to other related algorithms in terms of structure, methodology, and complexity. Experimental results show, that the algorithms introduced outperform the related algorithms in many cases., Comment: 44 pages, 19 figures

We introduce G-Style, a novel algorithm designed to transfer the style of an image onto a 3D scene represented using Gaussian Splatting. Gaussian Splatting is a powerful 3D representation for novel view synthesis, as -- compared to other approaches based on Neural Radiance Fields -- it provides fast scene renderings and user control over the scene. Recent pre-prints have demonstrated that the style of Gaussian Splatting scenes can be modified using an image exemplar. However, since the scene geometry remains fixed during the stylization process, current solutions fall short of producing satisfactory results. Our algorithm aims to address these limitations by following a three-step process: In a pre-processing step, we remove undesirable Gaussians with large projection areas or highly elongated shapes. Subsequently, we combine several losses carefully designed to preserve different scales of the style in the image, while maintaining as much as possible the integrity of the original scene content. During the stylization process and following the original design of Gaussian Splatting, we split Gaussians where additional detail is necessary within our scene by tracking the gradient of the stylized color. Our experiments demonstrate that G-Style generates high-quality stylizations within just a few minutes, outperforming existing methods both qualitatively and quantitatively.