title: No-Reference Light Field Image Quality Assessment Based on Spatial-Angular Measurement

abstract: Light field image quality assessment (LFI-QA) is a significant and challenging research problem. It helps to better guide light field acquisition, processing and applications. However, only a few objective models have been proposed and none of them completely consider intrinsic factors affecting the LFI quality. In this paper, we propose a No-Reference Light Field image Quality Assessment (NR-LFQA) scheme, where the main idea is to quantify the LFI quality degradation through evaluating the spatial quality and angular consistency. We first measure the spatial quality deterioration by capturing the naturalness distribution of the light field cyclopean image array, which is formed when human observes the LFI. Then, as a transformed representation of LFI, the Epipolar Plane Image (EPI) contains the slopes of lines and involves the angular information. Therefore, EPI is utilized to extract the global and local features from LFI to measure angular consistency degradation. Specifically, the distribution of gradient direction map of EPI is proposed to measure the global angular consistency distortion in the LFI. We further propose the weighted local binary pattern to capture the characteristics of local angular consistency degradation. Extensive experimental results on four publicly available LFI quality datasets demonstrate that the proposed method outperforms state-of-the-art 2D, 3D, multi-view, and LFI quality assessment algorithms.


title: Nesterov Accelerated Gradient and Scale Invariance for Adversarial Attacks

abstract: Deep learning models are vulnerable to adversarial examples crafted by applying human-imperceptible perturbations on benign inputs. However, under the black-box setting, most existing adversaries often have a poor transferability to attack other defense models. In this work, from the perspective of regarding the adversarial example generation as an optimization process, we propose two new methods to improve the transferability of adversarial examples, namely Nesterov Iterative Fast Gradient Sign Method (NI-FGSM) and Scale-Invariant attack Method (SIM). NI-FGSM aims to adapt Nesterov accelerated gradient into the iterative attacks so as to effectively look ahead and improve the transferability of adversarial examples. While SIM is based on our discovery on the scale-invariant property of deep learning models, for which we leverage to optimize the adversarial perturbations over the scale copies of the input images so as to avoid "overfitting" on the white-box model being attacked and generate more transferable adversarial examples. NI-FGSM and SIM can be naturally integrated to build a robust gradient-based attack to generate more transferable adversarial examples against the defense models. Empirical results on ImageNet dataset demonstrate that our attack methods exhibit higher transferability and achieve higher attack success rates than state-of-the-art gradient-based attacks.


title: Surface currents in Hall devices

abstract: A variational approach is used in order to study the stationary states of Hall devices. Charge accumulation, electric potentials and electric currents are investigated on the basis of the Kirchhoff-Helmholtz principle of least heat dissipation. A simple expression for the state of minimum power dissipated -- that corresponds to zero transverse current and harmonic chemical potential -- is derived. It is shown that a longitudinal surface current proportional to the charge accumulation is flowing near the edges of the device. Charge accumulation and surface currents define a boundary layer over a distance of the order of the Debye-Fermi length.


title: Push-Pull Optimization of Quantum Controls

abstract: Quantum optimal control involves setting up an objective function that evaluates the quality of an operator representing the realized process w.r.t. the target process. Here we propose a stronger objective function which incorporates not only the target operator but also a set of its orthogonal operators. We find significantly superior convergence of optimization routines with the combined influences of all the operators. We refer to this method as the $\textit{push-pull}$ optimization. In particular, we describe adopting the push-pull optimization to a gradient based approach and a variational-principle based approach. We carry out extensive numerical simulations of the push-pull optimization of quantum controls on a pair of Ising coupled qubits. Finally, we demonstrate its experimental application by preparing a long-lived singlet-order in a two-qubit system using NMR techniques.


title: Stacking transition in rhombohedral graphite

abstract: Few layer graphene (FLG) has been recently intensively investigated for its variable electronic properties defined by a local atomic arrangement. While the most natural layers arrangement in FLG is ABA (Bernal) stacking, a metastable ABC (rhombohedral) stacking characterized by a relatively high energy barrier can also occur. When both stacking occur in the same FLG device this results in in-plane heterostructure with a domain wall (DW). We show that ABC stacking in FLG can be controllably and locally turned into ABA stacking by two following approaches. In the first approach, Joule heating was introduced and the transition was characterized by 2D-peak Raman spectra at a submicron spatial resolution. The observed transition was initiated at a small region and then the DW controllably shifted until the entire device became ABA stacked. In the second approach, the transition was achieved by illuminating the ABC region with a train of laser pulses of 790 nm wavelength, while the transition was visualized by transmission electron microscopy in both diffraction and dark field modes. Also, with this approach, a DW was visualized in the dark-field imaging mode, at a nanoscale spatial resolution.


title: Non-spreading matter-wave packets in a ring

abstract: Non-spreading wave packets and matter-wave packets in ring traps both have attracted great research interests due to their miraculous physical properties and tempting applications for quite a long time. Here, we proved that there exists only one set of non-spreading matter-wave packets in a free ring, and this set of wave packets have been found analytically. These non-spreading matter-wave packets can be realized in a toroidal trapped Bose-Einstein condensate system with the help of Feshbach resonance to eliminate contact interaction between atoms. Since experimentally residual interaction noise will always exist, its effect on the stability of these non-spreading wave packets is also examined. Qualitatively, under weak residual interaction noise, these non-spreading wave packets can preserve their shape for quite a long time, while a stronger interaction noise will induce shape breathing of the wave packets. Shape-keeping abilities of these wave packets are further studied quantitatively. We found that this set of wave packets have the same shape-keeping ability against interaction noise. And, the shape-keeping ability is linearly related to the interaction noise strength.


title: Ferromagnetism in the SU($n$) Hubbard model with a nearly flat band

abstract: We present rigorous results for the SU($n$) Fermi-Hubbard model on the railroad-trestle lattice. We first study the model with a flat band at the bottom of the single-particle spectrum and prove that the ground states exhibit SU($n$) ferromagnetism when the total fermion number is the same as the number of unit cells. We then perturb the model by adding extra hopping terms and make the flat band dispersive. Under the same filling condition, it is proved that the ground states of the perturbed model remain SU($n$) ferromagnetic when the bottom band is nearly flat. This is the first rigorous example of the ferromagnetism in nonsingular SU($n$) Hubbard models in which both the single-particle density of states and the on-site repulsive interaction are finite.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Scheduling Policies for Federated Learning in Wireless Networks

abstract: Motivated by the increasing computational capacity of wireless user equipments (UEs), e.g., smart phones, tablets, or vehicles, as well as the increasing concerns about sharing private data, a new machine learning model has emerged, namely federated learning (FL), that allows a decoupling of data acquisition and computation at the central unit. Unlike centralized learning taking place in a data center, FL usually operates in a wireless edge network where the communication medium is resource-constrained and unreliable. Due to limited bandwidth, only a portion of UEs can be scheduled for updates at each iteration. Due to the shared nature of the wireless medium, transmissions are subjected to interference and are not guaranteed. The performance of FL system in such a setting is not well understood. In this paper, an analytical model is developed to characterize the performance of FL in wireless networks. Particularly, tractable expressions are derived for the convergence rate of FL in a wireless setting, accounting for effects from both scheduling schemes and inter-cell interference. Using the developed analysis, the effectiveness of three different scheduling policies, i.e., random scheduling (RS), round robin (RR), and proportional fair (PF), are compared in terms of FL convergence rate. It is shown that running FL with PF outperforms RS and RR if the network is operating under a high signal-to-interference-plus-noise ratio (SINR) threshold, while RR is more preferable when the SINR threshold is low. Moreover, the FL convergence rate decreases rapidly as the SINR threshold increases, thus confirming the importance of compression and quantization of the update parameters. The analysis also reveals a trade-off between the number of scheduled UEs and subchannel bandwidth under a fixed amount of available spectrum.


title: Leveraging Sentence Similarity in Natural Language Generation: Improving Beam Search using Range Voting

abstract: We propose a method for natural language generation, choosing the most representative output rather than the most likely output. By viewing the language generation process from the voting theory perspective, we define representativeness using range voting and a similarity measure. The proposed method can be applied when generating from any probabilistic language model, including n-gram models and neural network models. We evaluate different similarity measures on an image captioning task and a machine translation task, and show that our method generates longer and more diverse sentences, providing a solution to the common problem of short outputs being preferred over longer and more informative ones. The generated sentences obtain higher BLEU scores, particularly when the beam size is large. We also perform a human evaluation on both tasks and find that the outputs generated using our method are rated higher.


title: Algebraic independence of certain entire functions of two variables generated by linear recurrences

abstract: In this paper we construct an entire function of two variables having the property that its values and its partial derivatives of any order at any distinct algebraic points are algebraically independent. Such an entire function is generated by a linear recurrence. In order to prove this result, we reduce the algebraic independency to that of Mahler functions of several variables by shifting the linear recurrence and apply the theory of Mahler functions.


title: Occlusion Robust Face Recognition Based on Mask Learning with PairwiseDifferential Siamese Network

abstract: Deep Convolutional Neural Networks (CNNs) have been pushing the frontier of the face recognition research in the past years. However, existing general CNN face models generalize poorly to the scenario of occlusions on variable facial areas. Inspired by the fact that a human visual system explicitly ignores occlusions and only focuses on non-occluded facial areas, we propose a mask learning strategy to find and discard the corrupted feature elements for face recognition. A mask dictionary is firstly established by exploiting the differences between the top convoluted features of occluded and occlusion-free face pairs using an innovatively designed Pairwise Differential Siamese Network (PDSN). Each item of this dictionary captures the correspondence between occluded facial areas and corrupted feature elements, which is named Feature Discarding Mask (FDM). When dealing with a face image with random partial occlusions, we generate its FDM by combining relevant dictionary items and then multiply it with the original features to eliminate those corrupted feature elements. Comprehensive experiments on both synthesized and realistic occluded face datasets show that the proposed approach significantly outperforms the state-of-the-arts.


