title: The photodetector, the heterodyne instrument, and the principle of instrument autonomy

abstract: Measuring instruments, especially ones that observe continually over time, have a reality to them that is independent of the states that stimulate their senses. This is the Principle of Instrument Autonomy. Although the mathematical concept of an instrument implicitly embodies this principle, the conventional analysis of continual observation has become overwhelmingly focused on state evolution rather than on descriptions of instruments themselves. Because of this, it can be hard to appreciate that an instrument that observes for a finite amount of time has an evolution of its own, a stochastic evolution that precedes the Born rule and Schr\"odinger equation of the measured system. In this article, the two most established of the continually observing instruments, the Srinivas-Davies photodetector and the Goetsch-Graham-Wiseman heterodyne detector, are reviewed with an emphasis on the autonomous instrument evolution they define, made explicit by application of the recently introduced Kraus-operator distribution function. It is then pointed out how the heterodyne instrument evolution is a complete alternative to the original idea of energy quantization, where the usual ideas of \emph{temperature} and \emph{energy} of a \emph{state} are replaced by the \emph{time} and \emph{positivity} of the \emph{instrument}.


title: Cool Interstellar Medium as an Evolutionary Tracer in ALMA-Observed Local Dusty Early-Type Galaxies

abstract: The content and distribution of cool interstellar medium (ISM, <30K) can indicate the evolutionary mechanisms that transform late type to early type galaxies (ETGs). To investigate this, ALMA observations of 12CO[2-1] line emission were obtained for five dusty ETGs from a complete sample in low-density environments. Four of the ETGs have massive (approximately 10^9 Msolar), extended molecular gas reservoirs with effective radii of approximately 3 to 5 kpc. This work provides a kinematic and structural analysis of these observations, to explore possible evolutionary mechanisms. Axisymmetric or bisymmetric kinematic models were fitted to observations of molecular gas discs, to quantify the dominant structures present and highlight additional structures or asymmetries. Integral Field Unit (IFU) observations of these ETGs were also examined where available. Two of the ETGs, GAMA64646 and 622305, appear to have undergone tidal disturbance leading to molecular gas discs and/or star-forming inner rings. GAMA272990 may have undergone a merger, leading to an elliptical galaxy with an embedded star-forming molecular gas disc. GAMA622429 has probably undergone a minor merger, indicated by asymmetry in molecular gas distribution and disturbance in optical images. The remaining ETG, GAMA177186, was affected by source confusion from an offset source which could be a high mass, dust- and gas- rich object at high redshift. Overall, it appears that a high proportion of dusty ETGs in low-density environments have massive, extended molecular gas reservoirs, and have undergone some kind of interaction as part of their recent evolution. Secular evolution can then (re-)transform the ETGs from star-forming to passive galaxies.


title: Piecewise linear interpolation of noise in finite element approximations of parabolic SPDEs

abstract: Efficient simulation of stochastic partial differential equations (SPDE) on general domains requires noise discretization. This paper employs piecewise linear interpolation of noise in a fully discrete finite element approximation of a semilinear stochastic reaction-advection-diffusion equation on a convex polyhedral domain. The Gaussian noise is white in time, spatially correlated, and modeled as a standard cylindrical Wiener process on a reproducing kernel Hilbert space. This paper provides the first rigorous analysis of the resulting noise discretization error for a general spatial covariance kernel. The kernel is assumed to be defined on a larger regular domain, allowing for sampling by the circulant embedding method. The error bound under mild kernel assumptions requires non-trivial techniques like Hilbert--Schmidt bounds on products of finite element interpolants, entropy numbers of fractional Sobolev space embeddings and an error bound for interpolants in fractional Sobolev norms. Examples with kernels encountered in applications are illustrated in numerical simulations using the FEniCS finite element software. Key findings include: noise interpolation does not introduce additional errors for Mat\'ern kernels in $d\ge2$; there exist kernels that yield dominant interpolation errors; and generating noise on a coarser mesh does not always compromise accuracy.


title: Lower-than-expected flare temperatures for TRAPPIST-1

abstract: Although high energetic radiation from flares is a potential threat to exoplanet atmospheres and may lead to surface sterilization, it might also provide the extra energy for low-mass stars needed to trigger and sustain prebiotic chemistry. We investigate two flares on TRAPPIST-1, an ultra-cool dwarf star that hosts seven exoplanets of which three lie within its habitable zone. The flares are detected in all four passbands of the MuSCAT2 allowing a determination of their temperatures and bolometric energies. We analyzed the light curves of the MuSCAT1 and MuSCAT2 instruments obtained between 2016 and 2021 in $g,r,i,z_\mathrm{s}$-filters. We conducted an automated flare search and visually confirmed possible flare events. We studied the temperature evolution, the global temperature, and the peak temperature of both flares. For the first time we infer effective black body temperatures of flares that occurred on TRAPPIST-1. The black body temperatures for the two TRAPPIST-1 flares derived from the SED are consistent with $T_\mathrm{SED} = 7940_{-390}^{+430}$K and $T_\mathrm{SED} = 6030_{-270}^{+300}$K. The flare black body temperatures at the peak are also calculated from the peak SED yielding $T_\mathrm{SEDp} = 13620_{-1220}^{1520}$K and $T_\mathrm{SEDp} = 8290_{-550}^{+660}$K. We show that for the ultra-cool M-dwarf TRAPPIST-1 the flare black body temperatures associated with the total continuum emission are lower and not consistent with the usually adopted assumption of 9000-10000 K. This could imply different and faster cooling mechanisms. Further multi-color observations are needed to investigate whether or not our observations are a general characteristic of ultra-cool M-dwarfs. This would have significant implications for the habitability of exoplanets around these stars because the UV surface flux is likely to be overestimated by the models with higher flare temperatures.


title: On the pitfalls of Gaussian likelihood scoring for causal discovery

abstract: We consider likelihood score-based methods for causal discovery in structural causal models. In particular, we focus on Gaussian scoring and analyze the effect of model misspecification in terms of non-Gaussian error distribution. We present a surprising negative result for Gaussian likelihood scoring in combination with nonparametric regression methods.


title: Execution Time Program Verification With Tight Bounds

abstract: This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined for three different scenarios: approximations of the worst-case execution time, exact time reasoning, and less pessimistic execution time estimation using amortized analysis. We define a Hoare logic for the three cases and prove its soundness with respect to an annotated cost-aware operational semantics. Finally, we define a verification conditions (VC) generator that generates the goals needed to prove program correctness, cost, and termination. Those goals are then sent to the Easycrypt toolset for validation. The practicality of the proof system is demonstrated with an implementation in OCaml of the different modules needed to apply it to example programs. Our case studies are motivated by real-time and cryptographic software.


title: Robust Multi-Read Reconstruction from Contaminated Clusters Using Deep Neural Network for DNA Storage

abstract: DNA has immense potential as an emerging data storage medium. The principle of DNA storage is the conversion and flow of digital information between binary code stream, quaternary base, and actual DNA fragments. This process will inevitably introduce errors, posing challenges to accurate data recovery. Sequence reconstruction consists of inferring the DNA reference from a cluster of erroneous copies. A common assumption in existing methods is that all the strands within a cluster are noisy copies originating from the same reference, thereby contributing equally to the reconstruction. However, this is not always valid considering the existence of contaminated sequences caused, for example, by DNA fragmentation and rearrangement during the DNA storage process.This paper proposed a robust multi-read reconstruction model using DNN, which is resilient to contaminated clusters with outlier sequences, as well as to noisy reads with IDS errors. The effectiveness and robustness of the method are validated on three next-generation sequencing datasets, where a series of comparative experiments are performed by simulating varying contamination levels that occurring during the process of DNA storage.


title: Graphical model inference with external network data

abstract: We consider two applications where we study how dependence structure between many variables is linked to external network data. We first study the interplay between social media connectedness and the co-evolution of the COVID-19 pandemic across USA counties. We next study study how the dependence between stock market returns across firms relates to similarities in economic and policy indicators from text regulatory filings. Both applications are modelled via Gaussian graphical models where one has external network data. We develop spike-and-slab and graphical LASSO frameworks to integrate the network data, both facilitating the interpretation of the graphical model and improving inference. The goal is to detect when the network data relates to the graphical model and, if so, explain how. We found that counties strongly connected on Facebook are more likely to have similar COVID-19 evolution (positive partial correlations), accounting for various factors driving the mean. We also found that the association in stock market returns depends in a stronger fashion on economic than on policy indicators. The examples show that data integration can improve interpretation, statistical accuracy, and out-of-sample prediction, in some instances using significantly sparser graphical models.


title: A lab scale experiment for keV sterile neutrino search

abstract: We developed a simple small-scale experiment to measure the beta decay spectrum of $^{3}$H. The aim of this research is to investigate the presence of sterile neutrinos in the keV region. Tritium nuclei were embedded in a 1$\times$1$\times$1 cm$^3$ LiF crystal from the $^6$Li(n,$\alpha$)$^3$H reaction. The energy of the beta electrons absorbed in the LiF crystal was measured with a magnetic microcalorimeter at 40 mK. We report a new method of sample preparation, experiments, and analysis of $^3$H beta measurements. The spectrum of a 10-hour measurement agrees well with the expected spectrum of $^3$H beta decay. The analysis results indicate that this method can be used to search for keV-scale sterile neutrinos.


title: Visual Spatial Description: Controlled Spatial-Oriented Image-to-Text Generation

