title: ElasticROS: An Elastically Collaborative Robot Operation System for Fog and Cloud Robotics

abstract: Robots are integrating more huge-size models to enrich functions and improve accuracy, which leads to out-of-control computing pressure. And thus robots are encountering bottlenecks in computing power and battery capacity. Fog or cloud robotics is one of the most anticipated theories to address these issues. Approaches of cloud robotics have developed from system-level to node-level. However, the present node-level systems are not flexible enough to dynamically adapt to changing conditions. To address this, we present ElasticROS, which evolves the present node-level systems into an algorithm-level one. ElasticROS is based on ROS and ROS2. For fog and cloud robotics, it is the first robot operating system with algorithm-level collaborative computing. ElasticROS develops elastic collaborative computing to achieve adaptability to dynamic conditions. The collaborative computing algorithm is the core and challenge of ElasticROS. We abstract the problem and then propose an algorithm named ElasAction to address. It is a dynamic action decision algorithm based on online learning, which determines how robots and servers cooperate. The algorithm dynamically updates parameters to adapt to changes of conditions where the robot is currently in. It achieves elastically distributing of computing tasks to robots and servers according to configurations. In addition, we prove that the regret upper bound of the ElasAction is sublinear, which guarantees its convergence and thus enables ElasticROS to be stable in its elasticity. Finally, we conducted experiments with ElasticROS on common tasks of robotics, including SLAM, grasping and human-robot dialogue, and then measured its performances in latency, CPU usage and power consumption. The algorithm-level ElasticROS performs significantly better than the present node-level system.


title: Whitney Numbers of Partial Dowling Lattices

abstract: The Dowling lattice $Q_n(\mathfrak{G})$, $\mathfrak{G}$ a finite group, generalizes the geometric lattice generated by all vectors, over a field, with at most two nonzero components. Abstractly, it is a fundamental object in the classification of finite matroids. Constructively, it is the frame matroid of a certain gain graph known as $\mathfrak{G}{\cdot}K_n^{(V)}$. Its Whitney numbers of the first kind enter into several important formulas. Ravagnani suggested and partially proved that these numbers of $Q_n(\mathfrak{G})$ and higher-weight generalizations are polynomial functions of $|\mathfrak{G}|$. We give a simple proof for $Q_n(\mathfrak{G})$ and its generalization to a wider class of gain graphs and biased graphs, and we determine the degrees and coefficients of the polynomials.


title: Indoor Path Planning for Multiple Unmanned Aerial Vehicles via Curriculum Learning

abstract: Multi-agent reinforcement learning was performed in this study for indoor path planning of two unmanned aerial vehicles (UAVs). Each UAV performed the task of moving as fast as possible from a randomly paired initial position to a goal position in an environment with obstacles. To minimize training time and prevent the damage of UAVs, learning was performed by simulation. Considering the non-stationary characteristics of the multi-agent environment wherein the optimal behavior varies based on the actions of other agents, the action of the other UAV was also included in the state space of each UAV. Curriculum learning was performed in two stages to increase learning efficiency. A goal rate of 89.0% was obtained compared with other learning strategies that obtained goal rates of 73.6% and 79.9%.


title: Neural Network Approach to Scaling Analysis of Critical Phenomena

abstract: Determining the universality class of a system exhibiting critical phenomena is one of the central problems in physics. There are several methods to determine this universality class from data. As methods performing collapse plots onto scaling functions, polynomial regression, which is less accurate, and Gaussian process regression, which provides high accuracy and flexibility but is computationally heavy, have been proposed. In this paper, we propose a regression method using a neural network. The computational complexity is only linear in the number of data points. We demonstrate the proposed method for the finite-size scaling analysis of critical phenomena on the two-dimensional Ising model and bond percolation problem to confirm the performance. This method efficiently obtains the critical values with accuracy in both cases.


title: Gas transport mechanisms through molecularly thin membranes

abstract: Atomically thin molecular carbon nanomembranes (CNMs) with intrinsic sub-nanometer porosity are considered as promising candidates for next generation filtration and gas separation applications due to their extremely low thickness, energy efficiency and selectivity. CNMs are intrinsically porous which is advantageous over other 2D materials such as graphene and transition metal dichalcogenides where defects and pores need to be introduced after synthesis. It was already discovered that water and helium permeate through 4,4-terphenylthiol (TPT) CNM above the limit of detection. Additionally, the permeation of water vapour was nonlinear against its pressure and 1000 stronger than permeation of helium despite their similar kinetic diameters. However, there was no clear permeation mechanism which could explain permeation of both species. Here, we demonstrate that permeation of all gas species is defined by their adsorption. We performed gas permeation measurements through TPT CNM at different temperatures and found that all measured gases experienced an activation energy barrier which correlated with their kinetic diameters. Furthermore, we identified that entropy loss during adsorption and permeation is the fundamental reason of strong nonlinear permeation of water. Our results also demonstrated that adsorption plays a major role in permeation of all gases, not just water.

categories: cond-mat.mes-hall cond-mat.soft physics.app-ph physics.chem-ph


title: Representation Learning for Non-Melanoma Skin Cancer using a Latent Autoencoder

abstract: Generative learning is a powerful tool for representation learning, and shows particular promise for problems in biomedical imaging. However, in this context, sampling from the distribution is secondary to finding representations of real images, which often come with labels and explicitly represent the content and quality of the target distribution. It remains difficult to faithfully reconstruct images from generative models, particularly those as complex as histological images. In this work, two existing methods (autoencoders and adversarial latent autoencoders) are combined in attempt to improve our ability to encode and decode real images of non-melanoma skin cancer, specifically intra-epidermal carcinoma (IEC). Utilising a dataset of high-quality images of IEC (256 x 256), this work assesses the result of both image reconstruction quality and representation learning. It is shown that adversarial training can improve baseline FID scores from 76 to 50, and that benchmarks on representation learning can be improved by up to 3%. Smooth and realistic interpolations of the variation in the morphological structure are also presented for the first time, positioning representation learning as a promising direction in the context of computational pathology.


title: Underwater Acoustic Ranging Between Smartphones

abstract: We present a novel underwater system that can perform acoustic ranging between commodity smartphones. To achieve this, we design a real-time underwater ranging protocol that computes the time-of-flight between smartphones. To address the severe underwater multipath, we present a dual-microphone optimization algorithm that can more reliably identify the direct path. Our underwater evaluations show that our system has median errors of 0.48-0.86 m at distances upto 35 m. Further, our system can operate across smartphone model pairs and works in the presence of clock drifts. While existing underwater localization research is targeted for custom hydrophone hardware, we believe that our work breaks new ground by demonstrating a path to bringing underwater ranging capabilities to billions of existing smartphones, without additional hardware.


title: Trapping quantum coherence with a dissipative thermal bath

abstract: In the long-time limit, an open quantum system coupled to a dissipative environment is believed to lose its coherence without driving or measurement. Counterintuitively, we provide a necessary condition on trapping the coherence of a two-level system entirely with a thermal bath. Based on a time-local master equation, it is found that the residue coherence survives even under a high-temperature bath as long as the long-time Lamb shift is exactly negative to the system transition frequency. This condition is generally met in the strong and even ultrastrong coupling regime that could be relaxed by increasing the environmental temperature. The counter-rotating interactions between system and bath is indispensable to the residue coherence, whose magnitude is affected by the system initial state and the bath structure.


title: "Is your explanation stable?": A Robustness Evaluation Framework for Feature Attribution

abstract: Understanding the decision process of neural networks is hard. One vital method for explanation is to attribute its decision to pivotal features. Although many algorithms are proposed, most of them solely improve the faithfulness to the model. However, the real environment contains many random noises, which may leads to great fluctuations in the explanations. More seriously, recent works show that explanation algorithms are vulnerable to adversarial attacks. All of these make the explanation hard to trust in real scenarios. To bridge this gap, we propose a model-agnostic method \emph{Median Test for Feature Attribution} (MeTFA) to quantify the uncertainty and increase the stability of explanation algorithms with theoretical guarantees. MeTFA has the following two functions: (1) examine whether one feature is significantly important or unimportant and generate a MeTFA-significant map to visualize the results; (2) compute the confidence interval of a feature attribution score and generate a MeTFA-smoothed map to increase the stability of the explanation. Experiments show that MeTFA improves the visual quality of explanations and significantly reduces the instability while maintaining the faithfulness. To quantitatively evaluate the faithfulness of an explanation under different noise settings, we further propose several robust faithfulness metrics. Experiment results show that the MeTFA-smoothed explanation can significantly increase the robust faithfulness. In addition, we use two scenarios to show MeTFA's potential in the applications. First, when applied to the SOTA explanation method to locate context bias for semantic segmentation models, MeTFA-significant explanations use far smaller regions to maintain 99\%+ faithfulness. Second, when tested with different explanation-oriented attacks, MeTFA can help defend vanilla, as well as adaptive, adversarial attacks against explanations.


title: Explicit Cutoff Regularization in Coordinate Representation

abstract: In this paper, we study a special type of cutoff regularization in the coordinate representation. We show how this approach unites such concepts and properties as an explicit cut, a spectral representation, a homogenization, and a covariance. Besides that, we present new formulae to work with the regularization and give additional calculations of the infrared asymptotics for some regularized Green's functions, appearing in the pure four-dimensional Yang-Mills theory and in the standard two-dimensional Sigma-model.


title: Power-to-X in Energy Hubs: Operations and Policies Supporting the Scale-Up of Renewable Fuel Production

