title: Visual Tool for Assessing Stability of DER Configurations on Three-Phase Radial Networks

abstract: We present a method and tool for evaluating the placement of Distributed Energy Resources (DER) on distribution circuits in order to control voltages and power flows. Our previous work described Phasor-Based Control (PBC), a novel control framework where DERs inject real and reactive power to track voltage magnitude and phase angle targets. Here, we employ linearized power flow equations and integral controllers to develop a linear state space model for PBC acting on a three-phase unbalanced network. We use this model to evaluate whether a given inverter-based DER configuration admits a stable set of controller gains, which cannot be done by analyzing controllability nor by using the Lyapunov equation. Instead, we sample over a parameter space to identify a stable set of controller gains. Our stability analysis requires only a line impedance model and does not entail simulating the system or solving an optimization problem. We incorporate this assessment into a publicly available visualization tool and demonstrate three processes for evaluating many control configurations on the IEEE 123-node test feeder (123NF).


title: Stable View Synthesis

abstract: We present Stable View Synthesis (SVS). Given a set of source images depicting a scene from freely distributed viewpoints, SVS synthesizes new views of the scene. The method operates on a geometric scaffold computed via structure-from-motion and multi-view stereo. Each point on this 3D scaffold is associated with view rays and corresponding feature vectors that encode the appearance of this point in the input images. The core of SVS is view-dependent on-surface feature aggregation, in which directional feature vectors at each 3D point are processed to produce a new feature vector for a ray that maps this point into the new target view. The target view is then rendered by a convolutional network from a tensor of features synthesized in this way for all pixels. The method is composed of differentiable modules and is trained end-to-end. It supports spatially-varying view-dependent importance weighting and feature transformation of source images at each point; spatial and temporal stability due to the smooth dependence of on-surface feature aggregation on the target view; and synthesis of view-dependent effects such as specular reflection. Experimental results demonstrate that SVS outperforms state-of-the-art view synthesis methods both quantitatively and qualitatively on three diverse real-world datasets, achieving unprecedented levels of realism in free-viewpoint video of challenging large-scale scenes. Code is available at https://github.com/intel-isl/StableViewSynthesis


title: Improving efficiency of inference in clinical trials with external control data

abstract: Suppose we are interested in the effect of a treatment in a clinical trial. The efficiency of inference may be limited due to small sample size. However, external control data are often available from historical studies. Motivated by an application to Helicobacter pylori infection, we show how to borrow strength from such data to improve efficiency of inference in the clinical trial. Under an exchangeability assumption about the potential outcome mean, we show that the semiparametric efficiency bound for estimating the average treatment effect can be reduced by incorporating both the clinical trial data and external controls. We then derive a doubly robust and locally efficient estimator. The improvement in efficiency is prominent especially when the external control dataset has a large sample size and small variability. Our method allows for a relaxed overlap assumption, and we illustrate with the case where the clinical trial only contains a treated group. We also develop doubly robust and locally efficient approaches that extrapolate the causal effect in the clinical trial to the external population and the overall population. Our results also offer a meaningful implication for trial design and data collection. We evaluate the finite-sample performance of the proposed estimators via simulation. In the Helicobacter pylori infection application, our approach shows that the combination treatment has potential efficacy advantages over the triple therapy.


title: Parity-Dependent Moir\'e Superlattices in Graphene/h-BN Heterostructures: A Route to Mechanomutable Metamaterials

abstract: The superlattice of alternating graphene/h-BN few-layered heterostructures is found to exhibit strong dependence on the parity of the number of layers within the stack. Odd-parity systems show a unique flamingo-like pattern, whereas their even-parity counterparts exhibit regular hexagonal or rectangular superlattices. When the alternating stack consists of seven layers or more, the flamingo pattern becomes favorable, regardless of parity. Notably, the out-of-plane corrugation of the system strongly depends on the shape of the superstructure resulting in significant parity dependence of its mechanical properties. The predicted phenomenon originates in an intricate competition between moir\'e patterns developing at the interface of consecutive layers. This mechanism is of general nature and is expected to occur in other alternating stacks of closely matched rigid layered materials as demonstrated for homogeneous alternating junctions of twisted graphene and h-BN. Our findings thus allow for the rational design of mechanomutable metamaterials based on Van der Waals heterostructures.


title: Prototypical Contrast and Reverse Prediction: Unsupervised Skeleton Based Action Recognition

abstract: In this paper, we focus on unsupervised representation learning for skeleton-based action recognition. Existing approaches usually learn action representations by sequential prediction but they suffer from the inability to fully learn semantic information. To address this limitation, we propose a novel framework named Prototypical Contrast and Reverse Prediction (PCRP), which not only creates reverse sequential prediction to learn low-level information (e.g., body posture at every frame) and high-level pattern (e.g., motion order), but also devises action prototypes to implicitly encode semantic similarity shared among sequences. In general, we regard action prototypes as latent variables and formulate PCRP as an expectation-maximization task. Specifically, PCRP iteratively runs (1) E-step as determining the distribution of prototypes by clustering action encoding from the encoder, and (2) M-step as optimizing the encoder by minimizing the proposed ProtoMAE loss, which helps simultaneously pull the action encoding closer to its assigned prototype and perform reverse prediction task. Extensive experiments on N-UCLA, NTU 60, and NTU 120 dataset present that PCRP outperforms state-of-the-art unsupervised methods and even achieves superior performance over some of supervised methods. Codes are available at https://github.com/Mikexu007/PCRP.


title: A Reanalysis of the October 2016 "Meteotsunami" in British Columbia with Help of High-Frequency Radars and Autoregressive Modeling

abstract: On October 14th, 2016, the station of Tofino (British Columbia, Canada) issued the first ever real-time tsunami alert triggered by a coastal High-Frequency Radar system, based on the identification of abnormal surface current patterns. The detection occurred in the absence of any reported seismic event but coincided with a strong atmospheric perturbation, which qualified the event as meteo-tsunami. We re-analyze this case in the light of a new radar signal processing method which was designed recently for inverting fast-varying sea surface currents from the complex voltage time series received on the antennas. This method, based on an Auto-regressive modeling combined with a Maximum Entropy Method, yields a dramatic improvement in both the Signal-to-Noise Ratio and the quality of the surface current estimation for very short integration time. This makes it possible to evidence the propagation of a sharp wave front of surface current during the event and to map its magnitude and arrival time over the radar coverage. We show that the amplitude and speed of the inferred residual current do not comply with a Proudman resonance mechanism but are consistent with the propagation of a low-pressure atmospheric front and wind vectors as revealed by satellite imagery. This indicates that the event that triggered a tsunami alert is more likely a storm surge than a true meteo-tsunami. Beyond this specific case, another outcome of the analysis is the promising use of oceanographic radars as proxy's for the characterization of atmospheric fronts.


title: Impact of Temporary Fork on the Evolution of Mining Pools in Blockchain Networks: An Evolutionary Game Analysis

abstract: Temporary fork is a fundamental phenomenon in many blockchains with proof of work, and the analysis of temporary fork has recently drawn great attention. Different from existing efforts that focus on the blockchain system factors such as block size, network propagation delay or block generation speed, in this paper we explore a new key dimension of computing power from the miners' perspective. Specifically, we first propose a detailed mathematical model to characterize the impact of computing power competition of the mining pools on the temporary fork. We also derive closed-form formula of the probability of temporary fork and the expected mining reward of a mining pool. To reveal the long-term trends on the computing power distributions over the competing mining pools, we then develop an evolutionary game framework based on the temporary fork modeling and accordingly characterize the set of stable evolution equilibriums. Both extensive numerical simulations and realistic blockchain data based evaluation provide evidence to support our theoretical models and discoveries.


title: Amount of quantum coherence needed for measurement incompatibility

abstract: A pair of quantum observables diagonal in the same "incoherent" basis can be measured jointly, so some coherence is obviously required for measurement incompatibility. Here we first observe that coherence in a single observable is linked to the diagonal elements of any observable jointly measurable with it, leading to a general criterion for the coherence needed for incompatibility. Specialising to the case where the second observable is incoherent (diagonal), we develop a concrete method for solving incompatibility problems, tractable even in large systems by analytical bounds, without resorting to numerical optimisation. We verify the consistency of our method by a quick proof of the known noise bound for mutually unbiased bases, and apply it to study emergent classicality in the spin-boson model of an N-qubit open quantum system. Finally, we formulate our theory in an operational resource-theoretic setting involving "genuinely incoherent operations" used previously in the literature, and show that if the coherence is insufficient to sustain incompatibility, the associated joint measurements have sequential implementations via incoherent instruments.


title: Can Helium-detonation Model Explain the Observed Diversity of Type Ia Supernovae?

abstract: We study a sample of 16 Type Ia supernovae (SNe Ia) having both spectroscopic and photometric observations within 2 $-$ 3 days after the first light. The early $B-V$ colors of such a sample tends to show a continuous distribution. For objects with normal ejecta velocity (NV), the C~II $\lambda$6580 feature is always visible in the early spectra while it is absent or very weak in the high-velocity (HV) counterpart. Moreover, the velocities of the detached high-velocity features (HVFs) of Ca~II NIR triplet (CaIR3) above the photosphere are found to be much higher in HV objects than in NV objects, with typical values exceeding 30,000 km~s$^{-1}$ at 2 $-$ 3 days. We further analyze the relation between %velocities of Si~II~$\lambda$6355 at maximum, $v_{\rm Si,max}$, the velocity shift of late-time [Fe~II] lines ($v_{\rm [Fe~II]}$) and host galaxy mass. We find that all HV objects have redshifted $v_{\rm [Fe~II]}$ while NV objects have both blue- and redshifted $v_{\rm [Fe~II]}$. It is interesting to point out that the objects with redshifted $v_{\rm [Fe~II]}$ are all located in massive galaxies, implying that HV and a portion of NV objects may have similar progenitor metallicities and explosion mechanisms. We propose that, with a geometric/projected effect, the He-detonation model may account for the similarity in birthplace environment and the differences seen in some SNe Ia, including $B-V$ colors, C~II feature, CaIR3 HVFs at early time and $v_{\rm [Fe~II]}$ in the nebular phase. Nevertheless, some features predicted by He-detonation simulation, such as the rapidly decreasing light curve, deviate from the observations, and some NV objects with blueshifted nebular $v_{\rm [Fe~II]}$ may involve other explosion mechanisms.


