title: Soft Actor-Critic Deep Reinforcement Learning for Fault Tolerant Flight Control

abstract: Fault-tolerant flight control faces challenges, as developing a model-based controller for each unexpected failure is unrealistic, and online learning methods can handle limited system complexity due to their low sample efficiency. In this research, a model-free coupled-dynamics flight controller for a jet aircraft able to withstand multiple failure types is proposed. An offline trained cascaded Soft Actor-Critic Deep Reinforcement Learning controller is successful on highly coupled maneuvers, including a coordinated 40 degree bank climbing turn with a normalized Mean Absolute Error of 2.64%. The controller is robust to six failure cases, including the rudder jammed at -15 deg, the aileron effectiveness reduced by 70%, a structural failure, icing and a backward c.g. shift as the response is stable and the climbing turn is completed successfully. Robustness to biased sensor noise, atmospheric disturbances, and to varying initial flight conditions and reference signal shapes is also demonstrated.


title: Is Cross-Attention Preferable to Self-Attention for Multi-Modal Emotion Recognition?

abstract: Humans express their emotions via facial expressions, voice intonation and word choices. To infer the nature of the underlying emotion, recognition models may use a single modality, such as vision, audio, and text, or a combination of modalities. Generally, models that fuse complementary information from multiple modalities outperform their uni-modal counterparts. However, a successful model that fuses modalities requires components that can effectively aggregate task-relevant information from each modality. As cross-modal attention is seen as an effective mechanism for multi-modal fusion, in this paper we quantify the gain that such a mechanism brings compared to the corresponding self-attention mechanism. To this end, we implement and compare a cross-attention and a self-attention model. In addition to attention, each model uses convolutional layers for local feature extraction and recurrent layers for global sequential modelling. We compare the models using different modality combinations for a 7-class emotion classification task using the IEMOCAP dataset. Experimental results indicate that albeit both models improve upon the state-of-the-art in terms of weighted and unweighted accuracy for tri- and bi-modal configurations, their performance is generally statistically comparable. The code to replicate the experiments is available at https://github.com/smartcameras/SelfCrossAttn


title: Structure-aware combinatorial group testing: a new method for pandemic screening

abstract: Combinatorial group testing (CGT) is used to identify defective items from a set of items by grouping them together and performing a small number of tests on the groups. Recently, group testing has been used to design efficient COVID-19 testing, so that resources are saved while still identifying all infected individuals. Due to test waiting times, a focus is given to non-adaptive CGT, where groups are designed a priori and all tests can be done in parallel. The design of the groups can be done using Cover-Free Families (CFFs). The main assumption behind CFFs is that a small number $d$ of positives are randomly spread across a population of $n$ individuals. However, for infectious diseases, it is reasonable to assume that infections show up in clusters of individuals with high contact (children in the same classroom within a school, households within a neighbourhood, students taking the same courses within a university, people seating close to each other in a stadium). The general structure of these communities can be modeled using hypergraphs, where vertices are items to be tested and edges represent clusters containing high contacts. We consider hypergraphs with non-overlapping edges and overlapping edges (first two examples and last two examples, respectively). We give constructions of what we call structure-aware CFF, which uses the structure of the underlying hypergraph. We revisit old CFF constructions, boosting the number of defectives they can identify by taking the hypergraph structure into account. We also provide new constructions based on hypergraph parameters.


title: Deep Movement Primitives: toward Breast Cancer Examination Robot

abstract: Breast cancer is the most common type of cancer worldwide. A robotic system performing autonomous breast palpation can make a significant impact on the related health sector worldwide. However, robot programming for breast palpating with different geometries is very complex and unsolved. Robot learning from demonstrations (LfD) reduces the programming time and cost. However, the available LfD are lacking the modelling of the manipulation path/trajectory as an explicit function of the visual sensory information. This paper presents a novel approach to manipulation path/trajectory planning called deep Movement Primitives that successfully generates the movements of a manipulator to reach a breast phantom and perform the palpation. We show the effectiveness of our approach by a series of real-robot experiments of reaching and palpating a breast phantom. The experimental results indicate our approach outperforms the state-of-the-art method.


title: Informativity conditions for data-driven control based on input-state data and polyhedral cross-covariance noise bounds

abstract: Modeling and control of dynamical systems rely on measured data, which contains information about the system. Finite data measurements typically lead to a set of system models that are unfalsified, i.e., that explain the data. The problem of data-informativity for stabilization or control with quadratic performance is concerned with the existence of a controller that stabilizes all unfalsified systems or achieves a desired quadratic performance. Recent results in the literature provide informativity conditions for control based on input-state data and ellipsoidal noise bounds, such as energy or magnitude bounds. In this paper, we consider informativity of input-state data for control where noise bounds are defined through the cross-covariance of the noise with respect to an instrumental variable; bounds that were introduced originally as a noise characterization in parameter bounding identification. The considered cross-covariance bounds are defined by a finite number of hyperplanes, which induce a (possibly unbounded) polyhedral set of unfalsified systems. We provide informativity conditions for input-state data with polyhedral cross-covariance bounds for stabilization and $\mathcal{H}_2$/$\mathcal{H}_\infty$ control through vertex/half-space representations of the polyhedral set of unfalsified systems.


title: The VMC survey -- XLVII. Turbulence-Controlled Hierarchical Star Formation in the Large Magellanic Cloud

abstract: We perform a statistical clustering analysis of upper main-sequence stars in the Large Magellanic Cloud (LMC) using data from the Visible and Infrared Survey Telescope for Astronomy survey of the Magellanic Clouds. We map over 2500 young stellar structures at 15 significance levels across ~120 square degrees centred on the LMC. The structures have sizes ranging from a few parsecs to over 1 kpc. We find that the young structures follow power-law size and mass distributions. From the perimeter-area relation, we derive a perimeter-area dimension of 1.44+-0.20. From the mass-size relation and the size distribution, we derive two-dimensional fractal dimensions of 1.50+-0.10 and 1.61+-0.20, respectively. We find that the surface density distribution is well-represented by a lognormal distribution. We apply the Larson relation to estimate the velocity dispersions and crossing times of these structures. Our results indicate that the fractal nature of the young stellar structures has been inherited from the gas clouds from which they form and that this architecture is generated by supersonic turbulence. Our results also suggest that star formation in the LMC is scale-free from 10 pc to 700 pc.


title: Using Lie derivatives with dual quaternions for parallel robots

abstract: We introduce the notion of the Lie derivative in the context of dual quaternions that represent rigid motions and twists. First we define the wrench in terms of dual quaternions. Then we show how the Lie derivative helps understand how actuators affect an end effector in parallel robots, and make it explicit in the two cases case of Stewart Platforms, and cable-driven parallel robots. We also show how to use Lie derivatives with the Newton-Raphson Method to solve the forward kinematic problem for over constrained parallel actuators. Finally, we derive the equations of motion of the end effector in dual quaternion form, which include the effect of inertia from the actuators.


title: Quantification of Actual Road User Behavior on the Basis of Given Traffic Rules

abstract: Driving on roads is restricted by various traffic rules, aiming to ensure safety for all traffic participants. However, human road users usually do not adhere to these rules strictly, resulting in varying degrees of rule conformity. Such deviations from given rules are key components of today's road traffic. In autonomous driving, robotic agents can disturb traffic flow, when rule deviations are not taken into account. In this paper, we present an approach to derive the distribution of degrees of rule conformity from human driving data. We demonstrate our method with the Waymo Open Motion dataset and Safety Distance and Speed Limit rules.


title: When Kinematics Dominates Mechanics: Locally Volume-Preserving Primitives for Model Reduction in Finite Elasticity

abstract: A new, and extremely fast, computational modeling paradigm is introduced here for specific finite elasticity problems that arise in the context of soft robotics. Whereas continuum mechanics is a very classical area of study, and significant effort has been devoted to the development of intricate constitutive models for finite elasticity, we show that in the kinds of large-strain mechanics problems arising in soft robotics, many of the parameters in constitutive models are irrelevant. For the most part, the isochoric (locally volume-preserving) constraint dominates behavior, and this can be built into closed-form kinematic deformation fields before even considering other aspects of constitutive modeling. We therefore focus on developing and applying primitive deformations that each observe this constraint. It is shown that by composing a wide enough variety of such deformations that the most common behaviors observed in soft robots can be replicated. Case studies include an inflatable rubber chamber, a slender rubber rod, and a rubber block subjected to different boundary conditions. We show that this method is at least 50 times faster than the ABAQUS implementation of the finite element method (FEM). Physical experiments and measurements show that both our method and ABAQUS have approximately 10% error relative to experimentally measured displacements, as well as to each other. Our method provides a real-time alternative to FEM, and captures essential degrees of freedom for use in feedback control systems.


title: Enhanced Behavioral Cloning with Environmental Losses for Self-Driving Vehicles

abstract: Learned path planners have attracted research interest due to their ability to model human driving behavior and rapid inference. Recent works on behavioral cloning show that simple imitation of expert observations is not sufficient to handle complex driving scenarios. Besides, predictions that land outside drivable areas can lead to potentially dangerous situations. This paper proposes a set of loss functions, namely Social loss and Road loss, which account for modelling risky social interactions in path planning. These losses act as a repulsive scalar field that surrounds non-drivable areas. Predictions that land near these regions incur in a higher training cost, which is minimized using backpropagation. This methodology provides additional environment feedback to the traditional supervised learning set up. We validated this approach on a large-scale urban driving dataset. The results show the agent learns to imitate human driving while exhibiting better safety metrics. Furthermore, the proposed methodology has positive effects on inference without the need to artificially generate unsafe driving examples. The explanability study suggests that the benefits obtained are associated with a higher relevance of non-drivable areas in the agent's decisions compared to classical behavioral cloning.


title: Finite-time response of dynamo mean-field effects in magnetorotational turbulence

