title: Reinforcement Learning based dynamic weighing of Ensemble Models for Time Series Forecasting

abstract: Ensemble models are powerful model building tools that are developed with a focus to improve the accuracy of model predictions. They find applications in time series forecasting in varied scenarios including but not limited to process industries, health care, and economics where a single model might not provide optimal performance. It is known that if models selected for data modelling are distinct (linear/non-linear, static/dynamic) and independent (minimally correlated models), the accuracy of the predictions is improved. Various approaches suggested in the literature to weigh the ensemble models use a static set of weights. Due to this limitation, approaches using a static set of weights for weighing ensemble models cannot capture the dynamic changes or local features of the data effectively. To address this issue, a Reinforcement Learning (RL) approach to dynamically assign and update weights of each of the models at different time instants depending on the nature of data and the individual model predictions is proposed in this work. The RL method implemented online, essentially learns to update the weights and reduce the errors as the time progresses. Simulation studies on time series data showed that the dynamic weighted approach using RL learns the weight better than existing approaches. The accuracy of the proposed method is compared with an existing approach of online Neural Network tuning quantitatively through normalized mean square error(NMSE) values.


title: A comparative study of similarity-based and GNN-based link prediction approaches

abstract: The task of inferring the missing links in a graph based on its current structure is referred to as link prediction. Link prediction methods that are based on pairwise node similarity are well-established approaches in the literature. They show good prediction performance in many real-world graphs though they are heuristics and lack of universal applicability. On the other hand, the success of neural networks for classification tasks in various domains leads researchers to study them in graphs. When a neural network can operate directly on the graph, then it is termed as the graph neural network (GNN). GNN is able to learn hidden features from graphs which can be used for link prediction task in graphs. Link predictions based on GNNs have gained much attention of researchers due to their convincing high performance in many real-world graphs. This appraisal paper studies some similarity and GNN-based link prediction approaches in the domain of homogeneous graphs that consists of a single type of (attributed) nodes and single type of pairwise links. We evaluate the studied approaches against several benchmark graphs with different properties from various domains.


title: PhysCap: Physically Plausible Monocular 3D Motion Capture in Real Time

abstract: Marker-less 3D human motion capture from a single colour camera has seen significant progress. However, it is a very challenging and severely ill-posed problem. In consequence, even the most accurate state-of-the-art approaches have significant limitations. Purely kinematic formulations on the basis of individual joints or skeletons, and the frequent frame-wise reconstruction in state-of-the-art methods greatly limit 3D accuracy and temporal stability compared to multi-view or marker-based motion capture. Further, captured 3D poses are often physically incorrect and biomechanically implausible, or exhibit implausible environment interactions (floor penetration, foot skating, unnatural body leaning and strong shifting in depth), which is problematic for any use case in computer graphics. We, therefore, present PhysCap, the first algorithm for physically plausible, real-time and marker-less human 3D motion capture with a single colour camera at 25 fps. Our algorithm first captures 3D human poses purely kinematically. To this end, a CNN infers 2D and 3D joint positions, and subsequently, an inverse kinematics step finds space-time coherent joint angles and global 3D pose. Next, these kinematic reconstructions are used as constraints in a real-time physics-based pose optimiser that accounts for environment constraints (e.g., collision handling and floor placement), gravity, and biophysical plausibility of human postures. Our approach employs a combination of ground reaction force and residual force for plausible root control, and uses a trained neural network to detect foot contact events in images. Our method captures physically plausible and temporally stable global 3D human motion, without physically implausible postures, floor penetrations or foot skating, from video in real time and in general scenes. The video is available at http://gvv.mpi-inf.mpg.de/projects/PhysCap


title: Chirality driven topological electronic structure of DNA-like materials

abstract: Topological aspects of the geometry of DNA and similar chiral molecules have received a lot of attention, while the topology of their electronic structure is less explored. Previous experiments have revealed that DNA can efficiently filter spin-polarized electrons between metal contacts, a process called chiral-induced spin-selectivity (CISS). However, the underlying correlation between chiral structure and electronic spin remains elusive. In this work, we reveal an orbital texture in the band structure, a topological characteristic induced by the chirality. We find that this orbital texture enables the chiral molecule to polarize the quantum orbital. This orbital polarization effect (OPE) induces spin polarization assisted by the spin-orbit interaction from a metal contact and leads to magnetorestistance and chiral separation. The orbital angular momentum of photoelectrons also plays an essential role in related photoemission experiments. Beyond CISS, we predict that OPE can induce spin-selective phenomena even in achiral but inversion-breaking materials.


title: BOIL: Towards Representation Change for Few-shot Learning

abstract: Model Agnostic Meta-Learning (MAML) is one of the most representative of gradient-based meta-learning algorithms. MAML learns new tasks with a few data samples using inner updates from a meta-initialization point and learns the meta-initialization parameters with outer updates. It has recently been hypothesized that representation reuse, which makes little change in efficient representations, is the dominant factor in the performance of the meta-initialized model through MAML in contrast to representation change, which causes a significant change in representations. In this study, we investigate the necessity of representation change for the ultimate goal of few-shot learning, which is solving domain-agnostic tasks. To this aim, we propose a novel meta-learning algorithm, called BOIL (Body Only update in Inner Loop), which updates only the body (extractor) of the model and freezes the head (classifier) during inner loop updates. BOIL leverages representation change rather than representation reuse. This is because feature vectors (representations) have to move quickly to their corresponding frozen head vectors. We visualize this property using cosine similarity, CKA, and empirical results without the head. BOIL empirically shows significant performance improvement over MAML, particularly on cross-domain tasks. The results imply that representation change in gradient-based meta-learning approaches is a critical component.


title: High-Performance Simultaneous Multiprocessing for Heterogeneous System-on-Chip

abstract: This paper presents a methodology for simultaneous heterogeneous computing, named ENEAC, where a quad core ARM Cortex-A53 CPU works in tandem with a preprogrammed on-board FPGA accelerator. A heterogeneous scheduler distributes the tasks optimally among all the resources and all compute units run asynchronously, which allows for improved performance for irregular workloads. ENEAC achieves up to 17\% performance improvement \ignore{and 14\% energy usage reduction,} when using all platform resources compared to just using the FPGA accelerators and up to 865\% performance increase \ignore{and up to 89\% energy usage decrease} when using just the CPU. The workflow uses existing commercial tools and C/C++ as a single programming language for both accelerator design and CPU programming for improved productivity and ease of verification.


title: Line detection via a lightweight CNN with a Hough Layer

abstract: Line detection is an important computer vision task traditionally solved by Hough Transform. With the advance of deep learning, however, trainable approaches to line detection became popular. In this paper we propose a lightweight CNN for line detection with an embedded parameter-free Hough layer, which allows the network neurons to have global strip-like receptive fields. We argue that traditional convolutional networks have two inherent problems when applied to the task of line detection and show how insertion of a Hough layer into the network solves them. Additionally, we point out some major inconsistencies in the current datasets used for line detection.


title: No-regret Algorithms for Multi-task Bayesian Optimization

abstract: We consider multi-objective optimization (MOO) of an unknown vector-valued function in the non-parametric Bayesian optimization (BO) setting, with the aim being to learn points on the Pareto front of the objectives. Most existing BO algorithms do not model the fact that the multiple objectives, or equivalently, tasks can share similarities, and even the few that do lack rigorous, finite-time regret guarantees that capture explicitly inter-task structure. In this work, we address this problem by modelling inter-task dependencies using a multi-task kernel and develop two novel BO algorithms based on random scalarizations of the objectives. Our algorithms employ vector-valued kernel regression as a stepping stone and belong to the upper confidence bound class of algorithms. Under a smoothness assumption that the unknown vector-valued function is an element of the reproducing kernel Hilbert space associated with the multi-task kernel, we derive worst-case regret bounds for our algorithms that explicitly capture the similarities between tasks. We numerically benchmark our algorithms on both synthetic and real-life MOO problems, and show the advantages offered by learning with multi-task kernels.


title: An In-Depth Analysis of the Slingshot Interconnect

abstract: The interconnect is one of the most critical components in large scale computing systems, and its impact on the performance of applications is going to increase with the system size. In this paper, we will describe Slingshot, an interconnection network for large scale computing systems. Slingshot is based on high-radix switches, which allow building exascale and hyperscale datacenters networks with at most three switch-to-switch hops. Moreover, Slingshot provides efficient adaptive routing and congestion control algorithms, and highly tunable traffic classes. Slingshot uses an optimized Ethernet protocol, which allows it to be interoperable with standard Ethernet devices while providing high performance to HPC applications. We analyze the extent to which Slingshot provides these features, evaluating it on microbenchmarks and on several applications from the datacenter and AI worlds, as well as on HPC applications. We find that applications running on Slingshot are less affected by congestion compared to previous generation networks.


title: Strong Exciton-Photon Coupling in Large Area MoSe$_2$ and WSe$_2$ Heterostructures Fabricated from Two-Dimensional Materials Grown by Chemical Vapor Deposition

abstract: Two-dimensional semiconducting transition metal dichalcogenides embedded in optical microcavities in the strong exciton-photon coupling regime may lead to promising applications in spin and valley addressable polaritonic logic gates and circuits. One significant obstacle for their realization is the inherent lack of scalability associated with the mechanical exfoliation commonly used for fabrication of two-dimensional materials and their heterostructures. Chemical vapor deposition offers an alternative scalable fabrication method for both monolayer semiconductors and other two-dimensional materials, such as hexagonal boron nitride. Observation of the strong light-matter coupling in chemical vapor grown transition metal dichalcogenides has been demonstrated so far in a handful of experiments with monolayer molybdenum disulfide and tungsten disulfide. Here we instead demonstrate the strong exciton-photon coupling in microcavities comprising large area transition metal dichalcogenide / hexagonal boron nitride heterostructures made from chemical vapor deposition grown molybdenum diselenide and tungsten diselenide encapsulated on one or both sides in continuous few-layer boron nitride films also grown by chemical vapor deposition. These transition metal dichalcogenide / hexagonal boron nitride heterostructures show high optical quality comparable with mechanically exfoliated samples, allowing operation in the strong coupling regime in a wide range of temperatures down to 4 Kelvin in tunable and monolithic microcavities, and demonstrating the possibility to successfully develop large area transition metal dichalcogenide based polariton devices.


