title: Using Set Covering to Generate Databases for Holistic Steganalysis

abstract: Within an operational framework, covers used by a steganographer are likely to come from different sensors and different processing pipelines than the ones used by researchers for training their steganalysis models. Thus, a performance gap is unavoidable when it comes to out-of-distributions covers, an extremely frequent scenario called Cover Source Mismatch (CSM). Here, we explore a grid of processing pipelines to study the origins of CSM, to better understand it, and to better tackle it. A set-covering greedy algorithm is used to select representative pipelines minimizing the maximum regret between the representative and the pipelines within the set. Our main contribution is a methodology for generating relevant bases able to tackle operational CSM. Experimental validation highlights that, for a given number of training samples, our set covering selection is a better strategy than selecting random pipelines or using all the available pipelines. Our analysis also shows that parameters as denoising, sharpening, and downsampling are very important to foster diversity. Finally, different benchmarks for classical and wild databases show the good generalization property of the extracted databases. Additional resources are available at github.com/RonyAbecidan/HolisticSteganalysisWithSetCovering.


title: Stable CLT for deterministic systems

abstract: We show that for every ergodic and aperiodic probability preserving transformation and $\alpha\in (0,2)$ there exists a function whose associated time series is in the standard domain of attraction of a non-degenerate symmetric $\alpha$-stable distribution.


title: How to Coordinate Edge Devices for Over-the-Air Federated Learning?

abstract: This work studies the task of device coordination in wireless networks for over-the-air federated learning (OTA-FL). For conventional metrics of aggregation error, the task is shown to describe the zero-forcing (ZF) and minimum mean squared error (MMSE) schemes and reduces to the NP-hard problem of subset selection. We tackle this problem by studying properties of the optimal scheme. Our analytical results reveal that this scheme is found by searching among the leaves of a tree with favorable monotonic features. Invoking these features, we develop a low-complexity algorithm that approximates the optimal scheme by tracking a dominant path of the tree sequentially. Our numerical investigations show that the proposed algorithm closely tracks the optimal scheme.


title: Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

abstract: In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the heap that enable a precise modeling of implicit flows. To tackle this challenge, we advance a new symbolic abstraction approach for modeling the heap in Java-like programs. We use a store-less representation that is parameterized with a family of relations among references to offer various levels of precision based on user preferences. This enables us to automatically infer polymorphic information-flow guards for methods via a co-reachability analysis of a symbolic finite-state system. We instantiate the heap abstraction with three different families of relations. We prove the soundness of our approach and compare the precision and scalability obtained with each instantiated heap domain by using the IFSpec benchmarks and real-life applications.


title: XAI-BayesHAR: A novel Framework for Human Activity Recognition with Integrated Uncertainty and Shapely Values

abstract: Human activity recognition (HAR) using IMU sensors, namely accelerometer and gyroscope, has several applications in smart homes, healthcare and human-machine interface systems. In practice, the IMU-based HAR system is expected to encounter variations in measurement due to sensor degradation, alien environment or sensor noise and will be subjected to unknown activities. In view of practical deployment of the solution, analysis of statistical confidence over the activity class score are important metrics. In this paper, we therefore propose XAI-BayesHAR, an integrated Bayesian framework, that improves the overall activity classification accuracy of IMU-based HAR solutions by recursively tracking the feature embedding vector and its associated uncertainty via Kalman filter. Additionally, XAI-BayesHAR acts as an out of data distribution (OOD) detector using the predictive uncertainty which help to evaluate and detect alien input data distribution. Furthermore, Shapley value-based performance of the proposed framework is also evaluated to understand the importance of the feature embedding vector and accordingly used for model compression


title: Justification of Recommender Systems Results: A Service-based Approach

abstract: With the increasing demand for predictable and accountable Artificial Intelligence, the ability to explain or justify recommender systems results by specifying how items are suggested, or why they are relevant, has become a primary goal. However, current models do not explicitly represent the services and actors that the user might encounter during the overall interaction with an item, from its selection to its usage. Thus, they cannot assess their impact on the user's experience. To address this issue, we propose a novel justification approach that uses service models to (i) extract experience data from reviews concerning all the stages of interaction with items, at different granularity levels, and (ii) organize the justification of recommendations around those stages. In a user study, we compared our approach with baselines reflecting the state of the art in the justification of recommender systems results. The participants evaluated the Perceived User Awareness Support provided by our service-based justification models higher than the one offered by the baselines. Moreover, our models received higher Interface Adequacy and Satisfaction evaluations by users having different levels of Curiosity or low Need for Cognition (NfC). Differently, high NfC participants preferred a direct inspection of item reviews. These findings encourage the adoption of service models to justify recommender systems results but suggest the investigation of personalization strategies to suit diverse interaction needs.


title: Non-Line-of-Sight Passive Acoustic Localization Around Corners

abstract: Non-line-of-sight (NLoS) imaging is an important challenge in many fields ranging from autonomous vehicles and smart cities to defense applications. Several recent works in optics and acoustics tackle the challenge of imaging targets hidden from view (e.g. placed around a corner) by measuring time-of-flight (ToF) information using active SONAR/LiDAR techniques, effectively mapping the Green functions (impulse responses) from several sources to an array of detectors. Here, leveraging passive correlations-based imaging techniques, we study the possibility of acoustic NLoS target localization around a corner without the use of controlled active sources. We demonstrate localization and tracking of a human subject hidden around the corner in a reverberating room, using Green functions retrieved from correlations of broadband noise in multiple detectors. Our results demonstrate that the controlled active sources can be replaced by passive detectors as long as a sufficiently broadband noise is present in the scene.


title: X-Ray and Ultraviolet Flares on AT Microscopii Observed by AstroSat

abstract: We present observations of the active M-dwarf binary AT Mic (dM4.5e+dM4.5e) obtained with the orbital observatory AstroSat. During 20 ks of observations, in the far ultraviolet ($130-180$ nm) and soft X-ray ($0.3-7$ keV) spectral ranges, we detected both quiescent emission and at least five flares on different components of the binary. The X-ray flares were typically longer than and delayed (by $5-6$ min) with respect to their ultraviolet counterparts, in agreement with the Neupert effect. Using X-ray spectral fits, we have estimated the parameters of the emitting plasma. The results indicate the presence of a hot multi-thermal corona with the average temperatures in the range of $\sim 7-15$ MK and the emission measure of $\sim (2.9-4.5)\times 10^{52}$ $\textrm{cm}^{-3}$; both the temperature and the emission measure increased during the flares. The estimated abundance of heavy elements in the corona of AT Mic is considerably lower than at the Sun ($\sim 0.18-0.34$ of the solar photospheric value); the coronal abundance increased during the flares due to chromospheric evaporation. The detected flares had the energies of $\sim 10^{31}-10^{32}$ erg; the energy-duration relations indicate the presence of magnetic fields stronger than in typical solar flares.


title: Forecasts for cosmological measurements based on the angular power spectra of AGN and clusters of galaxies in the SRG/eROSITA all-sky survey

abstract: Abstract abridged. The eROSITA X-ray telescope aboard the SRG orbital observatory, in the course of its all-sky survey, is expected to detect about three million active galactic nuclei (AGN) and hundred thousand clusters and groups of galaxies. Such a sample complemented with redshift information, will open a new window into the studies of the Large-Scale structure (LSS) of the Universe and the determination of its cosmological parameters. The purpose of this work is to assess the prospects of cosmological measurements with the eROSITA sample of AGN and clusters of galaxies. We assume the availability of photometric redshift measurements for eROSITA sources and explore the impact of their quality on our forecasts. We use the redshift-resolved angular power spectrum of objects. We use a Fisher-matrix formalism and assume flat LambdaCDM cosmology to forecast the constraining power. We compute the LSS-relevant characteristics of AGN and clusters in the framework of the halo model and their X-ray luminosity functions. We find that the accuracy of photometric redshift estimates has a more profound effect on cosmological measurements than the fraction of catastrophic errors. Under realistic assumptions about the photometric redshift quality, the marginalized errors on the cosmological parameters achieve 1 - 10% accuracy depending on the cosmological priors used from other experiments. The statistical significance of BAO detection in angular power spectra of AGN and clusters of galaxies considered individually achieves 5 - 6 sigma. Our results demonstrate that the eROSITA sample of AGN and clusters of galaxies used in combination with currently available photometric redshift estimates will provide cosmological constraints on a par with dedicated optical LSS surveys.


title: A Unified Pyramid Recurrent Network for Video Frame Interpolation

abstract: Flow-guided synthesis provides a common framework for frame interpolation, where optical flow is estimated to guide the synthesis of intermediate frames between consecutive inputs. In this paper, we present UPR-Net, a novel Unified Pyramid Recurrent Network for frame interpolation. Cast in a flexible pyramid framework, UPR-Net exploits lightweight recurrent modules for both bi-directional flow estimation and intermediate frame synthesis. At each pyramid level, it leverages estimated bi-directional flow to generate forward-warped representations for frame synthesis; across pyramid levels, it enables iterative refinement for both optical flow and intermediate frame. In particular, we show that our iterative synthesis strategy can significantly improve the robustness of frame interpolation on large motion cases. Despite being extremely lightweight (1.7M parameters), our base version of UPR-Net achieves excellent performance on a large range of benchmarks. Code and trained models of our UPR-Net series are available at: https://github.com/srcn-ivl/UPR-Net.


title: Closing the Gap between Client and Global Model Performance in Heterogeneous Federated Learning

abstract: The heterogeneity of hardware and data is a well-known and studied problem in the community of Federated Learning (FL) as running under heterogeneous settings. Recently, custom-size client models trained with Knowledge Distillation (KD) has emerged as a viable strategy for tackling the heterogeneity challenge. However, previous efforts in this direction are aimed at client model tuning rather than their impact onto the knowledge aggregation of the global model. Despite performance of global models being the primary objective of FL systems, under heterogeneous settings client models have received more attention. Here, we provide more insights into how the chosen approach for training custom client models has an impact on the global model, which is essential for any FL application. We show the global model can fully leverage the strength of KD with heterogeneous data. Driven by empirical observations, we further propose a new approach that combines KD and Learning without Forgetting (LwoF) to produce improved personalised models. We bring heterogeneous FL on pair with the mighty FedAvg of homogeneous FL, in realistic deployment scenarios with dropping clients.


