title: Towards Occlusion-Aware Multifocal Displays

abstract: The human visual system uses numerous cues for depth perception, including disparity, accommodation, motion parallax and occlusion. It is incumbent upon virtual-reality displays to satisfy these cues to provide an immersive user experience. Multifocal displays, one of the classic approaches to satisfy the accommodation cue, place virtual content at multiple focal planes, each at a di erent depth. However, the content on focal planes close to the eye do not occlude those farther away; this deteriorates the occlusion cue as well as reduces contrast at depth discontinuities due to leakage of the defocus blur. This paper enables occlusion-aware multifocal displays using a novel ConeTilt operator that provides an additional degree of freedom -- tilting the light cone emitted at each pixel of the display panel. We show that, for scenes with relatively simple occlusion con gurations, tilting the light cones provides the same e ect as physical occlusion. We demonstrate that ConeTilt can be easily implemented by a phase-only spatial light modulator. Using a lab prototype, we show results that demonstrate the presence of occlusion cues and the increased contrast of the display at depth edges.


title: Online Learning and Optimization for Revenue Management Problems with Add-on Discounts

abstract: We study in this paper a revenue management problem with add-on discounts. The problem is motivated by the practice in the video game industry, where a retailer offers discounts on selected supportive products (e.g. video games) to customers who have also purchased the core products (e.g. video game consoles). We formulate this problem as an optimization problem to determine the prices of different products and the selection of products with add-on discounts. To overcome the computational challenge of this optimization problem, we propose an efficient FPTAS algorithm that can solve the problem approximately to any desired accuracy. Moreover, we consider the revenue management problem in the setting where the retailer has no prior knowledge of the demand functions of different products. To resolve this problem, we propose a UCB-based learning algorithm that uses the FPTAS optimization algorithm as a subroutine. We show that our learning algorithm can converge to the optimal algorithm that has access to the true demand functions, and we prove that the convergence rate is tight up to a certain logarithmic term. In addition, we conduct numerical experiments with the real-world transaction data we collect from a popular video gaming brand's online store on Tmall.com. The experiment results illustrate our learning algorithm's robust performance and fast convergence in various scenarios. We also compare our algorithm with the optimal policy that does not use any add-on discount, and the results show the advantages of using the add-on discount strategy in practice.


title: Optimal Detection Interval for Absorbing Receivers in Molecular Communication Systems with Interference

abstract: We consider a molecular communication system comprised of a transmitter, an absorbing receiver, and an interference source. Assuming amplitude modulation, we analyze the dependence of the bit error rate (BER) on the detection interval, which is the time within one transmission symbol interval during which the receiver is active to absorb and detect the number of information-carrying molecules. We then propose efficient algorithms to determine the optimal detection interval that minimizes the BER of the molecular communication system assuming no inter-symbol interference (ISI). Simulation and numerical evaluations are provided to highlight further insights into the optimal results. For example, we demonstrate that the optimal detection interval can be very small compared to the transmission symbol interval. Moreover, our numerical results show that significant BER improvements are achieved by using the optimal detection interval for systems without and with ISI.


title: GeantV: Results from the prototype of concurrent vector particle transport simulation in HEP

abstract: Full detector simulation was among the largest CPU consumer in all CERN experiment software stacks for the first two runs of the Large Hadron Collider (LHC). In the early 2010's, the projections were that simulation demands would scale linearly with luminosity increase, compensated only partially by an increase of computing resources. The extension of fast simulation approaches to more use cases, covering a larger fraction of the simulation budget, is only part of the solution due to intrinsic precision limitations. The remainder corresponds to speeding-up the simulation software by several factors, which is out of reach using simple optimizations on the current code base. In this context, the GeantV R&D project was launched, aiming to redesign the legacy particle transport codes in order to make them benefit from fine-grained parallelism features such as vectorization, but also from increased code and data locality. This paper presents extensively the results and achievements of this R&D, as well as the conclusions and lessons learnt from the beta prototype.


title: Extracting Entities and Topics from News and Connecting Criminal Records

abstract: The goal of this paper is to summarize methodologies used in extracting entities and topics from a database of criminal records and from a database of newspapers. Statistical models had successfully been used in studying the topics of roughly 300,000 New York Times articles. In addition, these models had also been used to successfully analyze entities related to people, organizations, and places (D Newman, 2006). Additionally, analytical approaches, especially in hotspot mapping, were used in some researches with an aim to predict crime locations and circumstances in the future, and those approaches had been tested quite successfully (S Chainey, 2008). Based on the two above notions, this research was performed with the intention to apply data science techniques in analyzing a big amount of data, selecting valuable intelligence, clustering violations depending on their types of crime, and creating a crime graph that changes through time. In this research, the task was to download criminal datasets from Kaggle and a collection of news articles from Kaggle and EAGER project databases, and then to merge these datasets into one general dataset. The most important goal of this project was performing statistical and natural language processing methods to extract entities and topics as well as to group similar data points into correct clusters, in order to understand public data about U.S related crimes better.


title: Machine learning enabled surrogate crystal plasticity model for spatially resolved 3D orientation evolution under uniaxial tension

abstract: We present a novel machine learning based surrogate modeling method for predicting spatially resolved 3D microstructure evolution of polycrystalline materials under uniaxial tensile loading. Our approach is orders of magnitude faster than the existing crystal plasticity methods enabling the simulation of large volumes that would be otherwise computationally prohibitive. This work is a major step beyond existing ML-based modeling results, which have been limited to either 2D structures or only providing average, rather than local, predictions. We demonstrate the speed and accuracy of our surrogate model approach on experimentally measured microstructure from high-energy X-ray diffraction microscopy of a face-centered cubic copper sample, undergoing tensile deformation.


title: A Linear Mixed Model Formulation for Spatio-Temporal Random Processes with Computational Advances for the Separable and Product-Sum Covariances

abstract: We describe spatio-temporal random processes using linear mixed models. We show how many commonly used models can be viewed as special cases of this general framework and pay close attention to models with separable or product-sum covariances. The proposed linear mixed model formulation facilitates the implementation of a novel algorithm using Stegle eigendecompositions, a recursive application of the Sherman-Morrison-Woodbury formula, and Helmert-Wolf blocking to efficiently invert separable and product-sum covariance matrices, even when every spatial location is not observed at every time point. We show our algorithm provides noticeable improvements over the standard Cholesky decomposition approach. Via simulations, we assess the performance of the separable and product-sum covariances and identify scenarios where separable covariances are noticeably inferior to product-sum covariances. We also compare likelihood-based and semivariogram-based estimation and discuss benefits and drawbacks of both. We use the proposed approach to analyze daily maximum temperature data in Oregon, USA, during the 2019 summer. We end by offering guidelines for choosing among these covariances and estimation methods based on properties of observed data.


title: Deep Generative Adversarial Residual Convolutional Networks for Real-World Super-Resolution

abstract: Most current deep learning based single image super-resolution (SISR) methods focus on designing deeper / wider models to learn the non-linear mapping between low-resolution (LR) inputs and the high-resolution (HR) outputs from a large number of paired (LR/HR) training data. They usually take as assumption that the LR image is a bicubic down-sampled version of the HR image. However, such degradation process is not available in real-world settings i.e. inherent sensor noise, stochastic noise, compression artifacts, possible mismatch between image degradation process and camera device. It reduces significantly the performance of current SISR methods due to real-world image corruptions. To address these problems, we propose a deep Super-Resolution Residual Convolutional Generative Adversarial Network (SRResCGAN) to follow the real-world degradation settings by adversarial training the model with pixel-wise supervision in the HR domain from its generated LR counterpart. The proposed network exploits the residual learning by minimizing the energy-based objective function with powerful image regularization and convex optimization techniques. We demonstrate our proposed approach in quantitative and qualitative experiments that generalize robustly to real input and it is easy to deploy for other down-scaling operators and mobile/embedded devices.


title: Open Set Wireless Transmitter Authorization: Deep Learning Approaches and Dataset Considerations

abstract: Due to imperfections in transmitters' hardware, wireless signals can be used to verify their identity in an authorization system. While deep learning was proposed for transmitter identification, the majority of the work has focused on classification among a closed set of transmitters. Malicious transmitters outside this closed set will be misclassified, jeopardizing the authorization system. In this paper, we consider the problem of recognizing authorized transmitters and rejecting new transmitters. To address this problem, we adapt the most prominent approaches from the open set recognition and anomaly detection literature to the problem. We study how these approaches scale with the required number of authorized transmitters. We propose using a known set of unauthorized transmitters to assist the training and study its impact. The evaluation procedure takes into consideration that some transmitters might be more similar than others and nuances these effects. The robustness of the RF authorization with respect to temporal changes in fingerprints is also considered in the evaluation. When using 10 authorized and 50 known unauthorized WiFi transmitters from a publicly accessible testbed, we were able to achieve an outlier detection accuracy of 98% on the same day test set and 80% on the different day test set.


title: How Can We Accelerate Progress Towards Human-like Linguistic Generalization?

abstract: This position paper describes and critiques the Pretraining-Agnostic Identically Distributed (PAID) evaluation paradigm, which has become a central tool for measuring progress in natural language understanding. This paradigm consists of three stages: (1) pre-training of a word prediction model on a corpus of arbitrary size; (2) fine-tuning (transfer learning) on a training set representing a classification task; (3) evaluation on a test set drawn from the same distribution as that training set. This paradigm favors simple, low-bias architectures, which, first, can be scaled to process vast amounts of data, and second, can capture the fine-grained statistical properties of a particular data set, regardless of whether those properties are likely to generalize to examples of the task outside the data set. This contrasts with humans, who learn language from several orders of magnitude less data than the systems favored by this evaluation paradigm, and generalize to new tasks in a consistent way. We advocate for supplementing or replacing PAID with paradigms that reward architectures that generalize as quickly and robustly as humans.


