title: A fast implementation of the good-suffix array for the Boyer-Moore string matching algorithm

abstract: String matching is the problem of finding all the occurrences of a pattern in a text. It has been intensively studied and the Boyer-Moore string matching algorithm is probably one of the most famous solution to this problem. This algorithm uses two precomputed shift tables called the good-suffix table and the bad-character table. The good-suffix table is tricky to compute in linear time. Text book solutions perform redundant operations. Here we present a fast implementation for this good-suffix table based on a tight analysis of the pattern. Experimental results show two versions of this new implementation are the fastest in almost all tested situations.


title: Unveiling Vulnerability of Self-Attention

abstract: Pre-trained language models (PLMs) are shown to be vulnerable to minor word changes, which poses a big threat to real-world systems. While previous studies directly focus on manipulating word inputs, they are limited by their means of generating adversarial samples, lacking generalization to versatile real-world attack. This paper studies the basic structure of transformer-based PLMs, the self-attention (SA) mechanism. (1) We propose a powerful perturbation technique \textit{HackAttend}, which perturbs the attention scores within the SA matrices via meticulously crafted attention masks. We show that state-of-the-art PLMs fall into heavy vulnerability that minor attention perturbations $(1\%)$ can produce a very high attack success rate $(98\%)$. Our paper expands the conventional text attack of word perturbations to more general structural perturbations. (2) We introduce \textit{S-Attend}, a novel smoothing technique that effectively makes SA robust via structural perturbations. We empirically demonstrate that this simple yet effective technique achieves robust performance on par with adversarial training when facing various text attackers. Code is publicly available at \url{github.com/liongkj/HackAttend}.


title: Strong coupling yields abrupt synchronization transitions in coupled oscillators

abstract: Coupled oscillator networks often display transitions between qualitatively different phase-locked solutions -- such as synchrony and rotating wave solutions -- following perturbation or parameter variation. In the limit of weak coupling, these transitions can be understood in terms of commonly studied phase approximations. As the coupling strength increases, however, predicting the location and criticality of transition, whether continuous or discontinuous, from the phase dynamics may depend on the order of the phase approximation -- or a phase description of the network dynamics that neglects amplitudes may become impossible altogether. Here we analyze synchronization transitions and their criticality systematically for varying coupling strength in theory and experiments with coupled electrochemical oscillators. First, we analyze bifurcations analysis of synchrony and splay states in an abstract phase model and discuss conditions under which synchronization transitions with different criticalities are possible. Second, we illustrate that transitions with different criticality indeed occur in experimental systems. Third, we highlight that the amplitude dynamics observed in the experiments can be captured in a numerical bifurcation analysis of delay-coupled oscillators. Our results showcase that reduced order phase models may miss important features that one would expect in the dynamics of the full system.


title: mEdIT: Multilingual Text Editing via Instruction Tuning

abstract: We introduce mEdIT, a multi-lingual extension to CoEdIT -- the recent state-of-the-art text editing models for writing assistance. mEdIT models are trained by fine-tuning multi-lingual large, pre-trained language models (LLMs) via instruction tuning. They are designed to take instructions from the user specifying the attributes of the desired text in the form of natural language instructions, such as Grammatik korrigieren (German) or Parafrasee la oraci\'on (Spanish). We build mEdIT by curating data from multiple publicly available human-annotated text editing datasets for three text editing tasks (Grammatical Error Correction (GEC), Text Simplification, and Paraphrasing) across diverse languages belonging to six different language families. We detail the design and training of mEdIT models and demonstrate their strong performance on many multi-lingual text editing benchmarks against other multilingual LLMs. We also find that mEdIT generalizes effectively to new languages over multilingual baselines. We publicly release our data, code, and trained models at https://github.com/vipulraheja/medit.


title: DCVSMNet: Double Cost Volume Stereo Matching Network

abstract: We introduce Double Cost Volume Stereo Matching Network(DCVSMNet) which is a novel architecture characterised by by two small upper (group-wise) and lower (norm correlation) cost volumes. Each cost volume is processed separately, and a coupling module is proposed to fuse the geometry information extracted from the upper and lower cost volumes. DCVSMNet is a fast stereo matching network with a 67 ms inference time and strong generalization ability which can produce competitive results compared to state-of-the-art methods. The results on several bench mark datasets show that DCVSMNet achieves better accuracy than methods such as CGI-Stereo and BGNet at the cost of greater inference time.


title: Particle Motion in Hamiltonian Formalism

abstract: The goal of this contribution is to introduce the Hamiltonian formalism of theoretical mechanics for analysing motion in generic linear and non-linear dynamical systems, including particle accelerators. This framework allows the derivation and integration of equations of motion, in order to describe the particle trajectory evolution with respect to time. First, basic concepts are re-visited for describing particle propagation through the resolution of differential equations, applied to linear and non-linear motion. These equations of motion can be obtained by the Lagrangian of the system, which is the natural step leading to Hamiltonian Formalism and its properties. The accelerator ring Hamiltonian is derived, starting with the relativistic Hamiltonian of particles in the influence of E/M fields and a series of canonical (or symplectic) transformations and approximations. Thereby, introductory concepts of beam dynamics such as invariants and transport matrices are revisited and extended towards generic concepts such as action-angle variables and symplectic maps. To this end, the ground is prepared for the advanced methods and tools used for studying non-linear motion in particle accelerators.


title: Covert Communication Over Additive-Noise Channels

abstract: We study the fundamental limits of covert communications over general memoryless additive-noise channels. Under mild integrability assumptions, we find a general upper bound on the square-root scaling constant, which only involves the variance of the logarithm of the probability density function of the noise. Furthermore, we show that under some additional assumptions, this upper bound is tight. We also provide upper bounds on the length of the secret key required to achieve the optimal scaling.


title: Spin Effect induced Momentum Spiral and Asymmetry Degree in Pair Production

abstract: Spin effect on the pair production under circularly polarized fields are investigated. Significantly different from what momentum spirals caused by two counter-rotating fields with a time delay, we find for the first time that the spirals can also be induced due to the particles spin effect even if in a single field. We further examine the bichromatic combinational fields, the inhomogeneous spiral structures can be observed in the momentum spectrum, in particular, the spiral not only does exist in two cases of spin but also is about two orders of magnitude amplifier than that in the single field. Meanwhile, the spin asymmetry degree on the momentum distributions is investigated and found that there exist the effect of spin flip with increasing time delay between two fields. The spin asymmetry degree on the number density can reach to $98\%$ in a certain of condition. These results indicate that the signatures of created particles, especially the spiral structures are strongly associated with the information of laser field as well as the created particle spin, which can deepen the understanding of vacuum pair production.


title: Order $p$ quantum Wasserstein distances from couplings

abstract: Optimal transport provides a powerful mathematical framework with applications spanning numerous fields. A cornerstone within this domain is the $p$-Wasserstein distance, which serves to quantify the cost of transporting one probability measure to another. While recent attempts have sought to extend this measure to the realm of quantum states, existing definitions often present certain limitations, such as not being faithful. In this work, we present a new definition of quantum Wasserstein distances. This definition, leveraging the coupling method and a metric applicable to pure states, draws inspiration from a property characterising the classical Wasserstein distance - its determination based on its value on point masses. Subject to certain continuity properties, our definition exhibits numerous attributes expected of an optimal quantum rendition of the Wasserstein distance. Notably, our approach seamlessly integrates metrics familiar to quantum information theory, such as the trace distance. Moreover, it provides an organic extension for metrics, like Nielsen's complexity metric, allowing their application to mixed states with a natural operational interpretation. Furthermore, we analyze this metric's attributes in the context of random quantum states and unveil phase transitions concerning the complexity of subsystems of random states.


title: Parity violation in the observed galaxy trispectrum

abstract: Recent measurements of the 4-point correlation function in large-scale galaxy surveys have found apparent evidence of parity violation in the distribution of galaxies. This cannot happen via dynamical gravitational effects in general relativity. If such a violation arose from physics in the early Universe it could indicate important new physics beyond the standard model, and would be at odds with most models of inflation. It is therefore now timely to consider the galaxy trispectrum in more detail. While the intrinsic 4-point correlation function, or equivalently the trispectrum, its Fourier counterpart, is parity invariant, the observed trispectrum must take redshift-space distortions into account. Although the standard Newtonian correction also respects parity invariance, we show that sub-leading relativistic corrections do not. We demonstrate that these can be significant at intermediate linear scales and are dominant over the Newtonian parity-invariant part around the equality scale and above. Therefore when observing the galaxy 4-point correlation function, we should expect to detect parity violation on large scales.


title: Edge Detectors Can Make Deep Convolutional Neural Networks More Robust

abstract: Deep convolutional neural networks (DCNN for short) are vulnerable to examples with small perturbations. Improving DCNN's robustness is of great significance to the safety-critical applications, such as autonomous driving and industry automation. Inspired by the principal way that human eyes recognize objects, i.e., largely relying on the shape features, this paper first employs the edge detectors as layer kernels and designs a binary edge feature branch (BEFB for short) to learn the binary edge features, which can be easily integrated into any popular backbone. The four edge detectors can learn the horizontal, vertical, positive diagonal, and negative diagonal edge features, respectively, and the branch is stacked by multiple Sobel layers (using edge detectors as kernels) and one threshold layer. The binary edge features learned by the branch, concatenated with the texture features learned by the backbone, are fed into the fully connected layers for classification. We integrate the proposed branch into VGG16 and ResNet34, respectively, and conduct experiments on multiple datasets. Experimental results demonstrate the BEFB is lightweight and has no side effects on training. And the accuracy of the BEFB integrated models is better than the original ones on all datasets when facing FGSM, PGD, and C\&W attacks. Besides, BEFB integrated models equipped with the robustness enhancing techniques can achieve better classification accuracy compared to the original models. The work in this paper for the first time shows it is feasible to enhance the robustness of DCNNs through combining both shape-like features and texture features.


