title: Word Measures on $GL_N(q)$ and Free Group Algebras

abstract: Fix a finite field $K$ of order $q$ and a word $w$ in a free group $F$ on $r$ generators. A $w$-random element in $GL_N(K)$ is obtained by sampling $r$ independent uniformly random elements $g_1,\ldots,g_r\in GL_N(K)$ and evaluating $w\left(g_1,\ldots,g_r\right)$. Consider $\mathbb{E}_w\left[\mathrm{fix}\right]$, the average number of vectors in $K^{N}$ fixed by a $w$-random element. We show that $\mathbb{E}_{w}\left[\mathrm{fix}\right]$ is a rational function in $q^{N}$. Moreover, if $w=u^{d}$ with $u$ a non-power, then the limit $\lim_{N\to\infty}\mathbb{E}_{w}\left[\mathrm{fix}\right]$ depends only on $d$ and not on $u$. These two phenomena generalize to all stable characters of the groups $\left\{ GL_N(K)\right\}_{N}$. A main feature of this work is the connection we establish between word measures on $GL_N(K)$ and the free group algebra $K\left[F\right]$. A classical result of Cohn [1964] and Lewin [1969] is that every one-sided ideal of $K\left[F\right]$ is a free $K\left[F\right]$-module with a well-defined rank. We show that for $w$ a non-power, $\mathbb{E}_{w}\left[\mathrm{fix}\right]=2+\frac{C}{q^{N}}+O\left(\frac{1}{q^{2N}}\right)$, where $C$ is the number of rank-2 right ideals $I\le K\left[F\right]$ which contain $w-1$ but not as a basis element. We describe a full conjectural picture generalizing this result, featuring a new invariant we call the $q$-primitivity rank of $w$. In the process, we prove several new results about free group algebras. For example, we show that if $T$ is any finite subtree of the Cayley graph of $F$, and $I\le K\left[F\right]$ is a right ideal with a generating set supported on $T$, then $I$ admits a basis supported on $T$. We also prove an analogue of Kaplansky's unit conjecture for certain $K\left[F\right]$-modules.


title: Quantum Flatness in Two-Dimensional CDT Quantum Gravity

abstract: Flatness -- the absence of spacetime curvature -- is a well-understood property of macroscopic, classical spacetimes in general relativity. The same cannot be said about the concepts of curvature and flatness in nonperturbative quantum gravity, where the microscopic structure of spacetime is not describable in terms of small fluctuations around a fixed background geometry. An interesting case are two-dimensional models of quantum gravity, which lack a classical limit and therefore are maximally "quantum". We investigate the recently introduced quantum Ricci curvature in CDT quantum gravity on a two-dimensional torus, whose quantum geometry could be expected to behave like a flat space on suitably coarse-grained scales. On the basis of Monte Carlo simulations we have performed, with system sizes of up to 600.000 building blocks, this does not seem to be the case. Instead, we find a scale-independent "quantum flatness", without an obvious classical analogue. As part of our study, we develop a criterion that allows us to distinguish between local and global, topological properties of the toroidal quantum system.


title: Heat Capacity of oxide scale in the range from 0 C to 1300 C: Generalized estimates with account for movability of phase transitions

abstract: The known data on the heat capacity of magnetite (Fe3O4), hematite (Fe2O3) and iron (Fe) at different temperatures are approximated by formulas containing phase transition temperatures as varying parameters. This allows to take into account the effect of phase transition shifts, for example, due to impurities, lattice defects, grain sizes or high cooling rates. For this purpose, the entire target temperature range from 0 C to 1300 C is divided by phase transition temperatures into separate intervals. The conjugation of the approximating functions between the intervals at the magnetic transition point is performed without a gap, and at the point of polymorphic transformation (alpha Fe - gamma Fe) with a finite gap of heat capacity values. For wustite Fe1-xO which does not experience phase transformations, the temperature dependence of the heat capacity is approximated by a single smooth function. In combination with previously obtained formulas for the density of iron oxides and iron the proposed approximations allow us to estimate the specific mass heat capacity of oxide scale depending of its structural composition and temperature. By model calculations it is shown that at temperatures of 200 C and 900 C specific mass heat capacity of oxide scale practically does not depend on the percentage of its individual components and is approximately 750 and 850 J/(kg K) respectively. At a temperature of about 575 C, on contrary, actually possible variations in the composition of oxide scale can lead to a change in its specific heat capacity from 850 to 1150 J/(kg K). The obtained dependencies are recommended for use in mathematical modeling of production and processing of steel products in the presence of oxide scale on their surface


title: Physical Layer Security in Relay Networks with Outdated Relay Selection

abstract: In this paper, the secrecy performance of a cooperative relay network with outdated relay selection is investigated where an eavesdropper intercepts the channels between the source and the destination. The best relay is chosen among N relays based on the opportunistic relay selection algorithm, which may not be the best relay at the time of transmission because of the outdated channel state information. We derive closed-form analytical expressions for the non-zero secrecy capacity, the secrecy outage probability, and the ergodic secrecy capacity. Finally, our theoretical analysis is validated by the numerical results, and detailed discussions and insights are given.


title: A molecular perspective on induced charges on a metallic surface

abstract: Understanding the response of the surface of metallic solids to external electric field sources is crucial to characterize electrode-electrolyte interfaces. Continuum electrostatics offer a simple description of the induced charge density at the electrode surface. However, such a simple description does not take into account features related to the atomic structure of the solid and to the molecular nature of the solvent and of the dissolved ions. In order to illustrate such effects and assess the ability of continuum electrostatics to describe the induced charge distribution, we investigate the behaviour of a gold electrode interacting with sodium or chloride ions fixed at various positions, in vacuum or in water, using all-atom constant-potential classical molecular dynamics simulations. Our analysis highlights important similarities between the two approaches, especially in vacuum conditions and when the ion is sufficiently far from the surface, as well as some limitations of the continuum description, namely neglecting the charges induced by the adsorbed solvent molecules and the screening effect of the solvent when the ion is close to the surface. While the detailed features of the charge distribution are system-specific, we expect some of our generic conclusions on the induced charge density to hold for other ions, solvents and electrode surfaces. Beyond this particular case, the present study also illustrates the relevance of such molecular simulations to serve as a reference for the design of improved implicit solvent models of electrode-electrolyte interfaces.


title: Intelligent Reflecting Surface for Multi-Path Beam Routing with Active/Passive Beam Splitting and Combining

abstract: Intelligent reflecting surface (IRS) can be densely deployed in wireless networks to significantly enhance the communication channels. In this letter, we consider the downlink transmission from a multi-antenna base station (BS) to a single-antenna user, by exploiting the cooperative passive beamforming (CPB) and line-of-sight (LoS) path diversity gains of multi-IRS signal reflection. Unlike existing works where only one single multi-IRS reflection path from the BS to user is selected, we propose a new and more general multi-path beam routing scheme. Specifically, the BS sends the user's information signal via multiple orthogonal active beams (termed as active beam splitting), which point towards different IRSs. Then, these beamed signals are subsequently reflected by selected IRSs via their CPB in different paths, and finally coherently combined at the user's receiver (thus named {\it \textbf{passive beam combining}}). For this scheme, we formulate a new multi-path beam routing design problem to jointly optimize the number of IRS reflection paths, the selected IRSs for each of the reflection paths, the active/passive beamforming at the BS/each selected IRS, as well as the BS's power allocation over different active beams, so as to maximize the received signal power at the user. To solve this challenging problem, we first derive the optimal BS/IRS beamforming and BS power allocation for a given set of reflection paths. The clique-based approach in graph theory is then applied to solve the remaining multi-path selection problem efficiently. Simulation results show that our proposed multi-path beam routing scheme significantly outperforms its conventional single-path beam routing special case.


title: Emulator-based Decomposition for Structural Sensitivity of Core-level Spectra

abstract: We explore the sensitivity of several core-level spectroscopic methods to the underlying atomistic structure by using the water molecule as our test system. We first define a metric that measures the magnitude of spectral change as a function of the structure, which allows for identifying structural regions with high spectral sensitivity. We then apply machine-learning-emulator-based decomposition of the structural parameter space for maximal explained spectral variance, first on overall spectral profile and then on chosen integrated regions of interest therein. The presented method recovers more spectral variance than partial least squares fitting and the observed behavior is well in line with the aforementioned metric for spectral sensitivity. The analysis method is able to independently identify spectroscopically dominant degrees of freedom, and to quantify their effect and significance.


title: Reinforcement Learning Based Optimal Camera Placement for Depth Observation of Indoor Scenes

abstract: Exploring the most task-friendly camera setting -- optimal camera placement (OCP) problem -- in tasks that use multiple cameras is of great importance. However, few existing OCP solutions specialize in depth observation of indoor scenes, and most versatile solutions work offline. To this problem, an OCP online solution to depth observation of indoor scenes based on reinforcement learning is proposed in this paper. The proposed solution comprises a simulation environment that implements scene observation and reward estimation using shadow maps and an agent network containing a soft actor-critic (SAC)-based reinforcement learning backbone and a feature extractor to extract features from the observed point cloud layer-by-layer. Comparative experiments with two state-of-the-art optimization-based offline methods are conducted. The experimental results indicate that the proposed system outperforms seven out of ten test scenes in obtaining lower depth observation error. The total error in all test scenes is also less than 90% of the baseline ones. Therefore, the proposed system is more competent for depth camera placement in scenarios where there is no prior knowledge of the scenes or where a lower depth observation error is the main objective.


title: Extraction of Positional Player Data from Broadcast Soccer Videos

