title: Properties of five z~0.3-0.4 confirmed LyC leakers: VLT/XShooter observations

abstract: Using new VLT/XShooter spectral observations we analyse the physical properties of five z~0.3-0.4 confirmed LyC leakers. Strong resonant MgII 2796,2803 emission lines (I(2796,2803)/I(Hbeta)=10-38 per cent) and non-resonant FeII* 2612,2626 emission lines are observed in spectra of five and three galaxies, respectively. We find high electron densities Ne~400cm-3, significantly higher than in typical low-z, but comparable to those measured in z~2-3 star-forming galaxies. The galaxies have a mean value of logN/O=-1.16, close to the maximum values found for star-forming (SF) galaxies in the metallicity range of 12+logO/H=7.7-8.1. All 11 low-z LyC emitting galaxies found by Izotov et al. (2016, 2018), including the ones considered in the present study, are characterised by high EW(Hbeta)~200-400A, high ionisation parameter (log(U)=-2.5 to -1.7), high average ionising photon production efficiency \xi= 10^{25.54} Hz erg-1 and hard ionising radiation. On the BPT diagram we find the same offset of our leakers from low-$z$ main-sequence SFGs as that for local analogues of LBGs and extreme SF galaxies at z~2-3. We confirm the effectiveness of the HeI emission lines diagnostics proposed by Izotov et al. (2017) in searching for LyC leaker candidates and find that their intensity ratios correspond to those in a median with low neutral hydrogen column density N(HI)=10^{17}-5x10^{17} cm-2 that permit leakage of LyC radiation, likely due to their density-bounded HII regions.


title: The Devil is in Classification: A Simple Framework for Long-tail Object Detection and Instance Segmentation

abstract: Most existing object instance detection and segmentation models only work well on fairly balanced benchmarks where per-category training sample numbers are comparable, such as COCO. They tend to suffer performance drop on realistic datasets that are usually long-tailed. This work aims to study and address such open challenges. Specifically, we systematically investigate performance drop of the state-of-the-art two-stage instance segmentation model Mask R-CNN on the recent long-tail LVIS dataset, and unveil that a major cause is the inaccurate classification of object proposals. Based on such an observation, we first consider various techniques for improving long-tail classification performance which indeed enhance instance segmentation results. We then propose a simple calibration framework to more effectively alleviate classification head bias with a bi-level class balanced sampling approach. Without bells and whistles, it significantly boosts the performance of instance segmentation for tail classes on the recent LVIS dataset and our sampled COCO-LT dataset. Our analysis provides useful insights for solving long-tail instance detection and segmentation problems, and the straightforward \emph{SimCal} method can serve as a simple but strong baseline. With the method we have won the 2019 LVIS challenge. Codes and models are available at https://github.com/twangnh/SimCal.


title: Product Matrix Processes with Symplectic and Orthogonal Invariance via Symmetric Functions

abstract: We apply symmetric function theory to study random processes formed by singular values of products of truncations of Haar distributed symplectic and orthogonal matrices. These product matrix processes are degenerations of Macdonald processes introduced by Borodin and Corwin. Through this connection, we obtain explicit formulae for the distribution of singular values of a deterministic matrix multiplied by a truncated Haar orthogonal or symplectic matrix under conditions where the latter factor acts as a rank $1$ perturbation. Consequently, we generalize the recent Kieburg-Kuijlaars-Stivigny formula for the joint singular value density of a product of truncated unitary matrices to symplectic and orthogonal symmetry classes. Specializing to products of two symplectic matrices with a rank $1$ perturbative factor, we show that the squared singular values form a Pfaffian point process.


title: Gravitational interaction through a feedback mechanism

abstract: We study the models of Kafri, Taylor and Milburn (KTM) and Tilloy and Di\'osi (TD), both of which implement gravity between quantum systems through a continuous measurement and feedback mechanism. The first model is for two particles, moving in one dimension, where the Newtonian potential is linearized. The second is applicable to any quantum system, within the context of Newtonian gravity. We address the issue of how to generalize the KTM model for an arbitrary finite number of particles. We find that the most straightforward generalisations are either inconsistent or are ruled out by experimental evidence. We also show that the TD model does not reduce to the KTM model under the approximations which define the latter model. We then argue that under the simplest conditions, the TD model is the only viable implementation of a full-Newtonian interaction through a continuous measurement and feedback mechanism.


title: On Manually Reverse Engineering Communication Protocols of Linux Based IoT Systems

abstract: IoT security and privacy has raised grave concerns. Efforts have been made to design tools to identify and understand vulnerabilities of IoT systems. Most of the existing protocol security analysis techniques rely on a well understanding of the underlying communication protocols. In this paper, we systematically present the first manual reverse engineering framework for discovering communication protocols of embedded Linux based IoT systems. We have successfully applied our framework to reverse engineer a number of IoT systems. As an example, we present a detailed use of the framework reverse-engineering the WeMo smart plug communication protocol by extracting the firmware from the flash, performing static and dynamic analysis of the firmware and analyzing network traffic. The discovered protocol exposes severe design flaws that allow attackers to control or deny the service of victim plugs. Our manual reverse engineering framework is generic and can be applied to both read-only and writable Embedded Linux filesystems.


title: Magnetic characteristics of epitaxial NiO films studied by Raman spectroscopy

abstract: Raman spectroscopy is utilized to study the magnetic characteristics of heteroepitaxial NiO thin films grown by plasma-assisted molecular beam epitaxy on MgO(100) substrates. For the determination of the N\'eel temperature, we demonstrate a reliable approach by analyzing the temperature dependence of the Raman peak originating from second-order scattering by magnons. The antiferromagnetic coupling strength is found to be strongly influenced by the growth conditions. The low-temperature magnon frequency and the N\'eel temperature are demonstrated to depend on the biaxial lattice strain and the degree of structural disorder which is dominated by point defects.


title: CNN+RNN Depth and Skeleton based Dynamic Hand Gesture Recognition

abstract: Human activity and gesture recognition is an important component of rapidly growing domain of ambient intelligence, in particular in assisting living and smart homes. In this paper, we propose to combine the power of two deep learning techniques, the convolutional neural networks (CNN) and the recurrent neural networks (RNN), for automated hand gesture recognition using both depth and skeleton data. Each of these types of data can be used separately to train neural networks to recognize hand gestures. While RNN were reported previously to perform well in recognition of sequences of movement for each skeleton joint given the skeleton information only, this study aims at utilizing depth data and apply CNN to extract important spatial information from the depth images. Together, the tandem CNN+RNN is capable of recognizing a sequence of gestures more accurately. As well, various types of fusion are studied to combine both the skeleton and depth information in order to extract temporal-spatial information. An overall accuracy of 85.46% is achieved on the dynamic hand gesture-14/28 dataset.


title: Unsupervised Deep Representation Learning for Real-Time Tracking

abstract: The advancement of visual tracking has continuously been brought by deep learning models. Typically, supervised learning is employed to train these models with expensive labeled data. In order to reduce the workload of manual annotations and learn to track arbitrary objects, we propose an unsupervised learning method for visual tracking. The motivation of our unsupervised learning is that a robust tracker should be effective in bidirectional tracking. Specifically, the tracker is able to forward localize a target object in successive frames and backtrace to its initial position in the first frame. Based on such a motivation, in the training process, we measure the consistency between forward and backward trajectories to learn a robust tracker from scratch merely using unlabeled videos. We build our framework on a Siamese correlation filter network, and propose a multi-frame validation scheme and a cost-sensitive loss to facilitate unsupervised learning. Without bells and whistles, the proposed unsupervised tracker achieves the baseline accuracy as classic fully supervised trackers while achieving a real-time speed. Furthermore, our unsupervised framework exhibits a potential in leveraging more unlabeled or weakly labeled data to further improve the tracking accuracy.


title: Shape-CD: Change-Point Detection in Time-Series Data with Shapes and Neurons

abstract: Change-point detection in a time series aims to discover the time points at which some unknown underlying physical process that generates the time-series data has changed. We found that existing approaches become less accurate when the underlying process is complex and generates large varieties of patterns in the time series. To address this shortcoming, we propose Shape-CD, a simple, fast, and accurate change point detection method. Shape-CD uses shape-based features to model the patterns and a conditional neural field to model the temporal correlations among the time regions. We evaluated the performance of Shape-CD using four highly dynamic time-series datasets, including the ExtraSensory dataset with up to 2000 classes. Shape-CD demonstrated improved accuracy (7-60% higher in AUC) and faster computational speed compared to existing approaches. Furthermore, the Shape-CD model consists of only hundreds of parameters and require less data to train than other deep supervised learning models.


title: Dog Identification using Soft Biometrics and Neural Networks

abstract: This paper addresses the problem of biometric identification of animals, specifically dogs. We apply advanced machine learning models such as deep neural network on the photographs of pets in order to determine the pet identity. In this paper, we explore the possibility of using different types of "soft" biometrics, such as breed, height, or gender, in fusion with "hard" biometrics such as photographs of the pet's face. We apply the principle of transfer learning on different Convolutional Neural Networks, in order to create a network designed specifically for breed classification. The proposed network is able to achieve an accuracy of 90.80% and 91.29% when differentiating between the two dog breeds, for two different datasets. Without the use of "soft" biometrics, the identification rate of dogs is 78.09% but by using a decision network to incorporate "soft" biometrics, the identification rate can achieve an accuracy of 84.94%.


title: Multi-Metric Evaluation of Thermal-to-Visual Face Recognition

abstract: In this paper, we aim to address the problem of heterogeneous or cross-spectral face recognition using machine learning to synthesize visual spectrum face from infrared images. The synthesis of visual-band face images allows for more optimal extraction of facial features to be used for face identification and/or verification. We explore the ability to use Generative Adversarial Networks (GANs) for face image synthesis, and examine the performance of these images using pre-trained Convolutional Neural Networks (CNNs). The features extracted using CNNs are applied in face identification and verification. We explore the performance in terms of acceptance rate when using various similarity measures for face verification.


