title: Causal Discovery with a Mixture of DAGs

abstract: Causal processes in biomedicine may contain cycles, evolve over time or differ between populations. However, many graphical models cannot accommodate these conditions. We propose to model causation using a mixture of directed cyclic graphs (DAGs), where the joint distribution in a population follows a DAG at any single point in time but potentially different DAGs across time. We also introduce an algorithm called Causal Inference over Mixtures that uses longitudinal data to infer a graph summarizing the causal relations generated from a mixture of DAGs. Experiments demonstrate improved performance compared to prior approaches.


title: Proceedings of the 15th International Conference on Quantum Physics and Logic

abstract: Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.


title: Generalized Intransitive Dice: Mimicking an Arbitrary Tournament

abstract: A generalized $N$-sided die is a random variable $D$ on a sample space of $N$ equally likely outcomes taking values in the set of positive integers. We say of independent $N$ sided dice $D_i, D_j$ that $D_i$ beats $D_j$, written $D_i \to D_j$, if $Prob(D_i > D_j) > \frac{1}{2} $. Examples are known of intransitive $6$-sided dice, i.e. $D_1 \to D_2 \to D_3$ but $D_3 \to D_1$. A tournament of size $n$ is a choice of direction $i \to j$ for each edge of the complete graph on $n$ vertices. We show that if $R$ is tournament on the set $\{ 1, \dots, n \}$, then for sufficiently large $N$ there exist sets of independent $N$-sided dice $\{ D_1, \dots, D_n \}$ such that $D_i \to D_j$ if and only if $i \to j$ in $R$.


title: Efficient High-dimensional Quantum Key Distribution with Hybrid Encoding

abstract: We propose a schematic setup of quantum key distribution (QKD) with an improved secret key rate based on high-dimensional quantum states. Two degrees-of-freedom of a single photon, orbital angular momentum modes, and multi-path modes, are used to encode secret key information. Its practical implementation consists of optical elements that are within the reach of current technologies such as a multiport interferometer. We show that the proposed feasible protocol has improved the secret key rate with much sophistication compared to the previous 2-dimensional protocol known as the detector-device-independent QKD.


title: Chiral Lagrangians for mesons with a single heavy quark

abstract: We construct the relativistic chiral Lagrangians for heavy-light mesons $(Q\bar{q})$ to the $\mathcal{O}(p^4)$ order. From $\mathcal{O}(p^2)$ to $\mathcal{O}(p^4)$, there are 17, 67, and 404 independent terms in the flavor $SU(2)$ case and 20, 84, and 655 independent terms in the flavor $SU(3)$ case. The Lagrangians in the heavy quark limit are also obtained. From $\mathcal{O}(p^2)$ to $\mathcal{O}(p^4)$, there are 7, 25, and 136 independent terms in the flavor $SU(2)$ case and 8, 33, and 212 independent terms in the flavor $SU(3)$ case. The relations between low-energy constants based on the heavy quark symmetry are also given up to the $\mathcal{O}(p^3)$ order.


title: Bounds on Dimension Reduction in the Nuclear Norm

abstract: $ \newcommand{\schs}{\scriptstyle{\mathsf{S}}_1} $For all $n \ge 1$, we give an explicit construction of $m \times m$ matrices $A_1,\ldots,A_n$ with $m = 2^{\lfloor n/2 \rfloor}$ such that for any $d$ and $d \times d$ matrices $A'_1,\ldots,A'_n$ that satisfy \[ \|A'_i-A'_j\|_{\schs} \,\leq\, \|A_i-A_j\|_{\schs}\,\leq\, (1+\delta) \|A'_i-A'_j\|_{\schs} \] for all $i,j\in\{1,\ldots,n\}$ and small enough $\delta = O(n^{-c})$, where $c> 0$ is a universal constant, it must be the case that $d \ge 2^{\lfloor n/2\rfloor -1}$. This stands in contrast to the metric theory of commutative $\ell_p$ spaces, as it is known that for any $p\geq 1$, any $n$ points in $\ell_p$ embed exactly in $\ell_p^d$ for $d=n(n-1)/2$. Our proof is based on matrices derived from a representation of the Clifford algebra generated by $n$ anti-commuting Hermitian matrices that square to identity, and borrows ideas from the analysis of nonlocal games in quantum information theory.


title: Manipulation of magnetization in Pd(100) ultrathin films with quantum well structure using modification of Schottky barrier potentials

abstract: The magnetization of Pd(100) ultrathin films that show ferromagnetism due to quantum well states was manipulated by changing the quantum well state with an applied bias voltage. The voltage dependence of the magnetic moment of Pd/SrTiO$_{3-x}$/Ti/Au intrinsically depends on the Pd film thickness. The induced change in the magnetic moment is due to the modulation of the phase shift at the interface between the Pd thin film and the semiconductor SrTiO$_{3-x}$ substrate.


title: Bridging the Gap Between Computational Photography and Visual Recognition

abstract: What is the current state-of-the-art for image restoration and enhancement applied to degraded images acquired under less than ideal circumstances? Can the application of such algorithms as a pre-processing step to improve image interpretability for manual analysis or automatic visual recognition to classify scene content? While there have been important advances in the area of computational photography to restore or enhance the visual quality of an image, the capabilities of such techniques have not always translated in a useful way to visual recognition tasks. Consequently, there is a pressing need for the development of algorithms that are designed for the joint problem of improving visual appearance and recognition, which will be an enabling factor for the deployment of visual recognition tools in many real-world scenarios. To address this, we introduce the UG^2 dataset as a large-scale benchmark composed of video imagery captured under challenging conditions, and two enhancement tasks designed to test algorithmic impact on visual quality and automatic object recognition. Furthermore, we propose a set of metrics to evaluate the joint improvement of such tasks as well as individual algorithmic advances, including a novel psychophysics-based evaluation regime for human assessment and a realistic set of quantitative measures for object recognition performance. We introduce six new algorithms for image restoration or enhancement, which were created as part of the IARPA sponsored UG^2 Challenge workshop held at CVPR 2018. Under the proposed evaluation regime, we present an in-depth analysis of these algorithms and a host of deep learning-based and classic baseline approaches. From the observed results, it is evident that we are in the early days of building a bridge between computational photography and visual recognition, leaving many opportunities for innovation in this area.


title: End-to-End Discriminative Deep Network for Liver Lesion Classification

abstract: Colorectal liver metastasis is one of most aggressive liver malignancies. While the definition of lesion type based on CT images determines the diagnosis and therapeutic strategy, the discrimination between cancerous and non-cancerous lesions are critical and requires highly skilled expertise, experience and time. In the present work we introduce an end-to-end deep learning approach to assist in the discrimination between liver metastases from colorectal cancer and benign cysts in abdominal CT images of the liver. Our approach incorporates the efficient feature extraction of InceptionV3 combined with residual connections and pre-trained weights from ImageNet. The architecture also includes fully connected classification layers to generate a probabilistic output of lesion type. We use an in-house clinical biobank with 230 liver lesions originating from 63 patients. With an accuracy of 0.96 and a F1-score of 0.92, the results obtained with the proposed approach surpasses state of the art methods. Our work provides the basis for incorporating machine learning tools in specialized radiology software to assist physicians in the early detection and treatment of liver lesions.


title: Transition from ion-coupled to electron-only reconnection: Basic physics and implications for plasma turbulence

abstract: Using kinetic particle-in-cell (PIC) simulations, we simulate reconnection conditions appropriate for the magnetosheath and solar wind, i.e., plasma beta (ratio of gas pressure to magnetic pressure) greater than 1 and low magnetic shear (strong guide field). Changing the simulation domain size, we find that the ion response varies greatly. For reconnecting regions with scales comparable to the ion Larmor radius, the ions do not respond to the reconnection dynamics leading to ''electron-only'' reconnection with very large quasi-steady reconnection rates. The transition to more traditional ''ion-coupled'' reconnection is gradual as the reconnection domain size increases, with the ions becoming frozen-in in the exhaust when the magnetic island width in the normal direction reaches many ion inertial lengths. During this transition, the quasi-steady reconnection rate decreases until the ions are fully coupled, ultimately reaching an asymptotic value. The scaling of the ion outflow velocity with exhaust width during this electron-only to ion-coupled transition is found to be consistent with a theoretical model of a newly reconnected field line. In order to have a fully frozen-in ion exhaust with ion flows comparable to the reconnection Alfv\'en speed, an exhaust width of at least several ion inertial lengths is needed. In turbulent systems with reconnection occurring between magnetic bubbles associated with fluctuations, using geometric arguments we estimate that fully ion-coupled reconnection requires magnetic bubble length scales of at least several tens of ion inertial lengths.


title: Super-Eddington accretion onto the Galactic ultraluminous X-ray pulsar Swift J0243.6+6124

abstract: We report on the spectral behavior of the first Galactic ultraluminous X-ray pulsar Swift J0243.6+6124 with NuSTAR observations during its 2017-2018 outburst. At sub-Eddington levels, the source spectrum is characterized by three emission components, respectively from the accretion column, the hot spot, and a broad iron line emission region. When the source is above the Eddington limit, the hot spot temperature increases and the spectrum features two more blackbody components. One blackbody component has a radius of 10-20 km and is likely originated from the top of the accretion column. The other one saturates at a blackbody luminosity of (1 - 2)*10^38 erg/s, coincident with the Eddington limit of a neutron star. This is well consistent with the scenario that super-Eddington accretion onto compact objects will power optically-thick outflows and indicates an accretion rate 60-80 times the critical value. This suggests that super-Eddington accretion onto magnetized systems can also power massive winds. At super-Eddington levels, the iron line becomes more significant and blueshifted, and is argued to be associated with the ultrafast wind in the central funnel or jets. This source, if located in external galaxies, will appear like other ultraluminous pulsars.


title: Modeling and Simulation of Robotic Finger Powered by Nylon Artificial Muscles- Equations with Simulink model

