title: Adaptive generalized measurement for unambiguous state discrimination of quaternary phase-shift-keying coherent states

abstract: Generalized quantum measurements identifying non-orthogonal states without ambiguity often play an indispensable role in various quantum applications. For such unambiguous state discrimination scenario, we have a finite probability of obtaining inconclusive results and minimizing the probability of inconclusive results is of particular importance. In this paper, we experimentally demonstrate an adaptive generalized measurement that can unambiguously discriminate the quaternary phase-shift-keying coherent states with a near-optimal performance. Our scheme is composed of displacement operations, single photon detections and adaptive control of the displacements dependent on a history of photon detection outcomes. Our experimental results show a clear improvement of both a probability of conclusive results and a ratio of erroneous decision caused by unavoidable experimental imperfections over conventional static generalized measurements.


title: Variational Hamiltonian Diagonalization for Dynamical Quantum Simulation

abstract: Dynamical quantum simulation may be one of the first applications to see quantum advantage. However, the circuit depth of standard Trotterization methods can rapidly exceed the coherence time of noisy quantum computers. This has led to recent proposals for variational approaches to dynamical simulation. In this work, we aim to make variational dynamical simulation even more practical and near-term. We propose a new algorithm called Variational Hamiltonian Diagonalization (VHD), which approximately transforms a given Hamiltonian into a diagonal form that can be easily exponentiated. VHD allows for fast forwarding, i.e., simulation beyond the coherence time of the quantum computer with a fixed-depth quantum circuit. It also removes Trotterization error and allows simulation of the entire Hilbert space. We prove an operational meaning for the VHD cost function in terms of the average simulation fidelity. Moreover, we prove that the VHD cost function does not exhibit a shallow-depth barren plateau, i.e., its gradient does not vanish exponentially. Our proof relies on locality of the Hamiltonian, and hence we connect locality to trainability. Our numerical simulations verify that VHD can be used for fast-forwarding dynamics.


title: Particle Swarm Optimized Federated Learning For Industrial IoT and Smart City Services

abstract: Most of the research on Federated Learning (FL) has focused on analyzing global optimization, privacy, and communication, with limited attention focusing on analyzing the critical matter of performing efficient local training and inference at the edge devices. One of the main challenges for successful and efficient training and inference on edge devices is the careful selection of parameters to build local Machine Learning (ML) models. To this aim, we propose a Particle Swarm Optimization (PSO)-based technique to optimize the hyperparameter settings for the local ML models in an FL environment. We evaluate the performance of our proposed technique using two case studies. First, we consider smart city services and use an experimental transportation dataset for traffic prediction as a proxy for this setting. Second, we consider Industrial IoT (IIoT) services and use the real-time telemetry dataset to predict the probability that a machine will fail shortly due to component failures. Our experiments indicate that PSO provides an efficient approach for tuning the hyperparameters of deep Long short-term memory (LSTM) models when compared to the grid search method. Our experiments illustrate that the number of clients-server communication rounds to explore the landscape of configurations to find the near-optimal parameters are greatly reduced (roughly by two orders of magnitude needing only 2%--4% of the rounds compared to state of the art non-PSO-based approaches). We also demonstrate that utilizing the proposed PSO-based technique to find the near-optimal configurations for FL and centralized learning models does not adversely affect the accuracy of the models.


title: NF-Crowd: Nearly-free Blockchain-based Crowdsourcing

abstract: Advancements in distributed ledger technologies are rapidly driving the rise of decentralized crowdsourcing systems on top of open smart contract platforms like Ethereum. While decentralized blockchain-based crowdsourcing provides numerous benefits compared to centralized solutions, current implementations of decentralized crowdsourcing suffer from fundamental scalability limitations by requiring all participants to pay a small transaction fee every time they interact with the blockchain. This increases the cost of using decentralized crowdsourcing solutions, resulting in a total payment that could be even higher than the price charged by centralized crowdsourcing platforms. This paper proposes a novel suite of protocols called NF-Crowd that resolves the scalability issue by reducing the lower bound of the total cost of a decentralized crowdsourcing project to O(1). NF-Crowd is a highly reliable solution for scaling decentralized crowdsourcing. We prove that as long as participants of a project powered by NF-Crowd are rational, the O(1) lower bound of cost could be reached regardless of the scale of the crowd. We also demonstrate that as long as at least one participant of a project powered by NF-Crowd is honest, the project cannot be aborted and the results are guaranteed to be correct. We design NF-Crowd protocols for a representative type of project named crowdsourcing contest with open community review (CC-OCR). We implement the protocols over the Ethereum official test network. Our results demonstrate that NF-Crowd protocols can reduce the cost of running a CC-OCR project to less than $2 regardless of the scale of the crowd, providing a significant cost benefit in adopting decentralized crowdsourcing solutions.


title: Permutation-equivariant and Proximity-aware Graph Neural Networks with Stochastic Message Passing

abstract: Graph neural networks (GNNs) are emerging machine learning models on graphs. Permutation-equivariance and proximity-awareness are two important properties highly desirable for GNNs. Both properties are needed to tackle some challenging graph problems, such as finding communities and leaders. In this paper, we first analytically show that the existing GNNs, mostly based on the message-passing mechanism, cannot simultaneously preserve the two properties. Then, we propose Stochastic Message Passing (SMP) model, a general and simple GNN to maintain both proximity-awareness and permutation-equivariance. In order to preserve node proximities, we augment the existing GNNs with stochastic node representations. We theoretically prove that the mechanism can enable GNNs to preserve node proximities, and at the same time, maintain permutation-equivariance with certain parametrization. We report extensive experimental results on ten datasets and demonstrate the effectiveness and efficiency of SMP for various typical graph mining tasks, including graph reconstruction, node classification, and link prediction.


title: Exploiting NIKA2/XMM-Newton imaging synergy for intermediate mass, high-$z$ galaxy clusters within the NIKA2 SZ Large Program

abstract: High-resolution mapping of the intra-cluster medium (ICM) up to high redshift and down to low masses is crucial to derive accurate mass estimates of the galaxy cluster and to understand the systematic effects affecting cosmological studies based on galaxy clusters. We present a spatially-resolved Sunyaev-Zel'dovich (SZ)/X-ray analysis of ACT-CL J0215.4+0030, a high redshift ($z=0.865$) galaxy cluster of intermediate mass ($M_{500}\simeq3.5\times10^{14}\;\mathrm{M_\odot}$) observed as part of the ongoing NIKA2 SZ Large Program, a follow up of a representative sample of objects at $0.5 \leqslant z \leqslant 0.9$. In addition to the faintness and small angular size induced by its mass and redshift, the cluster is contaminated by point sources that significantly affect the SZ signal. Therefore, this is an interesting case study for the most challenging sources of the NIKA2 cluster sample. We present the NIKA2 observations of this cluster and the resulting data. We reconstruct the ICM pressure profile by performing a joint analysis of the SZ signal and of the point sources in the NIKA2 150 GHz map. We obtain high-quality estimates of the ICM thermodynamical properties with NIKA2. We compare the pressure profile extracted from the NIKA2 map to the pressure profile obtained from X-ray data only by deprojecting XMM-Newton observations of the cluster. We combine the NIKA2 pressure profile with the X-ray deprojected density to extract detailed information on the ICM. The radial distribution of its thermodynamic properties indicate that the cluster has a disturbed core. The hydrostatic mass of the cluster is to be compatible with estimations from SZ and X-rays scaling relations. We conclude that the NIKA2 SZ large program can deliver quality information on the thermodynamics of the ICM even for one of its faintest clusters, after a careful treatment of the contamination by point sources.


title: Semi-supervised Pathology Segmentation with Disentangled Representations

abstract: Automated pathology segmentation remains a valuable diagnostic tool in clinical practice. However, collecting training data is challenging. Semi-supervised approaches by combining labelled and unlabelled data can offer a solution to data scarcity. An approach to semi-supervised learning relies on reconstruction objectives (as self-supervision objectives) that learns in a joint fashion suitable representations for the task. Here, we propose Anatomy-Pathology Disentanglement Network (APD-Net), a pathology segmentation model that attempts to learn jointly for the first time: disentanglement of anatomy, modality, and pathology. The model is trained in a semi-supervised fashion with new reconstruction losses directly aiming to improve pathology segmentation with limited annotations. In addition, a joint optimization strategy is proposed to fully take advantage of the available annotations. We evaluate our methods with two private cardiac infarction segmentation datasets with LGE-MRI scans. APD-Net can perform pathology segmentation with few annotations, maintain performance with different amounts of supervision, and outperform related deep learning methods.


title: An Efficient Technique for Image Captioning using Deep Neural Network

abstract: With the huge expansion of internet and trillions of gigabytes of data generated every single day, the needs for the development of various tools has become mandatory in order to maintain system adaptability to rapid changes. One of these tools is known as Image Captioning. Every entity in internet must be properly identified and managed and therefore in the case of image data, automatic captioning for identification is required. Similarly, content generation for missing labels, image classification and artificial languages all requires the process of Image Captioning. This paper discusses an efficient and unique way to perform automatic image captioning on individual image and discusses strategies to improve its performances and functionalities.


title: Skewing Quanto with Simplicity

abstract: We present a simple and highly efficient analytical method for solving the Quanto Skew problem in Equities under a framework that accommodates both Equity and FX volatility skew consistently. Ease of implementation and extremely fast performance of this new approach should benefit a wide spectrum of market participants.


title: A systematic search of Zwicky Transient Facility data for ultracompact binary LISA-detectable gravitational-wave sources