title: Shaping Lattice through irrelevant perturbation: Ising model

abstract: The leading irrelevant perturbation, which controls the deviation of critical square lattice Ising model with periodic boundary conditions from its continuous CFT analog is identified. An explicit expression for the coupling constant in terms of the anisotropy parameter is found. We calculate the next to leading $\sim 1/N^2$ corrections to the spectrum on both lattice theory and the perturbed CFT sides for several classes of states, always getting exact agreement. We discuss also how the perturbing operators and the higher integrals of motion are related.


title: On the number of gaps of sequences with Poissonian Pair Correlations

abstract: A sequence $(x_n)$ on the torus is said to have Poissonian pair correlations if $\# \{1\le i\neq j\le N: |x_i-x_j| \le s/N\}=2sN(1+o(1))$ for all reals $s>0$, as $N\to \infty$. It is known that, if $(x_n)$ has Poissonian pair correlations, then the number $g(n)$ of different gap lengths between neighboring elements of $\{x_1,\ldots,x_n\}$ cannot be bounded along every index subsequence $(n_t)$. First, we improve this by showing that the maximum among the multiplicities of the neighboring gap lengths of $\{x_1,\ldots,x_n\}$ is $o(n)$, as $n\to \infty$. Furthermore, we show that, for every function $f: \mathbf{N}^+\to \mathbf{N}^+$ with $\lim_n f(n)=\infty$, there exists a sequence $(x_n)$ with Poissonian pair correlations and such that $g(n) \le f(n)$ for all sufficiently large $n$. This answers negatively a question posed by G. Larcher.


title: Quantum Brownian motion of a heavy quark pair in the quark-gluon plasma

abstract: In this paper we study the real-time evolution of heavy quarkonium in the quark-gluon plasma (QGP) on the basis of the open quantum systems approach. In particular, we shed light on how quantum dissipation affects the dynamics of the relative motion of the quarkonium state over time. To this end we present a novel non-equilibrium master equation for the relative motion of quarkonium in a medium, starting from Lindblad operators derived systematically from quantum field theory. In order to implement the corresponding dynamics, we deploy the well established quantum state diffusion method. In turn we reveal how the full quantum evolution can be cast in the form of a stochastic non-linear Schr\"odinger equation. This for the first time provides a direct link from quantum chromodynamics (QCD) to phenomenological models based on non-linear Schr\"odinger equations. Proof of principle simulations in one-dimension show that dissipative effects indeed allow the relative motion of the constituent quarks in a quarkonium at rest to thermalize. Dissipation turns out to be relevant already at early times well within the QGP lifetime in relativistic heavy ion collisions.


title: Improved Techniques for Training Adaptive Deep Networks

abstract: Adaptive inference is a promising technique to improve the computational efficiency of deep models at test time. In contrast to static models which use the same computation graph for all instances, adaptive networks can dynamically adjust their structure conditioned on each input. While existing research on adaptive inference mainly focuses on designing more advanced architectures, this paper investigates how to train such networks more effectively. Specifically, we consider a typical adaptive deep network with multiple intermediate classifiers. We present three techniques to improve its training efficacy from two aspects: 1) a Gradient Equilibrium algorithm to resolve the conflict of learning of different classifiers; 2) an Inline Subnetwork Collaboration approach and a One-for-all Knowledge Distillation algorithm to enhance the collaboration among classifiers. On multiple datasets (CIFAR-10, CIFAR-100 and ImageNet), we show that the proposed approach consistently leads to further improved efficiency on top of state-of-the-art adaptive deep networks.


title: ShellNet: Efficient Point Cloud Convolutional Neural Networks using Concentric Shells Statistics

abstract: Deep learning with 3D data has progressed significantly since the introduction of convolutional neural networks that can handle point order ambiguity in point cloud data. While being able to achieve good accuracies in various scene understanding tasks, previous methods often have low training speed and complex network architecture. In this paper, we address these problems by proposing an efficient end-to-end permutation invariant convolution for point cloud deep learning. Our simple yet effective convolution operator named ShellConv uses statistics from concentric spherical shells to define representative features and resolve the point order ambiguity, allowing traditional convolution to perform on such features. Based on ShellConv we further build an efficient neural network named ShellNet to directly consume the point clouds with larger receptive fields while maintaining less layers. We demonstrate the efficacy of ShellNet by producing state-of-the-art results on object classification, object part segmentation, and semantic scene segmentation while keeping the network very fast to train.


title: Sparse Bayesian Learning Using Approximate Message Passing with Unitary Transformation