abstract: Computer-aided support and analysis are becoming increasingly important in the modern world of sports. The scouting of potential prospective players, performance as well as match analysis, and the monitoring of training programs rely more and more on data-driven technologies to ensure success. Therefore, many approaches require large amounts of data, which are, however, not easy to obtain in general. In this paper, we propose a pipeline for the fully-automated extraction of positional data from broadcast video recordings of soccer matches. In contrast to previous work, the system integrates all necessary sub-tasks like sports field registration, player detection, or team assignment that are crucial for player position estimation. The quality of the modules and the entire system is interdependent. A comprehensive experimental evaluation is presented for the individual modules as well as the entire pipeline to identify the influence of errors to subsequent modules and the overall result. In this context, we propose novel evaluation metrics to compare the output with ground-truth positional data.


title: Applying Second-Order Quantifier Elimination in Inspecting G\"odel's Ontological Proof

abstract: In recent years, G\"odel's ontological proof and variations of it were formalized and analyzed with automated tools in various ways. We supplement these analyses with a modeling in an automated environment based on first-order logic extended by predicate quantification. Formula macros are used to structure complex formulas and tasks. The analysis is presented as a generated type-set document where informal explanations are interspersed with pretty-printed formulas and outputs of reasoners for first-order theorem proving and second-order quantifier elimination. Previously unnoticed or obscured aspects and details of G\"odel's proof become apparent. Practical application possibilities of second-order quantifier elimination are shown and the encountered elimination tasks may serve as benchmarks.


title: On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

abstract: In this article we study linear temporal logics with team semantics (TeamLTL) that are novel logics for defining hyperproperties. We define Kamp-type translations of these logics into fragments of first-order team logic and second-order logic. We also characterize the expressive power and the complexity of model-checking and satisfiability of team logic and second-order logic by relating them to second- and third-order arithmetic. Our results set in a larger context the recent results of L\"uck showing that the extension of TeamLTL by the Boolean negation is highly undecidable under the so-called synchronous semantics. We also study stutter-invariant fragments of extensions of TeamLTL.


title: A Secretive Coded Caching for Shared Cache Systems using PDAs

abstract: This paper considers the secretive coded caching problem with shared caches in which no user must have access to the files that it did not demand. In a shared cache network, the users are served by a smaller number of helper caches and each user is connected to exactly one helper cache. To ensure the secrecy constraint in shared cache networks, each user is required to have an individual cache of at least unit file size. For this setting, a secretive coded caching scheme was proposed recently in the literature (\enquote{Secretive Coded Caching with Shared Caches}, in \textit{IEEE Communications Letters}, 2021), and it requires a subpacketization level which is in the exponential order of the number of helper caches. By utilizing the PDA constructions, we propose a procedure to obtain new secretive coded caching schemes for shared caches with reduced subpacketization levels. We also show that the existing secretive coded caching scheme for shared caches can be recovered using our procedure. Furthermore, we derive a lower bound on the secretive transmission rate using cut-set arguments and demonstrate the order-optimality of the proposed secretive coded caching scheme.


title: A Deep Insight into Measuring Face Image Utility with General and Face-specific Image Quality Metrics

abstract: Quality scores provide a measure to evaluate the utility of biometric samples for biometric recognition. Biometric recognition systems require high-quality samples to achieve optimal performance. This paper focuses on face images and the measurement of face image utility with general and face-specific image quality metrics. While face-specific metrics rely on features of aligned face images, general image quality metrics can be used on the global image and relate to human perceptions. In this paper, we analyze the gap between the general image quality metrics and the face image quality metrics. Our contribution lies in a thorough examination of how different the image quality assessment algorithms relate to the utility for the face recognition task. The results of image quality assessment algorithms are further compared with those of dedicated face image quality assessment algorithms. In total, 25 different quality metrics are evaluated on three face image databases, BioSecure, LFW, and VGGFace2 using three open-source face recognition solutions, SphereFace, ArcFace, and FaceNet. Our results reveal a clear correlation between learned image metrics to face image utility even without being specifically trained as a face utility measure. Individual handcrafted features lack general stability and perform significantly worse than general face-specific quality metrics. We additionally provide a visual insight into the image areas contributing to the quality score of a selected set of quality assessment methods.


title: DIF Statistical Inference without Knowing Anchoring Items

abstract: Establishing the invariance property of an instrument is a key step for establishing its measurement validity. Measurement invariance is typically assessed by differential item functioning (DIF) analysis, i.e., detecting DIF items whose response distribution depends on not only the latent trait measured by the instrument but also the group membership. DIF analysis is confounded by the group difference in the latent trait distributions. Many DIF analyses require knowing several anchor items that are DIF-free to draw inferences on whether each of the rest is a DIF item, where the anchor items are used to identify the latent trait distributions. When no prior information on anchor items is available, item purification methods and regularized estimation methods can be used. The former iteratively purifies the anchor set by a stepwise model selection procedure, and the latter selects the DIF-free items by a LASSO-type regularization approach. Unfortunately, unlike the methods based on a correctly specified anchor set, these methods are not guaranteed to provide valid statistical inference (e.g., confidence intervals and $p$-values). In this paper, we propose a new method for DIF analysis under a multiple indicators and multiple causes (MIMIC) model for DIF. This method adopts a minimal $L_1$ norm condition for identifying the latent trait distributions. Without requiring prior knowledge about an anchor set, it can accurately estimate the DIF effects of individual items and further draw valid statistical inferences for quantifying the uncertainty. Specifically, the inference results allow us to control the type-I error for DIF detection, which may not be possible with item purification and regularized estimation methods. The proposed method is applied to analyzing the three personality scales of the Eysenck personality questionnaire - revised (EPQ-R).


title: Quantum Chaos and Universal Trotterisation Behaviours in Digital Quantum Simulations

abstract: Digital quantum simulation (DQS) is one of the most promising paths for achieving first useful real-world applications for quantum processors. Yet even assuming rapid progress in device engineering and development of fault-tolerant quantum processors, algorithmic resource optimisation will long remain crucial to exploit their full power. Currently, Trotterisation provides state-of-the-art resource scaling. And recent theoretical studies of Trotterised Ising models suggest that even better performance than expected may be possible up to a distinct breakdown threshold in empirical performance. Here, we study multiple paradigmatic DQS models with experimentally realisable Trotterisations, and evidence the universality of a range of Trotterisation performance behaviours, including not only the threshold, but also new features in the pre-threshold regime that is most important for practical applications. In each model, we observe a distinct Trotterisation threshold shared across widely varying performance signatures; we further show that an onset of quantum chaotic dynamics causes the performance breakdown and is directly induced by digitisation errors. In the important pre-threshold regime, we are able to identify new distinct regimes displaying qualitatively different quasiperiodic performance behaviours, and show analytic behaviour for properly defined operational Trotter errors. Our results rely crucially on diverse new analytical tools, and provide a previously missing unified picture of Trotterisation behaviour across local observables, the global quantum state, and the full Trotterised unitary. This work provides new insights and tools for addressing important questions about the algorithm performance and underlying theoretical principles of sufficiently complex Trotterisation-based DQS, that will help in extracting maximum simulation power from future quantum processors.


title: Abelian equals A-finite for Anderson A-modules

abstract: Anderson introduced t-modules as higher dimensional analogs of Drinfeld modules. Attached to such a t-module, there are its t-motive and its dual t-motive. The t-module gets the attribute "abelian" when the t-motive is a finitely generated module, and the attribute "t-finite" when the dual t-motive is a finitely generated module. The main theorem of this article is the affirmative answer to the long standing question whether these two attributes are equivalent. The proof relies on an invariant of the t-module and a condition for that invariant which is necessary and sufficient for both being abelian and being t-finite. We further show that this invariant also provides the information whether the t-module is pure or not. Moreover, we conclude that also over general coefficient rings A, i.e. for Anderson A-modules, the attributes of being abelian and being A-finite are equivalent.


title: Improving Non-autoregressive Generation with Mixup Training

abstract: While pre-trained language models have achieved great success on various natural language understanding tasks, how to effectively leverage them into non-autoregressive generation tasks remains a challenge. To solve this problem, we present a non-autoregressive generation model based on pre-trained transformer models. To bridge the gap between autoregressive and non-autoregressive models, we propose a simple and effective iterative training method called MIx Source and pseudo Target (MIST). Unlike other iterative decoding methods, which sacrifice the inference speed to achieve better performance based on multiple decoding iterations, MIST works in the training stage and has no effect on inference time. Our experiments on three generation benchmarks including question generation, summarization and paraphrase generation, show that the proposed framework achieves the new state-of-the-art results for fully non-autoregressive models. We also demonstrate that our method can be used to a variety of pre-trained models. For instance, MIST based on the small pre-trained model also obtains comparable performance with seq2seq models.


title: Two-particle correlations and the metal-insulator transition: Iterated Perturbation Theory revisited

abstract: Recent advances in many-body physics have made it possible to study correlated electron systems at the two-particle level. In Dynamical Mean-Field theory, it has been shown that the metal-insulator phase diagram is closely related to the eigenstructure of the susceptibility. So far, this situation has been studied using accurate but numerically expensive solvers. Here, the Iterated Perturbation Theory (IPT) approximation is used instead. Its simplicity makes it possible to obtain analytical results for the two-particle vertex and the DMFT Jacobian. The limited computational cost also enables a detailed comparison of analytical expressions for the response functions to results obtained using finite differences. At the same time, the approximate nature of IPT precludes an interpretation of the metal-insulator transition in terms of a Landau free energy functional.


title: GGCHEMPY: A pure Python-based gas-grain chemical code for efficient simulation of interstellar chemistry

abstract: In this paper, we present a new gas-grain chemical code for interstellar clouds written in pure Python (GGCHEMPY). By combining with the high-performance Python compiler Numba, GGCHEMPY is as efficient as the Fortran-based version. With the Python features, flexible computational workflows and extensions become possible. As a showcase, GGCHEMPY is applied to study the general effects of three-dimensional projection on molecular distributions using a two-core system which can be easily extended for more complex cases. By comparing the molecular distribution differences between two overlapping cores and two merging cores, we summarized the typical chemical differences such as, N2H+, HC3N, C2S, H2CO, HCN and C2H, which can be used to interpret 3-D structures in molecular clouds.


