title: Assessing the Sufficiency of Arguments through Conclusion Generation

abstract: The premises of an argument give evidence or other reasons to support a conclusion. However, the amount of support required depends on the generality of a conclusion, the nature of the individual premises, and similar. An argument whose premises make its conclusion rationally worthy to be drawn is called sufficient in argument quality research. Previous work tackled sufficiency assessment as a standard text classification problem, not modeling the inherent relation of premises and conclusion. In this paper, we hypothesize that the conclusion of a sufficient argument can be generated from its premises. To study this hypothesis, we explore the potential of assessing sufficiency based on the output of large-scale pre-trained language models. Our best model variant achieves an F1-score of .885, outperforming the previous state-of-the-art and being on par with human experts. While manual evaluation reveals the quality of the generated conclusions, their impact remains low ultimately.


title: Comment on Effective-range function methods for charged particle collisions

abstract: The authors of a recent paper [Phys. Rev. C 97(2018) 044003] (Ref. [1]), D. Gaspard and J.-M. Sparenberg, attempt to consider an alternative method for the asymptotic normalization coefficients (ANC) calculating which differs from so-called approximate \Delta method proposed earlier [Phys. Rev. C 96(2017) 034601] (Ref. [2]) by O.L. Ram\'irez Su\'arez, and J. M. Sparenberg. The abstract in Ref. [1], in essence, declares that the approximation used in Ref. [2], where a \Delta_l function is introduced to fit the Coulomb-nuclear phase shifts {\delta}_l^{(cs)} at low energies, is not correct, since this \Delta_l function is not analytical at zero energy. In my view, this statement is erroneous. I believe that the origin of this mistake in Ref. [1] is due to adopting the re-normalized scattering amplitude form designed for resonant states, which is not valid for a bound state. It is shown in the fundamental work [Nucl. Phys. B 60 (1973) 443] Ref.[3] by Hamilton et al. that an effective-range function (ERF) K_l(k^2) is a meromorphic in the physical sheet except for the poles of bound states on the imaginary positive axis of the momentum complex plane. In my paper [Nucl. Phys A, 1010 (2021) 122174] Ref. [4], a strict form of the re-normalized scattering amplitude is derived, which can be used for the analytical continuation to a bound state pole. It is found in Ref. 4 that the \Delta_l function has analytical properties similar to those of the K_l(k^2) function. Thus, both functions have no singularities at zero energy.


title: The Elephant random walk with gradually increasing memory

abstract: In the simple random walk the steps are independent, viz., the walker has no memory. In contrast, in the Elephant random walk(ERW), which was introduced by Schuetz and Trimper in 2004, the next step always depends on the whole path so far. Various authors have studied further properties of the ERW. In an earlier paper we studied the case when the Elephant remembers only a finite part of the first or last steps. In both cases there was no separation into two different regimes as in the classical ERW. We also posed the question about what happens if she remembers a gradually increasing past. This paper will give some answers to that question. We also discuss related questions for ERW:s with delays.


title: Debiased and threshold ridge regression for linear model with heteroskedastic and dependent error

abstract: Focusing on a high dimensional linear model $y = X\beta + \epsilon$ with dependent, non-stationary, and heteroskedastic errors, this paper applies the debiased and threshold ridge regression method that gives a consistent estimator for linear combinations of $\beta$; and derives a Gaussian approximation theorem for the estimator. Besides, it proposes a dependent wild bootstrap algorithm to construct the estimator's confidence intervals and perform hypothesis testing. Numerical experiments on the proposed estimator and the bootstrap algorithm show that they have favorable finite sample performance. Research on a high dimensional linear model with dependent(non-stationary) errors is sparse, and our work should bring some new insights to this field.


title: SEDML: Securely and Efficiently Harnessing Distributed Knowledge in Machine Learning

abstract: Training high-performing deep learning models require a rich amount of data which is usually distributed among multiple data sources in practice. Simply centralizing these multi-sourced data for training would raise critical security and privacy concerns, and might be prohibited given the increasingly strict data regulations. To resolve the tension between privacy and data utilization in distributed learning, a machine learning framework called private aggregation of teacher ensembles(PATE) has been recently proposed. PATE harnesses the knowledge (label predictions for an unlabeled dataset) from distributed teacher models to train a student model, obviating access to distributed datasets. Despite being enticing, PATE does not offer protection for the individual label predictions from teacher models, which still entails privacy risks. In this paper, we propose SEDML, a new protocol which allows to securely and efficiently harness the distributed knowledge in machine learning. SEDML builds on lightweight cryptography and provides strong protection for the individual label predictions, as well as differential privacy guarantees on the aggregation results. Extensive evaluations show that while providing privacy protection, SEDML preserves the accuracy as in the plaintext baseline. Meanwhile, SEDML's performance in computing and communication is 43 times and 1.23 times higher than the latest technology, respectively.


title: Exploring Content Moderation in the Decentralised Web: The Pleroma Case

abstract: Decentralising the Web is a desirable but challenging goal. One particular challenge is achieving decentralised content moderation in the face of various adversaries (e.g. trolls). To overcome this challenge, many Decentralised Web (DW) implementations rely on federation policies. Administrators use these policies to create rules that ban or modify content that matches specific rules. This, however, can have unintended consequences for many users. In this paper, we present the first study of federation policies on the DW, their in-the-wild usage, and their impact on users. We identify how these policies may negatively impact "innocent" users and outline possible solutions to avoid this problem in the future.


title: Tensor Network Kalman Filtering for Large-Scale LS-SVMs

abstract: Least squares support vector machines are a commonly used supervised learning method for nonlinear regression and classification. They can be implemented in either their primal or dual form. The latter requires solving a linear system, which can be advantageous as an explicit mapping of the data to a possibly infinite-dimensional feature space is avoided. However, for large-scale applications, current low-rank approximation methods can perform inadequately. For example, current methods are probabilistic due to their sampling procedures, and/or suffer from a poor trade-off between the ranks and approximation power. In this paper, a recursive Bayesian filtering framework based on tensor networks and the Kalman filter is presented to alleviate the demanding memory and computational complexities associated with solving large-scale dual problems. The proposed method is iterative, does not require explicit storage of the kernel matrix, and allows the formulation of early stopping conditions. Additionally, the framework yields confidence estimates of obtained models, unlike alternative methods. The performance is tested on two regression and three classification experiments, and compared to the Nystr\"om and fixed size LS-SVM methods. Results show that our method can achieve high performance and is particularly useful when alternative methods are computationally infeasible due to a slowly decaying kernel matrix spectrum.


title: Shared Independent Component Analysis for Multi-Subject Neuroimaging

abstract: We consider shared response modeling, a multi-view learning problem where one wants to identify common components from multiple datasets or views. We introduce Shared Independent Component Analysis (ShICA) that models each view as a linear transform of shared independent components contaminated by additive Gaussian noise. We show that this model is identifiable if the components are either non-Gaussian or have enough diversity in noise variances. We then show that in some cases multi-set canonical correlation analysis can recover the correct unmixing matrices, but that even a small amount of sampling noise makes Multiset CCA fail. To solve this problem, we propose to use joint diagonalization after Multiset CCA, leading to a new approach called ShICA-J. We show via simulations that ShICA-J leads to improved results while being very fast to fit. While ShICA-J is based on second-order statistics, we further propose to leverage non-Gaussianity of the components using a maximum-likelihood method, ShICA-ML, that is both more accurate and more costly. Further, ShICA comes with a principled method for shared components estimation. Finally, we provide empirical evidence on fMRI and MEG datasets that ShICA yields more accurate estimation of the components than alternatives.


title: A Two-Dimensional Metal-Organic Framework on Superconducting NbSe$_2$

abstract: The combination of two-dimensional (2D) materials into vertical heterostructures has emerged as a promising path to designer quantum materials with exotic properties. Here, we extend this concept from inorganic 2D materials to 2D metal-organic frameworks (MOFs) that offer additional flexibility in realizing designer heterostructures. We successfully fabricate a monolayer 2D Cu-dicyanoanthracene MOF on a 2D van der Waals NbSe$_2$ superconducting substrate. The structural and electronic properties of two different phases of the 2D MOF are characterized by low-temperature scanning tunneling microscopy (STM) and spectroscopy (STS), complemented by density-functional theory (DFT) calculations. These experiments allow us to follow the formation of the kagome bandstructure from Star of David -shaped building blocks. This work extends the synthesis and electronic tuneability of 2D MOFs beyond the electronically less relevant metal and semiconducting surfaces to superconducting substrates, which are needed for the development of emerging quantum materials such as topological superconductors.


title: Managing Bias in Human-Annotated Data: Moving Beyond Bias Removal

abstract: Due to the widespread use of data-powered systems in our everyday lives, the notions of bias and fairness gained significant attention among researchers and practitioners, in both industry and academia. Such issues typically emerge from the data, which comes with varying levels of quality, used to train systems. With the commercialization and employment of such systems that are sometimes delegated to make life-changing decisions, a significant effort is being made towards the identification and removal of possible sources of bias that may surface to the final end-user. In this position paper, we instead argue that bias is not something that should necessarily be removed in all cases, and the attention and effort should shift from bias removal to the identification, measurement, indexing, surfacing, and adjustment of bias, which we name bias management. We argue that if correctly managed, bias can be a resource that can be made transparent to the the users and empower them to make informed choices about their experience with the system.


title: Part & Whole Extraction: Towards A Deep Understanding of Quantitative Facts for Percentages in Text

