title: Suboptimal $s$-union familes and $s$-union antichains for vector spaces

abstract: Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$, and let $\mathcal{L}(V)=\bigcup_{0\leq k\leq n}\left[V\atop k\right]$ be the set of all subspaces of $V$. A family of subspaces $\mathcal{F}\subseteq \mathcal{L}(V)$ is $s$-union if dim$(F+F')\leq s$ holds for all $F$, $F'\in\mathcal{F}$. A family $\mathcal{F}\subseteq \mathcal{L}(V)$ is an antichain if $F\nleq F'$ holds for any two distinct $F, F'\in \mathcal{F}$. The optimal $s$-union families in $\mathcal{L}(V)$ have been determined by Frankl and Tokushige in $2013$. The upper bound of cardinalities of $s$-union $(s<n)$ antichains in $\mathcal{L}(V)$ has been established by Frankl recently, while the structures of optimal ones have not been displayed. The present paper determines all suboptimal $s$-union families for vector spaces and then investigates $s$-union antichains. For $s=n$ or $s=2d<n$, we determine all optimal and suboptimal $s$-union antichains completely. For $s=2d+1<n$, we prove that an optimal antichain is either $\left[V\atop d\right]$ or contained in $\left[V\atop d\right]\bigcup \left[V\atop d+1\right]$ which satisfies an equality related with shadows.


title: $ W^{\sigma,p}$ A Priori Estimates for Fully Nonlinear Integro-Differential Equations

abstract: $W^{\sigma,p}$ estimates are studied for a class of fully nonlinear integro-differential equations of order $\sigma$, which are analogues of $W^{2,p}$ estimates by Caffarelli. We also present Aleksandrov-Bakelman-Pucci maximum principles, which are improvements of estimates proved by Guillen-Schwab, depending only on $L^p$ norms of inhomogeneous terms.


title: Open Terminology Management and Sharing Toolkit for Federation of Terminology Databases

abstract: Consolidated access to current and reliable terms from different subject fields and languages is necessary for content creators and translators. Terminology is also needed in AI applications such as machine translation, speech recognition, information extraction, and other natural language processing tools. In this work, we facilitate standards-based sharing and management of terminology resources by providing an open terminology management solution - the EuroTermBank Toolkit. It allows organisations to manage and search their terms, create term collections, and share them within and outside the organisation by participating in the network of federated databases. The data curated in the federated databases are automatically shared with EuroTermBank, the largest multilingual terminology resource in Europe, allowing translators and language service providers as well as researchers and students to access terminology resources in their most current version.


title: A note on a result of Saks and Zygmund on additive functions of rectangles

abstract: We modify the proof of the basic lemma of a paper of Saks and Zygmund on additive functions of rectangles.


title: Monotone Comparative Statics for Equilibrium Problems

abstract: We introduce a notion of substitutability for correspondences and establish a monotone comparative static result, unifying results such as the inverse isotonicity of M-matrices, Berry, Gandhi and Haile's identification of demand systems, monotone comparative statics, and results on the structure of the core of matching games without transfers (Gale and Shapley) and with transfers (Demange and Gale). More specifically, we introduce the notions of 'unified gross substitutes' and 'nonreversingness' and show that if Q is a supply correspondence defined on a set of prices P which is a sublattice of R^N, and Q satisfies these two properties, then the set of prices yielding supply vector q is increasing (in the strong set order) in q; and it is a sublattice of P.


title: Self-supervised Vector-Quantization in Visual SLAM using Deep Convolutional Autoencoders

abstract: In this paper, we introduce AE-FABMAP, a new self-supervised bag of words-based SLAM method. We also present AE-ORB-SLAM, a modified version of the current state of the art BoW-based path planning algorithm. That is, we have used a deep convolutional autoencoder to find loop closures. In the context of bag of words visual SLAM, vector quantization (VQ) is considered as the most time-consuming part of the SLAM procedure, which is usually performed in the offline phase of the SLAM algorithm using unsupervised algorithms such as Kmeans++. We have addressed the loop closure detection part of the BoW-based SLAM methods in a self-supervised manner, by integrating an autoencoder for doing vector quantization. This approach can increase the accuracy of large-scale SLAM, where plenty of unlabeled data is available. The main advantage of using a self-supervised is that it can help reducing the amount of labeling. Furthermore, experiments show that autoencoders are far more efficient than semi-supervised methods like graph convolutional neural networks, in terms of speed and memory consumption. We integrated this method into the state of the art long range appearance based visual bag of word SLAM, FABMAP2, also in ORB-SLAM. Experiments demonstrate the superiority of this approach in indoor and outdoor datasets over regular FABMAP2 in all cases, and it achieves higher accuracy in loop closure detection and trajectory generation.


title: ConCL: Concept Contrastive Learning for Dense Prediction Pre-training in Pathology Images

abstract: Detectingandsegmentingobjectswithinwholeslideimagesis essential in computational pathology workflow. Self-supervised learning (SSL) is appealing to such annotation-heavy tasks. Despite the extensive benchmarks in natural images for dense tasks, such studies are, unfortunately, absent in current works for pathology. Our paper intends to narrow this gap. We first benchmark representative SSL methods for dense prediction tasks in pathology images. Then, we propose concept contrastive learning (ConCL), an SSL framework for dense pre-training. We explore how ConCL performs with concepts provided by different sources and end up with proposing a simple dependency-free concept generating method that does not rely on external segmentation algorithms or saliency detection models. Extensive experiments demonstrate the superiority of ConCL over previous state-of-the-art SSL methods across different settings. Along our exploration, we distll several important and intriguing components contributing to the success of dense pre-training for pathology images. We hope this work could provide useful data points and encourage the community to conduct ConCL pre-training for problems of interest. Code is available.


title: Compton-Thick AGN in the NuSTAR era VIII: A joint NuSTAR-XMM-Newton monitoring of the changing-look Compton-thick AGN NGC 1358

abstract: We present the multi-epoch monitoring with NuSTAR and XMM-Newton of NGC 1358, a nearby Seyfert 2 galaxy whose properties made it a promising candidate X-ray changing look AGN, i.e., a source whose column density could transition from its 2017 Compton-thick (CT-, having line-of-sight Hydrogen column density NH,los>10^24 cm^-2) state to a Compton-thin (NH,los<10^24 cm^-2) one. The multi-epoch X-ray monitoring confirmed the presence of significant NH,los variability over time-scales as short as weeks, and allowed us to confirm the "changing look" nature of NGC 1358, which has most recently been observed in a Compton-thin status. Multi-epoch monitoring with NuSTAR and XMM-Newton is demonstrated to be highly effective in simultaneously constraining three otherwise highly degenerate parameters: the torus average column density and covering factor, and the inclination angle between the torus axis and the observer. We find a tentative anti-correlation between column density and luminosity, which can be understood in the framework of Chaotic Cold Accretion clouds driving recursive AGN feedback. The monitoring campaign of NGC 1358 has proven the efficiency of our newly developed method to select candidate NH,los-variable, heavily obscured AGN, which we plan to soon extend to a larger sample to better characterize the properties of the obscuring material surrounding accreting supermassive black holes, as well as constrain AGN feeding models.


title: Wedge Holography in Flat Space and Celestial Holography

abstract: In this paper, we study codimension two holography in flat spacetimes, based on the idea of the wedge holography. We propose that a region in a $d+1$ dimensional flat spacetime surrounded by two end of the world-branes, which are given by $d$ dimensional hyperbolic spaces, is dual to a conformal field theory (CFT) on a $d-1$ dimensional sphere. Similarly, we also propose that a $d+1$ dimensional region in the flat spacetime bounded by two $d$ dimensional de Sitter spaces is holographically dual to a CFT on a $d-1$ dimensional sphere. Our calculations of the partition function, holographic entanglement entropy and two point functions, support these duality relations and imply that such CFTs are non-unitary. Finally, we glue these two dualities along null surfaces to realize a codimension two holography for a full Minkowski spacetime and discuss a possible connection to the celestial holography.


title: On the numerical solution of Volterra integral equations on equispaced nodes

abstract: In the present paper, a Nystrom-type method for second kind Volterra integral equations is introduced and studied. The method makes use of generalized Bernstein polynomials, defined for continuous functions and based on equally spaced points. Stability and convergence are studied in the space of continuous functions, and some numerical tests illustrate the performance of the proposed approach.


title: Planarized THz quantum cascade lasers for broadband coherent photonics

abstract: Recently, there has been a growing interest in integrated THz photonics for various applications in communications, spectroscopy and sensing. We present a new integrated photonic platform based on active and passive elements integrated in a double-metal, high confinement waveguide layout planarized with a low-loss polymer. An extended top metallization results in low waveguide losses and improved dispersion, thermal and RF properties, as it enables to decouple the design of THz and microwave cavities. Free-running on-chip quantum cascade laser combs spanning 800 GHz, harmonic states over 1.1 THz and RF-injected broadband incoherent states spanning over nearly 1.6 THz are observed. With a strong external RF drive, actively mode-locked pulses as short as 4.4 ps can be produced, as measured by SWIFTS. We demonstrate as well passive waveguides with low insertion loss, enabling the tuning of the laser cavity boundary conditions and the co-integration of active and passive components on the same THz photonic chip.


title: Semi-supervised Vector-Quantization in Visual SLAM using HGCN

abstract: In this paper, two semi-supervised appearance based loop closure detection technique, HGCN-FABMAP and HGCN-BoW are introduced. Furthermore an extension to the current state of the art localization SLAM algorithm, ORB-SLAM, is presented. The proposed HGCN-FABMAP method is implemented in an off-line manner incorporating Bayesian probabilistic schema for loop detection decision making. Specifically, we let a Hyperbolic Graph Convolutional Neural Network (HGCN) to operate over the SURF features graph space, and perform vector quantization part of the SLAM procedure. This part previously was performed in an unsupervised manner using algorithms like HKmeans, kmeans++,..etc. The main Advantage of using HGCN, is that it scales linearly in number of graph edges. Experimental results shows that HGCN-FABMAP algorithm needs far more cluster centroids than HGCN-ORB, otherwise it fails to detect loop closures. Therefore we consider HGCN-ORB to be more efficient in terms of memory consumption, also we conclude the superiority of HGCN-BoW and HGCN-FABMAP with respect to other algorithms.


title: Semiring systems arising from hyperrings

abstract: Hyperfields and systems are two algebraic frameworks which have been developed to provide a unified approach to classical and tropical structures. All hyperfields, and more generally hyperrings, can be represented by systems. Conversely, we show that the systems arising in this way, called {\it hypersystems}, are characterized by certain elimination axioms. Systems are preserved under standard algebraic constructions; for instance matrices and polynomials over hypersystems are systems, but not hypersystems. We illustrate these results by discussing several examples of systems and hyperfields, and constructions like matroids over systems.


title: First report of a solar energetic particle event observed by China's Tianwen-1 mission in transit to Mars

abstract: Solar energetic particles (SEPs) associated with flares and/or coronal mass ejection (CME)-driven shocks can impose acute radiation hazards to space explorations. To measure energetic particles in near-Mars space, the Mars Energetic Particle Analyzer (MEPA) instrument onboard China's Tianwen-1 (TW-1) mission was designed. Here, we report the first MEPA measurements of the widespread SEP event occurring on 29 November 2020 when TW-1 was in transit to Mars. This event occurred when TW-1 and Earth were magnetically well connected, known as the Hohmann-Parker effect, thus offering a rare opportunity to understand the underlying particle acceleration and transport process. Measurements from TW-1 and near-Earth spacecraft show similar double-power-law spectra and a radial dependence of the SEP peak intensities. Moreover, the decay phases of the time-intensity profiles at different locations clearly show the reservoir effect. We conclude that the double-power-law spectrum is likely generated at the acceleration site, and that a small but finite cross-field diffusion is crucial to understand the formation of the SEP reservoir phenomenon. These results provide insight into particle acceleration and transport associated with CME-driven shocks, which may contribute to the improvement of relevant physical models.


title: Differentiable Logics for Neural Network Training and Verification

abstract: The rising popularity of neural networks (NNs) in recent years and their increasing prevalence in real-world applications have drawn attention to the importance of their verification. While verification is known to be computationally difficult theoretically, many techniques have been proposed for solving it in practice. It has been observed in the literature that by default neural networks rarely satisfy logical constraints that we want to verify. A good course of action is to train the given NN to satisfy said constraint prior to verifying them. This idea is sometimes referred to as continuous verification, referring to the loop between training and verification. Usually training with constraints is implemented by specifying a translation for a given formal logic language into loss functions. These loss functions are then used to train neural networks. Because for training purposes these functions need to be differentiable, these translations are called differentiable logics (DL). This raises several research questions. What kind of differentiable logics are possible? What difference does a specific choice of DL make in the context of continuous verification? What are the desirable criteria for a DL viewed from the point of view of the resulting loss function? In this extended abstract we will discuss and answer these questions.


title: Entanglement Dynamics in Anti-$\mathcal{PT}$-Symmetric Systems

abstract: In the past years, many efforts have been made to study various noteworthy phenomena in both parity-time ($\mathcal{PT}$) and anti-parity-time ($\mathcal{APT}$) symmetric systems. However, entanglement dynamics in $\mathcal{APT}$-symmetric systems has not previously been investigated in both theory and experiments. Here, we investigate the entanglement evolution of two qubits in an $\mathcal{APT}$-symmetric system. In the $\mathcal{APT}$-symmetric unbroken regime, our theoretical simulations demonstrate the periodic oscillations of entanglement when each qubit evolves identically, while the nonperiodic oscillations of entanglement when each qubit evolves differently. In particular, when each qubit evolves near the exceptional point in the $\mathcal{APT}$-symmetric unbroken regime, there exist entanglement sudden vanishing and revival. Moreover, our simulations demonstrate rapid decay and delayed death of entanglement provided one qubit evolves in the $\mathcal{APT}$-symmetric broken regime. In this work, we also perform an experiment with a linear optical setup. The experimental results agree well with our theoretical simulation results. Our findings reveal novel phenomena of entanglement evolution in the $\mathcal{APT}$-symmetric system and opens a new direction for future studies on the dynamics of quantum entanglement in multiqubit $\mathcal{APT}$-symmetric systems or other non-Hermitian quantum systems.


title: Perfect codes in quintic Cayley graphs on abelian groups

abstract: A subset $C$ of the vertex set of a graph $\Gamma$ is called a perfect code of $\Gamma$ if every vertex of $\Gamma$ is at distance no more than one to exactly one vertex in $C$. In this paper, we classify all connected quintic Cayley graphs on abelian groups that admit a perfect code, and determine completely all perfect codes of such graphs.


title: TRIE++: Towards End-to-End Information Extraction from Visually Rich Documents

abstract: Recently, automatically extracting information from visually rich documents (e.g., tickets and resumes) has become a hot and vital research topic due to its widespread commercial value. Most existing methods divide this task into two subparts: the text reading part for obtaining the plain text from the original document images and the information extraction part for extracting key contents. These methods mainly focus on improving the second, while neglecting that the two parts are highly correlated. This paper proposes a unified end-to-end information extraction framework from visually rich documents, where text reading and information extraction can reinforce each other via a well-designed multi-modal context block. Specifically, the text reading part provides multi-modal features like visual, textual and layout features. The multi-modal context block is developed to fuse the generated multi-modal features and even the prior knowledge from the pre-trained language model for better semantic representation. The information extraction part is responsible for generating key contents with the fused context features. The framework can be trained in an end-to-end trainable manner, achieving global optimization. What is more, we define and group visually rich documents into four categories across two dimensions, the layout and text type. For each document category, we provide or recommend the corresponding benchmarks, experimental settings and strong baselines for remedying the problem that this research area lacks the uniform evaluation standard. Extensive experiments on four kinds of benchmarks (from fixed layout to variable layout, from full-structured text to semi-unstructured text) are reported, demonstrating the proposed method's effectiveness. Data, source code and models are available.


title: Estimating Entropy Production Rates with First-Passage Processes

abstract: We consider the problem of estimating the mean entropy production rate in a nonequilibrium process from the measurements of first-passage quantities associated with a single current. For first-passage processes with large thresholds, Refs. [1, 2] identified a ratio of first-passage observables - involving the mean first-passage time, the splitting probability, and the first-passage thresholds - that lower bounds the entropy production rate and is an unbiased estimator of the entropy production rate when applied to a current that is proportional to the stochastic entropy production. Here, we show that also at finite thresholds, a finite number of realisations of the nonequilibrium process, and for currents that are not proportional to the stochastic entropy production, first-passage ratios can accurately estimate the rate of dissipation. In particular, first-passage ratios capture a finite fraction of the total entropy production rate in regimes far from thermal equilibrium where thermodynamic uncertainty ratios capture a negligible fraction of the total entropy production rate. Moreover, we show that first-passage ratios incorporate nonMarkovian statistics in the estimated value of the dissipation rate, which are difficult to include in estimates based on Kullback-Leibler divergences. Taken together, we show that entropy production estimation with first-passage ratios is complementary to estimation methods based on thermodynamic uncertainty ratios and Kullback-Leibler divergences.


title: Single-Pixel Image Reconstruction Based on Block Compressive Sensing and Deep Learning

abstract: Single-pixel imaging (SPI) is a novel imaging technique whose working principle is based on the compressive sensing (CS) theory. In SPI, data is obtained through a series of compressive measurements and the corresponding image is reconstructed. Typically, the reconstruction algorithm such as basis pursuit relies on the sparsity assumption in images. However, recent advances in deep learning have found its uses in reconstructing CS images. Despite showing a promising result in simulations, it is often unclear how such an algorithm can be implemented in an actual SPI setup. In this paper, we demonstrate the use of deep learning on the reconstruction of SPI images in conjunction with block compressive sensing (BCS). We also proposed a novel reconstruction model based on convolutional neural networks that outperforms other competitive CS reconstruction algorithms. Besides, by incorporating BCS in our deep learning model, we were able to reconstruct images of any size above a certain smallest image size. In addition, we show that our model is capable of reconstructing images obtained from an SPI setup while being priorly trained on natural images, which can be vastly different from the SPI images. This opens up opportunity for the feasibility of pretrained deep learning models for CS reconstructions of images from various domain areas.


title: Superconductivity of high-entropy-alloy-type transition-metal zirconide (Fe,Co,Ni,Cu,Ga)Zr2

abstract: We synthesized a new high-entropy-alloy-type (HEA-type) superconductor (Fe,Co,Ni,Cu,Ga)Zr2 with a Tc of 2.9 K. The EDX analyses revealed that the actual composition of the transition-metal site (Tr-site) is Tr = Fe0.18Co0.18Ni0.16Cu0.25Ga0.23, which gives the configurational entropy of mixing {\Delta}Smix = 1.60R for the Tr site. Neutron powder diffraction revealed that the sample has a tetragonal CuAl2-type (space group: #140). The lattice constant of a monotonically decreases with decreasing temperature, but the lattice constant of c does not exhibit a clear shrinkage. Isotropic displacement parameter for both the Tr and Zr sites are large, which is probably caused by the HEA-type Tr site. The small temperature dependences of Uiso for both sites also indicate the presence of the local structural disorder in (Fe,Co,Ni,Cu,Ga)Zr2. From electrical resistivity, magnetic susceptibility, and specific heat measurements, bulk superconductivity was confirmed.


title: Estimating sizes of Type 2 AGN narrow-line regions from multiple survey spectra -- a demonstration

abstract: In the Letter, an interesting method is proposed to estimate size of narrow emission lines regions (NLRs) of a Type-2 AGN SDSS J083823.91+490241.1 (=SDSS J0838) at a redshift of 0.101, by comparing spectroscopic properties through the SDSS fiber (MJD=51873) (diameter of 3 arcseconds) and through the eBOSS fiber (MJD=55277) (diameter of 2 arcseconds). After subtractions of pPXF method determined host galaxy contributions, the narrow emission lines of SDSS J0838 in the SDSS spectrum and in the eBOSS spectrum can be well measured by Gaussian functions, leading more than 90\% of [O~{\sc iii}] emissions to be covered by the eBOSS fiber with diameter of 2 arcseconds. Meanwhile, both none broad emission components and none-variabilities of ZTF 3years-long g/r-band light curves can be applied to confirm SDSS J0838 as a Type-2 AGN, indicating few orientation effects on the projected NLRs size in SDSS J0838. Therefore, upper limit about 1arcsecond (2250pc) of the NLRs size can be reasonably accepted in SDSS J0838. Combining with the intrinsic reddening corrected [O~{\sc iii}] line luminosity, the upper limit of NLRs size in SDSS J0838 well lies within the 99.9999\% confidence bands of the R-L empirical relation for NLRs in AGN.


title: Evidence for a novel shift-symmetric universality class from the functional renormalization group

abstract: Wetterich's equation provides a powerful tool for investigating the existence and universal properties of renormalization group fixed points exhibiting quantum scale invariance. Motivated by recent works on asymptotically safe scalar-tensor theories, we develop a novel approximation scheme which projects the functional renormalization group equation onto functions of the kinetic term. Applying this projection to scalars and gauge fields, our analysis identifies a new universality class with a very special spectrum of stability coefficients. The implications of our findings in the context of asymptotically safe gravity-matter systems are discussed.


title: On the Approximation of Unbounded Convex Sets by Polyhedra

abstract: This article is concerned with the approximation of unbounded convex sets by polyhedra. While there is an abundance of literature investigating this task for compact sets, results on the unbounded case are scarce. We first point out the connections between existing results before introducing a new notion of polyhedral approximation called ($\varepsilon,\delta$)-approximation that integrates the unbounded case in a meaningful way. Some basic results about ($\varepsilon,\delta$)- approximations are proven for general convex sets. In the last section an algorithm for the computation of ($\varepsilon,\delta$)-approximations of spectrahedra is presented. Correctness and finiteness of the algorithm are proven.


title: Magnetization dynamics in proximity-coupled superconductor-ferromagnet-superconductor multilayers. Part II

abstract: In this work, we study magnetization dynamics in superconductor-ferromagnet-superconductor thin-film structures. Results of the broad-band ferromagnetic resonance spectroscopy are reported for a large set of samples with varied thickness of both superconducting and ferromagnetic layers in a wide frequency, field, and temperature ranges. Experimentally the one-dimensional anisotropic action of superconducting torque on magnetization dynamics is established; its dependence on thickness of layers is revealed. It is demonstrated that experimental findings support the recently-proposed mechanism of the superconducting torque formation via the interplay between the superconducting kinetic inductance and magnetization precession at superconductor-ferromagnet interfaces.


title: ${Q} \bar{Q}$ $({Q}\in{\{b,c}\})$ spectroscopy using the modified Rovibrational model

abstract: Mass spectra of quarkonium systems can be described by different phenomenological potentials. In the present work, the {\color{black}resonance} states of heavy quarkonium like ($c\bar{c}$ and $b\bar{b}$) are considered as the rovibrational states. We study a parameterized rovibrational model derived from the empirical solution of the nonrelativistic Schr\"{o}dinger equation with Morse potential, the corrections are composed of colour hyperfine interaction and spin-orbit interaction of mesons. We {\color{black}obtain} the high excited state mass spectra of charmonium and bottomonium comparing the results in reasonable agreement with the present experimental data.


title: Trace anomaly as signature of conformality in neutron stars

abstract: We discuss an interpretation that a peak in the sound velocity in neutron star matter, as suggested by the observational data, signifies strongly-coupled conformal matter. The normalized trace anomaly is a dimensionless measure of conformality leading to the derivative and the non-derivative contributions to the sound velocity. We find that the peak in the sound velocity is attributed to the derivative contribution from the trace anomaly that steeply approaches the conformal limit. Smooth continuity to the behavior of high-density QCD implies that the matter part of the trace anomaly may be positive definite. We discuss a possible implication of the positivity condition of the trace anomaly on the $M$-$R$ relation of the neutron stars.


title: E2-AEN: End-to-End Incremental Learning with Adaptively Expandable Network

abstract: Expandable networks have demonstrated their advantages in dealing with catastrophic forgetting problem in incremental learning. Considering that different tasks may need different structures, recent methods design dynamic structures adapted to different tasks via sophisticated skills. Their routine is to search expandable structures first and then train on the new tasks, which, however, breaks tasks into multiple training stages, leading to suboptimal or overmuch computational cost. In this paper, we propose an end-to-end trainable adaptively expandable network named E2-AEN, which dynamically generates lightweight structures for new tasks without any accuracy drop in previous tasks. Specifically, the network contains a serial of powerful feature adapters for augmenting the previously learned representations to new tasks, and avoiding task interference. These adapters are controlled via an adaptive gate-based pruning strategy which decides whether the expanded structures can be pruned, making the network structure dynamically changeable according to the complexity of the new tasks. Moreover, we introduce a novel sparsity-activation regularization to encourage the model to learn discriminative features with limited parameters. E2-AEN reduces cost and can be built upon any feed-forward architectures in an end-to-end manner. Extensive experiments on both classification (i.e., CIFAR and VDD) and detection (i.e., COCO, VOC and ICCV2021 SSLAD challenge) benchmarks demonstrate the effectiveness of the proposed method, which achieves the new remarkable results.


title: Verification of Sigmoidal Artificial Neural Networks using iSAT

abstract: This paper presents an approach for verifying the behaviour of nonlinear Artificial Neural Networks (ANNs) found in cyber-physical safety-critical systems. We implement a dedicated interval constraint propagator for the sigmoid function into the SMT solver iSAT and compare this approach with a compositional approach encoding the sigmoid function by basic arithmetic features available in iSAT and an approximating approach. Our experimental results show that the dedicated and the compositional approach clearly outperform the approximating approach. Throughout all our benchmarks, the dedicated approach showed an equal or better performance compared to the compositional approach.


title: Limit theorems for iterates of the Sz\'asz-Mirakyan operator in probabilistic view

abstract: The Sz\'asz-Mirakyan operator is known as a positive linear operator which uniformly approximates a certain class of continuous functions on the half line. The purpose of the present paper is to find out limiting behaviors of the iterates of the Sz\'asz-Mirakyan operator in a probabilistic point of view. We show that the iterates of the Sz\'asz-Mirakyan operator uniformly converges to a continuous semigroup generated by a second order degenerate differential operator. A probabilistic interpretation of the convergence in terms of a discrete Markov chain constructed from the iterates and a limiting diffusion process on the half line is captured as well.


title: Secure Network Function Computation for Linear Functions -- Part I: Source Security

abstract: In this paper, we put forward secure network function computation over a directed acyclic network. In such a network, a sink node is required to compute with zero error a target function of which the inputs are generated as source messages at multiple source nodes, while a wiretapper, who can access any one but not more than one wiretap set in a given collection of wiretap sets, is not allowed to obtain any information about a security function of the source messages. The secure computing capacity for the above model is defined as the maximum average number of times that the target function can be securely computed with zero error at the sink node with the given collection of wiretap sets and security function for one use of the network. The characterization of this capacity is in general overwhelmingly difficult. In the current paper, we consider securely computing linear functions with a wiretapper who can eavesdrop any subset of edges up to a certain size r, referred to as the security level, with the security function being the identity function. We first prove an upper bound on the secure computing capacity, which is applicable to arbitrary network topologies and arbitrary security levels. When the security level r is equal to 0, our upper bound reduces to the computing capacity without security consideration. We discover the surprising fact that for some models, there is no penalty on the secure computing capacity compared with the computing capacity without security consideration. We further obtain an equivalent expression of the upper bound by using a graph-theoretic approach, and accordingly we develop an efficient approach for computing this bound. Furthermore, we present a construction of linear function-computing secure network codes and obtain a lower bound on the secure computing capacity.


title: Robot Swarms as Hybrid Systems: Modelling and Verification

abstract: A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions; however, designing individual control algorithms that can guarantee a required global behavior is difficult. Formal methods have been suggested by several researchers as a mean to increase confidence in the behavior of the swarm. In this work, we propose to model swarms as hybrid systems and use reachability analysis to verify their properties. We discuss challenges and report on the experience gained from applying hybrid formalisms to the verification of a swarm robotic system.


title: Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool

abstract: This work in progress paper introduces robustness verification for autoencoder-based regression neural network (NN) models, following state-of-the-art approaches for robustness verification of image classification NNs. Despite the ongoing progress in developing verification methods for safety and robustness in various deep neural networks (DNNs), robustness checking of autoencoder models has not yet been considered. We explore this open space of research and check ways to bridge the gap between existing DNN verification methods by extending existing robustness analysis methods for such autoencoder networks. While classification models using autoencoders work more or less similar to image classification NNs, the functionality of regression models is distinctly different. We introduce two definitions of robustness evaluation metrics for autoencoder-based regression models, specifically the percentage robustness and un-robustness grade. We also modified the existing Imagestar approach, adjusting the variables to take care of the specific input types for regression networks. The approach is implemented as an extension of NNV, then applied and evaluated on a dataset, with a case study experiment shown using the same dataset. As per the authors' understanding, this work in progress paper is the first to show possible reachability analysis of autoencoder-based NNs.


title: Refraction and scattering in the atmosphere of the planet Venus: The Lomonossov arc

abstract: The main observations of 1761 by M. Lomonossov and those that followed are recalled by extending the discussion to other remarkable visual observations of the passages, then with more and more powerful imagers producing images in profusion. The modern treatment of parasitic effects is briefly recalled by focusing on the expert observation of 1761 which has recently been widely commented on and criticized. It included a spurious effect called the "black drop effect". The shell or aureole or atmospheric ring of Venus observed outside the solar disk is considered with reference to the today parameters of the Venus atmosphere. The contacts during the transit are discussed taking into account effects of scattering, absorption and the dominant effects of the refraction at the small angular distances found to be comparable to a fraction of the angular dimension of the planet. Modern observations of the 2004 and the 2012 transit are tentatively discussed to elucidate what is the arc of Lomonossov?


title: Stimulated-Raman-scattering amplification of attosecond XUV pulses with pulse-train pumps and application to local in-depth plasma-density measurement

abstract: We present a scheme for amplifying an extreme-ultraviolet (XUV) seed isolated attosecond pulse via stimulated Raman scattering of a pulse-train pump. At sufficient seed and pump intensity, the amplification is nonlinear, and the amplitude of the seed pulse can reach that of the pump, one order of magnitude higher than the initial seed amplitude. In the linear amplification regime, we find that the spectral signature of the pump pulse train is imprinted on the spectrum of the amplified seed pulse. Since the spectral signature is imprinted with its frequency downshifted by the plasma frequency, it is possible to deduce the electron density in the region of interaction. This region can be of micrometer length scale longitudinally. By varying the delay between the seed and the pump, this scheme provides a local electron-density measurement inside solid-density plasmas that cannot be probed with optical frequencies, with micrometer resolution.


title: A Short Note on the Pell-Lucas-Eisenstein Series

abstract: In this work, we define a new type of Eisenstein-like series by using Pell-Lucas numbers and call them the Pell-Lucas-Eisenstein Series. Firstly, we show that the Pell-Lucas-Eisenstein series are convergent on their domain. Afterwards we prove that they satisfy some certain functional equations. Proofs follows from some on calculations on Pell-Lucas numbers.


title: Neighbor Correspondence Matching for Flow-based Video Frame Synthesis

abstract: Video frame synthesis, which consists of interpolation and extrapolation, is an essential video processing technique that can be applied to various scenarios. However, most existing methods cannot handle small objects or large motion well, especially in high-resolution videos such as 4K videos. To eliminate such limitations, we introduce a neighbor correspondence matching (NCM) algorithm for flow-based frame synthesis. Since the current frame is not available in video frame synthesis, NCM is performed in a current-frame-agnostic fashion to establish multi-scale correspondences in the spatial-temporal neighborhoods of each pixel. Based on the powerful motion representation capability of NCM, we further propose to estimate intermediate flows for frame synthesis in a heterogeneous coarse-to-fine scheme. Specifically, the coarse-scale module is designed to leverage neighbor correspondences to capture large motion, while the fine-scale module is more computationally efficient to speed up the estimation process. Both modules are trained progressively to eliminate the resolution gap between training dataset and real-world videos. Experimental results show that NCM achieves state-of-the-art performance on several benchmarks. In addition, NCM can be applied to various practical scenarios such as video compression to achieve better performance.


title: Finite strain porohyperelasticity: An asymptotic multiscale ALE-FSI approach supported by ANNs

abstract: The governing equations and numerical solution strategy to solve porohyperelastic problems as multiscale multiphysics media are provided in this contribution. The problem starts from formulating and non-dimensionalising a Fluid-Solid Interaction (FSI) problem using Arbitrary Lagrangian-Eulerian (ALE) technique at the pore level. The resultant ALE-FSI coupled systems of PDEs are expanded and analysed using the asymptotic homogenisation technique which yields three partially novel systems of PDEs, one governing the macroscopic/effective problem supplied by two microscale problems (fluid and solid). The latter two provide the microscopic response fields whose average value is required in real-time/online form to determine the macroscale response. This is possible efficiently by training an Artificial Neural Network (ANN) as a surrogate for the Direct Numerical Solution (DNS) of the microscale solid problem. The present methodology allows for solving finite strain (multiscale) porohyperelastic problems accurately using the direct derivative of the strain energy, for the first time. Furthermore, a simple real-time output density check is introduced to achieve an optimal and reliable training dataset from DNS. A Representative Volume Element (RVE) is adopted which is followed by performing a microscale (RVE) sensitivity analysis and a multiscale confined consolidation simulation showing the importance of employing the present method when dealing with finite strain poroelastic/porohyperelastic problems.


title: Fibrational Linguistics (FibLang): Language Acquisition

abstract: In this work we show how FibLang, a category-theoretic framework concerned with the interplay between language and meaning, can be used to describe vocabulary acquisition, that is the process with which a speaker acquires new vocabulary (through experience or interaction). We model two different kinds of vocabulary acquisition, which we call 'by example' and 'by paraphrasis'. The former captures the idea of acquiring the meaning of a word by being shown a witness representing that word, as in 'understanding what a cat is, by looking at a cat'. The latter captures the idea of acquiring meaning by listening to some other speaker rephrasing the word with others already known to the learner. We provide a category-theoretic model for vocabulary acquisition by paraphrasis based on the construction of free promonads. We draw parallels between our work and Wittgenstein's dynamical approach to language, commonly known as 'language games'.


title: GeoSegNet: Point Cloud Semantic Segmentation via Geometric Encoder-Decoder Modeling

abstract: Semantic segmentation of point clouds, aiming to assign each point a semantic category, is critical to 3D scene understanding.Despite of significant advances in recent years, most of existing methods still suffer from either the object-level misclassification or the boundary-level ambiguity. In this paper, we present a robust semantic segmentation network by deeply exploring the geometry of point clouds, dubbed GeoSegNet. Our GeoSegNet consists of a multi-geometry based encoder and a boundary-guided decoder. In the encoder, we develop a new residual geometry module from multi-geometry perspectives to extract object-level features. In the decoder, we introduce a contrastive boundary learning module to enhance the geometric representation of boundary points. Benefiting from the geometric encoder-decoder modeling, our GeoSegNet can infer the segmentation of objects effectively while making the intersections (boundaries) of two or more objects clear. Experiments show obvious improvements of our method over its competitors in terms of the overall segmentation accuracy and object boundary clearness. Code is available at https://github.com/Chen-yuiyui/GeoSegNet.


title: Semi-supervised cross-lingual speech emotion recognition

abstract: Performance in Speech Emotion Recognition (SER) on a single language has increased greatly in the last few years thanks to the use of deep learning techniques. However, cross-lingual SER remains a challenge in real-world applications due to two main factors: the first is the big gap among the source and the target domain distributions; the second factor is the major availability of unlabeled utterances in contrast to the labeled ones for the new language. Taking into account previous aspects, we propose a Semi-Supervised Learning (SSL) method for cross-lingual emotion recognition when only few labeled examples in the target domain (i.e. the new language) are available. Our method is based on a Transformer and it adapts to the new domain by exploiting a pseudo-labeling strategy on the unlabeled utterances. In particular, the use of a hard and soft pseudo-labels approach is investigated. We thoroughly evaluate the performance of the proposed method in a speaker-independent setup on both the source and the new language and show its robustness across five languages belonging to different linguistic strains. The experimental findings indicate that the unweighted accuracy is increased by an average of 40% compared to state-of-the-art methods.


title: System of excited monopole-antimonopole pair in the Weinberg-Salam model

abstract: We investigate further the properties of axially symmetric monopole-antimonopole pair in the standard Weinberg-Salam model. By using a novel data sampling approach, we have obtained and analyzed 300 numerical solutions corresponding to physical Higgs self-coupling $\beta=0.7782$ and the Weinberg angle $\tan\theta_W=0.5358$. We calculate the energy of these solutions and confirm that they reside in a range of 13.1690 - 21.0221 TeV. In addition, a unique pattern is shown when the data are arranged according to an algorithm based on the system's symmetry, which seems to indicate the system is oscillating. We also calculate numerically the magnetic charge of the solutions and confirm that their values are indeed $\pm\frac{4\pi}{e}\sin^2\theta_W$.


title: Virtual reality (VR) as a testing bench for consumer optical solutions: A machine learning approach (GBR) to visual comfort under simulated progressive addition lenses (PALS) distortions

abstract: For decades, manufacturers have attempted to reduce or eliminate the optical aberrations that appear on the progressive addition lens' surfaces during manufacturing. Besides every effort made, some of these distortions are inevitable given how lenses are fabricated, where in fact, astigmatism appears on the surface and cannot be entirely removed or where non-uniform magnification becomes inherent to the power change across the lens. Some presbyopes may refer to certain discomfort when wearing these lenses for the first time, and a subset of them might never adapt. Developing, prototyping, testing and purveying those lenses into the market come at a cost, which is usually reflected in the retail price. This study aims to test the feasibility of virtual reality for testing customers' satisfaction with these lenses, even before getting them onto production. VR offers a controlled environment where different parameters affecting progressive lens comforts, such as distortions, image displacement or optical blurring, can be analysed separately. In this study, the focus was set on the distortions and image displacement, not taking blur into account. Behavioural changes (head and eye movements) were recorded using the built-in eye tracker. Participants were significantly more displeased in the presence of highly distorted lens simulations. In addition, a gradient boosting regressor was fitted to the data, so predictors of discomfort could be unveiled, and ratings could be predicted without performing additional measurements.


title: Rational maps with smooth degenerate Herman rings

abstract: We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Ch\'{e}ritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area of quadratic filled-in Julia sets by Buff and Ch\'{e}ritat. As a by-product, we prove the existence of rational maps having a nowhere dense Julia set of positive area for which these maps have no irrationally indifferent periodic points, no Herman rings, and are not renormalizable.


title: Flavor Changing Neutral Currents in the Higgs Sector

abstract: This review considers models with extended Higgs sectors in which there are tree-level flavor-changing neutral currents (FCNC) mediated by scalars. After briefly reviewing models without tree-level FCNC, several models with such currents are discussed. A popular mass-matrix ansatz, in which the flavor-changing couplings are the geometric mean of the individual flavor couplings, is presented. While it provided a target for experimentalists for three decades, it in now being severely challenged by experiments. Couplings expected to be of O(1) must be substantially smaller and the ansatz is now not favored. The minimal flavor violation hypothesis is introduced. Then specific models are presented, including the Branco-Grimus-Lavoura models. These models are not yet excluded experimentally, but they are highly predictive and will be tested once heavy Higgs bosons are discovered. We then turn to flavorful models and flavor-changing decays of heavy Higgs bosons, and it is shown that in many of these models, the heavy Higgs could predominantly decay in a flavor-changing manner (such as $ct$ or $\mu\tau$) and experimentalists are encouraged to include these possibilities in their searches.


title: Driver Routing and Scheduling with Synchronization Constraints

abstract: This paper investigates a novel type of driver routing and scheduling problem motivated by a practical application in long-distance bus networks. A key difference from other crew scheduling problems is that drivers can be exchanged between buses at arbitrary intermediate stops en route such that our problem requires additional synchronization constraints. We present a mathematical model for this problem that leverages a time-expanded multi-digraph and derive bounds for the total number of required drivers. Moreover, we develop a destructive-bound-enhanced matheuristic that converges to provably optimal solutions and apply it to a real-world case study for Flixbus, one of Europe's leading coach companies. We demonstrate that our matheuristic outperforms a standalone MIP implementation in terms of solution quality and computational time and reduces the number of required drivers by up to 56% compared to approaches currently used in practice. Our solution approach provides feasible solutions for all instances within seconds and solves instances with up to 390 locations and 70 requests optimally with an average computational time under 210 sec. We further study the impact of driver exchanges on the total driver count and show that allowing for such exchanges leads to average savings of 42.69%.


title: Residue distributions, iterated residues, and the spherical automorphic spectrum

abstract: Let $G$ be a split reductive group over a number field $F$. We consider the computation of the inner product of two $K$-spherical pseudo Eisenstein series of $G$ supported in $[T,\mathcal{O}(1)]$ by means of residues, following a classical approach initiated by Langlands. We show that only the singularities of the intertwining operators due to the poles of the completed Dedekind zeta function $\Lambda_F$ contribute to the spectrum, while the singularities caused by the zeroes of $\Lambda_F$ do not contribute to any of the iterated residues which arise as a result of the necessary contour shifts. In the companion paper [DMHO] we use this result to explicitly determine the spectral measure of $L^2(G(F)\backslash G(\mathbb{A}_F),\xi)^K_{[T,\mathcal{O}(1)]}$ by a comparison of the iterated residues with the residue distributions of [HO1].


title: Proof-of-concept Study of Sparse Processing Particle Image Velocimetry for Real Time Flow Observation

abstract: In this paper, we overview, evaluate, and demonstrate the sparse processing particle image velocimetry (SPPIV) as a real-time flow field estimation method using the particle image velocimetry (PIV), whereas SPPIV was previously proposed with its feasibility study and its real-time demonstration is conducted for the first time in this study. In the wind tunnel test, the PIV measurement and real-time measurement using SPPIV were conducted for the flow velocity field around the NACA0015 airfoil model. The off-line analysis results of the test show that the flow velocity field can be estimated from a small number of processing points by applying SPPIV, and also illustrates the following characteristics of SPPIV. The estimation accuracy improves as the number of processing points increases, whereas the processing time per step increases in proportion to the number of processing points. Therefore, it is necessary to set an optimal number of processing points. In addition, the application of the Kalman filter significantly improves the estimation accuracy with a small number of processing points while suppressing the processing time. When the flow velocity fields with different angles of attack are used as the training data with that of test data, the estimation using SPPIV is found to be reasonable if the difference in angle of attack between the training and test data is equal to or less than 2 deg and the flow phenomena of the training data are similar to that of the test data. For this reason, training data should be prepared at least every 4 deg. Finally, the demonstration of SPPIV as a real-time flow observation was conducted for the first time. In this demonstration, the real-time measurement is found to be possible at a sampling rate of 2000 Hz at 20 or less processing points in the top 10 modes estimation as expected by the off-line analyses.


title: Strain-Minimizing Hyperbolic Network Embeddings with Landmarks

abstract: We introduce L-hydra (landmarked hyperbolic distance recovery and approximation), a method for embedding network- or distance-based data into hyperbolic space, which requires only the distance measurements to a few 'landmark nodes'. This landmark heuristic makes L-hydra applicable to large-scale graphs and improves upon previously introduced methods. As a mathematical justification, we show that a point configuration in d-dimensional hyperbolic space can be perfectly recovered (up to isometry) from distance measurements to just d+1 landmarks. We also show that L-hydra solves a two-stage strain-minimization problem, similar to our previous (unlandmarked) method 'hydra'. Testing on real network data, we show that L-hydra is an order of magnitude faster than existing hyperbolic embedding methods and scales linearly in the number of nodes. While the embedding error of L-hydra is higher than the error of existing methods, we introduce an extension, L-hydra+, which outperforms existing methods in both runtime and embedding quality.


title: Electrically Conductive 2D Material Coatings for Flexible & Stretchable Electronics: A Comparative Review of Graphenes & MXenes

abstract: There is growing interest in transitioning electronic components and circuitry from stiff and rigid substrates to more flexible and stretchable platforms, such as thin plastics, textiles, and foams. In parallel, the push for more sustainable, biocompatible, and cost-efficient conductive inks to coat these substrates, has led to the development of formulations with novel nanomaterials. Among these, 2D materials, and particularly graphenes and MXenes, have received intense research interest due to their increasingly facile and scalable production, high electrical conductivity, and compatibility with existing manufacturing techniques. They enable a range of electronic devices, including strain and pressure sensors, supercapacitors, thermoelectric generators, and heaters. These new flexible and stretchable electronic devices developed with 2D material coatings are poised to unlock exciting applications in the wearable, healthcare and Internet of Things sectors. This review has surveyed key data from more than 200 articles published over the last 6 years, to provide a quantitative analysis of recent progress in the field and shade light on future directions and prospects of this technology. We find that despite the different chemical origins of graphenes and MXenes, their shared electrical properties and 2D morphology, guarantee intriguing performance in end applications, leaving plenty of space for shared progress and advancements in the future.


title: Quantum Transport in Spin-1 Chiral Fermion: Self-Consistent Born Approximation

abstract: Quantum transport for a spin-1 chiral fermion is studied within the self-consistent Born approximation. We find characteristic properties around zero energy, i.e., the peak structure of the density of states and significant suppression of electrical conductivity. These structures originate from the flat band and its interband effect.


title: Logarithmic double ramification cycles

abstract: Let $A=(a_1,\ldots, a_n)$ be a vector of integers which sum to $k(2g-2+n)$. The double ramification cycle $\mathsf{DR}_{g,A}\in \mathsf{CH}^g(\mathcal{M}_{g,n})$ on the moduli space of curves is the virtual class of an Abel-Jacobi locus of pointed curves $(C,x_1,\ldots,x_n)$ satisfying $$\mathcal{O}_C\Big(\sum_{i=1}^n a_i x_i\Big) \, \simeq\, \big(\omega^{\mathsf{log}}_{C}\big)^k\, .$$ The Abel-Jacobi construction requires log blow-ups of $\mathcal{M}_{g,n}$ to resolve the indeterminacies of the Abel-Jacobi map. Holmes has shown that $\mathsf{DR}_{g,A}$ admits a canonical lift $\mathsf{logDR}_{g,A} \in \mathsf{logCH}^g(\mathcal{M}_{g,n})$ to the logarithmic Chow ring, which is the limit of the intersection theories of all such blow-ups. The main result of the paper is an explicit formula for $\mathsf{logDR}_{g,A}$ which lifts Pixton's formula for $\mathsf{DR}_{g,A}$. The central idea is to study the universal Jacobian over the moduli space of curves (following Caporaso, Kass-Pagani, and Abreu-Pacini) for certain stability conditions. Using the criterion of Holmes-Schwarz, the universal double ramification theory of Bae-Holmes-Pandharipande-Schmitt-Schwarz applied to the universal line bundle determines the logarithmic double ramification cycle. The resulting formula, written in the language of piecewise polynomials, depends upon the stability condition (and admits a wall-crossing study). Several examples of logarithmic and higher double ramification cycles are computed.


title: Lithium in coalesced non-compact stars

abstract: Context. Galactic red novae are thought to be produced in stellar mergers between non-compact stars, such as main-sequence stars and cool giants. They are hoped to help in explaining physical processes involved in common envelope evolution and stellar binary collisions. Aims. We investigate the presence of lithium in three best-observed Galactic red nova remnants. Explaining the origin of lithium may point to mixing mechanism present before, during, or after the merger. Methods. The lithium line at 6707.81 A was compared to a feature of [Ca I at 6572.78 A to derive relative abundances in circumstellar gas. Absolute abundances were next calculated assuming the Solar calcium to lithium abundance ratio. Results. Lithium abundances were measured in the merger remnants of V838 Mon with A(Li)=2.3, CK Vul with A(Li)=2.5, and V1309 Sco with A(Li)=1.8. Conclusions. Lithium is overabundant in red novae, suggesting that at least some merger products activate the Cameron-Fowler mechanism whereby convective mixing can reach the deep stellar interior. Whether deep convection and associated diffusion alone or some other processes (e.g. spin down) can be responsible for driving the Cameron-Fowler mechanism in the remnants requires further studies. Early observations of lithium in V838 Mon hint that these mechanisms can activate early, perhaps already in the common envelope phase. These observations should be taken into account in modelling these complex systems.


title: An Empirical Evaluation of Four Off-the-Shelf Proprietary Visual-Inertial Odometry Systems

abstract: Commercial visual-inertial odometry (VIO) systems have been gaining attention as cost-effective, off-the-shelf six degrees of freedom (6-DoF) ego-motion tracking methods for estimating accurate and consistent camera pose data, in addition to their ability to operate without external localization from motion capture or global positioning systems. It is unclear from existing results, however, which commercial VIO platforms are the most stable, consistent, and accurate in terms of state estimation for indoor and outdoor robotic applications. We assess four popular proprietary VIO systems (Apple ARKit, Google ARCore, Intel RealSense T265, and Stereolabs ZED 2) through a series of both indoor and outdoor experiments where we show their positioning stability, consistency, and accuracy. We present our complete results as a benchmark comparison for the research community.


title: Filters for X-ray detectors on Space missions

abstract: Thin filters and gas tight windows are used in Space to protect sensitive X-ray detectors from out-of-band electromagnetic radiation, low-energy particles, and molecular contamination. Though very thin and made of light materials, filters are not fully transparent to X-rays. For this reason, they ultimately define the detector quantum efficiency at low energies. In this chapter, we initially provide a brief overview of filter materials and specific designs adopted on space experiments with main focus on detectors operating at the focal plane of grazing incidence X-ray telescopes. We then provide a series of inputs driving the design and development of filters for high-energy astrophysics space missions. We begin with the identification of the main functional goals and requirements driving the preliminary design, and identify modeling tools and experimental characterization techniques needed to prove the technology and consolidate the design. Finally, we describe the calibration activities required to derive the filter response with high accuracy.We conclude with some hints on materials and technologies presently under investigation for future X-ray missions.


title: Boolean Functions of Binary Type-II and Type-II/III Complementary Array Pair

abstract: The sequence pairs of length $2^{m}$ projected from complementary array pairs of Type-II of size $\mathbf{2}^{(m)}$ and mixed Type-II/III and of size $\mathbf{2}^{(m-1)}\times2$ are complementary sequence pairs Type-II and Type-III respectively. An exhaustive search for binary Type-II and Type-III complementary sequence pairs of small lengths $2^{m}$ ($m=1,2,3,4$) shows that they are all projected from the aforementioned complementary array pairs, whose algebraic normal forms satisfy specified expressions. It's natural to ask whether the conclusion holds for all $m$. In this paper, we proved that these expressions of algebraic normal forms determine all the binary complementary array pairs of Type-II of size $\mathbf{2}^{(m)}$ and mixed Type-II/III of size $\mathbf{2}^{(m-1)}\times2$ respectively.


title: Adaptive Repetitions Strategies in IEEE 802.11bd

abstract: A new backward compatible WiFi amendment is under development by the IEEE bd Task Group towards the so-called IEEE 802.11bd, which includes the possibility to transmit up to three repetitions of the same packet. This feature increases time diversity and enables the use of maximum ratio combining (MRC) at the receiver to improve the probability of correct decoding. In this work, we first investigate the packet repetition feature and analyze how it looses its efficacy increasing the traffic as an higher number of transmissions may augment the channel load and collision probability. Then, we propose two strategies for adaptively selecting the number of transmissions leveraging on an adapted version of the channel busy ratio (CBR), which is measured at the transmitter and is an indicator of the channel load. The proposed strategies are validated through network-level simulations that account for both the acquisition and decoding processes. Results show that the proposed strategies ensure that devices use optimal settings under variable traffic conditions.


title: Statistical significance testing for mixed priors: a combined Bayesian and frequentist analysis

abstract: In many hypothesis testing applications, we have mixed priors, with well-motivated informative priors for some parameters but not for others. The Bayesian methodology uses the Bayes factor and is helpful for the informative priors, as it incorporates Occam's razor via multiplicity or trials factor in the Look Elsewhere Effect. However, if the prior is not known completely, the frequentist hypothesis test via the false positive rate is a better approach, as it is less sensitive to the prior choice. We argue that when only partial prior information is available, it is best to combine the two methodologies by using the Bayes factor as a test statistic in the frequentist analysis. We show that the standard frequentist likelihood-ratio test statistic corresponds to the Bayes factor with a non-informative Jeffrey's prior. We also show that mixed priors increase the statistical power in frequentist analyses over the likelihood ratio test statistic. We develop an analytic formalism that does not require expensive simulations using a statistical mechanics approach to hypothesis testing in Bayesian and frequentist statistics. We introduce the counting of states in a continuous parameter space using the uncertainty volume as the quantum of the state. We show that both the p-value and Bayes factor can be expressed as energy versus entropy competition. We present analytic expressions that generalize Wilks' theorem beyond its usual regime of validity and work in a non-asymptotic regime. In specific limits, the formalism reproduces existing expressions, such as the p-value of linear models and periodograms. We apply the formalism to an example of exoplanet transits, where multiplicity can be more than $10^7$. We show that our analytic expressions reproduce the p-values derived from numerical simulations.


title: Isoscalar Giant Resonances: Experimental Studies

abstract: Giant resonances--highly collective, high-frequency oscillations of the atomic nucleus--are the focus of this chapter. We discuss the isoscalar excitations, where the protons and neutrons oscillate in phase, up to angular-momentum transfers $L$ = 3. The procedures of experiments and data analysis employed in extracting the strength distributions associated with these resonances are discussed. The experimentally extracted strength distributions are presented, along with information on the properties of these resonances available to date. The effect of deformation of the nuclear ground state on the resonance strength distributions is discussed. Furthermore, the exciting opportunities being opened with the current and future availability of rare isotope beams the world over are expounded.


title: Astraeus VII: The environmental-dependent assembly of galaxies in the Epoch of Reionization

abstract: Using the ASTRAEUS (semi-numerical rAdiative tranSfer coupling of galaxy formaTion and Reionization in N-body dark matter simUlationS) framework, we explore the impact of environmental density and radiative feedback on the assembly of galaxies and their host halos during the Epoch of Reionization. The ASTRAEUS framework allows us to study the evolution of galaxies with masses ($\rm 10^{8.2}M_\odot < M_{\rm h} < 10^{13}M_\odot$) in wide variety of environment ($-0.5 < {\rm log}(1+\delta) < 1.3$ averaged over $(2~{\rm cMpc})^3$). We find that : (i) there exists a mass- and redshift- dependent "characteristic" environment (${\rm log} (1+\delta_a(M_{\rm h}, z)) = 0.021\times (M_{\rm h}/M_\odot)^{0.16} + 0.07 z -1.12$, up to $z\sim 10$) at which galaxies are most efficient at accreting dark matter, e.g at a rate of $0.2\%$ of their mass every Myr at $z=5$; (ii) the number of minor and major mergers and their contributions to the dark matter assembly increases with halo mass at all redshifts and is mostly independent of the environment; (iii) at $z=5$ minor mergers contribute slightly more (by up to $\sim 10\%$) to the dark matter assembly while for the stellar assembly, major mergers dominate the contribution from minor mergers for $M_{\rm h}\lesssim 10^{11.5}M_\odot$ galaxies; (iv) radiative feedback quenches star formation more in low-mass galaxies ($M_{\rm h} \lesssim 10^{9.5}M_\odot$) in over-dense environments (${\rm log}(1+\delta) > 0.5$); dominated by their major branch, this yields star formation histories biased towards older ages with a slower redshift evolution.


title: Towards coarse-grained elasticity of single-layer Covalent Organic Frameworks

abstract: Two-dimensional covalent organic frameworks (2D COFs) are an interesting class of 2D materials since their reticular synthesis allows the tailored design of structures and functionalities. For many of their applications the mechanical stability and performance is an important aspect. Here, we use a computational approach involving a density-functional based tight-binding method to calculate the in-plane elastic properties of about 40 COFs with a honeycomb lattice. Based on those calculations, we develop two coarse-grained descriptions: one based on a spring network and the second using a network of elastic beams. The models allow us to connect the COF force constants to the molecular force constants of the linker molecules and thus enable an efficient description of elastic deformations. To illustrate this aspect, we calculate the deformation energy of different COFs containing the equivalent of a Stone-Wales defect and find very good agreement with the coarse-grained description.


title: Asymmetric rotations and dimerization driven by normal to modulated phase transition in 4-biphenylcarboxy coupled L-phenylalaninate

abstract: Amongst the derivatives of 4-biphenylcarboxylic acid and amino acid esters, the crystal structure of 4-biphenylcarboxy-(L)-phenylalaninate is unusual owing to its monoclinic symmetry within a pseudo-orthorhombic lattice. The distortion is described by disparate rotational property around the chiral centers ($\varphi_{\mathrm{chiral}}$ $\simeq$ -129 degrees and 58 degrees) of the two molecules in the asymmetric unit. Each of these molecules comprise of planar biphenyl moieties ($\varphi_{\mathrm{biphenyl}}$ = 0 degrees). Using temperature dependent single crystal X-ray diffraction experiments we show that the compound undergoes a phase transition below $T$ $\sim$ 124 K that is characterized by a commensurate modulation wave vector, $\mathbf{q}$ = $\delta(101)$, $\delta$ = $\frac{1}{2}$. The (3+1) dimensional modulated structure at $T$ = 100 K suggests that the phase transition drives the biphenyl moieties towards non coplanar conformations with significant variation of internal torsion ($\varphi^{\mathrm{max}}_{\mathrm{biphenyl}}$ $\leq$ $20$ degrees). These intramolecular rotations lead to dimerization of the molecular stacks that are described predominantly by intermolecular tilts and small variations in intermolecular distances. Atypical of modulated structures and superstructures of biphenyl and other polyphenyls, the rotations of individual molecules are asymmetric ($\Delta$$\varphi_{\mathrm{biphenyl}}$ $\approx$ 5 degrees) while $\varphi_{\mathrm{biphenyl}}$ of one independent molecule is two to four times larger than the other. Crystal-chemical analysis and phase relations in superspace suggest multiple competing factors involving intramolecular steric factors, intermolecular H--C${\cdot}{\cdot}{\cdot}$C--H contacts and weak C--H${\cdot}{\cdot}{\cdot}$O hydrogen bonds that govern the distinctively unequal torsional property of the molecules.


title: Inertial Hallucinations -- When Wearable Inertial Devices Start Seeing Things

abstract: We propose a novel approach to multimodal sensor fusion for Ambient Assisted Living (AAL) which takes advantage of learning using privileged information (LUPI). We address two major shortcomings of standard multimodal approaches, limited area coverage and reduced reliability. Our new framework fuses the concept of modality hallucination with triplet learning to train a model with different modalities to handle missing sensors at inference time. We evaluate the proposed model on inertial data from a wearable accelerometer device, using RGB videos and skeletons as privileged modalities, and show an improvement of accuracy of an average 6.6% on the UTD-MHAD dataset and an average 5.5% on the Berkeley MHAD dataset, reaching a new state-of-the-art for inertial-only classification accuracy on these datasets. We validate our framework through several ablation studies.


title: Spreading of a local excitation in a Quantum Hierarchical Model

abstract: We study the dynamics of the quantum Dyson hierarchical model in its paramagnetic phase. An initial state made by a local excitation of the paramagnetic ground state is considered. We provide analytical predictions for its time evolution, solving the single-particle dynamics on a hierarchical network. A localization mechanism is found and the excitation remains close to its initial position at arbitrary times. Furthermore, a universal scaling among space and time is found related to the algebraic decay of the interactions as $r^{-1-\sigma}$. We compare our predictions to numerics, employing tensor network techniques, for large magnetic fields, discussing the robustness of the mechanism in the full many-body dynamics.


title: Perturbation theory of transfer function matrices

abstract: Zeros of rational transfer function matrices $R(\lambda)$ are the eigenvalues of associated polynomial system matrices $P(\lambda)$, under minimality conditions. In this paper we define a structured condition number for a simple eigenvalue $\lambda_0$ of a (locally) minimal polynomial system matrix $P(\lambda)$, which in turn is a simple zero $\lambda_0$ of its transfer function matrix $R(\lambda)$. Since any rational matrix can be written as the transfer function of a polynomial system matrix, our analysis yield a structured perturbation theory for simple zeros of rational matrices $R(\lambda)$. To capture all the zeros of $R(\lambda)$, regardless of whether they are poles or not, we consider the notion of root vectors. As corollaries of the main results, we pay particular attention to the special case of $\lambda_0$ being not a pole of $R(\lambda)$ since in this case the results get simpler and can be useful in practice. We also compare our structured condition number with Tisseur's unstructured condition number for eigenvalues of matrix polynomials, and show that the latter can be unboundedly larger. Finally, we corroborate our analysis by numerical experiments.


title: The Quasar Candidates Catalogs of DESI Legacy Imaging Survey Data Release 9

abstract: Quasars can be used to measure baryon acoustic oscillations at high redshift, which are considered as direct tracers of the most distant large-scale structures in the Universe. It is fundamental to select quasars from observations before implementing the above research. This work focuses on creating a catalog of quasar candidates based on photometric data to provide primary priors for further object classification with spectroscopic data in the future, such as The Dark Energy Spectroscopic Instrument (DESI) Survey. We adopt a machine learning algorithm (Random Forest, RF) for quasar identification. The training set includes $651,073$ positives and $1,227,172$ negatives, in which the photometric information are from DESI Legacy Imaging Surveys (DESI-LIS) \& Wide-field Infrared Survey Explore (WISE), and the labels are from a database of spectroscopically confirmed quasars based on Sloan Digital Sky Survey (SDSS) and the Set of Identifications \& Measurements and Bibliography for Astronomical Data (SIMBAD). The trained RF model is applied to point-like sources in DESI-LIS Data Release 9. To quantify the classifier's performance, we also inject a testing set into the to-be-applied data. Eventually, we obtained $1,953,932$ Grade-A quasar candidates and $22,486, 884$ Grade-B quasar candidates out of $425,540,269$ sources ($\sim 5.7\%$). The catalog covers $\sim 99\%$ of quasars in the to-be-applied data by evaluating the completeness of the classification on the testing set. The statistical properties of the candidates agree with that given by the method of color-cut selection. Our catalog can intensely decrease the workload for confirming quasars with the upcoming DESI data by eliminating enormous non-quasars but remaining high completeness. All data in this paper is publicly available online.


title: Neural apparent BRDF fields for multiview photometric stereo

abstract: We propose to tackle the multiview photometric stereo problem using an extension of Neural Radiance Fields (NeRFs), conditioned on light source direction. The geometric part of our neural representation predicts surface normal direction, allowing us to reason about local surface reflectance. The appearance part of our neural representation is decomposed into a neural bidirectional reflectance function (BRDF), learnt as part of the fitting process, and a shadow prediction network (conditioned on light source direction) allowing us to model the apparent BRDF. This balance of learnt components with inductive biases based on physical image formation models allows us to extrapolate far from the light source and viewer directions observed during training. We demonstrate our approach on a multiview photometric stereo benchmark and show that competitive performance can be obtained with the neural density representation of a NeRF.


title: Adaptive joint spatio-temporal error concealment for video communication

abstract: In the past years, video communication has found its application in an increasing number of environments. Unfortunately, some of them are error-prone and the risk of block losses caused by transmission errors is ubiquitous. To reduce the effects of these block losses, a new spatio-temporal error concealment algorithm is presented. The algorithm uses spatial as well as temporal information for extrapolating the signal into the lost areas. The extrapolation is carried out in two steps, first a preliminary temporal extrapolation is performed which then is used to generate a model of the original signal, using the spatial neighborhood of the lost block. By applying the spatial refinement a significantly higher concealment quality can be achieved resulting in a gain of up to 5.2 dB in PSNR compared to the unrefined underlying pure temporal extrapolation.


title: Multiple Selection Extrapolation for Improved Spatial Error Concealment

abstract: This contribution introduces a novel signal extrapolation algorithm and its application to image error concealment. The signal extrapolation is carried out by iteratively generating a model of the signal suffering from distortion. Thereby, the model results from a weighted superposition of two-dimensional basis functions whereas in every iteration step a set of these is selected and the approximation residual is projected onto the subspace they span. The algorithm is an improvement to the Frequency Selective Extrapolation that has proven to be an effective method for concealing lost or distorted image regions. Compared to this algorithm, the novel algorithm is able to reduce the processing time by a factor larger than three, by still preserving the very high extrapolation quality.


title: Quasinormal modes and the correspondence with shadow in black holes with a deficit solid angle and quintessence-like matter

abstract: In this paper, we investigate the photon sphere, shadow radius and quasinormal modes of a $4$-dimensional black hole with a deficit solid angle and quintessence-like matter. We find that the radii of the photon sphere and shadow decrease with the decreases of the deficit solid angle and density of quintessence-like matter. The quasinormal modes are gotten by the sixth order WKB approximation method and shadow radius, respectively. The values of the real part and imaginary parts of the quasinormal modes increase with the decrease of the values of the deficit solid angle and density of quintessence-like matter when the multipole number is fixed. The quasinormal modes gotten by these two methods are in good agreement, especially when the multipole number is large. It shows the correspondence between the quasinormal modes in the eikonal limit and shadow.


title: Adaptive frequency prior for frequency selective reconstruction of images from non-regular subsampling

abstract: Image signals typically are defined on a rectangular two-dimensional grid. However, there exist scenarios where this is not fulfilled and where the image information only is available for a non-regular subset of pixel position. For processing, transmitting or displaying such an image signal, a re-sampling to a regular grid is required. Recently, Frequency Selective Reconstruction (FSR) has been proposed as a very effective sparsity-based algorithm for solving this under-determined problem. For this, FSR iteratively generates a model of the signal in the Fourier-domain. In this context, a fixed frequency prior inspired by the optical transfer function is used for favoring low-frequency content. However, this fixed prior is often too strict and may lead to a reduced reconstruction quality. To resolve this weakness, this paper proposes an adaptive frequency prior which takes the local density of the available samples into account. The proposed adaptive prior allows for a very high reconstruction quality, yielding gains of up to 0.6 dB PSNR over the fixed prior, independently of the density of the available samples. Compared to other state-of-the-art algorithms, visually noticeable gains of several dB are possible.


title: Determining Neutrino Mass Ordering with ICAL, JUNO and T2HK

abstract: In this paper we study the synergy among the future accelerator (T2HK), future atmospheric (ICAL) and future reactor (JUNO) neutrino experiments to determine the neutrino mass ordering. T2HK can measure the mass ordering only for favorable values of $\delta_{\rm CP}$, whereas the mass ordering sensitivity of JUNO is dependent on the energy resolution. Our results show that with a combination of T2HK, ICAL and JUNO one can have a mass ordering sensitivity of 7.2 $\sigma$ even for the unfavorable value of $\delta_{\rm CP} = 0^\circ$ for T2HK and most conservative value of JUNO energy resolution of 5$\%/\sqrt{E(MeV)}$. The synergy mainly comes because different oscillation channels prefer different values of $|\Delta m_{31}^2|$ in the fit when the mass-ordering $\chi^2$ is minimized. In this context we also study: (i) effect of varying energy resolution of JUNO, (ii) the effect of longer run-time of ICAL, (iii) effect of different true values of $\theta_{23}$ and (iv) effect of octant degeneracy in the determination of neutrino mass ordering.


title: MMOTU: A Multi-Modality Ovarian Tumor Ultrasound Image Dataset for Unsupervised Cross-Domain Semantic Segmentation

abstract: Ovarian cancer is one of the most harmful gynecological diseases. Detecting ovarian tumors in early stage with computer-aided techniques can efficiently decrease the mortality rate. With the improvement of medical treatment standard, ultrasound images are widely applied in clinical treatment. However, recent notable methods mainly focus on single-modality ultrasound ovarian tumor segmentation or recognition, which means there still lacks researches on exploring the representation capability of multi-modality ultrasound ovarian tumor images. To solve this problem, we propose a Multi-Modality Ovarian Tumor Ultrasound (MMOTU) image dataset containing 1469 2d ultrasound images and 170 contrast enhanced ultrasonography (CEUS) images with pixel-wise and global-wise annotations. Based on MMOTU, we mainly focus on unsupervised cross-domain semantic segmentation task. To solve the domain shift problem, we propose a feature alignment based architecture named Dual-Scheme Domain-Selected Network (DS2Net). Specifically, we first design source-encoder and target-encoder to extract two-style features of source and target images. Then, we propose Domain-Distinct Selected Module (DDSM) and Domain-Universal Selected Module (DUSM) to extract the distinct and universal features in two styles (source-style or target-style). Finally, we fuse these two kinds of features and feed them into the source-decoder and target-decoder to generate final predictions. Extensive comparison experiments and analysis on MMOTU image dataset show that DS2Net can boost the segmentation performance for bidirectional cross-domain adaptation of 2d ultrasound images and CEUS images. Our proposed dataset and code are all available at https://github.com/cv516Buaa/MMOTU_DS2Net.


title: Mathematical aspects and simulation of electron-electron scattering in graphene

abstract: Some properties of the electron-electron collision operator in graphene are analyzed along with the evaluation of collision rate. Monte Carlo simulations complete the study and highlight the non-negligible role of the electron-electron scattering for an accurate evaluation of the currents and, as a consequence, of the characteristic curves.


title: Parameter Synthesis in Markov Models: A Gentle Survey

abstract: This paper surveys the analysis of parametric Markov models whose transitions are labelled with functions over a finite set of parameters. These models are symbolic representations of uncountable many concrete probabilistic models, each obtained by instantiating the parameters. We consider various analysis problems for a given logical specification $\varphi$: do all parameter instantiations within a given region of parameter values satisfy $\varphi$?, which instantiations satisfy $\varphi$ and which ones do not?, and how can all such instantiations be characterised, either exactly or approximately? We address theoretical complexity results and describe the main ideas underlying state-of-the-art algorithms that established an impressive leap over the last decade enabling the fully automated analysis of models with millions of states and thousands of parameters.


title: GrabQC: Graph based Query Contextualization for automated ICD coding

abstract: Automated medical coding is a process of codifying clinical notes to appropriate diagnosis and procedure codes automatically from the standard taxonomies such as ICD (International Classification of Diseases) and CPT (Current Procedure Terminology). The manual coding process involves the identification of entities from the clinical notes followed by querying a commercial or non-commercial medical codes Information Retrieval (IR) system that follows the Centre for Medicare and Medicaid Services (CMS) guidelines. We propose to automate this manual process by automatically constructing a query for the IR system using the entities auto-extracted from the clinical notes. We propose \textbf{GrabQC}, a \textbf{Gra}ph \textbf{b}ased \textbf{Q}uery \textbf{C}ontextualization method that automatically extracts queries from the clinical text, contextualizes the queries using a Graph Neural Network (GNN) model and obtains the ICD Codes using an external IR system. We also propose a method for labelling the dataset for training the model. We perform experiments on two datasets of clinical text in three different setups to assert the effectiveness of our approach. The experimental results show that our proposed method is better than the compared baselines in all three settings.


title: FFTc: An MLIR Dialect for Developing HPC Fast Fourier Transform Libraries

abstract: Discrete Fourier Transform (DFT) libraries are one of the most critical software components for scientific computing. Inspired by FFTW, a widely used library for DFT HPC calculations, we apply compiler technologies for the development of HPC Fourier transform libraries. In this work, we introduce FFTc, a domain-specific language, based on Multi-Level Intermediate Representation (MLIR), for expressing Fourier Transform algorithms. We present the initial design, implementation, and preliminary results of FFTc.


title: A spatially resolved study of hard X-ray emission in Kepler's SNR: indications of different regimes of particle acceleration

abstract: Synchrotron X-ray emission in young supernova remnants (SNRs) is a powerful diagnostic tool to study the population of high energy electrons accelerated at the shock front and the acceleration process. We performed a spatially resolved spectral analysis of NuSTAR and XMM-Newton observations of the young Kepler's SNR, aiming to study in detail its non-thermal emission in hard X-rays. We selected a set of regions all around the rim of the shell and extracted the corresponding spectra. The spectra were analyzed by adopting a model of synchrotron radiation in the loss-limited regime, to constrain the dependence of the cutoff energy of the synchrotron radiation on the shock velocity. We identify two different regimes of particle acceleration, characterized by different Bohm factors. In the north, where the shock interacts with a dense circumstellar medium (CSM), we found a more efficient acceleration than in the south, where the shock velocity is higher and there are no signs of shock interaction with dense CSM. Our results suggest an enhanced efficiency of the acceleration process in regions where the shock-CSM interaction generates an amplified and turbulent magnetic field. By combining hard X-ray spectra with radio and $\gamma-$ray observations of Kepler's SNR, we modelled the spectral energy distribution. In the light of our results we propose that the observed $\gamma-$ray emission is mainly hadronic, and originates in the northern part of the shell.


title: Parity-encoding-based quantum computing with Bayesian error tracking

abstract: Measurement-based quantum computing (MBQC) in linear optical systems is promising for near-future quantum computing architecture. However, the nondeterministic nature of entangling operations and photon losses hinder the large-scale generation of graph states and introduce logical errors. In this work, we propose a linear optical topological MBQC protocol employing multiphoton qubits based on the parity encoding, which turns out to be highly photon-loss tolerant and resource-efficient even under the effects of nonideal entangling operations that unavoidably corrupt nearby qubits. For the realistic error analysis, we introduce a Bayesian methodology, in conjunction with the stabilizer formalism, to track errors caused by such detrimental effects. We additionally suggest a graph-theoretical optimization scheme for the process of constructing an arbitrary graph state, which greatly reduces its resource overhead. Notably, we show that our protocol is advantageous over several other existing approaches in terms of fault-tolerance, resource overhead, or feasibility of basic elements.


title: Reduction in optimal control with broken symmetry for collision and obstacle avoidance of multi-agent system on Lie groups

abstract: We study the reduction by symmetry for optimality conditions in optimal control problems of left-invariant affine multi-agent control systems, with partial symmetry breaking cost functions for continuous-time and discrete-time systems. We recast the optimal control problem as a constrained variational problem with a partial symmetry breaking Lagrangian and obtain the reduced optimality conditions from a reduced variational principle via symmetry reduction techniques in both settings, continuous-time, and discrete-time. We apply the results to a collision and obstacle avoidance problem for multiple vehicles evolving on $SE(2)$ in the presence of a static obstacle.


title: Gradient higher integrability for degenerate parabolic double-phase systems

abstract: We prove local higher integrability of the gradient of a weak solution to a degenerate parabolic double-phase system. This result comes with a reverse H\"older type estimate for the gradient. The proof is based on estimates in the intrinsic geometry and stopping time arguments.


title: Reduced-order Galerkin models of plane Couette flow

abstract: Reduced-order models were derived for plane Couette flow using Galerkin projection, with orthonormal basis functions taken as the leading controllability modes of the linearised Navier-Stokes system for a few low wavenumbers. Resulting Galerkin systems comprise ordinary differential equations, with a number of degrees of freedom ranging from 144 to 600, which may be integrated to large times without sign of numerical instability. The reduced-order models so obtained are also found to match statistics of direct numerical simulations at Reynolds number 500 and 1200 with reasonable accuracy, despite a truncation of orders of magnitude in the degrees of freedom of the system. The present models offer thus an interesting compromise between simplicity and accuracy in a canonical wall-bounded flow, with relatively few modes representing coherent structures in the flow and their dominant dynamics.


title: A time-symmetric soliton dynamics \`a la de Broglie

abstract: In this work we develop a time-symmetric soliton theory for quantum particles inspired from works by de Broglie and Bohm. We consider explicitly a non-linear Klein-Gordon theory leading to monopolar oscillating solitons. We show that the theory is able to reproduce the main results of the pilot-wave interpretation for non interacting particles in a external electromagnetic field. In this regime, using the time symmetry of the theory, we are also able to explain quantum entanglement between several solitons and we reproduce the famous pilot-wave nonlocality associated with the de Broglie-Bohm theory.


title: In-memory Realization of In-situ Few-shot Continual Learning with a Dynamically Evolving Explicit Memory

abstract: Continually learning new classes from a few training examples without forgetting previous old classes demands a flexible architecture with an inevitably growing portion of storage, in which new examples and classes can be incrementally stored and efficiently retrieved. One viable architectural solution is to tightly couple a stationary deep neural network to a dynamically evolving explicit memory (EM). As the centerpiece of this architecture, we propose an EM unit that leverages energy-efficient in-memory compute (IMC) cores during the course of continual learning operations. We demonstrate for the first time how the EM unit can physically superpose multiple training examples, expand to accommodate unseen classes, and perform similarity search during inference, using operations on an IMC core based on phase-change memory (PCM). Specifically, the physical superposition of a few encoded training examples is realized via in-situ progressive crystallization of PCM devices. The classification accuracy achieved on the IMC core remains within a range of 1.28%--2.5% compared to that of the state-of-the-art full-precision baseline software model on both the CIFAR-100 and miniImageNet datasets when continually learning 40 novel classes (from only five examples per class) on top of 60 old classes.


title: Bunk8s: Enabling Easy Integration Testing of Microservices in Kubernetes

abstract: Microservice architecture is the common choice for cloud applications these days since each individual microservice can be independently modified, replaced, and scaled. However, the complexity of microservice applications requires automated testing with a focus on the interactions between the services. While this is achievable with end-to-end tests, they are error-prone, brittle, expensive to write, time-consuming to run, and require the entire application to be deployed. Integration tests are an alternative to end-to-end tests since they have a smaller test scope and require the deployment of a significantly fewer number of services. The de-facto standard for deploying microservice applications in the cloud is containers with Kubernetes being the most widely used container orchestration platform. To support the integration testing of microservices in Kubernetes, several tools such as Octopus, Istio, and Jenkins exist. However, each of these tools either lack crucial functionality or lead to a substantial increase in the complexity and growth of the tool landscape when introduced into a project. To this end, we present \emph{Bunk8s}, a tool for integration testing of microservice applications in Kubernetes that overcomes the limitations of these existing tools. \emph{Bunk8s} is independent of the test framework used for writing integration tests, independent of the used CI/CD infrastructure, and supports test result publishing. A video demonstrating the functioning of our tool is available from \url{https://www.youtube.com/watch?v=e8wbS25O4Bo}.


title: Comparing the latent space of generative models

abstract: Different encodings of datapoints in the latent space of latent-vector generative models may result in more or less effective and disentangled characterizations of the different explanatory factors of variation behind the data. Many works have been recently devoted to the explorationof the latent space of specific models, mostly focused on the study of how features are disentangled and of how trajectories producing desired alterations of data in the visible space can be found. In this work we address the more general problem of comparing the latent spaces of different models, looking for transformations between them. We confined the investigation to the familiar and largely investigated case of generative models for the data manifold of human faces. The surprising, preliminary result reported in this article is that (provided models have not been taught or explicitly conceived to act differently) a simple linear mapping is enough to pass from a latent space to another while preserving most of the information.