abstract: Image-to-text tasks, such as open-ended image captioning and controllable image description, have received extensive attention for decades. Here, we further advance this line of work by presenting Visual Spatial Description (VSD), a new perspective for image-to-text toward spatial semantics. Given an image and two objects inside it, VSD aims to produce one description focusing on the spatial perspective between the two objects. Accordingly, we manually annotate a dataset to facilitate the investigation of the newly-introduced task and build several benchmark encoder-decoder models by using VL-BART and VL-T5 as backbones. In addition, we investigate pipeline and joint end-to-end architectures for incorporating visual spatial relationship classification (VSRC) information into our model. Finally, we conduct experiments on our benchmark dataset to evaluate all our models. Results show that our models are impressive, providing accurate and human-like spatial-oriented text descriptions. Meanwhile, VSRC has great potential for VSD, and the joint end-to-end architecture is the better choice for their integration. We make the dataset and codes public for research purposes.


title: Twist maps of the annulus: an abstract point of view

abstract: We introduce the notion of abstract angle at a couple of points defined by two radial foliations of the closed annulus. We use this notion to give unified proofs of some classical results on area preserving positive twist maps of the annulus by using the Lifting Theorem and the Intermediate Value Theorem.


title: The Pump Scheduling Problem: A Real-World Scenario for Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has achieved remarkable success in scenarios such as games and has emerged as a potential solution for control tasks. That is due to its ability to leverage scalability and handle complex dynamics. However, few works have targeted environments grounded in real-world settings. Indeed, real-world scenarios can be challenging, especially when faced with the high dimensionality of the state space and unknown reward function. We release a testbed consisting of an environment simulator and demonstrations of human operation concerning pump scheduling of a real-world water distribution facility to facilitate research. The pump scheduling problem can be viewed as a decision process to decide when to operate pumps to supply water while limiting electricity consumption and meeting system constraints. To provide a starting point, we release a well-documented codebase, present an overview of some challenges that can be addressed and provide a baseline representation of the problem. The code and dataset are available at https://gitlab.com/hdonancio/pumpscheduling.


title: Phase-space distributions of Bose-Einstein condensates in an optical lattice: Optimal shaping and reconstruction

abstract: We apply quantum optimal control to shape the phase-space distribution of Bose-Einstein condensates in a one-dimensional optical lattice. By a time-dependent modulation of the lattice position, determined from optimal control theory, we prepare, in the phase space of each lattice site, translated and squeezed Gaussian states, and superpositions of Gaussian states. Complete reconstruction of these non-trivial states is performed through a maximum likelihood state tomography. As a practical application of our method to quantum simulations, we initialize the atomic wavefunction in an optimal Floquet-state superposition to enhance dynamical tunneling signals.


title: PAC-Bayesian Learning of Optimization Algorithms

abstract: We apply the PAC-Bayes theory to the setting of learning-to-optimize. To the best of our knowledge, we present the first framework to learn optimization algorithms with provable generalization guarantees (PAC-bounds) and explicit trade-off between a high probability of convergence and a high convergence speed. Even in the limit case, where convergence is guaranteed, our learned optimization algorithms provably outperform related algorithms based on a (deterministic) worst-case analysis. Our results rely on PAC-Bayes bounds for general, unbounded loss-functions based on exponential families. By generalizing existing ideas, we reformulate the learning procedure into a one-dimensional minimization problem and study the possibility to find a global minimum, which enables the algorithmic realization of the learning procedure. As a proof-of-concept, we learn hyperparameters of standard optimization algorithms to empirically underline our theory.


title: Pruning by Active Attention Manipulation

abstract: Filter pruning of a CNN is typically achieved by applying discrete masks on the CNN's filter weights or activation maps, post-training. Here, we present a new filter-importance-scoring concept named pruning by active attention manipulation (PAAM), that sparsifies the CNN's set of filters through a particular attention mechanism, during-training. PAAM learns analog filter scores from the filter weights by optimizing a cost function regularized by an additive term in the scores. As the filters are not independent, we use attention to dynamically learn their correlations. Moreover, by training the pruning scores of all layers simultaneously, PAAM can account for layer inter-dependencies, which is essential to finding a performant sparse sub-network. PAAM can also train and generate a pruned network from scratch in a straightforward, one-stage training process without requiring a pre-trained network. Finally, PAAM does not need layer-specific hyperparameters and pre-defined layer budgets, since it can implicitly determine the appropriate number of filters in each layer. Our experimental results on different network architectures suggest that PAAM outperforms state-of-the-art structured-pruning methods (SOTA). On CIFAR-10 dataset, without requiring a pre-trained baseline network, we obtain 1.02% and 1.19% accuracy gain and 52.3% and 54% parameters reduction, on ResNet56 and ResNet110, respectively. Similarly, on the ImageNet dataset, PAAM achieves 1.06% accuracy gain while pruning 51.1% of the parameters on ResNet50. For Cifar-10, this is better than the SOTA with a margin of 9.5% and 6.6%, respectively, and on ImageNet with a margin of 11%.


title: Iteratively Reweighte Least Squares Method for Estimating Polyserial and Polychoric Correlation Coefficients

abstract: An iteratively reweighted least squares (IRLS) method is proposed for estimating polyserial and polychoric correlation coefficients in this paper. It iteratively calculates the slopes in a series of weighted linear regression models fitting on conditional expected values. For polyserial correlation coefficient, conditional expectations of the latent predictor is derived from the observed ordinal categorical variable, and the regression coefficient is obtained using weighted least squares method. In estimating polychoric correlation coefficient, conditional expectations of the response variable and the predictor are updated in turns. Standard errors of the estimators are obtained using the delta method based on data summaries instead of the whole data. Conditional univariate normal distribution is exploited and a single integral is numerically evaluated in the proposed algorithm, comparing to the double integral computed numerically based on the bivariate normal distribution in the traditional maximum likelihood (ML) approaches. This renders the new algorithm very fast in estimating both polyserial and polychoric correlation coefficients. Thorough simulation studies are conducted to compare the performances of the proposed method with the classical ML methods. Real data analyses illustrate the advantage of the new method in computation speed.


title: A new approach for computing the distance and the diameter in circulant graphs

abstract: The diameter of a graph is the maximum distance among all pairs of vertices. Thus a graph $G$ has diameter $d$ if any two vertices are at distance at most $d$ and there are two vertices at distance $d$. We are interested in studying the diameter of circulant graphs $C_n(1,s)$, i.e., graphs with the set $\{0,1,\ldots, n-1\}$ of integers as vertex set and in which two distinct vertices $i,j \in \{0,1,\ldots, n-1\}$ are adjacent if and only if $|i-j|_n\in \{1,s\}$, where $2\leq s\leq \lfloor \frac{n-1}{2} \rfloor$ and $|x|_n=\min(|x|, n-|x|)$. Despite the regularity of circulant graphs, it is difficult to evaluate several parameters, in particular the distance and the diameter. To the best of our knowledge, there is no formulas providing exact values for the distance and the diameter of $C_n(1,s)$ for all $n$ and $s$. In this context, we present in this paper a new approach, based on a simple algorithm, that gives exact values for the distance and the diameter of circulant graphs.


title: Associated Permutations of Complete Non-Ambiguous Trees

abstract: We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swapping operation on CNATs and identify new areas for future research.


title: Bipolar single-molecule electroluminescence and electrofluorochromism

abstract: Understanding the fundamental mechanisms of optoelectronic excitation and relaxation pathways on the single-molecule level has only recently been started by combining scanning tunneling microscopy (STM) and spectroscopy (STS) with STM-induced luminescence (STML). In this paper, we investigate cationic and anionic fluorescence of individual zinc phthalocyanine (ZnPc) molecules adsorbed on ultrathin NaCl films on Ag(111) by using STML. They depend on the tip-sample bias polarity and appear at threshold voltages that are correlated with the onset energies of particular molecular orbitals, as identified by STS. We also find that the fluorescence is caused by a single electron tunneling process. Comparing with results from density functional theory calculations, we propose an alternative many-body picture to describe the charging and electroluminescence mechanism. Our study provides aspects toward well-defined voltage selectivity of bipolar electrofluorochromism, as well as fundamental insights regarding the role of transiently charged states of emitter molecules within OLED devices.


title: Minimum Age of Information in Internet of Things with Opportunistic Channel Access

abstract: This paper investigates an Internet of Things (IoT) system in which multiple devices are observing some object's physical parameters and then offloading their observations back to the BS in time with opportunistic channel access. Specifically, each device accesses the common channel through contention with a certain probability firstly and then the winner evaluates the instant channel condition and decides to accept the right of channel access or not. We analyze this system through the perspective of Age of Information (AoI), which describes the freshness of observed information. The target is to minimize average AoI by optimizing the probability of device participation in contention and the transmission rate threshold. The problem is hard to solve since the AoI expression in fractional form is complex. We first decompose the original problem into two single-variable optimization sub-problems through Dinkelbach method and Block Coordinate Descent (BCD) method. And then we transform them to Monotonic optimization problems by proving the monotonicity of the objective functions, whose global optimal solution is able to be found through Polyblock algorithm. Numerical results verify the validity of our proposed method.


title: Strong domination number of some operations on a graph

abstract: Let $G=(V(G),E(G))$ be a simple graph. A set $D\subseteq V(G)$ is a strong dominating set of $G$, if for every vertex $x\in V(G)\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $\gamma_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we examine the effects on $\gamma_{st}(G)$ when $G$ is modified by operations on edge (or edges) of $G$.


title: Gravitational waves from eccentric extreme mass-ratio inspirals as probes of scalar fields

abstract: We study eccentric orbits of the Schwarzschild spacetime for extreme mass ratio system (EMRI) in modified gravity theories with additional scalar fields. Due to the additional energy and angular momentum carried away by the scalar field, the orbit of the EMRI in modified gravity decays faster than that in general relativity. The time that it takes the eccentricity $e$ to reach the minimum is smaller and the values of the semi-latus rectum $p$ and $e$ at the turning point when $e$ reaches the minimum are bigger for larger scalar charge $d$. In addition to the calculation of energy fluxes with numerical method, we also use the Post-Newtonian expansion of the rate of energy carried away by the scalar field in eccentric orbits to understand the behaviors of the energy emission. By adding the scalar flux to the open code FastEMRIWaveforms of the Black Hole Perturbation Toolkit, we numerically generate fast gravitational waveforms for eccentric EMRIs with scalar fields and use the faithfulness between waveforms with and without the scalar charge to discuss the detection of scalar charge $d$. The detection error of the scalar charge is also estimated with method of Fisher information matrix.


