title: Ground state energy of a Bose gas in the Gross-Pitaevskii regime

abstract: We review some rigorous estimates for the ground state energy of dilute Bose gases. We start with Dyson's upper bound, which provides the correct leading order asymptotics for hard spheres. Afterwards, we discuss a rigorous version of Bogoliubov theory, which recently led to an estimate for the ground state energy in the Gross-Pitaevskii regime, valid up to second order, for particles interacting through integrable potentials. Finally, we explain how these ideas can be combined to establish a new upper bound, valid to second order, for the energy of hard spheres in the Gross-Pitaeavskii limit. Here we only sketch the main ideas, details will appear elsewhere.


title: Radiation Hard 3D Silicon Pixel Sensors for use in the ATLAS Detector at the HL-LHC

abstract: The High Luminosity LHC (HL-LHC) upgrade requires the planned Inner Tracker (ITk) of the ATLAS detector to tolerate extremely high radiation doses. Specifically, the innermost parts of the pixel system will have to withstand radiation fluences above $1\times10^{16}$ $n_{eq}cm^{-2}$. Novel 3D silicon pixel sensors offer a superior radiation tolerance compared to conventional planar pixel sensors, and are thus excellent candidates for the innermost parts of the ITk. This paper presents studies of 3D pixel sensors with pixel size $50 \times 50$ $\mu m^2$ mounted on the RD53A prototype readout chip. Following a description of the design and fabrication steps, Test Beam results are presented for unirradiated as well as heavily irradiated sensors. For particles passing at perpendicular incidence, it is shown that average efficiencies above 96% are reached for sensors exposed to fluences of $1\times10^{16}$ $n_{eq}cm^{-2}$ when biased to 80 $V$.


title: Computational Pattern Making from 3D Garment Models

abstract: We propose a method for computing a sewing pattern of a given 3D garment model. Our algorithm segments an input 3D garment shape into patches and computes their 2D parameterization, resulting in pattern pieces that can be cut out of fabric and sewn together to manufacture the garment. Unlike the general state-of-the-art approaches for surface cutting and flattening, our method explicitly targets garment fabrication. It accounts for the unique properties and constraints of tailoring, such as seam symmetry, the usage of darts, fabric grain alignment, and a flattening distortion measure that models woven fabric deformation, respecting its anisotropic behavior. We bootstrap a recent patch layout approach developed for quadrilateral remeshing and adapt it to the purpose of computational pattern making, ensuring that the deformation of each pattern piece stays within prescribed bounds of cloth stress. While our algorithm can automatically produce the sewing patterns, it is fast enough to admit user input to creatively iterate on the pattern design. Our method can take several target poses of the 3D garment into account and integrate them into the sewing pattern design. We demonstrate results on both skintight and loose garments, showcasing the versatile application possibilities of our approach.


title: Hierarchical equations of motion approach to hybrid fermionic and bosonic environments: Matrix product state formulation in twin space

abstract: We extend the twin-space formulation of the hierarchical equations of motion approach in combination with the matrix product state representation (introduced in J. Chem. Phys. 150, 234102, [2019]) to nonequilibrium scenarios where the open quantum system is coupled to a hybrid fermionic and bosonic environment. The key ideas used in the extension are a reformulation of the hierarchical equations of motion for the auxiliary density matrices into a time-dependent Schr\"odinger-like equation for an augmented multi-dimensional wave function as well as a tensor decomposition into a product of low-rank matrices. The new approach facilitates accurate simulations of non-equilibrium quantum dynamics in larger and more complex open quantum systems. The performance of the method is demonstrated for a model of a molecular junction exhibiting current-induced mode-selective vibrational excitation.


title: Compact Michelson interferometers with subpicometer sensitivity

abstract: The network of interferometric gravitational-wave observatories has successfully detected tens of astrophysical signals since 2015. In this paper, we experimentally investigate compact sensors that have the potential to improve the sensitivity of gravitational-wave detectors to intermediate-mass black holes. We use only commercial components, such as sensing heads and lasers, to assemble the setup and demonstrate its subpicometer precision. The setup consists of a pair of Michelson interferferometers that use deep frequency modulation techniques to obtain a linear, relative displacement readout over multiple interference fringes. We implement a laser-frequency stabilisation scheme to achieve a sensitivity of 0.3\,$\text{pm} / \sqrt{\text{Hz}}$ above 0.1\,Hz. The device has also the potential to improve other experiments, such as torsion balances and commercial seismometers.


title: A conservative level-set method based on a posterior mass correction preserving distance property for incompressible multiphase flows simulations

abstract: As one of the most popular interface-capturing methods, the level-set method is inherently non-conservative, and its evolution usually leads to unphysical mass gain/loss. In this paper, a novel conservative level set method is developed for incompressible multiphase flows simulations. A posterior mass correction is performed by introducing a small perturbation to the level-set field, which is solved via the Newton method. Unlike in previous researches, the signed distance property of the level-set function is exactly preserved after the present mass correction. Moreover, this method can be easily generalized from 2D to 3D. The influence for the computational efficiency is slight as the correction does not need to be applied at every time step. Various benchmark cases involving pure interface-evolution problems and multiphase flows problems are considered to validate the present method. For all cases, the accuracy and efficiency of the original method and the present method are quantitatively compared. It is observed that, with negligibly extra cost, the conservation error is reduced to the order of machine accuracy by the present method, which indicates its potential applications in complex multiphase flows simulations.


title: Poisoning Attacks and Defenses on Artificial Intelligence: A Survey

abstract: Machine learning models have been widely adopted in several fields. However, most recent studies have shown several vulnerabilities from attacks with a potential to jeopardize the integrity of the model, presenting a new window of research opportunity in terms of cyber-security. This survey is conducted with a main intention of highlighting the most relevant information related to security vulnerabilities in the context of machine learning (ML) classifiers; more specifically, directed towards training procedures against data poisoning attacks, representing a type of attack that consists of tampering the data samples fed to the model during the training phase, leading to a degradation in the models accuracy during the inference phase. This work compiles the most relevant insights and findings found in the latest existing literatures addressing this type of attacks. Moreover, this paper also covers several defense techniques that promise feasible detection and mitigation mechanisms, capable of conferring a certain level of robustness to a target model against an attacker. A thorough assessment is performed on the reviewed works, comparing the effects of data poisoning on a wide range of ML models in real-world conditions, performing quantitative and qualitative analyses. This paper analyzes the main characteristics for each approach including performance success metrics, required hyperparameters, and deployment complexity. Moreover, this paper emphasizes the underlying assumptions and limitations considered by both attackers and defenders along with their intrinsic properties such as: availability, reliability, privacy, accountability, interpretability, etc. Finally, this paper concludes by making references of some of main existing research trends that provide pathways towards future research directions in the field of cyber-security.


title: End-to-End High Accuracy License Plate Recognition Based on Depthwise Separable Convolution Networks

abstract: Automatic license plate recognition plays a crucial role in modern transportation systems such as for traffic monitoring and vehicle violation detection. In real-world scenarios, license plate recognition still faces many challenges and is impaired by unpredictable interference such as weather or lighting conditions. Many machine learning based ALPR solutions have been proposed to solve such challenges in recent years. However, most are not convincing, either because their results are evaluated on small or simple datasets that lack diverse surroundings, or because they require powerful hardware to achieve a reasonable frames-per-second in real-world applications. In this paper, we propose a novel segmentation-free framework for license plate recognition and introduce NP-ALPR, a diverse and challenging dataset which resembles real-world scenarios. The proposed network model consists of the latest deep learning methods and state-of-the-art ideas, and benefits from a novel network architecture. It achieves higher accuracy with lower computational requirements than previous works. We evaluate the effectiveness of the proposed method on three different datasets and show a recognition accuracy of over 99% and over 70 fps, demonstrating that our method is not only robust but also computationally efficient.


title: A categorical review of complete regularity

abstract: We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here called T-spaces in C, for a monad T on C that substitutes the ultrafilter monad on Set. Within these settings one finds not only the notions of compactness and Hausdorff separation, originally due to Manes, but also that of complete regularity. Based on a somewhat hidden result by Burroni, the main theorem of this paper establishes an external fibrational characterization of the category of completely regular T-spaces with its reflexive subcategory of compact Hausdorff T-spaces, under modest assumptions on C and T.


title: Cryogenic thermo-acoustics in the SPIRAL2 LINAC

abstract: SPIRAL2 is a superconducting LINAC subject to cryogenic thermo-acoustic oscillations occurring in its valves-boxes. 4 years of monitoring and experimental investigations with thousands of datasets turned these unwanted effects into an opportunity to study and understand thermo-acoustics in a complex environment such as a real life accelerator. Without digging deep into Rott's thermo-acoustics theory, thoroughly shown in other works, this paper describes the instrumentation and the methods that prepare more advanced modelling of these phenomena either to damp or to harness the energy of cryogenic thermo-acoustics.


title: On the Information-theoretic Security of Combinatorial All-or-nothing Transforms

abstract: All-or-nothing transforms (AONT) were proposed by Rivest as a message preprocessing technique for encrypting data to protect against brute-force attacks, and have numerous applications in cryptography and information security. Later the unconditionally secure AONT and their combinatorial characterization were introduced by Stinson. Informally, a combinatorial AONT is an array with the unbiased requirements and its security properties in general depend on the prior probability distribution on the inputs $s$-tuples. Recently, it was shown by Esfahani and Stinson that a combinatorial AONT has perfect security provided that all the inputs $s$-tuples are equiprobable, and has weak security provided that all the inputs $s$-tuples are with non-zero probability. This paper aims to explore on the gap between perfect security and weak security for combinatorial $(t,s,v)$-AONTs. Concretely, we consider the typical scenario that all the $s$ inputs take values independently (but not necessarily identically) and quantify the amount of information $H(\mathcal{X}|\mathcal{Y})$ about any $t$ inputs $\mathcal{X}$ that is not revealed by any $s-t$ outputs $\mathcal{Y}$. In particular, we establish the general lower and upper bounds on $H(\mathcal{X}|\mathcal{Y})$ for combinatorial AONTs using information-theoretic techniques, and also show that the derived bounds can be attained in certain cases. Furthermore, the discussions are extended for the security properties of combinatorial asymmetric AONTs.