abstract: Power-to-X (P2X) needs to scale up rapidly to provide the fuels required in the hard-to-decarbonize industrial and heavy transport sector. Only recently, the European Commission proposed requirements for \textit{renewable} fuels. P2X energy hubs enable efficient synergies between energy infrastructures, production facilities, and storage options. In this study, we explore the optimal operation of an energy hub by leveraging the flexibility of P2X including hydrogen, methanol, and ammonia synthesizers, and analyze potential revenue streams such as the day-ahead and ancillary service markets. We propose EnerHub2X, a mixed-integer linear program that maximizes the hub's profit based on current market prices, considering technical constraints of P2X such as unit commitment and non-linear efficiencies. We model a representative Danish energy hub and find that without price incentives, it mainly produces liquid hydrogen and sells renewable electricity. Only by adding a price premium of about 50\% (0.16 \euro{}/kg) to the conventional fuel prices, sufficient amounts of renewable ammonia and methanol are produced. To utilize production efficiently, on-site renewable capacity and P2X must be carefully aligned. We show that renewable power purchase agreements can provide flexibility while complying with the rules set by the European Commission.


title: Numerical dynamics of integrodifference equations: Hierarchies of invariant bundles in $L^p(\Omega)$

abstract: We study how the "full hierarchy" of invariant manifolds for nonautonomous integrodifference equations on the Banach spaces of $p$-integrable functions behaves under spatial discretization of Galerkin type. These manifolds include the classical stable, center-stable, center, center-unstable and unstable ones, and can be represented as graphs of $C^m$-functions. For kernels with a smoothing property, our main result establishes closeness of these graphs in the $C^{m-1}$-topology under numerical discretizations preserving the convergence order of the method. It is formulated in a quantitative fashion and technically results from a general perturbation theorem on the existence of invariant bundles (i.e.\ nonautonomous invariant manifolds).


title: Regularity of powers of edge ideals of Cohen-Macaulay weighted oriented forests

abstract: In this paper, we explicitly give combinatorial formulas for the regularity of powers of edge ideals, $\reg(I(D)^k)$, of weighted oriented unmixed forests $D$ whose leaves are sinks ($V^+(D)$ are sinks). This combinatorial formula is a piecewise linear function of $k$, for $k \geq 1$.


title: How does the Gerrymander Sequence Continue?

abstract: We compute the next few terms of the OEIS sequence A348456 and provide guessed equations for the generating functions of some sequences in its context.


title: LKD-Net: Large Kernel Convolution Network for Single Image Dehazing

abstract: The deep convolutional neural networks (CNNs)-based single image dehazing methods have achieved significant success. The previous methods are devoted to improving the network's performance by increasing the network's depth and width. The current methods focus on increasing the convolutional kernel size to enhance its performance by benefiting from the larger receptive field. However, directly increasing the size of the convolutional kernel introduces a massive amount of computational overhead and parameters. Thus, a novel Large Kernel Convolution Dehaze Block (LKD Block) consisting of the Decomposition deep-wise Large Kernel Convolution Block (DLKCB) and the Channel Enhanced Feed-forward Network (CEFN) is devised in this paper. The designed DLKCB can split the deep-wise large kernel convolution into a smaller depth-wise convolution and a depth-wise dilated convolution without introducing massive parameters and computational overhead. Meanwhile, the designed CEFN incorporates a channel attention mechanism into Feed-forward Network to exploit significant channels and enhance robustness. By combining multiple LKD Blocks and Up-Down sampling modules, the Large Kernel Convolution Dehaze Network (LKD-Net) is conducted. The evaluation results demonstrate the effectiveness of the designed DLKCB and CEFN, and our LKD-Net outperforms the state-of-the-art. On the SOTS indoor dataset, our LKD-Net dramatically outperforms the Transformer-based method Dehamer with only 1.79% #Param and 48.9% FLOPs. The source code of our LKD-Net is available at https://github.com/SWU-CS-MediaLab/LKD-Net.


title: ProcessorFuzz: Guiding Processor Fuzzing using Control and Status Registers

abstract: As the complexity of modern processors has increased over the years, developing effective verification strategies to identify bugs prior to manufacturing has become critical. Undiscovered micro-architectural bugs in processors can manifest as severe security vulnerabilities in the form of side channels, functional bugs, etc. Inspired by software fuzzing, a technique commonly used for software testing, multiple recent works use hardware fuzzing for the verification of Register-Transfer Level (RTL) designs. However, these works suffer from several limitations such as lack of support for widely-used Hardware Description Languages (HDLs) and misleading coverage-signals that misidentify "interesting" inputs. Towards overcoming these shortcomings, we present ProcessorFuzz, a processor fuzzer that guides the fuzzer with a novel CSR-transition coverage metric. ProcessorFuzz monitors the transitions in Control and Status Registers (CSRs) as CSRs are in charge of controlling and holding the state of the processor. Therefore, transitions in CSRs indicate a new processor state, and guiding the fuzzer based on this feedback enables ProcessorFuzz to explore new processor states. ProcessorFuzz is agnostic to the HDL and does not require any instrumentation in the processor design. Thus, it supports a wide range of RTL designs written in different hardware languages. We evaluated ProcessorFuzz with three real-world open-source processors -- Rocket, BOOM, and BlackParrot. ProcessorFuzz triggered a set of ground-truth bugs 1.23$\times$ faster (on average) than DIFUZZRTL. Moreover, our experiments exposed 8 new bugs across the three RISC-V cores and one new bug in a reference model. All nine bugs were confirmed by the developers of the corresponding projects.


title: Risk and Intertemporal Preferences over Time Lotteries

abstract: This paper studies relations among axioms on individuals' intertemporal choices under risk. The focus is on Risk Averse over Time Lotteries (RATL), meaning that a fixed prize is preferred to a lottery with the same monetary prize but a random delivery time. Though surveys and lab experiments documented RATL choices, Expected Discounted Utility cannot accommodate any RATL. This paper's contribution is two-fold. First, under a very weak form of Independence, we generalize the incompatibility of RATL with two axioms about intertemporal choices: Stochastic Impatience (SI) and No Future Bias. Next, we prove a representation theorem that gives a class of models satisfying RATL and SI everywhere. This illustrates that there is no fundamental conflict between RATL and SI, and leaves open possibility that RATL behavior is caused by Future Bias.


title: Impact of 4ir technology and its impact on the current deployment

abstract: The Fourth Industrial Revolution represents a fundamental change in how we live, work, and relate to one another. It is a new chapter in human development with remarkable technological advancements comparable to those of the first, second, and third industrial revolutions. These developments are fusing the physical, digital, and biological worlds in ways that hold great promise as well as the possibility of great danger. The way that modern people live and work is changing as a result of disruptive technologies and trends including the Internet of Things (IoT), robotics, virtual reality (VR), and artificial intelligence (AI). This is known as the fourth industrial revolution. Industry 4.0 refers to the incorporation of these technologies into production processes. In this article, we discussed the history of 4IR technology, its impact of 4IR technology, and its impact on the current deployment.


title: The impact of dormancy on evolutionary branching

abstract: In this paper, we investigate the consequences of dormancy in the `rare mutation' and `large population' regime of stochastic adaptive dynamics. Starting from an individual-based micro-model, we first derive the polymorphic evolution sequence of the population, based on previous work by Baar and Bovier (2018). After passing to a second `small mutations' limit, we arrive at the canonical equation of adaptive dynamics, and state a corresponding criterion for evolutionary branching, extending a previous result of Champagnat and M\'el\'eard (2011). The criterion allows a quantitative and qualitative analysis of the effects of dormancy in the well-known model of Dieckmann and Doebeli (1999) for sympatric speciation. In fact, a quite intuitive picture merges: Dormancy enlarges the parameter range for evolutionary branching, increases the carrying capacity and niche width of the post-branching sub-populations, and, depending on the model parameters, can either increase or decrease the `speed of adaptation' of populations. Finally, dormancy increases diversity by increasing the genetic distance between subpopulations.


title: An Enhanced ADMM-based Interior Point Method for Linear and Conic Optimization

abstract: The ADMM-based interior point (ABIP, Lin et al. 2021) method is a hybrid algorithm that effectively combines interior point method (IPM) and first-order methods to achieve a performance boost in large-scale linear optimization. Different from traditional IPM that relies on computationally intensive Newton steps, the ABIP method applies the alternating direction method of multipliers (ADMM) to approximately solve the barrier penalized problem. However, similar to other first-order methods, this technique remains sensitive to condition number and inverse precision. In this paper, we provide an enhanced ABIP method with multiple improvements. Firstly, we develop an ABIP method to solve the general linear conic optimization and establish the associated iteration complexity. Secondly, inspired by some existing methods, we develop different implementation strategies for ABIP method, which substantially improve its performance in linear optimization. Finally, we conduct extensive numerical experiments in both synthetic and real-world datasets to demonstrate the empirical advantage of our developments. In particular, the enhanced ABIP method achieves a 5.8x reduction in the geometric mean of run time on $105$ selected LP instances from Netlib, and it exhibits advantages in certain structured problems such as SVM and PageRank. However, the enhanced ABIP method still falls behind commercial solvers in many benchmarks, especially when high accuracy is desired. We posit that it can serve as a complementary tool alongside well-established solvers.


title: Towards Zero Touch Networks: From the Perspective of Hierarchical Language Systems

