title: Verification of Deep Convolutional Neural Networks Using ImageStars

abstract: Convolutional Neural Networks (CNN) have redefined the state-of-the-art in many real-world applications, such as facial recognition, image classification, human pose estimation, and semantic segmentation. Despite their success, CNNs are vulnerable to adversarial attacks, where slight changes to their inputs may lead to sharp changes in their output in even well-trained networks. Set-based analysis methods can detect or prove the absence of bounded adversarial attacks, which can then be used to evaluate the effectiveness of neural network training methodology. Unfortunately, existing verification approaches have limited scalability in terms of the size of networks that can be analyzed. In this paper, we describe a set-based framework that successfully deals with real-world CNNs, such as VGG16 and VGG19, that have high accuracy on ImageNet. Our approach is based on a new set representation called the ImageStar, which enables efficient exact and over-approximative analysis of CNNs. ImageStars perform efficient set-based analysis by combining operations on concrete images with linear programming (LP). Our approach is implemented in a tool called NNV, and can verify the robustness of VGG networks with respect to a small set of input states, derived from adversarial attacks, such as the DeepFool attack. The experimental results show that our approach is less conservative and faster than existing zonotope methods, such as those used in DeepZ, and the polytope method used in DeepPoly.


title: Reinforcement Learning via Reasoning from Demonstration

abstract: Demonstration is an appealing way for humans to provide assistance to reinforcement-learning agents. Most approaches in this area view demonstrations primarily as sources of behavioral bias. But in sparse-reward tasks, humans seem to treat demonstrations more as sources of causal knowledge. This paper proposes a framework for agents that benefit from demonstration in this human-inspired way. In this framework, agents develop causal models through observation, and reason from this knowledge to decompose tasks for effective reinforcement learning. Experimental results show that a basic implementation of Reasoning from Demonstration (RfD) is effective in a range of sparse-reward tasks.


title: Limited containment options of COVID-19 outbreak revealed by regional agent-based simulations for South Africa

abstract: COVID-19 has spread from China across Europe and the United States and has become a global pandemic. In countries of the Global South, due to often weaker socioeconomic options and health care systems, effective local countermeasures remain debated. We combine large-scale socioeconomic and traffic survey data with detailed agent-based simulations of local transportation to analyze COVID-19 spreading in a regional model for the Nelson Mandela Bay Municipality in South Africa under a range of countermeasure scenarios. The simulations indicate that any realistic containment strategy, including those similar to the one ongoing in South Africa, may yield a manifold overload of available intensive care units (ICUs). Only immediate and the most severe countermeasures, up to a complete lock-down that essentially inhibits all joint human activities, can contain the epidemic effectively. As South Africa exhibits rather favorable conditions compared to many other countries of the Global South, our findings constitute rough conservative estimates and may support identifying strategies towards containing COVID-19 as well as any major future pandemics in these countries.


title: GRB 111209A/SN 2011kl: Collapse of a supramassive magnetar with r-mode oscillation and fall-back accretion onto a newborn black hole

abstract: Ultra-long-duration gamma-ray burst GRB 111209A was found to be associated with a very luminous supernovae (SNe) SN 2011kl. The physics of GRB 111209A/SN 2011kl has been extensively studied in the literures, but does not settle down yet. By investigating in detail the characteristics of the X-ray light curve of GRB 111209A, coupled with the temporal and spectral features observed in SN 2011kl, we argue that a short-living supramassive magnetar can be responsible for the initial shallow X-ray emission. Then the electromagnetic extraction of spin energy from a black hole results in the steeply declining X-ray flux when the magnetar collapses into a black hole (BH). A fraction of the envelope materials falls back and activates the accretion onto the newborn BH, which produces the X-ray rebrightening bump at late times. During this process, a centrifugally driven baryon-rich quasi-isotropic Blandford \& Payne outflow from the revived accretion disk deposits its kinetic energy on the SN ejecta, which powers luminous SN 2011kl. Finally, we place a limitation on the magnetar's physical parameters based on the observations.


title: Direct observation of deterministic macroscopic entanglement

abstract: Quantum entanglement of mechanical systems emerges when distinct objects move with such a high degree of correlation that they can no longer be described separately. Although quantum mechanics presumably applies to objects of all sizes, directly observing entanglement becomes challenging as masses increase, requiring measurement and control with a vanishingly small error. Here, using pulsed electromechanics, we deterministically entangle two mechanical drumheads with masses of 70 pg. Through nearly quantum-limited measurements of the position and momentum quadratures of both drums, we perform quantum state tomography and thereby directly observe entanglement. Such entangled macroscopic systems are uniquely poised to serve in fundamental tests of quantum mechanics, enable sensing beyond the standard quantum limit, and function as long-lived nodes of future quantum networks.


title: When Does Unsupervised Machine Translation Work?

abstract: Despite the reported success of unsupervised machine translation (MT), the field has yet to examine the conditions under which these methods succeed, and where they fail. We conduct an extensive empirical evaluation of unsupervised MT using dissimilar language pairs, dissimilar domains, diverse datasets, and authentic low-resource languages. We find that performance rapidly deteriorates when source and target corpora are from different domains, and that random word embedding initialization can dramatically affect downstream translation performance. We additionally find that unsupervised MT performance declines when source and target languages use different scripts, and observe very poor performance on authentic low-resource language pairs. We advocate for extensive empirical evaluation of unsupervised MT systems to highlight failure points and encourage continued research on the most promising paradigms.


title: A Relational Matrix Algebra and its Implementation in a Column Store

abstract: Analytical queries often require a mixture of relational and linear algebra operations applied to the same data. This poses a challenge to analytic systems that must bridge the gap between relations and matrices. Previous work has mainly strived to fix the problem at the implementation level. This paper proposes a principled solution at the logical level. We introduce the relational matrix algebra (RMA), which seamlessly integrates linear algebra operations into the relational model and eliminates the dichotomy between matrices and relations. RMA is closed: All our relational matrix operations are performed on relations and result in relations; no additional data structure is required. Our implementation in MonetDB shows the feasibility of our approach, and empirical evaluations suggest that in-database analytics performs well for mixed workloads.


title: Hardware Memory Management for Future Mobile Hybrid Memory Systems

abstract: The current mobile applications have rapidly growing memory footprints, posing a great challenge for memory system design. Insufficient DRAM main memory will incur frequent data swaps between memory and storage, a process that hurts performance, consumes energy and deteriorates the write endurance of typical flash storage devices. Alternately, a larger DRAM has higher leakage power and drains the battery faster. Further, DRAM scaling trends make further growth of DRAMin the mobile space prohibitive due to cost. Emerging non-volatile memory (NVM) has the potential to alleviate these issues due to its higher capacity per cost than DRAM and mini-mal static power. Recently, a wide spectrum of NVM technologies, including phase-change memories (PCM), memristor, and 3D XPoint have emerged. Despite the mentioned advantages, NVM has longer access latency compared to DRAMand NVM writes can incur higher latencies and wear costs. Therefore integration of these new memory technologies in the memory hierarchy requires a fundamental rearchitect-ing of traditional system designs. In this work, we propose a hardware-accelerated memory manager (HMMU) that addresses both types of memory in a flat space address space. We design a set of data placement and data migration policies within this memory manager, such that we may exploit the advantages of each memory technology. By augmenting the system with this HMMU, we reduce the overall memory latency while also reducing writes to the NVM. Experimental results show that our design achieves a 39% reduction in energy consumption with only a 12% performance degradation versus an all-DRAM baseline that is likely untenable in the future.


title: NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

abstract: This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS). The crux of NNV is a collection of reachability algorithms that make use of a variety of set representations, such as polyhedra, star sets, zonotopes, and abstract-domain representations. NNV supports both exact (sound and complete) and over-approximate (sound) reachability algorithms for verifying safety and robustness properties of feed-forward neural networks (FFNNs) with various activation functions. For learning-enabled CPS, such as closed-loop control systems incorporating neural networks, NNV provides exact and over-approximate reachability analysis schemes for linear plant models and FFNN controllers with piecewise-linear activation functions, such as ReLUs. For similar neural network control systems (NNCS) that instead have nonlinear plant models, NNV supports over-approximate analysis by combining the star set analysis used for FFNN controllers with zonotope-based analysis for nonlinear plant dynamics building on CORA. We evaluate NNV using two real-world case studies: the first is safety verification of ACAS Xu networks and the second deals with the safety verification of a deep learning-based adaptive cruise control system.


title: Density Map Guided Object Detection in Aerial Images

abstract: Object detection in high-resolution aerial images is a challenging task because of 1) the large variation in object size, and 2) non-uniform distribution of objects. A common solution is to divide the large aerial image into small (uniform) crops and then apply object detection on each small crop. In this paper, we investigate the image cropping strategy to address these challenges. Specifically, we propose a Density-Map guided object detection Network (DMNet), which is inspired from the observation that the object density map of an image presents how objects distribute in terms of the pixel intensity of the map. As pixel intensity varies, it is able to tell whether a region has objects or not, which in turn provides guidance for cropping images statistically. DMNet has three key components: a density map generation module, an image cropping module and an object detector. DMNet generates a density map and learns scale information based on density intensities to form cropping regions. Extensive experiments show that DMNet achieves state-of-the-art performance on two popular aerial image datasets, i.e. VisionDrone and UAVDT.


title: Distortion-Based Detection of High Impedance Fault in Distribution Systems