title: Bootstrapping Techniques for Polysynthetic Morphological Analysis

abstract: Polysynthetic languages have exceptionally large and sparse vocabularies, thanks to the number of morpheme slots and combinations in a word. This complexity, together with a general scarcity of written data, poses a challenge to the development of natural language technologies. To address this challenge, we offer linguistically-informed approaches for bootstrapping a neural morphological analyzer, and demonstrate its application to Kunwinjku, a polysynthetic Australian language. We generate data from a finite state transducer to train an encoder-decoder model. We improve the model by "hallucinating" missing linguistic structure into the training data, and by resampling from a Zipf distribution to simulate a more natural distribution of morphemes. The best model accounts for all instances of reduplication in the test set and achieves an accuracy of 94.7% overall, a 10 percentage point improvement over the FST baseline. This process demonstrates the feasibility of bootstrapping a neural morph analyzer from minimal resources.


title: Optimization in First-Passage Resetting

abstract: We investigate classic diffusion with the added feature that a diffusing particle is reset to its starting point each time the particle reaches a specified threshold. In an infinite domain, this process is non-stationary and its probability distribution exhibits rich features. In a finite domain, we define a non-trivial optimization in which a cost is incurred whenever the particle is reset and a reward is obtained while the particle stays near the reset point. We derive the condition to optimize the net gain in this system, namely, the reward minus the cost.


title: Intervalley quantum interference and measurement of Berry phase in bilayer graphene

abstract: Chiral quasiparticles in Bernal-stacked bilayer graphene have valley-contrasting Berry phases of 2{\pi}. This nontrival topological structure, associated with the pseudospin winding along a closed Fermi surface, is responsible for various novel electronic properties, such as anti-Klein tunneling, unconventional quantum Hall effect, and valley Hall effect1-6. Here we show that the quantum interference due to intervalley scattering induced by atomic defects/impurities provides further insights into the topological nature of the bilayer graphene. The scattered chiral quasiparticles between distinct valleys with opposite chirality undergoes a rotation of pseudospin that results in the Friedel oscillation with wavefront dislocations. The number of dislocations reflects the information about pseudospin texture and hence can be used to measure the Berry phase7. As demonstrated both experimentally and theoretically, the Friedel oscillation, depending on the atomic defect/impurity at different sublattices, can exhibit N = 4, 2, or 0 additional wavefronts, characterizing the 2{\pi} Berry phase of the bilayer graphene. Our results not only provide a comprehensive study of the intervalley quantum interference in bilayer graphene, but also shed lights on the pseudospin physics.


title: On the Convergence Rate of Projected Gradient Descent for a Back-Projection based Objective

abstract: Ill-posed linear inverse problems appear in many scientific setups, and are typically addressed by solving optimization problems, which are composed of data fidelity and prior terms. Recently, several works have considered a back-projection (BP) based fidelity term as an alternative to the common least squares (LS), and demonstrated excellent results for popular inverse problems. These works have also empirically shown that using the BP term, rather than the LS term, requires fewer iterations of optimization algorithms. In this paper, we examine the convergence rate of the projected gradient descent (PGD) algorithm for the BP objective. Our analysis allows to identify an inherent source for its faster convergence compared to using the LS objective, while making only mild assumptions. We also analyze the more general proximal gradient method under a relaxed contraction condition on the proximal mapping of the prior. This analysis further highlights the advantage of BP when the linear measurement operator is badly conditioned. Numerical experiments with both $\ell_1$-norm and GAN-based priors corroborate our theoretical results.

categories: math.OC cs.CV cs.LG cs.NA math.NA stat.ML


title: Orbital Stabilization of Underactuated Systems using Virtual Holonomic Constraints and Impulse Controlled Poincare Maps

abstract: The problem of orbital stabilization of underactuated mechanical systems with one passive degree-of-freedom (DOF) is revisited. Virtual holonomic constraints are enforced using a continuous controller; this results in a dense set of closed orbits on a constraint manifold. A desired orbit is selected on the manifold and a Poincare section is constructed at a fixed point on the orbit. The corresponding Poincare map is linearized about the fixed point; this results in a discrete linear time-invariant system. To stabilize the desired orbit, impulsive inputs are applied when the system trajectory crosses the Poincare section; these inputs can be designed using standard techniques such as LQR. The Impulse Controlled Poincare Map (ICPM) based control design has lower complexity and computational cost than control designs proposed earlier. The generality of the ICPM approach is demonstrated using the 2-DOF cart-pendulum and the 3-DOF tiptoebot.


title: Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning

abstract: Recent success of Bayesian methods in neuroscience and artificial intelligence gives rise to the hypothesis that the brain is a Bayesian machine. Since logic, as the laws of thought, is a product and practice of the human brain, it leads to another hypothesis that there is a Bayesian algorithm and data-structure for logical reasoning. In this paper, we give a Bayesian account of entailment and characterize its abstract inferential properties. The Bayesian entailment is shown to be a monotonic consequence relation in an extreme case. In general, it is a sort of non-monotonic consequence relation without Cautious monotony or Cut. The preferential entailment, which is a representative non-monotonic consequence relation, is shown to be maximum a posteriori entailment, which is an approximation of the Bayesian entailment. We finally discuss merits of our proposals in terms of encoding preferences on defaults, handling change and contradiction, and modeling human entailment.


title: Gender Gap in Natural Language Processing Research: Disparities in Authorship and Citations

abstract: Disparities in authorship and citations across gender can have substantial adverse consequences not just on the disadvantaged genders, but also on the field of study as a whole. Measuring gender gaps is a crucial step towards addressing them. In this work, we examine female first author percentages and the citations to their papers in Natural Language Processing (1965 to 2019). We determine aggregate-level statistics using an existing manually curated author--gender list as well as first names strongly associated with a gender. We find that only about 29% of first authors are female and only about 25% of last authors are female. Notably, this percentage has not improved since the mid 2000s. We also show that, on average, female first authors are cited less than male first authors, even when controlling for experience and area of research. Finally, we discuss the ethical considerations involved in automatic demographic analysis.


title: On the Inference Calibration of Neural Machine Translation

abstract: Confidence calibration, which aims to make model predictions equal to the true correctness measures, is important for neural machine translation (NMT) because it is able to offer useful indicators of translation errors in the generated output. While prior studies have shown that NMT models trained with label smoothing are well-calibrated on the ground-truth training data, we find that miscalibration still remains a severe challenge for NMT during inference due to the discrepancy between training and inference. By carefully designing experiments on three language pairs, our work provides in-depth analyses of the correlation between calibration and translation performance as well as linguistic properties of miscalibration and reports a number of interesting findings that might help humans better analyze, understand and improve NMT models. Based on these observations, we further propose a new graduated label smoothing method that can improve both inference calibration and translation performance.


title: Efficient Power System Transient Simulation Based on Frequency Response Optimized Integrators Considering Second Order Derivative

abstract: Frequency response optimized integrators considering second order derivative are proposed in this paper. Based on the proposed numerical integrators, and others which also consider second order derivative, this paper puts forward a novel power system transient simulation scheme. Instead of using a unique numerical integrator, the proposed simulation scheme chooses proper ones according to the dominant frequency component of the differential state variables. With the proposed simulation scheme, computational efficiency is improved by using large step sizes without sacrificing accuracy. Numerical case studies demonstrate the validity and efficiency of the simulation scheme.


title: Double-Hard Debias: Tailoring Word Embeddings for Gender Bias Mitigation

abstract: Word embeddings derived from human-generated corpora inherit strong gender bias which can be further amplified by downstream models. Some commonly adopted debiasing approaches, including the seminal Hard Debias algorithm, apply post-processing procedures that project pre-trained word embeddings into a subspace orthogonal to an inferred gender subspace. We discover that semantic-agnostic corpus regularities such as word frequency captured by the word embeddings negatively impact the performance of these algorithms. We propose a simple but effective technique, Double Hard Debias, which purifies the word embeddings against such corpus regularities prior to inferring and removing the gender subspace. Experiments on three bias mitigation benchmarks show that our approach preserves the distributional semantics of the pre-trained word embeddings while reducing gender bias to a significantly larger degree than prior approaches.


title: Boundary-aware Context Neural Network for Medical Image Segmentation

abstract: Medical image segmentation can provide a reliable basis for further clinical analysis and disease diagnosis. The performance of medical image segmentation has been significantly advanced with the convolutional neural networks (CNNs). However, most existing CNNs-based methods often produce unsatisfactory segmentation mask without accurate object boundaries. This is caused by the limited context information and inadequate discriminative feature maps after consecutive pooling and convolution operations. In that the medical image is characterized by the high intra-class variation, inter-class indistinction and noise, extracting powerful context and aggregating discriminative features for fine-grained segmentation are still challenging today. In this paper, we formulate a boundary-aware context neural network (BA-Net) for 2D medical image segmentation to capture richer context and preserve fine spatial information. BA-Net adopts encoder-decoder architecture. In each stage of encoder network, pyramid edge extraction module is proposed for obtaining edge information with multiple granularities firstly. Then we design a mini multi-task learning module for jointly learning to segment object masks and detect lesion boundaries. In particular, a new interactive attention is proposed to bridge two tasks for achieving information complementarity between different tasks, which effectively leverages the boundary information for offering a strong cue to better segmentation prediction. At last, a cross feature fusion module aims to selectively aggregate multi-level features from the whole encoder network. By cascaded three modules, richer context and fine-grain features of each stage are encoded. Extensive experiments on five datasets show that the proposed BA-Net outperforms state-of-the-art approaches.