title: An agent-based model for interrelation between COVID-19 outbreak and economic activities

abstract: As of July, 2020, acute respiratory syndrome caused by coronavirus COVID-19 is spreading over the world and causing severe economic damages. While minimizing human contact is effective in managing the outbreak, it causes severe economic losses. Strategies solving this dilemma by considering interrelation between the spread of the virus and economic activities are in urgent needs for mitigating the health and economic damage. Here we propose an abstract agent-based model for the outbreak of COVID-19 in which economic activities are taken into account. The computational simulation of the model recapitulated the trade-off between health and economic damage associated with lockdown measures. Based on the simulation results, we discuss how macroscopic dynamics of infection and economy emerge from the individuals' behaviours. We believe our model can serve as a platform for discussing solutions to the abovementioned dilemma.


title: Existence of a global weak solution for a reaction-diffusion problem with membrane conditions

abstract: Several problems, issued from physics, biology or the medical science, lead to parabolic equations set in two sub-domains separated by a membrane with selective permeability to specific molecules. The corresponding boundary conditions, describing the flow through the membrane, are compatible with mass conservation and energy dissipation, and are called the Kedem-Katchalsky conditions. Additionally, in these models, written as reaction-diffusion systems, the reaction terms have a quadratic behaviour. M. Pierre and his collaborators have developed a complete $L^1$ theory for reaction-diffusion systems with different diffusions. Here, we adapt this theory to the membrane boundary conditions and prove the existence of weak solutions when the initial data has only $L^1$ regularity using the truncation method for the nonlinearities. In particular, we establish several estimates as the $W^{1,1}$ regularity of the solutions. Also, a crucial step is to adapt the fundamental $L^2$ (space, time) integrability lemma to our situation.


title: Generalized Scalar Field Cosmologies: A Global Dynamical Systems Formulation

abstract: Local and global phase-space descriptions and averaging methods are used to find qualitative features of solutions for the FLRW and the Bianchi I metrics in the context of scalar field cosmologies with arbitrary potentials and arbitrary couplings to matter. The stability of the equilibrium points in a phase-space as well as the dynamics in the regime where the scalar field diverges are studied. Equilibrium points that represent some solutions of cosmological interest such as: several types of scaling solutions, a kinetic dominated solution representing a stiff fluid, a solution dominated by an effective energy density of geometric origin, a quintessence scalar field dominated solution, the vacuum de Sitter solution associated to the minimum of the potential, and a non-interacting matter dominated solution are obtained. All reveal a very rich cosmological phenomenology.


title: Double constructions of quadratic and sympletic antiassociative algebras

abstract: This work addresses some relevant characteristics and properties of $q$-generalized associative algebras and $q$-generalized dendriform algebras such as bimodules, matched pairs. We construct for the special case of $q=-1$ an antiassociative algebra with a decomposition into the direct sum of the underlying vector spaces of another antiassociative algebra and its dual such that both of them are subalgebras and the natural symmetric bilinear form is invariant or the natural antisymmetric bilinear form is sympletic. The former is called a double construction of quadratic antiassociative algebra and the later is a double construction of sympletic antiassociative algebra which is interpreted in terms of antidendrifom algebras. We classify the 2-dimensional antiassociative algebras and thoroughly give some double constructions of quadratic and sympletic antiassociative algebras.


title: On complete monotonicity of solution to the fractional relaxation equation with the $n$th level fractional derivative

abstract: In this paper, we first deduce the explicit formulas for the projector of the $n$th level fractional derivative and for its Laplace transform. Then the fractional relaxation equation with the $n$th level fractional derivative is discussed. It turns out that under some conditions, the solutions to the initial-value problems for this equation are completely monotone functions that can be represented in form of the linear combinations of the Mittag-Leffler functions with some power law weights. Special attention is given to the case of the relaxation equation with the 2nd level derivative.


title: CVR-Net: A deep convolutional neural network for coronavirus recognition from chest radiography images

abstract: The novel Coronavirus Disease 2019 (COVID-19) is a global pandemic disease spreading rapidly around the world. A robust and automatic early recognition of COVID-19, via auxiliary computer-aided diagnostic tools, is essential for disease cure and control. The chest radiography images, such as Computed Tomography (CT) and X-ray, and deep Convolutional Neural Networks (CNNs), can be a significant and useful material for designing such tools. However, designing such an automated tool is challenging as a massive number of manually annotated datasets are not publicly available yet, which is the core requirement of supervised learning systems. In this article, we propose a robust CNN-based network, called CVR-Net (Coronavirus Recognition Network), for the automatic recognition of the coronavirus from CT or X-ray images. The proposed end-to-end CVR-Net is a multi-scale-multi-encoder ensemble model, where we have aggregated the outputs from two different encoders and their different scales to obtain the final prediction probability. We train and test the proposed CVR-Net on three different datasets, where the images have collected from different open-source repositories. We compare our proposed CVR-Net with state-of-the-art methods, which are trained and tested on the same datasets. We split three datasets into five different tasks, where each task has a different number of classes, to evaluate the multi-tasking CVR-Net. Our model achieves an overall F1-score & accuracy of 0.997 & 0.998; 0.963 & 0.964; 0.816 & 0.820; 0.961 & 0.961; and 0.780 & 0.780, respectively, for task-1 to task-5. As the CVR-Net provides promising results on the small datasets, it can be an auspicious computer-aided diagnostic tool for the diagnosis of coronavirus to assist the clinical practitioners and radiologists. Our source codes and model are publicly available at https://github.com/kamruleee51/CVR-Net.


title: Disentangling the Gauss-Newton Method and Approximate Inference for Neural Networks

abstract: In this thesis, we disentangle the generalized Gauss-Newton and approximate inference for Bayesian deep learning. The generalized Gauss-Newton method is an optimization method that is used in several popular Bayesian deep learning algorithms. Algorithms that combine the Gauss-Newton method with the Laplace and Gaussian variational approximation have recently led to state-of-the-art results in Bayesian deep learning. While the Laplace and Gaussian variational approximation have been studied extensively, their interplay with the Gauss-Newton method remains unclear. Recent criticism of priors and posterior approximations in Bayesian deep learning further urges the need for a deeper understanding of practical algorithms. The individual analysis of the Gauss-Newton method and Laplace and Gaussian variational approximations for neural networks provides both theoretical insight and new practical algorithms. We find that the Gauss-Newton method simplifies the underlying probabilistic model significantly. In particular, the combination of the Gauss-Newton method with approximate inference can be cast as inference in a linear or Gaussian process model. The Laplace and Gaussian variational approximation can subsequently provide a posterior approximation to these simplified models. This new disentangled understanding of recent Bayesian deep learning algorithms also leads to new methods: first, the connection to Gaussian processes enables new function-space inference algorithms. Second, we present a marginal likelihood approximation of the underlying probabilistic model to tune neural network hyperparameters. Finally, the identified underlying models lead to different methods to compute predictive distributions. In fact, we find that these prediction methods for Bayesian neural networks often work better than the default choice and solve a common issue with the Laplace approximation.


title: Algebraic intersection for translation surfaces in the stratum $\mathcal{H}(2)$

abstract: We study the quantity $\mbox{KVol}$ defined as the supremum, over all pairs of closed curves, of their algebraic intersection, divided by the product of their lengths, times the area of the surface. The surfaces we consider live in the stratum $\mathcal{H}(2)$ of translation surfaces of genus $2$, with one conical point. We provide an explicit sequence $L(n,n)$ of surfaces such that $\mbox{KVol}(L(n,n)) \longrightarrow 2$ when $n$ goes to infinity, $2$ being the conjectured infimum for $\mbox{KVol}$ over $\mathcal{H}(2)$.


title: Springer's work on unipotent classes and Weyl group representations

abstract: In this paper we discuss some of Springer's work on unipotent elements in a reductive groups and on representations of Weyl groups. Among the topics considered are Springer's bijection from the unipotent variety to the nilpotent variety, Springer's example of nonrationality of certain representations of the Hecke algebras associated to a Weyl group and the Springer representation of the Weyl group associated to a unipotent element.


title: Total Domination in Unit Disk Graphs

abstract: Let $G=(V,E)$ be an undirected graph. We call $D_t \subseteq V$ as a total dominating set (TDS) of $G$ if each vertex $v \in V$ has a dominator in $D$ other than itself. Here we consider the TDS problem in unit disk graphs, where the objective is to find a minimum cardinality total dominating set for an input graph. We prove that the TDS problem is NP-hard in unit disk graphs. Next, we propose an 8-factor approximation algorithm for the problem. The running time of the proposed approximation algorithm is $O(n \log k)$, where $n$ is the number of vertices of the input graph and $k$ is output size. We also show that TDS problem admits a PTAS in unit disk graphs.


title: Symmetric inclusion process with slow boundary: hydrodynamics and hydrostatics

abstract: We study the hydrodynamic and hydrostatic limits of the one-dimensional open symmetric inclusion process with slow boundary. Depending on the value of the parameter tuning the interaction rate of the bulk of the system with the boundary, we obtain a linear heat equation with either Dirichlet, Robin or Neumann boundary conditions as hydrodynamic equation. In our approach, we combine duality and first-second class particle techniques to reduce the scaling limit of the inclusion process to the limiting behavior of a single, non-interacting, particle.


title: Planetary Systems in a Star Cluster II: intermediate-mass black holes and planetary systems