title: ALGAN: Anomaly Detection by Generating Pseudo Anomalous Data via Latent Variables

abstract: In many anomaly detection tasks, where anomalous data rarely appear and are difficult to collect, training using only normal data is important. Although it is possible to manually create anomalous data using prior knowledge, they may be subject to user bias. In this paper, we propose an Anomalous Latent variable Generative Adversarial Network (ALGAN) in which the GAN generator produces pseudo-anomalous data as well as fake-normal data, whereas the discriminator is trained to distinguish between normal and pseudo-anomalous data. This differs from the standard GAN discriminator, which specializes in classifying two similar classes. The training dataset contains only normal data; the latent variables are introduced in anomalous states and are input into the generator to produce diverse pseudo-anomalous data. We compared the performance of ALGAN with other existing methods on the MVTec-AD, Magnetic Tile Defects, and COIL-100 datasets. The experimental results showed that ALGAN exhibited an AUROC comparable to those of state-of-the-art methods while achieving a much faster prediction time.


title: Orthorhombic charge density wave on the tetragonal lattice of EuAl4

abstract: EuAl4 possesses the BaAl4 crystal structure type with tetragonal symmetry I4/mmm. It undergoes a charge-density-wave (CDW) transition at TCDW = 145 K and it features four consecutive antiferromagnetic phase transitions below 16 K. Here, we use single-crystal x-ray diffraction to determine incommensurately modulated crystal structure of EuAl4 in its CDW state. The CDW is shown to be incommensurate with modulation wave vector q = (0, 0, 0.1781(3)) at 70 K. The symmetry of the incommensurately modulated crystal structure is orthorhombic with superspace group Fmmm(00{\sigma})s00, where Fmmm is a subgroup of I4/mmm of index 2. Both the lattice and the atomic coordinates of the basic structure remain tetragonal. Symmetry breaking is entirely due to the modulation wave, where atoms Eu and Al1 have displacements exclusively along a, while the fourfold rotation would require equal displacement amplitudes along a and b. The calculated band structure of the basic structure and interatomic distances in the modulated crystal structure both indicate the aluminum atoms as location of the CDW. The temperature dependence of the specific heat reveals an anomaly at TCDW = 145 K of a magnitude similar to canonical CDW systems. The present discovery of orthorhombic symmetry for the CDW state of EuAl4 leads to the suggestion of monoclinic instead of orthorhombic symmetry for the third AFM state.


title: On quotients of bounded homogeneous domains by unipotent discrete groups

abstract: We show that the quotient of any bounded homogeneous domain by a unipotent discrete group of automorphisms is holomorphically separable. Then we give a necessary condition for the quotient to be Stein and prove that in some cases this condition is also sufficient.


title: A Review of Emerging Research Directions in Abstract Visual Reasoning

abstract: Abstract Visual Reasoning (AVR) problems are commonly used to approximate human intelligence. They test the ability of applying previously gained knowledge, experience and skills in a completely new setting, which makes them particularly well-suited for this task. Recently, the AVR problems have become popular as a proxy to study machine intelligence, which has led to emergence of new distinct types of problems and multiple benchmark sets. In this work we review this emerging AVR research and propose a taxonomy to categorise the AVR tasks along 5 dimensions: input shapes, hidden rules, target task, cognitive function, and main challenge. The perspective taken in this survey allows to characterise AVR problems with respect to their shared and distinct properties, provides a unified view on the existing approaches for solving AVR tasks, shows how the AVR problems relate to practical applications, and outlines promising directions for future work. One of them refers to the observation that in the machine learning literature different tasks are considered in isolation, which is in the stark contrast with the way the AVR tasks are used to measure human intelligence, where multiple types of problems are combined within a single IQ test.


title: Exclusive semileptonic $B \to \pi \ell \nu_\ell$ and $B_s \to K \ell \nu_\ell$ decays through unitarity and lattice QCD

abstract: The Cabibbo-Kobayashi-Maskawa (CKM) matrix element $\vert V_{ub}\vert$ is obtained from exclusive semileptonic $B \to \pi \ell \nu_\ell$ and $B_s \to K \ell \nu_\ell$ decays adopting the unitarity-based dispersion matrix approach for the determination of the hadronic form factors (FFs) in the whole kinematical range. We use lattice computations of the relevant susceptibilities and of the FFs in the large-$q^2$ regime in order to derive their behavior in the low-$q^2$ region without assuming any specific momentum dependence and without constraining their shape using experimental data. Then, we address the extraction of $\vert V_{ub}\vert$ from the experimental data, obtaining $\vert V_{ub}\vert = (3.62 \pm 0.47) \cdot 10^{-3}$ from $B \to \pi$ and $\vert V_{ub}\vert = (3.77 \pm 0.48) \cdot 10^{-3}$ from $B_s \to K$, which after averaging yield $\vert V_{ub}\vert = (3.69 \pm 0.34) \cdot 10^{-3}$. These results are compatible with the most recent inclusive value $\vert V_{ub} \vert_{incl} = 4.13\,(26) \cdot 10^{-3}$ at the 1$\sigma$ level. We also present purely theoretical estimates of the ratio of the $\tau/\mu$ decay rates $R^{\tau/\mu}_{\pi(K)}$, the normalized forward-backward asymmetry $\bar{\mathcal{A}}_{FB}^{\ell,\pi(K)}$ and the normalized lepton polarization asymmetry $\bar{\mathcal{A}}_{polar}^{\ell,\pi(K)}$.


title: A Comprehensive Evaluation on Multi-channel Biometric Face Presentation Attack Detection

abstract: The vulnerability against presentation attacks is a crucial problem undermining the wide-deployment of face recognition systems. Though presentation attack detection (PAD) systems try to address this problem, the lack of generalization and robustness continues to be a major concern. Several works have shown that using multi-channel PAD systems could alleviate this vulnerability and result in more robust systems. However, there is a wide selection of channels available for a PAD system such as RGB, Near Infrared, Shortwave Infrared, Depth, and Thermal sensors. Having a lot of sensors increases the cost of the system, and therefore an understanding of the performance of different sensors against a wide variety of attacks is necessary while selecting the modalities. In this work, we perform a comprehensive study to understand the effectiveness of various imaging modalities for PAD. The studies are performed on a multi-channel PAD dataset, collected with 14 different sensing modalities considering a wide range of 2D, 3D, and partial attacks. We used the multi-channel convolutional network-based architecture, which uses pixel-wise binary supervision. The model has been evaluated with different combinations of channels, and different image qualities on a variety of challenging known and unknown attack protocols. The results reveal interesting trends and can act as pointers for sensor selection for safety-critical presentation attack detection systems. The source codes and protocols to reproduce the results are made available publicly making it possible to extend this work to other architectures.


title: Domain Adaptation in Neural Machine Translation using a Qualia-Enriched FrameNet

abstract: In this paper we present Scylla, a methodology for domain adaptation of Neural Machine Translation (NMT) systems that make use of a multilingual FrameNet enriched with qualia relations as an external knowledge base. Domain adaptation techniques used in NMT usually require fine-tuning and in-domain training data, which may pose difficulties for those working with lesser-resourced languages and may also lead to performance decay of the NMT system for out-of-domain sentences. Scylla does not require fine-tuning of the NMT model, avoiding the risk of model over-fitting and consequent decrease in performance for out-of-domain translations. Two versions of Scylla are presented: one using the source sentence as input, and another one using the target sentence. We evaluate Scylla in comparison to a state-of-the-art commercial NMT system in an experiment in which 50 sentences from the Sports domain are translated from Brazilian Portuguese to English. The two versions of Scylla significantly outperform the baseline commercial system in HTER.


title: Topology of black hole thermodynamics in Gauss-Bonnet gravity

abstract: Thermodynamics of black holes in anti de Sitter (AdS) spacetimes typically contains critical points in the phase diagram, some of which correspond to the first order transition ending in a second order one. Following the recent proposal in [arXiv:2112.01706] on using Duan's $\phi$-mapping theory, we classify the critical points of six dimensional charged Gauss-Bonnet black holes in AdS spacetime. We find that the higher derivative corrections from Gauss-Bonnet gravity do not change the topological class of critical points in charged black holes in AdS, unlike the case of Born-Infeld corrections noted earlier. The connection between the topological nature of critical points and existence of first order phase transitions breaks down in a certain parameter regime. A resolution is proposed by treating the novel and conventional critical points as phase creation and phase annihilation points, respectively. Examples are provided to support the proposal.


title: The Mathematics of Evolution: The Price Equation, Natural Selection, and Environmental Change

abstract: George Price introduced his famous equation to study selective and environmental effects in discrete populations. We extend Price's framework to the measurable and quantum cases, decomposing all evolutionary processes into selective and environmental components. We also extend Fisher's fundamental theorem, showing that selective change of relative fitness equals variance of relative fitness. We introduce novel selective and environmental entropy functionals. Selective entropy is non-positive, representing biological negentropy, and environmental entropy is non-negative, representing physical entropy. Environmental entropy further decomposes into dispersion and mixing entropies. We prove four novel Laws of Natural Selection, showing that selection consistently acts to increase selection, but can be disrupted by environmental change. We apply convex analysis to variance and entropy functionals and their selective changes, and equilibrium processes arise to optimize these inequalities. These laws are inspired by but distinct from the classical Thermodynamic Laws. Our Zeroth Law is a refinement of Fisher's theorem, showing that variance of relative fitness is bounded below by a quantity depending on the child-bearing population. Our First Law shows that selective acceleration of relative fitness is also bounded below, depending on the variance. This is a non-conservative, selective version of the Thermodynamic First Law. Our Second Law shows that the selective change of selective entropy and its selective acceleration are similarly bounded by non-positive constants. This is a formal, rigorous version of the Thermodynamic Second Law. Our Third Law shows that for a class of equilibrium processes, selective change of environmental entropy vanishes, and otherwise may vary in an open window around zero. This is a selective version of the Third Law of Thermodynamics.