abstract: With ever-increasing complexity and dynamicity of communication networks, intelligent network operation and maintenance has become more important to network operators. With the fast development of artificial intelligence, concepts such as "Zero Touch", "Intent-based", "Knowledge-defined" and "Self-driving" networks have become well-known in networking community for a great vision of making networks automatically manageable and responsive to user demands. This article discusses how to achieve Zero Touch Networks from the perspective of language-like systems. We propose a novel hierarchical `language' framework dedicated for networks to enable the Zero Touch Network, which covers from symbolizing network components, a unified framework for understanding network systems, to the logical description with network semantics. A case study based on the proposed language framework is provided. Finally, we discuss the challenges and open issues of intelligence models for zero touch networks.


title: Super Domination: Graph Classes, Products and Enumeration

abstract: The dominating set problem (DSP) is one of the most famous problems in combinatorial optimization. It is defined as follows. For a given simple graph $G=(V,E)$, a dominating set of $G$ is a subset $S\subseteq V$ such that every vertex in $ V \setminus S$ is adjacent to at least one vertex in $S$. Furthermore, the DSP is the problem of finding a minimum-size dominating set and the corresponding minimum size, the domination number of $G$. In this, work we investigate a variant of the DSP, the super dominating set problem (SDSP), which has attracted much attention during the last years. A dominating set $S$ is called a super dominating set of $G$, if for every vertex $u\in \overline{S}=V \setminus S$, there exists a $v\in S$ such that $N(v)\cap \overline{S}=\{u\}$. Analogously, the SDSP is to find a minimum-size super dominating set, and the corresponding minimum size, the super domination number of $G$. The decision variants of both the DSP and the SDSP have shown to be $\mathcal{NP}$-hard. In this paper, we present tight bounds for the super domination number of the neighbourhood corona product, $r$-gluing, and the Haj\'{o}s sum of two graphs. Additionally, we present infinite families of graphs attaining our bounds. Finally, we give the exact number of minimum size super dominating sets for some graph classes. In particular, the number of super dominating sets for cycles has quite surprising properties as it varies between values of the set $\{4,n,2n,\frac{5n^2-10n}{8}\}$ based on $n\mod4$.


title: Chiral Higher Spin Gravity and Convex Geometry

abstract: Chiral Higher Spin Gravity is the minimal extension of the graviton with propagating massless higher spin fields. It admits any value of the cosmological constant, including zero. Its existence implies that Chern-Simons vector models have closed subsectors and supports the $3d$ bosonization duality. In this letter, we explicitly construct an $A_\infty$-algebra that determines all interaction vertices of the theory. The algebra turns out to be of pre-Calabi-Yau type. The corresponding products, some of which originate from Shoikhet-Tsygan-Kontsevich formality, are given by integrals over the configuration space of convex polygons.


title: A proof-theoretic metatheorem for tracial von Neumann algebras

abstract: We adapt a continuous logic axiomatization of tracial von Neumann algebras due to Farah, Hart and Sherman in order to prove a metatheorem for this class of structures in the style of proof mining, a research program that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.


title: Quasinormal modes of anyons

abstract: We derive the quasinormal modes of anyons from (2+1)-dimensional Banados, Teitelboim, and Zanelli(BTZ) and analogue black holes, and discuss potential experiments to measure these quasinormal modes.


title: Evaluating the Convergence of Tabu Enhanced Hybrid Quantum Optimization

abstract: In this paper we introduce the Tabu Enhanced Hybrid Quantum Optimization metaheuristic approach useful for optimization problem solving on a quantum hardware. We address the theoretical convergence of the proposed scheme from the viewpoint of the collisions in the object which stores the tabu states, based on the Ising model. The results of numerical evaluation of the algorithm on quantum hardware as well as on a classical semiconductor hardware model are also demonstrated.


title: Extraction of diffusion coefficients from the study of Rb release in different carbon catchers

abstract: New Target-Ion Source Systems combining a target and a catcher material are developed in the radioactive beam community, in particular at GANIL, in order to maximise the yield of very short lived atoms by minimizing the atom-to-ion transformation time. The aim of this study is to characterize the release properties of 81Rb collected on two graphite catchers and two carbon nanotube catchers. The release fractions were measured at various catcher-heating temperatures and then compared to the analytical expressions relevant to each catcher. This comparison led to the extraction of the pre-exponential factor (D0) and the activation energy (Eact) involved in the diffusion coefficient of Rb for three carbon microstructures. All these data allowed to define an ideal catcher which could be made of aligned carbon nanotubes of small diameter and oriented in order to collect all the 81Rb atoms produced by the target but also to release them efficiently.


title: Local intermolecular structure, hydrogen bonding and related dynamics in the liquid cis/trans N-methylformamide mixture: A density functional theory based Born-Oppenheimer molecular dynamics study

abstract: The local intermolecular structure and related dynamics in the liquid cis-trans N-methylformamide mixture at ambient temperature and density conditions have been systematically studied by employing Born-Oppenheimer molecular dynamics simulation techniques. Particular attention has been paid to the local structure around the cis- and trans- conformers and the formation and dynamics of hydrogen bonds with their closest neighbors. The calculated atom-atom radial distribution functions are in very good agreement with available experimental data and reveal the existence of different types of hydrogen bonding intermolecular interactions. The average number of hydrogen bonds formed by the cis-conformers is higher in comparison with the one corresponding to the trans-conformers. Moreover, the lifetimes of the hydrogen bonds formed in the liquid are longer when the cis-conformers participate in the bond formation, either as donors or acceptors. These findings clearly indicate that the local structural network around the cis-conformers in the liquid is more cohesive. The latter finding is also reflected in the slower reorientational dynamics of the cis-conformers and the low- and high-frequency region of the spectral densities of the atomic velocity time correlation functions. Finally, the calculated average dipole moments of the trans- and cis- conformers are significantly higher than their corresponding gas-phase values, signifying the importance of polarization effects in this particular polar liquid solvent.


title: Sound Event Localization and Detection for Real Spatial Sound Scenes: Event-Independent Network and Data Augmentation Chains

abstract: Sound event localization and detection (SELD) is a joint task of sound event detection and direction-of-arrival estimation. In DCASE 2022 Task 3, types of data transform from computationally generated spatial recordings to recordings of real-sound scenes. Our system submitted to the DCASE 2022 Task 3 is based on our previous proposed Event-Independent Network V2 (EINV2) with a novel data augmentation method. Our method employs EINV2 with a track-wise output format, permutation-invariant training, and a soft parameter-sharing strategy, to detect different sound events of the same class but in different locations. The Conformer structure is used for extending EINV2 to learn local and global features. A data augmentation method, which contains several data augmentation chains composed of stochastic combinations of several different data augmentation operations, is utilized to generalize the model. To mitigate the lack of real-scene recordings in the development dataset and the presence of sound events being unbalanced, we exploit FSD50K, AudioSet, and TAU Spatial Room Impulse Response Database (TAU-SRIR DB) to generate simulated datasets for training. We present results on the validation set of Sony-TAu Realistic Spatial Soundscapes 2022 (STARSS22) in detail. Experimental results indicate that the ability to generalize to different environments and unbalanced performance among different classes are two main challenges. We evaluate our proposed method in Task 3 of the DCASE 2022 challenge and obtain the second rank in the teams ranking. Source code is released.


title: Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs

abstract: Elegant Objects (EO) is a variation of the object-oriented programming paradigm that favors pure objects and decoration. EO programming language is based on these ideas and has been suggested by Bugayenko as an intermediate representation for object-oriented programs. This paper provides plausible representations in EO of some class-based constructions from Java, C++, and Python. We then reformulate the classical fragile base class problem in the context of these representations. Finally, we discuss an algorithm for detecting a subset of fragile base class patterns in EO programs. We show that using EO as an intermediate language is plausible and discuss possible improvements to the language to assist in richer static analysis.


title: Numerical dynamics of integrodifference equations: Periodic solutions and invariant manifolds in $C^\alpha(\Omega)$

abstract: Integrodifference equations are versatile models in theoretical ecology for the spatial dispersal of species evolving in non-overlapping generations. The dynamics of these infinite-dimensional discrete dynamical systems is often illustrated using computational simulations. This paper studies the effect of Nystr\"om discretization to the local dynamics of periodic integrodifference equations with H\"older continuous functions over a compact domain as state space. We prove persistence and convergence for hyperbolic periodic solutions and their associated stable and unstable manifolds respecting the convergence order of the quadrature/cubature method.


title: Robust Causal Learning for the Estimation of Average Treatment Effects

abstract: Many practical decision-making problems in economics and healthcare seek to estimate the average treatment effect (ATE) from observational data. The Double/Debiased Machine Learning (DML) is one of the prevalent methods to estimate ATE in the observational study. However, the DML estimators can suffer an error-compounding issue and even give an extreme estimate when the propensity scores are misspecified or very close to 0 or 1. Previous studies have overcome this issue through some empirical tricks such as propensity score trimming, yet none of the existing literature solves this problem from a theoretical standpoint. In this paper, we propose a Robust Causal Learning (RCL) method to offset the deficiencies of the DML estimators. Theoretically, the RCL estimators i) are as consistent and doubly robust as the DML estimators, and ii) can get rid of the error-compounding issue. Empirically, the comprehensive experiments show that i) the RCL estimators give more stable estimations of the causal parameters than the DML estimators, and ii) the RCL estimators outperform the traditional estimators and their variants when applying different machine learning models on both simulation and benchmark datasets.


title: The SPAN512 mid-latitude pulsar survey at the Nan\c{c}ay Radio Telescope

abstract: The large number of ongoing surveys for pulsars and transients at various radio observatories is motivated by the science obtained from these sources. Timing and polarisation analysis of relativistic binaries can place strong constraints on theories of gravity. The observation of a growing number of millisecond pulsars (MSPs) spread over the celestial sphere may allow the detection of a stochastic gravitational wave background arising from supermassive black hole binaries. A more complete sample of young pulsars improves our knowledge of neutron star birth and evolution. Transients such as fast radio bursts can serve to probe the intergalactic medium. The SPAN512 pulsar survey covers intermediate Galactic latitudes using the L-band receiver of the Nan\c{c}ay Radio Telescope (NRT). The survey covers 224 sq. deg. of the sky for a total exposure time of 2200 h. Population syntheses predict the discovery of 3 to 19 new normal pulsars and a few MSPs. We present detailed modelling of the NRT beam with its L-band receiver and its sensitivity which we used to precisely assess the expected survey yield. We used the flexible Pulsar Arecibo L-band Feed Array data processing pipeline to search the 47 TB of SPAN512 data for pulsars and transients. The SPAN512 survey discovered two new MSPs and one new middle-aged pulsar. We focus on the analysis of the 2.4-ms spin period pulsar J2205+6012 for which we also report the detection of gamma-ray pulsations. Its narrow pulse width (35 $\mu$s at an observing frequency of 2.55 GHz) allows for sub-microsecond timing precision over 8 years, with exciting prospects for pulsar timing array programs.


title: NGC 3147: a prototypical low-luminosity active galactic nucleus with double-peaked optical and ultraviolet lines

abstract: A previous narrow-slit ($0.1$ arcsec) Hubble Space Telescope observation unveiled a broad relativistic H$\alpha$ profile in NGC3147, a low-luminosity ($\mathrm{L_{bol}}\sim10^{42}$ erg s$^{-1}$), low-Eddington ratio ($\mathrm{L_{bol}/L_{Edd}}\sim10^{-4}$) active galactic nucleus (AGN), formerly believed to be a candidate true type 2 AGN intrinsically lacking the broad-line region. The new observations presented here confirm the double-peaked profile of the H$\alpha$ line, which further shows variability both in flux and in the inner radius of the emitting disc with respect to the previous epoch. Similar disc line profiles are also found in prominent ultraviolet (UV) lines, in particular Ly$\alpha$ and C IV. The new data also allow us to build a simultaneous subarcsec optical-to-X-ray spectral energy distribution of NGC3147, which is characterized by the absence of a thermal UV bump, and an emission peak in the X-rays. The resulting very flat $\alpha_{ox}=-0.82$ is typical of low-luminosity AGN, and is in good agreement with the extrapolation to low luminosities of the well-known trend with luminosity observed in standard AGN. Indeed, we are possibly observing the accretion disc emission in NGC3147 in the optical, close to the expected peak. On the other hand, the steep -2 UV power law may be Comptonization of that cold disc by a warm corona, what is instead generally observed as a `soft excess' in more luminous AGN.