title: A Machine Learning Based Framework for Code Clone Validation

abstract: A code clone is a pair of code fragments, within or between software systems that are similar. Since code clones often negatively impact the maintainability of a software system, several code clone detection techniques and tools have been proposed and studied over the last decade. To detect all possible similar source code patterns in general, the clone detection tools work on the syntax level while lacking user-specific preferences. This often means the clones must be manually inspected before analysis in order to remove those false positives from consideration. This manual clone validation effort is very time-consuming and often error-prone, in particular for large-scale clone detection. In this paper, we propose a machine learning approach for automating the validation process. Our machine learning-based approach is used to automatically validate clones without human inspection. Thus the proposed approach can be used to remove the false positive clones from the detection results, automatically evaluate the precision of any clone detectors for any given set of datasets, evaluate existing clone benchmark datasets, or even be used to build new clone benchmarks and datasets with minimum effort. In an experiment with clones detected by several clone detectors in several different software systems, we found our approach has an accuracy of up to 87.4% when compared against the manual validation by multiple expert judges. The proposed method also shows better results in several comparative studies with the existing related approaches for clone classification.


title: Millimeter-Wave Beam Search with Iterative Deactivation and Beam Shifting

abstract: Millimeter Wave (mmWave) communications rely on highly directional beams to combat severe propagation loss. In this paper, an adaptive beam search algorithm based on spatial scanning, called Iterative Deactivation and Beam Shifting (IDBS), is proposed for mmWave beam alignment. IDBS does not require advance information such as the Signal-to-Noise Ratio (SNR) and channel statistics, and matches the training overhead to the unknown SNR to achieve satisfactory performance. The algorithm works by gradually deactivating beams using a Bayesian probability criterion based on a uniform improper prior, where beam deactivation can be implemented with low-complexity operations that require computing a low-degree polynomial or a search through a look-up table. Numerical results confirm that IDBS adapts to different propagation scenarios such as line-of-sight and non-line-of-sight and to different SNRs. It can achieve better tradeoffs between training overhead and beam alignment accuracy than existing non-adaptive algorithms that have fixed training overheads.


title: Towards Faithful Neural Table-to-Text Generation with Content-Matching Constraints

abstract: Text generation from a knowledge base aims to translate knowledge triples to natural language descriptions. Most existing methods ignore the faithfulness between a generated text description and the original table, leading to generated information that goes beyond the content of the table. In this paper, for the first time, we propose a novel Transformer-based generation framework to achieve the goal. The core techniques in our method to enforce faithfulness include a new table-text optimal-transport matching loss and a table-text embedding similarity loss based on the Transformer model. Furthermore, to evaluate faithfulness, we propose a new automatic metric specialized to the table-to-text generation problem. We also provide detailed analysis on each component of our model in our experiments. Automatic and human evaluations show that our framework can significantly outperform state-of-the-art by a large margin.


title: Unsupervised Morphological Paradigm Completion

abstract: We propose the task of unsupervised morphological paradigm completion. Given only raw text and a lemma list, the task consists of generating the morphological paradigms, i.e., all inflected forms, of the lemmas. From a natural language processing (NLP) perspective, this is a challenging unsupervised task, and high-performing systems have the potential to improve tools for low-resource languages or to assist linguistic annotators. From a cognitive science perspective, this can shed light on how children acquire morphological knowledge. We further introduce a system for the task, which generates morphological paradigms via the following steps: (i) EDIT TREE retrieval, (ii) additional lemma retrieval, (iii) paradigm size discovery, and (iv) inflection generation. We perform an evaluation on 14 typologically diverse languages. Our system outperforms trivial baselines with ease and, for some languages, even obtains a higher accuracy than minimally supervised systems.


title: Bootstrapping a Powerful Mixed Portmanteau Test for Time Series

abstract: A new portmanteau test statistic is proposed for detecting nonlinearity in time series data. In this paper, we elaborate on the Toeplitz autocorrelation matrix to the autocorrelation and cross-correlation of residuals and squared residuals block matrix. We derive a new portmanteau test statistic using the log of the determinant of the mth autocorrelations and cross-correlations block matrix. The asymptotic distribution of the proposed test statistic is derived as a linear combination of chi-squared distributions and can be approximated by a gamma distribution. This test is applied to identify the linearity and nonlinearity dependency of some stationary time series models. It is shown that the convergence of the new test to its asymptotic distribution is reasonable with higher power than other tests in many situations. We demonstrate the efficiency of the proposed test by investigating linear and nonlinear effects in Vodafone Qatar and Nikkei-300 daily returns.


title: Repairing Deep Neural Networks: Fix Patterns and Challenges

abstract: Significant interest in applying Deep Neural Network (DNN) has fueled the need to support engineering of software that uses DNNs. Repairing software that uses DNNs is one such unmistakable SE need where automated tools could be beneficial; however, we do not fully understand challenges to repairing and patterns that are utilized when manually repairing DNNs. What challenges should automated repair tools address? What are the repair patterns whose automation could help developers? Which repair patterns should be assigned a higher priority for building automated bug repair tools? This work presents a comprehensive study of bug fix patterns to address these questions. We have studied 415 repairs from Stack overflow and 555 repairs from Github for five popular deep learning libraries Caffe, Keras, Tensorflow, Theano, and Torch to understand challenges in repairs and bug repair patterns. Our key findings reveal that DNN bug fix patterns are distinctive compared to traditional bug fix patterns; the most common bug fix patterns are fixing data dimension and neural network connectivity; DNN bug fixes have the potential to introduce adversarial vulnerabilities; DNN bug fixes frequently introduce new bugs; and DNN bug localization, reuse of trained model, and coping with frequent releases are major challenges faced by developers when fixing bugs. We also contribute a benchmark of 667 DNN (bug, repair) instances.


title: Separable Hamiltonian PDEs and Turning point principle for stability of gaseous stars

abstract: We consider stability of non-rotating gaseous stars modeled by the Euler-Poisson system. Under general assumptions on the equation of states, we proved a turning point principle (TPP) that the stability of the stars is entirely determined by the mass-radius curve parameterized by the center density. In particular, the stability can only change at extrema (i.e. local maximum or minimum points) of the total mass. For very general equation of states, TPP implies that for increasing center density the stars are stable up to the first mass maximum and unstable beyond this point until next mass extremum (a minimum). Moreover, we get a precise counting of unstable modes and exponential trichotomy estimates for the linearized Euler-Poisson system. To prove these results, we develop a general framework of separable Hamiltonian PDEs. The general approach is flexible and can be used for many other problems including stability of rotating and magnetic stars, relativistic stars and galaxies.


title: Lossy Event Compression based on Image-derived Quad Trees and Poisson Disk Sampling

abstract: With several advantages over conventional RGB cameras, event cameras have provided new opportunities for tackling visual tasks under challenging scenarios with fast motion, high dynamic range, and/or power constraint. Yet unlike image/video compression, the performance of event compression algorithm is far from satisfying and practical. The main challenge for compressing events is the unique event data form, i.e., a stream of asynchronously fired event tuples each encoding the 2D spatial location, timestamp, and polarity (denoting an increase or decrease in brightness). Since events only encode temporal variations, they lack spatial structure which is crucial for compression. To address this problem, we propose a novel event compression algorithm based on a quad tree (QT) segmentation map derived from the adjacent intensity images. The QT informs 2D spatial priority within the 3D space-time volume. In the event encoding step, events are first aggregated over time to form polarity-based event histograms. The histograms are then variably sampled via Poisson Disk Sampling prioritized by the QT based segmentation map. Next, differential encoding and run length encoding are employed for encoding the spatial and polarity information of the sampled events, respectively, followed by Huffman encoding to produce the final encoded events. Our Poisson Disk Sampling based Lossy Event Compression (PDS-LEC) algorithm performs rate-distortion based optimal allocation. On average, our algorithm achieves greater than 6x compression compared to the state of the art.


title: Efficient Second-Order TreeCRF for Neural Dependency Parsing

abstract: In the deep learning (DL) era, parsing models are extremely simplified with little hurt on performance, thanks to the remarkable capability of multi-layer BiLSTMs in context representation. As the most popular graph-based dependency parser due to its high efficiency and performance, the biaffine parser directly scores single dependencies under the arc-factorization assumption, and adopts a very simple local token-wise cross-entropy training loss. This paper for the first time presents a second-order TreeCRF extension to the biaffine parser. For a long time, the complexity and inefficiency of the inside-outside algorithm hinder the popularity of TreeCRF. To address this issue, we propose an effective way to batchify the inside and Viterbi algorithms for direct large matrix operation on GPUs, and to avoid the complex outside algorithm via efficient back-propagation. Experiments and analysis on 27 datasets from 13 languages clearly show that techniques developed before the DL era, such as structural learning (global TreeCRF loss) and high-order modeling are still useful, and can further boost parsing performance over the state-of-the-art biaffine parser, especially for partially annotated training data. We release our code at https://github.com/yzhangcs/crfpar.


title: A Concise yet Effective model for Non-Aligned Incomplete Multi-view and Missing Multi-label Learning