title: Extrapolation in general quasi-Banach function spaces

abstract: In this paper we prove off-diagonal, limited range, multilinear, vector-valued, and two-weight versions of the Rubio de Francia extrapolation theorem in general quasi-Banach function spaces. We prove mapping properties of the generalization of the Hardy-Littlewood maximal operator to very general bases that includes a method to obtain self-improvement results that are sharp with respect to its operator norm. Furthermore, we prove bounds for the Hardy-Littlewood maximal operator in weighted Lorentz, variable Lebesgue, and Morrey spaces, and recover and extend several extrapolation theorems in the literature. Finally, we provide an application of our results to the Riesz potential and the Bilinear Hilbert transform.


title: Electron dynamics in planar radio frequency magnetron plasmas: II. Heating and energization mechanisms studied via a 2d3v particle-in-cell/Monte Carlo code

abstract: The present work investigates electron transport and heating mechanisms using an (r, z) particle-in-cell (PIC) simulation of a typical rf-driven axisymmetric magnetron discharge with a conducting target. It is shown that for the considered magnetic field topology the electron current flows through different channels in the (r, z) plane: a ``transverse'' one, which involves current flow through the electrons' magnetic confinement region (EMCR) above the racetrack, and two ''longitudinal'' ones. Electrons gain energy from the electric field along these channels following various mechanisms, which are rather distinct from those sustaining dc-powered magnetrons. The longitudinal power absorption involves mirror-effect heating (MEH), nonlinear electron resonance heating (NERH), magnetized bounce heating (MBH), and the heating by the ambipolar field at the sheath-presheath interface. The MEH and MBH represent two new mechanisms missing from the previous literature. The MEH is caused by a reversed electric field needed to overcome the mirror force generated in a nonuniform magnetic field to ensure sufficient flux of electrons to the powered electrode, and the MBH is related to a possibility for an electron to undergo multiple reflections from the expanding sheath in the longitudinal channels connected by the arc-like magnetic field. The electron heating in the transverse channel is caused mostly by the essentially collisionless Hall heating in the EMCR above the racetrack, generating a strong ExB azimuthal drift velocity. The latter mechanism results in an efficient electron energization, i.e., energy transfer from the electric field to electrons in the inelastic range. Since the main electron population energized by this mechanism remains confined within the discharge for a long time, its contribution to the ionization processes is dominant.


title: Derivations and homomorphisms in commutator-simple algebras

abstract: We call an algebra $A$ commutator-simple if $[A,A]$ does not contain nonzero ideals of $A$. After providing several examples, we show that in these algebras derivations are determined by a condition that is applicable to the study of local derivations. This enables us to prove that every continuous local derivation $D\colon L^1(G)\to L^1(G)$, where $G$ is a unimodular locally compact group, is a derivation. We also give some remarks on homomorphism-like maps in commutator-simple algebras.


title: Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

abstract: We propose a framework for learning a fragment of probabilistic computation tree logic (pCTL) formulae from a set of states that are labeled as safe or unsafe. We work in a relational setting and combine ideas from relational Markov Decision Processes with pCTL model-checking. More specifically, we assume that there is an unknown relational pCTL target formula that is satisfied by only safe states, and has a horizon of maximum $k$ steps and a threshold probability $\alpha$. The task then consists of learning this unknown formula from states that are labeled as safe or unsafe by a domain expert. We apply principles of relational learning to induce a pCTL formula that is satisfied by all safe states and none of the unsafe ones. This formula can then be used as a safety specification for this domain, so that the system can avoid getting into dangerous situations in future. Following relational learning principles, we introduce a candidate formula generation process, as well as a method for deciding which candidate formula is a satisfactory specification for the given labeled states. The cases where the expert knows and does not know the system policy are treated, however, much of the learning process is the same for both cases. We evaluate our approach on a synthetic relational domain.


title: NAPG: Non-Autoregressive Program Generation for Hybrid Tabular-Textual Question Answering

abstract: Hybrid tabular-textual question answering (QA) requires reasoning from heterogeneous information, and the types of reasoning are mainly divided into numerical reasoning and span extraction. Current numerical reasoning methods autoregressively decode program sequences, and each decoding step produces either an operator or an operand. However, the step-by-step decoding suffers from exposure bias, and the accuracy of program generation drops sharply as the decoding steps unfold due to error propagation. In this paper, we propose a non-autoregressive program generation framework, which independently generates complete program tuples containing both operators and operands, can address the error propagation issue while significantly boosting the speed of program generation. Experiments on the ConvFinQA and MultiHiertt datasets show that our non-autoregressive program generation method can bring about substantial improvements over the strong FinQANet (+5.06 Exe Acc and +4.80 Prog Acc points) and MT2Net (+7.97 EM and +6.38 F1 points) baselines, establishing the new state-of-the-art performance, while being much faster (21x) in program generation. Finally, with increasing numbers of numerical reasoning steps the performance drop of our method is significantly smaller than that of the baselines. Our code will be publicly available soon.


title: Rough convergence of sequences in a partial metric space

abstract: In this paper we have studied the notion of rough convergence of sequences in a partial metric space. We have also investigated how far several relevant results on boundedness, rough limit sets etc. which are valid in a metric space are affected in a partial metric space.


title: A Survey on Quantum Reinforcement Learning

abstract: Quantum reinforcement learning is an emerging field at the intersection of quantum computing and machine learning. While we intend to provide a broad overview of the literature on quantum reinforcement learning - our interpretation of this term will be clarified below - we put particular emphasis on recent developments. With a focus on already available noisy intermediate-scale quantum devices, these include variational quantum circuits acting as function approximators in an otherwise classical reinforcement learning setting. In addition, we survey quantum reinforcement learning algorithms based on future fault-tolerant hardware, some of which come with a provable quantum advantage. We provide both a birds-eye-view of the field, as well as summaries and reviews for selected parts of the literature.


title: GW190412: measuring a black-hole recoil direction through higher-order gravitational-wave modes

abstract: General relativity predicts that gravitational waves (GWs) carry linear momentum. Consequently, the remnant black hole of a black-hole merger can inherit a recoil velocity or ``kick'' of crucial implications in, e.g, black-hole formation scenarios. While the kick magnitude is determined by the mass ratio and spins of the source, estimating its direction requires a measurement of the two orientation angles of the source. While the orbital inclination angle is commonly reported in GW observations, the azimuthal one has been to date ignored. We show how the presence of more than one GW emission mode allows constraining this angle and, consequently, determines the kick direction in a real GW event. %We show that the higher-order mode content GW190412 enables the determination of both these angles and, consequently, the kick direction. We analyse the GW190412 signal, which contains higher-order modes, with a numerical-relativity surrogate waveform model for black-hole mergers. We find that while GW190412 is barely informative about the kick magnitude, we can constrain its direction. This forms angles $\theta_{KL}^{\text{-100M}}=28^{+23}_{-11}\,\deg$ with the orbital angular momentum defined at a reference time $t_{\rm ref}=-100\,M$ before merger (being preferentially kicked upwards), $\theta_{KN}=37^{+15}_{-12}\,\deg$ with the line-of-sight and $\phi_{KN}^{\text{-100M}}=46^{+32}_{-41}\,\deg$ with the projection of the latter onto the former, all at the $68\%$ credible level. We briefly discuss the potential application of this type of measurement for multi-messenger observations of black-hole mergers occurring in Active Galactic Nuclei.


title: Using Deep Mixture-of-Experts to Detect Word Meaning Shift for TempoWiC

abstract: This paper mainly describes the dma submission to the TempoWiC task, which achieves a macro-F1 score of 77.05% and attains the first place in this task. We first explore the impact of different pre-trained language models. Then we adopt data cleaning, data augmentation, and adversarial training strategies to enhance the model generalization and robustness. For further improvement, we integrate POS information and word semantic representation using a Mixture-of-Experts (MoE) approach. The experimental results show that MoE can overcome the feature overuse issue and combine the context, POS, and word semantic features well. Additionally, we use a model ensemble method for the final prediction, which has been proven effective by many research works.


title: The tensorial representation of the distributional stress-energy quadrupole and its dynamics

abstract: We investigate stress-energy tensors constructed from the covariant derivatives of delta functions on a worldline. Since covariant derivatives are used all the components transform as tensors. We derive the dynamical equations for the components, up to quadrupole order. The components do, however, depend in a non-tensorial way, on a choice of a vector along the worldline. We also derive a number of important results about general multipoles, including that their components are unique, and all multipoles can be written using covariant derivatives. We show how the components of a multipole are related to standard moments of a tensor field, by parallelly transporting that tensor field.


title: Generative Transformers for Design Concept Generation

abstract: Generating novel and useful concepts is essential during the early design stage to explore a large variety of design opportunities, which usually requires advanced design thinking ability and a wide range of knowledge from designers. Growing works on computer-aided tools have explored the retrieval of knowledge and heuristics from design data. However, they only provide stimuli to inspire designers from limited aspects. This study explores the recent advance of the natural language generation (NLG) technique in the artificial intelligence (AI) field to automate the early-stage design concept generation. Specifically, a novel approach utilizing the generative pre-trained transformer (GPT) is proposed to leverage the knowledge and reasoning from textual data and transform them into new concepts in understandable language. Three concept generation tasks are defined to leverage different knowledge and reasoning: domain knowledge synthesis, problem-driven synthesis, and analogy-driven synthesis. The experiments with both human and data-driven evaluation show good performance in generating novel and useful concepts.


title: Canonical extensions of manifolds with nef tangent bundle