abstract: Using photometry collected with the Zwicky Transient Facility (ZTF), we are conducting an ongoing survey for binary systems with short orbital periods ($P_{\rm b}<1\rm \,hr)$ with the goal of identifying new gravitational-wave sources detectable by the upcoming Laser Interferometer Space Antenna (LISA). Here, we present a sample of fifteen binary systems discovered thus far, with orbital periods ranging from $6.91\rm\,min$ to $56.35\rm\,min$. Of the fifteen systems, seven are eclipsing systems which do not show signs of significant mass transfer. Additionally, we have discovered two AM Canum Venaticorum (AM CVn) systems and six systems exhibiting primarily ellipsoidal variations in their light curves. We present follow-up spectroscopy and high-speed photometry confirming the nature of these systems, estimates of their LISA signal-to-noise ratios (SNR), and a discussion of their physical characteristics.


title: Multimodal Memorability: Modeling Effects of Semantics and Decay on Video Memorability

abstract: A key capability of an intelligent system is deciding when events from past experience must be remembered and when they can be forgotten. Towards this goal, we develop a predictive model of human visual event memory and how those memories decay over time. We introduce Memento10k, a new, dynamic video memorability dataset containing human annotations at different viewing delays. Based on our findings we propose a new mathematical formulation of memorability decay, resulting in a model that is able to produce the first quantitative estimation of how a video decays in memory over time. In contrast with previous work, our model can predict the probability that a video will be remembered at an arbitrary delay. Importantly, our approach combines visual and semantic information (in the form of textual captions) to fully represent the meaning of events. Our experiments on two video memorability benchmarks, including Memento10k, show that our model significantly improves upon the best prior approach (by 12% on average).


title: Max-Fusion U-Net for Multi-Modal Pathology Segmentation with Attention and Dynamic Resampling

abstract: Automatic segmentation of multi-sequence (multi-modal) cardiac MR (CMR) images plays a significant role in diagnosis and management for a variety of cardiac diseases. However, the performance of relevant algorithms is significantly affected by the proper fusion of the multi-modal information. Furthermore, particular diseases, such as myocardial infarction, display irregular shapes on images and occupy small regions at random locations. These facts make pathology segmentation of multi-modal CMR images a challenging task. In this paper, we present the Max-Fusion U-Net that achieves improved pathology segmentation performance given aligned multi-modal images of LGE, T2-weighted, and bSSFP modalities. Specifically, modality-specific features are extracted by dedicated encoders. Then they are fused with the pixel-wise maximum operator. Together with the corresponding encoding features, these representations are propagated to decoding layers with U-Net skip-connections. Furthermore, a spatial-attention module is applied in the last decoding layer to encourage the network to focus on those small semantically meaningful pathological regions that trigger relatively high responses by the network neurons. We also use a simple image patch extraction strategy to dynamically resample training examples with varying spacial and batch sizes. With limited GPU memory, this strategy reduces the imbalance of classes and forces the model to focus on regions around the interested pathology. It further improves segmentation accuracy and reduces the mis-classification of pathology. We evaluate our methods using the Myocardial pathology segmentation (MyoPS) combining the multi-sequence CMR dataset which involves three modalities. Extensive experiments demonstrate the effectiveness of the proposed model which outperforms the related baselines.


title: Stochastic Channel Models for Massive and XL-MIMO Systems

abstract: In this paper, stochastic channel models for massive MIMO (M-MIMO) and extreme large MIMO (XL- MIMO) system applications are described, evaluated and systematically compared. This work aims to cover new aspects of massive MIMO stochastic channel models in a comprehensive and systematic way. For that, we compare different models, presenting graphically and intuitively the behavior of each model. Each massive MIMO channel model emulates the environment using different methodologies and properties. Using metrics such as capacity, SINR, singular values decomposition (SVD), and condition number, one can understand the influence of each characteristic on the modelling and how it differentiates from other models. Moreover, in new XL-MIMO scenarios, where the near-field and visible region (VR) effects arise, our finding demonstrate that for the two assumed schemes of clusters distribution, the clusters location influences the performance of the conjugate beamforming and zero-forcing (ZF) precoding due to the correlation effect, which have been analysed from the geometric massive MIMO channel models.


title: The Integrity of Machine Learning Algorithms against Software Defect Prediction

abstract: The increased computerization in recent years has resulted in the production of a variety of different software, however measures need to be taken to ensure that the produced software isn't defective. Many researchers have worked in this area and have developed different Machine Learning-based approaches that predict whether the software is defective or not. This issue can't be resolved simply by using different conventional classifiers because the dataset is highly imbalanced i.e the number of defective samples detected is extremely less as compared to the number of non-defective samples. Therefore, to address this issue, certain sophisticated methods are required. The different methods developed by the researchers can be broadly classified into Resampling based methods, Cost-sensitive learning-based methods, and Ensemble Learning. Among these methods. This report analyses the performance of the Online Sequential Extreme Learning Machine (OS-ELM) proposed by Liang et.al. against several classifiers such as Logistic Regression, Support Vector Machine, Random Forest, and Na\"ive Bayes after oversampling the data. OS-ELM trains faster than conventional deep neural networks and it always converges to the globally optimal solution. A comparison is performed on the original dataset as well as the over-sampled data set. The oversampling technique used is Cluster-based Over-Sampling with Noise Filtering. This technique is better than several state-of-the-art techniques for oversampling. The analysis is carried out on 3 projects KC1, PC4 and PC3 carried out by the NASA group. The metrics used for measurement are recall and balanced accuracy. The results are higher for OS-ELM as compared to other classifiers in both scenarios.


title: PySAD: A Streaming Anomaly Detection Framework in Python

abstract: PySAD is an open-source python framework for anomaly detection on streaming data. PySAD serves various state-of-the-art methods for streaming anomaly detection. The framework provides a complete set of tools to design anomaly detection experiments ranging from projectors to probability calibrators. PySAD builds upon popular open-source frameworks such as PyOD and scikit-learn. We enforce software quality by enforcing compliance with PEP8 guidelines, functional testing and using continuous integration. The source code is publicly available on https://github.com/selimfirat/pysad.


title: A multi-view approach for Mandarin non-native mispronunciation verification

abstract: Traditionally, the performance of non-native mispronunciation verification systems relied on effective phone-level labelling of non-native corpora. In this study, a multi-view approach is proposed to incorporate discriminative feature representations which requires less annotation for non-native mispronunciation verification of Mandarin. Here, models are jointly learned to embed acoustic sequence and multi-source information for speech attributes and bottleneck features. Bidirectional LSTM embedding models with contrastive losses are used to map acoustic sequences and multi-source information into fixed-dimensional embeddings. The distance between acoustic embeddings is taken as the similarity between phones. Accordingly, examples of mispronounced phones are expected to have a small similarity score with their canonical pronunciations. The approach shows improvement over GOP-based approach by +11.23% and single-view approach by +1.47% in diagnostic accuracy for a mispronunciation verification task.


title: Directed flow induced by electromagnetic fields in heavy ion collisions

abstract: Strong electromagnetic fields are expected to be generated in off-central relativistic heavy ion collisions, which can induce a splitting of the directed flow of charged particles and anti-particles ($\Delta v_1$). Such a splitting manifests even for neutral charmed mesons pairs ($D^0,\bar{D}^0$), hence being a direct probe of the formation of deconfined phase with charm quarks as degree of freedom. In the limit of large $p_T$ and weak interaction with the QGP, a formula of $\Delta v_1(p_T,y_z)$ of charged particles and anti-particles as a function of $p_T$ and rapidity $y_z$ can be obtained, which is found to be related to the spectra of charged particles and the integrated effect of the Lorentz force. This formula is expected to be valid to heavy quarks and leptons at high $p_T$, where the modification to their equations of motion due to the interaction with both QGP and electromagnetic fields is small, and should have a general application. We also proposed a measurement of $\Delta v_1(p_T,y_z)$ of leptons from $Z^0$ decay and its correlation to that of $D$ mesons, which would be a strong probe determining whether the large splitting measured in experiments has the electromagnetic origin.


title: Low-cost Active Dry-Contact Surface EMG Sensor for Bionic Arms

abstract: Surface electromyography (sEMG) is a popular bio-signal used for controlling prostheses and finger gesture recognition mechanisms. Myoelectric prostheses are costly, and most commercially available sEMG acquisition systems are not suitable for real-time gesture recognition. In this paper, a method of acquiring sEMG signals using novel low-cost, active, dry-contact, flexible sensors has been proposed. Since the active sEMG sensor was developed to be used along with a bionic arm, the sensor was tested for its ability to acquire sEMG signals that could be used for real-time classification of five selected gestures. In a study of 4 subjects, the average classification accuracy for real-time gesture classification using the active sEMG sensor system was 85%. The common-mode rejection ratio of the sensor was measured to 59 dB, and thus the sensor's performance was not substantially limited by its active circuitry. The proposed sensors can be interfaced with a variety of amplifiers to perform fully wearable sEMG acquisition. This satisfies the need for a low-cost sEMG acquisition system for prostheses.


title: Are the Milky Way and Andromeda unusual? A comparison with Milky Way and Andromeda Analogs

abstract: Our Milky Way provides a unique test case for galaxy evolution models, thanks to our privileged position within the Milky Way's disc. This position also complicates comparisons between the Milky Way and external galaxies, due to our inability to observe the Milky Way from an external point of view. Milky Way analog galaxies offer us a chance to bridge this divide by providing the external perspective that we otherwise lack. However, over-precise definitions of "analog" yield little-to-no galaxies, so it is vital to understand which selection criteria produce the most meaningful analog samples. To address this, we compare the properties of complementary samples of Milky Way analogs selected using different criteria. We find the Milky Way to be within 1$\sigma$ of its analogs in terms of star-formation rate and bulge-to-total ratio in most cases, but we find larger offsets between the Milky Way and its analogs in terms of disc scale length; this suggests that scale length must be included in analog selections in addition to other criteria if the most accurate analogs are to be selected. We also apply our methodology to the neighbouring Andromeda galaxy. We find analogs selected on the basis of strong morphological features to display much higher star-formation rates than Andromeda, and we also find analogs selected on Andromeda's star-formation rate to over-predict Andromeda's bulge extent. This suggests both structure and star-formation rate should be considered when selecting the most stringent Andromeda analogs.