title: Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study

abstract: Large Language Models (LLMs) have gained significant attention in the software engineering community. Nowadays developers have the possibility to exploit these models through industrial-grade tools providing a handy interface toward LLMs, such as OpenAI's ChatGPT. While the potential of LLMs in assisting developers across several tasks has been documented in the literature, there is a lack of empirical evidence mapping the actual usage of LLMs in software projects. In this work, we aim at filling such a gap. First, we mine 1,501 commits, pull requests (PRs), and issues from open-source projects by matching regular expressions likely to indicate the usage of ChatGPT to accomplish the task. Then, we manually analyze these instances, discarding false positives (i.e., instances in which ChatGPT was mentioned but not actually used) and categorizing the task automated in the 467 true positive instances (165 commits, 159 PRs, 143 issues). This resulted in a taxonomy of 45 tasks which developers automate via ChatGPT. The taxonomy, accompanied with representative examples, provides (i) developers with valuable insights on how to exploit LLMs in their workflow and (ii) researchers with a clear overview of tasks that, according to developers, could benefit from automated solutions.


title: A kernel-based analysis of Laplacian Eigenmaps

abstract: Given i.i.d. observations uniformly distributed on a closed manifold $\mathcal{M}\subseteq \mathbb{R}^p$, we study the spectral properties of the associated empirical graph Laplacian based on a Gaussian kernel. Our main results are non-asymptotic error bounds, showing that the eigenvalues and eigenspaces of the empirical graph Laplacian are close to the eigenvalues and eigenspaces of the Laplace-Beltrami operator of $\mathcal{M}$. In our analysis, we connect the empirical graph Laplacian to kernel principal component analysis, and consider the heat kernel of $\mathcal{M}$ as reproducing kernel feature map. This leads to novel points of view and allows to leverage results for empirical covariance operators in infinite dimensions.


title: On Languaging a Simulation Engine

abstract: Language model intelligence is revolutionizing the way we program materials simulations. However, the diversity of simulation scenarios renders it challenging to precisely transform human language into a tailored simulator. Here, using three functionalized types of language model, we propose a language-to-simulation (Lang2Sim) framework that enables interactive navigation on languaging a simulation engine, by taking a scenario instance of water sorption in porous matrices. Unlike line-by-line coding of a target simulator, the language models interpret each simulator as an assembly of invariant tool function and its variant input-output pair. Lang2Sim enables the precise transform of textual description by functionalizing and sequentializing the language models of, respectively, rationalizing the tool categorization, customizing its input-output combinations, and distilling the simulator input into executable format. Importantly, depending on its functionalized type, each language model features a distinct processing of chat history to best balance its memory limit and information completeness, thus leveraging the model intelligence to unstructured nature of human request. Overall, this work establishes language model as an intelligent platform to unlock the era of languaging a simulation engine.


title: Using Spherical Harmonics to solve the Boltzmann equation: an operator based approach

abstract: The transport of charged particles or photons in a scattering medium can be modelled with a Boltzmann equation. The mathematical treatment for scattering in such scenarios is often simplified if evaluated in a frame where the scattering centres are, on average, at rest. It is common therefore, to use a mixed coordinate system, wherein space and time are measured in a fixed inertial frame, while momenta are measured in a "co-moving" frame. To facilitate analytic and numerical solutions, the momentum dependency of the phase-space density may be expanded as a series of spherical harmonics, typically truncated at low order. A method for deriving the system of equations for the expansion coefficients of the spherical harmonics to arbitrary order is presented in the limit of isotropic, small-angle scattering. The method of derivation takes advantage of operators acting on the space of spherical harmonics. The matrix representations of these operators are employed to compute the system of equations. The computation of matrix representations is detailed and subsequently simplified with the aid of rotations of the coordinate system. The eigenvalues and eigenvectors of the matrix representations are investigated to prepare the application of standard numerical techniques, e.g. the finite volume method or the discontinuous Galerkin method, to solve the system.


title: On geometrical origin of Kodama vector

abstract: It has been known that warped product spacetimes such as spherically symmetric ones admit the Kodama vector. This vector provides a locally conserved current made by contraction of the Einstein tensor, even though there is no Killing vector. In addition, a quasilocal mass, Birkhoff's theorem and various properties are closely related to the Kodama vector. Recently, it is shown that the notion of the Kodama vector can be extended to three-dimensional axisymmetric spacetimes even if the spacetimes are not warped product. This implies that warped product may not be a necessary condition for a spacetime to admit the Kodama vector. We show properties of the Kodama vector originate from the conformal Killing-Yano two-form. In particular, the well-known spacetimes that admit the Kodama vector have a closed conformal Killing-Yano two-form. Furthermore, we show the Kodama vector provides local conserved currents for each order of the Lovelock tensor as well as the Einstein tensor.


title: Overiteration of $d$-variate tensor product Bernstein operators: a quantitative result

abstract: Extending an earlier estimate for the degree of approximation of overiterated univariate Bernstein operators towards the same operator of degree one, it is shown that an analogous result holds in the $d$-variate case. The method employed can be carried over to many other cases and is not restricted to Bernstein-type or similar methods.


title: Intelligent Known and Novel Aircraft Recognition -- A Shift from Classification to Similarity Learning for Combat Identification

abstract: Precise aircraft recognition in low-resolution remote sensing imagery is a challenging yet crucial task in aviation, especially combat identification. This research addresses this problem with a novel, scalable, and AI-driven solution. The primary hurdle in combat identification in remote sensing imagery is the accurate recognition of Novel/Unknown types of aircraft in addition to Known types. Traditional methods, human expert-driven combat identification and image classification, fall short in identifying Novel classes. Our methodology employs similarity learning to discern features of a broad spectrum of military and civilian aircraft. It discerns both Known and Novel aircraft types, leveraging metric learning for the identification and supervised few-shot learning for aircraft type classification. To counter the challenge of limited low-resolution remote sensing data, we propose an end-to-end framework that adapts to the diverse and versatile process of military aircraft recognition by training a generalized embedder in fully supervised manner. Comparative analysis with earlier aircraft image classification methods shows that our approach is effective for aircraft image classification (F1-score Aircraft Type of 0.861) and pioneering for quantifying the identification of Novel types (F1-score Bipartitioning of 0.936). The proposed methodology effectively addresses inherent challenges in remote sensing data, thereby setting new standards in dataset quality. The research opens new avenues for domain experts and demonstrates unique capabilities in distinguishing various aircraft types, contributing to a more robust, domain-adapted potential for real-time aircraft recognition.


title: Nonlocal gradients: Fundamental theorem of calculus, Poincar\'e inequalities and embeddings

abstract: We address the study of nonlocal gradients defined through general radial kernels $\rho$. Our investigation focuses on the properties of the associated function spaces, which depend on the characteristics of the kernel function. Specifically, even with minimal assumptions on $\rho$, we establish Poincar\'e inequalities and compact embeddings into Lebesgue spaces. Additionally, we present a fundamental theorem of calculus that enables us to recover a function from its nonlocal gradient through a convolution. This is used to demonstrate embeddings into Orlicz spaces and spaces of continuous functions that mirror the well-known Sobolev and Morrey inequalities for classical gradients. Finally, we establish conditions for inclusions and equality of spaces associated to different kernels.


title: Efficient Quantum Lattice Gas Automata

abstract: This study presents a novel quantum algorithm for 1D and 2D lattice gas automata simulation, demonstrating logarithmic complexity in terms of $CX$ gates. The algorithm is composed by three main steps: collision, mapping and propagation. A computational complexity analysis and a comparison using different error rates and number of shots are provided. Despite the impact of noise, our findings indicate that accurate simulations could be achieved already on current noisy devices. This suggests potential for efficient simulation of classical fluid dynamics using quantum lattice gas automata, conditional on advancements in time step concatenation and state preparation.


title: Multiple Boundary Peak Solution for Critical Elliptic System with Neumann Boundary

abstract: We consider the following elliptic system with Neumann boundary: \begin{equation} \begin{cases} -\Delta u + \mu u=v^p, &\hbox{in } \Omega, \\-\Delta v + \mu v=u^q, &\hbox{in } \Omega, \\\frac{\partial u}{\partial n} = \frac{\partial v}{\partial n} = 0, &\hbox{on } \partial\Omega, \\u>0,v>0, &\hbox{in } \Omega, \end{cases} \end{equation} where $\Omega \subset \mathbb{R}^N$ is a smooth bounded domain, $\mu$ is a positive constant and $(p,q)$ lies in the critical hyperbola: $$ \dfrac{1}{p+1} + \dfrac{1}{q+1} =\dfrac{N-2}{N}. $$ By using the Lyapunov-Schmidt reduction technique, we establish the existence of infinitely many solutions to above system. These solutions have multiple peaks that are located on the boundary $\partial \Omega$. Our results show that the geometry of the boundary $\partial\Omega,$ especially its mean curvature, plays a crucial role on the existence and the behaviour of the solutions to the problem.


title: Low-energy theorem revisited and OPE in massless QCD