abstract: To any compact K\"ahler manifold $(X, \omega)$ one may associate a bundle of affine spaces $Z_X\rightarrow X$ called a $\textit{canonical extension}$ of $X$. In this paper we prove that (assuming a well-known conjecture of Campana-Peternell to hold true) if the tangent bundle of $X$ is nef, then the total space $Z_X$ is a Stein manifold. This partially answers a question raised by Greb-Wong of whether these two properties are actually equivalent. We also complement some known results for surfaces in the converse direction.


title: Fourier-Flow model generating Feynman paths

abstract: As an alternative but unified and more fundamental description for quantum physics, Feynman path integrals generalize the classical action principle to a probabilistic perspective, under which the physical observables' estimation translates into a weighted sum over all possible paths. The underlying difficulty is to tackle the whole path manifold from finite samples that can effectively represent the Feynman propagator dictated probability distribution. Modern generative models in machine learning can handle learning and representing probability distribution with high computational efficiency. In this study, we propose a Fourier-flow generative model to simulate the Feynman propagator and generate paths for quantum systems. As demonstration, we validate the path generator on the harmonic and anharmonic oscillators. The latter is a double-well system without analytic solutions. To preserve the periodic condition for the system, the Fourier transformation is introduced into the flow model to approach a Matsubara representation. With this novel development, the ground-state wave function and low-lying energy levels are estimated accurately. Our method offers a new avenue to investigate quantum systems with machine learning assisted Feynman Path integral solving.


title: Sittin'On the Dock of the (WiFi) Bay: On the Frame Aggregation under IEEE 802.11 DCF

abstract: It is well known that frame aggregation in Internet communications improves transmission efficiency. However, it also causes a delay that for some real-time communications is inappropriate, thus creating a trade-off between efficiency and delay. In this paper, we establish the conditions for frame aggregation under the IEEE 802.11 DCF protocol to be beneficial on average delay. To do so, we first describe the transmission time in IEEE 802.11 in a stochastic framework and then we calculate the optimal value of the frames that, when aggregated, saves transmission time in the long term. Our findings, discussed with numerical experimentation, show that frame aggregation reduces transmission congestion and transmission delays.


title: Experimental cheat-sensitive quantum weak coin flipping

abstract: As in modern communication networks, the security of quantum networks will rely on complex cryptographic tasks that are based on a handful of fundamental primitives. Weak coin flipping (WCF) is a significant such primitive which allows two mistrustful parties to agree on a random bit while they favor opposite outcomes. Remarkably, perfect information-theoretic security can be achieved in principle for quantum WCF. Here, we overcome conceptual and practical issues that have prevented the experimental demonstration of this primitive to date, and demonstrate how quantum resources can provide cheat sensitivity, whereby each party can detect a cheating opponent, and an honest party is never sanctioned. Such a property is not known to be classically achievable with information-theoretic security. Our experiment implements a refined, loss-tolerant version of a recently proposed theoretical protocol and exploits heralded single photons generated by spontaneous parametric down conversion, a carefully optimized linear optical interferometer including beam splitters with variable reflectivities and a fast optical switch for the verification step. High values of our protocol benchmarks are maintained for attenuation corresponding to several kilometers of telecom optical fiber.


title: Sterile Neutrinos: Propagation in Matter and Sensitivity to Sterile Mass Ordering

abstract: We analytically calculate the neutrino conversion probability $P_{\mu e}$ in the presence of sterile neutrinos, with exact dependence on $\Delta m^2_{41}$ and with matter effects explicitly included. Using perturbative expansion in small parameters, the terms involving the small mixing angles $\theta_{24}$ and $\theta_{34}$ can be separated out, with $\theta_{34}$ dependence only arising due to matter effects. We express $P_{\mu e}$ in terms of the quantities of the form $\sin(x)/x$, which helps in elucidating its dependence on matter effects and a wide range of $\Delta m^2_{41}$ values. Our analytic expressions allow us to predict the effects of the sign of $\Delta m^2_{41}$ at a long baseline experiment like DUNE. We numerically calculate the sensitivity of DUNE to the sterile mass ordering and find that this sensitivity can be significant in the range $|\Delta m^2_{41}| \sim (10^{-4} - 10^{-2})$ eV$^2$, for either mass ordering of active neutrinos. The dependence of this sensitivity on the value of $\Delta m^2_{41}$ for all mass ordering combinations can be explained by investigating the resonance-like terms appearing due to the interplay between the sterile sector and matter effects.


title: Universal behaviour of Coulomb coupled Fermionic thermal diode

abstract: We propose a minimal model of a Coulomb coupled fermionic quantum dot thermal diode that can act as an efficient thermal switch and exhibit complete rectification behaviour, even in presence of a small temperature gradient. Using two well defined dimensionless system parameters, universal characteristics of the optimal heat current condition are identified. It is shown to be independent of any system parameter and is obtained only at the mean transitions point "$-0.5$", associated with the equilibrium distribution of the two fermionic reservoirs, tacitly referred to as "$\textit{universal magic mean}$".


title: Testing Against Independence with an Eavesdropper

abstract: We study a distributed binary hypothesis testing (HT) problem with communication and security constraints, involving three parties: a remote sensor called Alice, a legitimate decision centre called Bob, and an eavesdropper called Eve, all having their own source observations. In this system, Alice conveys a rate R description of her observation to Bob, and Bob performs a binary hypothesis test on the joint distribution underlying his and Alice's observations. The goal of Alice and Bob is to maximise the exponential decay of Bob's miss-detection (type II-error) probability under two constraints: Bob's false alarm-probability (type-I error) probability has to stay below a given threshold and Eve's uncertainty (equivocation) about Alice's observations should stay above a given security threshold even when Eve learns Alice's message. For the special case of testing against independence, we characterise the largest possible type-II error exponent under the described type-I error probability and security constraints.


title: Galactic Dynamos

abstract: Spiral galaxies, including the Milky Way, have large-scale magnetic fields with significant energy densities. The dominant theory attributes these magnetic fields to a large-scale dynamo. We review the current status of dynamo theory and discuss various numerical simulations designed to explain either particular aspects of the problem or to reproduce galactic magnetic fields globally. Our main conclusions can be summarized as follows. Idealized direct numerical simulations produce mean magnetic fields, whose saturation energy density tends to decline with increasing magnetic Reynolds number. This is still an unsolved problem. Large-scale galactic magnetic fields of microgauss strengths can probably only be explained if helical magnetic fields of small or moderate length scales can rapidly be ejected or destroyed. Small-scale dynamos are important throughout a galaxy's life, and probably provide strong seed fields at early stages. The circumgalactic medium (CGM) may play an important role in driving dynamo action at small and large length scales. These interactions between the galactic disk and the CGM may provide important insights into our understanding of galactic dynamos. We expect future research in galactic dynamos to focus on the cosmological history of galaxies and the interaction with the CGM as means of replacing the idealized boundary conditions used in earlier work.


title: Information Properties of a Random Variable Decomposition through Lattices

abstract: A full-rank lattice in the Euclidean space is a discrete set formed by all integer linear combinations of a basis. Given a probability distribution on $\mathbb{R}^n$, two operations can be induced by considering the quotient of the space by such a lattice: wrapping and quantization. For a lattice $\Lambda$, and a fundamental domain $D$ which tiles $\mathbb{R}^n$ through $\Lambda$, the wrapped distribution over the quotient is obtained by summing the density over each coset, while the quantized distribution over the lattice is defined by integrating over each fundamental domain translation. These operations define wrapped and quantized random variables over $D$ and $\Lambda$, respectively, which sum up to the original random variable. We investigate information-theoretic properties of this decomposition, such as entropy, mutual information and the Fisher information matrix, and show that it naturally generalizes to the more abstract context of locally compact topological groups.


title: On goodness-of-fit tests for arbitrary multivariate models

abstract: Goodness-of-fit tests are often used in data analysis to test the agreement of a distribution to a set of data. These tests can be used to detect an unknown signal against a known background or to set limits on a proposed signal distribution in experiments contaminated by poorly understood backgrounds. Out-of-the-box non-parametric tests that can target any proposed distribution are only available in the univariate case. In this paper, we discuss how to build goodness-of-fit tests for arbitrary multivariate distributions or multivariate data generation models.

categories: stat.ME astro-ph.IM hep-ex physics.data-an


title: Tri-Polarized Holographic MIMO Surface in Near-Field: Channel Modeling and Precoding Design

abstract: This paper investigates the utilization of triple polarization (TP) for multi-user (MU) holographic multiple-input multi-output surface (HMIMOS) wireless communication systems, targeting capacity boosting and diversity exploitation without enlarging the antenna array sizes. We specifically consider that both the transmitter and receiver are both equipped with an HMIMOS consisting of compact sub-wavelength TP patch antennas within the near-field (NF) regime. To characterize TP MU-HMIMOS systems, a TP NF channel model is constructed using the dyadic Green's function, whose characteristics are leveraged to design two precoding schemes for mitigating the cross-polarization and inter-user interference contributions. Specifically, a user-cluster-based precoding scheme assigns different users to one of three polarizations at the expense of the system's diversity, and a two-layer precoding scheme removes interference using the Gaussian elimination method at a high computational cost. The theoretical correlation analysis for HMIMOS in the NF region is also investigated, revealing that both the spacing of transmit patch antennas and user distance impact transmit correlation factors. Our numerical results show that the users far from transmitting HMIMOS experience higher correlation than those closer within the NF regime, resulting in a lower channel capacity. Meanwhile, in terms of channel capacity, TP HMIMOS can almost achieve 1.25 times gain compared with dual-polarized HMIMOS, and 3 times compared with conventional HMIMOS. In addition, the proposed two-layer precoding scheme combined with two-layer power allocation realizes a higher spectral efficiency than other schemes without sacrificing diversity.


title: Validation tests of GBS quantum computers give evidence for quantum advantage with a decoherent target