title: Quantum-limited determination of refractive index difference by means of entanglement

abstract: Shaping single-mode operation in high-power fibres requires a precise knowledge of the gain-medium optical properties. This requires accurate measurements of the refractive index differences ($\Delta$n) between the core and the cladding of the fiber. We exploit a quantum optical method based on low-coherence Hong-Ou-Mandel interferometry to perform practical measurements of the refractive index difference using broadband energy-time entangled photons. The precision enhancement reached with this method is benchmarked with a classical method based on single photon interferometry. We show in classical regime an improvement by an order of magnitude of the precision compared to already reported classical methods. Strikingly, in the quantum regime, we demonstrate an extra factor of 4 on the accuracy enhancement, exhibiting a state-of-the-art $\Delta$n precision of $6.10^{-7}$. This work sets the quantum photonics metrology as a powerful characterization tool that should enable a faster and reliable design of materials dedicated to light amplification.


title: On the Burgers dynamical system with an external force and its Koopman decomposition

abstract: We prove that the Burgers flow with a steady external forcing has a unique steady state which is a sink. Although this flow cannot be linearized through Cole-Hopf transforms, we prove that it has a convergent Koopman Modes decomposition. This gives an asymptotic formula for solutions of the Burgers equation with an external force. Time dependence and the coefficients of the decomposition are proved to be eigenvalues and eigenfunctionals of the Koopman operator. Convergence of the Koopman decomposition is proved for orbits close to the sink. The analysis of Burgers dynamical system relies on the properties of a nonlinear heat flow, that shows invariant sets with complete orbits, and invariant sets where blow-up in finite time do ocurr. This behaviour helps understanding some instabilities in numeric computing for fluids.


title: Exploring new solutions to Tingley's problem for function algebras

abstract: In this note we present two new positive answers to Tingley's problem in certain subspaces of function algebras. In the first result we prove that every surjective isometry between the unit spheres, $S(A)$ and $S(B)$, of two uniformly closed function algebras $A$ and $B$ on locally compact Hausdorff spaces can be extended to a surjective real linear isometry from $A$ onto $B$. In a second goal we study surjective isometries between the unit spheres of two abelian JB$^*$-triples represented as spaces of continuous functions of the form $$C^{\mathbb{T}}_0 (X) := \{ a \in C_0(X) : a (\lambda t) = \lambda a(t) \hbox{ for every } (\lambda, t) \in \mathbb{T}\times X\},$$ where $X$ is a (locally compact Hausdorff) principal $\mathbb{T}$-bundle. We establish that every surjective isometry $\Delta: S(C_0^{\mathbb{T}}(X))\to S(C_0^{\mathbb{T}}(Y))$ admits an extension to a surjective real linear isometry between these two abelian JB$^*$-triples.


title: Joint Power Control, Channel Assignment and Cell Association in Heterogeneous Cellular Networks

abstract: Heterogeneous network (HetNet) is a promising concept for increasing capacity and alleviating spectrum scarcity. In HetNets, however, channel assignment and transmit power control affect the distribution of users among base stations. We present a novel scheme to maximize the uplink sum rate in two-tier HetNets with one macrocell and several femtocells, where the transmit power of each user is bounded and at least one channel is assigned to each user. We divide the problem into two sub-problems: one for channel assignment and one for transmit power control and solve them by iteratively alternating between the two. Our scheme is convergent and yields a transmission rate above 6 bps/Hz for almost 50% of users as compared to the same for 10% of users in SINR-based schemes. When users are in cell boundaries, the average transmission rate for fractional frequency reuse is up to 20% more compared to the conventional full frequency reuse. This is due to reduced transmit power resulting in less interference.


title: Stability properties of dissipative evolution equations with nonautonomous and nonlinear damping

abstract: In this paper, we obtain some stability results of (abstract) dissipative evolution equations with a nonautonomous and nonlinear damping using the exponential stability of the retrograde problem with a linear and autonomous feedback and a comparison principle. We then illustrate our abstract statements for different concrete examples, where new results are achieved. In a preliminary step, we prove some well-posedness results for some nonlinear and nonautonomous evolution equations.


title: Intermediate-range Casimir-Polder interaction probed by high-order slow atom diffraction

abstract: At nanometer separation, the dominant interaction between an atom and a material surface is the fluctuation-induced Casimir-Polder potential. We demonstrate that slow atoms crossing a silicon nitride transmission nanograting are a remarkably sensitive probe for that potential. A 15% difference between nonretarded (van der Waals) and retarded Casimir-Polder potentials is discernible at distances smaller than 51 nm. We discuss the relative influence of various theoretical and experimental parameters on the potential in detail. Our work paves the way to high-precision measurement of the Casimir-Polder potential as a prerequisite for understanding fundamental physics and its relevance to applications in quantum-enhanced sensing.


title: Valley and spin accumulation in ballistic and hydrodynamic channels

abstract: A theory of the valley and spin Hall effects and resulting accumulation of the valley and spin polarization is developed for ultraclean channels made of two-dimensional semiconductors where the electron mean free path due to the residual disorder or phonons exceeds the channel width. Both ballistic and hydrodynamic regimes of the electron transport are studied. The polarization accumulation is determined by interplay of the anomalous velocity, side-jump and skew scattering effects. In the hydrodynamic regime, where the electron-electron scattering is dominant, the valley and spin current generation and dissipation by the electron-electron collisions are taken into account. The accumulated polarization magnitude and its spatial distribution depend strongly on the transport regime. The polarization is much larger in the hydrodynamic regime as compared to the ballistic one. Significant valley and spin polarization arises in the immediate vicinity of the channel edges due to the side-jump and skew scattering mechanisms.


title: Real-space visualization of quasiparticle dephasing near the Planckian limit in the Dirac line node material ZrSiS

abstract: Dirac line node (DLN) materials are topological semimetals wherein a set of symmetry protected crossing points forms a one-dimensional (1D) line in reciprocal space. Not only are the linearly dispersing bands expected to give rise to exceptional electronic properties, but the weak screening of the Coulomb interaction near the line node may enhance electronic correlations, produce new many-body ground states, or influence the quasiparticle lifetime. We investigate the quasiparticle dynamics in the DLN material ZrSiS via spectroscopic imaging scanning tunneling microscopy (SI-STM). By studying the spatial decay of quasiparticle interference patterns (QPI) from point scatterers, we were able to directly and selectively extract the phase coherence length $l_{\textrm{QPI}}$ and lifetime $\tau_{\textrm{QPI}}$ for the bulk DLN excitations, which are dominated by inelastic electron-electron scattering. We find that the experimental $\tau_{\textrm{QPI}}(E)$ values below $-$40 meV are very short, likely due to the stronger Coulomb interactions, and lie at the Planckian limit $\hbar/|E|$. Our results corroborate a growing body of experimental reports demonstrating unusual electronic correlation effects near a DLN.


title: Galactic Chemical Evolution of Radioactive Isotopes with an s-process Contribution

abstract: Analysis of inclusions in primitive meteorites reveals that several short-lived radionuclides (SLRs) with half-lives $0.1-100$ Myr existed in the early Solar System (ESS). We investigate the ESS origin of $^{107}$Pd, $^{135}$Cs, and $^{182}$Hf, which are produced by $slow$ neutron captures (the $s$-process) in asymptotic giant branch (AGB) stars. We modelled the galactic abundances of these SLRs using the OMEGA+ galactic chemical evolution (GCE) code and two sets of mass- and metallicity-dependent AGB nucleosynthesis yields (Monash and FRUITY). Depending on the ratio of the mean life $\tau$ of the SLR to the average length of time between the formation of AGB progenitor $\gamma$, we calculate timescales relevant for the birth of the Sun. If $\tau/\gamma\gtrsim2$, we predict self-consistent isolation times between 9 and 26 Myr by decaying the GCE predicted $^{107}$Pd/$^{108}$Pd, $^{135}$Cs/$^{133}$Cs, and $^{182}$Hf/$^{180}$Hf ratios to their respective ESS ratios. The predicted $^{107}$Pd/$^{182}$Hf ratio indicates that our GCE models are missing $9-73\%$ of $^{107}$Pd and $^{108}$Pd in the ESS. This missing component may have come from AGB stars of higher metallicity than those that contributed to the ESS in our GCE code. If $\tau/\gamma\lesssim0.3$, we calculate instead the time ($T_{\rm LE}$) from the last nucleosynthesis event that added the SLRs into the presolar matter to the formation of the oldest solids in the ESS. For the 2 M$_\odot$, $Z=0.01$ Monash model we find a self-consistent solution of $T_{\rm LE}=25.5$ Myr.


title: Tightening geometric and dynamical constraints on dark energy and gravity: galaxy clustering, intrinsic alignment and kinetic Sunyaev-Zel'dovich effect

abstract: Conventionally, in galaxy surveys, cosmological constraints on the growth and expansion history of the universe have been obtained from the measurements of redshift-space distortions and baryon acoustic oscillations embedded in the large-scale galaxy density field. In this paper, we study how well one can improve the cosmological constraints from the combination of the galaxy density field with velocity and tidal fields, which are observed via the kinetic Sunyaev-Zel'dovich (kSZ) and galaxy intrinsic alignment (IA) effects, respectively. For illustration, we consider the deep galaxy survey by Subaru Prime Focus Spectrograph, whose survey footprint perfectly overlaps with the imaging survey of the Hyper Suprime-Cam and the CMB-S4 experiment. We find that adding the kSZ and IA effects significantly improves cosmological constraints, particularly when we adopt the non-flat cold dark matter model which allows both time variation of the dark energy equation-of-state and deviation of the gravity law from general relativity. Under this model, we achieve $31\%$ improvement for the growth index $\gamma$ and $>35\%$ improvement for other parameters except for the curvature parameter, compared to the case of the conventional galaxy-clustering-only analysis. As another example, we also consider the wide galaxy survey by the {\it Euclid} satellite, in which shapes of galaxies are noisier but the survey volume is much larger. We demonstrate that when the above model is adopted, the clustering analysis combined with kSZ and IA from the deep survey can achieve tighter cosmological constraints than the clustering-only analysis from the wide survey.


