title: An embedded system for the automated generation of labeled plant images to enable machine learning applications in agriculture

abstract: A lack of sufficient training data, both in terms of variety and quantity, is often the bottleneck in the development of machine learning (ML) applications in any domain. For agricultural applications, ML-based models designed to perform tasks such as autonomous plant classification will typically be coupled to just one or perhaps a few plant species. As a consequence, each crop-specific task is very likely to require its own specialized training data, and the question of how to serve this need for data now often overshadows the more routine exercise of actually training such models. To tackle this problem, we have developed an embedded robotic system to automatically generate and label large datasets of plant images for ML applications in agriculture. The system can image plants from virtually any angle, thereby ensuring a wide variety of data; and with an imaging rate of up to one image per second, it can produce lableled datasets on the scale of thousands to tens of thousands of images per day. As such, this system offers an important alternative to time- and cost-intensive methods of manual generation and labeling. Furthermore, the use of a uniform background made of blue keying fabric enables additional image processing techniques such as background replacement and plant segmentation. It also helps in the training process, essentially forcing the model to focus on the plant features and eliminating random correlations. To demonstrate the capabilities of our system, we generated a dataset of over 34,000 labeled images, with which we trained an ML-model to distinguish grasses from non-grasses in test data from a variety of sources. We now plan to generate much larger datasets of Canadian crop plants and weeds that will be made publicly available in the hope of further enabling ML applications in the agriculture sector.


title: Nonlinear Model Predictive Control of Robotic Systems with Control Lyapunov Functions

abstract: The theoretical unification of Nonlinear Model Predictive Control (NMPC) with Control Lyapunov Functions (CLFs) provides a framework for achieving optimal control performance while ensuring stability guarantees. In this paper we present the first real-time realization of a unified NMPC and CLF controller on a robotic system with limited computational resources. These limitations motivate a set of approaches for efficiently incorporating CLF stability constraints into a general NMPC formulation. We evaluate the performance of the proposed methods compared to baseline CLF and NMPC controllers with a robotic Segway platform both in simulation and on hardware. The addition of a prediction horizon provides a performance advantage over CLF based controllers, which operate optimally point-wise in time. Moreover, the explicitly imposed stability constraints remove the need for difficult cost function and parameter tuning required by NMPC. Therefore the unified controller improves the performance of each isolated controller and simplifies the overall design process.


title: Re-weighting of Vector-weighted Mechanisms for Utility Maximization under Differential Privacy

abstract: We address practical implementation of a risk-weighted pseudo posterior synthesizer for microdata dissemination with a new re-weighting strategy that maximizes utility of released synthetic data under at any level of formal privacy guarantee. Our re-weighting strategy applies to any vector-weighted pseudo posterior mechanism under which a vector of observation-indexed weights are used to downweight likelihood contributions for high disclosure risk records. We demonstrate our method on two different vector-weighted schemes that target high-risk records. Our new method for constructing record-indexed downeighting maximizes the data utility under any privacy budget for the vector-weighted synthesizers by adjusting the by-record weights, such that their individual Lipschitz bounds approach the bound for the entire database. Our method achieves an $(\epsilon = 2 \Delta_{\boldsymbol{\alpha}})-$asymptotic differential privacy (aDP) guarantee, globally, over the space of databases. We illustrate our methods using simulated highly skewed count data and compare the results to a scalar-weighted synthesizer under the Exponential Mechanism (EM). We also apply our methods to a sample of the Survey of Doctorate Recipients and demonstrate the practicality of our methods.


title: MG/OPT and MLMC for Robust Optimization of PDEs

abstract: An algorithm is proposed to solve robust control problems constrained by partial differential equations with uncertain coefficients, based on the so-called MG/OPT framework. The levels in this MG/OPT hierarchy correspond to discretization levels of the PDE, as usual. For stochastic problems, the relevant quantities (such as the gradient) contain expected value operators on each of these levels. They are estimated using a multilevel Monte Carlo method, the specifics of which depend on the MG/OPT level. Each of the optimization levels then contains multiple underlying multilevel Monte Carlo levels. The MG/OPT hierarchy allows the algorithm to exploit the structure inherent in the PDE, speeding up the convergence to the optimum. In contrast, the multilevel Monte Carlo hierarchy exists to exploit structure present in the stochastic dimensions of the problem. A statement about the rate of convergence of the algorithm is proven, and some additional properties are discussed. The performance of the algorithm is numerically investigated for three test cases. A reduction in the number of samples required on expensive levels and therefore in computational time can be observed.


title: BWCNN: Blink to Word, a Real-Time Convolutional Neural Network Approach

abstract: Amyotrophic lateral sclerosis (ALS) is a progressive neurodegenerative disease of the brain and the spinal cord, which leads to paralysis of motor functions. Patients retain their ability to blink, which can be used for communication. Here, We present an Artificial Intelligence (AI) system that uses eye-blinks to communicate with the outside world, running on real-time Internet-of-Things (IoT) devices. The system uses a Convolutional Neural Network (CNN) to find the blinking pattern, which is defined as a series of Open and Closed states. Each pattern is mapped to a collection of words that manifest the patient's intent. To investigate the best trade-off between accuracy and latency, we investigated several Convolutional Network architectures, such as ResNet, SqueezeNet, DenseNet, and InceptionV3, and evaluated their performance. We found that the InceptionV3 architecture, after hyper-parameter fine-tuning on the specific task led to the best performance with an accuracy of 99.20% and 94ms latency. This work demonstrates how the latest advances in deep learning architectures can be adapted for clinical systems that ameliorate the patient's quality of life regardless of the point-of-care.


title: Hibikino-Musashi@Home 2019 Team Description Paper

abstract: Our team, Hibikino-Musashi@Home (HMA), was founded in 2010. It is based in the Kitakyushu Science and Research Park, Japan. Since 2010, we have participated in the RoboCup@Home Japan Open competition open platform league annually. We have also participated in the RoboCup 2017 Nagoya as an open platform league and domestic standard platform league teams, and in the RoboCup 2018 Montreal as a domestic standard platform league team. Currently, we have 23 members from seven different laboratories based in Kyushu Institute of Technology. This paper aims to introduce the activities that are performed by our team and the technologies that we use.


title: Doming and spin cascade in Ferric Haems: Femtosecond X-ray Absorption and X-ray Emission Studies

abstract: The structure-function relationship is at the heart of biology and major protein deformations are correlated to specific functions. In the case of heme proteins, doming is associated with the respiratory function in hemoglobin and myoglobin, while ruffling has been correlated with electron transfer processes, such as in the case of Cytochrome c (Cyt c). The latter has indeed evolved to become an important electron transfer protein in humans. In its ferrous form, it undergoes ligand release and doming upon photoexcitation, but its ferric form does not release the distal ligand, while the return to the ground state has been attributed to thermal relaxation. Here, by combining femtosecond Fe K-edge X-ray absorption near-edge structure (XANES) studies and femtosecond Fe Kalpha and Kbeta X-ray emission spectroscopy (XES), we demonstrate that the photocycle of ferric Cyt c is entirely due to a cascade among excited spin states of the Iron ion, causing the ferric heme to undergo doming, which we identify for the first time. We also argue that this pattern is common to all ferric haems, raising the question of the biological relevance of doming in such proteins.


title: Quasi-Deterministic Channel Model for mmWaves: Mathematical Formalization and Validation

abstract: 5G and beyond networks will use, for the first time ever, the millimeter wave (mmWave) spectrum for mobile communications. Accurate performance evaluation is fundamental to the design of reliable mmWave networks, with accuracy rooted in the fidelity of the channel models. At mmWaves, the model must account for the spatial characteristics of propagation since networks will employ highly directional antennas to counter the much greater pathloss. In this regard, Quasi-Deterministic (QD) models are highly accurate channel models, which characterize the propagation in terms of clusters of multipath components, given by a reflected ray and multiple diffuse components of any given Computer Aided Design (CAD) scenario. This paper introduces a detailed mathematical formulation for QD models at mmWaves, that can be used as a reference for their implementation and development. Moreover, it compares channel instances obtained with an open source NIST QD model implementation against real measurements at 60 GHz, substantiating the accuracy of the model. Results show that, when comparing the proposed model and deterministic rays alone with a measurement campaign, the Kolmogorov-Smirnov (KS) test of the QD model improves by up to 0.537.


title: Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages

abstract: A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or first-order logic. Past attempts to extend this result beyond the realm of regular languages have met with difficulties: for instance it is known that star-free tree languages may violate the non-counting property and there are aperiodic tree languages that cannot be defined through first-order logic. We extend such classic equivalence results to a significant family of deterministic context-free languages, the operator-precedence languages (OPL), which strictly includes the widely investigated visibly pushdown, alias input-driven, family and other structured context-free languages. The OP model originated in the '60s for defining programming languages and is still used by high performance compilers; its rich algebraic properties have been investigated initially in connection with grammar learning and recently completed with further closure properties and with monadic second order logic definition. We introduce an extension of regular expressions, the OP-expressions (OPE) which define the OPLs and, under the star-free hypothesis, define first-order definable and non-counting OPLs. Then, we prove, through a fairly articulated grammar transformation, that aperiodic OPLs are first-order definable. Thus, the classic equivalence of star-freeness, aperiodicity, and first-order definability is established for the large and powerful class of OPLs. We argue that the same approach can be exploited to obtain analogous results for visibly pushdown languages too.


title: Virasoro blocks at large exchange dimension

abstract: In this paper, we analyze Virasoro conformal blocks in the limit when the operator exchange dimension is taking to be large in comparison with the other parameters dependence of the block. We do this by using Zamolodchikov's recursion relations. We found a dramatically simplified solution at leading order in an inverse power expansion in large exchange conformal dimension in terms of a quasi-modular form in an Eisenstein series representation. We compare this solution with existing results obtained previously by using AGT correspondence.