title: The evolution of turbulence theories and the need for continuous wavelets

abstract: In the first part of this article, I summarise two centuries of research on turbulence. I also critically discuss some of the interpretations that are still in use, as turbulence remains an inherently non-linear problem that is still unsolved to this day. In the second part, I tell the story of how Alex Grossmann introduced me to the continuous wavelet representation in 1983, and how he instantly convinced me that this is the tool I was looking for to study turbulence. In the third part, I present a selection of results I obtained in collaboration with several students and colleagues to represent, analyse and filter different turbulent flows using the continuous wavelet transform. I have chosen to present both these theories and results without the use of equations, in the hope that the reading of this article will be more enjoyable.


title: UDC-UNet: Under-Display Camera Image Restoration via U-Shape Dynamic Network

abstract: Under-Display Camera (UDC) has been widely exploited to help smartphones realize full screen display. However, as the screen could inevitably affect the light propagation process, the images captured by the UDC system usually contain flare, haze, blur, and noise. Particularly, flare and blur in UDC images could severely deteriorate the user experience in high dynamic range (HDR) scenes. In this paper, we propose a new deep model, namely UDC-UNet, to address the UDC image restoration problem with the known Point Spread Function (PSF) in HDR scenes. On the premise that Point Spread Function (PSF) of the UDC system is known, we treat UDC image restoration as a non-blind image restoration problem and propose a novel learning-based approach. Our network consists of three parts, including a U-shape base network to utilize multi-scale information, a condition branch to perform spatially variant modulation, and a kernel branch to provide the prior knowledge of the given PSF. According to the characteristics of HDR data, we additionally design a tone mapping loss to stabilize network optimization and achieve better visual quality. Experimental results show that the proposed UDC-UNet outperforms the state-of-the-art methods in quantitative and qualitative comparisons. Our approach won the second place in the UDC image restoration track of MIPI challenge. Codes will be publicly available.


title: Widely-sweeping magnetic field-temperature phase diagrams for skyrmion-hosting centrosymmetric tetragonal magnets

abstract: We numerically investigate the stabilization mechanisms of skyrmion crystals under thermal fluctuations and external magnetic field in itinerant centrosymmetric tetragonal magnets. By adopting an efficient steepest descent method with a small computational cost, we systematically construct the magnetic field-temperature phase diagrams of the effective spin model derived from the itinerant electron model on a two-dimensional square lattice. As a result, we find that a square-type skyrmion crystal is stabilized by either or both of the high-harmonic wave-vector interaction and the biquadratic interaction under an external magnetic field. Especially, we discover that the former high-harmonic wave-vector interaction can stabilize the skyrmion crystal only at finite temperatures when its magnitude is small. In addition to the skyrmion crystal, we also find other stable multiple-$Q$ states in the phase diagram. Lastly, we discuss the correspondence of the phase diagrams between the effective spin model and the skyrmion-hosting material GdRu$_2$Si$_2$. The present results suggest a variety of multiple-$Q$ states could be driven by thermal fluctuations and external magnetic fields in centrosymmetric itinerant magnets.


title: Bounds on torsion of CM abelian varieties over a $p$-adic field with values in a field of $p$-power roots

abstract: Let $p$ be a prime number and $M$ the extension field of a $p$-adic field $K$ obtained by adjoining all $p$-power roots of all elements of $K$. In this paper, we show that there exists a constant $C$, depending only on $K$ and an integer $g>0$, which satisfies the following property:If $A_{/K}$ is a $g$-dimensional CM abelian variety, then the order of the torsion subgroup of $A(M)$ is bounded by $C$.


title: The Proxy Step-size Technique for Regularized Optimization on the Sphere Manifold

abstract: We give an effective solution to the regularized optimization problem $g (\boldsymbol{x}) + h (\boldsymbol{x})$, where $\boldsymbol{x}$ is constrained on the unit sphere $\Vert \boldsymbol{x} \Vert_2 = 1$. Here $g (\cdot)$ is a smooth cost with Lipschitz continuous gradient within the unit ball $\{\boldsymbol{x} : \Vert \boldsymbol{x} \Vert_2 \le 1 \}$ whereas $h (\cdot)$ is typically non-smooth but convex and absolutely homogeneous, \textit{e.g.,}~norm regularizers and their combinations. Our solution is based on the Riemannian proximal gradient, using an idea we call \textit{proxy step-size} -- a scalar variable which we prove is monotone with respect to the actual step-size within an interval. The proxy step-size exists ubiquitously for convex and absolutely homogeneous $h(\cdot)$, and decides the actual step-size and the tangent update in closed-form, thus the complete proximal gradient iteration. Based on these insights, we design a Riemannian proximal gradient method using the proxy step-size. We prove that our method converges to a critical point, guided by a line-search technique based on the $g(\cdot)$ cost only. The proposed method can be implemented in a couple of lines of code. We show its usefulness by applying nuclear norm, $\ell_1$ norm, and nuclear-spectral norm regularization to three classical computer vision problems. The improvements are consistent and backed by numerical experiments.


title: Automatic Estimation of Self-Reported Pain by Trajectory Analysis in the Manifold of Fixed Rank Positive Semi-Definite Matrices

abstract: We propose an automatic method to estimate self-reported pain based on facial landmarks extracted from videos. For each video sequence, we decompose the face into four different regions and the pain intensity is measured by modeling the dynamics of facial movement using the landmarks of these regions. A formulation based on Gram matrices is used for representing the trajectory of landmarks on the Riemannian manifold of symmetric positive semi-definite matrices of fixed rank. A curve fitting algorithm is used to smooth the trajectories and temporal alignment is performed to compute the similarity between the trajectories on the manifold. A Support Vector Regression classifier is then trained to encode extracted trajectories into pain intensity levels consistent with self-reported pain intensity measurement. Finally, a late fusion of the estimation for each region is performed to obtain the final predicted pain level. The proposed approach is evaluated on two publicly available datasets, the UNBCMcMaster Shoulder Pain Archive and the Biovid Heat Pain dataset. We compared our method to the state-of-the-art on both datasets using different testing protocols, showing the competitiveness of the proposed approach.


title: RLIP: Relational Language-Image Pre-training for Human-Object Interaction Detection

abstract: The task of Human-Object Interaction (HOI) detection targets fine-grained visual parsing of humans interacting with their environment, enabling a broad range of applications. Prior work has demonstrated the benefits of effective architecture design and integration of relevant cues for more accurate HOI detection. However, the design of an appropriate pre-training strategy for this task remains underexplored by existing approaches. To address this gap, we propose Relational Language-Image Pre-training (RLIP), a strategy for contrastive pre-training that leverages both entity and relation descriptions. To make effective use of such pre-training, we make three technical contributions: (1) a new Parallel entity detection and Sequential relation inference (ParSe) architecture that enables the use of both entity and relation descriptions during holistically optimized pre-training; (2) a synthetic data generation framework, Label Sequence Extension, that expands the scale of language data available within each minibatch; (3) mechanisms to account for ambiguity, Relation Quality Labels and Relation Pseudo-Labels, to mitigate the influence of ambiguous/noisy samples in the pre-training data. Through extensive experiments, we demonstrate the benefits of these contributions, collectively termed RLIP-ParSe, for improved zero-shot, few-shot and fine-tuning HOI detection performance as well as increased robustness to learning from noisy annotations. Code will be available at https://github.com/JacobYuan7/RLIP.


title: Query-focused Extractive Summarisation for Biomedical and COVID-19 Complex Question Answering

abstract: This paper presents Macquarie University's participation to the two most recent BioASQ Synergy Tasks (as per June 2022), and to the BioASQ10 Task~B (BioASQ10b), Phase~B. In these tasks, participating systems are expected to generate complex answers to biomedical questions, where the answers may contain more than one sentence. We apply query-focused extractive summarisation techniques. In particular, we follow a sentence classification-based approach that scores each candidate sentence associated to a question, and the $n$ highest-scoring sentences are returned as the answer. The Synergy Task corresponds to an end-to-end system that requires document selection, snippet selection, and finding the final answer, but it has very limited training data. For the Synergy task, we selected the candidate sentences following two phases: document retrieval and snippet retrieval, and the final answer was found by using a DistilBERT/ALBERT classifier that had been trained on the training data of BioASQ9b. Document retrieval was achieved as a standard search over the CORD-19 data using the search API provided by the BioASQ organisers, and snippet retrieval was achieved by re-ranking the sentences of the top retrieved documents, using the cosine similarity of the question and candidate sentence. We observed that vectors represented via sBERT have an edge over tf.idf. BioASQ10b Phase B focuses on finding the specific answers to biomedical questions. For this task, we followed a data-centric approach. We hypothesised that the training data of the first BioASQ years might be biased and we experimented with different subsets of the training data. We observed an improvement of results when the system was trained on the second half of the BioASQ10b training data.