abstract: This paper shows a detailed modeling of three-link robotic finger that is actuated by nylon artificial muscles and a simulink model that can be used for numerical study of a robotic finger. The robotic hand prototype was recently demonstrated in recent publication Wu, L., Jung de Andrade, M., Saharan, L.,Rome, R., Baughman, R., and Tadesse, Y., 2017, Compact and Low-cost Humanoid Hand Powered by Nylon Artificial Muscles, Bioinspiration & Biomimetics, 12 (2). The robotic hand is a 3D printed, lightweight and compact hand actuated by silver-coated nylon muscles, often called Twisted and coiled Polymer (TCP) muscles. TCP muscles are thermal actuators that contract when they are heated and they are getting attention for application in robotics. The purpose of this paper is to demonstrate the modeling equations that were derived based on Euler Lagrangian approach that is suitable for implementation in simulink model.


title: 2DMatPedia: An open computational database of two-dimensional materials from top-down and bottom-up approaches

abstract: Two-dimensional (2D) materials have been a hot research topic in the last decade, due to novel fundamental physics in the reduced dimension and appealing applications. Systematic discovery of functional 2D materials has been the focus of many studies. Here, we present a large dataset of 2D materials, with more than 6,000 monolayer structures, obtained from both top-down and bottom-up discovery procedures. First, we screened all bulk materials in the database of Materials Project for layered structures by a topology-based algorithm, and theoretically exfoliate them into monolayers. Then, we generated new 2D materials by chemical substitution of elements in known 2D materials by others from the same group in the periodic table. The structural, electronic and energetic properties of these 2D materials are consistently calculated, to provide a starting point for further material screening, data mining, data analysis and artificial intelligence applications. We present the details of computational methodology, data record and technical validation of our publicly available data (http://www.2dmatpedia.org/).


title: Mock galaxy shape catalogs in the Subaru Hyper Suprime-Cam Survey

abstract: We use the full-sky ray-tracing weak lensing simulations to generate 2268 mock catalogues for the Subaru Hyper Suprime-Cam (HSC) survey first-year shear catalogue. Our mock catalogues take into account various effects as in the real data: the survey footprints, inhomogeneous angular distribution of source galaxies, statistical uncertainties in photometric redshift (photo-$z$) estimate, variations in the lensing weight, and the statistical noise in galaxy shape measurements including both intrinsic shapes and the measurement errors. We then utilize our mock catalogues to evaluate statistical uncertainties expected in measurements of cosmic shear two-point correlations $\xi_{\pm}$ with tomographic redshift information for the HSC survey. We develop a quasi-analytical formula for the Gaussian sample variance properly taking into account the number of source pairs in the survey footprints. The standard Gaussian formula significantly overestimates or underestimates the mock results by $50\%$ level. We also show that different photo-$z$ catalogues or the six disconnected fields, rather than a consecutive geometry, cause variations in the covariance by $\sim 5\%$. The mock catalogues enable us to study the chi-square distribution for $\xi_{\pm}$. We find the wider distribution than that naively expected for the distribution with the degrees-of-freedom of data vector used. Finally, we propose a method to include non-zero multiplicative bias in mock shape catalogue and show the non-zero multiplicative bias can change the effective shape noise in cosmic shear analyses. Our results suggest an importance of estimating an accurate form of the likelihood function (and therefore the covariance) for robust cosmological parameter inference from the precise measurements.


title: Nonsymmetric extension of the Green-Osher inequality

abstract: In this paper we obtain the extended Green-Osher inequality when two smooth, planar strictly convex bodies are at a dilation position and show the necessary and sufficient condition for the case of equality.


title: Stochastic Linear Bandits with Hidden Low Rank Structure

abstract: High-dimensional representations often have a lower dimensional underlying structure. This is particularly the case in many decision making settings. For example, when the representation of actions is generated from a deep neural network, it is reasonable to expect a low-rank structure whereas conventional structures like sparsity are not valid anymore. Subspace recovery methods, such as Principle Component Analysis (PCA) can find the underlying low-rank structures in the feature space and reduce the complexity of the learning tasks. In this work, we propose Projected Stochastic Linear Bandit (PSLB), an algorithm for high dimensional stochastic linear bandits (SLB) when the representation of actions has an underlying low-dimensional subspace structure. PSLB deploys PCA based projection to iteratively find the low rank structure in SLBs. We show that deploying projection methods assures dimensionality reduction and results in a tighter regret upper bound that is in terms of the dimensionality of the subspace and its properties, rather than the dimensionality of the ambient space. We modify the image classification task into the SLB setting and empirically show that, when a pre-trained DNN provides the high dimensional feature representations, deploying PSLB results in significant reduction of regret and faster convergence to an accurate model compared to state-of-art algorithm.


title: Stiffness: A New Perspective on Generalization in Neural Networks

abstract: In this paper we develop a new perspective on generalization of neural networks by proposing and investigating the concept of a neural network stiffness. We measure how stiff a network is by looking at how a small gradient step in the network's parameters on one example affects the loss on another example. Higher stiffness suggests that a network is learning features that generalize. In particular, we study how stiffness depends on 1) class membership, 2) distance between data points in the input space, 3) training iteration, and 4) learning rate. We present experiments on MNIST, FASHION MNIST, and CIFAR-10/100 using fully-connected and convolutional neural networks, as well as on a transformer-based NLP model. We demonstrate the connection between stiffness and generalization, and observe its dependence on learning rate. When training on CIFAR-100, the stiffness matrix exhibits a coarse-grained behavior indicative of the model's awareness of super-class membership. In addition, we measure how stiffness between two data points depends on their mutual input-space distance, and establish the concept of a dynamical critical length -- a distance below which a parameter update based on a data point influences its neighbors.


title: Neural Related Work Summarization with a Joint Context-driven Attention Mechanism

abstract: Conventional solutions to automatic related work summarization rely heavily on human-engineered features. In this paper, we develop a neural data-driven summarizer by leveraging the seq2seq paradigm, in which a joint context-driven attention mechanism is proposed to measure the contextual relevance within full texts and a heterogeneous bibliography graph simultaneously. Our motivation is to maintain the topic coherency between a related work section and its target document, where both the textual and graphic contexts play a big role in characterizing the relationship among scientific publications accurately. Experimental results on a large dataset show that our approach achieves a considerable improvement over a typical seq2seq summarizer and five classical summarization baselines.


title: Strong Black-box Adversarial Attacks on Unsupervised Machine Learning Models

abstract: Machine Learning (ML) and Deep Learning (DL) models have achieved state-of-the-art performance on multiple learning tasks, from vision to natural language modelling. With the growing adoption of ML and DL to many areas of computer science, recent research has also started focusing on the security properties of these models. There has been a lot of work undertaken to understand if (deep) neural network architectures are resilient to black-box adversarial attacks which craft perturbed input samples that fool the classifier without knowing the architecture used. Recent work has also focused on the transferability of adversarial attacks and found that adversarial attacks are generally easily transferable between models, datasets, and techniques. However, such attacks and their analysis have not been covered from the perspective of unsupervised machine learning algorithms. In this paper, we seek to bridge this gap through multiple contributions. We first provide a strong (iterative) black-box adversarial attack that can craft adversarial samples which will be incorrectly clustered irrespective of the choice of clustering algorithm. We choose 4 prominent clustering algorithms, and a real-world dataset to show the working of the proposed adversarial algorithm. Using these clustering algorithms we also carry out a simple study of cross-technique adversarial attack transferability.


title: Wiener Filtering for Passive Linear Quantum Systems

abstract: This paper considers a version of the Wiener filtering problem for equalization of passive quantum linear quantum systems. We demonstrate that taking into consideration the quantum nature of the signals involved leads to features typically not encountered in classical equalization problems. Most significantly, finding a mean-square optimal quantum equalizing filter amounts to solving a nonconvex constrained optimization problem. We discuss two approaches to solving this problem, both involving a relaxation of the constraint. In both cases, unlike classical equalization, there is a threshold on the variance of the noise below which an improvement of the mean-square error cannot be guaranteed.


title: On a trace formula for functions of noncommuting operators

abstract: The main result of the paper is that the Lifshits--Krein trace formula cannot be generalized to the case of functions of noncommuting self-adjoint operators. To prove this, we show that for pairs $(A_1,B_1)$ and $(A_2,B_2)$ of bounded self-adjoint operators with trace class differences $A_2-A_1$ and $B_2-B_1$, it is impossible to estimate the modulus of the trace of the difference $f(A_2,B_2)-f(A_1,B_1)$ in terms of the norm of $f$ in the Lipschitz class.


title: Characterizing the Shape of Activation Space in Deep Neural Networks

abstract: The representations learned by deep neural networks are difficult to interpret in part due to their large parameter space and the complexities introduced by their multi-layer structure. We introduce a method for computing persistent homology over the graphical activation structure of neural networks, which provides access to the task-relevant substructures activated throughout the network for a given input. This topological perspective provides unique insights into the distributed representations encoded by neural networks in terms of the shape of their activation structures. We demonstrate the value of this approach by showing an alternative explanation for the existence of adversarial examples. By studying the topology of network activations across multiple architectures and datasets, we find that adversarial perturbations do not add activations that target the semantic structure of the adversarial class as previously hypothesized. Rather, adversarial examples are explainable as alterations to the dominant activation structures induced by the original image, suggesting the class representations learned by deep networks are problematically sparse on the input space.


title: Probing nuclear bubble configuration by proton induced reaction

abstract: In the framework of the isospin-dependent Boltzmann-Uehling-Uhlenbeck transport model, nuclear bubble configuration in the hypothetical $^{48}$Si nucleus is studied by proton induced central reaction at an incident beam energy of 0.8 GeV/nucleon. It is found that along the beam direction more energetic protons are emitted with bubble configuration in the target. In the forward angles, compared with the case without bubble configuration, less scattered energetic protons are emitted with bubble configuration in the target. We thus provide a new way to probe the bubble configuration in nuclei.


title: User Donations in a Crowdsourced Video System

abstract: Crowdsourced video systems like YouTube and Twitch.tv have been a major internet phenomenon and are nowadays entertaining over a billion users. In addition to video sharing and viewing, over the years they have developed new features to boost the community engagement and some managed to attract users to donate, to the community as well as to other users. User donation directly reflects and influences user engagement in the community, and has a great impact on the success of such systems. Nevertheless, user donations in crowdsourced video systems remain trade secrets for most companies and to date are still unexplored. In this work, we attempt to fill this gap, and we obtain and provide a publicly available dataset on user donations in one crowdsourced video system named BiliBili. Based on information on nearly 40 thousand donators, we examine the dynamics of user donations and their social relationships, we quantitively reveal the factors that potentially impact user donation, and we adopt machine-learned classifiers and network representation learning models to timely and accurately predict the destinations of the majority and the individual donations.


title: Stability estimates and a Lagrange-Galerkin scheme for a Navier-Stokes type model of flow in non-homogeneous porous media

abstract: The purposes of this work are to study the $L^{2}$-stability of a Navier-Stokes type model for non-stationary flow in porous media proposed by Hsu and Cheng in 1989 and to develop a Lagrange-Galerkin scheme with the Adams-Bashforth method to solve that model numerically.The stability estimate is obtained thanks to the presence of a nonlinear drag force term in the model which corresponds to the Forchheimer term. We derive the Lagrange-Galerkin scheme by extending the idea of the method of characteristics to overcome the difficulty which comes from the non-homogeneous porosity. Numerical experiments are conducted to investigate the experimental order of convergence of the scheme. For both simple and complex designs of porosities, our numerical simulations exhibit natural flow profiles which well describe the flow in non-homogeneous porous media.


title: Forward and backward comparative study of jet properties in pp collisions at \sqrt{s}=7 TeV

abstract: We propose a forward method, based on the PYTHIA6.4, to study theoretically the jet properties in the ultra-relativistic pp collisions. In the forward method, the partonic initial states are first generated with PYTHIA6.4 and then hadronized in the Lund srting fragmentation regime, and finally hadronic jets are constructed from the created hadrons. Jet properties calculated in the forward method for pp collisions at \sqrt{s}=7 TeV are comparable with the corresponding ones calculated with usual anti-k_t algorithm (backward method) in the PYTHIA6.4. The comparison between the results in the backward and forward methods may bring benefit to the understanding of the partonic origin of jets in the backward method.


title: Data-to-Text Generation with Style Imitation

abstract: Recent neural approaches to data-to-text generation have mostly focused on improving content fidelity while lacking explicit control over writing styles (e.g., word choices, sentence structures). More traditional systems use templates to determine the realization of text. Yet manual or automatic construction of high-quality templates is difficult, and a template acting as hard constraints could harm content fidelity when it does not match the record perfectly. We study a new way of stylistic control by using existing sentences as soft templates. That is, the model learns to imitate the writing style of any given exemplar sentence, with automatic adaptions to faithfully describe the content record. The problem is challenging due to the lack of parallel data. We develop a neural approach that includes a hybrid attention-copy mechanism, learns with weak supervisions, and is enhanced with a new content coverage constraint. We conduct experiments in restaurants and sports domains. Results show our approach achieves stronger performance than a range of comparison methods. Our approach balances well between content fidelity and style control given exemplars that match the records to varying degrees.


title: Glass-like features of crystalline solids in the quantum critical regime

abstract: There has been growing interest in structural quantum phase transitions and quantum fluctuations of phonons in the research area of condensed matter physics. Here, we report the observation of glass-like features in the lattice heat capacity of a stuffed tridymite-type crystal, Ba1-xSrxAl2O4, a candidate compound of quantum paraelectrics. Substitutional chemical suppression of the ferroelectric phase transition temperature (TC) of Ba1-xSrxAl2O4 results in the disappearance of the TC at x=0.07. For the compositional window of x=0.2-0.5, the lattice heat capacity is enhanced below approximately 10 K and diverges from the T3-scaling law below 2.5 K. Synchrotron X-ray diffraction experiments on single crystals reveal the weakly correlated disorder in the crystal structure that survives down to low temperature; this disorder is responsible for the observed excess heat capacity. These features can be considered one of the manifestations of structural quantum fluctuations.


title: Principled analytic classifier for positive-unlabeled learning via weighted integral probability metric

abstract: We consider the problem of learning a binary classifier from only positive and unlabeled observations (called PU learning). Recent studies in PU learning have shown superior performance theoretically and empirically. However, most existing algorithms may not be suitable for large-scale datasets because they face repeated computations of a large Gram matrix or require massive hyperparameter optimization. In this paper, we propose a computationally efficient and theoretically grounded PU learning algorithm. The proposed PU learning algorithm produces a closed-form classifier when the hypothesis space is a closed ball in reproducing kernel Hilbert space. In addition, we establish upper bounds of the estimation error and the excess risk. The obtained estimation error bound is sharper than existing results and the derived excess risk bound has an explicit form, which vanishes as sample sizes increase. Finally, we conduct extensive numerical experiments using both synthetic and real datasets, demonstrating improved accuracy, scalability, and robustness of the proposed algorithm.


title: Improving Neural Network Quantization without Retraining using Outlier Channel Splitting

abstract: Quantization can improve the execution latency and energy efficiency of neural networks on both commodity GPUs and specialized accelerators. The majority of existing literature focuses on training quantized DNNs, while this work examines the less-studied topic of quantizing a floating-point model without (re)training. DNN weights and activations follow a bell-shaped distribution post-training, while practical hardware uses a linear quantization grid. This leads to challenges in dealing with outliers in the distribution. Prior work has addressed this by clipping the outliers or using specialized hardware. In this work, we propose outlier channel splitting (OCS), which duplicates channels containing outliers, then halves the channel values. The network remains functionally identical, but affected outliers are moved toward the center of the distribution. OCS requires no additional training and works on commodity hardware. Experimental evaluation on ImageNet classification and language modeling shows that OCS can outperform state-of-the-art clipping techniques with only minor overhead.


title: Note on distance matrix hashing

abstract: Hashing algorithm of dynamical set of distances is described. Proposed hashing function is residual. Data structure which implementation accelerates computations is presented


title: An iterative regularized mirror descent method for ill-posed nondifferentiable stochastic optimization

abstract: A wide range of applications arising in machine learning and signal processing can be cast as convex optimization problems. These problems are often ill-posed, i.e., the optimal solution lacks a desired property such as uniqueness or sparsity. In the literature, to address ill-posedness, a bilevel optimization problem is considered where the goal is to find among optimal solutions of the inner level optimization problem, a solution that minimizes a secondary metric, i.e., the outer level objective function. In addressing the resulting bilevel model, the convergence analysis of most existing methods is limited to the case where both inner and outer level objectives are differentiable deterministic functions. While these assumptions may not hold in big data applications, to the best of our knowledge, no solution method equipped with complexity analysis exists to address presence of uncertainty and nondifferentiability in both levels in this class of problems. Motivated by this gap, we develop a first-order method called Iterative Regularized Stochastic Mirror Descent (IR-SMD). We establish the global convergence of the iterate generated by the algorithm to the optimal solution of the bilevel problem in an almost sure and a mean sense. We derive a convergence rate of ${\cal O}\left(1/N^{0.5-\delta}\right)$ for the inner level problem, where $\delta>0$ is an arbitrary small scalar. Numerical experiments for solving two classes of bilevel problems, including a large scale binary text classification application, are presented.


title: A Lagrangian Policy for Optimal Energy Storage Control

abstract: This paper presents a millisecond-level look-ahead control algorithm for energy storage with constant space complexity and worst-case linear run-time complexity. The algorithm connects the optimal control with the Lagrangian multiplier associated with the state-of-charge constraint. It is compared to solving look-ahead control using a state-of-the-art convex optimization solver. Simulation results show that both methods obtain the same control result, while the proposed algorithm runs up to 100,000 times faster and solves most problems within one millisecond. The theoretical results from developing this algorithm also provide key insights into designing optimal energy storage control schemes at the centralized system level as well as under distributed settings.


title: Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

abstract: We study the flow (G(Qp); SG(Qp)) of trigonalizable algebraic group acting on its type space, focusing on the problem raised in [17] of whether weakly generic types coincide with almost periodic types if the group has global definable f-generic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We will give a description of of f-generic types of trigonalizable algebraic groups, and prove that every f-generic type is almost periodic.


title: Optimal Voltage Regulation of Unbalanced Distribution Networks with Coordination of OLTC and PV Generation

abstract: Photovoltaic (PV) smart inverters can regulate voltage in distribution systems by modulating reactive power of PV systems. In this paper, an optimization framework for optimal coordination of reactive power injection of smart inverters and tap operations of voltage regulators for multi-phase unbalanced distribution systems is proposed. Optimization objectives are minimization of voltage deviations and tap operations. A novel linearization method convexifies the problem and speeds up the solution. The proposed method is validated against conventional rule-based autonomous voltage regulation (AVR) on the highly-unbalanced IEEE 37 bus test system. Simulation results show that the proposed method estimates feeder voltage accurately, voltage deviation reductions are significant, over-voltage problems are mitigated, and voltage imbalance is reduced.


title: Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement

abstract: The purpose of this paper is to study the problem of computing unitary eigenvalues (U-eigenvalues) of non-symmetric complex tensors. By means of symmetric embedding of complex tensors, the relationship between U-eigenpairs of a non-symmetric complex tensor and unitary symmetric eigenpairs (US-eigenpairs) of its symmetric embedding tensor is established. An algorithm (Algorithm \ref{algo:1}) is given to compute the U-eigenvalues of non-symmetric complex tensors by means of symmetric embedding. Another algorithm, Algorithm \ref{algo:2}, is proposed to directly compute the U-eigenvalues of non-symmetric complex tensors, without the aid of symmetric embedding. Finally, a tensor version of the well-known Gauss-Seidel method is developed. Efficiency of these three algorithms are compared by means of various numerical examples. These algorithms are applied to compute the geometric measure of entanglement of quantum multipartite non-symmetric pure states.


title: Wait For It: Identifying "On-Hold" Self-Admitted Technical Debt

abstract: Self-admitted technical debt refers to situations where a software developer knows that their current implementation is not optimal and indicates this using a source code comment. In this work, we hypothesize that it is possible to develop automated techniques to understand a subset of these comments in more detail, and to propose tool support that can help developers manage self-admitted technical debt more effectively. Based on a qualitative study of 335 comments indicating self-admitted technical debt, we first identify one particular class of debt amenable to automated management: "on-hold" self-admitted technical debt, i.e., debt which contains a condition to indicate that a developer is waiting for a certain event or an updated functionality having been implemented elsewhere. We then design and evaluate an automated classifier which can identify these "on-hold" instances with an area under the receiver operating characteristic curve (AUC) of 0.83 as well as detect the specific conditions that developers are waiting for. Our work presents a first step towards automated tool support that is able to indicate when certain instances of self-admitted technical debt are ready to be addressed.


title: Streamlines for Motion Planning in Underwater Currents

abstract: Motion planning for underwater vehicles must consider the effect of ocean currents. We present an efficient method to compute reachability and cost between sample points in sampling-based motion planning that supports long-range planning over hundreds of kilometres in complicated flows. The idea is to search a reduced space of control inputs that consists of stream functions whose level sets, or streamlines, optimally connect two given points. Such stream functions are generated by superimposing a control input onto the underlying current flow. A streamline represents the resulting path that a vehicle would follow as it is carried along by the current given that control input. We provide rigorous analysis that shows how our method avoids exhaustive search of the control space, and demonstrate simulated examples in complicated flows including a traversal along the east coast of Australia, using actual current predictions, between Sydney and Brisbane.


title: Online Estimation of Ocean Current from Sparse GPS Data for Underwater Vehicles

abstract: Underwater robots are subject to position drift due to the effect of ocean currents and the lack of accurate localisation while submerged. We are interested in exploiting such position drift to estimate the ocean current in the surrounding area, thereby assisting navigation and planning. We present a Gaussian process~(GP)-based expectation-maximisation~(EM) algorithm that estimates the underlying ocean current using sparse GPS data obtained on the surface and dead-reckoned position estimates. We first develop a specialised GP regression scheme that exploits the incompressibility of ocean currents to counteract the underdetermined nature of the problem. We then use the proposed regression scheme in an EM algorithm that estimates the best-fitting ocean current in between each GPS fix. The proposed algorithm is validated in simulation and on a real dataset, and is shown to be capable of reconstructing the underlying ocean current field. We expect to use this algorithm to close the loop between planning and estimation for underwater navigation in unknown ocean currents.


title: Limiting distribution of geodesics in a geometrically finite quotients of regular trees

abstract: In this article, we prove an extreme value theorem on the limit distribution of geodesics in a geometrically finite quotient of $\Gamma\backslash\mathcal{T}$ a locally finite tree. Main examples of such graphs are quotients of a Bruhat-Tits tree $\mathcal{T}$ by non-cocompact discrete subgroups $\Gamma$ of $PGL(2,\mathbf{K})$ of a positive characteristic local field $\mathbf{K}$. We investigate, for a given time $T$, the measure of the set of $\Gamma$-equivalent geodesic classes which stay up to time $T$ the region of distance $d$ at most $N$ depending on $T$ from a fixed compact subset $D$ of $\Gamma\backslash\mathcal{T}$. Namely, for Bowen-Margulis measure $\mu$ on the space $\Gamma\backslash\mathcal{GT}$ of geodesics and the critical exponent $\delta$ of $\Gamma$, we show that there exists a constant $C$ depending on $\Gamma$ and $D$ such that $$\lim_{T\to\infty}\mu\left(\left\{[l]\in\Gamma\backslash\mathcal{GT}\colon \underset{0\le t \le T}{\textrm{max}}d(D,l(t))\le N+y\right\}\right)=e^{-q^y/e^{2\delta y}}$$ with $$N=\log_{e^{2\delta/q}}\left(\frac{T(e^{2\delta-q)}}{2e^{2\delta}-C(e^{2\delta}-q)}\right).$$


title: Black Box Submodular Maximization: Discrete and Continuous Settings

abstract: In this paper, we consider the problem of black box continuous submodular maximization where we only have access to the function values and no information about the derivatives is provided. For a monotone and continuous DR-submodular function, and subject to a bounded convex body constraint, we propose Black-box Continuous Greedy, a derivative-free algorithm that provably achieves the tight $[(1-1/e)OPT-\epsilon]$ approximation guarantee with $O(d/\epsilon^3)$ function evaluations. We then extend our result to the stochastic setting where function values are subject to stochastic zero-mean noise. It is through this stochastic generalization that we revisit the discrete submodular maximization problem and use the multi-linear extension as a bridge between discrete and continuous settings. Finally, we extensively evaluate the performance of our algorithm on continuous and discrete submodular objective functions using both synthetic and real data.


title: Sedimentation of a suspension of rods: Monte Carlo simulation of a continuous two-dimensional problem

abstract: The sedimentation of a two dimensional suspension containing rods was studied by means of kinetic Monte Carlo (MC) simulations. An off-lattice model with continuous positional and orientational degrees of freedom was considered. The initial state before sedimentation was produced using a model of random sequential adsorption. During such sedimentation, the rods undergo translational and rotational Brownian motions. The MC simulations were run at different initial number densities (the numbers of rods per unit area), $\rho_i$, and sedimentation rates, $u$. For sediment films, the spatial distributions of the rods, the order parameters and the electrical conductivities were examined. Different types of sedimentation-driven self-assembly and anisotropy of the electrical conductivity were revealed inside the sediment films. This anisotropy can be finely regulated by changes in the values of $\rho_i$ and $u$.


title: ICLR Reproducibility Challenge Report (Padam : Closing The Generalization Gap Of Adaptive Gradient Methods in Training Deep Neural Networks)

abstract: This work is a part of ICLR Reproducibility Challenge 2019, we try to reproduce the results in the conference submission PADAM: Closing The Generalization Gap of Adaptive Gradient Methods In Training Deep Neural Networks. Adaptive gradient methods proposed in past demonstrate a degraded generalization performance than the stochastic gradient descent (SGD) with momentum. The authors try to address this problem by designing a new optimization algorithm that bridges the gap between the space of Adaptive Gradient algorithms and SGD with momentum. With this method a new tunable hyperparameter called partially adaptive parameter p is introduced that varies between [0, 0.5]. We build the proposed optimizer and use it to mirror the experiments performed by the authors. We review and comment on the empirical analysis performed by the authors. Finally, we also propose a future direction for further study of Padam. Our code is available at: https://github.com/yashkant/Padam-Tensorflow


title: Calculated threshold of supratransmission phenomena in waveguide arrays with saturable nonlinearity

abstract: In this work, we consider a semi-infinite discrete nonlinear Schr\"odinger equation with saturable nonlinearity driven at one edge by a driving force. The equation models the dynamics of coupled photorefractive waveguide arrays. It has been reported that when the frequency of the driving force is in the forbidden band, energy can be transmitted along the lattices provided that the driving amplitude is above a critical value. This nonlinear tunneling is called supratransmission. Here, we explain the source of supratransmission using geometric illustrations. Approximations to the critical amplitude for supratransmission are presented as well.


title: Prime product formulas for the Riemann zeta function and related identities

abstract: In this article, we derive a Euler prime product formula for the magnitude of the Riemann zeta function $\zeta(s)$ valid for $\Re(s)>1$, as well as similar formulas for $\zeta(s)$ valid for an even and odd $k$th positive integer argument. We shall further give a set of generated formulas for $\zeta(k)$ up to $11$th order, including Ap\'ery's constant, and also construct formulas for $\zeta(3/2)$. We'll also validate these formulas numerically.


title: Diffie-Hellman in the Air: A Link Layer Approach for In-Band Wireless Pairing

abstract: Key establishment is one fundamental issue in wireless security. The widely used Diffie-Hellman key exchange is vulnerable to the man-in-the-middle attack. This paper presents a novel in-band solution for defending the man-in-the-middle attack during the key establishment process for wireless devices. Our solution is based on the insight that an attacker inevitably affects the link layer behavior of the wireless channel, and this behavior change introduced by the attacker can be detected by the legitimate users. Specifically, we propose a key exchange protocol and its corresponding channel access mechanism for the protocol message transmission, in which the Diffie-Hellman parameter is transmitted multiple times in a row without being interrupted by other data transmission on the same wireless channel. The proposed key exchange protocol forces the MITM attacker to cause multiple packet collisions consecutively at the receiver side, which can then be monitored by the proposed detection algorithm. The performance of the proposed solution is validated through both theoretical analysis and simulation: the proposed solution is secure against the MITM attack and can achieve an arbitrarily low false positive ratio. This proposed link layer solution works completely in-band, and can be easily implemented on off-the-shelf wireless devices without the requirement of any special hardware.


title: Quantifying Temperature-dependent Substrate Loss in GaN-on-Si RF Technology

abstract: Intrinsic limits to temperature-dependent substrate loss for GaN-on-Si technology, due to the change in resistivity of the substrate with temperature, are evaluated using an experimentally validated device simulation framework. Effect of room temperature substrate resistivity on temperature-dependent CPW line loss at various operating frequency bands are then presented. CPW lines for GaN-on-high resistivity Si are shown to have a pronounced temperature-dependence for temperatures above 150{\deg}C and have lower substrate losses for frequencies above the X-band. On the other hand, GaN-on-low resistivity Si is shown to be more temperature-insensitive and have lower substrate losses than even HR-Si for lower operating frequencies. The effect of various CPW geometries on substrate loss is also presented to generalize the discussion. These results are expected to act as a benchmark for temperature dependent substrate loss in GaN-on-Si RF technology.


title: Rothe method and numerical analysis for history-dependent hemivariational inequalities with applications to contact mechanics

abstract: In this paper an abstract evolutionary hemivariational inequality with a history-dependent operator is studied. First, a result on its unique solvability and solution regularity is proved by applying the Rothe method. Next, we introduce a numerical scheme to solve the inequality and derive error estimates. We apply the results to a quasistatic frictional contact problem in which the material is modeled with a viscoelastic constitutive law, the contact is given in the form of multivalued normal compliance, and friction is described with a subgradient of a locally Lipschitz potential. Finally, for the contact problem we provide the optimal error estimate.


title: FCC-to-BCC phase transitions in convex and concave hard particle systems

abstract: Particle shape plays an important role in the phase behavior of colloidal self-assembly. Recent progress in particle synthesis has made particles of polyhedral shapes and dimpled spherical shapes available. Here using computer simulations of hard particle models, we study face-centered cubic to body-centered cubic (FCC-to-BCC) phase transitions in a convex 432 polyhedral shape family and a concave dimpled sphere family. Particles in both families have four-, three-, and two-fold rotational symmetries. Via free energy calculations we find the FCC-to-BCC transitions in both families are first order. As a previous work reports the FCC-to-BCC phase transition is first order in a convex 332 family of hard polyhedra, our work provides additional insight into the FCC-to-BCC transition and how the convexity or concavity of particle shape affects phase transition pathways.


title: Structural, magnetic, and electrical properties of collinear antiferromagnetic heteroepitaxy cubic Mn$_3$Ga thin films

abstract: Although a cubic phase of Mn$_3$Ga with an antiferromagnetic order has been theoretically predicted, it has not been experimentally verified in a bulk or film form. Here, we report the structural, magnetic, and electrical properties of antiferromagnetic cubic Mn$_3$Ga (C-Mn$_3$Ga) thin films, in comparison with ferrimagnetic tetragonal Mn$_3$Ga (T-Mn3Ga). The structural analyses reveal that C-Mn$_3$Ga is hetero-epitaxially grown on MgO substrate with the Cu$_3$Au-type cubic structure, which transforms to T-Mn$_3$Ga as the RF sputtering power increases. The magnetic and magnetotransport data show the antiferromagnetic transition at T$_N$ = 400 K for C-Mn$_3$Ga and the ferrimagnetic transition at T$_C$ = 820 K for T-Mn$_3$Ga. Furthermore, we find that the antiferromagnetic C-Mn$_3$Ga exhibits a higher electrical resistivity than the ferrimagnetic T-Mn$_3$Ga, which can be understood by spin-dependent scattering mechanism.


title: Microscopic origin of ferromagnetism in trihalides CrCl$_3$ and CrI$_3$

abstract: Microscopic origin of the ferromagnetic (FM) exchange coupling in CrCl$_3$ and CrI$_3$, their common aspects and differences, are investigated on the basis of density functional theory combined with realistic modeling approach for the analysis of interatomic exchange interactions. We perform a comparative study based on the pseudopotential and linear muffin-tin orbital methods by treating the effects of electron exchange and correlation in GGA and LSDA, respectively. The results of ordinary band structure calculations are used in order to construct the minimal tight-binding type models describing the behavior of the magnetic Cr $3d$ and ligand $p$ bands in the basis of localized Wannier functions, and evaluate the effective exchange coupling ($J_{\rm eff}$) between two Cr sublattices employing four different technique: (i) Second-order Green's function perturbation theory for infinitesimal spin rotations of the LSDA (GGA) potential at the Cr sites; (ii) Enforcement of the magnetic force theorem in order to treat both Cr and ligand spins on a localized footing; (iii) Constrained total-energy calculations with an external field, treated in the framework of self-consistent linear response theory. We argue that the ligand states play crucial role in the ferromagnetism of Cr trihalides, though their contribution to $J_{\rm eff}$ strongly depends on additional assumptions, which are traced back to fundamentals of adiabatic spin dynamics. Particularly, by neglecting ligand spins in the Green's function method, $J_{\rm eff}$ can easily become antiferromagnetic, while by treating them as localized, one can severely overestimate the FM coupling. The best considered approach is based on the constraint method, where the ligand states are allowed to relax in response to each instantaneous reorientation of the Cr spins, controlled by the external field.


title: Cram\'er-type moderate deviation of normal approximation for unbounded exchangeable pairs

abstract: In Stein's method, the exchangeable pair approach is commonly used to estimate the approximation errors in normal approximation. In this paper, we establish a Cram\'er-type moderate deviation theorem of normal approximation for unbounded exchangeable pairs. As applications, Cram\'er-type moderate deviation theorems for the sums of local statistics and general Curie--Weiss model are obtained.


title: Envy-free Matchings in Bipartite Graphs and their Applications to Fair Division

abstract: A matching in a bipartite graph with parts X and Y is called envy-free if no unmatched vertex in X is a adjacent to a matched vertex in Y. Every perfect matching is envy-free, but envy-free matchings exist even when perfect matchings do not. We prove that every bipartite graph has a unique partition such that all envy-free matchings are contained in one of the partition sets. Using this structural theorem, we provide a polynomial-time algorithm for finding an envy-free matching of maximum cardinality. For edge-weighted bipartite graphs, we provide a polynomial-time algorithm for finding a maximum-cardinality envy-free matching of minimum total weight. We show how envy-free matchings can be used in various fair division problems with either continuous resources ("cakes") or discrete ones. In particular, we propose a symmetric algorithm for proportional cake-cutting, an algorithm for 1-out-of-(2n-2) maximin-share allocation of discrete goods, and an algorithm for 1-out-of-floor(2n/3) maximin-share allocation of discrete bads among n agents.


title: Comments On the heat capacity of liquids at high temperatures, S.M. Stishov, Physica A 478 (2017) 205

abstract: It is shown that the isochoric heat capacity of dense gas, fluid and liquid decreases with increasing temperature at arbitrary values of a density for many pair interaction potentials, including bonded potentials; that a decrease of the isochoric heat capacity of the liquid with increasing temperature is related to a decrease of the interaction between the particles with increasing temperature; that a radial distribution function for nonideal dilute gas, which is independent of density, can describe a temperature dependence of the isochoric heat capacity of liquid argon; that a radial distribution function dependent on the density and temperature describes a temperature dependence of the isochoric heat capacity of liquid and dense fluid; that the Carnahan-Starling equation of state for soft spheres gives a good quantitative description of the isochoric heat capacity of argon; that the fluctuations of the kinetic energy increases with temperature faster than that of the potential energy; and finally, that a liquid state can be considered as a state of dense gas. The explicit expressions to define the Frenkel line on the (temperature, density) plane are derived.


title: Artificial boundary conditions for linearized stationary incompressible viscous flow around rotating and translating body

abstract: We consider the linearized and nonlinear stationary incompressible flow around rotating and translating body in the exterior domain B with Lipschitz boundary. We derive the pointwise estimates for the pressure in both cases. Moreover, we consider the linearized problem in a truncation domain B_R of the exterior domain B under certain artificial boundary conditions on the truncating boundary and then compare this solution with the solution in the exterior domain B to get the truncation error estimate.


title: Low Mach number limit on thin domains

abstract: We consider the compressible Navier-Stokes system describing the motion of a viscous fluid confined to a straight layer $\Omega_{\delta}=(0,\delta)\times\mathbb{R}^2$. We show that the weak solutions in the 3D domain converge strongly to the solution of the 2D incompressible Navier-Stokes equations (Euler equations) when the Mach number $\epsilon $ tends to zero as well as $\delta\rightarrow 0$ (and the viscosity goes to zero).


title: Secure multi-party linear regression at plaintext speed

abstract: We detail distributed algorithms for scalable, secure multiparty linear regression and feature selection at essentially the same speed as plaintext regression. While the core geometric ideas are simple, the recognition of their broad utility when combined is novel. Our scheme opens the door to efficient and secure genome-wide association studies across multiple biobanks.


title: Target Tracking for Contextual Bandits: Application to Demand Side Management

abstract: We propose a contextual-bandit approach for demand side management by offering price incentives. More precisely, a target mean consumption is set at each round and the mean consumption is modeled as a complex function of the distribution of prices sent and of some contextual variables such as the temperature, weather, and so on. The performance of our strategies is measured in quadratic losses through a regret criterion. We offer $T^{2/3}$ upper bounds on this regret (up to poly-logarithmic terms)---and even faster rates under stronger assumptions---for strategies inspired by standard strategies for contextual bandits (like LinUCB, see Li et al., 2010). Simulations on a real data set gathered by UK Power Networks, in which price incentives were offered, show that our strategies are effective and may indeed manage demand response by suitably picking the price levels.


title: Sugihara algebras and monoids: multisorted dualities

abstract: The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these quasivarieties which, via the Test Spaces Method devised by Cabrer et al., give access to a viable method for studying admissible rules within relevance logic, specifically for extensions of the deductive system $R$-mingle. This paper builds on the work already done on the theory of natural dualities for Sugihara algebras. Its purpose is to provide an integrated suite of multisorted duality theorems of a uniform type, encompassing finitely generated quasivarieties and varieties of both Sugihara algebras and Sugihara monoids, and embracing both the odd and the even cases. The overarching theoretical framework of multisorted duality theory developed here leads on to amenable representations of free algebras. More widely, it provides a springboard to further applications.


title: Magnetotransport properties and giant anomalous Hall angle in half-Heusler compound TbPtBi

abstract: Magnetic lanthanide half-Heuslers ($R$PtBi; $R$ being the lanthanide) represent an attractive subgroup of the Heusler family and have been identified as ideal candidates for time reversal symmetry breaking topological Weyl semimetals. In this paper, we present the detailed analysis of the magnetotransport properties of frustrated antiferromagnet TbPtBi. This material shows large, non-saturating magnetoresistance (MR) with unusual magnetic field dependence. The MR of TbPtBi is significantly anisotropic with respect to the magnetic field, applied along different crystallographic directions and indicates the anisotropic nature of the Fermi surface. The chiral anomaly induced negative longitudinal magnetoresistance confirms the presence of Weyl fermions. At low temperature, Berry phase driven large anomalous Hall conductivity has been observed. The calculated anomalous Hall angle is the largest reported so far.


title: Entanglement of Identical Particles and Coherence in the First Quantization Language

abstract: We suggest a formalism to illustrate the entanglement of identical particles in the first quantization language (1QL). Our 1QL formalism enables one to exploit all the well-established quantum information tools to understand the indistinguishable ones, including the reduced density matrix and familiar entanglement measures. The rigorous quantitative relation between the amount of entanglement and the spatial coherence of particles is possible in this formalism. Our entanglement detection process is a generalization of the entanglement extraction protocol for identical particles with mode splitting proposed by Killoran et al. (2014).


title: Chern insulator in a ferromagnetic two-dimensional electron system with Dresselhaus spin-orbit coupling

abstract: We propose a Chern insulator in a two-dimensional electron system with Dresselhaus spin-orbit coupling, ferromagnetism, and spin-dependent effective mass. The analytically-obtained topological phase diagrams show the topological phase transitions induced by tuning the magnetization orientation with the Chern number varying between $1,0,-1$. The magnetization orientation tuning shown here is a more practical way of triggering the topological phase transitions than manipulating the exchange coupling that is no longer tunable after the fabrication of the system. The analytic results are confirmed by the band structure and transport calculations, showing the feasibility of this theoretical proposal. With the advanced and mature semiconductor engineering today, this Chern insulator is very possible to be experimentally realized and also promising to topological spintronics.


title: Magnetic Field Structure of Dense Cores using Spectroscopic Methods

abstract: We develop a new ''core field structure'' (CFS) model to predict the magnetic field strength and magnetic field fluctuation profile of dense cores using gas kinematics. We use spatially resolved observations of the nonthermal velocity dispersion from the Green Bank Ammonia survey along with column density maps from SCUBA-2 to estimate the magnetic field strength across seven dense cores located in the L1688 region of Ophiuchus. The CFS model predicts the profile of the relative field fluctuation, which is related to the observable dispersion in direction of the polarization vectors. Within the context of our model we find that all the cores have a transcritical mass-to-flux ratio.


title: Circularly symmetric solutions of Minimal Massive Gravity at its merger point

abstract: I find all the static circularly symmetric solutions of Minimal Massive 3D Gravity at its merger point, construct stationary versions of these and discuss some of their geometric and physical properties. It turns out that apart from a static hairy black hole, there is also a static gravitational soliton, that has been overlooked in the literature.


title: A quantative Sobolev regularity for absolute minimizers involving Hamiltonian $H(p)\in C^0 (\mathbb{R}^2)$ in plane

abstract: Suppose that $H \in C^0 (\mathbb{R}^2)$ satisfies \begin{enumerate} \item[(H1)] $H$ is locally strongly convex and locally strongly concave in $\rr^2$, \item[(H2)] $H(0)=\min_{p\in\rr^2}H(p)=0$. \end{enumerate} Let $\Omega\subset \rr^2$ be any domain. For any $u$ absolute minimizer for $H$ in $\Omega$, or if $H\in C^1(\rr^2)$ additionally, for any viscosity solution to the Aronsson equation $$\mathscr A_H[u]=\sum_{i,j=1}^2 H_{p_i}(Du) H_{p_j}(Du)u_{x_ix_j}=0 \quad \mbox{ in $\Omega$,}$$ the following are proven in this paper: \begin{enumerate} \item[(i)] We have $[H(Du)]^\alpha\in W^{1,2}_\loc(\Omega)$ whenever $\alpha>1/2-\tau_H(0)$; some quantative upper bounds are also given. Here $\tau_H(0)=1/2$ when $H\in C^2(\rr^2)$, and $0< \tau_H(0)\le 1/2$ in general. \item[(ii)] If $H\in C^1(\rr^2)$, then the distributional determinant $-{\rm det}D^2u\,dx$ is a nonnegative Radon measure in $\Omega$ and enjoys some quantative lower/upper bounds. \item[(iii)] If $H\in C^1(\rr^2)$, then for all $\alpha>\frac12-\tau_H(0)$, we have $$\mbox{$\langle D [H(Du )]^\alpha ,D_p H(Du )\rangle=0 $ almost everywhere in $\Omega$}.$$ \end{enumerate}


title: Proof of a Conjecture of Wiegold for nilpotent Lie algebras

abstract: In this short note we confirm an analog of a conjecture of James Wiegold for finite dimensional nilpotent Lie algebras.


title: On Random Subsampling of Gaussian Process Regression: A Graphon-Based Analysis

abstract: In this paper, we study random subsampling of Gaussian process regression, one of the simplest approximation baselines, from a theoretical perspective. Although subsampling discards a large part of training data, we show provable guarantees on the accuracy of the predictive mean/variance and its generalization ability. For analysis, we consider embedding kernel matrices into graphons, which encapsulate the difference of the sample size and enables us to evaluate the approximation and generalization errors in a unified manner. The experimental results show that the subsampling approximation achieves a better trade-off regarding accuracy and runtime than the Nystr\"{o}m and random Fourier expansion methods.


title: Numerical constraints on the size of generation ships from total energy expenditure on board, annual food production and space farming techniques

abstract: In the first papers of our series on interstellar generation ships we have demonstrated that the numerical code HERITAGE is able to calculate the success rate of multi-generational space missions. Thanks to the social and breeding constraints we examined, a multi-generational crew can safely reach an exoplanet after centuries of deep space travel without risks of consanguinity or genetic disorders. We now turn to addressing an equally important question : how to feed the crew? Dried food stocks are not a viable option due to the deterioration of vitamins with time and the tremendous quantities that would be required for long-term storage. The best option relies on farming aboard the spaceship. Using an updated version of HERITAGE that now accounts for age-dependent biological characteristics such as height and weight, and features related to the varying number of colonists, such as infertility, pregnancy and miscarriage rates, we can estimate the annual caloric requirements aboard using the Harris-Benedict principle. By comparing those numbers with conventional and modern farming techniques we are able to predict the size of artificial land to be allocated in the vessel for agricultural purposes. We find that, for an heterogeneous crew of 500 people living on an omnivorous, balanced diet, 0.45 km2 of artificial land would suffice in order to grow all the necessary food using a combination of aeroponics (for fruits, vegetables, starch, sugar, and oil) and conventional farming (for meat, fish, dairy, and honey).


title: Impact of different extended components of mean field models on transport coefficients of quark matter and their causal aspects

abstract: Role of different extensions of Nambu\textendash Jona-Lasinio (NJL) model like addition of vector interaction, Polyakov loop extended version (PNJL) and the entangled PNJL (EPNJL) models on transport coefficients like shear viscosity, bulk viscosity, electrical conductivity and thermal conductivity are critically analyzed. We have considered the standard expressions of transport coefficients, obtained in relaxation time approximation of kinetic theory. Influence of temperature dependent order parameters on temperature profile of transport coefficients are analyzed. Causal aspect of massless case to these different extended components of mean field models are also picturized, where an approximated lower and upper bound are drawn for shear relaxation time.


title: K\"ahler structures on quantum irreducible flag manifolds

abstract: We prove that all quantum irreducible flag manifolds admit K\"ahler structures, as defined by \'O Buachalla. In order to show this result, we also prove that the differential calculi defined by Heckenberger and Kolb are differential *-calculi in a natural way.


title: Positivity of Brown-York mass with quasi-positive boundary data

abstract: In this short note, we prove positivity of Brown-York mass under quasi-positive boundary data which generalize some previous results by the authors. The corresponding rigidity result is obtained.


title: Interpretable Complex-Valued Neural Networks for Privacy Protection

abstract: Previous studies have found that an adversary attacker can often infer unintended input information from intermediate-layer features. We study the possibility of preventing such adversarial inference, yet without too much accuracy degradation. We propose a generic method to revise the neural network to boost the challenge of inferring input attributes from features, while maintaining highly accurate outputs. In particular, the method transforms real-valued features into complex-valued ones, in which the input is hidden in a randomized phase of the transformed features. The knowledge of the phase acts like a key, with which any party can easily recover the output from the processing result, but without which the party can neither recover the output nor distinguish the original input. Preliminary experiments on various datasets and network structures have shown that our method significantly diminishes the adversary's ability in inferring about the input while largely preserves the resulting accuracy.


title: Pairs of a tree and a nontree graph with the same status sequence

abstract: The status of a vertex $x$ in a graph is the sum of the distances between $x$ and all other vertices. Let $G$ be a connected graph. The status sequence of $G$ is the list of the statuses of all vertices arranged in nondecreasing order. $G$ is called status injective if all the statuses of its vertices are distinct. Let $G$ be a member of a family of graphs $\mathscr{F}$ and let the status sequence of $G$ be $s.$ $G$ is said to be status unique in $\mathscr{F}$ if $G$ is the unique graph in $\mathscr{F}$ whose status sequence is $s.$ In 2011, J.L. Shang and C. Lin posed the following two conjectures. Conjecture 1: A tree and a nontree graph cannot have the same status sequence. Conjecture 2: Any status injective tree is status unique in all connected graphs. We settle these two conjectures negatively. For every integer $n\ge 10,$ we construct a tree $T_n$ and a unicyclic graph $U_n,$ both of order $n,$ with the following two properties: (1) $T_n$ and $U_n$ have the same status sequence; (2) for $n\ge 15,$ if $n$ is congruent to $3$ modulo $4$ then $T_n$ is status injective and among any four consecutive even orders, there is at least one order $n$ such that $T_n$ is status injective.


title: CURE: Curvature Regularization For Missing Data Recovery

abstract: Missing data recovery is an important and yet challenging problem in imaging and data science. Successful models often adopt certain carefully chosen regularization. Recently, the low dimension manifold model (LDMM) was introduced by S.Osher et al. and shown effective in image inpainting. They observed that enforcing low dimensionality on image patch manifold serves as a good image regularizer. In this paper, we observe that having only the low dimension manifold regularization is not enough sometimes, and we need smoothness as well. For that, we introduce a new regularization by combining the low dimension manifold regularization with a higher order Curvature Regularization, and we call this new regularization CURE for short. The key step of solving CURE is to solve a biharmonic equation on a manifold. We further introduce a weighted version of CURE, called WeCURE, in a similar manner as the weighted nonlocal Laplacian (WNLL) method. Numerical experiments for image inpainting and semi-supervised learning show that the proposed CURE and WeCURE significantly outperform LDMM and WNLL respectively.


title: Construction and quality assurance of the Belle II Silicon Vertex Detector

abstract: The Belle II experiment, which is situated at the interaction point of the SuperKEKB $e^+e^{-}$ collider at KEK, Tsukuba, Japan, is expected to collect data corresponding to an integrated luminosity of 50~ab$^{- 1}$. This data set will be sensitive to beyond-the-standard-model physics via precision measurements and searches for very rare decays. At its heart lies a six-layer vertex detector consisting of two layers of pixel detectors (PXD) and four layers of double-sided silicon microstrip detectors (SVD). Precise vertexing as provided by this device is essential for measurements of time-dependent $CP$ violation. Crucial aspects of the SVD assembly are precise alignment, as well as rigorous electrical and geometrical quality assurance. We present an overview of the construction of the SVD, including the precision gluing of SVD component modules and the wire-bonding of various electrical components. We also discuss the electrical and geometrical quality assurance tests.


title: Folding model analysis of $ ^{12}C- ^{12}C $ and $ ^{16}O- ^{16}O $ elastic scattering using the density-dependent LOCV averaged effective interaction

abstract: The averaged effective two-body interaction (\textit{AEI}) which can be generated through the lowest order constrained variational (\textit{LOCV}) method for symmetric nuclear matter (\textit{SNM}) with the input \textit{Reid}68 nucleon-nucleon potential, is used as the effective nucleon-nucleon potential in the folding model to describe the heavy-ion (\textit{HI}) elastic scattering cross sections. The elastic scattering cross sections of $^{12}C-^{12}C$ and $^{16}O-^{16}O$ systems are calculated in the above frameworks. The results are compared with the corresponding calculations coming from the fitting procedures with the input finite range \textit{DDM3Y1-Reid} potential and the available experimental data at different incident energies. It is shown that a reasonable description of the elastic $^{12}C-^{12}C$ and $^{16}O-^{16}O$ scattering data at the low and the medium energies can be obtained by using the above \textit{ LOCV AEI}, without any need to define a parameterize density dependent function in the effective nucleon-nucleon potential, which is formally considered in the typical \textit{DDM3Y1-Reid} interactions.


title: A Spatially Discrete Approximation to Log-Gaussian Cox Processes for Modelling Aggregated Disease Count Data

abstract: In this paper, we develop a computationally efficient discrete approximation to log-Gaussian Cox process (LGCP) models for the analysis of spatially aggregated disease count data. Our approach overcomes an inherent limitation of spatial models based on Markov structures, namely that each such model is tied to a specific partition of the study area, and allows for spatially continuous prediction. We compare the predictive performance of our modelling approach with LGCP through a simulation study and an application to primary biliary cirrhosis incidence data in Newcastle-Upon-Tyne, UK. Our results suggest that when disease risk is assumed to be a spatially continuous process, the proposed approximation to LGCP provides reliable estimates of disease risk both on spatially continuous and aggregated scales. The proposed methodology is implemented in the open-source R package SDALGCP.


title: Phenomenology of an extended IDM with loop-generated fermion mass hierarchies

abstract: We perform a comprehensive analysis of the most distinctive and important phenomenological implications of the recently proposed mechanism of sequential loop generation of strong hierarchies in the Standard Model (SM) fermion mass spectra. This mechanism is consistently realized at the level of renormalizable interactions in an extended variant of the Inert Higgs Doublet model, possessing the additional $Z_{2}^{(1)}\times Z_{2}^{(2)}$ discrete and $U_{1X}$ gauge family symmetries, while the matter sectors of the SM are extended by means of $SU_{2L}$-singlet scalars, heavy vector-like leptons and quarks, as well as right-handed neutrinos. We thoroughly analyze the most stringent constraints on the model parameter space, coming from the $Z^{\prime }$ collider searches, related to the anomaly in lepton universality, and the muon anomalous magnetic moment, as well as provide benchmark points for further tests of the model and discuss possible "standard candle" signatures relevant for future explorations.


title: On the dynamics of reaction coordinates in classical, time-dependent, many-body processes

abstract: Complex microscopic many-body processes are often interpreted in terms of so-called `reaction coordinates', i.e. in terms of the evolution of a small set of coarse-grained observables. A rigorous method to produce the equation of motion of such observables is to use projection operator techniques, which split the dynamics of the observables into a main contribution and a marginal one. The basis of any derivation in this framework is the classical (or quantum) Heisenberg equation for an observable. If the Hamiltonian of the underlying microscopic dynamics and the observable under study do not explicitly depend on time, this equation is obtained by a straight-forward derivation. However, the problem is more complicated if one considers Hamiltonians which depend on time explicitly as e.g. in systems under external driving, or if the observable of interest has an explicit dependence on time. We use an analogy to fluid dynamics to derive the classical Heisenberg picture and then apply a projection operator formalism to derive the non-stationary generalized Langevin equation for a coarse-grained variable. We show, in particular, that the results presented for time-independent Hamiltonians and observables in J. Chem. Phys. 147, 214110 (2017) can be generalized to the time-dependent case.


title: Techniques for System Information Broadcast in Cell-Free Massive MIMO

abstract: We consider transmission of system information in a cell-free massive MIMO system, when the transmitting access points do not have any channel state information and the receiving terminal has to estimate the channel based on downlink pilots. We analyze the system performance in terms of outage rate and coverage probability, and use space-time block codes to increase performance. We propose a heuristic method for pilot/data power optimization that can be applied without any channel state information at the access points. We also analyze the problem of grouping the access points, which is needed when the single-antenna access points jointly transmit a space-time block code.


title: Nonparametric relative error estimation of the regression function for censored data

abstract: Let $ (T_i)_i$ be a sequence of independent identically distributed (i.i.d.) random variables (r.v.) of interest distributed as $ T$ and $(X_i)_i$ be a corresponding vector of covariates taking values on $ \mathbb{R}^d$. In censorship models the r.v. $T$ is subject to random censoring by another r.v. $C$. In this paper we built a new kernel estimator based on the so-called synthetic data of the mean squared relative error for the regression function. We establish the uniform almost sure convergence with rate over a compact set and its asymptotic normality. The asymptotic variance is explicitly given and as product we give a confidence bands. A simulation study has been conducted to comfort our theoretical results


title: On Achievable Accuracy of Localization in Magnetic Induction-Based Internet of Underground Things for Oil and Gas Reservoirs

abstract: Magnetic Induction (MI) is an efficient wireless communication method to deploy operational internet of underground things (IOUT) for oil and gas reservoirs. The IOUT consists of underground things which are capable of sensing the underground environment and communicating with the surface. The MI-based IOUT enable many applications, such as monitoring of the oil rigs, optimized fracturing, and optimized extraction. Most of these applications are dependent on the location of the underground things and therefore require accurate localization techniques. The existing localization techniques for MI-based underground sensing networks are two-dimensional and do not characterize the achievable accuracy of the developed methods which are both crucial and challenging tasks. Therefore, this paper presents the expression of the Cramer Rao lower bound (CRLB) for three-dimensional MI-based IOUT localization which takes into account the channel parameters of the underground magnetic-induction. The derived CRLB provide the suggestions for an MI-based underground localization system by associating the system parameters with the error trend. Numerical results demonstrate that localization accuracy is affected by different channel and networks parameters such as the number of anchors, noise variance, frequency, and the number of underground things.


title: Out-of-Sample Testing for GANs

abstract: We propose a new method to evaluate GANs, namely EvalGAN. EvalGAN relies on a test set to directly measure the reconstruction quality in the original sample space (no auxiliary networks are necessary), and it also computes the (log)likelihood for the reconstructed samples in the test set. Further, EvalGAN is agnostic to the GAN algorithm and the dataset. We decided to test it on three state-of-the-art GANs over the well-known CIFAR-10 and CelebA datasets.


title: Micromechanical approach for the analysis of wave propagation in particulate composites

abstract: Laser ultrasonic non-destructive testing is widely used for the inspection of mechanical structures. This method uses the propagation of ultrasonic guided waves (UGW) in the media. For this purpose, it has been demonstrated that the addition of a thin composite layer between the laser source and the structure for inspection is necessary. Consequently, this composite is an optoacoustic transducer composed of an absorption material such as carbon for inclusions and an expanding material such as an elastomer for the matrix. Thus, optimal fabrication of this composite should enable the amplification of the signal for inspection. Indeed, experimental research has demonstrated that variation in the volume fraction of carbon inclusions, their shape, and the nature of the matrix, affect the amplification of the signal directly. The aim of this study is to analyse the wave propagation in particulate viscoelastic composites by a dynamic self-consistent approach.


title: Capacity Optimality of AMP in Coded Systems

abstract: This paper studies a large random matrix system (LRMS) model involving an arbitrary signal distribution and forward error control (FEC) coding. We establish an area property based on the so-called Turbo approximate message passing (Turbo-AMP) algorithm. Under the assumption that the state evolution for AMP is correct for the coded system, the achievable rate of Turbo-AMP is analyzed. We prove that Turbo-AMP achieves the constraint capacity of the LRMS with an arbitrary signal distribution provided that a matching condition is satisfied. As a byproduct, we provide an alternative derivation for the constraint capacity of an LRMS using a proved property of AMP. We discuss realization techniques for the matching principle of binary signaling using irregular low-density parity-check (LDPC) codes and provide related numerical results. We show that optimized codes demonstrate significantly better performance over un-matched ones under Turbo-AMP. For quadrature phase shift keying (QPSK) modulation, bit error rate (BER) performance within 1 dB from the constrained capacity limit is observed.


title: Triangle-degrees in graphs and tetrahedron coverings in 3-graphs

abstract: We investigate a covering problem in $3$-uniform hypergraphs ($3$-graphs): given a $3$-graph $F$, what is $c_1(n,F)$, the least integer $d$ such that if $G$ is an $n$-vertex $3$-graph with minimum vertex degree $\delta_1(G)>d$ then every vertex of $G$ is contained in a copy of $F$ in $G$ ? We asymptotically determine $c_1(n,F)$ when $F$ is the generalised triangle $K_4^{(3)-}$, and we give close to optimal bounds in the case where $F$ is the tetrahedron $K_4^{(3)}$ (the complete $3$-graph on $4$ vertices). This latter problem turns out to be a special instance of the following problem for graphs: given an $n$-vertex graph $G$ with $m> n^2/4$ edges, what is the largest $t$ such that some vertex in $G$ must be contained in $t$ triangles? We give upper bound constructions for this problem that we conjecture are asymptotically tight. We prove our conjecture for tripartite graphs, and use flag algebra computations to give some evidence of its truth in the general case.


title: Non linear Schr{\"o}dinger limit of bosonic ground states, again

abstract: I review an information-theoretic variant of the quantum de Finetti theorem due to Brand{\~a}o and Harrow and discuss its applications to the topic of bosonic mean-field limits. This leads to slightly improved methods for the derivation of the local non-linear Schr{\"o}dinger energy functional from many-body quantum mechanics.


title: Galton-Watson process and bayesian inference: A turnkey method for the viability study of small populations

abstract: 1 Sharp prediction of extinction times is needed in biodiversity monitoring and conservation management. 2 The Galton-Watson process is a classical stochastic model for describing population dynamics. Its evolution is like the matrix population model where offspring numbers are random. Extinction probability, extinction time, abundance are well known and given by explicit formulas. In contrast with the deterministic model, it can be applied to small populations. 3 Parameters of this model can be estimated through the Bayesian inference framework. This enables to consider non-arbitrary scenarios. 4 We show how coupling Bayesian inference with the Galton-Watson model provides several features: i) a flexible modelling approach with easily understandable parameters ii) compatibility with the classical matrix population model (Leslie type model) iii) A non-computational approach which then leads to more information with less computing iv) a non-arbitrary choice for scenarios, parameters... It can be seen to go one step further than the classical matrix population model for the viability problem. 5 To illustrate these features, we provide analysis details for two examples whose one of which is a real life example.


title: Simple model for electrical hole spin manipulation in semiconductor quantum dots: Impact of dot material and orientation

abstract: We analyze a prototypical particle-in-a-box model for a hole spin qubit. This quantum dot is subjected to static magnetic and electric fields, and to a radio-frequency electric field that drives Rabi oscillations owing to spin-orbit coupling. We derive the equations for the Rabi frequency in a regime where the Rabi oscillations mostly result from the coupling between the qubit states and a single nearby excited state. This regime has been shown to prevail in, e.g., hole spin qubits in thin silicon-on-insulator nanowires. The equations for the Rabi frequency highlight the parameters that control the Rabi oscillations. We show, in particular, that [110]-oriented dots on (001) substrates perform much better than [001]-oriented dots because they take best advantage of the anisotropy of the valence band of the host material. We also conclude that silicon provides the best opportunities for fast Rabi oscillations in this regime despite small spin-orbit coupling.


title: Elastic proton-proton scattering at LHC energies in holographic QCD

abstract: The cross sections of the high energy proton-proton scattering are studied in a holographic QCD model, focusing on the Regge regime. In our model setup, the involved nonperturbative partonic dynamics is described by the Pomeron exchange, which is realized by applying the Reggeized spin-2 particle propagator together with the proton gravitational form factor obtained from the bottom-up AdS/QCD model. Our model includes three adjustable parameters which are to be fitted by experimental data. We show that both the resulting differential and total cross sections are consistent with data, including the ones recently measured at $\sqrt{s}=13$ TeV by the TOTEM collaboration at the LHC. Our results imply that the present framework works well in the considered TeV scale, and further applications to other high energy scattering processes, in which the involved strong interaction can be approximated by the Pomeron exchange, are possible.


title: Fairness in representation: quantifying stereotyping as a representational harm

abstract: While harms of allocation have been increasingly studied as part of the subfield of algorithmic fairness, harms of representation have received considerably less attention. In this paper, we formalize two notions of stereotyping and show how they manifest in later allocative harms within the machine learning pipeline. We also propose mitigation strategies and demonstrate their effectiveness on synthetic datasets.


title: Physical-Layer Supervised Learning Assisted by an Entangled Sensor Network

abstract: Many existing quantum supervised learning (SL) schemes consider data given a priori in a classical description. With only noisy intermediate-scale quantum (NISQ) devices available in the near future, their quantum speedup awaits the development of quantum random access memories (qRAMs) and fault-tolerant quantum computing. There, however, also exist a multitude of SL tasks whose data are acquired by sensors, e.g., pattern classification based on data produced by imaging sensors. Solving such SL tasks naturally requires an integrated approach harnessing tools from both quantum sensing and quantum computing. We introduce supervised learning assisted by an entangled sensor network (SLAEN) as a means to carry out SL tasks at the physical layer. The entanglement shared by the sensors in SLAEN boosts the performance of extracting global features of the object under investigation. We leverage SLAEN to construct an entanglement-assisted support-vector machine for data classification and entanglement-assisted principal component analyzer for data compression. In both schemes, variational circuits are employed to seek the optimum entangled probe states and measurement settings to maximize the entanglement-enabled {enhancement}. We observe that SLAEN enjoys an appreciable entanglement-enabled performance gain, even in the presence of loss, over conventional strategies in which classical data are acquired by separable sensors and subsequently processed by classical SL algorithms. SLAEN is realizable with available technology, opening a viable route toward building NISQ devices that offer unmatched performance beyond what the optimum classical device is able to afford.


title: From-Below Boolean Matrix Factorization Algorithm Based on MDL

abstract: During the past few years Boolean matrix factorization (BMF) has become an important direction in data analysis. The minimum description length principle (MDL) was successfully adapted in BMF for the model order selection. Nevertheless, a BMF algorithm performing good results from the standpoint of standard measures in BMF is missing. In this paper, we propose a novel from-below Boolean matrix factorization algorithm based on formal concept analysis. The algorithm utilizes the MDL principle as a criterion for the factor selection. On various experiments we show that the proposed algorithm outperforms---from different standpoints---existing state-of-the-art BMF algorithms.


title: Detection of a Signal in Colored Noise: A Random Matrix Theory Based Analysis

abstract: This paper investigates the classical statistical signal processing problem of detecting a signal in the presence of colored noise with an unknown covariance matrix. In particular, we consider a scenario where m-dimensional p possible signal-plus-noise samples and m-dimensional n noise-only samples are available at the detector. Then the presence of a signal can be detected using the largest generalized eigenvalue (l.g.e.) of the so called whitened sample covariance matrix. This amounts to statistically characterizing the maximum eigenvalue of the deformed Jacobi unitary ensemble (JUE). To this end, we employ the powerful orthogonal polynomial approach to determine a new finite dimensional expression for the cumulative distribution function (c.d.f.) of the l.g.e. of the deformed JUE. This new c.d.f. expression facilitates the further analysis of the receiver operating characteristics (ROC) of the detector. It turns out that, for m=n, when m and p increase such that m/p attains a fixed value, there exists an optimal ROC profile corresponding to each fixed signal-to-noise ratio (SNR). In this respect, we have established a tight approximation for the corresponding optimal ROC profile.


title: Behavior of confined granular beds under cyclic thermal loading

abstract: We investigate the mechanical behavior of a confined granular packing of irregular polyhedral particles under repeated heating and cooling cycles by means of numerical simulations with the Non-Smooth Contact Dynamics method. Assuming a homogeneous temperature distribution as well as constant temperature rate, we study the effect of the container shape, and coefficients of thermal expansions on the pressure buildup at the confining walls and the density evolution. We observe that small changes in the opening angle of the confinement can lead to a drastic peak pressure reduction. Furthermore, the displacement fields over several thermal cycles are obtained and we discover the formation of convection cells inside the granular material having the shape of a torus. The root mean square of the vorticity is then calculated from the displacement fields and a quadratic dependency on the ratio of thermal expansion coefficients is established.


title: Stochastic and long-distance level spacing statistics in many-body localization

abstract: From the random matrix theory all the energy levels should be strongly correlated due to the presence of all off-diagonal entries.In this work we introduce two new statistics to more accurately characterize these long-distance interactions in the disordered many-body systems with only short-range interaction. In the $(p, q)$ statistics, we directly measure the long distance energy level spacings, while in the second approach, we randomly eliminate some of the energy levels, and then measure the reserved $\eta\%$ energy levels using nearest-neighbor level spacings. We benchmark these results using the results in standard Gaussian ensembles. Some analytical distribution functions with extremely high accuracy are derived, which automatically satisfy the inverse relation and duality relation. These two measurements satisfy the same universal scaling law during the transition from the Gaussian ensembles to the Poisson ensemble, with critical disorder strength and corresponding exponent are independent of these measurements. These results shade new insight into the stability of many-body localized phase and their universal properties in the disordered many-body systems.


title: Symmetry reduction and periodic solutions in Hamiltonian Vlasov systems

abstract: In this paper, we discuss a general approach to find periodic solutions bifurcating from equilibrium points of classical Vlasov systems. The main access to the problem is chosen through the Hamiltonian representation of any Vlasov system, firstly put forward by Fr\"ohlich, Knowles, and Schwarz, and generalized more recently by the author. The method transforms the problem into a setup of complex valued $\mathcal{L}^2$ functions with phase equivariant Hamiltonian. Through Marsden-Weinstein symmetry reduction, the problem is mapped on a Hamiltonian system on the quotient manifold $\mathbb{S}^{\mathcal{L}^2}/\mathbb{S}^1$ which actually proves to be necessary to close many trajectories of the dynamics. As a toy model to apply the method we use the Harmonic Vlasov system, a non-relativistic Vlasov equation with attractive harmonic two-body interaction potential. The simple structure of this model allows to compute all of its solutions directly and therefore test the benefits of the Hamiltonian formalism and symmetry reduction in Vlasov systems.


title: Study of the Particular Solution of a Hamilton-Jacobi-Bellman Equation for a Jump-Diffusion Process

abstract: We present an analytic solution of a differential-difference equation that appears when one solves an optimal stopping time problem with state process following a jump-diffusion process. This equation occurs in the context of real options and finance options, for instance, when one derives the optimal time to undertake a decision. Due to the jump process, the equation is not local in the boundary set. The solution that we present - which takes into account the geometry of the problem - is written in a backward form, and therefore its analysis (along with its implementation) is easy to follow.