title: Time-fractional Allen-Cahn equations versus powers of the mean curvature

abstract: We show by a formal asymptotic expansion that level sets of solutions of a time-fractional Allen-Cahn equation evolve by a geometric flow whose normal velocity is a positive power of the mean curvature. This connection is quite intriguing, since the original equation is nonlocal and the evolution of its solutions depends on all previous states, but the associated geometric flow is of purely local type, with no memory effect involved.


title: A multiscale sensorimotor model of experience-dependent behavior in a minimal organism

abstract: To survive in ever-changing environments, living organisms need to continuously combine the ongoing external inputs they receive, representing present conditions, with their dynamical internal state, which includes influences of past experiences. It is still unclear in general, however, (i) how this happens at the molecular and cellular levels, and (ii) how the corresponding molecular and cellular processes are integrated with the behavioral responses of the organism. Here we address these issues by modeling mathematically a particular behavioral paradigm in a minimal model organism, namely chemotaxis in the nematode C. elegans. Specifically, we use a long-standing collection of elegant experiments on salt chemotaxis in this animal, in which the migration direction varies depending on its previous experience. Our model integrates the molecular, cellular and organismal levels to reproduce the experimentally observed experience-dependent behavior. The model proposes specific molecular mechanisms for the encoding of current conditions and past experiences in key neurons associated with this response, predicting the behavior of various mutants associated with those molecular circuits.


title: Learning Fair Ranking Policies via Differentiable Optimization of Ordered Weighted Averages

abstract: Learning to Rank (LTR) is one of the most widely used machine learning applications. It is a key component in platforms with profound societal impacts, including job search, healthcare information retrieval, and social media content feeds. Conventional LTR models have been shown to produce biases results, stimulating a discourse on how to address the disparities introduced by ranking systems that solely prioritize user relevance. However, while several models of fair learning to rank have been proposed, they suffer from deficiencies either in accuracy or efficiency, thus limiting their applicability to real-world ranking platforms. This paper shows how efficiently-solvable fair ranking models, based on the optimization of Ordered Weighted Average (OWA) functions, can be integrated into the training loop of an LTR model to achieve favorable balances between fairness, user utility, and runtime efficiency. In particular, this paper is the first to show how to backpropagate through constrained optimizations of OWA objectives, enabling their use in integrated prediction and decision models.


title: Generalized Bimode Equivalent Circuit of Arbitrary Planar Periodic Structures for Oblique Incidence

abstract: This work presents, for the first time, a generalized bimode Fosters equivalent circuit for characterization of 2-D Planar Periodic Structures (PPSs) with arbitrary geometry at oblique incidence. It considers the interactions between the fundamental TE and TM modes without any restriction within the bimode bandwidth of the geometry. The proposed circuit is only composed of frequency-independent LC elements, which can be extracted systematically from electromagnetic (EM) simulations. The reactive immittances obtained in the process fulfill the Fosters theorem, enabling the design process of PPS-based devices using standardized synthesis techniques from circuit theory. To demonstrate its viability and general nature, equivalent circuits are extracted for different single- and multilayer PPS composed of rotated dipoles under oblique incidence theta=20 deg,phi=30 deg, and including dielectrics. Excellent agreement is found between the response of the circuit model and the EM simulation in all cases. Finally, to validate experimentally the proposed equivalent circuit and highlight its applicability, a 90 deg reflective LinearPolarization (LP) Rotator centered at 25 GHz and under oblique incidence, theta=30 deg, phi=0 deg (TE), is designed, manufactured, and tested. The agreement between the circuit response, the EM simulation and the measurement underlines the potential of the new equivalent circuit for PPS design under oblique incidence.


title: Online and Certifiably Correct Visual Odometry and Mapping

abstract: This paper proposes two new algorithms for certified perception in safety-critical robotic applications. The first is a Certified Visual Odometry algorithm, which uses a RGBD camera with bounded sensor noise to construct a visual odometry estimate with provable error bounds. The second is a Certified Mapping algorithm which, using the same RGBD images, constructs a Signed Distance Field of the obstacle environment, always safely underestimating the distance to the nearest obstacle. This is required to avoid errors due to VO drift. The algorithms are demonstrated in hardware experiments, where we demonstrate both running online at 30FPS. The methods are also compared to state-of-the-art techniques for odometry and mapping.


title: An Overview of Machine Learning-Enabled Network Softwarization for the Internet of Things

abstract: The Internet of Things (IoT) has evolved from a novel technology to an integral part of our everyday lives. It encompasses a multitude of heterogeneous devices that collect valuable data through various sensors. The sheer volume of these interconnected devices poses significant challenges as IoT provides complex network services with diverse requirements on a shared infrastructure. Network softwarization could help address these issues as it has emerged as a paradigm that enhances traditional networking by decoupling hardware from software and leveraging enabling technologies such as Software Defined Networking (SDN) and Network Function Virtualization (NFV). In networking, Machine Learning (ML) has demonstrated impressive results across multiple domains. By smoothly integrating with network softwarization, ML plays a pivotal role in building efficient and intelligent IoT networks. This paper explores the fundamentals of IoT, network softwarization, and ML, while reviewing the latest advances in ML-enabled network softwarization for IoT.


title: IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

abstract: Modern compilers, such as LLVM, are complex pieces of software. Due to their complexity, manual testing is unlikely to suffice, yet formal verification is difficult to scale. End-to-end fuzzing can be used, but it has difficulties in achieving high coverage of some components of LLVM. In this paper, we implement IRFuzzer to investigate the effectiveness of specialized fuzzing of the LLVM compiler backend. We focus on two approaches to improve the fuzzer: guaranteed input validity using constrained mutations and improved feedback quality. The mutator in IRFuzzer is capable of generating a wide range of LLVM IR inputs, including structured control flow, vector types, and function definitions. The system instruments coding patterns in the compiler to monitor the execution status of instruction selection. The instrumentation not only provides a new coverage feedback called matcher table coverage, but also provides an architecture specific guidance to the mutator. We show that IRFuzzer is more effective than existing fuzzers by fuzzing on 29 mature LLVM backend targets. In the process, we reported 74 confirmed new bugs in LLVM upstream, out of which 49 have been fixed, five have been back ported to LLVM 15, showing that specialized fuzzing provides useful and actionable insights to LLVM developers.


title: $K$-theory of rings of continuous functions

abstract: We study the algebraic $K$-theory of the ring of continuous functions on a compact Hausdorff space with values in a local division ring, e.g., a local field: We compute its negative $K$-theory and show its $K$-regularity. The complex case reproves the results of Rosenberg, Friedlander--Walker, and Corti\~nas--Thom. Our consideration in the real case proves two previously unconfirmed claims made by Rosenberg in 1990. The algebraic nature of our methods enables us to deal with the nonarchimedean and noncommutative cases analogously.


title: A Design Technique based on Equivalent Circuit and Coupler Theory for Broadband Linear to Circular Polarization Converters in Reflection or Transmission Mode

abstract: A new approach to designing FSS-based LP-CP converters is presented. It is based on the use of FSSs which exhibit dual diagonal symmetry, and a novel 4-port equivalent circuit able to describe the electrical behavior of the cells for the two linear incident polarizations at the same time. The equivalent circuit allows the use of standardized branch line coupler theory to design LP-CP converters comprising a cascade of an arbitrary number of layers, whose synthesis includes the phase and makes it possible to achieve prescribed electrical conditions systematically. A full design procedure has been developed using the new approach and several designs in both transmission and reflection modes are presented and evaluated. It has been proven that single layer reflective converters exhibit large bandwidths as the two reflected field components are in quadrature independently of the frequency. One of these devices was designed and showed an AR<0.2 dB within the band from 21.5 to 28.5 GHz. The reflective LP-CP converter designed was also manufactured and tested, and the measurements were used to validate the design procedure.


title: Enabling Architecture for Distributed Intelligent Network Softwarization for the Internet of Things

abstract: The Internet of Things (IoT) is becoming a part of everyday life through its various sensing devices that collect valuable information. The huge number of interconnected heterogeneous IoT devices poses immense challenges, and network softwarization techniques are an adequate solution to these concerns. Software Defined Networking (SDN) and Network Function Virtualization (NFV) are two key softwarization techniques that enable the realization of efficient, agile IoT networks, especially when combined with Machine Learning (ML), mainly Federated Learning (FL). Unfortunately, existing solutions do not take advantage of such a combination to strengthen IoT networks in terms of efficiency and scalability. In this paper, we propose a novel architecture to achieve distributed intelligent network softwarization for IoT, in which SDN, NFV, and ML combine forces to enhance IoT constrained networks.


title: Are magnetic monopoles at the origin of magneto-electricity in spin ices?

abstract: The possibilities of combining several degrees of freedom inside a unique material have recently been highlighted in their dynamics and proposed as information carriers in quantum devices where their cross-manipulation by external parameters such as electric and magnetic fields could enhance their functionalities. An emblematic example is that of electromagnons, spin-waves dressed with electric dipoles, that are fingerprints of multiferroics. Point-like objects have also been identified, which may take the form of excited quasiparticles. This is the case for magnetic monopoles, the exotic excitations of spin ices, that have been recently proposed to carry an electric dipole although experimental evidences remain elusive. Presently, we investigate the electrical signature of a classical spin ice and a related compound that supports quantum fluctuations. Our in-depth study clearly attributes magnetoelectricity to the correlated spin ice phase distinguishing it from extrinsic and single-ion effects. Our calculations show that the proposed model conferring magnetoelectricity to monopoles is not sufficient, calling for higher order contributions.


title: Impact of impurities on the topological boundaries and edge state localization in a staggered chain of atoms: SSH model and its topoelectrical circuit realization

abstract: We study the Su-Schrieffer-Hegger model, perhaps the simplest realization of a topological insulator, in the presence of an embedded impurity superlattice. We consider the impact of the said impurity by changing the hopping amplitudes between them and their nearest neighbors in the topological boundaries and the edge state localization in the chain of atoms. Within a tight-binding approach and through a topolectrical circuit simulation, we consider three different impurity-hopping amplitudes. We found a relaxation of the condition between hopping parameters for the topologically trivial and non-trivial phase boundary and a more profound edge state localization given by the impurity position within the supercell.


