title: Small-scale structure of fuzzy and axion-like dark matter

abstract: Axion-like particle (ALP) dark matter shows distinctive behavior on scales where wavelike effects dominate over self-gravity. Ultralight axions are candidates for fuzzy dark matter (FDM) whose de Broglie wavelength in virialized halos reaches scales of kiloparsecs. Important features of FDM scenarios are the formation of solitonic halo cores, suppressed small-scale perturbations, and enhanced gravitational relaxation. More massive ALPs, including the QCD axion, behave like CDM on galactic scales but may be clumped into axion miniclusters if they were produced after inflation. Just as FDM halos, axion miniclusters may host the formation of coherent bound objects (axion stars) by Bose-Einstein condensation. This article presents a selection of topics in this field that are currently under active investigation.


title: Primordial backgrounds of relic gravitons

abstract: The diffuse backgrounds of relic gravitons with frequencies ranging between the aHz band and the GHz region encode the ultimate information on the primeval evolution of the plasma and on the underlying theory of gravity well before the electroweak epoch. While the temperature and polarization anisotropies of the microwave background radiation probe the low-frequency tail of the graviton spectra, during the next score year the pulsar timing arrays and the wide-band interferometers (both terrestrial and hopefully space-borne) will explore a much larger frequency window encompassing the nHz domain and the audio band. The salient theoretical aspects of the relic gravitons are reviewed in a cross-disciplinary perspective touching upon various unsettled questions of particle physics, cosmology and astrophysics.


title: A result for nonexistence of global solutions to semi-linear structural damped wave model

abstract: Main goal of this note is to give a result for nonexistence of global solutions and determine the critical exponent as well to a semi-linear structurally damped wave equation.


title: Aggressive Online Control of a Quadrotor via Deep Network Representations of Optimality Principles