title: Speaker Adaptation Using Spectro-Temporal Deep Features for Dysarthric and Elderly Speech Recognition

abstract: Despite the rapid progress of automatic speech recognition (ASR) technologies targeting normal speech in recent decades, accurate recognition of dysarthric and elderly speech remains highly challenging tasks to date. Sources of heterogeneity commonly found in normal speech including accent or gender, when further compounded with the variability over age and speech pathology severity level, create large diversity among speakers. To this end, speaker adaptation techniques play a key role in personalization of ASR systems for such users. Motivated by the spectro-temporal level differences between dysarthric, elderly and normal speech that systematically manifest in articulatory imprecision, decreased volume and clarity, slower speaking rates and increased dysfluencies, novel spectrotemporal subspace basis deep embedding features derived using SVD speech spectrum decomposition are proposed in this paper to facilitate auxiliary feature based speaker adaptation of state-of-the-art hybrid DNN/TDNN and end-to-end Conformer speech recognition systems. Experiments were conducted on four tasks: the English UASpeech and TORGO dysarthric speech corpora; the English DementiaBank Pitt and Cantonese JCCOCC MoCA elderly speech datasets. The proposed spectro-temporal deep feature adapted systems outperformed baseline i-Vector and xVector adaptation by up to 2.63% absolute (8.63% relative) reduction in word error rate (WER). Consistent performance improvements were retained after model based speaker adaptation using learning hidden unit contributions (LHUC) was further applied. The best speaker adapted system using the proposed spectral basis embedding features produced the lowest published WER of 25.05% on the UASpeech test set of 16 dysarthric speakers.


title: Machine-learning assisted quantum control in random environment

abstract: Disorder in condensed matter and atomic physics is responsible for a great variety of fascinating quantum phenomena, which are still challenging for understanding, not to mention the relevant dynamical control. Here we introduce proof of the concept and analyze neural network-based machine learning algorithm for achieving feasible high-fidelity quantum control of a particle in random environment. To explicitly demonstrate its capabilities, we show that convolutional neural networks are able to solve this problem as they can recognize the disorder and, by supervised learning, further produce the policy for the efficient low-energy cost control of a quantum particle in a time-dependent random potential. We have shown that the accuracy of the proposed algorithm is enhanced by a higher-dimensional mapping of the disorder pattern and using two neural networks, each properly trained for the given task. The designed method, being computationally more efficient than the gradient-descent optimization, can be applicable to identify and control various noisy quantum systems on a heuristic basis.


title: Seeing the advantage: visually grounding word embeddings to better capture human semantic knowledge

abstract: Distributional semantic models capture word-level meaning that is useful in many natural language processing tasks and have even been shown to capture cognitive aspects of word meaning. The majority of these models are purely text based, even though the human sensory experience is much richer. In this paper we create visually grounded word embeddings by combining English text and images and compare them to popular text-based methods, to see if visual information allows our model to better capture cognitive aspects of word meaning. Our analysis shows that visually grounded embedding similarities are more predictive of the human reaction times in a large priming experiment than the purely text-based embeddings. The visually grounded embeddings also correlate well with human word similarity ratings. Importantly, in both experiments we show that the grounded embeddings account for a unique portion of explained variance, even when we include text-based embeddings trained on huge corpora. This shows that visual grounding allows our model to capture information that cannot be extracted using text as the only source of information.


title: Benchmark calculations of infinite neutron matter with realistic two- and three-nucleon potentials

abstract: We present the equation of state of infinite neutron matter as obtained from highly-realistic Hamiltonians that include nucleon-nucleon and three-nucleon coordinate-space potentials. We benchmark three independent many-body methods: Brueckner-Bethe-Goldstone (BBG), Fermi hypernetted chain/single-operator chain (FHNC/SOC), and auxiliary-field diffusion Monte Carlo (AFDMC). We find them to provide similar equations of state when the Argonne $v_{18}$ and the Argonne $v_{6}^\prime$ nucleon-nucleon potentials are used in combination with the Urbana IX three-body force. Only at densities larger than about 1.5 the nuclear saturation density ($\rho_0 = 0.16\,\rm{fm}^{-3}$) the FHNC/SOC energies are appreciably lower than the other two approaches. The AFDMC calculations carried out with all of the Norfolk potentials fitted to reproduce the experimental trinucleon ground-state energies and $nd$ doublet scattering length yield unphysically bound neutron matter, associated with the formation of neutron droplets. Including tritium $\beta$-decay in the fitting procedure, as in the second family of Norfolk potentials, mitigates but does not completely resolve this problem. An excellent agreement between the BBG and AFDMC results is found for the subset of Norfolk interactions that do not make neutron-matter collapse, while the FHNC/SOC equations of state are moderately softer.


title: A Coronal Mass Ejection followed by a prominence eruption and a plasma blob as observed by Solar Orbiter

abstract: On February 12, 2021 two subsequent eruptions occurred above the West limb, as seen along the Sun-Earth line. The first event was a typical slow Coronal Mass Ejection (CME), followed $\sim 7$ hours later by a smaller and collimated prominence eruption, originating Southward with respect to the CME, followed by a plasma blob. These events were observed not only by SOHO and STEREO-A missions, but also by the suite of remote sensing instruments on-board Solar Orbiter (SolO). This work shows how data acquired by the Full Sun Imager (FSI), Metis coronagraph, and Heliospheric Imager (SoloHI) from the SolO perspective can be combined to study the eruptions and the different source regions. Moreover, we show how Metis data can be analyzed to provide new information about solar eruptions. Different 3D reconstruction methods were applied to the data acquired by different spacecraft including remote sensing instruments on-board SolO. Images acquired by both Metis channels in the Visible Light (VL) and H I Lyman$-\alpha$ line (UV) were combined to derive physical information on the expanding plasma. The polarization ratio technique was also applied for the first time to the Metis images acquired in the VL channel. The two eruptions were followed in 3D from their source region to their expansion in the intermediate corona. Thanks to the combination of VL and UV Metis data, the formation of a post-CME Current Sheet (CS) was followed for the first time in the intermediate corona. The plasma temperature gradient across a post-CME blob propagating along the CS was also measured for the first time. Application of the polarization ratio technique to Metis data shows that, thanks to the combination of four different polarization measurements, the errors are reduced by $\sim 5-7$\%, thus better constraining the 3D distribution of plasma.


title: Single-Query Verifiable Proof-of-Sequential-Work

abstract: We propose a proof-of-sequential-work (PoSW) that can be verified with only a single query to the random oracle for each random challenge. Proofs-of-sequential-work are protocols that facilitate a verifier to efficiently verify if a prover has executed a specified number of computations sequentially. Denoting this number of sequential computations with N , the prover with poly(N) parallelism must take $\Omega(N)$-sequential time while the verifier verifies the computation in O(log N)-sequential time using upto O(log N) parallelism. We propose a PoSW that allows any verifier, even the one with no parallelism, to verify using just a single sequential computation on a single challenge. All the existing PoSWs [10, 5, 2, 6] mandate a prover to compute a sequence of responses from a random oracle against N-rounds of queries. Then the prover commits this sequence using a commitment scheme (e.g., Merkle root (like) commitment) predefined in the PoSWs. Now the verifier asks the prover to provide a set of proofs against t randomly chosen checkpoints, called challenges, in the computed sequence. The verifier finds out the commitment from each of these proofs spending O(log N) rounds of queries to the oracle. It can be reduced to a single round of queries only if the verifier owns O(log N) parallelism [6]. The verifier in our PoSW demands no parallelism but uses a single query to the random oracle in order to verify each of the t challenges. The key observation is that the commitment schemes themselves in the prior works demand O(log N ) oracle queries to verify.


title: On binomial thinning and mixing

abstract: In this paper we consider the notions of binomial thinning, binomial mixing, their generalizations, certain interplay between them, associated limit theorems and provide various examples.


title: AD for an Array Language with Nested Parallelism

abstract: We present a technique for applying (forward and) reverse-mode automatic differentiation (AD) on a non-recursive second-order functional array language that supports nested parallelism and is primarily aimed at efficient GPU execution. The key idea is to eliminate the need for a "tape" by relying on redundant execution to bring into each new scope all program variables that may be needed by the differentiated code. Efficient execution is enabled by the observation that perfectly-nested scopes do not introduce re-execution, and such perfect nests are produced by known compiler transformations, e.g., flattening. Our technique differentiates loops and bulk-parallel operators, such as map, reduce, histogram, scan, scatter, by specific rewrite rules, and aggressively optimizes the resulting nested-parallel code. We report an experimental evaluation that compares with established AD solutions and demonstrates competitive performance on nine common benchmarks from recent applied AD literature.


title: Stokes phenomena, Poisson-Lie groups and quantum groups

abstract: Let g be a complex semisimple Lie algebra, G the simply-connected Poisson-Lie group corresponding to g, and G* its dual. G-valued Stokes phenomena were used by Boalch [Bo1,Bo2] to give a canonical, analytic linearisation of the Poisson structure on G*. Ug-valued Stokes phenomena were used by the first author to construct a twist killing the KZ associator, and therefore give a transcendental construction of the Drinfeld-Jimbo quantum group U_hg (arXiv:1601.04076). In the present paper, we show that the former construction can be obtained as semiclassical limit of the latter. Along the way, we also show that the R-matrix of U_hg is a Stokes matrix for the dynamical KZ equations.


