title: Beyond domain alignment: Revealing the effect of intrinsic magnetic order on electrochemical water splitting

abstract: To reach a long term viable green hydrogen economy, rational design of active oxygen evolution reaction (OER) catalysts is critical. An important hurdle in this reaction originates from the fact that the reactants are singlet molecules, whereas the oxygen molecule has a triplet ground state with parallel spin alignment, implying that magnetic order in the catalyst is essential. Accordingly, multiple experimentalists reported a positive effect of external magnetic fields on OER activity of ferromagnetic catalysts. However, it remains a challenge to investigate the influence of the intrinsic magnetic order on catalytic activity. Here, we tuned the intrinsic magnetic order of epitaxial La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ thin film model catalysts from ferro- to paramagnetic by changing the temperature in-situ during water electrolysis. Using this strategy, we show that ferromagnetic ordering below the Curie temperature enhances OER activity. Moreover, we show a slight current density enhancement upon application of an external magnetic field and find that the dependence of magnetic field direction correlates with the magnetic anisotropy in the catalyst film. Our work thus suggests that both the intrinsic magnetic order in La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ films and magnetic domain alignment increase their catalytic activity. We observe no long-range magnetic order at the catalytic surface, implying that the OER enhancement is connected to the magnetic order of the bulk catalyst. Combining the effects found with existing literature, we propose a unifying picture for the spin-polarized enhancement in magnetic oxide catalysts.


title: The Jacobi-orthogonality in indefinite scalar product spaces

abstract: We generalize the property of Jacobi-orthogonality to indefinite scalar product spaces. We compare various principles and investigate relations between Osserman, Jacobi-dual, and Jacobi-orthogonal algebraic curvature tensors. We show that every quasi-Clifford tensor is Jacobi-orthogonal. We prove that a Jacobi-diagonalizable Jacobi-orthogonal tensor is Jacobi-dual whenever J_X has no null eigenvectors for all nonnull X. We show that any algebraic curvature tensor of dimension 3 is Jacobi-orthogonal if and only if it is of constant sectional curvature. We prove that every 4-dimensional Jacobi-diagonalizable algebraic curvature tensor is Jacobi-orthogonal if and only if it is Osserman.


title: 21cm signal sensitivity to dark matter decay

abstract: The redshifted 21cm signal from the Cosmic Dawn is expected to provide unprecedented insights into early Universe astrophysics and cosmology. Here we explore how dark matter can heat the intergalactic medium before the first galaxies, leaving a distinctive imprint in the 21cm power spectrum. We provide the first dedicated Fisher matrix forecasts on the sensitivity of the Hydrogen Epoch of Reionization Array (HERA) telescope to dark matter decays. We show that with 1000 hours of observation, HERA has the potential to improve current cosmological constraints on the dark matter decay lifetime by up to three orders of magnitude. Even in extreme scenarios with strong X-ray emission from early-forming, metal-free galaxies, the bounds on the decay lifetime would be improved by up to two orders of magnitude. Overall, HERA shall improve on existing limits for dark matter masses below $2$ GeV$/c^2$ for decays into $e^+e^-$ and below few MeV$/c^2$ for decays into photons.


title: Nature of the mixed-parity pairing of attractive fermions with spin-orbit coupling in optical lattice

abstract: The admixture of spin-singlet and spin-triplet pairing states in superconductors can be typically induced by breaking spatial inversion symmetry. Employing the {\it numerically exact} auxiliary-field Quantum Monte Carlo method, we study such mixed-parity pairing phenomena of attractive fermions with Rashba spin-orbit coupling (SOC) in two-dimensional optical lattice at finite temperature. We systematically demystify the evolution of the essential pairing structure in both singlet and triplet channels versus the temperature, fermion filling, SOC and interaction strengths, via computing the condensate fraction and pair wave function. Our numerical results reveal that the singlet channel dominates in the fermion pairing and the triplet pairing has relatively small contribution to the superfluidity for physically relevant parameters. In contrast to the singlet channel mainly consisted of the on-site Cooper pairs, the triplet pairing has plentiful patterns in real space with the largest contributions from several nearest neighbors. As the SOC strengh increases, the pairing correlation is firstly enhanced and then suppressed for triplet pairing while it's simply weakened in singlet channel. We have also obtained the Berezinskii-Kosterlitz-Thouless transition temperatures through the finite-size analysis of condensate fraction. Our results can serve as quantitative guide for future optical lattice experiments as well as accurate benchmarks for theories and other numerical methods.


title: Investigating Sparse Reconfigurable Intelligent Surfaces (SRIS) via Maximum Power Transfer Efficiency Method Based on Convex Relaxation

abstract: Reconfigurable intelligent surfaces (RISs) are widely considered to become an integral part of future wireless communication systems. Various methodologies exist to design such surfaces; however, most consider or require a very large number of tunable components. This not only raises system complexity, but also significantly increases power consumption. Sparse RISs (SRISs) consider using a smaller or even minimal number of tunable components to improve overall efficiency while maintaining sufficient RIS capability. The versatile semidefinite relaxation-based optimization method previously applied to transmit array antennas is adapted and applied accordingly, to evaluate the potential of different SRIS configurations. Because the relaxation is tight in all cases, the maximum possible performance is found reliably. Hence, with this approach, the trade-off between performance and sparseness of SRIS can be analyzed. Preliminary results show that even a much smaller number of reconfigurable elements, e.g. only 50%, can still have a significant impact.


title: Autoencoder-based Online Data Quality Monitoring for the CMS Electromagnetic Calorimeter

abstract: The online Data Quality Monitoring system (DQM) of the CMS electromagnetic calorimeter (ECAL) is a crucial operational tool that allows ECAL experts to quickly identify, localize, and diagnose a broad range of detector issues that would otherwise hinder physics-quality data taking. Although the existing ECAL DQM system has been continuously updated to respond to new problems, it remains one step behind newer and unforeseen issues. Using unsupervised deep learning, a real-time autoencoder-based anomaly detection system is developed that is able to detect ECAL anomalies unseen in past data. After accounting for spatial variations in the response of the ECAL and the temporal evolution of anomalies, the new system is able to efficiently detect anomalies while maintaining an estimated false discovery rate between $10^{-2}$ to $10^{-4}$, beating existing benchmarks by about two orders of magnitude. The real-world performance of the system is validated using anomalies found in 2018 and 2022 LHC collision data. Additionally, first results from deploying the autoencoder-based system in the CMS online DQM workflow for the ECAL barrel during Run 3 of the LHC are presented, showing its promising performance in detecting obscure issues that could have been missed in the existing DQM system.

categories: physics.ins-det cs.LG hep-ex physics.data-an


title: Asymptotics and geometric flows for a class of nonlocal curvatures

abstract: We consider a family of nonlocal curvatures determined through a kernel which is symmetric and bounded from above by a radial and radially non-increasing profile. It turns out that such definition encompasses various variants of nonlocal curvatures that have already appeared in the literature, including fractional curvature and anisotropic fractional curvature. The main task undertaken in the article is to study the limit behaviour of the introduced nonlocal curvatures under an appropriate limiting procedure. This enables us to recover known asymptotic results e.g. for fractional curvature, but also for anisotropic fractional curvature where we identify the limit object as a curvature being the first variation of the related anisotropic perimeter. Our other goal is to prove existence, uniqueness and stability of viscosity solutions to the corresponding level-set parabolic Cauchy problem formulated in terms of the investigated nonlocal curvature.


title: Context based learning: a survey of contextual indicators for personalized and adaptive learning recommendations. A pedagogical and technical perspective

abstract: Learning personalization has proven its effectiveness in enhancing learner performance. Therefore, modern digital learning platforms have been increasingly depending on recommendation systems to offer learners personalized suggestions of learning materials. Learners can utilize those recommendations to acquire certain skills for the labor market or for their formal education. Personalization can be based on several factors, such as personal preference, social connections or learning context. In an educational environment, the learning context plays an important role in generating sound recommendations, which not only fulfill the preferences of the learner, but also correspond to the pedagogical goals of the learning process. This is because a learning context describes the actual situation of the learner at the moment of requesting a learning recommendation. It provides information about the learner current state of knowledge, goal orientation, motivation, needs, available time, and other factors that reflect their status and may influence how learning recommendations are perceived and utilized. Context aware recommender systems have the potential to reflect the logic that a learning expert may follow in recommending materials to students with respect to their status and needs. In this paper, we review the state-of-the-art approaches for defining a user learning-context. We provide an overview of the definitions available, as well as the different factors that are considered when defining a context. Moreover, we further investigate the links between those factors and their pedagogical foundations in learning theories. We aim to provide a comprehensive understanding of contextualized learning from both pedagogical and technical points of view. By combining those two viewpoints, we aim to bridge a gap between both domains, in terms of contextualizing learning recommendations.


title: Supercell Altermagnets

abstract: Altermagnets are compensated magnets with unconventional $d$, $g$, and $i$-wave spin order in reciprocal space. So far the search for new altermagnetic candidates has been focused on materials in which the magnetic unit cell is identical to the non-magnetic one, i.e. magnetic structures with zero propagation vector. Here, we substantially broaden the family of altermagnetic candidates by predicting supercell altermagnets. Their magnetic unit cell is constructed by enlarging the nonmagnetic primitive unit cell, resulting in a non-zero propagation vector for the magnetic structure. This connection of the magnetic configuration to the ordering of sublattices gives an extra degree of freedom to supercell altermagnets, which can allow for the control over the order parameter spatial orientation. We identify realistic candidates MnSe$_2$ with a $d$-wave order, and RbCoBr$_3$, CsCoCr$_3$, and BaMnO$_3$ with $g$-wave order. We demonstrate the reorientation of the order parameter in MnSe$_2$, which has two different magnetic configurations, whose energy difference is only 5 meV, opening the possibility of controlling the orientation of the altermagnetic order parameter by external perturbations.


title: The Orion-Taurus ridge: a synchrotron radio loop at the edge of the Orion-Eridanus superbubble