title: Learning from Multiple Datasets with Heterogeneous and Partial Labels for Universal Lesion Detection in CT

abstract: Large-scale datasets with high-quality labels are desired for training accurate deep learning models. However, due to the annotation cost, datasets in medical imaging are often either partially-labeled or small. For example, DeepLesion is such a large-scale CT image dataset with lesions of various types, but it also has many unlabeled lesions (missing annotations). When training a lesion detector on a partially-labeled dataset, the missing annotations will generate incorrect negative signals and degrade the performance. Besides DeepLesion, there are several small single-type datasets, such as LUNA for lung nodules and LiTS for liver tumors. These datasets have heterogeneous label scopes, i.e., different lesion types are labeled in different datasets with other types ignored. In this work, we aim to develop a universal lesion detection algorithm to detect a variety of lesions. The problem of heterogeneous and partial labels is tackled. First, we build a simple yet effective lesion detection framework named Lesion ENSemble (LENS). LENS can efficiently learn from multiple heterogeneous lesion datasets in a multi-task fashion and leverage their synergy by proposal fusion. Next, we propose strategies to mine missing annotations from partially-labeled datasets by exploiting clinical prior knowledge and cross-dataset knowledge transfer. Finally, we train our framework on four public lesion datasets and evaluate it on 800 manually-labeled sub-volumes in DeepLesion. Our method brings a relative improvement of 49% compared to the current state-of-the-art approach in the metric of average sensitivity. We have publicly released our manual 3D annotations of DeepLesion in https://github.com/viggin/DeepLesion_manual_test_set.


title: Positivity of Cumulative Sums for Multi-Index Function Components Explains the Lower Bound Formula in the Levin-Robbins-Leu Family of Sequential Subset Selection Procedures

abstract: We exhibit some strong positivity properties of a certain function which implies a key inequality that in turn implies the lower bound formula for the probability of correct selection in the Levin-Robbins-Leu family of sequential subset selection procedures for binary outcomes. These properties provide a more direct and comprehensive demonstration of the key inequality than was discussed in previous work.


title: Direct determination of supermassive black hole properties with gravitational-wave radiation from surrounding stellar-mass black hole binaries

abstract: A significant number of stellar-mass black-hole (BH) binaries may merge in galactic nuclei or in the surrounding gas disks. With purposed space-borne gravitational-wave observatories, we may use such a binary as a signal carrier to probe modulations induced by a central supermassive BH (SMBH), which further allows us to place constraints on the SMBH's properties. We show in particular the de Sitter precession of the inner stellar-mass binary's orbital angular momentum (AM) around the AM of the outer orbit will be detectable if the precession period is comparable to the duration of observation, typically a few years. Once detected, the precession can be combined with the Doppler shift arising from the outer orbital motion to determine the mass of the SMBH and the outer orbital separation individually and each with percent-level accuracy. If we further assume a joint detection by space-borne and ground-based detectors, the detectability threshold could be extended to a precession period of ~100 yr.


title: On synthetic and transference properties of group homomorphisms

abstract: We study Borel homomorphisms $\theta : G\rightarrow H$ for arbitrary locally compact second countable groups $G$ and $H$ for which the measure $$\theta_*(\mu )(\alpha )=\mu (\theta ^{-1}(\alpha ))\quad \text{for } \quad \alpha \subseteq H $$ is absolutely continuous with respect to $\nu,$ where $\mu $ (resp. $\nu $) is a Haar measure for $G,$ (resp. $H$). We define a natural mapping $\mathcal G$ from the class of maximal abelian selfadjoint algebra bimodules (masa bimodules) in $B(L^2(H))$ into the class of masa bimodules in $B(L^2(G))$ and we use it to prove that if $k\subseteq G\times G$ is a set of operator synthesis, then $(\theta \times \theta)^{-1} (k)$ is also a set of operator synthesis and if $E\subseteq H$ is a set of local synthesis for the Fourier algebra $A(H)$, then $\theta ^{-1}(E)\subseteq G$ is a set of local synthesis for $A(G).$ We also prove that if $\theta ^{-1}(E)$ is an $M$-set (resp. $M_1$-set), then $E$ is an $M$-set (resp. $M_1$-set) and if $Bim(I^\bot )$ is the masa bimodule generated by the annihilator of the ideal $I$ in $VN(G)$, then there exists an ideal $J$ such that $\mathcal G(Bim(I^\bot ))=Bim(J^\bot ).$ If this ideal $J$ is an ideal of multiplicity then $I$ is an ideal of multiplicity. In case $\theta_*(\mu )$ is a Haar measure for $\theta (G)$ we show that $J$ is equal to the ideal $\rho_*(I)$ generated by $\rho (I),$ where $\rho (u)=u\circ \theta , \;\;\forall \;u\;\in \;I.$


title: Area-Invariant Pedal-Like Curves Derived from the Ellipse

abstract: We study six pedal-like curves associated with the ellipse which are area-invariant for pedal points lying on one of two shapes: (i) a circle concentric with the ellipse, or (ii) the ellipse boundary itself. Case (i) is a corollary to properties of the Curvature Centroid (Kr\"ummungs-Schwerpunkt) of a curve, proved by Steiner in 1825. For case (ii) we prove area invariance algebraically. Explicit expressions for all invariant areas are also provided.


title: Deep Sparse Light Field Refocusing

abstract: Light field photography enables to record 4D images, containing angular information alongside spatial information of the scene. One of the important applications of light field imaging is post-capture refocusing. Current methods require for this purpose a dense field of angle views; those can be acquired with a micro-lens system or with a compressive system. Both techniques have major drawbacks to consider, including bulky structures and angular-spatial resolution trade-off. We present a novel implementation of digital refocusing based on sparse angular information using neural networks. This allows recording high spatial resolution in favor of the angular resolution, thus, enabling to design compact and simple devices with improved hardware as well as better performance of compressive systems. We use a novel convolutional neural network whose relatively small structure enables fast reconstruction with low memory consumption. Moreover, it allows handling without re-training various refocusing ranges and noise levels. Results show major improvement compared to existing methods.


title: Average-tempered stable subordinators with applications

abstract: In this paper the running average of a subordinator with a tempered stable distribution is considered. We investigate a family of previously unexplored infinite-activity subordinators induced by the probability distribution of the running average process and determine their jump intensity measures. Special cases including gamma processes and inverse Gaussian processes are discussed. Then we derive easily implementable formulas for the distribution functions, cumulants, and moments, as well as provide explicit estimates for their asymptotic behaviors. Numerical experiments are conducted for illustrating the applicability and efficiency of the proposed formulas. Two important extensions of the running average process and its equi-distributed subordinator are examined with concrete applications to structural degradation modeling and financial derivatives pricing, where their advantages relative to several existing models are highlighted together with the mention of Euler discretization and compound Poisson approximation techniques.


title: Deterministic Decremental Reachability, SCC, and Shortest Paths via Directed Expanders and Congestion Balancing

abstract: Let $G = (V,E,w)$ be a weighted, digraph subject to a sequence of adversarial edge deletions. In the decremental single-source reachability problem (SSR), we are given a fixed source $s$ and the goal is to maintain a data structure that can answer path-queries $s \rightarrowtail v$ for any $v \in V$. In the more general single-source shortest paths (SSSP) problem the goal is to return an approximate shortest path to $v$, and in the SCC problem the goal is to maintain strongly connected components of $G$ and to answer path queries within each component. All of these problems have been very actively studied over the past two decades, but all the fast algorithms are randomized and, more significantly, they can only answer path queries if they assume a weaker model: they assume an oblivious adversary which is not adaptive and must fix the update sequence in advance. This assumption significantly limits the use of these data structures, most notably preventing them from being used as subroutines in static algorithms. All the above problems are notoriously difficult in the adaptive setting. In fact, the state-of-the-art is still the Even and Shiloach tree, which dates back all the way to 1981 and achieves total update time $O(mn)$. We present the first algorithms to break through this barrier: 1) deterministic decremental SSR/SCC with total update time $mn^{2/3 + o(1)}$ 2) deterministic decremental SSSP with total update time $n^{2+2/3+o(1)}$. To achieve these results, we develop two general techniques of broader interest for working with dynamic graphs: 1) a generalization of expander-based tools to dynamic directed graphs, and 2) a technique that we call congestion balancing and which provides a new method for maintaining flow under adversarial deletions. Using the second technique, we provide the first near-optimal algorithm for decremental bipartite matching.


title: A Dynamic Parametric Wind Farm Model for Simulating Time-varying Wind Conditions and Floating Platform Motion

abstract: This paper introduces a dynamic parametric wind farm model that is capable of simulating floating wind turbine platform motion coupled with wake transport under time-varying wind conditions. The simulator is named FOWFSim-Dyn as it is a dynamic extension of the previously developed steady-state Floating Offshore Wind Farm Simulator (FOWFSim). One-dimensional momentum conservation is used to model dynamic propagation of wake centerline locations and average velocities, while momentum recovery is approximated with the assumption of a constant temporal wake expansion rate. Platform dynamics are captured by treating a floating offshore wind farm as a distribution of particles that are subject to aerodynamic, hydrodynamic, and mooring line forces. The finite difference method is used to discretize the momentum conservation equations to yield a nonlinear state-space model. Simulated data are validated against steady-state experimental wind tunnel results obtained from the literature. Predictions of wake centerlines differed from experimental results by at most 8.19% of the rotor diameter. Simulated wake velocity profiles in the far-wake region differed from experimental measurements by less than 3.87% of the free stream wind speed. FOWFSim-Dyn thus possesses a satisfactory level of fidelity for engineering applications. Finally, dynamic simulations are conducted to ensure that time-varying predictions match physical expectations and intuition.