abstract: Detecting the High impedance fault (HIF) in distribution systems plays an important role in power utilization safety. However, many HIFs are challenging to be identified due to their low currents and diverse characteristics. In particular, the slight nonlinearity during weak arcing processes, the distortion offset caused by the lag of heat dissipations, and the interference of background noises could lead to invalid of traditional detection algorithms. This paper proposes a distortion-based algorithm to improve the reliability of HIF detection. Firstly, the challenges brought by the diversity of HIF characteristics are illustrated with the experiments in a 10kV distribution system. Then, HIFs are classified into five types according to their characteristics. Secondly, an interval slope is defined to describe the waveform distortions of HIFs, and is extracted with the methods of the linear least square filtering (LLSF) and the Grubbs-criterion-based robust local regression smoothing (Grubbs-RLRS), so that feature descriptions under different fault conditions can be unified. Thirdly, an algorithm, as well as the criteria, is proposed to identify the fault features described by the interval slopes. Finally, the detection reliability of the algorithm is thoroughly verified with field HIF data, and the results show the improvements by comparing it to other ad-vanced algorithms.


title: Cell-Edge Detection via Selective Cooperation and Generalized Canonical Correlation

abstract: Improving the uplink quality of service for users located around the boundaries between cells is a key challenge in LTE systems. Relying on power control, existing approaches throttle the rates of cell-center users, while multi-user detection requires accurate channel estimates for the cell-edge users, which is another challenge due to their low received signal-to-noise ratio (SNR). Utilizing the fact that cell-edge user signals are weak but common (received at roughly equal power) at different base stations (BSs), this paper establishes a connection between cell-edge user detection and generalized canonical correlation analysis (GCCA). It puts forth a GCCA-based method that leverages selective BS cooperation to recover the cell-edge user signal subspace even at low SNR. The cell-edge user signals can then be extracted from the resulting mixture via algebraic signal processing techniques. The paper includes theoretical analysis showing why GCCA recovers the correct subspace containing the cell-edge user signals under mild conditions. The proposed method can also identify the number of cell-edge users in the system, i.e., the common subspace dimension. Simulations reveal significant performance improvement relative to various multiuser detection techniques. Cell-edge detection performance is further studied as a function of how many / which BSs are selected, and it is shown that using the closest three BS is always the best choice.


title: DeepEDN: A Deep Learning-based Image Encryption and Decryption Network for Internet of Medical Things

abstract: Internet of Medical Things (IoMT) can connect many medical imaging equipments to the medical information network to facilitate the process of diagnosing and treating for doctors. As medical image contains sensitive information, it is of importance yet very challenging to safeguard the privacy or security of the patient. In this work, a deep learning based encryption and decryption network (DeepEDN) is proposed to fulfill the process of encrypting and decrypting the medical image. Specifically, in DeepEDN, the Cycle-Generative Adversarial Network (Cycle-GAN) is employed as the main learning network to transfer the medical image from its original domain into the target domain. Target domain is regarded as a "Hidden Factors" to guide the learning model for realizing the encryption. The encrypted image is restored to the original (plaintext) image through a reconstruction network to achieve an image decryption. In order to facilitate the data mining directly from the privacy-protected environment, a region of interest(ROI)-mining-network is proposed to extract the interested object from the encrypted image. The proposed DeepEDN is evaluated on the chest X-ray dataset. Extensive experimental results and security analysis show that the proposed method can achieve a high level of security with a good performance in efficiency.


title: Accelerating Filesystem Checking and Repair with pFSCK

abstract: File system checking and recovery (C/R) tools play a pivotal role in increasing the reliability of storage software, identifying and correcting file system inconsistencies. However, with increasing disk capacity and data content, file system C/R tools notoriously suffer from long runtimes. We posit that current file system checkers fail to exploit CPU parallelism and high throughput offered by modern storage devices. To overcome these challenges, we propose pFSCK, a tool that redesigns C/R to enable fine-grained parallelism at the granularity of inodes without impacting the correctness of C/R's functionality. To accelerate C/R, pFSCK first employs data parallelism by identifying functional operations in each stage of the checker and isolating dependent operation and their shared data structures. However, fully isolating shared structures is infeasible, consequently requiring serialization that limits scalability. To reduce the impact of synchronization bottlenecks and exploit CPU parallelism, pFSCK designs pipeline parallelism allowing multiple stages of C/R to run simultaneously without impacting correctness. To realize efficient pipeline parallelism for different file system data configurations, pFSCK provides techniques for ordering updates to global data structures, efficient per-thread I/O cache management, and dynamic thread placement across different passes of a C/R. Finally, pFSCK designs a resource-aware scheduler aimed towards reducing the impact of C/R on other applications sharing CPUs and the file system. Evaluation of pFSCK shows more than 2.6x gains of e2fsck and more than 1.8x over XFS's checker that provides coarse-grained parallelism.


title: Building Disaster Damage Assessment in Satellite Imagery with Multi-Temporal Fusion

abstract: Automatic change detection and disaster damage assessment are currently procedures requiring a huge amount of labor and manual work by satellite imagery analysts. In the occurrences of natural disasters, timely change detection can save lives. In this work, we report findings on problem framing, data processing and training procedures which are specifically helpful for the task of building damage assessment using the newly released xBD dataset. Our insights lead to substantial improvement over the xBD baseline models, and we score among top results on the xView2 challenge leaderboard. We release our code used for the competition.


title: A Comparative Study of the Drying Evolution and Dried Morphology of two Globular Protein and De-ionized water Solutions

abstract: Pattern formation in drying protein droplets continues to attract considerable research attention because it can be linked to specific protein-protein interactions. An extensive study of the drying evolution and the final crack patterns are presented, highlighting the concentration dependence (from 1 to 13 wt%) on two globular proteins, lysozyme (Lys) and bovine serum albumin (BSA), in de-ionized water. The drying evolution starts with a constant contact radius mode and shifts to a mixed mode where both fluid front and contact angle changes. The contact angle monotonically decreases, whereas, the fluid front exhibits two regimes: an initial linear regime and a later nonlinear regime. Unlike the linear regime, the non-linear regime is faster for Lys droplets. This results in the formation of a "mound"-like structure in the central region. A new feature, a "dimple" is observed in this mound which is found to be dependent on the initial concentration. The different crack morphology of BSA and Lys depends strongly on the initial state of the solution and can be interpreted using a simple mechanical model. In fact, when dried under uniform conditions (surface, humidity, temperature, droplet diameter, etc.), the evolution and the final pattern displays as a fingerprint of the initial state.


title: On reconstruction of graphs from the multiset of subgraphs obtained by deleting $\ell$ vertices

abstract: The Reconstruction Conjecture of Ulam asserts that, for $n\geq 3$, every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-1$ vertices. The conjecture is known to hold for various special classes of graphs but remains wide open. We survey results on the more general conjecture by Kelly from 1957 that for every positive integer $\ell$ there exists $M_\ell$ (with $M_1=3$) such that when $n\geq M_\ell$ every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-\ell$ vertices.


title: Analytical Expression and Deconstruction of the Volume of the Controllability Ellipsoid

abstract: In this article, we present three theorems and develop an effective analytical method to compute analytically the volume of the controllability ellipsoid for the linear discrete-time (LDT) systems with $n$ different eigenvalues. Furthermore, by deconstructing the analytical expression of the volume, some factors on the shape of the ellipsoid, the side length of its circumscribed rhomboid, the evenness of the eigenvalue distribution of the LDT system are constructed. Based on the analytical expression of the volume and these factors, the control ability can be defined, computing, analyzed, and optimized for the LDT systems.


title: Gradients as Features for Deep Representation Learning

abstract: We address the challenging problem of deep representation learning--the efficient adaption of a pre-trained deep network to different tasks. Specifically, we propose to explore gradient-based features. These features are gradients of the model parameters with respect to a task-specific loss given an input sample. Our key innovation is the design of a linear model that incorporates both gradient and activation of the pre-trained network. We show that our model provides a local linear approximation to an underlying deep model, and discuss important theoretical insights. Moreover, we present an efficient algorithm for the training and inference of our model without computing the actual gradient. Our method is evaluated across a number of representation-learning tasks on several datasets and using different network architectures. Strong results are obtained in all settings, and are well-aligned with our theoretical insights.


title: Exact Volume of Zonotopes Generated by a Matrix Pair

abstract: In this article, we define a class of special zonotopes generated by a matrix pair with finite-interval parameters. We discuss the relationship between the volume of these zonotopes and the controllability of one aspect (the volume of the controllable region) of the dynamic systems. We present a corollary and develop an effective recursive method to compute the volume of the special zonotopes. Furthermore, we develop two recursive and analytical volume-computation methods for the finite- and infinite-time controllable regions with real eigenvalues. We conduct numerical experiments to demonstrate the effectiveness of these new volume-computation methods for zonotopes and regions.


title: A Unified DNN Weight Compression Framework Using Reweighted Optimization Methods

abstract: To address the large model size and intensive computation requirement of deep neural networks (DNNs), weight pruning techniques have been proposed and generally fall into two categories, i.e., static regularization-based pruning and dynamic regularization-based pruning. However, the former method currently suffers either complex workloads or accuracy degradation, while the latter one takes a long time to tune the parameters to achieve the desired pruning rate without accuracy loss. In this paper, we propose a unified DNN weight pruning framework with dynamically updated regularization terms bounded by the designated constraint, which can generate both non-structured sparsity and different kinds of structured sparsity. We also extend our method to an integrated framework for the combination of different DNN compression tasks.


title: The Weyl problem of isometric immersions revisited