abstract: We revisit a low-energy theorem (LET) of NSVZ type in SU($N$) QCD with $N_f$ massless quarks derived in [1] by implementing it in dimensional regularization. The LET relates $n$-point correlators in the lhs to $n+1$-point correlators with the extra insertion of Tr$F^2$ at zero momentum in the rhs. First, we demonstrate that, for $2$-point correlators of an operator $O$ in the lhs, the LET implies that, in general, the integrated $3$-point correlator in the rhs needs in perturbation theory an infinite additive renormalization in addition to the multiplicative one. Second, we relate the above counterterm -- that is completely fixed by the LET -- to a corresponding divergent contact term in a certain coefficient of the OPE of Tr$F^2$ with $O$ in the momentum representation, thus extending by means of the LET to any operator $O$ an independent argument that first appeared for $O$=Tr$F^2$ in [2]. Third, we verify by direct computation that the latter divergent contact term first computed in [3] to order $g^4$ in perturbation theory and to all orders in [2] actually agrees with the one implied by the LET. Fourth, we evaluate the divergent contact terms for the above OPE coefficient both in the coordinate and momentum representation and discuss their relation. Fifth, we demonstrate that in the asymptotically free phase of QCD the aforementioned counterterm in the LET -- though divergent order by order in perturbation theory -- is actually finite nonperturbatively after resummation to all perturbative orders. Finally, we briefly recall the implications of the LET in the gauge-invariant framework of dimensional regularization for the perturbative and nonperturbative renormalization in large-$N$ QCD. The implications of the LET inside and above the conformal window of SU($N$) QCD with $N_f$ massless quarks will appear in a forthcoming paper.


title: On Lepton Flavor Violation and Dark Matter in Scotogenic model with Trimaximal Mixing

abstract: We examine the Scotogenic model employing the TM$_2$ mixing matrix, $U_{\text{TM}_2}$, for neutrinos and parameterize the Yukawa coupling matrix $y$ based on the diagonalization condition for the neutrino mass matrix, $m_{\nu}$. Our investigation centers on analyzing the relic density of cold dark matter ($\Omega h^2$) and possible lepton flavor violation (LFV) in the model. In particular, we study coannihilation dynamics and LFV, in the model, considering various coannihilation scenarios including non-zero mass splitting between lightest sterile neutrinos. While analyzing, we have taken into consideration respective experimental constraints on $\Omega h^2$ and LFV alongside neutrino oscillation data. Our study reveals that in both normal and inverted hierarchy of neutrino masses, splitting between masses of $N_1$ and $N_2$ can be up to $\approx 15\%$ for the model to be in consonance with the above constraints. In the second part, we have extended the analysis incorporating extended magic symmetry in $m_\nu$ enabling us to completely determine Yukawa coupling matrix ($y$). We observe a notable exclusion of the effective Majorana mass $|m_{ee}|$ parameter space by cosmological bound on sum of neutrino masses, particularly in the normal hierarchy while inverted hierarchy scenario is excluded due to constraints coming from extended magic symmetry. These findings shed light on the interplay among the Scotogenic model, TM$_2$ mixing, and extended magic symmetry, offering insights into the permitted parameter space and hierarchy exclusion.


title: An efficient multimode vectorial nonlinear propagation solver beyond the weak guidance approximation

abstract: In this article, we present an efficient numerical model able to solve the vectorial nonlinear pulse propagation equation in circularly symmetric multimode waveguides. The algorithm takes advantage of the conservation of total angular momentum of light upon propagation and takes into account the vectorial nature of the propagating modes, making it particularly relevant for studies in ring-core fibers. While conventional propagation solvers exhibit a computational complexity scaling as N^4_{mode} where N_{mode} is the number of considered modes, the present solver scales as N^{3/2}_{mode}. As a first example, it is shown that orbital angular momentum modulation instability processes take place in ring-core fibers in realistic conditions. Finally, it is predicted that the modulation instability process is followed by the appearance of breather-like angular structures.


title: Cluster Counting Algorithm for the CEPC Drift Chamber using LSTM and DGCNN

abstract: Particle identification (PID) of hadrons plays a crucial role in particle physics experiments, especially for flavor physics and jet tagging. The cluster counting method, which measures the number of primary ionizations in gaseous detectors, represents a promising breakthrough in PID. However, developing an effective reconstruction algorithm for cluster counting remains a major challenge. In this study, we address this challenge by proposing a cluster counting algorithm based on long short-term memory and dynamic graph convolutional neural networks for the CEPC drift chamber. Leveraging Monte Carlo simulated samples, our machine learning-based algorithm surpasses traditional methods. Specifically, it achieves a remarkable 10\% improvement in $K/\pi$ separation for PID performance, which meets the necessary PID requirements for CEPC.


title: Density in weighted Bergman spaces and Bergman completeness of Hartogs domains

abstract: We study the density of functions which are holomorphic in a neighbourhood of the closure $\overline{\Omega}$ of a bounded non-smooth pseudoconvex domain $\Omega$, in the Bergman space $ H^2(\Omega ,\varphi)$ with a plurisubharmonic weight $\varphi$. As an application, we show that the Hartogs domain $$ \Omega _\alpha : = \{(z,w) \in D\times \C: |w|< \delta^\alpha_D(z) \}, \ \ \ \alpha>0, $$ where $D\subset \subset \C$ and $\delta_D$ denotes the boundary distance, is Bergman complete if and only if every boundary point of $D$ is non-isolated.


title: Representations and cohomology of a matched pair of Lie algebras, and $L_\infty$-algebras

abstract: The notion of a matched pair of Lie algebras was introduced in the study of Lie bialgebras and Poisson-Lie groups. In this paper, we introduce representations and cohomology of a matched pair of Lie algebras. We show that there is a morphism from the cohomology of a Lie bialgebra to the cohomology of the corresponding matched pair of Lie algebras. Our cohomology is also useful to study infinitesimal deformations and abelian extensions. In the last part, we define the notion of a matched pair of $L_\infty$-algebras and construct the corresponding bicrossed product. Finally, we show that a matched pair of skeletal $L_\infty$-algebras is closely related to the cohomology introduced in the paper.


title: An NS-NS basis for odd-parity couplings at order $\alpha'^3$

abstract: In this study, we thoroughly investigate the covariant and $B$-field gauge invariant odd-parity NS-NS couplings at order $\alpha'^3$, while considering the removal of field redefinitions, Bianchi identities, and total derivative freedoms. Our comprehensive analysis reveals the existence of 477 independent couplings. To establish a specific basis, we construct it in such a way that none of the couplings contain terms involving structures such as $R$, $R_{\mu\nu}$, $\nabla_\mu H^{\mu\alpha\beta}$, $\nabla_\mu\nabla^\mu\Phi$, or terms with more than two derivatives, except for one term that possesses three derivatives on $H$. Interestingly, the mentioned coupling with the four-derivative on the $B$-field is rendered zero by the sphere-level three-point S-matrix element. Furthermore, we demonstrate that the remaining 476 parameters in type II superstring theory are fixed to zero by imposing the requirement that the circular reduction of the couplings remains invariant under $O(1,1,\MZ)$ T-duality transformations. This result is consistent with our expectations and highlights the crucial role played by the $O(1,1,\MZ)$ symmetry in constraining the parameter space of the classical effective actions in string theory.


title: SAND: Decoupling Sanitization from Fuzzing for Low Overhead

abstract: Sanitizers provide robust test oracles for various software vulnerabilities. Fuzzing on sanitizer-enabled programs has been the best practice to find software bugs. Since sanitizers need to heavily instrument a target program to insert run-time checks, sanitizer-enabled programs have much higher overhead compared to normally built programs. In this paper, we present SAND, a new fuzzing framework that decouples sanitization from the fuzzing loop. SAND performs fuzzing on a normally built program and only invokes sanitizer-enabled programs when input is shown to be interesting. Since most of the generated inputs are not interesting, i.e., not bug-triggering, SAND allows most of the fuzzing time to be spent on the normally built program. To identify interesting inputs, we introduce execution pattern for a practical execution analysis on the normally built program. We realize SAND on top of AFL++ and evaluate it on 12 real-world programs. Our extensive evaluation highlights its effectiveness: on a period of 24 hours, compared to fuzzing on ASan/UBSan-enabled and MSan-enabled programs, SAND respectively achieves 2.6x and 15x throughput and detects 51% and 242% more bugs.


title: Results of the follow-up of ANTARES neutrino alerts

abstract: High-energy neutrinos could be produced in the interaction of charged cosmic rays with matter or radiation surrounding astrophysical sources. To look for transient sources associated with neutrino emission, a follow-up program of neutrino alerts has been operating within the ANTARES Collaboration since 2009. This program, named TAToO, has triggered robotic optical telescopes (MASTER, TAROT, ROTSE and the SVOM ground based telescopes) immediately after the detection of any relevant neutrino candidate and scheduled several observations in the weeks following the detection. A subset of ANTARES events with highest probabilities of being of cosmic origin has also been followed by the Swift and the INTEGRAL satellites, the Murchison Widefield Array radio telescope and the H.E.S.S. high-energy gamma-ray telescope. The results of twelve years of observations are reported. No optical counterpart has been significantly associated with an ANTARES candidate neutrino signal during image analysis. Constraints on transient neutrino emission have been set. In September 2015, ANTARES issued a neutrino alert and during the follow-up, a potential transient counterpart was identified by Swift and MASTER. A multi-wavelength follow-up campaign has allowed to identify the nature of this source and has proven its fortuitous association with the neutrino. The return of experience is particularly important for the design of the alert system of KM3NeT, the next generation neutrino telescope in the Mediterranean Sea.


title: LLMArena: Assessing Capabilities of Large Language Models in Dynamic Multi-Agent Environments

abstract: Recent advancements in large language models (LLMs) have revealed their potential for achieving autonomous agents possessing human-level intelligence. However, existing benchmarks for evaluating LLM Agents either use static datasets, potentially leading to data leakage or focus only on single-agent scenarios, overlooking the complexities of multi-agent interactions. There is a lack of a benchmark that evaluates the diverse capabilities of LLM agents in multi-agent, dynamic environments. To this end, we introduce LLMArena, a novel and easily extensible framework for evaluating the diverse capabilities of LLM in multi-agent dynamic environments. LLMArena encompasses seven distinct gaming environments, employing Trueskill scoring to assess crucial abilities in LLM agents, including spatial reasoning, strategic planning, numerical reasoning, risk assessment, communication, opponent modeling, and team collaboration. We conduct an extensive experiment and human evaluation among different sizes and types of LLMs, showing that LLMs still have a significant journey ahead in their development towards becoming fully autonomous agents, especially in opponent modeling and team collaboration. We hope LLMArena could guide future research towards enhancing these capabilities in LLMs, ultimately leading to more sophisticated and practical applications in dynamic, multi-agent settings. The code and data will be available.