abstract: Large-scale synchrotron loops are recognized as the main source of diffuse radio-continuum emission in the Galaxy at intermediate and high Galactic latitudes. Their origin, however, remains rather unexplained. Using a combination of multi-frequency data in the radio band of total and polarized intensities, for the first time in this letter, we associate one arc -- hereafter, the Orion-Taurus ridge -- with the wall of the most prominent stellar-feedback blown shell in the Solar neighborhood, namely the Orion-Eridanus superbubble. We traced the Orion-Taurus ridge using 3D maps of interstellar dust extinction and column-density maps of molecular gas, $N_{\rm H_2}$. We found the Orion-Taurus ridge at a distance of 400\,pc, with a plane-of-the-sky extent of $180$\,pc. Its median $N_{\rm H_2}$ value is $(1.4^{+2.6}_{-0.6})\times 10^{21}$ cm$^{-2}$. Thanks to the broadband observations below 100 MHz of the Long Wavelength Array, we also computed the low-frequency spectral-index map of synchrotron emissivity, $\beta$, in the Orion-Taurus ridge. We found a flat distribution of $\beta$ with a median value of $-2.24^{+0.03}_{-0.02}$ that we interpreted in terms of depletion of low-energy ($<$ GeV) cosmic-ray electrons in recent supernova remnants ($10^5$ - $10^6$ yrs). Our results are consistent with plane-of-the-sky magnetic-field strengths in the Orion-Taurus ridge larger than a few tens of $\mu$G ($> 30 - 40 \,\mu$G). We report the first detection of diffuse synchrotron emission from cold-neutral, partly molecular, gas in the surroundings of the Orion-Eridanus superbubble. This observation opens a new perspective to study the multiphase and magnetized interstellar medium with the advent of future high-sensitivity radio facilities, such as the C-Band All-Sky Survey and the Square Kilometre Array.


title: What can we learn from quantum convolutional neural networks?

abstract: We can learn from analyzing quantum convolutional neural networks (QCNNs) that: 1) working with quantum data can be perceived as embedding physical system parameters through a hidden feature map; 2) their high performance for quantum phase recognition can be attributed to generation of a very suitable basis set during the ground state embedding, where quantum criticality of spin models leads to basis functions with rapidly changing features; 3) pooling layers of QCNNs are responsible for picking those basis functions that can contribute to forming a high-performing decision boundary, and the learning process corresponds to adapting the measurement such that few-qubit operators are mapped to full-register observables; 4) generalization of QCNN models strongly depends on the embedding type, and that rotation-based feature maps with the Fourier basis require careful feature engineering; 5) accuracy and generalization of QCNNs with readout based on a limited number of shots favor the ground state embeddings and associated physics-informed models. We demonstrate these points in simulation, where our results shed light on classification for physical processes, relevant for applications in sensing. Finally, we show that QCNNs with properly chosen ground state embeddings can be used for fluid dynamics problems, expressing shock wave solutions with good generalization and proven trainability.


title: Fault Injection on Embedded Neural Networks: Impact of a Single Instruction Skip

abstract: With the large-scale integration and use of neural network models, especially in critical embedded systems, their security assessment to guarantee their reliability is becoming an urgent need. More particularly, models deployed in embedded platforms, such as 32-bit microcontrollers, are physically accessible by adversaries and therefore vulnerable to hardware disturbances. We present the first set of experiments on the use of two fault injection means, electromagnetic and laser injections, applied on neural networks models embedded on a Cortex M4 32-bit microcontroller platform. Contrary to most of state-of-the-art works dedicated to the alteration of the internal parameters or input values, our goal is to simulate and experimentally demonstrate the impact of a specific fault model that is instruction skip. For that purpose, we assessed several modification attacks on the control flow of a neural network inference. We reveal integrity threats by targeting several steps in the inference program of typical convolutional neural network models, which may be exploited by an attacker to alter the predictions of the target models with different adversarial goals.


title: Study of Zero-Knowledge protocols and Elliptic Curve Cryptography and their implementation in Smart Card environments using Java Card

abstract: This paper studies the problem of Zero-Knowledge Protocol (ZKP) and elliptic curve cryptographic implementation in a computationally limited environment, such as, the smart cards, using Java Card. Besides that, it is explained how the zero-knowledge protocol was selected to implement it on a smart card and how the benchmarking was conducted to select this protocol. The paper also shows a theoretical development to implement the ZKP protocol using elliptic curve cryptography. Keywords: Authentication; Zero-knowledge; Cryptography; Elliptic Curve; Java card; Smart cards


title: Gyrophilia: Harnessing Centrifugal and Euler Forces for Tunable Buckling of a Rotating Elastica