abstract: Computational validation is vital for all large-scale quantum computers. One needs computers that are both fast and accurate. Here we apply precise, scalable, high order statistical tests to data from large Gaussian boson sampling (GBS) quantum computers that claim quantum computational advantage. These tests can be used to validate the output results for such technologies. Our method allows investigation of accuracy as well as quantum advantage. Such issues have not been investigated in detail before. Our highly scalable technique is also applicable to other applications of linear bosonic networks. We utilize positive-P phase-space simulations of grouped count probabilities (GCP) as a fingerprint for verifying multi-mode data. This is exponentially more efficient than other phase-space methods, due to much lower sampling errors. We randomly generate tests from exponentially many high-order, grouped count tests. Each of these can be efficiently measured and simulated, providing a quantum verification method that is hard to replicate classically. We give a detailed comparison of theory with a 144-channel GBS experiment, including grouped correlations up to the largest order measured. We show how one can disprove faked data, and apply this to a classical count algorithm. There are multiple distance measures for evaluating the fidelity and computational complexity of a distribution. We compute these and explain them. The best fit to the data is a partly thermalized Gaussian model, which is neither the ideal case, nor the model that gives classically computable counts. Even with this model, discrepancies of $Z>100$ were observed from some $\chi^2$ tests, indicating likely parameter estimation errors. Total count distributions were much closer to a thermalized quantum model than the classical model, giving evidence consistent with quantum computational advantage for a modified target problem.


title: Predictive Coding beyond Gaussian Distributions

abstract: A large amount of recent research has the far-reaching goal of finding training methods for deep neural networks that can serve as alternatives to backpropagation (BP). A prominent example is predictive coding (PC), which is a neuroscience-inspired method that performs inference on hierarchical Gaussian generative models. These methods, however, fail to keep up with modern neural networks, as they are unable to replicate the dynamics of complex layers and activation functions. In this work, we solve this problem by generalizing PC to arbitrary probability distributions, enabling the training of architectures, such as transformers, that are hard to approximate with only Gaussian assumptions. We perform three experimental analyses. First, we study the gap between our method and the standard formulation of PC on multiple toy examples. Second, we test the reconstruction quality on variational autoencoders, where our method reaches the same reconstruction quality as BP. Third, we show that our method allows us to train transformer networks and achieve a performance comparable with BP on conditional language models. More broadly, this method allows neuroscience-inspired learning to be applied to multiple domains, since the internal distributions can be flexibly adapted to the data, tasks, and architectures used.


title: Controllability Problems for the Heat Equation with Variable Coefficients on a Half-Axis Controlled by the Neumann Boundary Condition

abstract: In the paper, the problems of controllability and approximate controllability are studied for the control system $w_t=\frac{1}{\rho}\left(kw_x\right)_x+\gamma w$, $\left.\left(\sqrt{\frac{k}{\rho}}w_x\right)\right|_{x=0}=u$, $x>0$, $t\in(0,T)$, where $u$ is a control, $u\in L^\infty(0,T)$. It is proved that each initial state of the control system is approximately controllable to any target state in a given time $T>0$. To obtain this result, the transformation operator generated by the equation data $\rho$, $k$, $\gamma$ is applied. The results are illustrated by examples.


title: Can we accurately calculate viscosity in multicomponent metallic melts?

abstract: Calculating viscosity in multicompoinent metallic melts is a challenging task for both classical and \textit{ab~initio} molecular dynamics simulations methods. The former may not to provide enough accuracy and the latter is too resources demanding. Machine learning potentials provide optimal balance between accuracy and computational efficiency and so seem very promising to solve this problem. Here we address simulating kinematic viscosity in ternary Al-Cu-Ni melts with using deep neural network potentials (DP) as implemented in the DeePMD-kit. We calculate both concentration and temperature dependencies of kinematic viscosity in Al-Cu-Ni and conclude that the developed potential allows one to simulate viscosity with high accuracy; the deviation from experimental data does not exceed 9\% and is close to the uncertainty interval of experimental data. More importantly, our simulations reproduce minimum on concentration dependency of the viscosity at the eutectic point. Thus, we conclude that DP-based MD simulations is highly promising way to calculate viscosity in multicomponent metallic melts.


title: When Geometry is not Enough: Using Reflector Markers in Lidar SLAM

abstract: Lidar-based SLAM systems perform well in a wide range of circumstances by relying on the geometry of the environment. However, even mature and reliable approaches struggle when the environment contains structureless areas such as long hallways. To allow the use of lidar-based SLAM in such environments, we propose to add reflector markers in specific locations that would otherwise be difficult. We present an algorithm to reliably detect these markers and two approaches to fuse the detected markers with geometry-based scan matching. The performance of the proposed methods is demonstrated on real-world datasets from several industrial environments.


title: Mysterious frequency combs in erbium-doped fiber lasers at low temperatures

abstract: We report on the observation of puzzling nonuniform, but ordered, frequency combs in erbium-doped fiber lasers at low temperatures, between 3 K and 14 K. At ~14 K the combs disappear. The combs contain ~240 lines and have nonuniform frequency spacings that starts from ~25 GHz at ~1540.5 nm and decreases, almost monotonically, to ~100 MHz within (1.8-2) nm. We discuss possibilities that they result from enlarged regular mode-comb spacings, from prime numbers-based solitary waves free of four-wave mixing or result from gain gratings. However, we think that the combs originate from multi-lasing lines allowed in inhomogeneous gain broadening, dominant at low temperatures, together with a small power dependent homogeneous broadening part, responsible for the spacing between the lines.


title: Kinetic description of ion transport in the system "ionic solution -- porous environment"

abstract: A kinetic approach based on a modified chain of BBGKI equations for nonequilibrium particle distribution functions was used to describe the ion transfer processes in the ionic solution -- porous medium system. A generalized kinetic equation of the revised Enskog--Vlasov--Landau theory for the nonequilibrium ion distribution function in the model of charged solid spheres is obtained, taking into account attractive short-range interactions for the ionic solution -- porous medium system.


title: Towards derandomising Markov chain Monte Carlo

abstract: We present a new framework to derandomise certain Markov chain Monte Carlo (MCMC) algorithms. As in MCMC, we first reduce counting problems to sampling from a sequence of marginal distributions. For the latter task, we introduce a method called coupling towards the past that can, in logarithmic time, evaluate one or a constant number of variables from a stationary Markov chain state. Since there are at most logarithmic random choices, this leads to very simple derandomisation. We provide two applications of this framework, namely efficient deterministic approximate counting algorithms for hypergraph independent sets and hypergraph colourings, under local lemma type conditions matching, up to lower order factors, their state-of-the-art randomised counterparts.


title: The cosmic ray ionisation and $\gamma$-ray budgets of star-forming galaxies

abstract: Cosmic rays in star-forming galaxies are a dominant source of both diffuse $\gamma$-ray emission and ionisation in gas too deeply shielded for photons to penetrate. Though the cosmic rays responsible for $\gamma$-rays and ionisation are of different energies, they are produced by the same star formation-driven sources, and thus galaxies' star formation rates, $\gamma$-ray luminosities, and ionisation rates should all be linked. In this paper we use up-to-date cross-section data to determine this relationship, finding that cosmic rays in a galaxy of star formation rate $\dot{M}_*$ and gas depletion time $t_\mathrm{dep}$ produce a maximum primary ionisation rate $\zeta \approx 1\times 10^{-16} (t_\mathrm{dep}/\mbox{Gyr})^{-1}$ s$^{-1}$ and a maximum $\gamma$-ray luminosity $L_\gamma\approx 4\times 10^{39} (\dot{M}_*/\mathrm{M}_\odot\mbox{ yr}^{-1})$ erg s$^{-1}$ in the 0.1 - 100 GeV band. These budgets imply either that the ionisation rates measured in Milky Way molecular clouds include a significant contribution from local sources that elevate them above the Galactic mean, or that CR-driven ionisation in the Milky Way is enhanced by sources not linked directly to star formation. Our results also imply that ionisation rates in starburst systems are only moderately enhanced compared to those in the Milky Way. Finally, we point out that measurements of $\gamma$-ray luminosities can be used to place constraints on galactic ionisation budgets in starburst galaxies that are nearly free of systematic uncertainties on the details of cosmic ray acceleration.


title: Resilience of Wireless Ad Hoc Federated Learning against Model Poisoning Attacks

abstract: Wireless ad hoc federated learning (WAFL) is a fully decentralized collaborative machine learning framework organized by opportunistically encountered mobile nodes. Compared to conventional federated learning, WAFL performs model training by weakly synchronizing the model parameters with others, and this shows great resilience to a poisoned model injected by an attacker. In this paper, we provide our theoretical analysis of the WAFL's resilience against model poisoning attacks, by formulating the force balance between the poisoned model and the legitimate model. According to our experiments, we confirmed that the nodes directly encountered the attacker has been somehow compromised to the poisoned model but other nodes have shown great resilience. More importantly, after the attacker has left the network, all the nodes have finally found stronger model parameters combined with the poisoned model. Most of the attack-experienced cases achieved higher accuracy than the no-attack-experienced cases.


title: Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services Utilizing Blockchain-Based Identity Management

abstract: This work focuses on the problem of detection and prevention of stolen and misused secrets (such as private keys) for authentication toward centralized services. We propose a solution for such a problem based on the blockchain-based two-factor authentication scheme SmartOTPs, which we modify for our purposes and utilize in the setting of two and half-factor authentication against a centralized service provider. Our proposed solution consists of four entities that interact together to ensure authentication: (1) the user, (2) the authenticator, (3) the service provider, and (4) the smart contract. Out of two and a half factors of our solution, the first factor stands for the private key, and the second and a half factor stands for one-time passwords (OTPs) and their precursors, where OTPs are obtained from the precursors (a.k.a., pre-images) by cryptographically secure hashing. We describe the protocol for bootstrapping our approach as well as the authentication procedure. We make the security analysis of our solution, where on top of the main attacker model that steals secrets from the client, we analyze man-in-the-middle attacks and malware tampering with the client. In the case of stolen credentials, we show that our solution enables the user to immediately detect the attack occurrence and proceed to re-initialization with fresh credentials.


title: Exploiting Transformer-based Multitask Learning for the Detection of Media Bias in News Articles