title: Reducing and Invariant subspaces under two commuting shift operators

abstract: In this article, we characterize reducing and invariant subspaces of the space of square integrable functions defined in the unit circle and having values in some Hardy space with multiplicity. We consider subspaces that reduce the bilateral shift and at the same time are invariant under the unilateral shift acting locally. We also study subspaces that reduce both operators. The conditions obtained are of the type of the ones in Helson and Beurling-Lax-Halmos theorems on characterizations of the invariance for the bilateral and unilateral shift. The motivations for our study were inspired by recent results on Dynamical Sampling in shift-invariant spaces.


title: Characterization of Supernovae Based on the Spectral-Temporal Energy Distribution: Possible two SN Ib Subtypes

abstract: A quantitative data-driven comparison among supernovae (SNe) based on their spectral time series combined with multi-band photometry is presented. We use an unsupervised Random Forest algorithm as a metric on a set of 82 well-documented SNe representing all the main spectroscopic types, in order to embed these in an abstract metric space reflecting shared correlations between the objects. We visualize the resulting metric space in 3D, revealing strong agreement with the current spectroscopic classification scheme. The embedding splits Type Ib supernovae into two groups, with one subgroup exhibiting broader, less prominent, higher-velocity lines than the other, possibly suggesting a new SN Ib subclass is required. The method could be to classify newly discovered SNe according to their distance from known event groups, or ultimately to devise a new, spectral-temporal classification scheme. Such an embedding could also depend on hidden parameters which may perhaps be physically interpretable.


title: VLAD-VSA: Cross-Domain Face Presentation Attack Detection with Vocabulary Separation and Adaptation

abstract: For face presentation attack detection (PAD), most of the spoofing cues are subtle, local image patterns (e.g., local image distortion, 3D mask edge and cut photo edges). The representations of existing PAD works with simple global pooling method, however, lose the local feature discriminability. In this paper, the VLAD aggregation method is adopted to quantize local features with visual vocabulary locally partitioning the feature space, and hence preserve the local discriminability. We further propose the vocabulary separation and adaptation method to modify VLAD for cross-domain PADtask. The proposed vocabulary separation method divides vocabulary into domain-shared and domain-specific visual words to cope with the diversity of live and attack faces under the cross-domain scenario. The proposed vocabulary adaptation method imitates the maximization step of the k-means algorithm in the end-to-end training, which guarantees the visual words be close to the center of assigned local features and thus brings robust similarity measurement. We give illustrations and extensive experiments to demonstrate the effectiveness of VLAD with the proposed vocabulary separation and adaptation method on standard cross-domain PAD benchmarks. The codes are available at https://github.com/Liubinggunzu/VLAD-VSA.


title: On the use of Sulphur as a tracer for abundances in galaxies

abstract: We present a methodology for the use of sulphur as global metallicity tracer in galaxies, allowing performing a complete abundance analysis using only the red-to-near infrared spectral region. We have applied it to a compilation of high-quality data split into two samples: HII regions (DHR) in spiral and irregular galaxies, and dwarf galaxies dominated by a strong starburst (HIIGal). Sulphur abundances have been derived by direct methods under the assumption of an ionisation structure composed of two zones: an intermediate one where S{++} is originated and a low ionisation one where S{+} is formed. Ionisation correction factors (ICF) have been calculated from the Ar{2+}/Ar{3+} ratio and are shown to correlate with the hardness of the radiation field. Only about 10% of the objects show S{3+} contributions to the total abundance larger than 30%. A good correlation exists between sulphur abundance and ionising temperature with low metallicity objects being ionised by hotter stars. No correlation is found between ionisation parameter and total S/H abundance. Most of the HIIGal objects show S/O ratios below the solar value and a trend for increasing S/O ratios with increasing sulphur abundances while DHR objects show S/O ratios larger than solar and a tendency for lower S/O ratios for higher metallicities. Finally, we present a calibration of the sulphur abundance through the S{23} parameter that remains single valued up to sulphur abundances well beyond the solar value. S{23} is independent of the ionisation parameter and only weakly dependent on ionising temperature.


title: Path toward manufacturable superconducting qubits with relaxation times exceeding 0.1 ms

abstract: As the superconducting qubit platform matures towards ever-larger scales in the race towards a practical quantum computer, limitations due to qubit inhomogeneity through lack of process control become apparent. To benefit from the advanced process control in industry-scale CMOS fabrication facilities, different processing methods will be required. In particular, the double-angle evaporation and lift-off techniques used for current, state-of-the art superconducting qubits are generally incompatible with modern day manufacturable processes. Here, we demonstrate a fully CMOS compatible qubit fabrication method, and show results from overlap Josephson junction devices with long coherence and relaxation times, on par with the state-of-the-art. We experimentally verify that Argon milling - the critical step during junction fabrication - and a subtractive etch process nevertheless result in qubits with average qubit energy relaxation times T1 reaching 70 $\mu$s, with maximum values exceeding 100 $\mu$s. Furthermore, we show that our results are still limited by surface losses and not, crucially, by junction losses. The presented fabrication process therefore heralds an important milestone towards a manufacturable 300 mm CMOS process for high-coherence superconducting qubits and has the potential to advance the scaling of superconducting device architectures.


title: Real-Time Scene Text Detection with Differentiable Binarization and Adaptive Scale Fusion

abstract: Recently, segmentation-based scene text detection methods have drawn extensive attention in the scene text detection field, because of their superiority in detecting the text instances of arbitrary shapes and extreme aspect ratios, profiting from the pixel-level descriptions. However, the vast majority of the existing segmentation-based approaches are limited to their complex post-processing algorithms and the scale robustness of their segmentation models, where the post-processing algorithms are not only isolated to the model optimization but also time-consuming and the scale robustness is usually strengthened by fusing multi-scale feature maps directly. In this paper, we propose a Differentiable Binarization (DB) module that integrates the binarization process, one of the most important steps in the post-processing procedure, into a segmentation network. Optimized along with the proposed DB module, the segmentation network can produce more accurate results, which enhances the accuracy of text detection with a simple pipeline. Furthermore, an efficient Adaptive Scale Fusion (ASF) module is proposed to improve the scale robustness by fusing features of different scales adaptively. By incorporating the proposed DB and ASF with the segmentation network, our proposed scene text detector consistently achieves state-of-the-art results, in terms of both detection accuracy and speed, on five standard benchmarks.


title: Design of a Canted-cosine-theta orbit corrector for the High Luminosity LHC

abstract: The High Luminosity LHC requires dipole orbit correctors grouped in double aperture magnet assemblies. They provide a field of 3.1 T at 100 A in an aperture of 70 mm. The current standard design is a classical cosine-theta layout made with ribbon cable. However, the electric insulation of the ribbon cable is not radiation-resistant enough to withstand the radiation load expected in the coming years of LHC operation. A new design, based on a radiation-resistant cable with polyimide insulator, that can replace the existing orbit correctors at their end-of-life, is needed. The challenge is to design a magnet that fits directly into the existing positions and that can operate with the same busbars, passive quench protection, and power supplies as existing magnets. We propose a self-protected canted-cosine-theta (CCT) design. We take the opportunity to explore new concepts for the CCT design to produce a cost-effective and high-quality design with a more sustainable use of resources. The new orbit corrector design meets high requirements on the field quality while keeping within the same mechanical volume and maximum excitation current. A collaboration of Swedish universities and Swedish industry has been formed for the development and production of a prototype magnet following a concurrent engineering (CE) methodology to reduce the time needed to produce a functional CCT magnet. The magnet has a 1 m long CCT dipole layout consisting of two coils. The superconductor is a commercially available 0.33 mm wire with polyimide insulation in a 6-around-1 cable. The channels in the coil formers, that determine the CCT layout, allow for 2 x 5 cable layers. A total of 70 windings makes that the coil current can be kept below 100 A. We will present the detailed design and preliminary quench simulations.


title: Real-Analyticity of Generalized Sine Functions with Two Parameters

abstract: We identify the maximal real interval on which $\sin_{p,n}$ is real-analytic for any real number $p>1$ and any integer $n>1$. We achieve this by first proving that $\sin_{p,n}$ is analytic at $(1/2){\pi}_{p,n}$ iff $p=m/(m-1)$ for some integer $m>1$, in which case we determine the radius of convergence of the Taylor series at $(1/2){\pi}_{p,n}$.


title: Temperature-related effects in the polarization of atoms in a magnetized plasma as a promising feature towards high $^3$He nuclear polarization

abstract: We report on further investigation of nuclear hyperpolarization of helium-3 in magnetized plasma at a magnetic field of 3.66 T and at different experimental conditions in a dual cell of relatively large volume, compared to those reported in the original polarization of atoms in a magnetized plasma (PAMP) paper by Maul $\textit{et al.}$ [Phys. Rev. A. $\textbf{98}$, 063405 (2018)]. It was found that steady-state nuclear polarizations obtained by this method strongly increase with temperature and rf gas discharge power. We managed to reach almost 8% at the highest possible temperature in our setup which is to date the highest polarization obtained by this method at 10 mbar. It was also shown that atomic oxygen in plasma, considered as an impurity, could be a good probe of plasma parameters relevant for the PAMP process, either the temperature or the metastable $^3$He density. The polarization build-up rates with the cell temperature stabilized near room temperature are found to be of the order of 1 s$^{-1}$ which is by two orders of magnitude faster than was reported in the original PAMP paper for the same filling pressure. These observations promise a further optimization of experimental conditions towards strong and fast hyperpolarization by this method.


title: Multi-Agent Reinforcement Learning for Network Selection and Resource Allocation in Heterogeneous multi-RAT Networks