abstract: Sparse Bayesian learning (SBL) can be implemented with low complexity based on the approximate message passing (AMP) algorithm. However, it is vulnerable to `difficult' measurement matrices as AMP can easily diverge. Damped AMP has been used to alleviate the problem at the cost of slowing the convergence speed. In this work, we propose an SBL algorithm based on the AMP with unitary transformation (UTAMP), where the shape parameter of the hyperprior is tuned automatically. It is shown that, compared to the state-of-the-art AMP based SBL algorithm, the proposed UTAMP-SBL is much more robust and much faster, leading to remarkably better performance. It is shown that in many cases, UTAMP-SBL can approach the support-oracle bound closely.


title: Rotation Invariant Convolutions for 3D Point Clouds Deep Learning

abstract: Recent progresses in 3D deep learning has shown that it is possible to design special convolution operators to consume point cloud data. However, a typical drawback is that rotation invariance is often not guaranteed, resulting in networks being trained with data augmented with rotations. In this paper, we introduce a novel convolution operator for point clouds that achieves rotation invariance. Our core idea is to use low-level rotation invariant geometric features such as distances and angles to design a convolution operator for point cloud learning. The well-known point ordering problem is also addressed by a binning approach seamlessly built into the convolution. This convolution operator then serves as the basic building block of a neural network that is robust to point clouds under 6DoF transformations such as translation and rotation. Our experiment shows that our method performs with high accuracy in common scene understanding tasks such as object classification and segmentation. Compared to previous works, most importantly, our method is able to generalize and achieve consistent results across different scenarios in which training and testing can contain arbitrary rotations.


title: Interaction of Stars Hosting Planets with Sgr A* Black hole

abstract: We present some preliminary results of our ongoing project about planetary systems around S-stars in the vicinity of Sgr A* black hole. Since S-stars might have migrated in the Galactic Centre (GC) from elsewhere, they probably still keep their planetary systems throughout their voyage. In this work, we study the destiny of their putative planetary systems after close interaction with the central black hole of our galaxy.


title: Homogeneous Analysis of Hot Earths: Masses, Sizes, and Compositions

abstract: Terrestrial planets have been found orbiting Sun-like stars with extremely short periods --- some as short as 4 hours. These "ultra-short-period planets" or "hot Earths" are so strongly irradiated that any initial H/He atmosphere has probably been lost to photoevaporation. As such, the sample of hot Earths may give us a glimpse at the rocky cores that are often enshrouded by thick H/He envelopes on wider-orbiting planets. However, the mass and radius measurements of hot Earths have been derived from a hodgepodge of different modeling approaches, and include several cases of contradictory results. Here, we perform a homogeneous analysis of the complete sample of 11 known hot Earths with an insolation exceeding 650 times that of the Earth. We combine all available data for each planet, incorporate parallax information from {\it Gaia} to improve the stellar and planetary parameters, and use Gaussian Process regression to account for correlated noise in the radial-velocity data. The homogeneous analysis leads to a smaller dispersion in the apparent composition of hot Earths, although there does still appear to be some intrinsic dispersion. Most of the planets are consistent with an Earth-like composition (35\% iron and 65\% rock), but two planets (K2-141b and K2-229b) show evidence for a higher iron fraction, and one planet (55\,Cnc\,e) has either a very low iron fraction or an envelope of low-density volatiles. All of the planets are less massive than 8\,$M_\oplus$, despite the selection bias towards more massive planets, suggesting that 8\,$M_\oplus$ is the critical mass for runaway accretion.


title: The stable set problem in graphs with bounded genus and bounded odd cycle packing number

abstract: Consider the family of graphs without $ k $ node-disjoint odd cycles, where $ k $ is a constant. Determining the complexity of the stable set problem for such graphs $ G $ is a long-standing problem. We give a polynomial-time algorithm for the case that $ G $ can be further embedded in a (possibly non-orientable) surface of bounded genus. Moreover, we obtain polynomial-size extended formulations for the respective stable set polytopes. To this end, we show that $2$-sided odd cycles satisfy the Erd\H{o}s-P\'osa property in graphs embedded in a fixed surface. This extends the fact that odd cycles satisfy the Erd\H{o}s-P\'osa property in graphs embedded in a fixed orientable surface (Kawarabayashi & Nakamoto, 2007). Eventually, our findings allow us to reduce the original problem to the problem of finding a minimum-cost non-negative integer circulation of a certain homology class, which turns out to be efficiently solvable in our case.


title: Design Automation and Optimization Methodology for Electric Multicopter UAVs

abstract: The traditional multicopter design method usually requires a long iterative process to find the optimal design based on given performance requirements. The method is uneconomical and inefficient. In this paper, a practical method is proposed to automatically calculate the optimal multicopter design according to the given design requirements including flight time, altitude, payload capacity, and maneuverability. The proposed method contains two algorithms: an offline algorithm and an online algorithm. The offline algorithm finds the optimal components (propeller and electronic speed controller) for each motor to establish its component combination, and subsequently, these component combinations and their key performance parameters are stored in a combination database. The online algorithm obtains the multicopter design results that satisfy the given requirements by searching through the component combinations in the database and calculating the optimal parameters for the battery and airframe. Subsequently, these requirement-satisfied multicopter design results are obtained and sorted according to an objective function that contains evaluation indexes including size, weight, performance, and practicability. The proposed method has the advantages of high precision and quick calculating speed because parameter calibrations and time-consuming calculations are completed offline. Experiments are performed to validate the effectiveness and practicality of the proposed method. Comparisons with the brutal search method and other design methods demonstrate the efficiency of the proposed method.


title: Effectivizing Lusin's Theorem

abstract: Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$. We give a proof of this result using computability theory, relating it to the near-uniformity of the Turing jump operator, and use this proof to derive several uniform computable versions. Easier results, which we prove by the same methods, include versions of Lusin's Theorem with Baire category in place of Lebesgue measure and also with Cantor space $2^{\mathbb N}$ in place of $\mathbb R$. The distinct processes showing generalized lowness for generic sets and for a set of full measure are seen to explain the differences between versions of Lusin's Theorem.


title: Light cone OPE in a CFT with lowest twist scalar primary

abstract: We study the operator product expansion (OPE) of two identical scalar primary operators in the lightcone limit in a conformal field theory where a scalar is the operator with lowest twist. We see that in CFTs where both the stress tensor and a scalar are the lowest twist operators, the stress tensor contributes at the leading order in the lightcone OPE and the scalar contributes at the subleading order. We also see that there does not exist a scalar analogue of the average null energy condition (ANEC) for a CFT where a scalar is the lowest twist operator.


title: Enhanced stability, bistability, and exceptional points in saturable active photonic couplers

abstract: A generic photonic coupler with active and lossy parts, gain saturation and asymmetric characteristics is examined. Saturable activity is shown to be able to enhance the overall stability of the steady states, prevent evolution to undesirable unbounded modes and allow for bistable operation in specific regions of parametric space. Both stability and bistability are studied in the phase space of the system, where the basins of attraction of each state are identified, providing an accurate description of the dependence of the electric fields on the initial conditions. Continuous families of exceptional points are detected via suitable regulation of the coupling and asymmetry features of the configuration. In this way, a complete description of the nonlinear dynamics landscape is provided, which should be crucial for multiple application-driven designs incorporating such a ubiquitous optical component.


title: Impact of planetary mass uncertainties on exoplanet atmospheric retrievals

abstract: In current models used to interpret exoplanet atmospheric observations, the planet mass is treated as a prior and is estimated independently with external methods, such as RV or TTV techniques. This approach is necessary as available spectroscopic data do not have sufficient wavelength coverage and/or SNR to infer the planetary mass. We examine here the impact of mass uncertainties on spectral retrieval analyses for a host of atmospheric scenarios. Our approach is both analytical and numerical: we first use simple approximations to extract analytically the influence of each parameter to the wavelength-dependent transit depth. We then adopt a fully Bayesian retrieval model to quantify the propagation of the mass uncertainty onto other atmospheric parameters. We found that for clear-sky, gaseous atmospheres the posterior distributions are the same when the mass is known or retrieved. The retrieved mass is very accurate, with a precision of more than 10%, provided the wavelength coverage and S/N are adequate. When opaque clouds are included in the simulations, the uncertainties in the retrieved mass increase, especially for high altitude clouds. However atmospheric parameters such as the temperature and trace-gas abundances are unaffected by the knowledge of the mass. Secondary atmospheres are more challenging due to the higher degree of freedom for the atmospheric main component, which is unknown. For broad wavelength range and adequate SNR, the mass can still be retrieved accurately and precisely if clouds are not present, and so are all the other atmospheric/planetary parameters. When clouds are added, we find that the mass uncertainties may impact substantially the retrieval of the mean molecular weight: an independent characterisation of the mass would therefore be helpful to capture/confirm the main atmospheric constituent.


title: U-CAM: Visual Explanation using Uncertainty based Class Activation Maps

abstract: Understanding and explaining deep learning models is an imperative task. Towards this, we propose a method that obtains gradient-based certainty estimates that also provide visual attention maps. Particularly, we solve for visual question answering task. We incorporate modern probabilistic deep learning methods that we further improve by using the gradients for these estimates. These have two-fold benefits: a) improvement in obtaining the certainty estimates that correlate better with misclassified samples and b) improved attention maps that provide state-of-the-art results in terms of correlation with human attention regions. The improved attention maps result in consistent improvement for various methods for visual question answering. Therefore, the proposed technique can be thought of as a recipe for obtaining improved certainty estimates and explanation for deep learning models. We provide detailed empirical analysis for the visual question answering task on all standard benchmarks and comparison with state of the art methods.


title: Multi-Kernel Filtering for Nonstationary Noise: An Extension of Bilateral Filtering Using Image Context

abstract: Bilateral filtering (BF) is one of the most classical denoising filters, however, the manually initialized filtering kernel hampers its adaptivity across images with various characteristics. To deal with image variation (i.e., non-stationary noise), in this paper, we propose multi-kernel filter (MKF) which adapts filtering kernels to specific image characteristics automatically. The design of MKF takes inspiration from adaptive mechanisms of human vision that make full use of information in a visual context. More specifically, for simulating the visual context and its adaptive function, we construct the image context based on which we simulate the contextual impact on filtering kernels. We first design a hierarchically clustering algorithm to generate a hierarchy of large to small coherent image patches, organized as a cluster tree, so that obtain multi-scale image representation. The leaf cluster and corresponding predecessor clusters are used to generate one of multiple range kernels that are capable of catering to image variation. At first, we design a hierarchically clustering framework to generate a hierarchy of large to small coherent image patches that organized as a cluster tree, so that obtain multi-scale image representation, i.e., the image context. Next, a leaf cluster is used to generate one of the multiple kernels, and two corresponding predecessor clusters are used to fine-tune the adopted kernel. Ultimately, the single spatially-invariant kernel in BF becomes multiple spatially-varying ones. We evaluate MKF on two public datasets, BSD300 and BrainWeb which are added integrally-varying noise and spatially-varying noise, respectively. Extensive experiments show that MKF outperforms state-of-the-art filters w.r.t. both mean absolute error and structural similarity.


title: Beyond Squeezing \`a la Virasoro Algebra

abstract: The generalization of squeezing is realized in terms of the Virasoro algebra. The higher-order squeezing can be introduced through the higher-order time-dependent potential, in which the standard squeezing operator is generalized to higher-order Virasoro operators. We give a formula that describes the number of particles generated by the higher-order squeezing when a parameter specifying the degree of squeezing is small. The formula (18) shows that the higher the order of squeezing becomes the larger the number of generated particles grows.


title: ED2: Two-stage Active Learning for Error Detection -- Technical Report

abstract: Traditional error detection approaches require user-defined parameters and rules. Thus, the user has to know both the error detection system and the data. However, we can also formulate error detection as a semi-supervised classification problem that only requires domain expertise. The challenges for such an approach are twofold: (1) to represent the data in a way that enables a classification model to identify various kinds of data errors, and (2) to pick the most promising data values for learning. In this paper, we address these challenges with ED2, our new example-driven error detection method. First, we present a new two-dimensional multi-classifier sampling strategy for active learning. Second, we propose novel multi-column features. The combined application of these techniques provides fast convergence of the classification task with high detection accuracy. On several real-world datasets, ED2 requires, on average, less than 1% labels to outperform existing error detection approaches. This report extends the peer-reviewed paper "ED2: A Case for Active Learning in Error Detection". All source code related to this project is available on GitHub.


title: Quasirandom quantum channels

abstract: Mixing (or quasirandom) properties of the natural transition matrix associated to a graph can be quantified by its distance to the complete graph. Different mixing properties correspond to different norms to measure this distance. For dense graphs, two such properties known as spectral expansion and uniformity were shown to be equivalent in seminal 1989 work of Chung, Graham and Wilson. Recently, Conlon and Zhao extended this equivalence to the case of sparse vertex transitive graphs using the famous Grothendieck inequality. Here we generalize these results to the non-commutative, or `quantum', case, where a transition matrix becomes a quantum channel. In particular, we show that for irreducibly covariant quantum channels, expansion is equivalent to a natural analog of uniformity for graphs, generalizing the result of Conlon and Zhao. Moreover, we show that in these results, the non-commutative and commutative (resp.) Grothendieck inequalities yield the best-possible constants.


title: An overview of quasinormal modes in modified and extended gravity

abstract: As gravitational waves are now being nearly routinely measured with interferometers, the question of using them to probe new physics becomes increasingly legitimate. In this article, we rely on a well established framework to investigate how the complex frequencies of quasinormal modes are affected by different models. The tendencies are explicitly shown, for both the pulsation and the damping rate. The goal is, at this stage, purely qualitative. This opportunity is also taken to derive the Regge-Wheeler equation for general static and spherically symmetric metrics.


title: Nonreciprocal response theory of nonhermitian mechanical metamaterials: response phase transition from the skin effect of zero modes

abstract: Nonreciprocal nonhermitian systems provide an unconventional localization mechanism of topological zero modes via the nonhermitian skin effect. While fundamental theoretical characterizations of this effect involve the biorthogonal system of right and left eigenmodes, the recent demonstration of this effect for a zero mode in a robotic metamaterial (Ghatak et al., arXiv:1907.11619) is based on the direct experimental observation of the conventional right eigenvectors. Here I show that such nonreciprocal mechanical metamaterials reveal their underlying biorthogonality in the directly observable response of the system to external excitation. Applied to the ground-breaking experiment, this nonreciprocal response theory predicts that the zero-mode skin effect goes along an extended phase where the system is highly sensitive to physical perturbations, leading to a diverging response in the limit of a large system.


