title: Crypto-assets better safe-havens than Gold during Covid-19: The case of European indices

abstract: As the first crisis faced by Crypto-assets, Covid-19 updated the debate about their safehaven properties. Our paper tries to analyze the safe-haven properties of Crypto-assets and Gold for European assets. We find that Gold has not been more efficient than Cryptoassets (Tether, Cardano and Dogecoin) as safe-haven during the market crash due to Covid-19 in March 2020. We also found that during the study period Bitcoin, Ethereum, Litecoin and Ripple were just diversifiers for the European indices. Finally, Tether, Cardano and Dogecoin showed hedging properties like Gold before and after the market crash.


title: Characterization of affine $\mathbb{G}_m$-surfaces of hyperbolic type

abstract: In this note we prove that if $S$ is an affine non-toric $\mathbb{G}_m$-surface of hyperbolic type that admits a $\mathbb{G}_a$-action and $X$ is an affine irreducible variety such that $Aut(X)$ is isomorphic to $Aut(S)$ as an abstract group, then $X$ is a $\mathbb{G}_m$-surface of hyperbolic type. Further, we show that a smooth Danielewski surface $Dp = \{ xy = p(z) \} \subset \mathbb{A}^3$, where $p$ has no multiple roots, is determined by its automorphism group seen as an ind-group in the category of affine irreducible varieties.


title: Multivariate Gaussian Random Fields over Generalized Product Spaces involving the Hypertorus

abstract: The paper deals with multivariate Gaussian random fields defined over generalized product spaces that involve the hypertorus. The assumption of Gaussianity implies the finite dimensional distributions to be completely specified by the covariance functions, being in this case matrix valued mappings. We start by considering the spectral representations that in turn allow for a characterization of such covariance functions. We then provide some methods for the construction of these matrix valued mappings. Finally, we consider strategies to evade radial symmetry (called isotropy in spatial statistics) and provide representation theorems for such a more general case.


title: A Review of Affective Generation Models

abstract: Affective computing is an emerging interdisciplinary field where computational systems are developed to analyze, recognize, and influence the affective states of a human. It can generally be divided into two subproblems: affective recognition and affective generation. Affective recognition has been extensively reviewed multiple times in the past decade. Affective generation, however, lacks a critical review. Therefore, we propose to provide a comprehensive review of affective generation models, as models are most commonly leveraged to affect others' emotional states. Affective computing has gained momentum in various fields and applications, thanks to the leap of machine learning, especially deep learning since 2015. With critical models introduced, this work is believed to benefit future research on affective generation. We conclude this work with a brief discussion on existing challenges.


title: Scattering Theory with Unitary Twists

abstract: We study the spectral properties of the Laplace operator associated to a hyperbolic surface in the presence of a unitary representation of the fundamental group. Following the approach by Guillop\'e and Zworski, we establish a factorization formula for the twisted scattering determinant and describe the behavior of the scattering matrix in a neighborhood of $1/2$.


title: Transporters with Visual Foresight for Solving Unseen Rearrangement Tasks

abstract: Rearrangement tasks have been identified as a crucial challenge for intelligent robotic manipulation, but few methods allow for precise construction of unseen structures. We propose a visual foresight model for pick-and-place rearrangement manipulation which is able to learn efficiently. In addition, we develop a multi-modal action proposal module which builds on the Goal-Conditioned Transporter Network, a state-of-the-art imitation learning method. Our image-based task planning method, Transporters with Visual Foresight, is able to learn from only a handful of data and generalize to multiple unseen tasks in a zero-shot manner. TVF is able to improve the performance of a state-of-the-art imitation learning method on unseen tasks in simulation and real robot experiments. In particular, the average success rate on unseen tasks improves from 55.4% to 78.5% in simulation experiments and from 30% to 63.3% in real robot experiments when given only tens of expert demonstrations. Video and code are available on our project website: https://chirikjianlab.github.io/tvf/


title: Revisiting Semiring Provenance for Datalog

abstract: Data provenance consists in bookkeeping meta information during query evaluation, in order to enrich query results with their trust level, likelihood, evaluation cost, and more. The framework of semiring provenance abstracts from the specific kind of meta information that annotates the data. While the definition of semiring provenance is uncontroversial for unions of conjunctive queries, the picture is less clear for Datalog. Indeed, the original definition might include infinite computations, and is not consistent with other proposals for Datalog semantics over annotated data. In this work, we propose and investigate several provenance semantics, based on different approaches for defining classical Datalog semantics. We study the relationship between these semantics, and introduce properties that allow us to analyze and compare them.


title: Norm convergence for problems with perforation along a given manifold with nonlinear Robin condition on boundaries of cavities

abstract: In the work we consider a boundary value problem for a second order equation with variable coefficients in a multi-dimensional domain perforated by small cavities closely spaced along a given manifold. We assume that the linear sizes of all cavities are of a same order of smallness, while their shapes and distributions are arbitrary. The boundaries of the cavities are subject to a nonlinear Robin condition. We prove that the solution of the perturbed problem converges to that of the homogenized problem in norm $L_2$ and $W_2^1$ uniformly in $L_2$-norm of the right hand side in the equation. We also establish the estimates for the convergence rates.


title: Testing the Alfv\'en-wave model of the solar wind with interplanetary scintillation

abstract: Understanding the mechanism(s) of the solar wind acceleration is important in astrophysics and geophysics. A promising model of the solar wind acceleration is known as the wave/turbulence-driven (WTD) model, in which Alfv\'en waves feed energy to the solar wind. In this study, we tested the WTD model with global measurement of wind speed from interplanetary scintillation (IPS) observations. For Carrington rotations in minimal and maximal activity phases, we selected field lines calculated by the potential-field source-surface method in high- and mid-latitudes and compared the simulated and observed wind velocities. The simulation was performed in a self-consistent manner by solving the magnetohydrodynamic equations from the photosphere to the solar wind. In high-latitude regions, the simulated solar wind velocity agrees better with the IPS observation than with the classical Wang--Sheeley empirical estimation, both in maximal and minimal activity phases. In mid-latitude regions, the agreement worsens, possibly because of the inaccuracy of the WTD model and/or the magnetic-field extrapolation. Our results indicate that the high-latitude solar wind is likely to be driven by waves and turbulence, and that the physics-based prediction of the solar wind velocity is highly feasible with an improved magnetic-field extrapolation.


title: Adaptive Cholesky Gaussian Processes

abstract: We present a method to approximate Gaussian process regression models for large datasets by considering only a subset of the data. Our approach is novel in that the size of the subset is selected on the fly during exact inference with little computational overhead. From an empirical observation that the log-marginal likelihood often exhibits a linear trend once a sufficient subset of a dataset has been observed, we conclude that many large datasets contain redundant information that only slightly affects the posterior. Based on this, we provide probabilistic bounds on the full model evidence that can identify such subsets. Remarkably, these bounds are largely composed of terms that appear in intermediate steps of the standard Cholesky decomposition, allowing us to modify the algorithm to adaptively stop the decomposition once enough data have been observed.


title: A SBP-SAT FDTD Subgridding Method Using Staggered Yee's Grids Without Modifying Field Components

abstract: A summation-by-parts simultaneous approximation term (SBP-SAT) finite-difference time-domain (FDTD) subgridding method is proposed to model geometrically fine structures in this paper. Compared with our previous work, the proposed SBP-SAT FDTD method uses the staggered Yee's grid without adding or modifying any field components through field extrapolation on the boundaries to make the discrete operators satisfy the SBP property. The accuracy of extrapolation keeps consistency with that of the second-order finite-difference scheme near the boundaries. In addition, the SATs are used to weakly enforce the tangential boundary conditions between multiple mesh blocks with different mesh sizes. With carefully designed interpolation matrices and selected free parameters of the SATs, no dissipation occurs in the whole computational domain. Therefore, its long-time stability is theoretically guaranteed. Three numerical examples are carried out to validate its effectiveness. Results show that the proposed SBP-SAT FDTD subgridding method is stable, accurate, efficient, and easy to implement based on existing FDTD codes with only a few modifications.


title: How Fast Can We Play Tetris Greedily With Rectangular Pieces?

abstract: Consider a variant of Tetris played on a board of width $w$ and infinite height, where the pieces are axis-aligned rectangles of arbitrary integer dimensions, the pieces can only be moved before letting them drop, and a row does not disappear once it is full. Suppose we want to follow a greedy strategy: let each rectangle fall where it will end up the lowest given the current state of the board. To do so, we want a data structure which can always suggest a greedy move. In other words, we want a data structure which maintains a set of $O(n)$ rectangles, supports queries which return where to drop the rectangle, and updates which insert a rectangle dropped at a certain position and return the height of the highest point in the updated set of rectangles. We show via a reduction to the Multiphase problem [P\u{a}tra\c{s}cu, 2010] that on a board of width $w=\Theta(n)$, if the OMv conjecture [Henzinger et al., 2015] is true, then both operations cannot be supported in time $O(n^{1/2-\epsilon})$ simultaneously. The reduction also implies polynomial bounds from the 3-SUM conjecture and the APSP conjecture. On the other hand, we show that there is a data structure supporting both operations in $O(n^{1/2}\log^{3/2}n)$ time on boards of width $n^{O(1)}$, matching the lower bound up to a $n^{o(1)}$ factor.


title: Gravitational Casimir Effect in Inspiralling Neutron Star Binary