abstract: We study the problem of quantitative facts extraction for text with percentages. For example, given the sentence "30 percent of Americans like watching football, while 20% prefer to watch NBA.", our goal is to obtain a deep understanding of the percentage numbers ("30 percent" and "20%") by extracting their quantitative facts: part ("like watching football" and "prefer to watch NBA") and whole ("Americans). These quantitative facts can empower new applications like automated infographic generation. We formulate part and whole extraction as a sequence tagging problem. Due to the large gap between part/whole and its corresponding percentage, we introduce skip mechanism in sequence modeling, and achieved improved performance on both our task and the CoNLL-2003 named entity recognition task. Experimental results demonstrate that learning to skip in sequence tagging is promising.


title: Accelerating Distributed Deep Reinforcement Learning by In-Network Experience Sampling

abstract: A computing cluster that interconnects multiple compute nodes is used to accelerate distributed reinforcement learning based on DQN (Deep Q-Network). In distributed reinforcement learning, Actor nodes acquire experiences by interacting with a given environment and a Learner node optimizes their DQN model. Since data transfer between Actor and Learner nodes increases depending on the number of Actor nodes and their experience size, communication overhead between them is one of major performance bottlenecks. In this paper, their communication is accelerated by DPDK-based network optimizations, and DPDK-based low-latency experience replay memory server is deployed between Actor and Learner nodes interconnected with a 40GbE (40Gbit Ethernet) network. Evaluation results show that, as a network optimization technique, kernel bypassing by DPDK reduces network access latencies to a shared memory server by 32.7% to 58.9%. As another network optimization technique, an in-network experience replay memory server between Actor and Learner nodes reduces access latencies to the experience replay memory by 11.7% to 28.1% and communication latencies for prioritized experience sampling by 21.9% to 29.1%.


title: Angular trapping of a linear-cavity mirror with an optical torsional spring

abstract: Optomechanical systems have been attracting intensive attention in various physical experiments. With an optomechanical system, the displacement of or the force acting on a mechanical oscillator can be precisely measured by utilizing optical interferometry. As a mechanical oscillator, a suspended mirror is often used in over milligram scale optomechanical systems. However, the tiny suspended mirror in a linear cavity can be unstable in its yaw rotational degree of freedom due to optical radiation pressure. This instability curbs the optical power that the cavity can accumulate in it, and imposes a limitation on the sensitivity. Here, we show that the optical radiation pressure can be used to trap the rotational motion of the suspended mirror without additional active feedback control when the $g$ factors of the cavity are negative and one mirror is much heavier than the other one. Furthermore, we demonstrate experimentally the validity of the trapping. We measured the rotational stiffness of a suspended tiny mirror with various intracavity power. The result indicates that the radiation pressure of the laser beam inside the cavity actually works as a positive restoring torque. Moreover, we discuss the feasibility of observing quantum radiation pressure fluctuation with our experimental setup as an application of our trapping configuration.


title: Gauge-invariant perturbation theory on the Schwarzschild background spacetime Part I : -- Formulation and odd-mode perturbations

abstract: This is the Part I paper of our series of full papers on a gauge-invariant {\it linear} perturbation theory on the Schwarzschild background spacetime which was briefly reported in our short papers [K.~Nakamura, Class. Quantum Grav. {\bf 38} (2021), 145010; K.~Nakamura, Letters in High Energy Physics {\bf 2021} (2021), 215.]. We first review our general framework of the gauge-invariant perturbation theory, which can be easily extended to the {\it higher-order} perturbation theory. When we apply this general framework to perturbations on the Schwarzschild background spacetime, a gauge-invariant treatments of $l=0,1$ mode perturbations are required. On the other hand, in the current consensus on the perturbations of the Schwarzschild spacetime, gauge-invariant treatments for $l=0,1$ modes are difficult if we keep the reconstruction of the original metric perturbations in our mind. Based on this situation, we propose a strategy of a gauge-invariant treatments of $l=0,1$ mode perturbations through the decomposition of the metric perturbations by singular harmonic functions at once and the regularization of this singularity through the imposition of the boundary conditions to the Einstein equations. Following this proposal, we derive the linearized Einstein equations for any modes of $l\geq 0$ in a gauge-invariant manner. We discuss the solutions to the odd-mode perturbation equations in the linearized Einstein equations and show that these perturbations include the Kerr parameter perturbation in these odd-mode perturbation, which is physically reasonable.

categories: gr-qc astro-ph.HE hep-th math-ph math.MP


title: An Arbitrary High Order and Positivity Preserving Method for the Shallow Water Equations

abstract: In this paper, we develop and present an arbitrary high order well-balanced finite volume WENO method combined with the modified Patankar Deferred Correction (mPDeC) time integration method for the shallow water equations. Due to the positivity-preserving property of mPDeC, the resulting scheme is unconditionally positivity preserving for the water height. To apply the mPDeC approach, we have to interpret the spatial semi-discretization in terms of production-destruction systems. Only small modifications inside the classical WENO implementation are necessary and we explain how it can be done. In numerical simulations, focusing on a fifth order method, we demonstrate the good performance of the new method and verify the theoretical properties.


title: Inclusive top-antitop pair production cross section at 5.02 TeV with CMS

abstract: The top quark pair production cross section is measured in proton-proton collisions at a center-of-mass energy of 5.02 TeV. The data collected in 2017 by the CMS experiment at the LHC corresponding to an integrated luminosity of 304 pb$^{-1}$ are analyzed. The measurement is performed using events with one electron and one muon of opposite sign, and at least two jets. The measured cross section is found to be $\sigma_{\mathrm{t}\bar{\mathrm{t}}}~=~60.3~\pm5.0~\mathrm{(stat)}\pm2.8~\mathrm{(syst)}\pm0.9~\mathrm{(lumi)}$ pb. To reduce the statistical uncertainty, a combination with the result in the $\ell$+jets channel, based on 27.4 pb$^{-1}$ of data collected in 2015 at the same center-of-mass energy of 5.02 TeV, is then performed, obtaining a value of $\sigma_{\mathrm{t}\bar{\mathrm{t}}}~=~62.6~\pm4.1~\mathrm{(stat)}\pm3.0~\mathrm{(syst+lumi)}$ pb, with a total uncertainty of 7.9%, in agreement with the standard model.


title: AutoDEUQ: Automated Deep Ensemble with Uncertainty Quantification

abstract: Deep neural networks are powerful predictors for a variety of tasks. However, they do not capture uncertainty directly. Using neural network ensembles to quantify uncertainty is competitive with approaches based on Bayesian neural networks while benefiting from better computational scalability. However, building ensembles of neural networks is a challenging task because, in addition to choosing the right neural architecture or hyperparameters for each member of the ensemble, there is an added cost of training each model. We propose AutoDEUQ, an automated approach for generating an ensemble of deep neural networks. Our approach leverages joint neural architecture and hyperparameter search to generate ensembles. We use the law of total variance to decompose the predictive variance of deep ensembles into aleatoric (data) and epistemic (model) uncertainties. We show that AutoDEUQ outperforms probabilistic backpropagation, Monte Carlo dropout, deep ensemble, distribution-free ensembles, and hyper ensemble methods on a number of regression benchmarks.


title: Gauge-invariant perturbation theory on the Schwarzschild background spacetime Part II: -- Even-mode perturbations

abstract: This is the Part II paper of our series of papers on a gauge-invariant perturbation theory on the Schwarzschild background spacetime. After reviewing our general framework of the gauge-invariant perturbation theory and the proposal on the gauge-invariant treatments for $l=0,1$ mode perturbations on the Schwarzschild background spacetime in the Part I paper [K.~Nakamura, arXiv:2110.13508 [gr-qc]], we examine the linearized Einstein equations for even-mode perturbations. We discuss the strategy to solve the linearized Einstein equations for these even-mode perturbations including $l=0,1$ modes. Furthermore, we explicitly derive the $l=0,1$ mode solutions to the linearized Einstein equations in both the vacuum and the non-vacuum cases. We show that the solutions for $l=0$ mode perturbations includes the additional Schwarzschild mass parameter perturbation, which is physically reasonable. Then, we conclude that our proposal of the resolution of the $l=0,1$-mode problem is physically reasonable due to the realization of the additional Schwarzschild mass parameter perturbation and the Kerr parameter perturbation in the Part I paper.


title: Comparative study on Mechanical characteristics of Functionally graded and Coreshell nanospheres: An Atomistic approach

abstract: Functionally Graded Material (FGM) is a type of advanced material consisting of two (or more) distinct substances with a constantly changing composition profile. FGM technologies have moved from their traditional use to advanced micro and nanoscale electronics and energy conversion systems along with the advent of nanotechnology. MD simulations are used in this analysis to examine the effect of compressive load on Ag-Au FGM and Core-shell nanospheres. The plasticity process is often started by the nucleation of partial dislocations from the contact surfaces, and these dislocations spread towards the nanosphere's center. Also, we have found the formation of pyramidal-shaped partial dislocations on the pseudo-plastic regime. For a given wt% range of Ag in Au, Coreshell nanospheres have stronger mechanical strength than FGM nanospheres, and we have also observed two distinct patterns in ultimate stress variation for FGM and Coreshell nanospheres. The dislocation analysis suggests a correlation between this stress variation and the Shockley & Hirth partial dislocation density.


title: $L$-hole Pockets of the Palladium Fermi Surface Revealed by Positron Annihilation Spectroscopy

abstract: Using the combined Density Functional and Dynamical Mean Field theory we study relativistic corrections to the Fermi surface of palladium. We find indeed that relativistic corrections create a small hole pockets at the $L$-symmetry points. Furthermore we show that the computed two dimensional Angular Correlation of Electron Positron Annihilation Radiation (the so called $2D$-ACAR) clearly demonstrates the existence of these $L$-hole pockets, which remains robust against electronic correlations. A $2D$-ACAR experiment should therefore provide the "smoking-gun" proof for the existence of the $L$-hole pockets in the palladium Fermi surface.


title: Modular Gaussian Processes for Transfer Learning

abstract: We present a framework for transfer learning based on modular variational Gaussian processes (GP). We develop a module-based method that having a dictionary of well fitted GPs, one could build ensemble GP models without revisiting any data. Each model is characterised by its hyperparameters, pseudo-inputs and their corresponding posterior densities. Our method avoids undesired data centralisation, reduces rising computational costs and allows the transfer of learned uncertainty metrics after training. We exploit the augmentation of high-dimensional integral operators based on the Kullback-Leibler divergence between stochastic processes to introduce an efficient lower bound under all the sparse variational GPs, with different complexity and even likelihood distribution. The method is also valid for multi-output GPs, learning correlations a posteriori between independent modules. Extensive results illustrate the usability of our framework in large-scale and multi-task experiments, also compared with the exact inference methods in the literature.


title: Anisotropic hyperbolic inflation for a model of two scalar and two vector fields

abstract: In this paper, we extend a recent proposed model of two scalar and two vector fields to a hyperbolic inflation scenario, in which the field space of two scalar fields is a hyperbolic space instead of a flat space. In this model, one of the scalar fields is assumed to be a radial field, while the other is set as an angular field. Furthermore, both scalar fields will be coupled to two different vector fields, respectively. As a result, we are able to obtain a set of exact Bianchi type I solutions to this model. Stability analysis is also performed to show that this set of anisotropic solutions is indeed stable and attractive during the inflationary phase. This result indicates that the cosmic no-hair conjecture is extensively violated in this anisotropic hyperbolic inflation model.


title: A Simple Experimental Setup for Simultaneous Superfluid-response and Heat-capacity Measurements for Helium in Confined Geometries

abstract: Torsional oscillator (TO) is an experimental technique which is widely used to investigate superfluid responses in helium systems confined in porous materials or adsorbed on substrates. In these systems, heat capacity (HC) is also an important quantity to study the local thermodynamic properties. We have developed a simple method to incorporate the capability of HC measurement into an existing TO without modifying the TO itself. By inserting a rigid thermal isolation support made of alumina and a weak thermal link made of fine copper wires between a standard TO and the mixing chamber of a dilution refrigerator in parallel, we were able to carry out simultaneous TO and HC measurements on exactly the same helium sample, i.e., four atomic layers of $^4$He adsorbed on graphite, with good accuracies down to 30 mK. The data reproduced very well the previous workers' results obtained independently using setups optimized for individual measurements. This method is conveniently applicable to a variety of experiments where careful comparisons between results of TO and HC measurements are crucial. We describe how to design the thermal isolation support and the weak thermal link to manage conflicting requirements in the two techniques.


title: Large Hadron Collider Constraints on Some Simple $Z'$ Models for $b\to s\mu^+\mu^-$ Anomalies

abstract: We examine current Large Hadron Collider constraints on some simple $Z'$ models that significantly improve on Standard Model fits to $b\to s\mu^+\mu^-$ transition data. The models that we consider are the 'third family baryon number minus second family lepton number' $(B_3-L_2)$ model and the 'third family hypercharge' model and variants. The constraints are applied on parameter regions of each model that fit the $b\to s\mu^+\mu^-$ transition data and come from high-mass Drell-Yan di-muons and measurements of Standard Model processes. This latter set of observables place particularly strong bounds upon the parameter space of the $B_3-L_2$ model when the mass of the $Z'$ boson is less than 300 GeV.


title: Gauge-invariant perturbation theory on the Schwarzschild background spacetime Part III: -- Realization of exact solutions

abstract: This is the Part III paper of our series of papers on a gauge-invariant perturbation theory on the Schwarzschild background spacetime. After reviewing our general framework of the gauge-invariant perturbation theory and the proposal on the gauge-invariant treatments for $l=0,1$ mode perturbations on the Schwarzschild background spacetime in [K.~Nakamura, arXiv:2110.13508 [gr-qc]], we examine the problem whether the $l=0,1$ even-mode solutions derived in the Part II paper [K.~Nakamura, arXiv:2110.13512 [gr-qc]] are physically reasonable, or not. We consider the linearized versions of the Lema\^itre-Tolman-Bondi solution and the non-rotating C-metric. As the result, we show that our derived even-mode solutions to the linearized Einstein equations actually realize above two linearized solutions. This fact supports that our derived solutions are physically reasonable, which implies that our proposal on the gauge-invariant treatments for $l=0,1$ mode perturbations are also physically reasonable. We also briefly summarize our conclusions of our series of papers.


title: Critical velocity for vortex nucleation and roton emission in a generalized model for superfluids

abstract: We study numerically the process of vortex nucleation at the wake of a moving object in superfluids using a generalized and non-local Gross-Pitaevskii model. The non-local potential is set to reproduce the roton minimum present in the excitation spectrum of superfluid helium. By applying numerically a Newton-Raphson method we determine the bifurcation diagram for different types of non-linearities and object sizes which allow for determining the corresponding critical velocities. In the case of a non-local potential, we observe that for small object sizes the critical velocity is simply determined by the Landau criterion for superfluidity whereas for large objects there is little difference between all models studied. Finally, we study dynamically in two and three dimensions how rotons and vortices are excited in the non-local model of superfluid.


title: Machine learning spectral functions in lattice QCD

abstract: We study the inverse problem of reconstructing spectral functions from Euclidean correlation functions via machine learning. We propose a novel neural network, SVAE, which is based on the variational autoencoder (VAE) and can be naturally applied to the inverse problem. The prominent feature of the SVAE is that a Shannon-Jaynes entropy term having the ground truth values of spectral functions as prior information is included in the loss function to be minimized. We train the network with general spectral functions produced from a Gaussian mixture model. As a test, we use correlators generated from four different types of physically motivated spectral functions made of one resonance peak, a continuum term and perturbative spectral function obtained using non-relativistic QCD. From the mock data test we find that the SVAE in most cases is comparable to the maximum entropy method (MEM) in the quality of reconstructing spectral functions and even outperforms the MEM in the case where the spectral function has sharp peaks with insufficient number of data points in the correlator. By applying to temporal correlation functions of charmonium in the pseudoscalar channel obtained in the quenched lattice QCD at 0.75 $T_c$ on $128^3\times96$ lattices and $1.5$ $T_c$ on $128^3\times48$ lattices, we find that the resonance peak of $\eta_c$ extracted from both the SVAE and MEM has a substantial dependence on the number of points in the temporal direction ($N_\tau$) adopted in the lattice simulation and $N_\tau$ larger than 48 is needed to resolve the fate of $\eta_c$ at 1.5 $T_c$.


title: Probabilistic Entity Representation Model for Reasoning over Knowledge Graphs

abstract: Logical reasoning over Knowledge Graphs (KGs) is a fundamental technique that can provide efficient querying mechanism over large and incomplete databases. Current approaches employ spatial geometries such as boxes to learn query representations that encompass the answer entities and model the logical operations of projection and intersection. However, their geometry is restrictive and leads to non-smooth strict boundaries, which further results in ambiguous answer entities. Furthermore, previous works propose transformation tricks to handle unions which results in non-closure and, thus, cannot be chained in a stream. In this paper, we propose a Probabilistic Entity Representation Model (PERM) to encode entities as a Multivariate Gaussian density with mean and covariance parameters to capture its semantic position and smooth decision boundary, respectively. Additionally, we also define the closed logical operations of projection, intersection, and union that can be aggregated using an end-to-end objective function. On the logical query reasoning problem, we demonstrate that the proposed PERM significantly outperforms the state-of-the-art methods on various public benchmark KG datasets on standard evaluation metrics. We also evaluate PERM's competence on a COVID-19 drug-repurposing case study and show that our proposed work is able to recommend drugs with substantially better F1 than current methods. Finally, we demonstrate the working of our PERM's query answering process through a low-dimensional visualization of the Gaussian representations.


title: Automating Control of Overestimation Bias for Reinforcement Learning

abstract: Overestimation bias control techniques are used by the majority of high-performing off-policy reinforcement learning algorithms. However, most of these techniques rely on pre-defined bias correction policies that are either not flexible enough or require environment-specific tuning of hyperparameters. In this work, we present a general data-driven approach for the automatic selection of bias control hyperparameters. We demonstrate its effectiveness on three algorithms: Truncated Quantile Critics, Weighted Delayed DDPG, and Maxmin Q-learning. The proposed technique eliminates the need for an extensive hyperparameter search. We show that it leads to a significant reduction of the actual number of interactions while preserving the performance.


title: Changing the order of a dynamical phase transition through fluctuations in a quantum p-spin model

abstract: We study the non-equilibrium phase diagram of a fully-connected Ising $p$-spin model, for generic $p>2$, and investigate its robustness with respect to the inclusion of spin-wave fluctuations, resulting from a ferromagnetic, short-range spin interaction. In particular, we investigate the dynamics of the mean-field model after a quantum quench: we observe a new dynamical phase transition which is either first or second order depending on the even or odd parity of $p$, in stark contrast with its thermal counterpart which is first order for all $p$. The dynamical phase diagram is qualitatively modified by the fluctuations introduced by a short-range interaction which drive the system always towards various paramagnetic phases determined by the strength of time dependent fluctuations of the magnetization.


title: A Reinforcement Learning Approach for Re-allocating Drone Swarm Services

abstract: We propose a novel framework for the re-allocation of drone swarms for delivery services known as Swarm-based Drone-as-a-Service (SDaaS). The re-allocation framework ensures maximum profit to drone swarm providers while meeting the time requirement of service consumers. The constraints in the delivery environment (e.g., limited recharging pads) are taken into consideration. We utilize reinforcement learning (RL) to select the best allocation and scheduling of drone swarms given a set of requests from multiple consumers. We conduct a set of experiments to evaluate and compare the efficiency of the proposed approach considering the provider's profit and run-time efficiency.


title: Software Implementation of the Krylov Methods Based Reconstruction for the 3D Cone Beam CT Operator

abstract: Krylov subspace methods are considered a standard tool to solve large systems of linear algebraic equations in many scientific disciplines such as image restoration or solving partial differential equations in mechanics of continuum. In the context of computer tomography however, the mostly used algebraic reconstruction techniques are based on classical iterative schemes. In this work we present software package that implements fully 3D cone beam projection operator and uses Krylov subspace methods, namely CGLS and LSQR to solve related tomographic reconstruction problems. It also implements basic preconditioning strategies. On the example of the cone beam CT reconstruction of 3D Shepp-Logan phantom we show that the speed of convergence of the CGLS clearly outperforms PSIRT algorithm. Therefore Krylov subspace methods present an interesting option for the reconstruction of large 3D cone beam CT problems.


title: Highly Scalable Maximum Likelihood and Conjugate Bayesian Inference for ERGMs on Graph Sets with Equivalent Vertices

abstract: The exponential family random graph modeling (ERGM) framework provides a flexible approach for the statistical analysis of networks. As ERGMs typically involve normalizing factors that are costly to compute, practical inference relies on a variety of approximations or other workarounds. Markov Chain Monte Carlo maximum likelihood (MCMC MLE) provides a powerful tool to approximate the MLE of ERGM parameters, and is feasible for typical models on single networks with as many as a few thousand nodes. MCMC-based algorithms for Bayesian analysis are more expensive, and high-quality answers are challenging to obtain on large graphs. For both strategies, extension to the pooled case - in which we observe multiple networks from a common generative process - adds further computational cost, with both time and memory scaling linearly in the number of graphs. This becomes prohibitive for large networks, or where large numbers of graph observations are available. Here, we exploit some basic properties of the discrete exponential families to develop an approach for ERGM inference in the pooled case that (where applicable) allows an arbitrarily large number of graph observations to be fit at no additional computational cost beyond preprocessing the data itself. Moreover, a variant of our approach can also be used to perform Bayesian inference under conjugate priors, again with no additional computational cost in the estimation phase. As we show, the conjugate prior is easily specified, and is well-suited to applications such as regularization. Simulation studies show that the pooled method leads to estimates with good frequentist properties, and posterior estimates under the conjugate prior are well-behaved. We demonstrate our approach with applications to pooled analysis of brain functional connectivity networks and to replicated x-ray crystal structures of hen egg-white lysozyme.


title: A density-wave-like transition in the polycrystalline V3Sb2 sample with bilayer kagome lattice

abstract: Recently, transition-metal-based kagome metals have aroused much research interest as a novel platform to explore exotic topological quantum phenomena. Here we report on the synthesis, structure, and physical properties of a bilayer kagome lattice compound V3Sb2. The polycrystalline V3Sb2 samples were synthesized by conventional solid-state-reaction method in a sealed quartz tube at temperatures below 850 Celsius degree. Measurements of magnetic susceptibility and resistivity revealed consistently a density-wave-like transition at Tdw ~ 160 K with a large thermal hysteresis, even though some sample-dependent behaviors are observed presumably due to the different preparation conditions. Upon cooling through Tdw, no strong anomaly in lattice parameters and no indication of symmetry lowering were detected in powder x-ray diffraction measurements. This transition can be suppressed completely by applying hydrostatic pressures of about 1.8 GPa, around which no sign of superconductivity is observed down to 1.5 K. Specific-heat measurements reveal a relatively large Sommerfeld coefficient {\gamma} = 18.5 mJ/mol-K2, confirming the metallic ground state with moderate electronic correlations. Density functional theory calculations indicate that V3Sb2 shows a non-trivial topological crystalline property. Thus, our study makes V3Sb2 a new candidate of metallic kagome compound to study the interplay between density-wave-order, nontrivial band topology, and possible superconductivity.


title: Short-distance constraints in hadronic-light-by-light for the muon $g-2$

abstract: In this talk recent progress in studying the short-distance properties of the hadronic light-by-light contribution to the muon $g-2$ is described. The intermediate and short-distance part is a major contributor to the error of the theoretical prediction as described in the recent white paper [1]. We have shown that the massless quark-loop is the first term in a systematic expansion at short-distances, a result already used in the white paper. Newer results conclude that both nonperturbative and perturbative corrections are under control. The talk describes these developments and how they fit in the total theoretical prediction for the muon $g-2$.


title: An extended physics informed neural network for preliminary analysis of parametric optimal control problems

abstract: In this work we propose an extension of physics informed supervised learning strategies to parametric partial differential equations. Indeed, even if the latter are indisputably useful in many applications, they can be computationally expensive most of all in a real-time and many-query setting. Thus, our main goal is to provide a physics informed learning paradigm to simulate parametrized phenomena in a small amount of time. The physics information will be exploited in many ways, in the loss function (standard physics informed neural networks), as an augmented input (extra feature employment) and as a guideline to build an effective structure for the neural network (physics informed architecture). These three aspects, combined together, will lead to a faster training phase and to a more accurate parametric prediction. The methodology has been tested for several equations and also in an optimal control framework.


title: Bayesian Estimation and Comparison of Conditional Moment Models

abstract: We consider the Bayesian analysis of models in which the unknown distribution of the outcomes is specified up to a set of conditional moment restrictions. The nonparametric exponentially tilted empirical likelihood function is constructed to satisfy a sequence of unconditional moments based on an increasing (in sample size) vector of approximating functions (such as tensor splines based on the splines of each conditioning variable). For any given sample size, results are robust to the number of expanded moments. We derive Bernstein-von Mises theorems for the behavior of the posterior distribution under both correct and incorrect specification of the conditional moments, subject to growth rate conditions (slower under misspecification) on the number of approximating functions. A large-sample theory for comparing different conditional moment models is also developed. The central result is that the marginal likelihood criterion selects the model that is less misspecified. We also introduce sparsity-based model search for high-dimensional conditioning variables, and provide efficient MCMC computations for high-dimensional parameters. Along with clarifying examples, the framework is illustrated with real-data applications to risk-factor determination in finance, and causal inference under conditional ignorability.


title: Playing Coopetitive Polymatrix Games with Small Manipulation Cost

abstract: Iterated coopetitive games capture the situation when one must efficiently balance between cooperation and competition with the other agents over time in order to win the game (e.g., to become the player with highest total utility). Achieving this balance is typically very challenging or even impossible when explicit communication is not feasible (e.g., negotiation or bargaining are not allowed). In this paper we investigate how an agent can achieve this balance to win in iterated coopetitive polymatrix games, without explicit communication. In particular, we consider a 3-player repeated game setting in which our agent is allowed to (slightly) manipulate the underlying game matrices of the other agents for which she pays a manipulation cost, while the other agents satisfy weak behavioural assumptions. We first propose a payoff matrix manipulation scheme and sequence of strategies for our agent that provably guarantees that the utility of any opponent would converge to a value we desire. We then use this scheme to design winning policies for our agent. We also prove that these winning policies can be found in polynomial running time. We then turn to demonstrate the efficiency of our framework in several concrete coopetitive polymatrix games, and prove that the manipulation costs needed to win are bounded above by small budgets. For instance, in the social distancing game, a polymatrix version of the lemonade stand coopetitive game, we showcase a policy with an infinitesimally small manipulation cost per round, along with a provable guarantee that, using this policy leads our agent to win in the long-run. Note that our findings can be trivially extended to $n$-player game settings as well (with $n > 3$).


title: Zero-Liquidation Loans: A Structured Product Approach to DeFi Lending

abstract: Zero-Liquidation loans allow DeFi users to borrow USDC against their ETH holdings, but without the risk of being liquidated in case of LTV shortfalls. This is achieved by giving users the option to repay their loans, either in USDC or through their previously pledged ETH (the concept can be generalized to other currency pairs as well). Liquidity providers, on the other hand side, are compensated with a higher yield for bearing the ETH downside risk. A positive side effect of zero-liquidation loans is that they are more robust against flash crashes and have a lower financial contagion effect than current lending and borrowing protocols.


title: Notes on hyperelliptic mapping class groups

abstract: Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural epimorphisms between mapping class groups of surfaces with marked points. We study these groups in a systematic way. An application of this theory is a counterexample to the genus $2$ case of a conjecture by Putman and Wieland on virtual linear representations of mapping class groups. In the last section, we study profinite completions of hyperelliptic mapping class groups: we extend the congruence subgroup property to the general class of hyperelliptic mapping class groups introduced above and then determine the centralizers of multitwists and of open subgroups in their profinite completions.


title: An in-depth Analysis of Occasional and Recurring Collaborations in Online Music Co-creation

abstract: The success of online creative communities depends on the will of participants to create and derive content in a collaborative environment. Despite their growing popularity, the factors that lead to remixing existing content in online creative communities are not entirely understood. In this paper, we focus on overdubbing, that is, a dyadic collaboration where one author mixes one new track with an audio recording previously uploaded by another. We study musicians who collaborate regularly, that is, frequently overdub each other's songs. Building on frequent pattern mining techniques, we develop an approach to seek instances of such recurring collaborations in the Songtree community. We identify 43 instances involving two or three members with a similar reputation in the community. Our findings highlight common and different remix factors in occasional and recurring collaborations. Specifically, fresh and less mature songs are generally overdubbed more; instead, exchanging messages and invitations to collaborate are significant factors only for songs generated through recurring collaborations whereas author reputation (ranking) and applying metadata tags to songs have a positive effect only in occasional collaborations.


title: Roberge-Weiss transitions at imaginary isospin chemical potential

abstract: At finite imaginary values of the chemical potential, QCD is free of the sign problem. Moreover, at high temperatures the partition function exhibits a new symmetry (the Roberge-Weiss symmetry) connecting phases with different orientations of the Polyakov loop, and the corresponding phase transitions between these. In this contribution we investigate the perturbative one-loop effective potential for the Polyakov loop in the presence of imaginary isospin as well as baryon chemical potentials. This leads to a novel phase diagram, which reveals an interesting insight about the rich phase structure of the system and the center symmetry breaking. We check the perturbative results using direct lattice simulations.


title: Overlapping Schwarz methods with GenEO coarse spaces for indefinite and non-self-adjoint problems

abstract: GenEO (`Generalised Eigenvalue problems on the Overlap') is a method for computing an operator-dependent spectral coarse space to be combined with local solves on subdomains to form a robust parallel domain decomposition preconditioner for elliptic PDEs. It has previously been proved, in the self-adjoint and positive-definite case, that this method, when used as a preconditioner for conjugate gradients, yields iteration numbers which are completely independent of the heterogeneity of the coefficient field of the partial differential operator. We extend this theory to the case of convection-diffusion-reaction problems, which may be non-self-adjoint and indefinite, and whose discretisations are solved with preconditioned GMRES. The GenEO coarse space is defined here using a generalised eigenvalue problem based on a self-adjoint and positive-definite subproblem. We prove estimates on GMRES iteration counts which are independent of the variation of the coefficient of the diffusion term in the operator and depend only very mildly on variations of the other coefficients. These are proved under the assumption that the subdomain diameter is sufficiently small and the eigenvalue tolerance for building the coarse space is sufficiently large. While the iteration number estimates do grow as the non-self-adjointness and indefiniteness of the operator increases, practical tests indicate the deterioration is much milder. Thus we obtain an iterative solver which is efficient in parallel and very effective for a wide range of convection--diffusion--reaction problems.


title: SHECS: A Local Smart Hands-free Elderly Care Support System on Smart AR Glasses with AI Technology

abstract: Some elderly care homes attempt to remedy the shortage of skilled caregivers and provide long-term care for the elderly residents, by enhancing the management of the care support system with the aid of smart devices such as mobile phones and tablets. Since mobile phones and tablets lack the flexibility required for laborious elderly care work, smart AR glasses have already been considered. Although lightweight smart AR devices with a transparent display are more convenient and responsive in an elderly care workplace, fetching data from the server through the Internet results in network congestion not to mention the limited display area. To devise portable smart AR devices that operate smoothly, we first present a no keep alive Internet required smart hands-free elderly care support system that employs smart glasses with facial recognition and text-to-speech synthesis technologies. Our support system utilizes automatic lightweight facial recognition to identify residents, and information about each resident in question can be obtained hands free link with a local database. Moreover, a resident information can be displayed on just a portion of the AR smart glasses on the spot. Due to the limited size of the display area, it cannot show all the necessary information. We exploit synthesized voices in the system to read out the elderly care related information. By using the support system, caregivers can gain an understanding of each resident condition immediately, instead of having to devote considerable time in advance in obtaining the complete information of all elderly residents. Our lightweight facial recognition model achieved high accuracy with fewer model parameters than current state-of-the-art methods. The validation rate of our facial recognition system was 99.3% or higher with the false accept rate of 0.001, and caregivers rated the acceptability at 3.6 (5 levels) or higher.


title: Long-lived Andreev states as evidence for protected hinge modes in a bismuth nanoring Josephson junction

abstract: Second-order topological insulators are characterized by helical, non-spin-degenerate, one-dimensional states running along opposite crystal hinges, with no backscattering. Injecting superconducting pairs therefore entails splitting Cooper pairs into two families of helical Andreev states of opposite helicity, one at each hinge. Here we provide evidence for such separation via the measurement and analysis of switching supercurrent statistics of a crystalline nanoring of bismuth. Using a phenomenological model of two helical Andreev hinge modes, we find that pairs relax at a rate comparable to individual quasiparticles, in contrast with the much faster pair relaxation of non-topological systems. This constitutes a unique tell-tale sign of the spatial separation of topological helical hinges.


title: Dipolar Bose-Hubbard Model in finite-size real-space cylindrical lattices

abstract: Recent experimental progress in magnetic atoms and polar molecules has created the prospect of simulating dipolar Hubbard models with off-site interactions. When applied to real-space cylindrical optical lattices, these anisotropic dipole-dipole interactions acquire a tunable spatially-dependent component while they remain translationally-invariant in the axial direction, creating a sublattice structure in the azimuthal direction. We numerically study how the coexistence of these classes of interactions affects the ground state of hardcore dipolar bosons at half-filling in a finite-size cylindrical optical lattice with octagonal rings. When these two interaction classes cooperate, we find a solid state where the density order is determined by the azimuthal sublattice structure and builds smoothly as the interaction strength increases. For dipole polarisations where the axial interactions are sufficiently repulsive, the repulsion competes with the sublattice structure, significantly increasing entanglement and creating two distinct ordered density patterns. The spatially-varying interactions cause the emergence of these ordered states in small lattices as a function of interaction strength to be staggered according to the azimuthal sublattices.


title: Qu-ANTI-zation: Exploiting Quantization Artifacts for Achieving Adversarial Outcomes

abstract: Quantization is a popular technique that $transforms$ the parameter representation of a neural network from floating-point numbers into lower-precision ones ($e.g.$, 8-bit integers). It reduces the memory footprint and the computational cost at inference, facilitating the deployment of resource-hungry models. However, the parameter perturbations caused by this transformation result in $behavioral$ $disparities$ between the model before and after quantization. For example, a quantized model can misclassify some test-time samples that are otherwise classified correctly. It is not known whether such differences lead to a new security vulnerability. We hypothesize that an adversary may control this disparity to introduce specific behaviors that activate upon quantization. To study this hypothesis, we weaponize quantization-aware training and propose a new training framework to implement adversarial quantization outcomes. Following this framework, we present three attacks we carry out with quantization: (i) an indiscriminate attack for significant accuracy loss; (ii) a targeted attack against specific samples; and (iii) a backdoor attack for controlling the model with an input trigger. We further show that a single compromised model defeats multiple quantization schemes, including robust quantization techniques. Moreover, in a federated learning scenario, we demonstrate that a set of malicious participants who conspire can inject our quantization-activated backdoor. Lastly, we discuss potential counter-measures and show that only re-training consistently removes the attack artifacts. Our code is available at https://github.com/Secure-AI-Systems-Group/Qu-ANTI-zation


title: Understanding how fast black holes spin by analysing data from the second gravitational-wave catalogue

abstract: The Advanced LIGO and Virgo detectors have now observed approximately 50 black-hole-binary mergers, from which we can begin to infer how rapidly astrophysical black holes spin. The LIGO-Virgo Collaboration (LVC) analysis of detections up to the end of the first half of the third observing run (O3a) appeared to uncover a distribution of spin magnitudes that peaks at $\sim$0.2. This is surprising: is there a black-hole formation mechanism that prefers a particular, non-zero spin magnitude, or could this be the cumulative effect of multiple formation processes? We perform an independent analysis of the most recent gravitational-wave catalogue, and find that (a) the support for the LVC spin-magnitude is tenuous; in particular, adding or removing just one signal from the catalogue can remove the statistical preference for this distribution, and (b) we find potential evidence for two spin sub-populations in the observed black holes; one with extremely low spins and one with larger spin magnitudes. We make the connection that these spin sub-populations could be correlated with the mass of the binary, with more massive binaries preferring larger spin magnitudes, and argue that this may provide evidence for hierarchical mergers in the second gravitational-wave catalogue.


title: Collective decision-making under changing social environments among agents adapted to sparse connectivity

abstract: Humans and other animals often follow the decisions made by others because these are indicative of the quality of possible choices, resulting in `social response rules': observed relationships between the probability that an agent will make a specific choice and the decisions other individuals have made. The form of social responses can be understood by considering the behaviour of rational agents that seek to maximise their expected utility using both social and private information. Previous derivations of social responses assume that agents observe all others within a group, but real interaction networks are often characterised by sparse connectivity. Here I analyse the observable behaviour of rational agents that attend to the decisions made by a subset of others in the group. This reveals an adaptive strategy in sparsely-connected networks based on highly-simplified social information: the difference in the observed number of agents choosing each option. Where agents employ this strategy, collective outcomes and decision-making efficacy are controlled by the social connectivity at the time of the decision, rather than that to which the agents are accustomed, providing an important caveat for sociality observed in the laboratory and suggesting a basis for the social dynamics of highly-connected online communities.


title: Observation of non-linearity of generalized King plot in the search for new boson

abstract: We measure isotope shifts for neutral Yb isotopes on an ultranarrow optical clock transition $^{1}\text{S}_{0}-^{3}\text{P}_{0}$ with an accuracy of a few Hz. The part-per-billion precise measurement was possible by loading the ultracold atoms into a three-dimensional magic-wavelength optical lattice and alternately interrogating the isotope pairs, thus minimizing the effects due to the optical lattice light-shift and inter-atomic interaction as well as the drifts of a clock laser frequency and a magnetic field. The determined isotope shifts, combined with one of the recently reported isotope-shift measurements of Yb$^+$ on two optical transitions, allow us to construct the King plots. Extremely large nonlinearity with the corresponding $\chi^2$ on the order of $10^4$ is revealed, and is not explained by a quadratic field shift. We further carry out the generalized King plot for three optical transitions so that we can eliminate the contribution arising from a higher-order effect within the Standard Model which might explain the observed nonlinearity of King plots for two transitions. Our analysis of the generalized King plot shows a deviation from linearity at the 3$\sigma$ level, indicating that there exist at least two higher order contributions in the measured isotope shifts. Then, under the reasonable assumption to attribute them to higher-order field shifts within the Standard Model, we obtain the upper bound of the product of the couplings for a new boson mediating a force between electrons, and neutrons $|y_ey_n|/(\hbar c)< 1\times10^{-10}$ for the mass less than 1 keV with the 95% confidence level is derived, providing an important step towards probing new physics via isotope-shift spectroscopy.


title: Core-Collapse Supernova Search Strategy: GravitationalWaves and Low-Energy Neutrinos

abstract: Core-collapse supernovae are expected to produce multimessenger signals. Low-energy neutrinos and gravitational waves are important to study the explosion mechanism of these events. The simulations and detections of gravitational waves from these events are still challenging due to broad range of expected progenitors as well as their stochasticity. In this work, we present a possible method to combine low-energy neutrinos and gravitational waves to search for core-collapse supernovae, which is based on \cite{Halim2021} (arXiv:2107.02050). We discuss how to exploit the time profile of the neutrino signals in order to improve the efficiency search. Moreover, we describe the combination of neutrino data from several detectors. The goal is to produce a strategy for combining the neutrinos and gravitational waves as a multimessenger search.


title: A model based on the fractional Brownian motion for the temperature fluctuation in the Campi Flegrei caldera

abstract: The aim of this research is to identify an efficient model to describe the fluctuations around the trend of the soil temperatures monitored in the volcanic caldera of the Campi Flegrei area in Naples (Italy). The study focuses on the data concerning the temperatures in the mentioned area through a seven-year period. The research is initially finalized to identify the deterministic component of the model, given by the seasonal trend of the temperatures, which is obtained through an adapted regression method on the time series. Subsequently, the stochastic component from the time series is tested to represent a fractional Brownian motion (fBm). An estimation based on the periodogram of the data is used to estabilish that the data series follows a fBm motion, rather then a fractional Gaussian noise. An estimation of the Hurst exponent $H$ of the process is also obtained. Finally, an inference test based on the detrended moving average of the data is adopted in order to assess the hypothesis that the time series follows a suitably estimated fBm.


title: Accurate \textit{ab initio} calculations of RaF electronic structure indicate the need for more laser-spectroscopical measurements

abstract: Recently a breakthrough has been achieved in laser-spectroscopic studies of short-lived radioactive compounds with the first measurements of the radium monofluoride molecule (RaF) UV/vis spectra. We report results from high accuracy \emph{ab initio} calculations of the RaF electronic structure for ground and low-lying excited electronic states. Two different methods agree excellently with experimental excitation energies from the electronic ground state to the $^2\Pi_{1/2}$ and $^2\Pi_{3/2}$ states, but lead consistently and unambiguously to deviations from experimental-based adiabatic transition energy estimates for the $^2\Sigma_{1/2}$ excited electronic state and show that more measurements are needed to clarify spectroscopic assignment of the $^2\Delta$ states.


title: The strange case of Na I in the atmosphere of HD209458 b: Reconciling low- and high-resolution spectroscopic observations G

abstract: Aims. We aim to investigate the origin of the discrepant results reported in the literature about the presence of Na I in the atmosphere of HD209458 b, based on low- and high-resolution transmission spectroscopy. Methods. We generated synthetic planetary atmosphere models and we compared them with the transmission light curves and spectra observed in previous studies. Our models account for the stellar limb-darkening and Rossiter-McLaughlin (RM) effects, and contemplate various possible scenarios for the planetary atmosphere. Results. We reconciled the discrepant results by identifying a range of planetary atmospheres that are consistent with previous low- and high-resolution spectroscopic observations. Either both datasets are interpreted as consistent with a total absence of Na I in the planetary atmosphere (with Hubble Space Telescope data being affected by limb darkening), or the terminator temperature of HD209458 b has to have an upper limit of about 1000K. In particular, we find that 1D transmission spectra with lower-than-equilibrium temperatures can also explain the previously reported detection of absorption signal at low resolution due to differential transit depth in adjacent bands, while the cores of the Na I D lines may be masked by the strong RM signal seen at high resolution. We also rule out high-altitude clouds, which would otherwise mask the absorption signal at low resolution, as the source of the discrepancies. Conclusions. This work highlights the synergies between different observing techniques, specifically low- and high-resolution spectroscopy, to fully characterise transiting exoplanet systems.


title: Online Variational Filtering and Parameter Learning

abstract: We present a variational method for online state estimation and parameter learning in state-space models (SSMs), a ubiquitous class of latent variable models for sequential data. As per standard batch variational techniques, we use stochastic gradients to simultaneously optimize a lower bound on the log evidence with respect to both model parameters and a variational approximation of the states' posterior distribution. However, unlike existing approaches, our method is able to operate in an entirely online manner, such that historic observations do not require revisitation after being incorporated and the cost of updates at each time step remains constant, despite the growing dimensionality of the joint posterior distribution of the states. This is achieved by utilizing backward decompositions of this joint posterior distribution and of its variational approximation, combined with Bellman-type recursions for the evidence lower bound and its gradients. We demonstrate the performance of this methodology across several examples, including high-dimensional SSMs and sequential Variational Auto-Encoders.


title: Coherent False Seizure Prediction in Epilepsy, Coincidence or Providence?

abstract: Seizure forecasting using machine learning is possible, but the performance is far from ideal, as indicated by many false predictions and low specificity. Here, we examine false and missing alarms of two algorithms on long-term datasets to show that the limitations are less related to classifiers or features, but rather to intrinsic changes in the data. We evaluated two algorithms on three datasets by computing the correlation of false predictions and estimating the information transfer between both classification methods. For 9 out of 12 individuals both methods showed a performance better than chance. For all individuals we observed a positive correlation in predictions. For individuals with strong correlation in false predictions we were able to boost the performance of one method by excluding test samples based on the results of the second method. Substantially different algorithms exhibit a highly consistent performance and a strong coherency in false and missing alarms. Hence, changing the underlying hypothesis of a preictal state of fixed time length prior to each seizure to a proictal state is more helpful than further optimizing classifiers. The outcome is significant for the evaluation of seizure prediction algorithms on continuous data.


title: BuffetFS: Serve Yourself Permission Checks without Remote Procedure Calls

abstract: The remote procedure call (a.k.a. RPC) latency becomes increasingly significant in a distributed file system. We propose BuffetFS, a user-level file system that optimizes I/O performance by eliminating the RPCs caused by \texttt{open()} operation. By leveraging \texttt{open()} from file servers to clients, BuffetFS can restrain the procedure calls for permission checks locally, hence avoid RPCs during the initial stage to access a file. BuffetFS can further reduce response time when users are accessing a large number of small files. We implement a BuffetFS prototype and integrate it into a storage cluster. Our preliminary evaluation results show that BuffetFS can offer up to 70\% performance gain compared to the Lustre file system.


title: Single Morphing Attack Detection using Feature Selection and Visualisation based on Mutual Information

abstract: Face morphing attack detection is a challenging task. Automatic classification methods and manual inspection are realised in automatic border control gates to detect morphing attacks. Understanding how a machine learning system can detect morphed faces and the most relevant facial areas is crucial. Those relevant areas contain texture signals that allow us to separate the bona fide and the morph images. Also, it helps in the manual examination to detect a passport generated with morphed images. This paper explores features extracted from intensity, shape, texture, and proposes a feature selection stage based on the Mutual Information filter to select the most relevant and less redundant features. This selection allows us to reduce the workload and know the exact localisation of such areas to understand the morphing impact and create a robust classifier. The best results were obtained for the method based on Conditional Mutual Information and Shape features using only 500 features for FERET images and 800 features for FRGCv2 images from 1,048 features available. The eyes and nose are identified as the most critical areas to be analysed.


title: Hebbian plasticity rules abrupt desynchronization in pure simplicial complexes

abstract: This Letter investigates the upshots of adaptive development of pure 2- and 3- simplicial complexes (triad and tetrad) on the nature of the transition to desynchrony of the oscillator ensembles. The adaptation exercised in the pure simplicial coupling takes a cue from the Hebbian learning rule, i.e., the coupling weight of a triad (tetrad) is prone to increase if the oscillators forming it are in phase and decrease if they are out of phase. The coupling weights in these pure simplicial complexes experiencing such adaptation give rise to first-order routes to desynchronization, whose onsets are entirely characterized by respective Hebbian learning parameters. Mean-field analyses presented for the order parameters for the adaptive 2- and 3- simplicial complexes strongly corroborate with the respective numerical assessments.


title: Temperature induced first order electronic topological transition in $\beta$-Ag$_2$Se

abstract: $\beta$-Ag$_2$Se is a promising material for room temperature thermoelectric applications and magneto-resistive sensors. However, no attention was paid earlier to the hysteresis in the temperature dependence of resistivity ($\rho$($T$)). Here, we show that a broad hysteresis above 35 K is observed not only in $\rho$($T$), but also in other electronic properties such as Hall coefficient ($R_H$($T$)), Seebeck coefficient, thermal conductivity and ultraviolet photoelectron spectra (UPS). We also show that the hysteresis is not associated with a structural transition. The $\rho$($T$) and $R_H$($T$) show that $\beta$-Ag$_2$Se is semiconducting above 300 K, but metallicity is retained below 300 K. While electronic states are absent in the energy range from the Fermi level ($E_F$) to 0.4 eV below the $E_F$ at 300 K, a distinct Fermi edge is observed in the UPS at 15 K suggesting that the $\beta$-Ag$_2$Se undergoes an electronic topological transition from a high temperature semiconducting state to a low temperature metallic state. Our study reveals that a constant and moderately high thermoelectric figure of merit ($ZT$) in the range 300-395 K is observed due to the broad semiconductor to metal transition in $\beta$-Ag$_2$Se.


title: Directional Self-supervised Learning for Heavy Image Augmentations

abstract: Despite the large augmentation family, only a few cherry-picked robust augmentation policies are beneficial to self-supervised image representation learning. In this paper, we propose a directional self-supervised learning paradigm (DSSL), which is compatible with significantly more augmentations. Specifically, we adapt heavy augmentation policies after the views lightly augmented by standard augmentations, to generate harder view (HV). HV usually has a higher deviation from the original image than the lightly augmented standard view (SV). Unlike previous methods equally pairing all augmented views to symmetrically maximize their similarities, DSSL treats augmented views of the same instance as a partially ordered set (with directions as SV$\leftrightarrow $SV, SV$\leftarrow$HV), and then equips a directional objective function respecting to the derived relationships among views. DSSL can be easily implemented with a few lines of codes and is highly flexible to popular self-supervised learning frameworks, including SimCLR, SimSiam, BYOL. Extensive experimental results on CIFAR and ImageNet demonstrated that DSSL can stably improve various baselines with compatibility to a wider range of augmentations.


title: Learning Explicit and Implicit Latent Common Spaces for Audio-Visual Cross-Modal Retrieval

abstract: Learning common subspace is prevalent way in cross-modal retrieval to solve the problem of data from different modalities having inconsistent distributions and representations that cannot be directly compared. Previous cross-modal retrieval methods focus on projecting the cross-modal data into a common space by learning the correlation between them to bridge the modality gap. However, the rich semantic information in the video and the heterogeneous nature of audio-visual data leads to more serious heterogeneous gaps intuitively, which may lead to the loss of key semantic content of video with single clue by the previous methods when eliminating the modality gap, while the semantics of the categories may undermine the properties of the original features. In this work, we aim to learn effective audio-visual representations to support audio-visual cross-modal retrieval (AVCMR). We propose a novel model that maps audio-visual modalities into two distinct shared latent subspaces: explicit and implicit shared spaces. In particular, the explicit shared space is used to optimize pairwise correlations, where learned representations across modalities capture the commonalities of audio-visual pairs and reduce the modality gap. The implicit shared space is used to preserve the distinctive features between modalities by maintaining the discrimination of audio/video patterns from different semantic categories. Finally, the fusion of the features learned from the two latent subspaces is used for the similarity computation of the AVCMR task. The comprehensive experimental results on two audio-visual datasets demonstrate that our proposed model for using two different latent subspaces for audio-visual cross-modal learning is effective and significantly outperforms the state-of-the-art cross-modal models that learn features from a single subspace.


title: Neutron Stars and Gravitational Waves: the Key Role of Nuclear Equation of State

abstract: Neutron stars are the densest known objects in the universe and an ideal laboratory for the strange physics of super-condensed matter. Theoretical studies in connection with recent observational data of isolated neutron stars, as well as binary neutron stars systems, offer an excellent opportunity to provide robust solutions on the dense nuclear problem. In the present work, we review recent studies concerning the applications of various theoretical nuclear models on a few recent observations of binary neutron stars or neutron-star--black-hole systems. In particular, using a simple and well-established model, we parametrize the stiffness of the equation of state with the help of the speed of sound. Moreover, in comparison to the recent observations of two events by LIGO/VIRGO collaboration, GW170817 and GW190425, we suggest possible robust constraints. We also concentrate our theoretical study on the resent observation of a compact object with mass~$\sim 2.59_{-0.09}^{+0.08}~M_{\odot}$ (GW190814 event), as a component of a system where the main companion was a black hole with mass $\sim 23~M_{\odot}$. There is scientific debate concerning the identification of the low mass component, as it falls into the neutron-star--black-hole mass gap. This is an important issue since understanding the nature of GW190814 event will offer rich information concerning the upper limit of the speed of sound in dense matter and the possible phase transition into other degrees of freedom. We systematically study the tidal deformability of a possible high-mass candidate existing as an individual star or as a component in a binary neutron star system. Finally, we provide some applications of equations of state of hot, dense nuclear matter in hot neutron stars, protoneutron stars, and binary neutron star merger remnants.


title: Cross-Region Building Counting in Satellite Imagery using Counting Consistency

abstract: Estimating the number of buildings in any geographical region is a vital component of urban analysis, disaster management, and public policy decision. Deep learning methods for building localization and counting in satellite imagery, can serve as a viable and cheap alternative. However, these algorithms suffer performance degradation when applied to the regions on which they have not been trained. Current large datasets mostly cover the developed regions and collecting such datasets for every region is a costly, time-consuming, and difficult endeavor. In this paper, we propose an unsupervised domain adaptation method for counting buildings where we use a labeled source domain (developed regions) and adapt the trained model on an unlabeled target domain (developing regions). We initially align distribution maps across domains by aligning the output space distribution through adversarial loss. We then exploit counting consistency constraints, within-image count consistency, and across-image count consistency, to decrease the domain shift. Within-image consistency enforces that building count in the whole image should be greater than or equal to count in any of its sub-image. Across-image consistency constraint enforces that if an image contains considerably more buildings than the other image, then their sub-images shall also have the same order. These two constraints encourage the behavior to be consistent across and within the images, regardless of the scale. To evaluate the performance of our proposed approach, we collected and annotated a large-scale dataset consisting of challenging South Asian regions having higher building densities and irregular structures as compared to existing datasets. We perform extensive experiments to verify the efficacy of our approach and report improvements of approximately 7% to 20% over the competitive baseline methods.


title: Flexible Refinement Proofs in Separation Logic

abstract: Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substantial verified systems. Nevertheless, existing refinement techniques have limitations that impede their practical usefulness. Some techniques generate executable code automatically, which generally leads to implementations with sub-optimal performance. Others employ bottom-up program verification to reason about efficient implementations, but impose strict requirements on the structure of the code, the structure of the refinement proofs, as well as the employed verification logic and tools. In this paper, we present a novel refinement technique that removes these limitations. Our technique uses separation logic to reason about efficient concurrent implementations. It prescribes only a loose coupling between an abstract model and the concrete implementation. It thereby supports a wide range of program structures, data representations, and proof structures. We make only minimal assumptions about the underlying program logic, which allows our technique to be used in combination with a wide range of logics and to be automated using off-the-shelf separation logic verifiers. We formalize the technique, prove the central trace inclusion property, and demonstrate its usefulness on several case studies.


title: Superfluid vortex dynamics on an ellipsoid and other surfaces of revolution

abstract: We study the dynamics of quantized superfluid vortices on axisymmetric compact surfaces with no holes, where the total vortex charge must vanish and the condition of irrotational flow forbids distributed vorticity. A conformal transformation from the surface to the complex plane allows us to use familiar formalism to describe the motion of the quantized vortices and to find the total energy. The simplest case is a vortex dipole with unit vortex charges on an axisymmetric ellipsoid. We study two special symmetric vortex-dipole configurations along with a general asymmetric one.


title: Non-Gaussian Gaussian Processes for Few-Shot Regression

abstract: Gaussian Processes (GPs) have been widely used in machine learning to model distributions over functions, with applications including multi-modal regression, time-series prediction, and few-shot learning. GPs are particularly useful in the last application since they rely on Normal distributions and enable closed-form computation of the posterior probability function. Unfortunately, because the resulting posterior is not flexible enough to capture complex distributions, GPs assume high similarity between subsequent tasks - a requirement rarely met in real-world conditions. In this work, we address this limitation by leveraging the flexibility of Normalizing Flows to modulate the posterior predictive distribution of the GP. This makes the GP posterior locally non-Gaussian, therefore we name our method Non-Gaussian Gaussian Processes (NGGPs). More precisely, we propose an invertible ODE-based mapping that operates on each component of the random variable vectors and shares the parameters across all of them. We empirically tested the flexibility of NGGPs on various few-shot learning regression datasets, showing that the mapping can incorporate context embedding information to model different noise levels for periodic functions. As a result, our method shares the structure of the problem between subsequent tasks, but the contextualization allows for adaptation to dissimilarities. NGGPs outperform the competing state-of-the-art approaches on a diversified set of benchmarks and applications.


title: Measuring the Effectiveness of Digital Hygiene using Historical DNS Data

abstract: This paper describes an ongoing experiment evaluating the efficacy of a digital safety intervention in six high-risk, low capacity Civil Society Organisations (CSOs) in Central Asia. The evaluation takes the form of statistical analysis of DNS traffic in each organisation, obtained via security tools installed by researchers. The hypothesis is that the digital safety intervention strengthens the overall digital security posture of the CSOs, as measured by number of malware attacks intercepted by a cloud-based DNS firewall installed on the CSOs networks. The research collects DNS traffic from CSOs that are participating in the digital safety intervention, and compares a treatment group consisting of four CSOs against DNS traffic from a second group of two CSOs in which the intervention has not yet taken place. This project is ongoing, with data collection underway at a number of Central Asian CSOs. In this paper we outline the experimental design of the project, and look at the early data coming out of the DNS firewall. This is done to support the ultimate question of whether DNS data such as this can be used to accurately assess the efficacy of digital hygiene efforts.


title: Time Complexity Analysis of an Evolutionary Algorithm for approximating Nash Equilibriums

abstract: The framework outlined in [arXiv:2010.13024] provides an approximation algorithm for computing Nash equilibria of normal form games. Since NASH is a well-known PPAD-complete problem, this framework has potential applications to other $PPAD$ problems. The correctness of this framework has been empirically validated on 4 well-studied 2x2 games: Prisoner's Dilemma, Stag Hunt, Battle, and Chicken. In this paper, we provide the asymptotic time-complexities for these methods and in particular, verify that for 2x2 games the worst-case complexity is linear in the number of actions an agent can choose from.


title: Ferrers functions of arbitrary degree and order and related functions

abstract: Numerous novel integral and series representations for Ferrers functions of the first kind (associated Legendre functions on the cut) of arbitrary degree and order, various integral, series and differential relations connecting Ferrers functions of different orders and degrees as well as a uniform asymptotic expansion are derived in this article. Simple proofs of four generating functions for Ferrers functions are given. Addition theorems for Ferrers functions of the argument tanh(a+b) are proved by basing on generation functions for three families of hypergeometric polynomials. Relations for Gegenbauer polynomials and Ferrers associated Legendre functions (associated Legendre polynomials) are obtained as special cases.


title: Static and spherically symmetric solutions in f(Q) gravity

abstract: f(Q) gravity is the extension of symmetric teleparallel general relativity (STGR), in which both curvature and torsion vanish, and gravity is attributed to nonmetricity. This work performs theoretical analyses of static and spherically symmetric solutions with an anisotropic fluid for general f(Q) gravity. We find that the off-diagonal component of the field equation due to a coincident gauge leads to stringent restrictions on the functional form of f(Q) gravity. In addition, although the exact Schwarzschild solution only exists in STGR, we obtain Schwarzschild-like solutions in nontrivial f(Q) gravity and study its asymptotic behavior and deviation from the exact one.


title: Shape-controlled crystal growth of Y$_3$Al$_5$O$_{12}$:Ce single crystals with application of micro-pulling-down method and Mo crucibles, and their scintillation properties

abstract: The technology to grow single crystals of the required shape directly from a melt has been researched extensively and developed in various industries and research fields. In this study, a micro-pulling-down method and a Mo crucible were applied to the shape-controlled crystal growth of Y$_3$Al$_5$O$_{12}$:Ce (YAG:Ce). Three types of Mo crucibles with different die shapes were developed. Stable crystal growth in the same shape as the die was achieved, and scintillation properties that are comparable with those of the previously reported YAG:Ce were obtained.


title: Pairwise Half-graph Discrimination: A Simple Graph-level Self-supervised Strategy for Pre-training Graph Neural Networks

abstract: Self-supervised learning has gradually emerged as a powerful technique for graph representation learning. However, transferable, generalizable, and robust representation learning on graph data still remains a challenge for pre-training graph neural networks. In this paper, we propose a simple and effective self-supervised pre-training strategy, named Pairwise Half-graph Discrimination (PHD), that explicitly pre-trains a graph neural network at graph-level. PHD is designed as a simple binary classification task to discriminate whether two half-graphs come from the same source. Experiments demonstrate that the PHD is an effective pre-training strategy that offers comparable or superior performance on 13 graph classification tasks compared with state-of-the-art strategies, and achieves notable improvements when combined with node-level strategies. Moreover, the visualization of learned representation revealed that PHD strategy indeed empowers the model to learn graph-level knowledge like the molecular scaffold. These results have established PHD as a powerful and effective self-supervised learning strategy in graph-level representation learning.


title: Completely positive completely positive maps (and a resource theory for non-negativity of quantum amplitudes)

abstract: In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid the Sign Problem and can thus be efficiently simulated. In optimization theory, the convex cone generated by such states is called the set of completely positive (CP) matrices (not be confused with completely positive superoperators). We introduce quantum channels which preserve these states and call them completely positive completely positive. To study these states and channels, we use the framework of resource theories and investigate how to measure and quantify this resource.


title: Two Decades of Game Jams

abstract: In less than a year's time, March 2022 will mark the twentieth anniversary of the first documented game jam, the Indie Game Jam, which took place in Oakland, California in 2002. Initially, game jams were widely seen as frivolous activities. Since then, they have taken the world by storm. Game jams have not only become part of the day-to-day process of many game developers, but jams are also used for activist purposes, for learning and teaching, as part of the experience economy, for making commercial prototypes that gamers can vote on, and more. Beyond only surveying game jams and the relevant published scientific literature from the last two decades, this paper has several additional contributions. It builds a history of game jams, and proposes two different taxonomies of game jams - a historical and a categorical. In addition, it discusses the definition of game jam and identifies the most active research areas within the game jam community such as the interplay and development with local communities, the study and analysis of game jammers and organisers, and works that bring a critical look on game jams.


title: Learning Graph Representation of Person-specific Cognitive Processes from Audio-visual Behaviours for Automatic Personality Recognition

abstract: This approach builds on two following findings in cognitive science: (i) human cognition partially determines expressed behaviour and is directly linked to true personality traits; and (ii) in dyadic interactions individuals' nonverbal behaviours are influenced by their conversational partner behaviours. In this context, we hypothesise that during a dyadic interaction, a target subject's facial reactions are driven by two main factors, i.e. their internal (person-specific) cognitive process, and the externalised nonverbal behaviours of their conversational partner. Consequently, we propose to represent the target subjects (defined as the listener) person-specific cognition in the form of a person-specific CNN architecture that has unique architectural parameters and depth, which takes audio-visual non-verbal cues displayed by the conversational partner (defined as the speaker) as input, and is able to reproduce the target subject's facial reactions. Each person-specific CNN is explored by the Neural Architecture Search (NAS) and a novel adaptive loss function, which is then represented as a graph representation for recognising the target subject's true personality. Experimental results not only show that the produced graph representations are well associated with target subjects' personality traits in both human-human and human-machine interaction scenarios, and outperform the existing approaches with significant advantages, but also demonstrate that the proposed novel strategies such as adaptive loss, and the end-to-end vertices/edges feature learning, help the proposed approach in learning more reliable personality representations.


title: Emotion recognition in talking-face videos using persistent entropy and neural networks

abstract: The automatic recognition of a person's emotional state has become a very active research field that involves scientists specialized in different areas such as artificial intelligence, computer vision or psychology, among others. Our main objective in this work is to develop a novel approach, using persistent entropy and neural networks as main tools, to recognise and classify emotions from talking-face videos. Specifically, we combine audio-signal and image-sequence information to compute a topology signature(a 9-dimensional vector) for each video. We prove that small changes in the video produce small changes in the signature. These topological signatures are used to feed a neural network to distinguish between the following emotions: neutral, calm, happy, sad, angry, fearful, disgust, and surprised. The results reached are promising and competitive, beating the performance reached in other state-of-the-art works found in the literature.


title: Periodic Activation Functions Induce Stationarity

abstract: Neural network models are known to reinforce hidden data biases, making them unreliable and difficult to interpret. We seek to build models that `know what they do not know' by introducing inductive biases in the function space. We show that periodic activation functions in Bayesian neural networks establish a connection between the prior on the network weights and translation-invariant, stationary Gaussian process priors. Furthermore, we show that this link goes beyond sinusoidal (Fourier) activations by also covering triangular wave and periodic ReLU activation functions. In a series of experiments, we show that periodic activation functions obtain comparable performance for in-domain data and capture sensitivity to perturbed inputs in deep neural networks for out-of-domain detection.


title: Structure and magnetic studies of geometrically frustrated disordered pyrochlores A$_{2}$Zr$_{2}$O$_{7}$: (A = Eu, Gd, Er)

abstract: The spin ice system Dy$_{2}$Ti$_{2}$O$_{7}$ exhibits strong frequency-dependent spin-freezing at $\sim$ 16 K temperature. Although it has been a matter of discussion for years, the origin of this unusual spin freezing is still unknown. The replacement of Ti with isovalent Zr leads to the dynamic magnetic ground state at low temperatures in Dy$_{2}$Zr$_{2}$O$_{7}$ and prevents the formation of high-temperature spin freezing. Interestingly the high-temperature spin freezing re-emerges in the presence of the magnetic field. In this direction, we have studied a series of disordered pyrochlore oxides A$_{2}$Zr$_{2}$O$_{7}$ (A = Eu, Gd, Er) and compared their crystal structure, magnetic, and heat capacity behavior with that of Dy$_{2}$Zr$_{2}$O$_{7}$ and Ho$_{2}$Zr$_{2}$O$_{7}$ systems. Our study shows that depending on the disordered parameter, the spin-freezing behavior can be retained by slowing down the spin dynamic with a suitable choice of the magnetic field. We observe that unlike titanates, modification at the rare earth site does not make considerable change in the magnetic ground state of these zirconates compounds.


title: Orbit configuration space of standard action and cellular methods of poset

abstract: We extend the existing idea of "cellular poset", introduce a collection of "cellular methods" for the computation of homology of intersection lattice of a complicated subspace arrangement, and for the computation of multiplicative structure induced by intersection. As an application, we give a presentation of cohomology ring of orbit configuration space of standard action by cellular methods and a spectral sequence associated with Grothendieck fibration of poset.


title: Automated Support for Unit Test Generation: A Tutorial Book Chapter

abstract: Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system - often a class - is tested. Unit tests are typically written as executable code, often in a format provided by a unit testing framework such as pytest for Python. Creating unit tests is a time and effort-intensive process with many repetitive, manual elements. To illustrate how AI can support unit testing, this chapter introduces the concept of search-based unit test generation. This technique frames the selection of test input as an optimization problem - we seek a set of test cases that meet some measurable goal of a tester - and unleashes powerful metaheuristic search algorithms to identify the best possible test cases within a restricted timeframe. This chapter introduces two algorithms that can generate pytest-formatted unit tests, tuned towards coverage of source code statements. The chapter concludes by discussing more advanced concepts and gives pointers to further reading for how artificial intelligence can support developers and testers when unit testing software.