abstract: Accretion disc turbulence along with its effect on large-scale magnetic fields plays an important role in understanding disc evolution in general, and the launching of astrophysical jets in particular. Motivated by enabling a comprehensive sub-grid description for global long-term simulations of accretions discs, we aim to further characterize the transport coefficients emerging in local simulations of magnetorotational disc turbulence. For the current investigation, we leverage a time-dependent version of the test-field method, which is sensitive to the turbulent electromotive force (EMF) generated as a response to a set of pulsating background fields. We obtain Fourier spectra of the transport coefficients as a function of oscillation frequency. These are well approximated by a simple response function, describing a finite-time build-up of the EMF as a result of a time-variable mean magnetic field. For intermediate timescales (i.e., slightly above the orbital frequency), we observe a significant phase lag of the EMF compared to the causing field. Augmented with our previous result on a non-local closure relation in space, and incorporated into a suitable mean-field description that we briefly sketch out here, the new framework will allow to drop the restrictive assumption of scale separation.


title: Structural study and evaluation of thermoelectric properties of single-phase isocubanite (CuFe2S3) synthesized via an ultra-fast efficient microwave radiation technique

abstract: The current state-of-the-art thermoelectric materials are generally composed of expensive, scarce, and toxic elements. In this respect, copper-based sulfide compounds have emerged as viable alternatives. Herein, we report for the first time the successful synthesis of single-phase cubic isocubanite CuFe2S3 using mechanical-alloying combined with microwave-assisted synthesis. The isocubanite phase synthesized via this ultra-fast out-of-equilibrium process exhibits a maximum thermoelectric figure of merit, zTmax ~ 0.14 at 673 K. Besides the thermoelectric properties, insights about the structure of isocubanite, based on the refinement of X-ray diffraction data and first principles calculations, are also investigated in detail. It confirms that the Cu-Fe cations in synthetic isocubanite overwhelmingly occupy the 4d sites of the cubic structure in an inherently disordered fashion.


title: Towards 6G zero touch networks: The case of automated Cloud-RAN deployments

abstract: The arrival of 6G technologies shall massively increase the proliferation of on-demand and ephemeral networks. Creating and removing customized networks on the fly notably requires fully automation to guarantee commissioning-time acceleration. In this paper, we address the deployment automation of an end-to-end mobile network, with special focus on RAN units (referred to as Cloud-RAN). The Cloud-RAN automation is especially challenging due to the strong latency constraints expected in 6G as well as the required management of physical antennas. To automatically instantiate a Cloud-RAN chain, we introduce a Zero Touch Commissioning (ZTC) model which performs resource discovery while looking for both antennas and computing capacity as near as possible to the targeted coverage zone. We validate the ZTC model by a testbed which deploys, configures and starts the network service without human intervention while using Kubernetes-based infrastructures as well as open-source RAN and core elements implementing the mobile network functions.


title: Rethinking Pareto Frontier for Performance Evaluation of Deep Neural Networks

abstract: Performance optimization of deep learning models is conducted either manually or through automatic architecture search, or a combination of both. On the other hand, their performance strongly depends on the target hardware and how successfully the models were trained. We propose to use a multi-dimensional Pareto frontier to re-define the efficiency measure of candidate deep learning models, where several variables such as training cost, inference latency, and accuracy play a relative role in defining a dominant model. Furthermore, a random version of the multi-dimensional Pareto frontier is introduced to mitigate the uncertainty of accuracy, latency, and throughput of deep learning models in different experimental setups. These two complementary methods can be combined to perform objective benchmarking of deep learning models. Our proposed method is applied to a wide range of deep image classification models trained on ImageNet data. Our method combines competing variables with stochastic nature in a single relative efficiency measure. This allows ranking deep learning models that run efficiently on different hardware, and combining inference efficiency with training efficiency objectively.


title: Geometric Regularization from Overparameterization

abstract: The volume of the distribution of weight sets associated with a loss value may be the source of implicit regularization from overparameterization due to the phenomenon of contracting volume with increasing dimensions for geometric figures demonstrated by hyperspheres. We introduce the geometric regularization conjecture and extract to an explanation for the double descent phenomenon by considering a similar property resulting from shrinking intrinsic dimensionality of the distribution of potential weight set updates available along training path, where if that distribution retracts across a volume verses dimensionality curve peak when approaching the global minima we could expect geometric regularization to re-emerge. We illustrate how data fidelity representational complexity may influence model capacity double descent interpolation thresholds. The existence of epoch and model capacity double descent curves originating from different geometric forms may imply universality of closed n-manifolds having dimensionally adjusted n-sphere volumetric correspondence.


title: (2.5+1)D Spatio-Temporal Scene Graphs for Video Question Answering

abstract: Spatio-temporal scene-graph approaches to video-based reasoning tasks, such as video question-answering (QA), typically construct such graphs for every video frame. These approaches often ignore the fact that videos are essentially sequences of 2D "views" of events happening in a 3D space, and that the semantics of the 3D scene can thus be carried over from frame to frame. Leveraging this insight, we propose a (2.5+1)D scene graph representation to better capture the spatio-temporal information flows inside the videos. Specifically, we first create a 2.5D (pseudo-3D) scene graph by transforming every 2D frame to have an inferred 3D structure using an off-the-shelf 2D-to-3D transformation module, following which we register the video frames into a shared (2.5+1)D spatio-temporal space and ground each 2D scene graph within it. Such a (2.5+1)D graph is then segregated into a static sub-graph and a dynamic sub-graph, corresponding to whether the objects within them usually move in the world. The nodes in the dynamic graph are enriched with motion features capturing their interactions with other graph nodes. Next, for the video QA task, we present a novel transformer-based reasoning pipeline that embeds the (2.5+1)D graph into a spatio-temporal hierarchical latent space, where the sub-graphs and their interactions are captured at varied granularity. To demonstrate the effectiveness of our approach, we present experiments on the NExT-QA and AVSD-QA datasets. Our results show that our proposed (2.5+1)D representation leads to faster training and inference, while our hierarchical model showcases superior performance on the video QA task versus the state of the art.


title: Exact time dependence of the cumulants of a tracer position in a dense lattice gas

abstract: We develop a general method to calculate the exact time dependence of the cumulants of the position of a tracer particle in a dense lattice gas of hardcore particles. More precisely, we calculate the cumulant generating function associated with the position of a tagged particle at arbitrary time, and at leading order in the density of vacancies on the lattice. In particular, our approach gives access to the short-time dynamics of the cumulants of the tracer position -- a regime in which few results are known. The generality of our approach is demonstrated by showing that it goes beyond the case of a symmetric 1D random walk, and covers the important situations of (i) a biased tracer; (ii) comb-like structures; and (iii) $d$-dimensional situations.


title: The Haldane gap in the SU(3) [3 0 0] Heisenberg chain

abstract: We calculate the Haldane gap of the $\mathrm{SU}(3)$ spin $[3~0~0]$ Heisenberg model using variational uniform fully symmetric $\mathrm{SU}(3)$ matrix product states, and find that the minimal gap $\Delta /J = 0.0263 $ is obtained in the $[2~1~0]$ sector at momentum $2\pi/3$. We also discuss the symmetry protected topological order of the ground state, and determine the full dispersion relation of the elementary excitations and the correlation lengths of the system.


title: Large anomalous Hall effect induced by weak ferromagnetism in the noncentrosymmetric antiferromagnet $\mathrm{Co}\mathrm{Nb}_3\mathrm{S}_6$

abstract: We study the mechanism of the exceptionally large anomalous Hall effect (AHE) in the noncentrosymmetric antiferromagnet $\mathrm{Co}\mathrm{Nb}_3\mathrm{S}_6$ by angle-resolved photoemission spectroscopy (ARPES) and magnetotransport measurements. From ARPES measurements of $\mathrm{Co}\mathrm{Nb}_3\mathrm{S}_6$ and its family compounds ($\mathrm{Fe}\mathrm{Nb}_3\mathrm{S}_6$ and $\mathrm{Ni}\mathrm{Nb}_3\mathrm{S}_6$), we find a band dispersion unique to the Co intercalation existing near the Fermi level. We further demonstrate that a slight deficiency of sulfur in $\mathrm{Co}\mathrm{Nb}_3\mathrm{S}_6$ eliminates the ferromagnetism and the AHE simultaneously while hardly changing the band structure, indicating that the weak ferromagnetism is responsible for the emergence of the large AHE. Based on our results, we propose Weyl points near the Fermi level to cause the large AHE.


title: Unsupervised and supervised learning of interacting topological phases from single-particle correlation functions

abstract: The recent advances in machine learning algorithms have boosted the application of these techniques to the field of condensed matter physics, in order e.g. to classify the phases of matter at equilibrium or to predict the real-time dynamics of a large class of physical models. Typically in these works, a machine learning algorithm is trained and tested on data coming from the same physical model. Here we demonstrate that unsupervised and supervised machine learning techniques are able to predict phases of a non-exactly solvable model when trained on data of a solvable model. In particular, we employ a training set made by single-particle correlation functions of a non-interacting quantum wire and by using principal component analysis, k-means clustering, and convolutional neural networks we reconstruct the phase diagram of an interacting superconductor. We show that both the principal component analysis and the convolutional neural networks trained on the data of the non-interacting model can identify the topological phases of the interacting model with a high degree of accuracy. Our findings indicate that non-trivial phases of matter emerging from the presence of interactions can be identified by means of unsupervised and supervised techniques applied to data of non-interacting systems.


title: FinNet: Solving Time-Independent Differential Equations with Finite Difference Neural Network

abstract: Deep learning approaches for partial differential equations (PDEs) have received much attention in recent years due to their mesh-freeness and computational efficiency. However, most of the works so far have concentrated on time-dependent nonlinear differential equations. In this work, we analyze potential issues with the well-known Physic Informed Neural Network for differential equations with little constraints on the boundary (i.e., the constraints are only on a few points). This analysis motivates us to introduce a novel technique called FinNet, for solving differential equations by incorporating finite difference into deep learning. Even though we use a mesh during training, the prediction phase is mesh-free. We illustrate the effectiveness of our method through experiments on solving various equations, which shows that FinNet can solve PDEs with low error rates and may work even when PINNs cannot.