abstract: Currently, the discussions and investigations for the vacuum energy is drawing great both theoretical and experimental attention. The vacuum states of variety of fields, subject to special boundary conditions, may contribute to non-trivial macroscopic vacuum energy, i.e. the Casimir effect, which become an interdisciplinary subject and plays an important role in a variety of fields of physics. We adopt Schwinger's source theory and study the Casimir effect due to the quantization of gravitation, i.e. the gravitational Casimir effect (GCE), in inspiraling neutron star (NS) binaries with wide separation of $10^9 \rm m$. By considering gravitoelectromagnetism (GEM) arising from the spiral-in orbital motion and evaluating the contributions of GEM to the vacuum energy of gravitons radiated during the orbital decay, we demonstrate that, when the orbital separation of the binary decay a distance of $L$ in radial direction, the GEM results in a small Casimir correction to the gravitational vacuum energy, which contributes to an attractive gravitational Casimir force to the binary, in addition the gravitational force. The gravitational waves (GWs), emitted from wide inspiraling NS binaries, locate in the low-frequency band of $10^{-4}-1$ Hz. For a characteristic GW frequency of $10^{-3}$ Hz, the gravitational Casimir correction to the signals is estimated as of the order of $\sim10^{-24}$, which corresponds to a force of $10^{-20}$ N. By considering that the sensitivity of space-based gravitational wave observatory, LISA/eLISA and Taiji, can be reduced to $10^{-24}$, we would expect that LISA/eLISA and Taiji with sensitivity improvements give the powerful tool to detect GCE in the near future.


title: Deep learning based domain adaptation for mitochondria segmentation on EM volumes

abstract: Accurate segmentation of electron microscopy (EM) volumes of the brain is essential to characterize neuronal structures at a cell or organelle level. While supervised deep learning methods have led to major breakthroughs in that direction during the past years, they usually require large amounts of annotated data to be trained, and perform poorly on other data acquired under similar experimental and imaging conditions. This is a problem known as domain adaptation, since models that learned from a sample distribution (or source domain) struggle to maintain their performance on samples extracted from a different distribution or target domain. In this work, we address the complex case of deep learning based domain adaptation for mitochondria segmentation across EM datasets from different tissues and species. We present three unsupervised domain adaptation strategies to improve mitochondria segmentation in the target domain based on (1) state-of-the-art style transfer between images of both domains; (2) self-supervised learning to pre-train a model using unlabeled source and target images, and then fine-tune it only with the source labels; and (3) multi-task neural network architectures trained end-to-end with both labeled and unlabeled images. Additionally, we propose a new training stopping criterion based on morphological priors obtained exclusively in the source domain. We carried out all possible cross-dataset experiments using three publicly available EM datasets. We evaluated our proposed strategies on the mitochondria semantic labels predicted on the target datasets. The methods introduced here outperform the baseline methods and compare favorably to the state of the art. In the absence of validation labels, monitoring our proposed morphology-based metric is an intuitive and effective way to stop the training process and select in average optimal models.


title: Social Computational Design Method for Generating Product Shapes with GAN and Transformer Models

abstract: A social computational design method is established, aiming at taking advantages of the fast-developing artificial intelligence technologies for intelligent product design. Supported with multi-agent system, shape grammar, Generative adversarial network, Bayesian network, Transformer, etc., the method is able to define the design solution space, prepare training samples, and eventually acquire an intelligent model that can recommend design solutions according to incomplete solutions for given design tasks. Product shape design is used as entry point to demonstrate the method, however, the method can be applied to tasks rather than shape design when the solutions can be properly coded.


title: Totally geodesic submanifolds in exceptional symmetric spaces

abstract: We classify maximal totally geodesic submanifolds in exceptional symmetric spaces up to isometry. Moreover, we introduce an invariant for certain totally geodesic embeddings of semisimple symmetric spaces, which we call the Dynkin index. We prove a result analogous to the index conjecture: for every irreducible symmetric space of non-compact type, there exists a totally geodesic submanifold which is of minimal codimension and whose non-flat irreducible factors have Dynkin index equal to one.


title: XtraLibD: Detecting Irrelevant Third-Party libraries in Java and Python Applications

abstract: Software development comprises the use of multiple Third-Party Libraries (TPLs). However, the irrelevant libraries present in software application's distributable often lead to excessive consumption of resources such as CPU cycles, memory, and modile-devices' battery usage. Therefore, the identification and removal of unused TPLs present in an application are desirable. We present a rapid, storage-efficient, obfuscation-resilient method to detect the irrelevant-TPLs in Java and Python applications. Our approach's novel aspects are i) Computing a vector representation of a .class file using a model that we call Lib2Vec. The Lib2Vec model is trained using the Paragraph Vector Algorithm. ii) Before using it for training the Lib2Vec models, a .class file is converted to a normalized form via semantics-preserving transformations. iii) A eXtra Library Detector (XtraLibD) developed and tested with 27 different language-specific Lib2Vec models. These models were trained using different parameters and >30,000 .class and >478,000 .py files taken from >100 different Java libraries and 43,711 Python available at MavenCentral.com and Pypi.com, respectively. XtraLibD achieves an accuracy of 99.48% with an F1 score of 0.968 and outperforms the existing tools, viz., LibScout, LiteRadar, and LibD with an accuracy improvement of 74.5%, 30.33%, and 14.1%, respectively. Compared with LibD, XtraLibD achieves a response time improvement of 61.37% and a storage reduction of 87.93% (99.85% over JIngredient). Our program artifacts are available at https://www.doi.org/10.5281/zenodo.5179747.


title: Continuous Speech for Improved Learning Pathological Voice Disorders

abstract: Goal: Numerous studies had successfully differentiated normal and abnormal voice samples. Nevertheless, further classification had rarely been attempted. This study proposes a novel approach, using continuous Mandarin speech instead of a single vowel, to classify four common voice disorders (i.e. functional dysphonia, neoplasm, phonotrauma, and vocal palsy). Methods: In the proposed framework, acoustic signals are transformed into mel-frequency cepstral coefficients, and a bi-directional long-short term memory network (BiLSTM) is adopted to model the sequential features. The experiments were conducted on a large-scale database, wherein 1,045 continuous speech were collected by the speech clinic of a hospital from 2012 to 2019. Results: Experimental results demonstrated that the proposed framework yields significant accuracy and unweighted average recall improvements of 78.12-89.27% and 50.92-80.68%, respectively, compared with systems that use a single vowel. Conclusions: The results are consistent with other machine learning algorithms, including gated recurrent units, random forest, deep neural networks, and LSTM. The sensitivities for each disorder were also analyzed, and the model capabilities were visualized via principal component analysis. An alternative experiment based on a balanced dataset again confirms the advantages of using continuous speech for learning voice disorders.


title: Toward Functionalized Ultrathin Oxide Films: the Impact of Surface Apical Oxygen

abstract: Thin films of transition metal oxides open up a gateway to nanoscale electronic devices beyond silicon characterized by novel electronic functionalities. While such films are commonly prepared in an oxygen atmosphere, they are typically considered to be ideally terminated with the stoichiometric composition. Using the prototypical correlated metal SrVO$_3$ as an example, it is demonstrated that this idealized description overlooks an essential ingredient: oxygen adsorbing at the surface apical sites. The oxygen adatoms, which persist even in an ultrahigh vacuum environment, are shown to severely affect the intrinsic electronic structure of a transition metal oxide film. Their presence leads to the formation of an electronically dead surface layer but also alters the band filling and the electron correlations in the thin films. These findings highlight that it is important to take into account surface apical oxygen or -- mutatis mutandis -- the specific oxygen configuration imposed by a capping layer to predict the behavior of ultrathin films of transition metal oxides near the single unit-cell limit.


title: Neural Network QCD analysis of charged hadron Fragmentation Functions in the presence of SIDIS data

abstract: In this paper, we present a QCD analysis to extract the Fragmentation Functions (FFs) of unidentified light charged hadron entitled as SHK22.h from high-energy lepton-lepton annihilation and lepton-hadron scattering data sets. This analysis includes the data from all available single inclusive electron-positron annihilation (SIA) processes and semi-inclusive deep-inelastic scattering (SIDIS) measurements for the unidentified light charged hadron productions. The SIDIS data which has been measured by the COMPASS experiment could allow the flavor dependence of the FFs to be well constrained. We exploit the analytic derivative of the Neural Network (NN) for fitting of FFs at next-to-leading-order (NLO) accuracy in the perturbative QCD (pQCD). The Monte Carlo method is implied for all sources of experimental uncertainties and the Parton distribution functions (PDFs) as well. Very good agreements are achieved between the SHK22.h FFs set and the most recent QCD fits available in literature, namely JAM20 and NNFF1.1h. In addition, we discuss the impact arising from the inclusion of SIDIS data on the extracted light-charged hadron FFs. The global QCD resulting at NLO for charged hadron FFs provides valuable insights for applications in present and future high-energy measurement of charged hadron final state processes.


title: North Ecliptic Pole merging galaxy catalogue

abstract: We aim to generate a catalogue of merging galaxies within the 5.4 sq. deg. North Ecliptic Pole over the redshift range $0.0 < z < 0.3$. To do this, imaging data from the Hyper Suprime-Cam are used along with morphological parameters derived from these same data. The catalogue was generated using a hybrid approach. Two neural networks were trained to perform binary merger non-merger classifications: one for galaxies with $z < 0.15$ and another for $0.15 \leq z < 0.30$. Each network used the image and morphological parameters of a galaxy as input. The galaxies that were identified as merger candidates by the network were then visually checked by experts. The resulting mergers will be used to calculate the merger fraction as a function of redshift and compared with literature results. We found that 86.3% of galaxy mergers at $z < 0.15$ and 79.0% of mergers at $0.15 \leq z < 0.30$ are expected to be correctly identified by the networks. Of the 34 264 galaxies classified by the neural networks, 10 195 were found to be merger candidates. Of these, 2109 were visually identified to be merging galaxies. We find that the merger fraction increases with redshift, consistent with literature results from observations and simulations, and that there is a mild star-formation rate enhancement in the merger population of a factor of $1.102 \pm 0.084$.


title: A steady state approach for studying valley relaxation using optical vortex beam