title: Perturbative analysis of the three-gluon vertex to one-loop

abstract: In this study, we present a perturbative analysis of the three-gluon vertex for a kinematical symmetric configuration in dimension $n=4-2\epsilon$ and different covariant gauges.Our study can describe the form factors of the three gluon vertex in a wide range of momentum. We employ a momentum subtraction (MOM) scheme to define the renormalized vertex. We give an in-depth review of three commonly used vector basis for the vertex, and explicitly show the expressions to change from one basis to the other. Although our estimates are valid only in the perturbative regime, we extend our numerical predictions to the infrared domain and show that in $n=4$ some nonperturbative properties are qualitatively present already at perturbation theory. In particular, we find a critical gauge above which the leading form factor displays the so-called zero crossing. We contrast our findings to those of other models and observe a fairly good agreement.


title: Position and Speed Control of Brushless DC Motors Using Sensorless Techniques and Application Trends

abstract: This paper provides a technical review of position and speed sensorless methods for controlling Brushless Direct Current (BLDC) motor drives, including the background analysis using sensors, limitations and advances. The performance and reliability of BLDC motor drivers have been improved because the conventional control and sensing techniques have been improved through sensorless technology. Then, in this paper sensorless advances are reviewed and recent developments in this area are introduced with their inherent advantages and drawbacks, including the analysis of practical implementation issues and applications. The study includes a deep overview of state-of-the-art back-EMF sensing methods, which includes Terminal Voltage Sensing, Third Harmonic Voltage Integration, Terminal Current Sensing, Back-EMF Integration and PWM strategies. Also, the most relevant techniques based on estimation and models are briefly analysed, such as Sliding-mode Observer, Extended Kalman Filter, Model Reference Adaptive System, Adaptive observers (Full-order and Pseudoreduced-order) and Artificial Neural Networks.


title: AdaBatchGrad: Combining Adaptive Batch Size and Adaptive Step Size

abstract: This paper presents a novel adaptation of the Stochastic Gradient Descent (SGD), termed AdaBatchGrad. This modification seamlessly integrates an adaptive step size with an adjustable batch size. An increase in batch size and a decrease in step size are well-known techniques to tighten the area of convergence of SGD and decrease its variance. A range of studies by R. Byrd and J. Nocedal introduced various testing techniques to assess the quality of mini-batch gradient approximations and choose the appropriate batch sizes at every step. Methods that utilized exact tests were observed to converge within $O(LR^2/\varepsilon)$ iterations. Conversely, inexact test implementations sometimes resulted in non-convergence and erratic performance. To address these challenges, AdaBatchGrad incorporates both adaptive batch and step sizes, enhancing the method's robustness and stability. For exact tests, our approach converges in $O(LR^2/\varepsilon)$ iterations, analogous to standard gradient descent. For inexact tests, it achieves convergence in $O(\max\lbrace LR^2/\varepsilon, \sigma^2 R^2/\varepsilon^2 \rbrace )$ iterations. This makes AdaBatchGrad markedly more robust and computationally efficient relative to prevailing methods. To substantiate the efficacy of our method, we experimentally show, how the introduction of adaptive step size and adaptive batch size gradually improves the performance of regular SGD. The results imply that AdaBatchGrad surpasses alternative methods, especially when applied to inexact tests.


title: Insights From Univalent Foundations: A Case Study Using Double Categories

abstract: Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional programming, and semantics. Certain objects naturally exhibit two classes of morphisms, leading to the concept of a double category, which has found applications in computing science (e.g., ornaments, profunctor optics, denotational semantics). The emergence of diverse categorical structures motivated a unified framework for category theory. However, unlike other mathematical objects, classification of categorical structures faces challenges due to various relevant equivalences. This poses significant challenges when pursuing the formalization of categories and restricts the applicability of powerful techniques, such as transport along equivalences. This work contends that univalent foundations offers a suitable framework for classifying different categorical structures based on desired notions of equivalences, and remedy the challenges when formalizing categories. The richer notion of equality in univalent foundations makes the equivalence of a categorical structure an inherent part of its structure. We concretely apply this analysis to double categorical structures. We characterize and formalize various definitions in Coq UniMath, including (pseudo) double categories and double bicategories, up to chosen equivalences. We also establish univalence principles, making chosen equivalences part of the double categorical structure, analyzing strict double setcategories (invariant under isomorphisms), pseudo double setcategories (invariant under isomorphisms), univalent pseudo double categories (invariant under vertical equivalences) and univalent double bicategories (invariant under gregarious equivalences).


title: A computational approach to visual ecology with deep reinforcement learning

abstract: Animal vision is thought to optimize various objectives from metabolic efficiency to discrimination performance, yet its ultimate objective is to facilitate the survival of the animal within its ecological niche. However, modeling animal behavior in complex environments has been challenging. To study how environments shape and constrain visual processing, we developed a deep reinforcement learning framework in which an agent moves through a 3-d environment that it perceives through a vision model, where its only goal is to survive. Within this framework we developed a foraging task where the agent must gather food that sustains it, and avoid food that harms it. We first established that the complexity of the vision model required for survival on this task scaled with the variety and visual complexity of the food in the environment. Moreover, we showed that a recurrent network architecture was necessary to fully exploit complex vision models on the most visually demanding tasks. Finally, we showed how different network architectures learned distinct representations of the environment and task, and lead the agent to exhibit distinct behavioural strategies. In summary, this paper lays the foundation for a computational approach to visual ecology, provides extensive benchmarks for future work, and demonstrates how representations and behaviour emerge from an agent's drive for survival.


title: Convex minimizing curves of the scaling-invariant nonlocal Willmore energy

abstract: We consider the scaling-invariant nonlocal Willmore energy, defined via the nonlocal mean curvature by Caffarelli, Roquejoffre and Savin. Our main result is the existence of minimizers in the class of convex $C^1$-curves.


title: Global existence of a classical solution for the isentropic nozzle flow

abstract: Our goal in this paper is to prove the global existence of a classical solution for the isentropic nozzle flow. Regarding this problem, there exist some global existence theorems of weak solutions. However, that of classical solutions does not have much attention until now. When we consider the present problem, the main difficulty is to obtain the uniform bound of solutions and their derivatives. To solve this, we introduce an invariant region depending on the space variable and a functional satisfying the Riccati equation along the characteristic lines.


title: Rotational Study of 5:3 and 7:4 Resonant Objects within the Main Classical Trans-Neptunian Belt

abstract: The 5:3 and 7:4 mean motion resonances of Neptune are at 42.3 and 43.7 au, respectively, and overlap with objects in the Classical trans-neptunian belt (Kuiper belt). We report the complete/partial lightcurves of 13 and 14 trans-Neptunian objects (TNOs) in the 5:3 and 7:4 resonances, respectively. We report a most likely contact binary in the 7:4 resonance, 2013 FR$_{28}$, with a periodicity of 13.97$\pm$0.04 h and a lightcurve amplitude of 0.94$\pm$0.02 mag. With a V-/U-shaped lightcurve, 2013 FR$_{28}$ has one of the largest well-sampled TNO amplitude observed with ground-based observations, comparable to the well-determined contact binary 2001 QG$_{298}$. 2013 FR$_{28}$ has a mass ratio q$\sim$1 with a density $\rho$$\sim$1 g cm$^{-3}$. We find several objects with large amplitudes and classify 2004 SC$_{60}$, 2006 CJ$_{69}$, and 2013 BN$_{82}$ as likely contact binaries, and 2001 QF$_{331}$, 2003 YW$_{179}$, and 2015 FP$_{345}$ as likely elongated objects. We observe the 17:9 resonant or classical object 2003 SP$_{317}$ that we classify as a likely contact binary. A lower estimate of 10-50% and 20-55% for the fraction of (nearly) equal-sized contact binaries is calculated in the 5:3 and 7:4 resonances, respectively. Surface colors of 2004 SC$_{60}$, 2013 BN$_{82}$, 2014 OL$_{394}$, and 2015 FP$_{345}$ have been obtained. Including these colors with ones from the literature reveals that elongated objects and contact binaries share the same ultra-red surface color, except Manw\"e-Thorondor and 2004 SC$_{60}$. Not only are the colors of the 7:4 and 5:3 TNOs similar to the Cold Classicals, but we demonstrate that the rotational properties of the 5:3 and 7:4 resonants are similar to those of the Cold Classicals, inferring a clear link between these sub-populations.


title: Review and Analysis of Recent Advances in Intelligent Network Softwarization for the Internet of Things

abstract: The Internet of Things (IoT) is an emerging technology that aims to connect heterogeneous and constrained objects to each other and to the Internet. It has grown significantly in a wide variety of applications such as smart homes, smart cities, smart vehicles, etc. The huge number of connected devices increases the challenges, as IoT provides diverse and complex network services with different requirements on a common infrastructure. Network Softwarization is the latest network paradigm that transforms traditional network processes to the separation of hardware and software by using some enabling network technologies such as Software Defined Networking (SDN) and Network Function Virtualization (NFV). Machine Learning (ML) plays an essential role in creating smarter IoT networks, as it has shown remarkable results in various domains. Given that the network softwarization allows it to be easily integrated, ML can play a crucial role in efficient and self-adaptive IoT networks. In this paper, we provide a detailed overview of the concepts of IoT, network softwarization, and ML, and we study and discuss the state of the art of intelligent ML-enabled network softwarization for IoT. We also identify the most prominent future research directions to be considered.


title: Feature learning as alignment: a structural property of gradient descent in non-linear neural networks