abstract: Most stars form in dense stellar environments. It is speculated that some dense star clusters may host intermediate-mass black holes (IMBHs), which may have formed from runaway collisions between high-mass stars, or from the mergers of less massive black holes. Here, we numerically explore the evolution of populations of planets in star clusters with an IMBH. We study the dynamical evolution of single-planet systems and free-floating planets, over a period of 100~Myr, in star clusters without an IMBH, and in clusters with a central IMBH of mass $100~M_\odot$ or $200~M_\odot$. In the central region ($r\lesssim 0.2$~pc), the IMBH's tidal influence on planetary systems is typically 10~times stronger than the average neighbour star. For a star cluster with a $200M_\odot$ IMBH, the region in which the IMBH's influence is stronger within the virial radius ($\sim 1$~pc). The IMBH quenches mass segregation, and the stars in the core tend to move towards intermediate regions. The ejection rate of both stars and planets is higher when an IMBH is present. The rate at which planets are expelled from their host star rate is higher for clusters with higher IMBH masses, for $t<0.5 t_{rh}$, while remains mostly constant while the star cluster fills its Roche lobe, similar to a star cluster without an IMBH. The disruption rate of planetary systems is higher in initially denser clusters, and for wider planetary orbits, but this rate is substantially enhanced by the presence of a central IMBH.


title: ADER: Adaptively Distilled Exemplar Replay Towards Continual Learning for Session-based Recommendation

abstract: Session-based recommendation has received growing attention recently due to the increasing privacy concern. Despite the recent success of neural session-based recommenders, they are typically developed in an offline manner using a static dataset. However, recommendation requires continual adaptation to take into account new and obsolete items and users, and requires "continual learning" in real-life applications. In this case, the recommender is updated continually and periodically with new data that arrives in each update cycle, and the updated model needs to provide recommendations for user activities before the next model update. A major challenge for continual learning with neural models is catastrophic forgetting, in which a continually trained model forgets user preference patterns it has learned before. To deal with this challenge, we propose a method called Adaptively Distilled Exemplar Replay (ADER) by periodically replaying previous training samples (i.e., exemplars) to the current model with an adaptive distillation loss. Experiments are conducted based on the state-of-the-art SASRec model using two widely used datasets to benchmark ADER with several well-known continual learning techniques. We empirically demonstrate that ADER consistently outperforms other baselines, and it even outperforms the method using all historical data at every update cycle. This result reveals that ADER is a promising solution to mitigate the catastrophic forgetting issue towards building more realistic and scalable session-based recommenders.


title: S-duality and supersymmetry on curved manifolds

abstract: We perform a systematic study of S-duality for ${\cal N}=2$ supersymmetric non-linear abelian theories on a curved manifold. Localization can be used to compute certain supersymmetric observables in these theories. We point out that localization and S-duality acting as a Legendre transform are not compatible. For these theories S-duality should be interpreted as Fourier transform and we provide some evidence for this. We also suggest the notion of a coholomological prepotential for an abelian theory that gives the same partition function as a given non-abelian supersymmetric theory.


title: Grale: Designing Networks for Graph Learning

abstract: How can we find the right graph for semi-supervised learning? In real world applications, the choice of which edges to use for computation is the first step in any graph learning process. Interestingly, there are often many types of similarity available to choose as the edges between nodes, and the choice of edges can drastically affect the performance of downstream semi-supervised learning systems. However, despite the importance of graph design, most of the literature assumes that the graph is static. In this work, we present Grale, a scalable method we have developed to address the problem of graph design for graphs with billions of nodes. Grale operates by fusing together different measures of(potentially weak) similarity to create a graph which exhibits high task-specific homophily between its nodes. Grale is designed for running on large datasets. We have deployed Grale in more than 20 different industrial settings at Google, including datasets which have tens of billions of nodes, and hundreds of trillions of potential edges to score. By employing locality sensitive hashing techniques,we greatly reduce the number of pairs that need to be scored, allowing us to learn a task specific model and build the associated nearest neighbor graph for such datasets in hours, rather than the days or even weeks that might be required otherwise. We illustrate this through a case study where we examine the application of Grale to an abuse classification problem on YouTube with hundreds of million of items. In this application, we find that Grale detects a large number of malicious actors on top of hard-coded rules and content classifiers, increasing the total recall by 89% over those approaches alone.


title: Weighted Meyers estimates in perforated domains

abstract: The present work aims to provide Meyers estimates throughout a finer inner regularity theory in perforated domains. We also provide a hypercontractivity property on correctors whenever the perforations are controlled with a uniformly bounded random variable and the underlying probability space admits a weaker form of ergodicity which we called coarsened logarithmic Sobolev inequality.


title: Federated Learning in the Sky: Aerial-Ground Air Quality Sensing Framework with UAV Swarms

abstract: Due to air quality significantly affects human health, it is becoming increasingly important to accurately and timely predict the Air Quality Index (AQI). To this end, this paper proposes a new federated learning-based aerial-ground air quality sensing framework for fine-grained 3D air quality monitoring and forecasting. Specifically, in the air, this framework leverages a light-weight Dense-MobileNet model to achieve energy-efficient end-to-end learning from haze features of haze images taken by Unmanned Aerial Vehicles (UAVs) for predicting AQI scale distribution. Furthermore, the Federated Learning Framework not only allows various organizations or institutions to collaboratively learn a well-trained global model to monitor AQI without compromising privacy, but also expands the scope of UAV swarms monitoring. For ground sensing systems, we propose a Graph Convolutional neural network-based Long Short-Term Memory (GC-LSTM) model to achieve accurate, real-time and future AQI inference. The GC-LSTM model utilizes the topological structure of the ground monitoring station to capture the spatio-temporal correlation of historical observation data, which helps the aerial-ground sensing system to achieve accurate AQI inference. Through extensive case studies on a real-world dataset, numerical results show that the proposed framework can achieve accurate and energy-efficient AQI sensing without compromising the privacy of raw data.


title: Blow-up and global existence for the inhomogeneous porous medium equation with reaction

abstract: We study finite time blow-up and global existence of solutions to the Cauchy problem for the porous medium equation with a variable density $\rho(x)$ and a power-like reaction term. We show that for small enough initial data, if $\rho(x)\sim \frac{1}{\left(\log|x|\right)^{\alpha}|x|^{2}}$ as $|x|\to \infty$, then solutions globally exist for any $p>1$. On the other hand, when $\rho(x)\sim\frac{\left(\log|x|\right)^{\alpha}}{|x|^{2}}$ as $|x|\to \infty$, if the initial datum is small enough then one has global existence of the solution for any $p>m$, while if the initial datum is large enough then the blow-up of the solutions occurs for any $p>m$. Such results generalize those established in [27] and [28], where it is supposed that $\rho(x)\sim |x|^{-q}$ for $q>0$ as $|x|\to \infty$.


title: A sound interpretation of Le\'sniewski's epsilon in modal logic KTB

abstract: In this paper, we shall show that the following translation $I^M$ from the propositional fragment $\bf L_1$ of Le\'{s}niewski's ontology to modal logic $\bf KTB$ is sound: for any formula $\phi$ and $\psi$ of $\bf L_1$, it is defined as \smallskip (M1) $I^M(\phi \vee \psi)$ = $I^M(\phi) \vee I^M(\psi),$ (M2) $I^M(\neg \phi)$ = $\neg I^M(\phi),$ (M3) $I^M(\epsilon ab)$ = $\Diamond p_a \supset p_a . \wedge . \Box p_a \supset \Box p_b . \wedge . \Diamond p_b \supset p_a,$ \smallskip \noindent where $p_a$ and $p_b$ are propositional variables corresponding to the name variables $a$ and $b$, respectively. In the last section, we shall give some open problems and my conjectures.


title: The Relationship between the Economic and Financial Crises and Unemployment Rate in the European Union -- How Institutions Affected Their Linkage

abstract: This paper aims to estimate the impact of economic and financial crises on the unemployment rate in the European Union, taking also into consideration the institutional specificities, since unemployment was the main channel through which the economic and financial crisis influenced the social developments.. In this context, I performed two institutional clusters depending on their inclusive or extractive institutional features and, in each cases, I computed the crisis effect on unemployment rate over the 2003-2017 period. Both models were estimated by using Panel Estimated Generalized Least Squares method, and are weighted by Period SUR option in order to remove, in advance the possible inconveniences of the models. The institutions proved to be a relevant criterion that drives the impact of economic and financial crises on the unemployment rate, highlighting that countries with inclusive institutions are less vulnerable to economic shocks and are more resilient than countries with extractive institutions. The quality of institutions was also found to have a significant effect on the response of unemployment rate to the dynamic of its drivers.


title: Quantifying the effect of cooled initial conditions on cosmic string network evolution

abstract: Quantitative studies of the evolution and cosmological consequences of networks of cosmic strings (or other topological defects) require a combination of numerical simulations and analytic modeling with the velocity-dependent one-scale (VOS) model. In previous work, we demonstrated that a GPU-accelerated code for local Abelian-Higgs string networks enables a statistical separation of key dynamical processes affecting the evolution of the string networks and thus a precise calibration of the VOS model. Here we further exploit this code in a detailed study of two important aspects connecting the simulations with the VOS model. First, we study the sensitivity of the model calibration to the presence (or absence) of thermal oscillations due to high gradients in the initial conditions. This is relevant since in some Abelian-Higgs simulations described in the literature a period of artificial (unphysical) dissipation---usually known as cooling---is introduced with the goal of suppressing these oscillations and accelerating the convergence to scaling. We show that a small amount of cooling has no statistically significant impact on the VOS model calibration, while a longer dissipation period does have a noticeable effect. Second, in doing this analysis we also introduce an improved Markov Chain Monte Carlo based pipeline for calibrating the VOS model, Comparison to our previous bootstrap based pipeline shows that the latter accurately determined the best-fit values of the VOS model parameter, but underestimated the uncertainties in some of the parameters. Overall, our analysis shows that the calibration pipeline is robust and can be applied to future much larger field theory simulations.


title: On fair entropy of the tent family