title: Eisenstein cocycles in motivic cohomology

abstract: Several authors have studied homomorphisms from first homology groups of modular curves to the second K-group of a cyclotomic ring or a modular curve X. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a 1-cocycle from GL_2(Z) to the second K-group of the function field of a suitable group scheme over X, from which the maps of interest arise by specialization.


title: Deep Learning for Joint Channel Estimation and Feedback in Massive MIMO Systems

abstract: The great potentials of massive Multiple-Input Multiple-Output (MIMO) in Frequency Division Duplex (FDD) mode can be fully exploited when the downlink Channel State Information (CSI) is available at base stations. However, the accurate CSI is difficult to obtain due to the large amount of feedback overhead caused by massive antennas. In this paper, we propose a deep learning based joint channel estimation and feedback framework, which comprehensively realizes the estimation, compression, and reconstruction of downlink channels in FDD massive MIMO systems. Two networks are constructed to perform estimation and feedback explicitly and implicitly. The explicit network adopts a multi-Signal-to-Noise-Ratios (SNRs) technique to obtain a single trained channel estimation subnet that works well with different SNRs and employs a deep residual network to reconstruct the channels, while the implicit network directly compresses pilots and sends them back to reduce network parameters. Quantization module is also designed to generate data-bearing bitstreams. Simulation results show that the two proposed networks exhibit excellent performance of reconstruction and are robust to different environments and quantization errors.


title: Identifying and tracking bubbles and drops in simulations: a toolbox for obtaining sizes, lineages, and breakup and coalescence statistics

abstract: Knowledge of bubble and drop size distributions in two-phase flows is important for characterizing a wide range of phenomena, including combustor ignition, sonar communication, and cloud formation. The physical mechanisms driving the background flow also drive the time evolution of these distributions. Accurate and robust identification and tracking algorithms for the dispersed phase are necessary to reliably measure this evolution and thereby quantify the underlying mechanisms in interface-resolving flow simulations. The identification of individual bubbles and drops traditionally relies on an algorithm used to identify connected regions. This traditional algorithm can be sensitive to the presence of spurious structures. A cost-effective refinement is proposed to maximize volume accuracy while minimizing the identification of spurious bubbles and drops. An accurate identification scheme is crucial for distinguishing bubble and drop pairs with large size ratios. The identified bubbles and drops need to be tracked in time to obtain breakup and coalescence statistics that characterize the evolution of the size distribution, including breakup and coalescence frequencies, and the probability distributions of parent and child bubble and drop sizes. An algorithm based on mass conservation is proposed to construct bubble and drop lineages using simulation snapshots that are not necessarily from consecutive time-steps. These lineages are then used to detect breakup and coalescence events, and obtain the desired statistics. Accurate identification of large-size-ratio bubble and drop pairs enables accurate detection of breakup and coalescence events over a large size range. Together, these algorithms enable insights into the mechanisms behind bubble and drop formation and evolution in flows of practical importance.

categories: physics.flu-dyn cs.CE physics.ao-ph physics.comp-ph


title: A Blaschke-Lebesgue Theorem for the Cheeger constant

abstract: In this paper we prove a new extremal property of the Reuleaux triangle: it maximizes the Cheeger constant among all bodies of (same) constant width. The proof relies on a fine analysis of the optimality conditions satisfied by an optimal Reuleaux polygon together with an explicit upper bound for the inradius of the optimal domain. As a possible perspective, we conjecture that this maximal property of the Reuleaux triangle holds for the first eigenvalue of the $p$-Laplacian for any $p\in (1,+\infty)$ (the current paper covers the case $p=1$ whereas the case $p=+\infty$ was already known).


title: Theoretical prediction of interfacial thermal conductance at high temperature across solid-solid interfaces

abstract: The existed theories and methods for calculating interfacial thermal conductance of solid-solid interface lead to diverse values that deviate from experimental measurements. In this letter, We propose a model to estimate the ITC at high temperature without comprehensive calculations, where the interface between two dissimilar solids can be treated as an amorphous thin layer and the coordination number density across interface becomes a key parameter. Our model predicts that the ITCs of various interfaces at 300K are in a narrow range: 10$^{7}$W m$^{-2}$K$^{-1}$ $\sim $10$^{9}$ W m$^{-2}$ K$^{-1}$, which is in good agreement with the experimental measurement.


title: Uncertainty Relations for Mesoscopic Coherent Light

abstract: Thermodynamic uncertainty relations unveil useful connections between fluctuations in thermal systems and entropy production. This work extends these ideas to the disparate field of \textit{zero temperature} quantum mesoscopic physics where fluctuations are due to coherent effects and entropy production is replaced by a cost function. The cost function arises naturally as a bound on fluctuations, induced by coherent effects -- a critical resource in quantum mesoscopic physics. Identifying the cost function as an important quantity demonstrates the potential of importing powerful methods from non-equilibrium statistical physics to quantum mesoscopics.


title: CL-IMS @ DIACR-Ita: Volente o Nolente: BERT does not outperform SGNS on Semantic Change Detection

abstract: We present the results of our participation in the DIACR-Ita shared task on lexical semantic change detection for Italian. We exploit Average Pairwise Distance of token-based BERT embeddings between time points and rank 5 (of 8) in the official ranking with an accuracy of $.72$. While we tune parameters on the English data set of SemEval-2020 Task 1 and reach high performance, this does not translate to the Italian DIACR-Ita data set. Our results show that we do not manage to find robust ways to exploit BERT embeddings in lexical semantic change detection.


title: Self Normalizing Flows

abstract: Efficient gradient computation of the Jacobian determinant term is a core problem in many machine learning settings, and especially so in the normalizing flow framework. Most proposed flow models therefore either restrict to a function class with easy evaluation of the Jacobian determinant, or an efficient estimator thereof. However, these restrictions limit the performance of such density models, frequently requiring significant depth to reach desired performance levels. In this work, we propose Self Normalizing Flows, a flexible framework for training normalizing flows by replacing expensive terms in the gradient by learned approximate inverses at each layer. This reduces the computational complexity of each layer's exact update from $\mathcal{O}(D^3)$ to $\mathcal{O}(D^2)$, allowing for the training of flow architectures which were otherwise computationally infeasible, while also providing efficient sampling. We show experimentally that such models are remarkably stable and optimize to similar data likelihood values as their exact gradient counterparts, while training more quickly and surpassing the performance of functionally constrained counterparts.


title: Lower bounds for eigenvalues of Laplacian operator and the clamped plate problem

abstract: In this paper, we give some lower bounds for several eigenvalues. Firstly, we investigate the eigenvalues $\lambda_i$ of the Laplace operator and prove a sharp lower bound. Moreover, we extent this estimate of the eigenvalues to general cases. Secondly, we study the eigenvalues $\Gamma_i$ for the clamped plate problem and deliver a sharp bound for the clamped plate problem for arbitrary dimension.


title: Photogalvanic Effect in Silicene

abstract: Silicene has introduced itself as an outstanding novel material, which seeks its meritorious place among common spintronic devices like Cu and Ag. In this work, photogalvanic effect in silicene is studied within the semi-classical approach and beyond Dirac point approximation. Normal electric field plays the role of effective pseudo-magnetic field which breaks the inversion symmetry and splits the conduction and valence bands. The interplay between this external field and intrinsic spin-orbit coupling provides spin-valley locking in silicene. Spin-valley locking in silicene makes this material superior to its carbon counterpart, graphene. Since the absorption of the polarized photons is not equivalent at both of the valleys, spin-valley locking leads to a spin-polarized photocurrent injection.


title: DebateSum: A large-scale argument mining and summarization dataset

abstract: Prior work in Argument Mining frequently alludes to its potential applications in automatic debating systems. Despite this focus, almost no datasets or models exist which apply natural language processing techniques to problems found within competitive formal debate. To remedy this, we present the DebateSum dataset. DebateSum consists of 187,386 unique pieces of evidence with corresponding argument and extractive summaries. DebateSum was made using data compiled by competitors within the National Speech and Debate Association over a 7-year period. We train several transformer summarization models to benchmark summarization performance on DebateSum. We also introduce a set of fasttext word-vectors trained on DebateSum called debate2vec. Finally, we present a search engine for this dataset which is utilized extensively by members of the National Speech and Debate Association today. The DebateSum search engine is available to the public here: http://www.debate.cards


title: Ego2Hands: A Dataset for Egocentric Two-hand Segmentation and Detection

abstract: Hand segmentation and detection in truly unconstrained RGB-based settings is important for many applications. However, existing datasets are far from sufficient in terms of size and variety due to the infeasibility of manual annotation of large amounts of segmentation and detection data. As a result, current methods are limited by many underlying assumptions such as constrained environment, consistent skin color and lighting. In this work, we present Ego2Hands, a large-scale RGB-based egocentric hand segmentation/detection dataset that is semi-automatically annotated and a color-invariant compositing-based data generation technique capable of creating training data with large quantity and variety. For quantitative analysis, we manually annotated an evaluation set that significantly exceeds existing benchmarks in quantity, diversity and annotation accuracy. We provide cross-dataset evaluation as well as thorough analysis on the performance of state-of-the-art models on Ego2Hands to show that our dataset and data generation technique can produce models that generalize to unseen environments without domain adaptation.


