title: GrADE: A graph based data-driven solver for time-dependent nonlinear partial differential equations

abstract: The physical world is governed by the laws of physics, often represented in form of nonlinear partial differential equations (PDEs). Unfortunately, solution of PDEs is non-trivial and often involves significant computational time. With recent developments in the field of artificial intelligence and machine learning, the solution of PDEs using neural network has emerged as a domain with huge potential. However, most of the developments in this field are based on either fully connected neural networks (FNN) or convolutional neural networks (CNN). While FNN is computationally inefficient as the number of network parameters can be potentially huge, CNN necessitates regular grid and simpler domain. In this work, we propose a novel framework referred to as the Graph Attention Differential Equation (GrADE) for solving time dependent nonlinear PDEs. The proposed approach couples FNN, graph neural network, and recently developed Neural ODE framework. The primary idea is to use graph neural network for modeling the spatial domain, and Neural ODE for modeling the temporal domain. The attention mechanism identifies important inputs/features and assign more weightage to the same; this enhances the performance of the proposed framework. Neural ODE, on the other hand, results in constant memory cost and allows trading of numerical precision for speed. We also propose depth refinement as an effective technique for training the proposed architecture in lesser time with better accuracy. The effectiveness of the proposed framework is illustrated using 1D and 2D Burgers' equations. Results obtained illustrate the capability of the proposed framework in modeling PDE and its scalability to larger domains without the need for retraining.


title: Are the Multilingual Models Better? Improving Czech Sentiment with Transformers

abstract: In this paper, we aim at improving Czech sentiment with transformer-based models and their multilingual versions. More concretely, we study the task of polarity detection for the Czech language on three sentiment polarity datasets. We fine-tune and perform experiments with five multilingual and three monolingual models. We compare the monolingual and multilingual models' performance, including comparison with the older approach based on recurrent neural networks. Furthermore, we test the multilingual models and their ability to transfer knowledge from English to Czech (and vice versa) with zero-shot cross-lingual classification. Our experiments show that the huge multilingual models can overcome the performance of the monolingual models. They are also able to detect polarity in another language without any training data, with performance not worse than 4.4 % compared to state-of-the-art monolingual trained models. Moreover, we achieved new state-of-the-art results on all three datasets.


title: Torus knots obtained by negatively twisting torus knots

abstract: Twisted torus knots are torus knots with some full twists added along some number of adjacent strands. There are infinitely many known examples of twisted torus knots which are actually torus knots. We give eight more infinite families of such twisted torus knots with a single negative twist.


title: Self-discharge mitigation in a liquid metal displacement battery

abstract: Recently, a disruptive idea was reported about the discovery of a new type of battery named Liquid Displacement Battery (LDB) comprising liquid metal electrodes and molten salt electrolyte. This cell featured a novel concept of a porous electronically conductive faradaic membrane instead of the traditional ion-selective ceramic membrane. LDBs are attractive for stationary storage applications but need mitigation against self-discharge. In the instant battery chemistry, Li|LiCl-PbCl$_2$|Pb, reducing the diffusion coefficient of lead ions can be a way forward and a solution can be the addition of PbO to the electrolyte. The latter acts as a supplementary barrier and complements the function of the faradaic membrane. The remedial actions improved the cell's coulombic efficiency from 92% to 97% without affecting the voltage efficiency. In addition, the limiting current density of a 500 mAh cell increased from 575 to 831 mA cm$^{-2}$ and the limiting power from 2.53 to 3.66 W. Finally, the effect of PbO on the impedance and polarization of the cell was also studied.


title: Morality-based Assertion and Homophily on Social Media: A Cultural Comparison between English and Japanese Languages

abstract: Moral psychology is a domain that deals with moral identity, appraisals and emotions. Previous work has primarily focused on moral development and the associated role of culture. Knowing that language is an inherent element of a culture, we used the social media platform Twitter to compare moral behaviors of Japanese tweets with English tweets. The five basic moral foundations, i.e., Care, Fairness, Ingroup, Authority and Purity, along with the associated emotional valence were compared between English and Japanese tweets. The tweets from Japanese users depicted relatively higher Fairness, Ingroup, and Purity, whereas English tweets expressed more positive emotions for all moral dimensions. Considering moral similarities in connecting users on social media, we quantified homophily concerning different moral dimensions using our proposed method. The moral dimensions Care, Authority and Purity for English and Ingroup, Authority and Purity for Japanese depicted homophily on Twitter. Overall, our study uncovers the underlying cultural differences with respect to moral behavior in English- and Japanese-speaking users.


title: Gravity prop and moduli spaces $\mathcal{M}_{g,n}$

abstract: Let $\mathcal{M}_{g,n}$ be the moduli space of algebraic curves of genus $g$ with $m+n$ marked points decomposed into the disjoint union of two sets of cardinalities $m$ and $n$, and $H_c^{\bullet}(\mathcal{M}_{m+n})$ its compactly supported cohomology group. We prove that the collection of $S$-bimodules $\left\{H_c^{\bullet-m}(\mathcal{M}_{g,m+n})\right\}$ has the structure of a properad (called the gravity properad) such that it contains the (degree shifted) E. Getzler's gravity operad as the sub-collection $\{H_c^{\bullet-1}(\mathcal{M}_{0,1+n})\}_{n\geq 2}$. Moreover, we prove that the generators of the 1-dimensional cohomology groups $H_c^{\bullet-1}(\mathcal{M}_{0,1+2})$, $H_c^{\bullet-2}(\mathcal{M}_{0,2+1})$ and $H_c^{\bullet-3}(\mathcal{M}_{0,3+0})$ satisfy with respect to this properadic structure the relations of the (degree shifted) quasi-Lie bialgebra, a fact making the totality of cohomology groups $ \prod_{g,m,n} H_c^{\bullet}(\mathcal{M}_{g,m+n})\otimes_{S_m^{op}\times S_n} (sgn_m\otimes Id_n)$ into a complex with the differential fully determined by the just mentioned three cohomology classes . It is proven that this complex contains infinitely many cohomology classes, all coming from M. Kontsevich's odd graph complex. The gravity prop structure is established with the help of T. Willwacher's twisting endofunctor (in the category of properads under the operad of Lie algebras) and K. Costello's theory of moduli spaces of nodal disks with marked boundaries and internal marked points (such that each disk contains at most one internal marked point).


title: On the logical error rate of sparse quantum codes

abstract: The quantum paradigm presents a phenomenon known as degeneracy that should improve the performance of quantum error correcting codes. However, the effects of this mechanism are sometimes ignored when evaluating the performance of sparse quantum codes and the logical error rate is not always correctly reported. In this paper, we discuss previously existing methods to compute the logical error rate and we present an efficient coset-based method inspired by classical coding strategies to estimate degenerate errors. Additionally, we show that the proposed method presents a computational advantage for the family of Calderbank-Shor-Steane codes. We use this method to prove that degenerate errors are frequent in a specific family of sparse quantum codes, which stresses the importance of accurately reporting their performance. Our results also reveal that the modified decoding strategies proposed in the literature are an important tool to improve the performance of sparse quantum codes.


title: High Precision Indoor Localization with Dummy Antennas -- An Experimental Study

abstract: With the rising demand for indoor localization, high precision technique-based fingerprints became increasingly important nowadays. The newest advanced localization system makes effort to improve localization accuracy in the time or frequency domain, for example, the UWB localization technique can achieve centimeter-level accuracy but have a high cost. Therefore, we present a spatial domain extension-based scheme with low cost and verify the effectiveness of antennas extension in localization accuracy. In this paper, we achieve sub-meter level localization accuracy using a single AP by extending three radio links of the modified laptops to more antennas. Moreover, the experimental results show that the localization performance is superior as the number of antennas increases with the help of spatial domain extension and angular domain assisted.


title: Direct detection of pseudo-Nambu-Goldstone dark matter with light mediator

abstract: It has been found that a pseudo-Nambu-Goldstone boson dark matter suppresses the amplitude for elastic scattering with nuclei in non-relativistic limit, and thus can naturally evade the strong constraint of dark matter direct detection experiments. In this paper, we show that non-zero elastic scattering cross section can be induced if the mediator mass is as small as momentum transfer. The predicted recoil energy spectrum can differ from that for usual thermal dark matter. Together with the relevant constraints such as thermal relic abundance, indirect detection and Higgs decays, we investigate the detectability through the current and future dark matter direct detection experiments.


title: First magnet operation on the cryogenic test stand Gersemi at FREIA

abstract: The Gersemi cryogenic test bench, installed at FREIA laboratory at Uppsala University, was used for the first time in 2021 to power a superconducting magnet. As part of the HL-LHC program, this cryostat offers an operating temperature between 4.2K and 1.9K. Its satellite equipment such as power converters and the acquisition system allow two superconducting magnet coils to be powered up to 2 kA and provide magnet protection through a robust quench detection and two energy extraction units. This report describes Gersemi's first cryogenic operational experiment and the safety strategy to ensure magnet integrity during operation.


title: Radiative recombination of twisted electrons with hydrogen-like heavy ions: Linear polarization of emitted photons

abstract: We present a theoretical investigation of the radiative recombination of twisted Bessel electrons with initially hydrogen-like (finally helium-like) heavy ions. In our study, we focus especially on the linear polarization of x-ray photons emitted in the electron capture into the ground $1s^2_{1/2}$ ionic state. Particular emphasis is placed on the question of how this polarization is affected if incident hydrogen-like ions are themselves spin-polarized. To explore such a "polarization transfer" we apply the density matrix theory and derive the Stokes parameters of recombination x-rays for the realistic case of collisions between macroscopic electron and ion beams. Based on the developed general approach two scenarios are discussed that are of interest for the planned experiments at ion storage rings. First, we demonstrate how the use of twisted electrons can empower the known method for the diagnostics of spin-polarized ion beams, based on the rotation of the linear polarization of recombination light. In the second scenario we show how the internal structure of ions beams with inhomogeneous intensity and spin patterns can be probed by the capture of Bessel electrons, carrying different values of angular momentum.