title: Typical ground states for large sets of interactions

abstract: We discuss what ground states for generic interactions look like. We note that a recent result, due to Morris, implies that the behaviour of ground-state measures for generic interactions is similar to that of generic measures. In particular, it follows from his observation that they have singular spectrum and that they are weak mixing, but not mixing.

categories: math-ph cond-mat.stat-mech math.DS math.MP


title: Representing Real-Time Multi-User Collaboration in Visualizations

abstract: Establishing common ground and maintaining shared awareness amongst participants is a key challenge in collaborative visualization. For real-time collaboration, existing work has primarily focused on synchronizing constituent visualizations - an approach that makes it difficult for users to work independently, or selectively attend to their collaborators' activity. To address this gap, we introduce a design space for representing synchronous multi-user collaboration in visualizations defined by two orthogonal axes: situatedness, or whether collaborators' interactions are overlaid on or shown outside of a user's view, and specificity, or whether collaborators are depicted through abstract, generic representations or through specific means customized for the given visualization. We populate this design space with a variety of examples including generic and custom synchronized cursors, and user legends that collect these cursors together or reproduce collaborators' views as thumbnails. To build common ground, users can interact with these representations by peeking to take a quick look at a collaborator's view, tracking to follow along with a collaborator in real-time, and forking to independently explore the visualization based on a collaborator's work. We present a reference implementation of a wrapper library that converts interactive Vega-Lite charts into collaborative visualizations. We find that our approach affords synchronous collaboration across an expressive range of visual designs and interaction techniques.


title: Is the Past Determined?

abstract: In a recent paper, I argued against backward in time effects used by several authors to explain delayed choice experiments. I gave an explanation showing that there is no physical influence propagating from the present to the past and modifying the state of the system at a time previous to the measurement. However, though the solution is straightforward in the case of delayed choice experiments involving only one particle, it is subtler in the case of experiments involving two entangled particles because they give rise to EPR-like situations. Considering that a measurement is not an actual change of the physical state of a system and is relative to the observer allows to understand that there is neither backward in time effects nor instantaneous collapse of the second system when the first one is measured, as is often postulated.This allows also to get rid of any non-locality. In this paper, I want to go further into the consequences of this way of considering the measurement, that I have called Convivial Solipsism, and show that even if, in the usual sense, there is no physical effect of the present or of the future on the past, we must nevertheless consider that the observer's past is sometimes not entirely determined and that it becomes determined only when certain measurements are done latter. This apparent contradiction disappears if one understand that each observer builds, through her own measurements, her own world (that I call the phenomenal world in Convivial Solipsism) which is different from what we are used to consider as the common world shared by everybody.


title: Crossover exponents, fractal dimensions and logarithms in Landau-Potts field theories

abstract: We compute the crossover exponents of all quadratic and cubic deformations of critical field theories with permutation symmetry $S_q$ in $d=6-\epsilon$ (Landau-Potts field theories) and $d=4-\epsilon$ (hypertetrahedral models) up to three loops.We use our results to determine the $\epsilon$-expansion of the fractal dimension of critical clusters in the most interesting cases, which include spanning trees and forests ($q\to0$), and bond percolations ($q\to1$). We also explicitly verify several expected degeneracies in the spectrum of relevant operators for natural values of $q$ upon analytic continuation, which are linked to logarithmic corrections of CFT correlators, and use the $\epsilon$-expansion to determine the universal coefficients of such logarithms.


title: "And the Winner Is...": Dynamic Lotteries for Multi-group Fairness-Aware Recommendation

abstract: As recommender systems are being designed and deployed for an increasing number of socially-consequential applications, it has become important to consider what properties of fairness these systems exhibit. There has been considerable research on recommendation fairness. However, we argue that the previous literature has been based on simple, uniform and often uni-dimensional notions of fairness assumptions that do not recognize the real-world complexities of fairness-aware applications. In this paper, we explicitly represent the design decisions that enter into the trade-off between accuracy and fairness across multiply-defined and intersecting protected groups, supporting multiple fairness metrics. The framework also allows the recommender to adjust its performance based on the historical view of recommendations that have been delivered over a time horizon, dynamically rebalancing between fairness concerns. Within this framework, we formulate lottery-based mechanisms for choosing between fairness concerns, and demonstrate their performance in two recommendation domains.


title: Deep Ensemble of Weighted Viterbi Decoders for Tail-Biting Convolutional Codes

abstract: Tail-biting convolutional codes extend the classical zero-termination convolutional codes: Both encoding schemes force the equality of start and end states, but under the tail-biting each state is a valid termination. This paper proposes a machine-learning approach to improve the state-of-the-art decoding of tail-biting codes, focusing on the widely employed short length regime as in the LTE standard. This standard also includes a CRC code. First, we parameterize the circular Viterbi algorithm, a baseline decoder that exploits the circular nature of the underlying trellis. An ensemble combines multiple such weighted decoders, each decoder specializes in decoding words from a specific region of the channel words' distribution. A region corresponds to a subset of termination states; the ensemble covers the entire states space. A non-learnable gating satisfies two goals: it filters easily decoded words and mitigates the overhead of executing multiple weighted decoders. The CRC criterion is employed to choose only a subset of experts for decoding purpose. Our method achieves FER improvement of up to 0.75dB over the CVA in the waterfall region for multiple code lengths, adding negligible computational complexity compared to the circular Viterbi algorithm in high SNRs.


title: Asymptotic Pairs for Interval Exchange Transformations

abstract: We provide a simple description of asymptotic pairs in the subshift associated with an interval exchange transformation and show that, under reasonably general conditions, doubly asymptotic pairs do not occur.


title: Geometric-phase polarimetry

abstract: This paper describes polarimetric strategies based on measuring the light's geometric phase, which results from the evolution of the polarisation state while traversing an optical system. The system in question is described by a homogeneous Jones matrix, which by definition, contains mutually perpendicular eigenpolarisations. Our leading theory links the system's Jones matrix parameters (eigenvalues and eigenvectors) with the input polarisation state and the geometric phase. We demonstrate two interferometric techniques. The first one measures the geometric phase based on the relative lateral fringe displacement between the interference pattern of two mutually-orthogonal polarisation states. The second technique uses the visibility of the interference fringes to determine the eigenpolarisations of the system. We present proof-of-principle experiments for both techniques.


title: FlipOut: Uncovering Redundant Weights via Sign Flipping

abstract: Modern neural networks, although achieving state-of-the-art results on many tasks, tend to have a large number of parameters, which increases training time and resource usage. This problem can be alleviated by pruning. Existing methods, however, often require extensive parameter tuning or multiple cycles of pruning and retraining to convergence in order to obtain a favorable accuracy-sparsity trade-off. To address these issues, we propose a novel pruning method which uses the oscillations around $0$ (i.e. sign flips) that a weight has undergone during training in order to determine its saliency. Our method can perform pruning before the network has converged, requires little tuning effort due to having good default values for its hyperparameters, and can directly target the level of sparsity desired by the user. Our experiments, performed on a variety of object classification architectures, show that it is competitive with existing methods and achieves state-of-the-art performance for levels of sparsity of $99.6\%$ and above for most of the architectures tested. For reproducibility, we release our code publicly at https://github.com/AndreiXYZ/flipout.


title: Explicit near-fully X-Ramanujan graphs

abstract: Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.


title: Errata on the Calculation of Hot Gas Properties in a Few Li Jiang-Tao's Papers

abstract: This is a combination of the errata of seven papers published between 2008 and 2016 with Jiang-Tao Li (JTL) as the first author. All the problems are caused by two mistakes in the original scripts written by JTL used to calculate the physical parameters of the hot gas from X-ray spectral analysis with a thermal plasma code. The mistakes will result in an overestimate of some parameters, such as the electron number density and hot gas mass by a factor of $\sqrt{10}\approx3.162$, and an overestimate of the thermal pressure by a factor of $\approx2.725$. JTL apologizes to the community for the inconvenience caused by these mistakes. We present an update on the text, numbers, figures, and tables of all the seven papers affected by these mistakes. Other papers led by JTL or co-authored papers are not affected.


title: Survival Modeling of Suicide Risk with Rare and Uncertain Diagnoses

abstract: Motivated by the pressing need for suicide prevention through improving behavioral healthcare, we use medical claims data to study the risk of subsequent suicide attempts for patients who were hospitalized due to suicide attempts and later discharged. Understanding the risk behaviors of such patients at elevated suicide risk is an important step toward the goal of "Zero Suicide." An immediate and unconventional challenge is that the identification of suicide attempts from medical claims contains substantial uncertainty: almost 20% of "suspected" suicide attempts are identified from diagnosis codes indicating external causes of injury and poisoning with undermined intent. It is thus of great interest to learn which of these undetermined events are more likely actual suicide attempts and how to properly utilize them in survival analysis with severe censoring. To tackle these interrelated problems, we develop an integrative Cox cure model with regularization to perform survival regression with uncertain events and a latent cure fraction. We apply the proposed approach to study the risk of subsequent suicide attempts after suicide-related hospitalization for the adolescent and young adult population, using medical claims data from Connecticut. The identified risk factors are highly interpretable; more intriguingly, our method distinguishes the risk factors that are most helpful in assessing either susceptibility or timing of subsequent attempts. The predicted statuses of the uncertain attempts are further investigated, leading to several new insights on suicide event identification.