abstract: Spin-valley coupling in monolayer transition metal dichalcogenides gives rise to valley polarization and coherence effect, limited by intervalley scattering caused by exciton-phonon, exciton-impurity, and electron-hole exchange interaction (EHEI). We explore an approach to tune the EHEI by controlling excitons center of mass momentum (COM) utilizing the photon distribution of higher-order optical vortex beam. By virtue of this, we have observed excitons COM-dependent valley depolarization and decoherence which gives us the ability to measure the timescale associated with valley dynamics in the steady-state measurement. Our steady-state technique to probe the valley dynamics can open up a new paradigm to explore the physics of excitons in two-dimensional systems.


title: Pad\'e approximation for a class of hypergeometric functions and parametric geometry of numbers

abstract: In this article we obtain new irrationality measures for values of functions which belong to a certain class of hypergeometric functions including shifted logarithmic functions, binomial functions and shifted exponential functions. We explicitly construct Pad\'e approximations by using a formal method and show that the associated sequences satisfy a Poincar\'e-type recurrence. To study precisely the asymptotic behavior of those sequences, we establish an \emph{effective} version of the Poincar\'e-Perron theorem. As a consequence we obtain, among others, effective irrationality measures for values of binomial functions at rational numbers, which might have useful arithmetic applications. A general theorem on simultaneous rational approximations that we need is proven by using new arguments relying on parametric geometry of numbers.


title: A passive admittance controller to enforce Remote Center of Motion and Tool Spatial constraints with application in hands-on surgical procedures

abstract: The restriction of feasible motions of a manipulator link constrained to move through an entry port is a common problem in minimum invasive surgery procedures. Additional spatial restrictions are required to ensure the safety of sensitive regions from unintentional damage. In this work, we design a target admittance model that is proved to enforce robot tool manipulation by a human through a remote center of motion and to guarantee that the tool will never enter or touch forbidden regions. The control scheme is proved passive under the exertion of a human force ensuring manipulation stability, and smooth natural motion in hands-on surgical procedures enhancing the user's feeling of control over the task. Its performance is demonstrated by experiments with a setup mimicking a hands-on surgical procedure comprising a KUKA LWR4+ and a virtual intraoperative environment.


title: RuCLIP -- new models and experiments: a technical report

abstract: In the report we propose six new implementations of ruCLIP model trained on our 240M pairs. The accuracy results are compared with original CLIP model with Ru-En translation (OPUS-MT) on 16 datasets from different domains. Our best implementations outperform CLIP + OPUS-MT solution on most of the datasets in few-show and zero-shot tasks. In the report we briefly describe the implementations and concentrate on the conducted experiments. Inference execution time comparison is also presented in the report.


title: Comparing the latest ranking techniques: pros and cons of flexible skylines, regret minimization and skyline ranking queries

abstract: Long-established ranking approaches, such as top-k and skyline queries, have been thoroughly discussed and their drawbacks are well acknowledged. New techniques have been developed in recent years that try to combine traditional ones to overcome their limitations. In this paper we focus our attention on some of them: flexible skylines, regret minimization and skyline ranking queries, because, while these new methods are promising and have shown interesting results, a comparison between them is still not available. After a short introduction of each approach, we discuss analogies and differences between them with the advantages and disadvantages of every technique debated.


title: A Hybrid Cloud ERP Framework For Processing Purchasing Data

abstract: Cloud-based enterprise resource planning (cloud ERP) systems have existed in the business market for around ten years. Cloud ERP supports enterprises' daily activities by integrating organizational back-end systems in the cloud environment. One of the critical functions that cloud ERP offers is the purchasing application. The purchasing function of cloud ERP enables enterprises to streamline all the online purchasing transactions in real-time automatically. Even cloud ERP is deployed quite often these days, organizations somehow still lack the knowledge of it; to be specific, there are many issues attached to cloud ERP implementation yet to be solved. Hence, this paper compares four leading cloud ERP platforms in Australia and proposes a hybrid cloud ERP framework to process online purchasing transactions. By adopting a case study approach, a purchasing web-based application is designed and presented in this paper. In general, the proposed hybrid cloud ERP framework and the integrated web-based purchasing application allow user companies to process online purchasing transactions with short operation time and increased business efficiency; in the meantime, the proposed framework also reduces security risks attached to the public cloud.


title: VU-BERT: A Unified framework for Visual Dialog

abstract: The visual dialog task attempts to train an agent to answer multi-turn questions given an image, which requires the deep understanding of interactions between the image and dialog history. Existing researches tend to employ the modality-specific modules to model the interactions, which might be troublesome to use. To fill in this gap, we propose a unified framework for image-text joint embedding, named VU-BERT, and apply patch projection to obtain vision embedding firstly in visual dialog tasks to simplify the model. The model is trained over two tasks: masked language modeling and next utterance retrieval. These tasks help in learning visual concepts, utterances dependence, and the relationships between these two modalities. Finally, our VU-BERT achieves competitive performance (0.7287 NDCG scores) on VisDial v1.0 Datasets.


title: Explicit Regularization via Regularizer Mirror Descent

abstract: Despite perfectly interpolating the training data, deep neural networks (DNNs) can often generalize fairly well, in part due to the "implicit regularization" induced by the learning algorithm. Nonetheless, various forms of regularization, such as "explicit regularization" (via weight decay), are often used to avoid overfitting, especially when the data is corrupted. There are several challenges with explicit regularization, most notably unclear convergence properties. Inspired by convergence properties of stochastic mirror descent (SMD) algorithms, we propose a new method for training DNNs with regularization, called regularizer mirror descent (RMD). In highly overparameterized DNNs, SMD simultaneously interpolates the training data and minimizes a certain potential function of the weights. RMD starts with a standard cost which is the sum of the training loss and a convex regularizer of the weights. Reinterpreting this cost as the potential of an "augmented" overparameterized network and applying SMD yields RMD. As a result, RMD inherits the properties of SMD and provably converges to a point "close" to the minimizer of this cost. RMD is computationally comparable to stochastic gradient descent (SGD) and weight decay, and is parallelizable in the same manner. Our experimental results on training sets with various levels of corruption suggest that the generalization performance of RMD is remarkably robust and significantly better than both SGD and weight decay, which implicitly and explicitly regularize the $\ell_2$ norm of the weights. RMD can also be used to regularize the weights to a desired weight vector, which is particularly relevant for continual learning.


title: Decomposing random permutations into order-isomorphic subpermutations

abstract: Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruci\'nski posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutations are $O(n^{1/3}\log^{11/6}(n))$-similar with high probability, which is tight up to a polylogarithmic factor. Our result also generalises to simultaneous decompositions of multiple permutations.


title: Secure Joint Communication and Sensing

abstract: This work considers the problem of mitigating information leakage between communication and sensing in systems jointly performing both operations. Specifically, a discrete memoryless state-dependent broadcast channel model is studied in which (i) the presence of feedback enables a transmitter to convey information, while simultaneously performing channel state estimation; (ii) one of the receivers is treated as an eavesdropper whose state should be estimated but which should remain oblivious to part of the transmitted information. The model abstracts the challenges behind security for joint communication and sensing if one views the channel state as a sensitive attribute, e.g., location. For independent and identically distributed states, perfect output feedback, and when part of the transmitted message should be kept secret, a partial characterization of the secrecy-distortion region is developed. The characterization is exact when the broadcast channel is either physically-degraded or reversely-physically-degraded. The partial characterization is also extended to the situation in which the entire transmitted message should be kept secret. The benefits of a joint approach compared to separation-based secure communication and state-sensing methods are illustrated with a binary joint communication and sensing model.


title: Localization Operators On Discrete Modulation Spaces

abstract: In this paper, we study a class of pseudo-differential operators known as time-frequency localization operators on $\mathbb Z^n$, which depend on a symbol $\varsigma$ and two windows functions $g_1$ and $g_2$. We define the short-time Fourier transform on $ \mathbb Z^n \times \mathbb T^n $ and modulation spaces on $\mathbb Z^n$, and present some basic properties. Then, we use modulation spaces on $\mathbb Z^n \times \mathbb T^n$ as appropriate classes for symbols, and study the boundedness and compactness of the localization operators on modulation spaces on $\mathbb Z^n$. Then, we show that these operators are in the Schatten--von Neumann class. Also, we obtain the relation between the Landau--Pollak--Slepian type operator and the localization operator on $\mathbb Z^n$. Finally, under suitable conditions on the symbols, we prove that the localization operators are paracommutators, paraproducts and Fourier multipliers.


title: Granular piston-probing in microgravity: powder compression, from densification to jamming

abstract: The macroscopic response of granular solids is determined by the microscopic fabric of force chains, which, in turn, is intimately linked to the history of the solid. To query the influence of gravity on powder flow-behavior, a granular material is subjected to compression by a piston in a closed container, on-ground and in microgravity. Results show that piston-probing densifies the packing, eventually leading to jamming of the material compressed by the piston, regardless of the gravitational environment. The onset of jamming is found to appear at lower packing fraction in microgravity ($\varphi^{\textrm{$\mu$-g}}_J = 0.567 \pm 0.014$) than on-ground ($\varphi^{\text{gnd}}_J = 0.579 \pm 0.014 $). We interpret these findings as the manifestation of a granular fabric altered by the gravitational force field: in absence of a secondary load (due to gravitational acceleration) to stimulate reorganization in a different direction to the major compression stress, the particles' configuration becomes stable at lower density, as the particles have no external drive to promote reorganization into a denser packing. This is coupled with a change in interparticular force balance which takes place under low gravity, as cohesive interactions become predominant. We propose a combination of microscopic and continuum arguments to rationalize our results.


title: PyTorch Geometric Signed Directed: A Software Package on Graph Neural Networks for Signed and Directed Graphs