abstract: The rapid production of mobile devices along with the wireless applications boom is continuing to evolve daily. This motivates the exploitation of wireless spectrum using multiple Radio Access Technologies (multi-RAT) and developing innovative network selection techniques to cope with such intensive demand while improving Quality of Service (QoS). Thus, we propose a distributed framework for dynamic network selection at the edge level, and resource allocation at the Radio Access Network (RAN) level, while taking into consideration diverse applications' characteristics. In particular, our framework employs a deep Multi-Agent Reinforcement Learning (DMARL) algorithm, that aims to maximize the edge nodes' quality of experience while extending the battery lifetime of the nodes and leveraging adaptive compression schemes. Indeed, our framework enables data transfer from the network's edge nodes, with multi-RAT capabilities, to the cloud in a cost and energy-efficient manner, while maintaining QoS requirements of different supported applications. Our results depict that our solution outperforms state-of-the-art techniques of network selection in terms of energy consumption, latency, and cost.


title: HoneyModels: Machine Learning Honeypots

abstract: Machine Learning is becoming a pivotal aspect of many systems today, offering newfound performance on classification and prediction tasks, but this rapid integration also comes with new unforeseen vulnerabilities. To harden these systems the ever-growing field of Adversarial Machine Learning has proposed new attack and defense mechanisms. However, a great asymmetry exists as these defensive methods can only provide security to certain models and lack scalability, computational efficiency, and practicality due to overly restrictive constraints. Moreover, newly introduced attacks can easily bypass defensive strategies by making subtle alterations. In this paper, we study an alternate approach inspired by honeypots to detect adversaries. Our approach yields learned models with an embedded watermark. When an adversary initiates an interaction with our model, attacks are encouraged to add this predetermined watermark stimulating detection of adversarial examples. We show that HoneyModels can reveal 69.5% of adversaries attempting to attack a Neural Network while preserving the original functionality of the model. HoneyModels offer an alternate direction to secure Machine Learning that slightly affects the accuracy while encouraging the creation of watermarked adversarial samples detectable by the HoneyModel but indistinguishable from others for the adversary.


title: Slow relaxation and aging in the model of randomly connected cycles network

abstract: We propose a statistical model of a large random network with high connectivity in order to describe the behavior of {\it E.\,coli} cells after exposure to acute stress. The building blocks of this network are feedback cycles typical of the genetic and metabolic networks of a cell. Each node on the cycles is a spin degree of freedom representing a component in the cell's network that can be in one of two states - active or inactive. The cycles are interconnected by regulation or by the exchange of metabolites. Stress is realized by an external magnetic field that drives the nodes into an inactive state, and the time the magnetization passes zero value for the first time represents the first division event of the cell after the stress period. The numerical and analytical solutions for this first passage problem reproduce the aging dynamics observed in the experimental data.


title: $\mathrm{C}^*$-algebras associated to homeomorphisms twisted by vector bundles over finite dimensional spaces

abstract: In this paper we study Cuntz--Pimsner algebras associated to $\mathrm{C}^*$-correspondences over commutative $\mathrm{C}^*$-algebras from the point of view of the $\mathrm{C}^*$-algebra classification programme. We show that when the correspondence comes from an aperiodic homeomorphism of a finite-dimensional infinite compact metric space $X$ twisted by a vector bundle, the resulting Cuntz--Pimsner algebras have finite nuclear dimension. When the homeomorphism is minimal, this entails classification of these $\mathrm{C}^*$-algebras by the Elliott invariant. This establishes a dichotomy: when the vector bundle has rank one, the Cuntz--Pimsner algebra has stable rank one. Otherwise, it is purely infinite. For a Cuntz--Pimsner algebra of a minimal homeomorphism of an infinite compact metric space $X$ twisted by a line bundle over $X$, we introduce orbit-breaking subalgebras. With no assumptions on the dimension of $X$, we show that they are centrally large subalgebras and hence simple and stably finite. When the dimension of $X$ is finite, they are furthermore $\mathcal{Z}$-stable and hence classified by the Elliott invariant.


title: Building prescribed quantitative orbit equivalence with the group of integers

abstract: Two groups are orbit equivalent if they both admit an action on a same probability space that share the same orbits. In particular the Ornstein-Weiss theorem implies that all infinite amenable groups are orbit equivalent to the group of integers. To refine this notion between infinite amenable groups Delabie, Koivisto, Le Ma\^itre and Tessera introduced a quantitative version of orbit equivalence. They furthermore obtained obstructions to the existence of such equivalence using the isoperimetric profile. In this article we offer to answer the inverse problem (find a group being orbit equivalent to a prescribed group with prescribed quantification) in the case of the group of integers using the so called F{\o}lner tiling shifts introduced by Delabie et al. To do so we use the diagonal products defined by Brieussel and Zheng giving groups with prescribed isoperimetric profile.


title: Next-Generation Local Time Stepping for the ADER-DG Finite Element Method

abstract: High-frequency ground motion simulations pose a grand challenge in computational seismology. Two main factors drive this challenge. First, to account for higher frequencies, we have to extend our numerical models, e.g., by considering anelasticity, or by including mountain topography. Second, even if we were able to keep our models unchanged, simply doubling the frequency content of a seismic wave propagation solver requires a sixteen-fold increase in computational resources due to the used four-dimensional space-time domains. This work presents the Extreme Scale Discontinuous Galerkin Environment (EDGE) in the context of high-frequency ground motion simulations. Our presented enhancements cover the entire spectrum of the unstructured finite element solver. This includes the incorporation of anelasticity, the introduction of a next-generation clustered local time stepping scheme, and the introduction of a completely revised communication scheme. We close the modeling and simulation loop by presenting our new and rich preprocessing, which drives the high problem-awareness and numerical efficiency of the core solver. In summary, the presented work allows us to conduct large scale high-frequency ground motion simulations efficiently, routinely and conveniently. The soundness of our work is underlined by a set of high-frequency verification runs using a realistic setting. We conclude the presentation by studying EDGE's combined algorithmic and computational efficiency in a demanding setup of the 2014 Mw 5.1 La Habra earthquake. Our results are compelling and show an improved time-to-solution by over 10x while scaling strongly from 256 to 1,536 nodes of the Frontera supercomputer with a parallel efficiency of over 95%.


title: Time complexity of the Analyst's Traveling Salesman algorithm

abstract: The Analyst's Traveling Salesman Problem asks for conditions under which a (finite or infinite) subset of $\mathbb{R}^N$ is contained on a curve of finite length. We show that for finite sets, the algorithm constructed by Schul (2007)and Badger-Naples-Vellis (2019) that solves the Analyst's Traveling Salesman Problem has polynomial time complexity and we determine the sharp exponent.


title: Photon-ALP interaction as a measure of initial photon polarization

abstract: Axion-like particles (ALPs) are very light, neutral, spin zero bosons predicted by superstring theory. ALPs interact primarily with two photons and in the presence of an external magnetic field they generate photon-ALP oscillations and the change of the polarization state of photons. While well motivated from a theoretical point of view, hints on ALP existence come from astrophysics. In this paper, we state and demonstrate some theorems about a strict relationship between initial photon polarization and photon-ALP conversion probability - which can be extrapolated by observed astrophysical spectra - so that, in the presence of ALPs, flux-measuring observatories become also porarimeters.


title: Measurement-Device-Independent Quantum Secure Direct Communication with User Authentication

abstract: Quantum secure direct communication (QSDC) and deterministic secure quantum communication (DSQC) are two important branches of quantum cryptography, where one can transmit a secret message securely without encrypting it by a prior key. In the practical scenario, an adversary can apply detector-side-channel attacks to get some non-negligible amount of information about the secret message. Measurement-device-independent (MDI) quantum protocols can remove this kind of detector-side-channel attack, by introducing an untrusted third party (UTP), who performs all the measurements during the protocol with imperfect measurement devices. In this paper, we put forward the first MDI-QSDC protocol with user identity authentication, where both the sender and the receiver first check the authenticity of the other party and then exchange the secret message. Then we extend this to an MDI quantum dialogue (QD) protocol, where both the parties can send their respective secret messages after verifying the identity of the other party. Along with this, we also report the first MDI-DSQC protocol with user identity authentication. Theoretical analyses prove the security of our proposed protocols against common attacks.


title: Diffusion approximation for a simple kinetic model with asymmetric interface

abstract: We study a diffusion approximation for a model of stochastic motion of a particle in one spatial dimension. The velocity of the particle is constant but the direction of the motion undergoes random changes with a Poisson clock. Moreover, the particle interacts with an interface in such a way that it can randomly be reflected, transmitted, or killed, and the corresponding probabilities depend on whether the particle arrives at the interface from the left, or right. We prove that the limit process is a minimal Brownian motion, if the probability of killing is positive. In the case of no killing, the limit is a skew Brownian motion.


title: OpenRAN Gym: An Open Toolbox for Data Collection and Experimentation with AI in O-RAN

abstract: Open Radio Access Network (RAN) architectures will enable interoperability, openness, and programmatic data-driven control in next generation cellular networks. However, developing scalable and efficient data-driven algorithms that can generalize across diverse deployments and optimize RAN performance is a complex feat, largely unaddressed as of today. Specifically, the ability to design efficient data-driven algorithms for network control and inference requires at a minimum (i) access to large, rich, and heterogeneous datasets; (ii) testing at scale in controlled but realistic environments, and (iii) software pipelines to automate data collection and experimentation. To facilitate these tasks, in this paper we propose OpenRAN Gym, a practical, open, experimental toolbox that provides end-to-end design, data collection, and testing workflows for intelligent control in next generation Open RAN systems. OpenRAN Gym builds on software frameworks for the collection of large datasets and RAN control, and on a lightweight O-RAN environment for experimental wireless platforms. We first provide an overview of OpenRAN Gym and then describe how it can be used to collect data, to design and train artificial intelligence and machine learning-based O-RAN applications (xApps), and to test xApps on a softwarized RAN. Then, we provide an example of two xApps designed with OpenRAN Gym and used to control a large-scale network with 7 base stations and 42 users deployed on the Colosseum testbed. OpenRAN Gym and its software components are open source and publicly-available to the research community.