title: SOT-MRAM based Sigmoidal Neuron for Neuromorphic Architectures

abstract: In this paper, the intrinsic physical characteristics of spin-orbit torque (SOT) magnetoresistive random-access memory (MRAM) devices are leveraged to realize sigmoidal neurons in neuromorphic architectures. Performance comparisons with the previous power- and area-efficient sigmoidal neuron circuits exhibit 74x and 12x reduction in power-area-product values for the proposed SOT-MRAM based neuron. To verify the functionally of the proposed neuron within larger scale designs, we have implemented a circuit realization of a 784x16x10 SOT-MRAM based multiplayer perceptron (MLP) for MNIST pattern recognition application using SPICE circuit simulation tool. The results obtained exhibit that the proposed SOT-MRAM based MLP can achieve accuracies comparable to an ideal binarized MLP architecture implemented on GPU, while realizing orders of magnitude increase in processing speed.


title: Evidence for the Alternating Next-Nearest Neighbor model in the dynamic behavior of a frustrated antiferromagnet

abstract: X-ray photon correlation spectroscopy (XPCS) enables us to study dynamics of antiferromagnets. Using coherent soft X-ray diffraction, we resonantly probe Mn and Co Bragg peaks in the frustrated magnetic chain compound Lu2CoMnO6 significantly below the Neel temperature. Bragg peaks of incommensurate order slide towards commensurate 'up up down down' order with decreasing temperature. Antiferromagnetic inhomogeneities produce speckle within the Bragg peaks, whose dynamics are probed by XPCS and compared to the classic Axial Next-Nearest Neighbor Interaction model of frustration. The data supports a novel model prediction: with decreasing temperature the dynamics become faster.


title: Generalized representation stability for disks in a strip and no-k-equal spaces

abstract: For fixed j and w, we study the j-th homology of the configuration space of n labeled disks of width 1 in an infinite strip of width w. As n grows, the homology groups grow exponentially in rank, suggesting a generalized representation stability as defined by Church--Ellenberg--Farb and Ramos. We prove this generalized representation stability for the strip of width 2, leaving open the case of w > 2. We also prove it for the configuration space of n labeled points in the line, of which no k are equal.


title: Constructing the Field of Values of Decomposable and General Matrices Using the ZNN Based Path Following Method

abstract: This paper describes and develops a fast and accurate path following algorithm that computes the field of values boundary curve for every conceivable complex or real square matrix $A$. It relies on a matrix flow decomposition method that finds a proper block-diagonal flow representation for the associated hermitean matrix flow ${\cal F}_A(t) = \cos(t) H + \sin(t) K$. Here ${\cal F}_A(t)$ is a 1-parameter-varying linear combination of the real and skew part matrices $H = (A+A^*)/2$ and $K = (A-A^*)/(2i)$ of $A$. For decomposing flows ${\cal F}_A(t)$, the algorithm decomposes a given dense general matrix $A$ unitarily into block-diagonal form $U^*AU = \text { diag} (A_j)$ with $j > 1$ diagonal blocks $A_j$ whose individual sizes add up to the size of $A$. It then computes the field of values boundaries separately for each diagonal block $A_j$ using the path following ZNN eigenvalue method. The convex hull of all sub-fields of values boundary points then determines the field of values boundary curve correctly for decomposing and non-decomposing matrices $A$. The algorithm removes standard restrictions for path following FoV methods that generally cannot deal with decomposing matrices $A$ due to possible eigencurve crossings of ${\cal F}_A(t)$. Tests and numerical comparisons are included. Our ZNN based method is coded for sequential and parallel computations and both versions run very accurately and very fast when compared with Johnson's Francis QR eigenvalue and Bendixon rectangle based method that computes complete eigenanalyses of ${\cal F}_A(t_k)$ for every chosen $t_k \in {[} 0,2\pi{]}$ more slowly.


title: Outburst and Splitting of Interstellar Comet 2I/Borisov

abstract: We present Hubble Space Telescope observations of a photometric outburst and splitting event in interstellar comet 2I/Borisov. The outburst, first reported with the comet outbound at 2.8 AU (Drahus et al.~2020), was caused by the expulsion of solid particles having a combined cross-section about 100 sq. km and a mass in 0.1 mm sized particles about 2e7 kg. The latter corresponds to 1e-4 of the mass of the nucleus, taken as a sphere of radius 500 m. A transient ``double nucleus'' was observed on UT 2020 March 30 (about three weeks after the outburst), having a cross-section about 0.6 sq. km and corresponding dust mass 1e5 kg. The secondary was absent in images taken on and before March 28, and in images taken on and after April 03. The unexpectedly delayed appearance and rapid disappearance of the secondary are consistent with an origin through rotational bursting of one or more large (meter-sized) boulders under the action of outgassing torques, following their ejection from the main nucleus. Overall, our observations reveal that the outburst and splitting of the nucleus are minor events involving a negligible fraction of the total mass: 2I/Borisov will survive its passage through the planetary region largely unscathed.


title: Dynamical systems on Hypergraphs

abstract: Networks are a widely used and efficient paradigm to model real-world systems where basic units interact pairwise. Many body interactions are often at play, and cannot be modelled by resorting to binary exchanges. In this work, we consider a general class of dynamical systems anchored on hypergraphs. Hyperedges of arbitrary size ideally encircle individual units so as to account for multiple, simultaneous interactions. These latter are mediated by a combinatorial Laplacian, that is here introduced and characterised. The formalism of the Master Stability Function is adapted to the present setting. Turing patterns and the synchronisation of non linear (regular and chaotic) oscillators are studied, for a general class of systems evolving on hypergraphs. The response to externally imposed perturbations bears the imprint of the higher order nature of the interactions.

categories: nlin.AO cond-mat.stat-mech math.DS nlin.PS physics.soc-ph


title: The Power of Factorial Powers: New Parameter settings for (Stochastic) Optimization

abstract: The convergence rates for convex and non-convex optimization methods depend on the choice of a host of constants, including step sizes, Lyapunov function constants and momentum constants. In this work we propose the use of factorial powers as a flexible tool for defining constants that appear in convergence proofs. We list a number of remarkable properties that these sequences enjoy, and show how they can be applied to convergence proofs to simplify or improve the convergence rates of the momentum method, accelerated gradient and the stochastic variance reduced method (SVRG).


title: An Effectiveness Metric for Ordinal Classification: Formal Properties and Experimental Results

abstract: In Ordinal Classification tasks, items have to be assigned to classes that have a relative ordering, such as positive, neutral, negative in sentiment analysis. Remarkably, the most popular evaluation metrics for ordinal classification tasks either ignore relevant information (for instance, precision/recall on each of the classes ignores their relative ordering) or assume additional information (for instance, Mean Average Error assumes absolute distances between classes). In this paper we propose a new metric for Ordinal Classification, Closeness Evaluation Measure, that is rooted on Measurement Theory and Information Theory. Our theoretical analysis and experimental results over both synthetic data and data from NLP shared tasks indicate that the proposed metric captures quality aspects from different traditional tasks simultaneously. In addition, it generalizes some popular classification (nominal scale) and error minimization (interval scale) metrics, depending on the measurement scale in which it is instantiated.


title: Randomized Kaczmarz for Tensor Linear Systems

abstract: Solving linear systems of equations is a fundamental problem in mathematics. When the linear system is so large that it cannot be loaded into memory at once, iterative methods such as the randomized Kaczmarz method excel. Here, we extend the randomized Kaczmarz method to solve multi-linear (tensor) systems under the tensor-tensor t-product. We provide convergence guarantees for the proposed tensor randomized Kaczmarz that are analogous to those of the randomized Kaczmarz method for matrix linear systems. We demonstrate experimentally that the tensor randomized Kaczmarz method converges faster than traditional randomized Kaczmarz applied to a naively matricized version of the linear system. In addition, we draw connections between the proposed algorithm and a previously known extension of the randomized Kaczmarz algorithm for matrix linear systems.


title: Wavelet Scattering Networks for Atomistic Systems with Extrapolation of Material Properties

abstract: The dream of machine learning in materials science is for a model to learn the underlying physics of an atomic system, allowing it to move beyond interpolation of the training set to the prediction of properties that were not present in the original training data. In addition to advances in machine learning architectures and training techniques, achieving this ambitious goal requires a method to convert a 3D atomic system into a feature representation that preserves rotational and translational symmetry, smoothness under small perturbations, and invariance under re-ordering. The atomic orbital wavelet scattering transform preserves these symmetries by construction, and has achieved great success as a featurization method for machine learning energy prediction. Both in small molecules and in the bulk amorphous $\text{Li}_{\alpha}\text{Si}$ system, machine learning models using wavelet scattering coefficients as features have demonstrated a comparable accuracy to Density Functional Theory at a small fraction of the computational cost. In this work, we test the generalizability of our $\text{Li}_{\alpha}\text{Si}$ energy predictor to properties that were not included in the training set, such as elastic constants and migration barriers. We demonstrate that statistical feature selection methods can reduce over-fitting and lead to remarkable accuracy in these extrapolation tasks.

categories: physics.comp-ph cs.CE cs.LG physics.chem-ph stat.ML


title: A Symmetric Multi-rod Tunable Microwave Cavity for the HAYSTAC Dark Matter Axion Search

abstract: The microwave cavity experiment is the most sensitive way of looking for axions in the 0.1-10 GHz range, corresponding to masses of 0.5 - 40 $\mu$eV. The particular challenge for frequencies greater than 5 GHz is designing a cavity with a large volume that contains a resonant mode that has a high form factor, a high quality factor, a wide dynamic range, and is free from intruder modes. For HAYSTAC, we have designed and constructed an optimized high frequency cavity with a tuning mechanism that preserves a high degree of rotational symmetry, critical to maximizing its figure of merit. This cavity covers an important frequency range according to recent theoretical estimates for the axion mass, 5.5 - 7.4 GHz, and the design appears extendable to higher frequencies as well. This paper will discuss key design and construction details of the cavity, present a summary of the design evolution, and alert practitioners of potentially unfruitful avenues for future work.