abstract: The notions of fair measure and fair entropy were introduced by Misiurewicz and Rodrigues recently, and discussed in detail for piecewise monotone interval maps. In particular, they showed that the fair entropy $h(a)$ of the tent map $f_a$, as a function of the parameter $a=\exp(h_{top}(f_a))$, is continuous and strictly increasing on $[\sqrt{2},2]$. In this short note, we extend the last result and characterize regularity of the function $h$ precisely. We prove that $h$ is $\frac{1}{2}$-H\"{o}lder continuous on $[\sqrt{2},2]$ and identify its best H\"{o}lder exponent on each subinterval of $[\sqrt{2},2]$. On the other hand, parallel to a recent result on topological entropy of the quadratic family due to Dobbs and Mihalache, we give a formula of pointwise H\"{o}lder exponents of $h$ at parameters chosen in an explicitly constructed set of full measure. This formula particularly implies that the derivative of $h$ vanishes almost everywhere.


title: Renormalization group study of superfluid phase transition: effect of compressibility

abstract: Dynamic critical behavior in superfluid systems is considered in a presence of external stirring and advecting processes. The latter are generated by means of the Gaussian random velocity ensemble with white-noise character in time variable and self-similar spatial dependence. The main focus of this work is to analyze an effect of compressible modes on the critical behavior. The model is formulated through stochastic Langevin equations, which are then recast into Janssen-De Dominicis response formalism. Employing the field-theoretic perturbative renormalization group method we analyze large-scale properties of the model. Explicit calculations are performed to the leading one-loop approximation in the double $(\varepsilon, y)$ expansion scheme, where $\varepsilon$ is a deviation from the upper critical dimension $d_c = 4$ and $y$ describes a scaling properties of the velocity ensemble. Altogether five distinct universality classes are expected to be macroscopically observable. In contrast to the incompressible case, we found that compressibility leads to an enhancement and stabilization of non-trivial asymptotic regimes.


title: Constraining the in-medium nucleon-nucleon cross section from the width of nuclear giant dipole resonance

abstract: We develop a new lattice Hamiltonian method for solving the Boltzmann-Uehling-Uhlenbeck (BUU) equation. Adopting the stochastic approach to treat the collision term and using the GPU parallel computing to carry out the calculations allows for a rather high accuracy in evaluating the collision term, especially its Pauli blocking, leading thus to a new level of precision in solving the BUU equation. Applying this lattice BUU method to study the width of giant dipole resonance (GDR) in nuclei, where the accurate treatment of the collision term is crucial, we find that the obtained GDR width of $^{208}{\rm Pb}$ shows a strong dependence on the in-medium nucleon-nucleon cross section $\sigma_{\rm NN}^*$. A very large medium reduction of $\sigma_{\rm NN}^*$ is needed to reproduce the measured value of the GDR width of $^{208}{\rm Pb}$ at the Research Center for Nuclear Physics in Osaka, Japan.


title: The HEV Ventilator

abstract: HEV is a low-cost, versatile, high-quality ventilator, which has been designed in response to the COVID-19 pandemic. The ventilator is intended to be used both in and out of hospital intensive care units, and for both invasive and non-invasive ventilation. The hardware can be complemented with an external turbine for use in regions where compressed air supplies are not reliably available. The standard modes provided include PC-A/C(Pressure Assist Control),PC-A/C-PRVC(Pressure Regulated Volume Control), PC-PSV (Pressure Support Ventilation) and CPAP (Continuous Positive airway pressure). HEV is designed to support remote training and post market surveillance via a web interface and data logging to complement the standard touch screen operation, making it suitable for a wide range of geographical deployment. The HEV design places emphasis on the quality of the pressure curves and the reactivity of the trigger, delivering a global performance which will be applicable to ventilator needs beyond theCOVID-19 pandemic. This article describes the conceptual design and presents the prototype units together with their performance evaluation.


title: Stability estimates for reconstruction from the Fourier transform on the ball

abstract: We prove H\"{o}lder-logarithmic stability estimates for the problem of finding an integrable function $v$ on $\mathbb{R}^d$ with a super-exponential decay at infinity from its Fourier transform $\mathcal{F} v$ given on the ball $B_r$. These estimates arise from a H\"{o}lder-stable extrapolation of $\mathcal{F} v$ from $B_r$ to a larger ball. We also present instability examples showing an optimality of our results.


title: Engineering multipartite entangled states in doubly pumped parametric down-conversion processes

abstract: We investigate the quantum state generated by optical parametric down-conversion in a $\chi^{(2) } $ medium driven by two noncollinear light modes. The analysis shows the emergence of multipartite, namely 3- or 4-partite, entangled states in a subset of the spatio-temporal modes generated by the process. These appear as bright spots against the background fluorescence, providing an interesting analogy with the phenomenology recently observed in two-dimensional nonlinear photonic crystals. We study two realistic setups: i) Non-critical phase-matching in a periodically poled Lithium Tantalate slab, characterized by a 3-mode entangled state among hot spots. ii) A type I setup in a Beta-Barium Borate crystal, where the spatial walk-off between the two pumps can be exploited to make a transition to a quadripartite entangled state. In both cases we show that the properties of the state can be controlled by modulating the relative intensity of two pump waves, making the device a versatile tool for quantum state engineering.


title: Dataflow Analysis With Prophecy and History Variables

abstract: Leveraging concepts from state machine refinement proofs, we use prophecy variables, which predict information about the future program execution, to enable forward reasoning for backward dataflow analyses. Drawing prophecy and history variables (concepts from the dynamic execution of the program) from the same lattice as the static program analysis results, we require the analysis results to satisfy both the dataflow equations and the transition relations in the operational semantics of underlying programming language. This approach eliminates explicit abstraction and concretization functions and promotes a more direct connection between the analysis and program executions, with the connection taking the form of a bisimulation relation between concrete executions and an augmented operational semantics over the analysis results. We present several classical dataflow analyses with this approach (live variables, very busy expressions, defined variables, and reaching definitions) along with proofs that highlight how this approach can enable more streamlined reasoning. To the best of our knowledge, we are the first to use prophecy variables for dataflow analysis.


title: ARC 3.0: An expanded Python toolbox for atomic physics calculations