abstract: In reality, learning from multi-view multi-label data inevitably confronts three challenges: missing labels, incomplete views, and non-aligned views. Existing methods mainly concern the first two and commonly need multiple assumptions to attack them, making even state-of-the-arts involve at least two explicit hyper-parameters such that model selection is quite difficult. More roughly, they will fail in handling the third challenge, let alone addressing the three jointly. In this paper, we aim at meeting these under the least assumption by building a concise yet effective model with just one hyper-parameter. To ease insufficiency of available labels, we exploit not only the consensus of multiple views but also the global and local structures hidden among multiple labels. Specifically, we introduce an indicator matrix to tackle the first two challenges in a regression form while aligning the same individual labels and all labels of different views in a common label space to battle the third challenge. In aligning, we characterize the global and local structures of multiple labels to be high-rank and low-rank, respectively. Subsequently, an efficient algorithm with linear time complexity in the number of samples is established. Finally, even without view-alignment, our method substantially outperforms state-of-the-arts with view-alignment on five real datasets.


title: Boundary behavior of the squeezing function near a global extreme point

abstract: In this paper, we prove that the general ellipsoid $D_P$ is holomorphically homogeneous regular provided that it is a $WB$-domain. Then, the uniform lower bound for the squeezing function near a $(P,r)$-extreme point is also given.


title: Graphene Hypersurface for Manipulation of THz Waves

abstract: In this work, we investigated graphene hypersurface (HSF) for the manipulation of THz waves. The graphene HSF structure is consists of a periodic array of graphene unit cells deposited on silicon substrate and terminated by a metallic ground plane. The performance of the proposed HSF is numerically analyzed. Electromagnetic parameters of HSF such as permeability, permittivity, and impedance are studied. The proposed graphene HSF has active control over absorption, reflection, and transmission of THz waves. The graphene HSF provides perfect absorption, zero reflection and zero transmission at resonance. Moreover, the graphene HSF structure has the advantage of anomalous reflection and frequency reconfiguration. Incident waves can be reflected in the desired direction, depending on the phase gradient of the HSF and the perfect absorption is maintained at all reconfigurable frequencies upon reconfiguration. The results reveal the effectiveness of the graphene HSF for the manipulation of THz waves.


title: How Does Selective Mechanism Improve Self-Attention Networks?

abstract: Self-attention networks (SANs) with selective mechanism has produced substantial improvements in various NLP tasks by concentrating on a subset of input words. However, the underlying reasons for their strong performance have not been well explained. In this paper, we bridge the gap by assessing the strengths of selective SANs (SSANs), which are implemented with a flexible and universal Gumbel-Softmax. Experimental results on several representative NLP tasks, including natural language inference, semantic role labelling, and machine translation, show that SSANs consistently outperform the standard SANs. Through well-designed probing experiments, we empirically validate that the improvement of SSANs can be attributed in part to mitigating two commonly-cited weaknesses of SANs: word order encoding and structure modeling. Specifically, the selective mechanism improves SANs by paying more attention to content words that contribute to the meaning of the sentence. The code and data are released at https://github.com/xwgeng/SSAN.


title: Robust Adaptive Beam Tracking for Mobile Millimetre Wave Communications

abstract: Millimetre wave (mmWave) beam tracking is a challenging task because tracking algorithms are required to provide consistent high accuracy with low probability of loss of track and minimal overhead. To meet these requirements, we propose in this paper a new analog beam tracking framework namely Adaptive Tracking with Stochastic Control (ATSC). Under this framework, beam direction updates are made using a novel mechanism based on measurements taken from only two beam directions perturbed from the current data beam. To achieve high tracking accuracy and reliability, we provide a systematic approach to jointly optimise the algorithm parameters. The complete framework includes a method for adapting the tracking rate together with a criterion for realignment (perceived loss of track). ATSC adapts the amount of tracking overhead that matches well to the mobility level, without incurring frequent loss of track, as verified by an extensive set of experiments under both representative statistical channel models as well as realistic urban scenarios simulated by ray-tracing software. In particular, numerical results show that ATSC can track dominant channel directions with high accuracy for vehicles moving at 72 km/hour in complicated urban scenarios, with an overhead of less than 1\%.


title: Long-range correlation of CMB temperature fluctuations from the holographic entanglement entropy

abstract: In this paper, we define the holographic multipartite entanglement entropy for $N$ separated subsystems living in a compact $\text{CFT}_d$ space-time. In a large $N$ limit, we find that the first-order holographic entanglement entropy perturbation is proportional to the change in the length of the subsystem and it has symmetric (Gaussian) distribution property. From that finding, we propose to construct two-point correlation functions of holographic entanglement entropy fluctuations analogous to the one that is used in the cosmic microwave background (CMB) temperature fluctuations analysis. Using the first law of thermodynamics, we may correlate tiny changes in entanglement entropy with the temperature fluctuations. By comparing with Planck 2018 CMB data from $j=2$ to $j=2499$ where $j$ denotes the multipole moment, we extract the distribution of the entangling region size that corresponds to the temperature fluctuations. Since the distribution of the entangling region size can be interpreted as the CMB temperature fluctuations, we conclude that entanglement might play a role in the quantum aspects of cosmology.


title: Testing Generalized Einstein-Cartan-Kibble-Sciama Gravity using Weak Deflection Angle and Shadow Cast

abstract: In this paper, we use a new asymptotically flat and spherically symmetric solution in the generalized Einstein-Cartan-Kibble-Sciama (ECKS) theory of gravity to study the weak gravitational lensing and its shadow cast. To this end, we first compute the weak deflection angle of generalized ECKS black hole using the Gauss-Bonnet theorem in plasma medium and in vacuum. Next by using the Newman-Janis algorithm without complexification, we derive the rotating generalized ECKS black hole and in the sequel study its shadow. Then, we discuss the effects of the ECKS parameter on the weak deflection angle and shadow of the black hole. In short, the goal of this paper is to give contribution to the ECKS theory and look for evidences to understand how the ECKS parameter effects the gravitational lensing. Hence, we show that the weak deflection of black hole is increased with the increase of the ECKS parameter.


title: Joint-SRVDNet: Joint Super Resolution and Vehicle Detection Network

abstract: In many domestic and military applications, aerial vehicle detection and super-resolutionalgorithms are frequently developed and applied independently. However, aerial vehicle detection on super-resolved images remains a challenging task due to the lack of discriminative information in the super-resolved images. To address this problem, we propose a Joint Super-Resolution and Vehicle DetectionNetwork (Joint-SRVDNet) that tries to generate discriminative, high-resolution images of vehicles fromlow-resolution aerial images. First, aerial images are up-scaled by a factor of 4x using a Multi-scaleGenerative Adversarial Network (MsGAN), which has multiple intermediate outputs with increasingresolutions. Second, a detector is trained on super-resolved images that are upscaled by factor 4x usingMsGAN architecture and finally, the detection loss is minimized jointly with the super-resolution loss toencourage the target detector to be sensitive to the subsequent super-resolution training. The network jointlylearns hierarchical and discriminative features of targets and produces optimal super-resolution results. Weperform both quantitative and qualitative evaluation of our proposed network on VEDAI, xView and DOTAdatasets. The experimental results show that our proposed framework achieves better visual quality than thestate-of-the-art methods for aerial super-resolution with 4x up-scaling factor and improves the accuracy ofaerial vehicle detection.


title: Fluctuation of linear eigenvalue statistics of reverse circulant matrices with independent entries

abstract: In this article, we study the fluctuations of linear eigenvalue statistics of reverse circulant $(RC_n)$ matrices with independent entries which satisfy some moment conditions. We show that $\frac{1}{\sqrt{n}} \text{Tr} \phi(RC_n)$ obey the central limit theorem (CLT) type result, where $\phi$ is a nice test function.


title: Constrained Differential Dynamic Programming Revisited

abstract: Differential Dynamic Programming (DDP) has become a well established method for unconstrained trajectory optimization. Despite its several applications in robotics and controls however, a widely successful constrained version of the algorithm has yet to be developed. This paper builds upon penalty methods and active-set approaches, towards designing a Dynamic Programming-based methodology for constrained optimal control. Regarding the former, our derivation employs a constrained version of Bellman's principle of optimality, by introducing a set of auxiliary slack variables in the backward pass. In parallel, we show how Augmented Lagrangian methods can be naturally incorporated within DDP, by utilizing a particular set of penalty-Lagrangian functions that preserve second-order differentiability. We demonstrate experimentally that our extensions (individually and combinations thereof) enhance significantly the convergence properties of the algorithm, and outperform previous approaches on a large number of simulated scenarios.


title: Using Artificial Intelligence to Analyze Fashion Trends

abstract: Analyzing fashion trends is essential in the fashion industry. Current fashion forecasting firms, such as WGSN, utilize the visual information from around the world to analyze and predict fashion trends. However, analyzing fashion trends is time-consuming and extremely labor intensive, requiring individual employees' manual editing and classification. To improve the efficiency of data analysis of such image-based information and lower the cost of analyzing fashion images, this study proposes a data-driven quantitative abstracting approach using an artificial intelligence (A.I.) algorithm. Specifically, an A.I. model was trained on fashion images from a large-scale dataset under different scenarios, for example in online stores and street snapshots. This model was used to detect garments and classify clothing attributes such as textures, garment style, and details for runway photos and videos. It was found that the A.I. model can generate rich attribute descriptions of detected regions and accurately bind the garments in the images. Adoption of A.I. algorithm demonstrated promising results and the potential to classify garment types and details automatically, which can make the process of trend forecasting more cost-effective and faster.


title: Encoder-Decoder Models Can Benefit from Pre-trained Masked Language Models in Grammatical Error Correction