title: Controlling Propagation of epidemics via mean-field control

abstract: The coronavirus disease 2019 (COVID-19) pandemic is changing and impacting lives on a global scale. In this paper, we introduce a mean-field game model in controlling the propagation of epidemics on a spatial domain. The control variable, the spatial velocity, is first introduced for the classical disease models, such as the SIR model. For this proposed model, we provide fast numerical algorithms based on proximal primal-dual methods. Numerical experiments demonstrate that the proposed model illustrates how to separate infected patients in a spatial domain effectively.


title: RUHSNet: 3D Object Detection Using Lidar Data in Real Time

abstract: In this work, we address the problem of 3D object detection from point cloud data in real time. For autonomous vehicles to work, it is very important for the perception component to detect the real world objects with both high accuracy and fast inference. We propose a novel neural network architecture along with the training and optimization details for detecting 3D objects in point cloud data. We compare the results with different backbone architectures including the standard ones like VGG, ResNet, Inception with our backbone. Also we present the optimization and ablation studies including designing an efficient anchor. We use the Kitti 3D Birds Eye View dataset for benchmarking and validating our results. Our work surpasses the state of the art in this domain both in terms of average precision and speed running at > 30 FPS. This makes it a feasible option to be deployed in real time applications including self driving cars.


title: Serverless End Game: Disaggregation enabling Transparency

abstract: For many years, the distributed systems community has struggled to smooth the transition from local to remote computing. Transparency means concealing the complexities of distributed programming like remote locations, failures or scaling. For us, full transparency implies that we can compile, debug and run unmodified single-machine code over effectively unlimited compute, storage, and memory resources. We elaborate in this article why resource disaggregation in serverless computing is the definitive catalyst to enable full transparency in the Cloud. We demonstrate with two experiments that we can achieve transparency today over disaggregated serverless resources and obtain comparable performance to local executions. We also show that locality cannot be neglected for many problems and we present five open research challenges: granular middleware and locality, memory disaggregation, virtualization, elastic programming models, and optimized deployment. If full transparency is possible, who needs explicit use of middleware if you can treat remote entities as local ones? Can we close the curtains of distributed systems complexity for the majority of users?


title: Time-averaged transport in oscillatory squeeze flow of a viscoelastic fluid

abstract: Periodically-driven flows are known to generate non-zero, time-averaged fluxes of heat or solute species, due to the interactions of out-of-phase velocity and temperature/concentration fields, respectively. Herein, we investigate such transport (a form of the well-known Taylor--Aris dispersion) in the gap between two parallel plates, one of which oscillates vertically, generating a time-periodic squeeze flow of either a newtonian or Maxwellian fluid. Using the method of multiple time-scale homogenization, the mass/heat balance equation describing transport in this flow is reduced to a one-dimensional advection--diffusion--reaction equation. This result indicates three effective mechanisms in the mass/heat transfer in the system: an effective diffusion that spreads mass/heat along the concentration/temperature gradient, an effective advective flux, and an effective reaction that releases or absorbs mass/heat - in the time-averaged frame. Our results demonstrate that there exist resonant modes under which the velocity peaks when the dimensionless plate oscillation frequency (embodied by the Womersley number, the ratio of the transient inertia to viscous forces) approaches specific values. As a result, transport in this flow is significantly influenced by the dimensionless frequency. On the one hand, the effective, time-averaged dispersion coefficient is always larger than the molecular diffusivity, and is sharply enhanced near resonance. The interaction between fluid elasticity and the oscillatory forcing enhances the efficiency of transport in the system. On the other hand, the identified effective advection and reaction mechanisms may transport mass/heat from regions of high concentration/temperature to those of low concentration/temperature, or vice versa, depending on the value of dimensionless frequency.


title: The Jordan property for local fundamental groups

abstract: We show the Jordan property for regional fundamental groups of klt singularities of fixed dimension. Furthermore, we prove the existence of effective simultaneous index one covers for $n$-dimensional klt singularities. We give an application to the study of local class groups of klt singularities.


title: Radiation hardness of GaAs: Cr and Si sensors irradiated by electron beam

abstract: The interest in using the radiation detectors based on high resistive chromium-compensated GaAs (GaAs:Cr) in high energy physics and others applied fields has been growing steadily due to its numerous advantages over others classical materials. High radiation hardness at room temperature stands out and needs to be systematically investigated. In this paper an experimental study of the effect of 20.9 MeV electrons generated by the LINAC-200 accelerator on some properties of GaAs:Cr based sensors is presented. In parallel, Si sensors were irradiated at the same conditions, measured and analyzed in order to perform a comparative study. The target sensors were irradiated with the dose up to 1.5 MGy. The current-voltage characteristics, resistivity, charge collection efficiency and their dependences on the bias voltage and temperature were measured at different absorbed doses. An analysis of the possible microscopic mechanisms leading to the observed effects in GaAs:Cr sensors is presented in the article.


title: The Heisenberg Generalized Vertex Operator Algebra on a Riemann Surface

abstract: We compute the partition and correlation generating functions for the Heisenberg intertwiner generalized vertex operator algebra on a genus $g$ Riemann surface in the Schottky uniformization. These are expressed in terms of differential forms of the first, second and third kind, the prime form and the period matrix and are computed by combinatorial methods using a generalization of the MacMahon Master Theorem.


title: Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets

abstract: A door gadget has two states and three tunnels that can be traversed by an agent (player, robot, etc.): the "open" and "close" tunnel sets the gadget's state to open and closed, respectively, while the "traverse" tunnel can be traversed if and only if the door is in the open state. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a planar assembly of such door gadgets, removing the traditional need for crossover gadgets and thereby simplifying past PSPACE-hardness proofs of Lemmings and Nintendo games Super Mario Bros., Legend of Zelda, and Donkey Kong Country. Our result holds in all but one of the possible local planar embedding of the open, close, and traverse tunnels within a door gadget; in the one remaining case, we prove NP-hardness. We also introduce and analyze a simpler type of door gadget, called the self-closing door. This gadget has two states and only two tunnels, similar to the "open" and "traverse" tunnels of doors, except that traversing the traverse tunnel also closes the door. In a variant called the symmetric self-closing door, the "open" tunnel can be traversed if and only if the door is closed. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a planar assembly of either type of self-closing door. Then we apply this framework to prove new PSPACE-hardness results for eight different 3D Mario games and Sokobond.


title: Steinberg homology, modular forms, and real quadratic fields

abstract: We compare the homology of a congruence subgroup Gamma of GL_2(Z) with coefficients in the Steinberg modules over Q and over E, where E is a real quadratic field. If R is any commutative base ring, the last connecting homomorphism psi_{Gamma,E} in the long exact sequence of homology stemming from this comparison has image in H_0(Gamma, St(Q^2;R)) generated by classes z_\beta indexed by beta in E \ Q. We investigate this image. When R=C, H_0(Gamma, St(Q^2;C)) is isomorphic to a space of classical modular forms of weight 2, and the image lies inside the cuspidal part. In this case, z_beta is closely related to periods of modular forms over the geodesic in the upper half plane from beta to its conjugate beta'. Assuming GRH we prove that the image of $\psi_{\Gamma,E}$ equals the entire cuspidal part. When R=Z, we have an integral version of the situation. We define the cuspidal part of the Steinberg homology, H_0^cusp(Gamma, St(Q^2;Z)). Assuming GRH we prove that for any congruence subgroup, psi_{Gamma,E} always has finite index in H_0^cusp(Gamma, St(Q^2;Z)), and if Gamma=Gamma_1(N)^pm or \Gamma_1(N), then the image is all of H_0^cusp(Gamma, St(Q^2;Z)). If Gamma=Gamma_0(N)^pm or Gamma_0(N), we prove (still assuming GRH) an upper bound for the size of H_0^cusp(Gamma, St(Q^2;Z))/image(psi_{Gamma,E}). We conjecture that the results in this paragraph are true unconditionally. We also report on extensive computations of the image of psi_{Gamma,E} that we made for Gamma=Gamma_0(N)^pm and Gamma=Gamma_0(N). Based on these computations, we believe that the image of psi_{Gamma,E} is not all of H_0^cusp(Gamma, St(Q^2;Z)) for these groups, for general N.


title: From the Jaynes-Cummings model to non-Abelian gauge theories: a guided tour for the quantum engineer

abstract: The design of quantum many body systems, which have to fulfill an extensive number of constraints, appears as a formidable challenge within the field of quantum simulation. Lattice gauge theories are a particular important class of quantum systems with an extensive number of local constraints and play a central role in high energy physics, condensed matter and quantum information. Whereas recent experimental progress points towards the feasibility of large-scale quantum simulation of Abelian gauge theories, the quantum simulation of non-Abelian gauge theories appears still elusive. In this paper we present minimal non-Abelian lattice gauge theories, whereby we introduce the necessary formalism in well-known Abelian gauge theories, such as the Jaynes-Cumming model. In particular, we show that certain minimal non-Abelian lattice gauge theories can be mapped to three or four level systems, for which the design of a quantum simulator is standard with current technologies. Further we give an upper bound for the Hilbert space dimension of a one dimensional SU(2) lattice gauge theory, and argue that the implementation with current digital quantum computer appears feasible.

categories: quant-ph cond-mat.quant-gas hep-lat hep-th


title: Clifford boundary conditions: a simple direct-sum evaluation of Madelung constants