title: ADTR: Anomaly Detection Transformer with Feature Reconstruction

abstract: Anomaly detection with only prior knowledge from normal samples attracts more attention because of the lack of anomaly samples. Existing CNN-based pixel reconstruction approaches suffer from two concerns. First, the reconstruction source and target are raw pixel values that contain indistinguishable semantic information. Second, CNN tends to reconstruct both normal samples and anomalies well, making them still hard to distinguish. In this paper, we propose Anomaly Detection TRansformer (ADTR) to apply a transformer to reconstruct pre-trained features. The pre-trained features contain distinguishable semantic information. Also, the adoption of transformer limits to reconstruct anomalies well such that anomalies could be detected easily once the reconstruction fails. Moreover, we propose novel loss functions to make our approach compatible with the normal-sample-only case and the anomaly-available case with both image-level and pixel-level labeled anomalies. The performance could be further improved by adding simple synthetic or external irrelevant anomalies. Extensive experiments are conducted on anomaly detection datasets including MVTec-AD and CIFAR-10. Our method achieves superior performance compared with all baselines.


title: An Exploratory Study on the Predominant Programming Paradigms in Python Code

abstract: Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using procedures, using classes, or in a functional style. To date, no one has studied what paradigm(s), if any, are predominant in Python code and projects. In this work, we first define a technique to classify Python files into predominant paradigm(s). We then automate our approach and evaluate it against human judgements, showing over 80% agreement. We then analyze over 100k open-source Python projects, automatically classifying each source file and investigating the paradigm distributions. The results indicate Python developers tend to heavily favor OO features. We also observed a positive correlation between OO and procedural paradigms and the size of the project. And despite few files or projects being predominantly functional, we still found many functional feature uses.


title: Identification of the decay pathway of photoexcited nucleobases

abstract: The identification of the decay pathway of the nucleobase uracil after being photoexcited by ultraviolet (UV) light has been a long standing problem. Various theoretical models have been proposed but yet to be verified. Here we propose an experimental scheme to test the theoretical models by a combination of ultrafast X-ray spectroscopy, X-ray diffraction and electron diffraction methods. Incorporating the signatures of multiple probing methods, we demonstrate an approach to identify the pathway of the geometric and electronic relaxation of the photoexcited uracil molecule.


title: Capture of dark matter particles by a galaxy in the case of a bimodal distribution of their velocities

abstract: We have analyzed the rate of capture of dark matter (DM) particles by the galaxy in the case of the existence of two different types of DM or a bimodal velocity distribution function for DM. It is shown that, in addition to the scenario considered in our previous work which is based on the assumption of an unimodal distribution, more complex scenarios are possible in which the transition to the state of intense capture and/or exit from it can occur in two stages. A detailed description is given of the change in the curve describing the rate of capture of dark matter particles as a function of the rate of increase in the baryon mass of the galaxy for various values of the rate of decrease of the DM density.


title: Natural Policy Gradients In Reinforcement Learning Explained

abstract: Traditional policy gradient methods are fundamentally flawed. Natural gradients converge quicker and better, forming the foundation of contemporary Reinforcement Learning such as Trust Region Policy Optimization (TRPO) and Proximal Policy Optimization (PPO). This lecture note aims to clarify the intuition behind natural policy gradients, focusing on the thought process and the key mathematical constructs.


title: Positivity and discretization of Fredholm integral operators

abstract: We provide sufficient conditions for vector-valued Fredholm integral operators and their commonly used spatial discretizations to be positive in terms of an order relation induced by a corresponding order cone. It turns out that reasonable Nystr\"om methods preserve positivity. Among the projection methods, persistence is obtained for the simplest ones based on polynomial, piecewise linear or specific cubic interpolation (collocation), as well as for piecewise constant basis functions in a Bubnov-Galerkin approach. However, for semi-discretizations using quadratic splines or $\sinc$-collocation we demonstrate that positivity is violated. Our results are illustrated in terms of eigenpairs for Krein-Rutman operators and form the basis of corresponding investigations for nonlinear integral operators.


title: HealthyGAN: Learning from Unannotated Medical Images to Detect Anomalies Associated with Human Disease

abstract: Automated anomaly detection from medical images, such as MRIs and X-rays, can significantly reduce human effort in disease diagnosis. Owing to the complexity of modeling anomalies and the high cost of manual annotation by domain experts (e.g., radiologists), a typical technique in the current medical imaging literature has focused on deriving diagnostic models from healthy subjects only, assuming the model will detect the images from patients as outliers. However, in many real-world scenarios, unannotated datasets with a mix of both healthy and diseased individuals are abundant. Therefore, this paper poses the research question of how to improve unsupervised anomaly detection by utilizing (1) an unannotated set of mixed images, in addition to (2) the set of healthy images as being used in the literature. To answer the question, we propose HealthyGAN, a novel one-directional image-to-image translation method, which learns to translate the images from the mixed dataset to only healthy images. Being one-directional, HealthyGAN relaxes the requirement of cycle consistency of existing unpaired image-to-image translation methods, which is unattainable with mixed unannotated data. Once the translation is learned, we generate a difference map for any given image by subtracting its translated output. Regions of significant responses in the difference map correspond to potential anomalies (if any). Our HealthyGAN outperforms the conventional state-of-the-art methods by significant margins on two publicly available datasets: COVID-19 and NIH ChestX-ray14, and one institutional dataset collected from Mayo Clinic. The implementation is publicly available at https://github.com/mahfuzmohammad/HealthyGAN.


title: Correlation-induced coherence and its use in detecting quantum phase transitions

abstract: The past two decades have witnessed a surge of interest in exploring correlation and coherence measures to investigate quantum phase transitions (QPTs). Here, motivated by the continued push along this direction, we propose a measure which is built upon the so-called degree of coherence, and advocate using the susceptibility of our measure to detect QPTs. We show that our measure can capture both the notions of coherence and correlations exhibited in bipartite states and therefore represents a hybrid of these two notions. Through examining the XXZ model and the Kitaev honeycomb model, we demonstrate that our measure is favorable for detecting QPTs in comparison to many previous proposals.


title: A Survey on Measuring and Mitigating Reasoning Shortcuts in Machine Reading Comprehension

abstract: The issue of shortcut learning is widely known in NLP and has been an important research focus in recent years. Unintended correlations in the data enable models to easily solve tasks that were meant to exhibit advanced language understanding and reasoning capabilities. In this survey paper, we focus on the field of machine reading comprehension (MRC), an important task for showcasing high-level language understanding that also suffers from a range of shortcuts. We summarize the available techniques for measuring and mitigating shortcuts and conclude with suggestions for further progress in shortcut research. Importantly, we highlight two concerns for shortcut mitigation in MRC: (1) the lack of public challenge sets, a necessary component for effective and reusable evaluation, and (2) the lack of certain mitigation techniques that are prominent in other areas.


title: Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation

abstract: Elegant Objects (EO) is a programming language based on ideas of pure objects and the Decorator pattern. Bugayenko has suggested it as an intermediate representation for object-oriented programs. This paper presents a version of dynamic dispatch modelled in EO and formulates a problem of unjustified assumptions in decorator objects, which parallels similar problem in subclasses. Then, we introduce an approach to detect such problems in EO programs via method inlining and limited property inference. Finally, we discuss prototype implementation of this approach in Scala programming language.


title: On the maximum of the sum of the sizes of non-trivial cross-intersecting families

abstract: We consider families of k-subsets of the standard n-set. Two families F, G are said to be cross-intersecting if every member of F has non-empty intersection with every member of G. A family is called non-trivial if the intersection of all its members is empty. Supposing that F and G are non-trivial and cross-intersecting, we determine the maximum of |F|+|G|. For the proof a strengthened version of the so-called shifting technique is introduced. The corresponding problem for families of different uniformities is solved as well.


title: Minimization of differential equations and algebraic values of $E$-functions

abstract: A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential equation of minimal order having this power series as a solution. This problem exists in both homogeneous and inhomogeneous variants; it is distinct from, but related to, the classical problem of factorization of differential operators. Recently, minimization has found applications in Transcendental Number Theory, more specifically in the computation of non-zero algebraic points where Siegel's $E$-functions take algebraic values. We present algorithms and implementations for these questions, and discuss examples and experiments.


title: Role of electron and hole doping in NdNi1_xVxO3 Nanostructure

abstract: Neodymium nickelate, NdNiO3 attracts attraction due to the simultaneous occurrence of several phase transitions around the same temperature. The electronic properties of NdNiO3 are extremely complex as structural distortion, electron correlation, charge ordering, and orbital overlapping play significant roles in the transitions. We report the effects of electron and hole injection via doping a single 3d metal, V, in the NdNiO3 nanostructures to understand the variations in the electronic properties without any structural distortion. A reversible resistivity modulation more than five orders of magnitude via hole doping and complete suppression of metal to insulator transition via electron doping is observed along with the switching of major charge carriers. The modulation of electronic properties without any structural distortion and external strain opens up new directions to consider the NdNi1_xVxO3 nanostructures applicable as emerging electronic devices.


title: Source counts at 7.7 to 21 $\mu$m in CEERS field with James Webb Space Telescope