abstract: This paper investigates how to effectively incorporate a pre-trained masked language model (MLM), such as BERT, into an encoder-decoder (EncDec) model for grammatical error correction (GEC). The answer to this question is not as straightforward as one might expect because the previous common methods for incorporating a MLM into an EncDec model have potential drawbacks when applied to GEC. For example, the distribution of the inputs to a GEC model can be considerably different (erroneous, clumsy, etc.) from that of the corpora used for pre-training MLMs; however, this issue is not addressed in the previous methods. Our experiments show that our proposed method, where we first fine-tune a MLM with a given GEC corpus and then use the output of the fine-tuned MLM as additional features in the GEC model, maximizes the benefit of the MLM. The best-performing model achieves state-of-the-art performances on the BEA-2019 and CoNLL-2014 benchmarks. Our code is publicly available at: https://github.com/kanekomasahiro/bert-gec.


title: Semiclassical Limit of New Path Integral Formulation from Reduced Phase Space Loop Quantum Gravity

abstract: Recently, a new path integral formulation of Loop Quantum Gravity (LQG) has been derived in arXiv:1910.03763 from the reduced phase space formulation of the canonical LQG. This paper focuses on the semiclassical analysis of this path integral formulation. We show that dominant contributions of the path integral come from solutions of semiclassical equations of motion (EOMs), which reduces to Hamilton's equations of holonomies and fluxes ${h}(e),{p}^a(e)$ in the reduced phase space $\mathcal{P}_\gamma$ of the cubic lattice $\gamma$: $\dot{h}(e)=\{{h}(e),\, \mathbf{H}\}$, $\dot{p}^a(e)=\{{p}^a(e),\, \mathbf{H}\}$, where $\mathbf{H}$ is the discrete physical Hamiltonian. The semiclassical dynamics from the path integral becomes an initial value problem of Hamiltonian time evolution in $\mathcal{P}_\gamma$. Moreover when we take the continuum limit of the lattice $\gamma$, these Hamilton's equations reproduce correctly classical reduced phase space EOMs of gravity coupled to dust fields in the continuum, as far as initial and final states are semiclassical. Our result proves that the new path integral formulation has the correct semiclassical limit, and indicates that the reduced phase space quantization in LQG is semiclassically consistent. Based on these results, we compare this path integral formulation and the spin foam formulation, and show that this formulation has several advantages including the finiteness, the relation with canonical LQG, and being free of cosine and flatness problems.


title: Approximate Two-Sphere One-Cylinder Inequality in Parabolic Periodic Homogenization

abstract: In this paper, for a family of second-order parabolic equation with rapidly oscillating and time-dependent periodic coefficients, we are interested in an approximate two-sphere one-cylinder inequality for these solutions in parabolic periodic homogenization, which implies an approximate quantitative propagation of smallness. The proof relies on the asymptotic behavior of fundamental solutions and the Lagrange interpolation technique.


title: Regular Model Checking Revisited (Technical Report)

abstract: In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent systems with an arbitrary number of processes). We provide a reformulation of regular model checking with length-preserving transducers in terms of existential second-order theory over automatic structures. We argue that this is a natural formulation that enables us tap into powerful synthesis techniques that have been extensively studied in the software verification community. More precisely, in this formulation the first-order part represents the verification conditions for the desired correctness property (for which we have complete solvers), whereas the existentially quantified second-order variables represent the relations to be synthesized. We show that many interesting correctness properties can be formulated in this way, examples being safety, liveness, bisimilarity, and games. More importantly, we show that this new formulation allows new interesting benchmarks (and old regular model checking benchmarks that were previously believed to be difficult), especially in the domain of parameterized system verification, to be solved.


title: Microrheology to Probe Smectic Clusters in Bent-core Nematic Liquid Crystals

abstract: Many bent-core nematic liquid crystals exhibit unusual physical properties due to the presence of smectic clusters, known as "cybotactic" clusters in the nematic phase. Effect of these clusters on complex shear modulus ($G^*(\omega)$) of such liquid crystals hitherto unexplored. Here, we study flow viscosities and complex shear modulus of two asymmetric bent-core liquid crystals using microrheology technique. The results are corroborated with the measurements of curvature elastic constants. Compound with shorter hydrocarbon chain (8OCH$_\text{3}$) exhibit only nematic (N) phase whereas the compound with longer chain (16OCH$_\text{3}$) exhibits both nematic (N) and smectic-A (SmA) phases. Our results show that the directional shear modulus of 16OCH$_\text{3}$, just above the SmA to N transition temperature is strikingly different than 8OCH$_\text{3}$, owing to these smectic clusters. Thus, microrheology enables us to probe smectic clusters in bent-core nematic liquid crystals.


title: Physical reservoir computing -- An introductory perspective

abstract: Understanding the fundamental relationships between physics and its information-processing capability has been an active research topic for many years. Physical reservoir computing is a recently introduced framework that allows one to exploit the complex dynamics of physical systems as information-processing devices. This framework is particularly suited for edge computing devices, in which information processing is incorporated at the edge (e.g., into sensors) in a decentralized manner to reduce the adaptation delay caused by data transmission overhead. This paper aims to illustrate the potentials of the framework using examples from soft robotics and to provide a concise overview focusing on the basic motivations for introducing it, which stem from a number of fields, including machine learning, nonlinear dynamical systems, biological science, materials science, and physics.


title: An Algebraic Approach for High-level Text Analytics

abstract: Text analytical tasks like word embedding, phrase mining, and topic modeling, are placing increasing demands as well as challenges to existing database management systems. In this paper, we provide a novel algebraic approach based on associative arrays. Our data model and algebra can bring together relational operators and text operators, which enables interesting optimization opportunities for hybrid data sources that have both relational and textual data. We demonstrate its expressive power in text analytics using several real-world tasks.


title: Energy sensitivity of the GRAPES-3 EAS array for primary cosmic ray protons

abstract: Low energy ground-based cosmic ray air shower experiments generally have energy threshold in the range of a few tens to a few hundreds of TeV. The shower observables are measured indirectly with an array of detectors. The atmospheric absorption of low energy secondaries limits their detection frequencies at the Earth's surface. However, due to selection effects, a tiny fraction of low energy showers, which are produced in the lower atmosphere can reach the observational level. But, due to less information of shower observables, the reconstruction of these showers are arduous. Hence, it is believed that direct measurements by experiments aboard on satellites and balloon flights are more reliable at low energies. Despite having very small efficiency ($\sim$0.1%) at low energies, the large acceptance ($\sim$5 m$^2$sr) of GRAPES-3 experiment allows observing primary cosmic rays down below to $\sim$1 TeV and opens up the possibility to measure primary energy spectrum spanning from a few TeV to beyond cosmic ray knee (up to 10$^{16}$ eV), covering five orders of magnitude. The GRAPES-3 energy threshold for primary protons through Monte Carlo simulations are calculated, which gives reasonably good agreement with data. Furthermore, the total efficiencies and acceptance are also calculated for protons primaries. The ability of GRAPES-3 experiment to cover such a broader energy range may provide a unique handle to bridge the energy spectrum between direct measurements at low energies and indirect measurements at ultra-high energies.


title: Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems

abstract: Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functional safety specifications has been strongly advocated in most industrial safety standards, but reliability and fault tolerance have traditionally been treated as platform issues. We believe that addressing reliability and fault tolerance at the functional safety level widens the scope for resource optimization, targeting those functionalities that are safety-critical, rather than the entire platform. Moreover, for software based control functionalities, temporal redundancies have become just as important as replication of physical resources, and such redundancies can be modeled at the functional specification level. The ability to formally model functional reliability at a specification level enables early estimation of physical resources and computation bandwidth requirements. In this paper we propose, for the first time, a resource estimation methodology from a formal functional safety specification augmented by reliability annotations. The proposed reliability specification is overlaid on the safety-critical functional specification and our methodology extracts a constraint satisfaction problem for determining the optimal set of resources for meeting the reliability target for the safety-critical behaviors. We use SMT (Satisfiability Modulo Theories) / ILP (Integer Linear Programming) solvers at the back end to solve the optimization problem, and demonstrate the feasibility of our methodology on a Satellite Launch Vehicle Navigation, Guidance and Control (NGC) System.


title: Downlink and Uplink Intelligent Reflecting Surface Aided Networks: NOMA and OMA

abstract: Intelligent reflecting surfaces (IRSs) are envisioned to provide reconfigurable wireless environments for future communication networks. In this paper, both downlink and uplink IRS-aided non-orthogonal multiple access (NOMA) and orthogonal multiple access (OMA) networks are studied, in which an IRS is deployed to enhance the coverage by assisting a cell-edge user device (UD) to communicate with the base station (BS). To characterize system performance, new channel statistics of the BS-IRS-UD link with Nakagami-$m$ fading are investigated. For each scenario, the closed-form expressions for the outage probability and ergodic rate are derived. To gain further insight, the diversity order and high signal-to-noise ratio (SNR) slope for each scenario are obtained according to asymptotic approximations in the high-SNR regime. It is demonstrated that the diversity order is affected by the number of IRS reflecting elements and Nakagami fading parameters, but the high-SNR slope is not related to these parameters. Simulation results validate our analysis and reveal the superiority of the IRS over the full-duplex decode-and-forward relay.


title: Effect of magnetic field on the charge and thermal transport properties of hot and dense QCD matter