title: Surf or sleep? Understanding the influence of bedtime patterns on campus

abstract: Poor sleep habits may cause serious problems of mind and body, and it is a commonly observed issue for college students due to study workload as well as peer and social influence. Understanding its impact and identifying students with poor sleep habits matters a lot in educational management. Most of the current research is either based on self-reports and questionnaires, suffering from a small sample size and social desirability bias, or the methods used are not suitable for the education system. In this paper, we develop a general data-driven method for identifying students' sleep patterns according to their Internet access pattern stored in the education management system and explore its influence from various aspects. First, we design a Possion-based probabilistic mixture model to cluster students according to the distribution of bedtime and identify students who are used to staying up late. Second, we profile students from five aspects (including eight dimensions) based on campus-behavior data and build Bayesian networks to explore the relationship between behavioral characteristics and sleeping habits. Finally, we test the predictability of sleeping habits. This paper not only contributes to the understanding of student sleep from a cognitive and behavioral perspective but also presents a new approach that provides an effective framework for various educational institutions to detect the sleeping patterns of students.


title: Amenable Sparse Network Investigator

abstract: We present "Amenable Sparse Network Investigator" (ASNI) algorithm that utilizes a novel pruning strategy based on a sigmoid function that induces sparsity level globally over the course of one single round of training. The ASNI algorithm fulfills both tasks that current state-of-the-art strategies can only do one of them. The ASNI algorithm has two subalgorithms: 1) ASNI-I, 2) ASNI-II. ASNI-I learns an accurate sparse off-the-shelf network only in one single round of training. ASNI-II learns a sparse network and an initialization that is quantized, compressed, and from which the sparse network is trainable. The learned initialization is quantized since only two numbers are learned for initialization of nonzero parameters in each layer L. Thus, quantization levels for the initialization of the entire network is 2L. Also, the learned initialization is compressed because it is a set consisting of 2L numbers. The special sparse network that can be trained from such a quantized and compressed initialization is called amenable. To the best of our knowledge, there is no other algorithm that can learn a quantized and compressed initialization from which the network is still trainable and is able to solve both pruning tasks. Our numerical experiments show that there is a quantized and compressed initialization from which the learned sparse network can be trained and reach to an accuracy on a par with the dense version. We experimentally show that these 2L levels of quantization are concentration points of parameters in each layer of the learned sparse network by ASNI-I. To corroborate the above, we have performed a series of experiments utilizing networks such as ResNets, VGG-style, small convolutional, and fully connected ones on ImageNet, CIFAR10, and MNIST datasets.


title: CH$_3$CN deuteration in the SVS13-A Class I hot-corino. SOLIS XV

abstract: We studied the line emission from CH3CN and its deuterated isotopologue CH$_2$DCN towards the prototypical Class I object SVS13-A, where the deuteration of a large number of species has already been reported. Our goal is to measure the CH$_3$CN deuteration in a Class I protostar, for the first time, in order to constrain the CH$_3$CN formation pathways and the chemical evolution from the early prestellar core and Class 0 to the evolved Class I stages. We imaged CH2DCN towards SVS13-A using the IRAM NOEMA interferometer at 3mm in the context of the Large Program SOLIS (with a spatial resolution of 1.8"x1.2"). The NOEMA images have been complemented by the CH$_3$CN and CH$_2$DCN spectra collected by the IRAM-30m Large Program ASAI, that provided an unbiased spectral survey at 3mm, 2mm, and 1.3mm. The observed line emission has been analysed using LTE and non-LTE LVG approaches. The NOEMA/SOLIS images of CH2DCN show that this species emits in an unresolved area centered towards the SVS13-A continuum emission peak, suggesting that methyl cyanide and its isotopologues are associated with the hot corino of SVS13-A, previously imaged via other iCOMs. In addition, we detected 41 and 11 ASAI transitions of CH$_3$CN and CH2DCN, respectively, which cover upper level energies (Eup) from 13 to 442 K and from 18 K to 200 K, respectively. The derived [CH2DCN]/[CH3CN] ratio is $\sim$9\%. This value is consistent with those measured towards prestellar cores and a factor 2-3 higher than those measured in Class 0 protostars. Contrarily to what expected for other molecular species, the CH3CN deuteration does not show a decrease in SVS13-A with respect to measurements in younger prestellar cores and Class 0 protostars. Finally, we discuss why our new results suggest that CH3CN was likely synthesised via gas-phase reactions and frozen onto the dust grain mantles during the cold prestellar phase.


title: Leakage Inventory Model without shortages under fuzzy parameters

abstract: In this paper, an attempt has been made to develop a simple leakage inventory model without shortages with instantaneous or finite production rate under fuzzy environment. In the present day scenario, it is difficult to decide the exact annual demand rate and hence a major difficulty is faced by a decision maker to forecast the demand. Also, in any inventory system, goods in stock may subject to deterioration or leakage. Deterioration of goods refers to decrease in quality whereas quantity remains more or less the same. On the other hand, leakage refers to loss in quantity whereas the quality remains unchanged for a certain period of time. Leakages in the inventory system may be considered to be very small, not detectable by the management immediately and hence it is difficult to decide the exact leakage rate. The objective of this paper is to consider these variable parameters and determine the optimal economic order quantity (EOQ) to maximise the annual total profit. So, fuzzy inventory models have been proposed considering fuzzy leakage rate and fuzzy annual demand rate to estimate the total profit per unit time. Signed distance method is used for defuzzification. Numerical examples are provided to support the results of the proposed models.


title: On the rate of convergence for the autocorrelation operator in functional autoregression

abstract: We consider the problem of estimating the autocorrelation operator of an autoregressive Hilbertian process. By means of a Tikhonov approach, we establish a general result that yields the convergence rate of the estimated autocorrelation operator as a function of the rate of convergence of the estimated lag zero and lag one autocovariance operators. The result is general in that it can accommodate any consistent estimators of the lagged autocovariances. Consequently it can be applied to processes under any mode of observation: complete, discrete, sparse, and/or with measurement errors. An appealing feature is that the result does not require delicate spectral decay assumptions on the autocovariances but instead rests on natural source conditions. The result is illustrated by application to important special cases.


title: Optimization of the Sparse Multi-Threaded Cholesky Factorization for A64FX

abstract: Sparse linear algebra routines are fundamental building blocks of a large variety of scientific applications. Direct solvers, which are methods for solving linear systems via the factorization of matrices into products of triangular matrices, are commonly used in many contexts. The Cholesky factorization is the fastest direct method for symmetric and definite positive matrices. This paper presents selective nesting, a method to determine the optimal task granularity for the parallel Cholesky factorization based on the structure of sparse matrices. We propose the OPT-D-COST algorithm, which automatically and dynamically applies selective nesting. OPT-D-COST leverages matrix sparsity to drive complex task-based parallel workloads in the context of direct solvers. We run an extensive evaluation campaign considering a heterogeneous set of 60 sparse matrices and a parallel machine featuring the A64FX processor. OPT-D-COST delivers an average performance speedup of 1.46$\times$ with respect to the best state-of-the-art parallel method to run direct solvers.


title: A Numerical Proof of Shell Model Turbulence Closure

abstract: The development of turbulence closure models, parametrizing the influence of small non-resolved scales on the dynamics of large resolved ones, is an outstanding theoretical challenge with vast applicative relevance. We present a closure, based on deep recurrent neural networks, that quantitatively reproduces, within statistical errors, Eulerian and Lagrangian structure functions and the intermittent statistics of the energy cascade, including those of subgrid fluxes. To achieve high-order statistical accuracy, and thus a stringent statistical test, we employ shell models of turbulence. Our results encourage the development of similar approaches for 3D Navier-Stokes turbulence.

categories: physics.flu-dyn cond-mat.stat-mech cs.LG nlin.CD physics.comp-ph


title: Are the black hole remnants produced from binary black hole mergers in GWTC-3 thermodynamically stable?

abstract: Black hole thermodynamics has brought strong hints of a profound and fundamental connection between gravity, thermodynamics, and quantum theory. If the black hole does behave like a natural thermodynamic system, it should be thermodynamically stable in a clean environment. In this paper, using the observational data of binary black hole (BBH) mergers observed by LIGO, Virgo, and KAGRA detectors, we check whether the black hole remnants produced from BBH mergers in the LIGO-Virgo-KAGRA catalog GWTC-3 are thermodynamically stable. The criterion for the thermodynamic stability is quite simple and is directly related to the black hole's spin, which states that a thermodynamically stable black hole remnant requires its dimensionless spin $a>a_* \simeq 0.68$. We check the posterior distributions of final spin $a_f$ for 83 black hole remnants in GWTC-3 and find the whole remnant population is consistent with the thermodynamically stable black hole with $99.98\%$ probability. This is the first verification of the thermodynamic stability of black hole remnants produced from BBH mergers.


title: Bayesian and Randomized Clock Auctions

abstract: In a single-parameter mechanism design problem, a provider is looking to sell a service to a group of potential buyers. Each buyer $i$ has a private value $v_i$ for receiving the service and a feasibility constraint restricts which sets of buyers can be served simultaneously. Recent work in economics introduced clock auctions as a superior class of auctions for this problem, due to their transparency, simplicity, and strong incentive guarantees. Subsequent work focused on evaluating the social welfare approximation guarantees of these auctions, leading to strong impossibility results: in the absence of prior information regarding the buyers' values, no deterministic clock auction can achieve a bounded approximation, even for simple feasibility constraints with only two maximal feasible sets. We show that these negative results can be circumvented by using prior information or by leveraging randomization. We provide clock auctions that give a $O(\log\log k)$ approximation for general downward-closed feasibility constraints with $k$ maximal feasible sets for three different information models, ranging from full access to the value distributions to complete absence of information. The more information the seller has, the simpler these auctions are. Under full access, we use a particularly simple deterministic clock auction, called a single-price clock auction, which is only slightly more complex than posted price mechanisms. In this auction, each buyer is offered a single price and a feasible set is selected among those who accept their offers. In the other extreme, where no prior information is available, this approximation guarantee is obtained using a complex randomized clock auction. In addition to our main results, we propose a parameterization that interpolates between single-price clock auctions and general clock auctions, paving the way for an exciting line of future research.