title: Developments in Performance and Portability for MadGraph5_aMC@NLO

abstract: Event generators simulate particle interactions using Monte Carlo techniques, providing the primary connection between experiment and theory in experimental high energy physics. These software packages, which are the first step in the simulation worflow of collider experiments, represent approximately 5 to 20% of the annual WLCG usage for the ATLAS and CMS experiments. With computing architectures becoming more heterogeneous, it is important to ensure that these key software frameworks can be run on future systems, large and small. In this contribution, recent progress on porting and speeding up the Madgraph5_aMC@NLO event generator on hybrid architectures, i.e. CPU with GPU accelerators, is discussed. The main focus of this work has been in the calculation of scattering amplitudes and "matrix elements", which is the computational bottleneck of an event generation application. For physics processes limited to QCD leading order, the code generation toolkit has been expanded to produce matrix element calculations using C++ vector instructions on CPUs and using CUDA for NVidia GPUs, as well as using Alpaka, Kokkos and SYCL for multiple CPU and GPU architectures. Performance is reported in terms of matrix element calculations per time on NVidia, Intel, and AMD devices. The status and outlook for the integration of this work into a production release usable by the LHC experiments, with the same functionalities and very similar user interfaces as the current Fortran version, is also described.


title: Model-matching Principle Applied to the Design of an Array-based All-neural Binaural Rendering System for Audio Telepresence

abstract: Telepresence aims to create an immersive but virtual experience of the audio and visual scene at the far end for users at the near end. In this contribution, we propose an array-based binaural rendering system that converts the array microphone signals into the head-related transfer function (HRTF) filtered output signals for headphone-rendering. The proposed approach is formulated in light of a model-matching principle (MMP) and is capable of delivering more immersive experience than the conventional localization-beamforming-HRTF filtering (LBH) approach. The MMP-based rendering system can be realized via multichannel inverse filtering (MIF) and multichannel deep filtering (MDF). In this study, we adopted the MDF approach and used the LBH as well as MIF as the baselines. The all-neural system jointly captures the spatial information (spatial rendering), preserves ambient sound (enhancement), and reduces noise (enhancement) before generating binaural outputs. Objective and subjective tests are employed to compare the proposed telepresence system with two baselines.


title: Forest: Structural Code Editing with Multiple Cursors

abstract: Software developers frequently refactor code. Often, a single logical refactoring change involves changing multiple related components in a source base such as renaming each occurrence of a variable or function. While many code editors can perform such common and generic refactorings, they do not support more complex refactorings or those that are specific to a given code base. For those, as a flexible - albeit less interactive - alternative, developers can write refactoring scripts that can implement arbitrarily complex logic by manipulating the program's tree representation. In this work, we present Forest, a structural code editor that aims to bridge the gap between the interactiveness of code editors and the expressiveness of refactoring scripts. While structural editors have occupied a niche as general code editors, the key insight of this work is that they enable a novel structural multi-cursor design that allows Forest to reach a similar expressiveness as refactoring scripts; Forest allows to perform a single action simultaneously in multiple program locations and thus support complex refactorings. To support interactivity, Forest provides features typical for text code editors such as writing and displaying the program through its textual representation. Our evaluation demonstrates that Forest allows performing edits similar to those from refactoring scripts, while still being interactive. We attempted to perform edits from 48 real-world refactoring scripts using Forest and found that 11 were possible, while another 17 would be possible with added features. We believe that a multi-cursor setting plays to the strengths of structural editing, since it benefits from reliable and expressive commands. Our results suggest that multi-cursor structural editors could be practical for performing small-scale specialized refactorings.


title: Numerical study of the Transverse Diffusion coefficient for a one component model of plasma

abstract: In this paper we discuss the results of some Molecular Dynamics simulations of a magnetized One Component Plasma, targeted to estimate the diffusion coefficient $D_{\perp}$ in the plane orthogonal to the magnetic field lines. We find that there exists a threshold with respect to the magnetic field strength $|\vec B|$: for weak magnetic field the diffusion coefficients scales as $1/|\vec B|^2$, while a slower decay appears at high field strength. The relation of this transition with the different mixing properties of the microscopic dynamics is investigated by looking at the behavior of the velocity auto correlation.


title: Co-Training an Observer and an Evading Target

abstract: Reinforcement learning (RL) is already widely applied to applications such as robotics, but it is only sparsely used in sensor management. In this paper, we apply the popular Proximal Policy Optimization (PPO) approach to a multi-agent UAV tracking scenario. While recorded data of real scenarios can accurately reflect the real world, the required amount of data is not always available. Simulation data, however, is typically cheap to generate, but the utilized target behavior is often naive and only vaguely represents the real world. In this paper, we utilize multi-agent RL to jointly generate protagonistic and antagonistic policies and overcome the data generation problem, as the policies are generated on-the-fly and adapt continuously. This way, we are able to clearly outperform baseline methods and robustly generate competitive policies. In addition, we investigate explainable artificial intelligence (XAI) by interpreting feature saliency and generating an easy-to-read decision tree as a simplified policy.


title: Estimating the Jones polynomial for Ising anyons on noisy quantum computers

abstract: The evaluation of the Jones polynomial at roots of unity is a paradigmatic problem for quantum computers. In this work we present experimental results obtained from existing noisy quantum computers for special cases of this problem, where it is classically tractable. Our approach relies on the reduction of the problem of evaluating the Jones polynomial of a knot at lattice roots of unity to the problem of computing quantum amplitudes of qudit stabiliser circuits, which are classically efficiently simulatable. More specifically, we focus on evaluation at the fourth root of unity, which is a lattice root of unity, where the problem reduces to evaluating amplitudes of qubit stabiliser circuits. To estimate the real and imaginary parts of the amplitudes up to additive error we use the Hadamard test. We further argue that this setup defines a standard benchmark for near-term noisy quantum processors. Furthermore, we study the benefit of performing quantum error mitigation with the method of zero noise extrapolation.


title: On the isomorphism class of $q$-Gaussian W$^\ast$-algebras for infinite variables

abstract: Let $M_q(H_{\mathbb{R}})$ be the $q$-Gaussian von Neumann algebra associated with a separable infinite dimensional real Hilbert space $H_{\mathbb{R}}$ where $-1 < q < 1$. We show that $M_q(H_{\mathbb{R}}) \not \simeq M_0(H_{\mathbb{R}})$ for $-1 < q \not = 0 < 1$. The C$^\ast$-algebraic counterpart of this result was obtained recently in [BCKW22]. Using ideas of Ozawa we show that this non-isomorphism result also holds on the level of von Neumann algebras.


title: Super-Resolution and Image Re-projection for Iris Recognition

abstract: Several recent works have addressed the ability of deep learning to disclose rich, hierarchical and discriminative models for the most diverse purposes. Specifically in the super-resolution field, Convolutional Neural Networks (CNNs) using different deep learning approaches attempt to recover realistic texture and fine grained details from low resolution images. In this work we explore the viability of these approaches for iris Super-Resolution (SR) in an iris recognition environment. For this, we test different architectures with and without a so called image re-projection to reduce artifacts applying it to different iris databases to verify the viability of the different CNNs for iris super-resolution. Results show that CNNs and image re-projection can improve the results specially for the accuracy of recognition systems using a complete different training database performing the transfer learning successfully.


title: Investigating Quantum Many-Body Systems with Tensor Networks, Machine Learning and Quantum Computers

abstract: We perform quantum simulation on classical and quantum computers and set up a machine learning framework in which we can map out phase diagrams of known and unknown quantum many-body systems in an unsupervised fashion. The classical simulations are done with state-of-the-art tensor network methods in one and two spatial dimensions. For one dimensional systems, we utilize matrix product states (MPS) that have many practical advantages and can be optimized using the efficient density matrix renormalization group (DMRG) algorithm. The data for two dimensional systems is obtained from entangled projected pair states (PEPS) optimized via imaginary time evolution. Data in form of observables, entanglement spectra, or parts of the state vectors from these simulations, is then fed into a deep learning (DL) pipeline where we perform anomaly detection to map out the phase diagram. We extend this notion to quantum computers and introduce quantum variational anomaly detection. Here, we first simulate the ground state and then process it in a quantum machine learning (QML) manner. Both simulation and QML routines are performed on the same device, which we demonstrate both in classical simulation and on a physical quantum computer hosted by IBM.


title: On quantitative metastability for accretive operators

abstract: Kohlenbach and the author have extracted a rate of metastability for approximate curves associated to continuous pseudocontractive self-mappings in Banach spaces which are uniformly convex and uniformly smooth, whose convergence is due to Reich. In this note, we show that this result may be extended to Reich's original convergence statement involving resolvents of accretive operators.


title: A general model-and-run solver for multistage robust discrete linear optimization

abstract: The necessity to deal with uncertain data is a major challenge in decision making. Robust optimization emerged as one of the predominant paradigms to produce solutions that hedge against uncertainty. In order to obtain an even more realistic description of the underlying problem where the decision maker can react to newly disclosed information, multistage models can be used. However, due to their computational difficulty, multistage problems beyond two stages have received less attention and are often only addressed using approximation rather than optimization schemes. Even less attention is paid to the consideration of decision-dependent uncertainty in a multistage setting. We explore multistage robust optimization via quantified linear programs, which are linear programs with ordered variables that are either existentially or universally quantified. Building upon a (mostly) discrete setting where the uncertain parameters -- the universally quantified variables -- are only restricted by their bounds, we present an augmented version that allows stating the discrete uncertainty set via a linear constraint system that also can be affected by decision variables. We present a general search-based solution approach and introduce our solver Yasol that is able to deal with multistage robust linear discrete optimization problems, with final mixed-integer recourse actions and a discrete uncertainty set, which even can be decision-dependent. In doing so, we provide a convenient model-and-run approach, that can serve as baseline for computational experiments in the field of multistage robust optimization, providing optimal solutions for problems with an arbitrary number of decision stages.