title: Incorporating Heisenberg's Uncertainty Principle into Quantum Multiparameter Estimation

abstract: The quantum multiparameter estimation is very different from the classical multiparameter estimation due to Heisenberg's uncertainty principle in quantum mechanics. When the optimal measurements for different parameters are incompatible, they cannot be jointly performed. We find a correspondence relationship between the inaccuracy of a measurement for estimating the unknown parameter with the measurement error in the context of measurement uncertainty relations. Taking this correspondence relationship as a bridge, we incorporate Heisenberg's uncertainty principle into quantum multiparameter estimation by giving a tradeoff relation between the measurement inaccuracies for estimating different parameters. For pure quantum states, this tradeoff relation is tight, so it can reveal the true quantum limits on individual estimation errors in such cases. We apply our approach to derive the tradeoff between attainable errors of estimating the real and imaginary parts of a complex signal encoded in coherent states and obtain the joint measurements attaining the tradeoff relation. We also show that our approach can be readily used to derive the tradeoff between the errors of jointly estimating the phase shift and phase diffusion without explicitly parameterizing quantum measurements.


title: Autonomous Social Distancing in Urban Environments using a Quadruped Robot

abstract: COVID-19 pandemic has become a global challenge faced by people all over the world. Social distancing has been proved to be an effective practice to reduce the spread of COVID-19. Against this backdrop, we propose that the surveillance robots can not only monitor but also promote social distancing. Robots can be flexibly deployed and they can take precautionary actions to remind people of practicing social distancing. In this paper, we introduce a fully autonomous surveillance robot based on a quadruped platform that can promote social distancing in complex urban environments. Specifically, to achieve autonomy, we mount multiple cameras and a 3D LiDAR on the legged robot. The robot then uses an onboard real-time social distancing detection system to track nearby pedestrian groups. Next, the robot uses a crowd-aware navigation algorithm to move freely in highly dynamic scenarios. The robot finally uses a crowd-aware routing algorithm to effectively promote social distancing by using human-friendly verbal cues to send suggestions to over-crowded pedestrians. We demonstrate and validate that our robot can be operated autonomously by conducting several experiments in various urban scenarios.


title: Many-body effective thermal conductivity in phase-change nanoparticle chains due to near-field radiative heat transfer

abstract: In dense systems composed of numerous nanoparticles, direct simulations of near-field radiative heat transfer (NFRHT) require considerable computational resources. NFRHT for the simple one-dimensional nanoparticle chains embedded in a non-absorbing host medium is investigated from the point of view of the continuum by means of an approach combining the many-body radiative heat transfer theory and the Fourier law. Effects of the phase change of the insulator-metal transition material (VO$_2$), the complex many-body interaction (MBI) and the host medium relative permittivity on the characteristic effective thermal conductivity (ETC) are analyzed. The ETC for VO$_2$ nanoparticle chains below the transition temperature can be as high as 50 times of that above the transition temperature due to the phase change effect. The strong coupling in the insulator-phase VO$_2$ nanoparticle chain accounts for its high ETC as compared to the low ETC for the chain at the metallic phase, where there is a mismatch between the characteristic thermal frequency and resonance frequency. The strong MBI is in favor of the ETC. For SiC nanoparticle chains, the MBI even can double the ETC as compared to those without considering the MBI effect. For the dense chains, a strong MBI enhances the ETC due to the strong inter-particles couplings. When the chains go more and more dilute, the MBI can be neglected safely due to negligible couplings. The host medium relative permittivity significantly affects the inter-particles couplings, which accounts for the permittivity-dependent ETC for the VO$_2$ nanoparticle chains.


title: Resource-efficient adaptive Bayesian tracking of magnetic fields with a quantum sensor

abstract: Single-spin quantum sensors, for example based on nitrogen-vacancy centres in diamond, provide nanoscale mapping of magnetic fields. In applications where the magnetic field may be changing rapidly, total sensing time is crucial and must be minimised. Bayesian estimation and adaptive experiment optimisation can speed up the sensing process by reducing the number of measurements required. These protocols consist of computing and updating the probability distribution of the magnetic field based on measurement outcomes and of determining optimized acquisition settings for the next measurement. However, the computational steps feeding into the measurement settings of the next iteration must be performed quickly enough to allow for real-time updates. This article addresses the issue of computational speed by implementing an approximate Bayesian estimation technique, where probability distributions are approximated by a finite sum of Gaussian functions. Given that only three parameters are required to fully describe a Gaussian density, we find that in many cases, the magnetic field probability distribution can be described by fewer than ten parameters, achieving a reduction in computation time by factor 10 compared to existing approaches. For T2* = 1 micro second, only a small decrease in computation time is achieved. However, in these regimes, the proposed Gaussian protocol outperforms the existing one in tracking accuracy.


title: Fingerprints of Universal Spin-Stiffness Jump in Two-Dimensional Ferromagnets

abstract: Motivated by recent progress on synthesizing two-dimensional magnetic van der Waals systems, we propose a setup for detecting the topological Berezinskii-Kosterlitz-Thouless (BKT) phase transition in spin-transport experiments on such structures. We demonstrate that the spatial correlations of injected spin-currents into a pair of metallic leads can be used to measure the predicted universal jump of $2/\pi$ in the ferromagnet spin-stiffness as well as its predicted universal square root dependence on temperature as the transition is approached from below. Our setup provides a simple route to measuring this topological phase transition in two-dimensional magnetic systems, something which up to now has proven elusive. It is hoped that this will encourage experimental efforts to investigate critical phenomena beyond the standard Ginzburg-Landau paradigm in low-dimensional magnetic systems with no local order parameter.


title: Switching Model Predictive Control for Online Structural Reformations of a Foldable Quadrotor

abstract: The aim of this article is the formulation of a switching model predictive control framework for the case of a foldable quadrotor with the ability to retain the overall control quality during online structural reformations. The majority of the related scientific publications consider fixed morphology of the aerial vehicles. Recent advances in mechatronics have brought novel considerations for generalized aerial robotic designs with the ability to alter their morphology in order to adapt to their environment, thus enhancing their capabilities. Simulation results are provided to prove the efficacy of the selected control scheme.


title: Frank-Wolfe algorithm for learning SVM-type multi-category classifiers

abstract: Multi-category support vector machine (MC-SVM) is one of the most popular machine learning algorithms. There are lots of variants of MC-SVM, although different optimization algorithms were developed for different learning machines. In this study, we developed a new optimization algorithm that can be applied to many of MC-SVM variants. The algorithm is based on the Frank-Wolfe framework that requires two subproblems, direction finding and line search, in each iteration. The contribution of this study is the discovery that both subproblems have a closed form solution if the Frank-Wolfe framework is applied to the dual problem. Additionally, the closed form solutions on both for the direction finding and for the line search exist even for the Moreau envelopes of the loss functions. We use several large datasets to demonstrate that the proposed optimization algorithm converges rapidly and thereby improves the pattern recognition performance.


title: Nonrelativistic spinning strings

abstract: We construct nonrelativistic spinning string solutions corresponding to $ SU(1,2|3) $ Spin-Matrix theory (SMT) limit of strings in $ AdS_5 \times S^5 $. Considering various nonrelativistic spinning string configurations both in $ AdS_5 $ as well as $ S^5 $ we obtain corresponding dispersion relations in the strong coupling regime of SMT where the strong coupling ($ \sim \sqrt{\mathfrak{g}} $) corrections near the BPS bound have been estimated in the slow spinning limit of strings in $ AdS_5 $. We generalize our results explicitly by constructing three spin folded string configurations that has two of its spins along $ AdS_5 $ and one along $ S^5 $. Our analysis reveals that the correction to the spectrum depends non trivially on the length of the NR string in $ AdS_5 $. The rest of the paper essentially unfolds the underlying connection between $ SU(1,2|3) $ Spin-Matrix theory (SMT) limit of strings in $ AdS_5 \times S^5 $ and the nonrelativistic Neumann-Rosochatius like integrable models in 1D. Taking two specific examples of NR spinning strings in $ R \times S^3 $ as well as in certain sub-sector of $ AdS_5 $ we show that similar reduction is indeed possible where one can estimate the spectrum of the theory using 1D model.


title: Towards a Decomposable Metric for Explainable Evaluation of Text Generation from AMR

abstract: Systems that generate natural language text from abstract meaning representations such as AMR are typically evaluated using automatic surface matching metrics that compare the generated texts to reference texts from which the input meaning representations were constructed. We show that besides well-known issues from which such metrics suffer, an additional problem arises when applying these metrics for AMR-to-text evaluation, since an abstract meaning representation allows for numerous surface realizations. In this work we aim to alleviate these issues by proposing $\mathcal{M}\mathcal{F}_\beta$, a decomposable metric that builds on two pillars. The first is the principle of meaning preservation $\mathcal{M}$: it measures to what extent a given AMR can be reconstructed from the generated sentence using SOTA AMR parsers and applying (fine-grained) AMR evaluation metrics to measure the distance between the original and the reconstructed AMR. The second pillar builds on a principle of (grammatical) form $\mathcal{F}$ that measures the linguistic quality of the generated text, which we implement using SOTA language models. In two extensive pilot studies we show that fulfillment of both principles offers benefits for AMR-to-text evaluation, including explainability of scores. Since $\mathcal{M}\mathcal{F}_\beta$ does not necessarily rely on gold AMRs, it may extend to other text generation tasks.