abstract: We propose a simple direct-sum method for the efficient evaluation of lattice sums in periodic solids. It consists of two main principles: i) the creation of a supercell that has the topology of a Clifford torus, which is a flat, finite and border-less manifold; ii) the renormalization of the distance between two points on the Clifford torus by defining it as the Euclidean distance in the embedding space of the Clifford torus. Our approach does not require any integral transformations nor any renormalization of the charges. We illustrate our approach by applying it to the calculation of the Madelung constants of ionic crystals. We show that the convergence towards the system of infinite size is monotonic, which allows for a straightforward extrapolation of the Madelung constant. We are able to recover the Madelung constants with a remarkable accuracy, and at an almost negligible computational cost, i.e., a few seconds on a laptop computer.


title: Improving EEG based continuous speech recognition using GAN

abstract: In this paper we demonstrate that it is possible to generate more meaningful electroencephalography (EEG) features from raw EEG features using generative adversarial networks (GAN) to improve the performance of EEG based continuous speech recognition systems. We improve the results demonstrated by authors in [1] using their data sets for for some of the test time experiments and for other cases our results were comparable with theirs. Our proposed approach can be implemented without using any additional sensor information, whereas in [1] authors used additional features like acoustic or articulatory information to improve the performance of EEG based continuous speech recognition systems.


title: Understanding effect of speech perception in EEG based speech recognition systems

abstract: The electroencephalography (EEG) signals recorded in parallel with speech are used to perform isolated and continuous speech recognition. During speaking process, one also hears his or her own speech and this speech perception is also reflected in the recorded EEG signals. In this paper we investigate whether it is possible to separate out this speech perception component from EEG signals in order to design more robust EEG based speech recognition systems. We further demonstrate predicting EEG signals recorded in parallel with speaking from EEG signals recorded in parallel with passive listening and vice versa with very low normalized root mean squared error (RMSE). We finally demonstrate both isolated and continuous speech recognition using EEG signals recorded in parallel with listening, speaking and improve the previous connectionist temporal classification (CTC) model results demonstrated by authors in [1] using their data set.


title: Predicting Different Acoustic Features from EEG and towards direct synthesis of Audio Waveform from EEG

abstract: In [1,2] authors provided preliminary results for synthesizing speech from electroencephalography (EEG) features where they first predict acoustic features from EEG features and then the speech is reconstructed from the predicted acoustic features using griffin lim reconstruction algorithm. In this paper we first introduce a deep learning model that takes raw EEG waveform signals as input and directly produces audio waveform as output. We then demonstrate predicting 16 different acoustic features from EEG features. We demonstrate our results for both spoken and listen condition in this paper. The results presented in this paper shows how different acoustic features are related to non-invasive neural EEG signals recorded during speech perception and production.


title: A comparative study of 2D image segmentation algorithms for traumatic brain lesions using CT data from the ProTECTIII multicenter clinical trial

abstract: Automated segmentation of medical imaging is of broad interest to clinicians and machine learning researchers alike. The goal of segmentation is to increase efficiency and simplicity of visualization and quantification of regions of interest within a medical image. Image segmentation is a difficult task because of multiparametric heterogeneity within the images, an obstacle that has proven especially challenging in efforts to automate the segmentation of brain lesions from non-contrast head computed tomography (CT). In this research, we have experimented with multiple available deep learning architectures to segment different phenotypes of hemorrhagic lesions found after moderate to severe traumatic brain injury (TBI). These include: intraparenchymal hemorrhage (IPH), subdural hematoma (SDH), epidural hematoma (EDH), and traumatic contusions. We were able to achieve an optimal Dice Coefficient1 score of 0.94 using UNet++ 2D Architecture with Focal Tversky Loss Function, an increase from 0.85 using UNet 2D with Binary Cross-Entropy Loss Function in intraparenchymal hemorrhage (IPH) cases. Furthermore, using the same setting, we were able to achieve the Dice Coefficient score of 0.90 and 0.86 in cases of Extra-Axial bleeds and Traumatic contusions, respectively.


title: An End-to-End Encryption Solution for Enterprise Content Applications

abstract: The content host services (like Dropbox, OneDrive, and Google Drive) used by enterprise customers are deployed either on premise or in cloud. Because users may store business-sensitive data (contents) in these hosting services, they may want to protect their data from disclosure to anyone else, even IT administrators. Unfortunately, even contents (files) are encrypted in the hosting services, they sometimes are still accessible to IT administrators today. The sensitive data could be exposed to public if the IT administrator turns malicious (like disgruntled employee) or his account is compromised by hackers. We propose an end-to-end encryption (E2EE) solution to address this challenge. The user data is encrypted at client side (mobile device) and remains encrypted in transit and at rest on server. Specifically, we design a new method to allow master secret recover and escrow, while protecting them from being accessed by malicious administrators. In addition, we present a content (file) encryption scheme that achieves privacy, and granular access control. And it can be seamlessly integrated with major content host services used by business users today.


title: A model of cultural evolution in the context of strategic conflict

abstract: We consider a model of cultural evolution for a strategy selection in a population of individuals who interact in a game theoretic framework. The evolution combines individual learning of the environment (population strategy profile), reproduction, proportional to the success of the acquired knowledge, and social transmission of the knowledge to the next generation. A mean-field type equation is derived that describes the dynamics of the distribution of cultural traits, in terms of the rate of learning, the reproduction rate and population size. We establish global well-posedness of the initial-boundary value problem for this equation and give several examples that illustrate the process of the cultural evolution for some classical games.


title: Leveraging Affective Bidirectional Transformers for Offensive Language Detection

abstract: Social media are pervasive in our life, making it necessary to ensure safe online experiences by detecting and removing offensive and hate speech. In this work, we report our submission to the Offensive Language and hate-speech Detection shared task organized with the 4th Workshop on Open-Source Arabic Corpora and Processing Tools Arabic (OSACT4). We focus on developing purely deep learning systems, without a need for feature engineering. For that purpose, we develop an effective method for automatic data augmentation and show the utility of training both offensive and hate speech models off (i.e., by fine-tuning) previously trained affective models (i.e., sentiment and emotion). Our best models are significantly better than a vanilla BERT model, with 89.60% acc (82.31% macro F1) for hate speech and 95.20% acc (70.51% macro F1) on official TEST data.


title: Two-parton scattering amplitudes in the Regge limit to high loop orders

abstract: We study two-to-two parton scattering amplitudes in the high-energy limit of perturbative QCD by iteratively solving the BFKL equation. This allows us to predict the imaginary part of the amplitude to leading-logarithmic order for arbitrary $t$-channel colour exchange. The corrections we compute correspond to ladder diagrams with any number of rungs formed between two Reggeized gluons. Our approach exploits a separation of the two-Reggeon wavefunction, performed directly in momentum space, between a soft region and a generic (hard) region. The former component of the wavefunction leads to infrared divergences in the amplitude and is therefore computed in dimensional regularization; the latter is computed directly in two transverse dimensions and is expressed in terms of single-valued harmonic polylogarithms of uniform weight. By combining the two we determine exactly both infrared-divergent and finite contributions to the two-to-two scattering amplitude order-by-order in perturbation theory. We study the result numerically to 13 loops and find that finite corrections to the amplitude have a finite radius of convergence which depends on the colour representation of the $t$-channel exchange.


title: Cayley algebras give rise to $q$-Fano planes over certain infinite fields and $q$-covering designs over others

abstract: Let $F$ be a field. A $2$-$(7, 3, 1)_F$-subspace design, or $q$-Fano plane, over $F$, is a $7$-dimensional vector space $V$ over $F$ together with a collection $\mathfrak{B}$ of three-dimensional subspaces of $V$ such that every two-dimensional subspace of $V$ is contained in exactly one element $B$ of $\mathfrak{B}$. The question of existence of $q$-Fano planes over any field has been open since the 1970s and has attracted considerable attention in the special case that $F$ is finite. Here we show the existence of $2$-$(7, 3, 1)_F$-subspace designs over certain infinite fields $F$, including (among others) $\mathbb{Q}, \mathbb{R}$ and $\mathbb{F}_q(x, y, z)$ for $q$ odd. The space $V$ is the 7-dimensional space of imaginary elements in a Cayley division algebra $O$ over $F$ and $\mathfrak{B}$ consists of the intersections with $V$ of all 4-dimensional subalgebras of $O$. We will present the required background on Cayley algebras in a self-contained fashion. Next we study what happens if we apply the same procedure to split (rather than division) Cayley algebras. By identifying all four-dimensional subalgebras of these, we show that in that case our construction still yields an inclusion minimal $(7, 3, 2)$ $q$-covering design. That is: every two-dimensional subspace of $V$ is contained in at least one element of the resulting set $\mathfrak{B}$ of three-dimensional subspaces of $V$ and no proper subset of $\mathfrak{B}$ has this property. However none of these $q$-covering designs are $q$-Fano planes. In the case that $F$ is finite we compute the number of elements of $\mathfrak{B}$. We also give a purely combinatorial construction of our $q$-Fano planes and $q$-covering designs for an abstract 7-dimensional $F$-vector space $V$ by identifying the collection $\mathfrak{B}$ as a subvariety of the Grassmanian $Gr_3(V)$ defined entirely in terms of the classical Fano plane.


title: Accretion disk luminosity for black holes surrounded by dark matter

abstract: We consider the observational properties of a static black hole space-time immersed in a dark matter envelope. We thus investigate how the modifications to geometry, induced by the presence of dark matter affect the luminosity of the black hole's accretion disk. We show that the same disk's luminosity produced by a black hole in vacuum may be produced by a smaller black hole if surrounded by dark matter under certain conditions. In particular, we demonstrate that the luminosity of the disk is markedly altered by dark matter's presence, suggesting that mass estimation of distant super-massive black holes may be changed if they are immersed in dark matter. We argue that a similar effect holds in more realistic scenarios and we discuss about the refractive index related to dark matter lensing. Hence we show how this may help explain the observed luminosity of super-massive black holes in the early universe.


title: SIESTA: recent developments and applications