abstract: ARC 3.0 is a modular, object-oriented Python library combining data and algorithms to enable the calculation of a range of properties of alkali and divalent atoms. Building on the initial version of the ARC library [N. \v{S}ibali\'c et al, Comput. Phys. Commun. 220, 319 (2017)], which focused on Rydberg states of alkali atoms, this major upgrade introduces support for divalent atoms. It also adds new methods for working with atom-surface interactions, for modelling ultracold atoms in optical lattices and for calculating valence electron wave functions and dynamic polarisabilities. Such calculations have applications in a variety of fields, e.g., in the quantum simulation of many-body physics, in atom-based sensing of DC and AC fields (including in microwave and THz metrology) and in the development of quantum gate protocols. ARC 3.0 comes with an extensive documentation including numerous examples. Its modular structure facilitates its application to a wide range of problems in atom-based quantum technologies.

categories: physics.atom-ph cond-mat.quant-gas physics.comp-ph quant-ph


title: Bregman nonexpansive type actions of semitopological semigroups

abstract: Let $S$ be a semitopological semigroup, and let $C$ be a nonempty closed convex subset of a reflexive Banach space. Under some amenability conditions on $S$, we provide existence results of fixed points for several Bregman nonexpansive type actions $S\times C\to C$, $(s,x)\mapsto T_s x$, of $S$ on $C$. The mappings $T_s$ we discuss include those being Bregman generalized hybrid, Bregman nonspreading, and Bregman left asymptotically nonexpansive.


title: Cubic Surfaces of Characteristic Two

abstract: Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a "triangle".


title: Survey of Human Factors in Crisis Responsive Software Development

abstract: Software development, despite all the significant improvements it contributes to society, is a very expensive high-risk venture. Every software project commences with the intention to deliver a software product on time and within budget, but a great percentage of these software projects either fail to achieve their full potential or fail entirely. A lot of factors come to play in this regard and the dominant amongst them, which is often overlooked and oftentimes the biggest or strongest factor, is the human factor, as software development is a basic human endeavor. Knowledge and understanding of human factors can greatly influence the success of software development. The purpose of this survey is to find out and throw more light on the human factors that have influences in crisis responsive software development, spell out some recommendations, and suggest future research directions. In this paper, we use a case study to investigate the human factors.


title: Few-shot Visual Reasoning with Meta-analogical Contrastive Learning

abstract: While humans can solve a visual puzzle that requires logical reasoning by observing only few samples, it would require training over large amount of data for state-of-the-art deep reasoning models to obtain similar performance on the same task. In this work, we propose to solve such a few-shot (or low-shot) visual reasoning problem, by resorting to analogical reasoning, which is a unique human ability to identify structural or relational similarity between two sets. Specifically, given training and test sets that contain the same type of visual reasoning problems, we extract the structural relationships between elements in both domains, and enforce them to be as similar as possible with analogical learning. We repeatedly apply this process with slightly modified queries of the same problem under the assumption that it does not affect the relationship between a training and a test sample. This allows to learn the relational similarity between the two samples in an effective manner even with a single pair of samples. We validate our method on RAVEN dataset, on which it outperforms state-of-the-art method, with larger gains when the training data is scarce. We further meta-learn our analogical contrastive learning model over the same tasks with diverse attributes, and show that it generalizes to the same visual reasoning problem with unseen attributes.


title: Maximal Cocliques in the Generating Graphs of the Alternating and Symmetric Groups

abstract: The generating graph $\Gamma(G)$ of a finite group $G$ has vertex set the non-identity elements of $G$, with two elements connected exactly when they generate $G$. A coclique in a graph is an empty induced subgraph, so a coclique in $\Gamma(G)$ is a subset of $G$ such that no pair of elements generate $G$. A coclique is maximal if it is contained in no larger coclique. It is easy to see that the non-identity elements of a maximal subgroup of $G$ form a coclique in $\Gamma(G)$, but this coclique need not be maximal. In this paper we determine when the intransitive maximal subgroups of $\textrm{S}_n$ and $\textrm{A}_n$ are maximal cocliques in the generating graph. In addition, we prove a conjecture of Cameron, Lucchini, and Roney-Dougal [3] in the case of $G = \textrm{A}_n$ and $\textrm{S}_n$, when n is prime and $n \neq \frac{(q^d -1)}{(q-1)}$ for all prime powers $q$ and $d \geq 2$. Namely, we show that two elements of $G$ have identical sets of neighbours in $\Gamma(G)$ if and only if they belong to exactly the same maximal subgroups.


title: Manipulation of room-temperature Valley-Coherent Exciton-Polaritons in atomically thin crystals by real and artificial magnetic fields

abstract: Strong spin-orbit coupling and inversion symmetry breaking in transition metal dichalcogenide monolayers yield the intriguing effects of valley-dependent optical selection rules. As such, it is possible to substantially polarize valley excitons with chiral light and furthermore create coherent superpositions of K and K- polarized states. Yet, at ambient conditions dephasing usually becomes too dominant, and valley coherence typically is not observable. Here, we demonstrate that valley coherence is, however, clearly observable for a single monolayer of WSe2, if it is strongly coupled to the optical mode of a high quality factor microcavity. The azimuthal vector, representing the phase of the valley coherent superposition, can be directly manipulated by applying magnetic fields, and furthermore, it sensibly reacts to the polarization anisotropy of the cavity which represents an artificial magnetic field. Our results are in qualitative and quantitative agreement with our model based on pseudospin rate equations, accounting for both effects of real and pseudo-magnetic fields.


title: Critical Tidal Currents in General Relativity

abstract: Relativistic tidal equations are formulated with respect to the rest frame of a central gravitational source and their solutions are studied. The existence of certain relativistic critical tidal currents are thereby elucidated. Specifically, observers that are spatially at rest in the exterior Kerr spacetime are considered in detail; in effect, these fiducial observers define the rest frame of the Kerr source. The general tidal equations for the free motion of test particles are worked out with respect to the Kerr background. The analytic solutions of these equations are investigated and the existence of a tidal acceleration mechanism is emphasized.


title: Pressure induced collapse of magnetic order in jarosite

abstract: We report a pressure-induced phase transition in the frustrated kagom\'e material jarosite at ~45 GPa, which leads to the disappearance of magnetic order. Using a suite of experimental techniques, we characterize the structural, electronic, and magnetic changes in jarosite through this phase transition. Synchrotron powder X-ray diffraction and Fourier transform infrared spectroscopy experiments, analyzed in aggregate with the results from density functional theory calculations, indicate that the material changes from a R-3m structure to a structure with a R-3c space group. The resulting phase features a rare twisted kagom\'e lattice in which the integrity of the equilateral Fe3+ triangles persists. Based on symmetry arguments we hypothesize that the resulting structural changes alter the magnetic interactions to favor a possible quantum paramagnetic phase at high pressure.


title: On Dirac Quantisation rules and the trace anomaly

abstract: In this article I shall clarify various aspects of the Dirac quantisation rules of 1930\cite{Dirac}, namely (i) the choice of antisymmetric Poisson brackets, (ii) the first quantisation Rule 1 (iii) the second quantisation Rule 2, and their relations to the trace anomaly. In fact in 1925 Dirac already had a preliminarily formulation of these rules \cite{Dirac3}. Using them, he had independently rediscovered the Born-Jordan quantisation rule \cite{BornJordan1925} and called it the quantum condition. This is the best known and undoubtedly most significant of the canonical quantisation rules of quantum mechanics. We shall discuss several violations of the Poisson-Lie algebra (assumed by Dirac), starting from antisymmetry, which is the first criterion for defining a Lie algebra. Similar violations also occur for the Leibniz's rule and the Jacobi identity, the latter we shall also prove for all our quantum Poisson brackets. That none of these violations jeopardised Dirac's ingenious original derivation \cite{Dirac} of his first quantisation Rule 1, is quite remarkable. This is because the violations are all of higher orders in $\hbar$. We shall further show that (ii) does not automatically lead to a trace anomaly for certain bounded integrable operators. Several issues that are both pedagogical and foundational arising from this study show that quantum mechanics is still not a finished product. I shall briefly mention some attempts and options to complete its development.


title: Gas Content Regulates the Lifecycle of Star Formation and Black Hole Accretion in Galaxies

abstract: Active galactic nucleus (AGN) feedback is expected to impact the amount of cold gas in galaxies by driving strong galactic winds, by preventing external gas inflows, or by changing the thermodynamical state of the gas. We use molecular gas mass estimates based on dust absorption (H$\alpha$/H$\beta$) to study gas content of large samples of type 2 AGN host galaxies in comparison with inactive galaxies. Using sparse principal component and clustering analysis, we analyze a suite of stellar and structural parameters of $\sim 27,100$ face-on, central galaxies at redshift $z = 0.02-0.15$ and with stellar mass $M_\star \approx 10^{10}-2\times 10^{11}\,M_\odot$. We identify four galaxy groups of similar mass and morphology (mass surface density, velocity dispersion, concentration, and S\'{e}rsic index) that can be evolutionarily linked through a lifecycle wherein gas content mediates their star formation rate (SFR) and level of AGN activity. Galaxies first consume their gas mostly through bursty star formation, then enter into a transition phase of intermediate gas richness in which star formation and AGNs coexist, before settling into retirement as gas-poor, quiescent systems with residual levels of AGN activity (LINERs). Strongly accreting black holes (Seyferts) live in gas-rich, star-forming hosts, but neither their gas reservoir nor their ability to form stars seem to be impacted \emph{instantaneously} (timescales $\lesssim 0.5$\,Gyr) by AGN feedback. Our results are inconsistent with AGN feedback models that predict that central, bulge-dominated, Seyfert-like AGNs in massive galaxies have significantly lower molecular gas fractions compared to inactive galaxies of similar mass, morphology, and SFR.


title: Unbounded operators: (square) roots, nilpotence, closability and some related invertibility results

abstract: In this paper, we are mainly concerned with studying arbitrary unbounded square roots of linear operators as well as some of their basic properties. The paper contains many examples and counterexamples. As an illustration, we give explicit everywhere defined unbounded non-closable $nth$ roots of the identity operator as well as the zero operator. We also show a non-closable unbounded operator without any non-closable square root. Among other consequences, we have a way of finding everywhere defined bijective operators, everywhere defined operators which are surjective without being injective and everywhere defined operators which are injective without being surjective. Some related results on nilpotence are also given.


title: A comparative analysis of knowledge acquisition performance in complex networks

abstract: Discovery processes have been an important topic in the network science field. The exploration of nodes can be understood as the knowledge acquisition process taking place in the network, where nodes represent concepts and edges are the semantical relationships between concepts. While some studies have analyzed the performance of the knowledge acquisition process in particular network topologies, here we performed a systematic performance analysis in well-known dynamics and topologies. Several interesting results have been found. Overall, all learning curves displayed the same learning shape, with different speed rates. We also found ambiguities in the feature space describing the learning curves, meaning that the same knowledge acquisition curve can be generated in different combinations of network topology and dynamics. A surprising example of such patterns are the learning curves obtained from random and Waxman networks: despite the very distinct characteristics in terms of global structure, several curves from different models turned out to be similar. All in all, our results suggest that different learning strategies can lead to the same learning performance. From the network reconstruction point of view, however, this means that learning curves of observed sequences should be combined with other sequence features if one aims at inferring network topology from observed sequences.


title: Quasi-homologous evolution of self-gravitating systems with vanishing complexity factor

abstract: We investigate the evolution of self-gravitating either dissipative or non--dissipative systems satisfying the condition of minimal complexity, and whose areal radius velocity is proportional to the areal radius (quasi-homologous condition). Several exact analytical models are found under the above mentioned conditions. Some of the presented models describe the evolution of spherically symmetric dissipative fluid distributions whose center is surrounded by a cavity. Some of them satisfy the Darmois conditions whereas others present shells and must satisfy the Israel condition on either one or both boundary surfaces. Prospective applications of some of these models to astrophysical scenarios are discussed.


title: Auroral kilometric radiation and electron pairing

abstract: We suggest that pairing of bouncing medium-energy electrons in the auroral upward current region close to the mirror points may play a role in driving the electron cyclotron maser instability to generate an escaping narrow band fine structure in the auroral kilometric radiation. We treat this mechanism in the gyrotron approximation, for simplicity using the extreme case of a weakly relativistic Dirac distribution instead the more realistic anisotropic J\"uttner distribution. Promising estimates of bandwidth, frequency drift and spatial location are given.


title: The r-largest four parameter kappa distribution

abstract: The generalized extreme value distribution (GEVD) has been widely used to model the extreme events in many areas. It is however limited to using only block maxima, which motivated to model the GEVD dealing with $r$-largest order statistics (rGEVD). The rGEVD which uses more than one extreme per block can significantly improves the performance of the GEVD. The four parameter kappa distribution (K4D) is a generalization of some three-parameter distributions including the GEVD. It can be useful in fitting data when three parameters in the GEVD are not sufficient to capture the variability of the extreme observations. The K4D still uses only block maxima. In this study, we thus extend the K4D to deal with $r$-largest order statistics as analogy as the GEVD is extended to the rGEVD. The new distribution is called the $r$-largest four parameter kappa distribution (rK4D). We derive a joint probability density function (PDF) of the rK4D, and the marginal and conditional cumulative distribution functions and PDFs. The maximum likelihood method is considered to estimate parameters. The usefulness and some practical concerns of the rK4D are illustrated by applying it to Venice sea-level data. This example study shows that the rK4D gives better fit but larger variances of the parameter estimates than the rGEVD. Some new $r$-largest distributions are derived as special cases of the rK4D, such as the $r$-largest logistic (rLD), generalized logistic (rGLD), and generalized Gumbel distributions (rGGD).


title: Measurement Clusterization in D-optimal Designs for Bayesian Linear Inverse Problems over Hilbert Spaces

abstract: Inversion for parameters of a physical process typically requires taking expensive measurements, and the task of finding an optimal set of measurements is known as the optimal design problem. Surprisingly, measurement locations in optimal designs are sometimes extremely clustered, and researchers often avoid measurement clusterization by modifying the optimal design problem. We consider a certain flavor of the optimal design problem, based on the Bayesian D-optimality criterion, and suggest an analytically tractable model for D-optimal designs in Bayesian linear inverse problems over Hilbert spaces. We demonstrate that measurement clusterization is a generic property of D-optimal designs, and prove that correlated noise between measurements mitigates clusterization. We also give a full characterization of D-optimal designs under our model: We prove that D-optimal designs uniformly reduce uncertainty in a select subset of prior covariance eigenvectors. Finally, we show how measurement clusterization is a consequence of the characterization mentioned above and the pigeonhole principle.


title: Correlation Plenoptic Imaging between Arbitrary Planes

abstract: We propose a novel method to perform plenoptic imaging at the diffraction limit by measuring second-order correlations of light between two reference planes, arbitrarily chosen, within the tridimensional scene of interest. We show that for both chaotic light and entangled-photon illumination, the protocol enables to change the focused planes, in post-processing, and to achieve an unprecedented combination of image resolution and depth of field. In particular, the depth of field results larger by a factor 3 with respect to previous correlation plenoptic imaging protocols, and by an order of magnitude with respect to standard imaging, while the resolution is kept at the diffraction limit. The results lead the way towards the development of compact designs for correlation plenoptic imaging devices based on chaotic light, as well as high-SNR plenoptic imaging devices based on entangled photon illumination, thus contributing to make correlation plenoptic imaging effectively competitive with commercial plenoptic devices.


title: AttentionNAS: Spatiotemporal Attention Cell Search for Video Classification

abstract: Convolutional operations have two limitations: (1) do not explicitly model where to focus as the same filter is applied to all the positions, and (2) are unsuitable for modeling long-range dependencies as they only operate on a small neighborhood. While both limitations can be alleviated by attention operations, many design choices remain to be determined to use attention, especially when applying attention to videos. Towards a principled way of applying attention to videos, we address the task of spatiotemporal attention cell search. We propose a novel search space for spatiotemporal attention cells, which allows the search algorithm to flexibly explore various design choices in the cell. The discovered attention cells can be seamlessly inserted into existing backbone networks, e.g., I3D or S3D, and improve video classification accuracy by more than 2% on both Kinetics-600 and MiT datasets. The discovered attention cells outperform non-local blocks on both datasets, and demonstrate strong generalization across different modalities, backbones, and datasets. Inserting our attention cells into I3D-R50 yields state-of-the-art performance on both datasets.


title: The expressive power of kth-order invariant graph networks

abstract: The expressive power of graph neural network formalisms is commonly measured by their ability to distinguish graphs. For many formalisms, the k-dimensional Weisfeiler-Leman (k-WL) graph isomorphism test is used as a yardstick. In this paper we consider the expressive power of kth-order invariant (linear) graph networks (k-IGNs). It is known that k-IGNs are expressive enough to simulate k-WL. This means that for any two graphs that can be distinguished by k-WL, one can find a k-IGN which also distinguishes those graphs. The question remains whether k-IGNs can distinguish more graphs than k-WL. This was recently shown to be false for k=2. Here, we generalise this result to arbitrary k. In other words, we show that k-IGNs are bounded in expressive power by k-WL. This implies that k-IGNs and k-WL are equally powerful in distinguishing graphs.


title: Implicit Latent Variable Model for Scene-Consistent Motion Forecasting

abstract: In order to plan a safe maneuver an autonomous vehicle must accurately perceive its environment, and understand the interactions among traffic participants. In this paper, we aim to learn scene-consistent motion forecasts of complex urban traffic directly from sensor data. In particular, we propose to characterize the joint distribution over future trajectories via an implicit latent variable model. We model the scene as an interaction graph and employ powerful graph neural networks to learn a distributed latent representation of the scene. Coupled with a deterministic decoder, we obtain trajectory samples that are consistent across traffic participants, achieving state-of-the-art results in motion forecasting and interaction understanding. Last but not least, we demonstrate that our motion forecasts result in safer and more comfortable motion planning.


title: Can Volcanism Build Hydrogen-Rich Early Atmospheres?

abstract: Hydrogen in rocky planet atmospheres has been invoked in arguments for extending the habitable zone via N2-H2 and CO2-H2 greenhouse warming, and providing atmospheric conditions suitable for efficient production of prebiotic molecules. On Earth and Super-Earth-sized bodies, where H2-rich primordial envelopes are quickly lost to space, volcanic outgassing can act as a hydrogen source, provided it balances with the loss rate from the top of the atmosphere. Here, we show that both Earth-like and Mars-like planets can sustain atmospheric H2 fractions of several percent across relevant magmatic fO2 ranges. In general this requires hydrogen escape to operate somewhat less efficiently than the diffusion limit. We use a thermodynamical model of magma degassing to determine which combinations of magma oxidation, volcanic flux, and hydrogen escape efficiency can build up appreciable levels of hydrogen in a planet's secondary atmosphere. On a planet similar to the Archean Earth and with a similar magmatic fO2, we suggest that the mixing ratio of atmospheric hydrogen could have been in the range 0.2-3%. A planet erupting magmas around the Iron-Wustite (IW) buffer (i.e., ~3 log fO2 units lower than Archean Earth's), but with otherwise similar volcanic fluxes and H2 loss rates to early Earth, could sustain an atmosphere with approximately 10-20% H2. For an early Mars-like planet with magmas around IW, but a lower range of surface pressures and volcanic fluxes compared to Earth, an atmospheric H2 mixing ratio of 2-8% is possible. On early Mars, this H2 mixing ratio could be sufficient to deglaciate the planet. However, the sensitivity of these results to primary magmatic water contents and volcanic fluxes show the need for improved constraints on the crustal recycling efficiency and mantle water contents of early Mars.


title: A Privacy-Preserving Architecture for the Protection of Adolescents in Online Social Networks

abstract: Online social networks (OSN) constitute an integral part of people's every day social activity. Specifically, mainstream OSNs such as Twitter, YouTube, and Facebook are especially prominent in adolescents' lives for communicating with other people online, expressing and entertain themselves, and finding information. However, adolescents face a significant number of threats when using online platforms. Some of these threats include aggressive behavior and cyberbullying, sexual grooming, false news and fake activity, radicalization, and exposure of personal information and sensitive content. There is a pressing need for parental control tools and Internet content filtering techniques to protect the vulnerable groups that use online platforms. Existing parental control tools occasionally violate the privacy of adolescents, leading them to use other communication channels to avoid moderation. In this work, we design and implement a user-centric Family Advice Suite with Guardian Avatars aiming at preserving the privacy of the individuals towards their custodians and towards the advice tool itself. Moreover, we present a systematic process for designing and developing state of the art techniques and a system architecture to prevent minors' exposure to numerous risks and dangers while using Facebook, Twitter, and YouTube on a browser.


title: Cosmological analogies, Lagrangians, and symmetries for convective-radiative heat transfer

abstract: A formal analogy between the Friedmann equation of relativistic cosmology and models of convective-radiative cooling/heating of a body (including Newton's, Dulong-Petit's, Newton-Stefan's laws, and a generalization) is discussed. The analogy highlights Lagrangians, symmetries, and mathematical properties of the solutions of these cooling laws.


title: Exploring the Gillis model: a discrete approach to diffusion in logarithmic potentials

abstract: Gillis model, introduced more than 60 years ago, is a non-homogeneous random walk with a position dependent drift. Though parsimoniously cited both in the physical and mathematical literature, it provides one of the very few examples of a stochastic system allowing for a number of exact result, although lacking translational invariance. We present old and novel results for such model, which moreover we show represents a discrete version of a diffusive particle in the presence of a logarithmic potential.


title: Piecewise Polynomial Interpolation Function Approach for Solving Nonlinear Programming Problems with Disjoint Feasible Regions: Mathematical Proofs

abstract: The Piecewise Polynomial Interpolation (PPI) function approach is aimed at solving nonlinear programming problems with disjoint feasible regions. In such problems, disjointedness is generally associated with prohibited operating zones, which correspond to bands of values that a variable is not allowed to assume. An analytical implication of such prohibited operating zones is to make the objective function, as well as its domain, discontinuous. The PPI function approach consists in replacing the constraints associated with prohibited operating zones by an equivalent set of equality and inequality constraints, thereby allowing the application of any efficient gradient-based optimization method for solving the equivalent problem. In this paper, we present the definition of the PPI function and provide the mathematical proofs for its properties.


title: Conjectures on congruences involving binomial coefficients and Ap\'ery-like numbers

abstract: In this paper, we pose many challenging conjectures on congruences involving binomial coefficients and Ap\'ery-like numbers.


title: Far-Field Radiative Thermal Rectification with Bulk Materials

abstract: In this paper, we explore the far-field radiative thermal rectification potential of common materials such as metals, dielectrics and doped semi-conductors using radiative and thermo-radiative properties extracted from literature. Ten different materials are considered. The rectification coefficient is then calculated for 44 pairs of materials; each pair can be used for the two terminals of a radiative thermal diode. A thermal bias of 200 K is considered. The choice of materials and thermal bias value is only bound by data availability in literature. Obtained results, highlight new candidate materials for far-field radiative thermal rectification. They also highlight materials where thermal rectification is not negligible and should be considered with care in heat transfer calculations when considering systems subject to a comparable thermal bias and where these materials are used. Among the materials studied, undoped Indium Arsenide (InAs) shows great promise to be employed for thermal rectification, with a thermal rectification ratio reaching 90.5% in combination with other materials. Obtained results pave the way for an optimized design of thermal radiation control and management devices such as thermal diodes.


title: Dissipative flow equations

abstract: We generalize the theory of flow equations to open quantum systems focusing on Lindblad master equations. We introduce and discuss three different generators of the flow that transform a linear non-Hermitian operator into a diagonal one. We first test our dissipative flow equations on a generic matrix and on a physical problem with a driven-dissipative single fermionic mode. We then move to problems with many fermionic modes and discuss the interplay between coherent (disordered) dynamics and localized losses. Our method can also be applied to non-Hermitian Hamiltonians.


title: High Precision Real Time Collision Detection

abstract: Collision detection and collision avoidance are essential components in these systems for safe human-robot interactions. Robotics systems that can work "out-of-the-box" without excessive amount of installation and calibration from the experts is highly ideal. For this, we propose a generic, high precision, collision detect system that only requires the unified robot description format (URDF) and is capable of running in real time. We extended the Gilbert-Johnson-Keerthi (GJK) algorithm by utilizing a geometrical approach to determine the distance between each rigid body in the environment and check for collisions. The proposed system's performance is shown by checking the self-collision of the KUKA LBR iiwa 7 R800 and the Mecademic Meca500. The performance is compared to the Flexible Collision Library (FCL).


title: Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR

abstract: In Europe and indeed worldwide, the General Data Protection Regulation (GDPR) provides protection to individuals regarding their personal data in the face of new technological developments. GDPR is widely viewed as the benchmark for data protection and privacy regulations that harmonizes data privacy laws across Europe. Although the GDPR is highly beneficial to individuals, it presents significant challenges for organizations monitoring or storing personal information. Since there is currently no automated solution with broad industrial applicability, organizations have no choice but to carry out expensive manual audits to ensure GDPR compliance. In this paper, we present a complete GDPR UML model as a first step towards designing automated methods for checking GDPR compliance. Given that the practical application of the GDPR is influenced by national laws of the EU Member States, we suggest a two-tiered description of the GDPR, generic and specialized. In this paper, we provide (1) the GDPR conceptual model we developed with complete traceability from its classes to the GDPR, (2) a glossary to help understand the model, (3) the plain-English description of 35 compliance rules derived from GDPR along with their encoding in OCL, and (4) the set of 20 variations points derived from GDPR to specialize the generic model. We further present the challenges we faced in our modeling endeavor, the lessons we learned from it, and future directions for research.


title: Robust Control Synthesis and Verification for Wire-Borne Underactuated Brachiating Robots Using Sum-of-Squares Optimization

abstract: Control of wire-borne underactuated brachiating robots requires a robust feedback control design that can deal with dynamic uncertainties, actuator constraints and unmeasurable states. In this paper, we develop a robust feedback control for brachiating on flexible cables, building on previous work on optimal trajectory generation and time-varying LQR controller design. We propose a novel simplified model for approximation of the flexible cable dynamics, which enables inclusion of parametric model uncertainties in the system. We then use semidefinite programming (SDP) and sum-of-squares (SOS) optimization to synthesize a time-varying feedback control with formal robustness guarantees to account for model uncertainties and unmeasurable states in the system. Through simulation, hardware experiments and comparison with a time-varying LQR controller, it is shown that the proposed robust controller results in relatively large robust backward reachable sets and is able to reliably track a pre-generated optimal trajectory and achieve the desired brachiating motion in the presence of parametric model uncertainties, actuator limits, and unobservable states.


title: Lower Bounds and Hardness Magnification for Sublinear-Time Shrinking Cellular Automata

abstract: The minimum circuit size problem (MCSP) is a string compression problem with a parameter $s$ in which, given the truth table of a Boolean function over inputs of length $n$, one must answer whether it can be computed by a Boolean circuit of size at most $s(n) \ge n$. Recently, McKay, Murray, and Williams (STOC, 2019) proved a hardness magnification result for MCSP involving (one-pass) streaming algorithms: For any reasonable $s$, if there is no $\mathsf{poly}(s(n))$-space streaming algorithm with $\mathsf{poly}(s(n))$ update time for $\mathsf{MCSP}[s]$, then $\mathsf{P} \neq \mathsf{NP}$. We prove an analogous result for the (provably) strictly less capable model of shrinking cellular automata (SCAs), which are cellular automata whose cells can spontaneously delete themselves. We show every language accepted by an SCA can also be accepted by a streaming algorithm of similar complexity, and we identify two different aspects in which SCAs are more restricted than streaming algorithms. We also show there is a language which cannot be accepted by any SCA in $o(n / \log n)$ time, even though it admits an $O(\log n)$-space streaming algorithm with $O(\log n)$ update time.


title: On holonomy singularities in general relativity and the $C^{0,1}_{\mathrm{loc}}$-inextendibility of spacetimes

abstract: This paper investigates the structure of gravitational singularities at the level of the connection. We show in particular that for FLRW spacetimes with particle horizons a local holonomy, which is related to a gravitational energy, becomes unbounded near the big-bang singularity. This implies the $C^{0,1}_{\mathrm{loc}}$-inextendibility of such FLRW spacetimes. Again using an unbounded local holonomy we also give a general theorem establishing the $C^{0,1}_{\mathrm{loc}}$-inextendibility of spherically symmetric weak null singularities which arise at the Cauchy horizon in the interior of black holes. Our theorem does not presuppose the mass-inflation scenario and in particular applies to the Reissner-Nordstr\"om-Vaidya spacetimes as well as to spacetimes which arise from small and generic spherically symmetric perturbations of two-ended subextremal Reissner-Nordstr\"om initial data for the Einstein-Maxwell-scalar field system. In [26], [27] Luk and Oh proved the $C^2$-formulation of strong cosmic censorship for this latter class of spacetimes -- and based on their work we improve this to a $C^{0,1}_{\mathrm{loc}}$-formulation of strong cosmic censorship.


title: Production and persistence of extreme two-temperature plasmas in radiative relativistic turbulence

abstract: Turbulence is a predominant process for energizing electrons and ions in collisionless astrophysical plasmas, and thus is responsible for shaping their radiative signatures (luminosity, spectra, and variability). To better understand the kinetic properties of a collisionless radiative plasma subject to externally driven turbulence, we investigate particle-in-cell simulations of relativistic plasma turbulence with external inverse Compton cooling acting on the electrons. We find that ions continuously heat up while electrons gradually cool down (due to the net effect of radiation), and hence the ion-to-electron temperature ratio $T_i/T_e$ grows in time. We show that $T_i/T_e$ is limited only by the size and duration of the simulations (reaching $T_i/T_e \sim 10^3$), indicating that there are no efficient collisionless mechanisms of electron-ion thermal coupling. This result has implications for models of radiatively inefficient accretion flows, such as observed in the Galactic Center and in M87, for which so-called two-temperature plasmas with $T_i/T_e \gg 1$ have been invoked to explain their low luminosity. Additionally, we find that electrons acquire a quasi-thermal distribution (dictated by the competition of turbulent particle energization and radiative cooling), while ions undergo efficient nonthermal acceleration (acquiring a harder distribution than in equivalent non-radiative simulations). There is a modest nonthermal population of high-energy electrons that are beamed intermittently in space, time, and direction; these beamed electrons may explain rapid flares in certain high-energy astrophysical systems (e.g., in the Galactic Center). These numerical results demonstrate that extreme two-temperature plasmas can be produced and maintained by relativistic radiative turbulence.


title: Expected resurgence of ideals defining Gorenstein rings

abstract: Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic $p$, we show that a similar result holds in equicharacteristic $0$ under the additional hypothesis that the symbolic Rees algebra of $I$ is noetherian.


title: Interpretations of ground-state symmetry breaking and strong correlation in wavefunction and density functional theories

abstract: Strong correlations within a symmetry-unbroken ground-state wavefunction can show up in approximate density functional theory as symmetry-broken spin-densities or total densities, which are sometimes observable. They can arise from soft modes of fluctuations (sometimes collective excitations) such as spin-density or charge-density waves at non-zero wavevector. In this sense, an approximate density functional for exchange and correlation that breaks symmetry can be more revealing (albeit less accurate) than an exact functional that does not. The examples discussed here include the stretched H$_2$ molecule, antiferromagnetic solids, and the static charge-density wave/Wigner crystal phase of a low-density jellium. It is shown that (and in what sense) the static charge density wave is a soft plasmon.


title: Revealing semantic and emotional structure of suicide notes with cognitive network science

abstract: Understanding the cognitive and emotional perceptions of people who commit suicide is one of the most sensitive scientific challenges. There are circumstances where people feel the need to leave something written, an artifact where they express themselves, registering their last words and feelings. These suicide notes are of utmost importance for better understanding the psychology of suicidal ideation. This work gives structure to the linguistic content of suicide notes, revealing interconnections between cognitive and emotional states of people who committed suicide. We build upon cognitive network science, psycholinguistics and semantic frame theory to introduce a network representation of the mindset expressed in suicide notes. Our cognitive network representation enables the quantitative analysis of the language in suicide notes through structural balance theory, semantic prominence and emotional profiling. Our results indicate that the emotional syntax connecting positively- and negatively-valenced terms gives rise to a degree of structural balance that is significantly higher than null models where the affective structure was randomized. We show that suicide notes are affectively compartmentalized such that positive concepts tend to cluster together and dominate the overall network structure. A key positive concept is "love", which integrates information relating the self to others in ways that are semantically prominent across suicide notes. The emotions populating the semantic frame of "love" combine joy and trust with anticipation and sadness, which connects with psychological theories about meaning-making and narrative psychology. Our results open new ways for understanding the structure of genuine suicide notes informing future research for suicide prevention.


title: Electrical Detection of Light Helicity using a Quantum Dots based Hybrid Device at Zero Magnetic Field

abstract: Photon helicity-dependent photocurrent is measured at zero magnetic field on a device based on an ensemble of InGaAs/GaAs quantum dots that are embedded into a GaAs-based p-i-n diode. Our main goal is to take advantage of the long electron spin relaxation time expected in these nano-objects. In these experiments, no external magnetic field is required thanks to the use of an ultrathin magnetic CoFeB/MgO electrode, presenting perpendicular magnetic anisotropy (PMA). We observe a clear asymmetry of the photocurrent measured under respective right and left polarized light that follows the hysteresis of the magnetic layer. The amplitude of this asymmetry at zero magnetic field decreases with increasing temperatures and can be controlled with the bias. Polarization-resolved photoluminescence is detected in parallel while the device is operated as a photodetector. This demonstrates the multifunctional capabilities of the device and gives valuable insights into the spin relaxation of the electrons in the quantum dots.


title: Improving distribution and flexible quantization for DCT coefficients

abstract: While it is a common knowledge that AC coefficients of Fourier-related transforms, like DCT-II of JPEG image compression, are from Laplace distribution, there was tested more general EPD (exponential power distribution) $\rho\sim \exp(-(|x-\mu|/\sigma)^{\kappa})$ family, leading to maximum likelihood estimated (MLE) $\kappa\approx 0.5$ instead of Laplace distribution $\kappa=1$ - such replacement gives $\approx 0.1$ bits/value mean savings (per pixel for grayscale, up to $3\times$ for RGB). There is also discussed predicting distributions (as $\mu, \sigma, \kappa$ parameters) for DCT coefficients from already decoded coefficients in the current and neighboring DCT blocks. Predicting values $(\mu)$ from neighboring blocks allows to reduce blocking artifacts, also improve compression ratio - for which prediction of uncertainty/width $\sigma$ alone provides much larger $\approx 0.5$ bits/value mean savings opportunity (often neglected). Especially for such continuous distributions, there is also discussed quantization approach through optimized continuous \emph{quantization density function} $q$, which inverse CDF (cumulative distribution function) $Q$ on regular lattice $\{Q^{-1}((i-1/2)/N):i=1\ldots N\}$ gives quantization nodes - allowing for flexible inexpensive choice of optimized (non-uniform) quantization - of varying size $N$, with rate-distortion control. Optimizing $q$ for distortion alone leads to significant improvement, however, at cost of increased entropy due to more uniform distribution. Optimizing both turns out leading to nearly uniform quantization here, with automatized tail handling.


title: Discovery of a mid-infrared protostellar outburst of exceptional amplitude

abstract: We report the discovery of a mid-infrared outburst in a Young Stellar Object (YSO) with an amplitude close to 8 mag at $\lambda$$\approx$4.6 $\mu$m. WISEA J142238.82-611553.7 is one of 23 highly variable WISE sources discovered in a search of Infrared Dark Clouds (IRDCs). It lies within the small IRDC G313.671-0.309 (d$\approx$2.6 kpc), seen by the Herschel/HiGal survey as a compact, massive cloud core that may have been measurably warmed by the event. Pre-outburst data from Spitzer in 2004 suggest that it is a class I YSO, a view supported by observation of weak 2.12 $\mu$m H$_2$ emission in an otherwise featureless red continuum spectrum taken in 2019 (6 mag below the peak in K$_s$). Spitzer, WISE and VVV data indicate that the outburst began by 2006 and has a duration $>$13 yr, with a fairly flat peak from 2010--2014. The outburst luminosity of a few $\times 10^2$ Lsun is consistent with an accretion rate Mdot $\approx 10^{-4}$ Msun/yr, comparable to a classical FU Orionis event. The 4.6 $\mu$m peak in 2010 implies T = 800-1000 K and a disc radial location R$\approx$4.5 au for the emitting region. The colour evolution suggests subsequent progression outward. The apparent absence of the hotter matter expected in thermal instability or MRI models may be due to complete obscuration of the innermost disc, e.g. by an edge-on disc view. Alternatively, disc fragmentation/infalling fragment models might more naturally explain a mid-infrared peak, though this is not yet clear.


title: Fundamentals of Molecular Integrals Evaluation

abstract: Evaluation of basic integrals over Gaussian functions, traditionally utilized for electronic structure computations on molecules and solids, is discussed in a pedagogical form.


title: FCC-hh Experimental Insertion Region Design

abstract: The Future Circular Collider study is exploring possible designs of circular colliders for the post-LHC era, as recommended by the European Strategy Group for High Energy Physics. One such option is FCC-hh, a proton-proton collider with a centre-of-mass energy of 100 TeV. The experimental insertion regions are key areas defining the performance of the collider. This paper presents the first insertion region designs with a complete assessment of the main challenges, as collision debris with two orders of magnitude larger power than current colliders, beam-beam interactions in long insertions, dynamic aperture for optics with peak $\beta$ functions one order of magnitude above current colliders, photon background from synchrotron radiation and cross talk between the insertion regions. An alternative design avoiding the use of crab cavities with a small impact on performance is also presented.


title: The conormal and Robin boundary value problems in nonsmooth domains satisfying a measure condition

abstract: We consider elliptic equations and systems in divergence form with the conormal or the Robin boundary conditions, with small BMO (bounded mean oscillation) or variably partially small BMO coefficients. We propose a new class of domains which are locally close to a half space (or convex domains) with respect to the Lebesgue measure in the system (or scalar, respectively) case, and obtain the $W^1_p$ estimate for the conormal problem with the homogeneous boundary condition. Such condition is weaker than the Reifenberg flatness condition, for which the closeness is measured in terms of the Hausdorff distance, and the semi-convexity condition. For the conormal problem with inhomogeneous boundary conditions, we also assume that the domain is Lipschitz. By using these results, we obtain the $W^1_p$ and weighted $W^1_p$ estimates for the Robin problem in these domains.


title: mmRAPID: Machine Learning assisted Noncoherent Compressive Millimeter-Wave Beam Alignment

abstract: Millimeter-wave communication has the potential to deliver orders of magnitude increases in mobile data rates. A key design challenge is to enable rapid beam alignment with phased arrays. Traditional millimeter-wave systems require a high beam alignment overhead, typically an exhaustive beam sweep, to find the beam direction with the highest beamforming gain. Compressive sensing is a promising framework to accelerate beam alignment. However, model mismatch from practical array hardware impairments poses a challenge to its implementation. In this work, we introduce a neural network assisted compressive beam alignment method that uses noncoherent received signal strength measured by a small number of pseudorandom sounding beams to infer the optimal beam steering direction. We experimentally showcase our proposed approach with a 60GHz 36-element phased array in a suburban line-of-sight environment. The results show that our approach achieves post alignment beamforming gain within 1dB margin compared to an exhaustive search with 90.2 percent overhead reduction. Compared to purely model-based noncoherent compressive beam alignment, our method has 75 percent overhead reduction.


title: Instructions and Guide for Diagnostic Questions: The NeurIPS 2020 Education Challenge

abstract: Digital technologies are becoming increasingly prevalent in education, enabling personalized, high quality education resources to be accessible by students across the world. Importantly, among these resources are diagnostic questions: the answers that the students give to these questions reveal key information about the specific nature of misconceptions that the students may hold. Analyzing the massive quantities of data stemming from students' interactions with these diagnostic questions can help us more accurately understand the students' learning status and thus allow us to automate learning curriculum recommendations. In this competition, participants will focus on the students' answer records to these multiple-choice diagnostic questions, with the aim of 1) accurately predicting which answers the students provide; 2) accurately predicting which questions have high quality; and 3) determining a personalized sequence of questions for each student that best predicts the student's answers. These tasks closely mimic the goals of a real-world educational platform and are highly representative of the educational challenges faced today. We provide over 20 million examples of students' answers to mathematics questions from Eedi, a leading educational platform which thousands of students interact with daily around the globe. Participants to this competition have a chance to make a lasting, real-world impact on the quality of personalized education for millions of students across the world.


title: Determination of strain rate in modelling belt-flesh-pelvis interaction during frontal crashes

abstract: Obesity is associated with higher fatality risk and altered distribution of occupant injuries in motor vehicle crashes partially because of the increased depth of abdominal soft tissue, which results in limited and delayed engagement of the lap belt with the pelvis and increases the risk of pelvis submarining under the lap belt exposing occupant abdomen to belt loading.


title: AM-DCGAN: Analog Memristive Hardware Accelerator for Deep Convolutional Generative Adversarial Networks

abstract: Generative Adversarial Network (GAN) is a well known computationally complex algorithm requiring signficiant computational resources in software implementations including large amount of data to be trained. This makes its implementation in edge devices with conventional microprocessor hardware a slow and difficult task. In this paper, we propose to accelerate the computationally intensive GAN using memristive neural networks in analog domain. We present a fully analog hardware design of Deep Convolutional GAN (DCGAN) based on CMOS-memristive convolutional and deconvolutional networks simulated using 180nm CMOS technology.


title: Redshift-space effects in voids and their impact on cosmological tests. Part I: the void size function

abstract: Voids are promising cosmological probes. Nevertheless, every cosmological test based on voids must necessarily employ methods to identify them in redshift space. Therefore, redshift-space distortions (RSD) and the Alcock-Paczynski effect (AP) have an impact on the void identification process itself generating distortion patterns in observations. Using a spherical void finder, we developed a statistical and theoretical framework to describe physically the connection between the identification in real and redshift space. We found that redshift-space voids above the shot noise level have a unique real-space counterpart spanning the same region of space, they are systematically bigger and their centres are preferentially shifted along the line of sight. The expansion effect is a by-product of RSD induced by tracer dynamics at scales around the void radius, whereas the off-centring effect constitutes a different class of RSD induced at larger scales by the global dynamics of the whole region containing the void. The volume of voids is also altered by the fiducial cosmology assumed to measure distances, this is the AP change of volume. These three systematics have an impact on cosmological statistics. In this work, we focus on the void size function. We developed a theoretical framework to model these effects and tested it with a numerical simulation, recovering the statistical properties of the abundance of voids in real space. This description depends strongly on cosmology. Hence, we lay the foundations for improvements in current models of the abundance of voids in order to obtain unbiased cosmological constraints from redshift surveys.