abstract: Optimal control holds great potential to improve a variety of robotic applications. The application of optimal control on-board limited platforms has been severely hindered by the large computational requirements of current state of the art implementations. In this work, we make use of a deep neural network to directly map the robot states to control actions. The network is trained offline to imitate the optimal control computed by a time consuming direct nonlinear method. A mixture of time optimality and power optimality is considered with a continuation parameter used to select the predominance of each objective. We apply our networks (termed G\&CNets) to aggressive quadrotor control, first in simulation and then in the real world. We give insight into the factors that influence the `reality gap' between the quadrotor model used by the offline optimal control method and the real quadrotor. Furthermore, we explain how we set up the model and the control structure on-board of the real quadrotor to successfully close this gap and perform time-optimal maneuvers in the real world. Finally, G\&CNet's performance is compared to state-of-the-art differential-flatness-based optimal control methods. We show, in the experiments, that G\&CNets lead to significantly faster trajectory execution due to, in part, the less restrictive nature of the allowed state-to-input mappings.


title: Optical properties of a Brane-World black hole as photons couple to the Weyl tensor

abstract: In this article, we have investigated the equations of motion of the photons coupled to Weyl tensor by the geometric optics approximation and the corresponding shadow in a Brane-World black hole spacetime. It is shown that there exists a double shadow for a black hole since the coupling photons with different polarization directions propagate along different paths in the spacetime. Furthermore, we discuss the effects of the metric parameter $\alpha$ related to the cosmological constant, X-cold dark matter parameter $\beta$ and the coupling parameter $\lambda$ on the umbra (the overlap region of the double shadow) and the penumbra. We also obtain the finite-distance corrections to the deflection angle of light in the Brane-World black hole spacetime as the photons coupled to Weyl tensor by using a recent geometric method.


title: Unitarity of quantum tunneling decay for an analytical exact non-Hermitian resonant-state approach

abstract: By using an exact analytical non-Hermitian formalism involving the full set of resonance (quasinormal) states and complex energy eigenvalues for quantum tunneling decay, we show that unitarity holds at any instant of time for the nonstationary decaying probability density in the whole space, thus providing a fundamental description of the quantum mechanical decay process.


title: Paired 3-disjoint path covers of balanced hypercubes

abstract: The balanced hypercube $BH_{n}$, proposed by Wu and Huang, is a variation of the hypercube. The paired 1-disjoint path cover of $BH_{n}$ is the Hamiltonian laceability, which was obtained by Xu et al. in [Appl. Math. Comput. 189 (2007) 1393--1401]. The paired 2-disjoint path cover of $BH_{n}$ was obtained by Cheng et al. in [Appl. Math. and Comput. 242 (2014) 127-142]. In this paper, we obtain the paired 3-disjoint path cover of $BH_{n}$ with $n\geq 3$. This result improves the above known results about the paired $k$-disjoint path covers of $BH_{n}$ for $k=1,2$.


title: Fourier transforms on the basic affine space of a quasi-split group

abstract: We extend the Gelfand and Graev construction of generalized Fourier transforms on basic affine space from split groups to quasi-split groups over a local non-archimedean field $F$.


title: Non-linear statistics of primordial black holes from gaussian curvature perturbations

abstract: We develop the non-linear statistics of primordial black holes generated by a gaussian spectrum of primordial curvature perturbations. This is done by employing the compaction function as the main statistical variable under the constraints that: a) the over-density has a high peak at a point $\vec{x}_0$, b) the compaction function has a maximum at a smoothing scale $R$, and finally, c) the compaction function amplitude at its maximum is higher than the threshold necessary to trigger a gravitational collapse into a black hole of the initial over-density. Our calculation allows for the fact that the patches which are destined to form PBHs may have a variety of profile shapes and sizes. The predicted PBH abundances depend on the power spectrum of primordial fluctuations. For a very peaked power spectrum, our non-linear statistics, the one based on the linear over-density and the one based on the use of curvature perturbations, all predict a narrow distribution of PBH masses and comparable abundance. For broader power spectra the linear over-density statistics over-estimate the abundance of primordial black holes while the curvature-based approach under-estimates it. Additionally, for very large smoothing scales, the abundance is no longer dominated by the contribution of a mean over-density but rather by the whole statistical realisations of it.


title: Twisted superfluids in moving frame

abstract: Helical waveguide filled by superfluid is shown to transform rotations of the reference frame $\vec \Omega_{\oplus}$ into linear displacements of the atomic ensemble and vise versa the linear displacements of the reference frame $\vec V$ initialize rotations $\vec \Omega_{\oplus}$ of ensemble. In the mean-field Gross-Pitaevskii equation with a weakly modulated gravitation potential the exact solutions for macroscopic wavefunction $\Psi$ demonstrate the emergence of $redshift$ phase factor. For helical waveguides formed by phase-conjugated optical vortices with high angular momentum $L_z=\pm \ell \hbar \sim \pm \hbar \cdot 10^{3 \div 4}$ one may expect the significant improvement of the phase-sensitivity $\delta \phi$ by factor containing $2 \ell$ compared to the conventional nonsingular matter-wave interferometry.


title: Disorder-induced phase transition in Dirac systems beyond the linear approximation

abstract: By using the self-consistent Born approximation, we investigate disorder effect induced by the short-range impurities on the band-gap in two-dimensional Dirac systems with the higher order terms in momentum. Starting from the Bernevig-Hughes-Zhang (BHZ) model, we calculate the density-of-states as a function of the disorder strength. We show that due to quadratic corrections to the Dirac Hamiltonian, the band-gap is always affected by the disorder even if the system is gapless in the clean limit. Finally, we explore the disorder effects by using an advanced effective Hamiltonian describing the side maxima of the valence subband in HgTe~quantum wells. We show that the band-gap and disorder-induced topological phase transition in the real structures may differ significantly from those predicted within the BHZ model.


title: Boosted optimal weighted least-squares

abstract: This paper is concerned with the approximation of a function $u$ in a given approximation space $V_m$ of dimension $m$ from evaluations of the function at $n$ suitably chosen points. The aim is to construct an approximation of $u$ in $V_m$ which yields an error close to the best approximation error in $V_m$ and using as few evaluations as possible. Classical least-squares regression, which defines a projection in $V_m$ from $n$ random points, usually requires a large $n$ to guarantee a stable approximation and an error close to the best approximation error. This is a major drawback for applications where $u$ is expensive to evaluate. One remedy is to use a weighted least squares projection using $n$ samples drawn from a properly selected distribution. In this paper, we introduce a boosted weighted least-squares method which allows to ensure almost surely the stability of the weighted least squares projection with a sample size close to the interpolation regime $n=m$. It consists in sampling according to a measure associated with the optimization of a stability criterion over a collection of independent $n$-samples, and resampling according to this measure until a stability condition is satisfied. A greedy method is then proposed to remove points from the obtained sample. Quasi-optimality properties are obtained for the weighted least-squares projection, with or without the greedy procedure. The proposed method is validated on numerical examples and compared to state-of-the-art interpolation and weighted least squares methods.


title: Multilingual is not enough: BERT for Finnish

abstract: Deep learning-based language models pretrained on large unannotated text corpora have been demonstrated to allow efficient transfer learning for natural language processing, with recent approaches such as the transformer-based BERT model advancing the state of the art across a variety of tasks. While most work on these models has focused on high-resource languages, in particular English, a number of recent efforts have introduced multilingual models that can be fine-tuned to address tasks in a large number of different languages. However, we still lack a thorough understanding of the capabilities of these models, in particular for lower-resourced languages. In this paper, we focus on Finnish and thoroughly evaluate the multilingual BERT model on a range of tasks, comparing it with a new Finnish BERT model trained from scratch. The new language-specific model is shown to systematically and clearly outperform the multilingual. While the multilingual model largely fails to reach the performance of previously proposed methods, the custom Finnish BERT model establishes new state-of-the-art results on all corpora for all reference tasks: part-of-speech tagging, named entity recognition, and dependency parsing. We release the model and all related resources created for this study with open licenses at https://turkunlp.org/finbert .


title: Non-orthogonal Multiple Access as an Enabler for Massive Connectivity for 5G and Beyond Networks

abstract: Two of the most challenging goals to be achieved in the fifth generation (5G) and beyond communication are massive connectivity and higher capacity. The use of traditional orthogonal multiple access techniques limits the number of users that can be served using the available resources due to orthogonality constraint. Moreover, the available resources may not be utilized effectively by the alloted users thereby resulting in inefficiency and user unfairness. This imposes a severe drawback in cases where the number of users to be served are high, like in the 5G networks. Hence, introducing non-orthogonality to the multiple access scheme is advocated as a supreme methodology to serve multiple users simultaneously, thereby enhancing the connectivity. In scenarios with massive number of users, non-orthogonal multiple access scheme increases the number of active connections by superimposing the signal of multi-users on a same resource block, thereby also utilizing the available resources efficiently.


title: Frictional drag between superconducting LaAlO$_3$/SrTiO$_3$ nanowires

abstract: We report frictional drag measurements between two superconducting LaAlO$_3$/SrTiO$_3$ nanowires. In these experiments, current passing through one nanowire induces a voltage across a nearby electrically isolated nanowire. The frictional drag signal contains both symmetric and antisymmetric components. The antisymmetric component arises from the rectification of quantum shot noise in the drive nanowire by the broken symmetry in the drag nanowire. The symmetric component in the drag resistance is ascribed to rectification of thermal noise in the drive nanowire during superconducting-normal transition. The suppression of the symmetric component is observed when a normal nanowire is used as either a drag or drive nanowire with the other nanowire superconducting. The absence of symmetric drag resistance between a normal drag nanowire and a superconducting drive nanowire suggests a higher electron-hole asymmetry in the superconducting LaAlO$_3$/SrTiO$_3$ nanowire arising from the 1D nature of superconductivity at LaAlO$_3$/SrTiO$_3$ interface.


title: Semismooth Newton-type method for bilevel optimization: Global convergence and extensive numerical experiments

abstract: We consider the standard optimistic bilevel optimization problem, in particular upper- and lower-level constraints can be coupled. By means of the lower-level value function, the problem is transformed into a single-level optimization problem with a penalization of the value function constraint. For treating the latter problem, we develop a framework that does not rely on the direct computation of the lower-level value function or its derivatives. For each penalty parameter, the framework leads to a semismooth system of equations. This allows us to extend the semismooth Newton method to bilevel optimization. Besides global convergence properties of the method, we focus on achieving local superlinear convergence to a solution of the semismooth system. To this end, we formulate an appropriate CD-regularity assumption and derive suffcient conditions so that it is fulfilled. Moreover, we develop conditions to guarantee that a solution of the semismooth system is a local solution of the bilevel optimization problem. Extensive numerical experiments on $124$ examples of nonlinear bilevel optimization problems from the literature show that this approach exhibits a remarkable performance, where only a few penalty parameters need to be considered.


title: Non-equilibrium $d-$ wave pair density wave order parameter in superconducting cuprates

abstract: We investigate the nonequilibrium pair density wave order parameter in a simple microscopic model with the ground state $d-$ wave spatially uniform superconductivity. After pushing the system out of equilibrium by a short-time induced order parameter, the system can exhibit robust free nondecaying oscillations of nonuniform superconducting order. In the weak nonequilibrium regime, the frequency of these oscillations is about $2\Delta/\hbar$ and the amplitude can be explained qualitatively by features of equilibrium free energy. In case when the system was taken far from equilibrium, it transits to a non-linear regime where even metastable coexistence of $d-$ wave superconducting and pair density wave gaps are possible.


title: Algebraic maps constant on isomorphism classes of unpolarized abelian varieties are constant

abstract: We show that if a rational map is constant on each isomorphism class of unpolarized abelian varieties of a given dimension, then it is a constant map. Our results are motivated by and shed light on a proposed construction of a cryptographic protocol for multiparty non-interactive key exchange.


title: An Environmentally Stable and Lead-Free Chalcogenide Perovskite

abstract: Organic-inorganic halide perovskites are intrinsically unstable when exposed to moisture and/or light. Additionally, the presence of lead in many perovskites raises toxicity concerns. Herein is reported a thin film of BaZrS3, a lead-free chalcogenide perovskite. Photoluminescence and X-ray diffraction measurements show that BaZrS3 is far more stable than methylammonium lead iodide (MAPbI3) in moist environments. Moisture- and light-induced degradations in BaZrS3 and MAPbI3 are compared by using simulations and calculations based on density functional theory. The simulations reveal drastically slower degradation in BaZrS3 due to two factors - weak interaction with water, and very low rates of ion migration. BaZrS3 photo-detecting devices with photo-responsivity of ~46.5 mA W-1 are also reported. The devices retain ~60% of their initial photo-response after 4 weeks in ambient conditions. Similar MAPbI3 devices degrade rapidly and show ~95% decrease in photo-responsivity in just 4 days. The findings establish the superior stability of BaZrS3 and strengthen the case for its use in optoelectronics. New possibilities for thermoelectric energy conversion using these materials are also demonstrated.


title: On Wyner's Common Information in the Gaussian Case

abstract: Wyner's Common Information and a natural relaxation are studied in the special case of Gaussian random variables. The relaxation replaces conditional independence by a bound on the conditional mutual information. The main contribution is the proof that Gaussian auxiliaries are optimal, leading to a closed-form formula. As a corollary, the proof technique also establishes the optimality of Gaussian auxiliaries for the Gaussian Gray-Wyner network, a long-standing open problem.


title: Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems

abstract: The decision logic for the ACAS X family of aircraft collision avoidance systems is represented as a large numeric table. Due to storage constraints of certified avionics hardware, neural networks have been suggested as a way to significantly compress the data while still preserving performance in terms of safety. However, neural networks are complex continuous functions with outputs that are difficult to predict. Because simulations evaluate only a finite number of encounters, simulations are not sufficient to guarantee that the neural network will perform correctly in all possible situations. We propose a method to provide safety guarantees when using a neural network collision avoidance system. The neural network outputs are bounded using neural network verification tools like Reluplex and Reluval, and a reachability method determines all possible ways aircraft encounters will resolve using neural network advisories and assuming bounded aircraft dynamics. Experiments with systems inspired by ACAS X show that neural networks giving either horizontal or vertical maneuvers can be proven safe. We explore how relaxing the bounds on aircraft dynamics can lead to potentially unsafe encounters and demonstrate how neural network controllers can be modified to guarantee safety through online costs or lowering alerting cost. The reachability method is flexible and can incorporate uncertainties such as pilot delay and sensor error. These results suggest a method for certifying neural network collision avoidance systems for use in real aircraft.


title: Monotones in General Resource Theories

abstract: A central problem in the study of resource theories is to find functions that are nonincreasing under resource conversions - termed monotones - in order to quantify resourcefulness. Various constructions of monotones appear in many different concrete resource theories. How general are these constructions? What are the necessary conditions on a resource theory for a given construction to be applicable? To answer these questions, we introduce a broad scheme for constructing monotones. It involves finding an order-preserving map from the preorder of resources of interest to a distinct preorder for which nontrivial monotones are previously known or can be more easily constructed; these monotones are then pulled back through the map. In one of the two main classes we study, the preorder of resources is mapped to a preorder of sets of resources, where the order relation is set inclusion, such that monotones can be defined via maximizing or minimizing the value of a function within these sets. In the other class, the preorder of resources is mapped to a preorder of tuples of resources, and one pulls back monotones that measure the amount of distinguishability of the different elements of the tuple (hence its information content). Monotones based on contractions arise naturally in the latter class, and, more surprisingly, so do weight and robustness measures. In addition to capturing many standard monotone constructions, our scheme also suggests significant generalizations of these. In order to properly capture the breadth of applicability of our results, we present them within a novel abstract framework for resource theories in which the notion of composition is independent of the types of the resources involved (i.e., whether they are states, channels, combs, etc.).


title: Spectral analysis of long range dependence functional time series

abstract: Long Range Dependence (LRD) in functional sequences is characterized in the spectral domain under suitable conditions. Particularly, multifractionally integrated functional autoregressive moving averages processes can be introduced in this framework. The convergence to zero in the Hilbert-Schmidt operator norm of the integrated bias of the periodogram operator is proved. Under a Gaussian scenario, a weak--consistent parametric estimator of the long--memory operator is then obtained by minimizing, in the norm of bounded linear operators, a divergence information functional loss.


title: Deep learning using a biophysical model for Robust and Accelerated Reconstruction (RoAR) of quantitative and artifact-free R2* images

abstract: Purpose: To introduce a novel deep learning method for Robust and Accelerated Reconstruction (RoAR) of quantitative and B0-inhomogeneity-corrected R2* maps from multi-gradient recalled echo (mGRE) MRI data. Methods: RoAR trains a convolutional neural network (CNN) to generate quantitative R2* maps free from field inhomogeneity artifacts by adopting a self-supervised learning strategy given (a) mGRE magnitude images, (b) the biophysical model describing mGRE signal decay, and (c) preliminary-evaluated F-function accounting for contribution of macroscopic B0 field inhomogeneities. Importantly, no ground-truth R2* images are required and F-function is only needed during RoAR training but not application. Results: We show that RoAR preserves all features of R2* maps while offering significant improvements over existing methods in computation speed (seconds vs. hours) and reduced sensitivity to noise. Even for data with SNR=5 RoAR produced R2* maps with accuracy of 22% while voxel-wise analysis accuracy was 47%. For SNR=10 the RoAR accuracy increased to 17% vs. 24% for direct voxel-wise analysis. Conclusion: RoAR is trained to recognize the macroscopic magnetic field inhomogeneities directly from the input magnitude-only mGRE data and eliminate their effect on R2* measurements. RoAR training is based on the biophysical model and does not require ground-truth R2* maps. Since RoAR utilizes signal information not just from individual voxels but also accounts for spatial patterns of the signals in the images, it reduces the sensitivity of R2* maps to the noise in the data. These features plus high computational speed provide significant benefits for the potential usage of RoAR in clinical settings.


title: Vortex shedding in high-Reynolds-number axisymmetric bluff-body wakes: local linear instability and global bleed control

abstract: We study the large-scale helical vortex shedding regime in the wake of an axisymmetric body with a blunt trailing edge at high Reynolds numbers, both experimentally and by means of local, linear, spatiotemporal stability analysis. In the instability analysis we take into account the detailed downstream evolution of the basic flow behind the body base. The study confirms the existence of a finite region of absolute instability for the first azimuthal number in the near field of the wake. Such instability is believed to trigger the large scale helical vortex shedding downstream of the recirculating zone. Inhibition of vortex shedding is examined by blowing a given flow rate of fluid through the base of the slender body. The extent of the locally absolute region of the flow is calculated as a function of the bleed coefficient, $C_b=q_b/(\pi R^2u_\infty)$, where $q_b$ is the bleed flow rate, $R$ is the radius of the base and $u_\infty$ is the incident free-stream velocity. It is shown that the basic flow becomes convectively unstable everywhere for a critical value of the bleed coefficient of $C_b^*\sim 0.13$, such that no self-excited regime is expected for $C_b>C_b^*$. In addition, we report experimental results of flow visualizations and hot-wire measurements for increasing values of the bleed coefficient. When a sufficient amount of base bleed is applied, flow visualizations indicate that vortex shedding is suppressed and that the mean flow becomes axisymmetric. The critical bleed coefficient predicted by linear instability analysis is shown to fall within the experimental values in the range of Reynolds numbers analyzed here.


title: Global Double Field Theory is Higher Kaluza-Klein Theory

abstract: Kaluza-Klein Theory states that a metric on the total space of a principal bundle $P\rightarrow M$, if it is invariant under the principal action of $P$, naturally reduces to a metric together with a gauge field on the base manifold $M$. We propose a generalization of this Kaluza-Klein principle to higher principal bundles and higher gauge fields. For the particular case of the abelian gerbe of Kalb-Ramond field, this Higher Kaluza-Klein geometry provides a natural global formulation for Double Field Theory (DFT). In this framework the doubled space is the total space of a higher principal bundle and the invariance under its higher principal action is exactly a global formulation of the familiar strong constraint. The patching problem of DFT is naturally solved by gluing the doubled space with a higher group of symmetries in a higher category. Locally we recover the familiar picture of an ordinary para-Hermitian manifold equipped with Born geometry. Infinitesimally we recover the familiar picture of a higher Courant algebroid twisted by a gerbe (also known as Extended Riemannian Geometry). As first application we show that on a torus-compactified spacetime the Higher Kaluza-Klein reduction gives automatically rise to abelian T-duality, while on a general principal bundle it gives rise to non-abelian T-duality. As final application we define a natural notion of Higher Kaluza-Klein monopole by directly generalizing the ordinary Gross-Perry one. Then we show that under Higher Kaluza-Klein reduction, this monopole is exactly the NS5-brane on a $10d$ spacetime. If, instead, we smear it along a compactified direction we recover the usual DFT monopole on a $9d$ spacetime.


title: Hunting for supernovae articles in the universe of scientometrics

abstract: This short note records an unusual situation with some Google Scholar's profiles that imply the existence of "supernovae" articles, i.e., articles whose impact -- in terms of number of citations -- in a single year gets (almost) an order of magnitude higher than the previous year and immediate drops (and remains steady) to a very low level after the next year. We analyse the issue and resolve the situation providing an answer whether there exist supernovae articles.


title: Drawbacks and Proposed Solutions for Real-time Processing on Existing State-of-the-art Locality Sensitive Hashing Techniques

abstract: Nearest-neighbor query processing is a fundamental operation for many image retrieval applications. Often, images are stored and represented by high-dimensional vectors that are generated by feature-extraction algorithms. Since tree-based index structures are shown to be ineffective for high dimensional processing due to the well-known "Curse of Dimensionality", approximate nearest neighbor techniques are used for faster query processing. Locality Sensitive Hashing (LSH) is a very popular and efficient approximate nearest neighbor technique that is known for its sublinear query processing complexity and theoretical guarantees. Nowadays, with the emergence of technology, several diverse application domains require real-time high-dimensional data storing and processing capacity. Existing LSH techniques are not suitable to handle real-time data and queries. In this paper, we discuss the challenges and drawbacks of existing LSH techniques for processing real-time high-dimensional image data. Additionally, through experimental analysis, we propose improvements for existing state-of-the-art LSH techniques for efficient processing of high-dimensional image data.


title: Minimality of the ball for a model of charged liquid droplets

abstract: We deduce that charged liquid droplets minimizing Debye-H\"uckel-type free energy are spherical in the small charge regime. The variational model was proposed by Muratov and Novaga in 2016 to avoid the ill-posedness of the classical one. By combining a recent (partial) regularity result with Selection Principle of Cicalese and Leonardi, we prove that the ball is the unique minimizer in the small charge regime.


title: A solution to the soccer ball problem for generalised uncertainty relations

abstract: We propose a new method for generating generalised uncertainty relations (GURs) including the generalised uncertainty principle (GUP), extended uncertainty principle (EUP), and extended generalised uncertainty principle (EGUP), previously proposed in the quantum gravity literature, without modifying the Heisenberg algebra. Our approach is compatible with the equivalence principle, and with local Poincar{\' e} invariance in the relativistic limit, thus circumventing many of the problems associated with GURs derived from modified commutation relations. In particular, it does not require the existence of a nonlinear additional law for momenta. This allows sensible multiparticle states to be constructed in which the total momentum is macroscopic, even if the momentum of an individual particle is bounded by the Planck momentum, thus providing a resolution of the "soccer ball problem" that plagues current approaches to GURs.


title: Generalised uncertainty relations for angular momentum and spin in quantum geometry

abstract: We derive generalised uncertainty relations (GURs) for angular momentum and spin in the smeared-space model of quantum geometry. The model implements a minimum length and a minimum linear momentum, and recovers both the generalised uncertainty principle (GUP) and the extended uncertainty principle (EUP) within a single formalism. In this paper, we investigate the consequences of these results for particles with extrinsic and intrinsic angular momentum, and obtain generalisations of the canonical ${\rm so(3)}$ and ${\rm su(2)}$ algebras. We find that, although ${\rm SO(3)}$ symmetry is preserved on three-dimensional slices of an enlarged phase space, individual subcomponents of the generalised generators obey nontrivial subalgebras. These give rise to GURs for angular momentum while leaving the canonical commutation relations intact except for a simple rescaling, $\hbar \rightarrow \hbar + \beta$. The value of the new parameter, $\beta \simeq \hbar \times 10^{-61}$, is determined by the ratio of the dark energy density to the Planck density. Here, we assume the former to be of the order of the Planck length and the latter to be of the order of the de Sitter momentum $\sim \hbar\sqrt{\Lambda}$, where $\Lambda$ is the cosmological constant. In the smeared-space model, $\hbar$ and $\beta$ are interpreted as the quantisation scales for matter and geometry, respectively, and a quantum state vector is associated with the spatial background. We show that this also gives rise to a rescaled Lie algebra for generalised spin operators, together with associated subalgebras that are analogous to those for orbital angular momentum. Remarkably, consistency of the algebraic structure requires the quantum state associated with a flat background to be fermionic, with spin eigenvalues $\pm \beta/2$. Finally, the modified spin algebra leads to GURs for spin measurements.


title: Robust Named Entity Recognition with Truecasing Pretraining

abstract: Although modern named entity recognition (NER) systems show impressive performance on standard datasets, they perform poorly when presented with noisy data. In particular, capitalization is a strong signal for entities in many languages, and even state of the art models overfit to this feature, with drastically lower performance on uncapitalized text. In this work, we address the problem of robustness of NER systems in data with noisy or uncertain casing, using a pretraining objective that predicts casing in text, or a truecaser, leveraging unlabeled data. The pretrained truecaser is combined with a standard BiLSTM-CRF model for NER by appending output distributions to character embeddings. In experiments over several datasets of varying domain and casing quality, we show that our new model improves performance in uncased text, even adding value to uncased BERT embeddings. Our method achieves a new state of the art on the WNUT17 shared task dataset.


title: Dynamic and weighted stabilizations of the $L$-scheme applied to a phase-field model for fracture propagation

abstract: We consider a phase-field fracture propagation model, which consists of two (nonlinear) coupled partial differential equations. The first equation describes the displacement evolution, and the second is a smoothed indicator variable, describing the crack position. We propose an iterative scheme, the so-called $L$-scheme, with a dynamic update of the stabilization parameters during the iterations. Our algorithmic improvements are substantiated with two numerical tests. The dynamic adjustments of the stabilization parameters lead to a significant reduction of iteration numbers in comparison to constant stabilization values.


title: Disturbance due to Measurements on a Chaotic System

abstract: We study the quantized kicked top's dynamics under projective measurements especially with an aim to connect macroscopic realism (macrorealism) and chaos. The kicked top is a classically chaotic system, and macrorealism is a set of assumptions regarding how systems should behave according to classical intuition which is at present being tested in experiments. Using the no-signalling in time condition, a derivative of macrorealism, we define measures of disturbance due to measurements in order to study the effects of chaos. Restricting to cases which allow a meaningful study of this question, our results strongly suggest that chaos is unfriendly to macrorealism.


title: Localizability in $\kappa$-Minkowski Spacetime

abstract: Using the methods of ordinary quantum mechanics we study $\kappa$-Minkowski space as a quantum space described by noncommuting self-adjoint operators, following and enlarging arXiv:1811.08409. We see how the role of Fourier transforms is played in this case by Mellin transforms. We briefly discuss the role of transformations and observers.


title: Modeling the Marked Presence-only Data: A Case Study of Estimating the Female Sex Worker Size in Malawi

abstract: Certain subpopulations like female sex workers (FSW), men who have sex with men (MSM), and people who inject drugs (PWID) often have higher prevalence of HIV/AIDS and are difficult to map directly due to stigma, discrimination, and criminalization. Fine-scale mapping of those populations contributes to the progress towards reducing the inequalities and ending the AIDS epidemic. In 2016 and 2017, the PLACE surveys were conducted at 3,290 venues in 20 out of the total 28 districts in Malawi to estimate the FSW sizes. These venues represent a presence-only data set where, instead of knowing both where people live and do not live (presence-absence data), only information about visited locations is available. In this study, we develop a Bayesian model for presence-only data and utilize the PLACE data to estimate the FSW size and uncertainty interval at a $1.5 \times 1.5$-km resolution for all of Malawi. The estimates can also be aggregated to any desirable level (city/district/region) for implementing targeted HIV prevention and treatment programs in FSW communities, which have been successful in lowering the incidence of HIV and other sexually transmitted infections.


title: Some results on the complete monotonicity of the Mittag-Leffler functions of Le Roy type

abstract: The paper by R. Garrappa, S. Rogosin, and F. Mainardi, entitled {\em On a generalized three-parameter Wright function of the Le Roy type} and published in [Fract. Calc. Appl. Anal. {\bf 20} (2017) 1196-1215], ends up leaving the open question concerning the range of the parameters $\alpha, \beta$ and $\gamma$ for which Mittag-Leffler functions of Le Roy type $F_{\alpha, \beta}^{(\gamma)}$ are completely monotonic. Inspired by the 1948 seminal H. Pollard's paper which provides the proof of the complete monotonicity of the one parameter Mittag-Leffler function, the Pollard approach is used to find the Laplace transform representation of $F_{\alpha, \beta}^{(\gamma)}$ for integer $\gamma = n$ and rational $0 < \alpha \leq 1/n$. In this way it is possible to show that Mittag-Leffler functions of Le Roy type are completely monotone for $\alpha = 1/n$ and $\beta \geq (n+1)/(2n)$ as well as for rational $0 < \alpha \leq 1/2$, $\beta = 1$ and $n=2$. For further integer values of $n$ the complete monotonicity is tested numerically for rational $0< \alpha < 1/n$ and various choices of $\beta$. The obtained results suggest that for the complete monotonicity the condition $\beta \geq (n+1)/(2n)$ holds for any value of $n$.


title: Efficient Bitmap-based Indexing and Retrieval of Similarity Search Image Queries

abstract: Finding similar images is a necessary operation in many multimedia applications. Images are often represented and stored as a set of high-dimensional features, which are extracted using localized feature extraction algorithms. Locality Sensitive Hashing is one of the most popular approximate processing techniques for finding similar points in high-dimensional spaces. Locality Sensitive Hashing (LSH) and its variants are designed to find similar points, but they are not designed to find objects (such as images, which are made up of a collection of points) efficiently. In this paper, we propose an index structure, Bitmap-Image LSH (bImageLSH), for efficient processing of high-dimensional images. Using a real dataset, we experimentally show the performance benefit of our novel design while keeping the accuracy of the image results high.


title: Fields generated by characters of finite linear groups

abstract: In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups $A_n$. Here we address the natural generalization of this speculation to the finite general linear groups $\mathrm{GL}_m\left(\mathbb{F}_q\right)$ and $\mathrm{SL}_2\left(\mathbb{F}_q\right)$.


title: Stationary Surfaces with Boundaries

abstract: This article investigates stationary surfaces with boundaries, which arise as the critical points of functionals dependent on curvature. Precisely, a generalized "bending energy" functional $\mathcal{W}$ is considered which involves a Lagrangian that is symmetric in the principal curvatures. The first variation of $\mathcal{W}$ is computed, and a stress tensor is extracted whose divergence quantifies deviation from $\mathcal{W}$-criticality. Boundary-value problems are then examined, and a characterization of free-boundary $\mathcal{W}$-surfaces with rotational symmetry is given for scaling-invariant $\mathcal{W}$-functionals. In case the functional is not scaling-invariant, certain boundary-to-interior consequences are discussed. Finally, some applications to the conformal Willmore energy and the p-Willmore energy of surfaces are presented.


title: Robust Inference and Model Criticism Using Bagged Posteriors

abstract: Standard Bayesian inference is known to be sensitive to model misspecification, leading to unreliable uncertainty quantification and poor predictive performance. However, finding generally applicable and computationally feasible methods for robust Bayesian inference under misspecification has proven to be a difficult challenge. An intriguing, easy-to-use, and widely applicable approach is to use bagging on the Bayesian posterior ("BayesBag"); that is, to use the average of posterior distributions conditioned on bootstrapped datasets. In this paper, we develop the asymptotic theory of BayesBag, propose a model-data mismatch index for model criticism using BayesBag, and empirically validate our theory and methodology on synthetic and real-world data in linear regression, sparse logistic regression, and a hierarchical mixed effects model. We find that in the presence of significant misspecification, BayesBag yields more reproducible inferences and has better predictive accuracy than the standard Bayesian posterior; on the other hand, when the model is correctly specified, BayesBag produces superior or equally good results. Overall, our results demonstrate that BayesBag combines the attractive modeling features of standard Bayesian inference with the distributional robustness properties of frequentist methods, providing benefits over both Bayes alone and the bootstrap alone.


title: Semantic-Aware Label Placement for Augmented Reality in Street View

abstract: In an augmented reality (AR) application, placing labels in a manner that is clear and readable without occluding the critical information from the real-world can be a challenging problem. This paper introduces a label placement technique for AR used in street view scenarios. We propose a semantic-aware task-specific label placement method by identifying potentially important image regions through a novel feature map, which we refer to as guidance map. Given an input image, its saliency information, semantic information and the task-specific importance prior are integrated into the guidance map for our labeling task. To learn the task prior, we created a label placement dataset with the users' labeling preferences, as well as use it for evaluation. Our solution encodes the constraints for placing labels in an optimization problem to obtain the final label layout, and the labels will be placed in appropriate positions to reduce the chances of overlaying important real-world objects in street view AR scenarios. The experimental validation shows clearly the benefits of our method over previous solutions in the AR street view navigation and similar applications.


title: Towards Building a Real Time Mobile Device Bird Counting System Through Synthetic Data Training and Model Compression

abstract: Counting the number of birds in an open sky setting has been an challenging problem due to the large number of bird flocks and the birds can overlap. Another difficulty is the lack of accurate training samples since the cost of labeling images of bird flocks can be extremely high and each sample picture can contain thousands of birds in a high resolution image. Inspired by recent work on training with synthetic data to perform crowd counting, we design a mechanism to generate synthetic bird dataset with precise bird count and the corresponding density maps. We then train a Unet model on the synthetic dataset to perform density map estimation that produces the count for each input. Our method is able to achieve MSE of approximately 12.4 on real dataset. In order to build a scalable system for fast bird counting under storage and computational constraints, we use model compression techniques and efficient model structures to increase the inference speed and save storage cost. We are able to reduce storage cost from 55MB to less than 5MB for the model with minimum loss of accuracy. This paper describes the pipelines of building an efficient bird counting system.


title: Optimal sensor scheduling under intermittent observations subject to network dynamics

abstract: Motivated by various distributed control applications, we consider a linear system with Gaussian noise observed by multiple sensors which transmit measurements over a dynamic lossy network. We characterize the stationary optimal sensor scheduling policy for the finite horizon, discounted, and long-term average cost problems and show that the value iteration algorithm converges to a solution of the average cost problem. We further show that the suboptimal policies provided by the rolling horizon truncation of the value iteration also guarantee stability and provide near-optimal average cost. Lastly, we provide qualitative characterizations of the multidimensional set of measurement loss rates for which the system is stabilizable for a static network, significantly extending earlier results on intermittent observations.


title: Ring-theoretic (in)finiteness in reduced products of Banach algebras

abstract: We study ring-theoretic (in)finiteness properties -- such as \emph{Dedekind-finiteness} and \emph{proper infiniteness} -- of ultraproducts (and more generally, reduced products) of Banach algebras. Whilst we characterise when an ultraproduct has these ring-theoretic properties in terms of its underlying sequence of algebras, we find that, contrary to the $C^*$-algebraic setting, it is not true in general that an ultraproduct has a ring-theoretic finiteness property if and only if "ultrafilter many" of the underlying sequence of algebras have the same property. This might appear to violate the continuous model theoretic counterpart of {\L}o\'s's Theorem; the reason it does not is that for a general Banach algebra, the ring theoretic properties we consider cannot be verified by considering a bounded subset of the algebra of \emph{fixed} bound. For Banach algebras, we construct counter-examples to show, for example, that each component Banach algebra can fail to be Dedekind-finite while the ultraproduct is Dedekind-finite, and we explain why such a counter-example is not possible for $C^*$-algebras. Finally the related notion of having \textit{stable rank one} is also studied for ultraproducts.


title: SDFDiff: Differentiable Rendering of Signed Distance Fields for 3D Shape Optimization

abstract: We propose SDFDiff, a novel approach for image-based shape optimization using differentiable rendering of 3D shapes represented by signed distance functions (SDFs). Compared to other representations, SDFs have the advantage that they can represent shapes with arbitrary topology, and that they guarantee watertight surfaces. We apply our approach to the problem of multi-view 3D reconstruction, where we achieve high reconstruction quality and can capture complex topology of 3D objects. In addition, we employ a multi-resolution strategy to obtain a robust optimization algorithm. We further demonstrate that our SDF-based differentiable renderer can be integrated with deep learning models, which opens up options for learning approaches on 3D objects without 3D supervision. In particular, we apply our method to single-view 3D reconstruction and achieve state-of-the-art results.


title: Pair Dependent Linear Statistics for Circular Beta Ensemble

abstract: We study limiting distribution of pair counting statistics of the form $ \sum_{1\leq i\neq j\leq N} f(L_N\*(\theta_i-\theta_j))$ for the circular $\beta$-ensemble (C$\beta$E) of random matrices for sufficiently smooth test function $f$ and $L_N=O(N).$ For $\beta=2$ and $L_N=N$ our results are inspired by a classical result of Montgomery on pair correlation of zeros of Riemann zeta function.


title: The Klein paradox in a magnetic field: effects of electron spin

abstract: Reflection and transmission of electrons scattered by a rectangular potential step in the presence of an external magnetic field parallel to the electron beam is described with the use of the Dirac equation. It is shown that in addition to the known effects present in the so called Klein paradox, the presence of magnetic field gives rise to electron components with reversed spin in the reflected and transmitted beams. The spin-flip scattering processes are caused by the spin-orbit interaction activated by electric field of the potential step and transverse momentum components of electron motion induced by the magnetic field. The contemporary understanding of the Klein paradox, consisting in the finite transmission even when the potential height tends to infinity, is generalized to the presence of magnetic field and spin-reversed electron beams. The spin-reversed beams are shown to occur also for electrons moving above the step. It is proposed that, accounting for the anomalous value of the electron spin $g$-factor related to radiation corrections, the reflection and transmission scattering from the potential step can be used as an electron spin filter.


title: Joint Beamforming, User Association, and Height Control for Cellular-Enabled UAV Communications

abstract: Supporting reliable and seamless mobility for aerial users, such as unmanned aerial vehicles (UAVs), is a key challenge for the next-generation cellular systems. To tackle this challenge, we propose a joint beamforming, user association, and UAV-height control framework for cellular-connected multi-UAV networks with multiple antenna base stations (BSs). With the aim of maximizing the minimum achievable rate for UAVs subject to co-existed terrestrial user equipment's rate constraints, we devise a hierarchical bi-layer iterative algorithm to optimize BSs' beamforming vectors, UAV association matrix, and the height of UAVs jointly. With the aid of projection gradient method in inner layer iteration and geometric program modelling plus convex-concave procedure in outer layer iteration, our proposed algorithm is proved to converge to a local optimum. Taking mobility characteristics of UAVs into account, we also exploit our proposed algorithm for imperfect channel estimation scenario. Numerical results show that our proposed algorithm can achieve improved UAVs' minimum achievable rate compared with that of the conventional nearest association of UAVs for both perfect and imperfect channel estimation scenarios. Moreover, we also examine the trade-off between the UAVs' minimum achievable rate and the frequency for updating optimization variables with single moving UAV.


title: Connes Trace Theorem for Curved Noncommutative Tori. Application to Scalar Curvature

abstract: In this paper we prove a version of Connes' trace theorem for noncommutative tori of any dimension~$n\geq 2$. This allows us to recover and improve earlier versions of this result in dimension $n=2$ and $n=4$ by Fathizadeh-Khalkhali. We also recover the Connes integration formula for flat noncommutative tori of McDonald-Sukochev-Zanin. As a further application we prove a curved version of this integration formula in terms of the Laplace-Beltrami operator defined by an arbitrary Riemannian metric. For the class of so-called self-compatible Riemannian metrics (including the conformally flat metrics of Connes-Tretkoff) this shows that Connes' noncommutative integral allows us to recover the Riemannian density. This exhibits a neat link between this notion of noncommutative integral and noncommutative measure theory in the sense of operator algebras. As an application of these results, we setup a natural notion of scalar curvature for curved noncommutative tori.


title: Fuglede's conjecture holds on $\mathbb{Z}_p^2 \times \mathbb{Z}_q$

abstract: The study of Fuglede's conjecture on the direct product of elementary abelian groups was initiated by Iosevich et al. For the product of two elementary abelian groups the conjecture holds. For $\mathbb{Z}_p^3$ the problem is still open if $p\ge 11$. In connection we prove that Fuglede's conjecture holds on $\mathbb{Z}_{p}^2\times \mathbb{Z}_q$ by developing a method based on ideas from discrete geometry.


title: EU Economic Modelling System

abstract: This is the first study that attempts to assess the regional economic impacts of the European Institute of Innovation and Technology (EIT) investments in a spatially explicit macroeconomic model, which allows us to take into account all key direct, indirect and spatial spillover effects of EIT investments via inter-regional trade and investment linkages and a spatial diffusion of technology via an endogenously determined global knowledge frontier with endogenous growth engines driven by investments in knowledge and human capital. Our simulation results of highly detailed EIT expenditure data suggest that, besides sizable direct effects in those regions that receive the EIT investment support, there are also significant spatial spillover effects to other (non-supported) EU regions. Taking into account all key indirect and spatial spillover effects is a particular strength of the adopted spatial general equilibrium methodology; our results suggest that they are important indeed and need to be taken into account when assessing the impacts of EIT investment policies on regional economies.


title: Image Processing Using Multi-Code GAN Prior

abstract: Despite the success of Generative Adversarial Networks (GANs) in image synthesis, applying trained GAN models to real image processing remains challenging. Previous methods typically invert a target image back to the latent space either by back-propagation or by learning an additional encoder. However, the reconstructions from both of the methods are far from ideal. In this work, we propose a novel approach, called mGANprior, to incorporate the well-trained GANs as effective prior to a variety of image processing tasks. In particular, we employ multiple latent codes to generate multiple feature maps at some intermediate layer of the generator, then compose them with adaptive channel importance to recover the input image. Such an over-parameterization of the latent space significantly improves the image reconstruction quality, outperforming existing competitors. The resulting high-fidelity image reconstruction enables the trained GAN models as prior to many real-world applications, such as image colorization, super-resolution, image inpainting, and semantic manipulation. We further analyze the properties of the layer-wise representation learned by GAN models and shed light on what knowledge each layer is capable of representing.


title: Support varieties and modules of finite projective dimension for modular Lie superalgebras (with an appendix on homological dimensions over Noether Algebras by Luchezar L. Avramov and Srikanth B. Iyengar)

abstract: We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of B{\o}gvad, showing that if a finite-dimensional Lie superalgebra over a field of odd characteristic is absolutely torsion free, then its enveloping algebra is of finite global dimension.


title: The Experiment for Cryogenic Large-aperture Intensity Mapping (EXCLAIM)

abstract: The EXperiment for Cryogenic Large-Aperture Intensity Mapping (EXCLAIM) is a cryogenic balloon-borne instrument that will survey galaxy and star formation history over cosmological time scales. Rather than identifying individual objects, EXCLAIM will be a pathfinder to demonstrate an intensity mapping approach, which measures the cumulative redshifted line emission. EXCLAIM will operate at 420-540 GHz with a spectral resolution R=512 to measure the integrated CO and [CII] in redshift windows spanning 0 < z < 3.5. CO and [CII] line emissions are key tracers of the gas phases in the interstellar medium involved in star-formation processes. EXCLAIM will shed light on questions such as why the star formation rate declines at z < 2, despite continued clustering of the dark matter. The instrument will employ an array of six superconducting integrated grating-analog spectrometers (micro-spec) coupled to microwave kinetic inductance detectors (MKIDs). Here we present an overview of the EXCLAIM instrument design and status.


title: Prime order isometries of unimodular lattices and automorphisms of ihs manifolds

abstract: We characterize conjugacy classes of isometries of odd prime order in unimodular Z-lattices. This is applied to give a complete classification of odd prime order non-symplectic automorphisms of irreducible holomorphic symplectic manifolds up to deformation and birational conjugacy.


title: Prediction Intervals for Synthetic Control Methods

abstract: Uncertainty quantification is a fundamental problem in the analysis and interpretation of synthetic control (SC) methods. We develop conditional prediction intervals in the SC framework, and provide conditions under which these intervals offer finite-sample probability guarantees. Our method allows for covariate adjustment and non-stationary data. The construction begins by noting that the statistical uncertainty of the SC prediction is governed by two distinct sources of randomness: one coming from the construction of the (likely misspecified) SC weights in the pre-treatment period, and the other coming from the unobservable stochastic error in the post-treatment period when the treatment effect is analyzed. Accordingly, our proposed prediction intervals are constructed taking into account both sources of randomness. For implementation, we propose a simulation-based approach along with finite-sample-based probability bound arguments, naturally leading to principled sensitivity analysis methods. We illustrate the numerical performance of our methods using empirical applications and a small simulation study. \texttt{Python}, \texttt{R} and \texttt{Stata} software packages implementing our methodology are available.


title: Entrainment dynamics of forced hierarchical circadian systems revealed by 2-dimensional maps

abstract: The ability of a circadian system to entrain to the 24-hour light-dark cycle is one of its most important properties. A new tool, called the entrainment map, was recently introduced to study this process for a single oscillator. Here we generalize the map to study the effects of light-dark forcing in a hierarchical system consisting of a central circadian oscillator that drives a peripheral circadian oscillator. We develop techniques to reduced the higher dimensional phase space of the coupled system to derive a generalized 2-D entrainment map. Determining the nature of various fixed points, together with an understanding of their stable and unstable manifolds, leads to conditions for existence and stability of periodic orbits of the circadian system. We use the map to investigate how various properties of solutions depend on parameters and initial conditions including the time to and direction of entrainment. We show that the concepts of phase advance and phase delay need to be carefully assessed when considering hierarchical systems.


title: The virtual element method for linear elastodynamics models. Convergence, stability and dissipation-dispersion analysis

abstract: We design the conforming virtual element method for the numerical approximation of the two dimensional elastodynamics problem. We prove stability and convergence of the semi-discrete approximation and derive optimal error estimates under $h$- and $p$-refinement in both the energy and the $L^2$ norms. The performance of the proposed virtual element method is assessed on a set of different computational meshes, including non-convex cells up to order four in the $h$-refinement setting. Exponential convergence is also experimentally observed under p-refinement. Finally, we present a dispersion-dissipation analysis for both the semi-discrete and fully-discrete schemes, showing that polygonal meshes behave as classical simplicial/quadrilateral grids in terms of dispersion-dissipation properties.


title: A novel spike-and-wave automatic detection in EEG signals

abstract: Spike-and-wave discharge (SWD) pattern classification in electroencephalography (EEG) signals is a key problem in signal processing. It is particularly important to develop a SWD automatic detection method in long-term EEG recordings since the task of marking the patters manually is time consuming, difficult and error-prone. This paper presents a new detection method with a low computational complexity that can be easily trained if standard medical protocols are respected. The detection procedure is as follows: First, each EEG signal is divided into several time segments and for each time segment, the Morlet 1-D decomposition is applied. Then three parameters are extracted from the wavelet coefficients of each segment: scale (using a generalized Gaussian statistical model), variance and median. This is followed by a k-nearest neighbors (k-NN) classifier to detect the spike-and-wave pattern in each EEG channel from these three parameters. A total of 106 spike-and-wave and 106 non-spike-and-wave were used for training, while 69 new annotated EEG segments from six subjects were used for classification. In these circumstances, the proposed methodology achieved 100% accuracy. These results generate new research opportunities for the underlying causes of the so-called absence epilepsy in long-term EEG recordings.


title: Domain Agnostic Feature Learning for Image and Video Based Face Anti-spoofing

abstract: Nowadays, the increasingly growing number of mobile and computing devices has led to a demand for safer user authentication systems. Face anti-spoofing is a measure towards this direction for bio-metric user authentication, and in particular face recognition, that tries to prevent spoof attacks. The state-of-the-art anti-spoofing techniques leverage the ability of deep neural networks to learn discriminative features, based on cues from the training set images or video samples, in an effort to detect spoof attacks. However, due to the particular nature of the problem, i.e. large variability due to factors like different backgrounds, lighting conditions, camera resolutions, spoof materials, etc., these techniques typically fail to generalize to new samples. In this paper, we explicitly tackle this problem and propose a class-conditional domain discriminator module, that, coupled with a gradient reversal layer, tries to generate live and spoof features that are discriminative, but at the same time robust against the aforementioned variability factors. Extensive experimental analysis shows the effectiveness of the proposed method over existing image- and video-based anti-spoofing techniques, both in terms of numerical improvement as well as when visualizing the learned features.


title: N-centered ensemble density-functional theory for open systems

abstract: Two (so-called left and right) variants of N-centered ensemble density-functional theory (DFT) [Senjean and Fromager, Phys. Rev. A 98, 022513 (2018)] are presented. Unlike the original formulation of the theory, these variants allow for the description of systems with a fractional electron number. While conventional DFT for open systems uses only the true electron density as basic variable, left/right N-centered ensemble DFT relies instead on (i) a fictitious ensemble density that integrates to a central (integral) number N of electrons, and (ii) a grand canonical ensemble weight $\alpha$ which is equal to the deviation of the true electron number from N. Within such a formalism, the infamous derivative discontinuity that appears when crossing an integral number of electrons is described exactly through the dependence in $\alpha$ of the left and right N-centered ensemble Hartree-exchange-correlation density functionals. Incorporating N-centered ensembles into existing density-functional embedding theories is expected to pave the way towards the in-principle-exact description of an open fragment by means of a pure-state N-electron many-body wavefunction. Work is currently in progress in this direction


title: Characterizing Generalized Rate-Distortion Performance of Video Coding: An Eigen Analysis Approach

abstract: Rate-distortion (RD) theory is at the heart of lossy data compression. Here we aim to model the generalized RD (GRD) trade-off between the visual quality of a compressed video and its encoding profiles (e.g., bitrate and spatial resolution). We first define the theoretical functional space $\mathcal{W}$ of the GRD function by analyzing its mathematical properties.We show that $\mathcal{W}$ is a convex set in a Hilbert space, inspiring a computational model of the GRD function, and a method of estimating model parameters from sparse measurements. To demonstrate the feasibility of our idea, we collect a large-scale database of real-world GRD functions, which turn out to live in a low-dimensional subspace of $\mathcal{W}$. Combining the GRD reconstruction framework and the learned low-dimensional space, we create a low-parameter eigen GRD method to accurately estimate the GRD function of a source video content from only a few queries. Experimental results on the database show that the learned GRD method significantly outperforms state-of-the-art empirical RD estimation methods both in accuracy and efficiency. Last, we demonstrate the promise of the proposed model in video codec comparison.


title: Sepsis World Model: A MIMIC-based OpenAI Gym "World Model" Simulator for Sepsis Treatment

abstract: Sepsis is a life-threatening condition caused by the body's response to an infection. In order to treat patients with sepsis, physicians must control varying dosages of various antibiotics, fluids, and vasopressors based on a large number of variables in an emergency setting. In this project we employ a "world model" methodology to create a simulator that aims to predict the next state of a patient given a current state and treatment action. In doing so, we hope our simulator learns from a latent and less noisy representation of the EHR data. Using historical sepsis patient records from the MIMIC dataset, our method creates an OpenAI Gym simulator that leverages a Variational Auto-Encoder and a Mixture Density Network combined with a RNN (MDN-RNN) to model the trajectory of any sepsis patient in the hospital. To reduce the effects of noise, we sample from a generated distribution of next steps during simulation and have the option of introducing uncertainty into our simulator by controlling the "temperature" variable. It is worth noting that we do not have access to the ground truth for the best policy because we can only evaluate learned policies by real-world experimentation or expert feedback. Instead, we aim to study our simulator model's performance by evaluating the similarity between our environment's rollouts with the real EHR data and assessing its viability for learning a realistic policy for sepsis treatment using Deep Q-Learning.


title: Magnon-photon strong coupling for tunable microwave circulators

abstract: We present a generic theoretical framework to describe non-reciprocal microwave circulation in a multimode cavity magnonic system and assess the optimal performance of practical circulator devices. We show that high isolation (> 56 dB), extremely low insertion loss (< 0.05 dB), and flexible bandwidth control can be potentially realized in high-quality-factor superconducting cavity based magnonic platforms. These circulation characteristics are analyzed with materials of different spin densities. For high-spin-density materials such as yttrium iron garnet, strong coupling operation regime can be harnessed to obtain a broader circulation bandwidth. We also provide practical design principles for a highly integratible low-spin-density material (vanadium tetracyanoethylene) for narrow-band circulator operation, which could benefit noise-sensitive quantum microwave measurements. This theory can be extended to other coupled systems and provide design guidelines for achieving tunable microwave non-reciprocity for both classical and quantum applications.


title: Gromov's Oka principle for equivariant maps

abstract: We take the first step in the development of an equivariant version of modern, Gromov-style Oka theory. We define equivariant versions of the standard Oka property, ellipticity, and homotopy Runge property of complex manifolds, show that they satisfy all the expected basic properties, and present examples. Our main theorem is an equivariant Oka principle saying that if a finite group $G$ acts on a Stein manifold $X$ and another manifold $Y$ in such a way that $Y$ is $G$-Oka, then every $G$-equivariant continuous map $X\to Y$ can be deformed, through such maps, to a $G$-equivariant holomorphic map. Approximation on a $G$-invariant holomorphically convex compact subset of $X$ and jet interpolation along a $G$-invariant subvariety of $X$ can be built into the theorem. We conjecture that the theorem holds for actions of arbitrary reductive complex Lie groups and prove partial results to this effect.


title: Light Phase Detection with On-Chip Petahertz Electronic Networks

abstract: Ultrafast light-matter interactions lead to optical-field-driven photocurrents with an attosecond-level temporal response. These photocurrents can be used to detect the carrier-envelope-phase (CEP) of short optical pulses, and could be utilized to create optical-frequency, petahertz (PHz) electronics for information processing. Despite recent reports on optical-field-driven photocurrents in various nanoscale solid-state materials, little has been done in examining the large-scale integration of these devices. In this work, we demonstrate enhanced, on-chip CEP detection via optical-field-driven photocurrent in a monolithic array of electrically-connected plasmonic bow-tie nanoantennas that are contained within an area of hundreds of square microns. The technique is scalable and could potentially be used for shot-to-shot CEP tagging applications requiring orders of magnitude less pulse energy compared to alternative ionization-based techniques. Our results open new avenues for compact time-domain, on-chip CEP detection, and inform the development of integrated circuits for PHz electronics as well as integrated platforms for attosecond and strong-field science.


title: Effect of a weak current on wind-generated waves in the wrinkle regime

abstract: We investigate numerically the influence of a weak current on wind-generated surface deformations for wind velocity below the onset of regular waves. In that regime, the liquid surface is populated by small disorganised deformations elongated in the wind direction, referred to as wrinkles. These wrinkles are the superposition of incoherent wakes generated by the pressure fluctuations traveling in the turbulent boundary layer in the air. In this work, we account for the effect of a weak sheared current in the liquid, either longitudinal or transverse, by introducing a modified Doppler-shifted dispersion relation to lowest order in viscosity and current in the spectral theory previously derived by Perrard et al (2019). This theory describes the simplified one-way problem of surface deformations excited by a prescribed turbulent forcing, thereby neglecting the retroaction of waves on turbulence in the air. The forcing is taken from a set of direct numerical simulations of a turbulent channel flow. We determine the wrinkle properties (size and amplitude) as a function of the liquid viscosity and current properties (surface velocity, thickness and orientation). We find significant modifications of the wrinkle geometry by the currents: the wrinkles are tilted for a transverse current, and show finer scales for a longitudinal current. However, their characteristic size is weakly affected, and their amplitude remains independent of the current. We discuss the implications of these results on the onset of regular waves at larger wind velocity. In this work, we introduce a spectral interpolation method to evaluate the surface deformation fields, based on a refined meshing close to the dispersion relation of the waves. This method, which can be extended to any dispersive system excited by a random forcing, strongly reduces the discretization effects at a low computational cost.


title: Commutative Weakly Nil-Neat Group Rings

abstract: Let R be a ring and let G be a group. We prove a rather curious necessary and sufficient condition for the commutative group ring RG to be weakly nil-neat only in terms of R,G and their sections. This somewhat expands three recent results, namely those established by McGovern et al. in (J. Algebra Appl., 2015), by Danchev-McGovern in (J. Algebra, 2015) and by the present authors in (J. Taibah Univ. Sci., 2020), related to commutative nil-clean, weakly nil-clean and nil-neat group rings, respectively.


title: Digital filters with vanishing moments for shape analysis

abstract: Shape- and scale-selective digital-filters, with steerable finite/infinite impulse responses (FIR/IIRs) and non-recursive/recursive realizations, that are separable in both spatial dimensions and adequately isotropic, are derived. The filters are conveniently designed in the frequency domain via derivative constraints at dc, which guarantees orthogonality and monomial selectivity in the pixel domain (i.e. vanishing moments), unlike more commonly used FIR filters derived from Gaussian functions. A two-stage low-pass/high-pass architecture, for blur/derivative operations, is recommended. Expressions for the coefficients of a low-order IIR blur filter with repeated poles are provided, as a function of scale; discrete Butterworth (IIR), and colored Savitzky-Golay (FIR), blurs are also examined. Parallel software implementations on central processing units (CPUs) and graphics processing units (GPUs), for scale-selective blob-detection in aerial surveillance imagery, are analyzed. It is shown that recursive IIR filters are significantly faster than non-recursive FIR filters when detecting large objects at coarse scales, i.e. using filters with long impulse responses; however, the margin of outperformance decreases as the degree of parallelization increases.


title: Optimal Control of Traffic Signals using Quantum Annealing

abstract: Quadratic unconstrained binary optimization (QUBO) is the mathematical formalism for phrasing and solving a class of optimization problems that are combinatorial in nature. Due to their natural equivalence with the two dimensional Ising model for ferromagnetism in statistical mechanics, problems from the QUBO class can be solved on quantum annealing hardware. In this paper, we report a QUBO formatting of the problem of optimal control of time-dependent traffic signals on an artificial grid-structured road network so as to ease the flow of traffic, and the use of D-Wave Systems' quantum annealer to solve it. Since current-generation D-Wave annealers have a limited number of qubits and limited inter-qubit connectivity, we adopt a hybrid (classical/quantum) approach to this problem. As traffic flow is a continuous and evolving phenomenon, we address this time-dependent problem by adopting a workflow to generate and solve multiple problem instances periodically.


title: Nonlocal Generalized Quantum Measurements of Spin Products Without Maximal Entanglement

abstract: Measuring a nonlocal observable on a space-like separated quantum system is a resource-hungry and experimentally challenging task. Several theoretical measurement schemes have already been proposed to increase its feasibility, using a shared maximally-entangled ancilla. We present a new approach to this problem, using the language of generalized quantum measurements, to show that it is actually possible to measure a nonlocal spin product observable without necessarily requiring a maximally-entangled ancilla. This approach opens the door to more economical arbitrary-strength nonlocal measurements, with applications ranging from nonlocal weak values to possible new tests of Bell inequalities. The relation between measurement strength and the amount of ancillary entanglement needed is made explicit, bringing a new perspective on the links that tie quantum nonlocality, entanglement and information transmission together.


title: Gluon polarization tensor in a magnetized medium: Analytic approach starting from the sum over Landau levels

abstract: We present an analytic method to compute the one-loop magnetic correction to the gluon polarization tensor starting from the Landau-level representation of the quark propagator in the presence of an external magnetic field. We show that the general expression contains the vacuum contribution that can be isolated from the zero-field limit for finite gluon momentum. The general tensor structure for the gluon polarization also contains two spurious terms that do not satisfy the transversality properties. However, we also show that the coefficients of this structures vanish and thus do not contribute to the polarization tensor, as expected. In order to check the validity of the expressions we study the strong and weak field limits and show that well established results are reproduced. The findings can be used to study the conditions for gluons to equilibrate with the magnetic field produced during the early stages of a relativistic heavy-ion collision.


title: Generalized reliability based on distances

abstract: The intraclass correlation coefficient (ICC) is a classical index of measurement reliability. With the advent of new and complex types of data for which the ICC is not defined, there is a need for new ways to assess reliability. To meet this need, we propose a new distance-based intraclass correlation coefficient (dbICC), defined in terms of arbitrary distances among observations. We introduce a bias correction to improve the coverage of bootstrap confidence intervals for the dbICC, and demonstrate its efficacy via simulation. We illustrate the proposed method by analyzing the test-retest reliability of brain connectivity matrices derived from a set of repeated functional magnetic resonance imaging scans. The Spearman-Brown formula, which shows how more intensive measurement increases reliability, is extended to encompass the dbICC.


title: Models from the 19th Century used for Visualizing Optical Phenomena and Line Geometry

abstract: The main focus of this paper is on models of quartic surfaces, especially so-called complex surfaces. These are special fourth-degree surfaces that Julius Pl\"ucker introduced in the 1860s for visualizing the local structure of a quadratic line complex. Pl\"ucker's complex surfaces turned out to be closely related to Kummer surfaces and both of these types of quartics are examples of caustic surfaces, which arise in geometrical optics. Indeed, Kummer surfaces represent a natural generalization of the wave surface, first introduced by Augustin Fresnel to explain double refraction in biaxial crystals.


title: An Interactive Transactive Energy Mechanism Integrating Grid Operators, Aggregators and Prosumers

abstract: With the decreasing cost of solar photovoltaics (PV) and battery storage systems, more and more prosumers appear in the distribution systems. Accompanying with it is the trend of using home energy management systems (HEMS). HEMS technologies can help the households to schedule their energy prosumption with aims such as reduced electricity bills or increased self-sufficiency. However, their economic-driven operation can affect the grid security. Therefore, it is paramount to design a framework that can accommodate the interests of the key stakeholders in distribution systems, namely the grid operators, aggregators, and prosumers. In this paper, a novel transactive energy based operational framework is proposed. On the upper level, aggregators will interact with distribution grid operators through transactive approach to ensure the grid interests are satisfied. If there are grid issues, the aggregator will interact with the prosumers through a designed price adder. The simulation results indicate that the proposed framework can effectively accommodate the prosumers operation in distribution systems while keeping the key stakeholders interests.


title: On Jones' connections between subfactors, conformal field theory, Thompson's groups and knots

abstract: Surprisingly Richard Thompson's groups have recently appeared in Jones' subfactor theory. Vaughan Jones is famous for linking theories that are a priori completely disconnected; for instance, his celebrated polynomial for links emanating from subfactor theory. This note is about a new beautiful story in mathematics which results from a fortunate accident in the land of quantum field theory.


title: On Holomorphy of Fenyves BCI-Algebras

abstract: Fenyves BCI-algebras are BCI-algebras that satisfy the Bol-Moufang identities. In this paper, the holomorphy of BCI-algebras are studied. It is shown that whenever a loop and its holomorph are BCI-algebras, the former is p-semisimple if and only if the latter is p-semisimple. Whenever a loop and its holomorph are BCI-algebras, it is established that the former is a BCK-algebra if and only if the latter has a BCK-subalgebra. Moreover, the holomorphy of the associative and some non-associative Fenyves BCI-algebras are also studied.


title: Semantic Segmentation for Compound figures

abstract: Scientific literature contains large volumes of unstructured data,with over 30\% of figures constructed as a combination of multiple images, these compound figures cannot be analyzed directly with existing information retrieval tools. In this paper, we propose a semantic segmentation approach for compound figure separation, decomposing the compound figures into "master images". Each master image is one part of a compound figure governed by a subfigure label (typically "(a), (b), (c), etc"). In this way, the separated subfigures can be easily associated with the description information in the caption. In particular, we propose an anchor-based master image detection algorithm, which leverages the correlation between master images and subfigure labels and locates the master images in a two-step manner. First, a subfigure label detector is built to extract the global layout information of the compound figure. Second, the layout information is combined with local features to locate the master images. We validate the effectiveness of proposed method on our labeled testing dataset both quantitatively and qualitatively.


title: Examining Instabilities Due to Driven Scalars in AdS

abstract: We extend the study of the non-linear perturbative theory of weakly turbulent energy cascades in AdS$_{d+1}$ to include solutions of driven systems, i.e. those with time-dependent sources on the AdS boundary. This necessitates the activation of non-normalizable modes in the linear solution for the massive bulk scalar field, which couple to the metric and normalizable scalar modes. We determine analytic expressions for secular terms in the renormalization flow equations for any mass, and for various driving functions. Finally, we numerically evaluate these sources for $d = 4$ and discuss what role these driven solutions play in the perturbative stability of AdS.


title: Are cookie banners indeed compliant with the law? Deciphering EU legal requirements on consent and technical means to verify compliance of cookie banners

abstract: In this work, we analyze the legal requirements on how cookie banners are supposed to be implemented to be fully compliant with the e-Privacy Directive and the General Data Protection Regulation. Our contribution resides in the definition of seventeen operational and fine-grained requirements on cookie banner design that are legally compliant, and moreover, we define whether and when the verification of compliance of each requirement is technically feasible. The definition of requirements emerges from a joint interdisciplinary analysis composed of lawyers and computer scientists in the domain of web tracking technologies. As such, while some requirements are provided by explicitly codified legal sources, others result from the domain-expertise of computer scientists. In our work, we match each requirement against existing cookie banners design of websites. For each requirement, we exemplify with compliant and non-compliant cookie banners. As an outcome of a technical assessment, we verify per requirement if technical (with computer science tools) or manual (with any human operator) verification is needed to assess compliance of consent and we also show which requirements are impossible to verify with certainty in the current architecture of the Web. For example, we explain how the requirement for revocable consent could be implemented in practice: when consent is revoked, the publisher should delete the consent cookie and communicate the withdrawal to all third parties who have previously received consent. With this approach we aim to support practically-minded parties (compliance officers, regulators, researchers, and computer scientists) to assess compliance and detect violations in cookie banner design and implementation, specially under the current revision of the European Union e-Privacy framework.


title: PyHessian: Neural Networks Through the Lens of the Hessian

abstract: We present PYHESSIAN, a new scalable framework that enables fast computation of Hessian (i.e., second-order derivative) information for deep neural networks. PYHESSIAN enables fast computations of the top Hessian eigenvalues, the Hessian trace, and the full Hessian eigenvalue/spectral density, and it supports distributed-memory execution on cloud/supercomputer systems and is available as open source. This general framework can be used to analyze neural network models, including the topology of the loss landscape (i.e., curvature information) to gain insight into the behavior of different models/optimizers. To illustrate this, we analyze the effect of residual connections and Batch Normalization layers on the trainability of neural networks. One recent claim, based on simpler first-order analysis, is that residual connections and Batch Normalization make the loss landscape smoother, thus making it easier for Stochastic Gradient Descent to converge to a good solution. Our extensive analysis shows new finer-scale insights, demonstrating that, while conventional wisdom is sometimes validated, in other cases it is simply incorrect. In particular, we find that Batch Normalization does not necessarily make the loss landscape smoother, especially for shallower networks.


title: Proximal methods avoid active strict saddles of weakly convex functions

abstract: We introduce a geometrically transparent strict saddle property for nonsmooth functions. This property guarantees that simple proximal algorithms on weakly convex problems converge only to local minimizers, when randomly initialized. We argue that the strict saddle property may be a realistic assumption in applications, since it provably holds for generic semi-algebraic optimization problems.


title: The size of graphs with restricted rainbow $2$-connection number

abstract: Let $k$ be a positive integer, and $G$ be a $k$-connected graph. An edge-coloured path is \emph{rainbow} if all of its edges have distinct colours. The \emph{rainbow $k$-connection number} of $G$, denoted by $rc_k(G)$, is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint rainbow paths. The function $rc_k(G)$ was introduced by Chartrand, Johns, McKeon and Zhang in 2009, and has since attracted significant interest. Let $t_k(n,r)$ denote the minimum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\le r$. Let $s_k(n,r)$ denote the maximum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\ge r$. The functions $t_1(n,r)$ and $s_1(n,r)$ have previously been studied by various authors. In this paper, we study the functions $t_2(n,r)$ and $s_2(n,r)$. We determine bounds for $t_2(n,r)$ which imply that $t_2(n,2)=(1+o(1))n\log_2 n$, and $t_2(n,r)$ is linear in $n$ for $r\ge 3$. We also provide some remarks about the function $s_2(n,r)$.


title: Predicting the Future: A Jointly Learnt Model for Action Anticipation

abstract: Inspired by human neurological structures for action anticipation, we present an action anticipation model that enables the prediction of plausible future actions by forecasting both the visual and temporal future. In contrast to current state-of-the-art methods which first learn a model to predict future video features and then perform action anticipation using these features, the proposed framework jointly learns to perform the two tasks, future visual and temporal representation synthesis, and early action anticipation. The joint learning framework ensures that the predicted future embeddings are informative to the action anticipation task. Furthermore, through extensive experimental evaluations we demonstrate the utility of using both visual and temporal semantics of the scene, and illustrate how this representation synthesis could be achieved through a recurrent Generative Adversarial Network (GAN) framework. Our model outperforms the current state-of-the-art methods on multiple datasets: UCF101, UCF101-24, UT-Interaction and TV Human Interaction.


title: Continuously Tunable Acoustic Metasurface with Rotatable Anisotropic Three-component Resonators

abstract: We propose a tunable acoustic metasurface consisting of identical units. And units are rotatable anisotropic three-component resonators, which can induce the non-degenerate dipolar resonance, causing an evident phase change in low frequencies. Compared with the monopole resonance widely used in Helmholtz resonators, the polarization direction of the dipole resonance is a new degree of freedom for phase manipulation. The proposed metasurface is constructed by identical units that made with real (not rigid) materials. And the phase profile can continuously change by rotating the anisotropic resonators. We present a wide-angle and broad-band acoustic focusing by the metasurface under a water background.


title: Single Image Deraining: From Model-Based to Data-Driven and Beyond

abstract: The goal of single-image deraining is to restore the rain-free background scenes of an image degraded by rain streaks and rain accumulation. The early single-image deraining methods employ a cost function, where various priors are developed to represent the properties of rain and background layers. Since 2017, single-image deraining methods step into a deep-learning era, and exploit various types of networks, i.e. convolutional neural networks, recurrent neural networks, generative adversarial networks, etc., demonstrating impressive performance. Given the current rapid development, in this paper, we provide a comprehensive survey of deraining methods over the last decade. We summarize the rain appearance models, and discuss two categories of deraining approaches: model-based and data-driven approaches. For the former, we organize the literature based on their basic models and priors. For the latter, we discuss developed ideas related to architectures, constraints, loss functions, and training datasets. We present milestones of single-image deraining methods, review a broad selection of previous works in different categories, and provide insights on the historical development route from the model-based to data-driven methods. We also summarize performance comparisons quantitatively and qualitatively. Beyond discussing the technicality of deraining methods, we also discuss the future directions.


title: Constructing high order spherical designs as a union of two of lower order

abstract: We show how the variational characterisation of spherical designs can be used to take a union of spherical designs to obtain a spherical design of higher order (degree, precision, exactness) with a small number of points. The examples that we consider involve taking the orbits of two vectors under the action of a complex reflection group to obtain a weighted spherical $(t,t)$-design. These designs have a high degree of symmetry (compared to the number of points), and many are the first known construction of such a design, e.g., a $32$ point $(9,9)$-design for $\mathbb{C}^2$, a $48$ point $(4,4)$-design for $\mathbb{C}^3$, and a $400$ point $(5,5)$-design for $\mathbb{C}^4$.From a real reflection group, we construct a $360$ point $(9,9)$-design for $\mathbb{R}^4$ (spherical half-design of order $18$), i.e., a $720$ point spherical $19$-design for $\mathbb{R}^4$.


title: Topology Learning of Linear Dynamical Systems with Latent Nodes using Matrix Decomposition

abstract: In this article, we present a novel approach to reconstruct the topology of networked linear dynamical systems with latent nodes. The network is allowed to have directed loops and bi-directed edges. The main approach relies on the unique decomposition of the inverse of power spectral density matrix (IPSDM) obtained from observed nodes as a sum of sparse and low-rank matrices. We provide conditions and methods for decomposing the IPSDM of the observed nodes into sparse and low-rank components. The sparse component yields the moral graph associated with the observed nodes, and the low-rank component retrieves parents, children and spouses (the Markov Blanket) of the hidden nodes. The article provides necessary and sufficient conditions for the unique decomposition of a given skew symmetric matrix into sum of a sparse skew symmetric and a low-rank skew symmetric matrices. It is shown that for a large class of systems, the unique decomposition of imaginary part of the IPSDM of observed nodes, a skew symmetric matrix, into the sparse and the low-rank components is sufficient to identify the moral graph of the observed nodes as well as the Markov Blanket of latent nodes. For a large class of systems, all spurious links in the moral graph formed by the observed nodes can be identified. Assuming conditions on hidden nodes required for identifiability, links between the hidden and observed nodes can be reconstructed, resulting in the retrieval of the exact topology of the network from the availability of IPSDM. Moreover, for finite number of data samples, we provide concentration bounds on the entry-wise distance between the true IPSDM and the estimated IPSDM.


title: Matrix Bloom Filter: An Efficient Probabilistic Data Structure for 2-tuple Batch Lookup

abstract: With the growing scale of big data, probabilistic structures receive increasing popularity for efficient approximate storage and query processing. For example, Bloom filters (BF) can achieve satisfactory performance for approximate membership existence query at the expense of false positives. However, a standard Bloom filter can only handle univariate data and single membership existence query, which is insufficient for OLAP and machine learning applications. In this paper, we focus on a common multivariate data type, namely, 2-tuples, or equivalently, key-value pairs. We design the matrix Bloom filter as a high-dimensional extension of the standard Bloom filter. This new probabilistic data structure can not only insert and lookup a single 2-tuple efficiently, but also support these operations efficiently in batches --- a key requirement for OLAP and machine learning tasks. To further balance the insertion and query efficiency for different workload patterns, we propose two variants, namely, the maximum adaptive matrix BF and minimum storage matrix BF. Through both theoretical and empirical studies, we show the performance of matrix Bloom filter is superior on datasets with common statistical distributions; and even without them, it just degrades to a standard Bloom filter.