abstract: A review of the present status, recent enhancements, and applicability of the SIESTA program is presented. Since its debut in the mid-nineties, SIESTA's flexibility, efficiency and free distribution has given advanced materials simulation capabilities to many groups worldwide. The core methodological scheme of SIESTA combines finite-support pseudo-atomic orbitals as basis sets, norm-conserving pseudopotentials, and a real-space grid for the representation of charge density and potentials and the computation of their associated matrix elements. Here we describe the more recent implementations on top of that core scheme, which include: full spin-orbit interaction, non-repeated and multiple-contact ballistic electron transport, DFT+U and hybrid functionals, time-dependent DFT, novel reduced-scaling solvers, density-functional perturbation theory, efficient Van der Waals non-local density functionals, and enhanced molecular-dynamics options. In addition, a substantial effort has been made in enhancing interoperability and interfacing with other codes and utilities, such as Wannier90 and the second-principles modelling it can be used for, an AiiDA plugin for workflow automatization, interface to Lua for steering SIESTA runs, and various postprocessing utilities. SIESTA has also been engaged in the Electronic Structure Library effort from its inception, which has allowed the sharing of various low level libraries, as well as data standards and support for them, in particular the PSML definition and library for transferable pseudopotentials, and the interface to the ELSI library of solvers. Code sharing is made easier by the new open-source licensing model of the program. This review also presents examples of application of the capabilities of the code, as well as a view of on-going and future developments.


title: Isotope effect in the translation-invariant bipolaron theory of high-temperature superconductivity

abstract: It is shown that the translation-invariant bipolaron theory of superconductivity can explain the dependence of the isotope coefficient in high-temperature superconductors on the critical temperature of a superconducting transition: in the case of strong electron-phonon interaction, the isotope coefficient is low when doping is optimal and high when it is weak. It is demonstrated that in the case of London penetration depth, the absolute value of the isotope coefficient behaves in the opposite way. A conclusion of the great role of non-adiabaticity in the case of weak doping is made. The criteria for d-wave phonon input into the isotope effect is established.


title: Shapley explainability on the data manifold

abstract: Explainability in AI is crucial for model development, compliance with regulation, and providing operational nuance to predictions. The Shapley framework for explainability attributes a model's predictions to its input features in a mathematically principled and model-agnostic way. However, general implementations of Shapley explainability make an untenable assumption: that the model's features are uncorrelated. In this work, we demonstrate unambiguous drawbacks of this assumption and develop two solutions to Shapley explainability that respect the data manifold. One solution, based on generative modelling, provides flexible access to data imputations; the other directly learns the Shapley value-function, providing performance and stability at the cost of flexibility. While "off-manifold" Shapley values can (i) give rise to incorrect explanations, (ii) hide implicit model dependence on sensitive attributes, and (iii) lead to unintelligible explanations in higher-dimensional data, on-manifold explainability overcomes these problems.


title: Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack

abstract: Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant for state preparation in the variational quantum eigensolver algorithm), shallow (inspired by IQP-type circuits that might be useful for near-term quantum machine learning), and square (inspired by the quantum volume benchmark). We quantify the performance of a quantum computing system in running circuits from these classes using several figures of merit, all of which require exponential classical computing resources and a polynomial number of classical samples (bitstrings) from the system. We study how performance varies with the compilation strategy used and the device on which the circuit is run. Using systems made available by IBM Quantum, we examine their performance, showing that noise-aware compilation strategies may be beneficial, and that device connectivity and noise levels play a crucial role in the performance of the system according to our benchmarks.


title: Multiple Stellar Populations of Globular Clusters from Homogeneous Ca-CN-CH-NH Photometry. VI. M3 (NGC 5272) is not a Prototypical Normal Globular Cluster

abstract: We present Ca-CN-CH-NH photometry for the well-known globular cluster (GC) M3 (NGC 5272). We show new evidence for two M3 populations with distinctly different carbon and nitrogen abundances, seen in a sharp division between CN-weak and CN-strong red-giant branches (RGBs) in M3. The CN-strong population shows a C-N anticorrelation that is a natural consequence of the CN cycle, while the CN-weak population shows no or a weak C-N anticorrelation. Additionally, the CN-weak population exhibits an elongated spatial distribution that is likely linked to its fast rotation. Our derived metallicity reveals bimodal metallicity distributions in both populations, with $\langle$[Fe/H]$\rangle\approx-$1.60 and $-$1.45, which appear to be responsible for the discrete double RGB bumps in the CN-weak and the large $W^{1G}_{F275W-F814W}$ range. From this discovery, we propose that M3 consists of two GCs, namely the C1 (23\%, $\langle$[Fe/H]$\rangle\approx-1.60$) and C2 (77\%, $\langle$[Fe/H]$\rangle\approx-1.45$), each of which has its own C-N anticorrelation and structural and kinematical property, which is a strong indication of independent systems in M3. The fractions of the CN-weak population for both the C1 and C2 are high compared to Galactic GCs but they are in good agreement with GCs in Magellanic Clouds. It is believed that M3 is a merger remnant of the two GCs, most likely in a dwarf galaxy environment, and accreted to our Galaxy later in time. This is consistent with recent proposals of an ex-situ origin of M3.


title: Closing of the Induced Gap in a Hybrid Superconductor-Semiconductor Nanowire

abstract: Hybrid superconductor-semiconductor nanowires are predicted to undergo a field-induced phase transition from a trivial to a topological superconductor, marked by the closure and re-opening of the excitation gap, followed by the emergence of Majorana bound states at the nanowire ends. Many local density-of-states measurements have reported signatures of the topological phase, however this interpretation has been challenged by alternative explanations. Here, by measuring nonlocal conductance, we identify the closure of the excitation gap in the bulk of the semiconductor before the emergence of zero-bias peaks. This observation is inconsistent with scenarios where zero-bias peaks occur due to end-states with a trivially gapped bulk, which have been extensively considered in the theoretical and experimental literature. We observe that after the gap closes, nonlocal signals fluctuate strongly and persist irrespective of the presence of local-conductance zero-bias peaks. Thus, our observations are also incompatible with a simple picture of clean topological superconductivity. This work presents a new experimental approach for probing the spatial extent of states in Majorana wires, and reveals the presence of a regime with a continuum of spatially extended states and uncorrelated zero-bias peaks.


title: Multi-Stage Transfer Learning with an Application to Selection Process

abstract: In multi-stage processes, decisions happen in an ordered sequence of stages. Many of them have the structure of dual funnel problem: as the sample size decreases from one stage to the other, the information increases. A related example is a selection process, where applicants apply for a position, prize, or grant. In each stage, more applicants are evaluated and filtered out, and from the remaining ones, more information is collected. In the last stage, decision-makers use all available information to make their final decision. To train a classifier for each stage becomes impracticable as they can underfit due to the low dimensionality in early stages or overfit due to the small sample size in the latter stages. In this work, we proposed a \textit{Multi-StaGe Transfer Learning} (MSGTL) approach that uses knowledge from simple classifiers trained in early stages to improve the performance of classifiers in the latter stages. By transferring weights from simpler neural networks trained in larger datasets, we able to fine-tune more complex neural networks in the latter stages without overfitting due to the small sample size. We show that it is possible to control the trade-off between conserving knowledge and fine-tuning using a simple probabilistic map. Experiments using real-world data demonstrate the efficacy of our approach as it outperforms other state-of-the-art methods for transfer learning and regularization.


title: Four Jovian planets around low-luminosity giant stars observed by the EXPRESS and PPPS

abstract: We report the discovery of planetary companions orbiting four low-luminosity giant stars with M$_\star$ between 1.04 and 1.39 M$_\odot$. All four host stars have been independently observed by the EXoPlanets aRound Evolved StarS (EXPRESS) program and the Pan-Pacific Planet Search (PPPS). The companion signals were revealed by multi-epoch precision radial velocities obtained during nearly a decade. The planetary companions exhibit orbital periods between $\sim$ 1.2 and 7.1 years, minimum masses of m$_{\rm p}$sini $\sim$ 1.8-3.7 M$_{jup}$ and eccentricities between 0.08 and 0.42. Including these four new systems, we have detected planetary companions to 11 out of the 37 giant stars that are common targets between the EXPRESS and PPPS. After excluding four compact binaries from the common sample, we obtained a fraction of giant planets (m$_{\rm p} \gtrsim$ 1-2 M$\_{jup}$) orbiting within 5 AU from their parent star of $f = 33.3^{+9.0}_{-7.1} \%$. This fraction is significantly higher than that previously reported in the literature by different radial velocity surveys. Similarly, planet formation models under predict the fraction of gas giant around stars more massive than the Sun.


title: RSSI Fingerprinting-based Localization Using Machine Learning in LoRa Networks

abstract: The scale of wireless technologies penetration in our daily lives, primarily triggered by the Internet-of-things (IoT)-based smart cities, is beaconing the possibilities of novel localization and tracking techniques. Recently, low-power wide-area network (LPWAN) technologies have emerged as a solution to offer scalable wireless connectivity for smart city applications. LoRa is one such technology that provides energy efficiency and wide-area coverage. This article explores the use of intelligent machine learning techniques, such as support vector machines, spline models, decision trees, and ensemble learning, for received signal strength indicator (RSSI)-based ranging in LoRa networks, on a training dataset collected in two different environments: indoors and outdoors. The suitable ranging model is then used to experimentally evaluate the accuracy of localization and tracking using trilateration in the studied environments. Later, we present the accuracy of LoRa-based positioning system (LPS) and compare it with the existing ZigBee, WiFi, and Bluetooth-based solutions. In the end, we discuss the challenges of satellite-independent tracking systems and propose future directions to improve accuracy and provide deployment feasibility.


title: Scalable Top-k Query on Information Networks with Hierarchical Inheritance Relations

