title: Large Eddy Simulations of Supersonic Jet Flows for Aeroacoustic Applications

abstract: Current design constraints have encouraged the studies of aeroacoustics fields around compressible jet flows. The present work addresses the numerical study of unsteady turbulent jet flows for aeroacoustic analyses of main engine rocket plumes. A novel large eddy simulation (LES) tool is developed in order to reproduce high fidelity results of compressible jet flows which could be used for aeroacoustic studies with the Ffowcs Williams and Hawkings approach. The numerical solver is an upgrade of an existing Reynolds-averaged Navier-Stokes solver previously developed in the group. The original framework is rewritten in a modern fashion and intensive parallel computation capabilities have been added to the code. The LES formulation is written using the finite difference approach. The energy equation is carefully discretized in order to model the energy equation of the filtered Navier-Stokes formulation. The classical Smagorinsky model is the chosen subgrid scale closure for the present work. Numerical simulations of perfectly expanded jets are performed and compared with the literature in order to validate the new solver. Moreover, speedup and the computational performance of the code are evaluated and discussed. Flow results are used for an initial evaluation of the noise radiated from the rocket plume.


title: Dirichlet-Neumann and Neumann-Neumann waveform relaxation algorithms for time fractional sub-diffusion and diffusion-wave equations

abstract: In this article, we have studied the convergence behavior of the Dirichlet-Neumann and Neumann- Neumann waveform relaxation algorithms for time-fractional sub-diffusion and diffusion-wave equations in 1D & 2D for regular domains, where the dimensionless diffusion coefficient takes different constant values in different subdomains. We first observe that different diffusion coefficients lead to different relaxation parameters for optimal convergence. Using these optimal relaxation parameters, our analysis estimates the slow superlinear convergence of the algorithms when the fractional order of the time derivative is close to zero, almost finite step convergence when the order is close to two, and in between, the superlinear convergence becomes faster as fractional order increases. So, we have successfully caught the transition of convergence rate with the change of fractional order of the time derivative in estimates and verified them with numerical experiments.


title: Highly anisotropic transient optical response of charge density wave order in ZrTe$_3$

abstract: Low dimensionality in CDW systems leads to anisotropic optical properties, in both equilibrium and non-equilibrium conditions. Here we perform polarized two-color pump probe measurements on a quasi-1D material ZrTe$_3$, in order to study the anisotropic transient optical response in the CDW state. Profound in-plane anisotropy is observed with respect to polarization of probe photons. Below $T_\mathrm{CDW}$ both the quasi-particle relaxation signal and amplitude mode (AM) oscillation signal are much larger with $\mathbf{E}_\mathrm{pr}$ nearly parallel to $a$ axis ($\mathbf{E}_\mathrm{pr} \parallel a$) than for $\mathbf{E}_\mathrm{pr}$ parallel to $b$ axis ($\mathbf{E}_\mathrm{pr} \parallel b$). This reveals that $\mathbf{E}_\mathrm{pr} \parallel a$ signal is much more sensitive to the variation of the CDW gap. Interestingly, the lifetime of the AM oscillations observed with $\mathbf{E}_\mathrm{pr} \parallel b$ is longer than $\mathbf{E}_\mathrm{pr} \parallel a$. Moreover, at high pump fluence where the electronic order melts and the AM oscillations vanish for $\mathbf{E}_\mathrm{pr} \parallel a$ , the AM oscillatory response still persists for $\mathbf{E}_\mathrm{pr} \parallel b$. We discuss possible origins that lead to such unusual discrepancy between the two polarizations.


title: Tutorial: Circuit-based Electromagnetic Transient Simulation

abstract: The growing penetration of inverter-based resources and associated controls necessitates system-wide electromagnetic transient (EMT) analyses. EMT tools and methods today were not designed for the scale of these analyses. In light of the emerging need, there is a great deal of interest in developing new techniques for fast and accurate EMT simulations for large power grids; the foundations of which will be built on current tools and methods. However, we find that educational texts covering the fundamentals and inner workings of current EMT tools are limited. As such, there is a lack of introductory material for students and professionals interested in researching the field. To that end, in this tutorial, we introduce the principles of EMT analyses from the circuit-theoretic viewpoint, mimicking how time-domain analyses are performed in circuit simulation tools like SPICE and Cadence. We perform EMT simulations for two examples, one linear and one nonlinear, including induction motor (IM) from the first principles. By the document's end, we anticipate the readers will have a \textit{basic} understanding of how power grid EMT tools work.


title: A compact and versatile cryogenic probe station for quantum device testing

abstract: Fast feedback from cryogenic electrical characterization measurements is key for the development of scalable quantum computing technology. At room temperature, high-throughput device testing is accomplished with a probe-based solution, where electrical probes are repeatedly positioned onto devices for acquiring statistical data. In this work we present a probe station that can be operated from room temperature down to below 2$\,$K. Its small size makes it compatible with standard cryogenic measurement setups with a magnet. A large variety of electronic devices can be tested. Here, we demonstrate the performance of the prober by characterizing silicon fin field-effect transistors as a host for quantum dot spin qubits. Such a tool can massively accelerate the design-fabrication-measurement cycle and provide important feedback for process optimization towards building scalable quantum circuits.


title: Event-Driven Testing For Edge Applications

abstract: With the rise of the Internet of Things (IoT) and Edge computing, a considerable amount of system services are moving from reliable Cloud data centers to less reliable infrastructures closer to the end-users. However, the constrained resources, unreliable communication, and varying operating conditions of IoT pose significant complexities for software vendors in testing their applications. Although several emulators exist for testing IoT systems, numerous issues can be pointed out, such as lacking support for logical dependencies and advanced fault injection capabilities, requiring manual validation of the system's behavior, or focusing on a specific platform and language. To address these limitations, we propose Frisbee: a framework for the automated testing of IoT applications. Frisbee accelerates the testing process by simplifying the spin-up of distributed virtual testbeds over Kubernetes and the description of `what-if' scenarios that integrate complex sequences of workloads and faultloads.


title: Deletion-Contraction and the Surface Tutte Polynomial

abstract: In this paper we unify two families of topological Tutte polynomials. The first family is that coming from the surface Tutte polynomial, a polynomial that arises in the theory of local flows and tensions. The second family arises from the canonical Tutte polynomials of Hopf algebras. Each family includes the Las Vergnas, Bollob\'as-Riordan, and Krushkal polynomials. As a consequence we determine a deletion-contraction definition of the surface Tutte polynomial and recursion relations for the number of local flows and tensions in an embedded graph.


title: Factoring integers with sublinear resources on a superconducting quantum processor

abstract: Shor's algorithm has seriously challenged information security based on public key cryptosystems. However, to break the widely used RSA-2048 scheme, one needs millions of physical qubits, which is far beyond current technical capabilities. Here, we report a universal quantum algorithm for integer factorization by combining the classical lattice reduction with a quantum approximate optimization algorithm (QAOA). The number of qubits required is O(logN/loglog N), which is sublinear in the bit length of the integer $N$, making it the most qubit-saving factorization algorithm to date. We demonstrate the algorithm experimentally by factoring integers up to 48 bits with 10 superconducting qubits, the largest integer factored on a quantum device. We estimate that a quantum circuit with 372 physical qubits and a depth of thousands is necessary to challenge RSA-2048 using our algorithm. Our study shows great promise in expediting the application of current noisy quantum computers, and paves the way to factor large integers of realistic cryptographic significance.


title: A note on some variations of the maximal inequality for the fractional Schr\"odinger equation

abstract: The purpose of this note is to provide a summary of the recent work of the authors on two variations of the pointwise convergence problem for the solutions to the fractional Schr\"odinger equations; convergence along a tangential line and along a set of lines, as exhibiting some new results in each setting. For the former case, we make a simple observation on a path along a tangential curve of exponential order. We discuss counterexamples for the latter case that show some of the known smooth regularities are essentially optimal.


title: Relational Local Explanations

abstract: The majority of existing post-hoc explanation approaches for machine learning models produce independent, per-variable feature attribution scores, ignoring a critical inherent characteristics of homogeneously structured data, such as visual or text data: there exist latent inter-variable relationships between features. In response, we develop a novel model-agnostic and permutation-based feature attribution approach based on the relational analysis between input variables. As a result, we are able to gain a broader insight into the predictions and decisions of machine learning models. Experimental evaluations of our framework in comparison with state-of-the-art attribution techniques on various setups involving both image and text data modalities demonstrate the effectiveness and validity of our method.


title: Depth analysis of variational quantum algorithms for heat equation

abstract: Variational quantum algorithms are a promising tool for solving partial differential equations. The standard approach for its numerical solution are finite difference schemes, which can be reduced to the linear algebra problem. We consider three approaches to solve the heat equation on a quantum computer. Using the direct variational method we minimize the expectation value of a Hamiltonian with its ground state being the solution of the problem under study. Typically, an exponential number of Pauli products in the Hamiltonian decomposition does not allow for the quantum speed up to be achieved. The Hadamard test based approach solves this problem, however, the performed simulations do not evidently prove that the ansatz circuit has a polynomial depth with respect to the number of qubits. The ansatz tree approach exploits an explicit form of the matrix what makes it possible to achieve an advantage over classical algorithms. In our numerical simulations with up to $n=11$ qubits, this method reveals the exponential speed up.


title: Alternating Projections Method for Joint Precoding and Peak-to-Average-Power Ratio Reduction

abstract: Orthogonal frequency-division multiplexing (OFDM) time-domain signals exhibit high peak-to-average (power) ratio (PAR), which requires linear radio-frequency chains to avoid an increase in error-vector magnitude (EVM) and out-of-band (OOB) emissions. In this paper, we propose a novel joint PAR reduction and precoding algorithm that relaxes these linearity requirements in massive multiuser (MU) multiple-input multiple-output (MIMO) wireless systems. Concretely, we develop a novel alternating projections method, which limits the PAR and transmit power increase while simultaneously suppressing MU interference. We provide a theoretical foundation of our algorithm and provide simulation results for a massive MU-MIMO-OFDM scenario. Our results demonstrate significant PAR reduction while limiting the transmit power, without causing EVM or OOB emissions.