title: Rough semimartingales and $p$-variation estimates for martingale transforms

abstract: We establish a new scale of $p$-variation estimates for martingale paraproducts, martingale transforms, and It\^o integrals, of relevance in rough paths theory, stochastic, and harmonic analysis. As an application, we introduce rough semimartingales, a common generalization of classical semimartingales and (controlled) rough paths, and their integration theory.


title: Nondiffracting gravitational waves

abstract: It is proved that accelerating nondiffracting gravitational Airy wave--packets are solutions of linearized gravity. It is also showed that Airy functions are exact solutions to Einstein equations for non--accelerating nondiffracting gravitational wave--packets.


title: Document Visual Question Answering Challenge 2020

abstract: This paper presents results of Document Visual Question Answering Challenge organized as part of "Text and Documents in the Deep Learning Era" workshop, in CVPR 2020. The challenge introduces a new problem - Visual Question Answering on document images. The challenge comprised two tasks. The first task concerns with asking questions on a single document image. On the other hand, the second task is set as a retrieval task where the question is posed over a collection of images. For the task 1 a new dataset is introduced comprising 50,000 questions-answer(s) pairs defined over 12,767 document images. For task 2 another dataset has been created comprising 20 questions over 14,362 document images which share the same document template.


title: Coded Caching over Multicast Routing Networks

abstract: The coded caching scheme originally proposed by Maddah-Ali and Niesen (MAN) transmits coded multicast messages from a server to users equipped with caches via a capacitated shared-link and was shown to be information theoretically optimal within a constant multiplicative factor. This work extends the MAN scheme to a class of two-hop wired-wireless networks including one server connected via fronthaul links to a layer of $H$ helper nodes (access points/base stations), which in turns communicate via a wireless access network to $K$ users, each equipped with its own cache. Two variants are considered, which differ in the modeling of the access segment. Both models should be regarded as abstractions at the network layer for physical scenarios such as local area networks and cellular networks, spatially distributed over a certain coverage area. The key focus of our approach consists of routing MAN-type multicast messages through the network and formulating the optimal routing scheme as an optimization problem that can be solved exactly or for which we give powerful heuristic algorithms. Our approach solves at once many of the open practical problems identified as stumbling blocks for the application of coded caching in practical scenarios, namely: asynchronous streaming sessions, finite file size, scalability of the scheme to large and spatially distributed networks, user mobility and random activity (users joining and leaving the system at arbitrary times), decentralized prefetching of the cache contents, end-to-end encryption of HTTPS requests, which renders the helper nodes oblivious of the user demands.


title: Speaker-Utterance Dual Attention for Speaker and Utterance Verification

abstract: In this paper, we study a novel technique that exploits the interaction between speaker traits and linguistic content to improve both speaker verification and utterance verification performance. We implement an idea of speaker-utterance dual attention (SUDA) in a unified neural network. The dual attention refers to an attention mechanism for the two tasks of speaker and utterance verification. The proposed SUDA features an attention mask mechanism to learn the interaction between the speaker and utterance information streams. This helps to focus only on the required information for respective task by masking the irrelevant counterparts. The studies conducted on RSR2015 corpus confirm that the proposed SUDA outperforms the framework without attention mask as well as several competitive systems for both speaker and utterance verification.


title: Topology Optimization and 3D printing of Large Deformation Compliant Mechanisms for Straining Biological Tissues

abstract: This paper presents a synthesis approach in a density-based topology optimization setting to design large deformation compliant mechanisms for inducing desired strains in biological tissues. The modelling is based on geometrical nonlinearity together with a suitably chosen hypereleastic material model, wherein the mechanical equilibrium equations are solved using the total Lagrangian finite element formulation. An objective based on least-square error with respect to target strains is formulated and minimized with the given set of constraints and the appropriate surroundings of the tissues. To circumvent numerical instabilities arising due to large deformation in low stiffness design regions during topology optimization, a strain-energy based interpolation scheme is employed. The approach uses an extended robust formulation i.e. the eroded, intermediate and dilated projections for the design description as well as variation in tissue stiffness. Efficacy of the synthesis approach is demonstrated by designing various compliant mechanisms for providing different target strains in biological tissue constructs. Optimized compliant mechanisms are 3D-printed and their performances are recorded in a simplified experiment and compared with simulation results obtained by a commercial software.


title: Generative Adversarial Networks for Spatio-temporal Data: A Survey

abstract: Generative Adversarial Networks (GANs) have shown remarkable success in producing realistic-looking images in the computer vision area. Recently, GAN-based techniques are shown to be promising for spatio-temporal-based applications such as trajectory prediction, events generation and time-series data imputation. While several reviews for GANs in computer vision have been presented, no one has considered addressing the practical applications and challenges relevant to spatio-temporal data. In this paper, we have conducted a comprehensive review of the recent developments of GANs for spatio-temporal data. We summarise the application of popular GAN architectures for spatio-temporal data and the common practices for evaluating the performance of spatio-temporal applications with GANs. Finally, we point out future research directions to benefit researchers in this area.


title: Measurement of real contact area for rough metal surfaces and the distinction of contribution from elasticity and plasticity

abstract: The measurement of real contact area between rough surfaces is one of most challenge problems in contact mechanics and is of importance to understand some physical mechanisms in tribology. Based on the frustrated total internal reflection, a new apparatus is designed to measure the real contact area. For brass samples with various surface topographies, the relation between normal load and real contact area is measured. Our experiments verify the linear relationship between load and real contact area during loading process. More importantly, the unloading process is firstly considered to distinguish the contribution of elasticity and plasticity in contact of rough surfaces. It is found that both elasticity and plasticity are involved throughout the continuous loading process, different from some present understanding and assumptions that they play at different loading stages. A quantitative parameter is proposed to indicate the contribution of plasticity. The present work not only provides an experimental method to measure real contact area but figure out how elastic and plastic deformation works in contact of rough surfaces.


title: Linear algebra and quantum algorithm

abstract: In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations of quantum mechanics had been established in around 1930, by von Neumann. The formulation uses functional analysis, linear algebra and probability theory. The knowledge of the mathematical formulation of QM is enough quantum mechanical knowledge for approaching to quantum algorithm and it might be efficient way for mathematicians that starting with mathematical formulations of QM. We explain the mathematical formulations of quantum mechanics briefly, quantum bits, quantum gates, quantum discrete Fourier transformation, Deutsch's algorithm and Shor's algorithm.


title: Cooperative Multi-Point Vehicular Positioning Using Millimeter-Wave Surface Reflection (Extended version)

abstract: Multi-point vehicular positioning is one essential operation for autonomous vehicles. However, the state-of-the-art positioning technologies, relying on reflected signals from a target (i.e., RADAR and LIDAR), cannot work without line-of-sight. Besides, it takes significant time for environment scanning and object recognition with potential detection inaccuracy, especially in complex urban situations. Some recent fatal accidents involving autonomous vehicles further expose such limitations. In this paper, we aim at overcoming these limitations by proposing a novel relative positioning approach, called Cooperative Multi-point Positioning (COMPOP). The COMPOP establishes cooperation between a target vehicle (TV) and a sensing vehicle (SV) if a LoS path exists, where a TV explicitly lets an SV to know the TV's existence by transmitting positioning waveforms. This cooperation makes it possible to remove the time-consuming scanning and target recognizing processes, facilitating real-time positioning. One prerequisite for the cooperation is a clock synchronization between a pair of TV and SV. To this end, we use a phase-differential-of-arrival based approach to remove the TV-SV clock difference from the received signal. With clock difference correction, the TV's position can be obtained via peak detection over a 3D power spectrum constructed by a Fourier transform (FT) based algorithm. The COMPOP also incorporates nearby vehicles, without knowing their locations, into the above cooperation for the case without a LoS path. The effectiveness of the COMPOP is verified by several simulations concerning practical channel parameters.


title: A Value of Information Framework for Latent Variable Models

abstract: In this paper, a general value of information (VoI) framework is formalised for latent variable models. In particular, the mutual information between the current status at the source node and the observed noisy measurements at the destination node is used to evaluate the information value, which gives the theoretical interpretation of the reduction in uncertainty in the current status given that we have measurements of the latent process. Moreover, the VoI expression for a hidden Markov model is obtained in this setting. Numerical results are provided to show the relationship between the VoI and the traditional age of information (AoI) metric, and the VoI of Markov and hidden Markov models are analysed for the particular case when the latent process is an Ornstein-Uhlenbeck process. While the contributions of this work are theoretical, the proposed VoI framework is general and useful in designing wireless systems that support timely, but noisy, status updates in the physical world.


title: Characterizing the excited-state quantum phase transition via the dynamical and statistical properties of the diagonal entropy

abstract: Using the diagonal entropy, we analyze the dynamical signatures of the Lipkin-Meshkov-Glick (LMG) model excited-state quantum phase transition (ESQPT). We first show that the time evolution of the diagonal entropy behaves as an efficient indicator of the presence of an ESQPT. We further consider the diagonal entropy as a random variable over a certain time interval and we find that its associated probability distribution provides a clear distinction between the different phases of ESQPT. We observe that the probability distribution of the diagonal entropy at the ESQPT critical point has an universal form, well described by a beta distribution, and we demonstrate that a reliable detection of the ESQPT can be obtained from the diagonal entropy central moments.


title: Co-Saliency Detection with Co-Attention Fully Convolutional Network