title: A lower confidence sequence for the changing mean of non-negative right heavy-tailed observations with bounded mean

abstract: A confidence sequence (CS) is an anytime-valid sequential inference primitive which produces an adapted sequence of sets for a predictable parameter sequence with a time-uniform coverage guarantee. This work constructs a non-parametric non-asymptotic lower CS for the running average conditional expectation whose slack converges to zero given non-negative right heavy-tailed observations with bounded mean. Specifically, when the variance is finite the approach dominates the empirical Bernstein supermartingale of Howard et. al.; with infinite variance, can adapt to a known or unknown $(1 + \delta)$-th moment bound; and can be efficiently approximated using a sublinear number of sufficient statistics. In certain cases this lower CS can be converted into a closed-interval CS whose width converges to zero, e.g., any bounded realization, or post contextual-bandit inference with bounded rewards and unbounded importance weights. A reference implementation and example simulations demonstrate the technique.


title: Point pattern analysis and classification on compact two-point homogeneous spaces evolving time

abstract: This paper introduces a new modeling framework for the statistical analysis of point patterns on a manifold M_{d}, defined by a connected and compact two-point homogeneous space, including the special case of the sphere. The presented approach is based on temporal Cox processes driven by a L^{2}(\mathbb{M}_{d})-valued log-intensity. Different aggregation schemes on the manifold of the spatiotemporal point-referenced data are implemented in terms of the time-varying discrete Jacobi polynomial transform of the log-risk process. The n-dimensional microscale point pattern evolution in time at different manifold spatial scales is then characterized from such a transform. The simulation study undertaken illustrates the construction of spherical point process models displaying aggregation at low Legendre polynomial transform frequencies (large scale), while regularity is observed at high frequencies (small scale). K-function analysis supports these results under temporal short-, intermediate- and long-range dependence of the log-risk process.


title: On-line signature verification using Tablet PC

abstract: On-line signature verification for Tablet PC devices is studied. The on-line signature verification algorithm presented by the authors at the First International Signature Verification Competition (SVC 2004) is adapted to work in Tablet PC environments. An example prototype of securing access and securing document application using this Tablet PC system is also reported. Two different commercial Tablet PCs are evaluated, including information of interest for signature verification systems such as sampling and pressure statistics. Authentication performance experiments are reported considering both random and skilled forgeries by using a new database with over 3000 signatures.


title: Two-center Interference in the Photoionization Delays of Kr2

abstract: We present the experimental observation of two-center interference in the ionization time delays of Kr2. Using attosecond electron-ion-coincidence spectroscopy, we simultaneously measure the photoionization delays of krypton monomer and dimer. The relative time delay is found to oscillate as a function of the electron kinetic energy, an effect that is traced back to constructive and destructive interference of the photoelectron wave packets that are emitted or scattered from the two atomic centers. Our interpretation of the experimental results is supported by solving the time-independent Schrodinger equation of a 1D double-well potential, as well as coupled-channel multiconfigurational quantum-scattering calculations of Kr2. This work opens the door to the study of a broad class of quantum-interference effects in photoionization delays and demonstrates the potential of attosecond coincidence spectroscopy for studying weakly bound systems.


title: Trust Region Policy Optimization with Optimal Transport Discrepancies: Duality and Algorithm for Continuous Actions

abstract: Policy Optimization (PO) algorithms have been proven particularly suited to handle the high-dimensionality of real-world continuous control tasks. In this context, Trust Region Policy Optimization methods represent a popular approach to stabilize the policy updates. These usually rely on the Kullback-Leibler (KL) divergence to limit the change in the policy. The Wasserstein distance represents a natural alternative, in place of the KL divergence, to define trust regions or to regularize the objective function. However, state-of-the-art works either resort to its approximations or do not provide an algorithm for continuous state-action spaces, reducing the applicability of the method. In this paper, we explore optimal transport discrepancies (which include the Wasserstein distance) to define trust regions, and we propose a novel algorithm - Optimal Transport Trust Region Policy Optimization (OT-TRPO) - for continuous state-action spaces. We circumvent the infinite-dimensional optimization problem for PO by providing a one-dimensional dual reformulation for which strong duality holds. We then analytically derive the optimal policy update given the solution of the dual problem. This way, we bypass the computation of optimal transport costs and of optimal transport maps, which we implicitly characterize by solving the dual formulation. Finally, we provide an experimental evaluation of our approach across various control tasks. Our results show that optimal transport discrepancies can offer an advantage over state-of-the-art approaches.


title: New financial ratios based on the compositional data methodology

abstract: Due to their type of mathematical construction, the use of standard financial ratios in studies analysing the financial health of a group of firms leads to a series of statistical problems that can invalidate the results obtained. These problems are originated by the asymmetry of financial ratios. The present article justifies the use of a new methodology using compositional data (CoDa) to analyse the financial statements of a sector, improving analyses using conventional ratios since the new methodology enables statistical techniques to be applied without encountering any serious drawbacks such as skewness and outliers, and without the results depending on the arbitrary choice as to which of the accounting figures is the numerator of the ratio and which is the denominator. An example with data of the wine sector is provided. The results show that when using CoDa, outliers and skewness are much reduced and results are invariant to numerator and denominator permutation.


title: Sensor interoperability and fusion in signature verification: A case study using tablet PC

abstract: Several works related to information fusion for signature verification have been presented. However, few works have focused on sensor fusion and sensor interoperability. In this paper, these two topics are evaluated for signature verification using two different commercial Tablet PCs. An enrolment strategy using signatures from the two Tablet PCs is also proposed. Authentication performance experiments are reported by using a database with over 3000 signatures.


title: Citizen Science to Assess Light Pollution with Mobile Phones

abstract: The analysis of the colour of artificial lights at night has an impact on diverse fields, but current data sources have either limited resolution or scarce availability of images for a specific region. In this work, we propose crowdsourced photos of streetlights as an alternative data source: for this, we designed NightUp Castelldefels, a pilot for a citizen science experiment aimed at collecting data about the colour of streetlights. In particular, we extract the colour from the collected images and compare it to an official database, showing that it is possible to classify streetlights according to their colour from photos taken by untrained citizens with their own smartphones. We also compare our findings to the results obtained from one of the current sources for this kind of study. The comparison highlights how the two approaches give complementary information about artificial lights at night in the area. This work opens a new avenue in the study of the colour of artificial lights at night with the possibility of accurate, massive and cheap data collection.


title: General Image Descriptors for Open World Image Retrieval using ViT CLIP

abstract: The Google Universal Image Embedding (GUIE) Challenge is one of the first competitions in multi-domain image representations in the wild, covering a wide distribution of objects: landmarks, artwork, food, etc. This is a fundamental computer vision problem with notable applications in image retrieval, search engines and e-commerce. In this work, we explain our 4th place solution to the GUIE Challenge, and our "bag of tricks" to fine-tune zero-shot Vision Transformers (ViT) pre-trained using CLIP.


title: Covariant energy density functionals with and without tensor couplings at the Hartree-Bogoliubov level

abstract: Background: The study of additional terms in functionals is relevant to better describe nuclear structure phenomenology. Among these terms, the tensor one is known to impact nuclear structure properties, especially in neutron-rich nuclei. However, its effect has not been studied on the whole nuclear chart yet. Purpose: The impact of terms corresponding to the tensor at the Hartree level, is studied for infinite nuclear matter as well as deformed nuclei, by developing new density-dependent functionals including these terms. In particular, we study in details the improvement such a term can bring to the description of specific nuclear observables. Methods: The framework of covariant energy density functional is used at the Hartree-Bogoliubov level. The free parameters of covariant functionals are optimized by combining Markov-Chain-Monte-Carlo and simplex algorithms. Results: An improvement of the RMS binding energies, spin-orbit splittings and gaps is obtained over the nuclear chart, including axially deformed ones, when including tensors terms. Small modifications of the potential energy surface and densities are also found. In infinite matter, the Dirac mass is shifted to a larger value, in better agreement with experiments. Conclusions: Taking into account additional terms corresponding to the tensor terms in the vector-isoscalar channel at the Hartree level, improves the description of nuclear properties, both in nuclei and in nuclear matter.


title: The ASIMOV Prize for scientific publishing -- HEP researchers trigger young people toward science

abstract: This work presents the ASIMOV Prize for scientific publishing, which was launched in Italy in 2016. The prize aims to bring the young generations closer to scientific culture, through the critical reading of popular science books. The books are selected by a committee that includes scientists, professors, Ph.D. and Ph.D. students, writers, journalists and friends of culture, and most importantly, over 800 school teachers. Students are actively involved in the prize, according to the best practices of public engagement: they read, review the books and vote for them, choosing the winner. The experience is quite successful: 12,000 students from 270 schools all over Italy participated in the last edition. The possibility of replicating this experience in other countries is indicated, as was done in Brazil in 2020 with more than encouraging results.


title: Probing Bidirectional Plasmon-Plasmon Coupling-Induced Hot Charge Carriers in Dualplasmonic Au/CuS Nanocrystals