title: The Map between Symmetries and Orbital Rules to Realize Tunable Band Gap in Quantum Anomalous Hall Effect Material

abstract: We establish the map between symmetries and orbital rules to realize tunable band gap in quantum anomalous Hall effect material. This band gap is determined by the SOC between local orbitals associated with band crossing, which is constrained by at least one of lattice symmetries. The band gap could be turned on/off by breaking or keeping corresponding lattice symmetry through rotation of magnetization direction. The components of local orbital related to band crossing is required to match the symmetry, and to produce non-zero SOC when symmetry is broken. Following this map, the TiSb monolayer is predicted to be a quantum anomalous Hall effect material with a band gap adjusted in the range of 0 to 209 meV through magnetization direction rotation.


title: Trajectory Prediction for Autonomous Driving Using a Transformer Network

abstract: Predicting the trajectories of surrounding agents is still considered one of the most challenging tasks for autonomous driving. In this paper, we introduce a multi-modal trajectory prediction framework based on the transformer network. The semantic maps of each agent are used as inputs to convolutional networks to automatically derive relevant contextual information. A novel auxiliary loss that penalizes unfeasible off-road predictions is also proposed in this study. Experiments on the Lyft l5kit dataset show that the proposed model achieves state-of-the-art performance, substantially improving the accuracy and feasibility of the prediction outcomes.


title: Shell-model study of $\log ft$ values for $^{139,140,141}$Ba $\rightarrow$ $^{139,140,141}$La transitions

abstract: In the present work, beta-decay properties such as $\log ft$ values and half-lives have been systematically studied corresponding to Ba isotopes using large-scale shell-model calculations. An extensive comparison of beta decay results corresponding to $^{141}$Ba$\rightarrow$ $^{141}$La using shell-model calculations is made with the recently available experimental data. In addition, we have also calculated the nuclear and beta decay properties corresponding to $^{139}$Ba$\rightarrow$ $^{139}$La and $^{140}$Ba$\rightarrow$ $^{140}$La transitions. The model-space considered here is $Z=50-82$ and $N=82-126$ with $^{132}$Sn core, and the interaction employed here is jj56pnb interaction. The beta decay results using shell-model calculations for all the mentioned isotopes are compared with the available experimental data. This is the first theoretical interpretation corresponding to recent experimental data.


title: Gluon generalized parton distributions of the proton at non-zero skewness

abstract: Using a recently developed light-front spectator model that incorporates gluon, where the light-front wave functions are modeled from the soft-wall AdS/QCD prediction, we examine the leading twist gluon generalized parton distributions (GPDs) inside the proton. We derive the chirally even and odd distributions by using the overlap representation of the light-front wave functions. In terms of GPDs at non-zero skewness, we investigate the entire three-dimensional representation of gluons. We analyse the gluon impact parameter distributions at $\xi=0$ using the Fourier transform of GPDs. We address the total angular momentum contribution of the gluons by using the Ji's sum rule and also give our predictions for both the canonical and kinetic orbital angular momentum in the light-cone gauge.


title: Multi-Messenger Windows on the Universe: detecting precursor emission to compacts' mergers

abstract: We provide an overview of various mechanisms, and corresponding powers, of precursor emission to compacts' mergers to be detected by LIGO-Virgo-KAGRA (LVK) collaboration. Expected peak powers, $\leq 10^{43}$ erg s$^{-1}$, are not sufficiently high to be detected by all-sky high-energy satellites (unless beamed). The best chance is the detection of possible coherent radio emission, producing observable signals up to $\sim$ Jansky of flux density. Low-frequency phased array telescopes like LOFAR, the MWA and DSA-2000 are best suited due to their large instantaneous sky coverage. Time-wise, in addition to LIGO early warning alerts up to a minute before the merger, the dispersive delay at lower frequencies of $\sim$ 300 MHz can be of the order of minutes. Optical detections are the most challenging.


title: Memory GAPS: Would LLMs pass the Tulving Test?

abstract: The Tulving Test was designed to investigate memory performance in recognition and recall tasks. Its results help assess the relevance of the "Synergistic Ecphory Model" of memory and similar RK paradigms in human performance. This paper starts investigating whether the more than forty-year-old framework sheds some light on LLMs' acts of remembering.


title: Stochastic Conditional Diffusion Models for Robust Semantic Image Synthesis

abstract: Semantic image synthesis (SIS) is a task to generate realistic images corresponding to semantic maps (labels). However, in real-world applications, SIS often encounters noisy user inputs. To address this, we propose Stochastic Conditional Diffusion Model (SCDM), which is a robust conditional diffusion model that features novel forward and generation processes tailored for SIS with noisy labels. It enhances robustness by stochastically perturbing the semantic label maps through Label Diffusion, which diffuses the labels with discrete diffusion. Through the diffusion of labels, the noisy and clean semantic maps become similar as the timestep increases, eventually becoming identical at $t=T$. This facilitates the generation of an image close to a clean image, enabling robust generation. Furthermore, we propose a class-wise noise schedule to differentially diffuse the labels depending on the class. We demonstrate that the proposed method generates high-quality samples through extensive experiments and analyses on benchmark datasets, including a novel experimental setup simulating human errors during real-world applications. Code is available at https://github.com/mlvlab/SCDM.


title: Note on cosmographic approach to determining parameters of Barrow entropic dark energy model

abstract: The cosmographic approach is used to determine the parameters of the Barrow entropic dark energy model. The model parameters are expressed through the current kinematic characteristics of Universe expansion.


title: Pre-training Cross-lingual Open Domain Question Answering with Large-scale Synthetic Supervision

abstract: Cross-lingual open domain question answering (CLQA) is a complex problem, comprising cross-lingual retrieval from a multilingual knowledge base, followed by answer generation in the query language. Both steps are usually tackled by separate models, requiring substantial annotated datasets, and typically auxiliary resources, like machine translation systems to bridge between languages. In this paper, we show that CLQA can be addressed using a single encoder-decoder model. To effectively train this model, we propose a self-supervised method based on exploiting the cross-lingual link structure within Wikipedia. We demonstrate how linked Wikipedia pages can be used to synthesise supervisory signals for cross-lingual retrieval, through a form of cloze query, and generate more natural questions to supervise answer generation. Together, we show our approach, \texttt{CLASS}, outperforms comparable methods on both supervised and zero-shot language adaptation settings, including those using machine translation.


title: On short-time behavior of implied volatility in a market model with indexes

abstract: This paper investigates short-term behaviors of implied volatility of derivatives written on indexes in equity markets when the index processes are constructed by using a ranking procedure. Even in simple market settings where stock prices follow geometric Brownian motion dynamics, the ranking mechanism can produce the observed term structure of at-the-money (ATM) implied volatility skew for equity indexes. Our proposed models showcase the ability to reconcile two seemingly contradictory features found in empirical data from equity markets: the long memory of volatilities and the power law of ATM skews. Furthermore, the models allow for the capture of a novel phenomenon termed the quasi-blow-up phenomenon.


title: Scaling and flow profiles in magnetically confined liquid-in-liquid channels

abstract: Ferrofluids kept in place by permanent magnet quadrupoles can act as liquid walls to surround a second non-magnetic inside, resulting in a liquid fluidic channel with diameter size ranging from mm down to less than 10 micrometer. Micro particle tracking velocimetry (micro PTV) experiments and modeling show that near ideal plug flow is possible in such liquid-in-liquid channels due to the reduced friction at the walls. The measured fluids velocity profiles agree with the predictions of a hydrodynamic model of cylindrical symmetry with a minimal set of hypotheses. By introducing symmetry breaking elements in the system, we show how unique velocity and flow properties can be obtained. Our liquid-in-liquid confinement opens new possibilities for < 10 micrometer-sized microfluidics with low pressures and low shear, with flow characteristics not attainable in comparable solid-wall devices.


title: Ergodicity in planar slow-fast systems through slow relation functions

abstract: In this paper, we study ergodic properties of the slow relation function (or entry-exit function) in planar slow-fast systems. It is well known that zeros of the slow divergence integral associated with canard limit periodic sets give candidates for limit cycles. We present a new approach to detect the zeros of the slow divergence integral by studying the structure of the set of all probability measures invariant under the corresponding slow relation function. Using the slow relation function, we also show how to estimate (in terms of weak convergence) the transformation of families of probability measures that describe initial point distribution of canard orbits during the passage near a slow-fast Hopf point (or a more general turning point). We provide formulas to compute exit densities for given entry densities and the slow relation function. We apply our results to slow-fast Li\'{e}nard equations.


title: Periodically driven thermodynamic systems under vanishingly small viscous drives

abstract: Periodically driven thermodynamic systems support stable non-equilibrium oscillating states with properties drastically different from equilibrium. They exhibit even more exotic features for low viscous drives, which is a regime that is hard to probe due to singular behavior of the underlying Langevin dynamics near vanishing viscosity. We propose a method, based on singular perturbation and Floquet theories, that allows us to obtain oscillating states in this limit. We then find two distinct classes of distributions, each exhibiting interesting features that can be exploited for a range of practical applicability, including cooling a system and triggering chemical reactions through weakly interacting driven environments.


title: Photonic Neural Network Fabricated on Thin Film Lithium Niobate for High-Fidelity and Power-Efficient Matrix Computation