abstract: Understanding the mechanisms through which neural networks extract statistics from input-label pairs through feature learning is one of the most important unsolved problems in supervised learning. Prior works demonstrated that the gram matrices of the weights (the neural feature matrices, NFM) and the average gradient outer products (AGOP) become correlated during training, in a statement known as the neural feature ansatz (NFA). Through the NFA, the authors introduce mapping with the AGOP as a general mechanism for neural feature learning. However, these works do not provide a theoretical explanation for this correlation or its origins. In this work, we further clarify the nature of this correlation, and explain its emergence. We show that this correlation is equivalent to alignment between the left singular structure of the weight matrices and the newly defined pre-activation tangent features at each layer. We further establish that the alignment is driven by the interaction of weight changes induced by SGD with the pre-activation features, and analyze the resulting dynamics analytically at early times in terms of simple statistics of the inputs and labels. Finally, motivated by the observation that the NFA is driven by this centered correlation, we introduce a simple optimization rule that dramatically increases the NFA correlations at any given layer and improves the quality of features learned.


title: Regime-Aware Asset Allocation: a Statistical Jump Model Approach

abstract: This article investigates the impact of regime switching on asset allocation decisions, with a primary focus on comparing different regime identification models. In contrast to traditional Markov-switching models, we adopt the statistical jump model, a recently proposed robust model known for its ability to capture persistent market regimes by applying an explicit jump penalty. The feature set of our jump model comprises return and volatility features derived solely from the price series. We introduce a data-driven approach for selecting the jump penalty within a time-series cross-validation framework, which directly optimizes the performance metric of the regime-aware asset allocation strategy constructed following a comprehensive multi-step process. Through empirical analysis using daily return series from major US equity indices, we highlight the outperformance of employing jump models in comparison to both buy-and-hold strategies and Markov-switching asset allocation approaches. These results underline the enhanced robustness, interpretability, and realism inherent in asset allocation strategies guided by jump models, offering insights for portfolio managers.


title: ASCENT: A Context-Aware Spectrum Coexistence Design and Implementation Toolset for Policymakers in Satellite Bands

abstract: This paper introduces ASCENT (context Aware Spectrum Coexistence Design and Implementation) toolset, an advanced context-aware terrestrial satellite spectrum sharing toolset designed for researchers, policymakers, and regulators. It serves two essential purposes (a) evaluating the potential for harmful interference to primary users in satellite bands and (b) facilitating the analysis, design, and implementation of diverse regulatory policies on spectrum usage and sharing. Notably, ASCENT implements a closed-loop feedback system that allows dynamic adaptation of policies according to a wide range of contextual factors (e.g., weather, buildings, summer/winter foliage, etc.) and feedback on the impact of these policies through realistic simulation. Specifically, ASCENT comprises the following components (i) interference evaluation tool for evaluating interference at the incumbents in a spectrum-sharing environment while taking the underlying contexts, (ii) dynamic spectrum access (DSA) framework for providing context-aware instructions to adapt networking parameters and control secondary terrestrial network's access to the shared spectrum band according to context aware prioritization, (iii) Context broker to acquire essential and relevant contexts from external context information providers; and (iv) DSA Database to store dynamic and static contexts and the regulator's policy information. The closed-loop feedback system of ASCENT is implemented by integrating these components in a modular software architecture. A case study of sharing the lower 12 GHz Ku band (12.2-12.7 GHz) with the 5G terrestrial cellular network is considered, and the usability of ASCENT is demonstrated by dynamically changing exclusion zone's radius in different weather conditions.


title: Convergence for Natural Policy Gradient on Infinite-State Average-Reward Markov Decision Processes

abstract: Infinite-state Markov Decision Processes (MDPs) are essential in modeling and optimizing a wide variety of engineering problems. In the reinforcement learning (RL) context, a variety of algorithms have been developed to learn and optimize these MDPs. At the heart of many popular policy-gradient based learning algorithms, such as natural actor-critic, TRPO, and PPO, lies the Natural Policy Gradient (NPG) algorithm. Convergence results for these RL algorithms rest on convergence results for the NPG algorithm. However, all existing results on the convergence of the NPG algorithm are limited to finite-state settings. We prove the first convergence rate bound for the NPG algorithm for infinite-state average-reward MDPs, proving a $O(1/\sqrt{T})$ convergence rate, if the NPG algorithm is initialized with a good initial policy. Moreover, we show that in the context of a large class of queueing MDPs, the MaxWeight policy suffices to satisfy our initial-policy requirement and achieve a $O(1/\sqrt{T})$ convergence rate. Key to our result are state-dependent bounds on the relative value function achieved by the iterate policies of the NPG algorithm.


title: Exploring Hierarchical Classification Performance for Time Series Data: Dissimilarity Measures and Classifier Comparisons

abstract: The comparative performance of hierarchical classification (HC) and flat classification (FC) methodologies in the realm of time series data analysis is investigated in this study. Dissimilarity measures, including Jensen-Shannon Distance (JSD), Task Similarity Distance (TSD), and Classifier Based Distance (CBD), are leveraged alongside various classifiers such as MINIROCKET, STSF, and SVM. A subset of datasets from the UCR archive, focusing on multi-class cases comprising more than two classes, is employed for analysis. A significant trend is observed wherein HC demonstrates significant superiority over FC when paired with MINIROCKET utilizing TSD, diverging from conventional understandings. Conversely, FC exhibits consistent dominance across all configurations when employing alternative classifiers such as STSF and SVM. Moreover, TSD is found to consistently outperform both CBD and JSD across nearly all scenarios, except in instances involving the STSF classifier where CBD showcases superior performance. This discrepancy underscores the nuanced nature of dissimilarity measures and emphasizes the importance of their tailored selection based on the dataset and classifier employed. Valuable insights into the dynamic interplay between classification methodologies and dissimilarity measures in the realm of time series data analysis are provided by these findings. By elucidating the performance variations across different configurations, a foundation is laid for refining classification methodologies and dissimilarity measures to optimize performance in diverse analytical scenarios. Furthermore, the need for continued research aimed at elucidating the underlying mechanisms driving classification performance in time series data analysis is underscored, with implications for enhancing predictive modeling and decision-making in various domains.


title: Spreading Information via Social Networks: An Irrelevance Result

abstract: An informed planner wishes to spread information among a group of agents in order to induce efficient coordination -- say the adoption of a new technology with positive externalities. The agents are connected via a social network. The planner informs a seed and then the information spreads via the network. While the structure of the network affects the rate of diffusion, we show that the rate of adoption is the same for all acyclic networks.


title: Safe Human-UAS Collaboration Abstraction

abstract: This paper studies the problem of safe humanuncrewed aerial system (UAS) collaboration in a shared work environment. By considering human and UAS as co-workers, we use Petri Nets to abstractly model evolution of shared tasks assigned to human and UAS co-workers. Particularly, the Petri Nets places represent work stations; therefore, the Petri Nets transitions can formally specify displacements between the work stations. The first objective is to incorporate uncertainty regarding the intentions of human co-workers into motion planning for UAS, when UAS co-workers closely interact with human co-workers. To this end, the proposed Petri Nets model uses conflict constructs to represent situations at which UAS deals with incomplete knowledge about human co-worker intention. The second objective is then to plan the motion of the UAS in a resilient and safe manner, in the presence of non-cooperative human co-workers. In order to achieve this objective, UAS equipped with onboard perception and decision-making capabilities are able to, through real-time processing of in-situ observation, predict human intention, quantify human distraction, and apply a non-stationary Markov Decision model to safely plan UAS motion in the presence of uncertainty.


title: Relative assembly maps and the K-theory of Hecke algebras in prime characteristic

abstract: We investigate the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for the algebraic $K$-theory of twisted group rings of a group G with coefficients in a regular ring R or, more generally, with coefficients in a regular additive category. They are known to be isomorphisms rationally. We show that it suffices to invert only those primes p for which G contains a non-trivial finite p-group and p is not invertible in R. The key ingredient is the detection of Nil-terms of a twisted group ring of a finite group F after localizing at p in terms of the p-subgroups of F using Verschiebungs and Frobenius operators. We construct and exploit the structure of a module over the ring of big Witt vectors on the Nil-terms. We analyze the algebraic K-theory of the Hecke algebras of subgroups of reductive p-adic groups in prime characteristic.


title: Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes

abstract: Learning-based approaches are emerging as an effective approach for safety filters for black-box dynamical systems. Existing methods have relied on certificate functions like Control Barrier Functions (CBFs) and Hamilton-Jacobi (HJ) reachability value functions. The primary motivation for our work is the recognition that ultimately, enforcing the safety constraint as a control input constraint at each state is what matters. By focusing on this constraint, we can eliminate dependence on any specific certificate function-based design. To achieve this, we define a discriminating hyperplane that shapes the half-space constraint on control input at each state, serving as a sufficient condition for safety. This concept not only generalizes over traditional safety methods but also simplifies safety filter design by eliminating dependence on specific certificate functions. We present two strategies to learn the discriminating hyperplane: (a) a supervised learning approach, using pre-verified control invariant sets for labeling, and (b) a reinforcement learning (RL) approach, which does not require such labels. The main advantage of our method, unlike conventional safe RL approaches, is the separation of performance and safety. This offers a reusable safety filter for learning new tasks, avoiding the need to retrain from scratch. As such, we believe that the new notion of the discriminating hyperplane offers a more generalizable direction towards designing safety filters, encompassing and extending existing certificate-function-based or safe RL methodologies.


title: No Dimensional Sampling Coresets for Classification

abstract: We refine and generalize what is known about coresets for classification problems via the sensitivity sampling framework. Such coresets seek the smallest possible subsets of input data, so one can optimize a loss function on the coreset and ensure approximation guarantees with respect to the original data. Our analysis provides the first no dimensional coresets, so the size does not depend on the dimension. Moreover, our results are general, apply for distributional input and can use iid samples, so provide sample complexity bounds, and work for a variety of loss functions. A key tool we develop is a Radamacher complexity version of the main sensitivity sampling approach, which can be of independent interest.


title: Physics Informed and Data Driven Simulation of Underwater Images via Residual Learning