abstract: Graph query, pattern mining and knowledge discovery become challenging on large-scale heterogeneous information networks (HINs). State-of-the-art techniques involving path propagation mainly focus on the inference on nodes labels and neighborhood structures. However, entity links in the real world also contain rich hierarchical inheritance relations. For example, the vulnerability of a product version is likely to be inherited from its older versions. Taking advantage of the hierarchical inheritances can potentially improve the quality of query results. Motivated by this, we explore hierarchical inheritance relations between entities and formulate the problem of graph query on HINs with hierarchical inheritance relations. We propose a graph query search algorithm by decomposing the original query graph into multiple star queries and apply a star query algorithm to each star query. Further candidates from each star query result are then constructed for final top-k query answers to the original query. To efficiently obtain the graph query result from a large-scale HIN, we design a bound-based pruning technique by using uniform cost search to prune search spaces. We implement our algorithm in GraphX to test the effectiveness and efficiency on synthetic and real-world datasets. Compared with two common graph query algorithms, our algorithm can effectively obtain more accurate results and competitive performances.


title: Black Holes at Exp-time

abstract: Classical GR governs the evolution of black holes for a long time, but at some exponentially large time it must break down. The breakdown, and what comes after it, is not well understood. In this paper I'll discuss the problem using concepts drawn from complexity geometry. In particular the geometric concept of cut locus plays a key role.


title: A New Multi-Tracer Approach to Defining the Spiral arm width in the Milky Way

abstract: We analyze recent observations of the spiral arm width in the Milky Way, as a function of the galactic radius, and we compare this relation with the prediction from the density wave theory. We use the following method: in each spiral arm, we concentrate on the separation (or offset) between the starforming region (radio masers) near the shock front of a density wave, and the aged star region (diffuse CO gas) near the potential minimum of a density wave; we take this separation between these two tracers as the arm width. New results: we find a typical separation (maser to diffuse CO gas) near 250 +/- 50 pc, and an increase of this separation with galactic radius of about 25 +/- 5 pc per kpc. We note that, as expected, this separation is somewhat smaller than that found earlier between the dust lane and the aged star region. Overall, these results supports the basics of a density wave.


title: Non-commutative field theory and composite Fermi Liquids in some quantum Hall systems

abstract: Composite Fermi liquid metals arise at certain special filling fractions in the quantum Hall regime and play an important role as parent states of gapped states with quantized Hall response. They have been successfully described by the Halperin-Lee-Read (HLR) theory of a Fermi surface of composite fermions coupled to a $U(1)$ gauge field with a Chern-Simons term. However, the validity of the HLR description when the microscopic system is restricted to a single Landau has not been clear. Here for the specific case of bosons at filling $\nu = 1$, we build on earlier work from the 1990s to formulate a low energy description that takes the form of a {\em non-commutative} field theory. This theory has a Fermi surface of composite fermions coupled to a $U(1)$ gauge field with no Chern-Simons term but with the feature that all fields are defined in a non-commutative spacetime. An approximate mapping of the long wavelength, small amplitude gauge fluctuations yields a commutative effective field theory which, remarkably, takes the HLR form but with microscopic parameters correctly determined by the interaction strength. Extensions to some other composite fermi liquids, and to other related states of matter are discussed.


title: A quantitative compendium of COVID-19 epidemiology

abstract: Accurate numbers are needed to understand and predict viral dynamics. Curation of high-quality literature values for the infectious period duration or household secondary attack rate, for example, is especially pressing currently because these numbers inform decisions about how and when to lockdown or reopen societies. We aim to provide a curated source for the key numbers that help us understand the virus driving our current global crisis. This compendium focuses solely on COVID-19 epidemiology. The numbers reported in summary format are substantiated by annotated references. For each property, we provide a concise definition, description of measurement and inference methods, and associated caveats. We hope this compendium will make essential numbers more accessible and avoid common sources of confusion for the many newcomers to the field such as using the incubation period to denote and quantify the latent period or using the hospitalization duration for the infectiousness period duration. This document will be repeatedly updated and the community is invited to participate in improving it.


title: Independent Component Analysis for Trustworthy Cyberspace during High Impact Events: An Application to Covid-19

abstract: Social media has become an important communication channel during high impact events, such as the COVID-19 pandemic. As misinformation in social media can rapidly spread, creating social unrest, curtailing the spread of misinformation during such events is a significant data challenge. While recent solutions that are based on machine learning have shown promise for the detection of misinformation, most widely used methods include approaches that rely on either handcrafted features that cannot be optimal for all scenarios, or those that are based on deep learning where the interpretation of the prediction results is not directly accessible. In this work, we propose a data-driven solution that is based on the ICA model, such that knowledge discovery and detection of misinformation are achieved jointly. To demonstrate the effectiveness of our method and compare its performance with deep learning methods, we developed a labeled COVID-19 Twitter dataset based on socio-linguistic criteria.


title: Context-based Transformer Models for Answer Sentence Selection

abstract: An important task for the design of Question Answering systems is the selection of the sentence containing (or constituting) the answer from documents relevant to the asked question. Most previous work has only used the target sentence to compute its score with the question as the models were not powerful enough to also effectively encode additional contextual information. In this paper, we analyze the role of the contextual information in the sentence selection task, proposing a Transformer based architecture that leverages two types of contexts, local and global. The former describes the paragraph containing the sentence, aiming at solving implicit references, whereas the latter describes the entire document containing the candidate sentence, providing content-based information. The results on three different benchmarks show that the combination of local and global contexts in a Transformer model significantly improves the accuracy in Answer Sentence Selection.


title: Fusion of Real Time Thermal Image and 1D/2D/3D Depth Laser Readings for Remote Thermal Sensing in Industrial Plants by Means of UAVs and/or Robots

abstract: This paper presents fast procedures for thermal infrared remote sensing in dark, GPS-denied environments, such as those found in industrial plants such as in High-Voltage Direct Current (HVDC) converter stations. These procedures are based on the combination of the depth estimation obtained from either a 1-Dimensional LIDAR laser or a 2-Dimensional Hokuyo laser or a 3D MultiSense SLB laser sensor and the visible and thermal cameras from a FLIR Duo R dual-sensor thermal camera. The combination of these sensors/cameras is suitable to be mounted on Unmanned Aerial Vehicles (UAVs) and/or robots in order to provide reliable information about the potential malfunctions, which can be found within the hazardous environment. For example, the capabilities of the developed software and hardware system corresponding to the combination of the 1-D LIDAR sensor and the FLIR Duo R dual-sensor thermal camera is assessed from the point of the accuracy of results and the required computational times: the obtained computational times are under 10 ms, with a maximum localization error of 8 mm and an average standard deviation for the measured temperatures of 1.11 degree Celsius, which results are obtained for a number of test cases. The paper is structured as follows: the description of the system used for identification and localization of hotspots in industrial plants is presented in section II. In section III, the method for faults identification and localization in plants by using a 1-Dimensional LIDAR laser sensor and thermal images is described together with results. In section IV the real time thermal image processing is presented. Fusion of the 2-Dimensional depth laser Hokuyo and the thermal images is described in section V. In section VI the combination of the 3D MultiSense SLB laser and thermal images is described. In section VII a discussion and several conclusions are drawn.


title: Outlier-Resilient Web Service QoS Prediction

abstract: The proliferation of Web services makes it difficult for users to select the most appropriate one among numerous functionally identical or similar service candidates. Quality-of-Service (QoS) describes the non-functional characteristics of Web services, and it has become the key differentiator for service selection. However, users cannot invoke all Web services to obtain the corresponding QoS values due to high time cost and huge resource overhead. Thus, it is essential to predict unknown QoS values. Although various QoS prediction methods have been proposed, few of them have taken outliers into consideration, which may dramatically degrade the prediction performance. To overcome this limitation, we propose an outlier-resilient QoS prediction method in this paper. Our method utilizes Cauchy loss to measure the discrepancy between the observed QoS values and the predicted ones. Owing to the robustness of Cauchy loss, our method is resilient to outliers. We further extend our method to provide time-aware QoS prediction results by taking the temporal information into consideration. Finally, we conduct extensive experiments on both static and dynamic datasets. The results demonstrate that our method is able to achieve better performance than state-of-the-art baseline methods.


title: E-polynomials of character varieties for real curves

abstract: We calculate the E-polynomial for a class of the (complex) character varieties $\mathcal{M}_n^{\tau}$ associated to a genus $g$ Riemann surface $\Sigma$ equipped with an orientation reversing involution $\tau$. Our formula expresses the generating function $\sum_{n=1}^{\infty} E(\mathcal{M}_n^{\tau}) T^n$ as the plethystic logarithm of a product of sums indexed by Young diagrams. The proof uses point counting over finite fields, emulating Hausel and Rodriguez-Villegas.


title: Disguised toric dynamical systems

abstract: We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reaction networks have an empty toric locus or a toric locus of Lebesgue measure zero in parameter space, while their disguised toric locus is of positive measure. We also propose some algorithms one can use to detect the disguised toric locus.


title: Revisiting money and labor for valuing environmental goods and services in developing countries

abstract: Many Stated Preference studies conducted in developing countries provide a low willingness to pay (WTP) for a wide range of goods and services. However, recent studies in these countries indicate that this may partly be a result of the choice of payment vehicle, not the preference for the good. Thus, low WTP may not indicate a low welfare effect for public projects in developing countries. We argue that in a setting where 1) there is imperfect substitutability between money and other measures of wealth (e.g. labor), and 2) institutions are perceived to be corrupt, including payment vehicles that are currently available to the individual and less pron to corruption may be needed to obtain valid welfare estimates. Otherwise, we risk underestimating the welfare benefit of projects. We demonstrate this through a rural household contingent valuation (CV) survey designed to elicit the value of access to reliable irrigation water in Ethiopia. Of the total average annual WTP for access to reliable irrigation service, cash contribution comprises only 24.41 %. The implication is that socially desirable projects might be rejected based on cost-benefit analysis as a result of welfare gain underestimation due to mismatch of payment vehicles choice in valuation study.