abstract: Photonic neural networks (PNNs) have emerged as a promising platform to address the energy consumption issue that comes with the advancement of artificial intelligence technology, and thin film lithium niobate (TFLN) offers an attractive solution as a material platform mainly for its combined characteristics of low optical loss and large electro-optic (EO) coefficients. Here, we present the first implementation of an EO tunable PNN based on the TFLN platform. Our device features ultra-high fidelity, high computation speed, and exceptional power efficiency. We benchmark the performance of our device with several deep learning missions including in-situ training of Circle and Moons nonlinear datasets classification, Iris flower species recognition, and handwriting digits recognition. Our work paves the way for sustainable up-scaling of high-speed, energy-efficient PNNs.


title: Enhancement of 3D Camera Synthetic Training Data with Noise Models

abstract: The goal of this paper is to assess the impact of noise in 3D camera-captured data by modeling the noise of the imaging process and applying it on synthetic training data. We compiled a dataset of specifically constructed scenes to obtain a noise model. We specifically model lateral noise, affecting the position of captured points in the image plane, and axial noise, affecting the position along the axis perpendicular to the image plane. The estimated models can be used to emulate noise in synthetic training data. The added benefit of adding artificial noise is evaluated in an experiment with rendered data for object segmentation. We train a series of neural networks with varying levels of noise in the data and measure their ability to generalize on real data. The results show that using too little or too much noise can hurt the networks' performance indicating that obtaining a model of noise from real scanners is beneficial for synthetic data generation.


title: LLM-based Privacy Data Augmentation Guided by Knowledge Distillation with a Distribution Tutor for Medical Text Classification

abstract: As sufficient data are not always publically accessible for model training, researchers exploit limited data with advanced learning algorithms or expand the dataset via data augmentation (DA). Conducting DA in private domain requires private protection approaches (i.e. anonymization and perturbation), but those methods cannot provide protection guarantees. Differential privacy (DP) learning methods theoretically bound the protection but are not skilled at generating pseudo text samples with large models. In this paper, we transfer DP-based pseudo sample generation task to DP-based generated samples discrimination task, where we propose a DP-based DA method with a LLM and a DP-based discriminator for text classification on private domains. We construct a knowledge distillation model as the DP-based discriminator: teacher models, accessing private data, teaches students how to select private samples with calibrated noise to achieve DP. To constrain the distribution of DA's generation, we propose a DP-based tutor that models the noised private distribution and controls samples' generation with a low privacy cost. We theoretically analyze our model's privacy protection and empirically verify our model.


title: Generative Pretrained Hierarchical Transformer for Time Series Forecasting

abstract: Recent efforts have been dedicated to enhancing time series forecasting accuracy by introducing advanced network architectures and self-supervised pretraining strategies. Nevertheless, existing approaches still exhibit two critical drawbacks. Firstly, these methods often rely on a single dataset for training, limiting the model's generalizability due to the restricted scale of the training data. Secondly, the one-step generation schema is widely followed, which necessitates a customized forecasting head and overlooks the temporal dependencies in the output series, and also leads to increased training costs under different horizon length settings. To address these issues, we propose a novel generative pretrained hierarchical transformer architecture for forecasting, named \textbf{GPHT}. There are two aspects of key designs in GPHT. On the one hand, we advocate for constructing a mixed dataset under the channel-independent assumption for pretraining our model, comprising various datasets from diverse data scenarios. This approach significantly expands the scale of training data, allowing our model to uncover commonalities in time series data and facilitating improved transfer to specific datasets. On the other hand, GPHT employs an auto-regressive forecasting approach, effectively modeling temporal dependencies in the output series. Importantly, no customized forecasting head is required, enabling \textit{a single model to forecast at arbitrary horizon settings.} We conduct sufficient experiments on eight datasets with mainstream self-supervised pretraining models and supervised models. The results demonstrated that GPHT surpasses the baseline models across various fine-tuning and zero/few-shot learning settings in the traditional long-term forecasting task. We make our codes publicly available\footnote{https://github.com/icantnamemyself/GPHT}.


title: Discovering Artificial Viscosity Models for Discontinuous Galerkin Approximation of Conservation Laws using Physics-Informed Machine Learning

abstract: Finite element-based high-order solvers of conservation laws offer large accuracy but face challenges near discontinuities due to the Gibbs phenomenon. Artificial viscosity is a popular and effective solution to this problem based on physical insight. In this work, we present a physics-informed machine learning algorithm to automate the discovery of artificial viscosity models in a non-supervised paradigm. The algorithm is inspired by reinforcement learning and trains a neural network acting cell-by-cell (the viscosity model) by minimizing a loss defined as the difference with respect to a reference solution thanks to automatic differentiation. This enables a dataset-free training procedure. We prove that the algorithm is effective by integrating it into a state-of-the-art Runge-Kutta discontinuous Galerkin solver. We showcase several numerical tests on scalar and vectorial problems, such as Burgers' and Euler's equations in one and two dimensions. Results demonstrate that the proposed approach trains a model that is able to outperform classical viscosity models. Moreover, we show that the learnt artificial viscosity model is able to generalize across different problems and parameters.


title: Rearrangement of orbitals in KAgF3 due to Kugel-Khomskii mechanism: a Neutron diffraction and Density Functional Theory study

abstract: The crystal structure of KAgF3 was studied by powder neutron diffraction. KAgF3 exhibits at all temperatures an orthorhombic symmetry in space group Pnma that allows for several distortions with respect to the ideal cubic perovskite structure. At all temperatures there is a strong splitting of Ag-F distances parallel to the a,c planes that documents alternating occupation of holes in x2-y2 and z2-y2 orbitals. The orientation of the octahedron elongation and thereby the orbital order flips at a structural phase transition occurring around Ts=240K which is accompanied by a suppression of magnetic susceptibility. The orbital ordering is further enhanced in the low-temperature phase and the twisting of the AgF4 plaquettes forming the antiferromagnetic chains changes. DFT calculations show an enhancement of the magnetic interaction in the low temperature phase indicating that the transition and the orbital order are partially driven by the Kugel-Khomskii mechanism.


title: Microsecond Time-Resolved Cryo-Electron Microscopy

abstract: Microsecond time-resolved cryo-electron microscopy has emerged as a novel approach for directly observing proteins dynamics. By providing microsecond temporal and near-atomic spatial resolution, it has the potential to elucidate a wide range of dynamics that were previously inaccessible and therefore, to significantly advance our understanding of protein function. This review summarizes the properties of the laser melting and revitrification process that underlies the technique and describes different experimental implementations. Strategies for initiating and probing dynamics are discussed. Finally, the microsecond time-resolved observation of the capsid dynamics of CCMV, an icosahedral plant virus, is reviewed, which illustrates important features of the technique as well as its potential.


title: Sequential design for surrogate modeling in Bayesian inverse problems

abstract: Sequential design is a highly active field of research in active learning which provides a general framework for the design of computer experiments to make the most of a low computational budget. It has been widely used to generate efficient surrogate models able to replace complex computer codes, most notably for uncertainty quantification, Bayesian optimization, reliability analysis or model calibration tasks. In this work, a sequential design strategy is developed for Bayesian inverse problems, in which a Gaussian process surrogate model serves as an emulator for a costly computer code. The proposed strategy is based on a goal-oriented I-optimal criterion adapted to the Stepwise Uncertainty Reduction (SUR) paradigm. In SUR strategies, a new design point is chosen by minimizing the expectation of an uncertainty metric with respect to the yet unknown new data point. These methods have attracted increasing interest as they provide an accessible framework for the sequential design of experiments while including almost-sure convergence for the most-widely used metrics. In this paper, a weighted integrated mean square prediction error is introduced and serves as a metric of uncertainty for the newly proposed IP-SUR (Inverse Problem Stepwise Uncertainty Reduction) sequential design strategy derived from SUR methods. This strategy is shown to be tractable for both scalar and multi-output Gaussian process surrogate models with continuous sample paths, and comes with theoretical guarantee for the almost-sure convergence of the metric of uncertainty. The premises of this work are highlighted on various test cases in which the newly derived strategy is compared to other naive and sequential designs (D-optimal designs, Bayes risk minimization).


title: Large Anomalous Hall Effect at Room Temperature in a Fermi-Level-Tuned Kagome Antiferromagnet

abstract: The recent discoveries of surperisingly large anomalous Hall effect in chiral antiderromagnets have triggered extensive research efforts in various fields, ranging from topological condensed-matter physics to antiferromagnetic spintronics, and energy harvesting technology. However, such AHE-hosting antiferromagnetic materials are rare in nature. Herein, we demonstrate that Mn2.4Ga, a Fermi-level-tuned kagome antiferromagnet, has a large anomalous Hall conductivity of about 150 {\Omega}-1cm-1 at room temperature that surpasses the usual high values (i.e.,20-50 {\Omega}-1cm-1) observed so far in two outstanding kagome antiferromagnets, Mn3Sn and Mn3Ge. The spin triangular structure of Mn2.4Ga guarantees a nonzero Berry curvature while generates only a weak net moment in the kagome plane.Moreover, the anomalous Hall conductivity exhibits a sign reversal with the rotation of a small magnetic field, which can be ascribed to the field-controlled chirality of the spin triangular structure. Our theoretical calculation indicate that the large AHE in Mn2.4Ga originates from a significantly enhanced Berry curvature associated wiht the tuning of the Fermi level close to the Weyl points. These properties, together with the ability to manipulate moment orientations using a moderate external magnetic field, make Mn2.4Ga extremely exciting for future antiferromagnetic spintronics.


title: Uniform large deviations and metastability of random dynamical systems