abstract: We have studied the effect of strong magnetic field on the charge and thermal transport properties of hot QCD matter at finite chemical potential. For this purpose, we have calculated the electrical ($\sigma_{\rm el}$) and thermal ($\kappa$) conductivities using kinetic theory in the relaxation time approximation, where the interactions are subsumed through the distribution functions within the quasiparticle model at finite temperature, strong magnetic field and finite chemical potential. This study helps to understand the impacts of strong magnetic field and chemical potential on the local equilibrium by the Knudsen number ($\Omega$) through $\kappa$ and on the relative behavior between thermal conductivity and electrical conductivity through the Lorenz number ($L$) in the Wiedemann-Franz law. We have observed that, both $\sigma_{\rm el}$ and $\kappa$ get increased in the presence of strong magnetic field, and the additional presence of chemical potential further increases their magnitudes, where $\sigma_{\rm el}$ shows decreasing trend with the temperature, opposite to its increasing behavior in the isotropic medium, whereas $\kappa$ increases slowly with the temperature, contrary to its fast increase in the isotropic medium. The variation in $\kappa$ explains the decrease of the Knudsen number with the increase of the temperature. However, in the presence of strong magnetic field and finite chemical potential, $\Omega$ gets enhanced and approaches unity, thus, the system may move slightly away from the equilibrium state. The Lorenz number ($\kappa/(\sigma_{\rm el} T))$ in the abovementioned regime of strong magnetic field and finite chemical potential shows linear enhancement with the temperature and has smaller magnitude than the isotropic one, thus, it describes the violation of the Wiedemann-Franz law for the hot and dense QCD matter in the presence of a strong magnetic field.


title: Half-Quadratic Alternating Direction Method of Multipliers for Robust Orthogonal Tensor Approximation

abstract: Higher-order tensor canonical polyadic decomposition (CPD) with one or more of the latent factor matrices being columnwisely orthonormal has been well studied in recent years. However, most existing models penalize the noises, if occurring, by employing the least squares loss, which may be sensitive to non-Gaussian noise or outliers, leading to bias estimates of the latent factors. In this paper, based on the maximum a posterior estimation, we derive a robust orthogonal tensor CPD model with Cauchy loss, which is resistant to heavy-tailed noise or outliers. By exploring the half-quadratic property of the model, a new method, which is termed as half-quadratic alternating direction method of multipliers (HQ-ADMM), is proposed to solve the model. Each subproblem involved in HQ-ADMM admits a closed-form solution. Thanks to some nice properties of the Cauchy loss, we show that the whole sequence generated by the algorithm globally converges to a stationary point of the problem under consideration. Numerical experiments on synthetic and real data demonstrate the efficiency and robustness of the proposed model and algorithm.


title: Linear spectral statistics of eigenvectors of anisotropic sample covariance matrices

abstract: Consider sample covariance matrices of the form $Q:=\Sigma^{1/2} X X^\top \Sigma^{1/2}$, where $X=(x_{ij})$ is an $n\times N$ random matrix whose entries are independent random variables with mean zero and variance $N^{-1}$, and $\Sigma$ is a deterministic positive-definite covariance matrix. We study the limiting behavior of the eigenvectors of $Q$ through the so-called eigenvector empirical spectral distribution $F_{\mathbf v}$, which is an alternative form of empirical spectral distribution with weights given by $|\mathbf v^\top \xi_k|^2$, where $\mathbf v$ is a deterministic unit vector and $\xi_k$ are the eigenvectors of $Q$. We prove a functional central limit theorem for the linear spectral statistics of $F_{\mathbf v}$, indexed by functions with H\"older continuous derivatives. We show that the linear spectral statistics converge to some Gaussian processes both on global scales of order 1 and on local scales that are much smaller than 1 but much larger than the typical eigenvalue spacing $N^{-1}$. Moreover, we give explicit expressions for the covariance functions of the Gaussian processes, where the exact dependence on $\Sigma$ and $\mathbf v$ is identified for the first time in the literature.


title: BCFA: Bespoke Control Flow Analysis for CFA at Scale

abstract: Many data-driven software engineering tasks such as discovering programming patterns, mining API specifications, etc., perform source code analysis over control flow graphs (CFGs) at scale. Analyzing millions of CFGs can be expensive and performance of the analysis heavily depends on the underlying CFG traversal strategy. State-of-the-art analysis frameworks use a fixed traversal strategy. We argue that a single traversal strategy does not fit all kinds of analyses and CFGs and propose bespoke control flow analysis (BCFA). Given a control flow analysis (CFA) and a large number of CFGs, BCFA selects the most efficient traversal strategy for each CFG. BCFA extracts a set of properties of the CFA by analyzing the code of the CFA and combines it with properties of the CFG, such as branching factor and cyclicity, for selecting the optimal traversal strategy. We have implemented BCFA in Boa, and evaluated BCFA using a set of representative static analyses that mainly involve traversing CFGs and two large datasets containing 287 thousand and 162 million CFGs. Our results show that BCFA can speedup the large scale analyses by 1%-28%. Further, BCFA has low overheads; less than 0.2%, and low misprediction rate; less than 0.01%.


title: Spatiotemporal dynamics in demography-sensitive disease transmission: COVID-19 spread in NY as a case study

abstract: The rapid transmission of the highly contagious novel coronavirus has been represented through several data-guided approaches across targeted geographies, in an attempt to understand when the pandemic will be under control and imposed lockdown measures can be relaxed. However, these epidemiological models predominantly based on training data employing number of cases and fatalities are limited in that they do not account for the spatiotemporal population dynamics that principally contributes to the disease spread. Here, a stochastic cellular automata enabled predictive model is presented that is able to accurate describe the effect of demography-dependent population dynamics on disease transmission. Using the spread of coronavirus in the state of New York as a case study, results from the computational framework remarkably agree with the actual count for infected cases and deaths as reported across organizations. The predictions suggest that an extended lockdown in some form, for up to 180 days, can significantly reduce the risk of a second wave of the outbreak. In addition, increased availability of medical testing is able to reduce the number of infected patients, even when less stringent social distancing guidelines and imposed. Equipping this stochastic approach with demographic factors such as age ratio, pre-existing health conditions, robustifies the model to predict the transmittivity of future outbreaks before they transform into an epidemic.


title: Composite electroweak sectors on the lattice

abstract: In the post-Higgs discovery era, the primary goal of the Large Hadron collider is to discover new physics Beyond the Standard Model. One fundamental question is does new beyond the Standard Model composite dynamics provides the origin of the Higgs field and potential. After reviewing the main motivations to consider composite models based on a new strongly interacting sector, we summarise the efforts of the lattice community to investigate the viability of models featuring a composite Higgs sector. We argue that first principle calculations are necessary in view of the fast improvements in accuracy of experimental measurements in the Higgs sector. We stress the importance for lattice calculations to provide a testing benchmark for non perturbative mechanisms. It is highlighted that the rich phenomenology of non-abelian gauge theories raises a number of questions that can be explored using lattice calculations. First principle results therefore provide crucial insights in the theory landscape that could guide the next generation of Composite Higgs models.


title: Variational Shape Approximation of Point Set Surfaces

abstract: In this work, we present a translation of the complete pipeline for variational shape approximation (VSA) to the setting of point sets. First, we describe an explicit example for the theoretically known non-convergence of the currently available VSA approaches. The example motivates us to introduce an alternate version of VSA based on a switch operation for which we prove convergence. Second, we discuss how two operations - split and merge - can be included in a fully automatic pipeline that is in turn independent of the placement and number of initial seeds. Third and finally, we present two approaches how to obtain a simplified mesh from the output of the VSA procedure. This simplification is either based on simple plane intersection or based on a variational optimization problem. Several qualitative and quantitative results prove the relevance of our approach.


title: Explaining How Deep Neural Networks Forget by Deep Visualization

abstract: Explaining the behaviors of deep neural networks, usually considered as black boxes, is critical especially when they are now being adopted over diverse aspects of human life. Taking the advantages of interpretable machine learning (interpretable ML), this paper proposes a novel tool called Catastrophic Forgetting Dissector (or CFD) to explain catastrophic forgetting in continual learning settings. We also introduce a new method called Critical Freezing based on the observations of our tool. Experiments on ResNet articulate how catastrophic forgetting happens, particularly showing which components of this famous network are forgetting. Our new continual learning algorithm defeats various recent techniques by a significant margin, proving the capability of the investigation. Critical freezing not only attacks catastrophic forgetting but also exposes explainability.


title: The Vision of Software Clone Management: Past, Present, and Future

abstract: Duplicated code or code clones are a kind of code smell that have both positive and negative impacts on the development and maintenance of software systems. Software clone research in the past mostly focused on the detection and analysis of code clones, while research in recent years extends to the whole spectrum of clone management. In the last decade, three surveys appeared in the literature, which cover the detection, analysis, and evolutionary characteristics of code clones. This paper presents a comprehensive survey on the state of the art in clone management, with in-depth investigation of clone management activities (e.g., tracing, refactoring, cost-benefit analysis) beyond the detection and analysis. This is the first survey on clone management, where we point to the achievements so far, and reveal avenues for further research necessary towards an integrated clone management system. We believe that we have done a good job in surveying the area of clone management and that this work may serve as a kind of roadmap for future research in the area


title: An Accurate Model for Predicting the (Graded) Effect of Context in Word Similarity Based on Bert

abstract: Natural Language Processing (NLP) has been widely used in the semantic analysis in recent years. Our paper mainly discusses a methodology to analyze the effect that context has on human perception of similar words, which is the third task of SemEval 2020. We apply several methods in calculating the distance between two embedding vector generated by Bidirectional Encoder Representation from Transformer (BERT). Our team will_go won the 1st place in Finnish language track of subtask1, the second place in English track of subtask1.


title: Holographic superconductors in 4D Einstein-Gauss-Bonnet gravity