abstract: Co-saliency detection aims to detect common salient objects from a group of relevant images. Some attempts have been made with the Fully Convolutional Network (FCN) framework and achieve satisfactory detection results. However, due to stacking convolution layers and pooling operation, the boundary details tend to be lost. In addition, existing models often utilize the extracted features without discrimination, leading to redundancy in representation since actually not all features are helpful to the final prediction and some even bring distraction. In this paper, we propose a co-attention module embedded FCN framework, called as Co-Attention FCN (CA-FCN). Specifically, the co-attention module is plugged into the high-level convolution layers of FCN, which can assign larger attention weights on the common salient objects and smaller ones on the background and uncommon distractors to boost final detection performance. Extensive experiments on three popular co-saliency benchmark datasets demonstrate the superiority of the proposed CA-FCN, which outperforms state-of-the-arts in most cases. Besides, the effectiveness of our new co-attention module is also validated with ablation studies.


title: Investigating the physical and geometrical parameters of the cosmological models with anisotropic background

abstract: In this paper, we have investigated some accelerating cosmological models at the backdrop of an anisotropic metric in an extended gravity theory. Two viable cosmological models one with a little rip behaviour and the other with a hyperbolic form of Hubble parameter have been constructed. The dynamical aspects of the models along with some physical and geometrical parameters are analysed. Both the models presented here evolve in the phantom-like region and overlap with $\Lambda$CDM model at late times. We carried out a geometrical diagnosis of the model to show the viability of the models.


title: Relativistic electron-impact ionization of hydrogen atom from its metastable 2S-state in the symmetric/asymmetric coplanar geometries

abstract: We analytically compute, in the first Born approximation for symmetric and asymmetric coplanar geometries, the triple differential cross sections for electron-impact ionization of hydrogen atom in the metastable 2S-state at both low and high energies. The process is investigated by using the relativistic Dirac-formalism and it is also shown that the nonrelativistic limit is accurately reproduced when using low incident kinetic energies. At high energies, relativistic and spin effects significantly affect the triple differential cross sections. Our analytical approach which seems exact is compared to some other results in the nonrelativistic regime for asymmetric coplanar geometry. For this particular process and in the absence of any experimental data and theoretical models at high energies, we are not in a position to validate our model. We hope that the present study will provide significant contribution to future experiments.


title: A Data-Efficient Deep Learning Based Smartphone Application For Detection Of Pulmonary Diseases Using Chest X-rays

abstract: This paper introduces a paradigm of smartphone application based disease diagnostics that may completely revolutionise the way healthcare services are being provided. Although primarily aimed to assist the problems in rendering the healthcare services during the coronavirus pandemic, the model can also be extended to identify the exact disease that the patient is caught with from a broad spectrum of pulmonary diseases. The app inputs Chest X-Ray images captured from the mobile camera which is then relayed to the AI architecture in a cloud platform, and diagnoses the disease with state of the art accuracy. Doctors with a smartphone can leverage the application to save the considerable time that standard COVID-19 tests take for preliminary diagnosis. The scarcity of training data and class imbalance issues were effectively tackled in our approach by the use of Data Augmentation Generative Adversarial Network (DAGAN) and model architecture based as a Convolutional Siamese Network with attention mechanism. The backend model was tested for robustness us-ing publicly available datasets under two different classification scenarios(Binary/Multiclass) with minimal and noisy data. The model achieved pinnacle testing accuracy of 99.30% and 98.40% on the two respective scenarios, making it completely reliable for its users. On top of that a semi-live training scenario was introduced, which helps improve the app performance over time as data accumulates. Overall, the problems of generalisability of complex models and data inefficiency is tackled through the model architecture. The app based setting with semi live training helps in ease of access to reliable healthcare in the society, as well as help ineffective research of rare diseases in a minimal data setting.


title: State Observation of LTV Systems with Delayed Measurements: A Parameter Estimation-based Approach

abstract: In this paper we address the problem of state observation of linear time-varying systems with delayed measurements, which has attracted the attention of many researchers|see [7] and references therein. We show that, adopting the parameter estimationbased approach proposed in [3,4], we can provide a very simple solution to the problem with reduced prior knowledge.


title: Explicit Fresnel formulae for the absorbing double-negative metamaterials

abstract: We inspect the optical properties of dissipative double-negative metamaterials (DNMM) and find explicit expression for the total reflection angle and the correct Fresnel formulae describing the reflection and refraction for the DNMM at the oblique incident of the electromagnetic wave on the interface for \textit{TE} as well as \textit{TM} electromagnetic wave polarization. The reflectivity and transmissivity of DNMM film embedded in a positive refraction index (PIM) surrounding are presented and discussed.


title: LOCUS: A Novel Decomposition Method for Brain Network Connectivity Matrices using Low-rank Structure with Uniform Sparsity

abstract: Network-oriented research has been increasingly popular in many scientific areas. In neuroscience research, imaging-based network connectivity measures have become the key for understanding brain organizations, potentially serving as individual neural fingerprints. There are major challenges in analyzing connectivity matrices including the high dimensionality of brain networks, unknown latent sources underlying the observed connectivity, and the large number of brain connections leading to spurious findings. In this paper, we propose a novel blind source separation method with low-rank structure and uniform sparsity (LOCUS) as a fully data-driven decomposition method for network measures. Compared with the existing method that vectorizes connectivity matrices ignoring brain network topology, LOCUS achieves more efficient and accurate source separation for connectivity matrices using low-rank structure. We propose a novel angle-based uniform sparsity regularization that demonstrates better performance than the existing sparsity controls for low-rank tensor methods. We propose a highly efficient iterative Node-Rotation algorithm that exploits the block multi-convexity of the objective function to solve the non-convex optimization problem for learning LOCUS. We illustrate the advantage of LOCUS through extensive simulation studies. Application of LOCUS to Philadelphia Neurodevelopmental Cohort neuroimaging study reveals biologically insightful connectivity traits which are not found using the existing method.


title: A Review on Coexistence Issues of Broadband Millimeter-Wave Communications

abstract: With higher frequencies and broader spectrum than conventional frequency bands, the millimeter-wave (mmWave) band is suitable for next-generation wireless networks featuring short-distance high-rate communications. As a newcomer, mmWaves are expected to have the backward compatibility with existing services and collaborate with other technologies in order to enhance system performances. Therefore, the coexistence issues become an essential topic for next-generation wireless communications. In this paper, we systematically review the coexistence issues of broadband mmWave communications and their corresponding solutions proposed in the literature, helping shed light on the insights of the mmWave design. Particularly, the works surveyed in this paper can be classified into four categories: coexistence with microwave communications, coexistence with fixed services, coexistence with non-orthogonal multiple access (NOMA), and other coexistence issues. Results of numerical evaluations inspired by the literature are presented for a deeper analysis. We also point out some challenges and future directions for each category as a roadmap to further investigate the coexistence issues of broadband mmWave communications.


title: Equiaffine braneworld

abstract: Higher dimensional theories, wherein our four dimensional universe is immersed into a bulk ambient, have received much attention recently, and the direction of investigation had, as far as we can discern, all followed the ordinary Euclidean hypersurface theory's isometric immersion recipe, with the spacetime metric being induced by an ambient parent. We note in this paper that the indefinite signature of the Lorentzian metric perhaps hints at the lesser known equiaffine hypersurface theory as being a possibly more natural, i.e., less customized beyond minimal mathematical formalism, description of our universe's extrinsic geometry. In this alternative, the ambient is deprived of a metric, and the spacetime metric becomes conformal to the second fundamental form of the ordinary theory, therefore is automatically indefinite for hyperbolic shapes. Herein, we advocate investigations in this direction by identifying some potential physical benefits to enlisting the help of equiaffine differential geometry.


title: West Australian Pandemic Response: The Black Swan of Black Swans

abstract: The COVID-19 Pandemic has been described as the global challenge of our time, an enormous human tragedy with dramatic economic impacts. This paper describes the response and expected recovery process for Western Australia, where a rapid and effective response was implemented. This has enabled an early transition into an expected recovery both in health and economic terms. The positive lessons learned from this experience are documented as they emerge in order to support other states and nations as they address this issue globally in the near-term and consider enduring improvements for the longer term. While the authors have personal experience in the WA context, wider observations across Australia and selected international benchmarks are also included. Key lessons include the importance of good health advice in Australia's interest; timely, synchronized and aligned action at all levels of government; a program of well communicated, aligned health and economic measures which support all in society allowing a very high level of appropriate community behaviour, ensuring the health system was not overloaded; innovation in telehealth, testing, pandemic modelling, and integrated operations which also allowed essential industries to continue; and strong border and travel controls with highly effective isolation preventing community spread, ultimately enabling rapid elimination of the disease from the hospital system. In combination, these demonstrate that in the case of Western Australia the result of first eliminating the disease from the community, and then reopening the economy progressively at a strong pace, has enabled a world leading outcome in both in health and economic terms. The lessons from this experience are widely applicable, shareable both as supporting service to other regions and through knowledge transfer.


title: SentiQ: A Probabilistic Logic Approach to Enhance Sentiment Analysis Tool Quality

abstract: The opinion expressed in various Web sites and social-media is an essential contributor to the decision making process of several organizations. Existing sentiment analysis tools aim to extract the polarity (i.e., positive, negative, neutral) from these opinionated contents. Despite the advance of the research in the field, sentiment analysis tools give \textit{inconsistent} polarities, which is harmful to business decisions. In this paper, we propose SentiQ, an unsupervised Markov logic Network-based approach that injects the semantic dimension in the tools through rules. It allows to detect and solve inconsistencies and then improves the overall accuracy of the tools. Preliminary experimental results demonstrate the usefulness of SentiQ.