title: Representations of dimensions $(p^n\pm 1)/2$ of the symplectic group of degree $2n$ over a field of characteristic $p$

abstract: The irreducible representations $\phi_n^1$ and $\phi_n^2$ of the symplectic group $G_n=Sp_{2n}(P)$ over an algebraically closednfield $P$ of characteristic $p>2$ with highest weights $\omega_{n-1}+\frac{p-3}{2}\omega_n$ and $\frac{p-1}{2}\omega_n$, respectively, are investigated. It is proved that the dimension of $\phi_n^i$ ($i=1,2$) is equal to $(p^n+(-1)^i )/2$, all weight multiplicities of these representations are equal to $1$, their restrictions to the group $G_k$ naturally embedded into $G_n$ are completely reducible with irreducible constituents $\phi_k^1$ and $\phi_k^2$, and their restrictions to $Sp_{2n}(p)$ can be obtained as the result of the reduction modulo $p$ of certain complex irreducible representations of the group $Sp_{2n}(p)$.


title: Context-aware Telco Outdoor Localization

abstract: Recent years have witnessed the fast growth in telecommunication (Telco) techniques from 2G to upcoming 5G. Precise outdoor localization is important for Telco operators to manage, operate and optimize Telco networks. Differing from GPS, Telco localization is a technique employed by Telco operators to localize outdoor mobile devices by using measurement report (MR) data. When given MR samples containing noisy signals (e.g., caused by Telco signal interference and attenuation), Telco localization often suffers from high errors. To this end, the main focus of this paper is how to improve Telco localization accuracy via the algorithms to detect and repair outlier positions with high errors. Specifically, we propose a context-aware Telco localization technique, namely RLoc, which consists of three main components: a machine-learning-based localization algorithm, a detection algorithm to find flawed samples, and a repair algorithm to replace outlier localization results by better ones (ideally ground truth positions). Unlike most existing works to detect and repair every flawed MR sample independently, we instead take into account spatio-temporal locality of MR locations and exploit trajectory context to detect and repair flawed positions. Our experiments on the real MR data sets from 2G GSM and 4G LTE Telco networks verify that our work RLoc can greatly improve Telco location accuracy. For example, RLoc on a large 4G MR data set can achieve 32.2 meters of median errors, around 17.4% better than state-of-the-art.


title: Distributed Optimization with Coupling Constraints Based on Dual Proximal Gradient Method in Multi-Agent Networks

abstract: In this paper, we aim to solve a distributed optimization problem with affine coupling constraints in a multi-agent network, where the cost function of the agents is composed of smooth and possibly non-smooth parts. To solve this problem, we resort to the dual problem by deriving the Fenchel conjugate, resulting in a consensus-based constrained optimization problem. Then, we propose a distributed dual proximal gradient algorithm, where the agents make decisions based on the information of immediate neighbors. Provided that the non-smooth parts in the primal cost functions are with some simple structures, we only need to update dual variables by some simple operations, by which the overall computational complexity can be reduced. An ergodic convergence rate of the proposed algorithm is derived and the feasibility is numerically verified by solving a social welfare optimization problem in the electricity market.


title: Aspects of Coulomb gases

abstract: Coulomb gases are special probability distributions, related to potential theory, that appear at many places in pure and applied mathematics and physics. In these short expository notes, we focus on some models, ideas, and structures. We present briefly selected mathematical aspects, mostly related to exact solvability, and to first and second order global asymptotics. A particular attention is devoted to two-dimensional exactly solvable models of random matrix theory such as the Ginibre model. Thematically, these notes lie between probability theory, mathematical analysis, and statistical physics, and aim to be very accessible. They form a contribution to a volume of the "Panoramas et Synth\`eses" series around the workshop "\'Etats de la recherche en m\'ecanique statistique", organized by Soci\'et\'e Math\'ematique de France, held at Institut Henri Poincar\'e, Paris, in the fall of 2018 (http://statmech2018.sciencesconf.org).


title: Hermite-Chebyshev pseudospectral method for inhomogeneous superconducting strip problems and magnetic flux pump modeling

abstract: Numerical simulation of superconducting devices is a powerful tool for understanding the principles of their work and improving their design. We present a new pseudospectral method for two-dimensional magnetization and transport current superconducting strip problems with an arbitrary current-voltage relation, spatially inhomogeneous strips, and strips in a nonuniform applied field. The method is based on the bivariate expansions in Chebyshev polynomials and Hermite functions. It can be used for numerical modeling magnetic flux pumps of different types and investigating AC losses in coated conductors with local defects. Using a realistic two-dimensional version of the superconducting dynamo benchmark problem as an example, we showed that our new method is a competitive alternative to finite element methods.


title: A change of measure enhanced near exact Euler Maruyama scheme for the solution to nonlinear stochastic dynamical systems

abstract: The present study utilizes the Girsanov transformation based framework for solving a nonlinear stochastic dynamical system in an efficient way in comparison to other available approximate methods. In this approach, a rejection sampling is formulated to evaluate the Radon-Nikodym derivative arising from the change of measure due to Girsanov transformation. The rejection sampling is applied on the Euler Maruyama approximated sample paths which draw exact paths independent of the diffusion dynamics of the underlying dynamical system. The efficacy of the proposed framework is ensured using more accurate numerical as well as exact nonlinear methods. Finally, nonlinear applied test problems are considered to confirm the theoretical results. The test problems demonstrates that the proposed exact formulation of the Euler-Maruyama provides an almost exact approximation to both the displacement and velocity states of a second order non-linear dynamical system.


title: Autonomous estimation of high-dimensional Coulomb diamonds from sparse measurements

abstract: Quantum dot arrays possess ground states governed by Coulomb energies, utilized prominently by singly occupied quantum dots, each implementing a spin qubit. For such quantum processors, the controlled transitions between ground states are of operational significance, as these allow the control of quantum information within the array such as qubit initialization and entangling gates. For few-dot arrays, ground states are traditionally mapped out by performing dense raster-scan measurements in control-voltage space. These become impractical for larger arrays due to the large number of measurements needed to sample the high-dimensional gate-voltage hypercube and the comparatively little information extracted. We develop a hardware-triggered detection method based on reflectometry, to acquire measurements directly corresponding to transitions between ground states. These measurements are distributed sparsely within the high-dimensional voltage space by executing line searches proposed by a learning algorithm. Our autonomous software-hardware algorithm accurately estimates the polytope of Coulomb blockade boundaries, experimentally demonstrated in a 2$\times$2 array of silicon quantum dots.


title: On the chromatic edge stability index of graphs