abstract: Heterostructured Au/CuS nanocrystals (NCs) exhibit localized surface plasmon resonance (LSPR) centered at two different wavelengths (551 nm and 1051 nm) with a slight broadening compared to respective homostructured Au and CuS NC spectra. By applying ultrafast transient absorption spectroscopy (TAS) we show that a resonant excitation at the respective LSPR maxima of the heterostructured Au/CuS NCs leads to the characteristic hot charge carrier relaxation associated with both LSPRs in both cases. A comparison of the dualplasmonic heterostructure behavior with a colloidal mixture of homostructured Au and CuS NCs shows that the coupled dualplasmonic interaction is only active in the heterostructured Au/CuS NCs. By investigating the charge carrier dynamics of the process, we find that the observed interaction is charge carrier based as it is faster than phononic or thermal processes (< 100 fs). The relaxation of the generated hot charge carriers is faster for heterostructured nanocrystals, also indicating, that the interaction occurs as an energy transfer or charge carrier transfer between both materials. Our results strengthen the understanding of multiplasmonic interactions in heterostructured Au/CuS NCs and will significantly advance applications where these interactions are essential, such as catalytic reactions.


title: Machine-learning-assisted Monte Carlo fails at sampling computationally hard problems

abstract: Several strategies have been recently proposed in order to improve Monte Carlo sampling efficiency using machine learning tools. Here, we challenge these methods by considering a class of problems that are known to be exponentially hard to sample using conventional local Monte Carlo at low enough temperatures. In particular, we study the antiferromagnetic Potts model on a random graph, which reduces to the coloring of random graphs at zero temperature. We test several machine-learning-assisted Monte Carlo approaches, and we find that they all fail. Our work thus provides good benchmarks for future proposals for smart sampling algorithms.


title: Reproducibility of the Methods in Medical Imaging with Deep Learning

abstract: Concerns about the reproducibility of deep learning research are more prominent than ever, with no clear solution in sight. The relevance of machine learning research can only be improved if we also employ empirical rigor that incorporates reproducibility guidelines, especially so in the medical imaging field. The Medical Imaging with Deep Learning (MIDL) conference has made advancements in this direction by advocating open access, and recently also recommending authors to make their code public - both aspects being adopted by the majority of the conference submissions. This helps the reproducibility of the methods, however, there is currently little or no support for further evaluation of these supplementary material, making them vulnerable to poor quality, which affects the impact of the entire submission. We have evaluated all accepted full paper submissions to MIDL between 2018 and 2022 using established, but slightly adjusted guidelines on reproducibility and the quality of the public repositories. The evaluations show that publishing repositories and using public datasets are becoming more popular, which helps traceability, but the quality of the repositories has not improved over the years, leaving room for improvement in every aspect of designing repositories. Merely 22% of all submissions contain a repository that were deemed repeatable using our evaluations. From the commonly encountered issues during the evaluations, we propose a set of guidelines for machine learning-related research for medical imaging applications, adjusted specifically for future submissions to MIDL.


title: Deformed single ring theorems

abstract: Given a sequence of deterministic matrices $A = A_N$ and a sequence of deterministic nonnegative matrices $\Sigma=\Sigma_N$ such that $A\to a$ and $\Sigma\to \sigma$ in $\ast$-distribution for some operators $a$ and $\sigma$ in a finite von Neumann algebra $\mathcal{A}$. Let $U =U_N$ and $V=V_N$ be independent Haar-distributed unitary matrices. We use free probability techniques to prove that, under mild assumptions, the empirical eigenvalue distribution of $U\Sigma V^*+A$ converges to the Brown measure of $T+a$, where $T\in\mathcal{A}$ is an $R$-diagonal operator freely independent from $a$ and $\vert T\vert$ has the same distribution as $\sigma$. The assumptions can be removed if $A$ is Hermitian or unitary. By putting $A= 0$, our result removes a regularity assumption in the single ring theorem by Guionnet, Krishnapur and Zeitouni. We also prove a local convergence on optimal scale, extending the local single ring theorem of Bao, Erd\H{o}s and Schnelli.


title: Abelian subgroups of Helly groups

abstract: We observe that abelian subgroups of Helly groups are finitely generated, and consequently, soluble subgroups of Helly groups are virtually abelian.


title: Possible Manifestation of a Non-Pointness of the Electron in $e^+e^-$ Annihilation Reaction at Centre of Mass Energies 55-207 GeV

abstract: The experimental data from VENUS, TOPAS, OPAL, DELPHI, ALEPH and L3 collaborations, collected from 1989 to 2003, are applied to study the QED framework through direct contact interaction terms approach, using the annihilation reaction $\rm e^+ e^-\rightarrow \gamma\gamma(\gamma)$. The analysis involves performing of a $\chi^{2}$ test to detect the presence of an excited electron $e^{*}$ and evidence of non-point like behavior in the $e^+e^-$ annihilation zone. The results of the analysis indicate a strong signal, with a confidence level of approximately $5\sigma$, for the presence of an excited electron with a mass of $308\pm 14$ GeV, and a deviation from a point-like behavior of the charge distribution of the electron. The radius of this deviation is $1.57\pm0.07\times 10^{-17}$ cm, which can be interpreted as the size of the electron.


title: Classical Lie Bialgebras for AdS/CFT Integrability by Contraction and Reduction

abstract: Integrability of the one-dimensional Hubbard model and of the factorised scattering problem encountered on the worldsheet of AdS strings can be expressed in terms of a peculiar quantum algebra. In this article, we derive the classical limit of these algebraic integrable structures based on established results for the exceptional simple Lie superalgebra d(2,1;epsilon) along with standard sl(2) which form supersymmetric isometries on 3D AdS space. The two major steps in this construction consist in the contraction to a 3D Poincar\'e superalgebra and a certain reduction to a deformation of the u(2|2) superalgebra. We apply these steps to the integrable structure and obtain the desired Lie bialgebras with suitable classical r-matrices of rational and trigonometric kind. We illustrate our findings in terms of representations for on-shell fields on AdS and flat space.


title: Transformer-based Entity Typing in Knowledge Graphs

abstract: We investigate the knowledge graph entity typing task which aims at inferring plausible entity types. In this paper, we propose a novel Transformer-based Entity Typing (TET) approach, effectively encoding the content of neighbors of an entity. More precisely, TET is composed of three different mechanisms: a local transformer allowing to infer missing types of an entity by independently encoding the information provided by each of its neighbors; a global transformer aggregating the information of all neighbors of an entity into a single long sequence to reason about more complex entity types; and a context transformer integrating neighbors content based on their contribution to the type inference through information exchange between neighbor pairs. Furthermore, TET uses information about class membership of types to semantically strengthen the representation of an entity. Experiments on two real-world datasets demonstrate the superior performance of TET compared to the state-of-the-art.


title: Machine Learning for K-adaptability in Two-stage Robust Optimization

abstract: Two-stage robust optimization problems constitute one of the hardest optimization problem classes. One of the solution approaches to this class of problems is K-adaptability. This approach simultaneously seeks the best partitioning of the uncertainty set of scenarios into K subsets, and optimizes decisions corresponding to each of these subsets. In general case, it is solved using the K-adaptability branch-and-bound algorithm, which requires exploration of exponentially-growing solution trees. To accelerate finding high-quality solutions in such trees, we propose a machine learning-based node selection strategy. In particular, we construct a feature engineering scheme based on general two-stage robust optimization insights that allows us to train our machine learning tool on a database of resolved B&B trees, and to apply it as-is to problems of different sizes and/or types. We experimentally show that using our learned node selection strategy outperforms a vanilla, random node selection strategy when tested on problems of the same type as the training problems, also in case the K-value or the problem size differs from the training ones.


title: Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report

abstract: Cameras capture sensor RAW images and transform them into pleasant RGB images, suitable for the human eyes, using their integrated Image Signal Processor (ISP). Numerous low-level vision tasks operate in the RAW domain (e.g. image denoising, white balance) due to its linear relationship with the scene irradiance, wide-range of information at 12bits, and sensor designs. Despite this, RAW image datasets are scarce and more expensive to collect than the already large and public RGB datasets. This paper introduces the AIM 2022 Challenge on Reversed Image Signal Processing and RAW Reconstruction. We aim to recover raw sensor images from the corresponding RGBs without metadata and, by doing this, "reverse" the ISP transformation. The proposed methods and benchmark establish the state-of-the-art for this low-level vision inverse problem, and generating realistic raw sensor readings can potentially benefit other tasks such as denoising and super-resolution.


title: A New Type of Lattice Gauge Theory through Self-adjoint Extensions

abstract: A generalization of Wilsonian lattice gauge theory may be obtained by considering the possible self-adjoint extensions of the electric field operator in the Hamiltonian formalism. In the special case of 3D $\mathrm{U}(1)$ gauge theory these are parametrised by a phase $\theta$, and the ordinary Wilson theory is recovered for $\theta=0$. We consider the case $\theta=\pi$, which, upon dualization, turns into a theory of staggered integer and half-integer height variables. We investigate order parameters for the breaking of the relevant symmetries, and thus study the phase diagram of the theory, which shows evidence of a broken $\mathbb{Z}_2$ symmetry in the continuum limit, in contrast to the ordinary theory.


title: The flow method for the Baker-Campbell-Hausdorff formula: exact results

abstract: Leveraging techniques from the literature on geometric numerical integration, we propose a new general method to compute exact expressions for the BCH formula. In its utmost generality, the method consists in embedding the Lie algebra of interest into a subalgebra of the algebra of vector fields on some manifold by means of an isomorphism, so that the BCH formula for two elements of the original algebra can be recovered from the composition of the flows of the corresponding vector fields. For this reason we call our method the flow method. Clearly, this method has great advantage in cases where the flows can be computed analytically. We illustrate its usefulness on some benchmark examples where it can be applied directly, and discuss some possible extensions for cases where an exact expression cannot be obtained.


title: Efficiency of the top-down PAH-to-fullerene conversion in UV irradiated environments