abstract: In general, underwater images suffer from color distortion and low contrast, because light is attenuated and backscattered as it propagates through water (differently depending on wavelength and on the properties of the water body). An existing simple degradation model (similar to atmospheric image "hazing" effects), though helpful, is not sufficient to properly represent the underwater image degradation because there are unaccounted for and non-measurable factors e.g. scattering of light due to turbidity of water, reflective characteristics of turbid medium etc. We propose a deep learning-based architecture to automatically simulate the underwater effects where only a dehazing-like image formation equation is known to the network, and the additional degradation due to the other unknown factors if inferred in a data-driven way. We only use RGB images (because in real-time scenario depth image is not available) to estimate the depth image. For testing, we have proposed (due to the lack of real underwater image datasets) a complex image formation model/equation to manually generate images that resemble real underwater images (used as ground truth). However, only the classical image formation equation (the one used for image dehazing) is informed to the network. This mimics the fact that in a real scenario, the physics are never completely known and only simplified models are known. Thanks to the ground truth, generated by a complex image formation equation, we could successfully perform a qualitative and quantitative evaluation of proposed technique, compared to other purely data driven approaches


title: TreeForm: End-to-end Annotation and Evaluation for Form Document Parsing

abstract: Visually Rich Form Understanding (VRFU) poses a complex research problem due to the documents' highly structured nature and yet highly variable style and content. Current annotation schemes decompose form understanding and omit key hierarchical structure, making development and evaluation of end-to-end models difficult. In this paper, we propose a novel F1 metric to evaluate form parsers and describe a new content-agnostic, tree-based annotation scheme for VRFU: TreeForm. We provide methods to convert previous annotation schemes into TreeForm structures and evaluate TreeForm predictions using a modified version of the normalized tree-edit distance. We present initial baselines for our end-to-end performance metric and the TreeForm edit distance, averaged over the FUNSD and XFUND datasets, of 61.5 and 26.4 respectively. We hope that TreeForm encourages deeper research in annotating, modeling, and evaluating the complexities of form-like documents.


title: Real time 3D coherent X-ray diffraction imaging

abstract: Coherent X-ray Diffraction Imaging (CXDI) technique offers unique insights into the nanoscale world, enabling the reconstruction of 3D structures with a nanoscale resolution achieved through computational phase reconstruction from measured scattered intensity maps. Computational demands of 3D CXDI, however, limit its real-time application in experimental settings. This work presents a carousel phase retrieval algorithm (CPRA) that enables the real-time, high-resolution reconstruction of computationally complex 3D objects. CPRA is based on representing the 3D reconstruction problem as a set of 2D reconstructions of projected images corresponding to different experimentally collected angles via the Fourier slice theorem. Consistency between the 2D reconstructed images is based on an iterative procedure, in which each 2D reconstruction accounts for the adjacent 2D reconstructed images in a periodic (carousel) manner. Demonstrations on complex systems, including a lithium-rich layered oxide particle and a Staphylococcus aureus biological cell, demonstrate that CPRA significantly enhances the reconstruction quality and enables the reconstruction process to be completed in real time during experiment.


title: Analyzing Adversarial Inputs in Deep Reinforcement Learning

abstract: In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in machine learning due to its successful applications to real-world and complex systems. However, even the state-of-the-art DRL models have been shown to suffer from reliability concerns -- for example, their susceptibility to adversarial inputs, i.e., small and abundant input perturbations that can fool the models into making unpredictable and potentially dangerous decisions. This drawback limits the deployment of DRL systems in safety-critical contexts, where even a small error cannot be tolerated. In this work, we present a comprehensive analysis of the characterization of adversarial inputs, through the lens of formal verification. Specifically, we introduce a novel metric, the Adversarial Rate, to classify models based on their susceptibility to such perturbations, and present a set of tools and algorithms for its computation. Our analysis empirically demonstrates how adversarial inputs can affect the safety of a given DRL system with respect to such perturbations. Moreover, we analyze the behavior of these configurations to suggest several useful practices and guidelines to help mitigate the vulnerability of trained DRL networks.


title: Prediction of $s^\pm$-wave superconductivity enhanced by electronic doping in trilayer nickelates La$_4$Ni$_3$O$_{10}$ under pressure

abstract: Motivated by the recently reported signatures of superconductivity in trilayer La$_4$Ni$_3$O$_{10}$ under pressure, we comprehensively study this system using {\it ab initio} and random-phase approximation techniques. Without electronic interactions, the Ni $d_{3z^2-r^2}$ orbitals show a bonding-antibonding and nonbonding splitting behavior via the O $p_z$ orbitals inducing a ``trimer'' lattice in La$_4$Ni$_3$O$_{10}$, analogous to the dimers of La$_3$Ni$_2$O$_{7}$. The Fermi surface consists of three electron sheets with mixed $e_g$ orbitals, and a hole and an electron pocket made up of the $d_{3z^2-r^2}$ orbital, suggesting a Ni two-orbital minimum model. In addition, we find that superconducting pairing is induced in the $s^{\pm}$-wave channel due to partial nesting between the {\bf M}=$(\pi, \pi)$ centered pockets and portions of the Fermi surface centered at the {\bf $\Gamma$}=$(0, 0)$ point. With changing electronic density $n$, the $s^\pm$ instability remains leading and its pairing strength shows a dome-like behavior with a maximum around $n = 4.2$ ($\sim 6.7\%$ electron doping). The superconducting instability disappears at the same electronic density as that in the new 1313 stacking La$_3$Ni$_2$O$_7$, correlated with the vanishing of the hole pocket that arises from the trilayer sublattice, suggesting that the high-$T_c$ superconductivity of La$_3$Ni$_2$O$_7$ may $not$ originate from a trilayer- and single-layer structure. Furthermore, we predict an interesting spin-density-wave state in La$_4$Ni$_3$O$_{10}$ with an in-plane ($\pi$, $\pi$) order and antiferromagnetic coupling between the top and bottom Ni layers, while the middle layer has spin zero.


title: Colorings of $k$-sets with low discrepancy on small sets