title: scikit-dyn2sel -- A Dynamic Selection Framework for Data Streams

abstract: Mining data streams is a challenge per se. It must be ready to deal with an enormous amount of data and with problems not present in batch machine learning, such as concept drift. Therefore, applying a batch-designed technique, such as dynamic selection of classifiers (DCS) also presents a challenge. The dynamic characteristic of ensembles that deal with streams presents barriers to the application of traditional DCS techniques in such classifiers. scikit-dyn2sel is an open-source python library tailored for dynamic selection techniques in streaming data. scikit-dyn2sel's development follows code quality and testing standards, including PEP8 compliance and automated high test coverage using codecov.io and circleci.com. Source code, documentation, and examples are made available on GitHub at https://github.com/luccaportes/Scikit-DYN2SEL.


title: Construction of control barrier function and $C^2$ reference trajectory for constrained attitude maneuvers

abstract: Constrained attitude maneuvers have numerous applications in robotics and aerospace. In our previous work, a general framework to this problem was proposed with resolution completeness guarantee. However, a smooth reference trajectory and a low-level safety-critical controller were lacking. In this work, we propose a novel construction of a $C^2$ continuous reference trajectory based on B\'ezier curves on $ SO(3) $ that evolves within predetermined cells and eliminates previous stop-and-go behavior. Moreover, we propose a novel zeroing control barrier function on $ SO(3) $ that provides a safety certificate over a set of overlapping cells on $ SO(3) $ while avoiding nonsmooth analysis. The safety certificate is given as a linear constraint on the control input and implemented in real-time. A remedy is proposed to handle the states where the coefficient of the control input in the linear constraint vanishes. Numerical simulations are given to verify the advantages of the proposed method.


title: The Plateau-Douglas problem for singular configurations and in general metric spaces

abstract: Assume you are given a finite configuration $\Gamma$ of disjoint rectifiable Jordan curves in $\mathbb{R}^n$. The Plateau-Douglas problem asks whether there exists a minimizer of area among all compact surfaces of genus at most $p$ which span $\Gamma$. While the solution to this problem is well-known, the classical approaches break down if one allows for singular configurations $\Gamma$ where the curves are potentially non-disjoint or self-intersecting. Our main result solves the Plateau-Douglas problem for such potentially singular configurations. Moreover, our proof works not only in $\mathbb{R}^n$ but in general proper metric spaces. Thus we are also able to extend previously known existence results of J\"urgen Jost as well as of the second author together with Stefan Wenger for regular configurations. In particular, existence is new for disjoint configurations of Jordan curves in general complete Riemannian manifolds. A minimal surface of fixed genus $p$ bounding a given configuration $\Gamma$ need not always exist, even in the most regular settings. Concerning this problem, we also generalize the approach for singular configurations via minimal sequences satisfying conditions of cohesion and adhesion to the setting of metric spaces.


title: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education

abstract: This volume contains five papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2019 and TFPIE 2020 that took places in Vancouver, Canada and Krakow, Poland respectively. TFPIE stands for Trends in Functional Programming in Education, where authors present research and experiences in teaching concepts of functional programming at any level.


title: Extended Phase Space Thermodynamics for Dyonic Black Holes with a Power Maxwell Field

abstract: In this paper, we investigate the thermodynamics of dyonic black holes with the presence of power Maxwell electromagnetic field in the extended phase space, which includes the cosmological constant $\Lambda$ as a thermodynamic variable. For a generic power Maxwell black hole with the electric charge and magnetic charge, the equation of state is given as the function of rescaled temperature $\tilde{T}$ in terms of other rescaled variables $ \tilde{r}_{+}$, $\tilde{q}$ and $\tilde{h}$, where $r_{+}$ is the horizon radius, $q$ is the electric charge and $h$ is some magnetic parameter. For some values of $\tilde{q}$ and $\tilde{h}$, the phase structure of the black hole is uniquely determined. Moreover the peculiarity of multiple temperature with some fixed parameter configurations results in more rich phase structures. Focusing on the power Maxwell Lagrangian with $\mathcal{L} \left( s\right) =s^{2}$, we obtain the corresponding phase diagrams in the $ \tilde{q}$-$\tilde{h}$ plane, then analyse the black holes phase structure and critical behaviour. For this case, the critical line is semi-infinite and extends to $\tilde{h}=\infty$. We also examine thermal stabilities of these black holes.


title: A Passive Circuit-Emulator for a Current-controlled Memristor

abstract: A memristor is an electrical element, which has been conjectured in 1971 to complete the lumped circuit theory. Currently, researchers use memristors emulators through diodes and other passive (or active) elements to study circuits with possible attractors, chaos, and ways of implementing nonlinear transformations for low-voltage novel computing paradigms. However, to date, such passive memristor emulators have been voltage-controlled. In this study, the first circuit realization of a current-controlled passive emulator is established. The formal theory and simulations validate the proposed circuit.


title: On Equitable List Arboricity of Graphs

abstract: Equitable list arboricity, introduced by Zhang in 2016, generalizes the notion of equitable list coloring by requiring the subgraph induced by each color class to be acyclic (instead of edgeless) in addition to the usual upper bound on the size of each color class. Graph $G$ is equitably $k$-list arborable if an equitable, arborable list coloring of $G$ exists for every list assignment for $G$ that associates with each vertex in $G$ a list of $k$ available colors. Zhang conjectured that any graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil (1+\Delta(G))/2 \rceil$. We verify this conjecture for powers of cycles by applying a new lemma which is a general tool for extending partial equitable, arborable list colorings. We also propose a stronger version of Zhang's Conjecture for certain connected graphs: any connected graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil \Delta(G)/2 \rceil$ provided $G$ is neither a cycle nor a complete graph of odd order. We verify this stronger version of Zhang's Conjecture for powers of paths, 2-degenerate graphs, and certain other graphs. We also show that if $G$ is equitably $k$-list arborable it does not necessarily follow that $G$ is equitably $(k+1)$-list arborable which addresses a question of Drgas-Burchardt, Furmanczyk, and Sidorowicz (2018).


title: Generating Music with a Self-Correcting Non-Chronological Autoregressive Model

abstract: We describe a novel approach for generating music using a self-correcting, non-chronological, autoregressive model. We represent music as a sequence of edit events, each of which denotes either the addition or removal of a note---even a note previously generated by the model. During inference, we generate one edit event at a time using direct ancestral sampling. Our approach allows the model to fix previous mistakes such as incorrectly sampled notes and prevent accumulation of errors which autoregressive models are prone to have. Another benefit is a finer, note-by-note control during human and AI collaborative composition. We show through quantitative metrics and human survey evaluation that our approach generates better results than orderless NADE and Gibbs sampling approaches.


title: Designing thermal energy harvesting devices with natural materials through optimized microstructures

abstract: Metamaterial thermal energy devices obtained from transformation optics have recently attracted wide attention due to their vast potential in energy storage, thermal harvesting or heat manipulation. However, these devices usually require inhomogeneous and extreme material parameters which are difficult to realize in large-scale applications. Here, we demonstrate a general process to design thermal harvesting devices with available natural materials through optimized composite microstructures. We apply two-scale homogenization theory to obtain effective properties of the microstructures. Optimal Latin hypercube technique, combined with a genetic algorithm, is then implemented on the microstructures to achieve optimized design parameters. The optimized microstructures can accurately approximate the behavior of transformed materials. We design such devices and numerically characterize good thermal-energy harvesting performances. To validate the wide-range application of our approach, we illustrate other types of microstructures that mimic well the constitutive parameters. The approach we propose can be used to design novel thermal harvesting devices available with existing technology, and can also act as a beneficial vehicle to explore other transformation optics enabled designs.


title: Three-dimensional modelling of processes in Electron Cyclotron Resonance Ion Source

abstract: Three-dimensional numerical model is developed and applied for studies of physical processes in Electron Cyclotron Resonance Ion Source. The model includes separate modules that simulate the electron and ion dynamics in the source plasma in an iterative way. The electron heating by microwaves is simulated by using results of modelling the microwave propagation in the plasma by the COMSOL Multiphysics software. Extracted ion currents and other parameters of the source are obtained for different gas flows into the source. It is observed that the currents are strongly influenced by ion transport in transversal direction induced by the plasma potential gradients. Impact of some special techniques on the source performance is investigated. Magnetic field scaling is shown to reduce the ion losses during their movement toward the extraction aperture, as well as use of the aluminum chamber walls and mixing of the working gas with helium.


title: A Systematic Survey of Regularization and Normalization in GANs

abstract: Generative Adversarial Networks (GANs) have been widely applied in different scenarios thanks to the development of deep neural networks. The original GAN was proposed based on the non-parametric assumption of the infinite capacity of networks. However, it is still unknown whether GANs can fit the target distribution without any prior information. Due to the overconfident assumption, many issues remain unaddressed in GANs' training, such as non-convergence, mode collapses, gradient vanishing. Regularization and normalization are common methods of introducing prior information to stabilize training and improve discrimination. Although a handful number of regularization and normalization methods have been proposed for GANs, to the best of our knowledge, there exists no comprehensive survey that primarily focuses on objectives and development of these methods, apart from some in-comprehensive and limited scope studies. In this work, we conduct a comprehensive survey on the regularization and normalization techniques from different perspectives of GANs training. First, we systematically describe different perspectives of GANs training and thus obtain the different objectives of regularization and normalization. Based on these objectives, we propose a new taxonomy. Furthermore, we compare the performance of the mainstream methods on different datasets and investigate the applications of regularization and normalization techniques that have been frequently employed in state-of-the-art GANs. Finally, we highlight potential future directions of research in this domain. Code and studies related to the regularization and normalization of GANs in this work is summarized on https://github.com/iceli1007/GANs-Regularization-Review.