title: System Safety and Artificial Intelligence

abstract: This chapter formulates seven lessons for preventing harm in artificial intelligence (AI) systems based on insights from the field of system safety for software-based automation in safety-critical domains. New applications of AI across societal domains and public organizations and infrastructures come with new hazards, which lead to new forms of harm, both grave and pernicious. The text addresses the lack of consensus for diagnosing and eliminating new AI system hazards. For decades, the field of system safety has dealt with accidents and harm in safety-critical systems governed by varying degrees of software-based automation and decision-making. This field embraces the core assumption of systems and control that AI systems cannot be safeguarded by technical design choices on the model or algorithm alone, instead requiring an end-to-end hazard analysis and design frame that includes the context of use, impacted stakeholders and the formal and informal institutional environment in which the system operates. Safety and other values are then inherently socio-technical and emergent system properties that require design and control measures to instantiate these across the technical, social and institutional components of a system. This chapter honors system safety pioneer Nancy Leveson, by situating her core lessons for today's AI system safety challenges. For every lesson, concrete tools are offered for rethinking and reorganizing the safety management of AI systems, both in design and governance. This history tells us that effective AI safety management requires transdisciplinary approaches and a shared language that allows involvement of all levels of society.


title: Simple string diagrams and n-sesquicategories

abstract: We define a monad $T_n^{\operatorname{D^s}}$ whose operations are encoded by simple string diagrams and we define $n$-sesquicategories as algebras over this monad. This monad encodes the compositional structure of $n$-dimensional string diagrams. We give a generators and relations description of $T_n^{\operatorname{D^s}}$ , which allows us to describe $n$-sesquicategories as $n$-globular sets equipped with associative and unital composition and whiskering operations. One can also see them as strict $n$-categories without interchange laws. Finally we give an inductive characterization of $n$-sesquicategories.


title: Noise-Robust and Loss-Tolerant Quantum Steering with Qudits

abstract: A primary requirement for a robust and unconditionally secure quantum network is the establishment of quantum nonlocal correlations over a realistic channel. While loophole-free tests of Bell nonlocality allow for entanglement certification in such a device-independent setting, they are extremely sensitive to loss and noise, which naturally arise in any practical communication scenario. Quantum steering relaxes the strict technological constraints of Bell nonlocality by re-framing it in an asymmetric manner, thus providing the basis for one-sided device-independent quantum networks that can operate under realistic conditions. Here we introduce a noise-robust and loss-tolerant test of quantum steering designed for single detector measurements that harnesses the advantages of high-dimensional entanglement. We showcase the improvements over qubit-based systems by experimentally demonstrating detection loophole-free quantum steering in 53 dimensions through simultaneous loss and noise conditions corresponding to 14.2 dB loss equivalent to 79 km of telecommunication fibre, and 36% of white noise. We go on to show how the use of high dimensions counter-intuitively leads to a dramatic reduction in total measurement time, enabling a quantum steering violation almost two orders of magnitude faster obtained by simply doubling the Hilbert space dimension. By surpassing the constraints imposed upon the device-independent distribution of entanglement, our loss-tolerant, noise-robust, and resource-efficient demonstration of quantum steering proves itself a critical ingredient for making device-independent quantum communication over long distances a reality.


title: Symmetrized and non-symmetrized Asymptotic Mean Value Laplacian in metric measure spaces

abstract: The asymptotic mean value Laplacian - AMV Laplacian - extends the Laplace operator from $\mathbb{R}^n$ to metric measure spaces through limits of averaging integrals. The AMV Laplacian is however not a symmetric operator in general. In this paper therefore a symmetric version of the AMV Laplacian is considered, and focus lies on when the symmetric and non-symmetric AMV operators coincide. Besides Riemannian and 3D contact sub-Riemannian manifolds, we show that they are identical on a large class of metric measure spaces including locally Ahlfors regular spaces with vanishing metric-measure boundary. In addition, we study the context of weighted domains of $\mathbb{R}^n$ where the two operators typically differ, and provide concrete formulae for these operators also at points where the weight vanishes.


title: Tight universal sums of $m$-gonal numbers

abstract: For a positive integer $n$, the set of all integers greater than or equal to $n$ is denoted by $\mathcal T(n)$. A sum of generalized $m$-gonal numbers $g$ is called tight $\mathcal T(n)$-universal if the set of all nonzero integers represented by $g$ is equal to $\mathcal T(n)$. In this article, we prove the existence of a minimal tight $\mathcal T(n)$-universality criterion set for a sum of generalized $m$-gonal numbers for any pair $(m,n)$. To achieve this, we introduce an algorithm giving all candidates for tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers for any given pair $(m,n)$. Furthermore, we provide some experimental results on the classification of tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers.


title: tinyMAN: Lightweight Energy Manager using Reinforcement Learning for Energy Harvesting Wearable IoT Devices

abstract: Advances in low-power electronics and machine learning techniques lead to many novel wearable IoT devices. These devices have limited battery capacity and computational power. Thus, energy harvesting from ambient sources is a promising solution to power these low-energy wearable devices. They need to manage the harvested energy optimally to achieve energy-neutral operation, which eliminates recharging requirements. Optimal energy management is a challenging task due to the dynamic nature of the harvested energy and the battery energy constraints of the target device. To address this challenge, we present a reinforcement learning-based energy management framework, tinyMAN, for resource-constrained wearable IoT devices. The framework maximizes the utilization of the target device under dynamic energy harvesting patterns and battery constraints. Moreover, tinyMAN does not rely on forecasts of the harvested energy which makes it a prediction-free approach. We deployed tinyMAN on a wearable device prototype using TensorFlow Lite for Micro thanks to its small memory footprint of less than 100 KB. Our evaluations show that tinyMAN achieves less than 2.36 ms and 27.75 $\mu$J while maintaining up to 45% higher utility compared to prior approaches.


title: Stratified Multivariate Multiscale Dispersion Entropy for Physiological Signal Analysis

abstract: Multivariate entropy quantification algorithms are becoming a prominent tool for the extraction of information from multi-channel physiological time-series. However, in the analysis of physiological signals from heterogeneous organ systems, certain channels may overshadow the patterns of others, resulting in information loss. Here, we introduce the framework of Stratified Entropy to prioritize each channels' dynamics based on their allocation to respective strata, leading to a richer description of the multi-channel time-series. As an implementation of the framework, three algorithmic variations of the Stratified Multivariate Multiscale Dispersion Entropy are introduced. These variations and the original algorithm are applied to synthetic time-series, waveform physiological time-series, and derivative physiological data. Based on the synthetic time-series experiments, the variations successfully prioritize channels following their strata allocation while maintaining the low computation time of the original algorithm. In experiments on waveform physiological time-series and derivative physiological data, increased discrimination capacity was noted for multiple strata allocations in the variations when benchmarked to the original algorithm. This suggests improved physiological state monitoring by the variations. Furthermore, our variations can be modified to utilize a priori knowledge for the stratification of channels. Thus, our research provides a novel approach for the extraction of previously inaccessible information from multi-channel time series acquired from heterogeneous systems.


title: Large Andreev bound state zero bias peaks in a weakly dissipative environment

abstract: We study Andreev bound states in hybrid InAs-Al nanowire devices. The energy of these states can be tuned to zero by gate voltage or magnetic field, revealing large zero bias peaks (ZBPs) near 2e^2/h in tunneling conductance. Probing these large ZBPs using a weakly dissipative lead reveals non-Fermi liquid temperature (T) dependence due to environmental Coulomb blockade (ECB), an interaction effect from the lead acting on the nanowire junction. By increasing T, these large ZBPs either show a height increase or a transition from split peaks to a ZBP, both deviate significantly from non-dissipative devices where a Fermi-liquid T dependence is revealed. Our result demonstrates the competing effect between ECB and thermal broadening on Andreev bound states.


title: Exploring Adversarially Robust Training for Unsupervised Domain Adaptation

abstract: Unsupervised Domain Adaptation (UDA) methods aim to transfer knowledge from a labeled source domain to an unlabeled target domain. UDA has been extensively studied in the computer vision literature. Deep networks have been shown to be vulnerable to adversarial attacks. However, very little focus is devoted to improving the adversarial robustness of deep UDA models, causing serious concerns about model reliability. Adversarial Training (AT) has been considered to be the most successful adversarial defense approach. Nevertheless, conventional AT requires ground-truth labels to generate adversarial examples and train models, which limits its effectiveness in the unlabeled target domain. In this paper, we aim to explore AT to robustify UDA models: How to enhance the unlabeled data robustness via AT while learning domain-invariant features for UDA? To answer this question, we provide a systematic study into multiple AT variants that can potentially be applied to UDA. Moreover, we propose a novel Adversarially Robust Training method for UDA accordingly, referred to as ARTUDA. Extensive experiments on multiple adversarial attacks and UDA benchmarks show that ARTUDA consistently improves the adversarial robustness of UDA models. Code is available at https://github.com/shaoyuanlo/ARTUDA


title: Illuminating the Space of Dungeon Maps, Locked-door Missions and Enemy Placement Through MAP-Elites

abstract: Procedural Content Generation (PCG) methods are valuable tools to speed up the game development process. Moreover, PCG may also present in games as features, such as the procedural dungeon generation (PDG) in Moonlighter (Digital Sun, 2018). This paper introduces an extended version of an evolutionary dungeon generator by incorporating a MAP-Elites population. Our dungeon levels are discretized with rooms that may have locked-door missions and enemies within them. We encoded the dungeons through a tree structure to ensure the feasibility of missions. We performed computational and user feedback experiments to evaluate our PDG approach. They show that our approach accurately converges almost the whole MAP-Elite population for most executions. Finally, players' feedback indicates that they enjoyed the generated levels, and they could not indicate an algorithm as a level generator.