title: Reduction principle for a certain class of kernel-type operators

abstract: The classical Hardy--Littlewood inequality asserts that the integral of a product of two functions is always majorized by that of their non-increasing rearrangements. One of the pivotal applications of this result is the fact that the boundedness of an integral operator which integrates over some right neighbourhood of zero is equivalent to the boundedness of the same operator on the cone of positive non-increasing functions. It is well known that an analogous inequality for integration away from zero is not true. However, as we show in this paper, the equivalence of the restricted inequality for the non-restricted one is still true for certain class of kernel-type operators, regardless of the measure of the integration domain.


title: Bayesian Optimized 1-Bit CNNs

abstract: Deep convolutional neural networks (DCNNs) have dominated the recent developments in computer vision through making various record-breaking models. However, it is still a great challenge to achieve powerful DCNNs in resource-limited environments, such as on embedded devices and smart phones. Researchers have realized that 1-bit CNNs can be one feasible solution to resolve the issue; however, they are baffled by the inferior performance compared to the full-precision DCNNs. In this paper, we propose a novel approach, called Bayesian optimized 1-bit CNNs (denoted as BONNs), taking the advantage of Bayesian learning, a well-established strategy for hard problems, to significantly improve the performance of extreme 1-bit CNNs. We incorporate the prior distributions of full-precision kernels and features into the Bayesian framework to construct 1-bit CNNs in an end-to-end manner, which have not been considered in any previous related methods. The Bayesian losses are achieved with a theoretical support to optimize the network simultaneously in both continuous and discrete spaces, aggregating different losses jointly to improve the model capacity. Extensive experiments on the ImageNet and CIFAR datasets show that BONNs achieve the best classification performance compared to state-of-the-art 1-bit CNNs.


title: Implicit Deep Learning

abstract: Implicit deep learning prediction rules generalize the recursive rules of feedforward neural networks. Such rules are based on the solution of a fixed-point equation involving a single vector of hidden features, which is thus only implicitly defined. The implicit framework greatly simplifies the notation of deep learning, and opens up many new possibilities, in terms of novel architectures and algorithms, robustness analysis and design, interpretability, sparsity, and network architecture optimization.


title: Mono-SF: Multi-View Geometry Meets Single-View Depth for Monocular Scene Flow Estimation of Dynamic Traffic Scenes

abstract: Existing 3D scene flow estimation methods provide the 3D geometry and 3D motion of a scene and gain a lot of interest, for example in the context of autonomous driving. These methods are traditionally based on a temporal series of stereo images. In this paper, we propose a novel monocular 3D scene flow estimation method, called Mono-SF. Mono-SF jointly estimates the 3D structure and motion of the scene by combining multi-view geometry and single-view depth information. Mono-SF considers that the scene flow should be consistent in terms of warping the reference image in the consecutive image based on the principles of multi-view geometry. For integrating single-view depth in a statistical manner, a convolutional neural network, called ProbDepthNet, is proposed. ProbDepthNet estimates pixel-wise depth distributions from a single image rather than single depth values. Additionally, as part of ProbDepthNet, a novel recalibration technique for regression problems is proposed to ensure well-calibrated distributions. Our experiments show that Mono-SF outperforms state-of-the-art monocular baselines and ablation studies support the Mono-SF approach and ProbDepthNet design.


title: Is the Momentum Sum Rule Valid for Nuclear Structure Functions ?

abstract: We address the validity of the momentum sum rule for deep inelastic nuclear structure functions.


title: Comparison-Based Indexing From First Principles

abstract: Basic assumptions about comparison-based indexing are laid down and a general design space is derived from these. An index structure spanning this design space (the sprawl) is described, along with an associated family of partitioning predicates, or regions (the ambits), as well as algorithms for search and, to some extent, construction. The sprawl of ambits forms a unification and generalization of current indexing methods, and a jumping-off point for future designs.


title: Locally Linear Embedding and fMRI feature selection in psychiatric classification