title: A Deep Prediction Network for Understanding Advertiser Intent and Satisfaction

abstract: For e-commerce platforms such as Taobao and Amazon, advertisers play an important role in the entire digital ecosystem: their behaviors explicitly influence users' browsing and shopping experience; more importantly, advertiser's expenditure on advertising constitutes a primary source of platform revenue. Therefore, providing better services for advertisers is essential for the long-term prosperity for e-commerce platforms. To achieve this goal, the ad platform needs to have an in-depth understanding of advertisers in terms of both their marketing intents and satisfaction over the advertising performance, based on which further optimization could be carried out to service the advertisers in the correct direction. In this paper, we propose a novel Deep Satisfaction Prediction Network (DSPN), which models advertiser intent and satisfaction simultaneously. It employs a two-stage network structure where advertiser intent vector and satisfaction are jointly learned by considering the features of advertiser's action information and advertising performance indicators. Experiments on an Alibaba advertisement dataset and online evaluations show that our proposed DSPN outperforms state-of-the-art baselines and has stable performance in terms of AUC in the online environment. Further analyses show that DSPN not only predicts advertisers' satisfaction accurately but also learns an explainable advertiser intent, revealing the opportunities to optimize the advertising performance further.


title: SuperSuit: Simple Microwrappers for Reinforcement Learning Environments

abstract: In reinforcement learning, wrappers are universally used to transform the information that passes between a model and an environment. Despite their ubiquity, no library exists with reasonable implementations of all popular preprocessing methods. This leads to unnecessary bugs, code inefficiencies, and wasted developer time. Accordingly we introduce SuperSuit, a Python library that includes all popular wrappers, and wrappers that can easily apply lambda functions to the observations/actions/reward. It's compatible with the standard Gym environment specification, as well as the PettingZoo specification for multi-agent environments. The library is available at https://github.com/PettingZoo-Team/SuperSuit,and can be installed via pip.


title: Span effect on the turbulence nature of flow past a circular cylinder

abstract: Turbulent flow evolution and energy cascades are significantly different in two-dimensional (2D) and three-dimensional (3D) flows. Studies have investigated these differences in obstacle-free turbulent flows, but solid boundaries have an important impact on the cross-over between 3D to 2D turbulence dynamics. In this work, we investigate the span effect on the turbulence nature of flow past a circular cylinder at Re=10000. It is found that even for highly anisotropic geometries, 3D small-scale structures detach from the walls. Additionally, the natural large-scale rotation of the K\'arm\'an vortices rapidly two-dimensionalises those structures if the span is 50% of the diameter or less. We show this is linked to the span being shorter than the Mode B instability wavelength. The conflicting 3D small-scale structures and 2D K\'arm\'an vortices result in 2D and 3D turbulence dynamics which can coexist at certain locations of the wake depending on the domain geometric anisotropy.


title: Topological duals of Banach function spaces

