title: The derived Hecke algebra for dihedral weight one forms

abstract: We study the action of the derived Hecke algebra in the setting of dihedral weight one forms, and prove a conjecture of the second- and fourth- named authors relating this action to certain Stark units associated to the symmetric square L-function. The proof exploits the theta correspondence between various Hecke modules as well as ideas of Merel and Lecouturier on higher Eisenstein elements.


title: Bitangents to plane quartics via tropical geometry: rationality, $\mathbb{A}^1$-enumeration, and real signed count

abstract: We explore extensions of tropical methods to arithmetic enumerative problems such as $\mathbb{A}^1$-enumeration with values in the Grothendieck-Witt ring, and rationality over Henselian valued fields, using bitangents to plane quartics as a test case. We consider quartic curves over valued fields whose tropicalizations are smooth and satisfy a mild genericity condition. We then express obstructions to rationality of bitangents and their points of tangency in terms of twisting of edges of the tropicalization; the latter depends only on the tropicalization and the initial coefficients of the defining equation modulo squares. We also show that the GW-multiplicity of a tropical bitangent, i.e., the multiplicity with which its lifts contribute to the $\mathbb{A}^1$-enumeration of bitangents as defined by Larson and Vogt, can be computed from the tropicalization of the quartic together with the initial coefficients of the defining equation. As an application, we show that the four lifts of most tropical bitangent classes contribute $2\mathbb{H}$, twice the class of the hyperbolic plane, to the $\mathbb{A}^1$-enumeration. These results rely on a degeneration theorem relating the Grothendieck-Witt ring of a Henselian valued field to the Grothendieck-Witt ring of its residue field, in residue characteristic not equal to two.


title: For how long are particles accelerated in shells of recurrent Novae ?

abstract: Galactic Novae is at present well established class of gamma-ray sources. We wonder for how long the mechanism of acceleration of electrons operates in shells of Novae. In order to put constraints on the time scale of the electron acceleration, we consider a specific model for the injection and propagation of electrons within the shell of the recurrent Nova RS Ophiuchi. We calculate the equilibrium spectra of electrons within the Nova shell and the gamma-ray fluxes produced by these electrons in the comptonization of the soft radiation from the Red Giant within the Nova binary system and also radiation from the Nova photosphere. We investigate two component, time dependent model in which a spherically ejected Nova shell propagates freely in the polar region of the Nova binary system. But, the shell is significantly decelerated in the dense equatorial region of the binary system. We discuss the conditions for which electrons can produce gamma-rays which might be detectable by the present and/or future gamma-ray observatories. It is concluded that freely expending shells of Novae in the optimal case (strongly magnetised shell and efficiency of acceleration of electrons of the order of 10%) can produce TeV gamma-rays within the sensitivity of the Cherenkov Telescpe Array only within 1-2 years after explosion. On the other hand, decelerated shells of Novae have a chance to be detected during the whole recurrence period of RS Ophiuchi, i.e. ~15 years.


title: Impact of 3D curvature on the polarization orientation in non-Ising domain walls

abstract: Ferroelectric domain boundaries are quasi-two-dimensional functional interfaces with high prospects for nanoelectronic applications. Despite their reduced dimensionality, they can exhibit complex non-Ising polarization configurations and unexpected physical properties. Here, the impact of the three-dimensional (3D) curvature on the polarization profile of nominally uncharged 180{\deg} domain walls in LiNbO3 is studied using second-harmonic generation microscopy and 3D polarimetry analysis. Correlations between the domain wall curvature and the variation of its internal polarization unfold in the form of modulations of the N\'eel-like character, which we attribute to the flexoelectric effect. While the N\'eel-like character originates mainly from the tilting of the domain wall, the internal polarization adjusts its orientation due to the synergetic upshot of dipolar and monopolar bound charges and their variation with the 3D curvature. Our results show that curved interfaces in solid crystals may offer a rich playground for tailoring nanoscale polar states.


title: Particle Flow Gaussian Particle Filter

abstract: State estimation in non-linear models is performed by tracking the posterior distribution recursively. A plethora of algorithms have been proposed for this task. Among them, the Gaussian particle filter uses a weighted set of particles to construct a Gaussian approximation to the posterior. In this paper, we propose to use invertible particle flow methods, derived under the Gaussian boundary conditions for a flow equation, to generate a proposal distribution close to the posterior. The resultant particle flow Gaussian particle filter (PFGPF) algorithm retains the asymptotic properties of Gaussian particle filters, with the potential for improved state estimation performance in high dimensional spaces. We compare the performance of PFGPF with the particle flow filters and particle flow particle filters in two challenging numerical simulation examples.


title: Tilting complexes and codimension functions over commutative noetherian rings

abstract: In the derived category of a commutative noetherian ring, we explicitly construct a silting object associated with each sp-filtration of the Zariski spectrum satisfying the "slice" condition. Our new construction is based on local cohomology and it allows us to study when the silting object is tilting. For a ring admitting a dualizing complex, this occurs precisely when the sp-filtration arises from a codimension function on the spectrum. In the absence of a dualizing complex, the situation is more delicate and the tilting property is closely related to the condition that the ring is a homomorphic image of a Cohen-Macaulay ring. We also provide dual versions of our results in the cosilting case.


title: Stark-Heegner points and diagonal classes

abstract: Stark-Heegner points are conjectural substitutes for Heegner points when the imaginary quadratic field of the theory of complex multiplication is replaced by a real quadratic field $K$. They are constructed analytically as local points on elliptic curves with multiplicative reduction at a prime $p$ that remains inert in $K$, but are conjectured to be rational over ring class fields of $K$ and to satisfy a Shimura reciprocity law describing the action of $G_K$ on them. The main conjectures of \cite{darmon-hpxh} predict that any linear combination of Stark-Heegner points weighted by the values of a ring class character $\psi$ of $K$ should belong to the corresponding piece of the Mordell-Weil group over the associated ring class field, and should be non-trivial when $L'(E/K,\psi,1) \ne 0$. Building on the results on families of diagonal classes described in the remaining contributions to this volume, this note explains how such linear combinations arise from global classes in the idoneous pro-$p$ Selmer group, and are non-trivial when the first derivative of a weight-variable $p$-adic $L$-function associated to the Hida family passing through $f$ does not vanish at the point associated to $(E/K,\psi)$.


title: Single Particle Configurations of the Excited States of $^{203}$Po

abstract: Excited states of the $^{203}$Po ($Z = 84, N = 119$) have been investigated after populating them through $^{194}$Pt($^{13}$C,4n) fusion-evaporation reaction at E$_{beam}$ = 74 MeV and using a large array of Compton suppressed HPGe clover detectors as the detection setup for the emitted $\gamma$-rays. Standard techniques of $\gamma$-ray spectroscopy have been applied towards establishing the level structure of the nucleus. Twenty new $\gamma$-ray transitions have been identified therein, through $\gamma-\gamma$ coincidence measurements, and spin-parity assignments of several states have been determined or confirmed, following the angular correlation and linear polarization measurements on the observed $\gamma$-rays. The excited states have been interpreted in the framework of large basis shell model calculations, while comparing their calculated and experimental energies. They have been principally ascribed to proton population in the $h_{9/2}$ and $i_{13/2}$ orbitals outside the $Z = 82$ closure and neutron occupation of the $f_{5/2}$, $p_{3/2}$ and $i_{13/2}$ orbitals in the $N = 126$ shell.


title: Vietnamese Capitalization and Punctuation Recovery Models

abstract: Despite the rise of recent performant methods in Automatic Speech Recognition (ASR), such methods do not ensure proper casing and punctuation for their outputs. This problem has a significant impact on the comprehension of both Natural Language Processing (NLP) algorithms and human to process. Capitalization and punctuation restoration is imperative in pre-processing pipelines for raw textual inputs. For low resource languages like Vietnamese, public datasets for this task are scarce. In this paper, we contribute a public dataset for capitalization and punctuation recovery for Vietnamese; and propose a joint model for both tasks named JointCapPunc. Experimental results on the Vietnamese dataset show the effectiveness of our joint model compare to single model and previous joint learning model. We publicly release our dataset and the implementation of our model at https://github.com/anhtunguyen98/JointCapPunc


title: Estimating indoor crowd density and movement behavior using WiFi Sensing

abstract: The fact that almost every person owns a smartphone device that can be precisely located is both empowering and worrying. If methods for accurate tracking of devices (and their owners) via WiFi probing are developed in a responsible way, they could be applied in many different fields, from data security to urban planning. Numerous approaches to data collection and analysis have been covered, some of which use active sensing equipment, while others rely on passive probing, which takes advantage of nearly universal smartphone usage and WiFi network coverage. In this study, we introduce a system that uses WiFi probing technologies aimed at tracking user locations and understanding individual behavior. We built our own devices to passively capture WiFi request probe packets from smartphones, without the phones being connected to the network. The devices were tested at the headquarters of the research sector of the Elm Company. The results of the analyses carried out to estimate the crowd density in offices and the flows of the crowd from one place to another are promising and illustrate the importance of such solutions in indoor and closed spaces.


title: $p$-adic families of diagonal cycles

abstract: This note provides the construction of a three-variable family of cohomology classes arising from diagonal cycles on a triple product of towers of modular curves, and proves a reciprocity law relating it to the three variable triple-product $p$-adic $L$-function associated to a triple of Hida families by means of Perrin-Riou's $\Lambda$-adic regulator.


title: Structure constants of short operators in planar $\mathcal{N}=4$ SYM theory

abstract: We present an integrability-based conjecture for the three-point functions of single-trace operators in planar $\mathcal{N}=4$ super-Yang-Mills theory at finite coupling, in the case where two operators are protected. Our proposal is based on the hexagon representation for structure constants of long operators, which we complete to incorporate operators of any length using data from the TBA/QSC formalism. We perform various tests of our conjecture, at weak and strong coupling, finding agreement with the gauge theory through 5 loops for the shortest three-point function and with string theory in the classical limit.