title: Metasurface Magnetless Specular Isolator

abstract: We present a (nongyrotropic) metasurface magnetless specular isolator. This device reflects as a mirror a wave incident under a specified angle in one direction and absorbs it in the opposite direction. The metasurface is synthesized in terms of bianisotropic susceptibility tensors, whose nonreciprocity resides in normal components and exhibits a hybrid electric, magneto-electric nature. The metaparticle is implemented in the form of a U-shaped conducting structure loaded by a transistor. The operation principle of the specular isolator is demonstrated by both full-wave simulation and experiment, with isolation levels reaching 41 and 38 dB respectively. This system represents the first realization of a metasurface involving nonreciprocal normal susceptibilities and features a previously unreported type of nonreciprocity.


title: Resurrecting Trust in Facial Recognition: Mitigating Backdoor Attacks in Face Recognition to Prevent Potential Privacy Breaches

abstract: Biometric data, such as face images, are often associated with sensitive information (e.g medical, financial, personal government records). Hence, a data breach in a system storing such information can have devastating consequences. Deep learning is widely utilized for face recognition (FR); however, such models are vulnerable to backdoor attacks executed by malicious parties. Backdoor attacks cause a model to misclassify a particular class as a target class during recognition. This vulnerability can allow adversaries to gain access to highly sensitive data protected by biometric authentication measures or allow the malicious party to masquerade as an individual with higher system permissions. Such breaches pose a serious privacy threat. Previous methods integrate noise addition mechanisms into face recognition models to mitigate this issue and improve the robustness of classification against backdoor attacks. However, this can drastically affect model accuracy. We propose a novel and generalizable approach (named BA-BAM: Biometric Authentication - Backdoor Attack Mitigation), that aims to prevent backdoor attacks on face authentication deep learning models through transfer learning and selective image perturbation. The empirical evidence shows that BA-BAM is highly robust and incurs a maximal accuracy drop of 2.4%, while reducing the attack success rate to a maximum of 20%. Comparisons with existing approaches show that BA-BAM provides a more practical backdoor mitigation approach for face recognition.


title: Moduli spaces of SUSY curves and their operads

abstract: This article generalizes the operad of moduli spaces of curves to SUSY curves. SUSY curves are algebraic curves with additional supersymmetric or supergeometric structure. Here, we focus on the description of the relevant category of graphs and its combinatorics as well as the construction of dual graphs of SUSY curves and the SUSY operad taking values in a category of moduli spaces of SUSY curves with Neveu-Schwarz and Ramond punctures.


title: AF$_2$: Adaptive Focus Framework for Aerial Imagery Segmentation

abstract: As a specific semantic segmentation task, aerial imagery segmentation has been widely employed in high spatial resolution (HSR) remote sensing images understanding. Besides common issues (e.g. large scale variation) faced by general semantic segmentation tasks, aerial imagery segmentation has some unique challenges, the most critical one among which lies in foreground-background imbalance. There have been some recent efforts that attempt to address this issue by proposing sophisticated neural network architectures, since they can be used to extract informative multi-scale feature representations and increase the discrimination of object boundaries. Nevertheless, many of them merely utilize those multi-scale representations in ad-hoc measures but disregard the fact that the semantic meaning of objects with various sizes could be better identified via receptive fields of diverse ranges. In this paper, we propose Adaptive Focus Framework (AF$_2$), which adopts a hierarchical segmentation procedure and focuses on adaptively utilizing multi-scale representations generated by widely adopted neural network architectures. Particularly, a learnable module, called Adaptive Confidence Mechanism (ACM), is proposed to determine which scale of representation should be used for the segmentation of different objects. Comprehensive experiments show that AF$_2$ has significantly improved the accuracy on three widely used aerial benchmarks, as fast as the mainstream method.


title: Advances in honeycomb layered oxides: Part II -- Theoretical advances in the characterisation of honeycomb layered oxides with optimised lattices of cations

abstract: The quest for a successful condensed matter theory that incorporates diffusion of cations, whose trajectories are restricted to a honeycomb/hexagonal pattern prevalent in honeycomb layered materials is ongoing, with the recent progress discussed herein focusing on symmetries, topological aspects and phase transition descriptions of the theory. Such a theory is expected to differ both qualitatively and quantitatively from 2D electron theory on static carbon lattices, by virtue of the dynamical nature of diffusing cations within lattices in honeycomb layered materials. Herein, we have focused on recent theoretical progress in the characterisation of pnictogen- and chalcogen-based honeycomb layered oxides with emphasis on hexagonal/honeycomb lattices of cations. Particularly, we discuss the link between Liouville conformal field theory to expected experimental results characterising the optimal nature of the honeycomb/hexagonal lattices in congruent sphere packing problems. The diffusion and topological aspects are captured by an idealised model, which successfully incorporates the duality between the theory of cations and their vacancies. Moreover, the rather intriguing experimental result that a wide class of silver-based layered materials form stable Ag bilayers, each comprising a pair of triangular sub-lattices, suggests a bifurcation mechanism for the Ag triangular sub-lattices, which ultimately requires conformal symmetry breaking within the context of the idealised model, resulting in a cation monolayer-bilayer phase transition. Other relevant experimental, theoretical and computational techniques applicable to the characterisation of honeycomb layered materials have been availed for completeness.


title: VRL3: A Data-Driven Framework for Visual Deep Reinforcement Learning

abstract: We propose VRL3, a powerful data-driven framework with a simple design for solving challenging visual deep reinforcement learning (DRL) tasks. We analyze a number of major obstacles in taking a data-driven approach, and present a suite of design principles, novel findings, and critical insights about data-driven visual DRL. Our framework has three stages: in stage 1, we leverage non-RL datasets (e.g. ImageNet) to learn task-agnostic visual representations; in stage 2, we use offline RL data (e.g. a limited number of expert demonstrations) to convert the task-agnostic representations into more powerful task-specific representations; in stage 3, we fine-tune the agent with online RL. On a set of challenging hand manipulation tasks with sparse reward and realistic visual inputs, compared to the previous SOTA, VRL3 achieves an average of 780% better sample efficiency. And on the hardest task, VRL3 is 1220% more sample efficient (2440% when using a wider encoder) and solves the task with only 10% of the computation. These significant results clearly demonstrate the great potential of data-driven deep reinforcement learning.


title: Reducing the Gibbs effect in multimodal medical imaging by the Fake Nodes Approach

abstract: It is a common practice in multimodal medical imaging to undersample the anatomically-derived segmentation images to measure the mean activity of a co-acquired functional image. This practice avoids the resampling-related Gibbs effect that would occur in oversampling the functional image. As sides effect, waste of time and efforts are produced since the anatomical segmentation at full resolution is performed in many hours of computations or manual work. In this work we explain the commonly-used resampling methods and give errors bound in the cases of continuous and discontinuous signals. Then we propose a Fake Nodes scheme for image resampling designed to reduce the Gibbs effect when oversampling the functional image. This new approach is compared to the traditional counterpart in two significant experiments, both showing that Fake Nodes resampling gives smaller errors.


title: A Deep Learning Approach for Repairing Missing Activity Labels in Event Logs for Process Mining

abstract: Process mining is a relatively new subject that builds a bridge between traditional process modeling and data mining. Process discovery is one of the most critical parts of process mining, which aims at discovering process models automatically from event logs. The performance of existing process discovery algorithms can be affected when there are missing activity labels in event logs. Several methods have been proposed to repair missing activity labels, but their accuracy can drop when a large number of activity labels are missing. In this paper, we propose an LSTM-based prediction model to predict the missing activity labels in event logs. The proposed model takes both the prefix and suffix sequences of the events with missing activity labels as input. Additional attributes of event logs are also utilized to improve the performance. Our evaluation of several publicly available datasets shows that the proposed method performed consistently better than existing methods in terms of repairing missing activity labels in event logs.


title: Signatures of Majorana bound states and parity effects in two-dimensional chiral p-wave Josephson junctions

abstract: We characterize topological features of Josephson junctions formed by coupled mesoscopic chiral $p$-wave superconducting islands. Through analytic and numerical studies of the low-lying BdG (Bogoliubov-de Gennes) spectrum, we identify localized MBS (Majorana bound states) nucleated in Josephson vortices by the application of a perpendicular magnetic field. Additionally, we demonstrate the existence of an extended MBS that is delocalized around the outer perimeter of the coupled islands, which has measurable consequences on the Josephson supercurrent and phase dynamics of the junction. In particular, we predict a change in the critical current diffraction pattern in which the odd integer-flux nodes are lifted in a fermion parity-dependent fashion. We model the competing stochastic effects of thermal noise and macroscopic quantum tunneling within the RCSJ framework and show the emergence of a bimodal critical current distribution. We demonstrate that increasing the parity transition rate suppresses the bimodal nature of the distribution, thus strongly emphasizing the non-trivial parity dependent nature of the many-body ground state. Finally, we consider a trijunction geometry with three islands and discuss possible schemes to braid Majorana bound states by moving the Josephson vortices to which they are bound.


title: Rewriting results in the language of compatibility

abstract: This is a reply to Muff, S. et al. (2022) Rewriting results sections in the language of evidence, Trends in Ecology & Evolution 37, 203-210.


title: Least sum of squares of trimmed residuals regression

abstract: In the famous least sum of trimmed squares (LTS) of residuals estimator (Rousseeuw (1984)), residuals are first squared and then trimmed. In this article, we first trim residuals - using a depth trimming scheme - and then square the rest of residuals. The estimator that can minimize the sum of squares of the trimmed residuals, is called an LST estimator. It turns out that LST is a robust alternative to the classic least sum of squares (LS) estimator. Indeed, it has a very high finite sample breakdown point, and can resist, asymptotically, up to $50\%$ contamination without breakdown - in sharp contrast to the $0\%$ of the LS estimator. The population version of LST is Fisher consistent, and the sample version is strong and root-$n$ consistent and asymptotically normal. Approximate algorithms for computing LST are proposed and tested in synthetic and real data examples. These experiments indicate that one of the algorithms can compute the LST estimator very fast and with relatively smaller variances than the famous LTS estimator. All the evidence suggests that LST deserves to be a robust alternative to the LS estimator and is feasible in practice for high dimensional data sets (with possible contamination and outliers).