abstract: Background: Functional magnetic resonance imaging (fMRI) provides non-invasive measures of neuronal activity using an endogenous Blood Oxygenation-Level Dependent (BOLD) contrast. This article introduces a nonlinear dimensionality reduction (Locally Linear Embedding) to extract informative measures of the underlying neuronal activity from BOLD time-series. The method is validated using the Leave-One-Out-Cross-Validation (LOOCV) accuracy of classifying psychiatric diagnoses using resting-state and task-related fMRI. Methods: Locally Linear Embedding of BOLD time-series (into each voxel's respective tensor) was used to optimise feature selection. This uses Gau\ss' Principle of Least Constraint to conserve quantities over both space and time. This conservation was assessed using LOOCV to greedily select time points in an incremental fashion on training data that was categorised in terms of psychiatric diagnoses. Findings: The embedded fMRI gave highly diagnostic performances (> 80%) on eleven publicly-available datasets containing healthy controls and patients with either Schizophrenia, Attention-Deficit Hyperactivity Disorder (ADHD), or Autism Spectrum Disorder (ASD). Furthermore, unlike the original fMRI data before or after using Principal Component Analysis (PCA) for artefact reduction, the embedded fMRI furnished significantly better than chance classification (defined as the majority class proportion) on ten of eleven datasets Interpretation: Locally Linear Embedding appears to be a useful feature extraction procedure that retains important information about patterns of brain activity distinguishing among psychiatric cohorts.


title: Revisiting the Graph Isomorphism Problem with Semidefinite Programming

abstract: It is well-known that the graph isomorphism problem can be posed as an equivalent problem of determining whether an auxiliary graph structure contains a clique of specific order. However, the algorithms that have been developed so far for this problem are either not efficient or not exact. In this paper, we present a new algorithm which solves this equivalent formulation via semidefinite programming. Specifically, we show that the problem of determining whether the auxiliary graph contains a clique of specific order can be formulated as a semidefinite programming problem, and can thus be (almost exactly) solved in polynomial time. Furthermore, we show that we can determine if the graph contains such a clique by rounding the optimal solution to the nearest integer. Our algorithm provides a significant complexity result in graph isomorphism testing, and also represents the first use of semidefinite programming for solving this problem.


title: Electronic phase separation at LaAlO3/SrTiO3 interfaces tunable by oxygen deficiency

abstract: Electronic phase separation is crucial for the fascinating macroscopic properties of the LaAlO3/SrTiO3 (LAO/STO) paradigm oxide interface, including the coexistence of superconductivity and ferromagnetism. We investigate this phenomenon using angle-resolved photoelectron spectroscopy (ARPES) in the soft-X-ray energy range, where the enhanced probing depth combined with resonant photoexcitation allow access to fundamental electronic structure characteristics (momentum-resolved spectral function, dispersions and ordering of energy bands, Fermi surface) of buried interfaces. Our experiment uses X-ray irradiation of the LAO/STO interface to tune its oxygen deficiency, building up a dichotomic system where mobile weakly correlated Ti t2g-electrons co-exist with localized strongly correlated Ti eg-ones. The ARPES spectra dynamics under X-ray irradiation shows a gradual intensity increase under constant Luttinger count of the Fermi surface. This fact identifies electronic phase separation (EPS) where the mobile electrons accumulate in conducting puddles with fixed electronic structure embedded in an insulating host phase, and allows us to estimate the lateral fraction of these puddles. We discuss the physics of EPS invoking a theoretical picture of oxygen-vacancy clustering, promoted by the magnetism of the localized Ti eg-electrons, and repelling of the mobile t2g-electrons from these clusters. Our results on the irradiation-tuned EPS elucidate the intrinsic one taking place at the stoichiometric LAO/STO interfaces.


title: Majorana fermions and the Sensitivity Conjecture

abstract: Recently, Hao Huang proved the Sensitivity Conjecture, an important result about complexity measures of Boolean functions. We will discuss how this simple and elegant proof turns out to be closely related to physics concepts of the Jordan-Wigner transformation and Majorana fermions. This note is not intended to contain original results. Instead, it is a translation of the math literature in a language that is more familiar to physicists, which helps our understanding and hopefully may inspire future works along this direction.

categories: cond-mat.stat-mech cond-mat.str-el cs.CC math.CO


title: Data and homotopy types

abstract: This paper presents explicit assumptions for the existence of interleaving homotopy equivalences of both Vietoris-Rips and Lesnick complexes associated to an inclusion of data sets. Consequences of these assumptions are investigated on the space level, and for corresponding hierarchies of clusters and their sub-posets of branch points. Hierarchy posets and branch point posets admit a calculus of least upper bounds, which is used to show that the map of branch points associated to the inclusion of data sets is a controlled homotopy equivalence.


title: Dynamics of neural fields with exponential temporal kernel

abstract: We consider the standard neural field equation with an exponential temporal kernel. We analyze the time-independent (static) and time-dependent (dynamic) bifurcations of the equilibrium solution and the emerging spatiotemporal wave patterns. We show that an exponential temporal kernel does not allow static bifurcations such as saddle-node, pitchfork, and in particular, static Turing bifurcations. However, the exponential temporal kernel possesses the important property that it takes into account the finite memory of past activities of neurons, which Green's function does not. Through a dynamic bifurcation analysis, we give explicit bifurcation conditions. Hopf bifurcations lead to temporally non-constant, but spatially constant solutions, but Turing-Hopf bifurcations generate spatially and temporally non-constant solutions, in particular, traveling waves. Bifurcation parameters are the coefficient of the exponential temporal kernel, the transmission speed of neural signals, the time delay rate of synapses, and the ratio of excitatory to inhibitory synaptic weights.


title: Measuring international uncertainty using global vector autoregressions with drifting parameters

abstract: This paper investigates the time-varying impacts of international macroeconomic uncertainty shocks. We use a global vector autoregressive specification with drifting coefficients and factor stochastic volatility in the errors to model six economies jointly. The measure of uncertainty is constructed endogenously by estimating a scalar driving the innovation variances of the latent factors, which is also included in the mean of the process. To achieve regularization, we use Bayesian techniques for estimation, and introduce a set of hierarchical global-local priors. The adopted priors center the model on a constant parameter specification with homoscedastic errors, but allow for time-variation if suggested by likelihood information. Moreover, we assume coefficients across economies to be similar, but provide sufficient flexibility via the hierarchical prior for country-specific idiosyncrasies. The results point towards pronounced real and financial effects of uncertainty shocks in all countries, with differences across economies and over time.


title: Structural Health Monitoring of Cantilever Beam, a Case Study -- Using Bayesian Neural Network AND Deep Learning

abstract: The advancement of machine learning algorithms has opened a wide scope for vibration-based SHM (Structural Health Monitoring). Vibration-based SHM is based on the fact that damage will alter the dynamic properties viz., structural response, frequencies, mode shapes, etc of the structure. The responses measured using sensors, which are high dimensional in nature, can be intelligently analyzed using machine learning techniques for damage assessment. Neural networks employing multilayer architectures are expressive models capable of capturing complex relationships between input-output pairs but do not account for uncertainty in network outputs. A BNN (Bayesian Neural Network) refers to extending standard networks with posterior inference. It is a neural network with a prior distribution on its weights. Deep learning architectures like CNN (Convolutional neural network) and LSTM(Long Short Term Memory) are good candidates for representation learning from high dimensional data. The advantage of using CNN over multi-layer neural networks is that they are good feature extractors as well as classifiers, which eliminates the need for generating hand-engineered features. LSTM networks are mainly used for sequence modeling. This paper presents both a Bayesian multi-layer perceptron and deep learning-based approach for damage detection and location identification in beam-like structures. Raw frequency response data simulated using finite element analysis is fed as the input of the network. As part of this, frequency response was generated for a series of simulations in the cantilever beam involving different damage scenarios. This case study shows the effectiveness of the above approaches to predict bending rigidity with an acceptable error rate.


title: Language Features Matter: Effective Language Representations for Vision-Language Tasks

abstract: Shouldn't language and vision features be treated equally in vision-language (VL) tasks? Many VL approaches treat the language component as an afterthought, using simple language models that are either built upon fixed word embeddings trained on text-only data or are learned from scratch. We believe that language features deserve more attention, and conduct experiments which compare different word embeddings, language models, and embedding augmentation steps on five common VL tasks: image-sentence retrieval, image captioning, visual question answering, phrase grounding, and text-to-clip retrieval. Our experiments provide some striking results; an average embedding language model outperforms an LSTM on retrieval-style tasks; state-of-the-art representations such as BERT perform relatively poorly on vision-language tasks. From this comprehensive set of experiments we propose a set of best practices for incorporating the language component of VL tasks. To further elevate language features, we also show that knowledge in vision-language problems can be transferred across tasks to gain performance with multi-task training. This multi-task training is applied to a new Graph Oriented Vision-Language Embedding (GrOVLE), which we adapt from Word2Vec using WordNet and an original visual-language graph built from Visual Genome, providing a ready-to-use vision-language embedding: http://ai.bu.edu/grovle.


title: On the stability of laminar flows between plates

abstract: Consider a two-dimensional laminar flow between two plates, so that $(x_1,x_2)\in {\mathbb R} \times[-1,1]$, given by ${\mathbf v}(x_1,x_2)=(U(x_2),0)$, where $U\in C^4([-1,1])$ satisfies $U^\prime\neq0$ in $[-1,1]$. We prove that the flow is linearly stable in the large Reynolds number limit, in two different cases: $\bullet$ $\sup_{x\in[-1,1]} |U"(x)| + \sup_{x\in[-1,1]} |U"(x)| \ll \min_{x\in[-1,1]}|U^\prime(x)|$ (nearly Couette flows), $\bullet$ $U^{\prime\prime}\neq0$ in $[-1,1]$. We assume either no-slip or fixed traction force conditions on the plates, and an arbitrary large (but much smaller than the Reynolds number) period in the $x_1$ direction.


title: Optimal scheduling of critically loaded multiclass GI/M/n+M queues in an alternating renewal environment

abstract: In this paper, we study optimal control problems for multiclass GI/M/n+M queues in an alternating renewal (up-down) random environment in the Halfin-Whitt regime. Assuming that the downtimes are asymptotically negligible and only the service processes are affected, we show that the limits of the diffusion-scaled state processes under non-anticipative, preemptive, work-conserving scheduling policies, are controlled jump diffusions driven by a compound Poisson jump process. We establish the asymptotic optimality of the infinite-horizon discounted and long-run average (ergodic) problems for the queueing dynamics. Since the process counting the number of customers in each class is not Markov, the usual martingale arguments for convergence of mean empirical measures cannot be applied. We surmount this obstacle by demonstrating the convergence of the generators of an augmented Markovian model which incorporates the age processes of the renewal interarrival times and downtimes. We also establish long-run average moment bounds of the diffusion-scaled queueing processes under some (modified) priority scheduling policies. This is accomplished via Foster-Lyapunov equations for the augmented Markovian model.


title: Screening Current-Induced Field and Field Drift Study in HTS coils using T-A homogenous model

abstract: The emergence of second generation (2G) high-temperature superconductor (HTS) tapes has favored the development of HTS magnets for their applications in areas such as NMR, MRI and high field magnets. The screening current-induced field and the field drift are two major problems hindering the use of HTS tapes in the mentioned areas. Both problems are caused by the screening current, then it is necessary to have a modeling strategy capable to estimate such phenomena. Thus far, the H formulation has been the most successful and used approach to model medium-size systems (hundreds of tapes). However, its application to large-scale systems is still impaired by excessive computation times and memory requirements. Homogenization and multi-scaling strategies have been successfully implemented to increase the computational efficiency. In this contribution, we show that using the homogenization technique with the recently developed T-A formulation allows reducing the computation time and the amount of memory up to the point that real-time simulations of slow ramping cycles of large-scale systems are possible. The T-A homogeneous model also allows systematically investigating the screening current using numerical simulations.


title: Orbital dynamics of circumbinary planets

abstract: We investigate the dynamics of a nonzero mass, circular orbit planet around an eccentric orbit binary for various values of the binary eccentricity, binary mass fraction, planet mass, and planet semi--major axis by means of numerical simulations. Previous studies investigated the secular dynamics mainly by approximate analytic methods. In the stationary inclination state, the planet and binary precess together with no change in relative tilt. For both prograde and retrograde planetary orbits, we explore the conditions for planetary orbital libration versus circulation and the conditions for stationary inclination. As was predicted by analytic models, for sufficiently high initial inclination, a prograde planet's orbit librates about the stationary tilted state. For a fixed binary eccentricity, the stationary angle is a monotonically decreasing function of the ratio of the planet--to--binary angular momentum $j$. The larger $j$, the stronger the evolutionary changes in the binary eccentricity and inclination. We also calculate the critical tilt angle that separates the circulating from the librating orbits for both prograde and retrograde planet orbits. The properties of the librating orbits and stationary angles are quite different for prograde versus retrograde orbits. The results of the numerical simulations are in very good quantitative agreement with the analytic models. Our results have implications for circumbinary planet formation and evolution.


title: Wavelet-based parallel dynamic mesh adaptation for magnetohydrodynamics in the AMROC framework

abstract: Computational magnetohydrodynamics (MHD) for space physics has become an essential area in understanding the multiscale dynamics of geophysical and astrophysical plasma processes, partially motivated by the lack of space data. Full MHD simulations are typically very demanding and may require substantial computational efforts. In particular, computational space-weather forecasting is an essential long-term goal in this area, motivated for instance by the needs of modern satellite communication technology. We present a new feature of a recently developed compressible two- and three-dimensional MHD solver, which has been successfully implemented into the parallel AMROC (Adaptive Mesh Refinement in Object-oriented C++) framework with improvements concerning the mesh adaptation criteria based on wavelet techniques. The developments are related to computational efficiency while controlling the precision using dynamically adapted meshes in space-time in a fully parallel context.


title: Asymptotic enumeration of linear hypergraphs with given number of vertices and edges

abstract: For $n\geq 3$, let $r=r(n)\geq 3$ be an integer. A hypergraph is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if two edges intersect in at most one vertex. In this paper, the number of linear $r$-uniform hypergraphs on $n\to\infty$ vertices is determined asymptotically when the number of edges is $m(n)=o(r^{-3}n^{ \frac32})$. As one application, we find the probability of linearity for the independent-edge model of random $r$-uniform hypergraph when the expected number of edges is $o(r^{-3}n^{ \frac32})$. We also find the probability that a random $r$-uniform linear hypergraph with a given number of edges contains a given subhypergraph.


title: Energy-Efficient Proactive Caching for Fog Computing with Correlated Task Arrivals

abstract: With the proliferation of latency-critical applications, fog-radio network (FRAN) has been envisioned as a paradigm shift enabling distributed deployment of cloud-clone facilities at the network edge. In this paper, we consider proactive caching for a one-user one-access point (AP) fog computing system over a finite time horizon, in which consecutive tasks of the same type of application are temporarily correlated. Under the assumption of predicable length of the task-input bits, we formulate a long-term weighted-sum energy minimization problem with three-slot correlation to jointly optimize computation offloading policies and caching decisions subject to stringent per-slot deadline constraints. The formulated problem is hard to solve due to the mixed-integer non-convexity. To tackle this challenge, first, we assume that task-related information are perfectly known {\em a priori}, and provide offline solution leveraging the technique of semi-definite relaxation (SDR), thereby serving as theoretical upper bound. Next, based on the offline solution, we propose a sliding-window based online algorithm under arbitrarily distributed prediction error. Finally, the advantage of computation caching as well the proposed algorithm is verified by numerical examples by comparison with several benchmarks.


title: Prune Sampling: a MCMC inference technique for discrete and deterministic Bayesian networks

abstract: We introduce and characterise the performance of the Markov chain Monte Carlo (MCMC) inference method Prune Sampling for discrete and deterministic Bayesian networks (BNs). We developed a procedure to obtain the performance of a MCMC sampling method in the limit of infinite simulation time, extrapolated from relatively short simulations. This approach was used to conduct a study to compare the accuracy, rate of convergence and the time consumption of Prune Sampling with two conventional MCMC sampling methods: Gibbs- and Metropolis sampling. We show that Markov chains created by Prune Sampling always converge to the desired posterior distribution, also for networks where conventional Gibbs sampling fails. Beside this, we demonstrate that pruning outperforms Gibbs sampling, at least for a certain class of BNs. Though, this tempting feature comes at a price. In the first version of Prune Sampling, for large BNs the procedure to choose the next iteration step uniformly is rather time intensive. Our conclusion is that Prune Sampling is a competitive method for all types of small and medium sized BNs, but (for now) standard methods still perform better for all types of large BNs.


title: What is needed for simple spatial language capabilities in VQA?

abstract: Visual question answering (VQA) comprises a variety of language capabilities. The diagnostic benchmark dataset CLEVR has fueled progress by helping to better assess and distinguish models in basic abilities like counting, comparing and spatial reasoning in vitro. Following this approach, we focus on spatial language capabilities and investigate the question: what are the key ingredients to handle simple visual-spatial relations? We look at the SAN, RelNet, FiLM and MC models and evaluate their learning behavior on diagnostic data which is solely focused on spatial relations. Via comparative analysis and targeted model modification we identify what really is required to substantially improve upon the CNN-LSTM baseline.


title: EigenRank by Committee: A Data Subset Selection and Failure Prediction paradigm for Robust Deep Learning based Medical Image Segmentation

abstract: Translation of fully automated deep learning based medical image segmentation technologies to clinical workflows face two main algorithmic challenges. The first, is the collection and archival of large quantities of manually annotated ground truth data for both training and validation. The second is the relative inability of the majority of deep learning based segmentation techniques to alert physicians to a likely segmentation failure. Here we propose a novel algorithm, named `Eigenrank' which addresses both of these challenges. Eigenrank can select for manual labeling, a subset of medical images from a large database, such that a U-Net trained on this subset is superior to one trained on a randomly selected subset of the same size. Eigenrank can also be used to pick out, cases in a large database, where deep learning segmentation will fail. We present our algorithm, followed by results and a discussion of how Eigenrank exploits the Von Neumann information to perform both data subset selection and failure prediction for medical image segmentation using deep learning.


title: Precision measurement of the Z boson to electron neutrino coupling at the future circular colliders

abstract: At the high luminosity electron-positron circular colliders like FCC-ee in CERN and CEPC in China it will possible to measure very precisely $e^+e^-\to Z\gamma$ process with subsequent Z decay into particles invisible in the detector, that is into three neutrina of the Standard Model and possibly into other weakly coupled neutral particles. Apart from the measurement of the total invisible width (which is not the main subject of this work) this process may be used as a source of $Z$ coupling to electron neutrino -- known very poorly. This is possible due to the presence of the $t$-channel $W$ exchange in the $e^+e^-\to \nu_e \bar\nu_e \gamma$ channel which deforms slightly spectrum of the photon. We are going to show experimental investigation of this effect, for $\sim 10$ inverse atobarn accumulated luminosity, which can provide measurement of the $Z-\nu_e$ coupling with statistical error of order 1\%. The estimation of the systematic experimental error will require more work, but most likely it will be of similar size.


title: Indetermination of networks structure from the dynamics perspective

abstract: Networks are universally considered as complex structures of interactions of large multi-component systems. In order to determine the role that each node has inside a complex network, several centrality measures have been developed. Such topological features are also important for their role in the dynamical processes occurring in networked systems. In this paper, we argue that the dynamical activity of the nodes may strongly reshape their relevance inside the network making centrality measures in many cases misleading. We show that when the dynamics taking place at the local level of the node is slower than the global one between the nodes, then the system may lose track of the structural features. On the contrary, when that ratio is reversed only global properties such as the shortest distances can be recovered. From the perspective of networks inference, this constitutes an uncertainty principle, in the sense that it limits the extraction of multi-resolution information about the structure, particularly in the presence of noise. For illustration purposes, we show that for networks with different time-scale structures such as strong modularity, the existence of fast global dynamics can imply that precise inference of the community structure is impossible.


title: Decline of COPD exacerbations in clinical trials over two decades -- a systematic review and meta-regression

abstract: BACKGROUND: An important goal of chronic obstructive pulmonary disease (COPD) treatment is to reduce the frequency of exacerbations. Some observations suggest a decline in exacerbation rates in clinical trials over time. A more systematic understanding would help to improve the design and interpretation of COPD trials. METHODS: We performed a systematic review and meta-regression of the placebo groups in published randomized controlled trials reporting exacerbations as an outcome. A Bayesian negative binomial model was developed to accommodate results that are reported in different formats; results are reported with credible intervals (CI) and posterior tail probabilities ($p_B$). RESULTS: Of 1114 studies identified by our search, 55 were ultimately included. Exacerbation rates decreased by 6.7% (95% CI (4.4, 9.0); $p_B$ < 0.001) per year, or 50% (95% CI (36, 61)) per decade. Adjusting for available study and baseline characteristics such as forced expiratory volume in 1 s (FEV1) did not alter the observed trend considerably. Two subsets of studies, one using a true placebo group and the other allowing inhaled corticosteroids in the "placebo" group, also yielded consistent results. CONCLUSIONS: In conclusion, this meta-regression indicates that the rate of COPD exacerbations decreased over the past two decades to a clinically relevant extent independent of important prognostic factors. This suggests that care is needed in the design of new trials or when comparing results from older trials with more recent ones. Also a considerable effect of adjunct therapy on COPD exacerbations can be assumed.


title: Implementation of controllable universal unital optical channels

abstract: We show that a configuration of four birefringent crystals and wave-plates can emulate almost any arbitrary unital channel for polarization qubits encoded in single photons, where the channel settings are controlled by the wave-plate angles. The scheme is applied to a single spatial mode and its operation is independent of the wavelength and the fine temporal properties of the input light. We implemented the scheme and demonstrated its operation by applying a dephasing environment to classical and quantum single-photon states with different temporal properties. The applied process was characterized by a quantum process tomography procedure, and a high fidelity to the theory was observed.


title: Matching-based Depth Camera and Mirrors for 3D Reconstruction

abstract: Reconstructing 3D object models is playing an important role in many applications in the field of computer vision. Instead of employing a collection of cameras and/or sensors as in many studies, this paper proposes a simple way to build a cheaper system for 3D reconstruction using only one depth camera and 2 or more mirrors. Each mirror is equivalently considered as a depth camera at another viewpoint. Since all scene data are provided by only one depth sensor, our approach can be applied to moving objects and does not require any synchronization protocol as with a set of cameras. Some experiments were performed on easy-to-evaluate objects to confirm the reconstruction accuracy of our proposed system.


title: The Cuntz semigroup and the radius of comparison of the crossed product by a finite group

abstract: Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let \alpha \colon G \to Aut (A) be an action of G on A which has the weak tracial Rokhlin property. Let A^{\alpha} be the fixed point algebra. Then the radius of comparison satisfies rc (A^{\alpha}) \leq rc (A) and rc ( C* (G, A, \alpha) ) \leq ( 1 / card (G) ) rc (A). The inclusion of A^{\alpha} in A induces an isomorphism from the purely positive part of the Cuntz semigroup Cu (A^{\alpha}) to the fixed points of the purely positive part of Cu (A), and the purely positive part of Cu ( C* (G, A, \alpha) ) is isomorphic to this semigroup. We construct an example in which G is the two element group, A is a simple unital AH algebra, \alpha has the Rokhlin property, rc (A) > 0, rc (A^{\alpha}) = rc (A), and rc (C* (G, A, \alpha)) = (1/2) rc (A).


title: Double dark matter vision: twice the number of compact-source lenses with narrow-line lensing and the WFC3 grism

abstract: The magnifications of compact-source lenses are extremely sensitive to the presence of low mass dark matter halos along the entire sight line from the source to the observer. Traditionally, the study of dark matter structure in compact-source strong gravitational lenses has been limited to radio-loud systems, as the radio emission is extended and thus unaffected by microlensing which can mimic the signal of dark matter structure. An alternate approach is to measure quasar nuclear-narrow line emission, which is free from microlensing and present in virtually all quasar lenses. In this paper, we double the number of systems which can be used for gravitational lensing analyses by presenting measurements of narrow-line emission from a sample of 8 quadruply imaged quasar lens systems, WGD J0405-3308, HS 0810+2554, RX J0911+0551, SDSS J1330+1810, PS J1606-2333, WFI 2026-4536, WFI 2033-4723 and WGD J2038-4008. We describe our updated grism spectral modelling pipeline, which we use to measure narrow-line fluxes with uncertainties of 2-10\%, presented here. We fit the lensed image positions with smooth mass models and demonstrate that these models fail to produce the observed distribution of image fluxes over the entire sample of lenses. Furthermore, typical deviations are larger than those expected from macromodel uncertainties. This discrepancy indicates the presence of perturbations caused by small-scale dark matter structure. The interpretation of this result in terms of dark matter models is presented in a companion paper.


title: Invariant parameterization of geostrophic eddies in the ocean

abstract: The framework of invariant parameterization is extended to higher-order closure schemes. We also define, for the first time, generalized invariant parameterization schemes, where symmetries of the corresponding original model are preserved as equivalence transformations of related classes of closed system of differential equations. As a particular problem, we consider invariant parameterization schemes for geostrophic eddies in a barotropic ocean. Here the initial model is the barotropic vorticity equation, which is equivalent to the system of incompressible inviscid two-dimensional Euler equations on a midlatitude beta-plane. The maximal Lie invariance algebra of this model is infinite-dimensional, and we intend to preserve it in the course of invariant parameterization, at least partially. The parameterizations proposed for the eddy vorticity flux and the energy flux are of order one and a half since we explicitly consider the equation for the turbulent kinetic energy in the closure models. These parameterizations are therefore the first examples of invariant higher-order closure schemes. Numerical experiments are carried out to assess the performance of these invariant schemes in studies of freely decaying two-dimensional turbulence, and it is verified that the invariant parameterization schemes give, on average, better results than the standard non-invariant closure models do.


title: Karl Pearson and the Logic of Science: Renouncing Causal Understanding (the Bride) and Inverted Spinozism

abstract: Karl Pearson is the leading figure of XX century statistics. He and his co-workers crafted the core of the theory, methods and language of frequentist or classical statistics -- the prevalent inductive logic of contemporary science. However, before working in statistics, K.Pearson had other interests in life, namely, in this order, philosophy, physics, and biological heredity. Key concepts of his philosophical and epistemological system of anti-Spinozism (a form of transcendental idealism) are carried over to his subsequent works on the logic of scientific discovery. This article's main goal is to analyze K.Pearson early philosophical and theological ideas and to investigate how the same ideas came to influence contemporary science, either directly or indirectly -- by the use of variant theories, methods and dialects of statistics, corresponding to variant statistical inference procedures and their specific belief calculi.


title: Hybrid Deep Network for Anomaly Detection

abstract: In this paper, we propose a deep convolutional neural network (CNN) for anomaly detection in surveillance videos. The model is adapted from a typical auto-encoder working on video patches under the perspective of sparse combination learning. Our CNN focuses on (unsupervisedly) learning common characteristics of normal events with the emphasis of their spatial locations (by supervised losses). To our knowledge, this is the first work that directly adapts the patch position as the target of a classification sub-network. The model is capable to provide a score of anomaly assessment for each video frame. Our experiments were performed on 4 benchmark datasets with various anomalous events and the obtained results were competitive with state-of-the-art studies.


title: Low-lying zeros of $L$-functions for Maass forms over imaginary quadratic fields

abstract: We study the $1$- or $2$-level density of families of $L$-functions for Hecke--Maass forms over an imaginary quadratic field $F$. For test functions whose Fourier transform is supported in $\left(-\frac 32, \frac 32\right)$, we prove that the $1$-level density for Hecke--Maass forms over $F$ of square-free level $\mathfrak{q}$, as $\mathrm{N}(\mathfrak{q})$ tends to infinity, agrees with that of the orthogonal random matrix ensembles. For Hecke--Maass forms over $F$ of full level, we prove similar statements for the $1$- and $2$-level densities, as the Laplace eigenvalues tends to infinity.


title: Black-box constructions for exchangeable sequences of random multisets

abstract: We develop constructions for exchangeable sequences of point processes that are rendered conditionally-i.i.d. negative binomial processes by a (possibly unknown) random measure called the base measure. Negative binomial processes are useful in Bayesian nonparametrics as models for random multisets, and in applications we are often interested in cases when the base measure itself is difficult to construct (for example when it has countably infinite support). While a finitary construction for an important case (corresponding to a beta process base measure) has appeared in the literature, our constructions generalize to any random base measure, requiring only an exchangeable sequence of Bernoulli processes rendered conditionally-i.i.d. by the same underlying random base measure. Because finitary constructions for such Bernoulli processes are known for several different classes of random base measures--including generalizations of the beta process and hierarchies thereof--our results immediately provide constructions for negative binomial processes with a random base measure from any member of these classes.


title: A Conceptual Framework for Successful E-commerce Smartphone Applications: The Context of GCC

abstract: Rapid expansion of online business has engulfed the GCC region. Such expansion causes competition among business entities, causing the need to identify the factors that the customers use to choose a suitable mobile business application. Instead of just focusing on the visitors/users of the application, a shift in focus towards transforming casual customers to loyal customers is needed. The IS Success Model, whose main constructs are Information Quality, Quality Systems, Service Quality, User Satisfaction, Intention to Use and Net Benefits, includes diversified indicators along with their measures. This research considers User Satisfaction, Intention to Use and Net Benefits constructs as it is, but modified System Quality, Information Quality and Service Quality constructs based on previous state-of-the-art literature. The developed theoretical model was further tested surveying 803 GCC participants. Responses were analyzed using exploratory and confirmatory factor analysis. Study reveals the significance of Service Quality (consisting of M-loyalty Building, Customer Chat and feedback, Help and technical support, and Credibility and Reliability Build) over Information Quality and System Quality, impacting the importance of User Satisfaction over the other constructs.


title: Anomaly Detection in Video Sequence with Appearance-Motion Correspondence

abstract: Anomaly detection in surveillance videos is currently a challenge because of the diversity of possible events. We propose a deep convolutional neural network (CNN) that addresses this problem by learning a correspondence between common object appearances (e.g. pedestrian, background, tree, etc.) and their associated motions. Our model is designed as a combination of a reconstruction network and an image translation model that share the same encoder. The former sub-network determines the most significant structures that appear in video frames and the latter one attempts to associate motion templates to such structures. The training stage is performed using only videos of normal events and the model is then capable to estimate frame-level scores for an unknown input. The experiments on 6 benchmark datasets demonstrate the competitive performance of the proposed approach with respect to state-of-the-art methods.


title: Techno-Economic Analysis and Optimization of a Microgrid Considering Demand-Side Management

abstract: The control and managing of power demand and supply become very crucial because of penetration of renewables in the electricity networks and energy demand increase in residential and commercial sectors. In this paper, a new approach is presented to bridge the gap between Demand-Side Management (DSM) and microgrid portfolio, sizing and placement optimization. Although DSM helps energy consumers to take advantage of recent developments in utilization of Distributed Energy Resources (DERs) especially microgrids, a huge need of connecting DSM results to microgrid optimization is being felt. Consequently, a novel model that integrates the DSM techniques and microgrid modules in a two-layer configuration is proposed. In the first layer, DSM is employed to minimize the electricity demand (e.g. heating and cooling loads) based on zone temperature set-point. Using the optimal load profile obtained from the first layer, all investment and operation costs of a microgrid are then optimized in the second layer. The presented model is based on the existing optimization platform developed by RU-LESS (Rutgers University, Laboratory for Energy Smart Systems) team. As a demonstration, the developed model has been used to study the impact of smart HVAC control on microgrid compared to traditional HVAC control. The results show a noticeable reduction in total annual energy consumption and annual cost of microgrid.


title: Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation

abstract: Deep neural networks are known to be fragile to small adversarial perturbations. This issue becomes more critical when a neural network is interconnected with a physical system in a closed loop. In this paper, we show how to combine recent works on neural network certification tools (which are mainly used in static settings such as image classification) with robust control theory to certify a neural network policy in a control loop. Specifically, we give a sufficient condition and an algorithm to ensure that the closed loop state and control constraints are satisfied when the persistent adversarial perturbation is l-infinity norm bounded. Our method is based on finding a positively invariant set of the closed loop dynamical system, and thus we do not require the differentiability or the continuity of the neural network policy. Along with the verification result, we also develop an effective attack strategy for neural network control systems that outperforms exhaustive Monte-Carlo search significantly. We show that our certification algorithm works well on learned models and achieves 5 times better result than the traditional Lipschitz-based method to certify the robustness of a neural network policy on a cart pole control problem.


title: A Fast and Accurate One-Stage Approach to Visual Grounding

abstract: We propose a simple, fast, and accurate one-stage approach to visual grounding, inspired by the following insight. The performances of existing propose-and-rank two-stage methods are capped by the quality of the region candidates they propose in the first stage --- if none of the candidates could cover the ground truth region, there is no hope in the second stage to rank the right region to the top. To avoid this caveat, we propose a one-stage model that enables end-to-end joint optimization. The main idea is as straightforward as fusing a text query's embedding into the YOLOv3 object detector, augmented by spatial features so as to account for spatial mentions in the query. Despite being simple, this one-stage approach shows great potential in terms of both accuracy and speed for both phrase localization and referring expression comprehension, according to our experiments. Given these results along with careful investigations into some popular region proposals, we advocate for visual grounding a paradigm shift from the conventional two-stage methods to the one-stage framework.


title: Entropic Dynamics of Stocks and European Options

abstract: We develop an entropic framework to model the dynamics of stocks and European Options. Entropic inference is an inductive inference framework equipped with proper tools to handle situations where incomplete information is available. The objective of the paper is to lay down an alternative framework for modeling dynamics. An important information about the dynamics of a stock's price is scale invariance. By imposing the scale invariant symmetry, we arrive at choosing the logarithm of the stock's price as the proper variable to model. The dynamics of stock log price is derived using two pieces of information, the continuity of motion and the directionality constraint. The resulting model is the same as the Geometric Brownian Motion, GBM, of the stock price which is manifestly scale invariant. Furthermore, we come up with the dynamics of probability density function, which is a Fokker--Planck equation. Next, we extend the model to value the European Options on a stock. Derivative securities ought to be prices such that there is no arbitrage. To ensure the no-arbitrage pricing, we derive the risk-neutral measure by incorporating the risk-neutral information. Consequently, the Black--Scholes model and the Black--Scholes-Merton differential equation are derived.


title: Dolbeault cohomology of complex manifolds with torus action

abstract: We describe the basic Dolbealut cohomology algebra of the canonical foliation on a class of complex manifolds with a torus symmetry group. This class includes complex moment-angle manifolds, LVM- and LVMB-manifolds and, in most generality, complex manifolds with a maximal holomorphic torus action. We also provide a dga model for the ordinary Dolbeault cohomology algebra. The Hodge decomposition for the basic Dolbeault cohomology is proved by reducing to the transversely Kaehler (equivalently, polytopal) case using a foliated analogue of toric blow-up.


title: Search for Vector-mediated Dark Matter at the LHC with Forward Proton Tagging

abstract: We investigate the production of fermionic dark matter $\chi$ via $pp \to p\gamma p \to p j \chi \bar{\chi}X$ mediated by a leptophobic spin-1 particle, where one of the protons remains intact and is tagged by forward proton detectors. We find that the masses of $\chi$ and the mediator $Z'$ are severely constrained when $Z'$ interacts with $\chi$ and quarks through the vector couplings. We show that dark matter searches in this production channel are sensitive to a mediator mass $m_{Z'} \lesssim 1.4~\mathrm{TeV}$ at 14 TeV at the LHC with an integrated luminosity $L_{\rm{int}} = 3000~\rm{fb}^{-1}$. The lower mass bound on the dark matter is $m_\chi \simeq 550~\mathrm{GeV}$ at the mediator mass $m_{Z'}=1.2~\mathrm{TeV}$.


title: Entropic Dynamics of Exchange Rates and Options

abstract: An Entropic Dynamics of exchange rates is laid down to model the dynamics of foreign exchange rates, FX, and European Options on FX. The main objective is to represent an alternative framework to model dynamics. Entropic inference is an inductive inference framework equipped with proper tools to handle situations where incomplete information is available. Entropic Dynamics is an application of entropic inference, which is equipped with the entropic notion of time to model dynamics. The scale invariance is a symmetry of the dynamics of exchange rates, which is manifested in our formalism. To make the formalism manifestly invariant under this symmetry, we arrive at choosing the logarithm of the exchange rate as the proper variable to model. By taking into account the relevant information about the exchange rates, we derive the Geometric Brownian Motion, GBM, of the exchange rate, which is manifestly invariant under the scale transformation. Securities should be valued such that there is no arbitrage opportunity. To this end, we derive a risk-neutral measure to value European Options on FX. The resulting model is the celebrated Garman-Kohlhagen model.


title: Greedy Algorithms for Hybrid Compressed Sensing

abstract: Compressed sensing (CS) is a technique which uses fewer measurements than dictated by the Nyquist sampling theorem. The traditional CS with linear measurements achieves efficient recovery performances, but it suffers from the large bit consumption due to the huge storage occupied by those measurements. Then, the one-bit CS with binary measurements is proposed and saves the bit budget, but it is infeasible when the energy information of signals is not available as a prior knowledge. Subsequently, the hybrid CS which combines the traditional CS and one-bit CS appears, striking a balance between the pros and cons of both types of CS. Considering the fact that the one-bit CS is optimal for the direction estimation of signals under noise with a fixed bit budget and that the traditional CS is able to provide residue information and estimated signals, we focus on the design of greedy algorithms, which consist of the main steps of support detection and recovered signal update, for the hybrid CS in this paper. We first propose a theorem on the random uniform tessellations for sparse signals to further investigate the properties of one-bit CS. Afterwards, we propose two greedy algorithms for the hybrid CS, with the one-bit CS responsible for support detection and traditional CS offering updated residues and signal estimates. For each of the proposed algorithms, we provide the corresponding theorem with proof to analyze their capabilities theoretically. Simulation results have demonstrated the efficacy of the proposed greedy algorithms under a limited bit budget in noisy environments.


title: Formation of a Magnetic Flux Rope in the Early Emergence Phase of NOAA Active Region 12673

abstract: In this work, we investigate the formation of a magnetic flux rope (MFR) above the central polarity inversion line (PIL) of NOAA Active Region 12673 during its early emergence phase. Through analyzing the photospheric vector magnetic field, extreme ultraviolet (EUV) and ultraviolet (UV) images, extrapolated three-dimensional (3D) non-linear force-free fields (NLFFFs), as well as the photospheric motions, we find that with the successive emergence of different bipoles in the central region, the conjugate polarities separate, resulting in collision between the non-conjugated opposite polarities. Nearly-potential loops appear above the PIL at first, then get sheared and merge at the collision locations as evidenced by the appearance of a continuous EUV sigmoid on 2017 September 4, which also indicates the formation of an MFR. The 3D NLFFFs further reveal the gradual buildup of the MFR, accompanied by the appearance of two elongated bald patches (BPs) at the collision locations and a very low-lying hyperbolic flux tube configuration between the BPs. The final MFR has relatively steady axial flux and average twist number of around $2.1\times 10^{20}$~Mx and -1.5, respective. Shearing motions are found developing near the BPs when the collision occurs, with flux cancellation and UV brightenings being observed simultaneously, indicating the development of a process named as "collisional shearing" (firstly identified by Chintzoglou et al. 2019). The results clearly show that the MFR is formed by "collisional shearing", i.e., through shearing and flux cancellation driven by the collision between non-conjugated opposite polarities during their emergence.


title: Understanding Undesirable Word Embedding Associations

abstract: Word embeddings are often criticized for capturing undesirable word associations such as gender stereotypes. However, methods for measuring and removing such biases remain poorly understood. We show that for any embedding model that implicitly does matrix factorization, debiasing vectors post hoc using subspace projection (Bolukbasi et al., 2016) is, under certain conditions, equivalent to training on an unbiased corpus. We also prove that WEAT, the most common association test for word embeddings, systematically overestimates bias. Given that the subspace projection method is provably effective, we use it to derive a new measure of association called the $\textit{relational inner product association}$ (RIPA). Experiments with RIPA reveal that, on average, skipgram with negative sampling (SGNS) does not make most words any more gendered than they are in the training corpus. However, for gender-stereotyped words, SGNS actually amplifies the gender association in the corpus.


title: Near Data Acceleration with Concurrent Host Access

abstract: Near-data accelerators (NDAs) that are integrated with main memory have the potential for significant power and performance benefits. Fully realizing these benefits requires the large available memory capacity to be shared between the host and the NDAs in a way that permits both regular memory access by some applications and accelerating others with an NDA, avoids copying data, enables collaborative processing, and simultaneously offers high performance for both host and NDA. We identify and solve new challenges in this context: mitigating row-locality interference from host to NDAs, reducing read/write-turnaround overhead caused by fine-grain interleaving of host and NDA requests, architecting a memory layout that supports the locality required for NDAs and sophisticated address interleaving for host performance, and supporting both packetized and traditional memory interfaces. We demonstrate our approach in a simulated system that consists of a multi-core CPU and NDA-enabled DDR4 memory modules. We show that our mechanisms enable effective and efficient concurrent access using a set of microbenchmarks, and then demonstrate the potential of the system for the important stochastic variance-reduced gradient (SVRG) algorithm.


title: The Particle and Energy Cost of Entanglement of Hawking Radiation with the Final Vacuum State

abstract: A semiclassical analysis shows that in the process of black hole formation and evaporation, an initial pure state will evolve to a mixed state, i.e., information will be lost. One way of avoiding this conclusion without invoking drastic modifications of the local laws of physics in a low curvature regime would be for the information to be restored at the very end of the evaporation process. It is normally envisioned that this would require a final burst of particles entangled with the early time Hawking radiation. This would imply the emission of an extremely large number of particles from an object of Planck size and mass and would appear to be blatantly ruled out by energy considerations. However, Hotta, Schutzhold, and Unruh have analyzed a $(1+1)$-dimensional moving mirror analog of the Hawking process and have found that, in this model, information is restored via entanglement of the early time Hawking radiation with vacuum fluctuations in the spacetime region to the future of the event where the mirror returns to inertial motion. We analyze their model here and give a precise formulation of this entanglement by introducing the notion of "Milne particles." We then analyze the inertial particle and energy cost of such an entanglement of Hawking radiation with vacuum fluctuations. We show that that, in fact, the entanglement of early time Hawking radiation with vacuum fluctuations requires the emission of at least as many late time inertial particles as Hawking particles. Although the energy cost can be made small in the $(1+1)$-dimensional mirror system, this should not be the case for the $(3+1)$-dimensional evaporating black hole system. Thus, vacuum entanglement has the same difficulties as the more usual burst scenarios for attempting to avoid information loss.


title: Modules over semisymmetric quasigroups

abstract: The class of semisymmetric quasigroups is determined by the identity $(yx)y=x.$ We prove that the universal multiplication group of a semisymmetric quasigroup $Q$ is free over its underlying set and then specify the point-stabilizers of an action of this free group on $Q$. A theorem of Smith indicates that Beck modules over semisymmetric quasigroups are equivalent to modules over a quotient of the integral group algebra of this stabilizer. Implementing our description of the quotient ring, we provide some examples of semisymmetric quasigroup extensions. Along the way, we provide an exposition of the quasigroup module theory in more general settings.


title: A Dedekind's Criterion over Valued Fields

abstract: Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient conditions for $R_\nu[\alpha]$ to be integrally closed. We further characterize the integral closedness of $R_\nu[\alpha]$ based on information about the valuations on $K(\alpha)$ extending $\nu$. Our results enhance and generalize some existing results in the relevant literature. Some applications and examples are also given.


title: The crystalline comparison of Ainf-cohomology: the case of good reduction

abstract: We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.