title: Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

abstract: We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the \'etale homotopy type. This paper is part one of a sequence of papers on this topic.


title: Tuning attraction and repulsion between active particles through persistence

abstract: We consider the interplay between persistent motion, which is a generic property of active particles, and a recoil interaction which causes particles to jump apart on contact. The recoil interaction exemplifies an active contact interaction between particles, which is inelastic and is generated by the active nature of the constituents. It is inspired by the `shock' dynamics of certain microorganisms, such as \emph{Pyramimonas octopus}, and always generates an effective repulsion between a pair of passive particles. Highly persistent particles can be attractive or repulsive, according to the shape of the recoil distribution. We show that the repulsive case admits an unexpected transition to attraction at intermediate persistence lengths, that originates in the advective effects of persistence. This allows active particles to fundamentally change the collective effect of active interactions amongst them, by varying their persistence length.


title: Semiconductor-based electron flying qubits: Review on recent progress accelerated by numerical modelling

abstract: The progress of charge manipulation in semiconductor-based nanoscale devices opened up a novel route to realise a flying qubit with a single electron. In the present review, we introduce the concept of these electron flying qubits, discuss their most promising realisations and show how numerical simulations are applicable to accelerate experimental development cycles. Addressing the technological challenges of flying qubits that are currently faced by academia and quantum enterprises, we underline the relevance of interdisciplinary cooperation to move emerging quantum industry forward. The review consists of two main sections: Pathways towards the electron flying qubit: We address three routes of single-electron transport in GaAs-based devices focusing on surface acoustic waves, hot-electron emission from quantum dot pumps and Levitons. For each approach, we discuss latest experimental results and point out how numerical simulations facilitate engineering the electron flying qubit. Numerical modelling of quantum devices: We review the full stack of numerical simulations needed for fabrication of the flying qubits. Choosing appropriate models, examples of basic quantum mechanical simulations are explained in detail. We discuss applications of open-source (KWANT) and the commercial (nextnano) platforms for modelling the flying qubits. The discussion points out the large relevance of software tools to design quantum devices tailored for efficient operation.


title: Fast K\"otter-Nielsen-H{\o}holdt Interpolation over Skew Polynomial Rings and its Application in Coding Theory

abstract: Skew polynomials are a class of non-commutative polynomials that have several applications in computer science, coding theory and cryptography. In particular, skew polynomials can be used to construct and decode evaluation codes in several metrics, like e.g. the Hamming, rank, sum-rank and skew metric. We propose a fast divide-and-conquer variant of K\"otter-Nielsen-H{\o}holdt (KNH) interpolation algorithm: it inputs a list of linear functionals on skew polynomial vectors, and outputs a reduced Gr\"obner basis of their kernel intersection. We show, that the proposed KNH interpolation can be used to solve the interpolation step of interpolation-based decoding of interleaved Gabidulin codes in the rank-metric, linearized Reed-Solomon codes in the sum-rank metric and skew Reed-Solomon codes in the skew metric requiring at most $\tilde{O}(s^{\omega} M(n))$ operations in $\mathbb{F}_{q^m}$ , where $n$ is the length of the code, $s$ the interleaving order, $M(n)$ the complexity for multiplying two skew polynomials of degree at most $n$, ${\omega}$ the matrix multiplication exponent and $\tilde{O}(\cdot)$ the soft-O notation which neglects log factors. This matches the previous best speeds for these tasks, which were obtained by top-down minimal approximant bases techniques, and complements the theory of efficient interpolation over free skew polynomial modules by the bottom-up KNH approach. In contrast to the top-down approach the bottom-up KNH algorithm has no requirements on the interpolation points and thus does not require any pre-processing.


title: City products of right-angled buildings and their universal groups

abstract: We introduce the notion of city products of right-angled buildings that produces a new right-angled building out of smaller ones. More precisely, if $M$ is a right-angled Coxeter diagram of rank $n$ and $\Delta_1,\dots,\Delta_n$ are right-angled buildings, then we construct a new right-angled building $\Delta := \mathrm{cityproduct}_M(\Delta_1,\dots,\Delta_n)$. We can recover the buildings $\Delta_1,\dots,\Delta_n$ as residues of $\Delta$, but we can also construct a skeletal building of type $M$ from $\Delta$ that captures the large-scale geometry of $\Delta$. We then proceed to study universal groups for city products of right-angled buildings, and we show that the universal group of $\Delta$ can be expressed in terms of the universal groups for the buildings $\Delta_1,\dots,\Delta_n$ and the structure of $M$. As an application, we show the existence of many examples of pairs of different buildings of the same type that admit (topologically) isomorphic universal groups, thereby vastly generalizing a recent example by Lara Be{\ss}mann.


title: From a microscopic solution to a continuum description of active particles with a recoil interaction in one dimension

abstract: We consider a model system of persistent random walkers that can jam, pass through each other or jump apart (recoil) on contact. In a continuum limit, where particle motion between stochastic changes in direction becomes deterministic, we find that the stationary inter-particle distribution functions are governed by an inhomogeneous fourth-order differential equation. Our main focus is on determining the boundary conditions that these distribution functions should satisfy. We find that these do not arise naturally from physical considerations, but need to be carefully matched to functional forms that arise from the analysis of an underlying discrete process. The inter-particle distribution functions, or their first derivatives, are generically found to be discontinuous at the boundaries.


title: Harmonizer: Learning to Perform White-Box Image and Video Harmonization

abstract: Recent works on image harmonization solve the problem as a pixel-wise image translation task via large autoencoders. They have unsatisfactory performances and slow inference speeds when dealing with high-resolution images. In this work, we observe that adjusting the input arguments of basic image filters, e.g., brightness and contrast, is sufficient for humans to produce realistic images from the composite ones. Hence, we frame image harmonization as an image-level regression problem to learn the arguments of the filters that humans use for the task. We present a Harmonizer framework for image harmonization. Unlike prior methods that are based on black-box autoencoders, Harmonizer contains a neural network for filter argument prediction and several white-box filters (based on the predicted arguments) for image harmonization. We also introduce a cascade regressor and a dynamic loss strategy for Harmonizer to learn filter arguments more stably and precisely. Since our network only outputs image-level arguments and the filters we used are efficient, Harmonizer is much lighter and faster than existing methods. Comprehensive experiments demonstrate that Harmonizer surpasses existing methods notably, especially with high-resolution inputs. Finally, we apply Harmonizer to video harmonization, which achieves consistent results across frames and 56 fps at 1080P resolution. Code and models are available at: https://github.com/ZHKKKe/Harmonizer.


title: Computer vision application for improved product traceability in the granite manufacturing industry

abstract: The traceability of granite blocks consists in identifying each block with a finite number of color bands which represent a numerical code. This code has to be read several times throughout the manufacturing process, but its accuracy is subject to human errors, leading to cause faults in the traceability system. A computer vision system is presented to address this problem through color detection and the decryption of the associated code. The system developed makes use of color space transformations, and several thresholds for the isolation of the colors. Computer vision methods are implemented, along with contour detection procedures for color identification. Lastly, the analysis of geometrical features is used to decrypt the color code captured. The proposed algorithm is trained on a set of 109 pictures taken in different environmental conditions and validated on a set of 21 images. The outcome shows promising results with an accuracy rate of 75.00% in the validation process. Therefore, the application presented can help employees reduce the number of mistakes on product tracking.


title: Fiedler Linearizations of Multivariable State-Space System and its Associated System Matrix

abstract: Linearization is a standard method in the computation of eigenvalues and eigenvectors of matrix polynomials. In the last decade a variety of linearization methods have been developed in order to deal with algebraic structures and in order to construct efficient numerical methods. An important source of linearizations for matrix polynomials are the so called Fiedler pencils, which are generalizations of the Frobenius companion form and these linearizations have been extended to regular rational matrix function which is the transfer function of LTI State-space system in [1, 6]. We consider a multivariable state-space system and its associated system matrix S({\lambda}). We introduce Fiedler pencils of S({\lambda}) and describe an algorithm for their construction. We show that Fiedler pencils are linearizations of the system matrix S({\lambda}).


title: Input Sequence and Parameter Estimation in Impulsive Biomedical Models

abstract: A hybrid model for biomedical time series comprising a continuous second-order linear time-invariant system driven by an input sequence of positively weighted Dirac delta-functions is considered. The problem of the joint estimation of the input sequence and the continuous system parameters from output measurements is investigated. A solution that builds upon and refines a previously published least-squares formulation is proposed. Based on a thorough analysis of the properties of the least-squares solution, improvements in terms of accuracy and ease of use are achieved on synthetic data, compared to the original algorithm.


title: Study on the detectability of gravitational radiation from single-binary encounters between black holes in nuclear star cluster: the case of hyperbolic flybys

abstract: With the release of the third Gravitational-Wave Transient Catalogue (GWTC-3), 90 observations of compact-binary mergers by Virgo and LIGO detectors are confirmed. Some of these mergers are suspected to have occurred in star clusters. The density of black holes at the cores of these clusters is so high that mergers can occur through a few generations forming increasingly massive black holes. These conditions also make it possible for three black holes to interact, most likely via single-binary encounters. In this paper, we present a first study of how often such encounters can happen in nuclear star clusters (NSCs) as a function of redshift, and whether these encounters are observable by gravitational-wave (GW) detectors. This study focuses on effectively hyperbolic encounters leaving out the resonant encounters. We find that in NSCs single-binary encounters occur rarely compared to binary mergers, and that hyperbolic encounters most likely produce the strongest GW emission below the observation band of terrestrial GW detectors. While several of them can be expected to occur per year with peak energy in the LISA band, their amplitude is low, and detection by LISA seems improbable.


title: BoAT v2 -- A Web-Based Dependency Annotation Tool with Focus on Agglutinative Languages

abstract: The value of quality treebanks is steadily increasing due to the crucial role they play in the development of natural language processing tools. The creation of such treebanks is enormously labor-intensive and time-consuming. Especially when the size of treebanks is considered, tools that support the annotation process are essential. Various annotation tools have been proposed, however, they are often not suitable for agglutinative languages such as Turkish. BoAT v1 was developed for annotating dependency relations and was subsequently used to create the manually annotated BOUN Treebank (UD_Turkish-BOUN). In this work, we report on the design and implementation of a dependency annotation tool BoAT v2 based on the experiences gained from the use of BoAT v1, which revealed several opportunities for improvement. BoAT v2 is a multi-user and web-based dependency annotation tool that is designed with a focus on the annotator user experience to yield valid annotations. The main objectives of the tool are to: (1) support creating valid and consistent annotations with increased speed, (2) significantly improve the user experience of the annotator, (3) support collaboration among annotators, and (4) provide an open-source and easily deployable web-based annotation tool with a flexible application programming interface (API) to benefit the scientific community. This paper discusses the requirements elicitation, design, and implementation of BoAT v2 along with examples.


title: DUET: Cross-modal Semantic Grounding for Contrastive Zero-shot Learning

abstract: Zero-shot learning (ZSL) aims to predict unseen classes whose samples have never appeared during training. One of the most effective and widely used semantic information for zero-shot image classification are attributes which are annotations for class-level visual characteristics. However, the current methods often fail to discriminate those subtle visual distinctions between images due to not only the shortage of fine-grained annotations, but also the attribute imbalance and co-occurrence. In this paper, we present a transformer-based end-to-end ZSL method named DUET, which integrates latent semantic knowledge from the pre-trained language models (PLMs) via a self-supervised multi-modal learning paradigm. Specifically, we (1) developed a cross-modal semantic grounding network to investigate the model's capability of disentangling semantic attributes from the images; (2) applied an attribute-level contrastive learning strategy to further enhance the model's discrimination on fine-grained visual characteristics against the attribute co-occurrence and imbalance; (3) proposed a multi-task learning policy for considering multi-model objectives. We find that our DUET can achieve state-of-the-art performance on three standard ZSL benchmarks and a knowledge graph equipped ZSL benchmark. Its components are effective and its predictions are interpretable.


title: Optimal dividends revisited: a gradient-based method and evolutionary algorithms

abstract: We reconsider the study of optimal dividend strategies in the Cram\'er-Lundberg risk model. It is well-known that the solution of the classical dividend problem is in general a band strategy. However, the numerical techniques for the identification of the optimal bands available in the literature are very hard to implement and explicit numerical results are known for very few cases only. In this paper we put a gradient-based method into place which allows to determine optimal bands in more general situations. In addition, we adapt an evolutionary algorithm to this dividend problem, which is not as fast, but applicable in considerable generality, and can serve for providing a competitive benchmark. We illustrate the proposed methods in concrete examples, reproducing earlier results in the literature as well as establishing new ones for claim size distributions that could not be studied before.


title: About Fractional Analytic QCD beyond Leading Order

abstract: We present an overview of fractional analytic QCD beyond leading order, following the results recently obtained in Ref. [1]. We demonstrate four different representations, the details of their derivation, and show the applicability of analytic QCD to the analysis of the Bjorken sum rule.


title: Improving Nighttime Driving-Scene Segmentation via Dual Image-adaptive Learnable Filters

abstract: Semantic segmentation on driving-scene images is vital for autonomous driving. Although encouraging performance has been achieved on daytime images, the performance on nighttime images are less satisfactory due to the insufficient exposure and the lack of labeled data. To address these issues, we present an add-on module called dual image-adaptive learnable filters (DIAL-Filters) to improve the semantic segmentation in nighttime driving conditions, aiming at exploiting the intrinsic features of driving-scene images under different illuminations. DIAL-Filters consist of two parts, including an image-adaptive processing module (IAPM) and a learnable guided filter (LGF). With DIAL-Filters, we design both unsupervised and supervised frameworks for nighttime driving-scene segmentation, which can be trained in an end-to-end manner. Specifically, the IAPM module consists of a small convolutional neural network with a set of differentiable image filters, where each image can be adaptively enhanced for better segmentation with respect to the different illuminations. The LGF is employed to enhance the output of segmentation network to get the final segmentation result. The DIAL-Filters are light-weight and efficient and they can be readily applied for both daytime and nighttime images. Our experiments show that DAIL-Filters can significantly improve the supervised segmentation performance on ACDC_Night and NightCity datasets, while it demonstrates the state-of-the-art performance on unsupervised nighttime semantic segmentation on Dark Zurich and Nighttime Driving testbeds.


title: The least-control principle for local learning at equilibrium

abstract: Equilibrium systems are a powerful way to express neural computations. As special cases, they include models of great current interest in both neuroscience and machine learning, such as deep neural networks, equilibrium recurrent neural networks, deep equilibrium models, or meta-learning. Here, we present a new principle for learning such systems with a temporally- and spatially-local rule. Our principle casts learning as a least-control problem, where we first introduce an optimal controller to lead the system towards a solution state, and then define learning as reducing the amount of control needed to reach such a state. We show that incorporating learning signals within a dynamics as an optimal control enables transmitting activity-dependent credit assignment information, avoids storing intermediate states in memory, and does not rely on infinitesimal learning signals. In practice, our principle leads to strong performance matching that of leading gradient-based learning methods when applied to an array of problems involving recurrent neural networks and meta-learning. Our results shed light on how the brain might learn and offer new ways of approaching a broad class of machine learning problems.


title: Quantum Synchronization in quadratically coupled quantum van der Pol oscillators

abstract: We implement nonlinear anharmonic interaction in the coupled van der Pol oscillators to investigate the quantum synchronization behaviour of the systems. We study the quantum synchronization in two oscillator models, coupled quantum van der Pol oscillators and anharmonic self-oscillators. We demonstrate that the considered systems exhibit a high-order synchronization through coupling in both classical and quantum domains. We show that due to the anharmonicity of the nonlinear interaction between the oscillators the system exhibits phonon blockade in the phase locking regime which is a pure nonclassical effect and has not been observed in the classical domain. We also demonstrate that for coupled anharmonic oscillators the system shows a multiple resonance phase locking behaviour due to nonlinear interaction. We point out that the synchronization blockade arises due to strong anticorrelation between the oscillators which leads to phonon antibunching in the same parametric regime. In the anharmonic oscillator case we illustrate the simultaneous occurrence of bunching and antibunching effects as a consequence of simultaneous negative and positive correlation between the anharmonic oscillators. We examine the aforementioned characteristic features in the frequency entrainment of the oscillators using power spectrum where one can observe normal mode splitting and Mollow triplet in the strong coupling regime. Finally, we propose a possible experimental realization for the considered system in trapped ion and optomechanical setting.


title: Egocentric Video-Language Pretraining @ EPIC-KITCHENS-100 Multi-Instance Retrieval Challenge 2022

abstract: In this report, we propose a video-language pretraining (VLP) based solution \cite{kevin2022egovlp} for the EPIC-KITCHENS-100 Multi-Instance Retrieval (MIR) challenge. Especially, we exploit the recently released Ego4D dataset \cite{grauman2021ego4d} to pioneer Egocentric VLP from pretraining dataset, pretraining objective, and development set. Based on the above three designs, we develop a pretrained video-language model that is able to transfer its egocentric video-text representation to MIR benchmark. Furthermore, we devise an adaptive multi-instance max-margin loss to effectively fine-tune the model and equip the dual-softmax technique for reliable inference. Our best single model obtains strong performance on the challenge test set with 47.39% mAP and 61.44% nDCG. The code is available at https://github.com/showlab/EgoVLP.


title: Automorphism groups of Cayley evolution algebras

abstract: In this paper we introduce a new species of evolution algebras that we call Cayley evolution algebras. We show that if a field $k$ contains sufficiently many elements (for example if $k$ is infinite) then every finite group $G$ is isomorphic to $Aut(X)$ where $X$ is a finite-dimensional absolutely simple Cayley evolution $k$-algebra.


title: Spectral Power Profile Optimization of Field-Deployed WDM Network by Remote Link Modeling

abstract: A digital twin model of a multi-node WDM network is obtained from a single access point. The model is used to predict and optimize the transmit power profile for each link in the network and up to 2.2~dB of margin improvements are obtained w.r.t. unoptimized transmission.


title: Safe Reinforcement Learning via Confidence-Based Filters

abstract: Ensuring safety is a crucial challenge when deploying reinforcement learning (RL) to real-world systems. We develop confidence-based safety filters, a control-theoretic approach for certifying state safety constraints for nominal policies learned via standard RL techniques, based on probabilistic dynamics models. Our approach is based on a reformulation of state constraints in terms of cost functions, reducing safety verification to a standard RL task. By exploiting the concept of hallucinating inputs, we extend this formulation to determine a "backup" policy that is safe for the unknown system with high probability. Finally, the nominal policy is minimally adjusted at every time step during a roll-out towards the backup policy, such that safe recovery can be guaranteed afterwards. We provide formal safety guarantees, and empirically demonstrate the effectiveness of our approach.


title: Formal Verification of Safety Properties Using Interpolation and k-induction

abstract: This technical report presents implementation of two symbolic model checking algorithms that use SAT/SMT Solvers, namely interpolation based model checking and k-induction based model checking. We also do a comparative analysis of these two model checking algorithms.


title: Accurate Instance-Level CAD Model Retrieval in a Large-Scale Database

abstract: We present a new solution to the fine-grained retrieval of clean CAD models from a large-scale database in order to recover detailed object shape geometries for RGBD scans. Unlike previous work simply indexing into a moderately small database using an object shape descriptor and accepting the top retrieval result, we argue that in the case of a large-scale database a more accurate model may be found within a neighborhood of the descriptor. More importantly, we propose that the distinctiveness deficiency of shape descriptors at the instance level can be compensated by a geometry-based re-ranking of its neighborhood. Our approach first leverages the discriminative power of learned representations to distinguish between different categories of models and then uses a novel robust point set distance metric to re-rank the CAD neighborhood, enabling fine-grained retrieval in a large shape database. Evaluation on a real-world dataset shows that our geometry-based re-ranking is a conceptually simple but highly effective method that can lead to a significant improvement in retrieval accuracy compared to the state-of-the-art.


title: How centralized is decentralized? Comparison of wealth distribution in coins and tokens

abstract: Rapidly growing distributed ledger technologies (DLTs) have recently received attention among researchers in both industry and academia. While a lot of existing analysis (mainly) of the Bitcoin and Ethereum networks is available, the lack of measurements for other crypto projects is observed. This article addresses questions about tokenomics and wealth distributions in cryptocurrencies. We analyze the time-dependent statistical properties of top cryptocurrency holders for 14 different distributed ledger projects. The provided metrics include approximated Zipf coefficient, Shannon entropy, Gini coefficient, and Nakamoto coefficient. We show that there are quantitative differences between the coins (cryptocurrencies operating on their own independent network) and tokens (which operate on top of a smart contract platform). Presented results show that coins and tokens have different values of approximated Zipf coefficient and centralization levels. This work is relevant for DLTs as it might be useful in modeling and improving the committee selection process, especially in decentralized autonomous organizations (DAOs) and delegated proof of stake (DPoS) blockchains.


title: Microparticle Brownian Motion near an Air-Water Interface Governed by Direction-Dependent Boundary Conditions

abstract: Although the dynamics of colloids in the vicinity of a solid interface has been widely characterized in the past, experimental studies of Brownian diffusion close to an air-water interface are rare and limited to particle-interface gap distances larger than the particle size. At the still unexplored lower distances, the dynamics is expected to be extremely sensitive to boundary conditions at the air-water interface. There, ad hoc experiments would provide a quantitative validation of predictions. Using a specially designed dual wave interferometric setup, the 3D dynamics of 9 micrometers diameter particles at a few hundreds of nanometers from an air-water interface is here measured in thermal equilibrium. Intriguingly, while the measured dynamics parallel to the interface approaches expected predictions for slip boundary conditions, the Brownian motion normal to the interface is very close to the predictions for no-slip boundary conditions. These puzzling results are rationalized considering current models of incompressible interfacial flow and deepened developing an ad hoc model which considers the contribution of tiny concentrations of surface active particles at the interface. We argue that such condition governs the particle dynamics in a large spectrum of systems ranging from biofilm formation to flotation process.


title: Explore Faster Localization Learning For Scene Text Detection

abstract: Generally pre-training and long-time training computation are necessary for obtaining a good-performance text detector based on deep networks. In this paper, we present a new scene text detection network (called FANet) with a Fast convergence speed and Accurate text localization. The proposed FANet is an end-to-end text detector based on transformer feature learning and normalized Fourier descriptor modeling, where the Fourier Descriptor Proposal Network and Iterative Text Decoding Network are designed to efficiently and accurately identify text proposals. Additionally, a Dense Matching Strategy and a well-designed loss function are also proposed for optimizing the network performance. Extensive experiments are carried out to demonstrate that the proposed FANet can achieve the SOTA performance with fewer training epochs and no pre-training. When we introduce additional data for pre-training, the proposed FANet can achieve SOTA performance on MSRATD500, CTW1500 and TotalText. The ablation experiments also verify the effectiveness of our contributions.


title: Nonlinear clogging of a rectangular slit by a spherical soft particle

abstract: The capture of a soft spherical particle by a rectangular slit leads to a non-monotonic pressure-flow rate relation at low Reynolds number. In the presence of the trapped particle the flow-induced deformations focus the streamlines and pressure drop to a small region. This increases the resistance to flow by several orders of magnitude as the driving pressure is increased. As a result two regimes are observed: a flow-dominated regime for small particle deformations, where flow rate increases with pressure, and an elastic-dominated regime in which solid deformations block the flow.


title: Dielectric function of CuBr$_\mathrm{x}$I$_{1-\mathrm{x}}$ alloy thin films

abstract: We study the dielectric function of CuBr$_\mathrm{x}$I$_{1-\mathrm{x}}$ thin film alloys using spectroscopic ellipsometry in the spectral range between 0.7 eV to 6.4 eV, in combination with first-principles calculations based on density functional theory. Through the comparison of theory and experiment, we attribute features in the dielectric function to electronic transitions at specific k-points in the Brillouin zone. The observed bandgap bowing as a function of alloy composition is discussed in terms of different physical and chemical contributions. The band splitting at the top of the valence band due to spin-orbit coupling is found to decrease with increasing Br-concentration, from a value of 660 meV for CuI to 150 meV for CuBr. This result can be understood considering the contribution of copper d-orbitals to the valence band maximum as a function of the alloy composition.


title: Multi-scale alignment and Spatial ROI Module for COVID-19 Diagnosis

abstract: Coronavirus Disease 2019 (COVID-19) has spread globally and become a health crisis faced by humanity since first reported. Radiology imaging technologies such as computer tomography (CT) and chest X-ray imaging (CXR) are effective tools for diagnosing COVID-19. However, in CT and CXR images, the infected area occupies only a small part of the image. Some common deep learning methods that integrate large-scale receptive fields may cause the loss of image detail, resulting in the omission of the region of interest (ROI) in COVID-19 images and are therefore not suitable for further processing. To this end, we propose a deep spatial pyramid pooling (D-SPP) module to integrate contextual information over different resolutions, aiming to extract information under different scales of COVID-19 images effectively. Besides, we propose a COVID-19 infection detection (CID) module to draw attention to the lesion area and remove interference from irrelevant information. Extensive experiments on four CT and CXR datasets have shown that our method produces higher accuracy of detecting COVID-19 lesions in CT and CXR images. It can be used as a computer-aided diagnosis tool to help doctors effectively diagnose and screen for COVID-19.


title: Can Competition Outperform Collaboration? The Role of Misbehaving Agents

abstract: We investigate a novel approach to resilient distributed optimization with quadratic costs in a multi-agent system prone to unexpected events that make some agents misbehave. In contrast to commonly adopted filtering strategies, we draw inspiration from phenomena modeled through the Friedkin-Johnsen dynamics and argue that adding competition to the mix can improve resilience in the presence of misbehaving agents. Our intuition is corroborated by analytical and numerical results showing that (i) there exists a nontrivial trade-off between full collaboration and full competition and (ii) our competition-based approach can outperform state-of-the-art algorithms based on Weighted Mean Subsequence Reduced. We also study impact of communication topology and connectivity on resilience, pointing out insights to robust network design.


title: New linking theorems with applications to critical growth elliptic problems with jumping nonlinearities

abstract: We study critical growth elliptic problems with jumping nonlinearities. Standard linking arguments based on decompositions of $H^1_0(\Omega)$ into eigenspaces of $- \Delta$ cannot be used to obtain nontrivial solutions to such problems. We show that the associated variational functional admits certain linking structures based on splittings of $H^1_0(\Omega)$ into nonlinear submanifolds. In order to capture these linking geometries, we prove several generalizations of the classical linking theorem of Rabinowitz that are not based on linear subspaces. We then use these new linking theorems to obtain nontrivial solutions of our problems. Our abstract results are of independent interest and can be used to obtain nontrivial solutions of other types of problems with jumping nonlinearities as well.


title: Probability Modelled Averaged Spectrally Optimal Dual Frame and Dual Pair for Erasure

abstract: Finding the optimal dual frame and optimal dual pair for signal reconstruction, which can minimize the reconstruction error when erasure occurs during data transmission, is a deep rooted problem from the perspective of frame theory. In this paper, we consider a new measurement for the error operator by taking the average of spectral radius and operator norm with probabilistic erasure. In this measurement, optimal dual frames are called Probabilistic Averaged Spectrally Optimal Dual frames, PASOD-frames in short and optimal dual pair is called PASOD-pair. The properties of the set of PASOD-frames for a pre-selected frame, has been studied. We prove that the set of all PASOD-frames is convex, closed and compact. We also show that the image of a PASOD-frame and PASOD-pair under any unitary operator is also a PASOD-frame and PASOD-pair. We provide several equivalent conditions for the canonical dual to be the unique PASOD-frame for a given frame $F.$ Moreover, we prove non-uniqueness of PASOD-frame under certain condition of the given frame. We also go on to characterize the set of all PASOD-pairs and give several equivalent conditions for a dual pair to become POD, PSOD and PASOD-pair.


title: Efficient broadband frequency conversion via shortcut to adiabaticity

abstract: The method of adiabatic frequency conversion, in analogy with the two level atomic system, has been put forward recently and verified experimentally to achieve robust frequency mixing processes such as sum and difference frequency generation. Here we present a comparative study of efficient frequency mixing using various techniques of shortcuts to adiabaticity (STA) such as counter-diabatic driving and invariant-based inverse engineering. We show that, it is possible to perform sum frequency generation by properly designing the poling structure of a periodically poled crystal and the coupling between the input lights and the crystal. The required crystal length for frequency conversion is significantly decreases beyond the adiabatic limit. Our approach significantly improves the robustness of the process against the variation in temperature as well as the signal frequency. By introducing a single parameter control technique with constant coupling and combining with the inverse engineering, perturbation theory and optimal control, we show that the phase mismatch can be further optimized with respect to the fluctuations of input wavelength and crystal temperature that results into a novel experimentally realizable mixing scheme.


title: Cover Your Bases: Asymptotic Distributions of the Profile Likelihood Ratio When Constraining Effective Field Theories in High-Energy Physics

abstract: We investigate the asymptotic distribution of the profile likelihood ratio (PLR) when constraining effective field theories (EFTs) and show that Wilks' theorem is often violated, meaning that we should not assume the PLR to follow a $\chi^2$-distribution. We derive the correct asymptotic distributions when either one or two real EFT couplings modulate observable cross sections with a purely linear or quadratic dependence. We then discover that when both the linear and quadratic terms contribute, the PLR distribution does not have a simple form. In this case we provide a partly-numerical solution for the one-parameter case. Using a novel approach, we find that the constants which define our asymptotic distributions may be obtained experimentally using a profile of the Asimov likelihood contour. Our results may be immediately used to obtain the correct coverage when deriving real-world EFT constraints using the PLR as a test-statistic.


title: Drawing Feynman diagrams with GLE

abstract: A package for drawing publication-quality Feynman diagrams written in GLE is described.


title: Terrorist attacks sharpen the binary perception of "Us" vs. "Them"

abstract: Terrorist attacks not only harm citizens but also shift their attention, which has long-lasting impacts on public opinion and government policies. Yet measuring the changes in public attention beyond media coverage has been methodologically challenging. Here we approach this problem by starting from Wikipedia's r\'epertoire of 5.8 million articles and a sample of 15 recent terrorist attacks. We deploy a complex exclusion procedure to identify topics and themes that consistently received a significant increase in attention due to these incidents. Examining their contents reveals a clear picture: terrorist attacks foster establishing a sharp boundary between "Us" (the target society) and "Them" (the terrorist as the enemy). In the midst of this, one seeks to construct identities of both sides. This triggers curiosity to learn more about "Them" and soul-search for a clearer understanding of "Us". This systematic analysis of public reactions to disruptive events could help mitigate their societal consequences.

categories: physics.soc-ph cs.CY cs.SI physics.data-an


title: DMC-ICE13: ambient and high pressure polymorphs of ice from Diffusion Monte Carlo and Density Functional Theory

abstract: Ice is one of the most important and interesting molecular crystals exhibiting a rich and evolving phase diagram. Recent discoveries mean that there are now twenty distinct polymorphs; a structural diversity that arises from a delicate interplay of hydrogen bonding and van der Waals dispersion forces. This wealth of structures provides a stern test of electronic structure theories, with Density Functional Theory (DFT) often not able to accurately characterise the relative energies of the various ice polymorphs. Thanks to recent advances that enable the accurate and efficient treatment of molecular crystals with Diffusion Monte Carlo (DMC), we present here the DMC-ICE13 dataset; a dataset of lattice energies of 13 ice polymorphs. This dataset encompasses the full structural complexity found in the ambient and high-pressure molecular ice polymorphs and when experimental reference energies are available our DMC results deliver sub-chemical accuracy. Using this dataset we then perform an extensive benchmark of a broad range of DFT functionals. Of the functionals considered, we find revPBE-D3 and RSCAN to reproduce reference absolute lattice energies with the smallest error, whilst optB86b-vdW and SCAN+rVV10 have the best performance on the relative lattice energies. Our results suggest that a single functional achieving reliable performance for all phases is still missing, and that care is needed in the selection of the most appropriate functional for the desired application. The insights obtained here may also be relevant to liquid water and other hydrogen bonded and dispersion bonded molecular crystals.


title: Measurement of the $t\bar{t}$ production cross-section in $pp$ collisions at $\sqrt{s}=5.02$ TeV with the ATLAS detector

abstract: The inclusive top-quark pair ($t\bar{t}$) production cross-section $\sigma_{t\bar{t}}$ is measured in proton-proton collisions at a centre-of-mass energy $\sqrt{s}=5.02$ TeV, using 257 pb$^{-1}$ of data collected in 2017 by the ATLAS experiment at the LHC. The $t\bar{t}$ cross-section is measured in both the dilepton and single-lepton final states of the $t\bar{t}$ system and then combined. The combination of the two measurements yields $\sigma_{t\bar{t}} = 67.5 \pm 0.9\text{(stat.)} \pm 2.3 \text{(syst.)} \pm 1.1\text{(lumi.)} \pm 0.2\text{(beam)}$ pb, where the four uncertainties reflect the limited size of the data sample, experimental and theoretical systematic effects, and imperfect knowledge of both the integrated luminosity and the LHC beam energy, giving a total uncertainty of 3.9%. The result is in agreement with theoretical quantum chromodynamic calculations at next-to-next-to-leading order in the strong coupling constant, including the resummation of next-to-next-to-leading logarithmic soft-gluon terms, and constrains the parton distribution functions of the proton at large Bjorken-$x$.


title: One-sided $C_{p}$ estimates via $M^{\sharp}$ function

abstract: We recall that $w\in C_{p}^{+}$ if there exist $\varepsilon>0$ and $C>0$ such that for any $a<b<c$ with $c-b<b-a$ and any measurable set $E\subset(a,b)$, the following holds \[ \int_{E}w\leq C\left(\frac{|E|}{(c-b)}\right)^{\varepsilon}\int_{\mathbb{R}}\left(M^{+}\chi_{(a,c)}\right)^{p}w<\infty. \] This condition was introduced by Riveros and de la Torre as a one-sided counterpart of the $C_{p}$ condition studied first by Muckenhoupt and Sawyer. In this paper we show that given $1<p<q<\infty$ if $w\in C_{q}^{+}$ then \[ \|M^{+}f\|_{L^{p}(w)}\lesssim\|M^{\sharp,+}f\|_{L^{p}(w)} \] and conversely if such an inequality holds, then $w\in C_{p}^{+}.$


title: Towards Real-World Video Denosing: A Practical Video Denosing Dataset and Network

abstract: To facilitate video denoising research, we construct a compelling dataset, namely, "Practical Video Denoising Dataset" (PVDD), containing 200 noisy-clean dynamic video pairs in both sRGB and RAW format. Compared with existing datasets consisting of limited motion information, PVDD covers dynamic scenes with varying and natural motion. Different from datasets using primarily Gaussian or Poisson distributions to synthesize noise in the sRGB domain, PVDD synthesizes realistic noise from the RAW domain with a physically meaningful sensor noise model followed by ISP processing. Moreover, we also propose a new video denoising framework, called Recurrent Video Denoising Transformer (RVDT), which can achieve SOTA performance on PVDD and other current video denoising benchmarks. RVDT consists of both spatial and temporal transformer blocks to conduct denoising with long-range operations on the spatial dimension and long-term propagation on the temporal dimension. Especially, RVDT exploits the attention mechanism to implement the bi-directional feature propagation with both implicit and explicit temporal modeling. Extensive experiments demonstrate that 1) models trained on PVDD achieve superior denoising performance on many challenging real-world videos than on models trained on other existing datasets; 2) trained on the same dataset, our proposed RVDT can have better denoising performance than other types of networks.


title: Multipole decomposition of tensor interactions of fermionic probes with composite particles and BSM signatures in nuclear reactions

abstract: A multipole decomposition of a cross-section is a useful tool to simplify the analysis of reactions due to their symmetry properties. By using a new approach to decompose antisymmetric tensor-type interactions within the multipole analysis, we introduce a general mathematical formalism for working with tensor couplings. This allows us to present a general tensor nuclear response, which is particularly useful for ongoing beta-decay experiments looking for physics beyond the Standard Model, as well as other exotic particle scatterings off nuclei, e.g., in dark matter direct detection experiments. Using this method, beyond the Standard Model operators identify with the known Standard Model operators, eliminating the need for calculations of additional matrix elements. We present in detail BSM expressions useful for beta-decay experiments and give an exemplary application for 6He beta-decay, although the formalism is easily generalizable for calculating other exotic scattering reactions.


title: Production of Singlet dominated scalar(s) at the LHC

abstract: The leading order production of an SM singlet-like scalar has primarily been realized through the gluon fusion process by mixing with the $SU(2)_L$ scalar doublet of the model. The dominant part of the physical state, i.e., the singlet component, does not have any role in its direct production. Focusing on such a state with a mass smaller than the SM-like Higgs scalar, we calculate the dominant next-to-leading (NLO) order corrections to its production cross-section. With these improved cross-sections, the present and future LHC limits may become somewhat more stringent.


title: Recipe for higher-order topology on the triangular lattice

abstract: We present a recipe for an electronic 2D higher order topological insulator (HOTI) on the triangular lattice that can be realized in a large family of materials. The essential ingredient is mirror symmetry breaking, which allows for a finite quadrupole moment and trivial $\mathbb{Z}_2$ index. The competition between spin-orbit coupling and the symmetry breaking terms gives rise to four topologically distinct phases; the HOTI phase appears when symmetry breaking dominates, including in the absence of spin-orbit coupling. We identify triangular monolayer adsorbate systems on the (111) surface of zincblende/diamond type substrates as ideal material platforms and predict the HOTI phase for $X=$(Al,B,Ga) on SiC.


title: Virtual linear map algorithm for classical boost in near-term quantum computing

abstract: The rapid progress in quantum computing witnessed in recent years has sparked widespread interest in developing scalable quantum information theoretic methods to work with large quantum systems. For instance, several approaches have been proposed to bypass tomographic state reconstruction, and yet retain to a certain extent the capability to estimate multiple physical properties of a given state previously measured. In this paper, we introduce the Virtual Linear Map Algorithm (VILMA), a new method that enables not only to estimate multiple operator averages using classical post-processing of informationally complete measurement outcomes, but also to do so for the image of the measured reference state under low-depth circuits of arbitrary, not necessarily physical, $k$-local maps. We also show that VILMA allows for the variational optimisation of the virtual circuit through sequences of efficient linear programs. Finally, we explore the purely classical version of the algorithm, in which the input state is a state with a classically efficient representation, and show that the method can prepare ground states of many-body Hamiltonians.


title: BDDC preconditioners for divergence free virtual element discretizations of the Stokes equations

abstract: The Virtual Element Method (VEM) is a new family of numerical methods for the approximation of partial differential equations, where the geometry of the polytopal mesh elements can be very general. The aim of this article is to extend the balancing domain decomposition by constraints (BDDC) preconditioner to the solution of the saddle-point linear system arising from a VEM discretization of the two-dimensional Stokes equations. Under suitable hypotesis on the choice of the primal unknowns, the preconditioned linear system results symmetric and positive definite, thus the preconditioned conjugate gradient method can be used for its solution. We provide a theoretical convergence analysis estimating the condition number of the preconditioned linear system. Several numerical experiments validate the theoretical estimates, showing the scalability and quasi-optimality of the method proposed. Moreover, the solver exhibits a robust behavior with respect to the shape of the polygonal mesh elements. We also show that a faster convergence could be achieved with an easy to implement coarse space, slightly larger than the minimal one covered by the theory.


title: Non(c)esuch Ballot-Level Risk-Limiting Audits for Precinct-Count Voting Systems

abstract: Risk-limiting audits (RLAs) guarantee a high probability of correcting incorrect reported outcomes before the outcomes are certified. The most efficient use ballot-level comparison, comparing the voting system's interpretation of individual ballot cards sampled at random (cast-vote records, CVRs) from a trustworthy paper trail to a human interpretation of the same cards. Such comparisons require the voting system to create and export CVRs in a way that can be linked to the individual ballots the CVRs purport to represent. Such links can be created by keeping the ballots in the order in which they are scanned or by printing a unique serial number on each ballot. But for precinct-count systems (PCOS), these strategies may compromise vote anonymity: the order in which ballots are cast may identify the voters who cast them. Printing a unique pseudo-random number ("cryptographic nonce") on each ballot card after the voter last touches it could reduce such privacy risks. But what if the system does not in fact print a unique number on each ballot or does not accurately report the numbers it printed? This paper gives two ways to conduct an RLA so that even if the system does not print a genuine nonce on each ballot or misreports the nonces it used, the audit's risk limit is not compromised (however, the anonymity of votes might be compromised). One method allows untrusted technology to be used to imprint and to retrieve ballot cards. The method is adaptive: if the technology behaves properly, this protection does not increase the audit workload. But if the imprinting or retrieval system misbehaves, the sample size the RLA requires to confirm the reported results when the results are correct is generally larger than if the imprinting and retrieval were accurate.


title: Dissipativity, Convexity and Tight O'Shea-Zames-Falb Multipliers for Safety Guarantees

abstract: We develop a novel convex parametrization of integral quadratic constraints with a terminal cost for subdifferentials of convex functions, involving general O'Shea-Zames-Falb multipliers. We show the benefit of our results for the reduction of conservatism of existing techniques, and sketch applications to the analysis of optimization algorithms or the stability analysis of neural network controllers. The development is prepared by providing a novel link between the convex integrability of a multivariable mapping and dissipativity theory.


title: Joint discrete and continuous matrix distribution modelling

abstract: In this paper we introduce a bivariate distribution on $\mathbb{R}_{+} \times \mathbb{N}$ arising from a single underlying Markov jump process. The marginal distributions are phase-type and discrete phase-type distributed, respectively, which allow for flexible behavior for modeling purposes. We show that the distribution is dense in the class of distributions on $\mathbb{R}_{+} \times \mathbb{N}$ and derive some of its main properties, all explicit in terms of matrix calculus. Furthermore, we develop an effective EM algorithm for the statistical estimation of the distribution parameters. In the last part of the paper, we apply our methodology to an insurance dataset, where we model the number of claims and the mean claim sizes of policyholders, which is seen to perform favorably. An additional consequence of the latter analysis is that the total loss size in the entire portfolio is captured substantially better than with independent phase-type models.


title: The Best Bounds for Range Type Statistics

abstract: In this paper, we obtain the upper and lower bounds for two inequalities related to the range statistics. The first one is concerning the one-variable case and the second one is about the bivariate case.


title: Erratum to "Homotopy theory of Moore flows I"

abstract: The notion of reparametrization category is incorrectly axiomatized and it must be adjusted. It is proved that for a general reparametrization category $\mathcal{P}$, the tensor product of $\mathcal{P}$-spaces yields a biclosed semimonoidal structure. It is also described some kind of objectwise braiding for $\mathcal{G}$-spaces.


title: On the existence of weak solutions to stochastic Volterra equations

abstract: The existence of weak solutions is established for stochastic Volterra equations with time-inhomogeneous coefficients allowing for general kernels in the drift and convolutional or bounded kernels in the diffusion term. The presented approach is based on a newly formulated local martingale problem associated to stochastic Volterra equations.


title: Joint reconstruction and segmentation of noisy velocity images as an inverse Navier-Stokes problem

abstract: We formulate and solve a generalized inverse Navier-Stokes problem for the joint velocity field reconstruction and boundary segmentation of noisy flow velocity images. To regularize the problem we use a Bayesian framework with Gaussian random fields. This allows us to estimate the uncertainties of the unknowns by approximating their posterior covariance with a quasi-Newton method. We first test the method for synthetic noisy images of 2D flows and observe that the method successfully reconstructs and segments the noisy synthetic images with a signal-to-noise ratio (SNR) of 3. Then we conduct a magnetic resonance velocimetry (MRV) experiment to acquire images of an axisymmetric flow for low ($\simeq 6$) and high ($>30$) SNRs. We show that the method is capable of reconstructing and segmenting the low SNR images, producing noiseless velocity fields and a smooth segmentation, with negligible errors compared with the high SNR images. This amounts to a reduction of the total scanning time by a factor of 27. At the same time, the method provides additional knowledge about the physics of the flow (e.g. pressure), and addresses the shortcomings of MRV (low spatial resolution and partial volume effects) that otherwise hinder the accurate estimation of wall shear stresses. Although the implementation of the method is restricted to 2D steady planar and axisymmetric flows, the formulation applies immediately to 3D steady flows and naturally extends to 3D periodic and unsteady flows.

categories: physics.flu-dyn math.OC physics.comp-ph physics.data-an


title: Spherical Logvinenko-Sereda-Kovrijkine type inequality and null-controllability of the heat equation on the sphere

abstract: It is shown that the restriction of a polynomial to a sphere satisfies a Logvinenko-Sereda-Kovrijkine type inequality. This implies a spectral inequality for the Laplace-Beltrami operator, which, in turn, yields observability and null-controllability with explicit estimates on the control costs for the spherical heat equation that are sharp in the large and in the small time regime.


title: How far is my network from being edge-based? Proximity measures for edge-basedness of unrooted phylogenetic networks

abstract: Phylogenetic networks which are, as opposed to trees, suitable to describe processes like hybridization and horizontal gene transfer, play a substantial role in evolutionary research. However, while non-treelike events need to be taken into account, they are relatively rare, which implies that biologically relevant networks are often assumed to be similar to trees in the sense that they can be obtained by taking a tree and adding some additional edges. This observation led to the concept of so-called tree-based networks, which recently gained substantial interest in the literature. Unfortunately, though, identifying such networks in the unrooted case is an NP-complete problem. Therefore, classes of networks for which tree-basedness can be guaranteed are of the utmost interest. The most prominent such class is formed by so-called edge-based networks, which have a close relationship to generalized series-parallel graphs known from graph theory. They can be identified in linear time and are in some regards biologically more plausible than general tree-based networks. While concerning the latter proximity measures for general networks have already been introduced, such measures are not yet available for edge-basedness. This means that for an arbitrary unrooted network, the "distance" to the nearest edge-based network could so far not be determined. The present manuscript fills this gap by introducing two classes of proximity measures for edge-basedness, one based on the given network itself and one based on its so-called leaf shrink graph (LS graph). Both classes contain four different proximity measures, whose similarities and differences we study subsequently.


title: Comparing the non-unital and unital settings for directed homotopy

abstract: This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which induce equivalences of fundamental (semi)categories. The Ilias model structure cannot be left-lifted along the left adjoint adding identity maps. The minimal model structure on flows having as cofibrations the left-lifting of the cofibrations of the Ilias model structure has a homotopy category equal to the $3$-element totally ordered set. The q-model structure of flows can be right-lifted to a q-model structure of topologically enriched small categories which is minimal and such that the weak equivalences induce equivalences of fundamental categories. The identity functor of topologically enriched small categories is neither a left Quillen adjoint nor a right Quillen adjoint between the q-model structure and the Ilias model structure.


title: Multimodal 4DVarNets for the reconstruction of sea surface dynamics from SST-SSH synergies

abstract: Due to the irregular space-time sampling of sea surface observations, the reconstruction of sea surface dynamics is a challenging inverse problem. While satellite altimetry provides a direct observation of the sea surface height (SSH), which relates to the divergence-free component of sea surface currents, the associated sampling pattern prevents from retrieving fine-scale sea surface dynamics, typically below a 10-day time scale. By contrast, other satellite sensors provide higher-resolution observations of sea surface tracers such as sea surface temperature (SST). Multimodal inversion schemes then arise as an appealing strategy. Though theoretical evidence supports the existence of an explicit relationship between sea surface temperature and sea surface dynamics under specific dynamical regimes, the generalization to the variety of upper ocean dynamical regimes is complex. Here, we investigate this issue from a physics-informed learning perspective. We introduce a trainable multimodal inversion scheme for the reconstruction of sea surface dynamics from multi-source satellite-derived observations. The proposed 4DVarNet schemes combine a variational formulation involving trainable observation and a priori terms with a trainable gradient-based solver. We report an application to the reconstruction of the divergence-free component of sea surface dynamics from satellite-derived SSH and SST data. An observing system simulation experiment for a Gulf Stream region supports the relevance of our approach compared with state-of-the-art schemes. We report relative improvement greater than 50% compared with the operational altimetry product in terms of root mean square error and resolved space-time scales. We discuss further the application and extension of the proposed approach for the reconstruction and forecasting of geophysical dynamics from irregularly-sampled satellite observations.


title: Forecasting Busy-Hour Downlink Traffic in Cellular Networks

abstract: The dramatic growth in cellular traffic volume requires cellular network operators to develop strategies to carefully dimension and manage the available network resources. Forecasting traffic volumes is a fundamental building block for any proactive management strategy and is therefore of great interest in such a context. Differently from what found in the literature, where network traffic is generally predicted in the short-term, in this work we tackle the problem of forecasting busy hour traffic, i.e., the time series of observed daily maxima traffic volumes. We tackle specifically forecasting in the long term (one, two months ahead) and we compare different approaches for the task at hand, considering different forecasting algorithms as well as relying or not on a cluster-based approach which first groups network cells with similar busy hour traffic profiles and then fits per-cluster forecasting models to predict the traffic loads. Results on a real cellular network dataset show that busy hour traffic can be forecasted with errors below 10% for look-ahead periods up to 2 months in the future. Moreover, when clusters are available, we improve forecasting accuracy up to 8% and 5% for look-ahead of 1 and 2 months, respectively.


title: Probabilistic forecasting for geosteering in fluvial successions using a generative adversarial network

abstract: Quantitative workflows utilizing real-time data to constrain ahead-of-bit uncertainty have the potential to improve geosteering significantly. Fast updates based on real-time data are essential when drilling in complex reservoirs with high uncertainties in pre-drill models. However, practical assimilation of real-time data requires effective geological modeling and mathematically robust parameterization. We propose a generative adversarial deep neural network (GAN), trained to reproduce geologically consistent 2D sections of fluvial successions. Offline training produces a fast GAN-based approximation of complex geology parameterized as a 60-dimensional model vector with standard Gaussian distribution of each component. Probabilistic forecasts are generated using an ensemble of equiprobable model vector realizations. A forward-modeling sequence, including a GAN, converts the initial (prior) ensemble of realizations into EM log predictions. An ensemble smoother minimizes statistical misfits between predictions and real-time data, yielding an update of model vectors and reduced uncertainty around the well. Updates can be then translated to probabilistic predictions of facies and resistivities. The present paper demonstrates a workflow for geosteering in an outcrop-based, synthetic fluvial succession. In our example, the method reduces uncertainty and correctly predicts most major geological features up to 500 meters ahead of drill-bit.


title: GraphVid: It Only Takes a Few Nodes to Understand a Video

abstract: We propose a concise representation of videos that encode perceptually meaningful features into graphs. With this representation, we aim to leverage the large amount of redundancies in videos and save computations. First, we construct superpixel-based graph representations of videos by considering superpixels as graph nodes and create spatial and temporal connections between adjacent superpixels. Then, we leverage Graph Convolutional Networks to process this representation and predict the desired output. As a result, we are able to train models with much fewer parameters, which translates into short training periods and a reduction in computation resource requirements. A comprehensive experimental study on the publicly available datasets Kinetics-400 and Charades shows that the proposed method is highly cost-effective and uses limited commodity hardware during training and inference. It reduces the computational requirements 10-fold while achieving results that are comparable to state-of-the-art methods. We believe that the proposed approach is a promising direction that could open the door to solving video understanding more efficiently and enable more resource limited users to thrive in this research field.


title: Task Discrepancy Maximization for Fine-grained Few-Shot Classification

abstract: Recognizing discriminative details such as eyes and beaks is important for distinguishing fine-grained classes since they have similar overall appearances. In this regard, we introduce Task Discrepancy Maximization (TDM), a simple module for fine-grained few-shot classification. Our objective is to localize the class-wise discriminative regions by highlighting channels encoding distinct information of the class. Specifically, TDM learns task-specific channel weights based on two novel components: Support Attention Module (SAM) and Query Attention Module (QAM). SAM produces a support weight to represent channel-wise discriminative power for each class. Still, since the SAM is basically only based on the labeled support sets, it can be vulnerable to bias toward such support set. Therefore, we propose QAM which complements SAM by yielding a query weight that grants more weight to object-relevant channels for a given query image. By combining these two weights, a class-wise task-specific channel weight is defined. The weights are then applied to produce task-adaptive feature maps more focusing on the discriminative details. Our experiments validate the effectiveness of TDM and its complementary benefits with prior methods in fine-grained few-shot classification.


title: Detection of ADHD based on Eye Movements during Natural Viewing

abstract: Attention-deficit/hyperactivity disorder (ADHD) is a neurodevelopmental disorder that is highly prevalent and requires clinical specialists to diagnose. It is known that an individual's viewing behavior, reflected in their eye movements, is directly related to attentional mechanisms and higher-order cognitive processes. We therefore explore whether ADHD can be detected based on recorded eye movements together with information about the video stimulus in a free-viewing task. To this end, we develop an end-to-end deep learning-based sequence model which we pre-train on a related task for which more data are available. We find that the method is in fact able to detect ADHD and outperforms relevant baselines. We investigate the relevance of the input features in an ablation study. Interestingly, we find that the model's performance is closely related to the content of the video, which provides insights for future experimental designs.


title: Comparing cubical and globular directed paths

abstract: A flow is a directed space structure on a homotopy type. It is already known that the underlying homotopy type of the realization of a precubical set as a flow is homotopy equivalent to the realization of the precubical set as a topological space. This realization depends on the non-canonical choice of a q-cofibrant replacement. We construct a new realization functor from precubical sets to flows which is homotopy equivalent to the previous one and which does not depend on the choice of any cofibrant replacement functor. The main tool is the notion of natural $d$-path introduced by Raussen. The flow we obtain for a given precubical set is not anymore q-cofibrant but is still m-cofibrant. As an application, we prove that the space of execution paths of the realization of a precubical set as a flow is homotopy equivalent to the space of nonconstant $d$-paths between vertices in the geometric realization of the precubical set.


title: On the Non-Gaussianity of Sea Surface Elevations

abstract: The sea surface elevations are generally stated as Gaussian processes in the literature. To show the inaccuracy of this statement, an empirical study of the buoys in the US coast at a random day is performed, which results in rejecting the null hypothesis of Gaussianity in over 80$\%$ of the cases. The analysis pursued relates to a recent one by the author in which the heights of sea waves are proved to be non-Gaussian. It is similar in that the Gaussianity of the process is studied as a whole and not just of its one-dimensional marginal, as it is common in the literature. It differs, however, in that the analysis of the sea surface elevations is harder from a statistical point of view, as the one-dimensional marginals are commonly Gaussian, which is observed throughout the study.


title: An attempt to understand relational quantum mechanics

abstract: We search for a possible mathematical formulation of some of the key ideas of the relational interpretation of quantum mechanics and study their consequences. We also briefly overview some proposals of relational quantum mechanics for an axiomatic reconstruction of the Hilbert space formulation of quantum mechanics.


title: Equations for Long-Range Groundwater Flow and Water Table Evolution

abstract: These are notes that I compiled while studying the equations of long-range groundwater flow for my first paper. By "long-range," I mean horizontal distances that are significantly greater than the vertical thickness of the aquifer, in addition to some other assumptions discussed below. None of this material constitutes original development of important new equations, but it might be useful to someone learning about simplified models of groundwater flow for numerical solution. I start from Darcy's Law, reminding myself how to formulate the vertically averaged conservation law for groundwater flow. Then I discuss some ideas about how to solve the flow equation numerically. After that, I go through some cases where the hydraulic conductivity is a simple function of the vertical coordinate and the the steady-state flow equation can be simplified. Finally, there is a very short discussion of the transient case.


title: Exploring Lottery Ticket Hypothesis in Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) have recently emerged as a new generation of low-power deep neural networks, which is suitable to be implemented on low-power mobile/edge devices. As such devices have limited memory storage, neural pruning on SNNs has been widely explored in recent years. Most existing SNN pruning works focus on shallow SNNs (2~6 layers), however, deeper SNNs (>16 layers) are proposed by state-of-the-art SNN works, which is difficult to be compatible with the current SNN pruning work. To scale up a pruning technique towards deep SNNs, we investigate Lottery Ticket Hypothesis (LTH) which states that dense networks contain smaller subnetworks (i.e., winning tickets) that achieve comparable performance to the dense networks. Our studies on LTH reveal that the winning tickets consistently exist in deep SNNs across various datasets and architectures, providing up to 97% sparsity without huge performance degradation. However, the iterative searching process of LTH brings a huge training computational cost when combined with the multiple timesteps of SNNs. To alleviate such heavy searching cost, we propose Early-Time (ET) ticket where we find the important weight connectivity from a smaller number of timesteps. The proposed ET ticket can be seamlessly combined with a common pruning techniques for finding winning tickets, such as Iterative Magnitude Pruning (IMP) and Early-Bird (EB) tickets. Our experiment results show that the proposed ET ticket reduces search time by up to 38% compared to IMP or EB methods. Code is available at Github.


title: Algebraic approach for investigation of a multi-mode quantum system dynamics

abstract: We introduce algebraic approach for superoperators that might be useful tool for investigation of quantum (bosonic) multi-mode systems and its dynamics. In order to demonstrate potential of proposed method we consider multi-mode Liouvillian superoperator that describes relaxation dynamics of a quantum system (including thermalization and intermode coupling). Considered algebraic structure of superoperators that form Liouvillian and their algebraic properties allows us to diagonilize multi-mode Liouvillian to find its spectrum. Also it allows to derive linear by mean number of thermal (environmental) photons approximation for time-evolution superoperator that keeps amount of considered dimensions in Fock space finite (assuming initial amount of dimensions finite) that might be helpful regarding entanglement dynamics problems. Conjugate Liouvillian is considered as well in order to perform analysis in Heisenberg picture, it can be implemented for multi-time correlation functions derivation.


title: Reaching optimal distributed estimation through myopic self-confidence adaptation

abstract: Consider discrete-time linear distributed averaging dynamics, whereby agents in a network start with uncorrelated and unbiased noisy measurements of a common underlying parameter (state of the world) and iteratively update their estimates following a non-Bayesian rule. Specifically, let every agent update her estimate to a convex combination of her own current estimate and those of her neighbors in the network. As a result of this iterative averaging, each agent obtains an asymptotic estimate of the state of the world, and the variance of this individual estimate depends on the matrix of weights the agents assign to self and to the others. We study a game-theoretic multi-objective optimization problem whereby every agent seeks to choose her self-weight in such a convex combination in a way to minimize the variance of her asymptotic estimate of the state of the unknown parameters. Assuming that the relative influence weights assigned by the agents to their neighbors in the network remain fixed and form an irreducible and aperiodic relative influence matrix, we characterize the Pareto frontier of the problem, as well as the set of Nash equilibria in the resulting game.


title: Fractional Bloom boundedness and compactness of commutators

abstract: Let $T$ be a non-degenerate Calder\'on-Zygmund operator and let $b:\mathbb{R}^d\to\mathbb{C}$ be locally integrable. Let $1<p\leq q<\infty$ and let $\mu^p\in A_p$ and $\lambda^q\in A_q,$ where $A_{p}$ denotes the usual class of Muckenhoupt weights. We show that \begin{align*} \|[b,T]\|_{L^p_{\mu}\to L^q_{\lambda}}\sim \|b\|_{\operatorname{BMO}_{\nu}^{\alpha}},\qquad [b,T]\in \mathcal{K}(L^p_{\mu}, L^q_{\lambda})\quad\mbox{iff}\quad b\in \operatorname{VMO}_{\nu}^{\alpha}, \end{align*} where $L^p_\mu=L^p(\mu^p)$ and $\alpha/d = 1/p-1/q,$ , the symbol $\mathcal{K}$ stands for the class of compact operators between the given spaces, and the fractional weighted $\operatorname{BMO}_{\nu}^{\alpha}$ and $\operatorname{VMO}_{\nu}^{\alpha}$ spaces are defined through the following fractional oscillation and Bloom weight \begin{align*} \mathcal{O}_{\nu}^{\alpha}(b;Q) = \nu^{-\alpha/d}(Q)\Big(\frac{1}{\nu(Q)}\int_Q |b-\langle b\rangle_Q|\Big),\qquad \nu = \big(\frac{\mu}{\lambda}\big)^{\beta},\quad \beta = (1+\alpha/d)^{-1}. \end{align*} The key novelty is dealing with the off-diagonal range $p<q$, whereas the case $p=q$ was previously studied by Lacey and Li. However, another novelty in both cases is that our approach allows complex-valued functions $b$, while other arguments based on the median of $b$ on a set are inherently real-valued.


title: Tight bounds and the role of optical loss in polariton-mediated near-field heat transfer

abstract: We introduce an analytical framework for near-field radiative heat transfer in bulk plasmonic and polar media. Considering material dispersion, we derive a closed-form expression for the radiative thermal conductance, which disentangles the role of optical loss from other material dispersion characteristics, such as the spectral width of the Reststrahlen band in polar dielectrics, as well as from the temperature. We provide a universal condition for maximizing heat transfer that defines the optimal interplay between a material's optical loss and polariton resonance frequency, based on which we introduce tight bounds to near-field heat transfer. With this formalism, one can quantitatively evaluate all polaritonic materials in terms of their performance as near-field thermal emitters.


title: Multi-granularity Item-based Contrastive Recommendation

abstract: Contrastive learning (CL) has shown its power in recommendation. However, most CL-based recommendation models build their CL tasks merely focusing on the user's aspects, ignoring the rich diverse information in items. In this work, we propose a novel Multi-granularity item-based contrastive learning (MicRec) framework for the matching stage (i.e., candidate generation) in recommendation, which systematically introduces multi-aspect item-related information to representation learning with CL. Specifically, we build three item-based CL tasks as a set of plug-and-play auxiliary objectives to capture item correlations in feature, semantic and session levels. The feature-level item CL aims to learn the fine-grained feature-level item correlations via items and their augmentations. The semantic-level item CL focuses on the coarse-grained semantic correlations between semantically related items. The session-level item CL highlights the global behavioral correlations of items from users' sequential behaviors in all sessions. In experiments, we conduct both offline and online evaluations on real-world datasets, verifying the effectiveness and universality of three proposed CL tasks. Currently, MicRec has been deployed on a real-world recommender system, affecting millions of users. The source code will be released in the future.


title: Learning Disentangled Representations for Controllable Human Motion Prediction

abstract: Generative model-based motion prediction techniques have recently realized predicting controlled human motions, such as predicting multiple upper human body motions with similar lower-body motions. However, to achieve this, the state-of-the-art methods require either subsequently learning mapping functions to seek similar motions or training the model repetitively to enable control over the desired portion of body. In this paper, we propose a novel framework to learn disentangled representations for controllable human motion prediction. Our network involves a conditional variational auto-encoder (CVAE) architecture to model full-body human motion, and an extra CVAE path to learn only the corresponding partial-body (e.g., lower-body) motion. Specifically, the inductive bias imposed by the extra CVAE path encourages two latent variables in two paths to respectively govern separate representations for each partial-body motion. With a single training, our model is able to provide two types of controls for the generated human motions: (i) strictly controlling one portion of human body and (ii) adaptively controlling the other portion, by sampling from a pair of latent spaces. Additionally, we extend and adapt a sampling strategy to our trained model to diversify the controllable predictions. Our framework also potentially allows new forms of control by flexibly customizing the input for the extra CVAE path. Extensive experimental results and ablation studies demonstrate that our approach is capable of predicting state-of-the-art controllable human motions both qualitatively and quantitatively.


title: Quantised Bulk Conductivity as a Local Chern Marker

abstract: A central property of Chern insulators is the robustness of the topological phase and edge states to impurities in the system. Despite this, Chern number cannot be straightforwardly calculated in the presence of disorder. Recently, work has been done to propose a local analog of the Chern number, called local markers, that can be used to characterise disordered systems. However, it was unclear whether the proposed markers represented a physically-measurable property of the system. Here we propose a local marker starting from a physical argument, as a local cross-conductivity measured in the bulk of the system. We find the explicit form of the marker for a non-interacting system of electrons on the lattice and show that it corresponds to existing expressions for the Chern number. Examples are calculated for a variety of disordered and amorphous systems, showing that it is precisely quantised to the Chern number and robust against disorder.


title: FakeNews: GAN-based generation of realistic 3D volumetric data -- A systematic review and taxonomy

abstract: With the massive proliferation of data-driven algorithms, such as deep learning-based approaches, the availability of high-quality data is of great interest. Volumetric data is very important in medicine, as it ranges from disease diagnoses to therapy monitoring. When the dataset is sufficient, models can be trained to help doctors with these tasks. Unfortunately, there are scenarios where large amounts of data is unavailable. For example, rare diseases and privacy issues can lead to restricted data availability. In non-medical fields, the high cost of obtaining enough high-quality data can also be a concern. A solution to these problems can be the generation of realistic synthetic data using Generative Adversarial Networks (GANs). The existence of these mechanisms is a good asset, especially in healthcare, as the data must be of good quality, realistic, and without privacy issues. Therefore, most of the publications on volumetric GANs are within the medical domain. In this review, we provide a summary of works that generate realistic volumetric synthetic data using GANs. We therefore outline GAN-based methods in these areas with common architectures, loss functions and evaluation metrics, including their advantages and disadvantages. We present a novel taxonomy, evaluations, challenges, and research opportunities to provide a holistic overview of the current state of volumetric GANs.


title: Task-oriented Self-supervised Learning for Anomaly Detection in Electroencephalography

abstract: Accurate automated analysis of electroencephalography (EEG) would largely help clinicians effectively monitor and diagnose patients with various brain diseases. Compared to supervised learning with labelled disease EEG data which can train a model to analyze specific diseases but would fail to monitor previously unseen statuses, anomaly detection based on only normal EEGs can detect any potential anomaly in new EEGs. Different from existing anomaly detection strategies which do not consider any property of unavailable abnormal data during model development, a task-oriented self-supervised learning approach is proposed here which makes use of available normal EEGs and expert knowledge about abnormal EEGs to train a more effective feature extractor for the subsequent development of anomaly detector. In addition, a specific two branch convolutional neural network with larger kernels is designed as the feature extractor such that it can more easily extract both larger scale and small-scale features which often appear in unavailable abnormal EEGs. The effectively designed and trained feature extractor has shown to be able to extract better feature representations from EEGs for development of anomaly detector based on normal data and future anomaly detection for new EEGs, as demonstrated on three EEG datasets. The code is available at https://github.com/ironing/EEG-AD.


title: Causal bubbles in globally hyperbolic spacetimes

abstract: We give an example of a spacetime with a continuous metric which is globally hyperbolic and exhibits causal bubbling. The metric moreover splits orthogonally into a timelike and a spacelike part. We discuss our example in the context of energy conditions and the recently introduced synthetic timelike curvature-dimension (TCD) condition. In particular we observe that the TCD-condition does not, by itself, prevent causal bubbling.


title: Autonomous Drug Design with Multi-Armed Bandits

abstract: Recent developments in artificial intelligence and automation support a new drug design paradigm: autonomous drug design. Under this paradigm, generative models can provide suggestions on thousands of molecules with specific properties, and automated laboratories can potentially make, test and analyze molecules with minimal human supervision. However, since still only a limited number of molecules can be synthesized and tested, an obvious challenge is how to efficiently select among provided suggestions in a closed-loop system. We formulate this task as a stochastic multi-armed bandit problem with multiple plays, volatile arms and similarity information. To solve this task, we adapt previous work on multi-armed bandits to this setting, and compare our solution with random sampling, greedy selection and decaying-epsilon-greedy selection strategies. According to our simulation results, our approach has the potential to perform better exploration and exploitation of the chemical space for autonomous drug design.