abstract: Media has a substantial impact on the public perception of events. A one-sided or polarizing perspective on any topic is usually described as media bias. One of the ways how bias in news articles can be introduced is by altering word choice. Biased word choices are not always obvious, nor do they exhibit high context-dependency. Hence, detecting bias is often difficult. We propose a Transformer-based deep learning architecture trained via Multi-Task Learning using six bias-related data sets to tackle the media bias detection problem. Our best-performing implementation achieves a macro $F_{1}$ of 0.776, a performance boost of 3\% compared to our baseline, outperforming existing methods. Our results indicate Multi-Task Learning as a promising alternative to improve existing baseline models in identifying slanted reporting.


title: The MeerKAT Galaxy Clusters Legacy Survey: star formation in massive clusters at 0.15 < z < 0.35

abstract: We investigate dust-unbiased star formation rates (SFR) as a function of the environment in 20 massive clusters ($M_{200}>4\times10^{14} {\rm M}_{\odot}$) between $0.15<z<0.35$ using radio luminosities ($L_{\rm 1.4GHz}$) from the recently released MeerKAT Galaxy Cluster Legacy Survey catalogue. We use optical data from the Dark Energy Camera Legacy Survey to estimate photo-$z$s and assign cluster membership. We observe a steady decline in the fraction ($f_{\rm SF}$) of star-forming galaxies from $2R_{200}$ to the cluster centres in our full cluster sample, but notice a significant difference in $f_{\rm SF}$ gradients between clusters hosting large-scale extended radio emission in the form of haloes and relics (associated with ongoing merger activity) and non-radio-halo/relic hosting clusters. For star-forming galaxies within $R_{200}$, the $f_{\rm SF}$ in clusters hosting radio haloes and relics ($0.148\pm0.016$) is $\approx23\%$ higher than in non-radio-halo/relic hosting clusters ($0.120\pm0.011$). We observe a $3\sigma$ difference between the total SFR normalised by cluster mass for non-radio-halo/relic hosting clusters ($21.5\pm1.9$ M$_{\odot}$yr$^{-1}$/$10^{14}$M$_{\odot}$) and for clusters with radio haloes and relics ($26.1\pm1.4$ M$_{\odot}$yr$^{-1}$/$10^{14}$M$_{\odot}$). There is a $\approx4\times$ decline in the mass normalised total SFR of clusters for galaxies with SFR above the luminous infrared galaxies (LIRGs) SFR limit at our redshift slice, corresponding to 2 Gyr in look-back time. This is consistent with the rapid decline in SF activity with decreasing redshift amongst cluster LIRGs seen by previous studies using infrared-derived SFR.


title: A Remark on Contractible Banach Algebras of Operators

abstract: For a Banach algebra $A$, we say that an element $M$ in $A\otimes^\gamma A$ is a hyper-commutator if $(a\otimes 1)M=M(1\otimes a)$ for every $a\in A$. A diagonal for a Banach algebra is a hyper-commutator which its image under diagonal mapping is $1$. It is well-known that a Banach algebra is contractible iff it has a diagonal. The main aim of this note is to show that for any Banach subalgebra $A\subseteq\mathcal{L}(X)$ of bounded linear operators on infinite-dimensional Banach space $X$, which contains the ideal of finite-rank operators, the image of any hyper-commutator of $A$ under the canonical algebra-morphism $\mathcal{L}(X)\otimes^\gamma\mathcal{L}(X)\to\mathcal{L}(X\otimes^\gamma X)$, vanishes.


title: A Targeted Sampling Strategy for Compressive Cryo Focused Ion Beam Scanning Electron Microscopy

abstract: Cryo Focused Ion-Beam Scanning Electron Microscopy (cryo FIB-SEM) enables three-dimensional and nanoscale imaging of biological specimens via a slice and view mechanism. The FIB-SEM experiments are, however, limited by a slow (typically, several hours) acquisition process and the high electron doses imposed on the beam sensitive specimen can cause damage. In this work, we present a compressive sensing variant of cryo FIB-SEM capable of reducing the operational electron dose and increasing speed. We propose two Targeted Sampling (TS) strategies that leverage the reconstructed image of the previous sample layer as a prior for designing the next subsampling mask. Our image recovery is based on a blind Bayesian dictionary learning approach, i.e., Beta Process Factor Analysis (BPFA). This method is experimentally viable due to our ultra-fast GPU-based implementation of BPFA. Simulations on artificial compressive FIB-SEM measurements validate the success of proposed methods: the operational electron dose can be reduced by up to 20 times. These methods have large implications for the cryo FIB-SEM community, in which the imaging of beam sensitive biological materials without beam damage is crucial.


title: How Much Does Attention Actually Attend? Questioning the Importance of Attention in Pretrained Transformers

abstract: The attention mechanism is considered the backbone of the widely-used Transformer architecture. It contextualizes the input by computing input-specific attention matrices. We find that this mechanism, while powerful and elegant, is not as important as typically thought for pretrained language models. We introduce PAPA, a new probing method that replaces the input-dependent attention matrices with constant ones -- the average attention weights over multiple inputs. We use PAPA to analyze several established pretrained Transformers on six downstream tasks. We find that without any input-dependent attention, all models achieve competitive performance -- an average relative drop of only 8% from the probing baseline. Further, little or no performance drop is observed when replacing half of the input-dependent attention matrices with constant (input-independent) ones. Interestingly, we show that better-performing models lose more from applying our method than weaker models, suggesting that the utilization of the input-dependent attention mechanism might be a factor in their success. Our results motivate research on simpler alternatives to input-dependent attention, as well as on methods for better utilization of this mechanism in the Transformer architecture.


title: Path Loss and Shadowing Modeling for Vehicle-to-Vehicle Communications in Terrestrial TV Band

abstract: Vehicle platooning is considered as one of the key use cases for vehicle-to-vehicle (V2V) communications. However, its benefits can be realized only with highly reliable wireless transmission. As the 5.9GHz frequency band used for V2V suffers from high congestion, in this paper, we consider the use of the terrestrial TV frequencies for intra-platoon communications. In order to be able to evaluate the potential of the new bands fully, propagation models for V2V communications at such frequencies are needed. Therefore, this paper reports new V2V propagation measurements and their modeling results. Particularly, we propose a Double Slope Double Shadowing model as the most accurate one, based on a comparison of various models using the Bayesian Information Criteria. We also investigate the space-time autocorrelation properties of the shadowing, which turned out to be dependent on the speed of vehicles. The proposed path loss and shadowing model differs from the ones proposed for the 5.9GHz band. Mostly, in favor of the TV band, as shown by, e.g., no statistically significant impact of a blocking car.


title: Black holes in non-local gravity

abstract: In this chapter we present a status report of black hole-like solutions in non-local theories of gravity in which the Lagrangians are at least quadratic in curvature and contain specific non-polynomial (i.e., non-local) operators. In the absence of exact black hole solutions valid in the whole spacetime, most of the literature on this topic focus on approximate and simplified equations of motion, which could provide insights on the full non-linear solutions. Therefore, the largest part of this chapter is devoted to the linear approximation. We present results on stationary metric solutions (including both static and rotating cases) and dynamical spacetimes describing the formation of non-rotating mini black holes by the collapse of null shells. Non-local effects can regularize the curvature singularities in both scenarios and, in the dynamical case, there exists a mass gap below which the formation of an apparent horizon can be avoided. In the final part we discuss interesting attempts towards finding non-linear black hole solutions in non-local gravity. Throughout this chapter, instead of focusing on a particular non-local model, we present results valid for large classes of theories (to a feasible extent). This more general approach allows the comparison of similarities and differences of the various types of non-local gravity models.


title: Developers' Privacy Education: A game framework to stimulate secure coding behaviour

abstract: Software privacy provides the ability to limit data access to unauthorized parties. Privacy is achieved through different means, such as implementing GDPR into software applications. However, previous research revealed that the lack of poor coding behaviour leads to privacy breaches such as personal data breaching. Therefore, this research proposes a novel game framework as a training intervention enabling developers to implement privacy-preserving software systems. The proposed framework was empirically investigated through a survey study (with some exit questions), which revealed the elements that should be addressed in the game design framework. The developed game framework enhances developers' secure coding behaviour to improve the privacy of the software they develop.


title: Chain-order polytopes: toric degenerations, Young tableaux and monomial bases

abstract: Our first result realizes the toric variety of every marked chain-order polytope (MCOP) of the Gelfand--Tsetlin poset as an explicit Gr\"obner (sagbi) degeneration of the flag variety. This generalizes the Sturmfels/Gonciulea--Lakshmibai/Kogan--Miller construction for the Gelfand--Tsetlin degeneration to the MCOP setting. The key idea of our approach is to use pipe dreams to define realizations of toric varieties in Pl\"ucker coordinates. We then use this approach to generalize two more well-known constructions to arbitrary MCOPs: standard monomial theories such as those given by semistandard Young tableaux and PBW-monomial bases in irreducible representations such as the FFLV bases. In an addendum we introduce the notion of semi-infinite pipe dreams and use it to obtain an infinite family of poset polytopes each providing a toric degeneration of the semi-infinite Grassmannian.


title: Structure and solidification of the (Fe0.75B0.15Si0.1)100-xTax (x=0-2) melts: experiment and machine learning

abstract: Fe-B-Si system is a matrix for synthesis of new functional materials with exceptional magnetic and mechanical properties. Progress in this area is associated with the search for optimal doping conditions. This theoretical and experimental study is aimed to address the influence of Ta alloying on the structure of undercooled (Fe0.75B0.15Si0.1)100-xTax (x=0-2) melts, their undercoolability and the processes of structure formation during solidification. Small concentration of Ta complicates standard ab initio and machine learning investigations. We developed a technique for fast and stable training of machine learning interatomic potential (MLIP) in this case and uncovered the structure of the undercooled melts. Molecular dynamic simulations with MLIP showed that at Ta concentration of 1 at.% there is a sharp change in the chemical short-range ordering in the melt associated with a change in the interaction of Ta atoms. This effect leads to a restructuring of the cluster formation in the system. At the same time, our experimental investigation shows that melts with a Ta content of 1 at.% have the greatest tendency to undercoolability. Alloying with Ta promotes the formation of primary crystals of Fe2B, and at a concentration of more than 1.5 at.% Ta, also of FeTaB. Herewith, near 1 at.% Ta, the crystallization of the melt proceeds nontrivially: with the formation of two intermediate metastable phases Fe3B and Fe2Ta Laves phase. Also, the highest tendency to amorphization under conditions of quick quenching is exhibited by a melt with a Ta concentration of 1 at.%. The results not only provide understanding of optimal alloying of Fe-B-Si materials but also promote a machine learning method for numerical design of metallic alloys with a small dopant concentration.