abstract: Source counts -- the number density of sources as a function of flux density -- represent one of the fundamental metrics in observational cosmology due to their straightforward and simple nature. It is an important tool that provides information on galaxy formation and evolution. Source counting is a direct measurement. Compared to advanced analyzes that require more observational input such as luminosity/mass functions, it is less affected by any cosmological parameter assumptions or any errors propagated from luminosities. In this study, we present source counts at the six mid-infrared bands, i.e., 7.7, 10, 12.8, 15, 18, and 21 $\mu$m from the MIR instrument of the James Webb Space Telescope (JWST). Contrasted with the infrared source counts achieved by prior generations of infrared space telescopes, our source counts delve up to $\sim$100 times deeper, showcasing the exceptional sensitivity of the JWST, and aligning with the model predictions based on preceding observations. In a follow-up study, we utilize our source counts to establish a new IR galaxy population evolutionary model that provides a physical interpretation.


title: $RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory

abstract: We consider $G=Q_8,SD_{16},G_{24},$ and $G_{48}$ as finite subgroups of the Morava stabilizer group which acts on the height $2$ Morava $E$-theory $\mathbf{E}_2$ at the prime $2$. We completely compute the $G$-homotopy fixed point spectral sequences of $\mathbf{E}_2$. Our computation uses recently developed equivariant techniques since Hill, Hopkins, and Ravenel. We also compute the $(*-\sigma_i)$-graded $Q_8$- and $SD_{16}$-homotopy fixed point spectral sequences, where $\sigma_i$ is a non-trivial one-dimensional representation of $Q_8$.


title: Euclid Near Infrared Spectro-Photometer: spatial considerations on H2RG detectors interpixel capacitance and IPC corrected conversion gain from on-ground characterization

abstract: Euclid is a major ESA mission scheduled for launch in 2023-2024 to map the geometry of the dark Universe using two primary probes, weak gravitational lensing and galaxy clustering. \Euclid's instruments, a visible imager (VIS) and an infrared spectrometer and photometer (NISP) have both been designed and built by Euclid Consortium teams. The NISP instrument will hold a large focal plane array of 16 near-infrared H2RG detectors, which are key elements to the performance of the NISP, and therefore to the science return of the mission. Euclid NISP H2RG flight detectors have been individually and thoroughly characterized at Centre de Physique des Particules de Marseille (CPPM) during a whole year with a view to producing a reference database of performance pixel maps. Analyses have been ongoing and have shown the relevance of taking into account spatial variations in deriving performance parameters. This paper will concentrate on interpixel capacitance (IPC) and conversion gain. First, per pixel IPC coefficient maps will be derived thanks to single pixel reset (SPR) measurements and a new IPC correction method will be defined and validated. Then, the paper will look into correlation effects of IPC and their impact on the derivation of per super-pixel IPC-free conversion gain maps. Eventually, several conversion gain values will be defined over clearly distinguishable regions.


title: Lattice-based shape tracking and servoing of elastic objects

abstract: In this paper, we propose a general unified tracking-servoing approach for controlling the shape of elastic deformable objects using robotic arms. Our approach works by forming a lattice around the object, binding the object to the lattice, and tracking and servoing the lattice instead of the object. This makes our approach have full 3D control over deformable objects of any general form (linear, thin-shell, volumetric). Furthermore, it decouples the runtime complexity of the approach from the objects' geometric complexity. Our approach is based on the As-Rigid-As-Possible (ARAP) deformation model. It requires no mechanical parameter of the object to be known and can drive the object toward desired shapes through large deformations. The inputs to our approach are the point cloud of the object's surface in its rest shape and the point cloud captured by a 3D camera in each frame. Overall, our approach is more broadly applicable than existing approaches. We validate the efficiency of our approach through numerous experiments with deformable objects of various shapes and materials (paper, rubber, plastic, foam). Experiment videos are available on the project website: https://sites.google.com/view/tracking-servoing-approach.


title: Migration patterns, friendship networks, and the diaspora: the potential of Facebook Social Connectedness Index to anticipate displacement patterns induced by Russia invasion of Ukraine in the European Union

abstract: The conflict in Ukraine is causing large-scale displacement in Europe and in the World. Based on the United Nations High Commissioner for Refugees (UNHCR) estimates, more than 7 million people fled the country as of 5 September 2022. In this context, it is extremely important to anticipate where these people are moving so that national to local authorities can better manage challenges related to their reception and integration. This work shows how innovative data from social media can provide useful insights on conflict-induced migration flows. In particular, we explore the potential of Facebook's Social Connectedness Index (SCI) for predicting migration flows in the context of the war in Ukraine, building on previous research findings that the presence of a diaspora network is one of the major migration drivers. To do so, we first evaluate the relationship between the Ukrainian diaspora and the number of refugees from Ukraine registered for Temporary Protection or similar national schemes as a proxy of migratory flows into the EU. We find a very strong correlation between the two (Pearson's r=0.94, p<0.0001), which indicates that the diaspora is attracting the people fleeing the war, who tend to reach their compatriots, in particular in the countries where the Ukrainian immigration was more a recent phenomenon. Second, we compare Facebook's SCI with available official data on diaspora at regional level in Europe. Our results suggest that the index, along with other readily available covariates, is a strong predictor of the Ukrainian diaspora at regional scale. Finally, we discuss the potential of Facebook's SCI to provide timely and spatially detailed information on human diaspora for those countries where this information might be missing or outdated, and to complement official statistics for fast policy response during conflicts.


title: Toric Ideals of Characteristic Imsets via Quasi-Independence Gluing

abstract: Characteristic imsets are 0-1 vectors which correspond to Markov equivalence classes of directed acyclic graphs. The study of their convex hull, named the characteristic imset polytope, has led to new and interesting geometric perspectives on the important problem of causal discovery. In this paper we begin the study of the associated toric ideal. We develop a new generalization of the toric fiber product, which we call a quasi-independence gluing, and show that under certain combinatorial homogeneity conditions, one can iteratively compute a Gr\"obner basis via lifting. For faces of the characteristic imset polytope associated to trees, we apply this technique to compute a Gr\"obner basis for the associated toric ideal. We end with a study of the characteristic ideal of the cycle and propose directions for future work.


title: Multi-Figurative Language Generation

abstract: Figurative language generation is the task of reformulating a given text in the desired figure of speech while still being faithful to the original context. We take the first step towards multi-figurative language modelling by providing a benchmark for the automatic generation of five common figurative forms in English. We train mFLAG employing a scheme for multi-figurative language pre-training on top of BART, and a mechanism for injecting the target figurative information into the encoder; this enables the generation of text with the target figurative form from another figurative form without parallel figurative-figurative sentence pairs. Our approach outperforms all strong baselines. We also offer some qualitative analysis and reflections on the relationship between the different figures of speech.


title: Relativity of superluminal observers in $1+3$ spacetime

abstract: We develop an extension of special relativity in $1+3$ dimensional spacetime to account for superluminal inertial observers and show that such an extension rules out the conventional dynamics of mechanical point-like particles and forces one to use a field-theoretic framework. Therefore we show that field theory can be viewed as a direct consequence of extended special relativity.


title: On the dynamics of the combinatorial model of the real line

abstract: We study dynamical systems defined on the combinatorial model of the real line. We prove that using single-valued maps there are no periodic points of period 3, which contrasts with the classical and less restrictive setting. Then, we use Vietoris-like multivalued maps to show that there is more flexibility, at least in terms of periods, in this combinatorial framework than in the usual one because we do not have the conditions about the existence of periods given by the Sharkovski Theorem.


title: A Benchmark for Unsupervised Anomaly Detection in Multi-Agent Trajectories

abstract: Human intuition allows to detect abnormal driving scenarios in situations they never experienced before. Like humans detect those abnormal situations and take countermeasures to prevent collisions, self-driving cars need anomaly detection mechanisms. However, the literature lacks a standard benchmark for the comparison of anomaly detection algorithms. We fill the gap and propose the R-U-MAAD benchmark for unsupervised anomaly detection in multi-agent trajectories. The goal is to learn a representation of the normal driving from the training sequences without labels, and afterwards detect anomalies. We use the Argoverse Motion Forecasting dataset for the training and propose a test dataset of 160 sequences with human-annotated anomalies in urban environments. To this end we combine a replay of real-world trajectories and scene-dependent abnormal driving in the simulation. In our experiments we compare 11 baselines including linear models, deep auto-encoders and one-class classification models using standard anomaly detection metrics. The deep reconstruction and end-to-end one-class methods show promising results. The benchmark and the baseline models will be publicly available.


title: Effective Estimation of the Dimensions of a Manifold from Random Samples

abstract: We give explicit theoretical and heuristical bounds for how big does a data set sampled from a reach-1 submanifold M of euclidian space need to be, to be able to estimate the dimension of M with 90% confidence.


title: Macroscopic quantum mechanics in gravitational-wave observatories and beyond

abstract: The existence of quantum correlations affects both microscopic and macroscopic systems. On macroscopic systems they are difficult to observe and usually irrelevant for the system's evolution due to the frequent energy exchange with the environment. The world-wide network of gravitational-wave (GW) observatories exploits optical as well as mechanical systems that are highly macroscopic and largely decoupled from the environment. The quasi-monochromatic light fields in the kilometre-scale arm resonators have photon excitation numbers larger than $10^{19}$, and the mirrors that are quasi-free falling in propagation direction of the light fields have masses of around 40 kg. Recent observations on the GW observatories LIGO and Virgo clearly showed that the quantum uncertainty of one system affected the uncertainty of the other. Here, we review these observations and provide links to research goals targeted with mesoscopic optomechanical systems in other fields of fundamental physical research. These may have Gaussian quantum uncertainties as the ones in GW observatories or even non-Gaussian ones, such as Schr\"odinger cat states.


title: Which structure of academic articles do referees pay more attention to?: perspective of peer review and full-text of academic articles