abstract: We investigate the neutral AdS black-hole solution in the consistent $D\rightarrow4$ Einstein-Gauss-Bonnet gravity proposed in [K. Aoki, M.A. Gorji, and S. Mukohyama, Phys. Lett. B {\bf 810}, 135843 (2020)] and construct the gravity duals of ($2+1$)-dimensional superconductors with Gauss-Bonnet corrections in the probe limit. We find that the curvature correction has a more subtle effect on the scalar condensates in the s-wave superconductor in ($2+1$)-dimensions, which is different from the finding in the higher-dimensional superconductors that the higher curvature correction makes the scalar hair more difficult to be developed in the full parameter space. However, in the p-wave case, we observe that the higher curvature correction always makes it harder for the vector condensates to form in various dimensions. Moreover, we note that the higher curvature correction results in the larger deviation from the expected relation in the gap frequency $\omega_g/T_c\approx 8$ in both ($2+1$)-dimensional s-wave and p-wave models.


title: Adoption of the open access business model in scientific journal publishing: A cross-disciplinary study

abstract: Scientific journal publishers have over the past twenty-five years rapidly converted to predominantly electronic dissemination, but the reader-pays business model continues to dominate the market. Open Access (OA) publishing, where the articles are freely readable on the net, has slowly increased its market share to near 20%, but has failed to fulfill the visions of rapid proliferation predicted by many early proponents. The growth of OA has also been very uneven across fields of science. We report market shares of open access in eighteen Scopus-indexed disciplines ranging from 27% (agriculture) to 7% (business). The differences become far more pronounced for journals published in the four countries, which dominate commercial scholarly publishing (US, UK, Germany and the Netherlands). We present contrasting developments within six academic disciplines. Availability of funding to pay publication charges, pressure from research funding agencies, and the diversity of discipline-specific research communication cultures arise as potential explanations for the observed differences.


title: Analyticity and Causality in Conformal Field Theory

abstract: We investigate analyticity properties of correlation functions in conformal field theories (CFT) in the Wightman formulation. The goal is to determine domain of holomorphy of permuted Wightman functions. We focus on crossing property of three-point functions. The domain of holomorphy of a pair of three-point functions is determined by appealing to Jost's theorem and by adopting the technique of analytic completion. This program paves the way to address the issue of crossing for the four-point functions on a rigorous footing.


title: Surface radiation of a charged particle bunch passing through a corrugated surface with a relatively small period

abstract: We investigate radiation of a charged particle bunch moving through a corrugated planar conductive surface. It is assumed that the corrugation period and depth are much less than the wavelengths under consideration. In this case, the corrugated structure can be replaced with some smooth surface on which the so-called equivalent boundary conditions (EBC) are fulfilled. Using the EBC method we obtain expressions for the electromagnetic field of the bunch which are presented in form of spectral integrals. It is demonstrated that the bunch generates surface waves propagating along the corrugations with the light velocity. Also we present results of numerical calculations for electromagnetic field components of surface waves depending on coordinates and show that these dependences can be used for determination of the bunch size.


title: Search for Smart Evaders with Swarms of Sweeping Agents

abstract: Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using sweeping agents. We assume that each agent has a line sensor of length 2r. We propose procedures for designing cooperative sweeping processes that ensure the successful completion of the task, thereby deriving conditions on the sweeping velocity of the agents and their paths. Successful completion of the task means that evaders with a given limit on their velocity cannot escape the sweeping agents. A simpler task for the sweeping swarm is the confinement of the evaders to their initial domain. The feasibility of completing these tasks depends on geometric and dynamic constraints that impose a lower bound on the velocity that the sweeper swarm must have. This critical velocity is derived to ensure the satisfaction of the confinement task. Increasing the velocity above the lower bound enables the agents to complete the search task as well. We present results on the total search time as a function of the sweeping velocity of the swarm's agents given the initial conditions on the size of the search region and the maximal velocity of the evaders.


title: Local analysis of a two phase free boundary problem concerning mean curvature

abstract: We consider an overdetermined problem for a two phase elliptic operator in divergence form with piecewise constant coefficients. We look for domains such that the solution $u$ of a Dirichlet boundary value problem also satisfies the additional property that its normal derivative $\partial_n u$ is a multiple of the radius of curvature at each point on the boundary. When the coefficients satisfy some "non-criticality" condition, we construct nontrivial solutions to this overdetermined problem employing a perturbation argument relying on shape derivatives and the implicit function theorem. Moreover, in the critical case, we employ the use of the Crandall-Rabinowitz theorem to show the existence of a branch of symmetry breaking solutions bifurcating from trivial ones. Finally, some remarks on the one phase case and a similar overdetermined problem of Serrin type are given.


title: Selective spin and nematic excitations using polarized pump pulses

abstract: Quantum materials display exotic behaviours related to the interplay between temperature-driven phase transitions. Here, we study electron dynamics in one such material, CaFe2As2, a parent Fe-based superconductor, employing time and angle-resolved photoemission spectroscopy. CaFe2As2 exhibits concomitant transition to spin density wave state and nematic order below 170 K. We discover that magnetic excitations can be induced selectively, by using polarized pump pulses, significantly before the destruction of nematic order. More specifically, we observe that s-polarized light enhances electron temperature by several hundreds of degrees at a time scale of about 200 fs, while the temperature of the electrons participating in magnetic order can be enhanced by similar amount at a much faster time scale (50 fs) using p-polarized pump pulse. These results provide a pathway to achieve selective electron heating, which is not possible with other methods, as well as to disentangle phase transitions in quantum materials.


title: Feature-metric Registration: A Fast Semi-supervised Approach for Robust Point Cloud Registration without Correspondences

abstract: We present a fast feature-metric point cloud registration framework, which enforces the optimisation of registration by minimising a feature-metric projection error without correspondences. The advantage of the feature-metric projection error is robust to noise, outliers and density difference in contrast to the geometric projection error. Besides, minimising the feature-metric projection error does not need to search the correspondences so that the optimisation speed is fast. The principle behind the proposed method is that the feature difference is smallest if point clouds are aligned very well. We train the proposed method in a semi-supervised or unsupervised approach, which requires limited or no registration label data. Experiments demonstrate our method obtains higher accuracy and robustness than the state-of-the-art methods. Besides, experimental results show that the proposed method can handle significant noise and density difference, and solve both same-source and cross-source point cloud registration.


title: Structural anomaly in superconductivity of CaFe2As2 class of materials

abstract: Quantum transitions in Fe-based systems are believed to involve spin, charge and nematic fluctuations. Complex structural phase diagram in these materials often emphasizes importance of covalency in their exotic properties, which is directly linked to the local structural network and barely understood. In order to address this outstanding issue, we investigate the evolution of structural parameters and their implication in unconventional superconductivity of 122 class of materials employing extended x-ray absorption fine structure studies. The spectral functions near the Fe K- and As K-absorption edge of CaFe2As2 and its superconducting composition, CaFe1.9Co0.1As2 (Tc = 12 K) exhibit evidence of enhancement of Fe contribution with Co-substitution near the Fermi level. As-Fe and Fe-Fe bondlengths derived from the experimental data exhibit interesting changes with temperature across the magneto-structural transition. Curiously, the evolution in Co-doped composition is similar to its parent compound despite absence of magneto-structural transition. In addition, we discover anomalous change of Ca-X (X = Fe, As) bondlengths with temperature in the vicinity of magneto-structural transition and disorder appears to be less important presumably due to screening by the charge reservoir layer. These results reveal evidence of doping induced evolution to the proximity to critical behavior presumably leading to superconductivity in the system.


title: Lupulus: A Flexible Hardware Accelerator for Neural Networks

abstract: Neural networks have become indispensable for a wide range of applications, but they suffer from high computational- and memory-requirements, requiring optimizations from the algorithmic description of the network to the hardware implementation. Moreover, the high rate of innovation in machine learning makes it important that hardware implementations provide a high level of programmability to support current and future requirements of neural networks. In this work, we present a flexible hardware accelerator for neural networks, called Lupulus, supporting various methods for scheduling and mapping of operations onto the accelerator. Lupulus was implemented in a 28nm FD-SOI technology and demonstrates a peak performance of 380 GOPS/GHz with latencies of 21.4ms and 183.6ms for the convolutional layers of AlexNet and VGG-16, respectively.


title: On the Cauchy problem for Boltzmann equation modelling a polyatomic gas

abstract: In the present manuscript we consider the Boltzmann equation that models a polyatomic gas by introducing one additional continuous variable, referred to as microscopic internal energy. We establish existence and uniqueness theory in the space homogeneous setting for the full non-linear case, under an extended Grad assumption on transition probability rate, that comprises hard potentials for both the relative speed and internal energy with the rate in the interval $(0,2]$, which is multiplied by an integrable angular part and integrable partition functions. The Cauchy problem is resolved by means of an abstract ODE theory in Banach spaces, for an initial data with finite and strictly positive gas mass and energy, finite momentum, and additionally finite $k_*$ polynomial moment, with $k_*$ depending on the rate of the transition probability and the structure of a polyatomic molecule or its internal degrees of freedom. Moreover, we prove that polynomially and exponentially weighted Banach space norms associated to the solution are both generated and propagated uniformly in time.


title: Certified Semantics for Relational Programming

abstract: We present a formal study of semantics for the relational programming language miniKanren. First, we formulate a denotational semantics which corresponds to the minimal Herbrand model for definite logic programs. Second, we present operational semantics which models interleaving, the distinctive feature of miniKanren implementation, and prove its soundness and completeness w.r.t. the denotational semantics. Our development is supported by a Coq specification, from which a reference interpreter can be extracted. We also derive from our main result a certified semantics (and a reference interpreter) for SLD resolution with cut and prove its soundness.