abstract: According to Ramsey theorem, for every $k$ and $n$, if $N$ is sufficiently large, then for every 2-coloring $\psi$ of $k$-element subsets of $[N]$ there exists a monochromatic set $S\subseteq[N]$ (a set such that all $k$-element subsets of $S$ have the same color given by $\psi$), $|S|=m$. The least such number is denoted by $R_k(m)$. Old results of Erd\H os, Hajnal and Rado~\cite{erdos-hajnal-rado} imply that $R_k(m)\leq {\rm tw}_{k}(c m)$, where ${\rm tw}_k(x)$ is the tower function defined by ${\rm tw}_1(x)=x$ and ${\rm tw}_{i+1}(x)=2^{{\rm tw}_i(x)}$. On the other hand, these authors also showed that if $N\leq {\rm tw}_{k-1}(c'm^2)$, then there exists a coloring~$\psi$ such that there is no monochromatic $S\subseteq[N]$, $|S|=m$. We are interested in the question what more one can say when $N$ is smaller than ${\rm tw}_{k-1}(m)$ and $m$ is only slightly larger than $k$. We will show that, for particular values of the parameters $k,m,N$, there are colorings such that on all subsets $S$, $|S|\geq m$, the number of $k$-subsets of one color is close to the number of $k$-subsets of the other color. In this abstract, for the sake of simplicity, we only state a special case of our main theorem. Theorem There exists $\epsilon>0$ and $k_0$ such that for every $k\geq k_0$, if $N< {\rm tw}_{\lfloor\sqrt k\rfloor}(2)$, then there exists a coloring $\gamma:{[N]\choose k}\to\{-1,1\}$ such that for every $S\subseteq[N]$, $|S|\geq k+\sqrt k$, the following holds true \[ \left|\sum\{\gamma(X)\ |\ X\in\mbox{${S\choose k}$}\}\right| \leq 2^{-\epsilon \sqrt k}\mbox{${|S|\choose k}$}. \]


title: Triadic Resonance in Columnar Vortices

abstract: Employing a poloidal-toroidal projection technique, a multi-scale analysis of resonant wave triads in columnar vortices is performed to obtain the governing equations of the triadically coupled wave amplitudes. For inviscid flows, we establish that resonance between neutral, smooth waves is conservative, and the temporal evolution of wave amplitudes is either bounded or explosively unstable based on the signs of the triad's interaction coefficients. Assessing the onset of weakly nonlinear instabilities through the pseudoenergy criterion introduced by Cairns (1979, J. Fluid Mech., vol. 92), we use the large-axial-wavenumber asymptotic approach by Le Dizes and Lacaze (2005, J. Fluid Mech., vol. 542) to evaluate each triad member's pseudoenergy and argue against the possibility of explosive conservative three-wave resonance involving only regular Kelvin waves. Additionally, extending our investigation to specific vortices, such as the Lamb-Oseen vortex and the Batchelor vortex, we find that triadic resonance among their neutral modes consistently results in bounded behaviour.


title: Investigating Performance Trends of Simulated Real-time Solar Flare Predictions: The Impacts of Training Windows, Data Volumes, and the Solar Cycle

abstract: This study explores the behavior of machine learning-based flare forecasting models deployed in a simulated operational environment. Using Georgia State University's Space Weather Analytics for Solar Flares benchmark dataset (Angryk et al. 2020a,b), we examine the impacts of training methodology and the solar cycle on decision tree, support vector machine, and multilayer perceptron performance. We implement our classifiers using three temporal training windows: stationary, rolling, and expanding. The stationary window trains models using a single set of data available before the first forecasting instance, which remains constant throughout the solar cycle. The rolling window trains models using data from a constant time interval before the forecasting instance, which moves with the solar cycle. Finally, the expanding window trains models using all available data before the forecasting instance. For each window, a number of input features (1, 5, 10, 25, 50, 120) and temporal sizes (5, 8, 11, 14, 17, 20 months) were tested. To our surprise, we found that for a 20-month window, skill scores were comparable regardless of the window type, feature count, and classifier selected. Furthermore, reducing the size of this window only marginally decreased stationary and rolling window performance. This implies that, given enough data, a stationary window can be chosen over other window types, eliminating the need for model retraining. Lastly, a moderately strong positive correlation was found to exist between a model's false positive rate and the solar X-ray background flux. This suggests that the solar cycle phase has a considerable influence on forecasting.


title: Block graphs - some general results and their equitable colorings

abstract: In this paper, we consider some general properties of block graphs as well as the equitable coloring problem in this class of graphs. In the first part we establish the relation between two structural parameters for general block graphs. We also give complete characterization of block graphs with given value of parameter $\alpha_{\min}$. In the next part of the paper we confirm the hypothesis for some subclass of GLS block graphs in which the problem of EQUITABLE COLORING is unlikely to be polynomial time solvable. We give also an equitable $(n+2)$-algorithm for all GLS block graphs. As a by product we prove that the equitable chromatic spectrum for the subclass of GLS block graphs is gap-free.


title: Do Transformer World Models Give Better Policy Gradients?

abstract: A natural approach for reinforcement learning is to predict future rewards by unrolling a neural network world model, and to backpropagate through the resulting computational graph to learn a policy. However, this method often becomes impractical for long horizons since typical world models induce hard-to-optimize loss landscapes. Transformers are known to efficiently propagate gradients over long horizons: could they be the solution to this problem? Surprisingly, we show that commonly-used transformer world models produce circuitous gradient paths, which can be detrimental to long-range policy gradients. To tackle this challenge, we propose a class of world models called Actions World Models (AWMs), designed to provide more direct routes for gradient propagation. We integrate such AWMs into a policy gradient framework that underscores the relationship between network architectures and the policy gradient updates they inherently represent. We demonstrate that AWMs can generate optimization landscapes that are easier to navigate even when compared to those from the simulator itself. This property allows transformer AWMs to produce better policies than competitive baselines in realistic long-horizon tasks.


title: Graph Neural Networks as Fast and High-fidelity Emulators for Finite-Element Ice Sheet Modeling

abstract: Although the finite element approach of the Ice-sheet and Sea-level System Model (ISSM) solves ice dynamics problems governed by Stokes equations quickly and accurately, such numerical modeling requires intensive computation on central processing units (CPU). In this study, we develop graph neural networks (GNN) as fast surrogate models to preserve the finite element structure of ISSM. Using the 20-year transient simulations in the Pine Island Glacier (PIG), we train and test three GNNs: graph convolutional network (GCN), graph attention network (GAT), and equivariant graph convolutional network (EGCN). These GNNs reproduce ice thickness and velocity with better accuracy than the classic convolutional neural network (CNN) and multi-layer perception (MLP). In particular, GNNs successfully capture the ice mass loss and acceleration induced by higher basal melting rates in the PIG. When our GNN emulators are implemented on graphic processing units (GPUs), they show up to 50 times faster computational time than the CPU-based ISSM simulation.


title: Hot Carriers from Intra- and Interband Transitions in Gold-Silver Alloy Nanoparticles

abstract: Hot electrons and holes generated from the decay of localized surface plasmons in metallic nanoparticles can be harnessed for applications in solar energy conversion and sensing. In this paper, we study the generation of hot carriers in large spherical gold-silver alloy nanoparticles using a recently developed atomistic modelling approach that combines a solution of Maxwell's equations with large-scale tight-binding simulations. We find that hot-carrier properties depend sensitively on the alloy composition. Specifically, nanoparticles with a large gold fraction produce hot carriers under visible light illumination while nanoparticles with a large silver fraction require higher photon energies to produce hot carriers. Moreover, most hot carriers in nanoparticles with a large gold fraction originate from interband transitions which give rise to energetic holes and "cold" electrons near the Fermi level. Increasing the silver fraction enhances the generation rate of hot carriers from intraband transitions which produce energetic electrons and "cold" holes. These findings demonstrate that alloy composition is a powerful tuning parameter for the design of nanoparticles for applications in solar energy conversion and sensing that require precise control of hot-carrier properties.


title: A comparative study on feature selection for a risk prediction model for colorectal cancer

abstract: Background and objective Risk prediction models aim at identifying people at higher risk of developing a target disease. Feature selection is particularly important to improve the prediction model performance avoiding overfitting and to identify the leading cancer risk (and protective) factors. Assessing the stability of feature selection/ranking algorithms becomes an important issue when the aim is to analyze the features with more prediction power. Methods This work is focused on colorectal cancer, assessing several feature ranking algorithms in terms of performance for a set of risk prediction models (Neural Networks, Support Vector Machines (SVM), Logistic Regression, k-Nearest Neighbors and Boosted Trees). Additionally, their robustness is evaluated following a conventional approach with scalar stability metrics and a visual approach proposed in this work to study both similarity among feature ranking techniques as well as their individual stability. A comparative analysis is carried out between the most relevant features found out in this study and features provided by the experts according to the state-of-the-art knowledge. Results The two best performance results in terms of Area Under the ROC Curve (AUC) are achieved with a SVM classifier using the top-41 features selected by the SVM wrapper approach (AUC=0.693) and Logistic Regression with the top-40 features selected by the Pearson (AUC=0.689). Experiments showed that performing feature selection contributes to classification performance with a 3.9% and 1.9% improvement in AUC for the SVM and Logistic Regression classifier, respectively, with respect to the results using the full feature set. The visual approach proposed in this work allows to see that the Neural Network-based wrapper ranking is the most unstable while the Random Forest is the most stable.


title: Examining Modality Incongruity in Multimodal Federated Learning for Medical Vision and Language-based Disease Detection

abstract: Multimodal Federated Learning (MMFL) utilizes multiple modalities in each client to build a more powerful Federated Learning (FL) model than its unimodal counterpart. However, the impact of missing modality in different clients, also called modality incongruity, has been greatly overlooked. This paper, for the first time, analyses the impact of modality incongruity and reveals its connection with data heterogeneity across participating clients. We particularly inspect whether incongruent MMFL with unimodal and multimodal clients is more beneficial than unimodal FL. Furthermore, we examine three potential routes of addressing this issue. Firstly, we study the effectiveness of various self-attention mechanisms towards incongruity-agnostic information fusion in MMFL. Secondly, we introduce a modality imputation network (MIN) pre-trained in a multimodal client for modality translation in unimodal clients and investigate its potential towards mitigating the missing modality problem. Thirdly, we assess the capability of client-level and server-level regularization techniques towards mitigating modality incongruity effects. Experiments are conducted under several MMFL settings on two publicly available real-world datasets, MIMIC-CXR and Open-I, with Chest X-Ray and radiology reports.


title: An information theoretic approach to quantify the stability of feature selection and ranking algorithms

abstract: Feature selection is a key step when dealing with high dimensional data. In particular, these techniques simplify the process of knowledge discovery from the data by selecting the most relevant features out of the noisy, redundant and irrelevant features. A problem that arises in many of these practical applications is that the outcome of the feature selection algorithm is not stable. Thus, small variations in the data may yield very different feature rankings. Assessing the stability of these methods becomes an important issue in the previously mentioned situations. We propose an information theoretic approach based on the Jensen Shannon divergence to quantify this robustness. Unlike other stability measures, this metric is suitable for different algorithm outcomes: full ranked lists, feature subsets as well as the lesser studied partial ranked lists. This generalized metric quantifies the difference among a whole set of lists with the same size, following a probabilistic approach and being able to give more importance to the disagreements that appear at the top of the list. Moreover, it possesses desirable properties including correction for change, upper lower bounds and conditions for a deterministic selection. We illustrate the use of this stability metric with data generated in a fully controlled way and compare it with popular metrics including the Spearmans rank correlation and the Kunchevas index on feature ranking and selection outcomes, respectively. Additionally, experimental validation of the proposed approach is carried out on a real-world problem of food quality assessment showing its potential to quantify stability from different perspectives.


title: Classifying spam emails using agglomerative hierarchical clustering and a topic-based approach

abstract: Spam emails are unsolicited, annoying and sometimes harmful messages which may contain malware, phishing or hoaxes. Unlike most studies that address the design of efficient anti-spam filters, we approach the spam email problem from a different and novel perspective. Focusing on the needs of cybersecurity units, we follow a topic-based approach for addressing the classification of spam email into multiple categories. We propose SPEMC-15K-E and SPEMC-15K-S, two novel datasets with approximately 15K emails each in English and Spanish, respectively, and we label them using agglomerative hierarchical clustering into 11 classes. We evaluate 16 pipelines, combining four text representation techniques -Term Frequency-Inverse Document Frequency (TF-IDF), Bag of Words, Word2Vec and BERT- and four classifiers: Support Vector Machine, N\"aive Bayes, Random Forest and Logistic Regression. Experimental results show that the highest performance is achieved with TF-IDF and LR for the English dataset, with a F1 score of 0.953 and an accuracy of 94.6%, and while for the Spanish dataset, TF-IDF with NB yields a F1 score of 0.945 and 98.5% accuracy. Regarding the processing time, TF-IDF with LR leads to the fastest classification, processing an English and Spanish spam email in and on average, respectively.


title: Asymptotic Quantum State Discrimination for Mixtures of Unitarily Related States

abstract: Given a mixture of states, finding a way to optimally discriminate its elements is a prominent problem in quantum communication theory. In this paper, we will address mixtures of density operators that are unitarily equivalent via elements of a one-parameter unitary group, and the corresponding quantum state discrimination (QSD) problems. We will be particularly interested in QSD as time goes to infinity. We first present an approach to QSD in the case of countable mixtures and address the respective asymptotic QSD optimization problems, proving necessary and sufficient conditions for minimal error to be obtained in the asymptotic regime (we say that in such a case QSD is fully solvable). We then outline an analogous approach to uncountable mixtures, presenting some conjectures that mirror the results presented for the cases of countable mixtures. As a technical tool, we prove and use an infinite dimensional version of the well-known Barnum-Knill bound.


title: High pressure X-Ray Photon Correlation Spectroscopy at 4th generation synchrotron sources

abstract: A new experimental setup combining X-Ray Photon Correlation Spectroscopy (XPCS) in the hard x-ray regime and a high-pressure sample environment is developed to monitor the pressure dependence of the internal motion of complex systems down to the atomic scale in the multi-GPa range, from room temperature to 600K. The high flux of coherent high energy x-rays at 4th generation synchrotron source solves the problems caused by the absorption of the Diamond Anvil Cells used to generate the high pressure, enabling the measurement of the intermediate scattering function over 6 orders of magnitude in time, from $10^{-3}$ s to $10^{3}$s. The constraints posed by the high-pressure generation such as the preservation of the x-ray's coherence, as well as the sample, pressure and temperature stability are discussed, and the feasibility of high pressure XPCS is demonstrated through results obtained on metallic glasses.


title: Boundedness of the Hilbert transform on weighted Lorentz spaces

abstract: We study the boundedness of the Hilbert transform $H$ and the Hilbert maximal operator $H^*$ on weighted Lorentz spaces $\Lambda^p_u(w)$. We start by giving several necessary conditions that, in particular, lead us to the complete characterization of the weak-type boundedness of both $H$ and $H^*$, whenever $u\in A_1$. For the strong-type case, we also get the characterization of both operators when $p>1$. Applications to the case of Lorentz spaces $L^{p,q}(u)$ are presented.


title: Multi-Player Resource-Sharing Games with Fair Reward Allocation

abstract: This paper considers a multi-player resource-sharing game with a fair reward allocation model. Multiple players choose from a collection of resources. Each resource brings a random reward equally divided among the players who choose it. We consider two settings. The first setting is a one-slot game where the mean rewards of the resources are known to all the players, and the objective of player 1 is to maximize their worst-case expected utility. Certain special cases of this setting have explicit solutions. These cases provide interesting yet non-intuitive insights into the problem. The second setting is an online setting, where the game is played over a finite time horizon, where the mean rewards are unknown to the first player. Instead, the first player receives, as feedback, the rewards of the resources they chose after the action. We develop a novel Upper Confidence Bound (UCB) algorithm that minimizes the worst-case regret of the first player using the feedback received.


title: BIKED++: A Multimodal Dataset of 1.4 Million Bicycle Image and Parametric CAD Designs

abstract: This paper introduces a public dataset of 1.4 million procedurally-generated bicycle designs represented parametrically, as JSON files, and as rasterized images. The dataset is created through the use of a rendering engine which harnesses the BikeCAD software to generate vector graphics from parametric designs. This rendering engine is discussed in the paper and also released publicly alongside the dataset. Though this dataset has numerous applications, a principal motivation is the need to train cross-modal predictive models between parametric and image-based design representations. For example, we demonstrate that a predictive model can be trained to accurately estimate Contrastive Language-Image Pretraining (CLIP) embeddings from a parametric representation directly. This allows similarity relations to be established between parametric bicycle designs and text strings or reference images. Trained predictive models are also made public. The dataset joins the BIKED dataset family which includes thousands of mixed-representation human-designed bicycle models and several datasets quantifying design performance. The code and dataset can be found at: https://github.com/Lyleregenwetter/BIKED_multimodal/tree/main


title: Training DNN Models over Heterogeneous Clusters with Optimal Performance

abstract: Adjusting batch sizes and adaptively tuning other hyperparameters can significantly speed up deep neural network (DNN) training. Despite the ubiquity of heterogeneous clusters, existing adaptive DNN training techniques solely consider homogeneous environments. Optimizing distributed DNN training over heterogeneous clusters is technically challenging, and directly adapting existing techniques results in low utilization and poor performance. To solve this problem, we introduce Cannikin -- a novel data-parallel distributed training system. Cannikin achieves efficient and near-optimal performance by accurately modeling the optimal system performance and predicting adaptive batch size training metrics for DNNs in heterogeneous clusters. We implemented Cannikin in PyTorch and conducted experiments over 16 GPUs in Chameleon. Empirical results show that Cannikin reduces DNN training in heterogeneous clusters by up to $52\%$ compared to the state-of-the-art adaptive training system and up to $85\%$ compared to native PyTorch DistributedDataParallel.


title: Control of AC-AC interlinking converters for multi-grids

abstract: This paper considers the control of AC-AC inter-linking converters (ILCs) in a multi-grid network. We overview the control schemes in the literature and propose a passivity framework for the stabilization of multi-grid networks, considering both AC grid-following and AC grid-forming behavior for the ILC connections. We then analyze a range of AC/AC interlinking converter control methods derived from the literature and propose suitable controllers for this purpose including both AC grid-forming and grid-following behavior. The controller we propose is partially grid-forming; in particular, it is based on a combination of a grid-following and a grid-forming converter to improve the stability properties of the network. Simulation results and theoretical analysis confirm that the proposed ILC control designs are appropriate for the multi-grid network.


title: Lorentz-Shimogaki and Boyd theorems for weighted Lorentz spaces

abstract: We prove the Lorentz-Shimogaki and Boyd theorems for the spaces $\Lambda^p_u(w)$. As a consequence, we give the complete characterization of the strong boundedness of $H$ on these spaces in terms of some geometric conditions on the weights $u$ and $w$, whenever $p>1$. For these values of $p$, we also give the complete solution of the weak-type boundedness of the Hardy-Littlewood operator on $\Lambda^p_u(w)$.


title: Knowledge Distillation for Road Detection based on cross-model Semi-Supervised Learning

abstract: The advancement of knowledge distillation has played a crucial role in enabling the transfer of knowledge from larger teacher models to smaller and more efficient student models, and is particularly beneficial for online and resource-constrained applications. The effectiveness of the student model heavily relies on the quality of the distilled knowledge received from the teacher. Given the accessibility of unlabelled remote sensing data, semi-supervised learning has become a prevalent strategy for enhancing model performance. However, relying solely on semi-supervised learning with smaller models may be insufficient due to their limited capacity for feature extraction. This limitation restricts their ability to exploit training data. To address this issue, we propose an integrated approach that combines knowledge distillation and semi-supervised learning methods. This hybrid approach leverages the robust capabilities of large models to effectively utilise large unlabelled data whilst subsequently providing the small student model with rich and informative features for enhancement. The proposed semi-supervised learning-based knowledge distillation (SSLKD) approach demonstrates a notable improvement in the performance of the student model, in the application of road segmentation, surpassing the effectiveness of traditional semi-supervised learning methods.


title: Sym-Q: Adaptive Symbolic Regression via Sequential Decision-Making

abstract: Symbolic regression holds great potential for uncovering underlying mathematical and physical relationships from empirical data. While existing transformer-based models have recently achieved significant success in this domain, they face challenges in terms of generalizability and adaptability. Typically, in cases where the output expressions do not adequately fit experimental data, the models lack efficient mechanisms to adapt or modify the expression. This inflexibility hinders their application in real-world scenarios, particularly in discovering unknown physical or biological relationships. Inspired by how human experts refine and adapt expressions, we introduce Symbolic Q-network (Sym-Q), a novel reinforcement learning-based model that redefines symbolic regression as a sequential decision-making task. Sym-Q leverages supervised demonstrations and refines expressions based on reward signals indicating the quality of fitting precision. Its distinctive ability to manage the complexity of expression trees and perform precise step-wise updates significantly enhances flexibility and efficiency. Our results demonstrate that Sym-Q excels not only in recovering underlying mathematical structures but also uniquely learns to efficiently refine the output expression based on reward signals, thereby discovering underlying expressions. Sym-Q paves the way for more intuitive and impactful discoveries in physical science, marking a substantial advancement in the field of symbolic regression.


title: Three Pathways to Neurosymbolic Reinforcement Learning with Interpretable Model and Policy Networks

abstract: Neurosymbolic AI combines the interpretability, parsimony, and explicit reasoning of classical symbolic approaches with the statistical learning of data-driven neural approaches. Models and policies that are simultaneously differentiable and interpretable may be key enablers of this marriage. This paper demonstrates three pathways to implementing such models and policies in a real-world reinforcement learning setting. Specifically, we study a broad class of neural networks that build interpretable semantics directly into their architecture. We reveal and highlight both the potential and the essential difficulties of combining logic, simulation, and learning. One lesson is that learning benefits from continuity and differentiability, but classical logic is discrete and non-differentiable. The relaxation to real-valued, differentiable representations presents a trade-off; the more learnable, the less interpretable. Another lesson is that using logic in the context of a numerical simulation involves a non-trivial mapping from raw (e.g., real-valued time series) simulation data to logical predicates. Some open questions this note exposes include: What are the limits of rule-based controllers, and how learnable are they? Do the differentiable interpretable approaches discussed here scale to large, complex, uncertain systems? Can we truly achieve interpretability? We highlight these and other themes across the three approaches.


title: Corotational modeling and NURBS-based kinematic constraint implementation in three-dimensional vehicle-track-structure interaction analysis

abstract: An algorithm for three-dimensional dynamic vehicle-track-structure interaction (VTSI) analysis is described in this paper. The algorithm is described in terms of bridges and high-speed trains, but more generally applies to multibody systems coupled to deformable structures by time-varying kinematic constraints. Coupling is accomplished by a kinematic constraint/Lagrange multiplier approach, resulting in a system of index-3 Differential Algebraic Equations (DAE). Three main new concepts are developed. (i) A corotational approach is used to represent the vehicle (train) dynamics. Reference coordinate frames are fitted to the undeformed geometry of the bridge. While the displacements of the train can be large, deformations are taken to be small within these frames, resulting in linear (time-varying) rather than nonlinear dynamics. (ii) If conventional finite elements are used to discretize the track, the curvature is discontinuous across elements (and possibly rotation, too, for curved tracks). This results in spurious numerical oscillations in computed contact forces and accelerations, quantities of key interest in VTSI. A NURBS-based discretization is employed for the track to mitigate such oscillations. (iii) The higher order continuity due to using NURBS allows for alternative techniques for solving the VTSI system. First, enforcing constraints at the acceleration level reduces an index-3 DAE to an index-1 system that can be solved without numerical dissipation. Second, a constraint projection method is proposed to solve an index-3 DAE system without numerical dissipation by correcting wheel velocities and accelerations. Moreover, the modularity of the presented algorithm, resulting from a kinematic constraint/Lagrange multiplier formulation, enables ready integration of this VTSI approach in existing structural analysis and finite element software.


title: Investigating Generalization Behaviours of Generative Flow Networks

abstract: Generative Flow Networks (GFlowNets, GFNs) are a generative framework for learning unnormalized probability mass functions over discrete spaces. Since their inception, GFlowNets have proven to be useful for learning generative models in applications where the majority of the discrete space is unvisited during training. This has inspired some to hypothesize that GFlowNets, when paired with deep neural networks (DNNs), have favourable generalization properties. In this work, we empirically verify some of the hypothesized mechanisms of generalization of GFlowNets. In particular, we find that the functions that GFlowNets learn to approximate have an implicit underlying structure which facilitate generalization. We also find that GFlowNets are sensitive to being trained offline and off-policy; however, the reward implicitly learned by GFlowNets is robust to changes in the training distribution.


title: Dual-disentangled Deep Multiple Clustering

abstract: Multiple clustering has gathered significant attention in recent years due to its potential to reveal multiple hidden structures of the data from different perspectives. Most of multiple clustering methods first derive feature representations by controlling the dissimilarity among them, subsequently employing traditional clustering methods (e.g., k-means) to achieve the final multiple clustering outcomes. However, the learned feature representations can exhibit a weak relevance to the ultimate goal of distinct clustering. Moreover, these features are often not explicitly learned for the purpose of clustering. Therefore, in this paper, we propose a novel Dual-Disentangled deep Multiple Clustering method named DDMC by learning disentangled representations. Specifically, DDMC is achieved by a variational Expectation-Maximization (EM) framework. In the E-step, the disentanglement learning module employs coarse-grained and fine-grained disentangled representations to obtain a more diverse set of latent factors from the data. In the M-step, the cluster assignment module utilizes a cluster objective function to augment the effectiveness of the cluster output. Our extensive experiments demonstrate that DDMC consistently outperforms state-of-the-art methods across seven commonly used tasks. Our code is available at https://github.com/Alexander-Yao/DDMC.


title: Permanently densified SiO$_2$ glasses: a structural approach

abstract: Densified silica can be obtained by different pressure and temperature paths and for different stress conditions, hydrostatic or including shear. The density is usually the macroscopic parameter used to characterize the different compressed silica samples. The aim of our present study is to compare structural modifications for silica glass, densified from several routes. For this, densified silica glasses are prepared from cold and high temperature (up to 1020 $^\circ$C) compressions. The different densified glasses obtained in our study are characterized by micro-Raman spectroscopy. Intertetrahedral angles from the main band relative to the bending mode decreases and their values are larger for densified samples from high temperature compression than those samples from cold compression. The relative amount of 3-membered rings deduced from the D2 line area increases as a function of density for cold compression. The temperature increase during the compression process induces a decrease of the 3 fold ring population. Moreover, 3 fold rings are more deformed and stressed for densified samples at room temperature at the expense of those densified at high temperature. Temperature plays a main role in the reorganization structure during the densification and leads to obtaining a more relaxed structure with lower stresses than glasses densified from cold compression. The role of hydrostatic or non-hydrostatic applied stresses on the glass structure is discussed. From the Sen and Thorpe central force model, intertetrahedral angle average value and their distribution are estimated.


title: SplitSim: Large-Scale Simulations for Evaluating Network Systems Research

abstract: When physical testbeds are out of reach for evaluating a networked system, we frequently turn to simulation. In today's datacenter networks, bottlenecks are rarely at the network protocol level, but instead in end-host software or hardware components, thus current protocol-level simulations are inadequate means of evaluation. End-to-end simulations covering these components on the other hand, simply cannot achieve the required scale with feasible simulation performance and computational resources. In this paper, we address this with SplitSim, a simulation framework for end-to-end evaluation for large-scale network and distributed systems. To this end, SplitSim builds on prior work on modular end-to-end simulations and combines this with key elements to achieve scalability. First, mixed fidelity simulations judiciously reduce detail in simulation of parts of the system where this can be tolerated, while retaining the necessary detail elsewhere. SplitSim then parallelizes bottleneck simulators by decomposing them into multiple parallel but synchronized processes. Next, SplitSim provides a profiler to help users understand simulation performance and where the bottlenecks are, so users can adjust the configuration. Finally SplitSim provides abstractions to make it easy for users to build complex large-scale simulations. Our evaluation demonstrates SplitSim in multiple large-scale case studies.


title: Antiferromagnetism in two-dimensional materials: progress and computational challenges

abstract: We present a perspective on the status of antiferromagnetism in two-dimensional (2D) materials. Various types of spin-compensated orders are discussed and include non-collinear order, spin spirals and altermagnetism. Spin-orbit effects ultimately determine, whether compounds exhibit long range order, Kosterlitz-Thouless physics, or multiferroic properties and we discuss the basic magnetic prototypes that may arise in 2D materials depending on the magnetic anisotropy and ordering vector. A summary of 2D antiferromagnets that have been characterized experimentally is provided - with particular emphasis on magnetic anisotropies and Neel temperatures. We then outline the ingredients needed to describe the magnetic properties using density functional theory. In particular, the systematic determination of magnetic ground states from the generalized Bloch theorem and the magnetic force theorem, which may be used to calculate magnetic excitations from the Heisenberg model with parameters determined from first principles. The methods are exemplified by application to the monolayer helimagnet NiBr$_2$. Finally, we present a summary of predicted and prospective 2D antiferromagnets and discuss the challenges associated with the prediction of N\'eel temperatures from first principles.


title: Barriers to device longevity and reuse: A vintage device empirical study

abstract: This extended paper contributes a methodology and a detailed analysis of app installation and functionality on a 'vintage' device. Experimental results are presented that demonstrate barriers to the reuse of vintage Apple devices. and solutions are posited. 230 apps across 23 unique app categories were tested to determine if they could be downloaded, installed, and opened, and whether they appeared functional on a vintage Apple device. Only 29 (12.6%) of the apps could be downloaded directly, and in contrast 140 (60.9%) of the apps were downloadable with the aid of another Apple device. In total, 141 (61.3%) of applications downloaded either directly or indirectly were considered functional and capable of running on the device. We discuss measures Apple and developers could take to support legacy device users, prolong device use, enable reuse and, potentially, prevent functional devices from becoming e-waste.


title: Relaxation processes of densified silica glass

abstract: Densified SiO2 glasses, obtained from different pressure and temperature routes have been annealed over a wide range of temperature far below the glass transition temperature (500$^\circ$C-900$^\circ$C). Hot and cold compressions were useful to separate the effects of pressure and the compression temperature. In-situ micro-Raman spectroscopy was used to follow the structural evolution during the thermal relaxation. A similar glass structure between the non-densified silica and the recovered densified silica after the temperature annealing demonstrates a perfect recovery of the non-densified silica glass structure. While the density decreases monotonically, the structural relaxation takes place through a more complex mechanism, which shows that density is not a sufficient parameter to fully characterize the structure of densified silica glass. The relaxation takes place through a transitory state, consisting in an increase of the network inhomogeneity, shown by an increase in intensity of the D2 band which is associated with 3 membered rings. The activation energy of these processes is 255$\pm$45 kJ/mol for the hot compressed samples. The kinetic is overall faster for the cold compressed samples. In that last case the relaxation is partially activated by internal stresses release.


title: Birefringence tests of gravity with multi-messenger binaries

abstract: Extensions to General Relativity (GR) allow the polarization of gravitational waves (GW) from astrophysical sources to suffer from amplitude and velocity birefringence, which respectively induce changes in the ellipticity and orientation of the polarization tensor. We introduce a multi-messenger approach to test this polarization behavior of GWs during their cosmological propagation using binary sources, for which the initial polarization is determined by the inclination and orientation angles of the orbital angular momentum vector with respect to the line of sight. In particular, we use spatially-resolved radio imaging of the jet from a binary neutron star (BNS) merger to constrain the orientation angle and hence the emitted polarization orientation of the GW signal at the site of the merger, and compare to that observed on Earth by GW detectors. For GW170817 we constrain the deviation from GR due to amplitude birefringence to $\kappa_A = -0.12^{+0.60}_{-0.61}$, while the velocity birefringence parameter $\kappa_V$ remains unconstrained. The inability to constrain $\kappa_V$ is due to the fact that Virgo did not detect GW170817, and measurements of the polarization orientation require information from a combination of multiple detectors with different alignments. For this reason, we also mock future BNS mergers with resolved afterglow proper motion and project that $\kappa_V$ could be constrained to a precision of $5\,$rad (corresponding to an angular shift of the GW polarization of $\delta\phi_V\approx 0.2\,$rad for a BNS at $100\,$Mpc) by a future network of third-generation ground-based GW detectors such as Cosmic Explorer and the radio High Sensitivity Array. Crucially, this velocity birefringence effect cannot be constrained with dark binary mergers as it requires polarization information at the emission time, which can be provided only by electromagnetic emission.


title: Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates

abstract: Context: The constant growth of primary evidence and Systematic Literature Reviews (SLRs) publications in the Software Engineering (SE) field leads to the need for SLR Updates. However, searching and selecting evidence for SLR updates demands significant effort from SE researchers. Objective: We present emerging results on an automated approach to support searching and selecting studies for SLR updates in SE. Method: We developed an automated tool prototype to perform the snowballing search technique and support selecting relevant studies for SLR updates using Machine Learning (ML) algorithms. We evaluated our automation proposition through a small-scale evaluation with a reliable dataset from an SLR replication and its update. Results: Effectively automating snowballing-based search strategies showed feasibility with minor losses, specifically related to papers without Digital Object Identifier (DOI). The ML algorithm giving the highest performance to select studies for SLR updates was Linear Support Vector Machine, with approximately 74% recall and 15% precision. Using such algorithms with conservative thresholds to minimize the risk of missing papers can significantly reduce evidence selection efforts. Conclusion: The preliminary results of our evaluation point in promising directions, indicating the potential of automating snowballing search efforts and of reducing the number of papers to be manually analyzed by about 2.5 times when selecting evidence for updating SLRs in SE.


title: Navigating the Knowledge Sea: Planet-scale answer retrieval using LLMs

abstract: Information retrieval is a rapidly evolving field of information retrieval, which is characterized by a continuous refinement of techniques and technologies, from basic hyperlink-based navigation to sophisticated algorithm-driven search engines. This paper aims to provide a comprehensive overview of the evolution of Information Retrieval Technology, with a particular focus on the role of Large Language Models (LLMs) in bridging the gap between traditional search methods and the emerging paradigm of answer retrieval. The integration of LLMs in the realms of response retrieval and indexing signifies a paradigm shift in how users interact with information systems. This paradigm shift is driven by the integration of large language models (LLMs) like GPT-4, which are capable of understanding and generating human-like text, thus enabling them to provide more direct and contextually relevant answers to user queries. Through this exploration, we seek to illuminate the technological milestones that have shaped this journey and the potential future directions in this rapidly changing field.


title: Optimal energy-aware task scheduling for batteryless IoT devices

abstract: Today's IoT devices rely on batteries, which offer stable energy storage but contain harmful chemicals. Having billions of IoT devices powered by batteries is not sustainable for the future. As an alternative, batteryless devices run on long-lived capacitors charged using energy harvesters. The small energy storage capacity of capacitors results in intermittent on-off behaviour. Traditional computing schedulers can not handle this intermittency, and in this paper we propose a first step towards an energy-aware task scheduler for constrained batteryless devices. We present a new energy-aware task scheduling algorithm that is able to optimally schedule application tasks to avoid power failures, and that will allow us to provide insights on the optimal look-ahead time for energy prediction. Our insights can be used as a basis for practical energy-aware scheduling and energy availability prediction algorithms. We formulate the scheduling problem as a Mixed Integer Linear Program. We evaluate its performance improvement when comparing it with state-of-the-art schedulers for batteryless IoT devices. Our results show that making the task scheduler energy aware avoids power failures and allows more tasks to successfully execute. Moreover, we conclude that a relatively short look-ahead energy prediction time of 8 future task executions is enough to achieve optimality.


title: Assessment of models for nonlinear oscillatory flow through a hexagonal sphere pack

abstract: We review models for unsteady porous media flow in the volume-averaging framework and we discuss the theoretical relations between the models and the definition of the model coefficients (and the uncertainty therein). The different models are compared against direct numerical simulations of oscillatory flow through a hexagonal sphere pack. The model constants are determined based on their definition in terms of the Stokes flow, the potential flow and steady nonlinear flow. Thus, the discrepancies between the model predictions and the simulation data can be attributed to shortcomings of the models' parametrisation. We found that an extension of the dynamic permeability model of Pride et al. [Physical Review B 47(9), 1993] with a Forchheimer-type nonlinearity performs very well for linear flow and for nonlinear flow at low and medium frequencies, but the Forchheimer term with a coefficient obtained from the steady-state overpredicts the nonlinear drag at high frequencies. The model reduces to the unsteady Forchheimer equation with an acceleration coefficient based on the static viscous tortuosity for low frequencies. The unsteady Forchheimer equation with an acceleration coefficient based on the high frequency limit of the dynamic tortuosity has large errors for linear flow at medium and high frequencies, but low errors for nonlinear flow at all frequencies. This is explained by an error cancellation between the inertial and the nonlinear drag.


title: Evidence of polyamorphic transitions during densified SiO$_2$ glass annealing

abstract: In-situ X-ray scattering monitoring is carried out during temperature annealing on different densified SiO$_2$ glasses. Density fluctuations and intermediate range coherence from x-ray scattering (SAXS) and diffraction (WAXS) evidence a maximum in their evolution at the same relaxation time. These extrema confirm the existence of an intermediate transitory disordered state between the two more ordered high and low density amorphous states. We propose that the existence of this transitory state confirms the existence of two mega basin in the energy landscape and therefore an amorphous-amorphous transition. Including older Raman results, we show that this intermediate disorder state implies similar mechanisms at all length scales from a few angstroms to 5 nm.


title: Learning on Multimodal Graphs: A Survey

abstract: Multimodal data pervades various domains, including healthcare, social media, and transportation, where multimodal graphs play a pivotal role. Machine learning on multimodal graphs, referred to as multimodal graph learning (MGL), is essential for successful artificial intelligence (AI) applications. The burgeoning research in this field encompasses diverse graph data types and modalities, learning techniques, and application scenarios. This survey paper conducts a comparative analysis of existing works in multimodal graph learning, elucidating how multimodal learning is achieved across different graph types and exploring the characteristics of prevalent learning techniques. Additionally, we delineate significant applications of multimodal graph learning and offer insights into future directions in this domain. Consequently, this paper serves as a foundational resource for researchers seeking to comprehend existing MGL techniques and their applicability across diverse scenarios.


title: From weak type weighted inequality to pointwise estimate for the decreasing rearrangement

abstract: We shall prove pointwise estimates for the decreasing rearrangement of $Tf$, where $T$ covers a wide range of interesting operators in Harmonic Analysis such as operators satisfying a Fefferman-Stein inequality, the Bochner-Riesz operator, rough operators, sparse operators, Fourier multipliers, etc. In particular, our main estimate is of the form $$ (Tf)^*(t) \leq C\left( \frac 1t\int_0^tf^*(s)\,ds + \int_t^\infty \left( 1 + \log\frac st \right)^{- 1}\varphi \left(1 + \log\frac st \right) f^*(s)\,\frac{ds}s \right), $$ where $\varphi$ is determined by the Muckenhoupt $A_p$-weight norm behaviour of the operator.


title: Revisiting Yano and Zygmund extrapolation theory

abstract: We prove a pointwise estimate for the decreasing rearrangement of $Tf$, where $T$ is any sublinear operator satisfying the weak-type boundedness $$ T:L^{p,1}(\mu) \to L^{p,\infty}(\nu), \quad \forall p: 1<p_0 < p\leq p_1<\infty, $$ with norm controlled by $C\varphi\left(\left[{p_0^{-1}} - p^{-1}\right]^{-1}\right)$ and $\varphi$ satisfies some admissibility conditions. The pointwise estimate is: \begin{equation*} \begin{split} (Tf)^*_\nu(t) &\lesssim \frac 1{p_0 - 1}\left(\frac 1{t^\frac 1{p_0}}\int_0^t \varphi\left(1 - \log \frac rt\right)f^*_\mu(r)\frac{dr}{r^{1 - \frac 1{p_0}}} + \frac 1{t^\frac 1{p_1}}\int_t^\infty f^*_\mu(r)\frac{dr}{r^{1 - \frac 1{p_1}}}\right). \end{split} \end{equation*} In particular, this estimate allows to obtain extensions of Yano and Zygmund extrapolation results.


title: Phonon Modal Analysis of Thermal Transport in ThO2 with Point Defects using Equilibrium Molecular Dynamics

abstract: In this study, we investigate how point defects in ThO2, an advanced nuclear fuel as well as a surrogate for other fluorite structured materials, affect phonon mode-resolved thermal transport based on extensive equilibrium molecular dynamics. By incorporating the normal modes from lattice dynamics, we decompose the trajectory and heat flux to normal mode space and extract key phonon properties, including phonon relaxation times and their contributions to thermal conductivity. Two types of theories are applied: one obtains phonon relaxation times and spectral conductivity via the Boltzmann transport equation and normal mode analysis, while the other applies the Green-Kubo theory for modal analysis. Both approaches enable us to evaluate the effects of four types of point defects. The strongest impact to a reduction in thermal conductivity is from Th interstitial, followed by Th vacancy, and O defects of similar magnitude, consistent with previous theoretical calculations.


title: Structural modifications of GeO$_2$ glass under high pressure and high temperature

abstract: Vitreous GeO$_2$ has been compressed at high temperature, to investigate the effect of thermal activation on the structural reorganization during compression. The measurements were performed in-situ using micro Raman spectroscopy under pressure up to 6 GPa and temperature up to 400$^\circ$C. The evolution of the Raman shift of the main band (400-500 cm$^{-1}$) with temperature during compression evidences a pressure window around 3 GPa within which temperature has a remarkable influence on the structure, in particular the intermediate range order. We find that this change is well correlated with previous ex-situ density measurements from high pressure-high temperature densifications. Moreover, coordination changes from tetrahedrally (GeO$_4$) to octahedrally (GeO$_6$) coordinated GeO$_2$ are accelerated with the heating during the compression.


title: Exact Nonlinear Decomposition of Ideal-MHD Waves Using Eigenenergies

abstract: In this paper we introduce a new method for exact decomposition of propagating, nonlinear magnetohydrodynamic (MHD) disturbances into their component eigenenergies associated with the familiar slow, Alfv\'en, and fast wave eigenmodes, and the entropy and field-divergence pseudo-eigenmodes. First the mathematical formalism is introduced, where it is illustrated how the ideal-MHD eigensystem can be used to construct a decomposition of the time variation of the total energy density into contributions from the eigenmodes. The decomposition method is then demonstrated by applying it to the output of three separate nonlinear MHD simulations. The analysis of the simulations confirms that the component wave modes of a composite wavefield are uniquely identified by the method. The slow, Alfv\'en, and fast energy densities are shown to evolve in exactly the way expected from comparison with known linear solutions and nonlinear properties, including processes such as mode conversion. Along the way, some potential pitfalls for the numerical implementation of the decomposition method are identified and discussed. We conclude that the exact, nonlinear decomposition method introduced is a powerful and promising tool for understanding the nature of the decomposition of MHD waves as well as analysing and interpreting the output of dynamic MHD simulations.

categories: astro-ph.SR math-ph math.MP physics.plasm-ph