title: A Strong Baseline for Semi-Supervised Incremental Few-Shot Learning

abstract: Few-shot learning (FSL) aims to learn models that generalize to novel classes with limited training samples. Recent works advance FSL towards a scenario where unlabeled examples are also available and propose semi-supervised FSL methods. Another line of methods also cares about the performance of base classes in addition to the novel ones and thus establishes the incremental FSL scenario. In this paper, we generalize the above two under a more realistic yet complex setting, named by Semi-Supervised Incremental Few-Shot Learning (S2 I-FSL). To tackle the task, we propose a novel paradigm containing two parts: (1) a well-designed meta-training algorithm for mitigating ambiguity between base and novel classes caused by unreliable pseudo labels and (2) a model adaptation mechanism to learn discriminative features for novel classes while preserving base knowledge using few labeled and all the unlabeled data. Extensive experiments on standard FSL, semi-supervised FSL, incremental FSL, and the firstly built S2 I-FSL benchmarks demonstrate the effectiveness of our proposed method.


title: Data-driven finite element method with RVE generated foam data

abstract: This paper presents a model-free data-driven strategy for linear and non-linear finite element computations of open-cell foam. Employing sets of material data, the data-driven problem is formulated as the minimization of a distance function subjected to the physical constraints from the kinematics and the balance laws of the mechanical problem. The material data sets of the foam are deduced here from representative microscopic material volumes. These volume elements capture the stochastic characteristics of the open-cell microstructure and the properties of the polyurethane material. Their computation provides the required stress-strain data used in the macroscopic finite element computations without postulating a specific constitutive model. The paper shows how to efficiently derive suitable material data sets for the different (non-)linear and (an-)isotropic material behavior cases. Exemplarily, we compare data-driven finite element computations with linearized and finite deformations and show that a linear kinematic is sufficiently accurate to capture the material's non-linearity up to 50% of straining. The numerical example of a rubber sealing illustrates possible areas of application, the expenditure, and the proposed strategy's versatility.


title: Inverse Optimal Control Adapted to the Noise Characteristics of the Human Sensorimotor System

abstract: Computational level explanations based on optimal feedback control with signal-dependent noise have been able to account for a vast array of phenomena in human sensorimotor behavior. However, commonly a cost function needs to be assumed for a task and the optimality of human behavior is evaluated by comparing observed and predicted trajectories. Here, we introduce inverse optimal control with signal-dependent noise, which allows inferring the cost function from observed behavior. To do so, we formalize the problem as a partially observable Markov decision process and distinguish between the agent's and the experimenter's inference problems. Specifically, we derive a probabilistic formulation of the evolution of states and belief states and an approximation to the propagation equation in the linear-quadratic Gaussian problem with signal-dependent noise. We extend the model to the case of partial observability of state variables from the point of view of the experimenter. We show the feasibility of the approach through validation on synthetic data and application to experimental data. Our approach enables recovering the costs and benefits implicit in human sequential sensorimotor behavior, thereby reconciling normative and descriptive approaches in a computational framework.


title: Statistical Finite Elements via Langevin Dynamics

abstract: The recent statistical finite element method (statFEM) provides a coherent statistical framework to synthesise finite element models with observed data. Through embedding uncertainty inside of the governing equations, finite element solutions are updated to give a posterior distribution which quantifies all sources of uncertainty associated with the model. However to incorporate all sources of uncertainty, one must integrate over the uncertainty associated with the model parameters, the known forward problem of uncertainty quantification. In this paper, we make use of Langevin dynamics to solve the statFEM forward problem, studying the utility of the unadjusted Langevin algorithm (ULA), a Metropolis-free Markov chain Monte Carlo sampler, to build a sample-based characterisation of this otherwise intractable measure. Due to the structure of the statFEM problem, these methods are able to solve the forward problem without explicit full PDE solves, requiring only sparse matrix-vector products. ULA is also gradient-based, and hence provides a scalable approach up to high degrees-of-freedom. Leveraging the theory behind Langevin-based samplers, we provide theoretical guarantees on sampler performance, demonstrating convergence, for both the prior and posterior, in the Kullback-Leibler divergence, and, in Wasserstein-2, with further results on the effect of preconditioning. Numerical experiments are also provided, for both the prior and posterior, to demonstrate the efficacy of the sampler, with a Python package also included.


title: Linking High- and Low-Mass Star Formation: Observation-Based Continuum Modelling and Physical Conditions

abstract: Astronomers have yet to establish whether high-mass protostars form from high-mass prestellar cores, similar to their lower-mass counterparts, or from lower-mass fragments at the heart of a pre-protostellar cluster undergoing large-scale collapse. Part of the uncertainty is due to a shortage of envelope structure data on protostars of a few tens of solar masses, where we expect to see a transition from intermediate-mass star formation to the high-mass process. We sought to derive the masses, luminosities, and envelope density profiles for eight sources in Cygnus-X, whose mass estimates in the literature placed them in the sampling gap. Combining these sources with similarly evolved sources in the literature enabled us to perform a meta-analysis of protostellar envelope parameters over six decades in source luminosity. We performed spectral energy distribution (SED) fitting on archival broadband photometric continuum data from 1.2 to 850 $\mu$m, to derive bolometric luminosities for our eight sources plus initial mass and radius estimates for modelling density and temperature profiles with the radiative transfer package Transphere. The envelope masses, densities at 1000 AU, outer envelope radii, and density power law indices as functions of bolometric luminosity all follow established trends in the literature spanning six decades in luminosity. Most of our sources occupy an intermediate to moderately high range of masses and luminosities, which helps to more firmly establish the continuity between low- and high-mass star formation mechanisms. Our density power law indices are consistent with observed values in literature, which show no discernible trends with luminosity. Finally, we show that the trends in all of the envelope parameters for high-mass protostars are statistically indistinguishable from trends in the same variables for low- and intermediate-mass protostars.


title: Newton-Type Methods For Simultaneous Matrix Diagonalization

abstract: This paper proposes a Newton-type method to solve numerically the eigenproblem of several diagonalizable matrices, which pairwise commute. A classical result states that these matrices are simultaneously diagonalizable. From a suitable system of equations associated to this problem, we construct a sequence that converges quadratically towards the solution. This construction is not based on the resolution of a linear system as is the case in the classical Newton method. Moreover, we provide a theoretical analysis of this construction and exhibit a condition to get a quadratic convergence. We also propose numerical experiments, which illustrate the theoretical results.


title: Coherent current correlations in a double-dot Cooper pair splitter

abstract: Exact analytical formulas are derived, by means of Keldysh Green functions, for currents and current correlation functions in a Cooper pair splitter modelled on a double quantum dot system coherently coupled to a superconductor and two normal metallic electrodes. Confining to the subspace with the inter-dot singlet we show perfect entanglement of split electrons in two separated crossed Andreev reflection processes. The studies are focused on the noise power spectrum in a whole bias voltage range. In particular, in the large voltage limit shot noise dominates and its spectrum exhibits two extraordinary side dips related to resonant inter-level current correlations caused by coherent electron-hole recombination processes accompanied by emission and absorption of photons. In the linear response limit we derived the frequency dependent admittance which shows different interference patterns for the cross and the auto current correlations.


title: The mean-field dividing interface is united with the Widom line

abstract: We define a mean-field crossover generated by the Maxwell construction as the dividing interface for the vapor-liquid interface area and a highly accurate density-profile equation is thus derived. By using a mean-field equation of sate for the Lennard-Jones fluid incorporated with the density gradient theory, we show that the intrinsic free energy peaks and the isobaric heat capacity exhibits local maxima at the interface. We demonstrate that the mean-field interface is the natural extension of the Widom line into the coexistence region, hence the entire space is coherently divided into liquid-like and gas-like regions in all three (temperature-pressure-volume) planes. Finally, the mean-field theory is found holding all the information for composing the phase diagrams over the entire phase space.


title: Electromagnetic signatures of strong-field gravity from accreting black holes

abstract: Observations of galactic nuclei help us to test General Relativity. Whereas the No-hair Theorem states that classical, isolated black holes eventually settle to a stationary state that can be characterized by a small number of parameters, cosmic black holes are neither isolated nor steady. Instead, they interact with the environment and evolve on vastly different time-scales. Therefore, the astrophysically realistic models require more parameters, and their values likely change in time. New techniques are needed in order to allow us to obtain independent constraints on these additional parameters. In this context, non-electromagnetic messengers have emerged and a variety of novel electromagnetic observations is going to supplement traditional techniques in the near future. In this outline, we summarize several fruitful aspects of electromagnetic signatures from accretion disks in strong-gravity regime in the outlook of upcoming satellite missions and ground-based telescopes. As an interesting example, we mention a purely geometrical effect of polarization angle changes upon light propagation, which occurs near the black hole event horizon. Despite that only numerical simulations can capture the accretion process in a realistic manner, simplified toy-models and semi-analytical estimates are useful to understand complicated effects of strong gravity near the event horizon of a rotating black hole, and especially within the plunging region below the innermost stable circular orbit.


title: Control of Humanoid in Multiple Fixed and Moving Unilateral Contacts