abstract: Polycyclic aromatic hydrocarbons (PAHs) and fullerenes play a major role in the physics and chemistry of the interstellar medium. Based on a number of recent experimental and theoretical investigations we developed a model in which PAHs are subject to photo-dissociation (carbon and hydrogen loss) and hydrogenation. We take into account that dehydrogenated PAHs may fold into closed structures -- fullerenes. Fullerenes, in their turn, can be also hydrogenated, becoming fulleranes, and photo-dissociated, losing carbon and hydrogen atoms. The carbon loss leads to shrinking of fullerene cages to smaller ones. We calculate the abundance of PAHs and fullerenes of different sizes and hydrogenation level depending on external conditions: the gas temperature, intensity of radiation field, number density of hydrogen atoms, carbon atoms, and electrons. We highlight the conditions, which are favourable for fullerene formation from PAHs, and we conclude that this mechanism works not only in H-poor environment but also at modest values of hydrogen density up to 10$^{4}$~cm$^{-3}$. We found that fulleranes can be formed in the ISM, although the fraction of carbon atoms locked in them can be maximum around 10$^{-9}$. We applied our model to two photo-dissociation regions, Orion Bar and NGC 7023. We compare our estimates of the fullerene abundance and synthetic band intensities in these objects with the observations and conclude that our model gives good results for the closest surroundings of ionising stars. We also demonstrate that additional fullerene formation channels should operate along with UV-induced formation to explain abundance of fullerenes far from UV sources.


title: Universal vector bundles, push-forward formulae and positivity of characteristic forms

abstract: Given a Hermitian holomorphic vector bundle over a complex manifold, consider its flag bundles with the associated universal vector bundles endowed with the induced metrics. We prove that the universal formula for the push-forward of a polynomial in the Chern classes of all the possible universal vector bundles also holds pointwise at the level of Chern forms. A key step in our proof is the explicit computation, at a point of any flag bundle, of the Chern curvature of the universal vector bundles with the induced metrics. As an application, we provide an alternative version of the Jacobi-Trudi identity at the level of differential forms. We also show the positivity of a family of polynomials in the Chern forms of Griffiths semipositive vector bundles. This latter result partially confirms the Griffiths' conjecture on positive characteristic forms, which has raised considerable interest in recent years.


title: VideoPipe 2022 Challenge: Real-World Video Understanding for Urban Pipe Inspection

abstract: Video understanding is an important problem in computer vision. Currently, the well-studied task in this research is human action recognition, where the clips are manually trimmed from the long videos, and a single class of human action is assumed for each clip. However, we may face more complicated scenarios in the industrial applications. For example, in the real-world urban pipe system, anomaly defects are fine-grained, multi-labeled, domain-relevant. To recognize them correctly, we need to understand the detailed video content. For this reason, we propose to advance research areas of video understanding, with a shift from traditional action recognition to industrial anomaly analysis. In particular, we introduce two high-quality video benchmarks, namely QV-Pipe and CCTV-Pipe, for anomaly inspection in the real-world urban pipe systems. Based on these new datasets, we will host two competitions including (1) Video Defect Classification on QV-Pipe and (2) Temporal Defect Localization on CCTV-Pipe. In this report, we describe the details of these benchmarks, the problem definitions of competition tracks, the evaluation metric, and the result summary. We expect that, this competition would bring new opportunities and challenges for video understanding in smart city and beyond. The details of our VideoPipe challenge can be found in https://videopipe.github.io.


title: Functoriality in categorical symplectic geometry

abstract: Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehrheim-Woodward's quilted Floer cohomology and functors associated to Lagrangian correspondences, Fukaya's alternate approach to defining functors between Fukaya $A_\infty$-categories, and the second author's ongoing construction of the symplectic $(A_\infty,2)$-category. In the last section, we describe a number of direct and indirect applications of this circle of ideas, and propose a conjectural version of the Barr-Beck Monadicity Criterion in the context of the Fukaya $A_\infty$-category.


title: Orientation and dynamics of water molecules in beryl

abstract: Behavior of individual molecules of normal and heavy water in beryl single crystals was studied by $^1$H and $^2$H nuclear magnetic resonance spectroscopy. From temperature dependences of the spectra we deduce that type-I water molecules embedded in the beryl voids are oriented quite differently from the view established in the literature. Namely, contrary to earlier assumptions, their H-H lines deviate by about 18$^\circ$ from the hexagonal axis. We suggest that this is due to the molecules attaching to the oxygen atoms forming the beryl structural voids by a hydrogen bond. Our analysis shows that the molecules perform two types of movement: (i) rapid librations around the axis of the hydrogen bond, and (ii) less frequent orientational jumps among the twelve possible binding sites in the beryl voids. The frequencies of the librational motions are evaluated from a simple thermodynamic model, providing a good quantitative agreement with the frequencies of librations from optical experiments reported earlier.


title: From Modelling to Understanding Children's Behaviour in the Context of Robotics and Social Artificial Intelligence

abstract: Understanding and modelling children's cognitive processes and their behaviour in the context of their interaction with robots and social artificial intelligence systems is a fundamental prerequisite for meaningful and effective robot interventions. However, children's development involve complex faculties such as exploration, creativity and curiosity which are challenging to model. Also, often children express themselves in a playful way which is different from a typical adult behaviour. Different children also have different needs, and it remains a challenge in the current state of the art that those of neurodiverse children are under-addressed. With this workshop, we aim to promote a common ground among different disciplines such as developmental sciences, artificial intelligence and social robotics and discuss cutting-edge research in the area of user modelling and adaptive systems for children.


title: Non-linear Electrodynamics in Blandford-Znajeck Energy Extraction

abstract: Non-linear electrodynamics (NLED) is a generalization of Maxwell's electrodynamics for strong fields. It could have significant implications for the study of black holes and cosmology and have been extensively studied in the literature, extending from quantum to cosmological contexts. Recently, its application to black holes, inflation and dark energy has caught on, being able to provide an accelerated Universe and address some current theoretical inconsistencies, such as the Big Bang singularity. In this work, we report two new ways to investigate these non-linear theories. First, we have analyzed the Blandford-Znajeck mechanism in light of this promising theoretical context, providing the general form of the extracted power up to second order in the black hole spin parameter $a$. We have found that, depending on the NLED model, the emitted power can be extremely increased or decreased, and that the magnetic field lines around the black hole seems to become vertical quickly. Considering only separated solutions, we have found that no monopole solutions exist and this could have interesting astrophysical consequences (not considered here). Last but not least, we attempted to confine the NLED parameters by inducing the amplification of primordial magnetic fields ('seeds'), thus admitting non-linear theories already during the early stages of the Universe. However, the latter approach proved to be useful for NLED research only in certain models. Our (analytical) results emphasize that the existence and behavior of non-linear electromagnetic phenomena strongly depend on the physical context and that only a power-low model seems to have any chance to compete with Maxwell.


title: Approximation by Quantum Meyer K\"onig and Zeller-Fractal Functions

abstract: In this paper, a novel class of quantum fractal functions is introduced based on the Meyer-K\"onig-Zeller operator $M_{q,n}$. These quantum Meyer-K\"onig-Zeller (MKZ) fractal functions employ $M_{q,n} f$ as the base function in the iterated function system for $\alpha$-fractal functions. For $f\in C(I)$, $I$ closed in $\mathbb{R}$, it is shown that there exists a sequence of quantum MKZ fractal functions $\{f^{(q_n,\alpha)}_n\}_{n=0}^{\infty}$ which converges uniformly to $f$ without altering the scaling function $\alpha$. The shape of $f^{(q_n,\alpha)}_n$ depends on $q$ as well as the other IFS parameters. For $f,g\in C(I)$ with $g > 0$ or $f\geq g$, we show that there exists a sequence $\{f^{(q_n,\alpha)}_n\}_{n=0}^{\infty}$ with $f^{(q_n,\alpha)}_n \geq g$ converging to $f$. Quantum MKZ fractal versions of some classical M\"untz theorems are also presented. For $q=1$, the box dimension and some approximation-theoretic results of MKZ $\alpha$-fractal function are investigated in $C(I)$. Finally, MKZ $\alpha$-fractal functions are studied in $L^p$ spaces with ${p \geq 1}$.


title: Graph Neural Networks with Trainable Adjacency Matrices for Fault Diagnosis on Multivariate Sensor Data

abstract: Timely detected anomalies in the chemical technological processes, as well as the earliest detection of the cause of the fault, significantly reduce the production cost in the industrial factories. Data on the state of the technological process and the operation of production equipment are received by a large number of different sensors. To better predict the behavior of the process and equipment, it is necessary not only to consider the behavior of the signals in each sensor separately, but also to take into account their correlation and hidden relationships with each other. Graph-based data representation helps with this. The graph nodes can be represented as data from the different sensors, and the edges can display the influence of these data on each other. In this work, the possibility of applying graph neural networks to the problem of fault diagnosis in a chemical process is studied. It was proposed to construct a graph during the training of graph neural network. This allows to train models on data where the dependencies between the sensors are not known in advance. In this work, several methods for obtaining adjacency matrices were considered, as well as their quality was studied. It has also been proposed to use multiple adjacency matrices in one model. We showed state-of-the-art performance on the fault diagnosis task with the Tennessee Eastman Process dataset. The proposed graph neural networks outperformed the results of recurrent neural networks.


title: Pre-training Language Models with Deterministic Factual Knowledge

abstract: Previous works show that Pre-trained Language Models (PLMs) can capture factual knowledge. However, some analyses reveal that PLMs fail to perform it robustly, e.g., being sensitive to the changes of prompts when extracting factual knowledge. To mitigate this issue, we propose to let PLMs learn the deterministic relationship between the remaining context and the masked content. The deterministic relationship ensures that the masked factual content can be deterministically inferable based on the existing clues in the context. That would provide more stable patterns for PLMs to capture factual knowledge than randomly masking. Two pre-training tasks are further introduced to motivate PLMs to rely on the deterministic relationship when filling masks. Specifically, we use an external Knowledge Base (KB) to identify deterministic relationships and continuously pre-train PLMs with the proposed methods. The factual knowledge probing experiments indicate that the continuously pre-trained PLMs achieve better robustness in factual knowledge capturing. Further experiments on question-answering datasets show that trying to learn a deterministic relationship with the proposed methods can also help other knowledge-intensive tasks.