abstract: We investigate the geometrically nonlinear deformation and buckling of a slender elastic beam subject to time-dependent `fictitious' (non-inertial) forces arising from unsteady rotation. Using a rotary apparatus that accurately imposes an angular acceleration around a fixed axis, we demonstrate that centrifugal and Euler forces can be combined to produce tunable structural deformation. Specifically, using an imposed acceleration ramp, the buckling onset of a cantilevered beam can be precisely tuned and its deformation direction selected. In a second configuration, a pre-arched beam can be made to snap, on demand, between its two stable states. We also formulate a theoretical model rooted in Euler's elastica that rationalizes the problem and provides predictions in excellent quantitative agreement with the experimental data. Our findings demonstrate an innovative approach to programmable actuation of slender rotating structures.


title: $2$-term averaging $L_\infty$-algebras and non-abelian extensions of averaging Lie algebras

abstract: In recent years, averaging operators on Lie algebras (also called embedding tensors in the physics literature) and associated tensor hierarchies form an efficient tool for constructing supergravity and higher gauge theories. A Lie algebra with an averaging operator is called an averaging Lie algebra. In the present paper, we introduce $2$-term averaging $L_\infty$-algebras and give characterizations of some particular classes of such homotopy algebras. Next, we study non-abelian extensions of an averaging Lie algebra by another averaging Lie algebra. We define the second non-abelian cohomology group to classify the equivalence classes of such non-abelian extensions. Next, given a non-abelian extension of averaging Lie algebras, we show that the obstruction for a pair of averaging Lie algebra automorphisms to be inducible can be seen as the image of a suitable Wells map. Finally, we discuss the Wells short exact sequence in the above context.


title: Modelling of highly extended Gamma-ray emission around the Geminga Pulsar as detected with H.E.S.S

abstract: Geminga is an enigmatic radio-quiet gamma-ray pulsar located at a mere 250 pc distance from Earth. Extended very-high-energy gamma-ray emission around the pulsar has been detected by multiple water Cherenkov detector based instruments. However, the detection of extended TeV gamma-ray emission around the Geminga pulsar has proven challenging for IACTs due to the angular scale exceeding the typical field-of-view. By detailed studies of background estimation techniques and characterising systematic effects, a detection of highly extended TeV gamma-ray emission could be confirmed by the H.E.S.S. IACT array. Building on the previously announced detection, in this contribution we further characterise the emission and apply an electron diffusion model to the combined gamma-ray data from the H.E.S.S. and HAWC experiments, as well as X-ray data from XMM-Newton.


title: Safety of the Intended Functionality Concept Integration into a Validation Tool Suite

abstract: Nowadays, the increasing complexity of Advanced Driver Assistance Systems (ADAS) and Automated Driving (AD) means that the industry must move towards a scenario-based approach to validation rather than relying on established technology-based methods. This new focus also requires the validation process to take into account Safety of the Intended Functionality (SOTIF), as many scenarios may trigger hazardous vehicle behaviour. Thus, this work demonstrates how the integration of the SOTIF process within an existing validation tool suite can be achieved. The necessary adaptations are explained with accompanying examples to aid comprehension of the approach.


title: Communication-Efficient Decentralized Federated Learning via One-Bit Compressive Sensing

abstract: Decentralized federated learning (DFL) has gained popularity due to its practicality across various applications. Compared to the centralized version, training a shared model among a large number of nodes in DFL is more challenging, as there is no central server to coordinate the training process. Especially when distributed nodes suffer from limitations in communication or computational resources, DFL will experience extremely inefficient and unstable training. Motivated by these challenges, in this paper, we develop a novel algorithm based on the framework of the inexact alternating direction method (iADM). On one hand, our goal is to train a shared model with a sparsity constraint. This constraint enables us to leverage one-bit compressive sensing (1BCS), allowing transmission of one-bit information among neighbour nodes. On the other hand, communication between neighbour nodes occurs only at certain steps, reducing the number of communication rounds. Therefore, the algorithm exhibits notable communication efficiency. Additionally, as each node selects only a subset of neighbours to participate in the training, the algorithm is robust against stragglers. Additionally, complex items are computed only once for several consecutive steps and subproblems are solved inexactly using closed-form solutions, resulting in high computational efficiency. Finally, numerical experiments showcase the algorithm's effectiveness in both communication and computation.


title: Scalable Substrate Development for Aqueous Biological Samples for Atom Probe Tomography

abstract: Reliable and consistent preparation of atom probe tomography (APT) specimens from aqueous and hydrated biological specimens remains a significant challenge. One particularly difficult process step is the use of a focused ion beam (FIB) instrument for preparing the required needle-shaped specimen, typically involving a "lift-out" procedure of a small sample of material. Here, two alternative substrate designs are introduced that enable using FIB only for sharpening, along with example APT datasets. The first design is a laser-cut FIB-style half-grid close to those used for transmission-electron microscopy, that can be used in a grid holder compatible with APT pucks. The second design is a larger, standalone self-supporting substrate called a "crown", with several specimen positions that self-aligns in APT pucks, prepared by electrical discharge machining (EDM). Both designs are made nanoporous, to provide strength to the liquid-substrate interface, using chemical and vacuum dealloying. We select alpha brass a simple, widely available, lower-cost alternative to previously proposed substrates. We present the resulting designs, APT data, and provide suggestions to help drive wider community adoption.


title: Superluminal local operations in quantum field theory: A ping-pong ball test

abstract: It is known that in quantum field theory, localized operations, e.g.\ given by unitary operators in local observable algebras, may lead to non-causal, or superluminal, state changes within their localization region. In this article, it is shown that both in quantum field theory as well as in classical relativistic field theory, there are localized operations which correspond to ``instantaneous'' spatial rotations (leaving the localization region invariant) leading to superluminal effects within the localization region. This shows that ``impossible measurement scenarios'' which have been investigated in the literature, and which rely on the presence of localized operations that feature superluminal effects within their localization region, do not only occur in quantum field theory, but also in classical field theory. This article is part of a Special Issue on the 'Physics of Time Travel' in the journal Universe, edited by A. Alonso-Serrano, S. Schuster, J. Santiago and M. Visser.


title: A characterization of invariant subspaces for isometric representations of product system over $\mathbb{N}_0^{k}$

abstract: Using the Wold-von Neumann decomposition for the isometric covariant representations due to Muhly and Solel, we prove an explicit representation of the commutant of a doubly commuting pure isometric representation of the product system over $\mathbb{N}_0^{k}.$ As an application, we study a complete characterization of invariant subspaces for a doubly commuting pure isometric representation of the product system. This provides us a complete set of isomorphic invariants. Finally, we classify a large class of commuting isometric representations of the product system.


title: Realization of permutation modules via Alexandroff spaces

abstract: We raise the question of the realizability of permutation modules in the context of Kahn's realizability problem for abstract groups and the $G$-Moore space problem. Specifically, given a finite group $G$, we consider a collection $\{M_i\}_{i=1}^n$ of finitely generated $\Z G$-modules that admit a submodule decomposition on which $G$ acts by permuting the summands. Then we prove the existence of connected finite spaces $X$ that realize each $M_i$ as its $i$-th homology, $G$ as its group of self-homotopy equivalences $\E(X)$, and the action of $G$ on each $M_i$ as the action of $\E(X)$ on $H_i(X; \Z)$.


title: Twofold Structured Features-Based Siamese Network for Infrared Target Tracking

abstract: Nowadays, infrared target tracking has been a critical technology in the field of computer vision and has many applications, such as motion analysis, pedestrian surveillance, intelligent detection, and so forth. Unfortunately, due to the lack of color, texture and other detailed information, tracking drift often occurs when the tracker encounters infrared targets that vary in size or shape. To address this issue, we present a twofold structured features-based Siamese network for infrared target tracking. First of all, in order to improve the discriminative capacity for infrared targets, a novel feature fusion network is proposed to fuse both shallow spatial information and deep semantic information into the extracted features in a comprehensive manner. Then, a multi-template update module based on template update mechanism is designed to effectively deal with interferences from target appearance changes which are prone to cause early tracking failures. Finally, both qualitative and quantitative experiments are carried out on VOT-TIR 2016 dataset, which demonstrates that our method achieves the balance of promising tracking performance and real-time tracking speed against other out-of-the-art trackers.


title: Quasinormal Modes of C-metric from SCFTs

abstract: We study the quasinormal modes (QNM) of the charged C-metric, which physically stands for a charged accelerating black hole, with the help of Nekrasov's partition function of 4d $\mathcal{N}=2$ superconformal field theories (SCFTs). The QNM in the charged C-metric are classified into three types: the photon-surface modes, the accelerating modes and the near-extremal modes, and it is curious how the single quantization condition proposed in arXiv:2006.06111 can reproduce all the different families. We show that the connection formula encoded in terms of Nekrasov's partition function captures all these families of QNM numerically and recovers the asymptotic behavior of the accelerating and the near-extremal modes analytically. Using the connection formulae of different 4d $\mathcal{N}=2$ SCFTs, one can solve both the radial and the angular part of the scalar perturbation equation respectively. The same algorithm can be applied to the de Sitter (dS) black holes to calculate both the dS modes and the photon-sphere modes.

categories: hep-th astro-ph.HE gr-qc hep-ph math-ph math.MP


title: Dynamic nsNet2: Efficient Deep Noise Suppression with Early Exiting

abstract: Although deep learning has made strides in the field of deep noise suppression, leveraging deep architectures on resource-constrained devices still proved challenging. Therefore, we present an early-exiting model based on nsNet2 that provides several levels of accuracy and resource savings by halting computations at different stages. Moreover, we adapt the original architecture by splitting the information flow to take into account the injected dynamism. We show the trade-offs between performance and computational complexity based on established metrics.


title: Distance-regular graphs with classical parameters that support a uniform structure: case $q \ge 2$

abstract: Let $\Gamma=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $\Gamma$. Observe that the graph $\Gamma_f=(X,\mathcal{R}_f)$ is bipartite. We say that $\Gamma$ supports a uniform structure with respect to $x$ whenever $\Gamma_f$ has a uniform structure with respect to $x$ in the sense of Miklavi\v{c} and Terwilliger \cite{MikTer}. Assume that $\Gamma$ is a distance-regular graph with classical parameters $(D,q,\alpha,\beta)$ and diameter $D\geq 4$. Recall that $q$ is an integer such that $q \not \in \{-1,0\}$. The purpose of this paper is to study when $\Gamma$ supports a uniform structure with respect to $x$. We studied the case $q \le 1$ in \cite{FMMM}, and so in this paper we assume $q \geq 2$. Let $T=T(x)$ denote the Terwilliger algebra of $\Gamma$ with respect to $x$. Under an additional assumption that every irreducible $T$-module with endpoint $1$ is thin, we show that if $\Gamma$ supports a uniform structure with respect to $x$, then either $\alpha = 0$ or $\alpha=q$, $\beta=q^2(q^D-1)/(q-1)$, and $D \equiv 0 \pmod{6}$.


title: Branches of a Tree: Taking Derivatives of Programs with Discrete and Branching Randomness in High Energy Physics

abstract: We propose to apply several gradient estimation techniques to enable the differentiation of programs with discrete randomness in High Energy Physics. Such programs are common in High Energy Physics due to the presence of branching processes and clustering-based analysis. Thus differentiating such programs can open the way for gradient based optimization in the context of detector design optimization, simulator tuning, or data analysis and reconstruction optimization. We discuss several possible gradient estimation strategies, including the recent Stochastic AD method, and compare them in simplified detector design experiments. In doing so we develop, to the best of our knowledge, the first fully differentiable branching program.

categories: stat.ML cs.LG hep-ex hep-ph physics.data-an


title: One Model Many Scores: Using Multiverse Analysis to Prevent Fairness Hacking and Evaluate the Influence of Model Design Decisions

abstract: A vast number of systems across the world use algorithmic decision making (ADM) to (partially) automate decisions that have previously been made by humans. The downstream effects of ADM systems critically depend on the decisions made during a systems' design, implementation, and evaluation, as biases in data can be mitigated or reinforced along the modeling pipeline. Many of these decisions are made implicitly, without knowing exactly how they will influence the final system. To study this issue, we draw on insights from the field of psychology and introduce the method of multiverse analysis for algorithmic fairness. In our proposed method, we turn implicit decisions during design and evaluation into explicit ones and demonstrate their fairness implications. By combining decisions, we create a grid of all possible "universes" of decision combinations. For each of these universes, we compute metrics of fairness and performance. Using the resulting dataset, one can investigate the variability and robustness of fairness scores and see how and which decisions impact fairness. We demonstrate how multiverse analyses can be used to better understand fairness implications of design and evaluation decisions using an exemplary case study of predicting public health care coverage for vulnerable populations. Our results highlight how decisions regarding the evaluation of a system can lead to vastly different fairness metrics for the same model. This is problematic, as a nefarious actor could optimise or "hack" a fairness metric to portray a discriminating model as fair merely by changing how it is evaluated. We illustrate how a multiverse analysis can help to address this issue.


title: DiffusionPoser: Real-time Human Motion Reconstruction From Arbitrary Sparse Sensors Using Autoregressive Diffusion

abstract: Motion capture from a limited number of body-worn sensors, such as inertial measurement units (IMUs) and pressure insoles, has important applications in health, human performance, and entertainment. Recent work has focused on accurately reconstructing whole-body motion from a specific sensor configuration using six IMUs. While a common goal across applications is to use the minimal number of sensors to achieve required accuracy, the optimal arrangement of the sensors might differ from application to application. We propose a single diffusion model, DiffusionPoser, which reconstructs human motion in real-time from an arbitrary combination of sensors, including IMUs placed at specified locations, and, pressure insoles. Unlike existing methods, our model grants users the flexibility to determine the number and arrangement of sensors tailored to the specific activity of interest, without the need for retraining. A novel autoregressive inferencing scheme ensures real-time motion reconstruction that closely aligns with measured sensor signals. The generative nature of DiffusionPoser ensures realistic behavior, even for degrees-of-freedom not directly measured. Qualitative results can be found on our website: https://diffusionposer.github.io/.


title: Measurements of $\pi^\pm$, $K^\pm$, $p$ and $\bar{p}$ spectra in $^{40}$Ar+$^{45}$Sc collisions at 13$A$ to 150$A$ GeV/$c$

abstract: The NA61/SHINE experiment at the CERN Super Proton Synchrotron studies the onset of deconfinement in strongly interacting matter through a beam energy scan of particle production in collisions of nuclei of varied sizes. This paper presents results on inclusive double-differential spectra, transverse momentum and rapidity distributions and mean multiplicities of $\pi^\pm$, $K^\pm$, $p$ and $\bar{p}$ produced in $^{40}$Ar+$^{45}$Sc collisions at beam momenta of 13$A$, 19$A$, 30$A$, 40$A$, 75$A$ and 150$A$~\GeVc. The analysis uses the 10\% most central collisions, where the observed forward energy defines centrality. The energy dependence of the $K^\pm$/$\pi^\pm$ ratios as well as of inverse slope parameters of the $K^\pm$ transverse mass distributions are placed in between those found in inelastic $p$+$p$ and central Pb+Pb collisions. The results obtained here establish a system-size dependence of hadron production properties that so far cannot be explained either within statistical or dynamical models.


title: Everyone Can Attack: Repurpose Lossy Compression as a Natural Backdoor Attack

abstract: The vulnerabilities to backdoor attacks have recently threatened the trustworthiness of machine learning models in practical applications. Conventional wisdom suggests that not everyone can be an attacker since the process of designing the trigger generation algorithm often involves significant effort and extensive experimentation to ensure the attack's stealthiness and effectiveness. Alternatively, this paper shows that there exists a more severe backdoor threat: anyone can exploit an easily-accessible algorithm for silent backdoor attacks. Specifically, this attacker can employ the widely-used lossy image compression from a plethora of compression tools to effortlessly inject a trigger pattern into an image without leaving any noticeable trace; i.e., the generated triggers are natural artifacts. One does not require extensive knowledge to click on the "convert" or "save as" button while using tools for lossy image compression. Via this attack, the adversary does not need to design a trigger generator as seen in prior works and only requires poisoning the data. Empirically, the proposed attack consistently achieves 100% attack success rate in several benchmark datasets such as MNIST, CIFAR-10, GTSRB and CelebA. More significantly, the proposed attack can still achieve almost 100% attack success rate with very small (approximately 10%) poisoning rates in the clean label setting. The generated trigger of the proposed attack using one lossy compression algorithm is also transferable across other related compression algorithms, exacerbating the severity of this backdoor threat. This work takes another crucial step toward understanding the extensive risks of backdoor attacks in practice, urging practitioners to investigate similar attacks and relevant backdoor mitigation methods.


title: On the nature of the energy-dependent morphology of the composite multi-TeV gamma-ray source HESS J1702-420

abstract: HESS J1702-420 is a multi-TeV gamma-ray source with an unusual energy-dependent morphology. The recent H.E.S.S. observations suggest that the emission is well described by a combination of point-like HESS J1702-420A (dominating at highest energies, $\gtrsim$ 30 TeV ) and diffuse ($\sim$ 0.3$^\circ$) HESS J1702-420B (dominating below $\lesssim$ 5TeV) sources with very hard (${\Gamma} \sim 1.5$) and soft (${\Gamma}$ ~2.6) power-law spectra, respectively. Here we propose a model which postulates that the proton accelerator is located at the position of HESS J1702-420A and is embedded into a dense molecular cloud that coincides with HESS J1702-420B. In the proposed model, the VHE radiation of HESS J1702-420 is explained by the pion-decay emission from the continuously injected relativistic protons propagating through a dense cloud. The energy-dependent morphology is defined by the diffusive nature of the low-energy protons propagation, transiting sharply to (quasi) ballistic propagation at higher energies. Adopting strong energy dependence of the diffusion coefficient, $D \propto E^\beta$ with $\beta \geq 1$, we argue that HESS J1702-420 as the system of two gamma-ray sources is the result of the propagation effect. Protons injected by a single accelerator at the rate $Q_0 \simeq 10^{38} \, (n_0/100 \, \rm cm^{-3})^{-1}\, (d/ \, 0.25\,kpc)^{-1} \rm erg/s$ can reasonably reproduce the morphology and fluxes of two gamma-ray components.


title: Exploring the Polarization of Axially Symmetric Supernovae with Unsupervised Deep Learning

abstract: The measurement of non-zero polarization can be used to infer the presence of departures from spherical symmetry in supernovae (SNe). The origin of the majority of the intrinsic polarization observed in SNe is in electron scattering, which induces a wavelength-independent continuum polarization that is generally observed to be low (<1%) for all SN types. The key indicator of asymmetry in SNe is the polarization observed across spectral lines, in particular the characteristic ``inverse P Cygni'' profile. The results of a suite of 900 Monte Carlo radiative transfer simulations are presented here. These simulations cover a range of possible axisymmetric structures (including unipolar, bipolar and equatorial enhancements) for the line forming region of the Ca II infrared triplet. Using a Variational Autoencoder, 7 key latent parameters are learned that describe the relationship between Stokes I and Stokes q, under the assumption of an axially symmetric line forming region and resonant scattering. Likelihood-free inference techniques are used to invert the Stokes I and q line profiles, in the latent space, to derive the underlying geometries. For axially symmetric structures, that yield an observable ``dominant axis'' on the Stokes $q-u$ plane, we propose the existence of a geometry ``conjugate" (which is indistinguishable under a rotation of $\pi /2$). Using this machine learning infrastructure, we attempt to identify possible geometries associated with spectropolarimetric observations of the Type Ib SN 2017gax.


title: DictaBERT: A State-of-the-Art BERT Suite for Modern Hebrew

abstract: We present DictaBERT, a new state-of-the-art pre-trained BERT model for modern Hebrew, outperforming existing models on most benchmarks. Additionally, we release three fine-tuned versions of the model, designed to perform three specific foundational tasks in the analysis of Hebrew texts: prefix segmentation, morphological tagging and question answering. These fine-tuned models allow any developer to perform prefix segmentation, morphological tagging and question answering of a Hebrew input with a single call to a HuggingFace model, without the need to integrate any additional libraries or code. In this paper we describe the details of the training as well and the results on the different benchmarks. We release the models to the community, along with sample code demonstrating their use. We release these models as part of our goal to help further research and development in Hebrew NLP.


title: Using Large Language Models to Automate Category and Trend Analysis of Scientific Articles: An Application in Ophthalmology

abstract: Purpose: In this paper, we present an automated method for article classification, leveraging the power of Large Language Models (LLM). The primary focus is on the field of ophthalmology, but the model is extendable to other fields. Methods: We have developed a model based on Natural Language Processing (NLP) techniques, including advanced LLMs, to process and analyze the textual content of scientific papers. Specifically, we have employed zero-shot learning (ZSL) LLM models and compared against Bidirectional and Auto-Regressive Transformers (BART) and its variants, and Bidirectional Encoder Representations from Transformers (BERT), and its variant such as distilBERT, SciBERT, PubmedBERT, BioBERT. Results: The classification results demonstrate the effectiveness of LLMs in categorizing large number of ophthalmology papers without human intervention. Results: To evalute the LLMs, we compiled a dataset (RenD) of 1000 ocular disease-related articles, which were expertly annotated by a panel of six specialists into 15 distinct categories. The model achieved mean accuracy of 0.86 and mean F1 of 0.85 based on the RenD dataset. Conclusion: The proposed framework achieves notable improvements in both accuracy and efficiency. Its application in the domain of ophthalmology showcases its potential for knowledge organization and retrieval in other domains too. We performed trend analysis that enables the researchers and clinicians to easily categorize and retrieve relevant papers, saving time and effort in literature review and information gathering as well as identification of emerging scientific trends within different disciplines. Moreover, the extendibility of the model to other scientific fields broadens its impact in facilitating research and trend analysis across diverse disciplines.


title: ViLTA: Enhancing Vision-Language Pre-training through Textual Augmentation

abstract: Vision-language pre-training (VLP) methods are blossoming recently, and its crucial goal is to jointly learn visual and textual features via a transformer-based architecture, demonstrating promising improvements on a variety of vision-language tasks. Prior arts usually focus on how to align visual and textual features, but strategies for improving the robustness of model and speeding up model convergence are left insufficiently explored. In this paper, we propose a novel method ViLTA, comprising of two components to further facilitate the model to learn fine-grained representations among image-text pairs. For Masked Language Modeling (MLM), we propose a cross-distillation method to generate soft labels to enhance the robustness of model, which alleviates the problem of treating synonyms of masked words as negative samples in one-hot labels. For Image-Text Matching (ITM), we leverage the current language encoder to synthesize hard negatives based on the context of language input, encouraging the model to learn high-quality representations by increasing the difficulty of the ITM task. By leveraging the above techniques, our ViLTA can achieve better performance on various vision-language tasks. Extensive experiments on benchmark datasets demonstrate that the effectiveness of ViLTA and its promising potential for vision-language pre-training.


title: On solving a rank regularized minimization problem via equivalent factorized column-sparse regularized models

abstract: Rank regularized minimization problem is an ideal model for the low-rank matrix completion/recovery problem. The matrix factorization approach can transform the high-dimensional rank regularized problem to a low-dimensional factorized column-sparse regularized problem. The latter can greatly facilitate fast computations in applicable algorithms, but needs to overcome the simultaneous non-convexity of the loss and regularization functions. In this paper, we consider the factorized column-sparse regularized model. Firstly, we optimize this model with bound constraints, and establish a certain equivalence between the optimized factorization problem and rank regularized problem. Further, we strengthen the optimality condition for stationary points of the factorization problem and define the notion of strong stationary point. Moreover, we establish the equivalence between the factorization problem and its a nonconvex relaxation in the sense of global minimizers and strong stationary points. To solve the factorization problem, we design two types of algorithms and give an adaptive method to reduce their computation. The first algorithm is from the relaxation point of view and its iterates own some properties from global minimizers of the factorization problem after finite iterations. We give some analysis on the convergence of its iterates to the strong stationary point. The second algorithm is designed for directly solving the factorization problem. We improve the PALM algorithm introduced by Bolte et al. (Math Program Ser A 146:459-494, 2014) for the factorization problem and give its improved convergence results. Finally, we conduct numerical experiments to show the promising performance of the proposed model and algorithms for low-rank matrix completion.


title: Prospects for observing supermassive black hole binaries with the space-ground interferometer

abstract: A list of candidates for \textit{supermassive binary black holes} (SMBBHs), compiled from available data on the variability in the optical range and the shape of the emission spectrum, is analysed. An artificial neural network is constructed to estimate the radiation flux at 240~GHz. For those candidate SMBBH for which the network building procedure was feasible, the criterion of the possibility of observing the source at the \textit{Millimetron Space Observatory} (MSO) was tested. The result is presented as a table of 17 candidate SMBBHs. Confirmation (or refutation) of the duality of these objects by means of observational data which could be commited on a space-ground interferometer with parameters similar to those of the MSO will be an important milestone in the development of the theory of galaxy formation.


title: SpeechTokenizer: Unified Speech Tokenizer for Speech Large Language Models

abstract: Current speech large language models build upon discrete speech representations, which can be categorized into semantic tokens and acoustic tokens. However, existing speech tokens are not specifically designed for speech language modeling. To assess the suitability of speech tokens for building speech language models, we established the first benchmark, SLMTokBench. Our results indicate that neither semantic nor acoustic tokens are ideal for this purpose. Therefore, we propose SpeechTokenizer, a unified speech tokenizer for speech large language models. SpeechTokenizer adopts the Encoder-Decoder architecture with residual vector quantization (RVQ). Unifying semantic and acoustic tokens, SpeechTokenizer disentangles different aspects of speech information hierarchically across different RVQ layers. Furthermore, We construct a Unified Speech Language Model (USLM) leveraging SpeechTokenizer. Experiments show that SpeechTokenizer performs comparably to EnCodec in speech reconstruction and demonstrates strong performance on the SLMTokBench benchmark. Also, USLM outperforms VALL-E in zero-shot Text-to-Speech tasks. Code and models are available at https://github.com/ZhangXInFD/SpeechTokenizer/.


title: Spatio-temporal boundary dissipation measurement in Taylor-Couette flow using Diffusing-Wave Spectroscopy

abstract: Diffusing-Wave Spectroscopy (DWS) allows for the direct measurement of the squared strain-rate tensor. When combined with commonly available high-speed cameras, we show that DWS gives direct access to the spatio-temporal variations of the viscous dissipation rate of a Newtonian fluid flow. The method is demonstrated using a Taylor-Couette (TC) cell filled with a lipid emulsion or a \ch{TiO2} suspension. We image the boundary dissipation rate in a quantitative and time-resolved fashion by shining coherent light at the experimental cell and measuring the local correlation time of the speckle pattern. The results are validated by comparison with the theoretical prediction for an ideal TC flow and with global measurements using a photomultiplier tube and a photon correlator. We illustrate the method by characterizing the spatial organization of the boundary dissipation rate past the Taylor-Couette instability threshold, and its spatio-temporal dynamics in the wavy vortex flow that arises beyond a secondary instability threshold. This study paves the way for direct imaging of the dissipation rate in a large variety of flows, including turbulent ones.


title: On the superadditive pressure for 1-typical, one-step, matrix-cocycle potentials

abstract: Let $(\Sigma_T,\sigma)$ be a subshift of finite type with primitive adjacency matrix $T$, $\psi:\Sigma_T \rightarrow \mathbb{R}$ a H\"older continuous potential, and $\mathcal{A}:\Sigma_T \rightarrow \mathrm{GL}_d(\mathbb{R})$ a 1-typical, one-step cocycle. For $t \in \mathbb{R}$ consider the sequences of potentials $\Phi_t=(\varphi_{t,n})_{n \in \mathbb{N}}$ defined by $$\varphi_{t,n}(x):=S_n \psi(x) + t\log \|\mathcal{A}^n(x)\|, \: \forall n \in \mathbb{N}.$$ Using the family of transfer operators defined in this setting by Park and Piraino, for all $t<0$ sufficiently close to 0 we prove the existence of Gibbs-type measures for the superadditive sequences of potentials $\Phi_t$. This extends the results of the well-understood subadditive case where $t \geq 0$. Prior to this, Gibbs-type measures were only known to exist for $t<0$ in the conformal, the reducible, the positive, or the dominated, planar settings, in which case they are Gibbs measures in the classical sense. We further prove that the topological pressure function $t \mapsto P_{\mathrm{top}}(\Phi_t,\sigma)$ is analytic in an open neighbourhood of 0 and has derivative given by the Lyapunov exponents of these Gibbs-type measures.


title: A H\"older-type inequality for the Hausdorff distance between Lagrangians

abstract: We prove a H\"older-type inequality for the Hausdorff distance between Lagrangians with respect to the Lagrangian spectral distance or the Hofer-Chekanov distance in the spirit of Joksimovi\'c-Seyfaddini [arXiv:2207.11813]. This inequality is established via methods developped by the first author [arXiv:2204.02468, arXiv:2108.00555] in order to understand the symplectic geometry of certain collections of Lagrangians under metric constraints.


title: Error analysis of numerical methods on graded meshes for stochastic Volterra equations

abstract: This paper presents the error analysis of numerical methods on graded meshes for stochastic Volterra equations with weakly singular kernels. We first prove a novel regularity estimate for the exact solution via analyzing the associated convolution structure. This reveals that the exact solution exhibits an initial singularity in the sense that its H\"older continuous exponent on any neighborhood of $t=0$ is lower than that on every compact subset of $(0,T]$. Motivated by the initial singularity, we then construct the Euler--Maruyama method, fast Euler--Maruyama method, and Milstein method based on graded meshes. By establishing their pointwise-in-time error estimates, we give the grading exponents of meshes to attain the optimal uniform-in-time convergence orders, where the convergence orders improve those of the uniform mesh case. Numerical experiments are finally reported to confirm the sharpness of theoretical findings.


title: Game semantics for the constructive $\mu$-calculus

abstract: We define game semantics for the constructive $\mu$-calculus and prove its equivalence to bi-relational semantics. We use the game semantics to prove that the $\mu$-calculus collapses to modal logic over constructive variants of $\mathsf{S5}$. Finally, we use the collapse to prove the completeness of constructive variants of $\mathsf{S5}$ with fixed-point operators.


title: Ultrafast transfer of low-mass payloads to Mars and beyond using aerographite solar sails

abstract: With interstellar mission concepts now being under study by various space agencies and institutions, a feasible and worthy interstellar precursor mission concept will be key to the success of the long shot. Here we investigate interstellar-bound trajectories of solar sails made of the ultra-light material aerographite, known for its low density (0.18 kg m$^{-3}$) and high absorptivity ($\mathcal{A}{\sim}1$), enabling remarkable solar irradiation-based acceleration. Payloads of up to 1 kg can swiftly traverse the solar system and the regions beyond. Our simulations consider various launch scenarios from a polar orbit around the Earth with direct outbound trajectories and Sun diver launches with subsequent outward acceleration. Utilizing the poliastro Python library, we calculate positions, velocities, and accelerations for a 1 kg spacecraft (including 720 g aerographite mass) with 10$^4$ m$^2$ of cross-sectional area, corresponding to a 56 m radius. A direct outward Mars transfer yields 65 km s$^{-1}$ in 26 d. The inward Mars transfer, with a sail deployment at a minimum distance of 0.6 AU, achieves 118 km s$^{-1}$ in 126 d. Transfer times and velocities vary due to the Earth-Mars constellation and initial injection trajectory. The direct interstellar trajectory peaks at 109 km s$^{-1}$, reaching interstellar space in 5.3 yr defined by the heliopause at 120 AU. Alternatively, the initial Sun dive to 0.6 AU provides 148 km s$^{-1}$ of escape velocity, reaching the heliopause in 4.2 yr. Values differ based on the minimum distance to the Sun. Presented concepts enable swift Mars flybys and interstellar space exploration. For delivery missions of sub-kg payloads, the deceleration remains a challenge.


title: H.E.S.S. realtime follow-ups of IceCube high-energy neutrino alerts

abstract: The evidence for multi-messenger photon and neutrino emission from the blazar TXS 0506+056 has demonstrated the importance of realtime follow-up of neutrino events by various ground- and space-based facilities. The effort of H.E.S.S. and other experiments in coordinating observations to obtain quasi-simultaneous multiwavelength flux and spectrum measurements has been critical in measuring the chance coincidence with the high-energy neutrino event IC-170922A and constraining theoretical models. For about a decade, the H.E.S.S. transient program has included a search for gamma-ray emission associated with high-energy neutrino alerts, looking for gamma-ray activity from known sources and newly detected emitters consistent with the neutrino location. In this contribution, we present an overview of follow-up activities for realtime neutrino alerts with H.E.S.S. in 2021 and 2022. Our analysis includes both public IceCube neutrino alerts and alerts exchanged as part of a joint H.E.S.S.-IceCube program. We focus on interesting coincidences observed with gamma-ray sources, particularly highlighting the significant detection of PKS 0625-35, an AGN previously detected by H.E.S.S., and three IceCube neutrinos.


title: Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version)

abstract: Data analysis has high value both for commercial and research purposes. However, disclosing analysis results may pose severe privacy risk to individuals. Privug is a method to quantify privacy risks of data analytics programs by analyzing their source code. The method uses probability distributions to model attacker knowledge and Bayesian inference to update said knowledge based on observable outputs. Currently, Privug uses Markov Chain Monte Carlo (MCMC) to perform inference, which is a flexible but approximate solution. This paper presents an exact Bayesian inference engine based on multivariate Gaussian distributions to accurately and efficiently quantify privacy risks. The inference engine is implemented for a subset of Python programs that can be modeled as multivariate Gaussian models. We evaluate the method by analyzing privacy risks in programs to release public statistics. The evaluation shows that our method accurately and efficiently analyzes privacy risks, and outperforms existing methods. Furthermore, we demonstrate the use of our engine to analyze the effect of differential privacy in public statistics.


title: A unified approach to exotic cluster structures on simple Lie groups

abstract: We propose a new approach to building log-canonical coordinate charts for any simply-connected simple Lie group $\G$ and arbitrary Poisson-homogeneous bracket on $\G$ associated with Belavin--Drinfeld data. Given a pair of representatives $r, r'$ from two arbitrary Belavin--Drinfeld classes, we build a rational map from $\G$ with the Poisson structure defined by two appropriately selected representatives from the standard class to $\G$ equipped with the Poisson structure defined by the pair $r, r'$. In the $A_n$ case, we prove that this map is invertible whenever the pair $r, r'$ is drawn from aperiodic Belavin--Drinfeld data, as defined in~\cite{GSVple}. We further apply this construction to recover the existence of a regular complete cluster structure compatible with the Poisson structure associated with the pair $r, r'$ in the aperiodic case.


title: Degenerations Of Skein Algebras And Quantum Traces

abstract: We introduce a joint generalization, called LRY skein algebras, of Kauffman bracket skein algebras (of surfaces) that encompasses both Roger-Yang skein algebras and stated skein algebras. We will show that, over an arbitrary ground ring which is a commutative domain, the LRY skein algebras are domains and have degenerations (by filtrations) equal to monomial subalgebras of quantum tori. For surfaces without interior punctures, this integrality generalizes a result of Moon and Wong to the most general ground ring. We also calculate the Gelfand-Kirillov dimension of LRY algebras and show they are Noetherian if the ground ring is. Moreover they are orderly finitely generated. To study the LRY algebras and prove the above-mentioned results, we construct quantum traces, both the so-called X-version for all surfaces and also an A-version for a smaller class of surfaces. We also introduce a modified version of Dehn-Thurston coordinates for curves which are more suitable for the study of skein algebras as they pick up the highest degree terms of products in certain natural filtrations.


title: Fault Injection and Safe-Error Attack for Extraction of Embedded Neural Network Models

abstract: Model extraction emerges as a critical security threat with attack vectors exploiting both algorithmic and implementation-based approaches. The main goal of an attacker is to steal as much information as possible about a protected victim model, so that he can mimic it with a substitute model, even with a limited access to similar training data. Recently, physical attacks such as fault injection have shown worrying efficiency against the integrity and confidentiality of embedded models. We focus on embedded deep neural network models on 32-bit microcontrollers, a widespread family of hardware platforms in IoT, and the use of a standard fault injection strategy - Safe Error Attack (SEA) - to perform a model extraction attack with an adversary having a limited access to training data. Since the attack strongly depends on the input queries, we propose a black-box approach to craft a successful attack set. For a classical convolutional neural network, we successfully recover at least 90% of the most significant bits with about 1500 crafted inputs. These information enable to efficiently train a substitute model, with only 8% of the training dataset, that reaches high fidelity and near identical accuracy level than the victim model.


title: Dielectron production in central Pb$-$Pb collisions at $\sqrt{s_\mathrm{NN}}$ = 5.02 TeV

abstract: The first measurement of the e$^+$e$^-$ pair production at midrapidity and low invariant mass in central Pb$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV at the LHC is presented. The yield of e$^+$e$^-$ pairs is compared with a cocktail of expected hadronic decay contributions in the invariant mass ($m_{\rm ee}$) and pair transverse momentum ($p_{\rm T,ee}$) ranges $m_{\rm ee} < 3.5$ GeV$/c^2$ and $p_{\rm T,ee} < 8$ GeV$/c$. For $0.18 < m_{\rm ee} < 0.5$ GeV$/c^2$ the ratio of data to the cocktail of hadronic contributions without $\rho$ mesons amounts to $1.42 \pm 0.12 \ ({\rm stat.}) \pm 0.17 \ ({\rm syst.}) \pm 0.12 \ ({\rm cocktail})$ and $1.44 \pm 0.12 \ ({\rm stat.}) \pm 0.17 \ ({\rm syst.}) ^{+0.17}_{-0.21} \ ({\rm cocktail})$, including or not including medium effects in the estimation of the heavy-flavor background, respectively. It is consistent with predictions from two different models for an additional contribution of thermal e$^+$e$^-$ pairs from the hadronic and partonic phases. In the intermediate-mass range ($1.2 < m_{\rm ee} < 2.6$ GeV$/c^2$), the pair transverse impact parameter of the e$^+$e$^-$ pairs (DCA$_{\rm ee}$) is used for the first time in Pb$-$Pb collisions to separate displaced dielectrons from heavy-flavor hadron decays from a possible (thermal) contribution produced at the interaction point. The data are consistent with a suppression of e$^+$e$^-$ pairs from ${\rm c\overline{c}}$ and an additional prompt component. Finally, the first direct-photon measurement in the 10% most central Pb$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV is reported via the study of virtual direct photons in the transverse momentum range $1 < p_{\rm T} < 5$ GeV$/c$. A model including prompt photons, as well as photons from the pre-equilibrium and fluid-dynamic phases, can reproduce the result, while being at the upper edge of the data uncertainties.


title: Exploring Cross-Cultural Differences in English Hate Speech Annotations: From Dataset Construction to Analysis

abstract: Warning: this paper contains content that may be offensive or upsetting. Most hate speech datasets neglect the cultural diversity within a single language, resulting in a critical shortcoming in hate speech detection. To address this, we introduce CREHate, a CRoss-cultural English Hate speech dataset. To construct CREHate, we follow a two-step procedure: 1) cultural post collection and 2) cross-cultural annotation. We sample posts from the SBIC dataset, which predominantly represents North America, and collect posts from four geographically diverse English-speaking countries (Australia, United Kingdom, Singapore, and South Africa) using culturally hateful keywords we retrieve from our survey. Annotations are collected from the four countries plus the United States to establish representative labels for each country. Our analysis highlights statistically significant disparities across countries in hate speech annotations. Only 56.2% of the posts in CREHate achieve consensus among all countries, with the highest pairwise label difference rate of 26%. Qualitative analysis shows that label disagreement occurs mostly due to different interpretations of sarcasm and the personal bias of annotators on divisive topics. Lastly, we evaluate large language models (LLMs) under a zero-shot setting and show that current LLMs tend to show higher accuracies on Anglosphere country labels in CREHate. Our dataset and codes are available at: https://github.com/nlee0212/CREHate


title: Studying strangeness and baryon production mechanisms through angular correlations between charged $\Xi$ baryons and identified hadrons in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: The angular correlations between charged $\Xi$ baryons and associated identified hadrons (pions, kaons, protons, $\Lambda$ baryons, and $\Xi$ baryons) are measured in pp collisions at $\sqrt{s} = 13$ TeV with the ALICE detector to give insight into the particle production mechanisms and balancing of quantum numbers on the microscopic level. In particular, the distribution of strangeness is investigated in the correlations between the doubly-strange $\Xi$ baryon and mesons and baryons that contain a single strange quark, K and $\Lambda$. As a reference, the results are compared to $\Xi\pi$ and $\Xi\mathrm{p}$ correlations, where the associated mesons and baryons do not contain a strange valence quark. These measurements are expected to be sensitive to whether strangeness is produced through string breaking or in a thermal production scenario. Furthermore, the multiplicity dependence of the correlation functions is measured to look for the turn-on of additional particle production mechanisms with event activity. The results are compared to predictions from the string-breaking model PYTHIA 8, including tunes with baryon junctions and rope hadronisation enabled, the cluster hadronisation model HERWIG 7, and the core-corona model EPOS-LHC. While some aspects of the experimental data are described quantitatively or qualitatively by the Monte Carlo models, no one model can match all features of the data. These results provide stringent constraints on the strangeness and baryon number production mechanisms in pp collisions.


title: Causal Analysis of First-Year Course Approval Delays in an Engineering Major Through Inference Techniques

abstract: The study addresses the problem of delays in the approval of first-year courses in the Civil Engineering Major at the National University of Tucum\'an, Argentina. Students take an average of 5 years to pass these subjects. Using the DoWhy and Causal Discovery Toolbox tools, we looked to identify the underlying causes of these delays. The analysis revealed that the regulatory structure of the program and the evaluation methods play a crucial role in this delay. Specifically, the accumulation of regular subjects without passing a final exam was identified as a key factor. These findings can guide interventions to improve student success rates and the effectiveness of the education system in general.


title: Concentrating on the Impact: Consequence-based Explanations in Recommender Systems

abstract: Recommender systems assist users in decision-making, where the presentation of recommended items and their explanations are critical factors for enhancing the overall user experience. Although various methods for generating explanations have been proposed, there is still room for improvement, particularly for users who lack expertise in a specific item domain. In this study, we introduce the novel concept of \textit{consequence-based explanations}, a type of explanation that emphasizes the individual impact of consuming a recommended item on the user, which makes the effect of following recommendations clearer. We conducted an online user study to examine our assumption about the appreciation of consequence-based explanations and their impacts on different explanation aims in recommender systems. Our findings highlight the importance of consequence-based explanations, which were well-received by users and effectively improved user satisfaction in recommender systems. These results provide valuable insights for designing engaging explanations that can enhance the overall user experience in decision-making.


title: Dynamics at the edge for independent diffusing particles

abstract: We study the dynamics of the outliers for a large number of independent Brownian particles in one dimension. We derive the multi-time joint distribution of the position of the rightmost particle, by two different methods. We obtain the two time joint distribution of the maximum and second maximum positions, and study the counting statistics at the edge. Finally we derive the multi-time joint distribution of the running maximum, as well as the joint distribution of the arrival time of the first particle at several space points.


title: Meld: Exploring the Feasibility of a Framework-less Framework

abstract: HEP data-processing frameworks are essential ingredients in getting from raw data to physics results. But they are often tricky to use well, and they present a significant learning barrier for the beginning HEP physicist. In addition, existing frameworks typically support rigid, collider-based data models, which do not map well to neutrino-physics experiments like DUNE. Neutrino physicists thus expend significant effort working around framework limitations instead of using a framework that directly supports their needs. Presented here is Meld, a Fermilab R&D project, which intends to address these limitations. By leveraging modern C++ capabilities, state-of-the-art concurrency libraries, and a flexible data model, it is possible for beginning (and seasoned) HEP physicists to execute framework programs easily and efficiently, with minimal coupling to framework-specific constructs. Meld aims to directly support the frameworks needs of neutrino experiments like DUNE as well as the more common collider-based experiments.


title: Lower Bounds on the Complexity of Mixed-Integer Programs for Stable Set and Knapsack

abstract: Standard mixed-integer programming formulations for the stable set problem on $n$-node graphs require $n$ integer variables. We prove that this is almost optimal: We give a family of $n$-node graphs for which every polynomial-size MIP formulation requires $\Omega(n/\log^2 n)$ integer variables. By a polyhedral reduction we obtain an analogous result for $n$-item knapsack problems. In both cases, this improves the previously known bounds of $\Omega(\sqrt{n}/\log n)$ by Cevallos, Weltge & Zenklusen (SODA 2018). To this end, we show that there exists a family of $n$-node graphs whose stable set polytopes satisfy the following: any $(1+\varepsilon/n)$-approximate extended formulation for these polytopes, for some constant $\varepsilon > 0$, has size $2^{\Omega(n/\log n)}$. Our proof extends and simplifies the information-theoretic methods due to G\"o\"os, Jain & Watson (FOCS 2016, SIAM J. Comput. 2018) who showed the same result for the case of exact extended formulations (i.e. $\varepsilon = 0$).


title: Implementing scalable matrix-vector products for the exact diagonalization methods in quantum many-body physics

abstract: Exact diagonalization is a well-established method for simulating small quantum systems. Its applicability is limited by the exponential growth of the so-called Hamiltonian matrix that needs to be diagonalized. Physical symmetries are usually utilized to reduce the matrix dimension, and distributed-memory parallelism is employed to explore larger systems. This paper focuses on the implementation the core distributed algorithms, with a special emphasis on the matrix-vector product operation. Instead of the conventional MPI+X paradigm, Chapel is chosen as the language for these distributed algorithms. We provide a comprehensive description of the algorithms and present performance and scalability tests. Our implementation outperforms the state-of-the-art MPI-based solution by a factor of 7--8 on 32 compute nodes or 4096 cores and exhibits very good scaling on up to 256 nodes or 32768 cores. The implementation has 3 times fewer software lines of code than the current state of the art while remaining fully generic.


title: Accurate Prediction of Antibody Function and Structure Using Bio-Inspired Antibody Language Model

abstract: In recent decades, antibodies have emerged as indispensable therapeutics for combating diseases, particularly viral infections. However, their development has been hindered by limited structural information and labor-intensive engineering processes. Fortunately, significant advancements in deep learning methods have facilitated the precise prediction of protein structure and function by leveraging co-evolution information from homologous proteins. Despite these advances, predicting the conformation of antibodies remains challenging due to their unique evolution and the high flexibility of their antigen-binding regions. Here, to address this challenge, we present the Bio-inspired Antibody Language Model (BALM). This model is trained on a vast dataset comprising 336 million 40% non-redundant unlabeled antibody sequences, capturing both unique and conserved properties specific to antibodies. Notably, BALM showcases exceptional performance across four antigen-binding prediction tasks. Moreover, we introduce BALMFold, an end-to-end method derived from BALM, capable of swiftly predicting full atomic antibody structures from individual sequences. Remarkably, BALMFold outperforms those well-established methods like AlphaFold2, IgFold, ESMFold, and OmegaFold in the antibody benchmark, demonstrating significant potential to advance innovative engineering and streamline therapeutic antibody development by reducing the need for unnecessary trials.


title: Towards Vehicle-to-everything Autonomous Driving: A Survey on Collaborative Perception

abstract: Vehicle-to-everything (V2X) autonomous driving opens up a promising direction for developing a new generation of intelligent transportation systems. Collaborative perception (CP) as an essential component to achieve V2X can overcome the inherent limitations of individual perception, including occlusion and long-range perception. In this survey, we provide a comprehensive review of CP methods for V2X scenarios, bringing a profound and in-depth understanding to the community. Specifically, we first introduce the architecture and workflow of typical V2X systems, which affords a broader perspective to understand the entire V2X system and the role of CP within it. Then, we thoroughly summarize and analyze existing V2X perception datasets and CP methods. Particularly, we introduce numerous CP methods from various crucial perspectives, including collaboration stages, roadside sensors placement, latency compensation, performance-bandwidth trade-off, attack/defense, pose alignment, etc. Moreover, we conduct extensive experimental analyses to compare and examine current CP methods, revealing some essential and unexplored insights. Specifically, we analyze the performance changes of different methods under different bandwidths, providing a deep insight into the performance-bandwidth trade-off issue. Also, we examine methods under different LiDAR ranges. To study the model robustness, we further investigate the effects of various simulated real-world noises on the performance of different CP methods, covering communication latency, lossy communication, localization errors, and mixed noises. In addition, we look into the sim-to-real generalization ability of existing CP methods. At last, we thoroughly discuss issues and challenges, highlighting promising directions for future efforts. Our codes for experimental analysis will be public at https://github.com/memberRE/Collaborative-Perception.


title: Carrier diffusion in semiconductor nanoscale resonators

abstract: It is shown that semiconductor nanoscale resonators with extreme dielectric confinement accelerate the diffusion of electron-hole pairs excited by nonlinear absorption. These novel cavity designs may lead to optical switches with superior modulation speeds compared to conventional geometries. The response function of the effective carrier density is computed by an efficient eigenmode expansion technique. A few eigenmodes of the diffusion equation conveniently capture the long-timescale carrier decay rate, which is advantageous compared to time-domain simulations. Notably, the eigenmode approach elucidates the contribution to carrier diffusion of the in-plane and out-of-plane cavity geometry, which may guide future designs.


title: Like-Sign W-Boson Scattering at the LHC -- Approximations and Full Next-to-Leading-Order Predictions

abstract: We present a new calculation of next-to-leading-order corrections of the strong and electroweak interactions to like-sign W-boson scattering at the Large Hadron Collider, implemented in the Monte Carlo integrator Bonsay. The calculation includes leptonic decays of the $\mathrm{W}$ bosons. It comprises the whole tower of next-to-leading-order contributions to the cross section, which scale like $\alpha_\mathrm{s}^3\alpha^4$, $\alpha_\mathrm{s}^2\alpha^5$, $\alpha_\mathrm{s}\alpha^6$, and $\alpha^7$ in the strong and electroweak couplings $\alpha_\mathrm{s}$ and $\alpha$. We present a detailed survey of numerical results confirming the occurrence of large pure electroweak corrections of the order of $\sim-12\%$ for integrated cross sections and even larger corrections in high-energy tails of distributions. The electroweak corrections account for the major part of the complete next-to-leading-order correction, which amounts to $15{-}20\%$ in size, depending on the details of the event selection chosen for analysing vector-boson-scattering. Moreover, we compare the full next-to-leading-order corrections to approximate results based on the neglect of contributions that are not enhanced by the vector-boson scattering kinematics (VBS approximation) and on resonance expansions for the $\mathrm{W}$-boson decays (double-pole approximation); the quality of this approximation is good within $\sim 1.5\%$ for integrated cross sections and the dominating parts of the differential distributions. Finally, for the leading-order predictions, we construct different versions of effective vector-boson approximations, which are based on cross-section contributions that are enhanced by collinear emission of $\mathrm{W}$ bosons off the initial-state (anti)quarks; in line with previous findings in the literature, it turns out that the approximative quality is rather limited for applications at the LHC.


title: Joint H.E.S.S. and Fermi-LAT analysis of the region around PSR J1813-1749

abstract: HESS J1813-178 is one of the brightest sources detected during the first HESS Galactic Plane survey. The compact source, also detected by MAGIC, is believed to be a pulsar wind nebula powered by one of the most powerful pulsars known in the Galaxy, PSR J1813-1749 with a spin-down luminosity of $\dot{\mathrm{E}} = 5.6 \cdot 10^{37}\,\mathrm{erg}\,\mathrm{s}^{-1}$. With its extreme physical properties, as well as the pulsar's young age of 5.6 kyrs, the $\gamma$-rays detected in this region allow us to study the evolution of a highly atypical system. Previous studies of the region in the GeV energy range show emission extended beyond the size of the compact H.E.S.S. source. Using the archival H.E.S.S. data with improved background methods, we perform a detailed morphological and spectral analysis of the region. Additionally to the compact, bright emission component, we find significantly extended emission, whose position is coincident with HESS J1813-178. We reanalyse the region in GeV and derive a joint-model in order to find a continuous description of the emission in the region from GeV to TeV. Using the results derived in this analysis, as well as X-ray and radio data of the region, we perform multi-wavelength spectral modeling. Possible hadronic or leptonic origins of the $\gamma$-ray emission are investigated, and the diffusion parameters necessary to explain the extended emission are examined.


title: Robust Representation Learning for Unreliable Partial Label Learning

abstract: Partial Label Learning (PLL) is a type of weakly supervised learning where each training instance is assigned a set of candidate labels, but only one label is the ground-truth. However, this idealistic assumption may not always hold due to potential annotation inaccuracies, meaning the ground-truth may not be present in the candidate label set. This is known as Unreliable Partial Label Learning (UPLL) that introduces an additional complexity due to the inherent unreliability and ambiguity of partial labels, often resulting in a sub-optimal performance with existing methods. To address this challenge, we propose the Unreliability-Robust Representation Learning framework (URRL) that leverages unreliability-robust contrastive learning to help the model fortify against unreliable partial labels effectively. Concurrently, we propose a dual strategy that combines KNN-based candidate label set correction and consistency-regularization-based label disambiguation to refine label quality and enhance the ability of representation learning within the URRL framework. Extensive experiments demonstrate that the proposed method outperforms state-of-the-art PLL methods on various datasets with diverse degrees of unreliability and ambiguity. Furthermore, we provide a theoretical analysis of our approach from the perspective of the expectation maximization (EM) algorithm. Upon acceptance, we pledge to make the code publicly accessible.


title: Energy Efficient UAV-Assisted Emergency Communication with Reliable Connectivity and Collision Avoidance

abstract: Emergency communication is vital for search and rescue operations following natural disasters. Unmanned Aerial Vehicles (UAVs) can significantly assist emergency communication by agile positioning, maintaining connectivity during rapid motion, and relaying critical disaster-related information to Ground Control Stations (GCS). Designing effective routing protocols for relaying crucial data in UAV networks is challenging due to dynamic topology, rapid mobility, and limited UAV resources. This paper presents a novel energy-constrained routing mechanism that ensures connectivity, inter-UAV collision avoidance, and network restoration post-UAV fragmentation while adapting without a predefined UAV path. The proposed method employs improved Q learning to optimize the next-hop node selection. Considering these factors, the paper proposes a novel, Improved Q-learning-based Multi-hop Routing (IQMR) protocol. Simulation results validate IQMRs adaptability to changing system conditions and superiority over QMR, QTAR, and QFANET in energy efficiency and data throughput. IQMR achieves energy consumption efficiency improvements of 32.27%, 36.35%, and 36.35% over QMR, Q-FANET, and QTAR, along with significantly higher data throughput enhancements of 53.3%, 80.35%, and 93.36% over Q-FANET, QMR, and QTAR.


title: Dynamical low-rank tensor approximations to high-dimensional parabolic problems: existence and convergence of spatial discretizations

abstract: We consider dynamical low-rank approximations to parabolic problems on higher-order tensor manifolds in Hilbert spaces. In addition to existence of solutions and their stability with respect to perturbations to the problem data, we show convergence of spatial discretizations. Our framework accommodates various standard low-rank tensor formats for multivariate functions, including tensor train and hierarchical tensors.


title: Universal quadratic forms and Northcott property of infinite number fields

abstract: We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In particular, this implies that no universal form exists over the compositum of all totally real Galois fields of a fixed prime degree over $\mathbb{Q}$. Further, by considering the existence of infinitely many square classes of totally positive units, we show that no classical universal form exists over the compositum of all such fields of degree $3d$ (for each fixed odd integer $d$).


title: Mapping properties of the quark gluon plasma in Pb-Pb and Xe-Xe collisions at energies available at the CERN Large Hadron Collider

abstract: A phenomenological analysis of the experimental measurements of transverse momentum spectra of identified charged hadrons and strange hyperons in Pb-Pb and Xe-Xe collisions at the LHC is presented. The analysis is based on the relativistic fluid dynamics description implemented in the numerically efficient \textsc{Fluid{\it u}M} approach. Building on our previous work, we separate in our treatment the chemical and kinetic freeze-out, and incorporate the partial chemical equilibrium to describe the late stages of the collision evolution. This analysis makes use of Bayesian inference to determine key parameters of the QGP evolution and its properties including the shear and bulk viscosity to entropy ratios, the initialisation time, the initial entropy density, and the freeze-out temperatures. The physics parameters and their posterior probabilities are extracted using a global search in multidimensional space with modern machine learning tools, such as ensembles of neural networks. We employ our newly developed fast framework to assess systematic uncertainties in the extracted model parameters by systematically varying key components of our analysis.


title: Circulation Statistics in Homogeneous and Isotropic Turbulence

abstract: This is the final version of a Thesis presented to the PostGrad Program in Physics of the Physics Institute of the Federal University of Rio de Janeiro (UFRJ), as a necessary requirement for the title of Ph.D. in Science (Physics). The development of the Vortex Gas Model (VGM) introduces a novel statistical framework for describing the characteristics of velocity circulation. In this model, the underlying foundations rely on the statistical attributes of two fundamental constituents. The first is a GMC field that governs intermittent behavior and the second constituent is a Gaussian Free field responsible for the partial polarization of the vortices in the gas. The model is revisited in a more sophisticated language, where volume exclusion among vortices is addressed. These additions were subsequently validated through numerical simulations of turbulent Navier-Stokes equations. This revised approach harmonizes with the multifractal characteristics exhibited by circulation statistics, offering a compelling elucidation for the phenomenon of linearization of the statistical circulation moments, observed in recent numerical simulation. In the end, a field theoretical approach, known as Martin-Siggia-Rose-Janssen-de Dominicis (MSRJD) functional method is carried out in the context of circulation probability density function. This approach delves into the realm of extreme circulation events, often referred to as Instantons, through two distinct methodologies: The First investigates the linear solutions and, by a renormalization group argument a time-rescaling symmetry is discussed. Secondly, a numerical strategy is implemented to tackle the nonlinear instanton equations in the axisymmetric approximation. This approach addresses the typical topology exhibited by the velocity field associated with extreme circulation events.


title: Data-driven Product-Process Optimization of N-isopropylacrylamide Microgel Flow-Synthesis

abstract: Microgels are cross-linked, colloidal polymer networks with great potential for stimuli-response release in drug-delivery applications, as their size in the nanometer range allows them to pass human cell boundaries. For applications with specified requirements regarding size, producing tailored microgels in a continuous flow reactor is advantageous because the microgel properties can be controlled tightly. However, no fully-specified mechanistic models are available for continuous microgel synthesis, as the physical properties of the included components are only studied partly. To address this gap and accelerate tailor-made microgel development, we propose a data-driven optimization in a hardware-in-the-loop approach to efficiently synthesize microgels with defined sizes. We optimize the synthesis regarding conflicting objectives (maximum production efficiency, minimum energy consumption, and the desired microgel radius) by applying Bayesian optimization via the solver ``Thompson sampling efficient multi-objective optimization'' (TS-EMO). We validate the optimization using the deterministic global solver ``McCormick-based Algorithm for mixed-integer Nonlinear Global Optimization'' (MAiNGO) and verify three computed Pareto optimal solutions via experiments. The proposed framework can be applied to other desired microgel properties and reactor setups and has the potential of efficient development by minimizing number of experiments and modelling effort needed.


title: Terrain Diffusion Network: Climatic-Aware Terrain Generation with Geological Sketch Guidance

abstract: Sketch-based terrain generation seeks to create realistic landscapes for virtual environments in various applications such as computer games, animation and virtual reality. Recently, deep learning based terrain generation has emerged, notably the ones based on generative adversarial networks (GAN). However, these methods often struggle to fulfill the requirements of flexible user control and maintain generative diversity for realistic terrain. Therefore, we propose a novel diffusion-based method, namely terrain diffusion network (TDN), which actively incorporates user guidance for enhanced controllability, taking into account terrain features like rivers, ridges, basins, and peaks. Instead of adhering to a conventional monolithic denoising process, which often compromises the fidelity of terrain details or the alignment with user control, a multi-level denoising scheme is proposed to generate more realistic terrains by taking into account fine-grained details, particularly those related to climatic patterns influenced by erosion and tectonic activities. Specifically, three terrain synthesisers are designed for structural, intermediate, and fine-grained level denoising purposes, which allow each synthesiser concentrate on a distinct terrain aspect. Moreover, to maximise the efficiency of our TDN, we further introduce terrain and sketch latent spaces for the synthesizers with pre-trained terrain autoencoders. Comprehensive experiments on a new dataset constructed from NASA Topology Images clearly demonstrate the effectiveness of our proposed method, achieving the state-of-the-art performance. Our code and dataset will be publicly available.


title: A variation of Reynolds-Hurkens Paradox

abstract: We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.


title: On convolution closure properties of subexponentiality approaching from densities

abstract: Non-closedness of subexponentiality by the convolution operation is well-known. We go a step further and show that subexponentiality and non-subexponentiality are generally changeable by the convolution. We also give several conditions, by which (non-) subexponentiality is kept. Most results are given with densities, which are easily converted to those for distributions. As a by-product, we give counterexamples to several past results, which were used to derive the non-closedness of the convolution, and modify the original proof.


title: Forbidden subgraphs and complete partitions

abstract: A graph is called an $(r,k)$-graph if its vertex set can be partitioned into $r$ parts of size at most $k$ with at least one edge between any two parts. Let $f(r,H)$ be the minimum $k$ for which there exists an $H$-free $(r,k)$-graph. In this paper we build on the work of Axenovich and Martin, obtaining improved bounds on this function when $H$ is a complete bipartite graph, even cycle, or tree. Some of these bounds are best possible up to a constant factor and confirm a conjecture of Axenovich and Martin in several cases. We also generalize this extremal problem to uniform hypergraphs and prove some initial results in that setting.


title: JavaScript Dead Code Identification, Elimination, and Empirical Assessment

abstract: Web apps are built by using a combination of HTML, CSS, and JavaScript. While building modern web apps, it is common practice to make use of third-party libraries and frameworks, as to improve developers' productivity and code quality. Alongside these benefits, the adoption of such libraries results in the introduction of JavaScript dead code, i.e., code implementing unused functionalities. The costs for downloading and parsing dead code can negatively contribute to the loading time and resource usage of web apps. The goal of our study is two-fold. First, we present Lacuna, an approach for automatically detecting and eliminating JavaScript dead code from web apps. The proposed approach supports both static and dynamic analyses, it is extensible and can be applied to any JavaScript code base, without imposing constraints on the coding style or on the use of specific JavaScript constructs. Secondly, by leveraging Lacuna we conduct an experiment to empirically evaluate the run-time overhead of JavaScript dead code in terms of energy consumption, performance, network usage, and resource usage in the context of mobile web apps. We applied Lacuna four times on 30 mobile web apps independently developed by third-party developers, each time eliminating dead code according to a different optimization level provided by Lacuna. Afterward, each different version of the web app is executed on an Android device, while collecting measures to assess the potential run-time overhead caused by dead code. Experimental results, among others, highlight that the removal of JavaScript dead code has a positive impact on the loading time of mobile web apps, while significantly reducing the number of bytes transferred over the network.


title: Proof of Deep Learning: Approaches, Challenges, and Future Directions

abstract: The rise of computational power has led to unprecedented performance gains for deep learning models. As more data becomes available and model architectures become more complex, the need for more computational power increases. On the other hand, since the introduction of Bitcoin as the first cryptocurrency and the establishment of the concept of blockchain as a distributed ledger, many variants and approaches have been proposed. However, many of them have one thing in common, which is the Proof of Work (PoW) consensus mechanism. PoW is mainly used to support the process of new block generation. While PoW has proven its robustness, its main drawback is that it requires a significant amount of processing power to maintain the security and integrity of the blockchain. This is due to applying brute force to solve a hashing puzzle. To utilize the computational power available in useful and meaningful work while keeping the blockchain secure, many techniques have been proposed, one of which is known as Proof of Deep Learning (PoDL). PoDL is a consensus mechanism that uses the process of training a deep learning model as proof of work to add new blocks to the blockchain. In this paper, we survey the various approaches for PoDL. We discuss the different types of PoDL algorithms, their advantages and disadvantages, and their potential applications. We also discuss the challenges of implementing PoDL and future research directions.


title: An Efficient Framework for Global Non-Convex Polynomial Optimization over the Hypercube

abstract: We present a novel efficient theoretical and numerical framework for solving global non-convex polynomial optimization problems. We analytically demonstrate that such problems can be efficiently reformulated using a non-linear objective over a convex set; further, these reformulated problems possess no spurious local minima (i.e., every local minimum is a global minimum). We introduce an algorithm for solving these resulting problems using the augmented Lagrangian and the method of Burer and Monteiro. We show through numerical experiments that polynomial scaling in dimension and degree is achievable for computing the optimal value and location of previously intractable global polynomial optimization problems in high dimension.