title: Tunable Causal Consistency: Specification and Implementation

abstract: To achieve high availability and low latency, distributed data stores often geographically replicate data at multiple sites called replicas. However, this introduces the data consistency problem. Due to the fundamental tradeoffs among consistency, availability, and latency in the presence of network partition, no a one-size-fits-all consistency model exists. To meet the needs of different applications, many popular data stores provide tunable consistency, allowing clients to specify the consistency level per individual operation. In this paper, we propose tunable causal consistency (TCC). It allows clients to choose the desired session guarantee for each operation, from the well-known four session guarantees, i.e., read your writes, monotonic reads, monotonic writes, and writes follow reads. Specifically, we first propose a formal specification of TCC in an extended (vis,ar) framework originally proposed by Burckhardt et al. Then we design a TCC protocol and develop a prototype distributed key-value store called TCCSTORE. We evaluate TCCSTORE on Aliyun. The latency is less than 38ms for all workloads and the throughput is up to about 2800 operations per second. We also show that TCC achieves better performance than causal consistency and requires a negligible overhead when compared with eventual consistency.


title: Neural Architectural Nonlinear Pre-Processing for mmWave Radar-based Human Gesture Perception

abstract: In modern on-driving computing environments, many sensors are used for context-aware applications. This paper utilizes two deep learning models, U-Net and EfficientNet, which consist of a convolutional neural network (CNN), to detect hand gestures and remove noise in the Range Doppler Map image that was measured through a millimeter-wave (mmWave) radar. To improve the performance of classification, accurate pre-processing algorithms are essential. Therefore, a novel pre-processing approach to denoise images before entering the first deep learning model stage increases the accuracy of classification. Thus, this paper proposes a deep neural network based high-performance nonlinear pre-processing method.


title: Metric mean dimension of irregular sets for maps with shadowing

abstract: We study the metric mean dimension of $\Phi$-irregular set $I_{\Phi}(f)$ in dynamical systems with the shadowing property. In particular we prove that for dynamical systems with shadowing containing a chain recurrent class $Y$, the values of topological entropy together with the values of lower and upper metric mean dimension of the set $I_{\Phi}(f)\cap B(Y,\varepsilon)\cap CR(f)$ are bounded from below by the respective values for class $Y$.


title: Proton structure functions at NLO in the dipole picture with massive quarks

abstract: We predict heavy quark production cross sections in Deep Inelastic Scattering at high energy by applying the Color Glass Condensate effective theory. We demonstrate that when the calculation is performed consistently at next-to-leading order accuracy with massive quarks it becomes possible, for the first time in the dipole picture with perturbatively calculated center-of-mass energy evolution, to simultaneously describe both light and heavy quark production data at small $x_\mathrm{Bj}$. We furthermore show how the heavy quark cross section data provides additional strong constraints on the extracted non-perturbative initial condition for the small-$x_\mathrm{Bj}$ evolution equations.


title: 5G-SMART D1.5 Evaluation of radio network deployment options

abstract: This deliverable results from the work on the radio network performance analysis of the identified use cases and deployment options. Covered topics include latency reduction and mobility features of the 5G NR itself, as well as detailed analysis of the radio network KPIs, such as latency, reliability, throughput, spectral efficiency and capacity. Corresponding trade-offs for the identified deployment options and industrial use cases are quantified with an extensive set of technical results. Also, this deliverable is looking into co-channel coexistence performance analyzed through a real-life measurement campaign and considers performance optimization in presence of a special micro-exclusion zone within a factory.


title: CAN Bus: The Future of Additive Manufacturing (3D Printing)

abstract: Additive Manufacturing (AM) is gaining renewed popularity and attention due to low-cost fabrication systems proliferating the market. Current communication protocols used in AM limit the connection flexibility between the control board and peripherals; they are often complex in their wiring and thus restrict their avenue of expansion. Thus, the Controller Area Network (CAN) bus is an attractive pathway for inter-hardware connections due to its innate quality. However, the combination of CAN and AM is not well explored and documented in existing literature. This article aims to provide examples of CAN bus applications in AM.


title: Branched chain amino acids, an ''essential'' link between diet, clock and sleep?

abstract: The branched-chain amino acids: leucine, isoleucine and valine occupy a special place among the essential amino acids because of their importance not only in the structure of proteins but also in general and cerebral metabolism. Among the first amino acids absorbed after food intake, they play a major role in the regulation of protein synthesis and insulin secretion. They are involved in the modulation of brain uptake of monoamine precursors with which they may compete for occupancy of a common transporter. In the brain, branched-chain amino acids are involved not only in protein synthesis but also in the metabolic cycles of GABA and Glutamate, and in energy metabolism. In particular, they can affect GABAergic neurons and the excitation/inhibition balance. Branched-chain amino acids are known for the 24-hour rhythmicity of their plasma concentrations, which is remarkably conserved in rodent models. This rhythmicity is partly circadian, independent of sleep and food. Moreover, their concentration increases when sleep is disturbed and in obesity and diabetes. The mechanisms regulating these rhythms and their physiological impact remain poorly understood. In this context, the Drosophila model has not yet been widely used, but it is highly relevant and the first results indicate that it can generate new concepts. The elucidation of the metabolism and fluxes of branched-chain amino acids is beginning to shed light on the mysterious connections between clock, sleep, and metabolism, opening the possibility of new therapies.


title: A coupled-channel system with anomalous thresholds and unitarity

abstract: We consider the isospin one-half example system, with $D \,\pi , D\,\eta, D_s \bar K, D^* \pi , D^*\eta, D^*\bar K$ coupled channels in the $J^P = 1^-$ partial wave, chosen such that various phenomena that come with the opening of an anomalous threshold can be illustrated in a step-wise procedure by a suitable variation of up, down and strange quark masses. We use a set of LEC in the chiral Lagrangian that were adjusted to a large set of Lattice QCD results. The six phase shifts and inelasticity parameters are presented for various choices of the pion mass. For a pion mass of 150 MeV there are no anomalous thresholds encountered. The small change from 150 MeV to 145 MeV pion mass causes a dramatic impact of the anomalous threshold on the phase shifts.


title: Black-Box Attack against GAN-Generated Image Detector with Contrastive Perturbation

abstract: Visually realistic GAN-generated facial images raise obvious concerns on potential misuse. Many effective forensic algorithms have been developed to detect such synthetic images in recent years. It is significant to assess the vulnerability of such forensic detectors against adversarial attacks. In this paper, we propose a new black-box attack method against GAN-generated image detectors. A novel contrastive learning strategy is adopted to train the encoder-decoder network based anti-forensic model under a contrastive loss function. GAN images and their simulated real counterparts are constructed as positive and negative samples, respectively. Leveraging on the trained attack model, imperceptible contrastive perturbation could be applied to input synthetic images for removing GAN fingerprint to some extent. As such, existing GAN-generated image detectors are expected to be deceived. Extensive experimental results verify that the proposed attack effectively reduces the accuracy of three state-of-the-art detectors on six popular GANs. High visual quality of the attacked images is also achieved. The source code will be available at https://github.com/ZXMMD/BAttGAND.


title: Design of X-Band Bicontrollable Metasurface Absorber Comprising Graphene Pixels on Copper-Backed YIG Substrate

abstract: The planewave response of a bicontrollable metasurface absorber with graphene-patched pixels was simulated in the X band using commercial software. Each square meta-atom is a 4x4 array of 16 pixels, some patched with graphene and the others unpatched. The pixels are arranged on a PVC skin which is placed on a copper-backed YIG substrate. Graphene provides electrostatic controllability and YIG provides magnetostatic controllability. Our design delivers absorptance equal to or in excess of 0.9 over a 100-MHz spectral regime in the X band, with 360 MHz/kA magnetostatic controllabity rate and 1 Hz m/V electrostatic controllability rate. Notably, electrostatic control via graphene in the GHz range is novel.


title: End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics

abstract: The advances in language-based Artificial Intelligence (AI) technologies applied to build educational applications can present AI for social-good opportunities with a broader positive impact. Across many disciplines, enhancing the quality of mathematics education is crucial in building critical thinking and problem-solving skills at younger ages. Conversational AI systems have started maturing to a point where they could play a significant role in helping students learn fundamental math concepts. This work presents a task-oriented Spoken Dialogue System (SDS) built to support play-based learning of basic math concepts for early childhood education. The system has been evaluated via real-world deployments at school while the students are practicing early math concepts with multimodal interactions. We discuss our efforts to improve the SDS pipeline built for math learning, for which we explore utilizing MathBERT representations for potential enhancement to the Natural Language Understanding (NLU) module. We perform an end-to-end evaluation using real-world deployment outputs from the Automatic Speech Recognition (ASR), Intent Recognition, and Dialogue Manager (DM) components to understand how error propagation affects the overall performance in real-world scenarios.


title: Rate of the phase transition for a charged anti-de Sitter black hole

abstract: Phase transition is a core content of black hole thermodynamics. This study adopted the Kramer's escape rate method for describing the Brownian motion of particles in an external field to investigate the intensity of the phase transition between small and large black hole states. Some existing studies mostly focused on the formal analysis of the thermodynamic phase transition of black holes, but they neglected the detailed description of the phase transition process. Our results show that the phase transition between small and large black holes for charged anti-de Sitter (AdS) black holes presents serious asymmetric features, and the overall process is dominated by the transition from a small black hole to a large black hole. This study filled a research gap of a stochastic process analysis on the issue of the first-order phase transition rate in the AdS black hole.