abstract: Enforcing balance of multi-limbed robots in multiple non-coplanar unilateral contact settings is challenging when a subset of such contacts are also induced in motion tasks. The first contribution of this paper is in enhancing the computational performance of state-of-the-art geometric center-of-mass inclusion-based balance method to be integrated online as part of a task-space whole-body control framework. As a consequence, our second contribution lies in integrating such a balance region with relevant contact force distribution without pre-computing a target center-of-mass. This last feature is essential to leave the latter with freedom to better comply with other existing tasks that are not captured in classical twolevel approaches. We assess the performance of our proposed method through experiments using the HRP-4 humanoid robot.


title: The emergence of gapless quantum spin liquid from deconfined quantum critical point

abstract: A quantum spin liquid (QSL) is a novel phase of matter with long-range entanglement where localized spins are highly correlated with the vanishing of magnetic order. Such exotic quantum states provide the opportunities to develop new theoretical frameworks for many-body physics and have the potential application in realizing robust quantum computations. Here we show that a gapless QSL can naturally emerge from a deconfined quantum critical point (DQCP), which is originally proposed to describe Landau forbidden continuous phase transition between antiferromagnetic (AFM) and valence-bond solid (VBS) phases. Via large-scale tensor network simulations of a square-lattice spin-1/2 frustrated Heisenberg model, both QSL state and DQCP-type AFM-VBS transition are observed. With tuning coupling constants, the AFM-VBS transition vanishes and instead, a gapless QSL phase gradually develops in between. Remarkably, along the phase boundaries of AFM-QSL and QSL-VBS transitions, we always observe the same correlation length exponents $\nu\approx 1.0$, which is intrinsically different from the one of the DQCP-type transition, indicating new types of universality classes. Our results explicitly demonstrate a new scenario for understanding the emergence of gapless QSL from an underlying DQCP. The discovered QSL phase survives in a large region of tuning parameters and we expect its experimental realizations in solid state materials or quantum simulators.


title: Bottom-up dust nucleation theory in oxygen-rich evolved stars I. Aluminium oxide clusters

abstract: Aluminum oxide (alumina, Al$_{2}$O$_{3}$) is a promising candidate as a primary dust condensate in the atmospheres of oxygen-rich evolved stars. Therefore, alumina \textit{seed} particles might trigger the onset of stellar dust formation and of stellar mass loss in the wind. However, the formation of alumina dust grains is not well understood.} {To shed light on the initial steps of cosmic dust formation (i.e. nucleation) in oxygen-rich environments by a quantum-chemical bottom-up approach.} {Starting with an elemental gas-phase composition, we construct a detailed chemical-kinetic network describing the formation and destruction of aluminium-bearing molecules and dust-forming (Al$_{2}$O$_{3}$)$_n$ clusters up to the size of dimers ($n$=2) coagulating to tetramers ($n=$4). Intermediary species include the prevalent gas-phase molecules AlO and AlOH, and Al$_x$O$_y$ clusters with $x=$1$-$5, $y=$1$-$6. The resulting extensive network is applied to two model stars, representing a semi-regular variable and a Mira-type, and to different circumstellar gas trajectories including a non-pulsating outflow and a pulsating model. The growth of larger-sized (Al$_{2}$O$_{3}$)$_n$ clusters with $n=$4$-$10 is described by the temperature-dependent Gibbs free energies of the most favourable structures (i.e. the global minima clusters) as derived from global optimisation techniques and calculated by density functional theory. We provide energies, bond characteristics, electrostatic properties and vibrational spectra of the clusters as a function of size $n$ and compare these to corundum corresponding to the crystalline bulk limit ($n\rightarrow \infty$). {The circumstellar aluminium gas-phase chemistry in oxygen-rich giants is primarily controlled by AlOH and AlO, which are tightly coupled by the reactions AlO+H$_2$, AlO+H$_2$O, and their reverse. Models of ...}


title: Dual Encoding U-Net for Spatio-Temporal Domain Shift Frame Prediction

abstract: The landscape of city-wide mobility behaviour has altered significantly over the past 18 months. The ability to make accurate and reliable predictions on such behaviour has likewise changed drastically with COVID-19 measures impacting how populations across the world interact with the different facets of mobility. This raises the question: "How does one use an abundance of pre-covid mobility data to make predictions on future behaviour in a present/post-covid environment?" This paper seeks to address this question by introducing an approach for traffic frame prediction using a lightweight Dual-Encoding U-Net built using only 12 Convolutional layers that incorporates a novel approach to skip-connections between Convolutional LSTM layers. This approach combined with an intuitive handling of training data can model both a temporal and spatio-temporal domain shift (gitlab.com/alchera/alchera-traffic4cast-2021).


title: DeepBND: a Machine Learning approach to enhance Multiscale Solid Mechanics

abstract: Effective properties of materials with random heterogeneous structures are typically determined by homogenising the mechanical quantity of interest in a window of observation. The entire problem setting encompasses the solution of a local PDE and some averaging formula for the quantity of interest in such domain. There are relatively standard methods in the literature to completely determine the formulation except for two choices: i) the local domain itself and the ii) boundary conditions. Hence, the modelling errors are governed by the quality of these two choices. The choice i) relates to the degree of representativeness of a microscale sample, i.e., it is essentially a statistical characteristic. Naturally, its reliability is higher as the size of the observation window becomes larger and/or the number of samples increases. On the other hand, excepting few special cases there is no automatic guideline to handle ii). Although it is known that the overall effect of boundary condition becomes less important with the size of the microscale domain, the computational cost to simulate such large problem several times might be prohibitive even for relatively small accuracy requirements. Here we introduce a machine learning procedure to select most suitable boundary conditions for multiscale problems, particularly those arising in solid mechanics. We propose the combination Reduced-Order Models and Deep Neural Networks in an offline phase, whilst the online phase consists in the very same homogenisation procedure plus one (cheap) evaluation of the trained model for boundary conditions. Hence, the method allows an implementation with minimal changes in existing codes and the use of relatively small domains without losing accuracy, which reduces the computational cost by several orders of magnitude.


title: Making the computation of approximations of invariant measures and its attractors for IFS and GIFS, through the deterministic algorithm, tractable

abstract: We present algorithms to compute approximations of invariant measures and its attractors for IFS and GIFS, using the deterministic algorithm in a tractable way, with code optimization strategies and use of data structures and search algorithms. The results show that these algorithms allow the use of these (G)IFS in a reasonable running time.


title: Graphs represented by Ext

abstract: This paper opens and discusses the question originally due to Daniel Herden, who asked for which graph $(\mu,R)$ we can find a family $\{\mathbb G_\alpha: \alpha < \mu\}$ of abelian groups such that for each $\alpha,\beta\in\mu$: $$Ext(\mathbb G_\alpha, \mathbb G_\beta) = 0 \Longleftrightarrow(\alpha,\beta) \in R.$$ In this regard, we present four results. First, we give a connection to Quillen's small object argument which helps $Ext$ vanishes and uses to present useful criteria to the question. Suppose $\lambda = \lambda^{\aleph_0}$ and $\mu = 2^\lambda$. We apply Jensen's diamond principle along with the criteria to present $\lambda$-free abelian groups representing bipartite graphs. Third, we use a version of the black box to construct in ZFC, a family of $\aleph_1$-free abelian groups representing bipartite graphs. Finally, applying forcing techniques, we present a consistent positive answer for general graphs.


title: RCT: Random Consistency Training for Semi-supervised Sound Event Detection

abstract: Sound event detection (SED), as a core module of acoustic environmental analysis, suffers from the problem of data deficiency. The integration of semi-supervised learning (SSL) largely mitigates such problem while bringing no extra annotation budget. This paper researches on several core modules of SSL, and introduces a random consistency training (RCT) strategy. First, a self-consistency loss is proposed to fuse with the teacher-student model to stabilize the training. Second, a hard mixup data augmentation is proposed to account for the additive property of sounds. Third, a random augmentation scheme is applied to flexibly combine different types of data augmentations. Experiments show that the proposed strategy outperform other widely-used strategies.


title: Interactions of the doubly charmed state $T_{cc} ^+$ with a hadronic medium

abstract: We investigate the absorption and production processes of this new state in a hadronic medium, considering the reactions $T_{cc}^+ \pi, T_{cc}^+ \rho \rightarrow D^{(*)} D^{(*)} $ and the corresponding inverse reactions. We use effective field Lagrangians to account for the couplings between light and heavy mesons, and give special attention to the form factors in the vertices. We calculate here for the first time the $ T_{cc}^+ - D - D^*$ form factor derived from QCD sum rules. The results are also obtained by testing widely utilized empirical form factors. The absorption cross sections are found to be larger than the production ones. We compare our results with the only existing estimate of these quantities, presented in a work of J.~Hong, S.~Cho, T.~Song and S.~H.~Lee, in which the authors employed the quasi-free approximation. We find cross sections which are one order of magnitude smaller.


title: Pattern-functions, statistics, and shallow permutations

abstract: We study relationships between permutation statistics and pattern-functions, counting the number of times particular patterns occur in a permutation. This allows us to write several familiar statistics as linear combinations of pattern counts, both in terms of a permutation and in terms of its image under the fundamental bijection. We use these enumerations to resolve the question of characterizing so-called "shallow" permutations, whose depth (equivalently, disarray/displacement) is minimal with respect to length and reflection length. We present this characterization in several ways, including vincular patterns, mesh patterns, and a new object that we call "arrow patterns." Furthermore, we specialize to characterizing and enumerating shallow involutions and shallow cycles, encountering the Motzkin and large Schr\"oder numbers, respectively.


title: Unique Continuation on Quadratic Curves for Harmonic Functions

abstract: The unique continuation on quadratic curves for harmonic functions is discussed in this paper. By using complex extension method, the conditional stability of unique continuation along quadratic curves for harmonic functions is illustrated. The numerical algorithm is provided based on collocation method and Tikhonov regularization. The stability estimates on parabolic and hyperbolic curves for harmonic functions are demonstrated by numerical examples respectively.