title: Fabrication Of Economical Signal Amplified Vibrating Sample Magnetometer With Spiral Designed Detector

abstract: The design and fabrication of a cost-effective vibrating sample magnetometer are explained. Improvement in the detected signal can be obtained using an operational amplifier circuit. The fabricated spiral detection coil design enhances the induced voltage obtained as shielding flux is reduced. A homemade setup is obtained by taking a woofer as an actuator and plexiglass as the vibrating medium. Lock-in amplifier analyzed the booster enhanced induced voltage signal by the principle of phase detection. Study of amplified and non amplified signals from the Nickel (99% purity) sample was done. Conversion of induced voltage to magnetization was done by calibration incorporating the coercivity and retentivity measurement. Magnetic oxide can be analyzed using this cost-effective designed Vibrating sample magnetometer. The data obtained from the VSM can conclude the successful operation of the designed magnetometer.


title: From spectral cluster to uniform resolvent estimates on compact manifolds

abstract: It is well known that uniform resolvent estimates imply spectral cluster estimates. We show that the converse is also true in some cases. In particular, the universal spectral cluster estimates of Sogge \cite{MR930395} for the Laplace--Beltrami operator on compact Riemannian manifolds without boundary directly imply the uniform Sobolev inequality of Dos Santos Ferreira, Kenig and Salo \cite{MR3200351}, without any reference to parametrices. This observation also yields new resolvent estimates for manifolds with boundary or with nonsmooth metrics, based on spectral cluster bounds of Smith--Sogge \cite{MR2316270} and Smith, Koch and Tataru \cite{MR2443996}, respectively. We also convert the recent spectral cluster bounds of Canzani and Galkowski \cite{Canzani--Galkowski} to improved resolvent bounds. Moreover, we show that the resolvent estimates are stable under perturbations and use this to establish uniform Sobolev and spectral cluster inequalities for Schr\"odinger operators with singular potentials.


title: Factorized Gaussian Process Variational Autoencoders

abstract: Variational autoencoders often assume isotropic Gaussian priors and mean-field posteriors, hence do not exploit structure in scenarios where we may expect similarity or consistency across latent variables. Gaussian process variational autoencoders alleviate this problem through the use of a latent Gaussian process, but lead to a cubic inference time complexity. We propose a more scalable extension of these models by leveraging the independence of the auxiliary features, which is present in many datasets. Our model factorizes the latent kernel across these features in different dimensions, leading to a significant speed-up (in theory and practice), while empirically performing comparably to existing non-scalable approaches. Moreover, our approach allows for additional modeling of global latent information and for more general extrapolation to unseen input combinations.


title: Finite-dimensional control of the heat equation: Dirichlet actuation and point measurement

abstract: Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynamic extension. We suggest a direct Lyapunov approach to the full-order closed-loop system, where the finite-dimensional state is coupled with the infinite-dimensional tail of the state Fourier expansion, and provide LMIs for finding the controller dimension and the resulting exponential decay rate. We further study sampled-data implementation of the controller under sampled-data measurement. We use Wirtinger-based, discontinuous in time, Lyapunov functionals which compensate sampling in the finite-dimensional state. To compensate sampling in the infinite-dimensional tail, we use a novel form of Halanay's inequality, which is appropriate for Lyapunov functions with jump discontinuities that do not grow in the jumps. Numerical examples demonstrate the efficiency of the method.


title: On some topological realizations of groups and homomorphisms

abstract: Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered.


title: Nonlinear stability of phase transition steady states to a hyperbolic-parabolic system modelling vascular networks

abstract: This paper is concerned with the existence and stability of phase transition steady states to a quasi-linear hyperbolic-parabolic system of chemotactic aggregation, which was proposed in \cite{ambrosi2005review, gamba2003percolation} to describe the coherent vascular network formation observed {\it in vitro} experiment. Considering the system in the half line $ \mathbb{R}_{+}=(0,\infty)$ with Dirichlet boundary conditions, we first prove the existence \textcolor{black}{and uniqueness of non-constant phase transition steady states} under some structure conditions on the pressure function. Then we prove that this unique phase transition steady state is nonlinearly asymptotically stable against a small perturbation. We prove our results by the method of energy estimates, the technique of {\it a priori} assumption and a weighted Hardy-type inequality.


title: Equilibrium measures of the natural extension of beta-shifts

abstract: We give a necessary and sufficient condition on beta of the natural extension of a beta-shift, so that any equilibrium measure for a function of bounded total oscillations is a weak Gibbs measure.


title: Tan's contact as an indicator of completeness and self-consistency of a theory

abstract: It is well known that, Tan's contact could be calculated by using any of following three methods: by the asymptotic behavior of momentum distribution; by Tan's adiabatic sweep theorem; or by the operator product expansion as an expectation value of the interaction term. We argue that, if a theory describing Bose (or Fermi) system with the only contact interaction is self consistent, then it should lead to the same result in all three cases. As an example we considered MFT based approaches and established that among existing approximations of MFT, the Hartree - Fock - Bogoliubov (HFB) approach is the most self consistent. Actually, HFB is able to describe existing experimental data on Tan's contact for dilute Bose gas, but fails to predict its expected behavior at large gas parameter $(\gamma > 0.015)$. So, for appropriate description of properties of a Bose gas even at zero temperature, this approximation needs to be expanded by taking into account fluctuations in higher order then the second one.


title: Quasiconformal Jordan domains

abstract: We extend the classical Carath\'eodory extension theorem to quasiconformal Jordan domains $( Y, d_{Y} )$. We say that a metric space $( Y, d_{Y} )$ is a quasiconformal Jordan domain if the completion $\overline{Y}$ of $( Y, d_{Y} )$ has finite Hausdorff $2$-measure, the boundary $\partial Y = \overline{Y} \setminus Y$ is homeomorphic to $\mathbb{S}^{1}$, and there exists a homeomorphism $\phi \colon \mathbb{D} \rightarrow ( Y, d_{Y} )$ that is quasiconformal in the geometric sense. We show that $\phi$ has a continuous, monotone, and surjective extension $\Phi \colon \overline{ \mathbb{D} } \rightarrow \overline{ Y }$. This result is best possible in this generality. In addition, we find a necessary and sufficient condition for $\Phi$ to be a quasiconformal homeomorphism. We provide sufficient conditions for the restriction of $\Phi$ to $\mathbb{S}^{1}$ being a quasisymmetry and to $\partial Y$ being bi-Lipschitz equivalent to a quasicircle in the plane.


title: Modelling Attacks in Blockchain Systems using Petri Nets

abstract: Blockchain technology has evolved through many changes and modifications, such as smart-contracts since its inception in 2008. The popularity of a blockchain system is due to the fact that it offers a significant security advantage over other traditional systems. However, there have been many attacks in various blockchain systems, exploiting different vulnerabilities and bugs, which caused a significant financial loss. Therefore, it is essential to understand how these attacks in blockchain occur, which vulnerabilities they exploit, and what threats they expose. Another concerning issue in this domain is the recent advancement in the quantum computing field, which imposes a significant threat to the security aspects of many existing secure systems, including blockchain, as they would invalidate many widely-used cryptographic algorithms. Thus, it is important to examine how quantum computing will affect these or other new attacks in the future. In this paper, we explore different vulnerabilities in current blockchain systems and analyse the threats that various theoretical and practical attacks in the blockchain expose. We then model those attacks using Petri nets concerning current systems and future quantum computers.


title: Deep convection-driven vortex formation on Jupiter and Saturn

abstract: The surface of both Jupiter and Saturn has magnificent vortical storms which help shape the dynamic nature of their atmospheres. Land- and space-based observational campaigns over time have established several properties of these vortices, with some being similar between the two planets, while others are different. Shallow-water hydrodynamics, where the vortices are treated as shallow weather-layer phenomenon, is commonly evoked for explaining their formation and properties. Here we report novel formation mechanisms for vortices where the primary driving mechanism is the deep planetary convection occurring in these planets. Using three dimensional simulations of turbulent convection in rotating spherical shells, we propose two ideas: (1) rotating turbulent convection generates deep axially-aligned cyclones and anticyclones; (2) a deep planetary dynamo acts to promote additional anticyclones, some as large as Jupiter's Great Red Spot, in an overlying atmospheric layer. We use these ideas to interpret several observational properties of vortices on Jupiter and Saturn.

categories: astro-ph.EP physics.ao-ph physics.flu-dyn physics.geo-ph


title: Control of domain states in rhombohedral PZT films via misfit strains and surface charges

abstract: Using the Landau-Ginzburg-Devonshire theory, an influence of the misfit strain and surface screening charges, as well as the role of the flexoelectric effect, have been studied by numerical modelling in the case of a rhombohedral lead zirconate-titanate ferroelectric/ferroelastic thin film with an anisotropic misfit produced by a substrate. It was established that the magnitude and sign of the misfit strain influence the domain structure and predominant directions of the polarization vector, providing misfit-dependent phases with different favourable polarization components. Whilst strong enough compressive misfit strains favour a phase with an orthorhombic-like polarization directions, strong tensile misfits only yield in-plane polarization components. The strength of surface screening is seen to condition the existence of closure domain structures and, by increasing, supports the single-domain state depending on the value of the misfit strain. The flexoelectric effect exhibits a weak influence on the phase diagram of multi-domain states when compared with the phase diagram of single-domain states. Its effect, however, becomes significant in the case of skyrmion topological states, which spontaneously form near the film surface when compressive misfit strains are applied. Cooperative influence of the misfit strain, surface screening charges and temperature can set a thin rhombohedral ferroelectric film into a number of different polar and structural states, whereby the role of the flexoelectric effect is pronounced for topologically nontrivial structures.