title: On the Application of Differential Evolution to the Analysis of X-Ray Spectra

abstract: Using methods of differential evolution (DE,) we determined the coronal elemental abundances and the differential emission measure (DEM) distributions for the plasma flaring on 2003 January 21. The analyses have been based on RESIK X-ray spectra. DE belongs to the family of evolutionary algorithms. DE is conceptually simple and easy to be implemented, so it has been applied to solve many problems in science and engineering. In this study we apply this method in a new context: simultaneous determination of plasma composition and DEM . In order to increase the confidence in the results obtained using DE, we tested the use of its algorithms by comparing the DE synthesized spectra with respective spectra observed by RESIK. Extensive discussion of the DE method used and the obtained physical characteristics of flaring plasma is presented.


title: Convex-roof entanglement measures of density matrices block diagonal in disjoint subspaces for the study of thermal states

abstract: We provide a proof that entanglement of any density matrix which block diagonal in subspaces which are disjoint in terms of the Hilbert space of one of the two potentially entangled subsystems can simply be calculated as the weighted average of entanglement present within each block. This is especially useful for thermal-equilibrium states which always inherit the symmetries present in the Hamiltonian, since block-diagonal Hamiltonians are common as are interactions which involve only a single degree of freedom of a greater system. We exemplify our method on a simple Hamiltonian, showing the diversity in possible temperature-dependencies of Gibbs state entanglement which can emerge in different parameter ranges.


title: Tight universal octagonal forms

abstract: Let $P_8(x)=3x^2-2x$. For positive integers $a_1,a_2,\dots,a_k$, a polynomial of the form $a_1P_8(x_1)+a_2P_8(x_2)+\cdots+a_kP_8(x_k)$ is called an octagonal form. For a positive integer $n$, an octagonal form is called tight $\mathcal T(n)$-universal if it represents (over $\mathbb{z}$) every positive integer greater than or equal to $n$ and does not represent any positive integer less than $n$. In this article, we find all tight $\mathcal T(n)$-universal octagonal forms for every $n\ge 2$. Furthermore, we provide an effective criterion on tight $\mathcal T(n)$-universality of an arbirary octagonal form, which is a generalization of "15-Theorem" of Conway and Schneeberger.


title: Masked prediction tasks: a parameter identifiability view

abstract: The vast majority of work in self-supervised learning, both theoretical and empirical (though mostly the latter), have largely focused on recovering good features for downstream tasks, with the definition of "good" often being intricately tied to the downstream task itself. This lens is undoubtedly very interesting, but suffers from the problem that there isn't a "canonical" set of downstream tasks to focus on -- in practice, this problem is usually resolved by competing on the benchmark dataset du jour. In this paper, we present an alternative lens: one of parameter identifiability. More precisely, we consider data coming from a parametric probabilistic model, and train a self-supervised learning predictor with a suitably chosen parametric form. Then, we ask whether we can read off the ground truth parameters of the probabilistic model from the optimal predictor. We focus on the widely used self-supervised learning method of predicting masked tokens, which is popular for both natural languages and visual data. While incarnations of this approach have already been successfully used for simpler probabilistic models (e.g. learning fully-observed undirected graphical models), we focus instead on latent-variable models capturing sequential structures -- namely Hidden Markov Models with both discrete and conditionally Gaussian observations. We show that there is a rich landscape of possibilities, out of which some prediction tasks yield identifiability, while others do not. Our results, borne of a theoretical grounding of self-supervised learning, could thus potentially beneficially inform practice. Moreover, we uncover close connections with uniqueness of tensor rank decompositions -- a widely used tool in studying identifiability through the lens of the method of moments.


title: Most Hitchin representations are strongly dense

abstract: We prove that generic Hitchin representations are strongly dense: every pair of non commuting elements in their image generate a Zariski-dense subgroup of SL_n(R). The proof uses a theorem of Rapinchuk, Benyash-Krivetz and Chernousov, to show that the set of Hitchin representations is Zariski-dense in the variety of representations of a surface group in SL_n(R).


title: Cyber Human Interaction

abstract: Cyber human interaction is a broad term encompassing the range of interactions that humans can have with technology. While human interaction with fixed and mobile computers is well understood, the world is on the cusp of ubiquitous and sustained interactions between humans and robots. While robotic systems are intertwined with computing and computing technologies, the word robot here describes technologies that can physically affect and in turn be affected by their environments which includes humans. This chapter delves into issues of cyber human interaction from the perspective of humans interacting with a subset of robots known as assistive robots. Assistive robots are robots designed to assist individuals with mobility or capacity limitations in completing everyday activities, commonly called instrumental activities of daily living. These range from household chores, eating or drinking to any activity with which a user may need the daily assistance of a caregiver to complete. One common type of assistive robot is the wheelchair mounted robotic arm. This device is designed to attach to a user's wheelchair to allow him or her to complete their activities independently. In short, these devices have sensors that allow them to sense and process their environment with varying levels of autonomy to perform actions that benefit and improve the well-being of people with capability limitations or disabilities. While human robot interaction is a popular research topic, not much research has been dedicated with regard to individual with limitations. In this chapter, we provide an overview of assistive robotic devices, discuss common methods of user interaction, and the need for an adaptive compensation framework to support potential users in regaining their functional capabilities.


title: Indirect Optimal Control of Advection-Diffusion Fields through Robotic Swarms

abstract: In this paper, we consider the problem of optimally guiding a large-scale swarm of underwater vehicles that is tasked with the indirect control of an advection-diffusion environmental field. The microscopic vehicle dynamics are governed by a stochastic differential equation with drift. The drift terms model the self-propelled velocity of the vehicle and the velocity field of the currents. In the mean-field setting, the macroscopic vehicle dynamics are governed by a Kolmogorov forward equation in the form of a linear parabolic advection-diffusion equation. The environmental field is governed by an advection-diffusion equation in which the advection term is defined by the fluid velocity field. The vehicles are equipped with on-board actuators that enable the swarm to act as a distributed source in the environmental field, modulated by a scalar control parameter that determines the local source intensity. In this setting, we formulate an optimal control problem to compute the vehicle velocity and actuator intensity fields that drive the environmental field to a desired distribution within a specified amount of time. In other words, we design optimal vector and scalar actuation fields to indirectly control the environmental field through a distributed source, produced by the swarm. After proving an existence result for the solution of the optimal control problem, we discretize and solve the problem using the Finite Element Method (FEM). The FEM discretization naturally provides an operator that represents the bilinear way in which the controls enter into the dynamics of the vehicle swarm and the environmental field. Finally, we show through numerical simulations the effectiveness of our control strategy in regulating the environmental field to zero or to a desired distribution in the presence of a double-gyre flow field.


title: Dimension-Free Noninteractive Simulation from Gaussian Sources

abstract: Let $X$ and $Y$ be two real-valued random variables. Let $(X_{1},Y_{1}),(X_{2},Y_{2}),\ldots$ be independent identically distributed copies of $(X,Y)$. Suppose there are two players A and B. Player A has access to $X_{1},X_{2},\ldots$ and player B has access to $Y_{1},Y_{2},\ldots$. Without communication, what joint probability distributions can players A and B jointly simulate? That is, if $k,m$ are fixed positive integers, what probability distributions on $\{1,\ldots,m\}^{2}$ are equal to the distribution of $(f(X_{1},\ldots,X_{k}),\,g(Y_{1},\ldots,Y_{k}))$ for some $f,g\colon\mathbb{R}^{k}\to\{1,\ldots,m\}$? When $X$ and $Y$ are standard Gaussians with fixed correlation $\rho\in(-1,1)$, we show that the set of probability distributions that can be noninteractively simulated from $k$ Gaussian samples is the same for any $k\geq m^{2}$. Previously, it was not even known if this number of samples $m^{2}$ would be finite or not, except when $m\leq 2$. Consequently, a straightforward brute-force search deciding whether or not a probability distribution on $\{1,\ldots,m\}^{2}$ is within distance $0<\epsilon<|\rho|$ of being noninteractively simulated from $k$ correlated Gaussian samples has run time bounded by $(5/\epsilon)^{m(\log(\epsilon/2) / \log|\rho|)^{m^{2}}}$, improving a bound of Ghazi, Kamath and Raghavendra. A nonlinear central limit theorem (i.e. invariance principle) of Mossel then generalizes this result to decide whether or not a probability distribution on $\{1,\ldots,m\}^{2}$ is within distance $0<\epsilon<|\rho|$ of being noninteractively simulated from $k$ samples of a given finite discrete distribution $(X,Y)$ in run time that does not depend on $k$, with constants that again improve a bound of Ghazi, Kamath and Raghavendra.


title: Massive neutrino self-interactions with a light mediator in cosmology

abstract: Nonstandard self-interactions can alter the evolution of cosmological neutrinos, mainly by damping free streaming, which should leave traces in cosmological observables. Although overall effects are opposite to those produced by neutrino mass and a larger $N_{\rm eff}$, they cannot be totally canceled by these last. We harness cosmological data that includes Cosmic Microwave Background from Plank 2018, BAO measurements, local $H_0$, Ly-$\alpha$ and SNIa, to constrain massive neutrino self-interactions with a very light scalar mediator. We find that the effective coupling constant, at the 95\% C.L., should be $g_{\rm eff}< 1.94 \times 10^{-7}$ for only Planck 2018 data and $1.97\times10^{-7}$ when Planck + BAO are considered. This bound relaxes to $2.27\times 10^{-7}$ ($2.3\times 10^{-7}$) for $H_0$ ($H_0$+SNe+Ly-$\alpha$) data. Using the Planck + BAO dataset, the $H_0$ tension lowers from 4.3$\sigma$ (for $\Lambda$CDM) to 3.2$\sigma$. The Akaike Information Criterion penalizes the self-interacting model due to its larger parameter space for Plank or Planck + BAO data, but favors the interacting model when we use local $H_0$ measurements. A somewhat larger value for $H_0$ is preferred when we include the whole data pool, which comes accompanied with a larger value of $N_{\rm eff}$ and a more constricted bound on $\Sigma m_\nu$.