abstract: Networks are ubiquitous in many real-world applications (e.g., social networks encoding trust/distrust relationships, correlation networks arising from time series data). While many networks are signed or directed, or both, there is a lack of unified software packages on graph neural networks (GNNs) specially designed for signed and directed networks. In this paper, we present PyTorch Geometric Signed Directed (PyGSD), a software package which fills this gap. Along the way, we evaluate the implemented methods with experiments with a view to providing insights into which method to choose for a given task. The deep learning framework consists of easy-to-use GNN models, synthetic and real-world data, as well as task-specific evaluation metrics and loss functions for signed and directed networks. As an extension library for PyG, our proposed software is maintained with open-source releases, detailed documentation, continuous integration, unit tests and code coverage checks. The GitHub repository of the library is https://github.com/SherylHYX/pytorch_geometric_signed_directed.


title: Small moments without long-range magnetic ordering in the zero-temperature ground state of the double-perovskite iridate Ba$_2$YIrO$_6$

abstract: The spin-orbit coupled double perovskite iridate Ba$_2$YIrO$_6$ with $d^4$ occupancy of Ir is considered as a candidate material for a non-magnetic $J=0$ ground state. The issue of existence of such a state in Ba$_2$YIrO$_6$ however has opened up intense debates both in experimental and theoretical studies. In this study, we revisit the issue using \textit{ab-initio} density functional combined with dynamical mean-field theory to investigate the magnetic properties of Ba$_2$YIrO$_6$ down to zero temperature. To reach the ground state, a recently developed impurity solver based on tensor-product states working directly at zero temperature is employed. We find that Ba$_2$YIrO$_6$ has a small instantaneous non-zero magnetic moment, both at $T=0$ K as well as at room temperature. We did not observe any evidence of magnetic ordering, not even at $T=0$ K. From the calculated local magnetic susceptibility we see that the quantum fluctuations are very strong and effective in screening the instantaneous moments. This dynamical screening, together with frustration effects in the fcc lattice that can lead to almost degenerate magnetic ground states, prevents any long-range ordering.


title: Entropy, virtual Abelianness, and Shannon orbit equivalence

abstract: We prove that if two free p.m.p. $\mathbb{Z}$-actions are Shannon orbit equivalent then they have the same entropy. The argument also applies more generally to yield the same conclusion for free p.m.p. actions of finitely generated virtually Abelian groups. Together with the isomorphism theorems of Ornstein and Ornstein-Weiss and the entropy invariance results of Austin and Kerr-Li in the non-virtually-cyclic setting, this shows that two Bernoulli actions of any non-locally-finite countably infinite amenable group are Shannon orbit equivalent if and only if they are measure conjugate. We also show, at the opposite end of the stochastic spectrum, that every $\mathbb{Z}$-odometer is Shannon orbit equivalent to the universal $\mathbb{Z}$-odometer.


title: A Benchmark Comparison of Learned Control Policies for Agile Quadrotor Flight

abstract: Quadrotors are highly nonlinear dynamical systems that require carefully tuned controllers to be pushed to their physical limits. Recently, learning-based control policies have been proposed for quadrotors, as they would potentially allow learning direct mappings from high-dimensional raw sensory observations to actions. Due to sample inefficiency, training such learned controllers on the real platform is impractical or even impossible. Training in simulation is attractive but requires to transfer policies between domains, which demands trained policies to be robust to such domain gap. In this work, we make two contributions: (i) we perform the first benchmark comparison of existing learned control policies for agile quadrotor flight and show that training a control policy that commands body-rates and thrust results in more robust sim-to-real transfer compared to a policy that directly specifies individual rotor thrusts, (ii) we demonstrate for the first time that such a control policy trained via deep reinforcement learning can control a quadrotor in real-world experiments at speeds over 45km/h.


title: Ball packings in hyperbolic space

abstract: In hyperbolic space density cannot be defined by a limit as we define it in Euclidean space. We describe the local density bounds for sphere packings and we discuss the different attempts to define optimal arrangements in hyperbolic space.


title: The averaging problem on the past null cone in inhomogeneous dust cosmologies

abstract: Cosmological models typically neglect the complicated nature of the spacetime manifold at small scales in order to hypothesize idealized general relativistic solutions for describing the average dynamics of the Universe. Although these solutions are remarkably successful in accounting for data, they introduce a number of puzzles in cosmology, and their foundational assumptions are therefore important to test. In this paper, we go beyond the usual assumptions in cosmology and propose a formalism for averaging the local general relativistic spacetime on an observer's past null cone: we formulate average properties of light fronts as they propagate from a cosmological emitter to an observer. The energy-momentum tensor is composed of an irrotational dust source and a cosmological constant -- the same components as in the $\Lambda$CDM model for late cosmic times -- but the metric solution is not \emph{a priori}constrained to be locally homogeneous or isotropic. This generally makes the large-scale dynamics depart from that of a simple Friedmann--Lema\^\i tre--Robertson--Walker solution through \emph{backreaction} effects. Our formalism quantifies such departures through a fully covariant system of area-averaged equations on the light fronts propagating towards an observer, which can be directly applied to analytical and numerical investigations of cosmic observables. For this purpose, we formulate light front averages of observable quantities, including the effective angular diameter distance and the cosmological redshift drift and we also discuss the backreaction effects for these observables.


title: Large deviations asymptotics for unbounded additive functionals of diffusion processes

abstract: We study large deviations asymptotics for a class of unbounded additive functionals, interpreted as normalized accumulated areas, of one-dimensional Langevin diffusions with sub-linear gradient drifts. Our results provide parametric insights on the speed and the rate functions in terms of the growth rate of the drift and the growth rate of the additive functional. We find a critical value in terms of these growth parameters that dictates regions of sub-linear speed for our large deviations asymptotics. Our approach is based upon various constructions of independent interest, including a decomposition of the diffusion process in terms of alternating renewal cycles and a detailed analysis of the paths during a cycle using suitable time and spatial scales. The key to the sub-linear behavior is a heavy-tailed large deviations phenomenon arising from the principle of a single big jump coupled with the result that at each regeneration cycle the upper-tail asymptotic behavior of the accumulated area of the diffusion process is proven to be semi-exponential (i.e., of heavy-tailed Weibull type).


title: The Lieb-Oxford bound and the optimal transport limit of DFT

abstract: We review and illustrate with several examples the connection between the search for lower bounds for the optimal constant in the Lieb-Oxford inequality and the optimal transport limit (or strictly-correlated-electrons limit) of density functional theory. We focus in particular on several contributions from Elliott Lieb which already hinted at this connection.


title: On the significance of the stress-energy tensor in Finsler spacetimes

abstract: We revisit the physical arguments which lead to the definition of the stress-energy tensor $T$ in the Lorentz-Finsler setting $(M,L)$ starting at classical Relativity. Both the standard heuristic approach using fluids and the Lagrangian one are taken into account. In particular, we argue that the Finslerian breaking of Lorentz symmetry makes $T$ an anisotropic 2-tensor (i. e., a tensor for each $L$-timelike direction), in contrast with the energy-momentum vectors defined on $M$. Such a tensor is compared with different ones obtained by using a Lagrangian approach. The notion of divergence is revised from a geometric viewpoint and, then, the conservation laws of $T$ for each observer field are revisited. We introduce a natural {\em anisotropic Lie bracket derivation}, which leads to a divergence obtained from the volume element and the non-linear connection associated with $L$ alone. The computation of this divergence selects the Chern anisotropic connection, thus giving a geometric interpretation to previous choices in the literature.


title: Linear boundary layer analysis of the near-critical reflection of internal gravity waves with different sizes of viscosity and diffusivity

abstract: The aim of this work is to make a further step towards the understanding of the near-critical reflection of internal gravity waves from a slope in the more general and realistic context where the size of viscosity $\nu$ and the size of diffusivity $\kappa$ are different. In particular, we provide a systematic characterization of boundary layers (boundary layer wave packets) decays and sizes depending on the order of magnitude of viscosity and diffusivity. We can construct an $L^2$ stable approximate solution to the linear near-critical reflection problem under the scaling assumption of Dauxois \& Young JFM 1999, where either viscosity of diffusivity satisfies a precise scaling law in terms of the criticality parameter.


title: A-Eye: Driving with the Eyes of AI for Corner Case Generation

abstract: The overall goal of this work is to enrich training data for automated driving with so called corner cases. In road traffic, corner cases are critical, rare and unusual situations that challenge the perception by AI algorithms. For this purpose, we present the design of a test rig to generate synthetic corner cases using a human-in-the-loop approach. For the test rig, a real-time semantic segmentation network is trained and integrated into the driving simulation software CARLA in such a way that a human can drive on the network's prediction. In addition, a second person gets to see the same scene from the original CARLA output and is supposed to intervene with the help of a second control unit as soon as the semantic driver shows dangerous driving behavior. Interventions potentially indicate poor recognition of a critical scene by the segmentation network and then represents a corner case. In our experiments, we show that targeted enrichment of training data with corner cases leads to improvements in pedestrian detection in safety relevant episodes in road traffic.


title: Tracking moving objects through scattering media via speckle correlations

abstract: Scattering can rapidly degrade our ability to form an optical image, to the point where only speckle-like patterns can be measured. Truly non-invasive imaging through a strongly scattering obstacle is difficult, and usually reliant on a computationally intensive numerical reconstruction. In this work we show that, by combining the cross-correlations of the measured speckle pattern at different times, it is possible to track a moving object with minimal computational effort and over a large field of view.


title: Multiplet Effects in the Electronic Correlation of One-Dimensional Magnetic Transition-Metal Oxides on Metals