title: Dark matter from WIMP to FIMP over three regimes: Cosmology versus Colliders

abstract: Dark matter models can give rise to specific signatures at particle physics experiments or in cosmology. The details of the cosmological history can also influence the new physics signals to be expected at e.g. collider experiments. In these proceedings, we briefly summarize the case of dark matter weakly to feebly coupled to Standard Model fermions through t-channel portal dividing the discussion into three main regimes. We also underline the interplay between cosmology and particle physics.


title: Multi-Projection Fusion and Refinement Network for Salient Object Detection in 360{\deg} Omnidirectional Image

abstract: Salient object detection (SOD) aims to determine the most visually attractive objects in an image. With the development of virtual reality technology, 360{\deg} omnidirectional image has been widely used, but the SOD task in 360{\deg} omnidirectional image is seldom studied due to its severe distortions and complex scenes. In this paper, we propose a Multi-Projection Fusion and Refinement Network (MPFR-Net) to detect the salient objects in 360{\deg} omnidirectional image. Different from the existing methods, the equirectangular projection image and four corresponding cube-unfolding images are embedded into the network simultaneously as inputs, where the cube-unfolding images not only provide supplementary information for equirectangular projection image, but also ensure the object integrity of the cube-map projection. In order to make full use of these two projection modes, a Dynamic Weighting Fusion (DWF) module is designed to adaptively integrate the features of different projections in a complementary and dynamic manner from the perspective of inter and intra features. Furthermore, in order to fully explore the way of interaction between encoder and decoder features, a Filtration and Refinement (FR) module is designed to suppress the redundant information between the feature itself and the feature. Experimental results on two omnidirectional datasets demonstrate that the proposed approach outperforms the state-of-the-art methods both qualitatively and quantitatively.


title: Using MM principles to deal with incomplete data in K-means clustering

abstract: Among many clustering algorithms, the K-means clustering algorithm is widely used because of its simple algorithm and fast convergence. However, this algorithm suffers from incomplete data, where some samples have missed some of their attributes. To solve this problem, we mainly apply MM principles to restore the symmetry of the data, so that K-means could work well. We give the pseudo-code of the algorithm and use the standard datasets for experimental verification. The source code for the experiments is publicly available in the following link: \url{https://github.com/AliBeikmohammadi/MM-Optimization/blob/main/mini-project/MM%20K-means.ipynb}.


title: Towards Scalable Physically Consistent Neural Networks: an Application to Data-driven Multi-zone Thermal Building Models

abstract: With more and more data being collected, data-driven modeling methods have been gaining in popularity in recent years. While physically sound, classical gray-box models are often cumbersome to identify and scale, and their accuracy might be hindered by their limited expressiveness. On the other hand, classical black-box methods, typically relying on Neural Networks (NNs) nowadays, often achieve impressive performance, even at scale, by deriving statistical patterns from data. However, they remain completely oblivious to the underlying physical laws, which may lead to potentially catastrophic failures if decisions for real-world physical systems are based on them. Physically Consistent Neural Networks (PCNNs) were recently developed to address these aforementioned issues, ensuring physical consistency while still leveraging NNs to attain state-of-the-art accuracy. In this work, we scale PCNNs to model building temperature dynamics and propose a thorough comparison with classical gray-box and black-box methods. More precisely, we design three distinct PCNN extensions, thereby exemplifying the modularity and flexibility of the architecture, and formally prove their physical consistency. In the presented case study, PCNNs are shown to achieve state-of-the-art accuracy, even outperforming classical NN-based models despite their constrained structure. Our investigations furthermore provide a clear illustration of NNs achieving seemingly good performance while remaining completely physics-agnostic, which can be misleading in practice. While this performance comes at the cost of computational complexity, PCNNs on the other hand show accuracy improvements of 17-35% compared to all other physically consistent methods, paving the way for scalable physically consistent models with state-of-the-art performance.


title: Failure type detection and predictive maintenance for the next generation of imaging atmospheric Cherenkov telescopes

abstract: The next generation of imaging atmospheric Cherenkov telescopes will be composed of hundreds of telescopes working together to attempt to unveil some fundamental physics of the high-energy Universe. Along with the scientific data, a large volume of housekeeping and auxiliary data coming from weather stations, instrumental sensors, logging files, etc., will be collected as well. Driven by supervised and reinforcement learning algorithms, such data can be exploited for applying predictive maintenance and failure type detection to these astrophysical facilities. In this paper, we present the project aiming to trigger the development of a model that will be able to predict, just in time, forthcoming component failures along with their kind and severity


title: Quasiperiodic circuit quantum electrodynamics

abstract: Superconducting circuits are an extremely versatile platform to realize quantum information hardware and to emulate topological materials. We here show how a simple arrangement of capacitors and conventional superconductor-insulator-superconductor junctions can realize an even broader class of systems, in the form of a nonlinear capacitive element which is quasiperiodic with respect to the quantized Cooper-pair charge. Our setup allows to create protected Dirac points defined in the transport degrees of freedom, whose presence leads to a suppression of the classical finite-frequency current noise. Furthermore, the quasiperiodicity can emulate Anderson localization in charge space, measurable via vanishing charge quantum fluctuations. The realization by means of the macroscopic transport degrees of freedom allows for a straightforward generalization to arbitrary dimensions and implements truly non-interacting versions of the considered models. As an outlook, we discuss potential ideas to simulate a transport version of the magic-angle effect known from twisted bilayer graphene.


title: Surface ferromagnetism in a chiral topological semimetal CoSi

abstract: Despite the chiral topological semimetal CoSi is known as bulk diamagnetic, it shows unusual surface ferromagnetism of debatable origin. The ferromagnetic ordering has been attributed to the distorted bonds, the superlattice of ordered vacancies, or even to topological surface textures due to the spin polarization in the neighboring Fermi arcs. We experimentally compare magnetization reversal curves for initially oxidized CoSi single crystals and cleaved samples with a fresh, oxide-free surface. While the oxidized CoSi samples do not show sizable ferromagnetism, the fresh CoSi surface gives a strong ferromagnetic response, which is accompanied by the pronounced modulation of the angle dependence of magnetization, as it can be expected for easy and hard axes in a ferromagnet. In addition to the first order reversal curves analysis, this observation allows us to distinguish between different mechanisms of the ferromagnetic ordering in CoSi single crystals. We conclude that the surface states-induced RKKY interaction between distorted bonds near the sample surface is responsible for the strong ferromagnetic multi-domain behavior for freshly cleaved samples.


title: Convergence rate analysis of randomized and cyclic coordinate descent for convex optimization through semidefinite programming

abstract: In this paper, we study randomized and cyclic coordinate descent for convex unconstrained optimization problems. We improve the known convergence rates in some cases by using the numerical semidefinite programming performance estimation method. As a spin-off we provide a method to analyse the worst-case performance of the Gauss-Seidel iterative method for linear systems where the coefficient matrix is positive semidefinite with a positive diagonal.


title: Tight Bounds for Connectivity Problems Parameterized by Cutwidth

abstract: In this work we start the investigation of tight complexity bounds for connectivity problems parameterized by cutwidth assuming the Strong Exponential-Time Hypothesis (SETH). Van Geffen et al. posed this question for odd cycle transversal and feedback vertex set. We answer it for these two and four further problems, namely connected vertex cover, connected domintaing set, steiner tree, and connected odd cycle transversal. For the latter two problems it sufficed to prove lower bounds that match the running time inherited from parameterization by treewidth; for the others we provide faster algorithms than relative to treewidth and prove matching lower bounds. For upper bounds we first extend the idea of Groenland et al.~[STACS~2022] to solve what we call coloring-like problem. Such problems are defined by a symmetric matrix $M$ over $\mathbb{F}_2$ indexed by a set of colors. The goal is to count the number (modulo some prime $p$) of colorings of a graph such that $M$ has a $1$-entry if indexed by the colors of the end-points of any edge. We show that this problem can be solved faster if $M$ has small rank over $\mathbb{F}_p$. We apply this result to get our upper bounds for connected vertex cover and connected dominating set. The upper bounds for odd cycle transversal and feedback vertex set use a subdivision trick to get below the bounds that matrix rank would yield.


title: Hyper-differential sensitivity analysis in the context of Bayesian inference applied to ice-sheet problems

abstract: Inverse problems constrained by partial differential equations (PDEs) play a critical role in model development and calibration. In many applications, there are multiple uncertain parameters in a model which must be estimated. Although the Bayesian formulation is attractive for such problems, computational cost and high dimensionality frequently prohibit a thorough exploration of the parametric uncertainty. A common approach is to reduce the dimension by fixing some parameters (which we will call auxiliary parameters) to a best estimate and use techniques from PDE-constrained optimization to approximate properties of the Bayesian posterior distribution. For instance, the maximum a posteriori probability (MAP) and the Laplace approximation of the posterior covariance can be computed. In this article, we propose using hyper-differential sensitivity analysis (HDSA) to assess the sensitivity of the MAP point to changes in the auxiliary parameters. We establish an interpretation of HDSA as correlations in the posterior distribution. Our proposed framework is demonstrated on the inversion of bedrock topography for the Greenland ice sheet with uncertainties arising from the basal friction coefficient and climate forcing (ice accumulation rate)


title: Estimates for the average scalar curvature of the Weil-Petersson metric on the Moduli space $\overline{\cal M}_g$

abstract: We give a precise estimate for the average scalar curvature of the Weil-Petersson metric on the moduli space $\overline{\cal M}_g$ as $g\to\infty$ up to the order $1/g^2$.


title: Radio SLAM for 6G Systems at THz Frequencies: Design and Experimental Validation

abstract: Next-generation wireless networks will see the convergence of communication and sensing, also exploiting the availability of large bandwidths in the Terahertz (THz) spectrum and electrically large antenna arrays on handheld devices. In particular, it is envisaged that user devices will be able to automatically scan their surroundings by steering a very narrow antenna beam and collecting echoes reflected by objects and walls to derive a map of indoors and infer users' trajectories using simultaneous localization and mapping (SLAM) techniques. In this paper, we address this scenario by proposing original radioSLAM (R-SLAM) algorithms, derived from image processing techniques, to map the environment and pinpoint the device position in the map starting from measurements sensed by a mobile THz radar. Initially, to fully understand the THz backscattering phenomenon, we provide an experimental characterization of the THz backscattering channel in indoor environments. Then, the performance of the proposed algorithms is assessed using real-world THz radar measurements and is compared with state-of-the-art SLAM techniques, demonstrating the superiority of the proposed approaches.


title: Optimizing the half-gcd algorithm

abstract: In this paper, we propose a carefully optimized "half-gcd" algorithm for polynomials. We achieve a constant speed-up with respect to previous work for the asymptotic time complexity. We also discuss special optimizations that are possible when polynomial multiplication is done using radix two FFTs.


title: On the tightness of the maximum of branching Brownian motion in random environment

abstract: We consider one-dimensional branching Brownian motion in spatially random branching environment (BBMRE) and show that for almost every realisation of the environment, the distributions of the maximal particle of the BBMRE re-centred around its median are tight as time evolves. This result is in stark contrast to the fact that the transition fronts in the solution to the randomised Fisher--Kolmogorov--Petrovskii--Piskunov (F-KPP) equation are, in general, not bounded uniformly in time. In particular, this highlights that -- when compared to the settings of homogeneous branching Brownian motion and the F-KPP equation in a homogeneous environment -- the introduction of a random environment leads to a much more intricate behaviour.


title: In-plane gate induced transition asymmetry of spin-resolved Landau levels in InAs-based quantum wells

abstract: The cross-over from quasi-two- to quasi-one-dimensional electron transport subject to transverse electric fields and perpendicular magnetic fields are studied in the diffusive to quasiballistic and zero-field to quantum Hall regime. In-plane gates and Hall-bars have been fabricated from an InGaAs/InAlAs/InAs quantum well hosting a 2DEG with carrier density of about 6.8$\times$10$^{11}$ cm$^{-2}$, mobility of 1.8$\times$10$^5$ cm$^2$/Vs and an effective mass of 0.042$m_e$ after illumination. Magnetotransport measurements at temperatures down to 50 mK and fields up to 12 T yield a high effective Land\'e-factor of |g$^*$| = 16, enabling the resolution of spin-split subbands at magnetic fields of 2.5 T. In the quantum Hall regime, electrostatic control of an effective constriction width enables steering of the reflection and transmission of edge channels, allowing a separation of fully spin-polarized edge channels at filling factors ${\nu}$ = 1 und ${\nu}$ = 2. A change in the orientation of a transverse in-plane electric field in the constriction shifts the transition between Zeeman-split quantum Hall plateaus by ${\Delta}$B $\approx$ 0.1 T and is consistent with an effective magnetic field of B$_{eff}$ $\approx$ 0.13 T by spin-dependent backscattering, indicating a change in the spin-split density of states.


title: Short time extremal response to step stimulus for a single cell {\sl E. coli}

abstract: After application of a step stimulus, in the form of a sudden change in attractant environment, the receptor activity and tumbling bias of an {\sl E. coli} cell change sharply to reach their extremal values before they gradually relax to their post-stimulus adapted levels in the long time limit. We perform numerical simulations and exact calculations to investigate the short time response of the cell. For both activity and tumbling bias, we exactly derive the condition for extremal response and find good agreement with simulations. We also make experimentally verifiable prediction that there is an optimum size of the step stimulus at which the extremal response is reached in the shortest possible time.


title: A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference

abstract: We study the problem of combining neural networks with symbolic reasoning. Recently introduced frameworks for Probabilistic Neurosymbolic Learning (PNL), such as DeepProbLog, perform exponential-time exact inference, limiting the scalability of PNL solutions. We introduce Approximate Neurosymbolic Inference (A-NeSI): a new framework for PNL that uses neural networks for scalable approximate inference. A-NeSI 1) performs approximate inference in polynomial time without changing the semantics of probabilistic logics; 2) is trained using data generated by the background knowledge; 3) can generate symbolic explanations of predictions; and 4) can guarantee the satisfaction of logical constraints at test time, which is vital in safety-critical applications. Our experiments show that A-NeSI is the first end-to-end method to solve three neurosymbolic tasks with exponential combinatorial scaling. Finally, our experiments show that A-NeSI achieves explainability and safety without a penalty in performance.