title: Finite electrodynamics from T-duality

abstract: In this paper, we present the repercussions of Padmanabhan's propagator in electrodynamics. This corresponds to implement T-duality effects in a U(1) gauge theory. By formulating a nonlocal action consistent with the above hypothesis, we derive the profile of static potentials between electric charges via a path integral approach. Interestingly, the Coulomb potential results regularized by a length scale proportional to the parameter $(\alpha^\prime)^{1/2}$. Accordingly, fields are vanishing at the origin. We also discuss an array of experimental testbeds to expose the above results. It is interesting to observe that T-duality generates an effect of dimensional fractalization, that resembles similar phenomena in fractional electromagnetism. Finally, our results have also been derived with a gauge-invariant method, as a necessary check of consistency for any non-Maxwellian theory.


title: Learning Predictions for Algorithms with Predictions

abstract: A burgeoning paradigm in algorithm design is the field of algorithms with predictions, in which algorithms can take advantage of a possibly-imperfect prediction of some aspect of the problem. While much work has focused on using predictions to improve competitive ratios, running times, or other performance measures, less effort has been devoted to the question of how to obtain the predictions themselves, especially in the critical online setting. We introduce a general design approach for algorithms that learn predictors: (1) identify a functional dependence of the performance measure on the prediction quality and (2) apply techniques from online learning to learn predictors, tune robustness-consistency trade-offs, and bound the sample complexity. We demonstrate the effectiveness of our approach by applying it to bipartite matching, ski-rental, page migration, and job scheduling. In several settings we improve upon multiple existing results while utilizing a much simpler analysis, while in the others we provide the first learning-theoretic guarantees.


title: Self-Consistent Relaxation Theory of Collective Ion Dynamics in Yukawa One-Component Plasmas under Intermediate Screening Regimes

abstract: The self-consistent relaxation theory is employed to describe the collective ion dynamics in strongly coupled Yukawa classical one-component plasmas. The theory is applied to equilibrium states corresponding to intermediate screening regimes with appropriate values of the structure and coupling parameters. The information about the structure (the radial distribution function and the static structure factor) and the thermodynamics of the system is sufficient to describe collective dynamics over a wide range of spatial ranges, namely, from the extended hydrodynamic to the microscopic dynamics scale. The main experimentally measurable characteristics of the equilibrium collective dynamics of ions -- the spectrum of the dynamic structure factor, the dispersion parameters, the speed of sound and the sound attenuation -- are determined within the framework of the theory without using any adjustable parameters. The results demonstrate agreement with molecular dynamics simulations. Thus a direct realization is presented of the key idea of statistical mechanics: for the theoretical description of the collective particle dynamics of equilibrium fluids it is sufficient to know the interparticle interaction potential and the structural characteristics. Comparison with alternative or complementary theoretical approaches is provided.

categories: physics.plasm-ph cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Multiple combined gamma kernel estimations for nonnegative data with Bayesian adaptive bandwidths

abstract: A modified gamma kernel should not be automatically preferred to the standard gamma kernel, especially for univariate convex densities with a pole at the origin. In the multivariate case, multiple combined gamma kernels, defined as a product of univariate standard and modified ones, are here introduced for nonparametric and semiparametric smoothing of unknown orthant densities with support $[0,\infty)^d$. Asymptotical properties of these multivariate associated kernel estimators are established. Bayesian estimation of adaptive bandwidth vectors using multiple pure combined gamma smoothers, and in semiparametric setup, are exactly derived under the usual quadratic function. The simulation results and four illustrations on real datasets reveal very interesting advantages of the proposed combined approach for nonparametric smoothing, compare to both pure standard and pure modified gamma kernel versions, and under integrated squared error and average log-likelihood criteria.


title: Unsupervised Multiple-Object Tracking with a Dynamical Variational Autoencoder

abstract: In this paper, we present an unsupervised probabilistic model and associated estimation algorithm for multi-object tracking (MOT) based on a dynamical variational autoencoder (DVAE), called DVAE-UMOT. The DVAE is a latent-variable deep generative model that can be seen as an extension of the variational autoencoder for the modeling of temporal sequences. It is included in DVAE-UMOT to model the objects' dynamics, after being pre-trained on an unlabeled synthetic dataset of single-object trajectories. Then the distributions and parameters of DVAE-UMOT are estimated on each multi-object sequence to track using the principles of variational inference: Definition of an approximate posterior distribution of the latent variables and maximization of the corresponding evidence lower bound of the data likehood function. DVAE-UMOT is shown experimentally to compete well with and even surpass the performance of two state-of-the-art probabilistic MOT models. Code and data are publicly available.


title: Multiphonon quantum dynamics in cavity optomechanical systems

abstract: The multiphonon quantum dynamics in laser-pumped cavity optomechanical samples containing a vibrating mirror is investigated. Especially, we focus on dispersive interaction regimes where the externally applied coherent field frequency detuning from the optical resonator frequency is not equal to the mirror's oscillating frequency or to its multiples. As a result, for moderately strong couplings among the involved subsystems, the quantum dynamics of this complex system is described by multiphonon absorption or emission processes, respectively. Particularly, we demonstrate efficient ways to monitor the phonon quantum dynamics via photon detection. The possibility to extract the relevant sample parameters, for instance, the coupling strength between the mechanical mirror and the electromagnetic field, is also discussed.


title: Derivation of the viscoelastic stress in Stokes flows induced by non-spherical Brownian rigid particles through homogenization

abstract: We consider a microscopic model of $n$ identical axis-symmetric rigid Brownian particles suspended in a Stokes flow. We rigorously derive in the homogenization limit of many small particles a classical formula for the viscoelastic stress that appears in so-called Doi models which couple a Fokker-Planck equation to the Stokes equations. We consider both Deborah numbers of order $1$ and very small Deborah numbers. Our microscopic model contains several simplifications, most importantly, we neglect the time evolution of the particle centers as well as hydrodynamic interaction for the evolution of the particle orientations. The microscopic fluid velocity is modeled by the Stokes equations with given torques at the particles in terms of Stratonovitch noise. We give a meaning to this PDE in terms of an infinite dimensional Stratonovitch integral. This requires the analysis of the shape derivatives of the Stokes equations in perforated domains, which we accomplish by the method of reflections.


title: DataMUX: Data Multiplexing for Neural Networks

abstract: In this paper, we introduce data multiplexing (DataMUX), a technique that enables deep neural networks to process multiple inputs simultaneously using a single compact representation. DataMUX demonstrates that neural networks are capable of generating accurate predictions over mixtures of inputs, resulting in increased throughput with minimal extra memory requirements. Our approach uses two key components -- 1) a multiplexing layer that performs a fixed linear transformation to each input before combining them to create a mixed representation of the same size as a single input, which is then processed by the base network, and 2) a demultiplexing layer that converts the base network's output back into independent representations before producing predictions for each input. We show the viability of DataMUX for different architectures (Transformers, and to a lesser extent MLPs and CNNs) across six different tasks spanning sentence classification, named entity recognition and image classification. For instance, DataMUX for Transformers can multiplex up to $20$x/$40$x inputs, achieving $11$x/$18$x increase in throughput with minimal absolute performance drops of $<2\%$ and $<4\%$ respectively on MNLI, a natural language inference task. We also provide a theoretical construction for multiplexing in self-attention networks and analyze the effect of various design elements in DataMUX.


title: Equivariant pliability of the projective space

abstract: We classify finite subgroups $G\subset\mathrm{PGL}_4(\mathbb{C})$ such that $\mathbb{P}^3$ is not $G$-birational to conic bundles and del Pezzo fibrations, and explicitly describe all $G$-Mori fibre spaces that are $G$-birational to $\mathbb{P}^3$ for these subgroups.


title: Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application

abstract: Modern safety-critical energy infrastructures are increasingly operated in a hierarchical and modular control framework which allows for limited data exchange between the modules. In this context, it is important for each module to synthesize and communicate constraints on the values of exchanged information in order to assure system-wide safety. To ensure transient safety in inverter-based microgrids, we develop a set invariance-based distributed safety verification algorithm for each inverter module. Applying Nagumo's invariance condition, we construct a robust polynomial optimization problem to jointly search for safety-admissible set of control set-points and design parameters, under allowable disturbances from neighbors. We use sum-of-squares (SOS) programming to solve the verification problem and we perform numerical simulations using grid-forming inverters to illustrate the algorithm.


title: Small mode volume topological photonic states in one-dimensional lattices with dipole--quadrupole interactions

abstract: We study the topological photonic states in one-dimensional (1-D) lattices analogue to the Su-Schrieffer-Heeger (SSH) model beyond the dipole approximation. The electromagnetic resonances of the lattices supported by near-field interactions between the plasmonic nanoparticles are studied analytically with coupled dipole--quadrupole method. The topological phase transition in the bipartite lattices is determined by the change of Zak phase. Our results reveal the contribution of quadrupole moments to the near-field interactions and the band topology. It is found that the topological edge states in non-trivial lattices have both dipolar and quadrupolar nature. The quadrupolar edge states are not only orthogonal to the dipolar edge states, but also spatially localized at different sublattices. Furthermore, the quadrupolar topological edge states, which coexist at the same energy with the quadrupolar flat band have shorter localization length and hence smaller mode volume than the conventional dipolar edge states. The findings deepen our understanding in topological systems that involve higher-order multipoles, or in analogy to the wave functions in quantum systems with higher-orbital angular momentum, and may be useful in designing topological systems for confining light robustly and enhancing light-matter interactions.


title: Squeezed light from a levitated nanoparticle at room temperature