title: The photochemical ring-opening reaction of 1,3-cyclohexadiene: complex dynamical evolution of the reactive state

abstract: The photochemically induced ring-opening isomerization reaction of 1,3-cyclohexadiene (CHD) to 1,3,5-hexatriene (HT) is a textbook example of a pericyclic reaction, and has been amply investigated with advanced spectroscopic techniques. The generally accepted description of the isomerization pathway starts with a valence excitation to the lowest-lying bright state, followed by a passage through a conical intersection to a dark doubly excited state, and finally a branching between either the return to the ground state of the cyclic molecule or the actual ring-opening reaction leading to the open-chain isomer. It was traditionally assumed that the dark reactive state corresponds to the second excited state of CHD at the Franck-Condon geometry. Here in a joint experimental and computational effort we demonstrate that the evolution of the excitation-deexcitation process is much more complex than usually described. In particular, we show that an initially high-lying electronic state smoothly decreasing in energy along the reaction path plays a key role in the ring-opening reaction. The conceptual basis of our work is that the dynamics to consider here is determined by diabatic states, whose populations are the ones closely related to the observed photoelectron signal.


title: ODEs whose symmetry groups are not fiber-preserving

abstract: We observe that, up to conjugation, a majority of symmetric higher order ODEs (ordinary differential equations) and ODE systems have only fiber-preserving point symmetries. By exploiting Lie's classification of Lie algebras of vector fields, we describe all the exceptions to this in the case of scalar ODEs and systems of ODEs on a pair of functions. The scalar ODEs whose symmetry algebra is not fiber preserving can be expressed via absolute and relative scalar differential invariants, while a similar description for ODE systems requires us to also invoke conditional differential invariants and vector-valued relative invariants to deal with singular orbits of the action. Investigating prolongations of the actions, we observe some interesting relations between different realizations of Lie algebras. We also note that it may happen that the prolongation of a finite-dimensional Lie algebra acting on a differential equation never becomes free. An example of an underdetermined ODE system for which this phenomenon occurs shows limitations of the method of moving frames.


title: Manage risks in complex engagements by leveraging organization-wide knowledge using Machine Learning

abstract: One of the ways for organizations to continuously get better at executing projects is to learn from their past experience. In large organizations, the different accounts and business units often work in silos and tapping the rich knowledge base across the organization is easier said than done. With easy access to the collective experience spread across the organization, project teams and business leaders can proactively anticipate and manage risks in new engagements. Early discovery and timely management of risks is key to success in the complex engagements of today. In this paper, the authors describe a Machine Learning based solution deployed with MLOps principles to solve this problem in an efficient manner.


title: Understanding planetary context to enable life detection on exoplanets and test the Copernican principle

abstract: The search for life on exoplanets is motivated by the universal ways in which life could modify its planetary environment. Atmospheric gases such as oxygen and methane are promising candidates for such environmental modification due to the evolutionary benefits their production would confer. However, confirming that these gases are produced by life, rather than by geochemical or astrophysical processes, will require a thorough understanding of planetary context, including the expected counterfactual atmospheric evolution for lifeless planets. Here, we evaluate current understanding of planetary context for several candidate biosignatures and their upcoming observability. We review the contextual framework for oxygen and describe how conjectured abiotic oxygen scenarios may be testable. In contrast to oxygen, current understanding of how planetary context controls non-biological methane (CH$_4$) production is limited, even though CH$_4$ biosignatures in anoxic atmospheres may be readily detectable with the James Webb Space Telescope. We assess environmental context for CH$_4$ biosignatures and conclude that abundant atmospheric CH$_4$ coexisting with CO$_2$, and CO:CH$_4$ << 1 is suggestive of biological production, although precise thresholds are dependent on stellar context and sparsely characterized abiotic CH$_4$ scenarios. A planetary context framework is also considered for alternative or agnostic biosignatures. Whatever the distribution of life in the Universe, observations of terrestrial exoplanets in coming decades will provide a quantitative understanding of the atmospheric evolution of lifeless worlds. This knowledge will inform future instrument requirements to either corroborate the presence of life elsewhere or confirm its apparent absence.


title: Theorems of Szeg\H{o}-Verblunsky type in the multivariate and almost periodic settings

abstract: The classical Szeg\H{o}-Verblunsky theorem relates integrability of the logarithm of the absolutely continuous part of a probability measure on the circle to square summability of the sequence of recurrence coefficients for the orthogonal polynomials determined by the measure. The present paper constructs orthogonal polynomials on the torus of arbitrary finite dimension in order to prove theorems of Szeg\H{o}-Verblunsky type in the multivariate and almost periodic settings. The results are applied to the one-dimensional Schr\"odinger equation in impedance form to yield a new trace formula valid for piecewise constant impedance, a case where the classical trace formula breaks down. As a byproduct, the analysis gives an explicit formula for the Taylor coefficients of a bounded holomorphic function on the open disk in terms of its continued fraction expansion.


title: Explainability in Machine Learning: a Pedagogical Perspective

abstract: Given the importance of integrating of explainability into machine learning, at present, there are a lack of pedagogical resources exploring this. Specifically, we have found a need for resources in explaining how one can teach the advantages of explainability in machine learning. Often pedagogical approaches in the field of machine learning focus on getting students prepared to apply various models in the real world setting, but much less attention is given to teaching students the various techniques one could employ to explain a model's decision-making process. Furthermore, explainability can benefit from a narrative structure that aids one in understanding which techniques are governed by which questions about the data. We provide a pedagogical perspective on how to structure the learning process to better impart knowledge to students and researchers in machine learning, when and how to implement various explainability techniques as well as how to interpret the results. We discuss a system of teaching explainability in machine learning, by exploring the advantages and disadvantages of various opaque and transparent machine learning models, as well as when to utilize specific explainability techniques and the various frameworks used to structure the tools for explainability. Among discussing concrete assignments, we will also discuss ways to structure potential assignments to best help students learn to use explainability as a tool alongside any given machine learning application. Data science professionals completing the course will have a birds-eye view of a rapidly developing area and will be confident to deploy machine learning more widely. A preliminary analysis on the effectiveness of a recently delivered course following the structure presented here is included as evidence supporting our pedagogical approach.


title: Artificial Intelligence for the Metaverse: A Survey

abstract: Along with the massive growth of the Internet from the 1990s until now, various innovative technologies have been created to bring users breathtaking experiences with more virtual interactions in cyberspace. Many virtual environments with thousands of services and applications, from social networks to virtual gaming worlds, have been developed with immersive experience and digital transformation, but most are incoherent instead of being integrated into a platform. In this context, metaverse, a term formed by combining meta and universe, has been introduced as a shared virtual world that is fueled by many emerging technologies, such as fifth-generation networks and beyond, virtual reality, and artificial intelligence (AI). Among such technologies, AI has shown the great importance of processing big data to enhance immersive experience and enable human-like intelligence of virtual agents. In this survey, we make a beneficial effort to explore the role of AI in the foundation and development of the metaverse. We first deliver a preliminary of AI, including machine learning algorithms and deep learning architectures, and its role in the metaverse. We then convey a comprehensive investigation of AI-based methods concerning six technical aspects that have potentials for the metaverse: natural language processing, machine vision, blockchain, networking, digital twin, and neural interface, and being potential for the metaverse. Subsequently, several AI-aided applications, such as healthcare, manufacturing, smart cities, and gaming, are studied to be deployed in the virtual worlds. Finally, we conclude the key contribution of this survey and open some future research directions in AI for the metaverse.


title: Integration of knowledge and data in machine learning

abstract: Scientific research's mandate is to comprehend and explore the world, as well as to improve it based on experience and knowledge. Knowledge embedding and knowledge discovery are two significant methods of integrating knowledge and data. Through knowledge embedding, the barriers between knowledge and data can be eliminated, and machine learning models with physical common sense can be established. Meanwhile, humans' understanding of the world is always limited, and knowledge discovery takes advantage of machine learning to extract new knowledge from observations. Knowledge discovery can not only assist researchers to better grasp the nature of physics, but it can also support them in conducting knowledge embedding research. A closed loop of knowledge generation and usage are formed by combining knowledge embedding with knowledge discovery, which can improve the robustness and accuracy of models and uncover previously unknown scientific principles. This study summarizes and analyzes extant literature, as well as identifies research gaps and future opportunities.


title: UAV Base Station Trajectory Optimization Based on Reinforcement Learning in Post-disaster Search and Rescue Operations

abstract: Because of disaster, terrestrial base stations (TBS) would be partly crashed. Some user equipments (UE) would be unserved. Deploying unmanned aerial vehicles (UAV) as aerial base stations is a method to cover UEs quickly. But existing methods solely refer to the coverage of UAVs. In those scenarios, they focus on the deployment of UAVs in the post-disaster area where all TBSs do not work any longer. There is limited research about the combination of available TBSs and UAVs. We propose the method to deploy UAVs cooperating with available TBSs as aerial base stations. And improve the coverage by reinforcement learning. Besides, in the experiments, we cluster UEs with balanced iterative reducing and clustering using hierarchies (BIRCH) at first. Finally, achieve base stations' better coverage to UEs through Q-learning.


title: Exploring Human Mobility for Multi-Pattern Passenger Prediction: A Graph Learning Framework