title: Sufficient Dimension Reduction for Populations with Structured Heterogeneity

abstract: A key challenge in building effective regression models for large and diverse populations is accounting for patient heterogeneity. An example of such heterogeneity is in health system risk modeling efforts where different combinations of comorbidities fundamentally alter the relationship between covariates and health outcomes. Accounting for heterogeneity arising combinations of factors can yield more accurate and interpretable regression models. Yet, in the presence of high dimensional covariates, accounting for this type of heterogeneity can exacerbate estimation difficulties even with large sample sizes. To handle these issues, we propose a flexible and interpretable risk modeling approach based on semiparametric sufficient dimension reduction. The approach accounts for patient heterogeneity, borrows strength in estimation across related subpopulations to improve both estimation efficiency and interpretability, and can serve as a useful exploratory tool or as a powerful predictive model. In simulated examples, we show that our approach often improves estimation performance in the presence of heterogeneity and is quite robust to deviations from its key underlying assumptions. We demonstrate our approach in an analysis of hospital admission risk for a large health system and demonstrate its predictive power when tested on further follow-up data.


title: Detecting Objects with Context-Likelihood Graphs and Graph Refinement

abstract: The goal of this paper is to detect objects by exploiting their interrelationships. Contrary to existing methods, which learn objects and relations separately, our key idea is to learn the object-relation distribution jointly. We first propose a novel way of creating a graphical representation of an image from inter-object relation priors and initial class predictions, we call a context-likelihood graph. We then learn the joint distribution with an energy-based modeling technique which allows to sample and refine the context-likelihood graph iteratively for a given image. Our formulation of jointly learning the distribution enables us to generate a more accurate graph representation of an image which leads to a better object detection performance. We demonstrate the benefits of our context-likelihood graph formulation and the energy-based graph refinement via experiments on the Visual Genome and MS-COCO datasets where we achieve a consistent improvement over object detectors like DETR and Faster-RCNN, as well as alternative methods modeling object interrelationships separately. Our method is detector agnostic, end-to-end trainable, and especially beneficial for rare object classes.


abstract: In this paper we study Waring numbers $g_R(k)$ for $(R,\frak m)$ a finite commutative local ring with identity and $k \in \mathbb{N}$ with $(k,|R|)=1$. We first relate the Waring number $g_R(k)$ with the diameter of the Cayley graphs $G_R(k)=Cay(R,U_R(k))$ and $W_R(k)=Cay(R,S_R(k))$ with $U_R(k) = \{ x^k : x\in R^*\}$ and $S_R(k)=\{x^k : x\in R^\times\}$, distinguishing the cases where the graphs are directed or undirected. We show that in both cases (directed or undirected), the graph $G_R(k)$ can be obtained by blowing-up the vertices of $G_{\mathbb{F}_q}(k)$ a number $|\frak{m}|$ of times, with independence sets the cosets of $\frak{m}$, where $q$ is the size of the residue field $R/\frak m$. Then, by using the above blowing-up, we reduce the study of the Waring number $g_R(k)$ over the local ring $R$ to the computation of the Waring number $g(k,q)$ over the finite residue field $R/\frak m \simeq \mathbb{F}_q$. In this way, using known results for Waring numbers over finite fields, we obtain several explicit results for Waring numbers over finite commutative local rings with identity.


title: Reinforcement learning optimization of the charging of a Dicke quantum battery

abstract: Quantum batteries are energy-storing devices, governed by quantum mechanics, that promise high charging performance thanks to collective effects. Due to its experimental feasibility, the Dicke battery - which comprises $N$ two-level systems coupled to a common photon mode - is one of the most promising designs for quantum batteries. Here, we use reinforcement learning to optimize the charging process of a Dicke battery either by modulating the coupling strength, or the system-cavity detuning. We find that the extractable energy (ergotropy) and quantum mechanical energy fluctuations (charging precision) can be greatly improved with respect to standard charging strategies. Notably, the collective speedup of the charging time can be preserved even when nearly fully charging the battery.


title: Designing Autonomous Markets for Stablecoin Monetary Policy

abstract: We develop a new type of automated market maker (AMM) that helps to maintain stability and long-term viability in a stablecoin. This primary market AMM (P-AMM) is an autonomous mechanism for pricing minting and redemption of stablecoins in all possible states and is designed to achieve several desirable properties. We first cover several case studies of current ad hoc stablecoin issuance and redemption mechanisms, several of which have contributed to recent stablecoin de-peggings, and formulate desirable properties of a P-AMM that support stability and usability. We then design a P-AMM redemption curve and show that it satisfies these properties, including bounded loss for both the protocol and stablecoin holders. We further show that this redemption curve is path independent and has properties of path deficiency in extended settings involving trading fees and a separate minting curve. This means that system health weakly improves relative to the path independent setting along any trading curve and that there is no incentive to strategically subdivide redemptions. Finally, we show how to implement the P-AMM efficiently on-chain.


title: Thermal contribution to measured $g$-factors in alkali-like atoms