title: Solidification of the Glass-Forming Al86Ni2Co6Gd6 Melt under High Pressure

abstract: High pressures allow the synthesis of new metastable compounds that remain intact for a sufficiently long time at normal conditions. Until now, it has not been fully understood how pressure, glass-forming ability and solidification of liquids are interconnected. We have investigated the structure of the glass-forming eutectic alloy Al86Ni2Co6Gd6 obtained by rapid cooling from the melt having a temperature of 1800 K under a pressure of 10 GPa. X-ray diffraction analysis and electron microscopy show that the samples are homogeneous and dense. The structure is finely dispersed. New stable crystalline phases with cubic (cP4/2) and tetragonal (tI26/1) structures are formed in the alloy. The studies have shown that the average microhardness of the samples obtained at 10 GPa is almost 2 times higher than that of the original sample at atmospheric pressure and is about 1700 MPa. To understand the results, we used ab initio molecular dynamics and studied how the melt changes with pressure. It is shown that at a temperature of 1800 K, high pressure increases the concentration of icosahedral clusters in the melt so that at 10 GPa atoms inside the icosahedra form a percolation cluster, while at atmospheric pressure they do not. Thus, the glass-forming ability of a melt increases at high pressure strongly influencing solidification processes.


title: Viscous fluid cosmology in symmetric teleparallel gravity

abstract: In this manuscript, we analyze the viscous fluid cosmological model in the framework of recently proposed $f(Q)$ gravity by assuming three different forms of bulk viscosity coefficients, specifically, $(i)\zeta =\zeta_{0}+\zeta_{1}\left( \frac{\dot{a}}{a}\right) +\zeta_{2}\left( \frac{{\ddot{a}}}{\dot{a}}\right) $, $(ii)\zeta =\zeta_{0}+\zeta_{1}\left( \frac{\dot{a}}{a}\right)$, and $(iii)\zeta =\zeta_{0}$ and a linear $f(Q)$ model, particularly, $f(Q)=\alpha Q$ where $\alpha \neq 0$ is free model parameter. We estimate the bulk viscosity coefficients and the model parameter values using the combined H(z)+Pantheon+BAO data set. We study the asymptotic behavior of our cosmological bulk viscous model by utilizing the phase space method. We find that corresponding to all three cases, our model depicts the evolution of the universe from matter dominated decelerated epoch (a past attractor) to a stable de-sitter accelerated epoch (a future attractor). Further, we study the physical behavior of effective pressure, effective equation of state (EoS), and the statefinder parameters. We find that the pressure component in the presence of bulk viscosity shows negative behavior and the effective EoS parameter predicts the accelerated expansion phase of the universe for all three cases. Moreover, we obtain that the trajectories of our model lie in the quintessence region and it converges to the $\Lambda$CDM fixed point in the far future. We find that the accelerated deSitter like phase comes purely from the $\bar{\zeta}_0$ case without any geometrical modification to GR. Moreover, we find that the late-time behavior of all three cases of viscosity coefficients are identical.


title: The infinitesimal model with dominance

abstract: The classical infinitesimal model is a simple and robust model for the inheritance of quantitative traits. In this model, a quantitative trait is expressed as the sum of a genetic and a non-genetic (environmental) component and the genetic component of offspring traits within a family follows a normal distribution around the average of the parents' trait values, and has a variance that is independent of the trait values of the parents. In previous work, Barton et al.(2017), we showed that when trait values are determined by the sum of a large number of Mendelian factors, each of small effect, one can justify the infinitesimal model as limit of Mendelian inheritance. In this paper, we show that the robustness of the infinitesimal model extends to include dominance. We define the model in terms of classical quantities of quantitative genetics, before justifying it as a limit of Mendelian inheritance as the number, M, of underlying loci tends to infinity. As in the additive case, the multivariate normal distribution of trait values across the pedigree can be expressed in terms of variance components in an ancestral population and probabilities of identity by descent determined by the pedigree. In this setting, it is natural to decompose trait values, not just into the additive and dominance components, but into a component that is shared by all individuals within the family and an independent `residual' for each offspring, which captures the randomness of Mendelian inheritance. We show that, even if we condition on parental trait values, both the shared component and the residuals within each family will be asymptotically normally distributed as the number of loci tends to infinity, with an error of order 1/\sqrt{M}. We illustrate our results with some numerical examples.


title: Versatile volumetric additive manufacturing with 3D ray tracing

abstract: Tomographic volumetric additive manufacturing (VAM) is an optical 3D printing technique where an object is formed by photopolymerizing resin via tomographic projections. Currently, these projections are calculated using the Radon transform from computed tomography but it ignores two fundamental properties of real optical projection systems: finite etendue and non-telecentricity. In this work, we introduce 3D ray tracing as a new method of computing projections in tomographic VAM and demonstrate high fidelity printing in non-telecentric and higher etendue systems, leading to a 3X increase in vertical build volume than the standard Radon method. The method introduced here expands the possible tomographic VAM printing configurations, enabling faster, cheaper, and higher fidelity printing.


title: Graphene-Induced Energy Transfer for Quantitative Membrane Biophysics at Sub-Nanometer Resolution

abstract: Graphene-induced energy transfer (GIET) is a recently developed fluorescence-spectroscopic technique that achieves sub-nanometric optical localization of fluorophores along the optical axis of a microscope. GIET is based on the near-field energy transfer from an optically excited fluorescent molecule to a single sheet of graphene. It has been successfully used for estimating inter-leaflet distances of single lipid bilayers, and for investigating the membrane organization of living mitochondria. In this study, we use GIET to measure the cholesterol-induced subtle changes of membrane thickness at the nanoscale. We quantify membrane thickness variations in supported lipid bilayers (SLBs) as a function of lipid composition and increasing cholesterol content. Our findings demonstrate that GIET is an extremely sensitive tool for investigating nanometric structural changes in bio-membranes.


title: Ultrafast laser welding of silicon

abstract: While ultrafast laser welding is an appealing technique for bonding transparent workpieces, it is not applicable for joining silicon samples due to nonlinear propagation effects which dramatically diminishes the possible energy deposition at the interface. We demonstrate that these limitations can be circumvented by local absorption enhancement at the interface thanks to metallic nanolayer deposition. By combining the resulting exalted absorption with filament relocation during ultrafast laser irradiation, silicon samples can be efficiently joined. Shear joining strengths >4 MPa are obtained for 21-nm gold nanolayers without laser-induced alteration of the transmittance. Such remarkable strength values hold promises for applications in microelectronics, optics, and astronomy.


title: Unbounded eigenfunctions in the stability problem for a three-layer flow in porous media

abstract: We study the linear stability of the displacement of three Stokes fluids with constant viscosity in a porous medium when the middle fluid is contained in a bounded region. We use the Hele-Shaw model. The eigenfunctions of the stability system are the amplitudes of the linear perturbations. These amplitudes must be small. We get unbounded eigenfunctions. So the stability problem has no physical sense.


title: Nonlinear Quantum Nonolocality and its Cosmophysical Tests

abstract: Analysis of Bell-EPR nonlocal correlations in microscopic measurement theory framework indicates that novel quantum nonlocality effects can exist. In particular, it can result in distant correlations between the systems of elementary quantum objects or particles. Doebner-Goldin nonlinear quantum formalism applied for nonlocal correlation description, comparison with some cosmophysical experiment results discussed.


title: On the importance of data collection for training general goal-reaching policies

abstract: Recent advances in ML suggest that the quantity of data available to a model is one of the primary bottlenecks to high performance. Although for language-based tasks there exist almost unlimited amounts of reasonably coherent data to train from, this is generally not the case for Reinforcement Learning, especially when dealing with a novel environment. In effect, even a relatively trivial continuous environment has an almost limitless number of states, but simply sampling random states and actions will likely not provide transitions that are interesting or useful for any potential downstream task. How should one generate massive amounts of useful data given only an MDP with no indication of downstream tasks? Are the quantity and quality of data truly transformative to the performance of a general controller? We propose to answer both of these questions. First, we introduce a principled unsupervised exploration method, ChronoGEM, which aims to achieve uniform coverage over the manifold of achievable states, which we believe is the most reasonable goal given no prior task information. Secondly, we investigate the effects of both data quantity and data quality on the training of a downstream goal-achievement policy, and show that both large quantities and high-quality of data are essential to train a general controller: a high-precision pose-achievement policy capable of attaining a large number of poses over numerous continuous control embodiments including humanoid.


title: Knowledge Retrieval

abstract: Robots are man made machines which are used to accomplish the tasks. Robots are mainly used to do complex tasks and work in hazardous environment where humans are difficult to work. They are not only designed to use in hazardous environment but also in the environment where humans are performing the same task repeatedly. These are also used for cooking purpose some tasks can be completed with the interaction of both the human and robot one of such things is cooking where human should help robot in making dishes. This paper mainly focusses on Functional Object Oriented Network which is structured knowledge representation using the input output and motion nodes. Task tress are generated using the task tree FOON is produced and collections of all FOONS forms the universal FOON. Different algorithms to traverse the tree in order to get the best output are also discussed in this paper. The desired node or goal node can be achieved from the start node using the different search algorithms and comparison between them is discussed.


title: Primordial black holes and induced gravitational waves from double-pole inflation

abstract: The primordial black hole (PBH) productions from the inflationary potential with an inflection point usually rely heavily on the fine-tuning of the model parameters. We propose in this work a new kind of the $\alpha$-attractor inflation with asymmetric double poles that naturally and easily lead to a period of non-attractor inflation, during which the PBH productions are guaranteed with less fine-tuning the model parameters. This double-pole inflation can be tested against the observational data in the future with rich phenomenological signatures: (1) the enhanced curvature perturbations at small scales admit a distinctive feature of ultraviolet oscillations in the power spectrum; (2) the quasi-monochromatic mass function of the produced PBHs can be made compatible to the asteroid-mass PBHs as the dominant dark matter component, the planet-mass PBHs as the OGLE ultrashort-timescale microlensing events, and the solar-mass PBHs as the LIGO-Virgo events; (3) the induced gravitational waves can be detected by the gravitational-wave detectors in space and Pulsar Timing Array/Square Kilometer Array.