abstract: We use the constrained random phase approximation (cRPA) method to calculate the Hubbard $U$ parameter in four one-dimensional magnetic transition metal atom oxides of composition XO$_2$ (X = Mn, Fe, Co, Ni) on Ir(100). In addition to the expected screening of the oxide, i.e., a significant reduction of the $U$ value by the presence of the metal substrate, we find a strong dependence on the electronic configuration (multiplet) of the X($d$) orbital. Each particular electronic configuration attained by atom X is dictated by the O ligands, as well as by the charge transfer and hybridization with the Ir(100) substrate. We find that MnO$_2$ and NiO$_2$ chains exhibit two different screening regimes, while the case of CoO$_2$ is somewhere in between. The electronic structure of the MnO$_2$ chain remains almost unchanged upon adsorption. Therefore, in this regime, the additional screening is predominantly generated by the electrons of the neighboring metal surface atoms. The screening strength for NiO$_2$/Ir(100) is found to depend on the Ni($d$) configuration in the adsorbed state. The case of FeO$_2$ shows an exceptional behavior, as it is the only insulating system in the absence of metallic substrate and, thus, it has the largest $U$ value. However, this value is significantly reduced by the two mentioned screening effects after adsorption.


title: Stochastic Causal Programming for Bounding Treatment Effects

abstract: Causal effect estimation is important for many tasks in the natural and social sciences. We design algorithms for the continuous partial identification problem: bounding the effects of multivariate, continuous treatments when unmeasured confounding makes identification impossible. Specifically, we cast causal effects as objective functions within a constrained optimization problem, and minimize/maximize these functions to obtain bounds. We combine flexible learning algorithms with Monte Carlo methods to implement a family of solutions under the name of stochastic causal programming. In particular, we show how the generic framework can be efficiently formulated in settings where auxiliary variables are clustered into pre-treatment and post-treatment sets, where no fine-grained causal graph can be easily specified. In these settings, we can avoid the need for fully specifying the distribution family of hidden common causes. Monte Carlo computation is also much simplified, leading to algorithms which are more computationally stable against alternatives.


title: Symmetry breaking yields chimeras in two small populations of Kuramoto-type oscillators

abstract: Despite their simplicity, networks of coupled phase oscillators can give rise to intriguing collective dynamical phenomena. However, the symmetries of globally and identically coupled identical units do not allow solutions where distinct oscillators are frequency-unlocked -- a necessary condition for the emergence of chimeras. Thus, forced symmetry breaking is necessary to observe chimera-type solutions. Here, we consider the bifurcations that arise when full permutational symmetry is broken for the network to consist of coupled populations. We consider the smallest possible network composed of four phase oscillators and elucidate the phase space structure, (partial) integrability for some parameter values, and how the bifurcations away from full symmetry lead to frequency-unlocked weak chimera solutions. Since such solutions wind around a torus they must arise in a global bifurcation scenario. Moreover, periodic weak chimeras undergo a period doubling cascade leading to chaos. The resulting chaotic dynamics with distinct frequencies do not rely on amplitude variation and arise in the smallest networks that support chaos.


title: Combating Distribution Shift for Accurate Time Series Forecasting via Hypernetworks

abstract: Time series forecasting has widespread applications in urban life ranging from air quality monitoring to traffic analysis. However, accurate time series forecasting is challenging because real-world time series suffer from the distribution shift problem, where their statistical properties change over time. Despite extensive solutions to distribution shifts in domain adaptation or generalization, they fail to function effectively in unknown, constantly-changing distribution shifts, which are common in time series. In this paper, we propose Hyper Time- Series Forecasting (HTSF), a hypernetwork-based framework for accurate time series forecasting under distribution shift. HTSF jointly learns the time-varying distributions and the corresponding forecasting models in an end-to-end fashion. Specifically, HTSF exploits the hyper layers to learn the best characterization of the distribution shifts, generating the model parameters for the main layers to make accurate predictions. We implement HTSF as an extensible framework that can incorporate diverse time series forecasting models such as RNNs and Transformers. Extensive experiments on 9 benchmarks demonstrate that HTSF achieves state-of-the-art performances.


title: From agent-based models to the macroscopic description of fake-news spread: the role of competence in data-driven applications

abstract: Fake news spreading, with the aim of manipulating individuals' perceptions of facts, is now recognized as a major problem in many democratic societies. Yet, to date, little has been understood about how fake news spreads on social networks, what the influence of the education level of individuals is, when fake news is effective in influencing public opinion, and what interventions might be successful in mitigating their effect. In this paper, starting from the recently introduced kinetic multi-agent model with competence by the first two authors, we propose to derive reduced-order models through the notion of social closure in the mean-field approximation that has its roots in the classical hydrodynamic closure of kinetic theory. This approach allows to obtain simplified models in which the competence and learning of the agents maintain their role in the dynamics and, at the same time, the structure of such models is more suitable to be interfaced with data-driven applications. Examples of different Twitter-based test cases are described and discussed.


title: Hadronic Vacuum Polarization and the MUonE proposal

abstract: The MUonE proposal at the CERN SPS consists in extracting the value of the hadronic vacuum polarization self-energy function (HVP) from its contribution to the differential cross-section of elastic muon-electron scattering. The HVP contribution to the muon anomalous magnetic moment can then be obtained from a weighted integral of the measured HVP self-energy function. This, however, requires a knowledge of the HVP function in its full integration domain. This paper discusses a procedure to reconstruct the HVP function in the regions not directly accessible to measurement. The method is based on the so-called transfer theorems, due to Flajolet and Odlyzko, which we explain and adapt to HVP.


title: On the rate of convergence of a numerical scheme for fractional conservation laws with noise

abstract: We consider a semi-discrete finite volume scheme for a degenerate fractional conservation laws driven by a cylindrical Wiener process. Making use of the bounded variation (BV) estimates, Young measure theory, and a clever adaptation of classical Kruzkov theory, we provide estimates on the rate of convergence for approximate solutions to fractional problems. The main difficulty stems from the degenerate fractional operator, and requires a significant departure from the existing strategy to establish Kato's type of inequality. Finally, as an application of this theory, we demonstrate numerical convergence rates.


title: Anti-associative algebras

abstract: An anti-associative algebra is a nonassociative algebra whose multiplication satisfies the identity a(bc)+(ab)c=0. Such algebras are nilpotent. We describe the free anti-associative algebras with a finite number of generators. Other types of nonassociative algebras, obtained either by the process of polarization, such as Jacobi-Jordan algebras, or obtained by deformation quantization, are associated with this class of algebras. Following Markl-Remms work, we describe the operads associated with these algebra classes and in particular the cohomology complexes in relation to deformations.


title: Trace anomaly of Weyl fermions in the Breitenlohner--Maison scheme for $\gamma_*$

abstract: We revisit the conformal anomaly for a Weyl fermion in four dimensions that has generated some debate recently. We employ a perturbative expansion for the metric around Minkowski space, dimensional regularization and a Breitenlohner--Maison prescription for the chiral $\gamma$ matrix. We obtain a vanishing odd-parity contribution for Weyl fermions in four dimensions, while the even-parity contribution is exactly half the one for a Dirac fermion.


title: Resilient Average Consensus: A Detection and Compensation Approach

abstract: We study the problem of resilient average consensus for multi-agent systems with misbehaving nodes. To protect consensus valuefrom being influenced by misbehaving nodes, we address this problem by detecting misbehaviors, mitigating the corresponding adverse impact and achieving the resilient average consensus. In this paper, general types of misbehaviors are considered,including deception attacks, accidental faults and link failures. We characterize the adverse impact of misbehaving nodes in a distributed manner via two-hop communication information and develop a deterministic detection-compensation-based consensus (D-DCC) algorithm with a decaying fault-tolerant error bound. Considering scenarios where information sets are intermittently available due to link failures, a stochastic extension named stochastic detection-compensation-based consensus(S-DCC) algorithm is proposed. We prove that D-DCC and S-DCC allow nodes to asymptotically achieve resilient averageconsensus exactly and in expectation, respectively. Then, the Wasserstein distance is introduced to analyze the accuracy ofS-DCC. Finally, extensive simulations are conducted to verify the effectiveness of the proposed algorithm


title: Robust and Provable Guarantees for Sparse Random Embeddings

abstract: In this work, we improve upon the guarantees for sparse random embeddings, as they were recently provided and analyzed by Freksen at al. (NIPS'18) and Jagadeesan (NIPS'19). Specifically, we show that (a) our bounds are explicit as opposed to the asymptotic guarantees provided previously, and (b) our bounds are guaranteed to be sharper by practically significant constants across a wide range of parameters, including the dimensionality, sparsity and dispersion of the data. Moreover, we empirically demonstrate that our bounds significantly outperform prior works on a wide range of real-world datasets, such as collections of images, text documents represented as bags-of-words, and text sequences vectorized by neural embeddings. Behind our numerical improvements are techniques of broader interest, which improve upon key steps of previous analyses in terms of (c) tighter estimates for certain types of quadratic chaos, (d) establishing extreme properties of sparse linear forms, and (e) improvements on bounds for the estimation of sums of independent random variables.


title: Why Fair Labels Can Yield Unfair Predictions: Graphical Conditions for Introduced Unfairness

abstract: In addition to reproducing discriminatory relationships in the training data, machine learning systems can also introduce or amplify discriminatory effects. We refer to this as introduced unfairness, and investigate the conditions under which it may arise. To this end, we propose introduced total variation as a measure of introduced unfairness, and establish graphical conditions under which it may be incentivised to occur. These criteria imply that adding the sensitive attribute as a feature removes the incentive for introduced variation under well-behaved loss functions. Additionally, taking a causal perspective, introduced path-specific effects shed light on the issue of when specific paths should be considered fair.


title: Canonical Portfolios: Optimal Asset and Signal Combination