abstract: In this paper, we consider a one-loop thermal correction to the $g$-factors of the ground and low-lying excited states in neutral alkaline-like atomic systems. As an example, we carried out calculations for Rb and Cs atoms, where optical measurements of transition frequencies set the metrological level of accuracy. With the development of atomic systems as the most accurate tool for spectroscopic experiments, it has become increasingly important to improve the accuracy of measuring the electron $g$-factor, which is currently at ~$10^{-12}$. The rapid progress in this field in recent years requires analysis not only of various relativistic, QED and other effects, but also theoretical studies of phenomena stimulated by the external thermal environment. We can expect that the thermal contribution to the $g$-factor calculated in our work may be of interest in the near future.


title: Implications of gradient flow on the static force

abstract: We use gradient flow to compute the static force based on a Wilson loop with a chromoelectric field insertion. The result can be compared on one hand to the static force from the numerical derivative of the lattice static energy, and on the other hand to the perturbative calculation, allowing a precise extraction of the $\Lambda_0$ parameter. This study may open the way to gradient flow calculations of correlators of chromoelectric and chromomagnetic fields, which typically arise in the nonrelativistic effective field theory factorization.


title: Bakry-\'Emery curvature sharpness and curvature flow in finite weighted graphs. II. Implementation

abstract: In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-\'Emery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects, we present various examples (random graphs, paths, cycles, complete graphs, wedge sums and Cartesian products of complete graphs, hypercubes) and exhibit further properties of this flow. One particular aspect in our investigations is asymptotic stability and instability of curvature flow equilibria. The paper ends with a description of the available Python functions and routines available in the ancillary file. We hope that the explanations of the Python implementation via examples will help users to carry out their own curvature flow experiments.


title: Push-the-Boundary: Boundary-aware Feature Propagation for Semantic Segmentation of 3D Point Clouds

abstract: Feedforward fully convolutional neural networks currently dominate in semantic segmentation of 3D point clouds. Despite their great success, they suffer from the loss of local information at low-level layers, posing significant challenges to accurate scene segmentation and precise object boundary delineation. Prior works either address this issue by post-processing or jointly learn object boundaries to implicitly improve feature encoding of the networks. These approaches often require additional modules which are difficult to integrate into the original architecture. To improve the segmentation near object boundaries, we propose a boundary-aware feature propagation mechanism. This mechanism is achieved by exploiting a multi-task learning framework that aims to explicitly guide the boundaries to their original locations. With one shared encoder, our network outputs (i) boundary localization, (ii) prediction of directions pointing to the object's interior, and (iii) semantic segmentation, in three parallel streams. The predicted boundaries and directions are fused to propagate the learned features to refine the segmentation. We conduct extensive experiments on the S3DIS and SensatUrban datasets against various baseline methods, demonstrating that our proposed approach yields consistent improvements by reducing boundary errors. Our code is available at https://github.com/shenglandu/PushBoundary.


title: Detecting Exceptional Point through Dynamics in Non-Hermitian Systems

abstract: Non-Hermitian rotation-time reversal (RT)-symmetric spin models possess two distinct phases, the unbroken phase in which the entire spectrum is real and the broken phase which contains complex eigenspectra, thereby indicating a transition point, referred to as an exceptional point. We report that the dynamical quantities, namely short and long time average of Loschmidt echo which is the overlap between the initial and the final states, and the corresponding rate function, can faithfully predict the exceptional point known in the equilibrium scenario. In particular, when the initial state is prepared in the unbroken phase and the system is either quenched to the broken or unbroken phase, we analytically demonstrate that the rate function and the average Loschmidt echo can distinguish between the quench occurred in the broken or the unbroken phase for the nearest-neighbor XY model with uniform and alternating magnetic fields, thereby indicating the exceptional point. Furthermore, we exhibit that such quantities are capable of identifying the exceptional point even in models like the non-Hermitian XYZ model with magnetic field which can only be solved numerically.


title: Two kinds of partial Motzkin paths with air pockets

abstract: Motzkin paths with air pockets (MAP) are defined as a generalization of Dyck paths with air pockets by adding some horizontal steps with certain conditions. In this paper, we introduce two generalizations. The first one consists of lattice paths in $\Bbb{N}^2$ starting at the origin made of steps $U=(1,1)$, $D_k=(1,-k)$, $k\geq 1$ and $H=(1,0)$, where two down steps cannot be consecutive, while the second one are lattice paths in $\Bbb{N}^2$ starting at the origin, made of steps $U$, $D_k$ and $H$, where each step $D_k$ and $H$ is necessarily followed by an up step, except for the last step of the path. We provide enumerative results for these paths according to the length, the type of the last step, and the height of its end-point. A similar study is made for these paths read from right to left. As a byproduct, we obtain new classes of paths counted by the Motzkin numbers. Finally, we express our results using Riordan arrays.


title: Mass loss from binary stars approaching merger

abstract: Some binary stars experience common envelope evolution, which is accompanied by drastic loss of angular momentum, mass, and orbital energy and which leaves behind close binaries often involving at least one white dwarf, neutron star, or black hole. The best studied phase of common envelope is the dynamical inspiral lasting few original orbital periods. We show theoretical interpretation of observations of V1309 Sco and AT2018bwo revealing that binaries undergo substantial prolonged mass loss before the dynamical event amounting up to few solar masses. This mass loss is concentrated in the orbital plane in the form of an outflow or a circumbinary disk. Collision between this slower mass loss and the subsequent faster dynamical ejection powers a bright red transient. The resulting radiative shock helps to shape the explosion remnant and provides a site of dust and molecule formation.


title: Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows

abstract: The first long-lived turbulent structures observable in planar shear flows take the form of localized stripes, inclined with respect to the mean flow direction. The dynamics of these stripes are central to transition, and recent studies proposed an analogy to directed percolation where the stripes' proliferation is ultimately responsible for turbulence to become sustained. In the present study we focus on the internal stripe dynamics as well as on the eventual stripe expansion, and we compare the underlying mechanisms in pressure and shear driven planar flows, respectively plane-Poiseuille and plane-Couette flow. Despite the similarities of the overall laminar-turbulence patterns, the stripe proliferation processes in the two cases are fundamentally different. Starting from the growth and sustenance of individual stripes, we find that in plane-Couette flow new streaks are created stochastically throughout the stripe whereas in plane-Poiseuille flow streak creation is deterministic and occurs locally at the downstream tip. Because of the up/downstream symmetry, Couette stripes, in contrast to Poiseuille stripes, have two weak and two strong laminar turbulent interfaces. These differences in symmetry as well as in internal growth give rise to two fundamentally different stripe splitting mechanisms. In plane-Poiseuille flow splitting is connected to the elongational growth of the original stripe, and it results from a break-off / shedding of the stripe's tail. In plane-Couette flow splitting follows from a broadening of the original stripe and a division along the stripe into two slimmer stripes.


title: Text classification in shipping industry using unsupervised models and Transformer based supervised models

abstract: Obtaining labelled data in a particular context could be expensive and time consuming. Although different algorithms, including unsupervised learning, semi-supervised learning, self-learning have been adopted, the performance of text classification varies with context. Given the lack of labelled dataset, we proposed a novel and simple unsupervised text classification model to classify cargo content in international shipping industry using the Standard International Trade Classification (SITC) codes. Our method stems from representing words using pretrained Glove Word Embeddings and finding the most likely label using Cosine Similarity. To compare unsupervised text classification model with supervised classification, we also applied several Transformer models to classify cargo content. Due to lack of training data, the SITC numerical codes and the corresponding textual descriptions were used as training data. A small number of manually labelled cargo content data was used to evaluate the classification performances of the unsupervised classification and the Transformer based supervised classification. The comparison reveals that unsupervised classification significantly outperforms Transformer based supervised classification even after increasing the size of the training dataset by 30%. Lacking training data is a key bottleneck that prohibits deep learning models (such as Transformers) from successful practical applications. Unsupervised classification can provide an alternative efficient and effective method to classify text when there is scarce training data.


title: No Proca Photons

abstract: We show that the Proca equation in vacuum, as well as its plausible modifications in dielectric media, is incompatible with experimental evidence, no matter how small the Proca mass is.


title: Classical Lagrange formalism for non-conservative dynamical systems

abstract: The classical Lagrange formalism is generalized to the case of arbitrary stationary (but not necessarily conservative) dynamical systems. It is shown that the equations of motion for such systems can be derived in the standard ways from the Lagrange functions which are linear in system velocities, have no explicit dependence on time, and do not require the introduction of any additional degrees of freedom. We show that time-symmetry of such Lagrange functions leads to the integrals of motion naturally generalizing the notion of energy but not coinciding with it in non-conservative cases. The non-conservative analogs of Hamilton equations, Poisson brackets, Hamilton-Jacobi equations, Liouville theorem and Principle of Stationary Action are discussed as well. As an example, we consider two cases demonstrating the work of the proposed schema: the classical model of one-dimensional damped harmonic oscillator and a special class of non-physical exactly-solvable multi-dimensional dynamical models.


title: Quantum nonlinear planar Hall effect in bilayer graphene: an orbital effect of a steady in-plane magnetic field

abstract: We study the quantum nonlinear planar Hall effect in bilayer graphene under a steady in-plane magnetic field. When time-reversal symmetry is broken by the magnetic field, a charge current occurs in the second-order response to an external electric field, as a result of the Berry curvature dipole in momentum space. We have shown that a nonlinear planar Hall effect originating from the anomalous velocity is deduced by an orbital effect of an in-plane magnetic field on electrons in bilayer graphene in the complete absence of spin-orbit coupling. Taking into account the symmetry analysis, we derived the dominant dependence of Berry curvature dipole moment on the magnetic field components. Moreover, we illustrate how to control and modulate the Berry curvature dipole with an external planar magnetic field, gate voltage, and Fermi energy.


title: Benchmark for Uncertainty & Robustness in Self-Supervised Learning