title: Nonparametric testing of the dependence structure among points-marks-covariates in spatial point patterns

abstract: We investigate testing of the hypothesis of independence between a covariate and the marks in a marked point process. It would be rather straightforward if the (unmarked) point process were independent of the covariate and the marks. In practice, however, such an assumption is questionable and possible dependence between the point process and the covariate or the marks may lead to incorrect conclusions. Therefore, we propose to investigate the complete dependence structure in the triangle points--marks--covariates together. We take advantage of the recent development of the nonparametric random shift methods, namely the new variance correction approach, and propose tests of the null hypothesis of independence between the marks and the covariate and between the points and the covariate. We present a detailed simulation study showing the performance of the methods and provide two theorems establishing the appropriate form of the correction factors for the variance correction. Finally, we illustrate the use of the proposed methods in two real applications.


title: Investigating the Effects of Robot Engagement Communication on Learning from Demonstration

abstract: Robot Learning from Demonstration (RLfD) is a technique for robots to derive policies from instructors' examples. Although the reciprocal effects of student engagement on teacher behavior are widely recognized in the educational community, it is unclear whether the same phenomenon holds true for RLfD. To fill this gap, we first design three types of robot engagement behavior (attention, imitation, and a hybrid of the two) based on the learning literature. We then conduct, in a simulation environment, a within-subject user study to investigate the impact of different robot engagement cues on humans compared to a "without-engagement" condition. Results suggest that engagement communication significantly changes the human's estimation of the robots' capability and significantly raises their expectation towards the learning outcomes, even though we do not run actual learning algorithms in the experiments. Moreover, imitation behavior affects humans more than attention does in all metrics, while their combination has the most profound influences on humans. We also find that communicating engagement via imitation or the combined behavior significantly improve humans' perception towards the quality of demonstrations, even if all demonstrations are of the same quality.


title: A mixed finite element method with reduced symmetry for the standard model in linear viscoelasticity

abstract: We introduce and analyze a new mixed finite element method with reduced symmetry for the standard linear model in viscoelasticity. Following a previous approach employed for linear elastodynamics, the present problem is formulated as a second-order hyperbolic partial differential equation in which, after using the motion equation to eliminate the displacement unknown, the stress tensor remains as the main variable to be found. The resulting variational formulation is shown to be well-posed, and a class of $\text{H}(\text{div})$-conforming semi-discrete schemes is proved to be convergent. Then, we use the Newmark trapezoidal rule to obtain an associated fully discrete scheme, whose main convergence results are also established. Finally, numerical examples illustrating the performance of the method are reported.


title: Nonlinear theory for coalescing characteristics in multiphase Whitham modulation theory

abstract: The multiphase Whitham modulation equations with $N$ phases have $2N$ characteristics which may be of hyperbolic or elliptic type. In this paper a nonlinear theory is developed for coalescence, where two characteristics change from hyperbolic to elliptic via collision. Firstly, a linear theory develops the structure of colliding characteristics involving the topological sign of characteristics and multiple Jordan chains, and secondly a nonlinear modulation theory is developed for transitions. The nonlinear theory shows that coalescing characteristics morph the Whitham equations into an asymptotically valid geometric form of the two-way Boussinesq equation. That is, coalescing characteristics generate dispersion, nonlinearity and complex wave fields. For illustration, the theory is applied to coalescing characteristics associated with the modulation of two-phase travelling-wave solutions of coupled nonlinear Schr\"odinger equations, highlighting how collisions can be identified and the relevant dispersive dynamics constructed.


title: A project about chains of spaces, regarding topological and algebraic genericity and spaceability

abstract: We present the example of l^p spaces, where we examine results of topological and algebraic genericity and spaceability. At the end of the paper we include a project with other chains of spaces, mainly of holomorphic functions, as Hardy spaces on the disc.


title: Electromagnetically Induced Transparency in a mono-isotopic $^{167}$Er:$^7$LiYF$_4$ crystal below 1 Kelvin

abstract: Electromagnetically induced transparency allows for controllable change of absorption properties which can be exploited in a number of applications including optical quantum memory. In this paper, we present a study of the electromagnetically induced transparency in $^{167}$Er:$^6$LiYF$_4$ crystal at low magnetic fields and ultra-low temperatures. Experimental measurement scheme employs optical vector network analysis which provides high precision measurement of amplitude, phase and pulse delay. We found that sub-Kelvin temperatures are the necessary requirement for studying electromagnetically induced transparency in this crystal at low fields. A good agreement between theory and experiment is achieved taking into account the phonon bottleneck effect.


title: Birational geometry of smooth families of varieties admitting good minimal models

abstract: In this paper we study families of projective manifolds with good minimal models. After constructing a suitable moduli functor for polarized varieties with canonical singularities, we show that, if not birationally isotrivial, the base spaces of such families support subsheaves of log-pluridifferentials with positive Kodaira dimension. Consequently we prove that, over special base schemes, families of this type can only be birationally isotrivial and, as a result, confirm a conjecture of Kebekus and Kov\'acs.


title: Multi-Center Federated Learning: Clients Clustering for Better Personalization

abstract: Federated learning has received great attention for its capability to train a large-scale model in a decentralized manner without needing to access user data directly. It helps protect the users' private data from centralized collecting. Unlike distributed machine learning, federated learning aims to tackle non-IID data from heterogeneous sources in various real-world applications, such as those on smartphones. Existing federated learning approaches usually adopt a single global model to capture the shared knowledge of all users by aggregating their gradients, regardless of the discrepancy between their data distributions. However, due to the diverse nature of user behaviors, assigning users' gradients to different global models (i.e., centers) can better capture the heterogeneity of data distributions across users. Our paper proposes a novel multi-center aggregation mechanism for federated learning, which learns multiple global models from the non-IID user data and simultaneously derives the optimal matching between users and centers. We formulate the problem as a joint optimization that can be efficiently solved by a stochastic expectation maximization (EM) algorithm. Our experimental results on benchmark datasets show that our method outperforms several popular federated learning methods.


title: A Position Aware Decay Weighted Network for Aspect based Sentiment Analysis

abstract: Aspect Based Sentiment Analysis (ABSA) is the task of identifying sentiment polarity of a text given another text segment or aspect. In ABSA, a text can have multiple sentiments depending upon each aspect. Aspect Term Sentiment Analysis (ATSA) is a subtask of ABSA, in which aspect terms are contained within the given sentence. Most of the existing approaches proposed for ATSA, incorporate aspect information through a different subnetwork thereby overlooking the advantage of aspect terms' presence within the sentence. In this paper, we propose a model that leverages the positional information of the aspect. The proposed model introduces a decay mechanism based on position. This decay function mandates the contribution of input words for ABSA. The contribution of a word declines as farther it is positioned from the aspect terms in the sentence. The performance is measured on two standard datasets from SemEval 2014 Task 4. In comparison with recent architectures, the effectiveness of the proposed model is demonstrated.


title: X-ray absorption in INTEGRAL AGN: Host galaxy inclination

abstract: In this work the INTEGRAL hard X-ray selected sample of AGN has been used to investigate the possible contribution of absorbing material distributed within the host galaxies to the total amount of NH measured in the X-ray band. We collected all the available axial ratio measurements of the galaxies hosting our AGN together with their morphological information and find that also for our hard X-ray selected sample a deficit of edge-on galaxies hosting type 1 AGN is present. We estimate that in our hard X-ray selected sample there is a deficit of 24% (+/- 5%) of type 1 AGN. Possible bias in redshift has been excluded, as we found the same effect in a well determined range of z where the number and the distributions of the two classes are statistically the same. Our findings clearly indicate that material located in the host galaxy on scales of hundreds of parsecs and not aligned with the putative absorbing torus of the AGN can contribute to the total amount of column density. This galactic absorber can be large enough to hide the broad line region of some type 1 AGN causing their classification as type 2 objects and giving rise to the deficiency of type 1 in edge-on galaxies.


title: Quantum coherent spin-electric control in a molecular nanomagnet at clock transitions

abstract: Electrical control of spins at the nanoscale offers significant architectural advantages in spintronics, because electric fields can be confined over shorter length scales than magnetic fields. Thus, recent demonstrations of electric-field (E-field) sensitivities in molecular spin materials are tantalising, raising the viability of the quantum analogues of macroscopic magneto-electric devices.However, the E-field sensitivities reported so far are rather weak, prompting the question of how to design molecules with stronger spin-electric couplings. Here we show that one path is to identify an energy scale in the spin spectrum that is associated with a structural degree of freedom with a significant electrical polarisability. We study an example of a molecular nanomagnet in which a small structural distortion establishes clock transitions (i.e. transitions whose energy is to first order independent of magnetic field) in the spin spectrum; the fact that this distortion is associated with an electric dipole allows us to control the clock transition energy to an unprecedented degree. We demonstrate coherent electrical control of the quantum spin state and exploit it to manipulate independently the two magnetically-identical but inversion-related molecules in the unit cell of the crystal. Our findings pave the way for the use of molecular spins in quantum technologies and spintronics.


title: Puzzling behavior of hydrated YBCO

abstract: We study the influence of a close-lying non-magnetic and non-charged metal disk on the hydration reaction of YBa2Cu3O6+d (YBCO). It has been established, that at a distance in the range of 6 - 7 mm from the disk surface, the rate of the hydration is significantly reduced relative to distances out of this interval. This effect has allowed us to assume that there is an interaction between YBCO and the disk the nature of which is still unknown. Further direct measurements of the force acting between these bodies have been performed. A recorded repulsive interaction with a magnitude of 6.5*10-6 N, which is 0.04% of the sample weight, has confirmed our assumption.