title: Channel Estimation for Large Intelligent Surface Aided MISO Communications: From LMMSE to Deep Learning Solutions

abstract: We consider multi-antenna wireless systems aided by large intelligent surfaces (LIS). LIS presents a new physical layer technology for improving coverage and energy efficiency by intelligently controlling the propagation environment. In practice however, achieving the anticipated gains of LIS requires accurate channel estimation. Recent attempts to solve this problem have considered the least-squares (LS) approach, which is simple but also sub-optimal. The optimal channel estimator, based on the minimum mean-squared-error (MMSE) criterion, is challenging to obtain and is non-linear due to the non-Gaussianity of the effective channel seen at the receiver. Here we present approaches to approximate the optimal MMSE channel estimator. As a first approach, we analytically develop the best linear estimator, the LMMSE, together with a corresponding majorization-minimization based algorithm designed to optimize the LIS phase shift matrix during the training phase. This estimator is shown to yield improved accuracy over the LS approach by exploiting second-order statistical properties of the wireless channel and the noise. To further improve performance and better approximate the globally-optimal MMSE channel estimator, we propose data-driven non-linear solutions based on deep learning. Specifically, by posing the MMSE channel estimation problem as an image denoising problem, we propose two convolutional neural network (CNN) based methods to perform the denoising and approximate the optimal MMSE channel estimation solution. Our numerical results show that these CNN-based estimators give superior performance compared with linear estimation approaches. They also have low computational complexity requirements, thereby motivating their potential use in future LIS-aided wireless communication systems.


title: Random walks on decorated Galton-Watson trees

abstract: In this article, we study a simple random walk on a decorated Galton-Watson tree, obtained from a Galton-Watson tree by replacing each vertex of degree $n$ with an independent copy of a graph $G_n$ and gluing the inserted graphs along the tree structure. We assume that there exist constants $d, R \geq 1, v < \infty$ such that the diameter, effective resistance across and volume of $G_n$ respectively grow like $n^{\frac{1}{d}}, n^{\frac{1}{R}}, n^v$ as $n \to \infty$. We also assume that the underlying Galton-Watson tree is critical with offspring tails decaying like $cx^{-\alpha}$ for some constant $c>0$ and some $\alpha \in (1,2)$. We establish the fractal dimension, spectral dimension, walk dimension and simple random walk displacement exponent for the resulting metric space as functions of $\alpha, d, R$ and $v$, along with bounds on the fluctuations of these quantities.


title: Graph-Based Neural Network Models with Multiple Self-Supervised Auxiliary Tasks

abstract: Self-supervised learning is currently gaining a lot of attention, as it allows neural networks to learn robust representations from large quantities of unlabeled data. Additionally, multi-task learning can further improve representation learning by training networks simultaneously on related tasks, leading to significant performance improvements. In this paper, we propose three novel self-supervised auxiliary tasks to train graph-based neural network models in a multi-task fashion. Since Graph Convolutional Networks are among the most promising approaches for capturing relationships among structured data points, we use them as a building block to achieve competitive results on standard semi-supervised graph classification tasks.


title: Vortex-type equations on compact Riemann surfaces