abstract: Self-Supervised Learning (SSL) is crucial for real-world applications, especially in data-hungry domains such as healthcare and self-driving cars. In addition to a lack of labeled data, these applications also suffer from distributional shifts. Therefore, an SSL method should provide robust generalization and uncertainty estimation in the test dataset to be considered a reliable model in such high-stakes domains. However, existing approaches often focus on generalization, without evaluating the model's uncertainty. The ability to compare SSL techniques for improving these estimates is therefore critical for research on the reliability of self-supervision models. In this paper, we explore variants of SSL methods, including Jigsaw Puzzles, Context, Rotation, Geometric Transformations Prediction for vision, as well as BERT and GPT for language tasks. We train SSL in auxiliary learning for vision and pre-training for language model, then evaluate the generalization (in-out classification accuracy) and uncertainty (expected calibration error) across different distribution covariate shift datasets, including MNIST-C, CIFAR-10-C, CIFAR-10.1, and MNLI. Our goal is to create a benchmark with outputs from experiments, providing a starting point for new SSL methods in Reliable Machine Learning. All source code to reproduce results is available at https://github.com/hamanhbui/reliable_ssl_baselines.


title: (Semi)leptonic kaon decays and neutral kaon mixing from lattice QCD

abstract: We review recent progress on leptonic and semileptonic kaon decays and neutral kaon mixing from lattice QCD.


title: Strong solutions to submodular mean field games with common noise and related McKean-Vlasov FBSDEs

abstract: This paper studies multidimensional mean field games with common noise and the related system of McKean-Vlasov forward-backward stochastic differential equations deriving from the stochastic maximum principle. We first propose some structural conditions which are related to the submodularity of the underlying mean field game and are a sort of opposite version of the well known Lasry-Lions monotonicity. By reformulating the representative player minimization problem via the stochastic maximum principle, the submodularity conditions allow to prove comparison principles for the forward-backward system, which correspond to the monotonicity of the best reply map. Building on this property, existence of strong solutions is shown via Tarski's fixed point theorem, both for the mean field game and for the related McKean-Vlasov forward-backward system. In both cases, the set of solutions enjoys a lattice structure, with minimal and maximal solutions which can be constructed by iterating the best reply map or via the fictitious play algorithm.


title: Set Membership based Nonlinear Model Predictive Control

abstract: We present a numerically efficient Nonlinear Model Predictive Control (NMPC) approach, called Set Membership based NMPC (SM-NMPC). In particular, a Set Membership method is used to derive from data an approximation and tight bounds on the optimal NMPC control law. These quantities are used to reduce the dimensionality and volume of the search domain of the NMPC optimization problem, allowing a significant shortening of the computation time. The proposed SM-NMPC strategy is tested in simulation, considering realistic autonomous vehicle scenarios, like parallel parking and lane keeping maneuvers.


title: $1/N$ expansion of the D3-D5 defect CFT

abstract: We consider four dimensional $U(N)$ $\mathcal N=4$ SYM theory interacting with a 3d $\mathcal N=4$ theory living on a codimension-one interface and holographically dual to the D3-D5 system without flux. Localization captures several observables in this dCFT, including its free energy, related to the defect expectation value, and single trace $\frac{1}{2}$-BPS composite scalars. These quantities may be computed in a hermitian one-matrix model with non-polynomial single-trace potential. We exploit the integrable Volterra hierarchy underlying the matrix model and systematically study its $1/N$ expansion at any value of the 't Hooft coupling. In particular, the strong coupling regime is determined -- up to non-perturbative exponentially suppressed corrections -- by differential relations that constrain higher order terms in the $1/N$ expansion. The analysis is extended to the model with $SU(N)$ gauge symmetry by resorting to the more general Toda lattice equations.


title: Data-driven modal decomposition methods as feature detection techniques for flow problems: a critical assessment

abstract: Modal decomposition techniques are showing a fast growth in popularity for their good properties as data-driven tools. There are several modal decomposition techniques, yet Proper Orthogonal Decomposition (POD) and Dynamic Mode Decomposition (DMD) are considered the most demanded methods, especially in the field of fluid dynamics. Following their magnificent performance on various applications in several fields, numerous extensions of these techniques have been developed. In this work we present an ambitious review comparing eight different modal decomposition techniques, including most established methods: POD, DMD and Fast Fourier Trasform (FFT), extensions of these classical methods: based on time embedding systems, Spectral POD (SPOD) and Higher Order DMD (HODMD), based on scales separation, multi-scale POD (mPOD), multi-resolution DMD (mrDMD), and based on the properties of the resolvent operator, the data-driven Resolvent Analysis (RA). The performance of all these techniques will be evaluated on three different testcases: the laminar wake around cylinder, a turbulent jet flow, and the three dimensional wake around cylinder in transient regime. First, we show a comparison between the performance of the eight modal decomposition techniques when the datasets are shortened. Next, all the results obtained will be explained in details, showing both the conveniences and inconveniences of all the methods under investigation depending on the type of application and the final goal (reconstruction or identification of the flow physics). In this contribution we aim on giving a -- as fair as possible -- comparison of all the techniques investigated. To the authors knowledge, this is the first time a review paper gathering all this techniques have been produced, clarifying to the community what is the best technique to use for each application.


title: Enrico Fermi: a little-known conference dating back to the early years of solid-state physics

abstract: In April 1925, Enrico Fermi was only 23 years old and he had graduated less than three years earlier. Despite his age, Fermi was invited at the University of Rome by Federigo Enriques to give several lectures on the recent advances in physics at the Italian Mathematics Seminar. Enriques was also the editor of "Periodico di Matematiche", an important Italian journal concerned primarily with secondary school math teachers. Some of the articles published by "Periodico di Matematiche" correspond to the lectures which Fermi gave during seminars and meetings of Italian mathematicians. Here we propose an English translation for one of these articles, entitled "Sopra la teoria cinetica dei corpi solidi" and discussing the kinetic theory of solids. We believe that this Fermi's work offers a twofold interesting perspective: on one side, it allows us to explore the problems related to the structure of matter of emerging at the time as seen by the eyes of a bright, young physicist. On the other hand, it shows us the undoubtedly high scientific level of the articles read in Italy by the secondary school math teachers in the Twenties.


title: Dynamic Speed Guidance for CAV Ramp Merging in Non-Cooperative Environment: An On-Site Experiment

abstract: Ramp merging is a typical application of cooperative intelligent transportation system (C-ITS). Vehicle trajectories perceived by roadside sensors are importation complement to the limited visual field of on-board perception. Vehicle tracking and trajectory denoising algorithm is proposed in this paper to take full advantage of roadside cameras for vehicle trajectory and speed profile estimation. Dynamic speed guidance algorithm is proposed to help on-ramp vehicles to merge into mainline smoothly, even in non-cooperative environment where mainline vehicles are not expected to slow down to accommodate on-ramp vehicles. On-site experiments were taken out in a merging area of Hangzhou Belt Highway to testify our prototype system, and simulation analysis shows our proposed algorithm can achieve significant fuel savings during the ramp merging process.


title: Estimation of Expected Shortfall under Various Experimental Conditions

abstract: Our primary aim is to find an estimate of the expected shortfall in various situations: (1) Nonparametric situation, when the probability distribution of the incurred loss is unknown, only satisfying some general conditions. Then, following [3], the expected shortfall can be expressed through a minimization of a well known quantile criterion and its numerical estimate is based on the empirical quantile functionof the loss. (2) The distribution function of the loss is known, but the loss can be contaminated by an additive measurement error: Estimating the expected shortfallin such a case exploits the concept of pseudo-capacities elaborated in [11] and [6] and its numerical value is based on the empirical quantile function of the suitable capacity. (3) The loss distribution can be contaminated by the heavy right tail with Pareto index > 1. The problem of interest is in this case to evaluate the effect of the Pareto index on the resulting expected shortfall.


title: Delay Analysis of IEEE 802.11be Multi-link Operation under Finite Load

abstract: Multi-link Operation (MLO), arguably the most disruptive feature introduced in IEEE 802.11be, will cater for delay-sensitive applications by using multiple radio interfaces concurrently. In this paper, we analyze the delay distribution of MLO under non-saturated traffic. Our results show that upgrading from legacy single-link to MLO successfully contains the $95$th percentile delay as the traffic load increases, but also that adding extra interfaces yields rapidly diminishing gains. Further experiments we conduct on Google Stadia traces, accounting for realistic traffic with batch arrivals, confirm the insights stemming from our theoretical analysis, vouching for MLO to support high-resolution real-time video with a controlled delay.


title: Parity-detection-based Mach-Zehnder interferometry with coherent and non-Gaussian squeezed vacuum states as inputs

abstract: We theoretically explore the advantages rendered by non-Gaussian operations in phase estimation using a parity-detection-based Mach-Zehnder interferometer, with one input being a coherent state and the other being a non-Gaussian squeezed vacuum state (SVS). We consider a realistic model to perform three different non-Gaussian operations, namely photon subtraction, photon addition, and photon catalysis on a single-mode SVS. We start by deriving the Wigner function of the non-Gaussian SVSs, which is then utilized to derive the expression for the phase sensitivity. The analysis of the phase sensitivity reveals that all three different non-Gaussian operations can enhance the phase sensitivity under suitable choices of parameters. We also consider the probabilistic nature of these non-Gaussian operations, the results of which reveal the single photon addition to be the optimal operation. Further, our analysis also enables us to identify the optimal squeezing of the SVS and the transmissivity of the beam splitter involved in the implementation of the non-Gaussian operations.


title: Is pluralism in the history of mathematics possible?

abstract: Leibniz scholarship is currently an area of lively debate. We respond to some recent criticisms by Archibald et al.


title: Circular Figures in Elamite Mathematics

abstract: In this article, we study a particular group of plane figures whose constants are listed in the Susa Mathematical Tablet No.\,3 (\textbf{SMT No.\,3}). We explain possible ways to define these figures and seek to demonstrate that the Susa scribes used complicated calculations to obtain such numbers. We also give examples of circular figures used for Elamite artifacts through which one can appreciate the significance of these figures in Elamite art.


title: On nonlinear Markov processes in the sense of McKean