abstract: In this paper, we first provide a criterion on uniform large deviation principles (ULDP) of stochastic differential equations under Lyapunov conditions on the coefficients, which can be applied to stochastic systems with coefficients of polynomial growth and possible degenerate driving noises. In the second part, using the ULDP criterion we preclude the concentration of limiting measures of invariant measures of stochastic dynamical systems on repellers and acyclic saddle chains and extend Freidlin and Wentzell's asymptotics theorem to stochastic systems with unbounded coefficients. Of particular interest, we determine the limiting measures of the invariant measures of the famous stochastic van der Pol equation and van der Pol Duffing equation whose noises are naturally degenerate. We also construct two examples to match the global phase portraits of Freidlin and Wentzell's unperturbed systems and to explicitly compute their transition difficulty matrices. Other applications include stochastic May-Leonard system and random systems with infinitely many equivalent classes.


title: Room Temperature Microsecond Coherence of Silicon Dangling Bonds

abstract: Paramagnetic point defects in silicon provide qubits that could open up pathways towards silicon-technology based, low-cost, room-temperature (RT) quantum sensing. The silicon dangling bond (db) is a natural candidate, given its sub-nanometer localization and direct involvement in spin-dependent charge-carrier recombination, allowing for electrical spin readout. In crystalline silicon, however, rapid loss of db spin-coherence at RT due to free-electron trapping, strongly limits quantum applications. In this work, by combining density-functional theory and multifrequency (100 MHz-263 GHz) pulsed electrically detected magnetic resonance spectroscopy, we show that upon electron capture, dbs in a hydrogenated amorphous silicon matrix form metastable spin pairs in a well-defined quasi two-dimensional (2D) configuration. Although highly localized, these entangled spin pairs exhibit nearly vanishing intrinsic dipolar and exchange coupling. The formation of this magic-angle-like configuration involves a >0.3 eV energy relaxation of a trapped electron, stabilizing the pair. This extends RT spin coherence times into the microsecond range in silicon required for a future spin-based quantum sensing technology.


title: A Lagrangian Perspective on Growth of Midlatitude Storms

abstract: Extratropical storms dominate midlatitude climate and weather and are known to grow baroclinicaly and decay barotropicaly. Understanding how their growth responds to climatic changes is crucial for accurately quantifying climate and weather in the extratropics. To date, quantitative climatic measures of storms' growth have been mostly based on Eulerian measures, taking into account the mean state of the atmosphere and how those affect eddy growth, but they do not consider the Lagrangian growth of the storms themselves. Here, using ERA-5 reanalysis data and tracking all extratropical storms (cyclones and anticyclones) from over 80 years of data, we examine the actual growth of the storms and compare it to the Eulerian characteristics of the mean state as the storms develop. We find that, in the limit of weak baroclinicity, measures such as the Eulerian Eady Growth Rate provide a good measure of the storms' actual strength. However, for high baroclinicity levels, this linear relationship breaks. We show that while the actual growth rate of single storms is linearly correlated with the Eulerian measures, the high baroclinicity reduction in storm strength is due to a decrease in the storms' growth time with baroclinicity. Based on the Lagrangian analysis, we suggest a nonlinear correction to the traditional Eady Growth Rate. Expanding the analysis to include the mean flow's barotropic properties highlights their marginal effect on storms' growth rate but the crucial impact on growth time. Our results emphasize the potential of Lagrangianly studying many storms to advance understanding of the midlatitude climate.


title: Remarks on regularization by noise, convex integration and spontaneous stochasticity

abstract: This note is devoted to a discussion of the potential links and differences between three topics: regularization by noise, convex integration, spontaneous stochasticity. All of them deal with the effect on large scales of a small-scale perturbation of fluid dynamic equations. The effects sometimes have something in common, like convex integration and spontaneous stochasticity, sometimes they look the opposite, as in regularization by noise. We are not aware of rigorous links or precise explanations of the differences, and hope to drive new research with this comparative examination.


title: Discovery of magnetically guided metal accretion onto a polluted white dwarf

abstract: Dynamically active planetary systems orbit a significant fraction of white dwarf stars. These stars often exhibit surface metals accreted from debris disks, which are detected through infrared excess or transiting structures. However, the full journey of a planetesimal from star-grazing orbit to final dissolution in the host star is poorly understood. Here, we report the discovery that the cool metal polluted star WD0816-310 has cannibalized heavy elements from a planetary body similar in size to Vesta, and where accretion and horizontal mixing processes have clearly been controlled by the stellar magnetic field. Our observations unveil periodic and synchronized variations in metal line strength and magnetic field intensity, implying a correlation between the local surface density of metals and the magnetic field structure. Specifically, the data point to a likely persistent concentration of metals near a magnetic pole. These findings demonstrate that magnetic fields may play a fundamental role in the final stages of exoplanetary bodies that are recycled into their white dwarf hosts.


title: Defocus-integration Interferometric Scattering Microscopy for Speckle Suppression and Enhancing Nanoparticle Detection on Substrate

abstract: Direct optical detection and imaging of single nanoparticles on substrate in wide field underpin vast applications across different research fields. However, the speckles originating from the unavoidable random surface undulations of the substrate ultimately limit the size of the decipherable nanoparticles by the current optical techniques, including the ultrasensitive interferometric scattering microscopy (iSCAT). Here we report a defocus-integration iSCAT to suppress the speckle noise and to enhance the detection and imaging of single nanoparticles on ultra-flat glass substrate and silicon wafer. In particular, we discover distinct symmetry properties of the scattering phase between the nanoparticle and the surface undulations that cause the speckles. Consequently, we develop the defocus-integration technique to suppress the speckles.We experimentally achieve an enhancement of the signal to noise ratio by 6.9 dB for the nanoparticle detection. We demonstrate that the technique is generally applicable for nanoparticles of various materials and for both low and high refractive-index substrates.


title: Quantitative unique continuation on conic manifolds

abstract: This expository note, written for the proceedings of ICCM 2023, presents recent work [arXiv:2004.13894]. We particularly prove an Carleman estimate on conic manifolds, using a multiple-weight Carleman argument.


title: Black hole in a combined magnetic field: ionized accretion disks in the jetlike and looplike configurations

abstract: Magnetic fields surrounding black holes are responsible for various astrophysical phenomena related to accretion processes and relativistic jets. Depending on the source, the configuration of the field lines may differ significantly, affecting the trajectories of charged particles and the corresponding observables. Usually, the magnetic fields around black holes are modeled within a single source or current generating the field. However, magnetic fields can have more than a single origin, being a combination of different fields, such as, e.g., that of an accretion disk and external large-scale or Galactic ones. In this paper, we propose a combined magnetic field solution given by the superposition of the uniform and Blandford-Znajek split-monopole magnetic fields in a strong gravity regime of the Schwarzschild black hole. We show that when the combined magnetic field components are aligned, the resulting field is of a paraboloidal jetlike shape. Such a configuration is supported by relativistic jet observations and is often utilized in general relativistic magnetohydrodynamical simulations. In the opposite orientation of the two field components, we observe looplike field structures magnetically connecting the black hole with an accretion disk and the magnetic null points, which can be related to the regions of magnetic reconnection. In the combined magnetic field configurations, we analyze the dynamics of charged particles, study their stability conditions, and find the locations of stable off-equatorial structures close to the symmetry axis. We consider an ionization of Keplerian accretion disk as a particular scenario of particle scattering. From the numerical experiments, we conclude that charged particles in the jetlike combination show a strong tendency to escape from the black hole. In contrast, the looplike combination supports accretion of charged particles into the black hole.


title: On the directional asymptotic approach in optimization theory

abstract: As a starting point of our research, we show that, for a fixed order $\gamma\geq 1$, each local minimizer of a rather general nonsmooth optimization problem in Euclidean spaces is either M-stationary in the classical sense (corresponding to stationarity of order $1$), satisfies stationarity conditions in terms of a coderivative construction of order $\gamma$, or is asymptotically stationary with respect to a critical direction as well as order $\gamma$ in a certain sense. By ruling out the latter case with a constraint qualification not stronger than directional metric subregularity, we end up with new necessary optimality conditions comprising a mixture of limiting variational tools of orders $1$ and $\gamma$. These abstract findings are carved out for the broad class of geometric constraints and $\gamma:=2$, and visualized by examples from complementarity-constrained and nonlinear semidefinite optimization. As a byproduct of the particular setting $\gamma:=1$, our general approach yields new so-called directional asymptotic regularity conditions which serve as constraint qualifications guaranteeing M-stationarity of local minimizers. We compare these new regularity conditions with standard constraint qualifications from nonsmooth optimization. Further, we extend directional concepts of pseudo- and quasi-normality to arbitrary set-valued mappings. It is shown that these properties provide sufficient conditions for the validity of directional asymptotic regularity. Finally, a novel coderivative-like variational tool is used to construct sufficient conditions for the presence of directional asymptotic regularity. For geometric constraints, it is illustrated that all appearing objects can be calculated in terms of initial problem data.


title: Dunford--Pettis type properties of locally convex spaces

abstract: In 1953, Grothendieck introduced and studied the Dunford--Pettis property (the $DP$ property) and the strict Dunford--Pettis property (the strict $DP$ property). The $DP$ property of order $p\in[1,\infty]$ for Banach spaces was introduced by Castillo and Sanchez in 1993. Being motivated by these notions, for $p,q\in[1,\infty]$, we define the strict Dunford--Pettis property of order $p$ (the strict $DP_p$ property) and the sequential Dunford--Pettis property of order $(p,q)$ (the sequential $DP_{(p,q)}$ property). We show that a locally convex space (lcs) $E$ has the $DP$ property iff the space $E$ endowed with the Grothendieck topology $\tau_{\Sigma'}$ has the weak Glicksberg property, and $E$ has the strict $DP_p$ property iff the space $(E,\tau_{\Sigma'}) $ has the $p$-Schur property. We also characterize lcs with the sequential $DP_{(p,q)}$ property. Some permanent properties and relationships between Dunford--Pettis type properties are studied. Numerous (counter)examples are given. In particular, we give the first example of an lcs with the strict $DP$ property but without the $DP$ property and show that the completion of even normed spaces with the $DP$ property may not have the $DP$ property.