abstract: Purpose The purpose of this paper is to explore which structures of academic articles referees would pay more attention to, what specific content referees focus on, and whether the distribution of PRC is related to the citations. Design/methodology/approach Firstly, utilizing the feature words of section title and hierarchical attention network model (HAN) to identify the academic article structures. Secondly, analyzing the distribution of PRC in different structures according to the position information extracted by rules in PRC. Thirdly, analyzing the distribution of feature words of PRC extracted by the Chi-square test and TF-IDF in different structures. Finally, four correlation analysis methods are used to analyze whether the distribution of PRC in different structures is correlated to the citations. Findings The count of PRC distributed in Materials and Methods and Results section is significantly more than that in the structure of Introduction and Discussion, indicating that referees pay more attention to the Material and Methods and Results. The distribution of feature words of PRC in different structures is obviously different, which can reflect the content of referees' concern. There is no correlation between the distribution of PRC in different structures and the citations. Research limitations/implications Due to the differences in the way referees write peer review reports, the rules used to extract position information cannot cover all PRC. Originality/value The paper finds a pattern in the distribution of PRC in different academic article structures proving the long-term empirical understanding. It also provides insight into academic article writing: researchers should ensure the scientificity of methods and the reliability of results when writing academic article to obtain a high degree of recognition from referees.


title: Dynamics of Fourier Modes in Torus Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are powerful Machine Learning models capable of generating fully synthetic samples of a desired phenomenon with a high resolution. Despite their success, the training process of a GAN is highly unstable and typically it is necessary to implement several accessory heuristics to the networks to reach an acceptable convergence of the model. In this paper, we introduce a novel method to analyze the convergence and stability in the training of Generative Adversarial Networks. For this purpose, we propose to decompose the objective function of the adversary min-max game defining a periodic GAN into its Fourier series. By studying the dynamics of the truncated Fourier series for the continuous Alternating Gradient Descend algorithm, we are able to approximate the real flow and to identify the main features of the convergence of the GAN. This approach is confirmed empirically by studying the training flow in a $2$-parametric GAN aiming to generate an unknown exponential distribution. As byproduct, we show that convergent orbits in GANs are small perturbations of periodic orbits so the Nash equillibria are spiral attractors. This theoretically justifies the slow and unstable training observed in GANs.


title: RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0

abstract: Orchestration systems are becoming a key component to automatically manage distributed computing resources in many fields with criticality requirements like Industry 4.0 (I4.0). However, they are mainly linked to OS-level virtualization, which is known to suffer from reduced isolation. In this paper, we propose RunPHI with the aim of integrating partitioning hypervisors, as a solution for assuring strong isolation, with OS-level orchestration systems. The purpose is to enable container orchestration in mixed-criticality systems with isolation requirements through partitioned containers.


title: Series composition of simulation-based assume-guarantee contracts for linear dynamical systems

abstract: We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behaviour of a system. Contrary to existing approaches, we use simulation to compare the dynamic behaviour of two systems. This has the advantage of being supported by efficient numerical algorithms for verification as well as being related to the rich literature on (bi)simulation based techniques for verification and control, such as those based on (discrete) abstractions. Using simulation, we define contract implementation and a notion of contract refinement. We also define a notion of series composition for contracts, which allows us to reason about the series interconnection of systems on the basis of the contracts on its components. Together, the notions of refinement and composition allow contracts to be used for modular design and analysis of interconnected systems.


title: Investigating the Impact of Model Misspecification in Neural Simulation-based Inference

abstract: Aided by advances in neural density estimation, considerable progress has been made in recent years towards a suite of simulation-based inference (SBI) methods capable of performing flexible, black-box, approximate Bayesian inference for stochastic simulation models. While it has been demonstrated that neural SBI methods can provide accurate posterior approximations, the simulation studies establishing these results have considered only well-specified problems -- that is, where the model and the data generating process coincide exactly. However, the behaviour of such algorithms in the case of model misspecification has received little attention. In this work, we provide the first comprehensive study of the behaviour of neural SBI algorithms in the presence of various forms of model misspecification. We find that misspecification can have a profoundly deleterious effect on performance. Some mitigation strategies are explored, but no approach tested prevents failure in all cases. We conclude that new approaches are required to address model misspecification if neural SBI algorithms are to be relied upon to derive accurate scientific conclusions.


title: Evaluating Situated Visualization in AR with Eye Tracking

abstract: Augmented reality (AR) technology provides means for embedding visualization in a real-world context. Such techniques allow situated analyses of live data in their spatial domain. However, as existing techniques have to be adapted for this context and new approaches will be developed, the evaluation thereof poses new challenges for researchers. Apart from established performance measures, eye tracking has proven to be a valuable means to assess visualizations qualitatively and quantitatively. We discuss the challenges and opportunities of eye tracking for the evaluation of situated visualizations. We envision that an extension of gaze-based evaluation methodology into this field will provide new insights on how people perceive and interact with visualizations in augmented reality.


title: Conflict-Aware Pseudo Labeling via Optimal Transport for Entity Alignment

abstract: Entity alignment aims to discover unique equivalent entity pairs with the same meaning across different knowledge graphs (KGs). Existing models have focused on projecting KGs into a latent embedding space so that inherent semantics between entities can be captured for entity alignment. However, the adverse impacts of alignment conflicts have been largely overlooked during training, thereby limiting the entity alignment performance. To address this issue, we propose a novel Conflict-aware Pseudo Labeling via Optimal Transport model (CPL-OT) for entity alignment. The key idea is to iteratively pseudo-label alignment pairs empowered with conflict-aware optimal transport (OT) modeling to boost the precision of entity alignment. CPL-OT is composed of two key components -- entity embedding learning with global-local aggregation and iterative conflict-aware pseudo labeling -- that mutually reinforce each other. To mitigate alignment conflicts during pseudo labeling, we propose to use optimal transport as an effective means to warrant one-to-one entity alignment between two KGs with the minimal overall transport cost. Extensive experiments on benchmark datasets validate the superiority of CPL-OT over state-of-the-art baselines under both settings with and without prior alignment seeds.


title: A Principled Evaluation Protocol for Comparative Investigation of the Effectiveness of DNN Classification Models on Similar-but-non-identical Datasets

abstract: Deep Neural Network (DNN) models are increasingly evaluated using new replication test datasets, which have been carefully created to be similar to older and popular benchmark datasets. However, running counter to expectations, DNN classification models show significant, consistent, and largely unexplained degradation in accuracy on these replication test datasets. While the popular evaluation approach is to assess the accuracy of a model by making use of all the datapoints available in the respective test datasets, we argue that doing so hinders us from adequately capturing the behavior of DNN models and from having realistic expectations about their accuracy. Therefore, we propose a principled evaluation protocol that is suitable for performing comparative investigations of the accuracy of a DNN model on multiple test datasets, leveraging subsets of datapoints that can be selected using different criteria, including uncertainty-related information. By making use of this new evaluation protocol, we determined the accuracy of $564$ DNN models on both (1) the CIFAR-10 and ImageNet datasets and (2) their replication datasets. Our experimental results indicate that the observed accuracy degradation between established benchmark datasets and their replications is consistently lower (that is, models do perform better on the replication test datasets) than the accuracy degradation reported in published works, with these published works relying on conventional evaluation approaches that do not utilize uncertainty-related information.


title: Fault-Aware Non-Collective Communication Creation and Reparation in MPI

abstract: The increasing size of HPC architectures makes the faults' presence a more and more frequent eventuality. This issue becomes especially relevant since MPI, the de-facto standard for inter-process communication, lacks proper fault management functionalities. Past efforts produced extensions to the MPI standard that enabled fault management, including ULFM. While providing powerful tools to handle faults, it still faces limitations like the collectiveness of the repair procedure. With this paper, we overcome those limitations and achieve fault-aware non-collective communicator creation and reparation. We integrate our solution into an existing fault resiliency framework and measure the overhead introduced in the application code. The experimental campaign shows that our solution is scalable and introduces a limited overhead, and the non-collective reparation is a viable opportunity for ULFM-based applications.


title: DISA: A Dual Inexact Splitting Algorithm for Distributed Convex Composite Optimization

abstract: In this paper, we propose a novel Dual Inexact Splitting Algorithm (DISA) for distributed convex composite optimization problems, where the local loss function consists of a smooth term and a possibly nonsmooth term composed with a linear mapping. DISA, for the first time, eliminates the dependence of the convergent step-size range on the Euclidean norm of the linear mapping, while inheriting the advantages of the classic Primal-Dual Proximal Splitting Algorithm (PD-PSA): simple structure and easy implementation. This indicates that DISA can be executed without prior knowledge of the norm, and tiny step-sizes can be avoided when the norm is large. Additionally, we prove sublinear and linear convergence rates of DISA under general convexity and metric subregularity, respectively. Moreover, we provide a variant of DISA with approximate proximal mapping and prove its global convergence and sublinear convergence rate. Numerical experiments corroborate our theoretical analyses and demonstrate a significant acceleration of DISA compared to existing PD-PSAs.


title: Recognizing Geometric Intersection Graphs Stabbed by a Line

abstract: In this paper, we determine the computational complexity of recognizing two graph classes, \emph{grounded L}-graphs and \emph{stabbable grid intersection} graphs. An L-shape is made by joining the bottom end-point of a vertical ($\vert$) segment to the left end-point of a horizontal ($-$) segment. The top end-point of the vertical segment is known as the {\em anchor} of the L-shape. Grounded L-graphs are the intersection graphs of L-shapes such that all the L-shapes' anchors lie on the same horizontal line. We show that recognizing grounded L-graphs is NP-complete. This answers an open question asked by Jel{\'\i}nek \& T{\"o}pfer (Electron. J. Comb., 2019). Grid intersection graphs are the intersection graphs of axis-parallel line segments in which two vertical (similarly, two horizontal) segments cannot intersect. We say that a (not necessarily axis-parallel) straight line $\ell$ stabs a segment $s$, if $s$ intersects $\ell$. A graph $G$ is a stabbable grid intersection graph ($StabGIG$) if there is a grid intersection representation of $G$ in which the same line stabs all its segments. We show that recognizing $StabGIG$ graphs is $NP$-complete, even on a restricted class of graphs. This answers an open question asked by Chaplick \etal (\textsc{O}rder, 2018).