abstract: Quantum measurements of mechanical systems can produce optical squeezing via ponderomotive forces. Its observation requires high environmental isolation and efficient detection, typically achieved by using optical cavities and cryogenic cooling. Here we realize these conditions by measuring the position of an optically levitated nanoparticle at room temperature and without the overhead of an optical cavity. We use a fast heterodyne detection to reconstruct simultaneously orthogonal optical quadratures, and observe a noise reduction of $9\%\pm0.5\%$ below shot noise. Our experiment offers a novel, cavity-less platform for squeezed-light enhanced sensing. At the same time it delineates a clear and simple strategy towards observation of stationary optomechanical entanglement.


title: Market-Based Price Autocorrelation

abstract: This paper assumes that the randomness of market trade values and volumes determines the properties of stochastic market prices. We derive the direct dependence of the first two price statistical moments and price volatility on statistical moments, volatilities, and correlations of market trade values and volumes. That helps describe the dependence of market-based price autocorrelation between times t and t-{\tau} on statistical moments and correlations between trade values and volumes. That highlights the impact of the randomness of the size of market deals on price statistical moments and autocorrelation. Statistical moments and correlations of market trade values and volumes are assessed by conventional frequency-based probabilities. The distinctions between market-based price autocorrelation and autocorrelation that are assessed by the frequency-based probability analysis of price time series reveal the different approaches to the definitions of price probabilities. To forecast market-based price autocorrelation, one should predict the statistical moments and correlations of trade values and volumes.

categories: econ.GN q-fin.EC q-fin.GN q-fin.PR q-fin.ST


title: Magnetocaloric performance of RE$_{11}$Co$_4$In$_9$ (RE = Tb, Er)

abstract: The magnetocaloric effect in RE$_{11}$Co$_4$In$_9$ (RE = Tb, Er) has been studied by means of magnetometric measurements in the function of temperature and applied magnetic field. The maximum magnetic entropy change ($-\Delta S_{\mathrm{M}}^{\mathrm{max}}$) at magnetic flux density change ($\Delta\mu_{0}H$) 0-9 T has been determined to be 5.51 J$\cdot$kg$^{-1}\cdot$K$^{-1}$ at 47.4 K for Tb$_{11}$Co$_4$In$_9$ and 14.28 J$\cdot$kg$^{-1}\cdot$K$^{-1}$ at 12.3 K for Er$_{11}$Co$_4$In$_9$, while temperature averaged entropy change (TEC) with 3 K span equals 5.50 and 14.14 J$\cdot$kg$^{-1}\cdot$K$^{-1}$ for RE = Tb and Er, respectively. The relative cooling power (RCP) and refrigerant capacity (RC) equal respectively 522.1 and 391.2 J$\cdot$kg$^{-1}$ in Tb$_{11}$Co$_4$In$_9$ and 605.2 and 463.1 J$\cdot$kg$^{-1}$ in Er$_{11}$Co$_4$In$_9$.


title: TAP equations for orthogonally invariant spin glasses at high temperature

abstract: We study the high-temperature regime of a mean-field spin glass model whose couplings matrix is orthogonally invariant in law. The magnetization of this model is conjectured to satisfy a system of TAP equations, originally derived by Parisi and Potters using a diagrammatic expansion of the Gibbs free energy. We prove that this TAP description is correct in an $L^2$ sense, in a regime of sufficiently high temperature. Our approach develops a novel geometric argument for proving the convergence of an Approximate Message Passing (AMP) algorithm to the magnetization vector, which is applicable in models without i.i.d. couplings. This convergence is shown via a conditional second moment analysis of the free energy restricted to a thin band around the output of the AMP algorithm, in a system of many "orthogonal" replicas.


title: Edge coherence in multiplex networks

abstract: This paper introduces a nonparametric framework for the setting where multiple networks are observed on the same set of nodes, also known as multiplex networks. Our objective is to provide a simple parameterization which explicitly captures linear dependence between the different layers of networks. For non-Euclidean observations, such as shapes and graphs, the notion of "linear" must be defined appropriately. Taking inspiration from the representation of stochastic processes and the analogy of the multivariate spectral representation of a stochastic process with joint exchangeability of Bernoulli arrays, we introduce the notion of edge coherence as a measure of linear dependence in the graph limit space. Edge coherence is defined for pairs of edges from any two network layers and is the key novel parameter. We illustrate the utility of our approach by eliciting simple models such as a correlated stochastic blockmodel and a correlated inhomogeneous graph limit model.


title: Hadamard Inverse Function Theorem Proved by Variational Analysis

abstract: We present a proof of Hadamard Inverse Function Theorem by the methods of Variational Analysis, adapting an idea of I. Ekeland and E. Sere.


title: Redundantly amplified information suppresses quantum correlations in many-body systems

abstract: We establish bounds on quantum correlations in many-body systems. They reveal what sort of information about a quantum system can be simultaneously recorded in different parts of its environment. Specifically, independent agents who monitor environment fragments can eavesdrop only on amplified and redundantly disseminated - hence, effectively classical - information about the decoherence-resistant pointer observable. We also show that the emergence of classical objectivity is signaled by a distinctive scaling of the conditional mutual information, bypassing hard numerical optimizations. Our results validate the core idea of Quantum Darwinism: objective classical reality does not need to be postulated and is not accidental, but rather a compelling emergent feature of quantum theory that otherwise - in absence of decoherence and amplification - leads to "quantum weirdness". In particular, a lack of consensus between agents that access environment fragments is bounded by the information deficit, a measure of the incompleteness of the information about the system.


title: Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix

abstract: Consider a matrix $\mathbf{F} \in \mathbb{K}[x]^{m \times n}$ of univariate polynomials over a field $\mathbb{K}$. We study the problem of computing the column rank profile of $\mathbf{F}$. To this end we first give an algorithm which improves the minimal kernel basis algorithm of Zhou, Labahn, and Storjohann (Proceedings ISSAC 2012). We then provide a second algorithm which computes the column rank profile of $\mathbf{F}$ with a rank-sensitive complexity of $O\tilde{~}(r^{\omega-2} n (m+D))$ operations in $\mathbb{K}$. Here, $D$ is the sum of row degrees of $\mathbf{F}$, $\omega$ is the exponent of matrix multiplication, and $O\tilde{~}(\cdot)$ hides logarithmic factors.


title: Integer Conformal Dimensions for Type IIA Flux Vacua

abstract: We give a concise argument that supersymmetric AdS type IIA DGKT flux vacua on general Calabi-Yaus have, interpreted holographically, integer conformal dimensions for low-lying scalar primaries in the dual CFT. These integers are independent of any compactification details, such as the background fluxes or triple intersection numbers of the compact manifold. For the K\"ahler moduli and dilaton, there is one operator with $\Delta = 10$ and $h^{1,1}_{-}$ operators with $\Delta =6$, whereas the corresponding axions have $\Delta = 11$ and $\Delta = 5$. For the complex structure moduli, the $h^{2,1}$ saxions have $\Delta =2$, and the axions $\Delta =3$. We give a tentative discussion of the origin of these integers and effects that would modify these results.


title: Ionization of heavy elements and the adiabatic exponent in the solar plasma

abstract: Context. The adiabatic exponent $\Gamma_1$ is studied as a thermodynamic quantity in the partially ionized plasma of the solar convection zone. Aims. The aim of this study is to understand the impact of heavy elements on the $\Gamma_1$ profile. We calculated $\Gamma_1$ with the SAHA-S equation of state for different chemical compositions of plasma, and we analyzed contributions of individual elements to $\Gamma_1$. Methods. We studied the decrease in $\Gamma_1$ due to the ionization of heavy elements in comparison with the value obtained for a pure hydrogen-helium plasma. These types of differences are denoted as "Z contributions", and we analyzed them for eight elements (C, N, O, Ne, Mg, S, Si, and Fe) as well as for a mixture of elements corresponding to the solar chemical composition. We compared linear combinations of individual Z contributions with the exact Z contribution. Applying a least-squares technique to the decomposition of the full Z contribution to a basis of individual-element contributions, we obtained the mass fractions of the heavy elements. Results. The Z contribution of heavy elements can be described by a linear combination of individual-element Z contributions with a high level of accuracy of 5e-6 . The inverse problem of estimating the mass fractions of heavy elements from a given $\Gamma_1$ profile was considered for the example of solar-type mixtures. In ideal numerical simulations, the mass fractions of the most abundant elements could be determined with a relative accuracy better than a few tenths of a percent. In the presence of random or systematic errors in the $\Gamma_1$ profile, abundance estimations become remarkably less accurate. If the amplitude of the errors does not exceed 1e-4, we can expect a determination of at least the oxygen abundance with a relative error of about 10%.


title: New approach for analysing dynamical processes on the surface of photospheric vortex tubes

abstract: The majority of studies on multi-scale vortex motions employ a two-dimensional geometry by using a variety of observational and numerical data. This approach limits the understanding the nature of physical processes responsible for vortex dynamics. Here we develop a new methodology to extract essential information from the boundary surface of vortex tubes. 3D high-resolution magnetoconvection MURaM numerical data has been used to analyse photospheric intergranular velocity vortices. The Lagrangian Averaged Vorticity Deviation (LAVD) technique was applied to define the centers of vortex structures and their boundary surfaces based on the advection of fluid elements. These surfaces were mapped onto a constructed envelope grid that allows the study of the key plasma parameters as functions of space and time. Quantities that help in understanding the dynamics of the plasma, e.g. Lorentz force, pressure force, plasma-$\beta$ were also determined. Our results suggest that, while density and pressure have a rather global behaviour, the other physical quantities undergo local changes, with their magnitude and orientation changing in space and time. At the surface, the mixing in the horizontal direction is not efficient, leading to appearance of localized regions with higher/colder temperatures. In addition, the analysis of the MHD Poynting flux confirms that the majority of the energy is directed in the horizontal direction. Our findings also indicate that the pressure and magnetic forces that drive the dynamics of the plasma on vortex surfaces are unbalanced and therefore the vortices do not rotate as a rigid body.


title: On the complex structure of Yang-Mills theory