title: Frequency-dependent sensitivity of AC elastocaloric effect measurements explored through analytical and numerical models

abstract: We present a comprehensive study of the frequency-dependent sensitivity for measurements of the AC elastocaloric effect by applying both exactly soluble models and numerical methods to the oscillating heat flow problem. These models reproduce the finer details of the thermal transfer functions observed in experiments, considering here representative data for single-crystal Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$. Based on our results, we propose a set of practical guidelines for experimentalists using this technique. This work establishes a baseline against which the frequency response of the AC elastocaloric technique can be compared and provides intuitive explanations of the detailed structure observed in experiments.


title: A note on Lagrangian intersections and Legendrian Cobordism

abstract: Let $\Lambda, \Lambda'$ be a pair of closed Legendrian submanifolds in a closed contact manifold $(Y, \xi = Ker(\alpha))$ related by a Legendrian cobordism $W\subset (\mathbb{C}\times Y, \tilde{\xi}=Ker(-y dx +\alpha))$. In this note, we show that in the hypertight setting, if $\Lambda$ intersects a closed, weakly exact or monotone pre-Lagrangian $P\subset Y$ for reasons of Floer homology, then so does $\Lambda'$.


title: From Sets to Multisets: Provable Variational Inference for Probabilistic Integer Submodular Models

abstract: Submodular functions have been studied extensively in machine learning and data mining. In particular, the optimization of submodular functions over the integer lattice (integer submodular functions) has recently attracted much interest, because this domain relates naturally to many practical problem settings, such as multilabel graph cut, budget allocation and revenue maximization with discrete assignments. In contrast, the use of these functions for probabilistic modeling has received surprisingly little attention so far. In this work, we firstly propose the Generalized Multilinear Extension, a continuous DR-submodular extension for integer submodular functions. We study central properties of this extension and formulate a new probabilistic model which is defined through integer submodular functions. Then, we introduce a block-coordinate ascent algorithm to perform approximate inference for those class of models. Finally, we demonstrate its effectiveness and viability on several real-world social connection graph datasets with integer submodular objectives.


title: NEMA: Automatic Integration of Large Network Management Databases

abstract: Network management, whether for malfunction analysis, failure prediction, performance monitoring and improvement, generally involves large amounts of data from different sources. To effectively integrate and manage these sources, automatically finding semantic matches among their schemas or ontologies is crucial. Existing approaches on database matching mainly fall into two categories. One focuses on the schema-level matching based on schema properties such as field names, data types, constraints and schema structures. Network management databases contain massive tables (e.g., network products, incidents, security alert and logs) from different departments and groups with nonuniform field names and schema characteristics. It is not reliable to match them by those schema properties. The other category is based on the instance-level matching using general string similarity techniques, which are not applicable for the matching of large network management databases. In this paper, we develop a matching technique for large NEtwork MAnagement databases (NEMA) deploying instance-level matching for effective data integration and connection. We design matching metrics and scores for both numerical and non-numerical fields and propose algorithms for matching these fields. The effectiveness and efficiency of NEMA are evaluated by conducting experiments based on ground truth field pairs in large network management databases. Our measurement on large databases with 1,458 fields, each of which contains over 10 million records, reveals that the accuracies of NEMA are up to 95%. It achieves 2%-10% higher accuracy and 5x-14x speedup over baseline methods.


title: Conversions explicites entre des fonctions sommatoires de la fonction de M\"obius

abstract: By using exclusively real analysis, we give explicit estimates of some classical summatory functions involving the M\"obius function.


title: Algebraic Structure of the Varikon Box

abstract: The 15-Puzzle is a well studied permutation puzzle. This paper explores the group structure of a three-dimensional variant of the 15-Puzzle known as the Varikon Box, with the goal of providing a heuristic that would help a human solve it while minimizing the number of moves. First, we show by a parity argument which configurations of the puzzle are reachable. We define a generating set based on the three dimensions of movement, which generates a group that acts on the puzzle configurations, and we explore the structure of this group. Finally, we show a heuristic for solving the puzzle by writing an element of the symmetry group as a word in terms of a generating set, and we compute the shortest possible word for each puzzle configuration.


title: Linear dust polarization during the embedded phase of protostar formation

abstract: Measuring polarization from thermal dust emission can provide constraints on the magnetic field structure around embedded protostars. However, interpreting the observations is challenging without models that consistently account for both the complexity of the protostellar birth environment and polarization mechanisms. We aim to provide a better understanding with a focus on bridge-like structures such as that observed towards the protostellar multiple IRAS 16293--2422 by comparing synthetic polarization maps of thermal reemission with observations. We analyze the magnetic field properties associated with the formation of a protostellar multiple based on ideal MHD 3D zoom-in simulations carried out with the RAMSES code. To compare with observations, we post-process a snapshot of a bridge-like structure that is associated with a forming triple star system with the radiative transfer code POLARIS and produce multi-wavelength dust polarization maps. In the most prominent bridge of our sample, the typical density is about 10^(-16) g cm^(-3), and the magnetic field strength is about 1 to 2 mG. The magnetic field structure has an elongated toroidal morphology and the dust polarization maps trace the complex morphology. In contrast, the magnetic field strength associated with the launching of asymmetric bipolar outflows is significantly more magnetized (~100 mG). At {\lambda}=1.3 mm, the orientation of grains in the bridge is similar for the case accounting for radiative alignment torques (RATs) compared to perfect alignment with magnetic field lines. However, the polarization fraction in the bridge is three times smaller for the RAT scenario compared to assuming perfect alignment. At shorter wavelengths ({\lambda} < 200 {\mu}m), dust polarization does not trace the magnetic field because other effects such as self-scattering and dichroic extinction dominate the orientation of the polarization.


title: Identification Risks Evaluation of Partially Synthetic Data with the $\texttt{IdentificationRiskCalculation}$ R Package

abstract: We extend a general approach to evaluating identification risk of synthesized variables in partially synthetic data. For multiple continuous synthesized variables, we introduce the use of a radius $r$ in the construction of identification risk probability of each target record, and illustrate with working examples. We create the $\texttt{IdentificationRiskCalculation}$ R package to aid researchers and data disseminators in performing these identification risks evaluation calculations. We demonstrate our methods through the R package with applications to a data sample from the Consumer Expenditure Surveys, and discuss the impacts on risk and data utility of 1) the choice of radius $r$, 2) the choice of synthesized variables, and 3) the choice of number of synthetic datasets. We give recommendations for statistical agencies for synthesizing and evaluating identification risk of continuous variables.


title: PrVO$_4$ under High Pressure: Effects on Structural, Optical and Electrical Properties

abstract: In pursue of a systematic characterization of rare-earth vanadates under compression, in this work we present a multifaceted study of the phase behavior of zircon-type orthovanadate PrVO$_4$ under high pressure conditions, up until 24 GPa. We have found that PrVO$_4$ undergoes a zircon to monazite transition at around 6 GPa, confirming previous results found by Raman experiments. A second transition takes place above 14 GPa, to a BaWO$_4$-I--type structure. The zircon to monazite structural sequence is an irreversible first-order transition, accompanied by a volume collapse of about 9.6%. Monazite phase is thus a metastable polymorph of PrVO$_4$. The monazite-BaWO$_4$-II transition is found to be reversible instead and occurs with a similar volume change. Here we report and discuss the axial and bulk compressibility of all phases. We also compare our results with those for other rare-earth orthovanadates. Finally, by means of optical-absorption experiments and resistivity measurements we determined the effect of pressure on the electronic properties of PrVO$_4$. We found that the zircon-monazite transition produces a collapse of the band gap and an abrupt decrease of the resistivity. The physical reasons for this behavior are discussed. Density-functional-theory simulations support our conclusions.


title: DarKnight: A Data Privacy Scheme for Training and Inference of Deep Neural Networks

abstract: Protecting the privacy of input data is of growing importance as machine learning methods reach new application domains. In this paper, we provide a unified training and inference framework for large DNNs while protecting input privacy and computation integrity. Our approach called DarKnight uses a novel data blinding strategy using matrix masking to create input obfuscation within a trusted execution environment (TEE). Our rigorous mathematical proof demonstrates that our blinding process provides information-theoretic privacy guarantee by bounding information leakage. The obfuscated data can then be offloaded to any GPU for accelerating linear operations on blinded data. The results from linear operations on blinded data are decoded before performing non-linear operations within the TEE. This cooperative execution allows DarKnight to exploit the computational power of GPUs to perform linear operations while exploiting TEEs to protect input privacy. We implement DarKnight on an Intel SGX TEE augmented with a GPU to evaluate its performance.


title: Graph Unrolling Networks: Interpretable Neural Networks for Graph Signal Denoising

abstract: We propose an interpretable graph neural network framework to denoise single or multiple noisy graph signals. The proposed graph unrolling networks expand algorithm unrolling to the graph domain and provide an interpretation of the architecture design from a signal processing perspective. We unroll an iterative denoising algorithm by mapping each iteration into a single network layer where the feed-forward process is equivalent to iteratively denoising graph signals. We train the graph unrolling networks through unsupervised learning, where the input noisy graph signals are used to supervise the networks. By leveraging the learning ability of neural networks, we adaptively capture appropriate priors from input noisy graph signals, instead of manually choosing signal priors. A core component of graph unrolling networks is the edge-weight-sharing graph convolution operation, which parameterizes each edge weight by a trainable kernel function where the trainable parameters are shared by all the edges. The proposed convolution is permutation-equivariant and can flexibly adjust the edge weights to various graph signals. We then consider two special cases of this class of networks, graph unrolling sparse coding (GUSC) and graph unrolling trend filtering (GUTF), by unrolling sparse coding and trend filtering, respectively. To validate the proposed methods, we conduct extensive experiments on both real-world datasets and simulated datasets, and demonstrate that our methods have smaller denoising errors than conventional denoising algorithms and state-of-the-art graph neural networks. For denoising a single smooth graph signal, the normalized mean square error of the proposed networks is around 40% and 60% lower than that of graph Laplacian denoising and graph wavelets, respectively.