abstract: We revisit the classical problem due to Weyl, as well as its generalisations, concerning the isometric immersions of $\mathbb{S}^2$ into simply-connected $3$-dimensional Riemannian manifolds with non-negative Gauss curvature. A sufficient condition is exhibited for the existence of global $C^{1,1}$-isometric immersions. Our developments are based on the framework \`{a} la Labourie (Immersions isom\'{e}triques elliptiques et courbes pseudo-holomorphes, J. Diff. Geom. 30 (1989), 395--424) of studying isometric immersions using $J$-holomorphic curves. We obtain along the way a generalisation of a classical theorem due to Heinz and Pogorelov.


title: Harnack type inequalities for operators in logarithmic submajorisation

abstract: The aim of this paper is to study the Harnack type logarithmic submajorisation and Fuglede-Kadison determinant inequalities for operators in a finite von Neumann algebra. In particular, the Harnack type determinant inequalities due to Lin-Zhang [15] and Yang-Zhang [27] are extended to the case of operators in a finite von Neumann algebra.


title: Online Initialization and Extrinsic Spatial-Temporal Calibration for Monocular Visual-Inertial Odometry

abstract: This paper presents an online initialization method for bootstrapping the optimization-based monocular visual-inertial odometry (VIO). The method can online calibrate the relative transformation (spatial) and time offsets (temporal) among camera and IMU, as well as estimate the initial values of metric scale, velocity, gravity, gyroscope bias, and accelerometer bias during the initialization stage. To compensate for the impact of time offset, our method includes two short-term motion interpolation algorithms for the camera and IMU pose estimation. Besides, it includes a three-step process to incrementally estimate the parameters from coarse to fine. First, the extrinsic rotation, gyroscope bias, and time offset are estimated by minimizing the rotation difference between the camera and IMU. Second, the metric scale, gravity, and extrinsic translation are approximately estimated by using the compensated camera poses and ignoring the accelerometer bias. Third, these values are refined by taking into account the accelerometer bias and the gravitational magnitude. For further optimizing the system states, a nonlinear optimization algorithm, which considers the time offset, is introduced for global and local optimization. Experimental results on public datasets show that the initial values and the extrinsic parameters, as well as the sensor poses, can be accurately estimated by the proposed method.


title: Using Photo Modeling Based 3DGRSL to Promote the Sustainability of Geo-Education, a case study from China

abstract: In earth science education, observation of field geological phenomena is very important. Due to China's huge student population, it is difficult to guarantee education fairness and teaching quality in field teaching. Specimens are indispensable geo-education resources. However, the specimen cabinet or picture specimen library has many limitations and it is difficult to meet the internet-spirit or geo-teaching needs. Based on photo modeling, this research builds a 3D Geo-Resource Sharing Library (3DGRSL) for Geo-Education. It uses the Cesium engine and data-oriented distributed architecture to provide the educational resources to many universities. With Browser/Server (B/S) architecture, the system can realize multi-terminal and multi-scenario access of mobile phones, tablets, VR, PC, indoor, outdoor, field, providing a flexible and convenient way for preserving and sharing scientific information about geo-resources. This makes sense to students who cannot accept field teaching in under-funded colleges, and the ones with mobility problems. Tests and scoring results show that 3DGRSL is a suitable solution for displaying and sharing geological specimens. Which is of great significance for the sustainable use and protection of geoscience teaching resources, the maintenance of the right to fair education, and the construction of virtual simulation solutions in the future.


title: Vanishing for Hodge ideals of $\mathbb{Q}$-divisors

abstract: Musta\c{t}\u{a} a and Popa introduce the notion of Hodge ideals for an effective $\mathbb{Q}$-divisor $D$ and prove a vanishing theorem for Hodge ideals, which generalizes Nadel vanishing for multiplier ideals. However, their proof needs an extra assumption on the existence of $\ell$-roots of the line bundle $\mathscr{O}_X(\ell D)$, which is not necessary for Nadel vanishing. In this paper, we prove that vanishing for Hodge ideals still holds even without this assumption.


title: Gevrey stability of hydrostatic approximate for the Navier-Stokes equations in a thin domain

abstract: In this paper, we justify the limit from the Navier-Stokes system in a thin domain to the hydrostatic Navier-Stokes/Prandtl system for the convex initial data with Gevrey 9/8 regualrity in $x$.


title: Self-Supervised Tuning for Few-Shot Segmentation

abstract: Few-shot segmentation aims at assigning a category label to each image pixel with few annotated samples. It is a challenging task since the dense prediction can only be achieved under the guidance of latent features defined by sparse annotations. Existing meta-learning method tends to fail in generating category-specifically discriminative descriptor when the visual features extracted from support images are marginalized in embedding space. To address this issue, this paper presents an adaptive tuning framework, in which the distribution of latent features across different episodes is dynamically adjusted based on a self-segmentation scheme, augmenting category-specific descriptors for label prediction. Specifically, a novel self-supervised inner-loop is firstly devised as the base learner to extract the underlying semantic features from the support image. Then, gradient maps are calculated by back-propagating self-supervised loss through the obtained features, and leveraged as guidance for augmenting the corresponding elements in embedding space. Finally, with the ability to continuously learn from different episodes, an optimization-based meta-learner is adopted as outer loop of our proposed framework to gradually refine the segmentation results. Extensive experiments on benchmark PASCAL-$5^{i}$ and COCO-$20^{i}$ datasets demonstrate the superiority of our proposed method over state-of-the-art.


title: The Monty Hall problem revisited

abstract: We propose a new approach to solve the classical Monty Hall problem in its general form. The solution is based on basic tools of probability theory, by defining three elementary events which decompose the sample space into a partition. The probabilities of each element of the partition allow us to compute the conditional and marginal probabilities of winning.


title: On the Performance of Dual-Hop Systems over Mixed FSO/mmWave Fading Channels

abstract: Free-space optical (FSO) links are considered as a cost-efficient way to fill the backhaul/fronthaul connectivity gap between millimeter wave (mmWave) access networks and optical fiber based central networks. In this paper, we investigate the end-to-end performance of dual-hop mixed FSO/mmWave systems to address this combined use. The FSO link is modeled as a Gamma-Gamma fading channel using both heterodyne detection and indirect modulation/direct detection with pointing error impairments, while the mmWave link experiences the fluctuating two-ray fading. Under the assumption of both amplify-and-forward and decode-and-forward relaying, we derive novel closed-form expressions for the outage probability, average bit error probability (BER), ergodic capacity, effective capacity in terms of bivariate Fox's $H$-functions. Additionally, we discuss the diversity gain and provide other important engineering insights based on the high signal-to-noise-ratio analysis of the outage probability and the average BER. Finally, all our analytical results are verified using Monte Carlo simulations.


title: Evaluation of ensemble methods for quantifying uncertainties in steady-state CFD applications with small ensemble sizes

abstract: Bayesian uncertainty quantification (UQ) is of interest to industry and academia as it provides a framework for quantifying and reducing the uncertainty in computational models by incorporating available data. For systems with very high computational costs, for instance, the computational fluid dynamics (CFD) problem, the conventional, exact Bayesian approach such as Markov chain Monte Carlo is intractable. To this end, the ensemble-based Bayesian methods have been used for CFD applications. However, their applicability for UQ has not been fully analyzed and understood thus far. Here, we evaluate the performance of three widely used iterative ensemble-based data assimilation methods, namely ensemble Kalman filter, ensemble randomized maximum likelihood method, and ensemble Kalman filter with multiple data assimilation for UQ problems. We present the derivations of the three ensemble methods from an optimization viewpoint. Further, a scalar case is used to demonstrate the performance of the three different approaches with emphasis on the effects of small ensemble sizes. Finally, we assess the three ensemble methods for quantifying uncertainties in steady-state CFD problems involving turbulent mean flows. Specifically, the Reynolds averaged Navier--Stokes (RANS) equation is considered the forward model, and the uncertainties in the propagated velocity are quantified and reduced by incorporating observation data. The results show that the ensemble methods cannot accurately capture the true posterior distribution, but they can provide a good estimation of the uncertainties even when very limited ensemble sizes are used. Based on the overall performance and efficiency from the comparison, the ensemble randomized maximum likelihood method is identified as the best choice of approximate Bayesian UQ approach~among the three ensemble methods evaluated here.


title: Convergence of de Finetti's mixing measure in latent structure models for observed exchangeable sequences

abstract: Mixtures of product distributions are a powerful device for learning about heterogeneity within data populations. In this class of latent structure models, de Finetti's mixing measure plays the central role for describing the uncertainty about the latent parameters representing heterogeneity. In this paper posterior contraction theorems for de Finetti's mixing measure arising from finite mixtures of product distributions will be established, under the setting the number of exchangeable sequences of observed variables increases while sequence length(s) may be either fixed or varied. The role of both the number of sequences and the sequence lengths will be carefully examined. In order to obtain concrete rates of convergence, a first-order identifiability theory for finite mixture models and a family of sharp inverse bounds for mixtures of product distributions will be developed via a harmonic analysis of such latent structure models. This theory is applicable to broad classes of probability kernels composing the mixture model of product distributions for both continuous and discrete domain $\mathfrak{X}$. Examples of interest include the case the probability kernel is only weakly identifiable in the sense of Ho and Nguyen (2016), the case where the kernel is itself a mixture distribution as in hierarchical models, and the case the kernel may not have a density with respect to a dominating measure on an abstract domain $\mathfrak{X}$ such as Dirichlet processes.


title: Individual Tooth Detection and Identification from Dental Panoramic X-Ray Images via Point-wise Localization and Distance Regularization

abstract: Dental panoramic X-ray imaging is a popular diagnostic method owing to its very small dose of radiation. For an automated computer-aided diagnosis system in dental clinics, automatic detection and identification of individual teeth from panoramic X-ray images are critical prerequisites. In this study, we propose a point-wise tooth localization neural network by introducing a spatial distance regularization loss. The proposed network initially performs center point regression for all the anatomical teeth (i.e., 32 points), which automatically identifies each tooth. A novel distance regularization penalty is employed on the 32 points by considering $L_2$ regularization loss of Laplacian on spatial distances. Subsequently, teeth boxes are individually localized using a cascaded neural network on a patch basis. A multitask offset training is employed on the final output to improve the localization accuracy. Our method successfully localizes not only the existing teeth but also missing teeth; consequently, highly accurate detection and identification are achieved. The experimental results demonstrate that the proposed algorithm outperforms state-of-the-art approaches by increasing the average precision of teeth detection by 15.71% compared to the best performing method. The accuracy of identification achieved a precision of 0.997 and recall value of 0.972. Moreover, the proposed network does not require any additional identification algorithm owing to the preceding regression of the fixed 32 points regardless of the existence of the teeth.


title: The categorical graph minor theorem

abstract: We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gr\"obner theory of categories to the setting of pairs consisting of a category along with a functor to sets, and we apply this theory to the edge functor on the graph minor category. As an application, we study homology groups of unordered configuration spaces of graphs, improving upon various finite generation results in this subject.


title: Multifractal scaling analyses of urban street network structure: the cases of twelve megacities in China

abstract: Traffic networks have been proved to be fractal systems. However, previous studies mainly focused on monofractal networks, while complex systems are of multifractal structure. This paper is devoted to exploring the general regularities of multifractal scaling processes in the street network of 12 Chinese cities. The city clustering algorithm is employed to identify urban boundaries for defining comparable study areas; box-counting method and the direct determination method are utilized to extract spatial data; the least squares calculation is employed to estimate the global and local multifractal parameters. The results showed multifractal structure of urban street networks. The global multifractal dimension spectrums are inverse S-shaped curves, while the local singularity spectrums are asymmetric unimodal curves. If the moment order q approaches negative infinity, the generalized correlation dimension will seriously exceed the embedding space dimension 2, and the local fractal dimension curve displays an abnormal decrease for most cities. The scaling relation of local fractal dimension gradually breaks if the q value is too high, but the different levels of the network always keep the scaling reflecting singularity exponent. The main conclusions are as follows. First, urban street networks follow multifractal scaling law, and scaling precedes local fractal structure. Second, the patterns of traffic networks take on characteristics of spatial concentration, but they also show the implied trend of spatial deconcentration. Third, the development space of central area and network intensive areas is limited, while the fringe zone and network sparse areas show the phenomenon of disordered evolution. This work may be revealing for understanding and further research on complex spatial networks by using multifractal theory.


title: Derivative estimates for screened Vlasov-Poisson system around Penrose-stable equilibria

abstract: In this paper, we establish derivative estimates for the Vlasov-Poisson system with screening interactions around Penrose-stable equilibria on the phase space $\mathbb{R}^d_x\times \mathbb{R}_v^d$, with dimension $d\ge 3$. In particular, we establish the optimal decay estimates for higher derivatives of the density of the perturbed system, precisely like the free transport, up to a log correction in time. This extends the recent work \cite{T-R-HK} by Han-Kwan, Nguyen and Rousset to higher derivatives of the density. The proof makes use of several key observations from \cite{T-R-HK} on the structure of the forcing term in the linear problem, with induction arguments to classify all the terms appearing in the derivative estimates.


title: Unsharp measurements, joint measurability and classical distributions for some qudits

abstract: Classicality associated with joint measurability of operators manifests through a valid classical joint probability distribution on measurement outcomes. For qudits in dimension $n$, where $n$ is prime or power of prime, we present a method to construct unsharp versions of projective measurement operators which results in a geometric description of the set of quantum states for which the operators engender a classical joint probability distribution, and are jointly measurable. Specifically, within the setting of a generalised Bloch sphere in $n^2-1$ dimensions, we establish that the constructed operators are jointly measurable for states given by a family of concentric spheres inscribed within a regular polyhedron, which represents states that lead to classical probability distributions. Our construction establishes a novel perspective on links between joint measurability and optimal measurement strategies associated with Mutually Unbiased Bases (MUBs), and formulates a necessary condition for the long-standing open problem of existence of MUBs in dimension $n=6$.


title: Multiparty Selection

abstract: Given a sequence $A$ of $n$ numbers and an integer (target) parameter $1\leq i\leq n$, the (exact) selection problem asks to find the $i$-th smallest element in $A$. An element is said to be $(i,j)$-mediocre if it is neither among the top $i$ nor among the bottom $j$ elements of $S$. The approximate selection problem asks to find a $(i,j)$-mediocre element for some given $i,j$; as such, this variant allows the algorithm to return any element in a prescribed range. In the first part, we revisit the selection problem in the two-party model introduced by Andrew Yao (1979) and then extend our study of exact selection to the multiparty model. In the second part, we deduce some communication complexity benefits that arise in approximate selection. In particular, we present a deterministic protocol for finding an approximate median among $k$ players.


title: Continuous Profit Maximization: A Study of Unconstrained Dr-submodular Maximization

abstract: Profit maximization (PM) is to select a subset of users as seeds for viral marketing in online social networks, which balances between the cost and the profit from influence spread. We extend PM to that under the general marketing strategy, and form continuous profit maximization (CPM-MS) problem, whose domain is on integer lattices. The objective function of our CPM-MS is dr-submodular, but non-monotone. It is a typical case of unconstrained dr-submodular maximization (UDSM) problem, and take it as a starting point, we study UDSM systematically in this paper, which is very different from those existing researcher. First, we introduce the lattice-based double greedy algorithm, which can obtain a constant approximation guarantee. However, there is a strict and unrealistic condition that requiring the objective value is non-negative on the whole domain, or else no theoretical bounds. Thus, we propose a technique, called lattice-based iterative pruning. It can shrink the search space effectively, thereby greatly increasing the possibility of satisfying the non-negative objective function on this smaller domain without losing approximation ratio. Then, to overcome the difficulty to estimate the objective value of CPM-MS, we adopt reverse sampling strategies, and combine it with lattice-based double greedy, including pruning, without losing its performance but reducing its running time. The entire process can be considered as a general framework to solve the UDSM problem, especially for applying to social networks. Finally, we conduct experiments on several real datasets to evaluate the effectiveness and efficiency of our proposed algorithms.


title: Momentum-dependent potential and collective flows within the relativistic quantum molecular dynamics approach based on relativistic mean-field theory

abstract: Relativistic quantum molecular dynamics based on the relativistic mean field theory (RQMD.RMF) is extended by including momentum-dependent potential. The equation of state (EoS) dependence of the directed and the elliptic flow of protons in the beam energy range of $2.3 < \sqrt{s_{NN}}< 20$ GeV is examined. It is found that the directed flow depends strongly on the optical potential at high energies,$\sqrt{s_{NN}} > 3 $ GeV, where no information is available experimentally. The correlation between effective mass at saturation density and the optical potential is found: smaller values of effective mass require smaller strengths of the optical potential to describe the directed flow data.This correlation can also be seen in the beam energy dependence of the elliptic flow at $\sqrt{s_{NN}}>3$ GeV, although its effect is rather weak. On the other hand, stiff EoS is required to describe the elliptic flow at lower energies.Experimental constraints on the optical potential from $pA$ collisions will provide important information on the EoS at high energies.The proton directed and the elliptic flow are well described in the RQMD.RMF model from $\sqrt{s_{NN}}=2.3$ to 8.8 GeV. In contrast,to reproduce the collapse of the directed flow above 10 GeV, pressure has to be reduced, which indicates a softening of the EoS around $\sqrt{s_{NN}} =10 $ GeV.


title: OpenMix: Reviving Known Knowledge for Discovering Novel Visual Categories in An Open World

abstract: In this paper, we tackle the problem of discovering new classes in unlabeled visual data given labeled data from disjoint classes. Existing methods typically first pre-train a model with labeled data, and then identify new classes in unlabeled data via unsupervised clustering. However, the labeled data that provide essential knowledge are often underexplored in the second step. The challenge is that the labeled and unlabeled examples are from non-overlapping classes, which makes it difficult to build the learning relationship between them. In this work, we introduce OpenMix to mix the unlabeled examples from an open set and the labeled examples from known classes, where their non-overlapping labels and pseudo-labels are simultaneously mixed into a joint label distribution. OpenMix dynamically compounds examples in two ways. First, we produce mixed training images by incorporating labeled examples with unlabeled examples. With the benefits of unique prior knowledge in novel class discovery, the generated pseudo-labels will be more credible than the original unlabeled predictions. As a result, OpenMix helps to prevent the model from overfitting on unlabeled samples that may be assigned with wrong pseudo-labels. Second, the first way encourages the unlabeled examples with high class-probabilities to have considerable accuracy. We introduce these examples as reliable anchors and further integrate them with unlabeled samples. This enables us to generate more combinations in unlabeled examples and exploit finer object relations among the new classes. Experiments on three classification datasets demonstrate the effectiveness of the proposed OpenMix, which is superior to state-of-the-art methods in novel class discovery.


title: Thin accretion disks and charged rotating dilaton black holes

abstract: Einstein-Maxwell-dilaton theory is an interesting theory of gravity for studying scalar fields in the context of no-hair theorem. In this work, we consider static charged dilaton and charged, slowly rotating dilaton black holes in Einstein-Maxwell-dilaton gravity. We investigate the accretion process in thin disks around such black holes, using the Novikov-Thorne model. The electromagnetic flux, temperature distribution, energy conversion efficiency and also innermost stable circular orbits of thin disks are obtained and effects of dilaton and rotation parameters are studied. For the static and slowly rotating black holes the results are compared to that of Schwarzschild and Kerr, respectively.


title: Exploring Effects of Random Walk Based Minibatch Selection Policy on Knowledge Graph Completion

abstract: In this paper, we have explored the effects of different minibatch sampling techniques in Knowledge Graph Completion. Knowledge Graph Completion (KGC) or Link Prediction is the task of predicting missing facts in a knowledge graph. KGC models are usually trained using margin, soft-margin or cross-entropy loss function that promotes assigning a higher score or probability for true fact triplets. Minibatch gradient descent is used to optimize these loss functions for training the KGC models. But, as each minibatch consists of only a few randomly sampled triplets from a large knowledge graph, any entity that occurs in a minibatch, occurs only once in most cases. Because of this, these loss functions ignore all other neighbors of any entity, whose embedding is being updated at some minibatch step. In this paper, we propose a new random-walk based minibatch sampling technique for training KGC models that optimizes the loss incurred by a minibatch of closely connected subgraph of triplets instead of randomly selected ones. We have shown results of experiments for different models and datasets with our sampling technique and found that the proposed sampling algorithm has varying effects on these datasets/models. Specifically, we find that our proposed method achieves state-of-the-art performance on the DB100K dataset.


title: Feature Lenses: Plug-and-play Neural Modules for Transformation-Invariant Visual Representations

abstract: Convolutional Neural Networks (CNNs) are known to be brittle under various image transformations, including rotations, scalings, and changes of lighting conditions. We observe that the features of a transformed image are drastically different from the ones of the original image. To make CNNs more invariant to transformations, we propose "Feature Lenses", a set of ad-hoc modules that can be easily plugged into a trained model (referred to as the "host model"). Each individual lens reconstructs the original features given the features of a transformed image under a particular transformation. These lenses jointly counteract feature distortions caused by various transformations, thus making the host model more robust without retraining. By only updating lenses, the host model is freed from iterative updating when facing new transformations absent in the training data; as feature semantics are preserved, downstream applications, such as classifiers and detectors, automatically gain robustness without retraining. Lenses are trained in a self-supervised fashion with no annotations, by minimizing a novel "Top-K Activation Contrast Loss" between lens-transformed features and original features. Evaluated on ImageNet, MNIST-rot, and CIFAR-10, Feature Lenses show clear advantages over baseline methods.


title: On $\lambda$-homomorphic skew braces

abstract: For a skew left brace $(G, \cdot, \circ)$, the map $\lambda : (G, \circ) \to \mathrm{Aut} \;(G, \cdot),~~a \mapsto \lambda_a$, where $\lambda_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $\lambda$ can also be viewed as a map from $(G, \cdot)$ to $\mathrm{Aut}\; (G, \cdot)$, which, in general, may not be a homomorphism. We study skew left braces $(G, \cdot, \circ)$ for which $\lambda : (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ is a homomorphism. Such skew left braces will be called $\lambda$-homomorphic. We formulate necessary and sufficient conditions under which a given homomorphism $\lambda : (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ gives rise to a skew left brace, which, indeed, is $\lambda$-homomorphic. As an application, we construct skew left braces when $(G, \cdot)$ is either a free group or a free abelian group. We prove that any $\lambda$-homomorphic skew left brace is an extension of a trivial skew brace by a trivial skew brace. Special emphasis is given on $\lambda$-homomorphic skew left brace for which the image of $\lambda$ is cyclic. A complete characterization of such skew left braces on the free abelian group of rank two is obtained.


title: Smith-Purcell radiation from a charge moving above a finite-length grating with rectangular profiles

abstract: Smith-Purcell radiation is generated by a charged particle beam passing close to the surface of a diffraction grating which has a strong dependency of the emitted radiation intensity on the form of the grating profile. For relativistic electron beam, it is important to take into account the number of grating periods in practical SPR setups. In this paper, the theoretical investigations of Smith-Purcell radiation from a three-dimensional bunch of relativistic electrons that moves at constant speed parallel to an electrically perfectly conducting grating with finite rectangular grooves are carried out by using the modal matching method. This model may offer a new efficient tool for terahertz production by SPR interaction and for nondestructive bunch-length measurements by SPR.


title: Epidemic Arrival Times; Theory, Discussion, and Limitations

abstract: The rise of the World Airline Network over the past century has lead to sharp changes in our notions of `distance' and `closeness' - both in terms of trade and travel, but also (less desirably) with respect to the spread of disease. When novel pathogens are discovered, countries, cities and hospitals are caught trying to predict how much time they have to prepare. In this paper, by considering the early stages of epidemic spread as a simple branching process, we derive the full probability distribution of arrival times. We are able to re-derive a number of past arrival time results (in suitable limits), and demonstrate the robustness of our approach, both to parameter values far outside the traditionally considered regime, and to errors in the parameter values used. The branching process approach provides some theoretical justification to the `effective distance' introduced by Brockmann & Helbing (2013), however we also observe that when compared to real world data, the predictive power of all methods in this class is significantly lower than has been previously reported.


title: Polariton-polariton interaction beyond the Born approximation: A toy model study

abstract: We theoretically investigate the polariton-polariton interaction in microcavities beyond the commonly used Born approximation (i.e., mean-field), by adopting a toy model with a contact interaction to approximately describe the attraction between electrons and holes in quantum well and by using a Gaussian pair fluctuation theory beyond mean-field. We obtain a density or chemical potential independent polariton-polariton interaction strength even in two-dimensions, which result from coupling to the photon field. We show that quantum fluctuations lead to about a factor of two reduction in the polariton-polariton interaction strength within our toy model. Together with corrections to the 1s exciton approximation at very strong light-matter coupling, we find the polariton-polariton interaction strength under typical experimental conditions is overestimated by a factor three in the widely used theories, if our toy model can qualitatively simulate the polariton interaction in GaAs quantum wells. We compare our prediction with the most recent measurement and argue that the beyond-Born-approximation effect to the polariton-polariton interaction strength is crucial for a quantitative understanding of the experimental data by E. Estrecho \textit{et al.}, Phys. Rev. B \textbf{100}, 035306 (2019).


title: Two-dimensional exciton-polariton interactions beyond the Born approximation

abstract: We provide a many-body theory for the interactions of two-dimensional excitons and polaritons beyond the Born approximation. Taking into account Gaussian quantum fluctuations via the Bogoliubov theory, we find that the two-body interaction strength in two-dimensions has an inverse logarithmic dependence on the scattering length and ground state energy. This leads to a vanishing exciton interaction strength in the zero-momentum limit but a finite polariton interaction strength due to strong light-matter coupling. We also derive the exact Tan relations for exciton-polaritons and calculate Tan's contact coefficient. We show the polariton interaction strength and Tan's contact both exhibit an anomalous enhancement at red photon-exciton detuning when the scattering length is large. Our predictions may provide a qualitatively correct guide for studies of exciton and polariton nonlinearities, and suggest a route to achieving strongly nonlinear polariton gases.


title: Toward Hierarchical Self-Supervised Monocular Absolute Depth Estimation for Autonomous Driving Applications

abstract: In recent years, self-supervised methods for monocular depth estimation has rapidly become an significant branch of depth estimation task, especially for autonomous driving applications. Despite the high overall precision achieved, current methods still suffer from a) imprecise object-level depth inference and b) uncertain scale factor. The former problem would cause texture copy or provide inaccurate object boundary, and the latter would require current methods to have an additional sensor like LiDAR to provide depth ground-truth or stereo camera as additional training inputs, which makes them difficult to implement. In this work, we propose to address these two problems together by introducing DNet. Our contributions are twofold: a) a novel dense connected prediction (DCP) layer is proposed to provide better object-level depth estimation and b) specifically for autonomous driving scenarios, dense geometrical constrains (DGC) is introduced so that precise scale factor can be recovered without additional cost for autonomous vehicles. Extensive experiments have been conducted and, both DCP layer and DGC module are proved to be effectively solving the aforementioned problems respectively. Thanks to DCP layer, object boundary can now be better distinguished in the depth map and the depth is more continues on object level. It is also demonstrated that the performance of using DGC to perform scale recovery is comparable to that using ground-truth information, when the camera height is given and the ground point takes up more than 1.03\% of the pixels. Code is available at https://github.com/TJ-IPLab/DNet.


title: Quantum coherent dynamics in single molecule systems: generalized stochastic Liouville equation

abstract: We propose the generalized stochastic Liouville equation to investigate the coherent dynamics in single molecule systems coupled to environments which exhibit both nonstationary and non-Markovian features. The generalized stochastic Liouville equation contains a generalized memory kernel associated with both the intrinsic system Hamiltonian and the non-Markovian features of the environmental noise, which returns to the well-known framework established by Kubo in the limit case that the environmental noise is stationary and memoryless. The coherence of the quantum system can be derived by means of the generalized stochastic Liouville equation in two separated averages with no need to consider the statistical characteristics of the environmental noise. We express the exact analytical expressions of the coherence of the single molecule systems induced by the nonstationary and non-Markovian RTN, and the analytical results of the system coherence are in well consistent with that derived by means of some other theoretical approaches.


title: Direct evidence for shock-powered optical emission in a nova

abstract: Classical novae are thermonuclear explosions that occur on the surfaces of white dwarf stars in interacting binary systems (Bode & Evans 2008). It has long been thought that the luminosity of classical novae is powered by continued nuclear burning on the surface of the white dwarf after the initial runaway (Gallaher & Starrfield 1978). However, recent observations of GeV $\gamma$-rays from classical novae have hinted that shocks internal to the nova ejecta may dominate the nova emission. Shocks have also been suggested to power the luminosity of events as diverse as stellar mergers (Metzger & Pejcha 2017), supernovae (Moriya et al. 2018), and tidal disruption events (Roth et al. 2016), but observational confirmation has been lacking. Here we report simultaneous space-based optical and $\gamma$-ray observations of the 2018 nova V906 Carinae (ASASSN-18fv), revealing a remarkable series of distinct correlated flares in both bands. The optical and $\gamma$-ray flares occur simultaneously, implying a common origin in shocks. During the flares, the nova luminosity doubles, implying that the bulk of the luminosity is shock-powered. Furthermore, we detect concurrent but weak X-ray emission from deeply embedded shocks, confirming that the shock power does not appear in the X-ray band and supporting its emergence at longer wavelengths. Our data, spanning the spectrum from radio to $\gamma$-ray, provide direct evidence that shocks can power substantial luminosity in classical novae and other optical transients.


title: Closing Gaps in Asymptotic Fair Division

abstract: We study a resource allocation setting where $m$ discrete items are to be divided among $n$ agents with additive utilities, and the agents' utilities for individual items are drawn at random from a probability distribution. Since common fairness notions like envy-freeness and proportionality cannot always be satisfied in this setting, an important question is when allocations satisfying these notions exist. In this paper, we close several gaps in the line of work on asymptotic fair division. First, we prove that the classical round-robin algorithm is likely to produce an envy-free allocation provided that $m=\Omega(n\log n/\log\log n)$, matching the lower bound from prior work. We then show that a proportional allocation exists with high probability as long as $m\geq n$, while an allocation satisfying envy-freeness up to any item (EFX) is likely to be present for any relation between $m$ and $n$. Finally, we consider a related setting where each agent is assigned exactly one item and the remaining items are left unassigned, and show that the transition from non-existence to existence with respect to envy-free assignments occurs at $m=en$.


title: New examples of Moser-Bernstein type problems for some nonlinear elliptic partial differential equations arising in geometry

abstract: A family of nonlinear partial differential equations of divergence form is considered. Each one is the Euler-Lagrange equation of a natural Riemaniann variational problem of geometric interest. New uniqueness results for the entire solutions of these equations on a parabolic Riemaniann manifold of arbitrary dimension are given. In particular, several Moser-Bernstein type theorems are proved.


title: FBNetV2: Differentiable Neural Architecture Search for Spatial and Channel Dimensions

abstract: Differentiable Neural Architecture Search (DNAS) has demonstrated great success in designing state-of-the-art, efficient neural networks. However, DARTS-based DNAS's search space is small when compared to other search methods', since all candidate network layers must be explicitly instantiated in memory. To address this bottleneck, we propose a memory and computationally efficient DNAS variant: DMaskingNAS. This algorithm expands the search space by up to $10^{14}\times$ over conventional DNAS, supporting searches over spatial and channel dimensions that are otherwise prohibitively expensive: input resolution and number of filters. We propose a masking mechanism for feature map reuse, so that memory and computational costs stay nearly constant as the search space expands. Furthermore, we employ effective shape propagation to maximize per-FLOP or per-parameter accuracy. The searched FBNetV2s yield state-of-the-art performance when compared with all previous architectures. With up to 421$\times$ less search cost, DMaskingNAS finds models with 0.9% higher accuracy, 15% fewer FLOPs than MobileNetV3-Small; and with similar accuracy but 20% fewer FLOPs than Efficient-B0. Furthermore, our FBNetV2 outperforms MobileNetV3 by 2.6% in accuracy, with equivalent model size. FBNetV2 models are open-sourced at https://github.com/facebookresearch/mobile-vision.


title: Hierarchical Interpolative Factorization Preconditioner for Parabolic Equations

abstract: This note proposes an efficient preconditioner for solving linear and semi-linear parabolic equations. With the Crank-Nicholson time stepping method, the algebraic system of equations at each time step is solved with the conjugate gradient method, preconditioned with hierarchical interpolative factorization. Stiffness matrices arising in the discretization of parabolic equations typically have large condition numbers, and therefore preconditioning becomes essential, especially for large time steps. We propose to use the hierarchical interpolative factorization as the preconditioning for the conjugate gradient iteration. Computed only once, the hierarchical interpolative factorization offers an efficient and accurate approximate inverse of the linear system. As a result, the preconditioned conjugate gradient iteration converges in a small number of iterations. Compared to other classical exact and approximate factorizations such as Cholesky or incomplete Cholesky, the hierarchical interpolative factorization can be computed in linear time and the application of its inverse has linear complexity. Numerical experiments demonstrate the performance of the method and the reduction of conjugate gradient iterations.


title: Hyper contractivity on the unit circle for ultraspherical measures: linear case

abstract: In this paper we extend complex uniform convexity estimates for $\mathbb{C}$ to $ \mathbb{R}^n$ and determine best constants. Furthermore we provide the link to log-Sobolev inequalities and hypercontractivity estimates for ultraspherical measures.


title: Pre-training Text Representations as Meta Learning

abstract: Pre-training text representations has recently been shown to significantly improve the state-of-the-art in many natural language processing tasks. The central goal of pre-training is to learn text representations that are useful for subsequent tasks. However, existing approaches are optimized by minimizing a proxy objective, such as the negative log likelihood of language modeling. In this work, we introduce a learning algorithm which directly optimizes model's ability to learn text representations for effective learning of downstream tasks. We show that there is an intrinsic connection between multi-task pre-training and model-agnostic meta-learning with a sequence of meta-train steps. The standard multi-task learning objective adopted in BERT is a special case of our learning algorithm where the depth of meta-train is zero. We study the problem in two settings: unsupervised pre-training and supervised pre-training with different pre-training objects to verify the generality of our approach.Experimental results show that our algorithm brings improvements and learns better initializations for a variety of downstream tasks.


title: Explaining Question Answering Models through Text Generation

abstract: Large pre-trained language models (LMs) have been shown to perform surprisingly well when fine-tuned on tasks that require commonsense and world knowledge. However, in end-to-end architectures, it is difficult to explain what is the knowledge in the LM that allows it to make a correct prediction. In this work, we propose a model for multi-choice question answering, where a LM-based generator generates a textual hypothesis that is later used by a classifier to answer the question. The hypothesis provides a window into the information used by the fine-tuned LM that can be inspected by humans. A key challenge in this setup is how to constrain the model to generate hypotheses that are meaningful to humans. We tackle this by (a) joint training with a simple similarity classifier that encourages meaningful hypotheses, and (b) by adding loss functions that encourage natural text without repetitions. We show on several tasks that our model reaches performance that is comparable to end-to-end architectures, while producing hypotheses that elucidate the knowledge used by the LM for answering the question.


title: Zero-mode counting formula and zeros in orbifold compactifications

abstract: We thoroughly analyze the number of independent zero modes and their zero points on the toroidal orbifold $T^2/\mathbb{Z}_N$ ($N = 2, 3, 4, 6$) with magnetic flux background, inspired by the Atiyah-Singer index theorem. We first show a complete list for the number $n_{\eta}$ of orbifold zero modes belonging to $\mathbb{Z}_{N}$ eigenvalue $\eta$. Since it turns out that $n_{\eta}$ quite complicatedly depends on the flux quanta $M$, the Scherk-Schwarz twist phase $(\alpha_1, \alpha_2)$, and the $\mathbb{Z}_{N}$ eigenvalue $\eta$, it seems hard that $n_{\eta}$ can be universally explained in a simple formula. We, however, succeed in finding a single zero-mode counting formula $n_{\eta} = (M-V_{\eta})/N + 1$, where $V_{\eta}$ denotes the sum of winding numbers at the fixed points on the orbifold $T^2/\mathbb{Z}_N$. The formula is shown to hold for any pattern.


title: Cross-domain Correspondence Learning for Exemplar-based Image Translation

abstract: We present a general framework for exemplar-based image translation, which synthesizes a photo-realistic image from the input in a distinct domain (e.g., semantic segmentation mask, or edge map, or pose keypoints), given an exemplar image. The output has the style (e.g., color, texture) in consistency with the semantically corresponding objects in the exemplar. We propose to jointly learn the crossdomain correspondence and the image translation, where both tasks facilitate each other and thus can be learned with weak supervision. The images from distinct domains are first aligned to an intermediate domain where dense correspondence is established. Then, the network synthesizes images based on the appearance of semantically corresponding patches in the exemplar. We demonstrate the effectiveness of our approach in several image translation tasks. Our method is superior to state-of-the-art methods in terms of image quality significantly, with the image style faithful to the exemplar with semantic consistency. Moreover, we show the utility of our method for several applications


title: AMR Parsing via Graph-Sequence Iterative Inference

abstract: We propose a new end-to-end model that treats AMR parsing as a series of dual decisions on the input sequence and the incrementally constructed graph. At each time step, our model performs multiple rounds of attention, reasoning, and composition that aim to answer two critical questions: (1) which part of the input \textit{sequence} to abstract; and (2) where in the output \textit{graph} to construct the new concept. We show that the answers to these two questions are mutually causalities. We design a model based on iterative inference that helps achieve better answers in both perspectives, leading to greatly improved parsing accuracy. Our experimental results significantly outperform all previously reported \textsc{Smatch} scores by large margins. Remarkably, without the help of any large-scale pre-trained language model (e.g., BERT), our model already surpasses previous state-of-the-art using BERT. With the help of BERT, we can push the state-of-the-art results to 80.2\% on LDC2017T10 (AMR 2.0) and 75.4\% on LDC2014T12 (AMR 1.0).


title: YouMakeup VQA Challenge: Towards Fine-grained Action Understanding in Domain-Specific Videos

abstract: The goal of the YouMakeup VQA Challenge 2020 is to provide a common benchmark for fine-grained action understanding in domain-specific videos e.g. makeup instructional videos. We propose two novel question-answering tasks to evaluate models' fine-grained action understanding abilities. The first task is \textbf{Facial Image Ordering}, which aims to understand visual effects of different actions expressed in natural language to the facial object. The second task is \textbf{Step Ordering}, which aims to measure cross-modal semantic alignments between untrimmed videos and multi-sentence texts. In this paper, we present the challenge guidelines, the dataset used, and performances of baseline models on the two proposed tasks. The baseline codes and models are released at \url{https://github.com/AIM3-RUC/YouMakeup_Baseline}.


title: PrivEdge: From Local to Distributed Private Training and Prediction

abstract: Machine Learning as a Service (MLaaS) operators provide model training and prediction on the cloud. MLaaS applications often rely on centralised collection and aggregation of user data, which could lead to significant privacy concerns when dealing with sensitive personal data. To address this problem, we propose PrivEdge, a technique for privacy-preserving MLaaS that safeguards the privacy of users who provide their data for training, as well as users who use the prediction service. With PrivEdge, each user independently uses their private data to locally train a one-class reconstructive adversarial network that succinctly represents their training data. As sending the model parameters to the service provider in the clear would reveal private information, PrivEdge secret-shares the parameters among two non-colluding MLaaS providers, to then provide cryptographically private prediction services through secure multi-party computation techniques. We quantify the benefits of PrivEdge and compare its performance with state-of-the-art centralised architectures on three privacy-sensitive image-based tasks: individual identification, writer identification, and handwritten letter recognition. Experimental results show that PrivEdge has high precision and recall in preserving privacy, as well as in distinguishing between private and non-private images. Moreover, we show the robustness of PrivEdge to image compression and biased training data. The source code is available at https://github.com/smartcameras/PrivEdge.


title: Image Co-skeletonization via Co-segmentation

abstract: Recent advances in the joint processing of images have certainly shown its advantages over individual processing. Different from the existing works geared towards co-segmentation or co-localization, in this paper, we explore a new joint processing topic: image co-skeletonization, which is defined as joint skeleton extraction of objects in an image collection. Object skeletonization in a single natural image is a challenging problem because there is hardly any prior knowledge about the object. Therefore, we resort to the idea of object co-skeletonization, hoping that the commonness prior that exists across the images may help, just as it does for other joint processing problems such as co-segmentation. We observe that the skeleton can provide good scribbles for segmentation, and skeletonization, in turn, needs good segmentation. Therefore, we propose a coupled framework for co-skeletonization and co-segmentation tasks so that they are well informed by each other, and benefit each other synergistically. Since it is a new problem, we also construct a benchmark dataset by annotating nearly 1.8k images spread across 38 categories. Extensive experiments demonstrate that the proposed method achieves promising results in all the three possible scenarios of joint-processing: weakly-supervised, supervised, and unsupervised.


title: R\'{e}nyi formulation of uncertainty relations for POVMs assigned to a quantum design

abstract: Information entropies provide powerful and flexible way to express restrictions imposed by the uncertainty principle. This approach seems to be very suitable in application to problems of quantum information theory. It is typical that questions of such a kind involve measurements having one or another specific structure. The latter often allows us to improve entropic bounds that follow from uncertainty relations of sufficiently general scope. Quantum designs have found use in many issues of quantum information theory, whence uncertainty relations for related measurements are of interest. In this paper, we obtain uncertainty relations in terms of min-entropies and R\'{e}nyi entropies for POVMs assigned to a quantum design. Relations of the Landau--Pollak type are addressed as well. Using examples of quantum designs in two dimensions, the obtained lower bounds are then compared with the previous ones. An impact on entropic steering inequalities is briefly discussed.


title: Non-Hermitian Ferromagnetism in an Ultracold Fermi Gas

abstract: We develop a non-Hermitian effective theory for a repulsively interacting Fermi gas in the excited branch. The on-shell $T$-matrix is employed as a complex-valued interaction term, which describes a repulsive interaction between atoms in the excited branch and a two-body inelastic decay to the attractive branch. To see the feature of this model, we have addressed, in the weak coupling regime, the excitation properties of a repulsive Fermi polaron as well as the time-dependent number density. The analytic expressions obtained for these quantities qualitatively show a good agreement with recent experiments. By calculating the dynamical transverse spin susceptibility in the random phase approximation, we show that a ferromagnetic system with nonzero polarization undergoes a dynamical instability and tends towards a heterogeneous phase.


title: When Weak Becomes Strong: Robust Quantification of White Matter Hyperintensities in Brain MRI scans

abstract: To measure the volume of specific image structures, a typical approach is to first segment those structures using a neural network trained on voxel-wise (strong) labels and subsequently compute the volume from the segmentation. A more straightforward approach would be to predict the volume directly using a neural network based regression approach, trained on image-level (weak) labels indicating volume. In this article, we compared networks optimized with weak and strong labels, and study their ability to generalize to other datasets. We experimented with white matter hyperintensity (WMH) volume prediction in brain MRI scans. Neural networks were trained on a large local dataset and their performance was evaluated on four independent public datasets. We showed that networks optimized using only weak labels reflecting WMH volume generalized better for WMH volume prediction than networks optimized with voxel-wise segmentations of WMH. The attention maps of networks trained with weak labels did not seem to delineate WMHs, but highlighted instead areas with smooth contours around or near WMHs. By correcting for possible confounders we showed that networks trained on weak labels may have learnt other meaningful features that are more suited to generalization to unseen data. Our results suggest that for imaging biomarkers that can be derived from segmentations, training networks to predict the biomarker directly may provide more robust results than solving an intermediate segmentation step.


title: Reconstruction of piecewise-smooth multivariate functions from Fourier data

abstract: In some applications, one is interested in reconstructing a function $f$ from its Fourier series coefficients. The problem is that the Fourier series is slowly convergent if the function is non-periodic, or is non-smooth. In this paper, we suggest a method for deriving high order approximation to $f$ using a Pad\'e-like method. Namely, by fitting some Fourier coefficients of the approximant to the given Fourier coefficients of $f$. Given the Fourier series coefficients of a function on a rectangular domain in $\mathbb{R}^d$, assuming the function is piecewise smooth, we approximate the function by piecewise high order spline functions. First, the singularity structure of the function is identified. For example in the 2-D case, we find high accuracy approximation to the curves separating between smooth segments of $f$. Secondly, simultaneously we find the approximations of all the different segments of $f$. We start by developing and demonstrating a high accuracy algorithm for the 1-D case, and we use this algorithm to step up to the multidimensional case.


title: Dimensionality of metallic atomic wires on surfaces

abstract: We investigate the low-energy collective charge excitations (plasmons, holons) in metallic atomic wires deposited on semiconducting substrates. These systems are described by two-dimensional correlated models representing strongly anisotropic lattices or weakly coupled chains. Well-established theoretical approaches and results are used to study their properties: random phase approximation for anisotropic Fermi liquids and bosonization for coupled Tomonaga-Luttinger liquids as well as Bethe Ansatz and density-matrix renormalization group methods for ladder models. We show that the Fermi and Tomonaga-Luttinger liquid theories predict the same qualitative behavior for the dispersion of excitations at long wave lengths. Moreover, their scaling depends on the choice of the effective electron-electron interaction but does not characterize the dimensionality of the metallic state. Our results also suggest that such anisotropic correlated systems can exhibit two-dimensional dispersions due to the coupling between wires but remain quasi-one-dimensional strongly anisotropic conductors or retain typical features of Tomonaga-Luttinger liquids such as the power-law behaviour of the density of states at the Fermi energy. Thus it is possible that atomic wire materials such as Au/Ge(100) exhibit a mixture of features associated with one and two dimensional metals.


title: The split case of the Prasad--Takloo-Bighash conjecture for cuspidal representations of level zero

abstract: Let $E/F$ be a quadratic extension of non archimedean local fields of odd residual characteristic. We prove a conjecture of Prasad and Takloo-Bighash, in the case of cuspidal representations of depth zero of $\mathrm{GL}(2m,F)$. This conjecture characterizes distinction for the pair $(\mathrm{GL}(2m,F),\mathrm{GL}(m,E))$ with respect to a character $\mu\circ \mathrm{det}$ of $\mathrm{GL}(m,E)$, in terms of certain conditions on Langlands paremeters, including an epsilon value. We also compute the multiplicity of the involved equivariant linear forms when $E/F$ is unramified, and also when $\mu$ is tame. In both cases this multiplicity is at most one.


title: Sharing Matters for Generalization in Deep Metric Learning

abstract: Learning the similarity between images constitutes the foundation for numerous vision tasks. The common paradigm is discriminative metric learning, which seeks an embedding that separates different training classes. However, the main challenge is to learn a metric that not only generalizes from training to novel, but related, test samples. It should also transfer to different object classes. So what complementary information is missed by the discriminative paradigm? Besides finding characteristics that separate between classes, we also need them to likely occur in novel categories, which is indicated if they are shared across training classes. This work investigates how to learn such characteristics without the need for extra annotations or training data. By formulating our approach as a novel triplet sampling strategy, it can be easily applied on top of recent ranking loss frameworks. Experiments show that, independent of the underlying network architecture and the specific ranking loss, our approach significantly improves performance in deep metric learning, leading to new the state-of-the-art results on various standard benchmark datasets. Preliminary early access page can be found here: https://ieeexplore.ieee.org/document/9141449


title: Spin vortex lattice in the Landau vortex-free state of rotating superfluids

abstract: We show that the Landau vortex-free state in rotating container may give rise to the lattice of spin vortices. We consider this effect on example of spin vortices in magnon Bose-Einstein condensate (the phase coherent spin precession) in the B-phase of superfluid $^3$He, and on example of spin vortices in the polar phase of $^3$He.


title: Magneto-acoustic waves in a magnetic slab embedded in an asymmetric magnetic environment II: Thin and wide slabs, hot and cold plasmas

abstract: Wave propagation in magnetically structured atmospheres is a thoroughly studied, yet practically inexhaustible well of investigations in the field of solar magneto-seismology. A simple but powerful example is the examination of wave behaviour in a magnetic slab. Our previous study (Zs\'amberger, Allcock and Erd\'elyi, Astrophys. J., 853, p. 136, 2018) used an analytical approach to derive the general dispersion relation for magneto-acoustic waves in a magnetic slab of homogeneous plasma, which was enclosed in an asymmetric magnetic environment. In the present study, we focus on the analysis of wave propagation in various limiting cases applicable to solar and space plasma or astrophysics. The thin- and wide-slab approximations, as well as the limits of low and high plasma-beta values are considered. Utilising the fact that in a weakly asymmetric slab, the dispersion relation can be decoupled, the behaviour of quasi-sausage and quasi-kink modes is studied in further analytical and numerical detail, and their avoided crossings are described. The results highlight how the asymmetry influences the wave properties, e.g. the phase speed of eigenmodes, depending on the ratios of external-to-internal densities and magnetic fields on the two sides. Notably, the phase speeds of surface modes will converge to different values for quasi-sausage and quasi-kink modes in the wide-slab limit, and cut-off frequencies are introduced with respect to both surface and body modes, in thin as well as wide slabs, beyond which the solutions become leaky. These obtained properties of MHD wave behaviour could be measured with suitable high-resolution instruments in the future.


title: Arbitrary spatial mode sorting in a multimode fiber

abstract: Sorting spatial optical modes is a key challenge that underpins many applications from super-resolved imaging to high-dimensional quantum key distribution. However, to date implementations of optical mode sorters only operate on specific sets of modes, such as those carrying orbital angular momentum, and therefore lack versatility with respect to operation with an arbitrary spatial basis. Here, we demonstrate an arbitrary spatial mode sorter by harnessing the random mode mixing process occurring during light propagation in a multimode fibre by wavefront shaping. By measuring the transmission matrix of the fibre, we show sorting of up to $25$ transverse spatial modes of the Fourier, Laguerre-Gaussian and a random basis to an arbitrary set of positions at the output. Our approach provides a spatial mode sorter that is compact, easy-to-fabricate, programmable and usable with any spatial basis, which is promising for quantum and classical information science.


title: Experimental Realization of Near-Field Photonic Routing with All-Electric Metasources

abstract: The spatially confined evanescent microwave photonics have been proved to be highly desirable in broad practical scenarios ranging from robust information communications to efficient quantum interactions. However, the feasible applications of these photonics modes are limited due to the lack of fundamental understandings and feasible directional coupling approaches at sub-wavelengths. Here, we experimentally demonstrate the efficient near-field photonic routing achieved in waveguides composed of two kinds of single-negative metamaterials. Without mimicking the polarization features, we propose all-electric near-field metasource in subwavelength scale and exemplify its near-field functions like Janus, Huygens and spin sources, corresponding to time-reversal, parity-time and parity symmetries of its inner degree of freedom. Our work furthers the understandings about optical near-field symmetry and feasible engineering approaches of directional couplings, which would pave the way for promising integrated mircrowave photonics devices.


title: Who are Political Retweeters?, Demographic comparison of political retweeters with retweeters of non-political personalities

abstract: Twitter has been a focus of research in political science for a few years now as it provides the opportunity to make direct observations on the spread of political information in different communities. Here we will be studying the phenomena of information diffusion, and focus on nodes that are responsible for spreading political information everywhere on the Twitter network. This paper attempts to fill gaps in the literature regarding the demographics of political retweeters using various techniques on the name and location-related data from most active French political retweeters. Here I will try to state the break-down of these accounts in categories based on gender, language, location, education level, and self-descriptions. To put the information about political retweeters in context we will also create a category of non-political retweeters to draw comparisons between the groups regarding the above-mentioned variables.


title: Channeling of ultrarelativistic particles in a diamond crystal

abstract: The results of numerical simulation of the channeling of ultra-relativistic 270 MeV electrons and positrons in a diamond crystal are presented. Using the MBN Explorer package, the trajectories of the have been determined of the particles incident on a 20 microns thick crystal along (110) crystallographic plane. The channeling parameters and radiation spectra of electrons and positrons have been computed for the cases of straight and periodically bent diamond crystals.


title: Norm violation in online communities -- A study of Stack Overflow comments

abstract: Norms are behavioral expectations in communities. Online communities are also expected to abide by the rules and regulations that are expressed in the code of conduct of a system. Even though community authorities continuously prompt their users to follow the regulations, it is observed that hate speech and abusive language usage are on the rise. In this paper, we quantify and analyze the patterns of violations of normative behaviour among the users of Stack Overflow (SO) - a well-known technical question-answer site for professionals and enthusiast programmers, while posting a comment. Even though the site has been dedicated to technical problem solving and debugging, hate speech as well as posting offensive comments make the community "toxic". By identifying and minimising various patterns of norm violations in different SO communities, the community would become less toxic and thereby the community can engage more effectively in its goal of knowledge sharing. Moreover, through automatic detection of such comments, the authors can be warned by the moderators, so that it is less likely to be repeated, thereby the reputation of the site and community can be improved. Based on the comments extracted from two different data sources on SO, this work first presents a taxonomy of norms that are violated. Second, it demonstrates the sanctions for certain norm violations. Third, it proposes a recommendation system that can be used to warn users that they are about to violate a norm. This can help achieve norm adherence in online communities.


title: Mid-Frequency Gravitational Wave Detection and Sources

abstract: A brief history and various themes of mid-frequency gravitational wave detection are presented more or less following historical order -- Laser Interferometry, Atom Interferometry (AI), Torsion Bar Antenna (TOBA), and Superconducting Omni-directional Gravitational Radiation Observatory (SOGRO). Both Earth-based and Space-borne concepts are reviewed with outlook on expected astrophysical sources

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.IM


title: Behavior variations and their implications for popularity promotions: From elites to mass in Weibo

abstract: The boom in social media with regard to producing and consuming information simultaneously implies the crucial role of online user influence in determining content popularity. In particular, understanding behavior variations between the influential elites and the mass grassroots is an important issue in communication. However, how their behavior varies across user categories and content domains, and how these differences influence content popularity are rarely addressed. From a novel view of seven content-domains, a detailed picture of behavior variations among five user groups, from both views of elites and mass, is drawn in Weibo, one of the most popular Twitter-like services in China. Interestingly, elites post more diverse contents with video links while the mass possess retweeters of higher loyalty. According to these variations, user-oriented actions of enhancing content popularity are discussed and testified. The most surprising finding is that the diversity of contents do not always bring more retweets, and the mass and elites should promote content popularity by increasing their retweeter counts and loyalty, respectively. Our results for the first time demonstrate the possibility of highly individualized strategies of popularity promotions in social media, instead of a universal principle.


title: Remarks around the non-existence of difference-closure

abstract: This paper shows that in general, difference fields do not have a difference closure. However, we introduce a stronger notion of closure (kappa-closure), and show that every algebraically closed difference field K of characteristic 0, with fixed field satisfying a certain natural condition, has a closure, and this closure is unique up to isomorphism over K.


title: A note on the non-existence of prime models of theories of pseudo-finite fields

abstract: We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or \aleph_\epsilon.


title: High-quality quantum process tomography of time-bin qubit's transmission over a metropolitan fiber network and its application

abstract: We employ quantum state and process tomography with time-bin qubits to benchmark a city-wide metropolitan quantum communication system. Over this network, we implement real-time feedback control systems for stabilizing the phase of the time-bin qubits, and obtain a 99.3% quantum process fidelity to the ideal channel, indicating the high quality of the whole quantum communication system. This allows us to implement field trial of high performance quantum key distribution using coherent one way protocol with average quantum bit error rate and visibility of 0.25% and 99.2% during 12 hours over 61 km. Our results pave the way for the high-performance quantum network with metropolitan fibers.


title: An Entropy Clustering Approach for Assessing Visual Question Difficulty

abstract: We propose a novel approach to identify the difficulty of visual questions for Visual Question Answering (VQA) without direct supervision or annotations to the difficulty. Prior works have considered the diversity of ground-truth answers of human annotators. In contrast, we analyze the difficulty of visual questions based on the behavior of multiple different VQA models. We propose to cluster the entropy values of the predicted answer distributions obtained by three different models: a baseline method that takes as input images and questions, and two variants that take as input images only and questions only. We use a simple k-means to cluster the visual questions of the VQA v2 validation set. Then we use state-of-the-art methods to determine the accuracy and the entropy of the answer distributions for each cluster. A benefit of the proposed method is that no annotation of the difficulty is required, because the accuracy of each cluster reflects the difficulty of visual questions that belong to it. Our approach can identify clusters of difficult visual questions that are not answered correctly by state-of-the-art methods. Detailed analysis on the VQA v2 dataset reveals that 1) all methods show poor performances on the most difficult cluster (about 10\% accuracy), 2) as the cluster difficulty increases, the answers predicted by the different methods begin to differ, and 3) the values of cluster entropy are highly correlated with the cluster accuracy. We show that our approach has the advantage of being able to assess the difficulty of visual questions without ground-truth (\ie, the test set of VQA v2) by assigning them to one of the clusters. We expect that this can stimulate the development of novel directions of research and new algorithms.