abstract: We study nonlinear Markov processes in the sense of McKean's seminal work [30] and present a large class of new examples. Our notion of nonlinear Markov property is in McKean's spirit, but, in fact, more general in order to include examples of such processes whose one-dimensional time marginal densities solve a nonlinear parabolic PDE, more precisely, a nonlinear Fokker--Planck--Kolmogorov equation, such as Burgers' equation, the porous media equation on $\mathbb{R}^d$ for all $d \geq 1$, or variants of the latter with transport-type drift, and the $2D$ vorticity Navier--Stokes equation. We show that the associated nonlinear Markov process is given by path laws of weak solutions to a corresponding distribution-dependent stochastic differential equation where both the diffusion and drift coefficient depends singularly (i.e. Nemytskii-type) on its one-dimensional time marginals. We stress that for this the nonlinear Fokker--Planck--Kolmogorov equations do not necessarily have to be well-posed. Thus, we establish a one-to-one correspondence between solution flows of a large class of nonlinear parabolic PDEs and nonlinear Markov processes. As a particular example we obtain, for all $d \geq 1$, that the solution flow of the porous media equation on $\mathbb{R}^d$ is associated to a nonlinear Markov process, in the same way as the heat flow is associated to Brownian motion.


title: SRGe2149+6736 -- the new candidate to AM~Her type variables discovered by eROSITA telescope on "Spectrum--Roentgen--Gamma" orbital observatory

abstract: We present the results of the optical identification, classification, as well as analysis of photometric and spectral observations of the X-ray transient SRGe2149+6736 detected by the eROSITA telescope during SRG all-sky X-ray survey. Photometric observations of the optical companion of SRGe2149+6736 were carried out on 6m telescope BTA SAO RAS, 1.5m Russian-Turkish telescope RTT-150 and 2.5m telescope CMO of Moscow State University. Together with ZTF data they showed that the source is a cataclysmic variable with an orbital period $P=85\pm0.4$~min which demonstrates long-term brightness variability from $23.5$~mag (low state) to $20$~mag (high state). The high-state light curves are consistent with a model of accreting magnetic white dwarf and suggest that SRGe2149+6736 belongs to AM~Her type variables. The optical spectra obtained in the low state are consistent with a spectral energy distribution of a white dwarf with a temperature of ~24000 K.


title: Effects of Lorentz Symmetry Breaking Environment on Generalized Relativistic Quantum Oscillator Field

abstract: In this paper, we study the generalized Klein-Gordon oscillator equation under the effects of the violation of Lorentz Symmetry defined by a tensor field $(K_F)_{\mu\nu\alpha\beta}$ out of the Standard Model Extension (SME). We consider a possible scenario of the Lorentz-Violating effects with a Cornell-type electric field and a linear magnetic field that contributes a harmonic-type central potential in the relativistic quantum motions of scalar oscillator fields. The bound-states solutions of the wave equation using the parametric Nikiforov-Uvarov method by considering a Coulomb and Cornell-type potential form functions are obtained. We see that the eigenvalue solutions get modified by the Lorentz symmetry-breaking effects in comparison to the Landau levels (without Lorentz-Violation effects in flat space)


title: Some disquisitions on cosmological 2-form dualities

abstract: In this work we study different aspect of self-interacting 2-form fields with special emphasis in their cosmological applications. We provide the explicit construction of how massless 2-forms are compatible with the cosmological principle without resorting to the dual scalar field formulation. In terms of the 2-form, the residual Euclidean group is non-trivially realised by means of a combination of external spatial translations and internal gauge transformations. After presenting the general discussion of the dualities in cosmological scenarios, we analyse particular examples for some singular models and discuss in some detail the dual descriptions of the DBI, the cuscuton and the ghost condensate as well as the role of the duality in the effective field theories of cosmological perturbations. We then proceed to analysing scenarios with several self-interacting massless 2-forms and we show that they naturally provide the dual description of a solid. We then show how the perfect fluid and superfluids can be obtained by taking the appropriate limits in the dual formulations. We finally consider the case of massive 2-forms and their duals and briefly discuss their potential signatures in gravitational waves astronomy.


title: Multi-scale architecture for fast optical addressing and control of large scale qubit arrays

abstract: We present a technique for rapid site-selective control of the quantum state of particles in a large array using a combination of a fast deflector (e.g. an acousto-optic deflector) and a relatively slow spatial light modulator. The use of spatial light modulators for site-selective quantum state manipulation has been limited due to slow transition times preventing rapid, consecutive quantum gates. By partitioning the spatial light modulator into multiple segments, and using a fast deflector to transition between them, it is possible to substantially reduce the average time increment between scanner transitions by increasing the number of gates that can be performed for a single spatial light modulator full frame setting. We analyze the performance of this device in two different configurations: in configuration 1, each segment of the spatial light modulator addresses the full qubit array; in configuration 2, each segment of the spatial light modulator addresses a sub-array and an additional fast deflector positions that sub-array with respect to the full qubit array. With these hybrid scanners we calculate qubit addressing rates that are tens to hundreds of times faster than using an SLM alone.


title: Exceptional Laurent biorthogonal polynomials through spectral transformations of generalized eigenvalue problems

abstract: A formulation is given for the spectral transformation of the generalized eigenvalue problem through the decomposition of the second-order differential operators. This allows us to construct some Laurent biorthogonal polynomial systems with gaps in the degree of the polynomial sequence. These correspond to an exceptional-type extension of the orthogonal polynomials, as an extension of the Laurent biorthogonal polynomials. Specifically, we construct the exceptional extension of the Hendriksen-van Rossum polynomials, which are biorthogonal analogs of the classical orthogonal polynomials. Similar to the cases of exceptional extensions of classical orthogonal polynomials, both of state-deletion and state-addition occur.


title: Spin-lattice interaction parameters from first principles: theory and implementation

abstract: A scheme is presented to calculate on a first-principles level the spin-lattice coupling (SLC) parameters needed to perform combined molecular-spin dynamics (MSD) simulations. By treating changes to the spin configuration and atomic positions on the same level, closed expressions for the atomic SLC parameters could be derived in a coherent way up to any order. The properties of the SLC parameters are discussed considering separately the symmetric and antisymmetric parts of the SLC tensor. The changes due to atomic displacements of the spin-spin exchange coupling (SSC) parameters estimated using the SLC parameters are compared with the SSC parameters calculated for an embedded cluster with the central atom displaced, demonstrating good agreement of these results. Moreover, this allows to study the impact of different SLC contributions, linear and quadratic with respect to displacements, on the properties of the modified SSC parameters. In addition, we represent an approach to calculate the site-diagonal SLC parameters characterizing local magnetic anisotropy induced by a lattice distortion, which is a counterpart of the approach based on magnetic torque used for the investigations of magneto-crystalline anisotropy (MCA) as well as for calculations of the MCA constants. In particular, the dependence of the induced magnetic torque on different types of atomic displacements is analyzed.


title: Algebra of L-banded Matrices