title: Adaptive Contrastive Learning on Multimodal Transformer for Review Helpfulness Predictions

abstract: Modern Review Helpfulness Prediction systems are dependent upon multiple modalities, typically texts and images. Unfortunately, those contemporary approaches pay scarce attention to polish representations of cross-modal relations and tend to suffer from inferior optimization. This might cause harm to model's predictions in numerous cases. To overcome the aforementioned issues, we propose Multimodal Contrastive Learning for Multimodal Review Helpfulness Prediction (MRHP) problem, concentrating on mutual information between input modalities to explicitly elaborate cross-modal relations. In addition, we introduce Adaptive Weighting scheme for our contrastive learning approach in order to increase flexibility in optimization. Lastly, we propose Multimodal Interaction module to address the unalignment nature of multimodal data, thereby assisting the model in producing more reasonable multimodal representations. Experimental results show that our method outperforms prior baselines and achieves state-of-the-art results on two publicly available benchmark datasets for MRHP problem.


title: Dynamic weights enabled Physics-Informed Neural Network for simulating the mobility of Engineered Nano-particles in a contaminated aquifer

abstract: Numerous polluted groundwater sites across the globe require an active remediation strategy to restore natural environmental conditions and local ecosystem. The Engineered Nano-particles (ENPs) have emerged as an efficient reactive agent for the in-situ degradation of groundwater contaminants. While the performance of these ENPs has been highly promising on the laboratory scale, their application in real field case conditions is still limited. The complex transport and retention mechanisms of ENPs hinder the development of an efficient remediation strategy. Therefore, a predictive tool for understanding the transport and retention behavior of ENPs is highly required. The existing tools in the literature are dominated with numerical simulators, which have limited flexibility and accuracy in the presence of sparse datasets. This work uses a dynamic, weight-enabled Physics-Informed Neural Network (dw-PINN) framework to model the nano-particle behavior within an aquifer. The result from the forward model demonstrates the effective capability of dw-PINN in accurately predicting the ENPs mobility. The model verification step shows that the relative mean square error (MSE) of the predicted ENPs concentration using dw-PINN converges to a minimum value of $1.3{e^{-5}}$. In the subsequent step, the result from the inverse model estimates the governing parameters of ENPs mobility with reasonable accuracy. The research demonstrates the tool's capability to provide predictive insights for developing an efficient groundwater remediation strategy.


title: Hardware Security Primitives using Passive RRAM Crossbar Array: Novel TRNG and PUF Designs

abstract: With rapid advancements in electronic gadgets, the security and privacy aspects of these devices are significant. For the design of secure systems, physical unclonable function (PUF) and true random number generator (TRNG) are critical hardware security primitives for security applications. This paper proposes novel implementations of PUF and TRNGs on the RRAM crossbar structure. Firstly, two techniques to implement the TRNG in the RRAM crossbar are presented based on write-back and 50% switching probability pulse. The randomness of the proposed TRNGs is evaluated using the NIST test suite. Next, an architecture to implement the PUF in the RRAM crossbar is presented. The initial entropy source for the PUF is used from TRNGs, and challenge-response pairs (CRPs) are collected. The proposed PUF exploits the device variations and sneak-path current to produce unique CRPs. We demonstrate, through extensive experiments, reliability of 100%, uniqueness of 47.78%, uniformity of 49.79%, and bit-aliasing of 48.57% without any post-processing techniques. Finally, the design is compared with the literature to evaluate its implementation efficiency, which is clearly found to be superior to the state-of-the-art.


title: De-risking geological carbon storage from high resolution time-lapse seismic to explainable leakage detection

abstract: Geological carbon storage represents one of the few truly scalable technologies capable of reducing the CO2 concentration in the atmosphere. While this technology has the potential to scale, its success hinges on our ability to mitigate its risks. An important aspect of risk mitigation concerns assurances that the injected CO2 remains within the storage complex. Amongst the different monitoring modalities, seismic imaging stands out with its ability to attain high resolution and high fidelity images. However, these superior features come, unfortunately, at prohibitive costs and time-intensive efforts potentially rendering extensive seismic monitoring undesirable. To overcome this shortcoming, we present a methodology where time-lapse images are created by inverting non-replicated time-lapse monitoring data jointly. By no longer insisting on replication of the surveys to obtain high fidelity time-lapse images and differences, extreme costs and time-consuming labor are averted. To demonstrate our approach, hundreds of noisy time-lapse seismic datasets are simulated that contain imprints of regular CO2 plumes and irregular plumes that leak. These time-lapse datasets are subsequently inverted to produce time-lapse difference images used to train a deep neural classifier. The testing results show that the classifier is capable of detecting CO2 leakage automatically on unseen data and with a reasonable accuracy.

categories: physics.geo-ph cs.CV cs.NA eess.IV math.NA


title: Algorithm for Dynamic Fingerprinting Radio Map Creation Using IMU Measurements

abstract: While a vast number of location-based services appeared lately, indoor positioning solutions are developed to provide reliable position information in environments where traditionally used satellite-based positioning systems cannot provide access to accurate position estimates. Indoor positioning systems can be based on many technologies; however, radio networks and more precisely Wi-Fi networks seem to attract the attention of a majority of the research teams. The most widely used localization approach used in Wi-Fi-based systems is based on fingerprinting framework. Fingerprinting algorithms, however, require a radio map for position estimation. This paper will describe a solution for dynamic radio map creation, which is aimed to reduce the time required to build a radio map. The proposed solution is using measurements from IMUs (Inertial Measurement Units), which are processed with a particle filter dead reckoning algorithm. Reference points (RPs) generated by the implemented dead reckoning algorithm are then processed by the proposed reference point merging algorithm, in order to optimize the radio map size and merge similar RPs. The proposed solution was tested in a real-world environment and evaluated by the implementation of deterministic fingerprinting positioning algorithms, and the achieved results were compared with results achieved with a static radio map. The achieved results presented in the paper show that positioning algorithms achieved similar accuracy even with a dynamic map with a low density of reference points.


title: Geometry of branched minimal surfaces of finite index

abstract: Given $I,B\in\mathbb{N}\cup \{0\}$, we investigate the existence and geometry of complete finitely branched minimal surfaces $M$ in $\mathbb{R}^3$ with Morse index at most $I$ and total branching order at most $B$. Previous works of Fischer-Colbrie and Ros explain that such surfaces are precisely the complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature and finite total branching order. Among other things, we derive scale-invariant weak chord-arc type results for such an $M$ with estimates that are given in terms of $I$ and $B$. In order to obtain some of our main results for these special surfaces, we obtain general intrinsic monotonicity of area formulas for $m$-dimensional submanifolds $\Sigma$ of an $n$-dimensional Riemannian manifold $X$, where these area estimates depend on the geometry of $X$ and upper bounds on the lengths of the mean curvature vectors of $\Sigma$. We also describe a family of complete, finitely branched minimal surfaces in $\mathbb{R}^3$ that are stable and non-orientable; these examples generalize the classical Henneberg minimal surface.


title: Optimal Deterministic Massively Parallel Connectivity on Forests

abstract: We show fast deterministic algorithms for fundamental problems on forests in the challenging low-space regime of the well-known Massive Parallel Computation (MPC) model. A recent breakthrough result by Coy and Czumaj [STOC'22] shows that, in this setting, it is possible to deterministically identify connected components on graphs in $O(\log D + \log\log n)$ rounds, where $D$ is the diameter of the graph and $n$ the number of nodes. The authors left open a major question: is it possible to get rid of the additive $\log\log n$ factor and deterministically identify connected components in a runtime that is completely independent of $n$? We answer the above question in the affirmative in the case of forests. We give an algorithm that identifies connected components in $O(\log D)$ deterministic rounds. The total memory required is $O(n+m)$ words, where $m$ is the number of edges in the input graph, which is optimal as it is only enough to store the input graph. We complement our upper bound results by showing that $\Omega(\log D)$ time is necessary even for component-unstable algorithms, conditioned on the widely believed 1 vs. 2 cycles conjecture. Our techniques also yield a deterministic forest-rooting algorithm with the same runtime and memory bounds. Furthermore, we consider Locally Checkable Labeling problems (LCLs), whose solution can be verified by checking the $O(1)$-radius neighborhood of each node. We show that any LCL problem on forests can be solved in $O(\log D)$ rounds with a canonical deterministic algorithm, improving over the $O(\log n)$ runtime of Brandt, Latypov and Uitto [DISC'21]. We also show that there is no algorithm that solves all LCL problems on trees asymptotically faster.


title: Oscillation Quenching in Stuart-Landau Oscillators via Dissimilar Repulsive Coupling

abstract: Quenching of oscillations, namely amplitude and oscillations death, is an emerging phenomenon exhibited by many real-world complex systems. Here, we introduce a scheme that combines dissimilar couplings and repulsive feedback links for the interactions of Stuart Landau oscillators and analytically derives the conditions required for the amplitude death. Importantly, this analysis is independent of the network size, presents a generalized approach to calculate the stability conditions for various different coupling schemes, and befits for non-identical oscillators as well. Last, we discuss the similarities of the quenching of oscillations phenomenon with the postictal generalized EEG suppression in convulsive seizures.


abstract: We use the integral by parts to get a Liouville type theorem for a class quasilinear $p$-Laplace type equation on the sphere, this $p$-Laplace type equation arises from the study of asymptotic behavior near the origin for the semi-linear $p$-Laplace equation on the puncture ball $B_1(o) \subset R^n$. This gives a positive answer to L. V\'{e}ron's question in a paper \cite{Veron92} and his book \cite{Veron} at page 440.