abstract: In this paper, we prove \emph{a priori} estimates for some vortex-type equations on compact Riemann surfaces. As applications, we recover existing estimates for the vortex bundle Monge-Amp\`ere equation, prove an existence and uniqueness theorem for the Calabi-Yang-Mills equations on vortex bundles, and get estimates for $J-$vortex equation. We prove an existence and uniqueness result relating Gieseker stability and the existence of almost Hermitian Einstein metrics, i.e., a Kobayashi-Hitchin type correspondence. We also prove K\"ahlerness of the negative of the symplectic form which arises in the moment map interpretation of the Calabi-Yang-Mills equations in \cite{Vamsi3}


title: Man-at-the-End Software Protection as a Risk Analysis Process

abstract: The last years have seen an increase of Man-at-the-End (MATE) attacks against software applications, both in number and severity. However, MATE software protections are dominated by fuzzy concepts and techniques, with security-through-obscurity omnipresent in the field. This paper presents a rationale for adopting and standardizing the protection of software as a risk management process according to the NIST SP800-39 approach. We examine the relevant aspects of formalizing and automating the activities in this process in the context of MATE software protection. We highlight the open issues that the research community still has to address. We discuss the benefits that such an approach can bring to all stakeholders. In addition, we present a Proof of Concept (PoC) of a decision support system that automates many activities in the risk analysis methodology towards the protection of software applications. Despite still being a prototype, the PoC validation with industry experts indicated that several aspects of the proposed risk management process can already be formalized and automated with our existing toolbox, and that it can actually assist decision making in industrially relevant settings


title: Species Abundance Distribution and Species Accumulation Curve: A General Framework and Results

abstract: We build a general framework which establishes a one-to-one correspondence between species abundance distribution (SAD) and species accumulation curve (SAC). The appearance rates of the species and the appearance times of individuals of each species are modeled as Poisson processes. The number of species can be finite or infinite. Hill numbers are extended to the framework. We introduce a linear derivative ratio family of models, $\mathrm{LDR}_1$, of which the ratio of the first and the second derivatives of the expected SAC is a linear function. A D1/D2 plot is proposed to detect this linear pattern in the data. By extrapolation of the curve in the D1/D2 plot, a species richness estimator that extends Chao1 estimator is introduced. The SAD of $\mathrm{LDR}_1$ is the Engen's extended negative binomial distribution, and the SAC encompasses several popular parametric forms including the power law. Family $\mathrm{LDR}_1$ is extended in two ways: $\mathrm{LDR}_2$ which allows species with zero detection probability, and $\mathrm{RDR}_1$ where the derivative ratio is a rational function. Real data are analyzed to demonstrate the proposed methods. We also consider the scenario where we record only a few leading appearance times of each species. We show how maximum likelihood inference can be performed when only the empirical SAC is observed, and elucidate its advantages over the traditional curve-fitting method.


title: FedRec: Federated Learning of Universal Receivers over Fading Channels

abstract: Wireless communications is often subject to channel fading. Various statistical models have been proposed to capture the inherent randomness in fading, and conventional model-based receiver designs rely on accurate knowledge of this underlying distribution, which, in practice, may be complex and intractable. In this work, we propose a neural network-based symbol detection technique for downlink fading channels, which is based on the maximum a-posteriori probability (MAP) detector. To enable training on a diverse ensemble of fading realizations, we propose a federated training scheme, in which multiple users collaborate to jointly learn a universal data-driven detector, hence the name FedRec. The performance of the resulting receiver is shown to approach the MAP performance in diverse channel conditions without requiring knowledge of the fading statistics, while inducing a substantially reduced communication overhead in its training procedure compared to centralized training.


title: Identifying the effect of a mis-classified, binary, endogenous regressor

abstract: This paper studies identification of the effect of a mis-classified, binary, endogenous regressor when a discrete-valued instrumental variable is available. We begin by showing that the only existing point identification result for this model is incorrect. We go on to derive the sharp identified set under mean independence assumptions for the instrument and measurement error. The resulting bounds are novel and informative, but fail to point identify the effect of interest. This motivates us to consider alternative and slightly stronger assumptions: we show that adding second and third moment independence assumptions suffices to identify the model.


title: Primordial electric fields before recombination in the early Universe

abstract: This work is a supplement on the previous research about primordial electromagnetic fields. In this work, three important problems are discussed: the evolution of primordial electric fields, the electric and particle densities' solitons in plasma before recombination and their influences on the power spectra of cosmic microwave background. Detailed computations show that the primordial electric fields dissipate by Landau damping effect on both large scale and small scale and there is no impact on the spectrum. While, before recombination, there exist solitary waves stably propagating in plasma whose speed is significantly slower than that of baryonic acoustic oscillations, working only at extremely small scale. On the other hand, the amplitude of solitons is so weak that only a significantly small contribution on the phase of baryon acoustic oscillations, so there merely exist the messages about such electric solitary waves on the spectrum. In a word, as relevant monographs on cosmology, neglecting the electromagnetic fields (electric fields at least) is a reasonable treatment on the calculations of cosmic microwave background. However, the protonic density fluctuations show a form of KdV equation while its propagation as a stable solitary wave, leading a probability to the origin of fluctuation promoting the generation and evolution of galaxies.


title: On Filter Generalization for Music Bandwidth Extension Using Deep Neural Networks

abstract: In this paper, we address a sub-topic of the broad domain of audio enhancement, namely musical audio bandwidth extension. We formulate the bandwidth extension problem using deep neural networks, where a band-limited signal is provided as input to the network, with the goal of reconstructing a full-bandwidth output. Our main contribution centers on the impact of the choice of low pass filter when training and subsequently testing the network. For two different state of the art deep architectures, ResNet and U-Net, we demonstrate that when the training and testing filters are matched, improvements in signal-to-noise ratio (SNR) of up to 7dB can be obtained. However, when these filters differ, the improvement falls considerably and under some training conditions results in a lower SNR than the band-limited input. To circumvent this apparent overfitting to filter shape, we propose a data augmentation strategy which utilizes multiple low pass filters during training and leads to improved generalization to unseen filtering conditions at test time.


title: Inference Functions for Semiparametric Models

abstract: The paper discusses inference techniques for semiparametric models based on suitable versions of inference functions. The text contains two parts. In the first part, we review the optimality theory for non-parametric models based on the notions of path differentiability and statistical functional differentiability. Those notions are adapted to the context of semiparametric models by applying the inference theory of statistical functionals to the functional that associates the value of the interest parameter to the corresponding probability measure. The second part of the paper discusses the theory of inference functions for semiparametric models. We define a class of regular inference functions, and provide two equivalent characterisations of those inference functions: One adapted from the classic theory of inference functions for parametric models, and one motivated by differential geometric considerations concerning the statistical model. Those characterisations yield an optimality theory for estimation under semiparametric models. We present a necessary and sufficient condition for the coincidence of the bound for the concentration of estimators based on inference functions and the semiparametric Cram\`er-Rao bound. Projecting the score function for the parameter of interest on specially designed spaces of functions, we obtain optimal inference functions. Considering estimation when a sufficient statistic is present, we provide an alternative justification for the conditioning principle in a context of semiparametric models. The article closes with a characterisation of when the semiparametric Cram\`er-Rao bound is attained by estimators derived from regular inference functions.


title: A Framework for Eliciting, Incorporating, and Disciplining Identification Beliefs in Linear Models

abstract: To estimate causal effects from observational data, an applied researcher must impose beliefs. The instrumental variables exclusion restriction, for example, represents the belief that the instrument has no direct effect on the outcome of interest. Yet beliefs about instrument validity do not exist in isolation. Applied researchers often discuss the likely direction of selection and the potential for measurement error in their articles but lack formal tools for incorporating this information into their analyses. Failing to use all relevant information not only leaves money on the table; it runs the risk of leading to a contradiction in which one holds mutually incompatible beliefs about the problem at hand. To address these issues, we first characterize the joint restrictions relating instrument invalidity, treatment endogeneity, and non-differential measurement error in a workhorse linear model, showing how beliefs over these three dimensions are mutually constrained by each other and the data. Using this information, we propose a Bayesian framework to help researchers elicit their beliefs, incorporate them into estimation, and ensure their mutual coherence. We conclude by illustrating our framework in a number of examples drawn from the empirical microeconomics literature.


title: Generic Theory of the Dynamic Magnetic Response of Ferrofluids

abstract: Ferrofluids belong to an important class of highly functional soft matter, benefiting from their magnetically controllable physical properties. Therefore, it is of central importance to quantitatively predict the dynamic magnetic response of ferrofluids. Traditional dynamic theories, however, are often restricted to the near-equilibrium regime and/or only apply to nearly ideal ferrofluids that are monodisperse, dilute enough, and weakly interacting. In this paper I develop a self-consistent and nonperturbative dynamical mean field theory for typical ferrofluids which are often polydisperse, concentrated, and strongly interacting, possibly driven far from equilibrium. I obtain a general nonperturbative expression for the dynamic magnetic susceptibility, quantitatively agreeing with the spectra obtained from Brownian Dynamics simulations on both mono- and bidisperse samples. Furthermore, I derive a generic magnetization relaxation equation (MRE) for both mono- and polydisperse ferrofluids by employing the projection operator technique in nonequlibrium statistical mechanics. This MRE is in simple closed form and independent of which model is employed to approximate the equilibrium magnetization curve. Existing models can be recovered as low-order approximations of my generic and nonperturbative MRE. My theory can play a key role in studying the dynamics of ferrofluids and other polar fluids. It may also have substantial and immediate consequences to various ferrofluid applications.


title: Entropy conservation for comparison-based algorithms

abstract: Comparison-based algorithms are algorithms for which the execution of each operation is solely based on the outcome of a series of comparisons between elements. Comparison-based computations can be naturally represented via the following computational model: (a) model data structures as partially-ordered finite sets; (b) model data on these by topological sorts; (c) considering computation states as finite multisets of such data; (d) represent computations by their induced transformations on states. In this view, an abstract specification of a sorting algorithm has input state given by any possible permutation of a finite set of elements (represented, according to (a) and (b), by a discrete partially-ordered set together with its topological sorts given by all permutations) and output state a sorted list of elements (represented, again according to (a) and (b), by a linearly-ordered finite set with its unique topological sort). Entropy is a measure of "randomness" or "disorder." Based on the computational model, we introduce an entropy conservation result for comparison-based algorithms: "quantitative order gained is proportional to positional order lost." Intuitively, the result bears some relation to the messy office argument advocating a chaotic office where nothing is in the right place yet each item's place is known to the owner, over the case where each item is stored in the right order and yet the owner can no longer locate the items. Formally, we generalize the result to the class of data structures representable via series-parallel partial orders--a well-known computationally tractable class. The resulting "denotational" version of entropy conservation will be extended in follow-up work to an "operational" version for a core part of our computational model.


title: Towards Zero-Shot Learning with Fewer Seen Class Examples

abstract: We present a meta-learning based generative model for zero-shot learning (ZSL) towards a challenging setting when the number of training examples from each \emph{seen} class is very few. This setup contrasts with the conventional ZSL approaches, where training typically assumes the availability of a sufficiently large number of training examples from each of the seen classes. The proposed approach leverages meta-learning to train a deep generative model that integrates variational autoencoder and generative adversarial networks. We propose a novel task distribution where meta-train and meta-validation classes are disjoint to simulate the ZSL behaviour in training. Once trained, the model can generate synthetic examples from seen and unseen classes. Synthesize samples can then be used to train the ZSL framework in a supervised manner. The meta-learner enables our model to generates high-fidelity samples using only a small number of training examples from seen classes. We conduct extensive experiments and ablation studies on four benchmark datasets of ZSL and observe that the proposed model outperforms state-of-the-art approaches by a significant margin when the number of examples per seen class is very small.


title: Sentiment Analysis for Sinhala Language using Deep Learning Techniques

abstract: Due to the high impact of the fast-evolving fields of machine learning and deep learning, Natural Language Processing (NLP) tasks have further obtained comprehensive performances for highly resourced languages such as English and Chinese. However Sinhala, which is an under-resourced language with a rich morphology, has not experienced these advancements. For sentiment analysis, there exists only two previous research with deep learning approaches, which focused only on document-level sentiment analysis for the binary case. They experimented with only three types of deep learning models. In contrast, this paper presents a much comprehensive study on the use of standard sequence models such as RNN, LSTM, Bi-LSTM, as well as more recent state-of-the-art models such as hierarchical attention hybrid neural networks, and capsule networks. Classification is done at document-level but with more granularity by considering POSITIVE, NEGATIVE, NEUTRAL, and CONFLICT classes. A data set of 15059 Sinhala news comments, annotated with these four classes and a corpus consists of 9.48 million tokens are publicly released. This is the largest sentiment annotated data set for Sinhala so far.


title: A roadmap to strange star

abstract: What if normal baryonic matter is compressed so tightly that atomic nuclei come into close contact? This question has been asked since 1930s. The fist answer was presented by Lev Landau whose speculation has been developed, and the concept of neutron star is then popularized. However, another answer is related to strange star, which becomes worthy of attention especially after the establishment of the standard model of particle physics in 1960s. The basic ideas of this study are introduced pedagogically. We must point out emphatically that flavour symmetry of and strong coupling between quarks would be essential in seeking true answer to the question. The final answer is expected to appear in the era of multimessenger astronomy. It is emphasized too that, besides the differences of global properties (e.g., mass-radius relation, maximum mass, tidal deformability), the strong-bound surface of strange star (rather than the gravity-bound one for conventional neutron star) could play an important role in identifying a strange star by astronomical observations.


title: Operator growth in a quantum compass model on a Bethe lattice

abstract: The time evolution of local operators in quantum compass models is characterized by simplicity as it can be represented as expanding and contracting strings of operators. Here we present an analytical solution to the problem of growth of a local energy operator in a quantum compass model on a Bethe lattice. We find a linear increase in time of the average operator length and a diffusive spreading of the operator length distribution. By a moment method we evaluate the local energy autocorrelation function that shows a Lorentzian shape at low frequencies. Furthermore, by a stochastic method we visualize the expansion of the string cloud.


title: Lepton Flavour Asymmetries and the Mass Spectrum of Primordial Black Holes

abstract: We study the influence of lepton flavour asymmetries on the formation and the mass spectrum of primordial black holes. We estimate the detectability of their mergers with LIGO/Virgo and show that the currently published gravitational wave events may actually be described by a primordial black hole spectrum from non-zero asymmetries. We suggest to use gravitational-wave astronomy as a novel tool to probe how lepton flavour asymmetric the Universe has been before the onset of neutrino oscillations.


title: Application of the "Among" Leadership Model to Improve Teacher Work Discipline

abstract: This study aims to improve teacher work discipline related to their duties as classroom teachers. This research is a school action research conducted for four months starting in October 2018 to January 2019 at SDN 11 Simpang Rimba, South Bangka, Indonesia in the 2018/2019 academic year. The data collection instrument used observation sheets and documentation. Data analysis used quantitative data analysis techniques with descriptive statistics. The results of this study indicate that the application of the "Among" leadership model can improve teacher work discipline in the aspects of arriving on time, work hours fulfillment, and prepare lesson plans.


title: Fermionic dark stars spin slowly

abstract: We study r-mode instability of rotating compact objects composed of asymmetric and self-interacting Fermionic dark matter (dark stars). It is argued that the instability limit the angular frequency of the stars less than half of the Keplerian frequency. This may constrain the stars as alternatives to fast spinning pulsars or rapidly rotating Kerr black holes.


title: Analytical Inverse Kinematics for a 5-DoF Robotic Arm with a Prismatic Joint

abstract: We present an analytical solution for the inverse kinematics (IK) of a robotic arm with one prismatic joint and four revolute joints. This 5-DoF design is a result of minimizing weight while preserving functionality of the device in a wearable usage context. Generally, the IK problem for a 5-DoF robot does not guarantee solutions due to the system being over-constrained. We obtain an analytical solution by applying geometric projections and limiting the ranges of motion for each DoF. We validate this solution by reconstructing randomly sampled end-effector poses, and find position errors below 2 cm and orientation errors below 4 degrees.


title: Dynamical Effective Field Model for Interacting Ferrofluids: I. Derivations for homogeneous, inhomogeneous, and polydisperse cases

abstract: Quite recently I have proposed a nonperturbative dynamical effective field model (DEFM) to quantitatively describe the dynamics of interacting ferrofluids. Its predictions compare very well with the results from simulations. In this paper I put the DEFM on firm theoretical ground by deriving it within the framework of dynamical density functional theory (DDFT), in which the relevant part of correlation-induced free energy is approximated by a function of the instantaneous magnetization. The DEFM is generalized to inhomogeneous finite-size samples for which the macroscopic and mesoscopic scale separation is nontrivial due to the presence of long-range dipole-dipole interactions. The demagnetizing field naturally emerges from microscopic considerations and is consistently accounted for. The resulting particle dynamics on the mesoscopic scale only involves macroscopically local quantities such as local magnetization and Maxwell field. Nevertheless, the local demagnetizing field essentially couples to magnetization at distant macroscopic locations. Thus, a two-scale parallel algorithm, involving information transfer between different macroscopic locations, can be applied to fully resolve particle rotational dynamics in an inhomogeneous sample. I also derive the DEFM for polydisperse ferrofluids, in which the dynamics of particles belonging to different species can be strongly coupled to each other. I discuss the underlying assumptions in obtaining a thermodynamically consistent polydisperse magnetization relaxation equation, which is of the same generic form as that for monodisperse ferrofluids. The theoretical advances presented in this paper are important for both qualitative understanding and quantitative modeling of ferrofluid dynamics.


title: Random Stimuli Generation for the Verification of Quantum Circuits

abstract: Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we show that there are promising ways to check the correctness of quantum circuits using simulative verification and random stimuli. To this end, we investigate how to properly generate stimuli for efficiently checking the correctness of a quantum circuit. More precisely, we introduce, illustrate, and analyze three schemes for quantum stimuli generation---offering a trade-off between the error detection rate (as well as the required number of stimuli) and efficiency. In contrast to the verification in the classical realm, we show (both, theoretically and empirically) that even if only a few randomly-chosen stimuli (generated from the proposed schemes) are considered, high error detection rates can be achieved for quantum circuits. The results of these conceptual and theoretical considerations have also been empirically confirmed---with a grand total of approximately $10^6$ simulations conducted across 50 000 benchmark instances.


title: Exchange-striction driven ultrafast nonthermal lattice dynamics in NiO

abstract: We use femtosecond electron diffraction to study ultrafast lattice dynamics in the highly correlated antiferromagnetic (AF) semiconductor NiO. Using the scattering vector (Q) dependence of Bragg diffraction, we introduce a Q-resolved effective lattice temperature, and identify a nonthermal lattice state with preferential displacement of O compared to Ni ions, which occurs within ~0.3 ps and persists for 25 ps. We associate this with transient changes to the AF exchange striction-induced lattice distortion, supported by the observation of a transient Q-asymmetry of Friedel pairs. Our observation highlights the role of spin-lattice coupling in routes towards ultrafast control of spin order.


title: Opponent Learning Awareness and Modelling in Multi-Objective Normal Form Games

abstract: Many real-world multi-agent interactions consider multiple distinct criteria, i.e. the payoffs are multi-objective in nature. However, the same multi-objective payoff vector may lead to different utilities for each participant. Therefore, it is essential for an agent to learn about the behaviour of other agents in the system. In this work, we present the first study of the effects of such opponent modelling on multi-objective multi-agent interactions with non-linear utilities. Specifically, we consider two-player multi-objective normal form games with non-linear utility functions under the scalarised expected returns optimisation criterion. We contribute novel actor-critic and policy gradient formulations to allow reinforcement learning of mixed strategies in this setting, along with extensions that incorporate opponent policy reconstruction and learning with opponent learning awareness (i.e., learning while considering the impact of one's policy when anticipating the opponent's learning step). Empirical results in five different MONFGs demonstrate that opponent learning awareness and modelling can drastically alter the learning dynamics in this setting. When equilibria are present, opponent modelling can confer significant benefits on agents that implement it. When there are no Nash equilibria, opponent learning awareness and modelling allows agents to still converge to meaningful solutions that approximate equilibria.


title: Variable energy flux in turbulence

abstract: In three-dimensional hydrodynamic turbulence forced at large length scales, a constant energy flux $ \Pi_u $ flows from large scales to intermediate scales, and then to small scales. It is well known that for multiscale energy injection and dissipation, the energy flux $\Pi_u$ varies with scales. In this review we describe this principle and show how this general framework is useful for describing a variety of turbulent phenomena. Compared to Kolmogorov's spectrum, the energy spectrum steepens in turbulence involving quasi-static magnetofluid, Ekman friction, stable stratification, magnetohydrodynamics, and solution with dilute polymer. However, in turbulent thermal convection, in unstably stratified turbulence such as Rayleigh-Taylor turbulence, and in shear turbulence, the energy spectrum has an opposite behaviour due to an increase of energy flux with wavenumber. In addition, we briefly describe the role of variable energy flux in quantum turbulence, in binary-fluid turbulence including time-dependent Landau-Ginzburg and Cahn-Hillianrd equations, and in Euler turbulence.

categories: physics.flu-dyn astro-ph.SR cond-mat.stat-mech nlin.CD physics.plasm-ph


title: Gated two-dimensional electron gas in magnetic field: nonlinear versus linear regimes

abstract: We study the effect of magnetic field on the properties of a high mobility gated two-dimensional electron gas in a field effect transistor with the Hall bar geometry. When approaching the current saturation when the drain side of the channel becomes strongly depleted, we see a number of unusual effects related to the magnetic field induced re-distribution of the electron density in the conducting channel. The experimental results obtained in the non-linear regime have been interpreted based on the results obtained in the linear regime by a simple theoretical model, which describes quite well our observations.


title: Dynamical Effective Field Model for Interacting Ferrofluids: II. The proper relaxation time and effects of dynamic correlations

abstract: The recently proposed dynamical effective field model (DEFM) is quantitatively accurate for describing dynamical magnetic response of ferrofluids. In paper I it is derived under the framework of dynamical density functional theory, via which the original ensemble of bare Brownian particles is mapped to an ensemble of dressed particles. However, it remains to clarify how the characteristic rotational relaxation time of a dressed particle, denoted by $\tau_r$, is quantitatively related to that of a bare particle, denoted by $\tau^0_r$. By building macro-micro connections via two different routes, I reveal that under some gentle assumptions $\tau_r$ can be identified with the long-time rotational self-diffusion time. I further introduce two simple but useful integrated correlation factors, describing the effects of quasi-static (adiabatic) and dynamic (nonadiabatic) inter-particle correlations, respectively. In terms of both correlation factors I reformulate the dynamic magnetic susceptibility in an illuminating and elegant form. Remarkably, it shows that the macro-micro connection is established via two successive steps: a dynamical coarse-graining with nonadiabatic effects accounted for by the dynamic factor, followed by equilibrium statistical mechanical averaging captured by the static factor. Surprisingly, $\tau_r/\tau^0_r$ is found insensitive to changes of particle volume fraction. I provide a physical picture to explain it. Furthermore, an empirical formula is proposed to characterize the dependence of $\tau_r/\tau^0_r$ on dipole-dipole interaction strength. The DEFM supplemented with this formula leads to parameter-free predictions in good agreement with results from Brownian dynamics simulations. The theoretical developments presented in this paper may have important consequences to studies of ferrofluid dynamics in particular and other systems modelled by DDFTs in general.


title: Pose-dependent weights and Domain Randomization for fully automatic X-ray to CT Registration

abstract: Fully automatic X-ray to CT registration requires a solid initialization to provide an initial alignment within the capture range of existing intensity-based registrations. This work adresses that need by providing a novel automatic initialization, which enables end to end registration. First, a neural network is trained once to detect a set of anatomical landmarks on simulated X-rays. A domain randomization scheme is proposed to enable the network to overcome the challenge of being trained purely on simulated data and run inference on real Xrays. Then, for each patient CT, a patient-specific landmark extraction scheme is used. It is based on backprojecting and clustering the previously trained networks predictions on a set of simulated X-rays. Next, the network is retrained to detect the new landmarks. Finally the combination of network and 3D landmark locations is used to compute the initialization using a perspective-n-point algorithm. During the computation of the pose, a weighting scheme is introduced to incorporate the confidence of the network in detecting the landmarks. The algorithm is evaluated on the pelvis using both real and simulated x-rays. The mean (+-standard deviation) target registration error in millimetres is 4.1 +- 4.3 for simulated X-rays with a success rate of 92% and 4.2 +- 3.9 for real X-rays with a success rate of 86.8%, where a success is defined as a translation error of less than 30mm.


title: A new vertex coloring heuristic and corresponding chromatic number

abstract: One method to obtain a proper vertex coloring of graphs using a reasonable number of colors is to start from any arbitrary proper coloring and then repeat some local re-coloring techniques to reduce the number of color classes. The Grundy (First-Fit) coloring and color-dominating colorings of graphs are two well-known such techniques. The color-dominating colorings are also known and commonly referred as {\rm b}-colorings. But these two topics have been studied separately in graph theory. We introduce a new coloring procedure which combines the strategies of these two techniques and satisfies an additional property. We first prove that the vertices of every graph $G$ can be effectively colored using color classes say $C_1, \ldots, C_k$ such that $(i)$ for any two colors $i$ and $j$ with $1\leq i< j \leq k$, any vertex of color $j$ is adjacent to a vertex of color $i$, $(ii)$ there exists a set $\{u_1, \ldots, u_k\}$ of vertices of $G$ such that $u_j\in C_j$ for any $j\in \{1, \ldots, k\}$ and $u_k$ is adjacent to $u_j$ for each $1\leq j \leq k$ with $j\not= k$, and $(iii)$ for each $i$ and $j$ with $i\not= j$, the vertex $u_j$ has a neighbor in $C_i$. This provides a new vertex coloring heuristic which improves both Grundy and color-dominating colorings. Denote by $z(G)$ the maximum number of colors used in any proper vertex coloring satisfying the above properties. The $z(G)$ quantifies the worst-case behavior of the heuristic. We prove the existence of $\{G_n\}_{n\geq 1}$ such that $\min \{\Gamma(G_n), b(G_n)\} \rightarrow \infty$ but $z(G_n)\leq 3$ for each $n$. For each positive integer $t$ we construct a family of finitely many colored graphs ${\mathcal{D}}_t$ satisfying the property that if $z(G)\geq t$ for a graph $G$ then $G$ contains an element from ${\mathcal{D}}_t$ as a colored subgraph. This provides an algorithmic method for proving numeric upper bounds for $z(G)$.


title: Symmetric Dyck tilings, ballot tableaux and tree-like tableaux of shifted shapes

abstract: Symmetric Dyck tilings and ballot tilings are certain tilings in the region surrounded by two ballot paths. We study the relations of combinatorial objects which are bijective to symmetric Dyck tilings such as labeled trees, Hermite histories, and perfect matchings. We also introduce two operations on labeled trees for symmetric Dyck tilings: symmetric Dyck tiling strip (symDTS) and symmetric Dyck tiling ribbon (symDTR). We give two definitions of Hermite histories for symmetric Dyck tilings, and show that they are equivalent by use of the correspondence between symDTS operation and an Hermite history. Since ballot tilings form a subset in the set of symmetric Dyck tilings, we construct an inclusive map from labeled trees for ballot tilings to labeled trees for symmetric Dyck tilings. By this inclusive map, the results for symmetric Dyck tilings can be applied to those of ballot tilings. We introduce and study the notions of ballot tableaux and tree-like tableaux of shifted shapes, which are generalizations of Dyck tableaux and tree-like tableaux, respectively. The correspondence between ballot tableaux and tree-like tableaux of shifted shapes is given by using the symDTR operation and the structure of labeled trees for symmetric Dyck tilings.


title: Supersensitive multipurpose/multifunctional avalanche gaseous detectors for environmental, hazard, intrusion systems (SMART)

abstract: The aim of this work is to develop a prototype of integrated detector system to monitor environmental hazard: appearance of flames, smoke, sparks or dangerous gases (flammable, toxic, radioactive). We built and successfully tested prototypes of all components of the system. Our sensors are based on established CERN technologies and have superior characteristics, featuring between 10 to 1000 times higher sensitivity than the best commercial sensors. The final version of our device would consist of multifunctional sensors assembled in a single unit; each sensor will perform a specific task and deliver information to a common computing centre via cellular or satellite phone protocols.


title: Time Crystals in the Driven Transverse Field Ising Model under Quasiperiodic Modulation

abstract: We investigate the transverse field Ising model subject to a two-step periodic driving protocol and quasiperiodic modulation of the Ising couplings. Analytical results on the phase boundaries associated with Majorana edge modes and numerical results on the localization of single-particle excitations are presented. The implication of a region with fully localized domain-wall-like excitations in the parameter space is eigenstate order and exact spectral pairing of Floquet eigenstates, based on which we conclude the existence of time crystals. We also examine various correlation functions of the time crystal phase numerically, in support of its existence.


title: Graph covers of higher dimensional dynamical systems

abstract: We generalize the notion of an inverse sequence of graph covers from the zero-dimensional dynamical systems to any dynamical system.


title: Inversion of adjunction for quotient singularities

abstract: We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.


title: Spinning black holes with a separable Hamilton-Jacobi equation from a modified Newman-Janis algorithm

abstract: Obtaining solutions of the Einstein field equations describing spinning compact bodies is typically challenging. The Newman-Janis algorithm provides a procedure to obtain rotating spacetimes from a static, spherically symmetric, seed metric. It is not guaranteed, however, that the resulting rotating spacetime solves the same field equations as the seed. Moreover, the former may not be circular, and thus expressible in Boyer-Lindquist-like coordinates. Amongst the variations of the original procedure, a modified Newman-Janis algorithm (MNJA) has been proposed that, by construction, originates a circular, spinning spacetime, expressible in Boyer-Lindquist-like coordinates. As a down side, the procedure introduces an ambiguity, that requires extra assumptions on the matter content of the model. In this paper we observe that the rotating spacetimes obtained through the MNJA always admit separability of the Hamilton-Jacobi equation for the case of null geodesics, in which case, moreover, the aforementioned ambiguity has no impact, since it amounts to an overall metric conformal factor. We also show that the Hamilton-Jacobi equation for light rays propagating in a plasma admits separability if the plasma frequency obeys a certain constraint. As an illustration, we compute the shadow and lensing of some spinning black holes obtained by the MNJA.


title: Hybrid localized graph kernel for machine learning energy-related properties of molecules and solids

abstract: Nowadays, the coupling of electronic structure and machine learning techniques serves as a powerful tool to predict chemical and physical properties of a broad range of systems. With the aim of improving the accuracy of predictions, a large number of representations for molecules and solids for machine learning applications has been developed. In this work we propose a novel descriptor based on the notion of molecular graph. While graphs are largely employed in classification problems in cheminformatics or bioinformatics, they are not often used in regression problem, especially of energy-related properties. Our method is based on a local decomposition of atomic environments and on the hybridization of two kernel functions: a graph kernel contribution that describes the chemical pattern and a Coulomb label contribution that 1encodes finer details of the local geometry. The accuracy of this new kernel method in energy predictions of molecular and condensed phase systems is demonstrated by considering the popular QM7 and BA10 datasets. These examples show that the hybrid localized graph kernel outperforms traditional approaches such as, for example, the smooth overlap of atomic positions (SOAP) and the Coulomb matrices.


title: Rethinking the Role of Technology in Virtual Teams in Light of COVID-19

abstract: The use of virtual teams by organisations has grown tremendously as a strategic response to COVID-19. However, the concept of virtual teams is not something new, with many businesses over the past three decades gradually incorporating virtual and/or dispersed teams into their processes. Research on virtual teams has followed that of co-located face-to-face teams through lenses such as trust, communication, teamwork, leadership and collaboration. This paper introduces a new paradigm for examining the development of virtual teams, arguably one that would facilitate the consideration of technology as part of a virtual team rather than simply as an alternate to face-to-face teams. That is, viewing the development of virtual teams with embedded technology within an organisation through an innovation framework.


title: The sets of flattened partitions with forbidden patterns

abstract: The study of pattern avoidance in permutations, and specifically in flattened partitions is an active area of current research. In this paper, we count the number of distinct flattened partitions over [n] avoiding a single pattern, as well as a pair of two patterns. Several counting sequences, namely Catalan numbers, powers of two, Fibonacci numbers and Motzkin numbers arise. We also consider other combinatorial statistics, namely runs and inversions, and establish some bijections in situations where the statistics coincide.


title: The influence of alloying on the stacking fault energy of gold from density functional theory calculations

abstract: The generalized stacking fault (SFE) energy curves of pure gold (Au) and its binary alloys with transition metals are determined from density functional theory (DFT). Alloy elements Ag, Al, Cu, Ni, Ti, Zr, Zn, In, Ga, Sn, Mn, Cd, Sn, Ta and Cr are substituted into Au at concentrations up to 4%. A comparison of various proposed methodologies to calculate SFEs is given. The intrinsic SFE decreases for all alloying elements from its value for pure Au, but SFE energies (both stable and unstable) vary strongly with the distance of the alloying element from the stacking fault region, and with alloy concentration. The compositional dependence of the SFE on the volume change associated with alloying element is determined. This work demonstrates that the SFE is strongly influenced by misfit strain caused by the alloying elements. Moreover, the computed generalized SFE curves provide information valuable to developing an understanding of the deformation behavior of Au and Au-alloys.


title: SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol

abstract: A plethora of contact tracing apps have been developed and deployed in several countries around the world in the battle against Covid-19. However, people are rightfully concerned about the security and privacy risks of such applications. To this end, the contribution of this work is twofold. First, we present an in-depth analysis of the security and privacy characteristics of the most prominent contact tracing protocols, under both passive and active adversaries. The results of our study indicate that all protocols are vulnerable to a variety of attacks, mainly due to the deterministic nature of the underlying cryptographic protocols. Our second contribution is the design and implementation of SpreadMeNot, a novel contact tracing protocol that can defend against most passive and active attacks, thus providing strong (provable) security and privacy guarantees that are necessary for such a sensitive application. Our detailed analysis, both formal and experimental, shows that SpreadMeNot satisfies security, privacy, and performance requirements, hence being an ideal candidate for building a contact tracing solution that can be adopted by the majority of the general public, as well as to serve as an open-source reference for further developments in the field.


title: Meaningful Answer Generation of E-Commerce Question-Answering

abstract: In e-commerce portals, generating answers for product-related questions has become a crucial task. In this paper, we focus on the task of product-aware answer generation, which learns to generate an accurate and complete answer from large-scale unlabeled e-commerce reviews and product attributes. However, safe answer problems pose significant challenges to text generation tasks, and e-commerce question-answering task is no exception. To generate more meaningful answers, in this paper, we propose a novel generative neural model, called the Meaningful Product Answer Generator (MPAG), which alleviates the safe answer problem by taking product reviews, product attributes, and a prototype answer into consideration. Product reviews and product attributes are used to provide meaningful content, while the prototype answer can yield a more diverse answer pattern. To this end, we propose a novel answer generator with a review reasoning module and a prototype answer reader. Our key idea is to obtain the correct question-aware information from a large scale collection of reviews and learn how to write a coherent and meaningful answer from an existing prototype answer. To be more specific, we propose a read-and-write memory consisting of selective writing units to conduct reasoning among these reviews. We then employ a prototype reader consisting of comprehensive matching to extract the answer skeleton from the prototype answer. Finally, we propose an answer editor to generate the final answer by taking the question and the above parts as input. Conducted on a real-world dataset collected from an e-commerce platform, extensive experimental results show that our model achieves state-of-the-art performance in terms of both automatic metrics and human evaluations. Human evaluation also demonstrates that our model can consistently generate specific and proper answers.


title: Phase-dependent dissipation and supercurrent of a graphene-superconductor ring under microwave irradiation

abstract: A junction with two superconductors coupled by a normal metal hosts Andreev bound states whose energy spectrum is phase-dependent and exhibits a minigap, resulting in a periodic supercurrent. Phase-dependent dissipation also appears at finite frequency due to relaxation of Andreev bound states. While dissipation and supercurrent versus phase have previously been measured near thermal equilibrium, their behavior in nonequilibrium is still elusive. By measuring the ac susceptibility of a graphene-superconductor junction under microwave irradiation, we find supercurrent response deviates from adiabatic ac Josephson effect as irradiation frequency is larger than relaxation rate. Notably, when irradiation frequency further increases above the minigap, the dissipation is enhanced at phase 0 where the minigap is largest and dissipation is minimum in equilibrium. We argue that this is evidence of the nonequilibrium distribution function which allows additional level transitions on the same side of the minigap. These results reveal that phase-dependent dissipation is more sensitive than supercurrent to microwave irradiation, and suggest a new method to investigate photon-assisted physics in proximitized superconducting system.


title: Auxiliary open quantum system for the Floquet quantum master equation

abstract: By directly using the probability formulas of quantum trajectories, we construct an auxiliary open quantum system for a periodically driven open quantum system whose dynamics is governed by the Floquet quantum master equation. This auxiliary system can generate a quantum trajectory ensemble that is consistent with the canonical quantum trajectory ensemble. We find that, at a long time limit, though the Lindblad operators are modified, the coherent dynamics of the auxiliary system is the same as that of the original system. A periodically driven two-level quantum system is used to illustrate this construction.


title: Emission of magnetar bursts and precursors of neutron star mergers

abstract: Magnetar bursts can be emitted by Alfv\'en waves growing in the outer magnetosphere to nonlinear amplitudes, $\delta B/B\sim 1$, and triggering magnetic reconnection. Similar magnetic flares should occur quasi-periodically in a magnetized neutron star binary nearing merger. In both cases, fast dissipation in the magnetic flare creates optically thick $e^\pm$ plasma, whose heat capacity is negligible compared with the generated radiation energy. Magnetic dissipation then involves photon viscosity and acts through Compton drag on the plasma bulk motions in the reconnection region. The effective temperature of the resulting Comptonization process is self-regulated to tens of keV. The generated X-ray emission is calculated using time-dependent radiative transfer simulations, which follow the creation of $e^\pm$ pairs and the production, Comptonization, and escape of photons. The simulations show how the dissipation region becomes dressed in an $e^\pm$ coat, and how the escaping spectrum is shaped by radiative transfer through the coat. The results are compared with observed magnetar bursts, including the recent activity of SGR 1935+2154 accompanied by a fast radio burst. Predictions are made for X-ray precursors of magnetized neutron star mergers.


title: Modular transformations of elliptic Feynman integrals

abstract: We investigate the behaviour of elliptic Feynman integrals under modular transformations. This has a practical motivation: Through a suitable modular transformation we can achieve that the nome squared is a small quantity, leading to fast numerical evaluations. Contrary to the case of multiple polylogarithms, where it is sufficient to consider just variable transformations for the numerical evaluations of multiple polylogarithms, it is more natural in the elliptic case to consider a combination of a variable transformation (i.e. a modular transformation) together with a redefinition of the master integrals. Thus we combine a coordinate transformation on the base manifold with a basis transformation in the fibre. Only in the combination of the two transformations we stay within the same class of functions.


title: Shortcomings of Counterfactual Fairness and a Proposed Modification

abstract: In this paper, I argue that counterfactual fairness does not constitute a necessary condition for an algorithm to be fair, and subsequently suggest how the constraint can be modified in order to remedy this shortcoming. To this end, I discuss a hypothetical scenario in which counterfactual fairness and an intuitive judgment of fairness come apart. Then, I turn to the question how the concept of discrimination can be explicated in order to examine the shortcomings of counterfactual fairness as a necessary condition of algorithmic fairness in more detail. I then incorporate the insights of this analysis into a novel fairness constraint, causal relevance fairness, which is a modification of the counterfactual fairness constraint that seems to circumvent its shortcomings.


title: Classification of Reverse-Engineered Class Diagram and Forward-Engineered Class Diagram using Machine Learning

abstract: UML Class diagram is very important to visualize the whole software we are working on and helps understand the whole system in the easiest way possible by showing the system classes, its attributes, methods, and relations with other objects. In the real world, there are two types of Class diagram engineers work with namely 1) Forward Engineered Class Diagram (FwCD) which are hand-made as part of the forward-looking development process, and 2). Reverse Engineered Class Diagram (RECD) which are those diagrams that are reverse engineered from the source code. In the software industry while working with new open software projects it is important to know which type of class diagram it is. Which UML diagram was used in a particular project is an important factor to be known? To solve this problem, we propose to build a classifier that can classify a UML diagram into FwCD or RECD. We propose to solve this problem by using a supervised Machine Learning technique. The approach in this involves analyzing the features that are useful in classifying class diagrams. Different Machine Learning models are used in this process and the Random Forest algorithm has proved to be the best out of all. Performance testing was done on 999 Class diagrams.


title: Exploiting Quantum Teleportation in Quantum Circuit Mapping

abstract: Quantum computers are constantly growing in their number of qubits, but continue to suffer from restrictions such as the limited pairs of qubits that may interact with each other. Thus far, this problem is addressed by mapping and moving qubits to suitable positions for the interaction (known as quantum circuit mapping). However, this movement requires additional gates to be incorporated into the circuit, whose number should be kept as small as possible since each gate increases the likelihood of errors and decoherence. State-of-the-art mapping methods utilize swapping and bridging to move the qubits along the static paths of the coupling map---solving this problem without exploiting all means the quantum domain has to offer. In this paper, we propose to additionally exploit quantum teleportation as a possible complementary method. Quantum teleportation conceptually allows to move the state of a qubit over arbitrary long distances with constant overhead---providing the potential of determining cheaper mappings. The potential is demonstrated by a case study on the IBM Q Tokyo architecture which already shows promising improvements. With the emergence of larger quantum computing architectures, quantum teleportation will become more effective in generating cheaper mappings.


title: A tomography of the $\log(\langle I\rangle_e)-\log(R_e)$ plane

abstract: Context. We present a reanalysis of the distribution of galaxies in the $\log(\langle I\rangle_e)-\log(R_e)$ plane under a new theoretical perspective. Aims. Using the data of the WINGS database and those of the Illustris simulation we will demonstrate that the origin of the observed distribution in this parameter space can be understood only by accepting a new interpretation of the $\log(L)$-$\log(\sigma)$ relation Methods. We simulate the distribution of galaxies in the $\log(\langle I\rangle_e)-\log(R_e)$ plane starting from the new $L=L_0'\sigma^\beta$ relation proposed by D'Onofrio et al. (2020) and we discuss the physical mechanisms that are hidden in this empirical law. Results. The artificial distribution obtained assuming that beta spans either positive and negative values and that $L'_0$ changes with $\beta$, is perfectly superposed to the observational data, once it is postulated that the Zone of Exclusion (ZoE) is the limit of virialized and quenched objects. Conclusions. We have demonstrated that the distribution of galaxies in the $\log(\langle I\rangle_e)-\log(R_e)$ plane is not linked to the peculiar light profiles of the galaxies of different luminosity, but originate from the mass assembly history of galaxies, made of merging, star formation events, star evolution and quenching of the stellar population.


title: Planning Paths Through Unknown Space by Imagining What Lies Therein

abstract: This paper presents a novel framework for planning paths in maps containing unknown spaces, such as from occlusions. Our approach takes as input a semantically-annotated point cloud, and leverages an image inpainting neural network to generate a reasonable model of unknown space as free or occupied. Our validation campaign shows that it is possible to greatly increase the performance of standard pathfinding algorithms which adopt the general optimistic assumption of treating unknown space as free.


title: Memory-Efficient Dataflow Inference for Deep CNNs on FPGA

abstract: Custom dataflow Convolutional Neural Network (CNN) inference accelerators on FPGA are tailored to a specific CNN topology and store parameters in On-Chip Memory (OCM), resulting in high energy efficiency and low inference latency. However, in these accelerators the shapes of parameter memories are dictated by throughput constraints and do not map well to the underlying OCM, which becomes an implementation bottleneck. In this work, we propose an accelerator design methodology - Frequency Compensated Memory Packing (FCMP) - which improves the OCM utilization efficiency of dataflow accelerators with minimal reduction in throughput and no modifications to the physical structure of FPGA OCM. To validate our methodology, we apply it to several realizations of medium-sized CIFAR-10 inference accelerators and demonstrate up to 30% reduction in OCM utilization without loss of inference throughput, allowing us to port the accelerators from Xilinx Zynq 7020 to 7012S, reducing application cost. We also implement a custom dataflow FPGA inference accelerator for a quantized ResNet-50 CNN, utilizing on-chip weights, the largest topology ever implemented with this accelerator architecture. We demonstrate that by applying FCMP to the ResNet accelerator, the OCM bottleneck is alleviated which enables the accelerator to be ported from Alveo U250 to the smaller Alveo U280 board with less throughput loss compared to alternative techniques. By providing a finer-grained trade off between throughput and OCM requirements, FCMP increases the flexibility of custom dataflow CNN inference designs on FPGA.