abstract: We consider the coupled set of spectral Dyson-Schwinger equations in Yang-Mills theory for ghost and gluon propagators, which gives us access to the ghost and gluon spectral functions. The set-up is used for a systematic analytic evaluation of the constraints on generalised spectral representations in Yang-Mills theory that are most relevant for informed spectral reconstructions. We also provide numerical results for the coupled set of spectral functions for a large range of potential mass gaps of the gluon, and discuss the limitations and extensions of the present work.


title: First hard X-ray imaging results by Solar Orbiter STIX

abstract: Context. The Spectrometer/Telescope for Imaging X-rays (STIX) is one of 6 remote sensing instruments on-board Solar Orbiter. It provides hard X-ray imaging spectroscopy of solar flares by sampling the Fourier transform of the incoming flux. Aims. To show that the visibility amplitude and phase calibration of 24 out of 30 STIX sub-collimators is well advanced and that a set of imaging methods is able to provide the first hard X-ray images of the flaring Sun from Solar Orbiter. Methods. We applied four visibility-based image reconstruction methods and a count-based one to calibrated STIX observations. The resulting reconstructions are compared to those provided by an optimization algorithm used for fitting the amplitudes of STIX visibilities. Results. When applied to six flares with GOES class between C4 and M4 which occurred in May 2021, the five imaging methods produce results morphologically consistent with the ones provided by the Atmospheric Imaging Assembly on-board the Solar Dynamic Observatory (SDO/AIA) in UV wavelengths. The $\chi^2$ values and the parameters of the reconstructed sources are comparable between methods, thus confirming their robustness. Conclusions. This paper shows that the current calibration of the main part of STIX sub-collimators has reached a satisfactory level for scientific data exploitation, and that the imaging algorithms already available in the STIX data analysis software provide reliable and robust reconstructions of the morphology of solar flares.


title: The Rapidly Evolving AGB Star, V Hya: ALMA finds a Multi-Ring Circus with High-Velocity Outflows

abstract: We have observed the mass-losing carbon star V Hya that is apparently transitioning from an AGB star to a bipolar planetary nebula, at an unprecedented angular resolution of ~0".4-0".6 with the Atacama Large Millimeter/submillimeter Wave Array (ALMA). Our 13CO and 12CO (J=3-2 and J=2-1) images have led to the discovery of a remarkable set of six expanding rings within a flared, warped Disk structure Undergoing Dynamical Expansion (DUDE) that lies in the system's equatorial plane. We also find, for the first time, several bipolar, high-velocity outflows, some of which have parabolic morphologies, implying wide opening angles, while one (found previously) is clumpy and highly collimated. The latter is likely associated with the high-velocity bullet-like ejections of ionized gas from V Hya; a possible molecular counterpart to the oldest of the 4 bullets can be seen in the 12CO images. We find a bright, unresolved central source of continuum emission (FWHM size <~165 au); about 40% of this emission can be produced in a standard radio photosphere, while the remaining 60% is likely due to thermal emission from very large (mm-sized) grains, having mass >~10^{-5} Msun. We have used a radiative transfer model to fit the salient characteristics of the DUDE's 13CO and 12CO emission out to a radius of 8" (3200 au) with a flared disk of mass 1.7 x 10^{-3} Msun, whose expansion velocity increases increases very rapidly with radius inside a central region of size ~200 au, and then more slowly outside it, from 9.5 to 11.5 km/s. The DUDE's underlying density decreases radially, interspersed with local increases that represent the observationally well-characterised innermost three rings.


title: Absolute continuity and singularity of spectra for flows $T_t\otimes T_{at}$

abstract: Answering the question of V.I. Oseledets, we present a random variable $\xi$ such that the sum $\xi(x)+a\xi(y)$ has a singular distribution for a set of parameters $a$ dense in $(1, +\infty)$, but for another dense set of parameters, this sum has an absolutely continuous distribution. We prove the following assertion: given $C,D$, countable non-intersecting dense subsets of the ray $(1,+\infty)$, there is a measure-preserving flow $T_t$ (acting on the infinite Lebesgue space) such that automorphisms $T_1\otimes T_{c}$ have simple singular spectra for every $c\in C$, and $T_1\otimes T_{d}$ have Lebesgue spectra for all $d\in D$. The spectral measure of this flow plays the role of the distribution of our random variable $\xi$.


title: Exceptional Spectral Phase in a Dissipative Collective Spin Model

abstract: We study a model of a quantum collective spin weakly coupled to a spin-polarized Markovian environment and find that the spectrum is divided into two regions that we name normal and exceptional Liouvillian spectral phases. In the thermodynamic limit, the exceptional spectral phase displays the unique property of being made up exclusively of second order exceptional points. As a consequence, the evolution of any initial density matrix populating this region is slowed down and cannot be described by a linear combination of exponential decays. This phase is separated from the normal one by a critical line in which the density of Liouvillian eigenvalues diverges, a phenomenon analogous to that of excited-state quantum phase transitions observed in some closed quantum systems. In the limit of no bath polarization, this criticality is transferred onto the steady state, implying a dissipative quantum phase transition and the formation of a boundary time crystal.


title: Signal Decomposition Using Masked Proximal Operators

abstract: We consider the well-studied problem of decomposing a vector time series signal into components with different characteristics, such as smooth, periodic, nonnegative, or sparse. We describe a simple and general framework in which the components are defined by loss functions (which include constraints), and the signal decomposition is carried out by minimizing the sum of losses of the components (subject to the constraints). When each loss function is the negative log-likelihood of a density for the signal component, this framework coincides with maximum a posteriori probability (MAP) estimation; but it also includes many other interesting cases. Summarizing and clarifying prior results, we give two distributed optimization methods for computing the decomposition, which find the optimal decomposition when the component class loss functions are convex, and are good heuristics when they are not. Both methods require only the masked proximal operator of each of the component loss functions, a generalization of the well-known proximal operator that handles missing entries in its argument. Both methods are distributed, i.e., handle each component separately. We derive tractable methods for evaluating the masked proximal operators of some loss functions that, to our knowledge, have not appeared in the literature.


title: A reliability measure for smart surveillance systems

abstract: We present a reliability measure for smart surveillance systems, taking into account the adversarial nature of intrusion. Our approach is based on percolation theory and is a generalisation of Hamedmoghadam et al.'s reliability measure. Specifically, our approach incorporates a customisable cost function to allow modelling a diverse range of situations, such as access restrictions, monitoring, and failures. We demonstrate our approach by applying it to a digital twin of a smart building. However, challenges remain in estimating and modelling the key parameters needed.


title: Learning Physics-Informed Neural Networks without Stacked Back-propagation

abstract: Physics-Informed Neural Network (PINN) has become a commonly used machine learning approach to solve partial differential equations (PDE). But, facing high-dimensional secondorder PDE problems, PINN will suffer from severe scalability issues since its loss includes second-order derivatives, the computational cost of which will grow along with the dimension during stacked back-propagation. In this work, we develop a novel approach that can significantly accelerate the training of Physics-Informed Neural Networks. In particular, we parameterize the PDE solution by the Gaussian smoothed model and show that, derived from Stein's Identity, the second-order derivatives can be efficiently calculated without back-propagation. We further discuss the model capacity and provide variance reduction methods to address key limitations in the derivative estimation. Experimental results show that our proposed method can achieve competitive error compared to standard PINN training but is significantly faster. Our code is released at https://github.com/LithiumDA/PINN-without-Stacked-BP.


title: Perfect sampling of stochastic matching models with reneging

abstract: In this paper, we introduce a slight variation of the Dominated Coupling From the Past algorithm (DCFTP) of Kendall, for bounded Markov chains. It is based on the control of a (typically non-monotonic) stochastic recursion by a (typically monotonic) one. We show that this algorithm is particularly suitable for stochastic matching models with bounded patience, a class of models for which the steady state distribution of the system is in general unknown in closed form. We first show that the Markov chain of this model can be easily controlled by an infinite-server queue. We then investigate the particular case where patience times are deterministic, and this control argument may fail. in that case we resort to an ad-hoc technique that can also be seen as a control (this time, by the arrival sequence). We then compare this algorithm to the classical CFTP one, and show how our perfect simulation results can be used to estimate, and compare, the loss probabilities of various systems in equilibrium.


title: On index divisors and monogenity of certain number fields defined by trinomials $x^7+ax+b$

abstract: For a number field $K$ defined by a trinomail $F(x) = x^7+ax+b \in \mathbb{Z}[x]$, Jakhar and Kumar gave some necessary conditions on $a$ and $b$, which guarantee the non-monogenity of $K$ \cite{A6}. In this paper, for every prime integer $p$, we characterize when $p$ is a common index divisor of $K$. In particular, if any one of these conditions holds, then $K$ is not monogenic. In such a way our proposed results extend those of Jakhar and Kumar.


title: High-accuracy high-mass ratio simulations for binary neutron stars and their comparison to existing waveform models

abstract: The subsequent observing runs of the advanced gravitational-wave detector network will likely provide us with various gravitational-wave observations of binary neutron star systems. For an accurate interpretation of these detections, we need reliable gravitational-wave models. To test and to point out how existing models could be improved, we perform a set of high-resolution numerical-relativity simulations for four different physical setups with mass ratios $q$ = $1.25$, $1.50$, $1.75$, $2.00$, and total gravitational mass $M = 2.7M_\odot$ . Each configuration is simulated with five different resolutions to allow a proper error assessment. Overall, we find approximately 2nd order converging results for the dominant $(2,2)$, but also subdominant $(2,1)$, $(3,3)$, $(4,4)$ modes, while, generally, the convergence order reduces slightly for an increasing mass ratio. Our simulations allow us to validate waveform models, where we find generally good agreement between state-of-the-art models and our data, and to prove that scaling relations for higher modes currently employed for binary black hole waveform modeling also apply for the tidal contribution. Finally, we also test if the current NRTidal model to describe tidal effects is a valid description for high-mass ratio systems. We hope that our simulation results can be used to further improve and test waveform models in preparation for the next observing runs.