title: Fast, Fair and Truthful Distributed Stable Matching for Common Preferences

abstract: Stable matching is a fundamental problem studied both in economics and computer science. The task is to find a matching between two sides of agents that have preferences over who they want to be matched with. A matching is stable if no pair of agents prefer each other over their current matches. The deferred acceptance algorithm of Gale and Shapley solves this problem in polynomial time. Further, it is a mechanism: the proposing side in the algorithm is always incentivised to report their preferences truthfully. The deferred acceptance algorithm has a natural interpretation as a distributed algorithm (and thus a distributed mechanism). However, the algorithm is slow in the worst case and it is known that the stable matching problem cannot be solved efficiently in the distributed setting. In this work we study a natural special case of the stable matching problem where all agents on one side share common preferences. We show that in this case the deferred acceptance algorithm does yield a fast and truthful distributed mechanism for finding a stable matching. We show how algorithms for sampling random colorings can be used to break ties fairly and extend the results to fractional stable matching.


title: Visualization of frequency structures in gravitational wave signals

abstract: The gravitational wave signals produced by the coalescence of compact binaries progress through three stages: inspiral, merger, and postmerger. The evolution of their frequency follows a slow build up during the inspiral that peaks at merger, forming the characteristic "chirp" pattern in the signal's time-frequency map. Herein we introduce a framework for localizing further characteristic structures in the time-frequency space of gravitational wave signals using the continuous wavelet transform. We consider two example cases where there are specific patterns in the postmerger stage of the signal that are rich with information on the physical nature of the source: highly-inclined black hole binaries with asymmetric mass ratio, and neutron star binaries with postmerger remnant oscillations. It is demonstrated that the choice of quality factor $Q$ plays a central role in distinguishing the postmerger features from that of the inspiral, with black hole systems preferring lower $Q$ and neutron star systems preferring higher $Q$. Furthermore, we demonstrate the use of chirplets as the wavelet transform basis, which allow for manipulation of structure in the time-frequency map.


title: Weak-linearity, globality and in-place update

abstract: Computational interpretations of linear logic allow static control of memory resources: the data produced by the program are endowed through its type with attributes that determine its life cycle. This has promoted numerous investigations into safe introduction of in-place update. Various type systems have been proposed for this aim, but linearity and correctness of in-place update are properties that are not fully compatible. The main achievement of this work is to establish a simple theoretical framework that will allow us to clarify the potential (and limits) of linearity to guarantee the process of transforming a functional program into an imperative one.


title: PDRs4All VII. The 3.3 $\mu$m aromatic infrared band as a tracer of physical properties of the ISM in galaxies

abstract: Aromatic infrared bands (AIBs) are a set of broad emission bands at 3.3, 6.2, 7.7, 8.6, 11.2, and 12.7 $\mu$m, seen in the infrared spectra of most galaxies. With JWST, the 3.3 $\mu$m AIB can in principle be detected up to a redshift of $\sim$ 7. Relating the evolution of the 3.3 $\mu$m AIB to local physical properties of the ISM is thus of paramount importance. By applying a dedicated machine learning algorithm to JWST NIRSpec observations of the Orion Bar photodissociation region obtained as part of the PDRs4All Early Release Science (ERS) program, we extracted two template spectra capturing the evolution of the AIB-related emission in the 3.2-3.6 $\mu$m range, which includes the AIB at 3.3 $\mu$m and its main satellite band at 3.4 $\mu$m. In the Orion Bar, we analyze the spatial distribution of the templates and their relationship with the fluorescent emission of H$_2$ in the near infrared. We find that one template ("AIB$_{\rm Irrad}$") traces regions of neutral atomic gas with strong far-UV fields, while the other template ("AIB$_{\rm Shielded}$") corresponds to shielded regions with lower FUV fields and a higher molecular gas fraction. We then show that these two templates can be used to fit the NIRSpec AIB-related spectra of nearby galaxies. The relative weight of the two templates (AIB$_{\rm Irrad/Shielded}$) is a tracer of the radiative feedback from massive stars on the ISM. We derive an estimate of AIB$_{\rm Irrad/Shielded}$ in a $z$ = 4.22 lensed galaxy, and find that it has a lower value than for local galaxies. This pilot study illustrates how a detailed analysis of AIB emission in nearby regions can be used to probe the physical conditions of the extragalactic ISM.


title: Global well-posedness of the 3D Patlak-Keller-Segel system near a straight line

abstract: We consider the Cauchy problem of the three-dimensional parabolic-elliptic Patlak-Keller-Segel chemotactic model. The initial data is almost a Dirac measure supported on a straight line with mass less than $8\pi$. We prove that if the data is sufficiently close to the straight line, then global well-posedness holds. This result is parallel to the work on vortex filament solutions of the Navier-Stokes equations by Bedrossian, Germain and Harrop-Griffiths \cite{filament}.


title: Tests of Macrorealism in Discrete and Continuous Variable Systems

abstract: I study several aspects of tests of macrorealism (MR), which for a given data set serves to give a quantitative signal of the presence of a specific notion of non-classical behaviour. The insufficiency of classical understanding underpins both the paradoxes of quantum mechanics, its future technological promise, and so these tests are of interest both foundationally and pragmatically. I derive generalisations of the Leggett-Garg (LG) inequalities and Fine's theorem, which together establish the necessary and sufficient conditions for macrorealism. First, I extend these conditions to tests involving an arbitrary number of measurement times. Secondly, I generalise them beyond the standard dichotomic variable, to systems described by many-valued variables. I also perform a quantum mechanical analysis examining the interplay of different conditions of MR. I then develop the theoretical framework to support tests of macrorealism in continuous variable systems, where I define variables based on coarse-grainings of position. I calculate temporal correlators for general bound systems, and analyse LG violations within the quantum harmonic oscillator (QHO), in its energy eigenstates and coherent states. I analyse the precise physical mechanisms underpinning the violations in terms of probability currents, Bohm trajectories. Staying within continuous variable systems, we outline a different approach to meeting the invasiveness requirement of LG tests. Reasoning that we may approximately non-invasively measure whether a particle crosses the axis, we measure an object which is related to the standard correlators, and derive a set of macrorealistic inequalities for these modified correlators. We demonstrate violations of these modified LG inequalities for several states within the QHO.


title: Learning to Maximize (Expected) Utility

abstract: We study if participants in a choice experiment learn to behave in ways that are closer to the predictions of ordinal and expected utility theory as they make decisions from the same menus repeatedly and without receiving feedback of any kind. We designed and implemented a non-forced-choice lab experiment with money lotteries and five repetitions per menu that aimed to test this hypothesis from many behavioural angles. In our data from 308 subjects in the UK and Germany, significantly more individuals were ordinal- and expected-utility maximizers in their last 15 than in their first 15 identical decision problems. Furthermore, around a quarter and a fifth of all subjects, respectively, decided in those modes throughout the experiment, with nearly half revealing non-trivial indifferences. A considerable overlap was found between those consistently rational individuals and the ones who satisfied core principles of random utility theory. Finally, in addition to finding that choice consistency is positively correlated with cognitive ability, we document that subjects who learned to maximize utility were more cognitively able than those who did not. We discuss potential implications of our analysis.


title: Integrating Large Language Models with Graphical Session-Based Recommendation

abstract: With the rapid development of Large Language Models (LLMs), various explorations have arisen to utilize LLMs capability of context understanding on recommender systems. While pioneering strategies have primarily transformed traditional recommendation tasks into challenges of natural language generation, there has been a relative scarcity of exploration in the domain of session-based recommendation (SBR) due to its specificity. SBR has been primarily dominated by Graph Neural Networks, which have achieved many successful outcomes due to their ability to capture both the implicit and explicit relationships between adjacent behaviors. The structural nature of graphs contrasts with the essence of natural language, posing a significant adaptation gap for LLMs. In this paper, we introduce large language models with graphical Session-Based recommendation, named LLMGR, an effective framework that bridges the aforementioned gap by harmoniously integrating LLMs with Graph Neural Networks (GNNs) for SBR tasks. This integration seeks to leverage the complementary strengths of LLMs in natural language understanding and GNNs in relational data processing, leading to a more powerful session-based recommender system that can understand and recommend items within a session. Moreover, to endow the LLM with the capability to empower SBR tasks, we design a series of prompts for both auxiliary and major instruction tuning tasks. These prompts are crafted to assist the LLM in understanding graph-structured data and align textual information with nodes, effectively translating nuanced user interactions into a format that can be understood and utilized by LLM architectures. Extensive experiments on three real-world datasets demonstrate that LLMGR outperforms several competitive baselines, indicating its effectiveness in enhancing SBR tasks and its potential as a research direction for future exploration.


title: Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)

abstract: Every CSP(B) for a finite structure B is either in P or it is NP-complete but the proofs of the finite-domain CSP dichotomy by Andrei Bulatov and Dimitryi Zhuk not only show the computational complexity separation but also confirm the algebraic tractability conjecture stating that tractability origins from a certain system of operations preserving B. The establishment of the dichotomy was in fact preceded by a number of similar results for stronger conditions of this type, i.e. for system of operations covering not necessarily all tractable finite-domain CSPs. A similar, infinite-domain algebraic tractability conjecture is known for first-order reducts of countably infinite finitely bounded homogeneous structures and is currently wide open. In particular, with an exception of a quasi near-unanimity operation there are no known systems of operations implying tractability in this regime. This paper changes the state-of-the-art and provides a proof that a chain of quasi directed Jonsson operations imply tractability and bounded width for a large and natural class of infinite structures.


title: Integer Programming Using A Single Atom