title: HCV: Hierarchy-Consistency Verification for Incremental Implicitly-Refined Classification

abstract: Human beings learn and accumulate hierarchical knowledge over their lifetime. This knowledge is associated with previous concepts for consolidation and hierarchical construction. However, current incremental learning methods lack the ability to build a concept hierarchy by associating new concepts to old ones. A more realistic setting tackling this problem is referred to as Incremental Implicitly-Refined Classification (IIRC), which simulates the recognition process from coarse-grained categories to fine-grained categories. To overcome forgetting in this benchmark, we propose Hierarchy-Consistency Verification (HCV) as an enhancement to existing continual learning methods. Our method incrementally discovers the hierarchical relations between classes. We then show how this knowledge can be exploited during both training and inference. Experiments on three setups of varying difficulty demonstrate that our HCV module improves performance of existing continual learning methods under this IIRC setting by a large margin. Code is available in https://github.com/wangkai930418/HCV_IIRC.


title: Asymptotics of cut distributions and robust modular inference using Posterior Bootstrap

abstract: Bayesian inference provides a framework to combine an arbitrary number of model components with shared parameters, allowing joint uncertainty estimation and the use of all available data sources. However, misspecification of any part of the model might propagate to all other parts and lead to unsatisfactory results. Cut distributions have been proposed as a remedy, where the information is prevented from flowing along certain directions. We consider cut distributions from an asymptotic perspective, find the equivalent of the Laplace approximation, and notice a lack of frequentist coverage for the associate credible regions. We propose algorithms based on the Posterior Bootstrap that deliver credible regions with the nominal frequentist asymptotic coverage. The algorithms involve numerical optimization programs that can be performed fully in parallel. The results and methods are illustrated in various settings, such as causal inference with propensity scores and epidemiological studies.


title: Lottery Tickets with Nonzero Biases

abstract: The strong lottery ticket hypothesis holds the promise that pruning randomly initialized deep neural networks could offer a computationally efficient alternative to deep learning with stochastic gradient descent. Common parameter initialization schemes and existence proofs, however, are focused on networks with zero biases, thus foregoing the potential universal approximation property of pruning. To fill this gap, we extend multiple initialization schemes and existence proofs to nonzero biases, including explicit 'looks-linear' approaches for ReLU activation functions. These do not only enable truly orthogonal parameter initialization but also reduce potential pruning errors. In experiments on standard benchmark data, we further highlight the practical benefits of nonzero bias initialization schemes, and present theoretically inspired extensions for state-of-the-art strong lottery ticket pruning.


title: An Accelerated Inexact Dampened Augmented Lagrangian Method for Linearly-Constrained Nonconvex Composite Optimization Problems

abstract: This paper proposes and analyzes an accelerated inexact dampened augmented Lagrangian (AIDAL) method for solving linearly-constrained nonconvex composite optimization problems. Each iteration of the AIDAL method consists of: (i) inexactly solving a dampened proximal augmented Lagrangian (AL) subproblem by calling an accelerated composite gradient (ACG) subroutine; (ii) applying a dampened and under-relaxed Lagrange multiplier update; and (iii) using a novel test to check whether the penalty parameter of the AL function should be increased. Under several mild assumptions involving the dampening factor and the under-relaxation constant, it is shown that the AIDAL method generates an approximate stationary point of the constrained problem in ${\cal O}(\varepsilon^{-5/2}\log\varepsilon^{-1})$ iterations of the ACG subroutine, for a given tolerance $\varepsilon>0$. Numerical experiments are also given to show the computational efficiency of the proposed method.


title: The spin-spin problem in Celestial Mechanics

abstract: We study the dynamics of two homogeneous rigid ellipsoids subject to their mutual gravitational influence. We assume that the spin axis of each ellipsoid coincides with its shortest physical axis and is perpendicular to the orbital plane. Due to such assumptions, the problem is planar and depends on particular parameters of the ellipsoids, most notably, the equatorial oblateness and the flattening with respect to the shortest physical axes. We consider two models for such configuration: while in the full model, there is a coupling between the orbital and rotational motions, in the Keplerian model, the centers of mass of the bodies are constrained to move on coplanar Keplerian ellipses. The Keplerian case, in the approximation that includes the coupling between the spins of the two ellipsoids, is what we call spin-spin problem, that is a generalization of the classical spin-orbit problem. In this paper we continue the investigations of [Mis21] on the spin-spin problem by comparing it with the spin-orbit problem and also with the full model. Beside detailing the models associated to the spin-orbit and spin-spin problems, we introduce the notions of standard and balanced resonances, which lead us to investigate the existence of periodic and quasi-periodic solutions. We also give a qualitative description of the phase space and provide results on the linear stability of solutions for the spin-orbit and spin-spin problems. We conclude by providing a comparison between the full and the Keplerian models with particular reference to the interaction between the rotational and orbital motions.


title: Mean-field theory of vector spin models on networks with arbitrary degree distributions

abstract: Understanding the relationship between the heterogeneous structure of complex networks and cooperative phenomena occurring on them remains a key problem in network science. Mean-field theories of spin models on networks constitute a fundamental tool to tackle this problem and a cornerstone of statistical physics, with an impressive number of applications in condensed matter, biology, and computer science. In this work we derive the mean-field equations for the equilibrium behavior of vector spin models on high-connectivity random networks with an arbitrary degree distribution and with randomly weighted links. We demonstrate that the high-connectivity limit of spin models on networks is not universal in that it depends on the full degree distribution. Such nonuniversal behavior is akin to a remarkable mechanism that leads to the breakdown of the central limit theorem when applied to the distribution of effective local fields. Traditional mean-field theories on fully-connected models, such as the Curie-Weiss, the Kuramoto, and the Sherrington-Kirkpatrick model, are only valid if the network degree distribution is highly concentrated around its mean degree. We obtain a series of results that highlight the importance of degree fluctuations to the phase diagram of mean-field spin models by focusing on the Kuramoto model of synchronization and on the Sherrington-Kirkpatrick model of spin-glasses. Numerical simulations corroborate our theoretical findings and provide compelling evidence that the present mean-field theory describes an intermediate regime of connectivity, in which the average degree $c$ scales as a power $c \propto N^{b}$ ($b < 1$) of the total number $N \gg 1$ of spins. Our findings put forward a novel class of spin models that incorporate the effects of degree fluctuations and, at the same time, are amenable to exact analytic solutions.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.AO physics.soc-ph


abstract: Cold-start problem is still a very challenging problem in recommender systems. Fortunately, the interactions of the cold-start users in the auxiliary source domain can help cold-start recommendations in the target domain. How to transfer user's preferences from the source domain to the target domain, is the key issue in Cross-domain Recommendation (CDR) which is a promising solution to deal with the cold-start problem. Most existing methods model a common preference bridge to transfer preferences for all users. Intuitively, since preferences vary from user to user, the preference bridges of different users should be different. Along this line, we propose a novel framework named Personalized Transfer of User Preferences for Cross-domain Recommendation (PTUPCDR). Specifically, a meta network fed with users' characteristic embeddings is learned to generate personalized bridge functions to achieve personalized transfer of preferences for each user. To learn the meta network stably, we employ a task-oriented optimization procedure. With the meta-generated personalized bridge function, the user's preference embedding in the source domain can be transformed into the target domain, and the transformed user preference embedding can be utilized as the initial embedding for the cold-start user in the target domain. Using large real-world datasets, we conduct extensive experiments to evaluate the effectiveness of PTUPCDR on both cold-start and warm-start stages. The code has been available at https://github.com/easezyc/WSDM2022-PTUPCDR.


title: DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems

abstract: Performance debugging in production is a fundamental activity in modern service-based systems. The diagnosis of performance issues is often time-consuming, since it requires thorough inspection of large volumes of traces and performance indices. In this paper we present DeLag, a novel automated search-based approach for diagnosing performance issues in service-based systems. DeLag identifies subsets of requests that show, in the combination of their Remote Procedure Call execution times, symptoms of potentially relevant performance issues. We call such symptoms Latency Degradation Patterns. DeLag simultaneously searches for multiple latency degradation patterns while optimizing precision, recall and latency dissimilarity. Experimentation on 700 datasets of requests generated from two microservice-based systems shows that our approach provides better and more stable effectiveness than three state-of-the-art approaches and general purpose machine learning clustering algorithms. DeLag is more effective than all baseline techniques in at least one case study (with p $\leq$ 0.05 and non-negligible effect size). Moreover, DeLag outperforms in terms of efficiency the second and the third most effective baseline techniques on the largest datasets used in our evaluation (up to 22%).


title: DMS, AE, DAA: methods and applications of adaptive time series model selection, ensemble, and financial evaluation

abstract: We introduce three adaptive time series learning methods, called Dynamic Model Selection (DMS), Adaptive Ensemble (AE), and Dynamic Asset Allocation (DAA). The methods respectively handle model selection, ensembling, and contextual evaluation in financial time series. Empirically, we use the methods to forecast the returns of four key indices in the US market, incorporating information from the VIX and Yield curves. We present financial applications of the learning results, including fully-automated portfolios and dynamic hedging strategies. The strategies strongly outperform long-only benchmarks over our testing period, spanning from Q4 2015 to the end of 2021. The key outputs of the learning methods are interpreted during the 2020 market crash.

categories: stat.AP econ.EM q-fin.ST stat.ML stat.OT


title: Designing linear lattices for round beam in electron storage rings using the solution by linear matrices analysis