abstract: Given a non-trivial graph $G$, the minimum cardinality of a set of edges $F$ in $G$ such that $\chi'(G \setminus F)<\chi'(G)$ is called the chromatic edge stability index of $G$, denoted by $es_{\chi'}(G)$, and such a (smallest) set $F$ is called a (minimum) mitigating set. While $1\le es_{\chi'}(G)\le \lfloor n/2\rfloor$ holds for any graph $G$, we investigate the graphs with extremal and near-extremal values of $es_{\chi'}(G)$. The graphs $G$ with $es_{\chi'}(G)=\lfloor n/2\rfloor$ are classified, and the graphs $G$ with $es_{\chi'}(G)=\lfloor n/2\rfloor-1$ and $\chi'(G)=\Delta(G)+1$ are characterized. We establish that the odd cycles and $K_2$ are exactly the regular connected graphs with the chromatic edge stability index $1$; on the other hand, we prove that it is NP-hard to verify whether a graph $G$ has $es_{\chi'}(G)=1$. We also prove that every minimum mitigating set of an $r$-regular graph $G$, where $r\ne 4$, with $es_{\chi'}(G)=2$ is a matching. Furthermore, we propose a conjecture that for every graph $G$ there exists a minimum mitigating set, which is a matching, and prove that the conjecture holds for graphs $G$ with $es_{\chi'}(G)\in\{1,2,\lfloor n/2\rfloor-1,\lfloor n/2\rfloor\}$, and for bipartite graphs.


title: Integral action for setpoint regulation control of a reaction-diffusion equation in the presence of a state delay

abstract: This paper is concerned with the regulation control of a one-dimensional reaction-diffusion equation in the presence of a state-delay in the reaction term. The objective is to achieve the PI regulation of the right Dirichlet trace with a command selected as the left Dirichlet trace. The control design strategy consists of the design of a PI controller on a finite dimensional truncated model obtained by spectral reduction. By an adequate selection of the number of modes of the original infinite-dimensional system, we show that the proposed control design procedure achieves both the exponential stabilization of the original infinite-dimensional system as well as the setpoint regulation of the right Dirichlet trace.


title: On $\mathsf{CD}$ spaces with nonnegative curvature outside a compact set

abstract: In this paper we adapt work of Z.-D. Liu to prove a ball covering property for non-branching $\mathsf{CD}$ spaces with nonnegative curvature outside a compact set. As a consequence we obtain uniform bounds on the number of ends of such spaces.


title: Data Aggregation for Reducing Training Data in Symbolic Regression

abstract: The growing volume of data makes the use of computationally intense machine learning techniques such as symbolic regression with genetic programming more and more impractical. This work discusses methods to reduce the training data and thereby also the runtime of genetic programming. The data is aggregated in a preprocessing step before running the actual machine learning algorithm. K-means clustering and data binning is used for data aggregation and compared with random sampling as the simplest data reduction method. We analyze the achieved speed-up in training and the effects on the trained models test accuracy for every method on four real-world data sets. The performance of genetic programming is compared with random forests and linear regression. It is shown, that k-means and random sampling lead to very small loss in test accuracy when the data is reduced down to only 30% of the original data, while the speed-up is proportional to the size of the data set. Binning on the contrary, leads to models with very high test error.


title: On the Effectiveness of Genetic Operations in Symbolic Regression

abstract: This paper describes a methodology for analyzing the evolutionary dynamics of genetic programming (GP) using genealogical information, diversity measures and information about the fitness variation from parent to offspring. We introduce a new subtree tracing approach for identifying the origins of genes in the structure of individuals, and we show that only a small fraction of ancestor individuals are responsible for the evolvement of the best solutions in the population.


title: A class of regularizations based on nonlinear isotropic diffusion for inverse problems

abstract: Building on the well-known total-variation (TV), this paper develops a general regularization technique based on nonlinear isotropic diffusion (NID) for inverse problems with piecewise smooth solutions. The novelty of our approach is to be adaptive (we speak of A-NID) i.e. the regularization varies during the iterates in order to incorporate prior information on the edges, deal with the evolution of the reconstruction and circumvent the limitations due to the non-convexity of the proposed functionals. After a detailed analysis of the convergence and well-posedness of the method, this latter is validated by simulations perfomed on computerized tomography (CT).


title: Energy time series forecasting-Analytical and empirical assessment of conventional and machine learning models

abstract: Machine learning methods have been adopted in the literature as contenders to conventional methods to solve the energy time series forecasting (TSF) problems. Recently, deep learning methods have been emerged in the artificial intelligence field attaining astonishing performance in a wide range of applications. Yet, the evidence about their performance in to solve the energy TSF problems, in terms of accuracy and computational requirements, is scanty. Most of the review articles that handle the energy TSF problem are systematic reviews, however, a qualitative and quantitative study for the energy TSF problem is not yet available in the literature. The purpose of this paper is twofold, first it provides a comprehensive analytical assessment for conventional,machine learning, and deep learning methods that can be utilized to solve various energy TSF problems. Second, the paper carries out an empirical assessment for many selected methods through three real-world datasets. These datasets related to electrical energy consumption problem, natural gas problem, and electric power consumption of an individual household problem.The first two problems are univariate TSF and the third problem is a multivariate TSF. Com-pared to both conventional and machine learning contenders, the deep learning methods attain a significant improvement in terms of accuracy and forecasting horizons examined. In the mean-time, their computational requirements are notably greater than other contenders. Eventually,the paper identifies a number of challenges, potential research directions, and recommendations to the research community may serve as a basis for further research in the energy forecasting domain.


title: Finite-dimensional observer-based boundary stabilization of reaction-diffusion equations with a either Dirichlet or Neumann boundary measurement

abstract: This paper investigates the output feedback boundary control of reaction-diffusion equations with either distributed or boundary measurement by means of a finite-dimensional observer. A constructive method dealing with the design of finite-dimensional observers for the feedback stabilization of reaction-diffusion equations was reported in a recent paper in the case where either the control or the observation operator is bounded and also satisfies certain regularity assumptions. In this paper, we go beyond by demonstrating that a finite-dimensional state-feedback combined with a finite-dimensional observer can always be successfully designed in order to achieve the Dirichlet boundary stabilization of reaction-diffusion PDEs with a either Dirichlet or Neumann boundary measurement.


title: Sharing Practices for Datasets Related to Accessibility and Aging

abstract: Datasets sourced from people with disabilities and older adults play an important role in innovation, benchmarking, and mitigating bias for both assistive and inclusive AI-infused applications. However, they are scarce. We conduct a systematic review of 137 accessibility datasets manually located across different disciplines over the last 35 years. Our analysis highlights how researchers navigate tensions between benefits and risks in data collection and sharing. We uncover patterns in data collection purpose, terminology, sample size, data types, and data sharing practices across communities of focus. We conclude by critically reflecting on challenges and opportunities related to locating and sharing accessibility datasets calling for technical, legal, and institutional privacy frameworks that are more attuned to concerns from these communities.


title: A New Single Equation of State to describe the Dynamic Viscosity and Self-Diffusion Coefficient for all Fluid Phases of Water from 200 K to 1800 K based on a New Original Microscopic Model

abstract: A microscopic model able to describe simultaneously the dynamic viscosity and the self-diffusion coefficient of fluids is presented. This model is shown to emerge from the introduction of fractional calculus in a usual model of condensed matter physics based on an elastic energy functional. The main feature of the model is that all measurable quantities are predicted to depend in a non-trivial way on external parameters (e.g. the experimental set-up geometry, in particular the sample size). On the basis of an unprecedented comparative analysis of a collection of published experimental data, the modeling is applied to the case of water in all its fluid phases, in particular in the supercooled phase. It is shown that the discrepancies in the literature data are only apparent and can be quantitavely explained by the different experimental configurations. This approach makes it possible to reproduce the water viscosity with a better accuracy than the 2008 IAPWS formulation and also with a more physically satisfying modeling of the isochors. Moreover, it also allows the modeling within experimental accuracy of the translational self-diffusion data available in the literature in all water fluid phases. Finally, the formalism of the model makes it possible to understand the anomalies observed on the dynamic viscosity and self-diffusion coefficient and their possible links.


title: Chen's conjecture on biharmonic submanifolds in Riemannian manifolds

abstract: We study biharmonic hypersurfaces and biharmonic submanifolds in a Riemannian manifold. One of interesting problems in this direction is Chen's conjecture which says that any biharmonic submanifold in a Euclidean space is minimal. From the invariant equation for biharmonic submanifolds, we derive a fundamental identity involving the mean curvature vector field, and using this, we prove Chen's conjecture on biharmonic submanifolds in a Euclidean space. More generally, it is proved that any biharmonic submanifold in a space form of nonpositively sectional curvature is minimal. Furthermore we provide affirmative partial answers to the generalized Chen's conjecture and Balmu\c{s}-Montaldo-Oniciuc conjecture.


title: Temporal Knowledge Consistency for Unsupervised Visual Representation Learning

abstract: The instance discrimination paradigm has become dominant in unsupervised learning. It always adopts a teacher-student framework, in which the teacher provides embedded knowledge as a supervision signal for the student. The student learns meaningful representations by enforcing instance spatial consistency with the views from the teacher. However, the outputs of the teacher can vary dramatically on the same instance during different training stages, introducing unexpected noise and leading to catastrophic forgetting caused by inconsistent objectives. In this paper, we first integrate instance temporal consistency into current instance discrimination paradigms, and propose a novel and strong algorithm named Temporal Knowledge Consistency (TKC). Specifically, our TKC dynamically ensembles the knowledge of temporal teachers and adaptively selects useful information according to its importance to learning instance temporal consistency. Experimental result shows that TKC can learn better visual representations on both ResNet and AlexNet on linear evaluation protocol while transfer well to downstream tasks. All experiments suggest the good effectiveness and generalization of our method.


title: Complexity from Spinning Primaries

abstract: We define circuits given by unitary representations of Lorentzian conformal field theory in 3 and 4 dimensions. Our circuits start from a spinning primary state, allowing us to generalize formulas for the circuit complexity obtained from circuits starting from scalar primary states. These results are nicely reproduced in terms of the geometry of coadjoint orbits of the conformal group. In contrast to the complexity geometry obtained from scalar primary states, the geometry is more complicated and the existence of conjugate points, signaling the saturation of complexity, remains open.


title: TESS observations of flares and quasi-periodic pulsations from low mass stars and potential impact on exoplanets

abstract: We have performed a search for flares and Quasi-Periodic Pulsations (QPPs) from low mass M dwarf stars using TESS 2 min cadence data. We find seven stars which show evidence of QPPs. Using Fourier and Empirical Mode Decomposition techniques, we confirm the presence of 11 QPPs in these seven stars with a period between 10.2 and 71.9 min, including an oscillation with strong drift in the period and a double-mode oscillation. The fraction of flares we examined which showed QPPs (7 percent) is higher than other studies of stellar flares, but is very similar to the fraction of Solar C-class flares. Based on the stellar parameters taken from the TESS Input Catalog, we determine the lengths and magnetic field strengths of the flare coronal loops using the period of the QPPs and various assumptions about the origin of the QPPs. We also use a scaling relationship based on flares from Solar and Solar-type stars and the observed energy, plus the duration of the flares, finding that the different approaches predict loop lengths which are consistent to a factor of $\sim$2. We also discuss the flare frequency of the seven stars determining whether this could result in ozone depletion or abiogenesis. Three of our stars have a sufficiently high rate of energetic flares which are likely to cause abiogenesis. However, two of them are also in the range where ozone depletion is likely to occur. We speculate on the implications for surface life on these stars and the effects of the loop lengths and QPPs on potential exoplanets in the habitable zone.


title: Swinging and tumbling of multicomponent vesicles in flow

abstract: Biological membranes are host to proteins and molecules which may form domain-like structures resulting in spatially-varying material properties. Vesicles with such heterogeneous membranes can exhibit intricate shapes at equilibrium and rich dynamics when placed into a flow. Under the assumption of small deformations we develop a reduced order model to describe the fluid-structure interaction between a viscous background shear flow and an inextensible membrane in two dimensions with spatially varying bending stiffness and spontaneous curvature. Material property variations of a critical magnitude, relative to the flow rate and internal/external viscosity contrast, can set off a qualitative change in the vesicle dynamics. A membrane of nearly constant bending stiffness or spontaneous curvature undergoes a small amplitude swinging motion (which includes tangential tank-treading), while for large enough material variations the dynamics pass through a regime featuring tumbling and periodic phase-lagging of the membrane material, and ultimately for very large material variation to a rigid body tumbling behavior. Distinct differences are found for even and odd spatial modes of domain distribution. Full numerical simulations are used to probe the theoretical predictions, which appear valid even when studying substantially deformed membranes.

categories: cond-mat.soft physics.bio-ph physics.flu-dyn q-bio.CB


title: Effect of recirculation zones on the ventilation of a public washroom

abstract: Air-borne transmission can pose a major risk of infection spread in enclosed spaces. Venting the air out using exhaust fans and ducts is a common approach to mitigate the risk. In this work, we study the air flow set up by an exhaust fan in a typical shared washroom that can be a potential hot spot for COVID-19 transmission. The primary focus is on the regions of recirculating flow that can harbor infectious aerosol for much longer than the well-ventilated parts of the room. Computational fluid dynamics is used to obtain the steady state air flow field, and Lagrangian tracking of particles give the spatial and temporal distribution of infectious aerosol in the domain. It is found that the washbasin located next to the door is in a prominent recirculation zone, and particles injected in this region take much longer to be evacuated. The ventilation rate is found to be governed by the air residence time in the recirculation zone, and it is much higher than the time scale based on fully-mixed reactor model of the room. Increasing the fan flow rate can reduce the ventilation time, but cannot eliminate the recirculation zones in the washroom.


title: Out-of-Distribution Example Detection in Deep Neural Networks using Distance to Modelled Embedding

abstract: Adoption of deep learning in safety-critical systems raise the need for understanding what deep neural networks do not understand after models have been deployed. The behaviour of deep neural networks is undefined for so called out-of-distribution examples. That is, examples from another distribution than the training set. Several methodologies to detect out-of-distribution examples during prediction-time have been proposed, but these methodologies constrain either neural network architecture, how the neural network is trained, suffer from performance overhead, or assume that the nature of out-of-distribution examples are known a priori. We present Distance to Modelled Embedding (DIME) that we use to detect out-of-distribution examples during prediction time. By approximating the training set embedding into feature space as a linear hyperplane, we derive a simple, unsupervised, highly performant and computationally efficient method. DIME allows us to add prediction-time detection of out-of-distribution examples to neural network models without altering architecture or training while imposing minimal constraints on when it is applicable. In our experiments, we demonstrate that by using DIME as an add-on after training, we efficiently detect out-of-distribution examples during prediction and match state-of-the-art methods while being more versatile and introducing negligible computational overhead.


title: Density-Based Dynamic Curriculum Learning for Intent Detection

abstract: Pre-trained language models have achieved noticeable performance on the intent detection task. However, due to assigning an identical weight to each sample, they suffer from the overfitting of simple samples and the failure to learn complex samples well. To handle this problem, we propose a density-based dynamic curriculum learning model. Our model defines the sample's difficulty level according to their eigenvectors' density. In this way, we exploit the overall distribution of all samples' eigenvectors simultaneously. Then we apply a dynamic curriculum learning strategy, which pays distinct attention to samples of various difficulty levels and alters the proportion of samples during the training process. Through the above operation, simple samples are well-trained, and complex samples are enhanced. Experiments on three open datasets verify that the proposed density-based algorithm can distinguish simple and complex samples significantly. Besides, our model obtains obvious improvement over the strong baselines.


title: Closed generalized Einstein manifolds with radially flat Ricci curvature

abstract: In this paper, we show that a closed $n$-dimensional generalized $(\lambda, n+m)$-Einstein manifold of constant scalar curvature with weakly radially zero Ricci curvature is isometric to either a sphere ${\Bbb S}^n$, or a product ${\Bbb S}^{1} \times \Sigma^{n-1}$ of a circle with an $(n-1)$-dimensional Einstein manifold of positive Ricci curvature, up to finite cover and rescaling. Furthermore, if we assume $(M, g)$ has positive isotropic curvature, $M$ must be isometric to either a sphere ${\Bbb S}^n$, or a product ${\Bbb S}^{1} \times {\Bbb S}^{n-1}$ of a circle with an $(n-1)$-sphere.


title: Walking in the OEIS: From Motzkin numbers to Fibonacci numbers. The "shadows" of Motzkin numbers

abstract: In this paper, we consider nine OEIS sequences, the analysis of which allows us to find a connection between Motzkin numbers and Fibonacci numbers. In each Motzkin number, we distinguish an even component and an odd component, the difference of these two components is called the shadow of the Motzkin number. Reverse of the Motzkin shadows give us a sequence from the family of Fibonacci numbers.


title: Optical Transients from Fast Radio Bursts Heating Companion Stars in Close Binary Systems

abstract: Fast radio bursts (FRBs) are bright radio transients with short durations and extremely high brightness temperatures, and their physical origins are still unknown. Recently, a repeating source, FRB 20200120E, was found in a globular cluster in the very nearby M81 galaxy. The associated globular cluster has an age of $\sim9.13~{\rm Gyr}$, and hosts an old population of stars. In this work, we consider that an FRB source is in a close binary system with a low-mass main sequence star as its companion. Due to the large burst energy of the FRB, when the companion star stops the FRB, its surface would be heated by the radiation-induced shock, and make re-emission. For a binary system with a solar-like companion star and an orbital period of a few days, we find that the re-emission is mainly at optical band, and with delays of a few seconds after the FRB. Its luminosity is several times larger than the solar luminosity, and the duration is about hundreds of seconds. Such a transient might be observable in the future multiwavelength follow-up observation for Galactic FRB sources.


title: Graph Laplacian Diffusion Localization of Connected and Automated Vehicles

abstract: In this paper, we design distributed multi-modal localization approaches for Connected and Automated vehicles. We utilize information diffusion on graphs formed by moving vehicles, based on Adapt-then-Combine strategies combined with the Least-Mean-Squares and the Conjugate Gradient algorithms. We treat the vehicular network as an undirected graph, where vehicles communicate with each other by means of Vehicle-to- Vehicle communication protocols. Connected vehicles perform cooperative fusion of different measurement modalities, including location and range measurements, in order to estimate both their positions and the positions of all other networked vehicles, by interacting only with their local neighborhood. The trajectories of vehicles were generated either by a well-known kinematic model, or by using the CARLA autonomous driving simulator. The various proposed distributed and diffusion localization schemes significantly reduce the GPS error and do not only converge to the global solution, but they even outperformed it. Extensive simulation studies highlight the benefits of the various approaches, outperforming the accuracy of the state of the art approaches. The impact of the network connections and the network latency are also investigated.


title: Multi-tracer analysis of straight depolarisation canals in the surroundings of the 3C 196 field

abstract: Faraday tomography of a field centred on the extragalactic point source 3C 196 with the LOw Frequency ARray (LOFAR) revealed an intertwined structure of diffuse polarised emission with straight depolarisation canals and tracers of the magnetized and multi-phase interstellar medium (ISM), such as dust and line emission from atomic hydrogen (HI). This study aims at extending the multi-tracer analysis of LOFAR data to three additional fields in the surroundings of the 3C 196 field. For the first time, we study the three-dimensional structure of the LOFAR emission by determining the distance to the depolarisation canals. We use the Rolling Hough Transform to compare the orientation of the depolarisation canals with that of the filamentary structure seen in HI and, based on starlight and dust polarisation data, with that of the plane-of-the-sky magnetic field. Stellar parallaxes from $Gaia$ complement the starlight polarisation with the corresponding distances. Faraday tomography of the three fields shows a rich network of diffuse polarised emission at Faraday depths between $-10~{\rm rad~m^{-2}}$ and $+15~{\rm rad~m^{-2}}$. A complex system of straight depolarisation canals resembles that of the 3C 196 field. The depolarisation canals align both with the HI filaments and with the magnetic field probed by dust. The observed alignment suggests that an ordered magnetic field organises the multiphase ISM over a large area ($\sim$20$^{\circ}$). In one field, two groups of stars at distances below and above 200 pc, respectively, show distinct magnetic-field orientations. These are both comparable with the orientations of the depolarisation canals in the same field. We conclude that the depolarisation canals likely trace the same change of the magnetic field as probed by the stars, which corresponds to the edge of the Local Bubble.


title: Engineering Purcell factor anisotropy for dark and bright excitons in two dimensional semiconductors

abstract: Tightly bound dark excitons in atomically thin semiconductors can be used for various optoelectronic applications including light storage and quantum communication. Their optical accessibility is however limited due to their out-of-plane transition dipole moment. We thus propose to strengthen the coupling of dark excitons in two dimensional materials with out-of-plane resonant modes of a cavity at room temperature, by engineering the anisotropy in the Purcell factor. A silica micro-disk characterised by high confinement of light in small modal volume, high Q-factor and free spectral range is used to couple to the excitons in monolayer transition metal dichalcogenides. We show numerically that the tapering of sidewalls of the micro-disk is an extremely versatile route for achieving the selective coupling of whispering gallery modes to light emitted from out-of-plane dipoles to the detriment of that from in-plane ones for four representative monolayer transition metal dichalcogenides.


title: Generalized weakly corrected Milstein solutions to stochastic differential equations

abstract: In this work, weakly corrected explicit, semi-implicit and implicit Milstein approximations are presented for the solution of nonlinear stochastic differential equations. The solution trajectories provided by the Milstein schemes are corrected by employing the \textit{change of measures}, aimed at removing the error associated with the diffusion process incurred due to the transformation between two probability measures. The change of measures invoked in the Milstein schemes ensure that the solution from the mapping is measurable with respect to the filtration generated by the error process. The proposed scheme incorporates the error between the approximated mapping and the exact representation as an innovation, that is accounted for, in the Milstein trajectories as an additive term. Numerical demonstration using a parametrically and non-parametrically excited stochastic oscillators, demonstrates the improvement in the solution accuracy for the corrected schemes with coarser time steps when compared with the classical Milstein approximation with finer time steps.


title: Hybrid deep learning methods for phenotype prediction from clinical notes

abstract: Identifying patient cohorts from clinical notes in secondary electronic health records is a fundamental task in clinical information management. However, with the growing number of clinical notes, it becomes challenging to analyze the data manually for phenotype detection. Automatic extraction of clinical concepts would helps to identify the patient phenotypes correctly. This paper proposes a novel hybrid model for automatically extracting patient phenotypes using natural language processing and deep learning models to determine the patient phenotypes without dictionaries and human intervention. The model is based on a neural bidirectional sequence model (BiLSTM or BiGRU) and a CNN layer for phenotypes identification. An extra CNN layer is run parallel to the hybrid model to extract more features related to each phenotype. We used pre-trained embeddings such as FastText and Word2vec separately as the input layers to evaluate other embedding's performance. Experimental results using MIMIC III database in internal comparison demonstrate that the proposed model achieved significant performance improvement over existing models. The enhanced version of our model with an extra CNN layer obtained a relatively higher F1-score than the original hybrid model. We also showed that BiGRU layer with FastText embedding had better performance than BiLSTM layer to identify patient phenotypes.


title: Investigation of lightweight acoustic curtains for mid-to-high frequency noise insulations

abstract: The continuous surge of environmental noise levels has become a vital challenge for humanity. Earlier studies have reported that prolonged exposure to loud noise may cause auditory and non-auditory disorders. Therefore, there is a growing demand for suitable noise barriers. Herein, we have investigated several commercially available curtain fabrics' acoustic performance, potentially used for sound insulation purposes. Thorough experimental investigations have been performed on PVC coated polyester fabrics' acoustical performances and 100 % pure PVC sheets. The PVC-coated polyester fabric exhibited better sound insulation properties, particularly in the mid-to-high frequency range (600-1600 Hz) with a transmission loss of about 11 to 22 dB, while insertion loss of > 10 dB has been achieved. Also, the acoustic performance of multi-layer curtains has been investigated. These multi-layer curtains have shown superior acoustic properties to that of single-layer acoustic curtains.


title: Measuring Wikipedia Article Quality in One Dimension by Extending ORES with Ordinal Regression

abstract: Organizing complex peer production projects and advancing scientific knowledge of open collaboration each depend on the ability to measure quality. Article quality ratings on English language Wikipedia have been widely used by both Wikipedia community members and academic researchers for purposes like tracking knowledge gaps and studying how political polarization shapes collaboration. Even so, measuring quality presents many methodological challenges. The most widely used systems use labels on discrete ordinal scales when assessing quality, but such labels can be inconvenient for statistics and machine learning. Prior work handles this by assuming that different levels of quality are "evenly spaced" from one another. This assumption runs counter to intuitions about the relative degrees of effort needed to raise Wikipedia encyclopedia articles to different quality levels. Furthermore, models from prior work are fit to datasets that oversample high-quality articles. This limits their accuracy for representative samples of articles or revisions. I describe a technique extending the Wikimedia Foundations' ORES article quality model to address these limitations. My method uses weighted ordinal regression models to construct one-dimensional continuous measures of quality. While scores from my technique and from prior approaches are correlated, my approach improves accuracy for research datasets and provides evidence that the "evenly spaced" assumption is unfounded in practice on English Wikipedia. I conclude with recommendations for using quality scores in future research and include the full code, data, and models.


title: Quantification of intrinsic quality of a principal dimension in correspondence analysis and taxicab correspondence analysis

abstract: Collins(2002, 2011) raised a number of issues with regards to correspondence analysis (CA), such as: qualitative information in a CA map versus quantitative information in the relevant contingency table; the interpretation of a CA map is difficult and its relation with the \% of inertia (variance) explained. We tackle these issues by considering CA and taxicab CA (TCA) as a stepwise Hotelling/Tucker decomposition of the cross-covariance matrix of the row and column categories into four quadrants. The contents of this essay are: First, we review the notion of quality/quantity in multidimensional data analysis as discussed by Benz\'{e}cri, who based his reflections on Aristotle. Second, we show the importance of unravelling the interrelated concepts of dependence/heterogeneity structure in a contingency table; and to picture them two maps are needed. Third, we distinguish between intrinsic and extrinsic quality of a principal dimension; the intrinsic quality is based on the signs of the residuals in the four quadrants, hence to the interpretability. Furthermore, we provide quantifications of the intrinsic quality and use them to uncover structure in particular in sparse contingency tables. Finally, we emphasize the importance of looking at the residual cross-covariance values at each iteration.


title: Experimental Bayesian estimation of quantum state preparation, measurement, and gate errors in multi-qubit devices

abstract: We introduce a Bayesian method for the estimation of single qubit errors in quantum devices, and use it to characterize these errors on three 27-qubit superconducting qubit devices. We self-consistently estimate up to seven parameters of each qubit's state preparation, readout, and gate errors, analyze the stability of these errors as a function of time, and demonstrate easily implemented approaches for mitigating different errors before a quantum computation experiment. On the investigated devices we find non-negligible qubit reset errors that cannot be parametrized as a diagonal mixed state, but manifest as a coherent phase of a superposition with a small contribution from the qubit's excited state. We are able to mitigate such errors by applying pre-rotations on the initialized qubits, which we demonstrate with multi-qubit entangled states. Our results demonstrate that Bayesian estimation can resolve small parameters - including those pertaining to quantum gate errors - with a high relative accuracy, at a lower measurement cost as compared with standard characterization approaches.


title: Deep Active Learning for Text Classification with Diverse Interpretations

abstract: Recently, Deep Neural Networks (DNNs) have made remarkable progress for text classification, which, however, still require a large number of labeled data. To train high-performing models with the minimal annotation cost, active learning is proposed to select and label the most informative samples, yet it is still challenging to measure informativeness of samples used in DNNs. In this paper, inspired by piece-wise linear interpretability of DNNs, we propose a novel Active Learning with DivErse iNterpretations (ALDEN) approach. With local interpretations in DNNs, ALDEN identifies linearly separable regions of samples. Then, it selects samples according to their diversity of local interpretations and queries their labels. To tackle the text classification problem, we choose the word with the most diverse interpretations to represent the whole sentence. Extensive experiments demonstrate that ALDEN consistently outperforms several state-of-the-art deep active learning methods.


title: Secrecy Rate Maximization for Intelligent Reflecting Surface Assisted MIMOME Wiretap Channels

abstract: Intelligent reflecting surface (IRS) has gained tremendous attention recently as a disruptive technology for beyond 5G networks. In this paper, we consider the problem of secrecy rate maximization for an IRS-assisted Gaussian multiple-input multiple-output multi-antenna-eavesdropper (MIMOME) wiretap channel (WTC). In this context, we aim to jointly optimize the input covariance matrix and the IRS phase shifts to maximize the achievable secrecy rate of the considered system. To solve the formulated problem which is non-convex, we propose an iterative method based on the block successive maximization (BSM), where each iteration is done in closed form. More specifically, we maximize a lower bound on the achievable secrecy rate to update the input covariance matrix for fixed phase shifts, and then maximize the (exact) achievable secrecy rate to update phase shifts for a given input covariance.We consider the total free space path loss (FSPL) in this system to emphasize the first-order measure of the applicability of the IRS in the considered communication system. We present a convergence proof and the associated complexity analysis of the proposed algorithm. Numerical results are provided to demonstrate the superiority of the proposed method compared to a known solution, and also to show the effect of different parameters of interest on the achievable secrecy rate of the IRS-assisted MIMOME WTC.


title: Scorpiano -- A System for Automatic Music Transcription for Monophonic Piano Music

abstract: Music transcription is the process of transcribing music audio into music notation. It is a field in which the machines still cannot beat human performance. The main motivation for automatic music transcription is to make it possible for anyone playing a musical instrument, to be able to generate the music notes for a piece of music quickly and accurately. It does not matter if the person is a beginner and simply struggles to find the music score by searching, or an expert who heard a live jazz improvisation and would like to reproduce it without losing time doing manual transcription. We propose Scorpiano -- a system that can automatically generate a music score for simple monophonic piano melody tracks using digital signal processing. The system integrates multiple digital audio processing methods: notes onset detection, tempo estimation, beat detection, pitch detection and finally generation of the music score. The system has proven to give good results for simple piano melodies, comparable to commercially available neural network based systems.


title: On a Low-Frequency and Contrast Stabilized Full-Wave Volume Integral Equation Solver for Lossy Media

abstract: In this paper we present a new regularized electric flux volume integral equation (D-VIE) for modeling high-contrast conductive dielectric objects in a broad frequency range. This new formulation is particularly suitable for modeling biological tissues at low frequencies, as it is required by brain epileptogenic area imaging, but also at higher ones, as it is required by several applications including, but not limited to, transcranial magnetic and deep brain stimulation (TMS and DBS, respectively). When modeling inhomogeneous objects with high complex permittivities at low frequencies, the traditional D-VIE is ill-conditioned and suffers from numerical instabilities that result in slower convergence and in less accurate solutions. In this work we address these shortcomings by leveraging a new set of volume quasi-Helmholtz projectors. Their scaling by the material permittivity matrix allows for the re-balancing of the equation when applied to inhomogeneous scatterers and thereby makes the proposed method accurate and stable even for high complex permittivity objects until arbitrarily low frequencies. Numerical results, canonical and realistic, corroborate the theory and confirm the stability and the accuracy of this new method both in the quasi-static regime and at higher frequencies.


title: Measuring chaos in the Lorenz and R\"ossler models: Fidelity tests for reservoir computing

abstract: This study is focused on the qualitative and quantitative characterization of chaotic systems with the use of symbolic description. We consider two famous systems: Lorenz and R\"ossler models with their iconic attractors, and demonstrate that with adequately chosen symbolic partition three measures of complexity, such as the Shannon source entropy, the Lempel-Ziv complexity and the Markov transition matrix, work remarkably well for characterizing the degree of chaoticity, and precise detecting stability windows in the parameter space. The second message of this study is to showcase the utility of symbolic dynamics with the introduction of a fidelity test for reservoir computing for simulating the properties of the chaos in both models' replicas. The results of these measures are validated by the comparison approach based on one-dimensional return maps and the complexity measures.


title: Generalized Optimal Linear Orders

abstract: The sequential structure of language, and the order of words in a sentence specifically, plays a central role in human language processing. Consequently, in designing computational models of language, the de facto approach is to present sentences to machines with the words ordered in the same order as in the original human-authored sentence. The very essence of this work is to question the implicit assumption that this is desirable and inject theoretical soundness into the consideration of word order in natural language processing. In this thesis, we begin by uniting the disparate treatments of word order in cognitive science, psycholinguistics, computational linguistics, and natural language processing under a flexible algorithmic framework. We proceed to use this heterogeneous theoretical foundation as the basis for exploring new word orders with an undercurrent of psycholinguistic optimality. In particular, we focus on notions of dependency length minimization given the difficulties in human and computational language processing in handling long-distance dependencies. We then discuss algorithms for finding optimal word orders efficiently in spite of the combinatorial space of possibilities. We conclude by addressing the implications of these word orders on human language and their downstream impacts when integrated in computational models.


title: Ginzburg effect in a dielectric medium with dispersion and dissipation

abstract: As a quantum analog of Cherenkov radiation, an inertial photon detector moving through a medium with constant refractive index $n$ may perceive the electromagnetic quantum fluctuations as real photons if its velocity $v$ exceeds the medium speed of light $c/n$. For dispersive Hopfield type media, we find this Ginzburg effect to extend to much lower $v$ because the phase velocity of light is very small near the medium resonance. In this regime, however, dissipation effects become important. Via an extended Hopfield model, we present a consistent treatment of quantum fluctuations in dispersive and dissipative media and derive the Ginzburg effect in such systems. Finally, we propose an experimental test.


title: A Simple Proof of Locality in Quantum Mechanics

abstract: While quantum mechanics allows spooky action at a distance at the level of the wave-function, it also respects locality since there is no instantaneous propagation of real physical effects. We show that this feature can be proved in the standard interpretation of quantum mechanics by a simple general result involving commuting Hermitian operators corresponding to distant (causally disconnected) observables. This is reminiscent of satisfying the locality condition in relativistic quantum field theories.


title: Stability of Polycyclic Aromatic Hydrocarbon Clusters in Protoplanetary Disks

abstract: The infrared signature of polycyclic aromatic hydrocarbons (PAHs) are present in many protostellar disks and these speciesare thought to play an important role in heating of the gas in the photosphere. We aim to consider PAH cluster formation as one possible cause for non-detections of PAH features in protoplanetary disks. We test the necessary conditions for cluster formation and cluster dissociation by stellar optical and FUV photons in protoplanetarydisks using a Herbig Ae/Be and a T Tauri star disk model. We perform Monte-Carlo (MC) and statistical calculations to determine dissociation rates for coronene, circumcoronene and circumcoronene clusters with sizes between 2 and 200 cluster members. By applying general disk models to our Herbig Ae/Be and T Tauri star model, we estimate the formation rate of PAH dimers and compare these with the dissociation rates. We show that the formation of PAH dimers can take place in the inner 100 AU of protoplanetary disks in sub-photospheric layers. Dimer formation takes seconds to years allowing them to grow beyond dimer size in a short time. We further demonstrate that PAH cluster increase their stability while they grow if they are located beyond a critical distance that depends on stellar properties and PAH species. The comparison with the local vertical mixing time scale allows a determination of the minimum cluster size necessaryfor survival of PAH clusters. Considering the PAH cluster formation sites, cluster survival in the photosphere of the inner disk of Herbig stars isunlikely because of the high UV radiation. For the T Tauri stars, survival of coronene, circumcoronene and circumcircumcoronene clusters is possible and cluster formation should be considered as one possible explanation for low PAH detection rates in T Tauri star disks.


title: Spatio-Temporal Self-Attention Network for Video Saliency Prediction

abstract: 3D convolutional neural networks have achieved promising results for video tasks in computer vision, including video saliency prediction that is explored in this paper. However, 3D convolution encodes visual representation merely on fixed local spacetime according to its kernel size, while human attention is always attracted by relational visual features at different time. To overcome this limitation, we propose a novel Spatio-Temporal Self-Attention 3D Network (STSANet) for video saliency prediction, in which multiple Spatio-Temporal Self-Attention (STSA) modules are employed at different levels of 3D convolutional backbone to directly capture long-range relations between spatio-temporal features of different time steps. Besides, we propose an Attentional Multi-Scale Fusion (AMSF) module to integrate multi-level features with the perception of context in semantic and spatio-temporal subspaces. Extensive experiments demonstrate the contributions of key components of our method, and the results on DHF1K, Hollywood-2, UCF, and DIEM benchmark datasets clearly prove the superiority of the proposed model compared with all state-of-the-art models.


title: Does Adversarial Oversampling Help us?

abstract: Traditional oversampling methods are generally employed to handle class imbalance in datasets. This oversampling approach is independent of the classifier; thus, it does not offer an end-to-end solution. To overcome this, we propose a three-player adversarial game-based end-to-end method, where a domain-constraints mixture of generators, a discriminator, and a multi-class classifier are used. Rather than adversarial minority oversampling, we propose an adversarial oversampling (AO) and a data-space oversampling (DO) approach. In AO, the generator updates by fooling both the classifier and discriminator, however, in DO, it updates by favoring the classifier and fooling the discriminator. While updating the classifier, it considers both the real and synthetically generated samples in AO. But, in DO, it favors the real samples and fools the subset class-specific generated samples. To mitigate the biases of a classifier towards the majority class, minority samples are over-sampled at a fractional rate. Such implementation is shown to provide more robust classification boundaries. The effectiveness of our proposed method has been validated with high-dimensional, highly imbalanced and large-scale multi-class tabular datasets. The results as measured by average class specific accuracy (ACSA) clearly indicate that the proposed method provides better classification accuracy (improvement in the range of 0.7% to 49.27%) as compared to the baseline classifier.


title: Efficacy of BERT embeddings on predicting disaster from Twitter data

abstract: Social media like Twitter provide a common platform to share and communicate personal experiences with other people. People often post their life experiences, local news, and events on social media to inform others. Many rescue agencies monitor this type of data regularly to identify disasters and reduce the risk of lives. However, it is impossible for humans to manually check the mass amount of data and identify disasters in real-time. For this purpose, many research works have been proposed to present words in machine-understandable representations and apply machine learning methods on the word representations to identify the sentiment of a text. The previous research methods provide a single representation or embedding of a word from a given document. However, the recent advanced contextual embedding method (BERT) constructs different vectors for the same word in different contexts. BERT embeddings have been successfully used in different natural language processing (NLP) tasks, yet there is no concrete analysis of how these representations are helpful in disaster-type tweet analysis. In this research work, we explore the efficacy of BERT embeddings on predicting disaster from Twitter data and compare these to traditional context-free word embedding methods (GloVe, Skip-gram, and FastText). We use both traditional machine learning methods and deep learning methods for this purpose. We provide both quantitative and qualitative results for this study. The results show that the BERT embeddings have the best results in disaster prediction task than the traditional word embeddings. Our codes are made freely accessible to the research community.


title: Remarks on SU_q(2) fermions

abstract: We show that most of the applications of SU_q(2) fermions to statistical mechanics and quantum field theory, previously discussed in literature, are based on a wrong statement about the connection between deformed and undeformed fermion operators. Then we exclude various classes of ansatz and we put some constraints about the form of such relation.


title: Scalar actions in Lean's mathlib

abstract: Scalar actions are ubiquitous in mathematics, and therefore it is valuable to be able to write them succinctly when formalizing. In this paper we explore how Lean 3's typeclasses are used by mathlib for scalar actions with examples, illustrate some of the problems which come up when using them such as compatibility of actions and non-definitionally-equal diamonds, and note how these problems can be solved. We outline where more work is needed in mathlib in this area.


title: Sonic: A Sampling-based Online Controller for Streaming Applications

abstract: Many applications in important problem domains such as machine learning and computer vision are streaming applications that take a sequence of inputs over time. It is challenging to find knob settings that optimize the run-time performance of such applications because the optimal knob settings are usually functions of inputs, computing platforms, time as well as user's requirements, which can be very diverse. Most prior works address this problem by offline profiling followed by training models for control. However, profiling-based approaches incur large overhead before execution; it is also difficult to redeploy them in other run-time configurations. In this paper, we propose Sonic, a sampling-based online controller for long-running streaming applications that does not require profiling ahead of time. Within each phase of a streaming application's execution, Sonic utilizes the beginning portion to sample the knob space strategically and aims to pick the optimal knob setting for the rest of the phase, given a user-specified constrained optimization problem. A hybrid approach of machine learning regressions and Bayesian optimization are used for better overall sampling choices. Sonic is implemented independent of application, device, input, performance objective and constraints. We evaluate Sonic on traditional parallel benchmarks as well as on deep learning inference benchmarks across multiple platforms. Our experiments show that when using Sonic to control knob settings, application run-time performance is only 5.3% less than if optimal knob settings were used, demonstrating that Sonic is able to find near-optimal knob settings under diverse run-time configurations without prior knowledge quickly.


title: The GHSZ argument: a gedankenexperiment requiring more denken

abstract: I reassess the gedankenexperiment of Greenberger, Horne, Shimony and Zeilinger after twenty-five years, finding their influential claim to discovery of an inconsistency inherent in high dimensional formulations of local realism to arise from a fundamental error of logic. They manage this by presuming contradictory premises: that a specific linear combination of four angles involved in their proposed parallel experiments on two pairs of electrons equals both $\pi$ and $0$ at the same time. Ignoring this while presuming the contradictory implications of these two conditions, they introduce the contradiction themselves. The notation they use in their "derivation" is not sufficiently ornate to represent the entanglement in the double electron spin pair problem they design, confounding their error. The situation they propose actually motivates only an understanding of the full array of symmetries involved in their problem. In tandem with the error now recognized in the supposed defiance of Bell's inequality by quantum probabilities, my reassessment of their work should motivate a reevaluation of the current consensus outlook regarding the principle of local realism and the proposition of hidden variables.


title: REFINE: Random RangE FInder for Network Embedding

abstract: Network embedding approaches have recently attracted considerable interest as they learn low-dimensional vector representations of nodes. Embeddings based on the matrix factorization are effective but they are usually computationally expensive due to the eigen-decomposition step. In this paper, we propose a Random RangE FInder based Network Embedding (REFINE) algorithm, which can perform embedding on one million of nodes (YouTube) within 30 seconds in a single thread. REFINE is 10x faster than ProNE, which is 10-400x faster than other methods such as LINE, DeepWalk, Node2Vec, GraRep, and Hope. Firstly, we formulate our network embedding approach as a skip-gram model, but with an orthogonal constraint, and we reformulate it into the matrix factorization problem. Instead of using randomized tSVD (truncated SVD) as other methods, we employ the Randomized Blocked QR decomposition to obtain the node representation fast. Moreover, we design a simple but efficient spectral filter for network enhancement to obtain higher-order information for node representation. Experimental results prove that REFINE is very efficient on datasets of different sizes (from thousand to million of nodes/edges) for node classification, while enjoying a good performance.


title: Existence and Non-Existence of Doubly Heavy Tetraquark Bound States

abstract: In this work we investigate the existence of bound states for doubly heavy tetraquark systems $ \bar{Q}\bar{Q}'qq' $ in a full lattice-QCD computation, where heavy bottom quarks are treated in the framework of non-relativistic QCD. We focus on three systems with quark content $ \bar{b}\bar{b}ud $, $ \bar{b}\bar{b}us $ and $ \bar{b}\bar{c}ud $. We show evidence for the existence of $ \bar{b}\bar{b}ud $ and $ \bar{b}\bar{b}us $ bound states, while no binding appears to be present for $ \bar{b}\bar{c}ud $. For the bound four-quark states we also discuss the importance of various creation operators and give an estimate of the meson-meson and diquark-antidiquark percentages.


title: On Borsuk-Ulam theorems and convex sets

abstract: The Intermediate Value Theorem is used to give an elementary proof of a Borsuk-Ulam theorem of Adams, Bush and Frick that, if $f: S^1\to R^{2k+1}$ is a continuous function on the unit circle $S^1$ in $C$ such that $f(-z)=-f(z)$ for all $z\in S^1$, then there is a finite subset $X$ of $S^1$ of diameter at most $\pi -\pi /(2k+1)$ (in the standard metric in which the circle has circumference of length $2\pi$) such the convex hull of $f(X)$ contains $0\in R^{2k+1}$.


title: First-order thermodynamics of Horndeski gravity

abstract: We extend to the Horndeski realm the irreversible thermodynamics description of gravity previously studied in "first generation" scalar-tensor theories. We identify a subclass of Horndeski theories as an out-of--equilibrium state, while general relativity corresponds to an equilibrium state. In this context, we identify an effective heat current, "temperature of gravity", and shear viscosity in the space of theories. The identification is accomplished by recasting the field equations as effective Einstein equations with an effective dissipative fluid, with Einstein gravity as the equilibrium state, following Eckart's first-order thermodynamics.


title: Wavefunction-based electrostatic-embedding QM/MM using CFOUR through MiMiC

abstract: We present an interface of the wavefunction-based quantum-chemical software CFOUR to the multiscale modeling framework MiMiC. Electrostatic embedding of the quantummechanical (QM) part is achieved by analytic evaluation of one-electron integrals in CFOUR, while the rest of the QM/MM operations are treated according to the previous MiMiC-based QM/MM implementation. Long-range electrostatic interactions are treated by a multipole expansion of the potential from the QM electron density to reduce the computational cost without loss of accuracy. Testing on model water/water systems, we verified that the CFOUR interface to MiMiC is robust, guaranteeing fast convergence of the SCF cycles and optimal conservation of the energy during the integration of the equations of motion. Finally, we verified that the CFOUR interface to MiMiC is compatible with the use of a QM/QM multiple time-step algorithm, which effectively reduces the cost of AIMD or QM/MM-MD simulations using higher level wavefunction-based approaches compared to cheaper density-functional theory based ones. The new wavefunction-based AIMD and QM/MM-MD implementation was tested and validated for a large number of wavefunction approaches, including Hartree-Fock and post-Hartree-Fock methods like Moller-Plesset, coupled cluster, and complete active space self-consistent field.


title: Mapping of Ebola virus spillover: Suitability and seasonal variability at the landscape scale

abstract: The unexpected Ebola virus outbreak in West Africa in 2014 involving the Zaire ebolavirus made clear that other regions outside Central Africa, its previously documented niche, were at risk of future epidemics. The complex transmission cycle and a lack of epidemiological data make mapping areas at risk of the disease challenging. We used a Geographic Information System-based multicriteria evaluation (GIS-MCE), a knowledge-based approach, to identify areas suitable for Ebola virus spillover to humans in regions of Guinea, Congo and Gabon where Ebola viruses already emerged. We identified environmental, climatic and anthropogenic risk factors and potential hosts from a literature review. Geographical data layers, representing risk factors, were combined to produce suitability maps of Ebola virus spillover at the landscape scale. Our maps show high spatial and temporal variability in the suitability for Ebola virus spillover at a fine regional scale. Reported spillover events fell in areas of intermediate to high suitability in our maps, and a sensitivity analysis showed that the maps produced were robust. There are still important gaps in our knowledge about what factors are associated with the risk of Ebola virus spillover. As more information becomes available, maps produced using the GIS-MCE approach can be easily updated to improve surveillance and the prevention of future outbreaks.


title: MCUa: Multi-level Context and Uncertainty aware Dynamic Deep Ensemble for Breast Cancer Histology Image Classification

abstract: Breast histology image classification is a crucial step in the early diagnosis of breast cancer. In breast pathological diagnosis, Convolutional Neural Networks (CNNs) have demonstrated great success using digitized histology slides. However, tissue classification is still challenging due to the high visual variability of the large-sized digitized samples and the lack of contextual information. In this paper, we propose a novel CNN, called Multi-level Context and Uncertainty aware (MCUa) dynamic deep learning ensemble model.MCUamodel consists of several multi-level context-aware models to learn the spatial dependency between image patches in a layer-wise fashion. It exploits the high sensitivity to the multi-level contextual information using an uncertainty quantification component to accomplish a novel dynamic ensemble model.MCUamodelhas achieved a high accuracy of 98.11% on a breast cancer histology image dataset. Experimental results show the superior effectiveness of the proposed solution compared to the state-of-the-art histology classification models.


title: PocketNet: Extreme Lightweight Face Recognition Network using Neural Architecture Search and Multi-Step Knowledge Distillation

abstract: Deep neural networks have rapidly become the mainstream method for face recognition (FR). However, this limits the deployment of such models that contain an extremely large number of parameters to embedded and low-end devices. In this work, we present an extremely lightweight and accurate FR solution, namely PocketNet. We utilize neural architecture search to develop a new family of lightweight face-specific architectures. We additionally propose a novel training paradigm based on knowledge distillation (KD), the multi-step KD, where the knowledge is distilled from the teacher model to the student model at different stages of the training maturity. We conduct a detailed ablation study proving both, the sanity of using NAS for the specific task of FR rather than general object classification, and the benefits of our proposed multi-step KD. We present an extensive experimental evaluation and comparisons with the state-of-the-art (SOTA) compact FR models on nine different benchmarks including large-scale evaluation benchmarks such as IJB-B, IJB-C, and MegaFace. PocketNets have consistently advanced the SOTA FR performance on nine mainstream benchmarks when considering the same level of model compactness. With 0.92M parameters, our smallest network PocketNetS-128 achieved very competitive results to recent SOTA compacted models that contain up to 4M parameters.


title: Layered Area-Proportional Rectangle Contact Representations

abstract: We investigate two optimization problems on area-proportional rectangle contact representations for layered, embedded planar graphs. The vertices are represented as interior-disjoint unit-height rectangles of prescribed widths, grouped in one row per layer, and each edge is ideally realized as a rectangle contact of positive length. Such rectangle contact representations find applications in semantic word or tag cloud visualizations, where a collection of words is displayed such that pairs of semantically related words are close to each other. In this paper, we want to maximize the number of realized rectangle contacts or minimize the overall area of the rectangle contact representation, while avoiding any false adjacencies. We present a network flow model for area minimization, a linear-time algorithm for contact maximization of two-layer graphs, and an ILP model for maximizing contacts of $k$-layer graphs.


title: Time Dependence in Kalman Filter Tuning

abstract: In this paper, we propose an approach to address the problems with ambiguity in tuning the process and observation noises for a discrete-time linear Kalman filter. Conventional approaches to tuning (e.g. using normalized estimation error squared and covariance minimization) compute empirical measures of filter performance and the parameter are selected manually or selected using some kind of optimization algorithm to maximize these measures of performance. However, there are two challenges with this approach. First, in theory, many of these measures do not guarantee a unique solution due to observability issues. Second, in practice, empirically computed statistical quantities can be very noisy due to a finite number of samples. We propose a method to overcome these limitations. Our method has two main parts to it. The first is to ensure that the tuning problem has a single unique solution. We achieve this by simultaneously tuning the filter over multiple different prediction intervals. Although this yields a unique solution, practical issues (such as sampling noise) mean that it cannot be directly applied. Therefore, we use Bayesian Optimization. This technique handles noisy data and the local minima that it introduces.


title: Quantum Field Theory Deserves Extra Help

abstract: Today's quantum field theory (QFT) relies heavenly on canonical quantization (CQ), which fails for $\varphi^4_4$ leading only to a "free" result. Affine quantization (AQ), an alternative quantization procedure, leads to a "non-free" result for the same model. Perhaps adding AQ to CQ can improve the quantization of a wide class of problems in QFT.


title: Curricular SincNet: Towards Robust Deep Speaker Recognition by Emphasizing Hard Samples in Latent Space

abstract: Deep learning models have become an increasingly preferred option for biometric recognition systems, such as speaker recognition. SincNet, a deep neural network architecture, gained popularity in speaker recognition tasks due to its parameterized sinc functions that allow it to work directly on the speech signal. The original SincNet architecture uses the softmax loss, which may not be the most suitable choice for recognition-based tasks. Such loss functions do not impose inter-class margins nor differentiate between easy and hard training samples. Curriculum learning, particularly those leveraging angular margin-based losses, has proven very successful in other biometric applications such as face recognition. The advantage of such a curriculum learning-based techniques is that it will impose inter-class margins as well as taking to account easy and hard samples. In this paper, we propose Curricular SincNet (CL-SincNet), an improved SincNet model where we use a curricular loss function to train the SincNet architecture. The proposed model is evaluated on multiple datasets using intra-dataset and inter-dataset evaluation protocols. In both settings, the model performs competitively with other previously published work. In the case of inter-dataset testing, it achieves the best overall results with a reduction of 4\% error rate compare to SincNet and other published work.


title: From One to Many: A Deep Learning Coincident Gravitational-Wave Search

abstract: Gravitational waves from the coalescence of compact-binary sources are now routinely observed by Earth bound detectors. The most sensitive search algorithms convolve many different pre-calculated gravitational waveforms with the detector data and look for coincident matches between different detectors. Machine learning is being explored as an alternative approach to building a search algorithm that has the prospect to reduce computational costs and target more complex signals. In this work we construct a two-detector search for gravitational waves from binary black hole mergers using neural networks trained on non-spinning binary black hole data from a single detector. The network is applied to the data from both observatories independently and we check for events coincident in time between the two. This enables the efficient analysis of large quantities of background data by time-shifting the independent detector data. We find that while for a single detector the network retains $91.5\%$ of the sensitivity matched filtering can achieve, this number drops to $83.9\%$ for two observatories. To enable the network to check for signal consistency in the detectors, we then construct a set of simple networks that operate directly on data from both detectors. We find that none of these simple two-detector networks are capable of improving the sensitivity over applying networks individually to the data from the detectors and searching for time coincidences.


title: Pen Spinning Hand Movement Analysis Using MediaPipe Hands

abstract: We challenged to get data about hand movement in pen spinning using MediaPipe Hands and OpenCV. The purpose is to create a system that can be used to objectively evaluate the performance of pen spinning competitions. Evaluation of execution, smoothness, and control in competitions are quite difficult and often with subjectivity. Therefore, we aimed to fully automate the process by using objective numerical values for evaluation. Uncertainty still exists in MediaPipe's skeletal recognition, and it tends to be more difficult to recognize in brightly colored backgrounds. However, we could improve the recognition accuracy by changing the saturation and brightness in the program. Furthermore, automatic detection and adjustment of brightness is now possible. As the next step to systematize the evaluation of pen spinning using objective numerical values, we adopted "hand movements". We were able to visualize the ups and downs of the hand movements by calculating the standard deviation and L2 norm of the hand's coordinates in each frame. The results of hand movements are quite accurate, and we feel that it is a big step toward our goal. In the future, we would like to make great efforts to fully automate the grading of pen spinning.


title: Improvement of a Prediction Model for Heart Failure Survival through Explainable Artificial Intelligence

abstract: Cardiovascular diseases and their associated disorder of heart failure are one of the major death causes globally, being a priority for doctors to detect and predict its onset and medical consequences. Artificial Intelligence (AI) allows doctors to discover clinical indicators and enhance their diagnosis and treatments. Specifically, explainable AI offers tools to improve the clinical prediction models that experience poor interpretability of their results. This work presents an explainability analysis and evaluation of a prediction model for heart failure survival by using a dataset that comprises 299 patients who suffered heart failure. The model employs a data workflow pipeline able to select the best ensemble tree algorithm as well as the best feature selection technique. Moreover, different post-hoc techniques have been used for the explainability analysis of the model. The paper's main contribution is an explainability-driven approach to select the best prediction model for HF survival based on an accuracy-explainability balance. Therefore, the most balanced explainable prediction model implements an Extra Trees classifier over 5 selected features (follow-up time, serum creatinine, ejection fraction, age and diabetes) out of 12, achieving a balanced-accuracy of 85.1% and 79.5% with cross-validation and new unseen data respectively. The follow-up time is the most influencing feature followed by serum-creatinine and ejection-fraction. The explainable prediction model for HF survival presented in this paper would improve a further adoption of clinical prediction models by providing doctors with intuitions to better understand the reasoning of, usually, black-box AI clinical solutions, and make more reasonable and data-driven decisions.


title: Convexity via Weak Distributive Laws

abstract: We study the canonical weak distributive law $\delta$ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise $\delta$ as a convex closure in the free semimodule of a set. Using the abstract theory of weak distributive laws, we compose the powerset and the semimodule monads via $\delta$, obtaining the monad of convex subsets of the free semimodule.


title: Enhanced excitation and readout of plasmonic cavity modes in NPoM via SiN waveguides for on-chip SERS

abstract: Metallic nanoparticle-on-a-mirror (NPoM) cavities enable extreme field confinement in sub-nm gaps, leading to unrivaled performance for nonlinear processes such as surface-enhanced Raman scattering (SERS). So far, prevailing experimental approaches based on NPoMs have been performed by means of free-space light excitation and collection under oblique incidence, since the fundamental radiatively-coupled NPoM mode does not scatter in the normal direction. Retaining this working principle, here we numerically show that plasmonic cavity modes in NPoM configurations can be efficiently excited in an integrated SERS approach through TM guided modes of silicon nitride (SiN) waveguides. Intensity enhancements beyond 10$^{5}$ can be achieved for gap spacings around 1 nm. So as to reduce unwanted SiN Raman background, the output Stokes signals are transferred to transversely placed waveguides, reaching coupling efficiencies of up to 10%. Geometrical parameters such as the gap thickness as well as the radius and position of the nanoparticle provide full control over the main spectral features, thereby enabling us to engineer and drive the optical response of NPoMs for high-performance SERS in Si-based photonic integrated platforms.


title: Imaging swiFTly: streaming widefield Fourier Transforms for large-scale interferometry

abstract: We describe a scalable distributed imaging algorithm framework for next-generation radio telescopes, managing the Fourier transform from apertures to sky (or vice versa) with a focus on minimising memory load, data transfers, and computation. Our algorithm uses smooth window functions to isolate the influence between specific regions of spatial-frequency and image space. This allows the distribution of image data between nodes and the construction of segments of frequency space exactly when and where needed. The developed prototype distributes terabytes of image data across many nodes, while generating visibilities at throughput and accuracy competitive with existing software. Scaling is demonstrated to be better than cubic in problem complexity (for baseline length and field of view), reducing the risk involved in growing radio astronomy processing to large telescopes like the Square Kilometre Array.


title: Dependable IoT Data Stream Processing for Monitoring and Control of Urban Infrastructures

abstract: The Internet of Things describes a network of physical devices interacting and producing vast streams of sensor data. At present there are a number of general challenges which exist while developing solutions for use cases involving the monitoring and control of urban infrastructures. These include the need for a dependable method for extracting value from these high volume streams of time sensitive data which is adaptive to changing workloads. Low-latency access to the current state for live monitoring is a necessity as well as the ability to perform queries on historical data. At the same time, many design choices need to be made and the number of possible technology options available further adds to the complexity. In this paper we present a dependable IoT data processing platform for the monitoring and control of urban infrastructures. We define requirements in terms of dependability and then select a number of mature open-source technologies to match these requirements. We examine the disparate parts necessary for delivering a holistic overall architecture and describe the dataflows between each of these components. We likewise present generalizable methods for the enrichment and analysis of sensor data applicable across various application areas. We demonstrate the usefulness of this approach by providing an exemplary prototype platform executing on top of Kubernetes and evaluate the effectiveness of jobs processing sensor data in this environment.


title: On some $p$-differential graded link homologies II

abstract: In arXiv:2009.06498, a link invariant categorifying the Jones polynomial at a $2p$th root of unity, where $p$ is an odd prime, was constructed. This categorification utilized an $N=2$ specialization of a differential introduced by Cautis. Here we give a family of link homologies where the Cautis differential is specialized to a positive integer of the form $N=kp+2$. When $k$ is even, all these link homologies categorify the Jones polynomial evaluated at a $2p$th root of unity, but they are non-isomorphic invariants.


title: Improving 3D Object Detection with Channel-wise Transformer

abstract: Though 3D object detection from point clouds has achieved rapid progress in recent years, the lack of flexible and high-performance proposal refinement remains a great hurdle for existing state-of-the-art two-stage detectors. Previous works on refining 3D proposals have relied on human-designed components such as keypoints sampling, set abstraction and multi-scale feature fusion to produce powerful 3D object representations. Such methods, however, have limited ability to capture rich contextual dependencies among points. In this paper, we leverage the high-quality region proposal network and a Channel-wise Transformer architecture to constitute our two-stage 3D object detection framework (CT3D) with minimal hand-crafted design. The proposed CT3D simultaneously performs proposal-aware embedding and channel-wise context aggregation for the point features within each proposal. Specifically, CT3D uses proposal's keypoints for spatial contextual modelling and learns attention propagation in the encoding module, mapping the proposal to point embeddings. Next, a new channel-wise decoding module enriches the query-key interaction via channel-wise re-weighting to effectively merge multi-level contexts, which contributes to more accurate object predictions. Extensive experiments demonstrate that our CT3D method has superior performance and excellent scalability. Remarkably, CT3D achieves the AP of 81.77% in the moderate car category on the KITTI test 3D detection benchmark, outperforms state-of-the-art 3D detectors.