abstract: Integer programming (IP), as the name suggests is an integer-variable-based approach commonly used to formulate real-world optimization problems with constraints. Currently, quantum algorithms reformulate the IP into an unconstrained form through the use of binary variables, which is an indirect and resource-consuming way of solving it. We develop an algorithm that maps and solves an IP problem in its original form to any quantum system that possesses a large number of accessible internal degrees of freedom that can be controlled with sufficient accuracy. Using a single Rydberg atom as an example, we associate the integer values to electronic states belonging to different manifolds and implement a selective superposition of these different states to solve the full IP problem. The optimal solution is found within a few microseconds for prototypical IP problems with up to eight variables and a maximum number of four constraints. This also includes non-linear IP problems, which are usually harder to solve with classical algorithms when compared to their linear counterparts. Our algorithm for solving IP outperforms a well-known classical algorithm (branch and bound) in terms of the number of steps needed for convergence to the solution. Our approach carries the potential to improve bounds on the solution for larger problems when compared to the classical algorithms.


title: RoboGrind: Intuitive and Interactive Surface Treatment with Industrial Robots

abstract: Surface treatment tasks such as grinding, sanding or polishing are a vital step of the value chain in many industries, but are notoriously challenging to automate. We present RoboGrind, an integrated system for the intuitive, interactive automation of surface treatment tasks with industrial robots. It combines a sophisticated 3D perception pipeline for surface scanning and automatic defect identification, an interactive voice-controlled wizard system for the AI-assisted bootstrapping and parameterization of robot programs, and an automatic planning and execution pipeline for force-controlled robotic surface treatment. RoboGrind is evaluated both under laboratory and real-world conditions in the context of refabricating fiberglass wind turbine blades.


title: Model-based deep reinforcement learning for accelerated learning from flow simulations

abstract: In recent years, deep reinforcement learning has emerged as a technique to solve closed-loop flow control problems. Employing simulation-based environments in reinforcement learning enables a priori end-to-end optimization of the control system, provides a virtual testbed for safety-critical control applications, and allows to gain a deep understanding of the control mechanisms. While reinforcement learning has been applied successfully in a number of rather simple flow control benchmarks, a major bottleneck toward real-world applications is the high computational cost and turnaround time of flow simulations. In this contribution, we demonstrate the benefits of model-based reinforcement learning for flow control applications. Specifically, we optimize the policy by alternating between trajectories sampled from flow simulations and trajectories sampled from an ensemble of environment models. The model-based learning reduces the overall training time by up to $85\%$ for the fluidic pinball test case. Even larger savings are expected for more demanding flow simulations.


title: Label Learning Method Based on Tensor Projection

abstract: Multi-view clustering method based on anchor graph has been widely concerned due to its high efficiency and effectiveness. In order to avoid post-processing, most of the existing anchor graph-based methods learn bipartite graphs with connected components. However, such methods have high requirements on parameters, and in some cases it may not be possible to obtain bipartite graphs with clear connected components. To end this, we propose a label learning method based on tensor projection (LLMTP). Specifically, we project anchor graph into the label space through an orthogonal projection matrix to obtain cluster labels directly. Considering that the spatial structure information of multi-view data may be ignored to a certain extent when projected in different views separately, we extend the matrix projection transformation to tensor projection, so that the spatial structure information between views can be fully utilized. In addition, we introduce the tensor Schatten $p$-norm regularization to make the clustering label matrices of different views as consistent as possible. Extensive experiments have proved the effectiveness of the proposed method.


title: Algebrability and Riemann integrability of the composite function

abstract: In this note we show that there exist a $2^\mathfrak{c}$-generated free algebra $\mathcal{S} \subset \mathbb{R}^\mathbb{R}$ of Riemann integrable functions and a free algebra $\mathcal{C} \subset \mathbb{R}^{[0,1]}$ of continuous functions, having $\mathfrak{c}$-generators, such that $r \circ c$ is not Riemann integrable for any $r \in \mathcal{S}$ and $c \in \mathcal{C}$. This result is the best possible one in terms of lineability within these families of functions and, at the same time, an improvement of a precious result (\cite[Theorem 2.7]{A}). In order to achieve our results we shall employ set theoretical tools such as the Fichtenholz-Kantorovich-Hausdorff theorem, Cantor-Smith-Volterra--type sets, and classical real analysis techniques.


title: Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep Learning Projects

abstract: Deep Learning (DL) models have rapidly advanced, focusing on achieving high performance through testing model accuracy and robustness. However, it is unclear whether DL projects, as software systems, are tested thoroughly or functionally correct when there is a need to treat and test them like other software systems. Therefore, we empirically study the unit tests in open-source DL projects, analyzing 9,129 projects from GitHub. We find that: 1) unit tested DL projects have positive correlation with the open-source project metrics and have a higher acceptance rate of pull requests, 2) 68% of the sampled DL projects are not unit tested at all, 3) the layer and utilities (utils) of DL models have the most unit tests. Based on these findings and previous research outcomes, we built a mapping taxonomy between unit tests and faults in DL projects. We discuss the implications of our findings for developers and researchers and highlight the need for unit testing in open-source DL projects to ensure their reliability and stability. The study contributes to this community by raising awareness of the importance of unit testing in DL projects and encouraging further research in this area.


title: Agent-Designed Contracts: How to Sell Hidden Actions

abstract: We study the problem faced by a service provider that has to sell services to a user. In our model the service provider proposes various payment options (a menu) to the user which may be based, for example, on the quality of the service. Then, the user chooses one of these options and pays an amount to the service provider, contingent on the observed final outcome. Users are not able to observe directly the action performed by the service provide to reach the final outcome. This might incentivize misconduct. Therefore, we propose a model that enforces trust through economics incentives. The problem has two crucial features: i) the service provider is responsible for both formulating the contract and performing the action for which the user issues payments, and ii) the user is unaware of the true action carried out by the service provider, which is hidden. We study this delegation problem through the lens of contract design, with the overarching goal of enabling the computation of contracts that guarantee that the user can trust the service provider, even if their action is hidden.


title: Point collocation with mollified piecewise polynomial approximants for high-order partial differential equations

abstract: The solution approximation for partial differential equations (PDEs) can be substantially improved using smooth basis functions. The recently introduced mollified basis functions are constructed through mollification, or convolution, of cell-wise defined piecewise polynomials with a smooth mollifier of certain characteristics. The properties of the mollified basis functions are governed by the order of the piecewise functions and the smoothness of the mollifier. In this work, we exploit the high-order and high-smoothness properties of the mollified basis functions for solving PDEs through the point collocation method. The basis functions are evaluated at a set of collocation points in the domain. In addition, boundary conditions are imposed at a set of boundary collocation points distributed over the domain boundaries. To ensure the stability of the resulting linear system of equations, the number of collocation points is set larger than the total number of basis functions. The resulting linear system is overdetermined and is solved using the least square technique. The presented numerical examples confirm the convergence of the proposed approximation scheme for Poisson, linear elasticity, and biharmonic problems. We study in particular the influence of the mollifier and the spatial distribution of the collocation points.


title: Noncatenary Unique Factorization Domains

abstract: We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint (except at the maximal ideal) noncatenary subsets. As a consequence of our result, there are infinitely many height one prime ideals $P$ of $A$ such that $A/P$ is not catenary. We also construct a countable local UFD $A$ satisfying the property that for every height one prime ideal $P$ of $A$, $A/P$ is not catenary.


title: Hexadecapole deformation of $^{238}$U from relativistic heavy-ion collisions using a nonlinear response coefficient

abstract: The hexadecapole deformation ($\beta_4$) of the $^{238}$U nucleus has not been determined because its effect is overwhelmed by those from the nucleus' large quadrupole deformation ($\beta_2$) in nuclear electric transition measurements. In this Letter, we identify the nonlinear response of the hexadecapole anisotropy to ellipticity in relativistic $^{238}$U+ $^{238}$U collisions that is solely sensitive to $\beta_4$ and insensitive to $\beta_2$. We demonstrate this by state-of-the-art hydrodynamic calculations and discuss the prospects of discovering the $\beta_4$ of $^{238}$U in heavy-ion data at the Relativistic Heavy Ion Collider.


title: Delayed-feedback oscillators replicate the dynamics of multiplex networks: wavefront propagation and stochastic resonance

abstract: The widespread development and use of neural networks have significantly enriched a wide range of computer algorithms and promise higher speed at lower cost. However, the imitation of neural networks by means of modern computing substrates is highly inefficient, whereas physical realization of large scale networks remains challenging. Fortunately, delayed-feedback oscillators, being much easier to realize experimentally, represent promising candidates for the empirical implementation of neural networks and next generation computing architectures. In the current research, we demonstrate that coupled bistable delayed-feedback oscillators emulate a multilayer network, where one single-layer network is connected to another single-layer network through coupling between replica nodes, i.e. the multiplex network. We show that all the aspects of the multiplexing impact on wavefront propagation and stochastic resonance identified in multilayer networks of bistable oscillators are entirely reproduced in the dynamics of time-delay oscillators. In particular, varying the coupling strength allows suppressing and enhancing the effect of stochastic resonance, as well as controlling the speed and direction of both deterministic and stochastic wavefront propagation. All the considered effects are studied in numerical simulations and confirmed in physical experiments, showing an excellent correspondence and disclosing thereby the robustness of the observed phenomena.


title: Exact relations between the conductivities and their connection to the chemical composition of QCD matter

abstract: We present exact relations between the diffusion coefficients or conductivities, $\kappa_{qq'}/T = \sigma_{qq'}$, of strongly-interacting matter. We show that once the diagonal entries are known in two different charge representations, the off-diagonal coefficients are functions of the diagonal entries once isospin symmetry applies. As an important example, we infer the conductivities on the basis of available calculations from lattice quantum chromodynamics (LQCD) and argue that these computations suffer under the approximations made to achieve them. Further, we argue that the representation of the conductivities w.r.t. to the conserved quark-flavors may deliver more insight into the chemical composition of strongly-interacting matter.