abstract: Convergence is a crucial issue in iterative algorithms. Damping is commonly employed to ensure the convergence of iterative algorithms. The conventional ways of damping are scalar-wise, and either heuristic or empirical. Recently, an analytically optimized vector damping was proposed for memory message-passing (iterative) algorithms. As a result, it yields a special class of covariance matrices called L-banded matrices. In this paper, we show these matrices have broad algebraic properties arising from their L-banded structure. In particular, compact analytic expressions for the LDL decomposition, the Cholesky decomposition, the determinant after a column substitution, minors, and cofactors are derived. Furthermore, necessary and sufficient conditions for an L-banded matrix to be definite, a recurrence to obtain the characteristic polynomial, and some other properties are given. In addition, we give new derivations of the determinant and the inverse. (It's crucial to emphasize that some works have independently studied matrices with this special structure, named as L-matrices. Specifically, L-banded matrices are regarded as L-matrices with real and finite entries.)


title: The Rousseau number: an informetric version of the Erd\"os number

abstract: Some mathematical properties of the Erd\"os number and its formal equivalents are shown. An informetric equivalent is presented: the Rousseau number. This contribution honors Ronald Rousseau for his 73th birthday.


title: On $Gr$-$C$-$2^{A}$-secondary submodules

abstract: Let $\Omega$ be a group with identity $e$, $\Gamma$ be a $\Omega$-graded commutative ring and $\Im$ a graded $\Gamma$-module. In this article, we introduce the concept of $gr$-$C$-$2^{A}$-secondary submodules and investigate some properties of this new class of graded submodules. A non-zero graded submodule $S$ of $\Im$ is said to be a $gr$-$C$-$2^{A}$-secondary submodule if whenever $r,s \in h(\Gamma)$, $L$ is a graded submodule of $\Im$, and $rs\,S\subseteq L$, then either $r\,S\subseteq L$ or $s\,S \subseteq L$ or $rs \in Gr(Ann_\Gamma(S))$.


title: Quantum Physics has a New, and Remarkable, Expansion

abstract: Canonical quantization has taught us great things. A common example is that of the harmonic oscillator, which is like swinging a ball on a string back and forth. However, the half-harmonic oscillator blocks the ball at the bottom and then it quickly bounces backwards. This second model cannot be correctly solved using canonical quantization. Now, there is an expansion of quantization, called affine quantization, that can correctly solve the half-harmonic oscillator, and offers correct solutions to a grand collection of other problems, which even reaches to field theory and gravity. This paper has been designed to introduce affine quantization; what it is, and what it can do.


title: Second-level global sensitivity analysis of numerical simulators with application to an accident scenario in a sodium-cooled fast reactor

abstract: Numerical simulators are widely used to model physical phenomena and global sensitivity analysis (GSA) aims at studying the global impact of the input uncertainties on the simulator output. To perform GSA, statistical tools based on inputs/output dependence measures are commonly used. We focus here on the Hilbert-Schmidt independence criterion (HSIC). Sometimes, the probability distributions modeling the uncertainty of inputs may be themselves uncertain and it is important to quantify their impact on GSA results. We call it here the second-level global sensitivity analysis (GSA2). However, GSA2, when performed with a Monte Carlo double-loop, requires a large number of model evaluations, which is intractable with CPU time expensive simulators. To cope with this limitation, we propose a new statistical methodology based on a Monte Carlo single-loop with a limited calculation budget. First, we build a unique sample of inputs and simulator outputs, from a well-chosen probability distribution of inputs. From this sample, we perform GSA for various assumed probability distributions of inputs by using weighted HSIC measures estimators. Statistical properties of these weighted estimators are demonstrated. Subsequently, we define 2 nd-level HSICbased measures between the distributions of inputs and GSA results, which constitute GSA2 indices. The efficiency of our GSA2 methodology is illustrated on an analytical example, thereby comparing several technical options. Finally, an application to a test case simulating a severe accidental scenario on nuclear reactor is provided.


title: SceNDD: A Scenario-based Naturalistic Driving Dataset

abstract: In this paper, we propose SceNDD: a scenario-based naturalistic driving dataset that is built upon data collected from an instrumented vehicle in downtown Indianapolis. The data collection was completed in 68 driving sessions with different drivers, where each session lasted about 20--40 minutes. The main goal of creating this dataset is to provide the research community with real driving scenarios that have diverse trajectories and driving behaviors. The dataset contains ego-vehicle's waypoints, velocity, yaw angle, as well as non-ego actor's waypoints, velocity, yaw angle, entry-time, and exit-time. Certain flexibility is provided to users so that actors, sensors, lanes, roads, and obstacles can be added to the existing scenarios. We used a Joint Probabilistic Data Association (JPDA) tracker to detect non-ego vehicles on the road. We present some preliminary results of the proposed dataset and a few applications associated with it. The complete dataset is expected to be released by early 2023.


title: Endpoint sparse domination for classes of multiplier transformations

abstract: We prove endpoint results for sparse domination of translation invariant multiscale operators. The results are formulated in terms of dilation invariant classes of Fourier multipliers based on natural localized $M^{p\to q}$ norms which express appropriate endpoint regularity hypotheses. The applications include new and optimal sparse bounds for classical oscillatory multipliers and multi-scale versions of radial bump multipliers.


title: Chaos analysis in the un-perturbed system for Quintic Duffing equation

abstract: In this paper we have investigated the driven cubic-quintic Duffing equation. Using the Melnikov analysis technique, we are able to predict the number of limit cycles around the equilibrium and to develop a theoretical approach to chaos suppression in damped driven systems. The analytical solution and the bifurcation of limit cycles of the investigated system have been studied., We discussed our nonlinear dynamics, namely, the cubic quintic Duffing equation in the absence of noise and we may discusse it in the presence of noise in the futur research, investigating for the Hamiltonian of the system (not perturbed) in both cases is presented.


title: Permissionless Refereed Tournaments

abstract: Scalability problems in programmable blockchains have created a strong demand for secure methods that move the bulk of computation outside the blockchain. One of the preferred solutions to this problem involves off-chain computers that compete interactively to prove to the limited blockchain that theirs is the correct result of a given intensive computation. Each off-chain computer spends effort linear on the cost of the computation, while the blockchain adjudicates disputes spending only logarithmic effort. However, this effort is multiplied by the number of competitors, rendering disputes that involve a significant number of parties impractical and susceptible to Sybil attacks. In this paper, we propose a practical dispute resolution algorithm by which a single honest competitor can win disputes while spending effort linear on the cost of the computation, but only logarithmic on the number of dishonest competitors. This algorithm is a novel, stronger primitive for building permissionless fraud-proof protocols, which doesn't rely on complex economic incentives to be enforced.


title: HAC-Net: A Hybrid Attention-Based Convolutional Neural Network for Highly Accurate Protein-Ligand Binding Affinity Prediction

abstract: Applying deep learning concepts from image detection and graph theory has greatly advanced protein-ligand binding affinity prediction, a challenge with enormous ramifications for both drug discovery and protein engineering. We build upon these advances by designing a novel deep learning architecture consisting of a 3-dimensional convolutional neural network utilizing channel-wise attention and two graph convolutional networks utilizing attention-based aggregation of node features. HAC-Net (Hybrid Attention-Based Convolutional Neural Network) obtains state-of-the-art results on the PDBbind v.2016 core set, the most widely recognized benchmark in the field. We extensively assess the generalizability of our model using multiple train-test splits, each of which maximizes differences between either protein structures, protein sequences, or ligand extended-connectivity fingerprints of complexes in the training and test sets. Furthermore, we perform 10-fold cross-validation with a similarity cutoff between SMILES strings of ligands in the training and test sets, and also evaluate the performance of HAC-Net on lower-quality data. We envision that this model can be extended to a broad range of supervised learning problems related to structure-based biomolecular property prediction. All of our software is available as open source at https://github.com/gregory-kyro/HAC-Net/, and the HACNet Python package is available through PyPI.


title: On closed distance magic circulants of valency up to $5$

abstract: Let $\Gamma=(V,E)$ be a graph of order $n$. A {\em closed distance magic labeling} of $\Gamma$ is a bijection $\ell : V \to \{1,2, \ldots, n\}$ for which there exists a positive integer $r$ such that $\sum_{x \in N[u]} \ell(x) = r$ for all vertices $u \in V$, where $N[u]$ is the closed neighborhood of $u$. A graph is said to be {\em closed distance magic} if it admits a closed distance magic labeling. In this paper, we classify all connected closed distance magic circulants with valency at most $5$, that is, Cayley graphs $\operatorname{Cay}(\mathbb{Z}_n;S)$ where $|S| \le 5$ and $S$ generates $\mathbb{Z}_n$.


title: Alignment Entropy Regularization

abstract: Existing training criteria in automatic speech recognition(ASR) permit the model to freely explore more than one time alignments between the feature and label sequences. In this paper, we use entropy to measure a model's uncertainty, i.e. how it chooses to distribute the probability mass over the set of allowed alignments. Furthermore, we evaluate the effect of entropy regularization in encouraging the model to distribute the probability mass only on a smaller subset of allowed alignments. Experiments show that entropy regularization enables a much simpler decoding method without sacrificing word error rate, and provides better time alignment quality.


title: Comparison of Three Job Mapping Algorithms for Supercomputer Resource Managers

abstract: Performance of supercomputer depends on the quality of resource manager, one of its functions is assignment of jobs to the nodes of clusters or MPP computers. Parts of parallel programs interact with each other with different intensity, and mapping of program to supercomputer nodes influence efficiency of the run. At each program run graph representing application program is to be mapped onto graph of nodes representing a subset of computer system. The both graphs are not known beforehand, hence the mapping must be done in reasonable time while scheduling resources. Three mapping algorithms were explored: parallel versions of simulated annealing, genetic and composite algorithms. A set of experimental runs with different algorithms parameters was performed, comparison of mapping quality and runtime was made, and suggestions on applicability of algorithms for resource managers were provided.


title: A Method to Load Tellurium in Liquid Scintillator for the Study of Neutrinoless Double Beta Decay

abstract: A method has been developed to load tellurium into liquid scintillator so as to permit searches for neutrinoless double beta decay with high sensitivity. The approach involves the synthesis of an oil-soluble tellurium compound from telluric acid and an organic diol. The process utilises distillable chemicals that can be safely handled underground and affords low radioactive backgrounds, low optical absorption and high light yields at loading levels of at least several percent Te by weight.


title: Homotopical selection principles in bitopological dynamical systems

abstract: Homotopy deals with the intuitive idea of continuous deformation of a continuous map between two topological spaces. In this paper, we introduce homotopical selection principles in bitopological dynamical systems. Here, we define $BTDS-$homotopy, $BTDS-$iteration homotopy and $BTDS-$path homotopy, and then using these notions we define various selection properties viz. H-Rothberger property, H-Menger property, PH-Rothberger property, PH-Menger property and their weaker versions. We also discuss several results connecting these concepts in bitopological dynamical systems.


title: Unitary maps on Hamiltonians of an electron moving in a plane and coherent states construction

abstract: In this work we consider a model of an electron moving in a plane under uniform external magnetic and electric fields. We investigate the action of unitary maps on the associated quantum Hamiltonians and construct the coherent states of Gazeau-Klauder type.


title: A Continuum Model for Morphology Formation from Interacting Ternary Mixtures: Simulation Study of the Formation and Growth of Patterns

abstract: Our interest lies in exploring the ability of a coupled nonlocal system of two quasilinear parabolic partial differential equations to produce phase separation patterns. The obtained patterns are referred here as morphologies. Our target system is derived in the literature as the rigorous hydrodynamic limit of a suitably scaled interacting particle system of Blume--Capel--type driven by Kawasaki dynamics. The system describes in a rather implicit way the interaction within a ternary mixture that is the macroscopic counterpart of a mix of two populations of interacting solutes in the presence of a background solvent. Our discussion is based on the qualitative behavior of numerical simulations of finite volume approximations of smooth solutions to our system and their quantitative postprocessing in terms of two indicators (correlation and structure factor calculations). Our results show many similar features compared to what one knows at the level of the stochastic Blume--Capel dynamics with three interacting species. The properties of the obtained morphologies (shape, connectivity, and so on) can play a key role in, e.g., the design of the active layer for efficient organic solar cells.

categories: cond-mat.stat-mech math-ph math.MP physics.comp-ph


title: Mixed and multipoint finite element methods for rotation-based poroelasticity

abstract: This work proposes a mixed finite element method for the Biot poroelasticity equations that employs the lowest-order Raviart-Thomas finite element space for the solid displacement and piecewise constants for the fluid pressure. The method is based on the formulation of linearized elasticity as a weighted vector Laplace problem. By introducing the solid rotation and fluid flux as auxiliary variables, we form a four-field formulation of the Biot system, which is discretized using conforming mixed finite element spaces. The auxiliary variables are subsequently removed from the system in a local hybridization technique to obtain a multipoint rotation-flux mixed finite element method. Stability and convergence of the four-field and multipoint mixed finite element methods are shown in terms of weighted norms, which additionally leads to parameter-robust preconditioners. Numerical experiments confirm the theoretical results.


title: Liouville classification of integrable geodesic flows on a projective plane in a potential field

abstract: A Liouville classification of a natural Hamiltonian system on the projective plane with a rotation metric and a linear integral is obtained. All Fomenko--Zieschang invariants (i.e., labeled molecules) of the system are calculated.


title: Computational Complexity of Flattening Fixed-Angle Orthogonal Chains

abstract: Planar/flat configurations of fixed-angle chains and trees are well studied in the context of polymer science, molecular biology, and puzzles. In this paper, we focus on a simple type of fixed-angle linkage: every edge has unit length (equilateral), and each joint has a fixed angle of $90^\circ$ (orthogonal) or $180^\circ$ (straight). When the linkage forms a path (open chain), it always has a planar configuration, namely the zig-zag which alternating the $90^\circ$ angles between left and right turns. But when the linkage forms a cycle (closed chain), or is forced to lie in a box of fixed size, we prove that the flattening problem -- deciding whether there is a planar noncrossing configuration -- is strongly NP-complete. Back to open chains, we turn to the Hydrophobic-Hydrophilic (HP) model of protein folding, where each vertex is labeled H or P, and the goal is to find a folding that maximizes the number of H-H adjacencies. In the well-studied HP model, the joint angles are not fixed. We introduce and analyze the fixed-angle HP model, which is motivated by real-world proteins. We prove strong NP-completeness of finding a planar noncrossing configuration of a fixed-angle orthogonal equilateral open chain with the most H--H adjacencies, even if the chain has only two H vertices. (Effectively, this lets us force the chain to be closed.)


title: Two families of Dirac-like operators for Drinfeld's Hecke algebra

abstract: In this paper, we define two generalisations of Dirac operators for Drinfeld's Hecke algebra. One generalisation, Parthasarathy operators inherit the notion of the Dirac inequality. The second generalisation, warped Dirac operators are such that every unitary module must have a non-zero warped Dirac cohomology. An open question is whether non-zero warped Dirac cohomology can determine the infinitesimal character akin to the fact that non-zero Dirac cohomology does. For a type $A$ Hecke algebra we give a family of operators in each class.


title: Unreliability of two-band model analysis of magnetoresistivities in unveiling temperature-driven Lifshitz transition

abstract: Recently, anomalies in the temperature dependences of the carrier density and/or mobility derived from analysis of the magnetoresistivities using the conventional two-band model have been used to unveil intriguing temperature-induced Lifshitz transitions in various materials. For instance, two temperature-driven Lifshitz transitions were inferred to exist in the Dirac nodal-line semimetal ZrSiSe, based on two-band model analysis of the Hall magnetoconductivities where the second band exhibits a change in the carrier type from holes to electrons when the temperature decreases below T = 106 K and a dip is observed in the mobility versus temperature curve at T = 80 K. Here, we revisit the experiments and two-band model analysis on ZrSiSe. We show that the anomalies in the second band may be spurious, because the first band dominates the Hall magnetoconductivities at T > 80 K, making the carrier type and mobility obtained for the second band from the two-band model analysis unreliable. That is, care must be taken in interpreting these anomalies as evidences for temperature-driven Lifshitz transitions. Our skepticism on the existence of such phase transitions in ZrSiSe is further supported by the validation of the Kohler's rule for magnetoresistances at temperatures below 180 K. This work showcases potential issues in interpreting anomalies in the temperature dependence of the carrier density and mobility derived from the analysis of magnetoconductivities or magnetoresistivities using the conventional two-band model.


title: Grant-free Random Access with Self-conjugating Metasurfaces

abstract: Recently, grant-free random access schemes have received significant attention in the scientific community as a solution for extremely low-latency massive communications in new industrial Internet-of-things (IIoT) and digital twins applications. Unfortunately, the adoption of such schemes in the mmWave and THz bands is challenging because massive antenna arrays are needed to counteract the high path loss and provide massive access with consequent significant signaling overhead for channel estimation and slow beam alignment procedures between the base station (BS) and user equipments (UEs), which are in contrast to the ultra-low-latency requirement, as well as to the need for low hardware complexity and energy consumption. In this paper, we propose the adoption of a self-conjugating metasurface (SCM) at the UE side, where the signal sent by the BS is reflected after being conjugated and phase-modulated according to the UE data. Then, a novel grant-free random access protocol is presented capable to detect new UEs and establish parallel multiple-input multiple-output (MIMO) uplink communications with almost zero latency and jitter. This is done in a blind way without the need for RF/ADC chains at the UE side as well as without explicit channel estimation and time-consuming beam alignment schemes.


title: Generalizable Natural Language Processing Framework for Migraine Reporting from Social Media

abstract: Migraine is a high-prevalence and disabling neurological disorder. However, information migraine management in real-world settings could be limited to traditional health information sources. In this paper, we (i) verify that there is substantial migraine-related chatter available on social media (Twitter and Reddit), self-reported by migraine sufferers; (ii) develop a platform-independent text classification system for automatically detecting self-reported migraine-related posts, and (iii) conduct analyses of the self-reported posts to assess the utility of social media for studying this problem. We manually annotated 5750 Twitter posts and 302 Reddit posts. Our system achieved an F1 score of 0.90 on Twitter and 0.93 on Reddit. Analysis of information posted by our 'migraine cohort' revealed the presence of a plethora of relevant information about migraine therapies and patient sentiments associated with them. Our study forms the foundation for conducting an in-depth analysis of migraine-related information using social media data.


title: Decoupled Fitness Criteria for Reactive Systems

abstract: The correctness problem for reactive systems has been thoroughly explored and is well understood. Meanwhile, the efficiency problem for reactive systems has not received the same attention. Indeed, one correct system may be less fit than another correct system and determining this manually is challenging and often done ad hoc. We (1) propose a novel and general framework which automatically assigns comparable fitness scores to reactive systems using interpretable parameters that are decoupled from the system being evaluated, (2) state the computational problem of evaluating this fitness score and reduce this problem to a matrix analysis problem, (3) discuss symbolic and numerical methods for solving this matrix analysis problem, and (4) illustrate our approach by evaluating the fitness of nine systems across three case studies, including the Alternating Bit Protocol and Two Phase Commit.


title: Gamma-convergence of quadratic functionals perturbed by bounded linear functionals

abstract: Given a bounded open set $\Omega\subset \mathbb{R}^n$, we study sequences of quadratic functionals on the Sobolev space $H^1_0(\Omega)$, perturbed by sequences of bounded linear functionals. We prove that their $\Gamma$-limits, in the weak topology of $H^1_0(\Omega)$, can always be written as the sum of a quadratic functional, a linear functional, and a non-positive constant. The classical theory of $G$- and $H$-convergence completely characterises the quadratic and linear parts of the $\Gamma$-limit and shows that their coefficients do not depend on $\Omega$. The constant, which instead depends on $\Omega$ and will be denoted by $-\nu(\Omega)$, plays an important role in the study of the limit behaviour of the energies of the solutions. The main result of this paper is that, passing to a subsequence, we can prove that $\nu$ coincides with a non-negative Radon measure on a sufficiently large collection of bounded open sets $\Omega$. Moreover, we exhibit an example that shows that the previous result cannot be obtained for every bounded open set. The specific form of this example shows that the compactness theorem for the localisation method in $\Gamma$-convergence cannot be easily improved.


title: $\mu$eV electron spectromicroscopy using free-space light

abstract: The synergy between free electrons and light has recently been leveraged to reach an impressive degree of simultaneous spatial and spectral resolution, enabling applications in microscopy and quantum optics. However, the required combination of electron optics and light injection into the spectrally narrow modes of arbitrary specimens remains a challenge. Here, we demonstrate microelectronvolt spectral resolution in the nanoscale mapping of photonic modes with quality factors as high as 10$^4$. We rely on mode-matching of a tightly focused laser beam to whispering gallery modes to achieve a 10$^8$-fold increase in light-electron coupling efficiency. By adapting the shape and size of free-space optical beams to address specific physical questions, our approach allows us to interrogate any type of photonic structure with unprecedented spectral and spatial detail


title: Image closure of symmetric wide-matrix varieties

abstract: Let $X$ be an affine scheme of $k \times \mathbb{N}$-matrices and $Y$ be an affine scheme of $\mathbb{N} \times \cdots \times \mathbb{N}$-dimensional tensors. The group Sym$(\mathbb{N})$ acts naturally on both $X$ and $Y$ and on their coordinate rings. We show that the Zariski closure of the image of a Sym$(\mathbb{N})$-equivariant morphism of schemes from $X$ to $Y$ is defined by finitely many Sym$(\mathbb{N})$-orbits in the coordinate ring of $Y$. Moreover, we prove that the closure of the image of this map is Sym$(\mathbb{N})$-Noetherian, that is, every descending chain of Sym$(\mathbb{N})$-stable closed subsets stabilizes.


title: Hosoya properties of power graphs over certain groups

abstract: The power graph denoted by $\mathcal{P}(\mathcal{G})$ of a finite group $\mathcal{G}$ is a graph with vertex set $\mathcal{G}$ and there is an edge between two distinct elements $u, v \in \mathcal{G}$ if and only if $u^m = v$ or $v^m = u$ for some $m \in \mathbb{N}$. Depending on the distance, the Hosoya polynomial contains a lot of knowledge about graph invariants which can be used to determine well-known chemical descriptors. The Hosoya index of a graph $\Gamma$ is the total number of matchings in $\Gamma$. In this article, the Hosoya properties of the power graphs associated with a finite group, including the Hosoya index, Hosoya polynomial, and its reciprocal are calculated.