abstract: For some synchrotron light source beamline applications, a round beam is preferable to a flat one. A conventional method of obtaining round beam in an electron storage ring is to shift its tune close to a linear difference resonance. The linearly coupled beam dynamics is analyzed with perturbation theories, which have certain limitations. In this paper, we adopt the Solution by LInear Matrices (SLIM) analysis to calculate exact beam sizes to design round beam lattices. The SLIM analysis can deal with a generally linearly coupled accelerator lattice. The effects of various coupling sources on beam emittances and sizes can be studied within a self-consistent frame. Both the on- and off-resonance schemes to obtain round beams are explained with examples. The SLIM formalism for two widely used magnet models: combined-function bending magnets, and planar wigglers and undulators, is also derived.


title: Magnetic hysteresis of individual Janus particles with hemispherical exchange-biased caps

abstract: We use sensitive dynamic cantilever magnetometry to measure the magnetic hysteresis of individual magnetic Janus particles. These particles consist of hemispherical caps of magnetic material deposited on micrometer-scale silica spheres. The measurements, combined with corresponding micromagnetic simulations, reveal the magnetic configurations present in these individual curved magnets. In remanence, ferromagnetic Janus particles are found to host a global vortex state with vanishing magnetic moment. In contrast, a remanent onion state with significant moment is recovered by imposing an exchange bias to the system via an additional antiferromagnetic layer in the cap. A robust remanent magnetic moment is crucial for most applications of magnetic Janus particles, in which an external magnetic field actuates their motion.


title: Each Attribute Matters: Contrastive Attention for Sentence-based Image Editing

abstract: Sentence-based Image Editing (SIE) aims to deploy natural language to edit an image. Offering potentials to reduce expensive manual editing, SIE has attracted much interest recently. However, existing methods can hardly produce accurate editing and even lead to failures in attribute editing when the query sentence is with multiple editable attributes. To cope with this problem, by focusing on enhancing the difference between attributes, this paper proposes a novel model called Contrastive Attention Generative Adversarial Network (CA-GAN), which is inspired from contrastive training. Specifically, we first design a novel contrastive attention module to enlarge the editing difference between random combinations of attributes which are formed during training. We then construct an attribute discriminator to ensure effective editing on each attribute. A series of experiments show that our method can generate very encouraging results in sentence-based image editing with multiple attributes on CUB and COCO dataset. Our code is available at https://github.com/Zlq2021/CA-GAN


title: Self-Supervised Visual Representation Learning Using Lightweight Architectures

abstract: In self-supervised learning, a model is trained to solve a pretext task, using a data set whose annotations are created by a machine. The objective is to transfer the trained weights to perform a downstream task in the target domain. We critically examine the most notable pretext tasks to extract features from image data and further go on to conduct experiments on resource constrained networks, which aid faster experimentation and deployment. We study the performance of various self-supervised techniques keeping all other parameters uniform. We study the patterns that emerge by varying model type, size and amount of pre-training done for the backbone as well as establish a standard to compare against for future research. We also conduct comprehensive studies to understand the quality of representations learned by different architectures.


title: Distribution of interspike intervals of a neuron with inhibitory autapse stimulated with a renewal process

abstract: In this paper, we study analytically the impact of an inhibitory autapse on neuronal activity. In order to do this, we formulate conditions on a set of non-adaptive spiking neuron models with delayed feedback inhibition, instead of considering a particular neuronal model. The neuron is stimulated with a stochastic point renewal process of excitatory impulses. Probability density function (PDF) $p(t)$ of output interspike intervals (ISIs) of such a neuron is found exactly without any approximations made. It is expressed in terms of ISIs PDF for the input renewal stream and ISIs PDF for that same neuron without any feedback. Obtained results are applied to a subset of neuronal models with threshold 2 when the time intervals between input impulses are distributed according to the Erlang-2 distribution. In that case we have found explicitly the model-independent initial part of ISIs PDF $p(t)$ defined at some initial interval $[0;T_2]$ of ISI values.


title: Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications

abstract: This paper presents a hierarchical framework to solve the multi-robot temporal task planning problem. We assume that each robot has its individual task specification and the robots have to jointly satisfy a global collaborative task specification, both described in linear temporal logic. Specifically, a central server firstly extracts and decomposes a collaborative task sequence from the automaton corresponding to the collaborative task specification, and allocates the subtasks in the sequence to robots. The robots can then synthesize their initial execution strategies based on locally constructed product automatons, combining the assigned collaborative tasks and their individual task specifications. Furthermore, we propose a distributed execution strategy adjusting mechanism to iteratively improve the time efficiency, by reducing wait time in collaborations caused by potential synchronization constraints. We prove the completeness of the proposed framework under assumptions, and analyze its time complexity and optimality. Extensive simulation results verify the scalability and optimization efficiency of the proposed method.


title: Grover's Algorithm with Diffusion and Amplitude Steering

abstract: We review the basic theoretical underpinnings of the Grover algorithm, providing a rigorous and well motivated derivation. We then present a generalization of Grover's algorithm that searches an arbitrary subspace of the multi-dimensional Hilbert space using a diffusion operation and an amplitude amplification procedure that has been biased by unitary {\em steering operators}. We also outline a generalized Grover's algorithm that takes into account higher level correlations that could exist between database elements. In the traditional Grover algorithm, the Hadamard gate selects a uniform sample of computational basis elements when performing the phase selection and diffusion. In contrast, steered operators bias the selection process, thereby providing more flexibility in selecting the target state. Our method is a generalization of the recently proposal pattern matching algorithm of Hiroyuki et al..


title: Modeling Performance in Open-Domain Dialogue with PARADISE

abstract: There has recently been an explosion of work on spoken dialogue systems, along with an increased interest in open-domain systems that engage in casual conversations on popular topics such as movies, books and music. These systems aim to socially engage, entertain, and even empathize with their users. Since the achievement of such social goals is hard to measure, recent research has used dialogue length or human ratings as evaluation metrics, and developed methods for automatically calculating novel metrics, such as coherence, consistency, relevance and engagement. Here we develop a PARADISE model for predicting the performance of Athena, a dialogue system that has participated in thousands of conversations with real users, while competing as a finalist in the Alexa Prize. We use both user ratings and dialogue length as metrics for dialogue quality, and experiment with predicting these metrics using automatic features that are both system dependent and independent. Our goal is to learn a general objective function that can be used to optimize the dialogue choices of any Alexa Prize system in real time and evaluate its performance. Our best model for predicting user ratings gets an R$^2$ of .136 with a DistilBert model, and the best model for predicting length with system independent features gets an R$^2$ of .865, suggesting that conversation length may be a more reliable measure for automatic training of dialogue systems.


title: Pattern formation in one-dimensional polaron systems and temporal orthogonality catastrophe

abstract: Recent studies have demonstrated that higher than two-body bath-impurity correlations are not important for quantitatively describing the ground state of the Bose polaron. Motivated by the above, we employ the so-called Gross Ansatz (GA) approach to unravel the stationary and dynamical properties of the homogeneous one-dimensional Bose-polaron for different impurity momenta and bath-impurity couplings. We explicate that the character of the equilibrium state crossovers from the quasi-particle Bose polaron regime to the collective-excitation stationary dark-bright soliton for varying impurity momentum and interactions. Following an interspecies interaction quench the temporal orthogonality catastrophe is identified, provided that bath-impurity interactions are sufficiently stronger than the intraspecies bath ones, thus generalizing the results of the confined case. This catastrophe originates from the formation of dispersive shock wave structures associated with the zero-range character of the bath-impurity potential. For initially moving impurities, a momentum transfer process from the impurity to the dispersive shock waves via the exerted drag force is demonstrated, resulting in a final polaronic state with reduced velocity. Our results clearly demonstrate the crucial role of non-linear excitations for determining the behavior of the one-dimensional Bose polaron.

categories: cond-mat.quant-gas nlin.PS physics.atom-ph quant-ph


title: Driving the Herd: Search Engines as Content Influencers

abstract: In competitive search settings such as the Web, many documents' authors (publishers) opt to have their documents highly ranked for some queries. To this end, they modify the documents - specifically, their content - in response to induced rankings. Thus, the search engine affects the content in the corpus via its ranking decisions. We present a first study of the ability of search engines to drive pre-defined, targeted, content effects in the corpus using simple techniques. The first is based on the herding phenomenon - a celebrated result from the economics literature - and the second is based on biasing the relevance ranking function. The types of content effects we study are either topical or touch on specific document properties - length and inclusion of query terms. Analysis of ranking competitions we organized between incentivized publishers shows that the types of content effects we target can indeed be attained by applying our suggested techniques. These findings have important implications with regard to the role of search engines in shaping the corpus.


title: A guided journey through non-interactive automatic story generation

abstract: We present a literature survey on non-interactive computational story generation. The article starts with the presentation of requirements for creative systems, three types of models of creativity (computational, socio-cultural, and individual), and models of human creative writing. Then it reviews each class of story generation approach depending on the used technology: story-schemas, analogy, rules, planning, evolutionary algorithms, implicit knowledge learning, and explicit knowledge learning. Before the concluding section, the article analyses the contributions of the reviewed work to improve the quality of the generated stories. This analysis addresses the description of the story characters, the use of narrative knowledge including about character believability, and the possible lack of more comprehensive or more detailed knowledge or creativity models. Finally, the article presents concluding remarks in the form of suggestions of research topics that might have a significant impact on the advancement of the state of the art on autonomous non-interactive story generation systems. The article concludes that the autonomous generation and adoption of the main idea to be conveyed and the autonomous design of the creativity ensuring criteria are possibly two of most important topics for future research.


title: A Survey on Methods and Metrics for the Assessment of Explainability under the Proposed AI Act

abstract: This study discusses the interplay between metrics used to measure the explainability of the AI systems and the proposed EU Artificial Intelligence Act. A standardisation process is ongoing: several entities (e.g. ISO) and scholars are discussing how to design systems that are compliant with the forthcoming Act and explainability metrics play a significant role. This study identifies the requirements that such a metric should possess to ease compliance with the AI Act. It does so according to an interdisciplinary approach, i.e. by departing from the philosophical concept of explainability and discussing some metrics proposed by scholars and standardisation entities through the lenses of the explainability obligations set by the proposed AI Act. Our analysis proposes that metrics to measure the kind of explainability endorsed by the proposed AI Act shall be risk-focused, model-agnostic, goal-aware, intelligible & accessible. This is why we discuss the extent to which these requirements are met by the metrics currently under discussion.