title: Semi-supervised Multi-modal Emotion Recognition with Cross-Modal Distribution Matching

abstract: Automatic emotion recognition is an active research topic with wide range of applications. Due to the high manual annotation cost and inevitable label ambiguity, the development of emotion recognition dataset is limited in both scale and quality. Therefore, one of the key challenges is how to build effective models with limited data resource. Previous works have explored different approaches to tackle this challenge including data enhancement, transfer learning, and semi-supervised learning etc. However, the weakness of these existing approaches includes such as training instability, large performance loss during transfer, or marginal improvement. In this work, we propose a novel semi-supervised multi-modal emotion recognition model based on cross-modality distribution matching, which leverages abundant unlabeled data to enhance the model training under the assumption that the inner emotional status is consistent at the utterance level across modalities. We conduct extensive experiments to evaluate the proposed model on two benchmark datasets, IEMOCAP and MELD. The experiment results prove that the proposed semi-supervised learning model can effectively utilize unlabeled data and combine multi-modalities to boost the emotion recognition performance, which outperforms other state-of-the-art approaches under the same condition. The proposed model also achieves competitive capacity compared with existing approaches which take advantage of additional auxiliary information such as speaker and interaction context.


title: Special Hermitian metrics on Oeljeklaus-Toma manifolds

abstract: Oeljeklaus-Toma (OT) manifolds are higher dimensional analogues of Inoue-Bombieri surfaces and their construction is associated to a finite extension $K$ of $Q$ and a subgroup of units $U$. We characterize the existence of pluriclosed metrics (also known as strongly K\" ahler with torsion (SKT) metrics) on any OT manifold $X(K, U)$ purely in terms of number-theoretical conditions, yielding restrictions on the third Betti number $b_3$ and the Dolbeault cohomology group $H^{2,1}_{\overline{\partial}}$. Combined with the main result in [D20], these numerical conditions render explicit examples of pluriclosed OT manifolds in arbitrary complex dimension. We prove that in complex dimension 4 and type $(2, 2)$, the existence of a pluriclosed metric on $X(K, U)$ is entirely topological, namely, it is equivalent to $b_3 = 2$. Moreover, we provide an explicit example of an OT manifold of complex dimension 4 carrying a pluriclosed metric. Finally, we show that no OT manifold admits balanced metrics, but all of them carry instead locally conformally balanced metrics.


title: Quantum algorithm of a set of quantum 2-sat problem

abstract: We present a quantum adiabatic algorithm for a set of quantum 2-satisfiability (Q2SAT) problem, which is a generalization of 2-satisfiability (2SAT) problem. For a Q2SAT problem, we construct the Hamiltonian which is similar to that of a Heisenberg chain. All the solutions of the given Q2SAT problem span the subspace of the degenerate ground states. The Hamiltonian is adiabatically evolved so that the system stays in the degenerate subspace. Our numerical results suggest that the time complexity of our algorithm is $O(n^{3.9})$ for yielding non-trivial solutions for problems with the number of clauses $m=dn(n-1)/2\ (d\lesssim 0.1)$. We discuss the advantages of our algorithm over the known quantum and classical algorithms.


title: Identifying partners at sea on contrasting fisheries around the world

abstract: Here we present an approach to identify partners at sea based on fishing track analysis, and describe this behaviour in six different fleets: 1) pelagic pair trawlers, 2) large bottom otter trawlers, 3) small bottom otter trawlers, 4) mid-water otter trawlers, all operating in the North-East Atlantic Ocean, 5) anchovy purse-seiners in the South-East Pacific Ocean, and 6) tuna purse-seiners in the Western Indian Ocean. This type of behaviour is known to exist within pelagic pair trawlers. Since these vessels need to be in pairs for their fishing operations, in practice some of them decide to move together throughout their whole fishing trips, and others for only a segment of their trips. To identify partners at sea, we used a heuristic approach based on joint-movement metrics and Gaussian mixture models. The models were first fitted on the pelagic pair trawlers and then used on the other fleets. From all of these fisheries, only the tuna purse-seiners did not present partners at sea. We then analysed the connections at the scale of vessels and identified exclusive partners. This work shows that there are collective tactics at least at a pairwise level in diverse fisheries in the world.


title: A Hybrid PAC Reinforcement Learning Algorithm

abstract: This paper offers a new hybrid probably approximately correct (PAC) reinforcement learning (RL) algorithm for Markov decision processes (MDPs) that intelligently maintains favorable features of its parents. The designed algorithm, referred to as the Dyna-Delayed Q-learning (DDQ) algorithm, combines model-free and model-based learning approaches while outperforming both in most cases. The paper includes a PAC analysis of the DDQ algorithm and a derivation of its sample complexity. Numerical results are provided to support the claim regarding the new algorithm's sample efficiency compared to its parents as well as the best known model-free and model-based algorithms in application.


title: Respect for Human Autonomy in Recommender Systems

abstract: Recommender systems can influence human behavior in significant ways, in some cases making people more machine-like. In this sense, recommender systems may be deleterious to notions of human autonomy. Many ethical systems point to respect for human autonomy as a key principle arising from human rights considerations, and several emerging frameworks for AI include this principle. Yet, no specific formalization has been defined. Separately, self-determination theory shows that autonomy is an innate psychological need for people, and moreover has a significant body of experimental work that formalizes and measures level of human autonomy. In this position paper, we argue that there is a need to specifically operationalize respect for human autonomy in the context of recommender systems. Moreover, that such an operational definition can be developed based on well-established approaches from experimental psychology, which can then be used to design future recommender systems that respect human autonomy.


title: Distributed Optimization, Averaging via ADMM, and Network Topology

abstract: There has been an increasing necessity for scalable optimization methods, especially due to the explosion in the size of datasets and model complexity in modern machine learning applications. Scalable solvers often distribute the computation over a network of processing units. For simple algorithms such as gradient descent the dependency of the convergence time with the topology of this network is well-known. However, for more involved algorithms such as the Alternating Direction Methods of Multipliers (ADMM) much less is known. At the heart of many distributed optimization algorithms there exists a gossip subroutine which averages local information over the network, and whose efficiency is crucial for the overall performance of the method. In this paper we review recent research in this area and, with the goal of isolating such a communication exchange behaviour, we compare different algorithms when applied to a canonical distributed averaging consensus problem. We also show interesting connections between ADMM and lifted Markov chains besides providing an explicitly characterization of its convergence and optimal parameter tuning in terms of spectral properties of the network. Finally, we empirically study the connection between network topology and convergence rates for different algorithms on a real world problem of sensor localization.


title: PAC Reinforcement Learning Algorithm for General-Sum Markov Games

abstract: This paper presents a theoretical framework for probably approximately correct (PAC) multi-agent reinforcement learning (MARL) algorithms for Markov games. The paper offers an extension to the well-known Nash Q-learning algorithm, using the idea of delayed Q-learning, in order to build a new PAC MARL algorithm for general-sum Markov games. In addition to guiding the design of a provably PAC MARL algorithm, the framework enables checking whether an arbitrary MARL algorithm is PAC. Comparative numerical results demonstrate performance and robustness.


title: Optimization schemes for unitary tensor-network circuit

abstract: We discuss the variational optimization of a unitary tensor-network circuit with different network structures. The ansatz is performed based on a generalization of well-developed multi-scale entanglement renormalization algorithm and also the conjugate-gradient method with an effective line search. We present the benchmarking calculations for different network structures by studying the Heisenberg model in a strongly disordered magnetic field and a tensor-network $QR$-decomposition.


title: Fully discrete finite element approximation for a family of degenerate parabolic mixed equations

abstract: The aim of this work is to show an abstract framework to analyze the numerical approximation for a family of linear degenerate parabolic mixed equations by using a finite element method in space and a Backward-Euler scheme in time. We consider sufficient conditions to prove that the fully-discrete problem has a unique solution and prove quasi-optimal error estimates for the approximation. Furthermore, we show that mixed finite element formulations arising from dynamics fluids (time-dependent Stokes problem) and from electromagnetic applications (eddy current models), can be analyzed as applications of the developed theory. Finally, we include numerical tests to illustrate the performance of the method and confirm the theoretical results.


title: Bluff: Interactively Deciphering Adversarial Attacks on Deep Neural Networks

abstract: Deep neural networks (DNNs) are now commonly used in many domains. However, they are vulnerable to adversarial attacks: carefully crafted perturbations on data inputs that can fool a model into making incorrect predictions. Despite significant research on developing DNN attack and defense techniques, people still lack an understanding of how such attacks penetrate a model's internals. We present Bluff, an interactive system for visualizing, characterizing, and deciphering adversarial attacks on vision-based neural networks. Bluff allows people to flexibly visualize and compare the activation pathways for benign and attacked images, revealing mechanisms that adversarial attacks employ to inflict harm on a model. Bluff is open-sourced and runs in modern web browsers.


title: Isotonic regression with unknown permutations: Statistics, computation, and adaptation