abstract: This paper presents a novel framework for analyzing the optimal asset and signal combination problem. Our approach builds upon the dynamic portfolio selection problem introduced by Brandt and Santa-Clara (2006) and consists of two stages. First, we reformulate their original investment problem into a tractable one that allows us to derive a closed-form expression for the optimal portfolio policy that is scalable to large cross-sectional financial applications. Second, we recast the problem of selecting a portfolio of correlated assets and signals into selecting a set of uncorrelated managed portfolios through the lens of Canonical Correlation Analysis of Hotelling (1936). The new investment environment of uncorrelated managed portfolios offers unique economic insights into the joint correlation structure of our optimal portfolio policy. We also operationalize our theoretical framework to bridge the gap between theory and practice, showcasing the improved performance of our proposed method over natural competing benchmarks.


title: Many body study of iron(III) bound human serum transferrin

abstract: Transferrins are proteins responsible for transporting metal ions in all vertebrates. However, the iron binding properties of transferrins remain poorly understood. Iron, as a transition metal, forms ions with partially-occupied 3d subshells. The electrons within the 3d orbitals of iron-bound transferrin are therefore highly localized, and interact with one another in a complex manner that cannot be fully characterized by considering each electron separately. In this work, we make use of dynamical mean field theory, a technique that accounts for the strong interactions between these electrons. This is a higher level of theory than has ever been used to study transferrins. We present novel data on the effective spin, multiplet states and optical spectra of iron-bound human serum transferrin.


title: Giry algebras for standard measurable spaces

abstract: The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable spaces and identifying the $\mathcal{G}$-algebras for that monad. We use Isbell duality and restrict the adjunction $\mathbf{Spec} \dashv \mathcal{O}$ to a proper subcategory of super convex spaces and separated standard measurable spaces.


title: Evidence of a primordial isotopic gradient in the inner region of the solar protoplanetary disc

abstract: Not only do the sampled terrestrial worlds (Earth, Mars, and asteroid 4 Vesta) differ in their mass-independent (nucleosynthetic) isotopic compositions of many elements (e.g. $\varepsilon^{48}$Ca, $\varepsilon^{50}$Ti, $\varepsilon^{54}$Cr, $\varepsilon^{92}$Mo), the magnitudes of some of these isotopic anomalies also appear to correlate with heliocentric distance. While the isotopic differences between the Earth and Mars may be readily accounted for by the accretion of mostly local materials in distinct regions of the protoplanetary disc, it is unclear whether this also applies to asteroid Vesta. Here we analysed the available data from our numerical simulation database to determine the formation location of Vesta in the framework of three planet-formation models: classical, Grand Tack, and Depleted Disc. We find that Vesta has a high probability of forming locally in the asteroid belt in models where material mixing in the inner disc is limited; this limited mixing is implied by the isotopic differences between the Earth and Mars. Based on our results, we propose several criteria to explain the apparent correlation between the different nucleosynthetic isotopic compositions of the Earth, Mars, and Vesta: (1) these planetary bodies accreted their building blocks in different regions of the disc, (2) the inner disc is characterised by an isotopic gradient, and (3) the isotopic gradient was preserved during the formation of these planetary bodies and was not diluted by material mixing in the disc (e.g. via giant planet migration).


title: Increasing Depth of Neural Networks for Life-long Learning

abstract: Purpose: We propose a novel method for continual learning based on the increasing depth of neural networks. This work explores whether extending neural network depth may be beneficial in a life-long learning setting. Methods: We propose a novel approach based on adding new layers on top of existing ones to enable the forward transfer of knowledge and adapting previously learned representations. We employ a method of determining the most similar tasks for selecting the best location in our network to add new nodes with trainable parameters. This approach allows for creating a tree-like model, where each node is a set of neural network parameters dedicated to a specific task. The Progressive Neural Network concept inspires the proposed method. Therefore, it benefits from dynamic changes in network structure. However, Progressive Neural Network allocates a lot of memory for the whole network structure during the learning process. The proposed method alleviates this by adding only part of a network for a new task and utilizing a subset of previously trained weights. At the same time, we may retain the benefit of PNN, such as no forgetting guaranteed by design, without needing a memory buffer. Results: Experiments on Split CIFAR and Split Tiny ImageNet show that the proposed algorithm is on par with other continual learning methods. In a more challenging setup with a single computer vision dataset as a separate task, our method outperforms Experience Replay. Conclusion: It is compatible with commonly used computer vision architectures and does not require a custom network structure. As an adaptation to changing data distribution is made by expanding the architecture, there is no need to utilize a rehearsal buffer. For this reason, our method could be used for sensitive applications where data privacy must be considered.


title: Neighbors

abstract: Two members of a packing are neighbors if they have a common boundary point. A multitude of problems arises in connection with neighbors in a packing. The oldest one concerns a dispute between Newton and Gregory about the maximum number of neighbors a member can have in a packing of congruent balls. Other problems ask for the average number of neighbors or the maximum number of mutually neighboring members in a packing. The present work gives a survey of these problems.


title: Behaviour-neutral Smart Charging of Plugin Electric Vehicles: Reinforcement learning approach

abstract: High-powered electric vehicle (EV) charging can significantly increase charging costs due to peak-demand charges. This paper proposes a novel charging algorithm which exploits typically long plugin sessions for domestic chargers and reduces the overall charging power by boost charging the EV for a short duration, followed by low-power charging for the rest of the plugin session. The optimal parameters for boost and low-power charging phases are obtained using reinforcement learning by training on EV's past charging sessions. Compared to some prior work, the proposed algorithm does not attempt to predict the plugin session duration, which can be difficult to accurately predict in practice due to the nature of human behavior, as shown in the analysis. Instead, the charging parameters are controlled directly and are adapted transparently to the user's charging behavior over time. The performance evaluation on a UK dataset of 3.1 million charging sessions from 22,731 domestic charge stations, demonstrates that the proposed algorithm results in 31% of aggregate peak reduction. The experiments also demonstrate the impact of history size on learning behavior and conclude with a case study by applying the algorithm to a specific charge point.


title: One-shot Scene Graph Generation

abstract: As a structured representation of the image content, the visual scene graph (visual relationship) acts as a bridge between computer vision and natural language processing. Existing models on the scene graph generation task notoriously require tens or hundreds of labeled samples. By contrast, human beings can learn visual relationships from a few or even one example. Inspired by this, we design a task named One-Shot Scene Graph Generation, where each relationship triplet (e.g., "dog-has-head") comes from only one labeled example. The key insight is that rather than learning from scratch, one can utilize rich prior knowledge. In this paper, we propose Multiple Structured Knowledge (Relational Knowledge and Commonsense Knowledge) for the one-shot scene graph generation task. Specifically, the Relational Knowledge represents the prior knowledge of relationships between entities extracted from the visual content, e.g., the visual relationships "standing in", "sitting in", and "lying in" may exist between "dog" and "yard", while the Commonsense Knowledge encodes "sense-making" knowledge like "dog can guard yard". By organizing these two kinds of knowledge in a graph structure, Graph Convolution Networks (GCNs) are used to extract knowledge-embedded semantic features of the entities. Besides, instead of extracting isolated visual features from each entity generated by Faster R-CNN, we utilize an Instance Relation Transformer encoder to fully explore their context information. Based on a constructed one-shot dataset, the experimental results show that our method significantly outperforms existing state-of-the-art methods by a large margin. Ablation studies also verify the effectiveness of the Instance Relation Transformer encoder and the Multiple Structured Knowledge.


title: Laplacian Vanishing Theorem for Quantized Singular Liouville Equation

abstract: In this article we establish a vanishing theorem for singular Liouville equation with quantized singular source. If a blowup sequence tends to infinity near a quantized singular source and the blowup solutions violate the spherical Harnack inequality around the singular source (non-simple blow-ups), the Laplacian of a coefficient function must tend to zero. This seems to be the first second order estimates for Liouville equation with quantized sources and non-simple blow-ups. This result as well as the key ideas of the proof would be extremely useful for various applications.


title: Relation Regularized Scene Graph Generation

abstract: Scene graph generation (SGG) is built on top of detected objects to predict object pairwise visual relations for describing the image content abstraction. Existing works have revealed that if the links between objects are given as prior knowledge, the performance of SGG is significantly improved. Inspired by this observation, in this article, we propose a relation regularized network (R2-Net), which can predict whether there is a relationship between two objects and encode this relation into object feature refinement and better SGG. Specifically, we first construct an affinity matrix among detected objects to represent the probability of a relationship between two objects. Graph convolution networks (GCNs) over this relation affinity matrix are then used as object encoders, producing relation-regularized representations of objects. With these relation-regularized features, our R2-Net can effectively refine object labels and generate scene graphs. Extensive experiments are conducted on the visual genome dataset for three SGG tasks (i.e., predicate classification, scene graph classification, and scene graph detection), demonstrating the effectiveness of our proposed method. Ablation studies also verify the key roles of our proposed components in performance improvement.


title: Stability of planetary systems within the S-star cluster: the Solar system analogues

abstract: A dynamically relaxed dense cluster comprised of about 40 stars (the so-called S-stars) inhabits the central region of the Galaxy. Their stars revolve around the Sgr A$^*$ massive object. To understand the dynamical evolution of planetary systems in a particular environment like that around Sgr A$^*$, we carry out direct N--body simulations of planetary systems embedded in the S--star cluster. In this work, we investigate the short-term stability of the planets orbiting around S-stars after their close interactions with the central massive black hole of our galaxy. We find that planetary systems go through encounters with the SMBH and the nearby stars. We determine the frequency and the strength of planetary systems' encounters with the nearby stars as these encounters remarkably increase for systems assigned to S-stars closer to the SMBH. The SMBH severely destabilizes the planetary systems, though we noted that the small oscillations in the mutual eccentricity and inclination of the planetary system could be caused by the planet--planet coupling and the near-resonance effect between the two planets. We obtain estimates of the fraction of survivor planets ($\sim 51\%$), and find that planets stripped from their hosting star are generally captured on close orbits around Sgr A$^*$. We notify while gas giants are tidally disrupted, terrestrial planets do not. We estimate that Sgr A$^*$ flares can be due to the tidal disruption events of \textit{starless} giant planets.