title: On the Hessian-cscK equations

abstract: In this paper, we propose a coupled system of complex Hessian equations which generalizes the equation for constant scalar curvature K\"ahler (cscK) metrics. We show this system can be realized variationally as the Euler-Lagrange equation of a Hessian version of the Mabuchi K-energy in an infinite dimensional space of $k$-Hessian potentials, which can be seen as an infinite dimensional Riemannian manifold with negative sectional curvature. Finally, we prove an a priori $C^0$-estimate for this system which depends on the Entropy, which generalizes a fundamental result of Chen and Cheng for cscK metrics.


title: Maximum entropy principle approach to a non-isothermal Maxwell-Stefan diffusion model

abstract: In this study we apply the maximum entropy principle to derive the properly scaled velocity distribution function of Boltzmann equations for mixtures, which leads to a non-isothermal Maxwell-Stefan diffusion model. We also analyze the entropy balance law and derive the kinetic entropy production from the scaled distribution function.

categories: math-ph cond-mat.stat-mech math.AP math.MP


title: Leveraging gravitational-wave memory to distinguish neutron star--black hole binaries from black hole binaries

abstract: In the observation of gravitational waves (GWs) from a compact binary coalescence system where the mass of one of the companions is $\leq 5~M_{\odot}$ the nature of the object is ambiguous until the measurements of tidal effects give evidence for the presence of a neutron star (NS) or a low mass black hole (BH). The relevance of tidal effects in a neutron star--black hole (NSBH) binary system depends crucially upon the mass and the spin of the companion BH. These effects become important predominantly when the binary system is of comparable mass and/or has large aligned spins. Depending upon the masses and spins the NS can even get tidally disrupted before the innermost stable circular orbit (ISCO) is reached. The gravitational-wave signatures of various tidal effects are encoded in the phasing of the signal and in the case of tidal disruption an abrupt cutoff of the signal amplitude occurs. In this work we show that tidal effects can also be captured by the nonlinear memory of the GW signal. Although small in amplitude, nonlinear memory is present at low frequency in contrast to the oscillatory GW signal. We introduce nonlinear memory in the NSBH and binary black hole (BBH) waveform models and show how the addition of memory aids in distinguishing NSBH systems from BBH systems for a larger part of the parameter space. We discuss the recently detected events of interest by LIGO-Virgo and provide the future prospects for the third generation detectors where nonlinear memory can play a crucial role in inferring the nature of the coalescence as BBH or NSBH from its GW signal alone.


title: Evaluation of $SU(3)$ smearing on FPGA accelerator cards

abstract: Recent FPGA accelerator cards promise large acceleration factors for some specific computational tasks. In the context of Lattice QCD calculations, we investigate the possible gain of moving the $SU(3)$ gauge field smearing routine to such accelerators. We study Xilinx Alveo U280 cards and use the associated Vitis high-level synthesis framework. We discuss the possible pros and cons of such a solution based on the gathered benchmarks.


title: Beyond the Standard Model Searches with the Majorana Demonstrator Experiment

abstract: The Majorana Demonstrator experiment operated two modular arrays of p-type point contact high purity germanium (HPGe) detectors, of which 30 kg is enriched to 88% in Ge-76, to search for neutrinoless double beta decay. The data-taking campaign for double beta decay with enriched detectors was successfully concluded in March 2021, and data-taking with natural detectors is still ongoing. The Demonstrator has achieved excellent energy performance in a wide dynamic range covering 1 keV to 10 MeV. The extra-low background level and excellent energy performance achieved by the Demonstrator makes it competitive in various searches of physics beyond the Standard Model. If there is an axion-photon coupling, axions can be produced by the Primakoff conversion of photons in the Sun. Solar axions can inversely generate photon signals in germanium crystals, which can be coherently enhanced when the Bragg condition is satisfied. The Demonstrator is searching for solar axions with a novel method to correlate and leverage its high number of HPGe detectors. In this talk, we will discuss the status and results of recent searches for new physics with the Demonstrator, including the first reporting of a solar axion search.


title: Eventual log-concavity of $k$-rank statistics for integer partitions

abstract: Let $N_k(m,n)$ denote the number of partitions of $n$ with Garvan $k$-rank $m$. It is well-known that Andrews-Garvan-Dyson's crank and Dyson's rank are the $k$-rank for $k=1$ and $k=2$, respectively. In this paper, we prove that the sequence $\{N_k(m,n)\}_{|m|\le n-k-71}$ is log-concave for all sufficiently large $n$ and each integer $k$. In particular, we partially solve the log-concavity conjecture for Andrews-Garvan-Dyson's crank and Dyson's rank, which was independently proposed by Bringmann-Jennings-Shaffer-Mahlburg and Ji-Zang.


title: Dynamical systems with benign ghosts

abstract: We consider finite and infinite-dimensional ghost-ridden dynamical systems whose Hamiltonians involve non positive definite kinetic terms. We point out the existence of three classes of such systems where the ghosts are benign, i.e. systems whose evolution is unlimited in time:(i) systems obtained from the variation of bounded-motion systems; (ii) systems describing motions over certain Lorentzian manifolds and (iii) higher-derivative models related to certain modified Korteweg--de Vries equations.


title: Effective cosmology from one-body operators in group field theory

abstract: We propose a new method for obtaining an effective Friedmann-Lema\^itre-Robertson-Walker (FLRW) cosmology from the quantum gravity dynamics of group field theory (GFT), based on the idea that an FLRW universe is characterised by a few macroscopic observables. Rather than relying on assuming a particular type of quantum state and computing expectation values in such a state, here we directly start from relations between macroscopic observables (defined as one-body operators) and formulate dynamics only for those observables. We apply the effective approach to constrained quantum systems (as developed by Bojowald and collaborators) to GFT, providing a systematic expansion in powers of $\hbar$. We obtain a kinematical phase space of expectation values and moments, which does not require an a priori choice of clock variable. We identify a gauge fixing of the system which corresponds to choosing one of the cosmological variables (with the role of extrinsic curvature) as a clock and which allows us to rewrite the effective dynamics in relational form. We show necessary and sufficient conditions for the resulting dynamics of expectation values to be compatible with those of classical FLRW cosmology and discuss the impact of quantum fluctuations.


title: Decentralised Trustworthy Collaborative Intrusion Detection System for IoT

abstract: Intrusion Detection Systems (IDS) have been the industry standard for securing IoT networks against known attacks. To increase the capability of an IDS, researchers proposed the concept of blockchain-based Collaborative-IDS (CIDS), wherein blockchain acts as a decentralised platform allowing collaboration between CIDS nodes to share intrusion related information, such as intrusion alarms and detection rules. However, proposals in blockchain-based CIDS overlook the importance of continuous evaluation of the trustworthiness of each node and generally work based on the assumption that the nodes are always honest. In this paper, we propose a decentralised CIDS that emphasises the importance of building trust between CIDS nodes. In our proposed solution, each CIDS node exchanges detection rules to help other nodes detect new types of intrusion. Our architecture offloads the trust computation to the blockchain and utilises a decentralised storage to host the shared trustworthy detection rules, ensuring scalability. Our implementation in a lab-scale testbed shows that the our solution is feasible and performs within the expected benchmarks of the Ethereum platform.


title: Micromagnetic simulations of clusters of nanoparticles with internal structure: Application to magnetic hyperthermia

abstract: Micromagnetic simulation results on dynamic hysteresis loops of clusters of iron oxide nanoparticles (NPs) with internal structure composed of nanorods are compared with the widely used macrospin approximation. Such calculations allowing for nanorod-composed NPs is facilitated by a previously developed coarse-graining method based on the renormalization group approach. With a focus on applications to magnetic hyperthermia, we show that magnetostatic interactions improve the heating performance of NPs in chains and triangles, and reduce heating performance in fcc arrangements. Hysteresis loops of triangular and fcc systems of complex NPs are not recovered within the macrospin approximation, especially at smaller interparticle distances. For triangular arrangements, the macrospin approximation predicts that magnetostatic interactions reduce loop area, in contrast to the complex NP case. An investigation of the local hysteresis loops of individual NPs and macrospins in clusters reveals the impact of the geometry of their neighbours on individual versus collective magnetic response, inhomogenous heating within clusters, and further differences between simulating NPs with internal structure and the use of the macrospin approximation. Capturing the internal physical and magnetic structure of NPs is thus important for some applications.


title: A hyper-reduced MAC scheme for the parametric Stokes and Navier-Stokes equations

abstract: The need for accelerating the repeated solving of certain parametrized systems motivates the development of more efficient reduced order methods. The classical reduced basis method is popular due to an offline-online decomposition and a mathematically rigorous {\em a posterior} error estimator which guides a greedy algorithm offline. For nonlinear and nonaffine problems, hyper reduction techniques have been introduced to make this decomposition efficient. However, they may be tricky to implement and often degrade the online computation efficiency. To avoid this degradation, reduced residual reduced over-collocation (R2-ROC) was invented integrating empirical interpolation techniques on the solution snapshots and well-chosen residuals, the collocation philosophy, and the simplicity of evaluating the hyper-reduced well-chosen residuals. In this paper, we introduce an adaptive enrichment strategy for R2-ROC rendering it capable of handling parametric fluid flow problems. Built on top of an underlying Marker and Cell (MAC) scheme, a novel hyper-reduced MAC scheme is therefore presented and tested on Stokes and Navier-Stokes equations demonstrating its high efficiency, stability and accuracy.