abstract: Motivated by models for multiway comparison data, we consider the problem of estimating a coordinate-wise isotonic function on the domain $[0, 1]^d$ from noisy observations collected on a uniform lattice, but where the design points have been permuted along each dimension. While the univariate and bivariate versions of this problem have received significant attention, our focus is on the multivariate case $d \geq 3$. We study both the minimax risk of estimation (in empirical $L_2$ loss) and the fundamental limits of adaptation (quantified by the adaptivity index) to a family of piecewise constant functions. We provide a computationally efficient Mirsky partition estimator that is minimax optimal while also achieving the smallest adaptivity index possible for polynomial time procedures. Thus, from a worst-case perspective and in sharp contrast to the bivariate case, the latent permutations in the model do not introduce significant computational difficulties over and above vanilla isotonic regression. On the other hand, the fundamental limits of adaptation are significantly different with and without unknown permutations: Assuming a hardness conjecture from average-case complexity theory, a statistical-computational gap manifests in the former case. In a complementary direction, we show that natural modifications of existing estimators fail to satisfy at least one of the desiderata of optimal worst-case statistical performance, computational efficiency, and fast adaptation. Along the way to showing our results, we improve adaptation results in the special case $d = 2$ and establish some properties of estimators for vanilla isotonic regression, both of which may be of independent interest.

categories: math.ST cs.IT cs.LG math.IT stat.ME stat.ML stat.TH


title: Ionic Structure and Decay Length in Highly-Concentrated Confined Electrolytes

abstract: We use molecular dynamics simulations of the primitive model of electrolytes to study the ionic structure in aqueous monovalent electrolyte solutions confined by charged planar interfaces over a wide range of electrolyte concentration, interfacial separation, surface charge density, and ion size. The investigations are inspired by recent experiments that have directly measured the increase in the decay length for highly-concentrated electrolytes with increase in concentration. The behavior of ions in the nanoconfinement created by the interfaces is probed by evaluating the ionic density profiles, net charge densities, screening factors, and decay length associated with the screening of the charged interface. Results show the presence of two distinct regimes of screening behavior as the concentration is changed from 0.1 M to 2.5 M for a wide range of electrolyte systems generated by tuning the interfacial separation, surface charge density, and ionic size. For low concentrations, the screening factor exhibits a monotonic decay to 0 with a decay length that decreases sharply with increasing concentration. For high concentrations ($\gtrsim 1$ M), the screening factor has a non-monotonic behavior signaling charge inversion and formation of structured layers of ions near the interfaces. The decay length under these conditions rises with increasing concentration, exhibiting a power-law behavior. To complement the simulation results, a variational approach is developed that produces charge densities with characteristics consistent with those observed in simulations. The results demonstrate the relation between the rise in the strength of steric correlations and the changes in the screening behavior.


title: On the maximum diameter of $k$-colorable graphs

abstract: Erd\H{o}s, Pach, Pollack and Tuza [J. Combin. Theory, B 47, (1989), 279-285] conjectured that the diameter of a $K_{2r}$-free connected graph of order $n$ and minimum degree $\delta\geq 2$ is at most $\frac{2(r-1)(3r+2)}{(2r^2-1)}\cdot \frac{n}{\delta} + O(1)$ for every $r\ge 2$, if $\delta$ is a multiple of $(r-1)(3r+2)$. For every $r>1$ and $\delta\ge 2(r-1)$, we create $K_{2r}$-free graphs with minimum degree $\delta$ and diameter $\frac{(6r-5)n}{(2r-1)\delta+2r-3}+O(1)$, which are counterexamples to the conjecture for every $r>1$ and $\delta>2(r-1)(3r+2)(2r-3)$. The rest of the paper proves positive results under a stronger hypothesis, $k$-colorability, instead of being $K_{k+1}$-free. We show that the diameter of connected $k$-colorable graphs with minimum degree $\geq \delta$ and order $n$ is at most $\left(3-\frac{1}{k-1}\right)\frac{n}{\delta}+O(1)$, while for $k=3$, it is at most $\frac{57n}{23\delta}+O\left(1\right)$.


title: S-matrix in orbifold theory

abstract: The restricted $S$-matrix of $V^G$ is determined for any regular vertex operator algebra $V$ and finite automorphism group $G$ of $V.$ As an application, the $S$-matrices for cyclic permutation orbifolds of prime orders are computed.


title: GroupRegNet: A Groupwise One-shot Deep Learning-based 4D Image Registration Method

abstract: Accurate deformable 4-dimensional (4D) (3-dimensional in space and time) medical images registration is essential in a variety of medical applications. Deep learning-based methods have recently gained popularity in this area for the significant lower inference time. However, they suffer from drawbacks of non-optimal accuracy and the requirement of a large amount of training data. A new method named GroupRegNet is proposed to address both limitations. The deformation fields to warp all images in the group into a common template is obtained through one-shot learning. The use of the implicit template reduces bias and accumulated error associated with the specified reference image. The one-shot learning strategy is similar to the conventional iterative optimization method but the motion model and parameters are replaced with a convolutional neural network (CNN) and the weights of the network. GroupRegNet also features a simpler network design and a more straightforward registration process, which eliminates the need to break up the input image into patches. The proposed method was quantitatively evaluated on two public respiratory-binned 4D-CT datasets. The results suggest that GroupRegNet outperforms the latest published deep learning-based methods and is comparable to the top conventional method pTVreg. To facilitate future research, the source code is available at https://github.com/vincentme/GroupRegNet.


title: Transcorrelated Density Matrix Renormalization Group

abstract: We introduce the transcorrelated Density Matrix Renormalization Group (tcDMRG) theory for the efficient approximation of the energy for strongly correlated systems. tcDMRG encodes the wave function as a product of a fixed Jastrow or Gutzwiller correlator and a matrix product state. The latter is optimized by applying the imaginary-time variant of time-dependent (TD) DMRG to the non-Hermitian transcorrelated Hamiltonian. We demonstrate the efficiency of tcDMRG at the example of the two-dimensional Fermi-Hubbard Hamiltonian, a notoriously difficult target for the DMRG algorithm, for different sizes, occupation numbers, and interaction strengths. We demonstrate fast energy convergence of tcDMRG, which indicates that tcDMRG could increase the efficiency of standard DMRG beyond quasi-monodimensional systems and provides a generally powerful approach toward the dynamic correlation problem of DMRG.

categories: cond-mat.str-el physics.chem-ph physics.comp-ph quant-ph


title: Learning Topological Motion Primitives for Knot Planning

abstract: In this paper, we approach the challenging problem of motion planning for knot tying. We propose a hierarchical approach in which the top layer produces a topological plan and the bottom layer translates this plan into continuous robot motion. The top layer decomposes a knotting task into sequences of abstract topological actions based on knot theory. The bottom layer translates each of these abstract actions into robot motion trajectories through learned topological motion primitives. To adapt each topological action to the specific rope geometry, the motion primitives take the observed rope configuration as input. We train the motion primitives by imitating human demonstrations and reinforcement learning in simulation. To generalize human demonstrations of simple knots into more complex knots, we observe similarities in the motion strategies of different topological actions and design the neural network structure to exploit such similarities. We demonstrate that our learned motion primitives can be used to efficiently generate motion plans for tying the overhand knot. The motion plan can then be executed on a real robot using visual tracking and Model Predictive Control. We also demonstrate that our learned motion primitives can be composed to tie a more complex pentagram-like knot despite being only trained on human demonstrations of simpler knots.


title: XL-MIMO Energy-Efficient Antenna Selection under Non-Stationary Channels

abstract: Massive multiple-input-multiple-output (M-MIMO) is a key technology for 5G networks. Within this research area, new types of deployment are arising, such as the extremely-large regime (XL- MIMO), where the antenna array at the base station (BS) has extreme dimensions. As a consequence, spatial non-stationary properties appear as the users see only a portion of the antenna array, which is called visibility region (VR). In this challenging transmission-reception scenario, an algorithm to select the appropriate antenna-elements for processing the received signal of a given user in the uplink (UL), as well as to transmit the signal of this user during downlink (DL) is proposed. The advantage of not using all the available antenna-elements at the BS is the computational burden and circuit power consumption reduction, improving the energy efficiency (EE) substantially. Numerical results demonstrate that one can increase the EE without compromising considerably the spectral efficiency (SE). Under few active users scenario, the performance of the XL-MIMO system shows that the EE is maximized using less than 20% of the antenna-elements of the array, without compromising the SE severely.


title: Artefact removal in ground truth and noise model deficient sub-cellular nanoscopy images using auto-encoder deep learning

abstract: Image denoising or artefact removal using deep learning is possible in the availability of supervised training dataset acquired in real experiments or synthesized using known noise models. Neither of the conditions can be fulfilled for nanoscopy (super-resolution optical microscopy) images that are generated from microscopy videos through statistical analysis techniques. Due to several physical constraints, supervised dataset cannot be measured. Due to non-linear spatio-temporal mixing of data and valuable statistics of fluctuations from fluorescent molecules which compete with noise statistics, noise or artefact models in nanoscopy images cannot be explicitly learnt. Therefore, such problem poses unprecedented challenges to deep learning. Here, we propose a robust and versatile simulation-supervised training approach of deep learning auto-encoder architectures for the highly challenging nanoscopy images of sub-cellular structures inside biological samples. We show the proof of concept for one nanoscopy method and investigate the scope of generalizability across structures, noise models, and nanoscopy algorithms not included during simulation-supervised training. We also investigate a variety of loss functions and learning models and discuss the limitation of existing performance metrics for nanoscopy images. We generate valuable insights for this highly challenging and unsolved problem in nanoscopy, and set the foundation for application of deep learning problems in nanoscopy for life sciences.


title: A Tensor Network based Decision Diagram for Representation of Quantum Circuits

abstract: Tensor networks have been successfully applied in simulation of quantum physical systems for decades. Recently, they have also been employed in classical simulation of quantum computing, in particular, random quantum circuits. This paper proposes a decision diagram style data structure, called TDD (Tensor Decision Diagram), for more principled and convenient applications of tensor networks. This new data structure provides a compact and canonical representation for quantum circuits. By exploiting circuit partition, the TDD of a quantum circuit can be computed efficiently. Furthermore, we show that the operations of tensor networks essential in their applications (e.g., addition and contraction), can also be implemented efficiently in TDDs. A proof-of-concept implementation of TDDs is presented and its efficiency is evaluated on a set of benchmark quantum circuits. It is expected that TDDs will play an important role in various design automation tasks related to quantum circuits, including but not limited to equivalence checking, error detection, synthesis, simulation, and verification.