title: Dude, where's my NFT? Distributed Infrastructures for Digital Art

abstract: We explore issues relating to the storage of digital art, based on an empirical investigation into the storage of audiovisual data referenced by non-fungible tokens (NFTs). We identify current trends in NFT data storage and highlight problems with implemented solutions. We particularly focus our investigation on the use of the Interplanetary Filesystem (IPFS), which emerges as a popular and versatile distributed storage solution for NFTs. Based on the analysis of discovered data storage techniques, we propose a set of best practices to ensure long-term storage survivability of NFT data. While helpful for forming the NFT art market into a legitimate long-term environment for digital art, our recommendations are also directly applicable for improving the availability and integrity of non-NFT digital art.


title: Optimal metabolic strategies for microbial growth in stationary random environments

abstract: In order to grow in any given environment, bacteria need to collect information about the medium composition and implement suitable growth strategies by adjusting their regulatory and metabolic degrees of freedom. In the standard sense, optimal strategy selection is achieved when bacteria grow at the fastest rate possible in that medium. While this view of optimality is well suited for cells that have perfect knowledge about their surroundings (e.g. nutrient levels), things are more involved in uncertain or fluctuating conditions, especially when changes occur over timescales comparable to (or faster than) those required to organize a response. Information theory however provides recipes for how cells can choose the optimal growth strategy under uncertainty about the stress levels they will face. Here we analyse the theoretically optimal scenarios for a coarse-grained, experiment-inspired model of bacterial metabolism for growth in a medium described by the (static) probability density of a single variable (the `stress level'). We show that heterogeneity in growth rates consistently emerges as the optimal response when the environment is sufficiently complex and/or when perfect adjustment of metabolic degrees of freedom is not possible (e.g. due to limited resources). In addition, outcomes close to those achievable with unlimited resources are often attained effectively with a modest amount of fine tuning. In other terms, heterogeneous population structures in complex media may be rather robust with respect to the resources available to probe the environment and adjust reaction rates.

categories: physics.bio-ph cond-mat.dis-nn q-bio.MN q-bio.PE


title: User Value in Modern Payment Platforms: A Graph Approach

abstract: Payment platforms have significantly evolved in recent years to keep pace with the proliferation of online and cashless payments. These platforms are increasingly aligned with online social networks, allowing users to interact with each other and transfer small amounts of money in a Peer-to-Peer fashion. This poses new challenges for analysing payment data, as traditional methods are only user-centric or business-centric and neglect the network users build during the interaction. This paper proposes a first methodology for measuring user value in modern payment platforms. We combine quantitative user-centric metrics with an analysis of the graph created by users' activities and its topological features inspired by the evolution of opinions in social networks. We showcase our approach using a dataset from a large operational payment platform and show how it can support business decisions and marketing campaign design, e.g., by targeting specific users.


title: Content-based Graph Privacy Advisor

abstract: People may be unaware of the privacy risks of uploading an image online. In this paper, we present Graph Privacy Advisor, an image privacy classifier that uses scene information and object cardinality as cues to predict whether an image is private. Graph Privacy Advisor simplifies a state-of-the-art graph model and improves its performance by refining the relevance of the information extracted from the image. We determine the most informative visual features to be used for the privacy classification task and reduce the complexity of the model by replacing high-dimensional image feature vectors with lower-dimensional, more effective features. We also address the problem of biased prior information by modelling object co-occurrences instead of the frequency of object occurrences in each class.


title: Coordinates Are NOT Lonely -- Codebook Prior Helps Implicit Neural 3D Representations

abstract: Implicit neural 3D representation has achieved impressive results in surface or scene reconstruction and novel view synthesis, which typically uses the coordinate-based multi-layer perceptrons (MLPs) to learn a continuous scene representation. However, existing approaches, such as Neural Radiance Field (NeRF) and its variants, usually require dense input views (i.e. 50-150) to obtain decent results. To relive the over-dependence on massive calibrated images and enrich the coordinate-based feature representation, we explore injecting the prior information into the coordinate-based network and introduce a novel coordinate-based model, CoCo-INR, for implicit neural 3D representation. The cores of our method are two attention modules: codebook attention and coordinate attention. The former extracts the useful prototypes containing rich geometry and appearance information from the prior codebook, and the latter propagates such prior information into each coordinate and enriches its feature representation for a scene or object surface. With the help of the prior information, our method can render 3D views with more photo-realistic appearance and geometries than the current methods using fewer calibrated images available. Experiments on various scene reconstruction datasets, including DTU and BlendedMVS, and the full 3D head reconstruction dataset, H3DS, demonstrate the robustness under fewer input views and fine detail-preserving capability of our proposed method.


title: On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations

abstract: Recent breakthroughs in technology have led to a thriving "new space" culture in low-Earth orbit (LEO) in which performance and cost considerations dominate over resilience and reliability as mission goals. These advances create a manifold of opportunities for new research and business models but come with a number of striking new challenges. In particular, the size and weight limitations of low-Earth orbit small satellites make their successful operation rest on a fine balance between solar power infeed and the power demands of the mission payload and supporting platform technologies, buffered by on-board battery storage. At the same time, these satellites are being rolled out as part of ever-larger constellations and mega-constellations. Altogether, this induces a number of challenging computational problems related to the recurring need to make decisions about which task each satellite is to effectuate next. Against this background, GomSpace and Saarland University have joined forces to develop highly sophisticated software-based automated solutions rooted in optimal algorithmic and self-improving learning techniques, all this validated in modern nanosatellite networked missions operating in orbit.


title: Improved bounds concerning the maximum degree of intersecting hypergraphs

abstract: For positive integers $n>k>t$ let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-element set $[n]=\{1,\ldots,n\}$. Subsets of $\binom{[n]}{k}$ are called $k$-graphs. A $k$-graph $\mathcal{F}$ is called $t$-intersecting if $|F\cap F'|\geq t$ for all $F,F'\in \mathcal{F}$. One of the central results of extremal set theory is the Erd\H{o}s-Ko-Rado Theorem which states that for $n\geq (k-t+1)(t+1)$ no $t$-intersecting $k$-graph has more than $\binom{n-t}{k-t}$ edges. For $n$ greater than this threshold the $t$-star (all $k$-sets containing a fixed $t$-set) is the only family attaining this bound. Define $\mathcal{F}(i)=\{F\setminus \{i\}\colon i\in F\in \mathcal{F}\}$. The quantity $\varrho(\mathcal{F})=\max\limits_{1\leq i\leq n}|\mathcal{F}(i)|/|\mathcal{F}|$ measures how close a $k$-graph is to a star. The main result (Theorem 1.5) shows that $\varrho(\mathcal{F})>1/d$ holds if $\mathcal{F}$ is 1-intersecting, $|\mathcal{F}|>2^dd^{2d+1}\binom{n-d-1}{k-d-1}$ and $n\geq 4(d-1)dk$. Such a statement can be deduced from the results of \cite{F78-2} and \cite{DF}, however only for much larger values of $n/k$ and/or $n$. The proof is purely combinatorial, it is based on a new method: shifting ad extremis. The same method is applied to obtain some nearly optimal bounds in the case of $t\geq 2$ (Theorem 1.11) along with a number of related results.


title: Mathematical Justification of Hard Negative Mining via Isometric Approximation Theorem

abstract: In deep metric learning, the Triplet Loss has emerged as a popular method to learn many computer vision and natural language processing tasks such as facial recognition, object detection, and visual-semantic embeddings. One issue that plagues the Triplet Loss is network collapse, an undesirable phenomenon where the network projects the embeddings of all data onto a single point. Researchers predominately solve this problem by using triplet mining strategies. While hard negative mining is the most effective of these strategies, existing formulations lack strong theoretical justification for their empirical success. In this paper, we utilize the mathematical theory of isometric approximation to show an equivalence between the Triplet Loss sampled by hard negative mining and an optimization problem that minimizes a Hausdorff-like distance between the neural network and its ideal counterpart function. This provides the theoretical justifications for hard negative mining's empirical efficacy. In addition, our novel application of the isometric approximation theorem provides the groundwork for future forms of hard negative mining that avoid network collapse. Our theory can also be extended to analyze other Euclidean space-based metric learning methods like Ladder Loss or Contrastive Learning.


title: Overlapping Community Detection using Dynamic Dilated Aggregation in Deep Residual GCN

abstract: Overlapping community detection is a key problem in graph mining. Some research has considered applying graph convolutional networks (GCN) to tackle the problem. However, it is still challenging to incorporate deep graph convolutional networks in the case of general irregular graphs. In this study, we design a deep dynamic residual graph convolutional network (DynaResGCN) based on our novel dynamic dilated aggregation mechanisms and a unified end-to-end encoder-decoder-based framework to detect overlapping communities in networks. The deep DynaResGCN model is used as the encoder, whereas we incorporate the Bernoulli-Poisson (BP) model as the decoder. Consequently, we apply our overlapping community detection framework in a research topics dataset without having ground truth, a set of networks from Facebook having a reliable (hand-labeled) ground truth, and in a set of very large co-authorship networks having empirical (not hand-labeled) ground truth. Our experimentation on these datasets shows significantly superior performance over many state-of-the-art methods for the detection of overlapping communities in networks.


title: Structure-Preserving Discretization of Fractional Vector Calculus using Discrete Exterior Calculus

abstract: Fractional vector calculus is the building block of the fractional partial differential equations that model non-local or long-range phenomena, e.g., anomalous diffusion, fractional electromagnetism, and fractional advection-dispersion. In this work, we reformulate a type of fractional vector calculus that uses Caputo fractional partial derivatives and discretize this reformulation using discrete exterior calculus on a cubical complex in the structure-preserving way, meaning that the continuous-level properties $\operatorname{curl}^\alpha \operatorname{grad}^\alpha = \mathbf{0}$ and $\operatorname{div}^\alpha \operatorname{curl}^\alpha = 0$ hold exactly on the discrete level. We discuss important properties of our fractional discrete exterior derivatives and verify their second-order convergence in the root mean square error numerically. Our proposed discretization has the potential to provide accurate and stable numerical solutions to fractional partial differential equations and exactly preserve fundamental physics laws on the discrete level regardless of the mesh size.


title: Deep-level transient spectroscopy of the charged defects in p-i-n perovskite solar cells induced by light-soaking

abstract: The long-term stability of halide perovskite solar cells (PSCs) remains the critical problem of this photovoltaic technology. Different structural defects formed in the thin-film perovskite films were considered as a main trigger for the decomposition of the absorber and corrosion of the interfaces in the device structure. The changes in the stability performance of the PSCs require a detailed analysis of the defects generated under external stress (light and heat). Using admittance, deep-level transient spectroscopy (DLTS) and reverse DLTS we determined the evolution of the defect energy levels in p-i-n PCS under continuous light soaking stress. We compared the impact of the charged defects on the performance and long-term stability of the CsFAPbI3 based devices with and without Cl-doping. Despite the gain in the output performance of the PCSs, the devices with CsFAPbI3-xClx showed improved light soaking stability. The T80 (time required to reduce initial efficiency by 20%) for Cl-doped PSCs was 1280h, while for pure CsFAPbI3 based devices only 650h. Three different defect energy levels were determined for different device configurations. We found that Cl-doping suppressed the formation of the antisite defects (IPb, IFA) and iodine interstitials (Ii). The changes in the defect's energy levels after continuous light soaking stress were analyzed and discussed. The present work provides new insights for the defect behavior of PSCs under continuous external stress, revealing the physical-chemical impact of the Cl-additive strategy.


title: Towards Better Guided Attention and Human Knowledge Insertion in Deep Convolutional Neural Networks

abstract: Attention Branch Networks (ABNs) have been shown to simultaneously provide visual explanation and improve the performance of deep convolutional neural networks (CNNs). In this work, we introduce Multi-Scale Attention Branch Networks (MSABN), which enhance the resolution of the generated attention maps, and improve the performance. We evaluate MSABN on benchmark image recognition and fine-grained recognition datasets where we observe MSABN outperforms ABN and baseline models. We also introduce a new data augmentation strategy utilizing the attention maps to incorporate human knowledge in the form of bounding box annotations of the objects of interest. We show that even with a limited number of edited samples, a significant performance gain can be achieved with this strategy.


title: Interface instabilities in hydrodynamic relativistic jets

abstract: Both the dynamics and the observational properties of relativistic jets are determined by their interaction with the ambient medium. A crucial role is played by the contact discontinuity at the jet boundary, which in the presence of jet collimation may become subject to Rayleigh-Taylor instability (RTI) and Richtmyer-Meshkov instability (RMI). Here, we study the evolution of these instabilities in non-magnetized relativistic jets using special relativistic three-dimensional hydrodynamic simulations. We show that the growth of initial perturbations is consistent with relativistic RTI operating in the jet collimation region. The contribution of RMI becomes important downstream from the collimation shock in agreement with theoretical expectations. Both instabilities reach non-linear scales above the shock convergence point and trigger strong turbulence, mixing jet with ambient matter. We devise an analytic solution for the mixing rate and show that it is sensitive to the external density gradients. Our results may be applied to different types of astrophysical objects. In particular, different contribution of interface instabilities is a natural explanation for the observed dichotomy between FR-I and FR-II radiogalaxies. The rapid slow-down in the jet of M87 is consistent with baryon entrainment from the circumnuclear matter with the observed density distribution. In microquasars, baryon loading triggered by interface instabilities is a probable reason for the low observed Lorentz factors. We show that the observed variability in gamma-ray bursts cannot come from mixing driven by interface instabilities and likely originates from the engine, suggesting the presence of magnetic fields in the jet.


title: Multi-hypothesis 3D human pose estimation metrics favor miscalibrated distributions

abstract: Due to depth ambiguities and occlusions, lifting 2D poses to 3D is a highly ill-posed problem. Well-calibrated distributions of possible poses can make these ambiguities explicit and preserve the resulting uncertainty for downstream tasks. This study shows that previous attempts, which account for these ambiguities via multiple hypotheses generation, produce miscalibrated distributions. We identify that miscalibration can be attributed to the use of sample-based metrics such as minMPJPE. In a series of simulations, we show that minimizing minMPJPE, as commonly done, should converge to the correct mean prediction. However, it fails to correctly capture the uncertainty, thus resulting in a miscalibrated distribution. To mitigate this problem, we propose an accurate and well-calibrated model called Conditional Graph Normalizing Flow (cGNFs). Our model is structured such that a single cGNF can estimate both conditional and marginal densities within the same model - effectively solving a zero-shot density estimation problem. We evaluate cGNF on the Human~3.6M dataset and show that cGNF provides a well-calibrated distribution estimate while being close to state-of-the-art in terms of overall minMPJPE. Furthermore, cGNF outperforms previous methods on occluded joints while it remains well-calibrated.


title: The Initial Magnetic Field Distribution in AB Stars

abstract: Stars are born with magnetic fields, but the distribution of their initial field strengths remains uncertain. We combine observations with theoretical models of magnetic field evolution to infer the initial distribution of magnetic fields for AB stars in the mass range of 1.6 - 3.4 M$_{\odot}$. We tested a variety of distributions with different shapes and found that a distribution with a mean of $\sim$800 G and a full width of $\sim$600 G is most consistent with the observed fraction of strongly magnetized stars as a function of mass. Our most-favored distribution is a Gaussian with a mean of $\mu$ = 770 G and standard deviation of $\sigma$ = 146 G. Independent approaches to measure the typical field strength suggest values closer to 2 - 3 kG, a discrepancy that could suggest a mass-dependent and bimodal initial field distribution, or an alternative theoretical picture for the origin of these magnetic fields.


title: Restoring broken symmetries using oracles

abstract: We present a new method to perform variation after projection in many-body systems on quantum computers that does not require performing explicit projection. The technique employs the notion of ``oracle'', generally used in quantum search algorithms. We show how to construct the oracle and the projector associated with a symmetry operator. The procedure is illustrated for the parity, particle number, and total spin symmetries. The oracle is used to restore symmetry by indirect measurements using a single ancillary qubit. An Illustration of the technique is made to obtain the approximate ground state energy for the pairing model Hamiltonian.


title: Facial Expression Video Generation Based-On Spatio-temporal Convolutional GAN: FEV-GAN

abstract: Facial expression generation has always been an intriguing task for scientists and researchers all over the globe. In this context, we present our novel approach for generating videos of the six basic facial expressions. Starting from a single neutral facial image and a label indicating the desired facial expression, we aim to synthesize a video of the given identity performing the specified facial expression. Our approach, referred to as FEV-GAN (Facial Expression Video GAN), is based on Spatio-temporal Convolutional GANs, that are known to model both content and motion in the same network. Previous methods based on such a network have shown a good ability to generate coherent videos with smooth temporal evolution. However, they still suffer from low image quality and low identity preservation capability. In this work, we address this problem by using a generator composed of two image encoders. The first one is pre-trained for facial identity feature extraction and the second for spatial feature extraction. We have qualitatively and quantitatively evaluated our model on two international facial expression benchmark databases: MUG and Oulu-CASIA NIR&VIS. The experimental results analysis demonstrates the effectiveness of our approach in generating videos of the six basic facial expressions while preserving the input identity. The analysis also proves that the use of both identity and spatial features enhances the decoder ability to better preserve the identity and generate high-quality videos. The code and the pre-trained model will soon be made publicly available.


title: $L_p\rightarrow L_q$ boundedness of Fourier multipliers

abstract: We investigate the $L_p \mapsto L_q$ boundedness of the Fourier multipliers. We obtain sufficient conditions, namely, we derive Hormander and Lizorkin type theorems. We also obtain the necessary conditions. For $M$-generalized monotone functions, we obtain a criteria for boundedness of the corresponding Fourier multipliers.


title: On completely regular codes with minimum eigenvalue in geometric graphs

abstract: We prove that any completely regular code with minimum eigenvalue in any geometric graph G corresponds to a completely regular code in the clique graph of G. Studying the interrelation of these codes, a complete characterization of the completely regular codes in the Johnson graphs J(n,w) with covering radius w-1 and strength 1 is obtained. In particular this result finishes a characterization of the completely regular codes in the Johnson graphs J(n,3). We also classify the completely regular codes of strength 1 in the Johnson graphs J(n,4) with only one case for the eigenvalues left open.


title: Cutting-plane algorithms for preemptive uniprocessor real-time scheduling problems

abstract: Fixed-point iteration algorithms like RTA (response time analysis) and QPA (quick processor-demand analysis) are arguably the most popular ways of solving schedulability problems for preemptive uniprocessor FP (fixed-priority) and EDF (earliest-deadline-first) systems. Several IP (integer program) formulations have also been proposed for these problems, but it is unclear whether the algorithms for solving these formulations are related to RTA and QPA. By discovering connections between the problems and the algorithms, we show that RTA and QPA are, in fact, suboptimal cutting-plane algorithms for specific IP formulations of FP and EDF schedulability, where optimality is defined with respect to convergence rate. We propose optimal cutting-plane algorithms for these IP formulations. We compare the new algorithms with RTA and QPA on large collections of synthetic systems to gauge the improvement in convergence rates and running times.