title: Exploiting long-term temporal dynamics for video captioning

abstract: Automatically describing videos with natural language is a fundamental challenge for computer vision and natural language processing. Recently, progress in this problem has been achieved through two steps: 1) employing 2-D and/or 3-D Convolutional Neural Networks (CNNs) (e.g. VGG, ResNet or C3D) to extract spatial and/or temporal features to encode video contents; and 2) applying Recurrent Neural Networks (RNNs) to generate sentences to describe events in videos. Temporal attention-based model has gained much progress by considering the importance of each video frame. However, for a long video, especially for a video which consists of a set of sub-events, we should discover and leverage the importance of each sub-shot instead of each frame. In this paper, we propose a novel approach, namely temporal and spatial LSTM (TS-LSTM), which systematically exploits spatial and temporal dynamics within video sequences. In TS-LSTM, a temporal pooling LSTM (TP-LSTM) is designed to incorporate both spatial and temporal information to extract long-term temporal dynamics within video sub-shots; and a stacked LSTM is introduced to generate a list of words to describe the video. Experimental results obtained in two public video captioning benchmarks indicate that our TS-LSTM outperforms the state-of-the-art methods.


title: Bounds on new physics with data of the Dresden-II reactor experiment and COHERENT

abstract: Coherent elastic neutrino-nucleus scattering was first experimentally established five years ago by the COHERENT experiment using neutrinos from the spallation neutron source at Oak Ridge National Laboratory. The first evidence of observation of coherent elastic neutrino-nucleus scattering with reactor antineutrinos has now been reported by the Dresden-II reactor experiment, using a germanium detector. In this paper, we present constraints on a variety of beyond the Standard Model scenarios using the new Dresden-II data. In particular, we explore the constraints imposed on neutrino non-standard interactions, neutrino magnetic moments, and several models with light scalar or light vector mediators. We also quantify the impact of their combination with COHERENT (CsI and Ar) data. In doing so, we highlight the synergies between spallation neutron source and nuclear reactor experiments regarding beyond the Standard Model searches, as well as the advantages of combining data obtained with different nuclear targets. We also study the possible signal from beyond the Standard Model scenarios due to elastic scattering off electrons (which would pass selection cuts of the COHERENT CsI and the Dresden-II experiments) and find more stringent constraints in certain parts of the parameter space than those obtained considering coherent elastic neutrino-nucleus scattering.


title: Co-opted marginality, a new type of anti-immigrant discourse on social media? Classifying social media messages about immigrants with BERT

abstract: The article analyzes public discourse about immigrants in comments sections of 11 social media community platforms over six months in Singapore.


title: Flipping Plane Spanning Paths

abstract: Let $S$ be a planar point set in general position, and let $\mathcal{P}(S)$ be the set of all plane straight-line paths with vertex set $S$. A flip on a path $P \in \mathcal{P}(S)$ is the operation of replacing an edge $e$ of $P$ with another edge $f$ on $S$ to obtain a new valid path from $\mathcal{P}(S)$. It is a long-standing open question whether for every given point set $S$, every path from $\mathcal{P}(S)$ can be transformed into any other path from $\mathcal{P}(S)$ by a sequence of flips. To achieve a better understanding of this question, we show that it is sufficient to prove the statement for plane spanning paths whose first edge is fixed. Furthermore, we provide positive answers for special classes of point sets, namely, for wheel sets and generalized double circles (which include, e.g., double chains and double circles).


title: Multi-service Threats: Attacking and Protecting Network Printers and VoIP Phones alike

abstract: Printing over a network and calling over VoIP technology are routine at present. This article investigates to what extent these services can be attacked using freeware in the real world if they are not configured securely. In finding out that attacks of high impact, termed the Printjack and Phonejack families, could be mounted at least from insiders, the article also observes that secure configurations do not appear to be widely adopted. Users with the necessary skills may put existing security measures in place with printers, but would need novel measures, which the article prototypes, with phones in order for a pair of peers to call each other securely and without trusting anyone else, including sysadmins.


title: Some applications of linear algebra and geometry in real life

abstract: In this paper, some real-world motivated examples are provided illustrating the power of linear algebra tools as the product of matrices, determinants, eigenvalues and eigenvectors. In this sense, some practical applications related to computer graphics, geometry, areas, volumes are presented, along with some problems connected to sports and investments.


title: Macroeconomic Effect of Uncertainty and Financial Shocks: a non-Gaussian VAR approach

abstract: The Great Recession highlighted the role of financial and uncertainty shocks as drivers of business cycle fluctuations. However, the fact that uncertainty shocks may affect economic activity by tightening financial conditions makes empirically distinguishing these shocks difficult. This paper examines the macroeconomic effects of the financial and uncertainty shocks in the United States in an SVAR model that exploits the non-normalities of the time series to identify the uncertainty and the financial shock. The results show that macroeconomic uncertainty and financial shocks seem to affect business cycles independently as well as through dynamic interaction. Uncertainty shocks appear to tighten financial conditions, whereas there appears to be no causal relationship between financial conditions and uncertainty. Moreover, the results suggest that uncertainty shocks may have persistent effects on output and investment that last beyond the business cycle.


title: Density correlations from analogue Hawking radiation in the presence of atom losses

abstract: The sonic analogue of Hawking radiation can now be experimentally recreated in Bose-Einstein Condensates that contain an acoustic black hole. In these experiments the signal strength and analogue Hawking temperature increase for denser condensates, which however also suffer increased atom losses from inelastic collisions. To determine how these affect analogue Hawking radiation, we numerically simulate creation of the latter in a Bose-Einstein Condensate in the presence of atomic losses. In particular we explore modifications of density-density correlations through which the radiation has been analyzed so far. We find that losses increase the contrast of the correlation signal, which we attribute to heating that in turn leads to a component of stimulated radiation in addition to the spontaneous one. Another indirect consequence is the modification of the white hole instability pattern.


title: Stabilization of Co oxide during oxygen evolution in alkaline media by the introduction of Mn oxide

abstract: Improving the stability of electrocatalysts for the oxygen evolution reaction (OER) through materials design has received less attention than improving their catalytic activity. We explored the effect of Mn addition to a cobalt oxide for stabilizing the catalyst by comparing Na-containing CoOx and (Co0.7Mn0.3)Ox films electrodeposited in alkaline solution. The obtained disordered films were classified as layered oxides using X-ray absorption spectroscopy (XAS). The CoOx films showed a constant decrease in the catalytic activity during cycling, confirmed by oxygen detection, while that of (Co0.7Mn0.3)Ox slightly increased as measured by electrochemical metrics. These trends were rationalized based on XAS analysis of the metal oxidation states, which were Co2.8+ and Mn3.7+ near the surface after cycling. Thus, adding Mn to CoOx successfully stabilized the catalyst material and its activity during OER cycling. The development of stabilization approaches is essential to extend the durability of OER catalysts.


title: SADN: Learned Light Field Image Compression with Spatial-Angular Decorrelation

abstract: Light field image becomes one of the most promising media types for immersive video applications. In this paper, we propose a novel end-to-end spatial-angular-decorrelated network (SADN) for high-efficiency light field image compression. Different from the existing methods that exploit either spatial or angular consistency in the light field image, SADN decouples the angular and spatial information by dilation convolution and stride convolution in spatial-angular interaction, and performs feature fusion to compress spatial and angular information jointly. To train a stable and robust algorithm, a large-scale dataset consisting of 7549 light field images is proposed and built. The proposed method provides 2.137 times and 2.849 times higher compression efficiency relative to H.266/VVC and H.265/HEVC inter coding, respectively. It also outperforms the end-to-end image compression networks by an average of 79.6% bitrate saving with much higher subjective quality and light field consistency.


title: Authenticated time for detecting GNSS attacks

abstract: Information cross-validation can be a powerful tool to detect manipulated, dubious GNSS data. A promising approach is to leverage time obtained over networks a mobile device can connect to, and detect discrepancies between the GNSS-provided time and the network time. The challenge lies in having reliably both accurate and trustworthy network time as the basis for the GNSS attack detection. Here, we provide a concrete proposal that leverages, together with the network time servers, the nearly ubiquitous IEEE 802.11 (Wi-Fi) infrastructure. Our framework supports application-layer, secure and robust real time broadcasting by Wi-Fi Access Points (APs), based on hash chains and infrequent digital signatures verification to minimize computational and communication overhead, allowing mobile nodes to efficiently obtain authenticated and rich time information as they roam. We pair this method with Network Time Security (NTS), for enhanced resilience through multiple sources, available, ideally, simultaneously. We analyze the performance of our scheme in a dedicated setup, gauging the overhead for authenticated time data (Wi-Fi timestamped beacons and NTS). The results show that it is possible to provide security for the external to GNSS time sources, with minimal overhead for authentication and integrity, even when the GNSS-equipped nodes are mobile, and thus have short interactions with the Wi-Fi infrastructure and possibly intermittent Internet connectivity, as well as limited resources.


title: Stable approximation of functions from equispaced samples via Jacobi frames

abstract: In this paper, we study the Jacobi frame approximation with equispaced samples and derive an error estimation. We observe numerically that the approximation accuracy gradually decreases as the extended domain parameter $\gamma$ increases in the uniform norm, especially for differentiable functions. In addition, we show that when the indexes of Jacobi polynomials $\alpha$ and $\beta$ are larger (for example $\max\{\alpha,\beta\} > 10$), it leads to a divergence behavior on the frame approximation error decay.


title: Design and Evaluation of the SoftSCREEN Capsule for Colonoscopy