title: MIDAS at SemEval-2020 Task 10: Emphasis Selection using Label Distribution Learning and Contextual Embeddings

abstract: This paper presents our submission to the SemEval 2020 - Task 10 on emphasis selection in written text. We approach this emphasis selection problem as a sequence labeling task where we represent the underlying text with various contextual embedding models. We also employ label distribution learning to account for annotator disagreements. We experiment with the choice of model architectures, trainability of layers, and different contextual embeddings. Our best performing architecture is an ensemble of different models, which achieved an overall matching score of 0.783, placing us 15th out of 31 participating teams. Lastly, we analyze the results in terms of parts of speech tags, sentence lengths, and word ordering.


title: Bayesian information-theoretic calibration of patient-specific radiotherapy sensitivity parameters for informing effective scanning protocols in cancer

abstract: With new advancements in technology, it is now possible to collect data for a variety of different metrics describing tumor growth, including tumor volume, composition, and vascularity, among others. For any proposed model of tumor growth and treatment, we observe large variability among individual patients' parameter values, particularly those relating to treatment response; thus, exploiting the use of these various metrics for model calibration can be helpful to infer such patient-specific parameters both accurately and early, so that treatment protocols can be adjusted mid-course for maximum efficacy. However, taking measurements can be costly and invasive, limiting clinicians to a sparse collection schedule. As such, the determination of optimal times and metrics for which to collect data in order to best inform proper treatment protocols could be of great assistance to clinicians. In this investigation, we employ a Bayesian information-theoretic calibration protocol for experimental design in order to identify the optimal times at which to collect data for informing treatment parameters. Within this procedure, data collection times are chosen sequentially to maximize the reduction in parameter uncertainty with each added measurement, ensuring that a budget of $n$ high-fidelity experimental measurements results in maximum information gain about the low-fidelity model parameter values. In addition to investigating the optimal temporal pattern for data collection, we also develop a framework for deciding which metrics should be utilized at each data collection point. We illustrate this framework with a variety of toy examples, each utilizing a radiotherapy treatment regimen. For each scenario, we analyze the dependence of the predictive power of the low-fidelity model upon the measurement budget.


title: Data-Driven Power Electronic Converter Modeling for Low Inertia Power System Dynamic Studies

abstract: A significant amount of converter-based generation is being integrated into the bulk electric power grid to fulfill the future electric demand through renewable energy sources, such as wind and photovoltaic. The dynamics of converter systems in the overall stability of the power system can no longer be neglected as in the past. Numerous efforts have been made in the literature to derive detailed dynamic models, but using detailed models becomes complicated and computationally prohibitive in large system level studies. In this paper, we use a data-driven, black-box approach to model the dynamics of a power electronic converter. System identification tools are used to identify the dynamic models, while a power amplifier controlled by a real-time digital simulator is used to perturb and control the converter. A set of linear dynamic models for the converter are derived, which can be employed for system level studies of converter-dominated electric grids.


title: A Robust Laser-Inertial Odometry and Mapping Method for Large-Scale Highway Environments

abstract: In this paper, we propose a novel laser-inertial odometry and mapping method to achieve real-time, low-drift and robust pose estimation in large-scale highway environments. The proposed method is mainly composed of four sequential modules, namely scan pre-processing module, dynamic object detection module, laser-inertial odometry module and laser mapping module. Scan pre-processing module uses inertial measurements to compensate the motion distortion of each laser scan. Then, the dynamic object detection module is used to detect and remove dynamic objects from each laser scan by applying CNN segmentation network. After obtaining the undistorted point cloud without moving objects, the laser inertial odometry module uses an Error State Kalman Filter to fuse the data of laser and IMU and output the coarse pose estimation at high frequency. Finally, the laser mapping module performs a fine processing step and the "Frame-to-Model" scan matching strategy is used to create a static global map. We compare the performance of our method with two state-ofthe-art methods, LOAM and SuMa, using KITTI dataset and real highway scene dataset. Experiment results show that our method performs better than the state-of-the-art methods in real highway environments and achieves competitive accuracy on the KITTI dataset.


title: Information Theoretic Counterfactual Learning from Missing-Not-At-Random Feedback

abstract: Counterfactual learning for dealing with missing-not-at-random data (MNAR) is an intriguing topic in the recommendation literature since MNAR data are ubiquitous in modern recommender systems. Missing-at-random (MAR) data, namely randomized controlled trials (RCTs), are usually required by most previous counterfactual learning methods for debiasing learning. However, the execution of RCTs is extraordinarily expensive in practice. To circumvent the use of RCTs, we build an information-theoretic counterfactual variational information bottleneck (CVIB), as an alternative for debiasing learning without RCTs. By separating the task-aware mutual information term in the original information bottleneck Lagrangian into factual and counterfactual parts, we derive a contrastive information loss and an additional output confidence penalty, which facilitates balanced learning between the factual and counterfactual domains. Empirical evaluation on real-world datasets shows that our CVIB significantly enhances both shallow and deep models, which sheds light on counterfactual learning in recommendation that goes beyond RCTs.


title: Effect of receptor clustering on chemotactic performance of Escherichia coli: sensing versus adaptation

abstract: We show how the competition between sensing and adaptation can result in a performance peak in E.coli chemotaxis using extensive numerical simulations in a detailed theoretical model. Receptor clustering amplifies the input signal coming from ligand binding which enhances chemotactic efficiency. But large clusters also induce large fluctuations in total activity since the number of clusters go down. The activity and hence the run-tumble motility now gets controlled by methylation levels which are part of adaptation module, rather than ligand binding. This reduces chemotactic efficiency.


title: Online Disease Self-diagnosis with Inductive Heterogeneous Graph Convolutional Networks

abstract: We propose a Healthcare Graph Convolutional Network (HealGCN) to offer disease self-diagnosis service for online users based on Electronic Healthcare Records (EHRs). Two main challenges are focused in this paper for online disease diagnosis: (1) serving cold-start users via graph convolutional networks and (2) handling scarce clinical description via a symptom retrieval system. To this end, we first organize the EHR data into a heterogeneous graph that is capable of modeling complex interactions among users, symptoms and diseases, and tailor the graph representation learning towards disease diagnosis with an inductive learning paradigm. Then, we build a disease self-diagnosis system with a corresponding EHR Graph-based Symptom Retrieval System (GraphRet) that can search and provide a list of relevant alternative symptoms by tracing the predefined meta-paths. GraphRet helps enrich the seed symptom set through the EHR graph when confronting users with scarce descriptions, hence yield better diagnosis accuracy. At last, we validate the superiority of our model on a large-scale EHR dataset.


title: On Decidability of Existence of Nonblocking Supervisors Resilient to Smart Sensor Attacks

abstract: Cybersecurity of discrete event systems (DES) has been gaining more and more attention recently, due to its high relevance to the so-called 4th industrial revolution that heavily relies on data communication among networked systems. One key challenge is how to ensure system resilience to sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we focus on some key decidability issues related to smart sensor attacks. We first present a sufficient and necessary condition that ensures the existence of a smart sensor attack, which reveals a novel demand-supply relationship between an attacker and a controlled plant, represented as a set of risky pairs. Each risky pair consists of a damage string desired by the attacker and an observable sequence feasible in the supervisor such that the latter induces a sequence of control patterns, which allows the damage string to happen. It turns out that each risky pair can induce a smart weak sensor attack. Next, we show that, when the plant, supervisor and damage language are regular, it is computationally feasible to remove all such risky pairs from the plant behaviour, via a genuine encoding scheme, upon which we are able to establish our key result that the existence of a nonblocking supervisor resilient to smart sensor attacks is decidable. To the best of our knowledge, this is the first result of its kind in the DES literature on cyber attacks. The proposed decision process renders a specific synthesis procedure that guarantees to compute a resilient supervisor whenever it exists, which so far has not been achieved in the literature.


title: Preserving Privacy of the Influence Structure in Friedkin-Johnsen Systems

abstract: The nature of information sharing in common distributed consensus algorithms permits network eavesdroppers to expose sensitive system information. An important parameter within distributed systems, often neglected under the scope of privacy preservation, is the influence structure - the weighting each agent places on the sources of their opinion pool. This paper proposes a local (i.e. computed individually by each agent), time varying mask to prevent the discovery of the influence structure by an external observer with access to the entire information flow, network knowledge and mask formulation. This result is produced through the auxiliary demonstration of the preserved stability of a Friedkin-Johnsen system under a set of generalised conditions. The mask is developed under these constraints and involves perturbing the influence structure by decaying pseudonoise. This paper provides the information matrix of the best influence structure estimate by an eavesdropper lacking a priori knowledge and uses stochastic simulations to analyse the performance of the mask against ranging system hyperparameters.


title: Design Judgment in Data Visualization Practice

abstract: Data visualization is becoming an increasingly popular field of design practice. Although many studies have highlighted the knowledge required for effective data visualization design, their focus has largely been on formal knowledge and logical decision-making processes that can be abstracted and codified. Less attention has been paid to the more situated and personal ways of knowing that are prevalent in all design activity. In this study, we conducted semi-structured interviews with data visualization practitioners during which they were asked to describe the practical and situated aspects of their design processes. Using a philosophical framework of design judgment from Nelson and Stolterman [23], we analyzed the transcripts to describe the volume and complex layering of design judgments that are used by data visualization practitioners as they describe and interrogate their work. We identify aspects of data visualization practice that require further investigation beyond notions of rational, model- or principle-directed decision-making processes.