title: Precision mass measurements of neutron-rich scandium isotopes refine the evolution of $N=32$ and $N=34$ shell closures

abstract: We report high-precision mass measurements of $^{50-55}$Sc isotopes performed at the LEBIT facility at NSCL and at the TITAN facility at TRIUMF. Our results provide a substantial reduction of their uncertainties and indicate significant deviations, up to 0.7 MeV, from the previously recommended mass values for $^{53-55}$Sc. The results of this work provide an important update to the description of emerging closed-shell phenomena at neutron numbers $N=32$ and $N=34$ above proton-magic $Z=20$. In particular, they finally enable a complete and precise characterization of the trends in ground state binding energies along the $N=32$ isotone, confirming that the empirical neutron shell gap energies peak at the doubly-magic $^{52}$Ca. Moreover, our data, combined with other recent measurements, does not support the existence of closed neutron shell in $^{55}$Sc at $N=34$. The results were compared to predictions from both \emph{ab initio} and phenomenological nuclear theories, which all had success describing $N=32$ neutron shell gap energies but were highly disparate in the description of the $N=34$ isotone.


title: Cancellations in the degree of the colored Jones polynomial

abstract: We give an alternate expansion of the colored Jones polynomial of pretzel links which recovers the degree formula in arXiv:1807.00957. As an application, we determine the degrees of the colored Jones polynomials of a new family of 3-tangle pretzel knots.


title: Rethinking Empirical Evaluation of Adversarial Robustness Using First-Order Attack Methods

abstract: We identify three common cases that lead to overestimation of adversarial accuracy against bounded first-order attack methods, which is popularly used as a proxy for adversarial robustness in empirical studies. For each case, we propose compensation methods that either address sources of inaccurate gradient computation, such as numerical instability near zero and non-differentiability, or reduce the total number of back-propagations for iterative attacks by approximating second-order information. These compensation methods can be combined with existing attack methods for a more precise empirical evaluation metric. We illustrate the impact of these three cases with examples of practical interest, such as benchmarking model capacity and regularization techniques for robustness. Overall, our work shows that overestimated adversarial accuracy that is not indicative of robustness is prevalent even for conventionally trained deep neural networks, and highlights cautions of using empirical evaluation without guaranteed bounds.


title: Odd Periodic Waves for some Klein-Gordon Type Equations: Existence and Stability

abstract: In this paper, we establish the existence and stability properties of odd periodic waves related to the Klein-Gordon type equations, which include the well known $\phi^4$ and $\phi^6$ models. Existence of periodic waves is determined by using a general planar theory of ODE. The spectral analysis for the corresponding linearized operator is established using the monotonicity of the period map combined with an improvement of the standard Floquet theory. Orbital stability in the odd sector of the energy space is proved using exclusively the monotonicity of the period map. The orbital instability of explicit solutions for the $\phi^4$ and $\phi^6$ models is presented using the abstract approach in \cite{grillakis1}.


title: Optical Atomic Clock Comparison through Turbulent Air

abstract: We use frequency comb-based optical two-way time-frequency transfer (O-TWTFT) to measure the optical frequency ratio of state-of-the-art ytterbium and strontium optical atomic clocks separated by a 1.5 km open-air link. Our free-space measurement is compared to a simultaneous measurement acquired via a noise-cancelled fiber link. Despite non-stationary, ps-level time-of-flight variations in the free-space link, ratio measurements obtained from the two links, averaged over 30.5 hours across six days, agree to $6\times10^{-19}$, showing that O-TWTFT can support free-space atomic clock comparisons below the $10^{-18}$ level.


title: Application of Blockchain and Internet of Things to Ensure Tamper-Proof Data Availability for Food Safety

abstract: Food supply chain plays a vital role in human health and food prices. Food supply chain inefficiencies in terms of unfair competition and lack of regulations directly affect the quality of human life and increase food safety risks. This work merges Hyperledger Fabric, an enterprise-ready blockchain platform with existing conventional infrastructure, to trace a food package from farm to fork using an identity unique for each food package while keeping it uncomplicated. It keeps the records of business transactions that are secured and accessible to stakeholders according to the agreed set of policies and rules without involving any centralized authority. This paper focuses on exploring and building an uncomplicated, low-cost solution to quickly link the existing food industry at different geographical locations in a chain to track and trace the food in the market.


title: Extinction behaviour for the fast diffusion equations with critical exponent and Dirichlet boundary conditions

abstract: For a smooth bounded domain $\Omega\subseteq\mathbb{R}^n$, $n\geq 3$, we consider the fast diffusion equation with critical sobolev exponent $$\frac{\partial w}{\partial\tau} =\Delta w^{\frac{n-2}{n+2}}$$ under Dirichlet boundary condition $w(\cdot, \tau) = 0$ on $\partial\Omega$. Using the parabolic gluing method, we prove existence of an initial data $w_0$ such that the corresponding solution has extinction rate of the form $$\|w(\cdot, \tau)\|_{L^\infty(\Omega)} = \gamma_0(T-\tau)^{\frac{n+2}{4}}\left|\ln(T-\tau)\right|^{\frac{n+2}{2(n-2)}}(1+o(1))$$ as $t\to T^-$, here $T > 0$ is the finite extinction time of $w(x, \tau)$. This generalizes and provides rigorous proof of a result of Galaktionov and King \cite{galaktionov2001fast} for the radially symmetric case $\Omega =B_1(0) : = \{x\in \mathbb{R}^n||x| < 1\}\subset\mathbb{R}^n$.


title: On the Least counterexample to Robin hypothesis

abstract: Let $G(n)=\sigma (n)/(n \log \log n )$. Robin made hypothesis that $G(n)<e^\gamma$ for all integer $n>5040$. If Robin hypothesis fails, there will be a least counterexample. This article collects the requirements the least counterexample should satisfy.


title: Eye Movements Biometrics: A Bibliometric Analysis from 2004 to 2019

abstract: Person identification based on eye movements is getting more and more attention, as it is anti-spoofing resistant and can be useful for continuous authentication. Therefore, it is noteworthy for researchers to know who and what is relevant in the field, including authors, journals, conferences, and institutions. This paper presents a comprehensive quantitative overview of the field of eye movement biometrics using a bibliometric approach. All data and analyses are based on documents written in English published between 2004 and 2019. Scopus was used to perform information retrieval. This research focused on temporal evolution, leading authors, most cited papers, leading journals, competitions and collaboration networks.


title: Self-stabilizing Algorithm for Minimal $\alpha$-Dominating Set

abstract: A self-stabilizing algorithm for the minimal $\alpha$-dominating set is proposed in this paper. The $\alpha$-domination parameter has not used before in self-stabilization paradigm. Using an arbitrary graph with $n$ nodes and $m$ edges, the proposed algorithm converges in $O(nm)$ moves under distributed daemon. Simulation tests and mathematical proofs show the efficiency of the algorithm.


title: Vortex stretching and enstrophy production in high Reynolds number turbulence

abstract: An essential ingredient of turbulent flows is the vortex stretching mechanism, which emanates from the non-linear interaction of vorticity and strain-rate tensor and leads to formation of extreme events. We analyze the statistical correlations between vorticity and strain rate by using a massive database generated from very well resolved direct numerical simulations of forced isotropic turbulence in periodic domains. The grid resolution is up to $12288^3$, and the Taylor-scale Reynolds number is in the range $140-1300$. In order to understand the formation and structure of extreme vorticity fluctuations, we obtain statistics conditioned on enstrophy (vorticity-squared). The magnitude of strain, as well as its eigenvalues, is approximately constant when conditioned on weak enstrophy; whereas they grow approximately as power laws for strong enstrophy, which become steeper with increasing $R_\lambda$. We find that the well-known preferential alignment between vorticity and the intermediate eigenvector of strain tensor is even stronger for large enstrophy, whereas vorticity shows a tendency to be weakly orthogonal to the most extensive eigenvector (for large enstrophy). Yet the dominant contribution to the production of large enstrophy events arises from the most extensive eigendirection, the more so as $R_\lambda$ increases. Nevertheless, the stretching in intense vorticity regions is significantly depleted, consistent with the kinematic properties of weakly-curved tubes in which they are organized. Further analysis reveals that intense enstrophy is primarily depleted via viscous diffusion, though viscous dissipation is also significant. Implications for modeling are nominally addressed as appropriate.


title: Detecting out-of-time-order correlations via quasi-adiabatic echoes as a tool to reveal quantum coherence in equilibrium quantum phase transitions

abstract: We propose a new dynamical method to connect equilibrium quantum phase transitions and quantum coherence using out-of-time-order correlations (OTOCs). Adopting the iconic Lipkin-Meshkov-Glick and transverse-field Ising models as illustrative examples, we show that an abrupt change in coherence and entanglement of the ground state across a quantum phase transition is observable in the spectrum of multiple quantum coherence (MQC) intensities, which are a special type of OTOC. We also develop a robust protocol to obtain the relevant OTOCs using quasi-adiabatic quenches through the ground state phase diagram. Our scheme allows for the detection of OTOCs without time-reversal of coherent dynamics, making it applicable and important for a broad range of current experiments where time-reversal cannot be achieved by inverting the sign of the underlying Hamiltonian.


title: Geometric interpretation of toroidal compactifications of moduli of points in the line and cubic surfaces

abstract: It is known that some GIT compactifications associated to moduli spaces of either points in the projective line or cubic surfaces are isomorphic to Baily-Borel compactifications of appropriate ball quotients. In this paper, we show that their respective toroidal compactifications are isomorphic to moduli spaces of stable pairs as defined in the context of the MMP. Moreover, we give a precise mixed-Hodge-theoretic interpretation of this isomorphism for the case of eight labeled points in the projective line.