abstract: This paper studies topological duals of Banach function spaces (BFS). We assume a finite measure but our arguments extend to general locally convex function spaces whose topology is generated by seminorms that satisfy the usual BFS axioms. The dual is identified with the direct sum of another space of random variables (K\"othe dual), a space of purely finitely additive measures and the annihilator of $L^\infty$. In the special case of rearrangement invariant spaces, the second component in the dual vanishes and we obtain various classical as well as new duality results e.g. on Lebesgue, Orlicz, Lorentz-Orlicz spaces and spaces of finite moments. Beyond rearrangement invariant spaces, we find the topological duals of Musielak-Orlicz spaces and those associated with general convex risk measures.


title: The Garrison-Wong quantum phase operator revisited

abstract: We revisit the quantum phase operator $\Phi$ introduced by Garrison and Wong. Denoting by $N$ the number operator, we provide a detailed proof of the Heisenberg commutation relation $\Phi N - N\Phi = iI$ on the natural maximal domain $D(\Phi N) \cap D(N \Phi)$ as well as the failure of the Weyl commutation relations, and discuss some further interesting properties of this pair.


title: DataProVe: A Data Protection Policy and System Architecture Verification Tool

abstract: In this paper, we propose a tool, called DataProVe, for specifying high-level data protection policies and system architectures, as well as verifying the conformance between them in a fully automated way. The syntax of the policies and the architectures is based on semi-formal languages, and the automated verification engine relies on logic and resolution based proofs. The functionality and operation of the tool are presented using different examples.


title: Institutional Grammar 2.0 Codebook

abstract: The Grammar of Institutions, or Institutional Grammar, is an established approach to encode policy information in terms of institutional statements based on a set of pre-defined syntactic components. This codebook provides coding guidelines for a revised version of the Institutional Grammar, the Institutional Grammar 2.0 (IG 2.0). IG 2.0 is a specification that aims at facilitating the encoding of policy to meet varying analytical objectives. To this end, it revises the grammar with respect to comprehensiveness, flexibility, and specificity by offering multiple levels of expressiveness (IG Core, IG Extended, IG Logico). In addition to the encoding of regulative statements, it further introduces the encoding of constitutive institutional statements, as well as statements that exhibit both constitutive and regulative characteristics. Introducing those aspects, the codebook initially covers fundamental concepts of IG 2.0, before providing an overview of pre-coding steps relevant for document preparation. Detailed coding guidelines are provided for both regulative and constitutive statements across all levels of expressiveness, along with the encoding guidelines for statements of mixed form -- hybrid and polymorphic institutional statements. The document further provides an overview of taxonomies used in the encoding process and referred to throughout the codebook. The codebook concludes with a summary and discussion of relevant considerations to facilitate the coding process. An initial Reader's Guide helps the reader tailor the content to her interest. Note that this codebook specifically focuses on operational aspects of IG 2.0 in the context of policy coding. Links to additional resources such as the underlying scientific literature (that offers a comprehensive treatment of the underlying theoretical concepts) are referred to in the DOI and the concluding section of the codebook.


title: Smooth Hilbert schemes: their classification and geometry

abstract: Closed subschemes in projective space with a fixed Hilbert polynomial are parametrized by a Hilbert scheme. We classify the smooth ones. We identify numerical conditions on a polynomial that completely determine when the Hilbert scheme is smooth. We also reinterpret these smooth Hilbert schemes as generalized partial flag varieties and describe the subschemes being parametrized.


title: Distributed Vehicle Grid Integration Over Communication and Physical Networks

abstract: This paper proposes a distributed framework for vehicle grid integration (VGI) taking into account the communication and physical networks. To this end, we model the electric vehicle (EV) behaviour that includes time of departure, time of arrival, state of charge, required energy, and its objectives, e.g., avoid battery degradation. Next, we formulate the centralised day ahead distribution market (DADM) which explicitly represents the physical system, supports unbalanced three phase networks with delta and wye connections, and incorporates the charging needs of EVs. The solution of the centralised market requires knowledge of EV information in terms of desired energy, departure and arrival times that EV owners are reluctant in providing. Moreover, the computational effort required to solve the DADM in cases of numerous EVs is very intensive. As such, we propose a distributed solution of the DADM clearing mechanism over a time-varying communication network. We illustrate the proposed VGI framework through the 13-bus, 33- bus, and 141-bus distribution feeders.


title: R-Symmetric Flipped SU(5)

abstract: We construct a supersymmetric flipped SU(5) grand unified model that possesses an $R$ symmetry. This $R$ symmetry forbids dangerous non-renormalizable operators suppressed by a cut-off scale up to sufficiently large mass dimensions so that the SU(5)-breaking Higgs field develops a vacuum expectation value of the order of the unification scale along the $F$- and $D$-flat directions, with the help of the supersymmetry-breaking effect. The mass terms of the Higgs fields are also forbidden by the $R$ symmetry, with which the doublet-triplet splitting problem is solved with the missing partner mechanism. The masses of right-handed neutrinos are generated by non-renormalizable operators, which then yield a light neutrino mass spectrum and mixing through the seesaw mechanism that are consistent with neutrino oscillation data. This model predicts one of the color-triplet Higgs multiplets to lie at an intermediate scale, and its mass is found to be constrained by proton decay experiments to be $\gtrsim 5 \times 10^{11}$ GeV. If it is $\lesssim 10^{12}$ GeV, future proton decay experiments at Hyper-Kamiokande can test our model in the $p \to \pi^0 \mu^+$ and $p \to K^0 \mu^+$ decay modes, in contrast to ordinary grand unified models where $p \to \pi^0 e^+ $ or $p \to K^+ \bar{\nu}$ is the dominant decay mode. This characteristic prediction for the proton decay branches enables us to distinguish our model from other scenarios.


title: Constraints on new physics from an improved calculation of parity violation in $^{133}$Cs

abstract: We report the result of our calculation of the nuclear spin-independent parity violating electric dipole transition amplitude ($E1_{PV}$) for the $6s ~ ^2S_{1/2} - 7s ~ ^2S_{1/2}$ transition in $^{133}$Cs to an accuracy of 0.3\% using a variant of the perturbed relativistic coupled-cluster theory. In the present work, we treat the contributions of both the low-lying and high-lying excited states to the above mentioned amplitude on the same footing, thereby overcoming the limitations of previous high accuracy relativistic coupled cluster calculations. We obtain an accurate value for the vector polarizability ($\beta$) for the above transition and by combining it with the results from our present calculation of $E1_{PV}$ and the latest measurement of $Im(E1_{PV}/\beta)$, we extract the nuclear weak charge ($Q_W$); and analyze its deviation from its value in the Standard Model (SM) in order to constrain certain scenarios of new physics beyond the SM.

categories: hep-ph nucl-th physics.atom-ph physics.comp-ph


title: Relationship between Radar Cross Section and Optical Magnitude based on Radar and Optical Simultaneous Observations of Faint Meteors

abstract: Radar and optical simultaneous observations of meteors are important to understand the size distribution of the interplanetary dust. However, faint meteors detected by high power large aperture radar observations, which are typically as faint as 10 mag. in optical, have not been detected until recently in optical observations, mainly due to insufficient sensitivity of the optical observations. In this paper, two radar and optical simultaneous observations were organized. The first observation was carried out in 2009 to 2010 using Middle and Upper Atmosphere Radar (MU radar) and an image-intensified CCD camera. The second observation was carried out in 2018 using the MU radar and a mosaic CMOS camera, Tomo-e Gozen, mounted on the 1.05-m Kiso Schmidt Telescope. In total, 331 simultaneous meteors were detected. The relationship between radar cross sections and optical V-band magnitudes was well approximated by a linear function. A transformation function from the radar cross section to the V-band magnitude was derived for sporadic meteors. The transformation function was applied to about 150,000 meteors detected by the MU radar in 2009--2015, large part of which are sporadic, and a luminosity function was derived in the magnitude range of $-1.5$ to $9.5$ mag. The luminosity function was well approximated by a single power-law function with the population index of $r = 3.52{\pm}0.12$. The present observation indicates that the MU radar has capability to detect interplanetary dust of $10^{-5}$ to $10^{0}$ g in mass as meteors.


abstract: We prove that Szczarba's twisting cochain is comultiplicative. In particular, the induced map from the cobar construction of the chains on a 1-reduced simplicial set X to the chains on the Kan loop group of X is a quasi-isomorphism of dg bialgebras. We also show that Szczarba's twisted shuffle map is a dgc map connecting a twisted Cartesian product with the associated twisted tensor product. This gives a natural dgc model for fibre bundles. We apply our results to finite covering spaces and to the Serre spectral sequence.


title: Localizing Anomalies from Weakly-Labeled Videos

abstract: Video anomaly detection under video-level labels is currently a challenging task. Previous works have made progresses on discriminating whether a video sequencecontains anomalies. However, most of them fail to accurately localize the anomalous events within videos in the temporal domain. In this paper, we propose a Weakly Supervised Anomaly Localization (WSAL) method focusing on temporally localizing anomalous segments within anomalous videos. Inspired by the appearance difference in anomalous videos, the evolution of adjacent temporal segments is evaluated for the localization of anomalous segments. To this end, a high-order context encoding model is proposed to not only extract semantic representations but also measure the dynamic variations so that the temporal context could be effectively utilized. In addition, in order to fully utilize the spatial context information, the immediate semantics are directly derived from the segment representations. The dynamic variations as well as the immediate semantics, are efficiently aggregated to obtain the final anomaly scores. An enhancement strategy is further proposed to deal with noise interference and the absence of localization guidance in anomaly detection. Moreover, to facilitate the diversity requirement for anomaly detection benchmarks, we also collect a new traffic anomaly (TAD) dataset which specifies in the traffic conditions, differing greatly from the current popular anomaly detection evaluation benchmarks.Extensive experiments are conducted to verify the effectiveness of different components, and our proposed method achieves new state-of-the-art performance on the UCF-Crime and TAD datasets.


title: Cellular Networks With Finite Precision CSIT: GDoF Optimality of Multi-Cell TIN and Extremal Gains of Multi-Cell Cooperation

abstract: We study the generalized degrees-of-freedom (GDoF) of cellular networks under finite precision channel state information at the transmitters (CSIT). We consider downlink settings modeled by the interfering broadcast channel (IBC) under no multi-cell cooperation, and the overloaded multiple-input-single-output broadcast channel (MISO-BC) under full multi-cell cooperation. We focus on three regimes of interest: the mc-TIN regime, where a scheme based on treating inter-cell interference as noise (mc-TIN) was shown to be GDoF optimal for the IBC; the mc-CTIN regime, where the GDoF region achievable by mc-TIN is convex without the need for time-sharing; and the mc-SLS regime which extends a previously identified regime, where a simple layered superposition (SLS) scheme is optimal for the 3-transmitter-3-user MISO-BC, to overloaded cellular-type networks with more users than transmitters. We first show that the optimality of mc-TIN for the IBC extends to the entire mc-CTIN regime when CSIT is limited to finite precision. The converse proof of this result relies on a new application of aligned images bounds. We then extend the IBC converse proof to the counterpart overloaded MISO-BC, obtained by enabling full transmitter cooperation. This, in turn, is utilized to show that a multi-cell variant of the SLS scheme is optimal in the mc-SLS regime under full multi-cell cooperation, albeit only for 2-cell networks. The overwhelming combinatorial complexity of the GDoF region stands in the way of extending this result to larger networks. Alternatively, we appeal to extremal network analysis, recently introduced by Chan et al., and study the GDoF gain of multi-cell cooperation over mc-TIN in the three regimes of interest. We show that this extremal GDoF gain is bounded by small constants in the mc-TIN and mc-CTIN regimes, yet scales logarithmically with the number of cells in the mc-SLS regime.


title: Cross-Modality Multi-Atlas Segmentation Using Deep Neural Networks

abstract: Both image registration and label fusion in the multi-atlas segmentation (MAS) rely on the intensity similarity between target and atlas images. However, such similarity can be problematic when target and atlas images are acquired using different imaging protocols. High-level structure information can provide reliable similarity measurement for cross-modality images when cooperating with deep neural networks (DNNs). This work presents a new MAS framework for cross-modality images, where both image registration and label fusion are achieved by DNNs. For image registration, we propose a consistent registration network, which can jointly estimate forward and backward dense displacement fields (DDFs). Additionally, an invertible constraint is employed in the network to reduce the correspondence ambiguity of the estimated DDFs. For label fusion, we adapt a few-shot learning network to measure the similarity of atlas and target patches. Moreover, the network can be seamlessly integrated into the patch-based label fusion. The proposed framework is evaluated on the MM-WHS dataset of MICCAI 2017. Results show that the framework is effective in both cross-modality registration and segmentation.


title: An Overview of Generalized Frequency Division Multiplexing (GFDM)

abstract: As a candidate waveform for next-generation wireless communications, generalized frequency division multiplexing (GFDM) features several decent properties which make it promising. In this paper, we systematically overview the research about GFDM. We start with GFDM transceivers with their main components, which consist of prototype filter design, low-complexity transceiver implementation, and symbol detection algorithms. Then, we investigate a couple of non-ideal issues of GFDM, including synchronization issues, channel estimation, and in-phase/quadrature (I/Q) imbalance compensation. Lastly, we study the applications of GFDM-based cognitive radio and full-duplex radio which boast of a high spectral efficiency.


title: Signal Separation Using a Mathematical Model of Physiological Signals for the Measurement of Heart Pulse Wave Propagation With Array Radar

abstract: The arterial pulse wave, which propagates along the artery, is an important indicator of various cardiovascular diseases. By measuring the displacement at multiple parts of the human body, pulse wave velocity can be estimated from the pulse transit time. This paper proposes a technique for signal separation using an antenna array, so that pulse wave propagation can be measured in a non-contact manner. The body displacements due to the pulse wave at different body parts are highly correlated, and cannot be accurately separated using techniques that assume independent or uncorrelated signals. The proposed method formulates the signal separation as an optimization problem, based on a mathematical model of the arterial pulse wave. The objective function in the optimization comprises four terms that are derived based on a small-displacement approximation, unimodal impulse response approximation, and a causality condition. The optimization process was implemented using a genetic algorithm. The effectiveness of the proposed method is demonstrated through numerical simulations and experiments.


title: SPIRou: nIR velocimetry & spectropolarimetry at the CFHT

abstract: This paper presents an overview of SPIRou, the new-generation near-infrared spectropolarimeter / precision velocimeter recently installed on the 3.6-m Canada-France-Hawaii Telescope (CFHT). Starting from the two main science goals, namely the quest for planetary systems around nearby M dwarfs and the study of magnetized star / planet formation, we outline the instrument concept that was designed to efficiently address these forefront topics, and detail the in-lab and on-sky instrument performances measured throughout the intensive testing phase that SPIRou was submitted to before passing the final acceptance review in early 2019 and initiating science observations. With a central position among the newly started programmes, the SPIRou Legacy Survey (SLS) Large Programme was allocated 300 CFHT nights until at least mid 2022. We also briefly describe a few of the first results obtained in the various science topics that SPIRou started investigating, focusing in particular on planetary systems of nearby M dwarfs, transiting exoplanets and their atmospheres, magnetic fields of young stars, but also on alternate science goals like the atmospheres of M dwarfs and the Earth's atmosphere. We finally conclude on the essential role that SPIRou and the CFHT can play in coordination with forthcoming major facilities like the JWST, the ELTs, PLATO and ARIEL over the decade.


title: A Special Conic Associated with the Reuleaux Negative Pedal Curve

abstract: The Negative Pedal Curve of the Reuleaux Triangle w.r. to a point $M$ on its boundary consists of two elliptic arcs and a point $P_0$. Interestingly, the conic passing through the four arc endpoints and by $P_0$ has a remarkable property: one of its foci is $M$. We provide a synthetic proof based on Poncelet's polar duality and inversive techniques. Additional intriguing properties of Reuleaux negative pedal are proved using straightforward techniques.


title: Static Neural Compiler Optimization via Deep Reinforcement Learning

abstract: The phase-ordering problem of modern compilers has received a lot of attention from the research community over the years, yet remains largely unsolved. Various optimization sequences exposed to the user are manually designed by compiler developers. In designing such a sequence developers have to choose the set of optimization passes, their parameters and ordering within a sequence. Resulting sequences usually fall short of achieving optimal runtime for a given source code and may sometimes even degrade the performance when compared to unoptimized version. In this paper, we employ a deep reinforcement learning approach to the phase-ordering problem. Provided with sub-sequences constituting LLVM's O3 sequence, our agent learns to outperform the O3 sequence on the set of source codes used for training and achieves competitive performance on the validation set, gaining up to 1.32x speedup on previously-unseen programs. Notably, our approach differs from autotuning methods by not depending on one or more test runs of the program for making successful optimization decisions. It has no dependence on any dynamic feature, but only on the statically-attainable intermediate representation of the source code. We believe that the models trained using our approach can be integrated into modern compilers as neural optimization agents, at first to complement, and eventually replace the hand-crafted optimization sequences.


title: Bipartite fidelity for models with periodic boundary conditions

abstract: For a given statistical model, the bipartite fidelity $\mathcal F$ is computed from the overlap between the groundstate of a system of size $N$ and the tensor product of the groundstates of the same model defined on two subsystems $A$ and $B$, of respective sizes $N_A$ and $N_B$ with $N = N_A + N_B$. In this paper, we study $\mathcal F$ for critical lattice models in the case where the full system has periodic boundary conditions. We consider two possible choices of boundary conditions for the subsystems $A$ and $B$, namely periodic and open. For these two cases, we derive the conformal field theory prediction for the leading terms in the $1/N$ expansion of $\mathcal F$, in a most general case that corresponds to the insertion of four and five fields, respectively. We provide lattice calculations of $\mathcal F$, both exact and numerical, for two free-fermionic lattice models: the XX spin chain and the model of critical dense polymers. We study the asymptotic behaviour of the lattice results for these two models and find an agreement with the predictions of conformal field theory.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: The discriminant Pfister form of an algebra with involution of capacity 4

abstract: To an orthogonal or unitary involution on a central simple algebra of degree 4, or to a symplectic involution on a central simple algebra of degree 8, we associate a Pfister form that characterises the decomposability of the algebra with involution. In this way we obtain a unified approach to known decomposability criteria for several cases, and a new result for symplectic involutions on degree $8$ algebras in characteristic 2.


title: The abundance of dwarf galaxies around low-mass giants in the Local Volume

abstract: The abundance of satellite dwarf galaxies has long been considered a crucial test for the current model of cosmology leading to the well-known missing satellite problem. Recent advances in both simulations and observations have allowed to study dwarf galaxies around host galaxies in more detail. We have surveyed a 72 deg2 area of the nearby Sculptor group using the Dark Energy Camera - also encompassing the two low-mass Local Volume galaxies NGC24 and NGC45 residing behind the group - to search for hitherto undetected dwarf galaxies. Apart from the previously known dwarf galaxies we have found only two new candidates down to a 3 sigma surface brightness detection limit of 27.4 r mag arcsec-2. Both systems are in projection close to NGC24. However, one of these candidates could be an ultra-diffuse galaxy associated to a background galaxy. We compared the number of known dwarf galaxy candidates around NGC24, NGC45, and five other well-studied low-mass giant galaxies (NGC 1156, NGC2403, NGC5023, M33, and the LMC) with predictions from cosmological simulations and found that for the stellar-to-halo mass models considered, the observed satellite numbers tend to be on the lower end of the expected range. This could either mean that there is an over-prediction of luminous subhalos in LambdaCDM or - and more likely - that we are missing some of the satellite members due to observational biases.


title: Linear hash-functions and their applications to error detection and correction

abstract: We describe and explore so-called linear hash functions and show how they can be used to build error detection and correction codes. The method can be applied for different types of errors (for example, burst errors). When the method is applied to a model where number of distorted letters is limited, the obtained estimate of its performance is slightly better than the known Varshamov-Gilbert bound. We also describe random code whose performance is close to the same boundary, but its construction is much simpler. In some cases the obtained methods are simpler and more flexible than the known ones. In particular, the complexity of the obtained error detection code and the well-known CRC code is close, but the proposed code, unlike CRC, can detect with certainty errors whose number does not exceed a predetermined limit.


title: Investigating the Effect of Intraclass Variability in Temporal Ensembling

abstract: Temporal Ensembling is a semi-supervised approach that allows training deep neural network models with a small number of labeled images. In this paper, we present our preliminary study on the effect of intraclass variability on temporal ensembling, with a focus on seed size and seed type, respectively. Through our experiments we find that (a) there is a significant drop in accuracy with datasets that offer high intraclass variability, (b) more seed images offer consistently higher accuracy across the datasets, and (c) seed type indeed has an impact on the overall efficiency, where it produces a spectrum of accuracy both lower and higher. Additionally, based on our experiments, we also find KMNIST to be a competitive baseline for temporal ensembling.


title: Patient ADE Risk Prediction through Hierarchical Time-Aware Neural Network Using Claim Codes

abstract: Adverse drug events (ADEs) are a serious health problem that can be life-threatening. While a lot of studies have been performed on detect correlation between a drug and an AE, limited studies have been conducted on personalized ADE risk prediction. Among treatment alternatives, avoiding the drug that has high likelihood of causing severe AE can help physicians to provide safer treatment to patients. Existing work on personalized ADE risk prediction uses the information obtained in the current medical visit. However, on the other hand, medical history reveals each patient's unique characteristics and comprehensive medical information. The goal of this study is to assess personalized ADE risks that a target drug may induce on a target patient, based on patient medical history recorded in claims codes, which provide information about diagnosis, drugs taken, related medical supplies besides billing information. We developed a HTNNR model (Hierarchical Time-aware Neural Network for ADE Risk) that capture characteristics of claim codes and their relationship. The empirical evaluation show that the proposed HTNNR model substantially outperforms the comparison methods, especially for rare drugs.


title: Measurement of the Generalized Polarizabilities of the Proton at Intermediate $Q^2$

abstract: Background: Generalized polarizabilities (GPs) are important observables to describe the nucleon structure, and measurements of these observables are still scarce. Purpose: This paper presents details of a virtual Compton scattering (VCS) experiment, performed at the A1 setup at the Mainz Microtron by studying the $e p \to e p \gamma$ reaction. The article focuses on selected aspects of the analysis. Method: The experiment extracted the $P_{LL} -P_{TT} / \epsilon$ and $P_{LT}$ structure functions, as well as the electric and magnetic GPs of the proton, at three new values of the four-momentum transfer squared $Q^2$: 0.10, 0.20 and 0.45 GeV$^2$. Results: We emphasize the importance of the calibration of experimental parameters. The behavior of the measured $e p \to e p \gamma$ cross section is presented and compared to the theory. A detailed investigation of the polarizability fits reveals part of their complexity, in connection with the higher-order terms of the low-energy expansion. Conclusions: The presented aspects are elements which contribute to minimize the systematic uncertainties and improve the precision of the physics results.


title: Perovskite-Inspired Materials for Photovoltaics -- From Design to Devices

abstract: Lead-halide perovskites have demonstrated astonishing increases in power conversion efficiency in photovoltaics over the last decade. The most efficient perovskite devices now outperform industry-standard multi-crystalline silicon solar cells, despite the fact that perovskites are typically grown at low temperature using simple solution-based methods. However, the toxicity of lead and its ready solubility in water are concerns for widespread implementation. These challenges, alongside the many successes of the perovskites, have motivated significant efforts across multiple disciplines to find lead-free and stable alternatives which could mimic the ability of the perovskites to achieve high performance with low temperature, facile fabrication methods. This Review discusses the computational and experimental approaches that have been taken to discover lead-free perovskite-inspired materials, and the recent successes and challenges in synthesizing these compounds. The atomistic origins of the extraordinary performance exhibited by lead-halide perovskites in photovoltaic devices is discussed, alongside the key challenges in engineering such high-performance in alternative, next-generation materials. Beyond photovoltaics, this Review discusses the impact perovskite-inspired materials have had in spurring efforts to apply new materials in other optoelectronic applications, namely light-emitting diodes, photocatalysts, radiation detectors, thin film transistors and memristors. Finally, the prospects and key challenges faced by the field in advancing the development of perovskite-inspired materials towards realization in commercial devices is discussed.


title: Drawing Tree-Based Phylogenetic Networks with Minimum Number of Crossings

abstract: In phylogenetics, tree-based networks are used to model and visualize the evolutionary history of species where reticulate events such as horizontal gene transfer have occurred. Formally, a tree-based network $N$ consists of a phylogenetic tree $T$ (a rooted, binary, leaf-labeled tree) and so-called reticulation edges that span between edges of $T$. The network $N$ is typically visualized by drawing $T$ downward and planar and reticulation edges with one of several different styles. One aesthetic criteria is to minimize the number of crossings between tree edges and reticulation edges. This optimization problem has not yet been researched. We show that, if reticulation edges are drawn x-monotone, the problem is NP-complete, but fixed-parameter tractable in the number of reticulation edges. If, on the other hand, reticulation edges are drawn like "ears", the crossing minimization problem can be solved in quadratic time.


title: The cohomology rings of real toric spaces and smooth real toric varieties

abstract: We compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra we present is in fact an equivariant dga model, valid for arbitrary coefficients. We deduce from our description that smooth toric varieties are M-varieties.


title: The density of rational lines on hypersurfaces: A bihomogeneous perspective

abstract: Let $F$ be a non-singular homogeneous polynomial of degree $d$ in $n$ variables. We give an asymptotic formula of the pairs of integer points $(\mathbf x, \mathbf y)$ with $|\mathbf x| \le X$ and $|\mathbf y| \le Y$ which generate a line lying in the hypersurface defined by $F$, provided that $n > 2^{d-1}d^4(d+1)(d+2)$. In particular, by restricting to Zariski-open subsets we are able to avoid imposing any conditions on the relative sizes of $X$ and $Y$.