abstract: Colonoscopy is considered the golden standard for cancer screening of the lower gastrointestinal (GI) tract, with screening programs all over the world considering lowering the recommended screening age. Nonetheless, conventional colonoscopy can cause discomfort to patients due to the forces occurring between colonoscopes and the walls of the colon. Robotic solutions have been proposed to reduce discomfort, and improve accessibility and image quality. Aiming at addressing the limitations of traditional and robotic colonoscopy, in this paper, we present the SoftSCREEN System, a novel Soft Shapeshifting Capsule Robot for Endoscopy based on Eversion Navigation. A plurality of tracks surrounds the body of the system. These tracks are driven by a single motor paired with a worm gear and evert from the internal rigid chassis, enabling fullbody track-based navigation. Two inflatable toroidal chambers enclosing this rigid chassis and passing through the tracks, cause them to displace when inflated. This displacement can be used to regulate the contact with the surrounding wall, thus enabling traction control and adjustment of the overall system diameter to match the local lumen size. The design of the first tethered prototype at 2:1 scale of the SoftSCREEN system is presented in this work. The experimental results show efficient navigation capabilities for different lumen diameters and curvatures, paving the way for a novel robot capable of robust navigation and reliable control of the imaging, with potential for applications beyond colonoscopy, including gastroscopy and capsule endoscopy.


title: Cyber-Physical Risk Assessment for False Data Injection Attacks Considering Moving Target Defences

abstract: In this paper, we examine the factors that influence the success of false data injection (FDI) attacks in the context of both cyber and physical styles of reinforcement. Many works consider the FDI attack in the context of the ability to change a measurement in a static system only. However, successful attacks will require first intrusion into a system followed by construction of an attack vector that can bypass bad data detection (BDD). In this way, we develop a full service framework for FDI risk assessment. The framework considers both the costs of system intrusion via a weighted graph assessment in combination with a physical, line overload-based vulnerability assessment. We present our simulations on a IEEE 14-bus system with an overlain RTU network to model the true risk of intrusion. The cyber model considers multiple methods of entry for the FDI attack including meter intrusion, RTU intrusion and combined style attacks. Post-intrusion our physical reinforcement model analyses the required level of topology divergence to protect against a branch overload from an optimised attack vector.


title: KuaiRec: A Fully-observed Dataset and Insights for Evaluating Recommender Systems

abstract: The progress of recommender systems is hampered mainly by evaluation as it requires real-time interactions between humans and systems, which is too laborious and expensive. This issue is usually approached by utilizing the interaction history to conduct offline evaluation. However, existing datasets of user-item interactions are partially observed, leaving it unclear how and to what extent the missing interactions will influence the evaluation. To answer this question, we collect a fully-observed dataset from Kuaishou's online environment, where almost all 1,411 users have been exposed to all 3,327 items. To the best of our knowledge, this is the first real-world fully-observed data with millions of user-item interactions. With this unique dataset, we conduct a preliminary analysis of how the two factors - data density and exposure bias - affect the evaluation results of multi-round conversational recommendation. Our main discoveries are that the performance ranking of different methods varies with the two factors, and this effect can only be alleviated in certain cases by estimating missing interactions for user simulation. This demonstrates the necessity of the fully-observed dataset. We release the dataset and the pipeline implementation for evaluation at https://kuairec.com


title: Boundary Lipschitz regularity of solutions for general semilinear elliptic equations in divergence form

abstract: In this paper, we study the nonhomogeneous Dirichlet problem concerning general semilinear elliptic equations in divergence form. We establish that the boundary Lipschitz regularity of solutions under some more weaker conditions on the coefficients, the boundary, the boundary function and the nonhomogeneous term. In particular, we assume that the nonhomogeneous term satisfies Dini continuity condition and Lipschitz Newtonian potential condition, which will be the optimal conditions to obtain the boundary Lipschitz regularity of solutions.


title: NLO QCD and EW corrections to vector-boson scattering into $\rm W^+W^-$ at the LHC

abstract: We present the full next-to-leading-order electroweak and QCD corrections to vector-boson scattering into a pair of off-shell opposite-sign W bosons decaying into leptons of different flavour at the LHC. We include full leading-order predictions for the irreducible background. Explicitly, we investigate the process ${\rm pp \to e^+ \nu_e\mu^-\bar\nu_\mu jj} + X$ at leading orders $O(\alpha^6)$, $O(\rm\alpha_s\alpha^5)$, $O(\rm\alpha_s^2\alpha^4)$, supplemented by the loop-induced $O(\rm\alpha_s^4\alpha^4)$ contribution, and at next-to-leading orders $O(\alpha^7)$ and $O(\rm\alpha_s\alpha^6)$ in two setups providing fiducial cross sections as well as differential distributions. We take full account of photon-induced next-to-leading-order contributions, which prove to be non negligible. With $-11.4\%$ and $-6.7\%$ in the two setups, the electroweak corrections are smaller than for other vector-boson-scattering processes. This can be traced back to the presence of the Higgs-boson resonance in the fiducial phase space, whose effects we analyse within an additional unphysical, but manifestly gauge-invariant setup. The QCD corrections amount to $-5.1\%$ and $-21.6\%$ in the two setups. The large size of the latter correction, compared to other vector-boson scattering processes, is explained by a very restrictive definition of its fiducial phase space.


title: GAN'SDA Wrap: Geographic And Network Structured Data on surfaces that Wrap around

abstract: There are many methods for projecting spherical maps onto the plane. Interactive versions of these projections allow the user to centre the region of interest. However, the effects of such interaction have not previously been evaluated. In a study with 120 participants we find interaction provides significantly more accurate area, direction and distance estimation in such projections. The surface of 3D sphere and torus topologies provides a continuous surface for uninterrupted network layout. But how best to project spherical network layouts to 2D screens has not been studied, nor have such spherical network projections been compared to torus projections. Using the most successful interactive sphere projections from our first study, we compare spherical, standard and toroidal layouts of networks for cluster and path following tasks with 96 participants, finding benefits for both spherical and toroidal layouts over standard network layouts in terms of accuracy for cluster understanding tasks.


title: P-class is a proper subclass of NP-class; and more

abstract: We may give rise to some questions related to the mathematical structures of $P$-class and $NP$-class. We have seen that one is a proper subclass of the other. Here we disclose more that $P$- class turns out to be the proper distributive sublattice of the $NP$- class.


title: UncertaINR: Uncertainty Quantification of End-to-End Implicit Neural Representations for Computed Tomography

abstract: Implicit neural representations (INRs) have achieved impressive results for scene reconstruction and computer graphics, where their performance has primarily been assessed on reconstruction accuracy. As INRs make their way into other domains, where model predictions inform high-stakes decision-making, uncertainty quantification of INR inference is becoming critical. To that end, we study a Bayesian reformulation of INRs, UncertaINR, in the context of computed tomography, and evaluate several Bayesian deep learning implementations in terms of accuracy and calibration. We find that they achieve well-calibrated uncertainty, while retaining accuracy competitive with other classical, INR-based, and CNN-based reconstruction techniques. Contrary to common intuition in the Bayesian deep learning literature, we find that INRs obtain the best calibration with computationally efficient Monte Carlo dropout, outperforming Hamiltonian Monte Carlo and deep ensembles. Moreover, in contrast to the best-performing prior approaches, UncertaINR does not require a large training dataset, but only a handful of validation images.


title: Speciesist bias in AI -- How AI applications perpetuate discrimination and unfair outcomes against animals

abstract: Massive efforts are made to reduce biases in both data and algorithms in order to render AI applications fair. These efforts are propelled by various high-profile cases where biased algorithmic decision-making caused harm to women, people of color, minorities, etc. However, the AI fairness field still succumbs to a blind spot, namely its insensitivity to discrimination against animals. This paper is the first to describe the 'speciesist bias' and investigate it in several different AI systems. Speciesist biases are learned and solidified by AI applications when they are trained on datasets in which speciesist patterns prevail. These patterns can be found in image recognition systems, large language models, and recommender systems. Therefore, AI technologies currently play a significant role in perpetuating and normalizing violence against animals. This can only be changed when AI fairness frameworks widen their scope and include mitigation measures for speciesist biases. This paper addresses the AI community in this regard and stresses the influence AI systems can have on either increasing or reducing the violence that is inflicted on animals, and especially on farmed animals.


title: Brain representation of perceptual stimuli at different levels of awareness

abstract: This article questions the widespread assumption that there are brain representations that will always remain unconscious in the sense of being inaccessible to individual awareness under any circumstances. This implies that some part of the knowledge generated by the brain is once and for always excluded from consciousness and, therefore, from being communicated to the outside world. This standpoint neglects the possibility that the human brain might have a capacity for generating metarepresentations of nonconscious knowledge contents at a given moment in time through context sensitive adaptive learning, and is somewhat difficult to reconcile with experimental findings showing that initially subliminal targets can be made available to awareness, or break through to supraliminal levels of processing, when they are embedded in an appropriate perceptual object context (relevance condition). Specific properties of neural network architectures, inspired by the functional organization of the primate cortex, are able to explain how a human brain could generate this kind of perceptual learning. Signals or knowledge processed outside awareness could be made available to awareness through adaptive resonance of bottom-up and top-down signal exchanges in massively parallel neural network architectures; in other words, on the basis of statistically significant signal matches in the domain of time and in the domain of memory content.


title: How to Verify Identity in the Continuous Variable Quantum System?

abstract: Continuous variable quantum cryptography has developed rapidly in recent decades, but how to verify identity in the continuous variable quantum system is still an urgent issue to be solved. To solve this problem, we propose a continuous variable quantum identification (CV-QI) protocol based on the correlation of two-mode squeezed vacuum state and the continuous variable teleportation. The bidirectional identity verification between two participants of the communication can be achieved by the proposed CV-QI protocol. In order to guarantee the security, we make full use of the decoy state sequences during the whole process of the proposed CV-QI protocol. Besides, we provide the security analyses of the proposed CV-QI protocol, and analyses indicate that the security of the proposed CV-QI protocol is guaranteed.