title: Radiative feedback for supermassive star formation in a massive cloud with H2 molecules in an atomic-cooling halo

abstract: Recent three-dimensional cosmological simulations of protogalaxy formation have suggested that supermassive stars (SMSs) can form in gas clouds in which H$_2$ cooling is suppressed by dynamical heating prior to the activation of atomic cooling (Wise et al. 2019), but they stopped short of the following growth of a central protostar. Here we examine whether accretion on the protostellar core in this cloud is sufficiently rapid, in the face of the radiation feedback, to produce a SMS. We perform one-dimensional radiation-hydrodynamical simulations of the hot collapsing cloud with non-equilibrium chemical reactions directly adopting the cloud properties from Wise et al. (2019) as an initial condition. We find that the stellar Lyman-Werner (LW) radiation from the SMS dissociates H$_2$ in the inner regions of the gas flow, increasing gas temperature and thermal pressure, and temporarily stopping the accretion. However, this negative feedback ceases when the self-gravity and inward ram pressure force on larger scales push the gas inward. The central protostar is unable to expand an HII region due to the high density, and grows to a mass of $\gtrsim10^5\,{{\rm M}_\odot}$. Our results suggests the successful formation of SMSs, and resulting massive ($\sim10^5\,{{\rm M}_\odot}$) remnant black holes in the clouds, but need to be confirmed in two- or three-dimensional simulations.


title: Perfect Intrinsic Squeezing at the Superradiant Phase Transition Critical Point

abstract: The ground state of the photon-matter coupled system described by the Dicke model is found to be perfectly squeezed at the quantum critical point of the superradiant phase transition (SRPT). In the presence of the counter-rotating photon-atom coupling, the ground state is analytically expressed as a two-mode squeezed vacuum in the basis of photons and atomic collective excitations. The variance of a quantum fluctuation in the two-mode basis vanishes at the SRPT critical point, with its conjugate fluctuation diverging, ideally satisfying the Heisenberg uncertainty principle.


title: On the relative Minimal Model Program for fourfolds in positive and mixed characteristic

abstract: We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the minimal model program, and that liftability of three-dimensional Calabi-Yau varieties is a birational invariant. Our results are partially contingent upon the existence of log resolutions.


title: Some important applications of improved Bochner inequality on Finsler manifolds

abstract: We establish some important inequalities under the condition that the weighted Ricci curvature $\mathrm{Ric}_{\infty}\geq K$ for some constant $K >0$ by using improved Bochner inequality and its integrated form. Firstly, we obtain a sharp Poincar\'{e}-Lichnerowicz inequality. Further, we give a new proof for logarithmic Sobolev inequality. Finally, we obtain an estimate of the volume of geodesic balls.


title: Adaptive and Fast Combined Waveform-Beamforming Design for mmWave Automotive Joint Communication-Radar

abstract: Millimeter-wave (mmWave) joint communication-radar (JCR) will enable high data rate communication and high-resolution radar sensing for applications such as autonomous driving. Prior JCR systems that are based on the mmWave communications hardware, however, suffer from a limited angular field-of-view and low estimation accuracy for radars due to the employed directional communication beam. In this paper, we propose an adaptive and fast combined waveform-beamforming design for the mmWave automotive JCR with a phased-array architecture that permits a trade-off between communication and radar performances. To rapidly estimate the mmWave automotive radar channel in the Doppler-angle domain with a wide field-of-view, our JCR design employs a few circulant shifts of the transmit beamformer and apply two-dimensional partial Fourier compressed sensing technique. We optimize these circulant shifts to achieve minimum coherence in compressed sensing. We evaluate the JCR performance trade-offs using a normalized mean square error (MSE) metric for radar estimation and a distortion MSE metric for data communication, which is analogous to the distortion metric in the rate distortion theory. Additionally, we develop a MSE-based weighted average optimization problem for the adaptive JCR combined waveform-beamforming design. Numerical results demonstrate that our proposed JCR design enables the estimation of short- and medium-range radar channels in the Doppler-angle domain with a low normalized MSE, at the expense of a small degradation in the communication distortion MSE.


title: Data Visualization Practitioners' Perspectives on Chartjunk

abstract: Chartjunk is a popular yet contentious topic. Previous studies have shown that extreme minimalism is not always best, and that visual embellishments can be useful depending on the context. While more knowledge is being developed regarding the effects of embellishments on users, less attention has been given to the perspectives of practitioners regarding how they design with embellishments. We conducted semi-structured interviews with 20 data visualization practitioners, investigating how they understand chartjunk and the factors that influence how and when they make use of embellishments. Our investigation uncovers a broad and pluralistic understanding of chartjunk among practitioners, and foregrounds a variety of personal and situated factors that influence the use of chartjunk beyond context. We highlight the personal nature of design practice, and discuss the need for more practice-led research to better understand the ways in which concepts like chartjunk are interpreted and used by practitioners.


title: Unified View of Avalanche Criticality in Sheared Glasses

abstract: Plastic events in sheared glasses are considered an example of so-called avalanches, whose sizes obey a power-law probability distribution with the avalanche critical exponent $\tau$. Although mean-field theory predicts a universal value of this exponent, $\tau_{\rm MF}=1.5$, numerical simulations have reported different values depending on the literature. Moreover, in the elastic regime, it has been noted that the critical exponent can be different from that in the steady state, and even criticality itself is a matter of debate. Because these confusingly varying results were reported under different setups, our knowledge of avalanche criticality in sheared glasses is greatly limited. To gain a unified understanding, in this work, we conduct a comprehensive numerical investigation of avalanches in Lennard-Jones glasses under athermal quasistatic shear. In particular, by excluding the ambiguity and arbitrariness that has crept into the conventional measurement schemes, we achieve high-precision measurement and demonstrate that the exponent $\tau$ in the steady state follows the mean-field prediction of $\tau_{\rm MF}=1.5$. Our results also suggest that there are two qualitatively different avalanche events. This binariness leads to the non-universal behavior of the avalanche size distribution and is likely to be the cause of the varying values of $\tau$ reported thus far. To investigate the dependence of criticality and universality on applied shear, we further study the statistics of avalanches in the elastic regime and the ensemble of the first avalanche event in different samples, which provide information about the unperturbed system. We show that while the unperturbed system is indeed off-critical, criticality gradually develops as shear is applied. Moreover, the critical exponent obeys the mean-field prediction $\tau_{\rm MF}$ universally, once the system becomes critical.


title: On an open question in recovering Sturm-Liouville-type operators with delay

abstract: In recent years, there appeared a considerable interest in the inverse spectral theory for functional-differential operators with constant delay. In particular, it is well known that specification of the spectra of two operators $\ell_j,$ $j=0,1,$ generated by one and the same functional-differential expression $-y''(x)+q(x)y(x-a)$ under the boundary conditions $y(0)=y^{(j)}(\pi)=0$ uniquely determines the complex-valued square-integrable potential $q(x)$ vanishing on $(0,a)$ as soon as $a\in[\pi/2,\pi).$ For many years, it has been a challenging {\it open question} whether this uniqueness result would remain true also when $a\in(0,\pi/2).$ Recently, a positive answer was obtained for the case $a\in[2\pi/5,\pi/2).$ In this paper, we give, however, a {\it negative} answer to this question for $a\in[\pi/3,2\pi/5)$ by constructing an infinite family of iso-bispectral potentials. Some discussion on a possibility of constructing a similar counterexample for other types of boundary conditions is provided, and new open questions are outlined.


title: Detecting User Community in Sparse Domain via Cross-Graph Pairwise Learning

abstract: Cyberspace hosts abundant interactions between users and different kinds of objects, and their relations are often encapsulated as bipartite graphs. Detecting user community in such heterogeneous graphs is an essential task to uncover user information needs and to further enhance recommendation performance. While several main cyber domains carrying high-quality graphs, unfortunately, most others can be quite sparse. However, as users may appear in multiple domains (graphs), their high-quality activities in the main domains can supply community detection in the sparse ones, e.g., user behaviors on Google can help thousands of applications to locate his/her local community when s/he uses Google ID to login those applications. In this paper, our model, Pairwise Cross-graph Community Detection (PCCD), is proposed to cope with the sparse graph problem by involving external graph knowledge to learn user pairwise community closeness instead of detecting direct communities. Particularly in our model, to avoid taking excessive propagated information, a two-level filtering module is utilized to select the most informative connections through both community and node level filters. Subsequently, a Community Recurrent Unit (CRU) is designed to estimate pairwise user community closeness. Extensive experiments on two real-world graph datasets validate our model against several strong alternatives. Supplementary experiments also validate its robustness on graphs with varied sparsity scales.


title: Exact SDP relaxations of quadratically constrained quadratic programs with forest structures

abstract: We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with $n$ variables, the rank and positive semidefiniteness of the matrix are examined. We prove that if the rank of the aggregate sparsity matrix is not less than $n-1$ and the matrix remains positive semidefinite after replacing some off-diagonal nonzero elements with zeros, then the standard SDP relaxation provides an exact optimal solution for the QCQP under feasibility assumptions. In particular, we demonstrate that QCQPs with forest-structured aggregate sparsity matrix, such as the tridiagonal or arrow-type matrix, satisfy the exactness condition on the rank. The exactness is attained by considering the feasibility of the dual SDP relaxation, the strong duality of SDPs, and a sequence of QCQPs with perturbed objective functions, under the assumption that the feasible region is compact. We generalize our result for a wider class of QCQPs by applying simultaneous tridiagonalization on the data matrices. Moreover, simultaneous tridiagonalization is applied to a matrix pencil so that QCQPs with two constraints can be solved exactly by the SDP relaxation.