title: Minimally dissipative information erasure in a quantum dot via thermodynamic length

abstract: In this work we explore the use of thermodynamic length to improve the performance of experimental protocols. In particular, we implement Landauer erasure on a driven electron level in a semiconductor quantum dot, and compare the standard protocol in which the energy is increased linearly in time with the one coming from geometric optimisation. The latter is obtained by choosing a suitable metric structure, whose geodesics correspond to optimal finite-time thermodynamic protocols in the slow driving regime. We show experimentally that geodesic drivings minimise dissipation for slow protocols, with a bigger improvement as one approaches perfect erasure. Moreover, the geometric approach also leads to smaller dissipation even when the time of the protocol becomes comparable with the equilibration timescale of the system, i.e., away from the slow driving regime. Our results also illustrate, in a single-electron device, a fundamental principle of thermodynamic geometry: optimal finite-time thermodynamic protocols are those with constant dissipation rate along the process.


title: Probing charge noise in few electron CMOS quantum dots

abstract: Charge noise is one of the main sources of environmental decoherence for spin qubits in silicon, presenting a major obstacle in the path towards highly scalable and reproducible qubit fabrication. Here we demonstrate in-depth characterization of the charge noise environment experienced by a quantum dot in a CMOS-fabricated silicon nanowire. We probe the charge noise for different quantum dot configurations, finding that it is possible to tune the charge noise over two orders of magnitude, ranging from 1 ueV^2 to 100 ueV^2. In particular, we show that the top interface and the reservoirs are the main sources of charge noise and their effect can be mitigated by controlling the quantum dot extension. Additionally, we demonstrate a novel method for the measurement of the charge noise experienced by a quantum dot in the few electron regime. We measure a comparatively higher charge noise value of 40 ueV^2 at the first electron, and demonstrate that the charge noise is highly dependent on the electron occupancy of the quantum dot.


title: Detection of Paschen $\beta$ absorption in the atmosphere of KELT-9 b: A new window into the atmospheres of ultra-hot Jupiters

abstract: Hydrogen and helium transmission signals trace the upper atmospheres of hot gas-giant exoplanets, where the incoming stellar extreme ultraviolet and X-ray fluxes are deposited. Further, for the hottest stars, the near-ultraviolet excitation of hydrogen in the Balmer continuum may play a dominant role in controlling the atmospheric temperature and driving photoevaporation. KELT-9 b is the archetypal example of such an environment as it is the hottest gas-giant exoplanet known to date (T$_{eq}$ $\sim$ 4500 K) and orbits an A0V-type star. Studies of the upper atmosphere and escaping gas of this ultra-hot Jupiter have targeted the absorption in the Balmer series of hydrogen (n$_1$ = 2 $\rightarrow$ n$_2$ $>$ 2). Unfortunately, the lowermost metastable helium state that causes the triplet absorption at 108.3 nm is not sufficiently populated for detection. Here, we present evidence of hydrogen absorption in the Paschen series in the transmission spectrum of KELT-9 b observed with CARMENES. Specifically, we focus on the strongest line covered by its NIR channel, Paschen-$\beta$ at 1282.16 nm (n$_1$ = 3 $\rightarrow$ n$_2$ = 5). The observed absorption shows a contrast of (0.53 $^{+0.12}_{-0.13}$)%, a blueshift of $-$14.8 $^{+3.5}_{-3.2}$ km/s, and a FWHM of 31.9$^{+11.8}_{-8.3}$ km/s. The observed blueshift in the absorption feature could be explained by day-to-night circulation within the gravitationally bound atmosphere or, alternatively, by Paschen-$\beta$ absorption originating in a tail of escaping gas moving toward the observer as a result of extreme atmospheric evaporation. This detection opens a new window for investigating the atmospheres of ultra-hot Jupiters, providing additional constraints of their temperature structure, mass-loss rates, and dynamics for future modeling of their scorching atmospheres.


title: Multiple Partition Structures and Harmonic Functions on Branching Graphs

abstract: We introduce and study multiple partition structures which are sequences of probability measures on families of Young diagrams subjected to a consistency condition. The multiple partition structures are generalizations of Kingman's partition structures, and are motivated by a problem of population genetics. They are related to harmonic functions and coherent systems of probability measures on a certain branching graph. The vertices of this graph are multiple Young diagrams (or multiple partitions), and the edges depend on the Jack parameter. Our main result establishes a bijective correspondence between the set of harmonic functions on the graph and probability measures on the generalized Thoma set. The correspondence is determined by a canonical integral representation of harmonic functions. As a consequence we obtain a representation theorem for multiple partition structures. We give an example of a multiple partition structure which is expected to be relevant for a model of population genetics for the genetic variation of a sample of gametes from a large population. Namely, we construct a probability measure on the wreath product of a finite group with the symmetric group. The constructed probability measure defines a multiple partition structure which is a generalization of the Ewens partition structure studied by Kingman. We show that this multiple partition structure can be represented in terms of a multiple analogue of the Poisson-Dirichlet distribution called the multiple Poisson-Dirichlet distribution in the paper.


title: Leveraging Layout-based Effects for Locking Analog ICs

abstract: While various obfuscation methods exist in the digital domain, techniques for protecting Intellectual Property (IP) in the analog domain are mostly overlooked. Understandably, analog components have a small footprint as most of the surface of an Integrated Circuit (IC) is digital. Yet, since they are challenging to design and tune, they constitute a valuable IP that ought to be protected. This paper is the first to show a method to secure analog IP by exploiting layout-based effects that are typically seen as undesirable detractors in IC design. Specifically, we make use of the effects of Length of Oxide Diffusion and Well Proximity Effect on transistors for tuning the devices' critical parameters (e.g., gm and Vth). Such parameters are hidden behind key inputs, akin to the logic locking approach for digital ICs. The proposed technique is applied for locking an Operational Transconductance Amplifier. In order to showcase the robustness of the achieved obfuscation, the case studied circuit is simulated for a large number of key sets, i.e., >50K and >300K, and the results show a wide range of degradation in open-loop gain (up to 130dB), phase margin (up to 50 deg), 3dB bandwidth (approx. 2.5MHz), and power (approx. 1mW) of the locked circuit when incorrect keys are applied. Our results show the benefit of the technique and the incurred overheads. We also justify the non-effectiveness of reverse engineering efforts for attacking the proposed approach. More importantly, our technique employs only regular transistors and requires neither changes to the IC fabrication process nor any foundry-level coordination or trust.


title: Statistical Comparisons of Classifiers by Generalized Stochastic Dominance

abstract: Although being a crucial question for the development of machine learning algorithms, there is still no consensus on how to compare classifiers over multiple data sets with respect to several criteria. Every comparison framework is confronted with (at least) three fundamental challenges: the multiplicity of quality criteria, the multiplicity of data sets and the randomness of the selection of data sets. In this paper, we add a fresh view to the vivid debate by adopting recent developments in decision theory. Based on so-called preference systems, our framework ranks classifiers by a generalized concept of stochastic dominance, which powerfully circumvents the cumbersome, and often even self-contradictory, reliance on aggregates. Moreover, we show that generalized stochastic dominance can be operationalized by solving easy-to-handle linear programs and moreover statistically tested employing an adapted two-sample observation-randomization test. This yields indeed a powerful framework for the statistical comparison of classifiers over multiple data sets with respect to multiple quality criteria simultaneously. We illustrate and investigate our framework in a simulation study and with a set of standard benchmark data sets.


title: Consistency-Based Semi-supervised Evidential Active Learning for Diagnostic Radiograph Classification

abstract: Deep learning approaches achieve state-of-the-art performance for classifying radiology images, but rely on large labelled datasets that require resource-intensive annotation by specialists. Both semi-supervised learning and active learning can be utilised to mitigate this annotation burden. However, there is limited work on combining the advantages of semi-supervised and active learning approaches for multi-label medical image classification. Here, we introduce a novel Consistency-based Semi-supervised Evidential Active Learning framework (CSEAL). Specifically, we leverage predictive uncertainty based on theories of evidence and subjective logic to develop an end-to-end integrated approach that combines consistency-based semi-supervised learning with uncertainty-based active learning. We apply our approach to enhance four leading consistency-based semi-supervised learning methods: Pseudo-labelling, Virtual Adversarial Training, Mean Teacher and NoTeacher. Extensive evaluations on multi-label Chest X-Ray classification tasks demonstrate that CSEAL achieves substantive performance improvements over two leading semi-supervised active learning baselines. Further, a class-wise breakdown of results shows that our approach can substantially improve accuracy on rarer abnormalities with fewer labelled samples.


title: Private Simultaneous Messages Based on Quadratic Residues

abstract: Private Simultaneous Messages (PSM) model is a minimal model for secure multiparty computation. Feige, Kilian, and Naor (STOC 1994) and Ishai (Cryptology and Information Security Series 2013) constructed PSM protocols based on quadratic residues. In this paper, we define QR-PSM protocols as a generalization of these protocols. A QR-PSM protocol is a PSM protocol whose decoding function outputs the quadratic residuosity of what is computed from messages. We design a QR-PSM protocol for any symmetric function $f: \{0,1\}^n \rightarrow \{0,1\}$ of communication complexity $O(n^2)$. As far as we know, it is the most efficient PSM protocol since the previously known best PSM protocol was of $O(n^2\log n)$ (Beimel et al., CRYPTO 2014). We also study the sizes of the underlying finite fields $\mathbb{F}_p$ in the protocols since the communication complexity of a QR-PSM protocol is proportional to the bit length of the prime $p$. In particular, we show that the $N$-th Peralta prime $P_N$, which is used for general QR-PSM protocols, can be taken as at most $(1+o(1))N^2 2^{2N-2}$, which improves the Peralta's known result (Mathematics of Computation 1992) by a constant factor $(1+\sqrt{2})^2$.