abstract: Traffic flow prediction is an integral part of an intelligent transportation system and thus fundamental for various traffic-related applications. Buses are an indispensable way of moving for urban residents with fixed routes and schedules, which leads to latent travel regularity. However, human mobility patterns, specifically the complex relationships between bus passengers, are deeply hidden in this fixed mobility mode. Although many models exist to predict traffic flow, human mobility patterns have not been well explored in this regard. To reduce this research gap and learn human mobility knowledge from this fixed travel behaviors, we propose a multi-pattern passenger flow prediction framework, MPGCN, based on Graph Convolutional Network (GCN). Firstly, we construct a novel sharing-stop network to model relationships between passengers based on bus record data. Then, we employ GCN to extract features from the graph by learning useful topology information and introduce a deep clustering method to recognize mobility patterns hidden in bus passengers. Furthermore, to fully utilize Spatio-temporal information, we propose GCN2Flow to predict passenger flow based on various mobility patterns. To the best of our knowledge, this paper is the first work to adopt a multipattern approach to predict the bus passenger flow from graph learning. We design a case study for optimizing routes. Extensive experiments upon a real-world bus dataset demonstrate that MPGCN has potential efficacy in passenger flow prediction and route optimization.


title: Darwin Among the Cryptocurrencies

abstract: The paper highlights some commonalities between the development of cryptocurrencies and the evolution of ecosystems. Concepts from evolutionary finance embedded in toy models consistent with stylized facts are employed to understand what survival of the fittest means in cryptofinance. Stylized facts for ownership, trading volume and market capitalization of cryptocurrencies are selectively presented in terms of scaling laws.


title: Efficient Learning of Safe Driving Policy via Human-AI Copilot Optimization

abstract: Human intervention is an effective way to inject human knowledge into the training loop of reinforcement learning, which can bring fast learning and ensured training safety. Given the very limited budget of human intervention, it remains challenging to design when and how human expert interacts with the learning agent in the training. In this work, we develop a novel human-in-the-loop learning method called Human-AI Copilot Optimization (HACO).To allow the agent's sufficient exploration in the risky environments while ensuring the training safety, the human expert can take over the control and demonstrate how to avoid probably dangerous situations or trivial behaviors. The proposed HACO then effectively utilizes the data both from the trial-and-error exploration and human's partial demonstration to train a high-performing agent. HACO extracts proxy state-action values from partial human demonstration and optimizes the agent to improve the proxy values meanwhile reduce the human interventions. The experiments show that HACO achieves a substantially high sample efficiency in the safe driving benchmark. HACO can train agents to drive in unseen traffic scenarios with a handful of human intervention budget and achieve high safety and generalizability, outperforming both reinforcement learning and imitation learning baselines with a large margin. Code and demo videos are available at: https://decisionforce.github.io/HACO/.


title: Electrically controlled heat transport in multilayer graphene

abstract: The ability to control heat transport with electrical signals has been an outstanding challenge due to the lack of efficient electrothermal materials. Previous attempts have mainly concentrated on phase-change and layered materials and encountered various problems such as low thermal conductivities and modest on/off ratios. Here, we demonstrate a graphene-based electrothermal switch enabling electrically tuneable heat flow. The device uses reversible electro-intercalation of ions to modulate the in-plane thermal conductivity of graphene film by over thirteen-fold via electrically tuneable phonon scattering. We anticipate that our results could provide a realistic pathway for adaptive thermal transport enabling a new class of electrically driven thermal devices which would find a broad spectrum of applications in aerospace and microelectronics.


title: Higgs boson production at the LHC: fast and precise predictions in QCD at higher orders

abstract: We present a new numerical program, HTurbo, which provides fast and numerically precise predictions for Higgs boson production cross sections. The present version of the code implements the perturbative QCD expansion up to the next-to-next-to-leading order also combined with the resummation of the large logarithmic corrections at small transverse momenta up to next-to-next-to-leading logarithmic accuracy and it includes the Higgs boson production through gluon fusion and decay in two photons with the full dependence on the final-state kinematics. Arbitrary kinematical cuts can be applied to the final states in order to obtain fiducial cross sections and associated kinematical distributions. We present a benchmark comparison with the predictions obtained with the numerical programs HRes and HNNLO programs for which HTurbo represents an improved reimplementation.


title: Commuting to work and gender-conforming social norms: evidence from same-sex couples

abstract: We analyze work commute time by sexual orientation of partnered or married individuals, using the American Community Survey 2008-2019. Women in same-sex couples have a longer commute to work than working women in different-sex couples, whereas the commute to work of men in same-sex couples is shorter than the one of working men in different-sex couples, also after controlling for demographic characteristics, partner characteristics, location, fertility, and marital status. These differences are particularly stark among married couples with children: on average, about 3 minutes more one-way to work for married mothers in same-sex couples, and almost 2 minutes less for married fathers in same-sex couples, than their corresponding working parents in different-sex couples. These gaps among men and women amount to 50 percent, and 100 percent, respectively, of the gender commuting gap estimated in the literature. Within-couple gaps in commuting time are also significantly smaller in same-sex couples. We interpret these differences as evidence that it is gender-conforming social norms boosted by parenthood that lead women in different-sex couples to specialize into jobs with a shorter commute while their male partners or spouses hold jobs with a longer commute.


title: Core Electron Heating By Triggered Ion Acoustic Waves In The Solar Wind

abstract: Perihelion passes on Parker Solar Probe orbits six through nine have been studied to show that solar wind core electrons emerged from 15 solar radii with a temperature of 55 plus or minus 5 eV, independent of the solar wind speed which varied from 300 to 800 km/sec. After leaving 15 solar radii and in the absence of triggered ion acoustic waves at greater distances, the core electron temperature varied with radial distance, R, in solar radii, as 1900R-4/3 electron volts because of cooling produced by the adiabatic expansion. The coefficient, 1900, reproduces the minimum core electron perpendicular temperature observed during the 25 days of observation. In the presence of triggered ion acoustic waves, the core electrons were isotropically heated as much as a factor of two above the minimum temperature, 1900R-4/3 eV. Triggered ion acoustic waves were the only waves observed in coincidence with the electron core heating. They are the dominant wave mode at frequencies greater than 100 Hz at solar distances between 15 and 30 solar radii.


title: On the Evaluation of RGB-D-based Categorical Pose and Shape Estimation

abstract: Recently, various methods for 6D pose and shape estimation of objects have been proposed. Typically, these methods evaluate their pose estimation in terms of average precision, and reconstruction quality with chamfer distance. In this work we take a critical look at this predominant evaluation protocol including metrics and datasets. We propose a new set of metrics, contribute new annotations for the Redwood dataset and evaluate state-of-the-art methods in a fair comparison. We find that existing methods do not generalize well to unconstrained orientations, and are actually heavily biased towards objects being upright. We contribute an easy-to-use evaluation toolbox with well-defined metrics, method and dataset interfaces, which readily allows evaluation and comparison with various state-of-the-art approaches (see https://github.com/roym899/pose_and_shape_evaluation ).


title: The geographic proximity effect on domestic cross-sector vis-a-vis intra-sector research collaborations

abstract: Geographic proximity is acknowledged to be a key factor in research collaborations. Specifically, it can work as a possible substitute for institutional proximity. The present study investigates the relevance of the "proximity" effect for different types of national research collaborations. We apply a bibliometric approach based on the Italian 2010-2017 scientific production indexed in the Web of Science. On such dataset, we apply statistical tools for analyzing if and to what extent geographical distance between co-authors in the byline of a publication varies across collaboration types, scientific disciplines, and along time. Results can inform policies aimed at effectively stimulating cross-sector collaborations, and also bear direct practical implications for research performance assessments.


title: Estimation of Evaporator Valve Sizes in Supermarket Refrigeration Cabinets

abstract: In many applications, e.g. fault diagnostics and optimized control of supermarket refrigeration systems, it is important to determine the heat demand of the cabinets. This can easily be achieved by measuring the mass flow through each cabinet, however, that is expensive and not feasible in large-scale deployments. Therefore it is important to be able to estimate the valve sizes from the monitoring data, which is typically measured. The valve size is measured by an area, which can be used to calculate mass flow through the valve -- this estimated value is referred to as the valve constant. A novel method for estimating the cabinet evaporator valve constants is proposed in the present paper. It is demonstrated using monitoring data from a refrigeration system in a supermarket consisting of data sampled at a one-minute sampling rate, however it is shown that a sampling time of around 10-20 minutes is adequate for the method. Through thermodynamic analysis of a two-stage CO2 refrigeration system, a linear regression model for estimating valve constants was developed using time series data. The linear regression requires that transient dynamics are not present in the data, which depends on multiple factors e.g. the sampling time. If dynamics are not modeled it can be detected by a significant auto-correlation of the residuals. In order to include the dynamics in the model, an Auto-Regressive Moving Average model with eXogenous variables (ARMAX) was applied, and it is shown how it effectively eliminates the auto-correlation and provides more unbiased estimates, as well as improved the accuracy estimates. Furthermore, it is shown that the sample time has a huge impact on the valve estimates. Thus, a method for selecting the optimal sampling time is introduced. It works individually for each of the evaporators, by exploring their respective frequency spectrum.


title: Certified Verification of Relational Properties

abstract: The use of function contracts to specify the behavior of functions often remains limited to the scope of a single function call. Relational properties link several function calls together within a single specification. They can express more advanced properties of a given function, such as non-interference, continuity, or monotonicity. They can also relate calls to different functions, for instance, to show that an optimized implementation is equivalent to its original counterpart. However, relational properties cannot be expressed and verified directly in the traditional setting of modular deductive verification. Self-composition has been proposed to overcome this limitation, but it requires complex transformations and additional separation hypotheses for real-life languages with pointers. We propose a novel approach that is not based on code transformation and avoids those drawbacks. It directly applies a verification condition generator to produce logical formulas that must be verified to ensure a given relational property. The approach has been fully formalized and proved sound in the Coq proof assistant.